Profiling results
-----------------
  Total cpu time observed: 1952ms (out of 2100ms)
  Number of samples taken: 11 (once every 177ms)

====================================================================
                               Caller
 Idx   Total       Self      Name+src                         Local%
       ms(pct)     ms(pct)     Callee
====================================================================
                               ??? [3]                        100.0%
 [1] 1952(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] 1952(100.0%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                               ??? [3]                        100.0%
--------------------------------------------------------------------
                               run [2]                         50.0%
 [3] 1952(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [1]             50.0%
                               loop [5]                        45.4%
                               run-improve58 [4]                4.6%
--------------------------------------------------------------------
                               ??? [3]                        100.0%
 [4]  180(9.2%)     0(0.0%)  run-improve58 ...ock/herbie/src/mainloop.rkt:244:0
                               loop [5]                       100.0%
--------------------------------------------------------------------
                               run-improve58 [4]                9.2%
                               ??? [3]                         90.8%
 [5] 1952(100.0%)   0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:119:2
                               make-exacts* [6]                48.6%
                               loop [7]                        42.5%
                               for-loop [8]                     8.9%
--------------------------------------------------------------------
                               loop [5]                       100.0%
 [6]  948(48.6%)    0(0.0%)  make-exacts* ...tatlock/herbie/src/points.rkt:77:0
                               loop [11]                       63.9%
                               map [10]                        36.1%
--------------------------------------------------------------------
                               loop [5]                       100.0%
 [7]  830(42.5%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:90:2
                               loop [9]                       100.0%
--------------------------------------------------------------------
                               loop [5]                       100.0%
 [8]  174(8.9%)   174(8.9%)  for-loop .../ztatlock/herbie/src/points.rkt:126:18
--------------------------------------------------------------------
                               loop [7]                       100.0%
 [9]  830(42.5%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:80:4
                               map [10]                       100.0%
--------------------------------------------------------------------
                               make-exacts* [6]                29.2%
                               loop [9]                        70.8%
[10] 1172(60.0%)    0(0.0%)  map ...acket/collects/racket/private/map.rkt:20:13
                               loop [11]                      100.0%
--------------------------------------------------------------------
                               make-exacts* [6]                 0.0%
                               map [10]                         2.8%
                               loop [11]                       97.2%
[11] 1778(91.1%)  218(11.2%) loop ...cket/collects/racket/private/map.rkt:25:19
                               loop [11]                       97.2%
                               ??? [12]                         2.8%
--------------------------------------------------------------------
                               loop [11]                      100.0%
[12] 1560(79.9%)  334(17.1%) ??? /home/ztatlock/herbie/src/programs.rkt:265:4
                               ??? [13]                        67.1%
                               ??? [14]                        11.5%
--------------------------------------------------------------------
                               ??? [12]                       100.0%
[13] 1046(53.6%)  156(8.0%)  ??? ...contract/private/../../private/kw.rkt:761:9
                               real->bigfloat [15]             85.1%
--------------------------------------------------------------------
                               ??? [12]                       100.0%
[14]  180(9.2%)     0(0.0%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
                               ...higher-order.rkt:346:33 [16]100.0%
--------------------------------------------------------------------
                               ??? [13]                       100.0%
[15]  890(45.6%)  550(28.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
                               ??? [17]                        38.2%
--------------------------------------------------------------------
                               ??? [14]                       100.0%
[16]  180(9.2%)   180(9.2%)  ...higher-order.rkt:346:33 (unknown source)
--------------------------------------------------------------------
                               real->bigfloat [15]            100.0%
[17]  340(17.4%)  340(17.4%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
--------------------------------------------------------------------