solve(y=0)&(y=x^2/2-2*x)for x,y real