Tak:

(LAMBDA (x y z)
 (COND
  ((NOT (LESSP y x)) z)
  (T (tak  (tak (SUB1 x) y z)
    (tak (SUB1 y) z x)
    (tak (SUB1 z) x y)))))

Code:


40: 100 IVAR x
41: 144 COPY
42: 101 IVAR y
43: 363 GREATERP
44: 241 TJUMP-> 47
45: 102 IVAR z
46: 20 RETURN
47: 153 '1
50: 331 IDIFFERENCE
51: 101 IVAR y
52: 102 IVAR z
53: 13 147 277 FN3 tak
56: 101 IVAR y
57: 153 '1
60: 331 IDIFFERENCE
61: 102 IVAR z
62: 100 IVAR x
63: 13 147 277 FN3 tak
66: 102 IVAR z
67: 153 '1
70: 331 IDIFFERENCE
71: 100 IVAR x
72: 101 IVAR y
73: 13 147 277 FN3 tak
76: 142 4 IVARX← z
100: 277 POP
101: 142 2 IVARX← y
103: 277 POP
104: 142 0 IVARX← x
106: 260 333 JUMPX-> 41
110: 0 -X-