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