Pow x1 Pow Pow Add -5 Mul exp pi x0 coth x7 x5 
Mul Pow x1 Add Pow Pow Add -5 Mul exp pi x0 coth x7 x5 -1 Mul Mul x1 log x1 Mul Pow Pow Add -5 Mul exp pi x0 coth x7 Add x5 -1 Mul x5 Mul Pow Add -5 Mul exp pi x0 Add coth x7 -1 Mul coth x7 exp pi 