MAYBE
Time: 0.001451
TRS:
 {*(x, +(y, f z)) -> *(g(x, z), +(y, y)),
    *(*(x, y), z) -> *(x, *(y, z)),
    *(+(x, y), z) -> +(*(x, z), *(y, z))}
 DP:
  DP:
   {*#(x, +(y, f z)) -> *#(g(x, z), +(y, y)),
      *#(*(x, y), z) -> *#(x, *(y, z)),
      *#(*(x, y), z) -> *#(y, z),
      *#(+(x, y), z) -> *#(x, z),
      *#(+(x, y), z) -> *#(y, z)}
  TRS:
  {*(x, +(y, f z)) -> *(g(x, z), +(y, y)),
     *(*(x, y), z) -> *(x, *(y, z)),
     *(+(x, y), z) -> +(*(x, z), *(y, z))}
  UR:
   {*(x, +(y, f z)) -> *(g(x, z), +(y, y)),
      *(*(x, y), z) -> *(x, *(y, z)),
      *(+(x, y), z) -> +(*(x, z), *(y, z)),
            a(w, v) -> w,
            a(w, v) -> v}
   EDG:
    {(*#(*(x, y), z) -> *#(x, *(y, z)), *#(+(x, y), z) -> *#(y, z))
     (*#(*(x, y), z) -> *#(x, *(y, z)), *#(+(x, y), z) -> *#(x, z))
     (*#(*(x, y), z) -> *#(x, *(y, z)), *#(*(x, y), z) -> *#(y, z))
     (*#(*(x, y), z) -> *#(x, *(y, z)), *#(*(x, y), z) -> *#(x, *(y, z)))
     (*#(*(x, y), z) -> *#(x, *(y, z)), *#(x, +(y, f z)) -> *#(g(x, z), +(y, y)))
     (*#(+(x, y), z) -> *#(x, z), *#(+(x, y), z) -> *#(y, z))
     (*#(+(x, y), z) -> *#(x, z), *#(+(x, y), z) -> *#(x, z))
     (*#(+(x, y), z) -> *#(x, z), *#(*(x, y), z) -> *#(y, z))
     (*#(+(x, y), z) -> *#(x, z), *#(*(x, y), z) -> *#(x, *(y, z)))
     (*#(+(x, y), z) -> *#(x, z), *#(x, +(y, f z)) -> *#(g(x, z), +(y, y)))
     (*#(+(x, y), z) -> *#(y, z), *#(x, +(y, f z)) -> *#(g(x, z), +(y, y)))
     (*#(+(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(x, *(y, z)))
     (*#(+(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(y, z))
     (*#(+(x, y), z) -> *#(y, z), *#(+(x, y), z) -> *#(x, z))
     (*#(+(x, y), z) -> *#(y, z), *#(+(x, y), z) -> *#(y, z))
     (*#(*(x, y), z) -> *#(y, z), *#(x, +(y, f z)) -> *#(g(x, z), +(y, y)))
     (*#(*(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(x, *(y, z)))
     (*#(*(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(y, z))
     (*#(*(x, y), z) -> *#(y, z), *#(+(x, y), z) -> *#(x, z))
     (*#(*(x, y), z) -> *#(y, z), *#(+(x, y), z) -> *#(y, z))
     (*#(x, +(y, f z)) -> *#(g(x, z), +(y, y)), *#(x, +(y, f z)) -> *#(g(x, z), +(y, y)))}
    STATUS:
     arrows: 0.160000
     SCCS (2):
      Scc:
       {*#(*(x, y), z) -> *#(x, *(y, z)),
        *#(*(x, y), z) -> *#(y, z),
        *#(+(x, y), z) -> *#(x, z),
        *#(+(x, y), z) -> *#(y, z)}
      Scc:
       {*#(x, +(y, f z)) -> *#(g(x, z), +(y, y))}
      
      SCC (4):
       Strict:
        {*#(*(x, y), z) -> *#(x, *(y, z)),
         *#(*(x, y), z) -> *#(y, z),
         *#(+(x, y), z) -> *#(x, z),
         *#(+(x, y), z) -> *#(y, z)}
       Weak:
       {*(x, +(y, f z)) -> *(g(x, z), +(y, y)),
          *(*(x, y), z) -> *(x, *(y, z)),
          *(+(x, y), z) -> +(*(x, z), *(y, z))}
       Open
      SCC (1):
       Strict:
        {*#(x, +(y, f z)) -> *#(g(x, z), +(y, y))}
       Weak:
       {*(x, +(y, f z)) -> *(g(x, z), +(y, y)),
          *(*(x, y), z) -> *(x, *(y, z)),
          *(+(x, y), z) -> +(*(x, z), *(y, z))}
       Open