acot coth Pow x0 Mul Add -3 x0 x7 
Mul -1 Mul Mul Mul -1 Pow csch Pow x0 Mul Add -3 x0 x7 2 Mul Pow x0 Add Mul Add -3 x0 x7 -1 Add Mul Add -3 x0 x7 Mul Mul x0 log x0 x7 Pow Add 1 Mul coth Pow x0 Mul Add -3 x0 x7 coth Pow x0 Mul Add -3 x0 x7 -1 