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