Profiling results
-----------------
  Total cpu time observed: 3766ms (out of 4384ms)
  Number of samples taken: 11 (once every 342ms)

=========================================================
                                Caller
 Idx   Total        Self      Name+src             Local%
       ms(pct)      ms(pct)     Callee
=========================================================
                                ??? [3]            100.0%
 [1] 3766(100.0%)    0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                                run [2]            100.0%
---------------------------------------------------------
                                profile-thunk16 [1]100.0%
 [2] 3766(100.0%)    0(0.0%)  run ...racket/share/pkgs/profile-lib/main.rkt:39:2
                                ??? [3]            100.0%
---------------------------------------------------------
                                run [2]             50.0%
 [3] 3766(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                profile-thunk16 [1] 50.0%
                                prepare-points [6]  45.6%
                                run-improve39 [4]    4.4%
---------------------------------------------------------
                                ??? [3]            100.0%
 [4]  332(8.8%)      0(0.0%)  run-improve39 ...ie/develop/src/mainloop.rkt:286:0
                                setup-prog!32 [5]  100.0%
---------------------------------------------------------
                                run-improve39 [4]  100.0%
 [5]  332(8.8%)      0(0.0%)  setup-prog!32 ...bie/develop/src/mainloop.rkt:63:0
                                prepare-points [6] 100.0%
---------------------------------------------------------
                                setup-prog!32 [5]    8.8%
                                ??? [3]             91.2%
 [6] 3766(100.0%)    0(0.0%)  prepare-points ...bie/develop/src/points.rkt:156:0
                                loop [7]            43.9%
                                make-exacts* [8]    30.2%
                                loop [9]            25.9%
---------------------------------------------------------
                                prepare-points [6] 100.0%
 [7] 1654(43.9%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:124:2
                                make-exacts* [8]    59.3%
                                loop [9]            40.7%
---------------------------------------------------------
                                loop [7]            46.3%
                                prepare-points [6]  53.7%
 [8] 2116(56.2%)     0(0.0%)  make-exacts* ...erbie/develop/src/points.rkt:104:0
                                loop [10]          100.0%
---------------------------------------------------------
                                loop [7]            40.8%
                                prepare-points [6]  59.2%
 [9] 1650(43.8%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:107:4
                                loop [10]           80.7%
                                ??? [11]            19.3%
---------------------------------------------------------
                                loop [9]             0.0%
                                make-exacts* [8]     2.1%
                                loop [10]           97.9%
[10] 3448(91.6%)     0(0.0%)  loop ...cket/collects/racket/private/map.rkt:40:19
                                loop [10]           97.9%
                                ??? [11]             2.0%
                                ??? [12]             0.1%
---------------------------------------------------------
                                loop [9]            11.4%
                                loop [10]           88.6%
[11] 2788(74.0%)     0(0.0%)  ??? ...tlies/herbie/develop/src/programs.rkt:129:2
                                bf [13]             88.0%
                                ??? [15]            12.0%
---------------------------------------------------------
                                loop [10]          100.0%
[12]  978(26.0%)   346(9.2%)  ??? ...tract/private/arrow-higher-order.rkt:357:33
                                ->flonum [14]       64.6%
---------------------------------------------------------
                                ??? [11]           100.0%
[13] 2454(65.2%)     0(0.0%)  bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2
                                new-mpfr [16]       87.0%
                                ??? [17]            13.0%
---------------------------------------------------------
                                ??? [12]           100.0%
[14]  632(16.8%)   330(8.8%)  ->flonum ...s/herbie/develop/src/programs.rkt:36:0
                                list-member? [18]   47.8%
---------------------------------------------------------
                                ??? [11]           100.0%
[15]  334(8.9%)    334(8.9%)  ??? ...acket/collects/racket/private/kw.rkt:592:14
---------------------------------------------------------
                                bf [13]            100.0%
[16] 2136(56.7%)  2136(56.7%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0
---------------------------------------------------------
                                bf [13]            100.0%
[17]  318(8.4%)    318(8.4%)  ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4
---------------------------------------------------------
                                ->flonum [14]      100.0%
[18]  302(8.0%)    302(8.0%)  list-member? ...llects/racket/private/set.rkt:24:0
---------------------------------------------------------