(x+1)^2+(y+1)^2<4 ; y>0