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