Here are the timings from DrScheme from level 1, 2 and 3.

cpu time: 0 real time: 0 gc time: 0
15
cpu time: 70 real time: 70 gc time: 0
15
cpu time: 5869 real time: 5868 gc time: 1614
15

Here is the revised code:

; Self evaluating evaluator, version 2
; Jens Axel Søgaard, oct 2002

(define first car)
(define second cadr)
(define third caddr)
(define rest cdr)

; Support code for fak-example
(define (plus a) (lambda (b) (+ a b)))
(define (mult a) (lambda (b) (* a b)))
(define (one? x) (= x 1))
(define (sub1 n) (- n 1))

(define fak '(lambda (f)
               (lambda (n)
                 (cond
                   [(one? n)  1]
                   [#t        ((mult n) ((f f) (sub1 n)))]))))

(define fac-code (list (list fak fak) 5))

; Conventions:  n name, v value, r environment, e expression
(define code-jas-eval
  '(lambda (ev)
     (lambda (e)
       (lambda (r)
         (cond
           [(symbol? e)      (r e)]
           [(not (pair? e))  e]
           [(pair? e)        (cond
                               [((ceq? (first e)) 'quote)  (first (rest e))]
                               [((ceq? (first e)) 'cond)
                                (cond
                                  [(((ev ev) (first (second e))) r)  (((ev ev) (second (second e))) r)]
                                  [#t                                (((ev ev) ((ccons 'cond) (rest (rest e)))) r)])]
                               [((ceq? (first e)) 'lambda)              (lambda (x)
                                                                       (((ev ev) (third e))
                                                                        (lambda (n)
                                                                          (cond
                                                                            [((ceq? (first (second e))) n)   x]
                                                                            [#t                           (r n)]))))]
                               [#t                                   ((((ev ev) (first e)) r)
                                                                      (((ev ev) (second e)) r))])])))))

; setup initial environment;
; currying the primitives used in the evaluator
(define (ceq? a)
  (lambda (b)
    (eq? a b)))

(define (ccons a)
  (lambda (b)
    (cons a b)))

(define initial-env eval)

; use Scheme-eval to get jas-eval
(define jas-eval (eval code-jas-eval))
(define initial-env eval)

; test it in (fak 5)
(define expression fac-code)
(time (((jas-eval jas-eval) expression) initial-env))

; use jas-eval to evaluate (jas-eval (fak 5) initial-env)
(define expression (list (list (list code-jas-eval code-jas-eval) (list 'quote fac-code)) initial-env))
;expression
(time (((jas-eval jas-eval) expression) initial-env))

; use jas-eval to evaluate (jas-eval (fak 5) initial-env)
(define expression (list (list (list code-jas-eval code-jas-eval) (list 'quote fac-code))  initial-env))
(define expression (list (list (list code-jas-eval code-jas-eval) (list 'quote expression)) initial-env))
;expression
(time (((jas-eval jas-eval) expression) initial-env))