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