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