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