plot sqr(2x^2y^2-x^4y^4)>=4x^2y^3+5x^3 and sqr(1+(x+y)^2)>=-y^6+2x^2y^3+4x^4