NO

peak

+(+(x2,x1),0())
*<-
+(0(),+(x1,x2))
->*
+(x1,x2)

is not joinable