On Mon, Apr 21, 2008 at 4:24 PM, Richard Hennessy <rvh2007 at comcast.net> wrote: > Can you undo this? > I assume you mean "given an expression constructed with makesimp, can I have it resimplified the normal way"? The answer is yes: resimplify(expr) := expand(expr,0,0)$ ex: qq_reversed(1+x)-1 => 1+x-1 resimplify(ex) => x