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