sech Mul exp Mul cosh x0 x0 cosh sec atanh Pow x3 x5 
Mul Mul tanh Mul exp Mul cosh x0 x0 cosh sec atanh Pow x3 x5 Mul -1 sech Mul exp Mul cosh x0 x0 cosh sec atanh Pow x3 x5 Mul cosh sec atanh Pow x3 x5 Mul exp Mul cosh x0 x0 Add Mul x0 sinh x0 cosh x0 