>>868
(-1 - x - y + x y) (-1 + x + y + x y)