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