NO

1 decompositions
 #0 -----------
   1: h(1(1(x))) -> 1(h(x))
   2: 1(1(h(b(x)))) -> 1(1(s(b(x))))
   3: 1(s(x)) -> s(1(x))
   4: b(s(x)) -> b(h(x))
   5: h(1(b(x))) -> t(1(1(b(x))))
   6: 1(t(x)) -> t(1(1(1(x))))
   7: b(t(x)) -> b(h(x))

unjoinable peak
    1(h(s(b(x))))
*<- h(1(1(h(b(x))))) ->*
    1(h(h(b(x))))