MAYBE
Time: 0.001584
TRS:
 {              h(z, e x) -> h(c z, d(z, x)),
            d(z, g(x, y)) -> g(e x, d(z, y)),
        d(z, g(0(), 0())) -> e 0(),
  d(c z, g(g(x, y), 0())) -> g(d(c z, g(x, y)), d(z, g(x, y))),
              g(e x, e y) -> e g(x, y)}
 DP:
  DP:
   {              h#(z, e x) -> h#(c z, d(z, x)),
                  h#(z, e x) -> d#(z, x),
              d#(z, g(x, y)) -> d#(z, y),
              d#(z, g(x, y)) -> g#(e x, d(z, y)),
    d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)),
    d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)),
    d#(c z, g(g(x, y), 0())) -> g#(d(c z, g(x, y)), d(z, g(x, y))),
                g#(e x, e y) -> g#(x, y)}
  TRS:
  {              h(z, e x) -> h(c z, d(z, x)),
             d(z, g(x, y)) -> g(e x, d(z, y)),
         d(z, g(0(), 0())) -> e 0(),
   d(c z, g(g(x, y), 0())) -> g(d(c z, g(x, y)), d(z, g(x, y))),
               g(e x, e y) -> e g(x, y)}
  UR:
   {          d(z, g(x, y)) -> g(e x, d(z, y)),
          d(z, g(0(), 0())) -> e 0(),
    d(c z, g(g(x, y), 0())) -> g(d(c z, g(x, y)), d(z, g(x, y))),
                g(e x, e y) -> e g(x, y),
                    a(w, v) -> w,
                    a(w, v) -> v}
   EDG:
    {(h#(z, e x) -> h#(c z, d(z, x)), h#(z, e x) -> d#(z, x))
     (h#(z, e x) -> h#(c z, d(z, x)), h#(z, e x) -> h#(c z, d(z, x)))
     (d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)), d#(c z, g(g(x, y), 0())) -> g#(d(c z, g(x, y)), d(z, g(x, y))))
     (d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)), d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)))
     (d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)), d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)))
     (d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)), d#(z, g(x, y)) -> g#(e x, d(z, y)))
     (d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)), d#(z, g(x, y)) -> d#(z, y))
     (h#(z, e x) -> d#(z, x), d#(c z, g(g(x, y), 0())) -> g#(d(c z, g(x, y)), d(z, g(x, y))))
     (h#(z, e x) -> d#(z, x), d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)))
     (h#(z, e x) -> d#(z, x), d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)))
     (h#(z, e x) -> d#(z, x), d#(z, g(x, y)) -> g#(e x, d(z, y)))
     (h#(z, e x) -> d#(z, x), d#(z, g(x, y)) -> d#(z, y))
     (g#(e x, e y) -> g#(x, y), g#(e x, e y) -> g#(x, y))
     (d#(z, g(x, y)) -> d#(z, y), d#(z, g(x, y)) -> d#(z, y))
     (d#(z, g(x, y)) -> d#(z, y), d#(z, g(x, y)) -> g#(e x, d(z, y)))
     (d#(z, g(x, y)) -> d#(z, y), d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)))
     (d#(z, g(x, y)) -> d#(z, y), d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)))
     (d#(z, g(x, y)) -> d#(z, y), d#(c z, g(g(x, y), 0())) -> g#(d(c z, g(x, y)), d(z, g(x, y))))
     (d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)), d#(z, g(x, y)) -> d#(z, y))
     (d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)), d#(z, g(x, y)) -> g#(e x, d(z, y)))
     (d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)), d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)))
     (d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)), d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)))
     (d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y)), d#(c z, g(g(x, y), 0())) -> g#(d(c z, g(x, y)), d(z, g(x, y))))
     (d#(z, g(x, y)) -> g#(e x, d(z, y)), g#(e x, e y) -> g#(x, y))
     (d#(c z, g(g(x, y), 0())) -> g#(d(c z, g(x, y)), d(z, g(x, y))), g#(e x, e y) -> g#(x, y))}
    STATUS:
     arrows: 0.609375
     SCCS (3):
      Scc:
       {h#(z, e x) -> h#(c z, d(z, x))}
      Scc:
       {          d#(z, g(x, y)) -> d#(z, y),
        d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)),
        d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y))}
      Scc:
       {g#(e x, e y) -> g#(x, y)}
      
      SCC (1):
       Strict:
        {h#(z, e x) -> h#(c z, d(z, x))}
       Weak:
       {              h(z, e x) -> h(c z, d(z, x)),
                  d(z, g(x, y)) -> g(e x, d(z, y)),
              d(z, g(0(), 0())) -> e 0(),
        d(c z, g(g(x, y), 0())) -> g(d(c z, g(x, y)), d(z, g(x, y))),
                    g(e x, e y) -> e g(x, y)}
       Open
      
      SCC (3):
       Strict:
        {          d#(z, g(x, y)) -> d#(z, y),
         d#(c z, g(g(x, y), 0())) -> d#(z, g(x, y)),
         d#(c z, g(g(x, y), 0())) -> d#(c z, g(x, y))}
       Weak:
       {              h(z, e x) -> h(c z, d(z, x)),
                  d(z, g(x, y)) -> g(e x, d(z, y)),
              d(z, g(0(), 0())) -> e 0(),
        d(c z, g(g(x, y), 0())) -> g(d(c z, g(x, y)), d(z, g(x, y))),
                    g(e x, e y) -> e g(x, y)}
       Open
      
      
      SCC (1):
       Strict:
        {g#(e x, e y) -> g#(x, y)}
       Weak:
       {              h(z, e x) -> h(c z, d(z, x)),
                  d(z, g(x, y)) -> g(e x, d(z, y)),
              d(z, g(0(), 0())) -> e 0(),
        d(c z, g(g(x, y), 0())) -> g(d(c z, g(x, y)), d(z, g(x, y))),
                    g(e x, e y) -> e g(x, y)}
       Open