Pow Mul x4 Pow x0 x2 log Mul -4 x0 
Mul Pow Mul x4 Pow x0 x2 Add log Mul -4 x0 -1 Add Mul log Mul -4 x0 Mul x4 Mul Pow x0 Add x2 -1 x2 Mul Mul Mul x4 Pow x0 x2 log Mul x4 Pow x0 x2 Mul -4 Pow Mul -4 x0 -1 