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