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