Profiling results
-----------------
  Total cpu time observed: 3068ms (out of 3636ms)
  Number of samples taken: 9 (once every 341ms)

============================================================
                                Caller
 Idx   Total        Self      Name+src                Local%
       ms(pct)      ms(pct)     Callee
============================================================
                                ??? [3]               100.0%
 [1] 3068(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] 3068(100.0%)    0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                                ??? [3]               100.0%
------------------------------------------------------------
                                run [2]                50.0%
 [3] 3068(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                profile-thunk16 [1]    50.0%
                                prepare-points [4]     50.0%
------------------------------------------------------------
                                ??? [3]               100.0%
 [4] 3068(100.0%)    0(0.0%)  prepare-points ...bie/develop/src/points.rkt:214:0
                                make-exacts* [6]       44.5%
                                loop [7]               34.6%
                                loop [5]               20.9%
------------------------------------------------------------
                                prepare-points [4]    100.0%
 [5]  642(20.9%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:158:2
                                make-exacts* [6]       52.0%
                                loop [7]               48.0%
------------------------------------------------------------
                                loop [5]               19.7%
                                prepare-points [4]     80.3%
 [6] 1698(55.3%)     0(0.0%)  make-exacts* ...erbie/develop/src/points.rkt:138:0
                                loop [8]               80.7%
                                eval-prog [9]          19.3%
------------------------------------------------------------
                                loop [5]               22.5%
                                prepare-points [4]     77.5%
 [7] 1370(44.7%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:141:4
                                loop [8]              100.0%
------------------------------------------------------------
                                make-exacts* [6]        0.0%
                                loop [7]                0.4%
                                loop [8]               99.6%
 [8] 2740(89.3%)   336(11.0%) loop ...cket/collects/racket/private/map.rkt:25:19
                                loop [8]               99.6%
                                ??? [10]                0.4%
                                ??? [11]                0.0%
------------------------------------------------------------
                                make-exacts* [6]      100.0%
 [9]  328(10.7%)   328(10.7%) eval-prog ...herbie/develop/src/programs.rkt:150:0
------------------------------------------------------------
                                loop [8]              100.0%
[10] 1726(56.3%)     0(0.0%)  ??? ...tlies/herbie/develop/src/programs.rkt:156:4
                                ??? [12]               79.5%
                                ??? [14]               20.5%
------------------------------------------------------------
                                loop [8]              100.0%
[11]  678(22.1%)     0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:342:33
                                ->flonum [13]         100.0%
------------------------------------------------------------
                                ??? [10]              100.0%
[12] 1372(44.7%)     0(0.0%)  ??? ...contract/private/../../private/kw.rkt:761:9
                                integer->bigfloat [15]100.0%
------------------------------------------------------------
                                ??? [11]              100.0%
[13]  678(22.1%)   344(11.2%) ->flonum ...s/racket/private/norm-define.rkt:53:83
                                ??? [17]               49.3%
------------------------------------------------------------
                                ??? [10]              100.0%
[14]  354(11.5%)     0(0.0%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
                                ??? [16]              100.0%
------------------------------------------------------------
                                ??? [12]              100.0%
[15] 1372(44.7%)  1372(44.7%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0
------------------------------------------------------------
                                ??? [14]              100.0%
[16]  354(11.5%)   354(11.5%) ??? .../herbie/develop/src/syntax/syntax.rkt:530:0
------------------------------------------------------------
                                ->flonum [13]         100.0%
[17]  334(10.9%)   334(10.9%) ??? ...racket/collects/racket/private/kw.rkt:761:9
------------------------------------------------------------