code: def test_simplify_reshape_flattened_index():
      ana = tvm.arith.Analyzer()
  
      i0 = tir.Var("i0", "int64")
      i1 = tir.Var("i1", "int64")
      ana.bind(i0, tvm.ir.Range(0, 8))
      ana.bind(i1, tvm.ir.Range(0, 3))
  
      i_flattened = i0 * 3 + i1
      assert tvm.ir.structural_equal(
          ana.simplify(
              (i_flattened) // 12 * 12
              + (i_flattened) % 12 // 4 * 4
              + (i_flattened) % 4
          ),
          i_flattened,
      )
  
imports: import tvm
  import tvm.testing
  from tvm import tir
label_desc: Use image node_id 1 for calling a global function with example usage: test_simplify_reshape_flattened_index() without return types