On 2/17/06, Richard Fateman <fateman at cs.berkeley.edu> wrote:
> [Simplifya] returns quickly if the SIMP flag is set in the CAR of the expression.
Yes, but simplifya still seems to be called in many situations where
the argument should be known to have been simplified. It is possible
(but I am not sure) that the case blocking tail-recursion is one of
them. The reason I am not sure is that there is no clear, documented
convention about what is guaranteed to return a simplified expression.
And even if there was one at some point, I suspect that it is not
obeyed systematically.
-s