Profiling results
-----------------
  Total cpu time observed: 4100ms (out of 4096ms)
  Number of samples taken: 10 (once every 410ms)

===============================================================
                                Caller
 Idx   Total        Self      Name+src                   Local%
       ms(pct)      ms(pct)     Callee
===============================================================
                                ??? [3]                  100.0%
 [1] 4100(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] 4100(100.0%)    0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                                ??? [3]                  100.0%
---------------------------------------------------------------
                                run [2]                   50.0%
 [3] 4100(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                profile-thunk16 [1]       50.0%
                                prepare-points [5]        43.1%
                                run-improve50 [4]          6.9%
---------------------------------------------------------------
                                ??? [3]                  100.0%
 [4]  568(13.9%)     0(0.0%)  run-improve50 ...ie/develop/src/mainloop.rkt:234:0
                                prepare-points [5]       100.0%
---------------------------------------------------------------
                                run-improve50 [4]         13.9%
                                ??? [3]                   86.1%
 [5] 4100(100.0%)    0(0.0%)  prepare-points ...bie/develop/src/points.rkt:214:0
                                loop [8]                  52.6%
                                loop [6]                  28.3%
                                make-exacts* [7]          19.1%
---------------------------------------------------------------
                                prepare-points [5]       100.0%
 [6] 1160(28.3%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:158:2
                                loop [8]                 100.0%
---------------------------------------------------------------
                                prepare-points [5]       100.0%
 [7]  782(19.1%)     0(0.0%)  make-exacts* ...erbie/develop/src/points.rkt:138:0
                                loop [9]                 100.0%
---------------------------------------------------------------
                                loop [6]                  35.0%
                                prepare-points [5]        65.0%
 [8] 3318(80.9%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:141:4
                                loop [9]                 100.0%
---------------------------------------------------------------
                                make-exacts* [7]           0.0%
                                loop [8]                   1.1%
                                loop [9]                  98.9%
 [9] 4100(100.0%)    0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                                loop [9]                  98.9%
                                ??? [10]                   1.1%
                                ??? [11]                   0.0%
---------------------------------------------------------------
                                loop [9]                 100.0%
[10] 3706(90.4%)     0(0.0%)  ??? ...tlies/herbie/develop/src/programs.rkt:156:4
                                ??? [12]                  56.9%
                                ??? [13]                  43.1%
---------------------------------------------------------------
                                loop [9]                 100.0%
[11]  394(9.6%)      0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:342:33
                                ->flonum [14]            100.0%
---------------------------------------------------------------
                                ??? [10]                 100.0%
[12] 2110(51.5%)  1542(37.6%) ??? ...acket/collects/racket/private/kw.rkt:444:14
                                for-loop [16]             26.9%
---------------------------------------------------------------
                                ??? [10]                 100.0%
[13] 1596(38.9%)     0(0.0%)  ??? ...contract/private/../../private/kw.rkt:761:9
                                integer->bigfloat [15]   100.0%
---------------------------------------------------------------
                                ??? [11]                 100.0%
[14]  394(9.6%)      0(0.0%)  ->flonum ...s/racket/private/norm-define.rkt:53:83
                                return/no-unsupplied [17]100.0%
---------------------------------------------------------------
                                ??? [13]                 100.0%
[15] 1596(38.9%)   852(20.8%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0
                                ??? [18]                  46.6%
---------------------------------------------------------------
                                ??? [12]                 100.0%
[16]  568(13.9%)     0(0.0%)  for-loop ...ie/develop/src/syntax/syntax.rkt:531:2
                                bf= [19]                 100.0%
---------------------------------------------------------------
                                ->flonum [14]            100.0%
[17]  394(9.6%)      0(0.0%)  return/no-unsupplied ...ct/private/arr-i.rkt:533:0
                                filter [20]              100.0%
---------------------------------------------------------------
                                integer->bigfloat [15]   100.0%
[18]  744(18.1%)   744(18.1%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
---------------------------------------------------------------
                                for-loop [16]            100.0%
[19]  568(13.9%)     0(0.0%)  bf= ...th/private/bigfloat/bigfloat-mpfr.rkt:127:4
                                ??? [21]                 100.0%
---------------------------------------------------------------
                                return/no-unsupplied [17]100.0%
[20]  394(9.6%)    394(9.6%)  filter ...t/collects/racket/private/list.rkt:256:2
---------------------------------------------------------------
                                bf= [19]                 100.0%
[21]  568(13.9%)   568(13.9%) ??? ...tract/private/arrow-higher-order.rkt:346:33
---------------------------------------------------------------