NO

peak

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

is not joinable