Solve for x square root of 1-x^2+2=3