YES

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

(COMMENT
Termination is shown by KBO with weight

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

and precedence:

  \ > * > /
)