Fix `mul` simplification

Fix for issue #212.
Yes, it gives an assertion error in the current master.