Profiling results
-----------------
  Total cpu time observed: 1552ms (out of 1800ms)
  Number of samples taken: 6 (once every 259ms)

==============================================================
                               Caller
 Idx   Total       Self      Name+src                   Local%
       ms(pct)     ms(pct)     Callee
==============================================================
                               ??? [3]                  100.0%
 [1] 1552(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] 1552(100.0%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                               ??? [3]                  100.0%
--------------------------------------------------------------
                               run [2]                   50.0%
 [3] 1552(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [1]       50.0%
                               loop [4]                  50.0%
--------------------------------------------------------------
                               ??? [3]                  100.0%
 [4] 1552(100.0%)   0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:119:2
                               make-exacts* [5]          54.9%
                               loop [6]                  45.1%
--------------------------------------------------------------
                               loop [4]                 100.0%
 [5]  852(54.9%)    0(0.0%)  make-exacts* ...tatlock/herbie/src/points.rkt:77:0
                               loop [11]                 58.7%
                               map [9]                   41.3%
--------------------------------------------------------------
                               loop [4]                 100.0%
 [6]  700(45.1%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:90:2
                               loop [7]                  65.7%
                               eval-prog [8]             34.3%
--------------------------------------------------------------
                               loop [6]                 100.0%
 [7]  460(29.6%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:80:4
                               map [9]                  100.0%
--------------------------------------------------------------
                               loop [6]                 100.0%
 [8]  240(15.5%)    0(0.0%)  eval-prog ...tatlock/herbie/src/programs.rkt:259:0
                               hash-ref! [10]           100.0%
--------------------------------------------------------------
                               make-exacts* [5]          43.3%
                               loop [7]                  56.7%
 [9]  812(52.3%)    0(0.0%)  map ...acket/collects/racket/private/map.rkt:20:13
                               loop [11]                100.0%
--------------------------------------------------------------
                               eval-prog [8]            100.0%
[10]  240(15.5%)    0(0.0%)  hash-ref! ...racket/private/more-scheme.rkt:373:13
                               bigfloat-hash [12]       100.0%
--------------------------------------------------------------
                               make-exacts* [5]           0.0%
                               map [9]                    0.2%
                               loop [11]                 99.8%
[11] 1312(84.5%)    0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                               loop [11]                 99.8%
                               ->flonum [13]              0.2%
                               ??? [14]                   0.0%
--------------------------------------------------------------
                               hash-ref! [10]           100.0%
[12]  240(15.5%)    0(0.0%)  bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0
                               bfcanonicalize [15]      100.0%
--------------------------------------------------------------
                               loop [11]                100.0%
[13]  960(61.9%)    0(0.0%)  ->flonum ...ock/herbie/src/syntax/syntax.rkt:230:0
                               ??? [16]                 100.0%
--------------------------------------------------------------
                               loop [11]                100.0%
[14]  352(22.7%)    0(0.0%)  ??? /home/ztatlock/herbie/src/programs.rkt:265:4
                               ??? [17]                 100.0%
--------------------------------------------------------------
                               bigfloat-hash [12]       100.0%
[15]  240(15.5%)  240(15.5%) bfcanonicalize .../private/bigfloat/mpfr.rkt:155:0
--------------------------------------------------------------
                               ->flonum [13]            100.0%
[16]  960(61.9%)  730(47.0%) ??? /home/ztatlock/herbie/src/config.rkt:48:0
                               return/no-unsupplied [18] 24.0%
--------------------------------------------------------------
                               ??? [14]                 100.0%
[17]  352(22.7%)  352(22.7%) ??? ...contract/private/../../private/kw.rkt:761:9
--------------------------------------------------------------
                               ??? [16]                 100.0%
[18]  230(14.8%)  230(14.8%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0
--------------------------------------------------------------