code: def test_mul():
      assert h * l == h * x == 1
      assert l * h == x * h == 2
      assert x * l == l * x == -x
  
imports: from sympy.core.decorators import call_highest_priority
  from sympy.core.expr import Expr
  from sympy.core.mod import Mod
  from sympy.core.numbers import Integer
  from sympy.core.symbol import Symbol
  from sympy.functions.elementary.integers import floor
label_desc: Use image node_id 1 for calling a global function with example usage: test_mul() without return types