wrest3ч как раз и было верификацией уже известного результата. А дальше до следующего (неизвестного, недавно получил лишь оценку сверху) считать ещё в 7000 раз больше. Исходная же зависимость была квадратичной, и тогда триллион лет превратился бы в 5e19 лет. Снижение зависимости до почти линейной (там вероятно
) и дало снижение времени до 4 лет.
По мне так очень даже радость. Даже с оценкой в 4 года я бы не стал браться. А вот когда "на глаз" получил оценку на верификацию в часы, то появился мотив переписать код.