Mul pi Pow Mul x0 Mul Pow pi x0 Pow x7 x0 x4 
Mul pi Mul Pow Mul x0 Mul Pow pi x0 Pow x7 x0 Add x4 -1 Mul x4 Add Mul Pow pi x0 Pow x7 x0 Mul x0 Add Mul Pow x7 x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow pi x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 