[...]... 2*(u1793+y1793+1)*(t1793) + 2*(u1793)*(2*z1793+1) + 2*(r 17 94+ 128*i)*(256*i+char.SOURCE2) + 2*(s17 94) *(256*ge.SOURCE2.C '('+255*i) + 2*(t17 94) *(2**s17 94) + 2*((1+t17 94) **s17 94) *(v179 4* t17 94* *(r17 94+ 1)+u17 94* t17 94* *r17 94+ w17 94) + 2*(w17 94+ x17 94+ 1)*(t17 94* *r17 94) + 2*(u17 94+ y17 94+ 1)*(t17 94) + 2*(u17 94) *(2*z 17 94+ 1) + 2*(r1795)*(ge.C'('.SOURCE2) + 2*(s1795)*(i) + 2*(t17 132 CHAPTER 4 THE LISP INTERPRETER EVAL 95)*(2**s1795)... *(w1803+x1803+1)*(t1803**r1803) + 2*(u1803+y1803+1)*(t1803) + 2*(u1803)*(2*z1803+1) + 2*(r18 04) *(ge.X'00'.SOURCE2) + 2*(s180 4) *(i) + 2*(t18 04) *(2**s18 04) + 2*((1+t18 04) **s18 04) *(v18 04* t1 8 04* *(r18 04+ 1)+u18 04* t18 04* *r18 04+ w18 04) + 2*(w18 04+ x18 04+ 1)*( t18 04* *r18 04) + 2*(u18 04+ y18 04+ 1)*(t18 04) + 2*(u18 04) *(2*z18 04 4.5 END OF RIGHT-HAND SIDE 133 +1) + 2*(r1805)*(256*ge.X'00'.SOURCE2) + 2*(s1805+char.SOURCE2 )*(256*i+0*i)... ((1+t3)**s3)**2+(v3*t3**(r3+1)+u3*t3**r3+w3)* *2 + (w3+x3+1)**2+(t3**r3)**2 + (u3+y3+1)**2+(t3)**2 + (u3)**2 +(2*z3+1)**2 + (r4)**2+(L4)**2 + (s4)**2+(i)**2 + (t4)**2+(2** s4)**2 + ((1+t4)**s4)**2+(v4*t4**(r4+1)+u4*t4**r4+w4)**2 + (w4 +x4+1)**2+(t4**r4)**2 + (u4+y4+1)**2+(t4)**2 + (u4)**2+(2*z4+1 )**2 + (r5)**2+(L5)**2 + (s5)**2+(i)**2 + (t5)**2+(2**s5)**2 + ((1+t5)**s5)**2+(v5*t5**(r5+1)+u5*t5**r5+w5)**2 +... )+u13*t13**r13+w13)**2 + (w13+x13+1)**2+(t13**r13)**2 + (u13+y 13+1)**2+(t13)**2 + (u13)**2+(2*z13+1)**2 + (r 14) **2+(L 14) **2 + (s 14) **2+(i)**2 + (t 14) **2+(2**s 14) **2 + ((1+t 14) **s 14) **2+( v 14* t 14* *(r 14+ 1)+u 14* t 14* *r 14+ w 14) **2 + (w 14+ x 14+ 1)**2+(t 14* *r 14) **2 + (u 14+ y 14+ 1)**2+(t 14) **2 + (u 14) **2+(2*z 14+ 1)**2 + (r1 5)**2+(EVAL)**2 + (s15)**2+(i)**2 + (t15)**2+(2**s15)**2 + ((1 +t15)**s15)**2+(v15*t15**(r15+1)+u15*t15**r15+w15)**2... L 24 L 240 L 241 L 242 L 243 L 244 L 245 L 246 L 247 L 248 L 249 L25 L250 L251 L252 L253 L2 54 L255 L256 L257 L258 L259 L26 L260 L261 L262 L263 L265 L266 L267 L269 L27 L270 L271 L273 L2 74 L275 L276 L277 L278 L279 L28 L280 L281 L282 L2 84 L286 L288 L29 L290 L291 L293 L295 L298 L299 L3 L30 L300 L301 L303 L305 L307 L31 L32 L33 L 34 L35 L36 L37 L39 L4 L40 L41 L42 L43 L 44 L45 L46 L47 L48 L49 L5 L50 L51 L52 L53 L55 L56... DEPTH_OKAY EVAL EVALST 1 24 CHAPTER 4 THE LISP INTERPRETER EVAL EXPRESSION_IS_ATOM EXPRESSION_ISNT_ATOM JN_EXIT JN_ROUTINE L1 L10 L101 L102 L103 L1 04 L105 L106 L107 L108 L109 L110 L111 L112 L113 L1 14 L116 L117 L118 L119 L120 L122 L123 L1 24 L125 L126 L127 L128 L129 L13 L130 L131 L132 L133 L1 34 L135 L136 L137 L139 L 14 L 140 L 141 L 142 L 143 L 144 L 145 L 146 L 147 L 149 L150 L151 L152 L153 L1 54 L155 L156 L157 L158... L1 64 L165 L167 L168 L169 L17 L170 L171 L173 L1 74 L175 L176 L177 L179 L18 L180 L181 L182 L183 L1 84 L186 L187 L188 L189 L19 L190 L191 L192 L193 L1 94 L195 L196 L197 L198 L199 L2 L20 L200 L201 L202 L203 L205 L206 L207 L208 L209 L21 L210 L211 L212 L213 L2 14 L215 L216 L217 L218 L219 L220 L221 L222 L223 L2 24 L225 L226 L227 L228 L229 L230 L231 L233 L2 34 L235 L236 L237 L238 L239 L 24 L 240 L 241 L 242 L 243 L 244 ... ((1+t23)**s23)**2+(v23*t23**(r23+1)+u23*t23** r23+w23)**2 + (w23+x23+1)**2+(t23**r23)**2 + (u23+y23+1)**2+(t 23)**2 + (u23)**2+(2*z23+1)**2 + (r 24) **2+(L 24) **2 + (s 24) **2+ (i)**2 + (t 24) **2+(2**s 24) **2 + ((1+t 24) **s 24) **2+(v 24* t 24* *(r 4. 5 The Arithmetization of EVAL: End of Right-Hand Side E.X'00') + 2*(s1790)*(ge.SOURCE.X'00'+ge.X'00'.SOURCE) + 2*(t1 790)*(2**s1790) + 2*((1+t1790)**s1790)*(v1790*t1790**(r1790+1)... 1 14 CHAPTER 4 THE LISP INTERPRETER EVAL * second argument is expression to safely eval PUSH ALIST save old environment L 141 : SET SOURCE ALIST L 142 : JUMP LINKREG2 PUSH_ROUTINE EMPTY ALIST fresh environment L 143 : SET ALIST C')' L 144 : LEFT ALIST C'(' * Decide whether old or new depth restriction is stronger SET X,DEPTH pick up old depth limit L 145 : SET X DEPTH SET Y,VALUE pick up new depth limit L 146 :... set.X.EXPRESSION_IS_ATOM set.X.L 145 set.X.L158 set.X.L225 set.X.L 240 set.X.L 246 set.X.L252 set.X.L258 set.X.L31 set.X.L35 set.X.L83 set.X.L96 set.Y set.Y.L 146 set.Y.L161 set.Y.L30 set.Y.L 84 set.Y.L87 set.Y.L97 shift.ARGUMENTS shift.DEPTH shift.EXPRESSION shift.FUNCTION shift.PARENS shift.SOURCE shift.SOURCE2 shift.VALUE shift.VARIABLES shift.WORK shift.X shift.Y time total.input 4. 4 START OF LEFT-HAND SIDE 129 Variables . y3 w2 h4" alt=""