Mul E acot coth sin Mul coth x0 x0 
Mul E Mul -1 Mul Mul Mul -1 Pow csch sin Mul coth x0 x0 2 Mul cos Mul coth x0 x0 Add Mul x0 Mul -1 Pow csch x0 2 coth x0 Pow Add 1 Mul coth sin Mul coth x0 x0 coth sin Mul coth x0 x0 -1 