Simplify Product.Simplify. Add test.