Mul 3 Pow x0 Pow Pow Mul x0 x0 coth x6 x4 
Mul 3 Mul Pow x0 Add Pow Pow Mul x0 x0 coth x6 x4 -1 Add Pow Pow Mul x0 x0 coth x6 x4 Mul Mul x0 log x0 Mul Pow Pow Mul x0 x0 coth x6 Add x4 -1 Mul x4 Mul Pow Mul x0 x0 Add coth x6 -1 Mul coth x6 Add x0 x0 