atan acsc Pow x0 Add Add -2 Add Mul x0 x0 4 cosh E 
Mul Mul -1 Mul Mul Pow x0 Add Add Add -2 Add Mul x0 x0 4 cosh E -1 Add Add Add -2 Add Mul x0 x0 4 cosh E Mul Mul x0 log x0 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 Add Add -2 Add Mul x0 x0 4 cosh E Pow x0 Add Add -2 Add Mul x0 x0 4 cosh E -1 Pow x0 Add Add -2 Add Mul x0 x0 4 cosh E Pow x0 Add Add -2 Add Mul x0 x0 4 cosh E -1 Pow Add 1 Mul acsc Pow x0 Add Add -2 Add Mul x0 x0 4 cosh E acsc Pow x0 Add Add -2 Add Mul x0 x0 4 cosh E -1 