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 ELPO with interpretations on natural numbers

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

and precedence:

\ > / > *
)