Added simplification of nested products into one n-ary product, which is all the simplification we want.