irreduciblepolynomialq[(x^2-2)^2+(y-2)^2-1]