Add Mul exp Add atan atanh Mul tanh x0 Mul coth Pow x0 cosh Add -1 x1 3 asech x5 atanh x0 3 
Add Mul atanh x0 Mul exp Add atan atanh Mul tanh x0 Mul coth Pow x0 cosh Add -1 x1 3 asech x5 Mul Mul Add Mul Mul coth Pow x0 cosh Add -1 x1 3 Pow sech x0 2 Mul tanh x0 Mul 3 Mul Mul -1 Pow csch Pow x0 cosh Add -1 x1 2 Mul Pow x0 Add cosh Add -1 x1 -1 cosh Add -1 x1 Pow Add 1 Mul -1 Mul Mul tanh x0 Mul coth Pow x0 cosh Add -1 x1 3 Mul tanh x0 Mul coth Pow x0 cosh Add -1 x1 3 -1 Pow Add 1 Mul atanh Mul tanh x0 Mul coth Pow x0 cosh Add -1 x1 3 atanh Mul tanh x0 Mul coth Pow x0 cosh Add -1 x1 3 -1 Mul exp Add atan atanh Mul tanh x0 Mul coth Pow x0 cosh Add -1 x1 3 asech x5 Pow Add 1 Mul -1 Mul x0 x0 -1 