acos Mul Pow pi x0 Add Mul 2 cot x0 x0 
Mul -1 Mul Add Mul Add Mul 2 cot x0 x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow pi x0 Add Mul 2 Mul -1 Pow csc x0 2 1 Pow sqrt Add 1 Mul -1 Mul Mul Pow pi x0 Add Mul 2 cot x0 x0 Mul Pow pi x0 Add Mul 2 cot x0 x0 -1 