(define f '(+ (+ (+ (+ (+ (* a (^ x 5)) 
                          (* b (^ x 4))) 
                       (* 2 (^ x 3)))
                    (* 6 (^ x 2))) 
                 (* 3 x)) 
              7))

(define make-proc
  (lambda (f)
    (eval (list 'lambda '(x) f))
))
              
(define ^ expt)

(define a 1)
(define b 1)