Fix `mul` simplification

Fix for issue #204.