Пятнадцать байтов на стек от конца

Я тут подумал, а как раскладывается простая функция f(a,b) = a*b ? И выходит, наверное, через (a+b)^2 = a^2 + 2ab + b^2. То есть, ab = ((a+b)^2 - a^2 - b^2)/2. То есть, мораль выходит в том, что сложение там оттого, что первым делом берем функцию от суммы, а потом начинаем вычитать лишние вещи. В-общем, не очень понятно, зачем.