YES
Time: 0.002434
TRS:
 {  f f X -> f g f g f X,
  f g f X -> f g X}
 DP:
  DP:
   {  f# f X -> f# g f X,
      f# f X -> f# g f g f X,
    f# g f X -> f# g X}
  TRS:
  {  f f X -> f g f g f X,
   f g f X -> f g X}
  EDG:
   {(f# f X -> f# g f g f X, f# g f X -> f# g X)
    (f# f X -> f# g f X, f# g f X -> f# g X)}
   STATUS:
    arrows: 0.777778
    SCCS (0):