NO

1 decompositions
 #1 -----------
   1: s(p(x1)) -> x1
   2: p(s(x2)) -> x2
   3: +(x3,0()) -> x3
   4: +(x4,s(x5)) -> s(+(x4,x5))
   5: +(x6,p(x7)) -> p(+(x6,x7))
   6: -(x8,0()) -> x8
   7: -(x9,s(x10)) -> p(-(x9,x10))
   8: -(x11,p(x12)) -> s(-(x11,x12))
   9: *(x13,0()) -> 0()
  10: *(x14,s(x15)) -> +(*(x14,x15),x14)
  11: *(x16,p(x17)) -> -(*(x16,x17),x16)

unjoinable peak
    *(x48,x1)
*<- *(x48,s(p(x1))) ->*
    +(*(x48,p(x1)),x48)