Lines Matching refs:x
19 (defun plus$fp (x)
21 (cond ((ok_pair x 'numberp) (plus (car x) (cadr x)))
31 (defun sub$fp (x)
33 (cond ((ok_pair x 'numberp) (diff (car x) (cadr x)))
44 (defun times$fp (x)
46 (cond ((ok_pair x 'numberp) (product (car x) (cadr x)))
57 (defun div$fp (x)
60 (cond ((not (zerop (cadr x)))
61 (quotient (car x) (cadr x)))
74 (defun and$fp (x)
79 (t (cadr x))))
90 (cond ((ok_pair x 'boolp)
92 ((eq 'T (car x)) 'T)
102 (defun xor$fp (x)
105 (let ((p (car x))
106 (q (cadr x)))
121 (cond ((not (atom x)) (bottom))
122 ((boolp x) (cond ((eq x 'T) 'F) (t 'T)))
130 (cond ((ok_pair x 'numberp)
137 (cond ((ok_pair x 'numberp)
144 (cond ((ok_eqpair x )
145 (cond ((equal (car x) (cadr x)) 'T)
149 (defun ge$fp (x)
152 (cond ((not (lessp (car x) (cadr x))) 'T)
156 (defun gt$fp (x)
159 (cond ((greaterp (car x) (cadr x)) 'T)
163 (defun ne$fp (x)
194 (defun undefp (x)
195 (eq x '?))
198 (cond (DynTraceFlg (IncrSize 'tl$fp (size x)) (IncrTimes 'tl$fp)))
204 (cond (DynTraceFlg (IncrSize 'tlr$fp (size x)) (IncrTimes 'tlr$fp)))
219 (cond (DynTraceFlg (IncrSize 'id$fp (size x)) (IncrTimes 'id$fp)))
223 (cond (DynTraceFlg (IncrSize 'atom$fp (size x)) (IncrTimes 'atom$fp)))
228 (cond (DynTraceFlg (IncrSize 'null$fp (size x)) (IncrTimes 'null$fp)))
233 (cond (DynTraceFlg (IncrSize 'reverse$fp (size x)) (IncrTimes 'reverse$fp)))
265 (defun distr$fp (x)
267 (cond ((rpair$ x)
275 (cond (DynTraceFlg (IncrSize 'length$fp (size x)) (IncrTimes 'length$fp)))
282 (IncrSize 'apndl$fp (size (cadr x))) (IncrTimes 'apndl$fp)))
290 (IncrSize 'apndr$fp (size (car x))) (IncrTimes 'apndr$fp)))
296 (cond (DynTraceFlg (IncrSize 'rotl$fp (size x)) (IncrTimes 'rotl$fp)))
303 (cond (DynTraceFlg (IncrSize 'rotr$fp (size x)) (IncrTimes 'rotr$fp)))
315 (IncrSize 'trans$fp (size x))
322 (+ (size (car x))
323 (size (cadr x)))) (IncrTimes 'trans$fp)))
363 (cond ((undefp x) x)
364 ((listp x) (bottom))
365 ((not (fixp x)) (bottom))
366 ((lessp x 0) (bottom))
367 ((zerop x) nil)
369 (do ((z x (1- z))
381 (cond (DynTraceFlg (IncrSize 'last$fp (size x)) (IncrTimes 'last$fp)))
389 (If DynTraceFlg then (IncrSize 'first$fp (size x)) (IncrTimes 'first$fp))
394 (cond (DynTraceFlg (IncrSize 'front$fp (size x)) (IncrTimes 'front$fp)))
421 (cond (DynTraceFlg (IncrSize 'concat$fp (size x)) (IncrTimes 'concat$fp)))
437 (cond (DynTraceFlg (IncrSize 'pair$fp (size x)) (IncrTimes 'pair$fp)))
451 (cond (DynTraceFlg (IncrSize 'split$fp (size x)) (IncrTimes 'split$fp)))
468 (cond ((numberp x) (sin x))
471 (defun asin$fp (x)
478 (cond ((numberp x) (cos x))
481 (defun acos$fp (x)
488 (cond ((and (numberp x) (not (minusp x))) (log x))
491 (defun exp$fp (x)
498 (cond ((ok_pair x 'numberp) (mod (car x) (cadr x)))