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