symmetric reduction(x^2 y + y^3, {x, y})