Pow Mul coth x0 Add x0 E atan exp x0 
Mul Pow Mul coth x0 Add x0 E Add atan exp x0 -1 Add Mul atan exp x0 Add Mul Add x0 E Mul -1 Pow csch x0 2 coth x0 Mul Mul Mul coth x0 Add x0 E log Mul coth x0 Add x0 E Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 