(x + y + 1)(xy + x + y) = 5 + 2(x + y)