Mul Add Mul x2 Add Pow sec sin cosh x7 Mul x0 tanh E acot Mul x0 2 Mul tanh x0 x0 cosh x4 
Mul cosh x4 Add Mul x2 Add Mul Pow sec sin cosh x7 Add Mul x0 tanh E -1 Mul Mul sec sin cosh x7 log sec sin cosh x7 tanh E Mul -1 Mul 2 Pow Add 1 Mul Mul x0 2 Mul x0 2 -1 Add Mul x0 Pow sech x0 2 tanh x0 