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