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