torch.fx.experimental.symbolic_shapes.GuardOnDataDependentSymNode: Could not guard on data-dependent expression False (unhinted: Ne(Mod(18*u0, ((s58*u0)//8)), 0)).  (Size-like symbols: none)

Caused by: (_refs/__init__.py:3806 in _reshape_view_helper)
For more information, run with TORCH_LOGS="dynamic"
For extended logs when we create symbols, also add TORCHDYNAMO_EXTENDED_DEBUG_CREATE_SYMBOL=""
If you suspect the guard was triggered from C++, add TORCHDYNAMO_EXTENDED_DEBUG_CPP=1
For more debugging help, see https://docs.google.com/document/d/1HSuTTVvYH1pTew89Rtpeu84Ht3nQEFTYhAX3Ypa_xJs/edit?usp=sharing

For C++ stack trace, run with TORCHDYNAMO_EXTENDED_DEBUG_CPP=1

The following call raised this error:
  File "/data/users/pianpwk/pytorch/custom_tests/test_s0_u0.py", line 11, in forward
    return y.view(-1, 144)

To fix the error, insert one of the following checks before this call:
  1. torch._check(False)
  2. torch._check(True)

import torch

from torch.export import export, Dim

class Foo(torch.nn.Module):
    def forward(self, a, b):
        u0 = a.item()
        y = torch.zeros(u0, 18, b.shape[0])
        torch._check((u0 * 18 * b.shape[0]) // 144 != u0)
        torch._check(u0 % ((u0 * 18 * b.shape[0]) // 144) != 0) 
        return y.view(-1, 144)

ep = export(
    Foo(),
    (torch.tensor([6]), torch.randn(8)),
    dynamic_shapes={
        "a": None,
        "b": (Dim.DYNAMIC,),
    },
)