sinh cosh Add x0 Pow coth cosh x5 exp x0 
Mul cosh cosh Add x0 Pow coth cosh x5 exp x0 Mul sinh Add x0 Pow coth cosh x5 exp x0 Add 1 Mul Pow coth cosh x5 Add exp x0 -1 Mul Mul coth cosh x5 log coth cosh x5 exp x0 