If I type x/sqrt(x), I get sqrt(x). But if I type (1+x)/sqrt(1+x), the best I've been able to get is (1+x)^(-1/2)*(1+x). Is there a switch or method I can use to force this to simplify?
The directory contrib/exptsimp contains experimental code for an operator called exptsimp. Load exptsimp.red and try