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