x^2+y^2=1 and x ≥ 0