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