I think S-expressions are annoying in that they tend to infect a language. If you're not careful, every function invocation becomes an s-expr, and you're left with the idea that + is no different from any other function, so we could write things like "plus(a, b, divide(c,2))" if we wanted to make a functional notation. And S-exprs don't save us from associativity, here you've made + associative, which is, fine, I guess, but what does (- a b c) mean, or (/ a b c)? This sort of asymmetry is a burden that isn't worth dealing with in my mind.

On thing that I think imperative languages bring to the table is naming intermediate values through assignment, so we can do things like

    base_index = root_index + offset
    midpoint = length / 2
    final_index = base_index + midpoint

It's rarely useful to be so verbose, but it's nice to have the ability.