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