MAYBE
Time: 0.008466
TRS:
 {*(x, +(y, z)) -> +(*(x, y), *(x, z)),
      *(x, 1()) -> x,
  *(+(x, y), z) -> +(*(x, z), *(y, z)),
      *(1(), y) -> y}
 DP:
  DP:
   {*#(x, +(y, z)) -> *#(x, y),
    *#(x, +(y, z)) -> *#(x, z),
    *#(+(x, y), z) -> *#(x, z),
    *#(+(x, y), z) -> *#(y, z)}
  TRS:
  {*(x, +(y, z)) -> +(*(x, y), *(x, z)),
       *(x, 1()) -> x,
   *(+(x, y), z) -> +(*(x, z), *(y, z)),
       *(1(), y) -> y}
  UR:
   {}
   EDG:
    {(*#(+(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)) -> *#(x, z))
     (*#(+(x, y), z) -> *#(x, z), *#(x, +(y, z)) -> *#(x, y))
     (*#(x, +(y, z)) -> *#(x, y), *#(+(x, y), z) -> *#(y, z))
     (*#(x, +(y, z)) -> *#(x, y), *#(+(x, y), z) -> *#(x, z))
     (*#(x, +(y, z)) -> *#(x, y), *#(x, +(y, z)) -> *#(x, z))
     (*#(x, +(y, z)) -> *#(x, y), *#(x, +(y, z)) -> *#(x, y))
     (*#(+(x, y), z) -> *#(y, z), *#(x, +(y, z)) -> *#(x, y))
     (*#(+(x, y), z) -> *#(y, z), *#(x, +(y, z)) -> *#(x, z))
     (*#(+(x, y), z) -> *#(y, z), *#(+(x, y), z) -> *#(x, z))
     (*#(+(x, y), z) -> *#(y, z), *#(+(x, y), z) -> *#(y, z))
     (*#(x, +(y, z)) -> *#(x, z), *#(x, +(y, z)) -> *#(x, y))
     (*#(x, +(y, z)) -> *#(x, z), *#(x, +(y, z)) -> *#(x, z))
     (*#(x, +(y, z)) -> *#(x, z), *#(+(x, y), z) -> *#(x, z))
     (*#(x, +(y, z)) -> *#(x, z), *#(+(x, y), z) -> *#(y, z))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {*#(x, +(y, z)) -> *#(x, y),
        *#(x, +(y, z)) -> *#(x, z),
        *#(+(x, y), z) -> *#(x, z),
        *#(+(x, y), z) -> *#(y, z)}
      
      SCC (4):
       Strict:
        {*#(x, +(y, z)) -> *#(x, y),
         *#(x, +(y, z)) -> *#(x, z),
         *#(+(x, y), z) -> *#(x, z),
         *#(+(x, y), z) -> *#(y, z)}
       Weak:
       {*(x, +(y, z)) -> +(*(x, y), *(x, z)),
            *(x, 1()) -> x,
        *(+(x, y), z) -> +(*(x, z), *(y, z)),
            *(1(), y) -> y}
       Open