Не совсем верно. Если у нас разница неположительная, мы сразу вылетаем из функции с множителем х1, значение множителя получаем, как только выполняется первое из условий сверху вниз, дальше шагов нет. Единственное что неясно в математике простой атаки, зачем мы берем максимум из (дифф, -20), если у нас первый иф не отработал и дифференс заведомо положительный? Или тут какаято шаманская затычка, глубокого смысла которой я не заметил?