class_docstr: Integer arithmetic analyzer
  
  This is a stateful analyzer class that can
  be used to perform various symbolic integer analysis.
class_docstr_tok: ["Integer","arithmetic","analyzer","This","is","a","stateful","analyzer","class","that","can","be","used","to","perform","various","symbolic","integer","analysis","."]
docstr: Simplify expression via both rewrite and canonicalization.
  
  Parameters
  ----------
  expr : PrimExpr
      The expression.
  steps : The simplification runs in the order of
          rewrite_simplify (step 1) -> canonical_simplify (step 2) ->
          rewrite_simplify (step 3) -> canonical_simplify (step 4) -> ...
          param steps controls how many steps to run.
          Default is 2, i.e., rewrite_simplify + canonical_simplify.
  
  Returns
  -------
  result : Expr
      The result.
docstr_tok: ["Simplify","expression","via","both","rewrite","and","canonicalization",".","Parameters","--","--","--","--","--","expr",":","PrimExpr","The","expression",".","steps",":","The","simplification","runs","in","the","order","of","rewrite_simplify","(","step","1",")","-",">","canonical_simplify","(","step","2",")","-",">","rewrite_simplify","(","step","3",")","-",">","canonical_simplify","(","step","4",")","-",">","...","param","steps","controls","how","many","steps","to","run",".","Default","is","2",",","i.e.",",","rewrite_simplify","+","canonical_simplify",".","Returns","--","--","--","-","result",":","Expr","The","result","."]
code: def simplify(self, expr, steps=2):
      """Simplify expression via both rewrite and canonicalization.
  
      Parameters
      ----------
      expr : PrimExpr
          The expression.
      steps : The simplification runs in the order of
              rewrite_simplify (step 1) -> canonical_simplify (step 2) ->
              rewrite_simplify (step 3) -> canonical_simplify (step 4) -> ...
              param steps controls how many steps to run.
              Default is 2, i.e., rewrite_simplify + canonical_simplify.
  
      Returns
      -------
      result : Expr
          The result.
      """
      return self._simplify(expr, steps)
  
imports: from enum import IntEnum
  from typing import Union
  import tvm._ffi
  from tvm import tir, ir
  from tvm.runtime import Object
  from .None import _ffi_api
label_desc: Use image node_id 4 for calling the Analyzer obj's underlying member method code with example usage: obj.simplify(expr, steps) and returns: self