Mul x3 Add sqrt x0 Add Pow coth Pow coth x0 3 x4 7 
Mul x3 Add Pow Mul 2 sqrt x0 -1 Mul Pow coth Pow coth x0 3 Add x4 -1 Mul x4 Mul Mul -1 Pow csch Pow coth x0 3 2 Mul Pow coth x0 2 Mul 3 Mul -1 Pow csch x0 2 