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