differentials as lisp