Y mul pow x1 c add mul x3 pow x1 c add mul x1 mul pow add c mul x1 add c x1 c pow add c add x3 mul c x1 c mul c mul add c mul x1 add c x1 mul add x1 mul c x0 mul add mul add c pow x1 c add c add x3 mul c x1 mul c mul add c mul x1 add c x1 add c x3 add c add x3 mul c x1