log Pow Add csc x0 Pow x0 Mul 2 atan x2 x0 
Mul Mul Pow Add csc x0 Pow x0 Mul 2 atan x2 Add x0 -1 Add Mul x0 Add Mul Mul -1 cot x0 csc x0 Mul Pow x0 Add Mul 2 atan x2 -1 Mul 2 atan x2 Mul Add csc x0 Pow x0 Mul 2 atan x2 log Add csc x0 Pow x0 Mul 2 atan x2 Pow Pow Add csc x0 Pow x0 Mul 2 atan x2 x0 -1 