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