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