Mul x7 Mul Add x0 Pow Add 3 x1 sqrt acoth x0 coth Add 2 Mul -3 x0 
Mul x7 Add Mul coth Add 2 Mul -3 x0 Add 1 Mul Pow Add 3 x1 Add sqrt acoth x0 -1 Mul Mul Add 3 x1 log Add 3 x1 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add x0 Pow Add 3 x1 sqrt acoth x0 Mul Mul -1 Pow csch Add 2 Mul -3 x0 2 -3 