acot Mul Pow csch x4 Add exp Add x0 x0 x0 Pow x6 x7 
Mul -1 Mul Mul Pow x6 x7 Mul Pow csch x4 Add Add exp Add x0 x0 x0 -1 Mul Mul csch x4 log csch x4 Add Mul exp Add x0 x0 2 1 Pow Add 1 Mul Mul Pow csch x4 Add exp Add x0 x0 x0 Pow x6 x7 Mul Pow csch x4 Add exp Add x0 x0 x0 Pow x6 x7 -1 