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