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