MAYBE
Time: 0.001420
TRS:
 {      *(x, x) -> x,
  *(x, *(y, z)) -> *(*(x, y), z)}
 DP:
  DP:
   {*#(x, *(y, z)) -> *#(x, y),
    *#(x, *(y, z)) -> *#(*(x, y), z)}
  TRS:
  {      *(x, x) -> x,
   *(x, *(y, z)) -> *(*(x, y), z)}
  UR:
   {      *(x, x) -> x,
    *(x, *(y, z)) -> *(*(x, y), z)}
   EDG:
    {(*#(x, *(y, z)) -> *#(*(x, y), z), *#(x, *(y, z)) -> *#(*(x, y), z))
     (*#(x, *(y, z)) -> *#(*(x, y), z), *#(x, *(y, z)) -> *#(x, y))
     (*#(x, *(y, z)) -> *#(x, y), *#(x, *(y, z)) -> *#(x, y))
     (*#(x, *(y, z)) -> *#(x, y), *#(x, *(y, z)) -> *#(*(x, y), z))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {*#(x, *(y, z)) -> *#(x, y),
        *#(x, *(y, z)) -> *#(*(x, y), z)}
      
      SCC (2):
       Strict:
        {*#(x, *(y, z)) -> *#(x, y),
         *#(x, *(y, z)) -> *#(*(x, y), z)}
       Weak:
       {      *(x, x) -> x,
        *(x, *(y, z)) -> *(*(x, y), z)}
       Open