Mul exp x0 Mul Mul Pow Mul Add Pow Add x0 pi x1 x0 Add x0 x7 x3 -1 x0 
Add Mul Mul Mul Pow Mul Add Pow Add x0 pi x1 x0 Add x0 x7 x3 -1 x0 exp x0 Mul exp x0 Add Mul x0 Mul -1 Mul Pow Mul Add Pow Add x0 pi x1 x0 Add x0 x7 Add x3 -1 Mul x3 Add Mul Add x0 x7 Add Mul Pow Add x0 pi Add x1 -1 x1 1 Add Pow Add x0 pi x1 x0 Mul Pow Mul Add Pow Add x0 pi x1 x0 Add x0 x7 x3 -1 