acot Add Pow -3 x6 Add exp Mul csch x0 x7 Pow x1 Add x7 x0 
Mul -1 Mul Add Mul exp Mul csch x0 x7 Mul x7 Mul Mul -1 coth x0 csch x0 Mul Pow x1 Add Add x7 x0 -1 Mul x1 log x1 Pow Add 1 Mul Add Pow -3 x6 Add exp Mul csch x0 x7 Pow x1 Add x7 x0 Add Pow -3 x6 Add exp Mul csch x0 x7 Pow x1 Add x7 x0 -1 