((/nonstd/nsa/derivatives.lisp::find-max-rdfn-x-n (nil nil nil nil (if) nil nil) ((max-x) nil nil nil (if) nil nil) (nil nil (integerp integerp realp realp) (<= < >) nil nil (recursive-call recursive-call)) ((i n i n a eps eps a n eps a max-x n eps) (0) (rdfn rdfn 1+ 1+) (+) nil nil nil) ((max-x a i i) nil nil (+ *) nil nil nil) ((a i eps) nil nil (*) nil nil nil) ((i eps) nil nil nil nil nil nil)) (/nonstd/nsa/derivatives.lisp::find-min-rdfn-x-n (nil nil nil nil (if) nil nil) ((min-x) nil nil nil (if) nil nil) (nil nil (integerp integerp realp realp) (<= < <) nil nil (recursive-call recursive-call)) ((i n i n a eps eps a n eps a min-x n eps) (0) (rdfn rdfn 1+ 1+) (+) nil nil nil) ((min-x a i i) nil nil (+ *) nil nil nil) ((a i eps) nil nil (*) nil nil nil) ((i eps) nil nil nil nil nil nil)) (/nonstd/nsa/derivatives.lisp::differential-rdfn (nil nil nil (/) nil nil nil) ((eps) nil nil (-) nil nil nil) (nil nil (rdfn rdfn) nil nil nil nil) ((x) nil nil (+) nil nil nil) ((x eps) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/derivatives.lisp::rolles-critical-point (nil nil nil nil (if) nil nil) (nil nil nil (equal /) (if) nil nil) (nil (2) (rdfn rdfn) (+ equal find-max-rdfn-x find-min-rdfn-x) nil nil nil) ((a b a b a b) nil (rdfn rdfn) (find-min-rdfn-x find-max-rdfn-x) nil nil nil) ((a b a b a) nil nil (find-min-rdfn-x) nil nil nil) ((a b) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/derivatives.lisp::find-max-rdfn2-x-n (nil nil nil nil (if) nil nil) ((max-x) nil nil nil (if) nil nil) (nil nil (integerp integerp realp realp) (<= < >) nil nil (recursive-call recursive-call)) ((i n i n a eps eps a n eps a max-x n eps) (0) (rdfn2 rdfn2 1+ 1+) (+) nil nil nil) ((max-x a i i) nil nil (+ *) nil nil nil) ((a i eps) nil nil (*) nil nil nil) ((i eps) nil nil nil nil nil nil)) (/nonstd/nsa/derivatives.lisp::find-min-rdfn2-x-n (nil nil nil nil (if) nil nil) ((min-x) nil nil nil (if) nil nil) (nil nil (integerp integerp realp realp) (<= < <) nil nil (recursive-call recursive-call)) ((i n i n a eps eps a n eps a min-x n eps) (0) (rdfn2 rdfn2 1+ 1+) (+) nil nil nil) ((min-x a i i) nil nil (+ *) nil nil nil) ((a i eps) nil nil (*) nil nil nil) ((i eps) nil nil nil nil nil nil)) (/nonstd/nsa/derivatives.lisp::rolles-critical-point-2 (nil nil nil nil (if) nil nil) (nil nil nil (equal /) (if) nil nil) (nil (2) (rdfn2 rdfn2) (+ equal find-max-rdfn2-x find-min-rdfn2-x) nil nil nil) ((a b a b a b) nil (rdfn2 rdfn2) (find-min-rdfn2-x find-max-rdfn2-x) nil nil nil) ((a b a b a) nil nil (find-min-rdfn2-x) nil nil nil) ((a b) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/derivatives.lisp::differential-rdfn2 (nil nil nil (/) nil nil nil) ((eps) nil nil (-) nil nil nil) (nil nil (rdfn2 rdfn2) nil nil nil nil) ((x) nil nil (+) nil nil nil) ((x eps) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))