Profiling results
-----------------
  Total cpu time observed: 1000ms (out of 1052ms)
  Number of samples taken: 6 (once every 167ms)

========================================================
                               Caller
 Idx   Total       Self      Name+src             Local%
       ms(pct)     ms(pct)     Callee
========================================================
                               ??? [3]            100.0%
 [1] 1000(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] 1000(100.0%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                               ??? [3]            100.0%
--------------------------------------------------------
                               run [2]             50.0%
 [3] 1000(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [1] 50.0%
                               loop [4]            41.2%
                               run-improve58 [5]    8.8%
--------------------------------------------------------
                               ??? [3]            100.0%
 [4]  824(82.4%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:119:2
                               loop [6]            57.0%
                               make-exacts* [8]    43.0%
--------------------------------------------------------
                               ??? [3]            100.0%
 [5]  176(17.6%)    0(0.0%)  run-improve58 ...ock/herbie/src/mainloop.rkt:244:0
                               for-loop [7]       100.0%
--------------------------------------------------------
                               loop [4]           100.0%
 [6]  470(47.0%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:90:2
                               loop [9]            66.0%
                               make-exacts* [8]    34.0%
--------------------------------------------------------
                               run-improve58 [5]  100.0%
 [7]  176(17.6%)    0(0.0%)  for-loop ...ztatlock/herbie/src/mainloop.rkt:255:8
                               run-iter! [10]     100.0%
--------------------------------------------------------
                               loop [6]            31.1%
                               loop [4]            68.9%
 [8]  514(51.4%)    0(0.0%)  make-exacts* ...tatlock/herbie/src/points.rkt:77:0
                               map [11]           100.0%
--------------------------------------------------------
                               loop [6]           100.0%
 [9]  310(31.0%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:80:4
                               map [11]           100.0%
--------------------------------------------------------
                               for-loop [7]       100.0%
[10]  176(17.6%)    0(0.0%)  run-iter! ...tatlock/herbie/src/mainloop.rkt:225:0
                               localize-error [12]100.0%
--------------------------------------------------------
                               loop [9]            37.6%
                               make-exacts* [8]    62.4%
[11]  824(82.4%)    0(0.0%)  map ...acket/collects/racket/private/map.rkt:20:13
                               loop [13]          100.0%
--------------------------------------------------------
                               run-iter! [10]     100.0%
[12]  176(17.6%)  176(17.6%) localize-error ...erbie/src/core/localize.rkt:47:0
--------------------------------------------------------
                               map [11]             0.3%
                               loop [13]           99.7%
[13]  824(82.4%)    0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                               loop [13]           99.7%
                               ??? [14]             0.3%
--------------------------------------------------------
                               loop [13]          100.0%
[14]  824(82.4%)  178(17.8%) ??? /home/ztatlock/herbie/src/programs.rkt:265:4
                               ??? [15]            78.4%
--------------------------------------------------------
                               ??? [14]           100.0%
[15]  646(64.6%)    0(0.0%)  ??? ...contract/private/../../private/kw.rkt:761:9
                               real->bigfloat [16]100.0%
--------------------------------------------------------
                               ??? [15]           100.0%
[16]  646(64.6%)  470(47.0%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
                               ??? [17]            27.2%
--------------------------------------------------------
                               real->bigfloat [16]100.0%
[17]  176(17.6%)  176(17.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
--------------------------------------------------------