Y add c add mul x1 mul pow x1 c pow add x1 mul pow x1 c mul pow x1 c pow add c x0 c div c c mul div c c mul pow x1 c mul pow x1 c mul pow add x1 mul pow x1 c mul pow x1 c pow add c x0 c div c c mul add c mul c x0 add x0 mul c x1