Profiling results
-----------------
  Total cpu time observed: 1086ms (out of 1316ms)
  Number of samples taken: 5 (once every 217ms)

=======================================================================
                               Caller
 Idx   Total       Self      Name+src                            Local%
       ms(pct)     ms(pct)     Callee
=======================================================================
                               run [4]                            50.0%
 [1] 1086(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [3]                50.0%
                               run-improve40 [2]                  50.0%
-----------------------------------------------------------------------
                               ??? [1]                           100.0%
 [2] 1086(100.0%)   0(0.0%)  run-improve40 ...ie/develop/src/mainloop.rkt:340:0
                               prepare-points-intervals [5]      100.0%
-----------------------------------------------------------------------
                               ??? [1]                           100.0%
 [3] 1086(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] 1086(100.0%)   0(0.0%)  run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2
                               ??? [1]                           100.0%
-----------------------------------------------------------------------
                               run-improve40 [2]                 100.0%
 [5] 1086(100.0%)   0(0.0%)  prepare-points-intervals ...p/src/points.rkt:122:0
                               loop [6]                           42.7%
                               eval-prog [7]                      32.4%
                               loop [8]                           24.9%
-----------------------------------------------------------------------
                               prepare-points-intervals [5]      100.0%
 [6]  464(42.7%)    0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:138:4
                               loop [9]                          100.0%
-----------------------------------------------------------------------
                               prepare-points-intervals [5]      100.0%
 [7]  352(32.4%)    0(0.0%)  eval-prog ...herbie/develop/src/programs.rkt:130:0
                               loop [10]                         100.0%
-----------------------------------------------------------------------
                               prepare-points-intervals [5]      100.0%
 [8]  270(24.9%)  270(24.9%) loop ...-7.0/collects/racket/private/map.rkt:40:19
-----------------------------------------------------------------------
                               loop [6]                          100.0%
 [9]  464(42.7%)  148(13.6%) loop ...htlies/herbie/develop/src/points.rkt:103:2
                               ??? [13]                           68.1%
-----------------------------------------------------------------------
                               loop [10]                          33.3%
                               expand-capturing-lifts [11]        33.3%
                               eval-prog [7]                      33.3%
[10]  352(32.4%)    0(0.0%)  loop (unknown source)
                               expand-capturing-lifts [11]        33.3%
                               loop [10]                          33.3%
                               for-loop [12]                      33.3%
-----------------------------------------------------------------------
                               loop [10]                         100.0%
[11]  352(32.4%)    0(0.0%)  expand-capturing-lifts (unknown source)
                               loop [10]                         100.0%
-----------------------------------------------------------------------
                               temp37_0 [15]                      33.3%
                               run-module-instance!125 [16]       33.3%
                               loop [10]                          33.3%
[12]  352(32.4%)    0(0.0%)  for-loop (unknown source)
                               run-module-instance!125 [16]       33.3%
                               temp37_0 [15]                      33.3%
                               module-path-index-resolve [14]     33.3%
-----------------------------------------------------------------------
                               loop [9]                          100.0%
[13]  316(29.1%)    0(0.0%)  ??? ...tlies/herbie/develop/src/programs.rkt:146:2
                               ??? [17]                           53.2%
                               ??? [18]                           46.8%
-----------------------------------------------------------------------
                               for-loop [12]                     100.0%
[14]  352(32.4%)    0(0.0%)  module-path-index-resolve (unknown source)
                               standard-module-name-resolver [19]100.0%
-----------------------------------------------------------------------
                               for-loop [12]                     100.0%
[15]  352(32.4%)    0(0.0%)  temp37_0 (unknown source)
                               for-loop [12]                     100.0%
-----------------------------------------------------------------------
                               for-loop [12]                     100.0%
[16]  352(32.4%)    0(0.0%)  run-module-instance!125 (unknown source)
                               for-loop [12]                     100.0%
-----------------------------------------------------------------------
                               ??? [13]                          100.0%
[17]  168(15.5%)  168(15.5%) ??? ...tract/private/arrow-higher-order.rkt:361:33
-----------------------------------------------------------------------
                               ??? [13]                          100.0%
[18]  148(13.6%)    0(0.0%)  ??? ...t-7.0/collects/racket/private/kw.rkt:592:14
                               ??? [20]                          100.0%
-----------------------------------------------------------------------
                               module-path-index-resolve [14]    100.0%
[19]  352(32.4%)  352(32.4%) standard-module-name-resolver (unknown source)
-----------------------------------------------------------------------
                               ??? [18]                          100.0%
[20]  148(13.6%)    0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:357:33
                               ival-pow [21]                     100.0%
-----------------------------------------------------------------------
                               ??? [20]                          100.0%
[21]  148(13.6%)  148(13.6%) ival-pow ...rbie/develop/src/biginterval.rkt:199:0
-----------------------------------------------------------------------