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