y( (1 - x^2)^(1 / 2) )dy - xdx = 0