Profiling results
-----------------
  Total cpu time observed: 2516ms (out of 2664ms)
  Number of samples taken: 10 (once every 252ms)

=============================================================
                               Caller
 Idx   Total       Self      Name+src                  Local%
       ms(pct)     ms(pct)     Callee
=============================================================
                               ??? [3]                 100.0%
 [1] 2516(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] 2516(100.0%)   0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                               ??? [3]                 100.0%
-------------------------------------------------------------
                               run [2]                  50.0%
 [3] 2516(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [1]      50.0%
                               loop [4]                 45.7%
                               run-improve50 [5]         4.3%
-------------------------------------------------------------
                               ??? [3]                 100.0%
 [4] 2300(91.4%)    0(0.0%)  loop ...tlies/herbie/logb-bug/src/points.rkt:193:2
                               loop [6]                 61.3%
                               make-exacts* [8]         38.7%
-------------------------------------------------------------
                               ??? [3]                 100.0%
 [5]  216(8.6%)     0(0.0%)  run-improve50 ...e/logb-bug/src/mainloop.rkt:234:0
                               setup-alt-simplified [7]100.0%
-------------------------------------------------------------
                               loop [4]                100.0%
 [6] 1410(56.0%)    0(0.0%)  loop ...tlies/herbie/logb-bug/src/points.rkt:151:2
                               loop [9]                 75.3%
                               make-exacts* [8]         24.7%
-------------------------------------------------------------
                               run-improve50 [5]       100.0%
 [7]  216(8.6%)     0(0.0%)  setup-alt-simplified ...logb-bug/src/glue.rkt:49:0
                               simplify-alt [10]       100.0%
-------------------------------------------------------------
                               loop [6]                 28.1%
                               loop [4]                 71.9%
 [8] 1238(49.2%)  168(6.7%)  make-exacts* ...rbie/logb-bug/src/points.rkt:138:0
                               map [11]                 43.3%
                               loop [13]                43.1%
-------------------------------------------------------------
                               loop [6]                100.0%
 [9] 1062(42.2%)    0(0.0%)  loop ...tlies/herbie/logb-bug/src/points.rkt:141:4
                               map [11]                100.0%
-------------------------------------------------------------
                               setup-alt-simplified [7]100.0%
[10]  216(8.6%)     0(0.0%)  simplify-alt .../herbie/logb-bug/src/glue.rkt:76:0
                               ??? [12]                100.0%
-------------------------------------------------------------
                               make-exacts* [8]         33.5%
                               loop [9]                 66.5%
[11] 1598(63.5%)    0(0.0%)  map ...acket/collects/racket/private/map.rkt:20:13
                               loop [13]               100.0%
-------------------------------------------------------------
                               ??? [12]                 50.0%
                               simplify-alt [10]        50.0%
[12]  216(8.6%)     0(0.0%)  ??? ...llects/racket/private/norm-define.rkt:53:83
                               ??? [12]                 50.0%
                               loop [14]                50.0%
-------------------------------------------------------------
                               make-exacts* [8]          0.1%
                               map [11]                  0.5%
                               loop [13]                99.3%
[13] 2132(84.7%)  170(6.8%)  loop ...cket/collects/racket/private/map.rkt:25:19
                               loop [13]                99.3%
                               ??? [15]                  0.6%
-------------------------------------------------------------
                               ??? [12]                100.0%
[14]  216(8.6%)     0(0.0%)  loop ...erbie/logb-bug/src/core/simplify.rkt:215:2
                               pass [16]               100.0%
-------------------------------------------------------------
                               loop [13]               100.0%
[15] 1962(78.0%)  168(6.7%)  ??? ...lies/herbie/logb-bug/src/programs.rkt:154:4
                               ??? [17]                 46.3%
                               ??? [18]                 45.2%
-------------------------------------------------------------
                               loop [14]               100.0%
[16]  216(8.6%)     0(0.0%)  pass ...erbie/logb-bug/src/core/simplify.rkt:205:2
                               for-loop [19]           100.0%
-------------------------------------------------------------
                               ??? [15]                100.0%
[17]  908(36.1%)  196(7.8%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
                               ??? [21]                 78.4%
-------------------------------------------------------------
                               ??? [15]                100.0%
[18]  886(35.2%)    0(0.0%)  ??? ...contract/private/../../private/kw.rkt:761:9
                               real->bigfloat [20]     100.0%
-------------------------------------------------------------
                               pass [16]               100.0%
[19]  216(8.6%)     0(0.0%)  for-loop .../logb-bug/src/core/simplify.rkt:208:29
                               for-loop [22]           100.0%
-------------------------------------------------------------
                               ??? [18]                100.0%
[20]  886(35.2%)  886(35.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
-------------------------------------------------------------
                               ??? [17]                100.0%
[21]  712(28.3%)    0(0.0%)  ??? ...-racket/utils/simple-result-arrow.rkt:39:12
                               bfadd [23]              100.0%
-------------------------------------------------------------
                               for-loop [19]           100.0%
[22]  216(8.6%)   216(8.6%)  for-loop .../logb-bug/src/core/simplify.rkt:195:13
-------------------------------------------------------------
                               ??? [21]                100.0%
[23]  712(28.3%)  712(28.3%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4
-------------------------------------------------------------