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