Mul exp Pow sec Mul tanh x0 cosh x0 cosh x0 x0 
Add Mul x0 Mul exp Pow sec Mul tanh x0 cosh x0 cosh x0 Mul Pow sec Mul tanh x0 cosh x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul tan Mul tanh x0 cosh x0 sec Mul tanh x0 cosh x0 Add Mul cosh x0 Pow sech x0 2 Mul tanh x0 sinh x0 Mul Mul sec Mul tanh x0 cosh x0 log sec Mul tanh x0 cosh x0 sinh x0 exp Pow sec Mul tanh x0 cosh x0 cosh x0 