-y[x] - x*Sqrt[(-4*x^2 + y[x]^2)*(-x^2 + y[x]^2)] + x*Derivative[1][y][x]==0