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