Profiling results
-----------------
  Total cpu time observed: 970ms (out of 1036ms)
  Number of samples taken: 5 (once every 194ms)

======================================================
                             Caller
 Idx  Total      Self      Name+src             Local%
      ms(pct)    ms(pct)     Callee
======================================================
                             ??? [3]            100.0%
 [1] 602(62.1%)   0(0.0%)  profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0
                             run [2]            100.0%
------------------------------------------------------
                             profile-thunk14 [1] 76.8%
 [2] 784(80.8%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:31:2
                             ??? [3]            100.0%
------------------------------------------------------
                             run [2]             61.6%
 [3] 784(80.8%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                             loop [4]            61.6%
                             profile-thunk14 [1] 38.4%
------------------------------------------------------
                             ??? [3]            100.0%
 [4] 784(80.8%)   0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:122:2
                             loop [5]            51.8%
                             make-exacts* [6]    48.2%
------------------------------------------------------
                             loop [4]           100.0%
 [5] 406(41.9%)   0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:93:2
                             loop [7]           100.0%
------------------------------------------------------
                             loop [4]           100.0%
 [6] 378(39.0%)   0(0.0%)  make-exacts* ...tatlock/herbie/src/points.rkt:80:0
                             loop [9]            52.4%
                             map [8]             47.6%
------------------------------------------------------
                             loop [5]           100.0%
 [7] 406(41.9%) 182(18.8%) loop /home/ztatlock/herbie/src/points.rkt:83:4
                             map [8]             55.2%
------------------------------------------------------
                             make-exacts* [6]    44.6%
                             loop [7]            55.4%
 [8] 404(41.6%)   0(0.0%)  map ...acket/collects/racket/private/map.rkt:21:13
                             loop [9]           100.0%
------------------------------------------------------
                             make-exacts* [6]     0.0%
                             map [8]              0.8%
                             loop [9]            99.0%
 [9] 788(81.2%)   0(0.0%)  loop ...cket/collects/racket/private/map.rkt:26:19
                             loop [9]            99.0%
                             ??? [10]             1.0%
------------------------------------------------------
                             loop [9]           100.0%
[10] 788(81.2%)   0(0.0%)  ??? /home/ztatlock/herbie/src/programs.rkt:168:4
                             real->bigfloat [11]100.0%
------------------------------------------------------
                             ??? [10]           100.0%
[11] 788(81.2%) 564(58.1%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
                             ??? [12]            28.4%
------------------------------------------------------
                             real->bigfloat [11]100.0%
[12] 224(23.1%) 224(23.1%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
------------------------------------------------------