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

==================================================================
                              Caller
 Idx  Total       Self      Name+src                        Local%
      ms(pct)     ms(pct)     Callee
==================================================================
 [1] 934(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                              profile-thunk16 [3]           100.0%
------------------------------------------------------------------
                              .../more-scheme.rkt:261:28 [6]100.0%
 [2] 148(15.8%)    0(0.0%)  errors .../herbie/egg-cleanup/src/points.rkt:201:0
                              for-loop [4]                  100.0%
------------------------------------------------------------------
                              ??? [1]                       100.0%
 [3] 934(100.0%)   0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                              run [5]                       100.0%
------------------------------------------------------------------
                              errors [2]                    100.0%
 [4] 148(15.8%)    0(0.0%)  for-loop ...erbie/egg-cleanup/src/points.rkt:203:2
                              .../more-scheme.rkt:261:28 [6]100.0%
------------------------------------------------------------------
                              profile-thunk16 [3]           100.0%
 [5] 934(100.0%)   0(0.0%)  run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2
                              .../more-scheme.rkt:261:28 [6]100.0%
------------------------------------------------------------------
                              for-loop [4]                    7.9%
                              run [5]                        92.1%
 [6] 934(100.0%)   0(0.0%)  .../more-scheme.rkt:261:28 (unknown source)
                              prepare-points-intervals [7]   84.2%
                              errors [2]                      7.9%
                              ulp-difference [8]              7.9%
------------------------------------------------------------------
                              .../more-scheme.rkt:261:28 [6]100.0%
 [7] 786(84.2%)    0(0.0%)  prepare-points-intervals ...p/src/points.rkt:110:0
                              loop [9]                      100.0%
------------------------------------------------------------------
                              .../more-scheme.rkt:261:28 [6]100.0%
 [8] 148(15.8%)  148(15.8%) ulp-difference ...e/egg-cleanup/src/float.rkt:20:0
------------------------------------------------------------------
                              prepare-points-intervals [7]  100.0%
 [9] 786(84.2%)    0(0.0%)  loop ...es/herbie/egg-cleanup/src/points.rkt:123:4
                              loop [10]                      78.9%
                              ??? [11]                       21.1%
------------------------------------------------------------------
                              loop [9]                      100.0%
[10] 620(66.4%)  318(34.0%) loop ...ies/herbie/egg-cleanup/src/points.rkt:81:2
                              ??? [12]                       48.7%
------------------------------------------------------------------
                              loop [9]                      100.0%
[11] 166(17.8%)    0(0.0%)  ??? ...ies/herbie/egg-cleanup/src/points.rkt:106:2
                              ??? [13]                      100.0%
------------------------------------------------------------------
                              loop [10]                     100.0%
[12] 302(32.3%)    0(0.0%)  ??? ...s/herbie/egg-cleanup/src/programs.rkt:115:2
                              ??? [13]                      100.0%
------------------------------------------------------------------
                              ??? [11]                       35.5%
                              ??? [12]                       64.5%
[13] 468(50.1%)    0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:375:33
                              ival-mult [14]                 64.5%
                              sample-multi-bounded [15]      35.5%
------------------------------------------------------------------
                              ??? [13]                      100.0%
[14] 302(32.3%)  152(16.3%) ival-mult ...egg-cleanup/src/biginterval.rkt:119:0
                              bfmul [17]                     49.7%
------------------------------------------------------------------
                              ??? [13]                      100.0%
[15] 166(17.8%)    0(0.0%)  sample-multi-bounded ...leanup/src/points.rkt:15:0
                              random-ranges [16]            100.0%
------------------------------------------------------------------
                              sample-multi-bounded [15]     100.0%
[16] 166(17.8%)    0(0.0%)  random-ranges .../egg-cleanup/src/common.rkt:171:0
                              cons/c [18]                   100.0%
------------------------------------------------------------------
                              ival-mult [14]                100.0%
[17] 150(16.1%)    0(0.0%)  bfmul ...-lib/math/private/bigfloat/mpfr.rkt:835:4
                              ??? [19]                      100.0%
------------------------------------------------------------------
                              random-ranges [16]            100.0%
[18] 166(17.8%)    0(0.0%)  cons/c .../racket/contract/private/guts.rkt:500:15
                              coerce-contract [20]          100.0%
------------------------------------------------------------------
                              bfmul [17]                    100.0%
[19] 150(16.1%)  150(16.1%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4
------------------------------------------------------------------
                              cons/c [18]                   100.0%
[20] 166(17.8%)    0(0.0%)  coerce-contract ...contract/private/guts.rkt:307:0
                              coerce-contract/f [21]        100.0%
------------------------------------------------------------------
                              coerce-contract [20]          100.0%
[21] 166(17.8%)    0(0.0%)  coerce-contract/f ...ntract/private/guts.rkt:372:0
                              coerce-simple-value [22]      100.0%
------------------------------------------------------------------
                              coerce-contract/f [21]        100.0%
[22] 166(17.8%)  166(17.8%) coerce-simple-value ...ract/private/guts.rkt:385:0
------------------------------------------------------------------