csch Pow Pow cosh x5 Pow 9 x1 x0 
Mul Mul Mul -1 coth Pow Pow cosh x5 Pow 9 x1 x0 csch Pow Pow cosh x5 Pow 9 x1 x0 Mul Pow Pow cosh x5 Pow 9 x1 Add x0 -1 Mul Pow cosh x5 Pow 9 x1 log Pow cosh x5 Pow 9 x1 