Profiling results
-----------------
  Total cpu time observed: 2790ms (out of 3004ms)
  Number of samples taken: 11 (once every 254ms)

=================================================================
                               Caller
 Idx   Total       Self      Name+src                      Local%
       ms(pct)     ms(pct)     Callee
=================================================================
                               ??? [3]                     100.0%
 [1] 2790(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] 2790(100.0%)   0(0.0%)  run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2
                               ??? [3]                     100.0%
-----------------------------------------------------------------
                               run [2]                      50.0%
 [3] 2790(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [1]          50.0%
                               prepare-points-intervals [4] 36.8%
                               errors [5]                    4.4%
                               eval-errors [6]               4.4%
                               oracle-error [7]              4.4%
-----------------------------------------------------------------
                               ??? [3]                     100.0%
 [4] 2052(73.5%)    0(0.0%)  prepare-points-intervals ...p/src/points.rkt:133:0
                               loop [8]                    100.0%
-----------------------------------------------------------------
                               ??? [3]                     100.0%
 [5]  248(8.9%)     0(0.0%)  errors ...lies/herbie/develop/src/points.rkt:228:0
                               for-loop [9]                100.0%
-----------------------------------------------------------------
                               ??? [3]                     100.0%
 [6]  246(8.8%)     0(0.0%)  eval-errors ...herbie/develop/src/points.rkt:203:0
                               for-loop [10]               100.0%
-----------------------------------------------------------------
                               ??? [3]                     100.0%
 [7]  244(8.7%)     0(0.0%)  oracle-error ...erbie/develop/src/points.rkt:212:0
                               for-loop [11]               100.0%
-----------------------------------------------------------------
                               prepare-points-intervals [4]100.0%
 [8] 2052(73.5%)    0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:145:4
                               loop [12]                    75.0%
                               ??? [13]                     25.0%
-----------------------------------------------------------------
                               errors [5]                  100.0%
 [9]  248(8.9%)   248(8.9%)  for-loop ...es/herbie/develop/src/points.rkt:230:2
-----------------------------------------------------------------
                               eval-errors [6]             100.0%
[10]  246(8.8%)     0(0.0%)  for-loop ...es/herbie/develop/src/points.rkt:205:2
                               ??? [15]                    100.0%
-----------------------------------------------------------------
                               oracle-error [7]            100.0%
[11]  244(8.7%)     0(0.0%)  for-loop ...es/herbie/develop/src/points.rkt:213:2
                               ??? [14]                    100.0%
-----------------------------------------------------------------
                               loop [8]                    100.0%
[12] 1538(55.1%)  250(9.0%)  loop ...htlies/herbie/develop/src/points.rkt:104:2
                               ??? [15]                     67.6%
                               ??? [17]                     16.1%
-----------------------------------------------------------------
                               loop [8]                    100.0%
[13]  514(18.4%)    0(0.0%)  ??? ...ghtlies/herbie/develop/src/points.rkt:129:2
                               ??? [17]                    100.0%
-----------------------------------------------------------------
                               for-loop [11]               100.0%
[14]  244(8.7%)   244(8.7%)  ??? ...7.0/collects/racket/private/for.rkt:1208:14
-----------------------------------------------------------------
                               for-loop [10]                19.1%
                               loop [12]                    80.9%
[15] 1286(46.1%)  272(9.7%)  ??? ...tlies/herbie/develop/src/programs.rkt:146:2
                               ??? [17]                     39.7%
                               ??? [16]                     39.2%
-----------------------------------------------------------------
                               ??? [15]                    100.0%
[16]  504(18.1%)    0(0.0%)  ??? ...t-7.0/collects/racket/private/kw.rkt:592:14
                               ??? [17]                    100.0%
-----------------------------------------------------------------
                               loop [12]                    14.0%
                               ??? [16]                     28.4%
                               ??? [15]                     28.7%
                               ??? [13]                     28.9%
[17] 1776(63.7%)    0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:357:33
                               sample-multi-bounded [18]    28.9%
                               ival-mult [19]               28.4%
                               ->flonum [20]                27.8%
                               mk-ival [21]                 14.9%
-----------------------------------------------------------------
                               ??? [17]                    100.0%
[18]  514(18.4%)    0(0.0%)  sample-multi-bounded ...evelop/src/points.rkt:16:0
                               for-loop [22]               100.0%
-----------------------------------------------------------------
                               ??? [17]                    100.0%
[19]  504(18.1%)  504(18.1%) ival-mult ...bie/develop/src/biginterval.rkt:114:0
-----------------------------------------------------------------
                               ??? [17]                    100.0%
[20]  494(17.7%)  494(17.7%) ->flonum ...s/herbie/develop/src/programs.rkt:38:0
-----------------------------------------------------------------
                               ??? [17]                    100.0%
[21]  264(9.5%)     0(0.0%)  mk-ival ...herbie/develop/src/biginterval.rkt:59:0
                               bf [23]                     100.0%
-----------------------------------------------------------------
                               sample-multi-bounded [18]   100.0%
[22]  514(18.4%)  514(18.4%) for-loop ...ies/herbie/develop/src/points.rkt:26:4
-----------------------------------------------------------------
                               mk-ival [21]                100.0%
[23]  264(9.5%)     0(0.0%)  bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2
                               ??? [24]                    100.0%
-----------------------------------------------------------------
                               bf [23]                     100.0%
[24]  264(9.5%)   264(9.5%)  ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4
-----------------------------------------------------------------