Thanks for the proposal. I agree that it is a valuable problem for dynamic shape.
Here are two questions from me: 1. Is it necessary to rewrite `(d1*d2)*d0` into `d0*d1*d2`. Can we prove them equal by `Analyzer` directly? 2. Can we embed the new rule into `tir.Simplify` rather than create a new method `RewriteSimplifier`? Thanks again for the great work and proposal! --- [Visit Topic](https://discuss.tvm.apache.org/t/dynamic-shape-better-simplify-support-for-dynamic-boundary-check/10812/3) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/661bf1ec9001c60ccbe0a526e441855a11a84eb6f8fe2085dca3606e8451ec0c).
