NO

peak

3(4(1(1(1(1(4(4(0(4(y0))))))))))
*<-
5(5(y0))
->*
0(5(4(0(2(5(4(5(2(1(y0))))))))))

is not joinable