optimize x^2-y2 in x^2+y^2<1