NO

peak

f(a(),f(f(a(),a()),a()))
*<-
f(a(),f(a(),f(a(),x0)))
->*
f(f(a(),a()),a())

is not joinable