code: def iter_map_simplify(
      indices,
      input_iters,
      predicate=True,
      check_level=IterMapLevel.Surjective,
      simplify_trivial_iterators=True,
  ):
      """Simplify the indices using iter map detection.
  
      Parameters
      ----------
      indices : List[PrimExpr]
          The input indices
  
      input_iters : Map[Var, Range]
          The domain of each input iterators.
  
      predicate : PrimExpr
          The predicate constraints on the input iterators
  
      check_level : Union[str, IterMapLevel]
          Checking level of iteration mapping
  
      simplify_trivial_iterators: bool
          If true, iterators with extent of 1 will be replaced with a
          constant value.
  
      Returns
      -------
      results : IterMapResult
          The iter map matching result.
          The result's .indices is empty array if no match can be found.
  
      """
      if isinstance(check_level, str):
          check_level = IterMapLevel.from_str(check_level)
      elif check_level is None:
          check_level = IterMapLevel.NoCheck
      return _ffi_api.IterMapSimplify(
          indices,
          input_iters,
          predicate,
          check_level,
          simplify_trivial_iterators,
      )
  
imports: from enum import IntEnum
  import tvm._ffi
  from tvm.runtime import Object
  from tvm.ir import PrimExpr
  from .None import _ffi_api
label_desc: Use image node_id 3 for calling a global function with example usage: iter_map_simplify(indices, input_iters, predicate, check_level, simplify_trivial_iterators) and returns: _ffi_api