MAYBE
Time: 0.006295
TRS:
 {f(f(0(), x), 1()) -> f(g f(x, x), x),
          f(g x, y) -> g f(x, y)}
 DP:
  DP:
   {f#(f(0(), x), 1()) -> f#(x, x),
    f#(f(0(), x), 1()) -> f#(g f(x, x), x),
            f#(g x, y) -> f#(x, y)}
  TRS:
  {f(f(0(), x), 1()) -> f(g f(x, x), x),
           f(g x, y) -> g f(x, y)}
  UR:
   {f(f(0(), x), 1()) -> f(g f(x, x), x),
            f(g x, y) -> g f(x, y),
              a(z, w) -> z,
              a(z, w) -> w}
   EDG:
    {(f#(g x, y) -> f#(x, y), f#(g x, y) -> f#(x, y))
     (f#(g x, y) -> f#(x, y), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
     (f#(g x, y) -> f#(x, y), f#(f(0(), x), 1()) -> f#(x, x))
     (f#(f(0(), x), 1()) -> f#(x, x), f#(f(0(), x), 1()) -> f#(x, x))
     (f#(f(0(), x), 1()) -> f#(x, x), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
     (f#(f(0(), x), 1()) -> f#(x, x), f#(g x, y) -> f#(x, y))
     (f#(f(0(), x), 1()) -> f#(g f(x, x), x), f#(f(0(), x), 1()) -> f#(x, x))
     (f#(f(0(), x), 1()) -> f#(g f(x, x), x), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
     (f#(f(0(), x), 1()) -> f#(g f(x, x), x), f#(g x, y) -> f#(x, y))}
    EDG:
     {(f#(g x, y) -> f#(x, y), f#(g x, y) -> f#(x, y))
      (f#(g x, y) -> f#(x, y), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
      (f#(g x, y) -> f#(x, y), f#(f(0(), x), 1()) -> f#(x, x))
      (f#(f(0(), x), 1()) -> f#(x, x), f#(f(0(), x), 1()) -> f#(x, x))
      (f#(f(0(), x), 1()) -> f#(x, x), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
      (f#(f(0(), x), 1()) -> f#(x, x), f#(g x, y) -> f#(x, y))
      (f#(f(0(), x), 1()) -> f#(g f(x, x), x), f#(g x, y) -> f#(x, y))}
     EDG:
      {(f#(g x, y) -> f#(x, y), f#(g x, y) -> f#(x, y))
       (f#(g x, y) -> f#(x, y), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
       (f#(g x, y) -> f#(x, y), f#(f(0(), x), 1()) -> f#(x, x))
       (f#(f(0(), x), 1()) -> f#(x, x), f#(f(0(), x), 1()) -> f#(x, x))
       (f#(f(0(), x), 1()) -> f#(x, x), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
       (f#(f(0(), x), 1()) -> f#(x, x), f#(g x, y) -> f#(x, y))
       (f#(f(0(), x), 1()) -> f#(g f(x, x), x), f#(g x, y) -> f#(x, y))}
      EDG:
       {(f#(g x, y) -> f#(x, y), f#(g x, y) -> f#(x, y))
        (f#(g x, y) -> f#(x, y), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
        (f#(g x, y) -> f#(x, y), f#(f(0(), x), 1()) -> f#(x, x))
        (f#(f(0(), x), 1()) -> f#(x, x), f#(f(0(), x), 1()) -> f#(x, x))
        (f#(f(0(), x), 1()) -> f#(x, x), f#(f(0(), x), 1()) -> f#(g f(x, x), x))
        (f#(f(0(), x), 1()) -> f#(x, x), f#(g x, y) -> f#(x, y))
        (f#(f(0(), x), 1()) -> f#(g f(x, x), x), f#(g x, y) -> f#(x, y))}
       STATUS:
        arrows: 0.222222
        SCCS (1):
         Scc:
          {f#(f(0(), x), 1()) -> f#(x, x),
           f#(f(0(), x), 1()) -> f#(g f(x, x), x),
                   f#(g x, y) -> f#(x, y)}
         
         SCC (3):
          Strict:
           {f#(f(0(), x), 1()) -> f#(x, x),
            f#(f(0(), x), 1()) -> f#(g f(x, x), x),
                    f#(g x, y) -> f#(x, y)}
          Weak:
          {f(f(0(), x), 1()) -> f(g f(x, x), x),
                   f(g x, y) -> g f(x, y)}
          Fail