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