YES
Time: 0.000765
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))}
  UR:
   {}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):