Рекурсия: Сколько раз будет вызвана рекурсивная ветвь

(defun simtr (s1 s2)
(cond ((null s1) s2)
((null s2) s1)
((member (car s1) s2) (simtr (cdr s1) (remove (car s1) s2)))
(t (cons (car s1) (simtr (cdr s1) s2)))))

(defun simtr (s1 s2)
   (cond ((null s1) s2)
            ((null s2) s1)
            ((member (car s1) s2) (simtr (cdr s1) (remove (car s1) s2)))
            (t (cons (car s1) (simtr (cdr s1) s2)))))
 
(trace simtr)
 
 
(simtr nil '(a))
 
Вход в функцию simtr Аргументы: NIL (A)
Возврат из функции simtr Результат: (A)
 
==> (A)
 
(simtr '(a) '(a b))
 
Вход в функцию simtr Аргументы: (A) (A B)
  Вход в функцию simtr Аргументы: NIL (B)
  Возврат из функции simtr Результат: (B)
Возврат из функции simtr Результат: (B)
 
==> (B)
 
(simtr '(a b c) '(c d b))
 
Вход в функцию simtr Аргументы: (A B C) (C D B)
  Вход в функцию simtr Аргументы: (B C) (C D B)
    Вход в функцию simtr Аргументы: (C) (C D)
      Вход в функцию simtr Аргументы: NIL (D)
      Возврат из функции simtr Результат: (D)
    Возврат из функции simtr Результат: (D)
  Возврат из функции simtr Результат: (D)
Возврат из функции simtr Результат: (A D)
 
==> (A D)