Profiling results
-----------------
  Total cpu time observed: 4002ms (out of 4164ms)
  Number of samples taken: 11 (once every 364ms)

=====================================================================
                                Caller
 Idx   Total        Self      Name+src                         Local%
       ms(pct)      ms(pct)     Callee
=====================================================================
                                ??? [3]                        100.0%
 [1] 3550(88.7%)     0(0.0%)  profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0
                                run [2]                        100.0%
---------------------------------------------------------------------
                                profile-thunk16 [1]             88.7%
 [2] 4002(100.0%)    0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                                ??? [3]                        100.0%
---------------------------------------------------------------------
                                run [2]                         55.6%
 [3] 4002(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                profile-thunk16 [1]             44.4%
                                loop [5]                        44.4%
                                run-improve50 [4]               11.3%
---------------------------------------------------------------------
                                ??? [3]                        100.0%
 [4]  452(11.3%)     0(0.0%)  run-improve50 ...ie/develop/src/mainloop.rkt:234:0
                                loop [5]                       100.0%
---------------------------------------------------------------------
                                run-improve50 [4]               11.3%
                                ??? [3]                         88.7%
 [5] 4002(100.0%)    0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:193:2
                                loop [6]                        47.7%
                                make-exacts* [7]                41.0%
                                loop [8]                        11.3%
---------------------------------------------------------------------
                                loop [5]                       100.0%
 [6] 1908(47.7%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:151:2
                                loop [8]                        57.7%
                                eval-prog [9]                   21.4%
                                make-exacts* [7]                21.0%
---------------------------------------------------------------------
                                loop [6]                        19.6%
                                loop [5]                        80.4%
 [7] 2042(51.0%)     0(0.0%)  make-exacts* ...erbie/develop/src/points.rkt:138:0
                                loop [11]                       50.5%
                                map [10]                        49.5%
---------------------------------------------------------------------
                                loop [5]                        29.1%
                                loop [6]                        70.9%
 [8] 1552(38.8%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:141:4
                                map [10]                       100.0%
---------------------------------------------------------------------
                                loop [6]                       100.0%
 [9]  408(10.2%)   408(10.2%) eval-prog ...herbie/develop/src/programs.rkt:149:0
---------------------------------------------------------------------
                                make-exacts* [7]                39.4%
                                loop [8]                        60.6%
[10] 2562(64.0%)     0(0.0%)  map ...acket/collects/racket/private/map.rkt:20:13
                                loop [11]                      100.0%
---------------------------------------------------------------------
                                make-exacts* [7]                 0.0%
                                map [10]                        13.3%
                                loop [11]                       86.6%
[11] 3594(89.8%)     0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                                loop [11]                       86.6%
                                ??? [12]                        13.2%
                                ->flonum [13]                    0.1%
---------------------------------------------------------------------
                                loop [11]                      100.0%
[12] 1924(48.1%)     0(0.0%)  ??? ...tlies/herbie/develop/src/programs.rkt:155:4
                                ??? [14]                        64.4%
                                ??? [15]                        35.6%
---------------------------------------------------------------------
                                loop [11]                      100.0%
[13] 1670(41.7%)  1670(41.7%) ->flonum ...s/herbie/develop/src/programs.rkt:37:0
---------------------------------------------------------------------
                                ??? [12]                       100.0%
[14] 1240(31.0%)     0(0.0%)  ??? ...contract/private/../../private/kw.rkt:761:9
                                real->bigfloat [16]            100.0%
---------------------------------------------------------------------
                                ??? [12]                       100.0%
[15]  684(17.1%)   336(8.4%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
                                for-loop [17]                   50.9%
---------------------------------------------------------------------
                                ??? [14]                       100.0%
[16] 1240(31.0%)  1240(31.0%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
---------------------------------------------------------------------
                                ??? [15]                       100.0%
[17]  348(8.7%)      0(0.0%)  for-loop ...ie/develop/src/syntax/syntax.rkt:439:2
                                ...higher-order.rkt:342:33 [18]100.0%
---------------------------------------------------------------------
                                for-loop [17]                  100.0%
[18]  348(8.7%)    348(8.7%)  ...higher-order.rkt:342:33 (unknown source)
---------------------------------------------------------------------