x^2 + y^2 <= 2xy + 2