YES

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

(COMMENT
Termination is shown by LPO with precedence:

  g > f
)