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