Profiling results
-----------------
  Total cpu time observed: 4758ms (out of 4744ms)
  Number of samples taken: 8 (once every 595ms)

=====================================================================
                                Caller
 Idx   Total        Self      Name+src                         Local%
       ms(pct)      ms(pct)     Callee
=====================================================================
                                ??? [3]                        100.0%
 [1] 4758(100.0%)    0(0.0%)  profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0
                                run [2]                        100.0%
---------------------------------------------------------------------
                                profile-thunk16 [1]            100.0%
 [2] 4758(100.0%)    0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                                ??? [3]                        100.0%
---------------------------------------------------------------------
                                run [2]                         50.0%
 [3] 4758(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                profile-thunk16 [1]             50.0%
                                prepare-points [5]              44.9%
                                run-improve50 [4]                5.1%
---------------------------------------------------------------------
                                ??? [3]                        100.0%
 [4]  484(10.2%)     0(0.0%)  run-improve50 ...ie/develop/src/mainloop.rkt:234:0
                                prepare-points [5]             100.0%
---------------------------------------------------------------------
                                run-improve50 [4]               10.2%
                                ??? [3]                         89.8%
 [5] 4758(100.0%)  448(9.4%)  prepare-points ...bie/develop/src/points.rkt:214:0
                                make-exacts* [7]                41.8%
                                loop [6]                        32.2%
                                loop [8]                        16.6%
---------------------------------------------------------------------
                                prepare-points [5]             100.0%
 [6] 1534(32.2%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:158:2
                                make-exacts* [7]                74.4%
                                loop [8]                        25.6%
---------------------------------------------------------------------
                                loop [6]                        36.5%
                                prepare-points [5]              63.5%
 [7] 3130(65.8%)     0(0.0%)  make-exacts* ...erbie/develop/src/points.rkt:138:0
                                loop [9]                       100.0%
---------------------------------------------------------------------
                                loop [6]                        33.2%
                                prepare-points [5]              66.8%
 [8] 1180(24.8%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:141:4
                                loop [9]                       100.0%
---------------------------------------------------------------------
                                make-exacts* [7]                 0.3%
                                loop [8]                         0.7%
                                loop [9]                        99.0%
 [9] 4310(90.6%)     0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                                loop [9]                        99.0%
                                ??? [10]                         1.0%
---------------------------------------------------------------------
                                loop [9]                       100.0%
[10] 4310(90.6%)     0(0.0%)  ??? ...tlies/herbie/develop/src/programs.rkt:156:4
                                ??? [11]                        90.8%
                                ??? [12]                         9.2%
---------------------------------------------------------------------
                                ??? [10]                       100.0%
[11] 3912(82.2%)  1142(24.0%) ??? ...contract/private/../../private/kw.rkt:761:9
                                integer->bigfloat [13]          70.8%
---------------------------------------------------------------------
                                ??? [10]                       100.0%
[12]  398(8.4%)      0(0.0%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
                                for-loop [14]                  100.0%
---------------------------------------------------------------------
                                ??? [11]                       100.0%
[13] 2770(58.2%)  2770(58.2%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0
---------------------------------------------------------------------
                                ??? [12]                       100.0%
[14]  398(8.4%)      0(0.0%)  for-loop ...ie/develop/src/syntax/syntax.rkt:531:2
                                ...higher-order.rkt:342:33 [15]100.0%
---------------------------------------------------------------------
                                for-loop [14]                  100.0%
[15]  398(8.4%)      0(0.0%)  ...higher-order.rkt:342:33 (unknown source)
                                ??? [16]                       100.0%
---------------------------------------------------------------------
                                ...higher-order.rkt:342:33 [15]100.0%
[16]  398(8.4%)    398(8.4%)  ??? ...ects/racket/contract/private/guts.rkt:644:8
---------------------------------------------------------------------