Add x0 acot Mul Add x0 x1 exp Add coth x0 -4 
Add 1 Mul -1 Mul Add exp Add coth x0 -4 Mul Add x0 x1 Mul exp Add coth x0 -4 Mul -1 Pow csch x0 2 Pow Add 1 Mul Mul Add x0 x1 exp Add coth x0 -4 Mul Add x0 x1 exp Add coth x0 -4 -1 