Fix `mul` simplification

Fix for issue #212.
Yes, definitely we need to benchmark this.