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