Profiling results
-----------------
  Total cpu time observed: 3220ms (out of 3264ms)
  Number of samples taken: 13 (once every 248ms)

========================================================
                               Caller
 Idx   Total       Self      Name+src             Local%
       ms(pct)     ms(pct)     Callee
========================================================
                               ??? [3]            100.0%
 [1] 2960(91.9%)    0(0.0%)  profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0
                               run [2]            100.0%
--------------------------------------------------------
                               profile-thunk14 [1] 91.9%
 [2] 3220(100.0%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:31:2
                               ??? [3]            100.0%
--------------------------------------------------------
                               run [2]             54.0%
 [3] 3220(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               loop [4]            54.0%
                               profile-thunk14 [1] 46.0%
--------------------------------------------------------
                               ??? [3]            100.0%
 [4] 3220(100.0%)   0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:122:2
                               make-exacts* [7]    51.7%
                               loop [5]            40.2%
                               filter-exacts [6]    8.1%
--------------------------------------------------------
                               loop [4]           100.0%
 [5] 1296(40.2%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:93:2
                               make-exacts* [7]    41.8%
                               loop [8]            37.5%
                               loop [9]            20.7%
--------------------------------------------------------
                               loop [4]           100.0%
 [6]  260(8.1%)     0(0.0%)  filter-exacts ...tlock/herbie/src/points.rkt:108:0
                               for-loop [10]      100.0%
--------------------------------------------------------
                               loop [5]            24.6%
                               loop [4]            75.4%
 [7] 2206(68.5%)    0(0.0%)  make-exacts* ...tatlock/herbie/src/points.rkt:80:0
                               loop [12]           56.9%
                               map [11]            43.1%
--------------------------------------------------------
                               loop [5]           100.0%
 [8]  486(15.1%)    0(0.0%)  loop /home/ztatlock/herbie/src/points.rkt:83:4
                               map [11]           100.0%
--------------------------------------------------------
                               loop [5]             0.1%
                               loop [9]            99.9%
 [9]  268(8.3%)   268(8.3%)  loop /home/ztatlock/herbie/src/points.rkt:72:2
                               loop [9]            99.9%
--------------------------------------------------------
                               filter-exacts [6]  100.0%
[10]  260(8.1%)   260(8.1%)  for-loop ...e/ztatlock/herbie/src/points.rkt:111:4
--------------------------------------------------------
                               loop [8]            33.8%
                               make-exacts* [7]    66.2%
[11] 1436(44.6%)    0(0.0%)  map ...acket/collects/racket/private/map.rkt:21:13
                               loop [12]          100.0%
--------------------------------------------------------
                               make-exacts* [7]     0.1%
                               map [11]             0.1%
                               loop [12]           99.8%
[12] 2692(83.6%)    0(0.0%)  loop ...cket/collects/racket/private/map.rkt:26:19
                               loop [12]           99.8%
                               ??? [13]             0.2%
--------------------------------------------------------
                               loop [12]          100.0%
[13] 2692(83.6%)  712(22.1%) ??? /home/ztatlock/herbie/src/programs.rkt:168:4
                               real->bigfloat [14] 38.0%
                               ??? [15]            26.3%
                               ??? [16]             9.2%
--------------------------------------------------------
                               ??? [13]           100.0%
[14] 1024(31.8%)  716(22.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
                               ??? [18]            30.1%
--------------------------------------------------------
                               ??? [13]           100.0%
[15]  708(22.0%)    0(0.0%)  ??? ...acket/collects/racket/private/kw.rkt:400:14
                               ??? [17]           100.0%
--------------------------------------------------------
                               ??? [13]           100.0%
[16]  248(7.7%)     0(0.0%)  ??? ...ects/racket/contract/private/guts.rkt:638:8
                               ??? [19]           100.0%
--------------------------------------------------------
                               ??? [15]           100.0%
[17]  708(22.0%)  234(7.3%)  ??? ...-racket/utils/simple-result-arrow.rkt:26:12
                               bfatan2 [20]        66.9%
--------------------------------------------------------
                               real->bigfloat [14]100.0%
[18]  308(9.6%)   308(9.6%)  ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
--------------------------------------------------------
                               ??? [16]           100.0%
[19]  248(7.7%)   248(7.7%)  ??? ...tract/private/arrow-higher-order.rkt:373:33
--------------------------------------------------------
                               ??? [17]           100.0%
[20]  474(14.7%)  474(14.7%) bfatan2 ...ib/math/private/bigfloat/mpfr.rkt:819:4
--------------------------------------------------------