Fix `mul` simplification

Fix for issue #212.