atan Add Add Add Pow Mul csch csc x0 x0 Add -3 sech log x7 x3 Pow 4 x4 x5 
Mul Mul Pow Mul csch csc x0 x0 Add Add -3 sech log x7 -1 Mul Add -3 sech log x7 Add Mul x0 Mul Mul Mul -1 coth csc x0 csch csc x0 Mul Mul -1 cot x0 csc x0 csch csc x0 Pow Add 1 Mul Add Add Add Pow Mul csch csc x0 x0 Add -3 sech log x7 x3 Pow 4 x4 x5 Add Add Add Pow Mul csch csc x0 x0 Add -3 sech log x7 x3 Pow 4 x4 x5 -1 