Pow coth Mul cosh x0 Mul Mul x5 0.540302305868140 x2 5 
Mul Pow coth Mul cosh x0 Mul Mul x5 0.540302305868140 x2 4 Mul 5 Mul Mul -1 Pow csch Mul cosh x0 Mul Mul x5 0.540302305868140 x2 2 Mul Mul Mul x5 0.540302305868140 x2 sinh x0 