Mul x0 Mul Pow x3 cosh Mul x0 Pow x0 coth Pow -1 x7 -5 
Add Mul Pow x3 cosh Mul x0 Pow x0 coth Pow -1 x7 -5 Mul x0 Mul -5 Mul Pow x3 Add cosh Mul x0 Pow x0 coth Pow -1 x7 -1 Mul Mul x3 log x3 Mul sinh Mul x0 Pow x0 coth Pow -1 x7 Add Pow x0 coth Pow -1 x7 Mul x0 Mul Pow x0 Add coth Pow -1 x7 -1 coth Pow -1 x7 