Simplify Product.RecursiveSimplify and add tests.