Add x1 Mul 3 Pow cos x0 acot log Pow x0 pi 
Mul 3 Mul Pow cos x0 Add acot log Pow x0 pi -1 Add Mul acot log Pow x0 pi Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul -1 Mul Mul Mul Pow x0 Add pi -1 pi Pow Pow x0 pi -1 Pow Add 1 Mul log Pow x0 pi log Pow x0 pi -1 