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