sicp-symbolic-differentiation (deriv '(+ x 3) 'x) ;; > 1 (deriv '(* x y) ' x) ;; > y (deriv '(** x 2) 'x) ;; > (* 2 x)