Fix `mul` simplification

Fix for issue #212.
This chunk is +1, that's the easy part.