There is a `tvm.arith.Analyzer` to bind variables and simplify https://github.com/apache/tvm/blob/main/python/tvm/arith/analyzer.py#L192
--- [Visit Topic](https://discuss.tvm.apache.org/t/how-to-instantiate-and-evaluate-tvm-tir-expr-var/11368/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/518aa46c4d956a1fbc6c6c5a8b97da37481a5aea440dd7cae0bb86bd9757b664).
