deal with the case when autosimplification of the args converts a class to a form that wouldn't be handled anymore by the hint, e.g. `2*(x + y) -> 2*x + 2*y` which would not be handled with the expand_mul hint anymore. That's a trivial case. I believe the code is covered so there are cases where a change is made that is not trivial. I'll post some.