YES

(VAR x y x1 x0)
(RULES
  \(\(x,y),x) -> y
  \(x1,\(x0,x1)) -> x0
  *(x1,x0) -> \(x0,x1)
  /(x1,x0) -> \(x1,x0)
)

(COMMENT
Termination is shown by EKBO with interpretations on natural numbers

  *_A(x1,x2) = 2
  \_A(x1,x2) = 1
  /_A(x1,x2) = x2 + 2
  *#_A(x1,x2) = x1 + x2
  \#_A(x1,x2) = x1 + x2
  /#_A(x1,x2) = x1 + x2

weights

  w0 = 1
  w(*) = 1
  w(\) = 0
  w(/) = 2

and precedence:

/ > * > \
)