YES

1 decompositions
 #0 -----------
   1: *(x,y) -> *(y,x)
   2: +(x,y) -> +(y,x)
   3: +(s(x),y) -> +(x,s(y))
   4: +(x,s(y)) -> +(s(x),y)
   5: +(+(x,y),z) -> +(x,+(y,z))
   6: +(x,+(y,z)) -> +(+(x,y),z)
   7: *(x,s(y)) -> +(x,*(x,y))
   8: *(s(x),y) -> +(*(x,y),y)

@Parallel Closedness
--- R
   1: *(x,y) -> *(y,x)
   2: +(x,y) -> +(y,x)
   3: +(s(x),y) -> +(x,s(y))
   4: +(x,s(y)) -> +(s(x),y)
   5: +(+(x,y),z) -> +(x,+(y,z))
   6: +(x,+(y,z)) -> +(+(x,y),z)
   7: *(x,s(y)) -> +(x,*(x,y))
   8: *(s(x),y) -> +(*(x,y),y)

--- S
   1: *(x,y) -> *(y,x)
   2: +(x,y) -> +(y,x)
   3: +(s(x),y) -> +(x,s(y))
   4: +(x,s(y)) -> +(s(x),y)
   5: +(+(x,y),z) -> +(x,+(y,z))
   6: +(x,+(y,z)) -> +(+(x,y),z)
   7: *(x,s(y)) -> +(x,*(x,y))
   8: *(s(x),y) -> +(*(x,y),y)