minimize y-x² in x²+y² <= 1