YES

(VAR x0 x1 x2 x y)
(RULES
  f(*(x0,x1)) -> g(x0)
  *(x0,*(x1,x2)) -> *(x0,g(x1))
  g(*(x0,x1)) -> f(x1)
  *(*(x2,x0),x1) -> *(f(x0),x1)
  *(x0,f(x1)) -> *(x0,x1)
  *(x0,g(x0)) -> g(x0)
  g(f(x0)) -> f(x0)
  f(g(x0)) -> g(x0)
  *(f(x0),x0) -> f(x0)
  f(f(x0)) -> f(x0)
  g(g(x0)) -> g(x0)
  *(f(x0),g(x0)) -> x0
  *(g(x),y) -> *(x,y)
)

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

  *_A(x1,x2) = x1 + x2 + 2439
  f_A(x1) = x1 + 2438
  g_A(x1) = x1 + 1
  f#_A(x1) = x1

and precedence:

* > g > f
)