Profiling results
-----------------
  Total cpu time observed: 3422ms (out of 3496ms)
  Number of samples taken: 9 (once every 380ms)

=========================================================
                                Caller
 Idx   Total        Self      Name+src             Local%
       ms(pct)      ms(pct)     Callee
=========================================================
                                ??? [3]            100.0%
 [1] 3422(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] 3422(100.0%)    0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                                ??? [3]            100.0%
---------------------------------------------------------
                                run [2]             50.0%
 [3] 3422(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                profile-thunk16 [1] 50.0%
                                loop [5]            44.4%
                                run-improve50 [4]    5.6%
---------------------------------------------------------
                                ??? [3]            100.0%
 [4]  384(11.2%)     0(0.0%)  run-improve50 ...ie/develop/src/mainloop.rkt:234:0
                                loop [5]           100.0%
---------------------------------------------------------
                                run-improve50 [4]   11.2%
                                ??? [3]             88.8%
 [5] 3422(100.0%)    0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:193:2
                                make-exacts* [7]    54.4%
                                loop [6]            34.4%
                                loop [8]            11.2%
---------------------------------------------------------
                                loop [5]           100.0%
 [6] 1176(34.4%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:151:2
                                loop [8]            65.8%
                                make-exacts* [7]    34.2%
---------------------------------------------------------
                                loop [6]            17.8%
                                loop [5]            82.2%
 [7] 2264(66.2%)     0(0.0%)  make-exacts* ...erbie/develop/src/points.rkt:138:0
                                loop [10]           65.4%
                                map [9]             34.6%
---------------------------------------------------------
                                loop [5]            33.2%
                                loop [6]            66.8%
 [8] 1158(33.8%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:141:4
                                map [9]            100.0%
---------------------------------------------------------
                                make-exacts* [7]    40.4%
                                loop [8]            59.6%
 [9] 1942(56.8%)     0(0.0%)  map ...acket/collects/racket/private/map.rkt:20:13
                                loop [10]          100.0%
---------------------------------------------------------
                                make-exacts* [7]     0.0%
                                map [9]              0.7%
                                loop [10]           99.3%
[10] 3422(100.0%)    0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                                loop [10]           99.3%
                                ->flonum [12]        0.4%
                                ??? [11]             0.3%
---------------------------------------------------------
                                loop [10]          100.0%
[11] 2300(67.2%)     0(0.0%)  ??? ...tlies/herbie/develop/src/programs.rkt:155:4
                                ??? [13]            68.7%
                                ??? [14]            31.3%
---------------------------------------------------------
                                loop [10]          100.0%
[12] 1122(32.8%)  1122(32.8%) ->flonum ...s/herbie/develop/src/programs.rkt:37:0
---------------------------------------------------------
                                ??? [11]           100.0%
[13] 1580(46.2%)     0(0.0%)  ??? ...contract/private/../../private/kw.rkt:761:9
                                real->bigfloat [15]100.0%
---------------------------------------------------------
                                ??? [11]           100.0%
[14]  720(21.0%)     0(0.0%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
                                ??? [16]            50.0%
                                ??? [17]            50.0%
---------------------------------------------------------
                                ??? [13]           100.0%
[15] 1580(46.2%)  1176(34.4%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
                                ??? [18]            25.6%
---------------------------------------------------------
                                ??? [14]           100.0%
[16]  360(10.5%)   360(10.5%) ??? ...ects/racket/contract/private/prop.rkt:493:4
---------------------------------------------------------
                                ??? [14]           100.0%
[17]  360(10.5%)   360(10.5%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13
---------------------------------------------------------
                                real->bigfloat [15]100.0%
[18]  404(11.8%)   404(11.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
---------------------------------------------------------