The general simplifier does sqrt(1-x^2)/(1-x^2) --> 1/sqrt(1-x^2), but it doesn't simplify sqrt(1-x^2)/(2-2*x^2) to 1/(2*sqrt(1-x^2)). Ratsimp, radcan, and rootscontract don't do this simplification either. --Barton