Profiling results
-----------------
  Total cpu time observed: 988ms (out of 1080ms)
  Number of samples taken: 6 (once every 165ms)

==================================================================
                              Caller
 Idx  Total       Self      Name+src                        Local%
      ms(pct)     ms(pct)     Callee
==================================================================
 [1] 988(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                              profile-thunk16 [2]           100.0%
------------------------------------------------------------------
                              ??? [1]                       100.0%
 [2] 988(100.0%)   0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                              run [3]                       100.0%
------------------------------------------------------------------
                              profile-thunk16 [2]           100.0%
 [3] 988(100.0%)   0(0.0%)  run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2
                              .../more-scheme.rkt:261:28 [4]100.0%
------------------------------------------------------------------
                              run [3]                       100.0%
 [4] 988(100.0%)   0(0.0%)  .../more-scheme.rkt:261:28 (unknown source)
                              prepare-points-intervals [5]   80.6%
                              oracle-error [6]               19.4%
------------------------------------------------------------------
                              .../more-scheme.rkt:261:28 [4]100.0%
 [5] 796(80.6%)    0(0.0%)  prepare-points-intervals ...r/src/points.rkt:110:0
                              loop [7]                      100.0%
------------------------------------------------------------------
                              .../more-scheme.rkt:261:28 [4]100.0%
 [6] 192(19.4%)    0(0.0%)  oracle-error ...herbie/master/src/points.rkt:188:0
                              for-loop [8]                  100.0%
------------------------------------------------------------------
                              prepare-points-intervals [5]  100.0%
 [7] 796(80.6%)    0(0.0%)  loop ...ghtlies/herbie/master/src/points.rkt:123:4
                              loop [9]                       60.6%
                              ??? [10]                       39.4%
------------------------------------------------------------------
                              oracle-error [6]              100.0%
 [8] 192(19.4%)    0(0.0%)  for-loop ...ies/herbie/master/src/points.rkt:189:2
                              loop [11]                     100.0%
------------------------------------------------------------------
                              loop [7]                      100.0%
 [9] 482(48.8%)    0(0.0%)  loop ...ightlies/herbie/master/src/points.rkt:81:2
                              ??? [12]                       68.9%
                              ??? [13]                       31.1%
------------------------------------------------------------------
                              loop [7]                      100.0%
[10] 314(31.8%)    0(0.0%)  ??? ...ightlies/herbie/master/src/points.rkt:106:2
                              ??? [14]                      100.0%
------------------------------------------------------------------
                              for-loop [8]                  100.0%
[11] 192(19.4%)    0(0.0%)  loop (unknown source)
                              ??? [12]                      100.0%
------------------------------------------------------------------
                              loop [11]                      36.6%
                              loop [9]                       63.4%
[12] 524(53.0%)    0(0.0%)  ??? ...htlies/herbie/master/src/programs.rkt:115:2
                              ??? [14]                      100.0%
------------------------------------------------------------------
                              loop [9]                      100.0%
[13] 150(15.2%)  150(15.2%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4
------------------------------------------------------------------
                              ??? [10]                       37.5%
                              ??? [12]                       62.5%
[14] 838(84.8%)  192(19.4%) ??? ...tract/private/arrow-higher-order.rkt:375:33
                              mk-ival [15]                   39.6%
                              sample-multi-bounded [16]      37.5%
------------------------------------------------------------------
                              ??? [14]                      100.0%
[15] 332(33.6%)    0(0.0%)  mk-ival .../herbie/master/src/biginterval.rkt:65:0
                              bf [17]                       100.0%
------------------------------------------------------------------
                              ??? [14]                      100.0%
[16] 314(31.8%)    0(0.0%)  sample-multi-bounded ...master/src/points.rkt:15:0
                              random-ranges [18]            100.0%
------------------------------------------------------------------
                              mk-ival [15]                  100.0%
[17] 332(33.6%)    0(0.0%)  bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2
                              new-mpfr [19]                 100.0%
------------------------------------------------------------------
                              sample-multi-bounded [16]     100.0%
[18] 314(31.8%)    0(0.0%)  random-ranges ...erbie/master/src/common.rkt:171:0
                              cons/c [20]                   100.0%
------------------------------------------------------------------
                              bf [17]                       100.0%
[19] 332(33.6%)  332(33.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0
------------------------------------------------------------------
                              random-ranges [18]            100.0%
[20] 314(31.8%)    0(0.0%)  cons/c .../racket/contract/private/guts.rkt:500:15
                              coerce-contract [21]          100.0%
------------------------------------------------------------------
                              cons/c [20]                   100.0%
[21] 314(31.8%)    0(0.0%)  coerce-contract ...contract/private/guts.rkt:307:0
                              coerce-contract/f [22]        100.0%
------------------------------------------------------------------
                              coerce-contract [21]          100.0%
[22] 314(31.8%)    0(0.0%)  coerce-contract/f ...ntract/private/guts.rkt:372:0
                              coerce-simple-value [23]      100.0%
------------------------------------------------------------------
                              coerce-contract/f [22]        100.0%
[23] 314(31.8%)  314(31.8%) coerce-simple-value ...ract/private/guts.rkt:385:0
------------------------------------------------------------------