Given:

$($defun f$1($h x$)($if $($null x$)\text{'}()($cons $($funcall h $($carx$))($f$1$ h $($cdr x$)))))$

$($setf y $2)$

Write the evolution for:

$($f$1($lambda $($x$)(+5(*$ x y$)))\text{'}(123))$