y' = (1-y^2)/(1-x^2), y(0) = 3