Y mul pow add c mul x0 add x2 mul c x2 c add mul x2 pow add c mul x0 add x2 mul c x2 c add mul add c mul c x0 add c mul x0 add x2 mul c x2 mul c mul add x2 mul c x2 add x0 add x2 add x2 mul c pow x0 c