Profiling results
-----------------
  Total cpu time observed: 692ms (out of 792ms)
  Number of samples taken: 7 (once every 99ms)

================================================================
                              Caller
 Idx  Total       Self      Name+src                      Local%
      ms(pct)     ms(pct)     Callee
================================================================
                              run [4]                      50.0%
 [1] 692(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                              profile-thunk16 [3]          50.0%
                              run-improve43 [2]            50.0%
----------------------------------------------------------------
                              ??? [1]                     100.0%
 [2] 692(100.0%)   0(0.0%)  run-improve43 ...ie/develop/src/mainloop.rkt:339:0
                              setup-prog!34 [5]           100.0%
----------------------------------------------------------------
                              ??? [1]                     100.0%
 [3] 692(100.0%)   0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                              run [4]                     100.0%
----------------------------------------------------------------
                              profile-thunk16 [3]         100.0%
 [4] 692(100.0%)   0(0.0%)  run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2
                              ??? [1]                     100.0%
----------------------------------------------------------------
                              run-improve43 [2]           100.0%
 [5] 692(100.0%)   0(0.0%)  setup-prog!34 ...bie/develop/src/mainloop.rkt:67:0
                              prepare-points [6]          100.0%
----------------------------------------------------------------
                              setup-prog!34 [5]           100.0%
 [6] 692(100.0%)   0(0.0%)  prepare-points ...bie/develop/src/points.rkt:166:0
                              eval-prog [7]                67.6%
                              loop [8]                     32.4%
----------------------------------------------------------------
                              prepare-points [6]          100.0%
 [7] 468(67.6%)    0(0.0%)  eval-prog .../herbie/develop/src/programs.rkt:83:0
                              loop [9]                    100.0%
----------------------------------------------------------------
                              prepare-points [6]          100.0%
 [8] 224(32.4%)  224(32.4%) loop ...htlies/herbie/develop/src/points.rkt:143:4
----------------------------------------------------------------
                              loop [9]                     33.3%
                              expand-capturing-lifts [10]  33.3%
                              eval-prog [7]                33.3%
 [9] 468(67.6%)    0(0.0%)  loop (unknown source)
                              expand-capturing-lifts [10]  33.3%
                              loop [9]                     33.3%
                              for-loop [11]                33.3%
----------------------------------------------------------------
                              loop [9]                    100.0%
[10] 468(67.6%)    0(0.0%)  expand-capturing-lifts (unknown source)
                              loop [9]                    100.0%
----------------------------------------------------------------
                              temp37_0 [13]                 3.8%
                              for-loop [11]                 8.5%
                              loop [9]                     39.5%
                              run-module-instance!125 [12] 48.1%
[11] 468(67.6%)  416(60.1%) for-loop (unknown source)
                              run-module-instance!125 [12] 48.1%
                              temp37_0 [13]                 9.4%
                              for-loop [11]                 8.5%
----------------------------------------------------------------
                              for-loop [11]               100.0%
[12] 468(67.6%)    0(0.0%)  run-module-instance!125 (unknown source)
                              for-loop [11]               100.0%
----------------------------------------------------------------
                              for-loop [11]               100.0%
[13] 106(15.3%)    0(0.0%)  temp37_0 (unknown source)
                              for-loop [11]                50.9%
                              [running body] [14]          49.1%
----------------------------------------------------------------
                              temp37_0 [13]               100.0%
[14]  52(7.5%)    52(7.5%)  [running body] ...t/contract/private/list.rkt":##f
----------------------------------------------------------------