code: def expr_deep_equal(lhs: PrimExpr, rhs: PrimExpr) -> bool:
      """Deeply compare two nested expressions.
  
      Parameters
      ----------
      lhs : PrimExpr
          The left operand.
  
      rhs : PrimExpr
          The right operand.
  
      Returns
      -------
      result : bool
          The comparison result
  
      Note
      ----
  
      This function does not remap variable bindings, it will not
      return true for (let x = 1 in x + 1) vs (let y = 1 in y + 1), unless x.same_as(y).
      Use py:func:`tvm.ir.structural_equal` to handle structural variable remapping.
  
      Due to the restriction of not remapping variables, this function can run
      faster than StructuralEqual and can be used as a utility function during arithmetic
      simplifications.
  
      Always consider py:func:`tvm.ir.structural_equal` first, which handles
      the structural remapping.
  
      See Also
      --------
      tvm.ir.structural_equal
      """
      return _ffi_api.expr_deep_equal(lhs, rhs)
  
imports: from typing import Dict, List, Optional, Union
  import tvm
  from tvm import Object
  from tvm.ir import IRModule
  from tvm.tir.expr import Var
  from tvm.tir.stmt import Block, BufferRegion, PrimExpr
  from ..None import Buffer, Stmt
  from ..function import PrimFunc
  from .None import _ffi_api
label_desc: Use image node_id 1 for calling a global function with example usage: expr_deep_equal(lhs, rhs) and returns: _ffi_api