Profiling results
-----------------
  Total cpu time observed: 6704ms (out of 6976ms)
  Number of samples taken: 12 (once every 559ms)

============================================================
                                Caller
 Idx   Total        Self      Name+src                Local%
       ms(pct)      ms(pct)     Callee
============================================================
                                ??? [3]               100.0%
 [1] 6256(93.3%)     0(0.0%)  profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0
                                run [2]               100.0%
------------------------------------------------------------
                                profile-thunk16 [1]   100.0%
 [2] 6256(93.3%)     0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                                ??? [3]               100.0%
------------------------------------------------------------
                                run [2]                46.7%
 [3] 6704(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                prepare-points [5]     49.1%
                                profile-thunk16 [1]    46.7%
                                run-improve50 [4]       4.3%
------------------------------------------------------------
                                ??? [3]               100.0%
 [4]  572(8.5%)      0(0.0%)  run-improve50 ...lt-testing/src/mainloop.rkt:225:0
                                prepare-points [5]    100.0%
------------------------------------------------------------
                                run-improve50 [4]       8.5%
                                ??? [3]                91.5%
 [5] 6704(100.0%)  332(5.0%)  prepare-points ...alt-testing/src/points.rkt:214:0
                                loop [6]               59.3%
                                loop [7]               25.4%
                                make-exacts* [8]       10.3%
------------------------------------------------------------
                                prepare-points [5]    100.0%
 [6] 3974(59.3%)     0(0.0%)  loop ...es/herbie/alt-testing/src/points.rkt:158:2
                                loop [7]               72.4%
                                make-exacts* [8]       27.6%
------------------------------------------------------------
                                prepare-points [5]     37.2%
                                loop [6]               62.8%
 [7] 4582(68.3%)     0(0.0%)  loop ...es/herbie/alt-testing/src/points.rkt:141:4
                                loop [9]              100.0%
------------------------------------------------------------
                                prepare-points [5]     38.7%
                                loop [6]               61.3%
 [8] 1790(26.7%)     0(0.0%)  make-exacts* ...e/alt-testing/src/points.rkt:138:0
                                loop [9]              100.0%
------------------------------------------------------------
                                make-exacts* [8]        0.3%
                                loop [7]                0.4%
                                loop [9]               99.3%
 [9] 6372(95.0%)     0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                                loop [9]               99.3%
                                ??? [10]                0.7%
------------------------------------------------------------
                                loop [9]              100.0%
[10] 6372(95.0%)     0(0.0%)  ??? ...s/herbie/alt-testing/src/programs.rkt:156:4
                                ??? [11]               93.9%
                                ??? [12]                6.1%
------------------------------------------------------------
                                ??? [10]              100.0%
[11] 5984(89.3%)  1452(21.7%) ??? ...contract/private/../../private/kw.rkt:761:9
                                integer->bigfloat [13] 75.7%
------------------------------------------------------------
                                ??? [10]              100.0%
[12]  388(5.8%)    388(5.8%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
------------------------------------------------------------
                                ??? [11]              100.0%
[13] 4532(67.6%)  3840(57.3%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0
                                ??? [14]               15.3%
------------------------------------------------------------
                                integer->bigfloat [13]100.0%
[14]  692(10.3%)   692(10.3%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
------------------------------------------------------------