[BUG] Comparison fails

[Stefan]

Thanks for the advice.
I think it would be a good idea to include somewhere in the manual, that the Test Functions should not be used to compare expressions with each other (of course together with a hint how to do it properly)

And how much time are we talking about usually? Maybe the CAS could attempt a simplification and if doesn't suceed after say 50ms, go the "traditional" way. (on the other hand this would lead to the behaviour that sometimes the simplification (and hence the test) succeeds, and sometimes not. So maybe its better if it almost never works and one gets used to the not so intuitive but always working method mentioned by parisse).