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