Profiling results
-----------------
  Total cpu time observed: 1312ms (out of 1472ms)
  Number of samples taken: 7 (once every 187ms)

========================================================
                               Caller
 Idx   Total       Self      Name+src             Local%
       ms(pct)     ms(pct)     Callee
========================================================
                               ??? [3]            100.0%
 [1] 1312(100.0%)   0(0.0%)  profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0
                               run [2]            100.0%
--------------------------------------------------------
                               profile-thunk14 [1]100.0%
 [2] 1312(100.0%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:31:2
                               ??? [3]            100.0%
--------------------------------------------------------
                               run [2]             50.0%
 [3] 1312(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk14 [1] 50.0%
                               loop [4]            50.0%
--------------------------------------------------------
                               ??? [3]            100.0%
 [4] 1312(100.0%)   0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:122:2
                               make-exacts* [7]    53.5%
                               loop [5]            27.6%
                               for-loop [6]        18.9%
--------------------------------------------------------
                               loop [4]           100.0%
 [5]  362(27.6%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:93:2
                               make-exacts* [7]    54.7%
                               loop [9]            45.3%
--------------------------------------------------------
                               loop [4]           100.0%
 [6]  248(18.9%)    0(0.0%)  for-loop .../ztatlock/herbie/src/points.rkt:128:18
                               for-loop [8]       100.0%
--------------------------------------------------------
                               loop [5]            22.0%
                               loop [4]            78.0%
 [7]  900(68.6%)    0(0.0%)  make-exacts* ...tatlock/herbie/src/points.rkt:80:0
                               loop [12]           59.8%
                               map [10]            40.2%
--------------------------------------------------------
                               for-loop [6]       100.0%
 [8]  248(18.9%)    0(0.0%)  for-loop .../ztatlock/herbie/src/points.rkt:129:20
                               sample-default [11]100.0%
--------------------------------------------------------
                               loop [5]           100.0%
 [9]  164(12.5%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:83:4
                               map [10]           100.0%
--------------------------------------------------------
                               loop [9]            31.2%
                               make-exacts* [7]    68.8%
[10]  526(40.1%)    0(0.0%)  map ...acket/collects/racket/private/map.rkt:21:13
                               loop [12]          100.0%
--------------------------------------------------------
                               for-loop [8]       100.0%
[11]  248(18.9%)    0(0.0%)  sample-default ...rc/syntax/distributions.rkt:11:0
                               ??? [13]           100.0%
--------------------------------------------------------
                               map [10]             0.1%
                               make-exacts* [7]     0.8%
                               loop [12]           99.1%
[12] 1064(81.1%)    0(0.0%)  loop ...cket/collects/racket/private/map.rkt:26:19
                               loop [12]           99.1%
                               ??? [14]             0.9%
--------------------------------------------------------
                               sample-default [11]100.0%
[13]  248(18.9%)  248(18.9%) ??? /home/ztatlock/herbie/src/config.rkt:29:0
--------------------------------------------------------
                               loop [12]          100.0%
[14] 1064(81.1%)    0(0.0%)  ??? /home/ztatlock/herbie/src/programs.rkt:168:4
                               real->bigfloat [15]100.0%
--------------------------------------------------------
                               ??? [14]           100.0%
[15] 1064(81.1%)  728(55.5%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
                               ??? [16]            31.6%
--------------------------------------------------------
                               real->bigfloat [15]100.0%
[16]  336(25.6%)  336(25.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
--------------------------------------------------------