min(x+y) for x^2+y^2 = 1