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 LPO with precedence:

  / > * > \
)