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