Revert "bound sympy accuracy (pytorch#150383)"

This reverts commit 1bc2b2b.

Reverted pytorch#150383 on behalf of https://github.com/laithsakka due to big regression ([comment](pytorch#150383 (comment)))

Author: pytorchmergebot

Diff for: test/export/test_export.py

@@ -3105,28 +3105,6 @@ def forward(self, x, y):
                 "dy - 6 = 6" not in exc.args[0]
             )  # don't suggest fix for non-root dim
 
-    @testing.expectedFailureLegacyExportNonStrict  # FIXME constraint violation (guard: s0 - s0%8 != 1)
-    @testing.expectedFailureCppSerDes  # FIXME data-dependent error (hinted: True, unhinted: s0 - s0%8 >= 0)
-    def test_bound_sympy_accuracy(self):
-        class Foo(torch.nn.Module):
-            def forward(self, x):
-                expr = x.shape[0] - (x.shape[0] % 8)
-                return torch.empty(expr)
-
-        ep = export(
-            Foo(),
-            (torch.randn(13),),
-            dynamic_shapes={"x": (Dim("dim", min=2),)},
-        )
-
-        (output,) = ep.graph.output_node().args[0]
-        sym_node = output.meta["val"].shape[0].node
-        vr = torch.utils._sympy.value_ranges.bound_sympy(
-            sym_node.expr,
-            sym_node.shape_env.var_to_range,
-        )
-        self.assertEqual(vr.lower, 0)
-
     @unittest.skip("See https://github.com/pytorch/pytorch/issues/135759")
     def test_keep_composite_ops_invalid(self):
         class Foo(torch.nn.Module):

Diff for: torch/utils/_sympy/value_ranges.py

@@ -1004,22 +1004,6 @@ def trunc(x):
         return ValueRanges.increasing_map(x, TruncToFloat)
 
 
-def _rewrite_for_value_range_analysis(expr: sympy.Expr):
-    """
-    Sometimes accuracy of value range analysis can be improved
-    with simple rewriting rules.
-    """
-
-    # Rewrite X - X%Y to (X//Y) * Y.
-    x, y = sympy.Wild("x"), sympy.Wild("y")
-    expr = expr.replace(
-        x - torch.utils._sympy.functions.Mod(x, y),
-        torch.utils._sympy.functions.FloorDiv(x, y) * y,
-    )
-
-    return expr
-
-
 def bound_sympy(
     expr: sympy.Expr, ranges: Optional[dict[sympy.Symbol, ValueRanges]] = None
 ) -> ValueRanges:
@@ -1063,7 +1047,6 @@ def missing_handler(s):
             vr = ValueRanges.unknown()
         return vr
 
-    expr = _rewrite_for_value_range_analysis(expr)
     return sympy_interp(
         SymPyValueRangeAnalysis, ranges, expr, missing_handler=missing_handler
     )