Pow atan x0 Add csc x0 Add Pow x0 Pow x1 x4 Mul x0 x0 
Mul Pow atan x0 Add Add csc x0 Add Pow x0 Pow x1 x4 Mul x0 x0 -1 Add Mul Add csc x0 Add Pow x0 Pow x1 x4 Mul x0 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Add Mul Mul -1 cot x0 csc x0 Add Mul Pow x0 Add Pow x1 x4 -1 Pow x1 x4 Add x0 x0 