MAYBE
Time: 0.000618
TRS:
 {h f f x -> h f g f x,
  f g f x -> f f x}
 DP:
  DP:
   {h# f f x -> h# f g f x,
    h# f f x -> f# g f x,
    f# g f x -> f# f x}
  TRS:
  {h f f x -> h f g f x,
   f g f x -> f f x}
  UR:
   {f g f x -> f f x}
   EDG:
    {(f# g f x -> f# f x, f# g f x -> f# f x)
     (h# f f x -> h# f g f x, h# f f x -> h# f g f x)
     (h# f f x -> h# f g f x, h# f f x -> f# g f x)
     (h# f f x -> f# g f x, f# g f x -> f# f x)}
    STATUS:
     arrows: 0.555556
     SCCS (2):
      Scc:
       {h# f f x -> h# f g f x}
      Scc:
       {f# g f x -> f# f x}
      
      SCC (1):
       Strict:
        {h# f f x -> h# f g f x}
       Weak:
       {h f f x -> h f g f x,
        f g f x -> f f x}
       Open
      
      SCC (1):
       Strict:
        {f# g f x -> f# f x}
       Weak:
       {h f f x -> h f g f x,
        f g f x -> f f x}
       Open