NO

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

unjoinable peak
    s(plus(x2,x22))
*<- plus(s(x2),x22) ->*
    qplus(x2,s(x22))
NOTE: input TRS is reduced

original is
   1: plus(0(),x1) -> x1
   2: plus(s(x2),x3) -> s(plus(x2,x3))
   3: qplus(0(),x4) -> x4
   4: qplus(s(x5),x6) -> qplus(x5,s(x6))
   5: plus(x7,x8) -> qplus(x7,x8)

reduced to
   2: plus(s(x2),x3) -> s(plus(x2,x3))
   3: qplus(0(),x4) -> x4
   4: qplus(s(x5),x6) -> qplus(x5,s(x6))
   5: plus(x7,x8) -> qplus(x7,x8)