exp Pow E Add Add atanh pi acoth coth x0 x0 
Mul exp Pow E Add Add atanh pi acoth coth x0 x0 Mul Pow E Add Add Add atanh pi acoth coth x0 x0 -1 Mul Mul E log E Add Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 1 