Pow Mul -3 x0 Mul -4 Mul coth x5 Mul x0 Pow x7 x7 
Mul Pow Mul -3 x0 Add Mul -4 Mul coth x5 Mul x0 Pow x7 x7 -1 Add Mul Mul -4 Mul coth x5 Mul x0 Pow x7 x7 -3 Mul Mul Mul -3 x0 log Mul -3 x0 Mul -4 Mul coth x5 Pow x7 x7 