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