>
> Unrelated: What is the purpose of 'eqtest'?
Say you have a big expression FOO that you want to simplify.
After simplification you end up with an expression which is
EQUAL to FOO, so now you have two copies. If you can
notice this, you can eliminate one of them from memory.
I think that's what eqtest does. I haven't looked at the code.
RJF