sqrt(1-x^2)/(2-2*x^2) --/--> 1/(2*sqrt(1-x^2))



Barton Willis willisb at unk.edu
Tue Jan 31 19:12:08 CST 2012

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

*****************************************************************************************

(%i1) S:sqrt(1-x^2)/(2-2*x^2)$
(%i2) subst(2-2*x^2=2*(1-x^2),S);
(%o2) 1/(2*sqrt(1-x^2))

Aleksas