YES

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

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

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

weights

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

and precedence:

* > / > \
)