MAYBE
Time: 0.010455
TRS:
 {a(f(), a(f(), x)) -> a(x, x),
          a(h(), x) -> a(f(), a(g(), a(f(), x)))}
 DP:
  DP:
   {a#(f(), a(f(), x)) -> a#(x, x),
            a#(h(), x) -> a#(f(), x),
            a#(h(), x) -> a#(f(), a(g(), a(f(), x))),
            a#(h(), x) -> a#(g(), a(f(), x))}
  TRS:
  {a(f(), a(f(), x)) -> a(x, x),
           a(h(), x) -> a(f(), a(g(), a(f(), x)))}
  UR:
   {a(f(), a(f(), x)) -> a(x, x),
            a(h(), x) -> a(f(), a(g(), a(f(), x))),
              b(y, z) -> y,
              b(y, z) -> z}
   EDG:
    {(a#(h(), x) -> a#(f(), a(g(), a(f(), x))), a#(h(), x) -> a#(g(), a(f(), x)))
     (a#(h(), x) -> a#(f(), a(g(), a(f(), x))), a#(h(), x) -> a#(f(), a(g(), a(f(), x))))
     (a#(h(), x) -> a#(f(), a(g(), a(f(), x))), a#(h(), x) -> a#(f(), x))
     (a#(h(), x) -> a#(f(), a(g(), a(f(), x))), a#(f(), a(f(), x)) -> a#(x, x))
     (a#(f(), a(f(), x)) -> a#(x, x), a#(h(), x) -> a#(g(), a(f(), x)))
     (a#(f(), a(f(), x)) -> a#(x, x), a#(h(), x) -> a#(f(), a(g(), a(f(), x))))
     (a#(f(), a(f(), x)) -> a#(x, x), a#(h(), x) -> a#(f(), x))
     (a#(f(), a(f(), x)) -> a#(x, x), a#(f(), a(f(), x)) -> a#(x, x))
     (a#(h(), x) -> a#(g(), a(f(), x)), a#(f(), a(f(), x)) -> a#(x, x))
     (a#(h(), x) -> a#(g(), a(f(), x)), a#(h(), x) -> a#(f(), x))
     (a#(h(), x) -> a#(g(), a(f(), x)), a#(h(), x) -> a#(f(), a(g(), a(f(), x))))
     (a#(h(), x) -> a#(g(), a(f(), x)), a#(h(), x) -> a#(g(), a(f(), x)))
     (a#(h(), x) -> a#(f(), x), a#(f(), a(f(), x)) -> a#(x, x))
     (a#(h(), x) -> a#(f(), x), a#(h(), x) -> a#(f(), x))
     (a#(h(), x) -> a#(f(), x), a#(h(), x) -> a#(f(), a(g(), a(f(), x))))
     (a#(h(), x) -> a#(f(), x), a#(h(), x) -> a#(g(), a(f(), x)))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {a#(f(), a(f(), x)) -> a#(x, x),
                a#(h(), x) -> a#(f(), x),
                a#(h(), x) -> a#(f(), a(g(), a(f(), x))),
                a#(h(), x) -> a#(g(), a(f(), x))}
      
      SCC (4):
       Strict:
        {a#(f(), a(f(), x)) -> a#(x, x),
                 a#(h(), x) -> a#(f(), x),
                 a#(h(), x) -> a#(f(), a(g(), a(f(), x))),
                 a#(h(), x) -> a#(g(), a(f(), x))}
       Weak:
       {a(f(), a(f(), x)) -> a(x, x),
                a(h(), x) -> a(f(), a(g(), a(f(), x)))}
       Fail