NO

Problem:
 f(f(x)) -> f(g(f(f(x))))
 f(x) -> x

Proof:
 Nonconfluence Processor:
  terms: g(f(x38)) *<- f(f(x38)) ->* x38
  Qed