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