Mul Mul acoth x0 Pow x0 -2 csch exp x0 
Add Mul csch exp x0 Add Mul Pow x0 -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow x0 3 -2 Mul Mul acoth x0 Pow x0 -2 Mul Mul Mul -1 coth exp x0 csch exp x0 exp x0 