Profiling results
-----------------
  Total cpu time observed: 1054ms (out of 1180ms)
  Number of samples taken: 6 (once every 176ms)

========================================================
                               Caller
 Idx   Total       Self      Name+src             Local%
       ms(pct)     ms(pct)     Callee
========================================================
                               ??? [3]            100.0%
 [1] 1054(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] 1054(100.0%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:31:2
                               ??? [3]            100.0%
--------------------------------------------------------
                               run [2]             50.0%
 [3] 1054(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk14 [1] 50.0%
                               loop [4]            40.5%
                               run-improve58 [5]    9.5%
--------------------------------------------------------
                               ??? [3]            100.0%
 [4]  854(81.0%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:122:2
                               make-exacts* [6]    60.0%
                               loop [7]            40.0%
--------------------------------------------------------
                               ??? [3]            100.0%
 [5]  200(19.0%)    0(0.0%)  run-improve58 ...ock/herbie/src/mainloop.rkt:242:0
                               finalize-table! [8]100.0%
--------------------------------------------------------
                               loop [4]           100.0%
 [6]  512(48.6%)    0(0.0%)  make-exacts* ...tatlock/herbie/src/points.rkt:80:0
                               map [11]            64.8%
                               loop [12]           35.2%
--------------------------------------------------------
                               loop [4]           100.0%
 [7]  342(32.4%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:93:2
                               loop [9]           100.0%
--------------------------------------------------------
                               run-improve58 [5]  100.0%
 [8]  200(19.0%)    0(0.0%)  finalize-table! ...k/herbie/src/mainloop.rkt:264:0
                               post-process [10]  100.0%
--------------------------------------------------------
                               loop [7]           100.0%
 [9]  342(32.4%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:83:4
                               map [11]           100.0%
--------------------------------------------------------
                               finalize-table! [8]100.0%
[10]  200(19.0%)  200(19.0%) post-process .../ztatlock/herbie/src/glue.rkt:95:0
--------------------------------------------------------
                               make-exacts* [6]    49.3%
                               loop [9]            50.7%
[11]  674(63.9%)    0(0.0%)  map ...acket/collects/racket/private/map.rkt:21:13
                               loop [12]          100.0%
--------------------------------------------------------
                               make-exacts* [6]     0.0%
                               map [11]             0.9%
                               loop [12]           99.1%
[12]  854(81.0%)    0(0.0%)  loop ...cket/collects/racket/private/map.rkt:26:19
                               loop [12]           99.1%
                               ??? [13]             0.9%
--------------------------------------------------------
                               loop [12]          100.0%
[13]  854(81.0%)    0(0.0%)  ??? /home/ztatlock/herbie/src/programs.rkt:168:4
                               real->bigfloat [14] 80.3%
                               ??? [15]            19.7%
--------------------------------------------------------
                               ??? [13]           100.0%
[14]  686(65.1%)  686(65.1%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
--------------------------------------------------------
                               ??? [13]           100.0%
[15]  168(15.9%)    0(0.0%)  ??? ...ects/racket/contract/private/guts.rkt:638:8
                               ??? [16]           100.0%
--------------------------------------------------------
                               ??? [15]           100.0%
[16]  168(15.9%)    0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:373:33
                               ??? [17]           100.0%
--------------------------------------------------------
                               ??? [16]           100.0%
[17]  168(15.9%)  168(15.9%) ??? ...llects/racket/contract/combinator.rkt:178:4
--------------------------------------------------------