Profiling results
-----------------
  Total cpu time observed: 2608ms (out of 2760ms)
  Number of samples taken: 11 (once every 237ms)

====================================================================
                               Caller
 Idx   Total       Self      Name+src                         Local%
       ms(pct)     ms(pct)     Callee
====================================================================
                               ??? [3]                        100.0%
 [1] 2608(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] 2608(100.0%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                               ??? [3]                        100.0%
--------------------------------------------------------------------
                               run [2]                         50.0%
 [3] 2608(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [1]             50.0%
                               loop [5]                        46.5%
                               run-improve50 [4]                3.5%
--------------------------------------------------------------------
                               ??? [3]                        100.0%
 [4]  180(6.9%)     0(0.0%)  run-improve50 ...ie/develop/src/mainloop.rkt:234:0
                               loop [5]                       100.0%
--------------------------------------------------------------------
                               run-improve50 [4]                6.9%
                               ??? [3]                         93.1%
 [5] 2608(100.0%)   0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:193:2
                               loop [6]                        57.7%
                               make-exacts* [8]                35.9%
                               for-loop [7]                     6.4%
--------------------------------------------------------------------
                               loop [5]                       100.0%
 [6] 1506(57.7%)    0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:151:2
                               loop [9]                        64.7%
                               make-exacts* [8]                23.4%
                               eval-prog [10]                  12.0%
--------------------------------------------------------------------
                               loop [5]                       100.0%
 [7]  166(6.4%)   166(6.4%)  for-loop ...s/herbie/develop/src/points.rkt:200:24
--------------------------------------------------------------------
                               loop [6]                        27.3%
                               loop [5]                        72.7%
 [8] 1288(49.4%)    0(0.0%)  make-exacts* ...erbie/develop/src/points.rkt:138:0
                               loop [12]                       59.3%
                               map [11]                        40.7%
--------------------------------------------------------------------
                               loop [6]                       100.0%
 [9]  974(37.3%)    0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:141:4
                               map [11]                       100.0%
--------------------------------------------------------------------
                               loop [6]                       100.0%
[10]  180(6.9%)   180(6.9%)  eval-prog ...herbie/develop/src/programs.rkt:148:0
--------------------------------------------------------------------
                               make-exacts* [8]                35.0%
                               loop [9]                        65.0%
[11] 1498(57.4%)    0(0.0%)  map ...acket/collects/racket/private/map.rkt:20:13
                               loop [12]                      100.0%
--------------------------------------------------------------------
                               make-exacts* [8]                 0.0%
                               map [11]                         0.6%
                               loop [12]                       99.4%
[12] 2262(86.7%)    0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                               loop [12]                       99.4%
                               ??? [13]                         0.6%
--------------------------------------------------------------------
                               loop [12]                      100.0%
[13] 2262(86.7%)  206(7.9%)  ??? ...tlies/herbie/develop/src/programs.rkt:154:4
                               ??? [14]                        46.0%
                               ??? [15]                        44.9%
--------------------------------------------------------------------
                               ??? [13]                       100.0%
[14] 1040(39.9%)    0(0.0%)  ??? ...contract/private/../../private/kw.rkt:761:9
                               real->bigfloat [16]            100.0%
--------------------------------------------------------------------
                               ??? [13]                       100.0%
[15] 1016(39.0%)  172(6.6%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
                               ...higher-order.rkt:346:33 [17] 48.0%
                               ??? [18]                        35.0%
--------------------------------------------------------------------
                               ??? [14]                       100.0%
[16] 1040(39.9%)  860(33.0%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
                               ??? [21]                        17.3%
--------------------------------------------------------------------
                               ??? [15]                       100.0%
[17]  488(18.7%)    0(0.0%)  ...higher-order.rkt:346:33 (unknown source)
                               ??? [19]                       100.0%
--------------------------------------------------------------------
                               ??? [15]                       100.0%
[18]  356(13.7%)    0(0.0%)  ??? ...-racket/utils/simple-result-arrow.rkt:39:12
                               bfsub [20]                     100.0%
--------------------------------------------------------------------
                               ...higher-order.rkt:346:33 [17]100.0%
[19]  488(18.7%)  488(18.7%) ??? ...cts/racket/contract/private/list.rkt:187:10
--------------------------------------------------------------------
                               ??? [18]                       100.0%
[20]  356(13.7%)  182(7.0%)  bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4
                               ??? [21]                        48.9%
--------------------------------------------------------------------
                               bfsub [20]                      49.2%
                               real->bigfloat [16]             50.8%
[21]  354(13.6%)  354(13.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
--------------------------------------------------------------------