Mul Mul Pow x7 x0 3 coth Mul x2 Add coth x0 x0 
Add Mul coth Mul x2 Add coth x0 x0 Mul 3 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Pow x7 x0 3 Mul Mul -1 Pow csch Mul x2 Add coth x0 x0 2 Mul x2 Add Mul -1 Pow csch x0 2 1 