NO

1 decompositions
 #1 -----------
   1: +(0(),x1) -> x1
   2: +(s(x2),x3) -> s(+(x2,x3))
   3: *(0(),x4) -> 0()
   4: *(s(x5),x6) -> +(*(x5,x6),x6)
   5: *(x7,s(x8)) -> +(x7,*(x7,x8))

unjoinable peak
    +(+(x5,*(x5,x24)),s(x24))
*<- *(s(x5),s(x24)) ->*
    s(+(x5,*(s(x5),x24)))