> > What do you think? Should we make the code more robust and avoid to bypass the > simplifier? Yes, we (actually you :) should eliminate this bypass to the simplifier. I've fixed other such bugs---they cause trouble with tellsimp & friends. Thanks for tracking down this bug. Barton