MAYBE
Time: 0.002682
TRS:
 {    *(x, 0()) -> 0(),
      *(1(), y) -> y,
  *(*(x, y), z) -> *(x, *(y, z)),
      *(i x, x) -> 1()}
 DP:
  DP:
   {*#(*(x, y), z) -> *#(x, *(y, z)),
    *#(*(x, y), z) -> *#(y, z)}
  TRS:
  {    *(x, 0()) -> 0(),
       *(1(), y) -> y,
   *(*(x, y), z) -> *(x, *(y, z)),
       *(i x, x) -> 1()}
  EDG:
   {(*#(*(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(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), z) -> *#(x, *(y, z)), *#(*(x, y), z) -> *#(y, z))}
   EDG:
    {(*#(*(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(y, z))
     (*#(*(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(x, *(y, z)))}
    EDG:
     {(*#(*(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(y, z))
      (*#(*(x, y), z) -> *#(y, z), *#(*(x, y), z) -> *#(x, *(y, z)))}
     STATUS:
      arrows: 0.500000
      SCCS (1):
       Scc:
        {*#(*(x, y), z) -> *#(y, z)}
       
       SCC (1):
        Strict:
         {*#(*(x, y), z) -> *#(y, z)}
        Weak:
        {    *(x, 0()) -> 0(),
             *(1(), y) -> y,
         *(*(x, y), z) -> *(x, *(y, z)),
             *(i x, x) -> 1()}
        Open