((/nonstd/nsa/inverse-derivatives.lisp::differential-idfn (nil nil nil (/) nil nil nil) ((eps) nil nil (-) nil nil nil) (nil nil (idfn idfn) 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/inverse-derivatives.lisp::differential-idfn-inverse-local (nil nil (/) nil nil nil nil) (nil nil nil (differential-idfn) nil nil nil) (nil nil (idfn-inverse) (-) nil nil nil) ((x) nil (idfn-inverse idfn-inverse) 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)) (/nonstd/nsa/inverse-derivatives.lisp::differential-idfn-inverse (nil nil nil (/) nil nil nil) ((eps) nil nil (-) nil nil nil) (nil nil (idfn-inverse idfn-inverse) 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)))