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