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