YES
Time: 0.000346
TRS:
 {f f x -> g f x}
 DP:
  DP:
   {}
  TRS:
  {f f x -> g f x}
  Qed