Локальные переменные и LET

Локальные переменные служат для именования объектов, аналогично формальными параметрам.

Пример

f(x, y) = x(1 + xy)² + y(1 - y) + (1 + xy)(1 - y)

Это равносильно:

a = 1 + xy
b = 1 - y
f(x, y) = xa² + yb + ab

(defun f (x y)
  (let ((a (+ 1 (* x y)))
        (b (- 1 y)))
   (+ (* x (square a))
      (* y b)
      (* a b))))