Mul x0 Mul x0 Add Add x2 Pow Pow Mul 2 coth x2 Mul x0 x1 -4 Pow Mul x0 x7 x0 
Add Mul x0 Add Add x2 Pow Pow Mul 2 coth x2 Mul x0 x1 -4 Pow Mul x0 x7 x0 Mul x0 Add Add Add x2 Pow Pow Mul 2 coth x2 Mul x0 x1 -4 Pow Mul x0 x7 x0 Mul x0 Add Mul Pow Pow Mul 2 coth x2 Mul x0 x1 5 Mul -4 Mul Pow Mul 2 coth x2 Add Mul x0 x1 -1 Mul Mul Mul 2 coth x2 log Mul 2 coth x2 x1 Mul Pow Mul x0 x7 Add x0 -1 Add Mul x0 x7 Mul Mul x0 x7 log Mul x0 x7 