Profiling results
-----------------
  Total cpu time observed: 3592ms (out of 3808ms)
  Number of samples taken: 11 (once every 327ms)

=================================================================
                               Caller
 Idx   Total       Self      Name+src                      Local%
       ms(pct)     ms(pct)     Callee
=================================================================
                               ??? [5]                     100.0%
 [1] 3592(100.0%)   0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                               run [3]                     100.0%
-----------------------------------------------------------------
                               ??? [5]                     100.0%
 [2]  312(8.7%)     0(0.0%)  errors ...tlies/herbie/master/src/points.rkt:201:0
                               for-loop [4]                100.0%
-----------------------------------------------------------------
                               profile-thunk16 [1]         100.0%
 [3] 3592(100.0%)   0(0.0%)  run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2
                               ??? [5]                     100.0%
-----------------------------------------------------------------
                               errors [2]                  100.0%
 [4]  312(8.7%)     0(0.0%)  for-loop ...ies/herbie/master/src/points.rkt:203:2
                               ??? [5]                     100.0%
-----------------------------------------------------------------
                               for-loop [4]                  2.9%
                               run [3]                      48.6%
 [5] 3592(100.0%) 316(8.8%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [1]          48.6%
                               prepare-points-intervals [7] 36.3%
                               run-improve47 [6]             5.0%
                               errors [2]                    2.9%
                               ??? [11]                      2.9%
-----------------------------------------------------------------
                               ??? [5]                     100.0%
 [6]  356(9.9%)     0(0.0%)  run-improve47 ...bie/master/src/mainloop.rkt:346:0
                               prepare-points-intervals [7]100.0%
-----------------------------------------------------------------
                               run-improve47 [6]            12.0%
                               ??? [5]                      88.0%
 [7] 2964(82.5%)    0(0.0%)  prepare-points-intervals ...r/src/points.rkt:110:0
                               loop [8]                    100.0%
-----------------------------------------------------------------
                               prepare-points-intervals [7]100.0%
 [8] 2964(82.5%)    0(0.0%)  loop ...ghtlies/herbie/master/src/points.rkt:123:4
                               loop [9]                     79.8%
                               ??? [10]                     20.2%
-----------------------------------------------------------------
                               loop [8]                    100.0%
 [9] 2366(65.9%)  298(8.3%)  loop ...ightlies/herbie/master/src/points.rkt:81:2
                               ??? [11]                     87.4%
-----------------------------------------------------------------
                               loop [8]                    100.0%
[10]  598(16.6%)    0(0.0%)  ??? ...ightlies/herbie/master/src/points.rkt:106:2
                               ??? [15]                     50.2%
                               ??? [12]                     49.8%
-----------------------------------------------------------------
                               ??? [5]                      13.1%
                               loop [9]                     86.9%
[11] 2380(66.3%)  668(18.6%) ??? ...htlies/herbie/master/src/programs.rkt:115:2
                               ??? [15]                     45.7%
                               ??? [13]                     26.2%
-----------------------------------------------------------------
                               ??? [10]                    100.0%
[12]  298(8.3%)     0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:364:33
                               ??? [14]                    100.0%
-----------------------------------------------------------------
                               ??? [11]                    100.0%
[13]  624(17.4%)    0(0.0%)  ??? ...t-7.2/collects/racket/private/kw.rkt:594:14
                               ??? [15]                    100.0%
-----------------------------------------------------------------
                               ??? [12]                    100.0%
[14]  298(8.3%)   298(8.3%)  ??? ...cts/racket/contract/private/list.rkt:209:10
-----------------------------------------------------------------
                               ??? [10]                     14.9%
                               ??? [13]                     31.0%
                               ??? [11]                     54.1%
[15] 2012(56.0%)  310(8.6%)  ??? ...tract/private/arrow-higher-order.rkt:360:33
                               mk-ival [16]                 54.1%
                               loop [17]                    15.6%
                               sample-multi-bounded [18]    14.9%
-----------------------------------------------------------------
                               ??? [15]                    100.0%
[16] 1088(30.3%)    0(0.0%)  mk-ival .../herbie/master/src/biginterval.rkt:65:0
                               bf [19]                     100.0%
-----------------------------------------------------------------
                               ??? [15]                    100.0%
[17]  314(8.7%)   314(8.7%)  loop ...es/herbie/master/src/biginterval.rkt:466:9
-----------------------------------------------------------------
                               ??? [15]                    100.0%
[18]  300(8.4%)   300(8.4%)  sample-multi-bounded ...master/src/points.rkt:15:0
-----------------------------------------------------------------
                               mk-ival [16]                100.0%
[19] 1088(30.3%)    0(0.0%)  bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2
                               ??? [20]                     65.1%
                               new-mpfr [21]                34.9%
-----------------------------------------------------------------
                               bf [19]                     100.0%
[20]  708(19.7%)  708(19.7%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4
-----------------------------------------------------------------
                               bf [19]                     100.0%
[21]  380(10.6%)  380(10.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0
-----------------------------------------------------------------