Symbolic differentiation in Common Lisp