sinh Mul x0 csch Pow cosh x7 x0 
Mul cosh Mul x0 csch Pow cosh x7 x0 Add csch Pow cosh x7 x0 Mul x0 Mul Mul Mul -1 coth Pow cosh x7 x0 csch Pow cosh x7 x0 Mul Pow cosh x7 Add x0 -1 Mul cosh x7 log cosh x7 