(x^2y^2+1)-4x^2y^2
=(x^2y^2+1-2xy)(x^2y^2+1+2xy)
=(xy-1)^2(xy+1)^2