build open-axiom
)cl all -- The original author assumed (roughly) that sqrt(1/x)=1/sqrt(x), -- which is wrong (for example, -- sqrt(-1/2) = %i/sqrt(2) != 1/(%i*sqrt(2)) = -%i/sqrt(2) sqrt(-1/2) sqrt(-1/abs(x))-1/sqrt(-abs(x))
build open-axiom
)cl all -- The original author assumed (roughly) that sqrt(1/x)=1/sqrt(x), -- which is wrong (for example, -- sqrt(-1/2) = %i/sqrt(2) != 1/(%i*sqrt(2)) = -%i/sqrt(2) sqrt(-1/2) sqrt(-1/abs(x))-1/sqrt(-abs(x))