Pow Pow exp Mul x7 x0 exp x0 x1 
Mul Pow Pow exp Mul x7 x0 exp x0 Add x1 -1 Mul x1 Mul Pow exp Mul x7 x0 Add exp x0 -1 Add Mul exp x0 Mul exp Mul x7 x0 x7 Mul Mul exp Mul x7 x0 log exp Mul x7 x0 exp x0 