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