На основе предыдущего алгоритма, можно сделать вывод, что значение x не меняется и всегда равно 1. Таким образом, все действия с x сводятся к умножению на 1, что не меняет значение y. Перепишем шаги, исключив умножение на x, которое не влияет на результат:
1. $$y = 2 * x = 2$$
2. $$y = y + 3 = 5$$
3. $$y = y + 4 = 9$$
4. $$y = y + 5 = 14$$
При произвольном значении x формула не может быть восстановлена, поскольку в представленном алгоритме x всегда равен 1. Если предполагается, что x может быть другим, то нужно изменить алгоритм.
Но если предположить, что начальное значение y равно x и все следующие действия проводятся с ним, то мы получим другую формулу:
1. $$y = x$$
2. $$y = 2 * x$$
3. $$y = 2*x + 3$$
4. $$y = (2*x + 3) * x$$
5. $$y = (2*x + 3) * x + 4$$
6. $$y = ((2*x + 3) * x + 4) * x$$
7. $$y = ((2*x + 3) * x + 4) * x + 5$$
Тогда y = ((2*x + 3) * x + 4) * x + 5