gistfile1.clj

user=> (use 'leibniz.derivative)
nil
user=> (def y '(* (+ (* 3 ?x) 4) (+ (* 4 ?x) 6)))  
#'user/y
user=> (def fy (f [?x] y))
#'user/fy
user=> (fy 7)
850
user=> (deriv y ?x)
(+ (* 24 ?x) 34)
user=> (def dydx (f [?x] *1))                    
#'user/dydx
user=> (dydx 7)
202