(x^2+y^2-0.8)^3-x^2 y^3 < 0