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?
publius628
2012-07-16
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?
Rainer Schöpf
2012-07-16
The directory contrib/exptsimp contains experimental code for an operator called exptsimp. Load exptsimp.red and try
exptsimp((1+x)/sqrt(1+x));
Rainer