I agree, working out the grouping and precedence in the equation you posted has always been what's tripped me up. Like you, I've tried to understand on several occassions, for several years. In my case, I've never had anyone to ask. Even in college (third tier state school) none of the CS professors were familiar with lambda calculus.