Pow Mul x0 exp x2 csch coth x0 
Mul Pow Mul x0 exp x2 Add csch coth x0 -1 Add Mul csch coth x0 exp x2 Mul Mul Mul x0 exp x2 log Mul x0 exp x2 Mul Mul Mul -1 coth coth x0 csch coth x0 Mul -1 Pow csch x0 2 