MAYBE
Time: 0.042827
TRS:
 {        f(a(), x) -> f(b(), f(c(), x)),
  f(a(), f(b(), x)) -> f(b(), f(a(), x)),
  f(a(), f(c(), x)) -> f(c(), f(a(), x)),
  f(d(), f(c(), x)) -> f(d(), f(a(), x))}
 DP:
  DP:
   {        f#(a(), x) -> f#(b(), f(c(), x)),
            f#(a(), x) -> f#(c(), x),
    f#(a(), f(b(), x)) -> f#(b(), f(a(), x)),
    f#(a(), f(b(), x)) -> f#(a(), x),
    f#(a(), f(c(), x)) -> f#(c(), f(a(), x)),
    f#(a(), f(c(), x)) -> f#(a(), x),
    f#(d(), f(c(), x)) -> f#(a(), x),
    f#(d(), f(c(), x)) -> f#(d(), f(a(), x))}
  TRS:
  {        f(a(), x) -> f(b(), f(c(), x)),
   f(a(), f(b(), x)) -> f(b(), f(a(), x)),
   f(a(), f(c(), x)) -> f(c(), f(a(), x)),
   f(d(), f(c(), x)) -> f(d(), f(a(), x))}
  UR:
   {        f(a(), x) -> f(b(), f(c(), x)),
    f(a(), f(b(), x)) -> f(b(), f(a(), x)),
    f(a(), f(c(), x)) -> f(c(), f(a(), x))}
   EDG:
    {(f#(a(), f(b(), x)) -> f#(a(), x), f#(a(), f(c(), x)) -> f#(a(), x))
     (f#(a(), f(b(), x)) -> f#(a(), x), f#(a(), f(c(), x)) -> f#(c(), f(a(), x)))
     (f#(a(), f(b(), x)) -> f#(a(), x), f#(a(), f(b(), x)) -> f#(a(), x))
     (f#(a(), f(b(), x)) -> f#(a(), x), f#(a(), f(b(), x)) -> f#(b(), f(a(), x)))
     (f#(a(), f(b(), x)) -> f#(a(), x), f#(a(), x) -> f#(c(), x))
     (f#(a(), f(b(), x)) -> f#(a(), x), f#(a(), x) -> f#(b(), f(c(), x)))
     (f#(d(), f(c(), x)) -> f#(a(), x), f#(a(), f(c(), x)) -> f#(a(), x))
     (f#(d(), f(c(), x)) -> f#(a(), x), f#(a(), f(c(), x)) -> f#(c(), f(a(), x)))
     (f#(d(), f(c(), x)) -> f#(a(), x), f#(a(), f(b(), x)) -> f#(a(), x))
     (f#(d(), f(c(), x)) -> f#(a(), x), f#(a(), f(b(), x)) -> f#(b(), f(a(), x)))
     (f#(d(), f(c(), x)) -> f#(a(), x), f#(a(), x) -> f#(c(), x))
     (f#(d(), f(c(), x)) -> f#(a(), x), f#(a(), x) -> f#(b(), f(c(), x)))
     (f#(d(), f(c(), x)) -> f#(d(), f(a(), x)), f#(d(), f(c(), x)) -> f#(d(), f(a(), x)))
     (f#(d(), f(c(), x)) -> f#(d(), f(a(), x)), f#(d(), f(c(), x)) -> f#(a(), x))
     (f#(a(), f(c(), x)) -> f#(a(), x), f#(a(), x) -> f#(b(), f(c(), x)))
     (f#(a(), f(c(), x)) -> f#(a(), x), f#(a(), x) -> f#(c(), x))
     (f#(a(), f(c(), x)) -> f#(a(), x), f#(a(), f(b(), x)) -> f#(b(), f(a(), x)))
     (f#(a(), f(c(), x)) -> f#(a(), x), f#(a(), f(b(), x)) -> f#(a(), x))
     (f#(a(), f(c(), x)) -> f#(a(), x), f#(a(), f(c(), x)) -> f#(c(), f(a(), x)))
     (f#(a(), f(c(), x)) -> f#(a(), x), f#(a(), f(c(), x)) -> f#(a(), x))}
    STATUS:
     arrows: 0.687500
     SCCS (2):
      Scc:
       {f#(d(), f(c(), x)) -> f#(d(), f(a(), x))}
      Scc:
       {f#(a(), f(b(), x)) -> f#(a(), x),
        f#(a(), f(c(), x)) -> f#(a(), x)}
      
      SCC (1):
       Strict:
        {f#(d(), f(c(), x)) -> f#(d(), f(a(), x))}
       Weak:
       {        f(a(), x) -> f(b(), f(c(), x)),
        f(a(), f(b(), x)) -> f(b(), f(a(), x)),
        f(a(), f(c(), x)) -> f(c(), f(a(), x)),
        f(d(), f(c(), x)) -> f(d(), f(a(), x))}
       Open
      
      SCC (2):
       Strict:
        {f#(a(), f(b(), x)) -> f#(a(), x),
         f#(a(), f(c(), x)) -> f#(a(), x)}
       Weak:
       {        f(a(), x) -> f(b(), f(c(), x)),
        f(a(), f(b(), x)) -> f(b(), f(a(), x)),
        f(a(), f(c(), x)) -> f(c(), f(a(), x)),
        f(d(), f(c(), x)) -> f(d(), f(a(), x))}
       Open