(define (arith-eval-eval e)
  '(lambda-rec (eval-expr expr)
             (if [pair? expr]
               (cond
                 [ (eq? (car expr) (quote +)) (+ (eval-expr (car(cdr expr)) (eval-expr (car (cdr (cdr expr))))))]
                 [ (eq? (car expr) (quote -)) (- (eval-expr (car(cdr expr)) (eval-expr (car (cdr (cdr expr))))))]
                 [ (eq? (car expr) (quote *)) (* (eval-expr (car(cdr expr)) (eval-expr (car (cdr (cdr expr))))))]
                 [ (eq? (car expr) (quote /)) (/ (eval-expr (car(cdr expr)) (eval-expr (car (cdr (cdr expr))))))]
                 )
               expr)))