Could remove three other rules from simplifyProd