MAYBE
Time: 0.002673
TRS:
 {              h(e x, y) -> h(d(x, y), s y),
            d(g(x, y), z) -> g(d(x, z), e y),
  d(g(g(0(), x), y), s z) -> g(e x, d(g(g(0(), x), y), z)),
  d(g(g(0(), x), y), 0()) -> e y,
          d(g(0(), x), y) -> e x,
              g(e x, e y) -> e g(x, y)}
 DP:
  DP:
   {              h#(e x, y) -> h#(d(x, y), s y),
                  h#(e x, y) -> d#(x, y),
              d#(g(x, y), z) -> d#(x, z),
              d#(g(x, y), z) -> g#(d(x, z), e y),
    d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z),
    d#(g(g(0(), x), y), s z) -> g#(e x, d(g(g(0(), x), y), z)),
                g#(e x, e y) -> g#(x, y)}
  TRS:
  {              h(e x, y) -> h(d(x, y), s y),
             d(g(x, y), z) -> g(d(x, z), e y),
   d(g(g(0(), x), y), s z) -> g(e x, d(g(g(0(), x), y), z)),
   d(g(g(0(), x), y), 0()) -> e y,
           d(g(0(), x), y) -> e x,
               g(e x, e y) -> e g(x, y)}
  EDG:
   {(h#(e x, y) -> h#(d(x, y), s y), h#(e x, y) -> d#(x, y))
    (h#(e x, y) -> h#(d(x, y), s y), h#(e x, y) -> h#(d(x, y), s y))
    (d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z), d#(g(g(0(), x), y), s z) -> g#(e x, d(g(g(0(), x), y), z)))
    (d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z), d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z))
    (d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z), d#(g(x, y), z) -> g#(d(x, z), e y))
    (d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z), d#(g(x, y), z) -> d#(x, z))
    (g#(e x, e y) -> g#(x, y), g#(e x, e y) -> g#(x, y))
    (d#(g(x, y), z) -> d#(x, z), d#(g(x, y), z) -> d#(x, z))
    (d#(g(x, y), z) -> d#(x, z), d#(g(x, y), z) -> g#(d(x, z), e y))
    (d#(g(x, y), z) -> d#(x, z), d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z))
    (d#(g(x, y), z) -> d#(x, z), d#(g(g(0(), x), y), s z) -> g#(e x, d(g(g(0(), x), y), z)))
    (h#(e x, y) -> d#(x, y), d#(g(x, y), z) -> d#(x, z))
    (h#(e x, y) -> d#(x, y), d#(g(x, y), z) -> g#(d(x, z), e y))
    (h#(e x, y) -> d#(x, y), d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z))
    (h#(e x, y) -> d#(x, y), d#(g(g(0(), x), y), s z) -> g#(e x, d(g(g(0(), x), y), z)))
    (d#(g(x, y), z) -> g#(d(x, z), e y), g#(e x, e y) -> g#(x, y))
    (d#(g(g(0(), x), y), s z) -> g#(e x, d(g(g(0(), x), y), z)), g#(e x, e y) -> g#(x, y))}
   STATUS:
    arrows: 0.653061
    SCCS (3):
     Scc:
      {h#(e x, y) -> h#(d(x, y), s y)}
     Scc:
      {          d#(g(x, y), z) -> d#(x, z),
       d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z)}
     Scc:
      {g#(e x, e y) -> g#(x, y)}
     
     SCC (1):
      Strict:
       {h#(e x, y) -> h#(d(x, y), s y)}
      Weak:
      {              h(e x, y) -> h(d(x, y), s y),
                 d(g(x, y), z) -> g(d(x, z), e y),
       d(g(g(0(), x), y), s z) -> g(e x, d(g(g(0(), x), y), z)),
       d(g(g(0(), x), y), 0()) -> e y,
               d(g(0(), x), y) -> e x,
                   g(e x, e y) -> e g(x, y)}
      Open
     
     SCC (2):
      Strict:
       {          d#(g(x, y), z) -> d#(x, z),
        d#(g(g(0(), x), y), s z) -> d#(g(g(0(), x), y), z)}
      Weak:
      {              h(e x, y) -> h(d(x, y), s y),
                 d(g(x, y), z) -> g(d(x, z), e y),
       d(g(g(0(), x), y), s z) -> g(e x, d(g(g(0(), x), y), z)),
       d(g(g(0(), x), y), 0()) -> e y,
               d(g(0(), x), y) -> e x,
                   g(e x, e y) -> e g(x, y)}
      Open
     
     
     SCC (1):
      Strict:
       {g#(e x, e y) -> g#(x, y)}
      Weak:
      {              h(e x, y) -> h(d(x, y), s y),
                 d(g(x, y), z) -> g(d(x, z), e y),
       d(g(g(0(), x), y), s z) -> g(e x, d(g(g(0(), x), y), z)),
       d(g(g(0(), x), y), 0()) -> e y,
               d(g(0(), x), y) -> e x,
                   g(e x, e y) -> e g(x, y)}
      Open