Pow x7 Mul Mul coth csch x0 4 Mul Add coth x0 5 4 
Mul Pow x7 Add Mul Mul coth csch x0 4 Mul Add coth x0 5 4 -1 Mul Mul x7 log x7 Add Mul Mul Add coth x0 5 4 Mul 4 Mul Mul -1 Pow csch csch x0 2 Mul Mul -1 coth x0 csch x0 Mul Mul coth csch x0 4 Mul 4 Mul -1 Pow csch x0 2 