atanh csch Mul Mul E 3 Mul Pow x0 x2 Pow x0 -2 
Mul Mul Mul Mul -1 coth Mul Mul E 3 Mul Pow x0 x2 Pow x0 -2 csch Mul Mul E 3 Mul Pow x0 x2 Pow x0 -2 Mul Mul E 3 Add Mul Pow x0 -2 Mul Pow x0 Add x2 -1 x2 Mul Pow x0 x2 Mul Pow x0 3 -2 Pow Add 1 Mul -1 Mul csch Mul Mul E 3 Mul Pow x0 x2 Pow x0 -2 csch Mul Mul E 3 Mul Pow x0 x2 Pow x0 -2 -1 