Уровень стека программы превышен!

[Владимир Ситников]

и как не крути с последовательностью (с низу в вверх ,сверху в низ)

Тут вы ошибаетесь.

Компилятор вполне может поменять связи местами, особенно, если это не влияет на результат.
Правило a+(b+c)=(a+b)+c в школе проходят. Для целых чисел оно соблюдается.
Поэтому ОЛ запросто могло бы преобразовать a+(b+(c+(d))) к виду ((a+b)+c)+d.

Простая замена неявных связей явными позволит снизить уровень стека в 4 раза во первом варианте

Посмотрите же на картинки хоть раз.
Там все связи явные. То, что замена схемы на такую же сокращает размер стека говорит лишь о том, что в этой области ОЛ недоработано.

Обработка элемента в ОЛ идет от выхода ко входу, поэтому это всегда обратная связь

Это вы учите мат часть. Не надо называть обратной связью то, что ей не является