YES
TRS:
 {*(x, +(y, z)) -> +(*(x, y), *(x, z))}
 DP:
  Strict:
   {*#(x, +(y, z)) -> *#(x, y),
    *#(x, +(y, z)) -> *#(x, z)}
  Weak:
  {*(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))}
   SCCS:
    Scc:
     {*#(x, +(y, z)) -> *#(x, y),
      *#(x, +(y, z)) -> *#(x, z)}
    SCC:
     Strict:
      {*#(x, +(y, z)) -> *#(x, y),
       *#(x, +(y, z)) -> *#(x, z)}
     Weak:
     {*(x, +(y, z)) -> +(*(x, y), *(x, z))}
     SPSC:
      Simple Projection:
       pi(*#) = 1
      Strict:
       {*#(x, +(y, z)) -> *#(x, z)}
      EDG:
       {(*#(x, +(y, z)) -> *#(x, z), *#(x, +(y, z)) -> *#(x, z))}
       SCCS:
        Scc:
         {*#(x, +(y, z)) -> *#(x, z)}
        SCC:
         Strict:
          {*#(x, +(y, z)) -> *#(x, z)}
         Weak:
         {*(x, +(y, z)) -> +(*(x, y), *(x, z))}
         SPSC:
          Simple Projection:
           pi(*#) = 1
          Strict:
           {}
          Qed