Pow Mul Pow log E x0 Add Mul -3 Mul x0 x1 4 x0 
Mul Pow Mul Pow log E x0 Add Mul -3 Mul x0 x1 4 Add x0 -1 Add Mul x0 Add Mul Add Mul -3 Mul x0 x1 4 Mul Pow log E Add x0 -1 Mul log E log log E Mul Pow log E x0 Mul -3 x1 Mul Mul Pow log E x0 Add Mul -3 Mul x0 x1 4 log Mul Pow log E x0 Add Mul -3 Mul x0 x1 4 