Profiling results
-----------------
  Total cpu time observed: 5216ms (out of 5992ms)
  Number of samples taken: 14 (once every 373ms)

===============================================================
                                Caller
 Idx   Total        Self      Name+src                   Local%
       ms(pct)      ms(pct)     Callee
===============================================================
                                ??? [3]                  100.0%
 [1] 5216(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] 5216(100.0%)    0(0.0%)  run ...share/racket/pkgs/profile-lib/main.rkt:39:2
                                ??? [3]                  100.0%
---------------------------------------------------------------
                                run [2]                   50.0%
 [3] 5216(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                profile-thunk16 [1]       50.0%
                                loop [4]                  50.0%
---------------------------------------------------------------
                                ??? [3]                  100.0%
 [4] 5216(100.0%)    0(0.0%)  loop ...tlies/herbie/logb-bug/src/points.rkt:193:2
                                make-exacts* [7]          49.0%
                                loop [5]                  45.1%
                                for-loop [6]               5.9%
---------------------------------------------------------------
                                loop [4]                 100.0%
 [5] 2350(45.1%)     0(0.0%)  loop ...tlies/herbie/logb-bug/src/points.rkt:151:2
                                loop [8]                  69.4%
                                make-exacts* [7]          30.6%
---------------------------------------------------------------
                                loop [4]                 100.0%
 [6]  308(5.9%)      0(0.0%)  for-loop .../herbie/logb-bug/src/points.rkt:200:24
                                for-loop [9]             100.0%
---------------------------------------------------------------
                                loop [5]                  21.9%
                                loop [4]                  78.1%
 [7] 3276(62.8%)     0(0.0%)  make-exacts* ...rbie/logb-bug/src/points.rkt:138:0
                                loop [11]                 56.8%
                                map [10]                  43.2%
---------------------------------------------------------------
                                loop [5]                 100.0%
 [8] 1632(31.3%)     0(0.0%)  loop ...tlies/herbie/logb-bug/src/points.rkt:141:4
                                map [10]                 100.0%
---------------------------------------------------------------
                                for-loop [6]             100.0%
 [9]  308(5.9%)      0(0.0%)  for-loop .../herbie/logb-bug/src/points.rkt:201:26
                                ??? [13]                 100.0%
---------------------------------------------------------------
                                make-exacts* [7]          46.4%
                                loop [8]                  53.6%
[10] 3046(58.4%)     0(0.0%)  map ...acket/collects/racket/private/map.rkt:20:13
                                loop [11]                100.0%
---------------------------------------------------------------
                                make-exacts* [7]           0.1%
                                map [10]                   1.5%
                                loop [11]                 98.4%
[11] 4908(94.1%)     0(0.0%)  loop ...cket/collects/racket/private/map.rkt:25:19
                                loop [11]                 98.4%
                                ??? [12]                   1.5%
                                ??? [13]                   0.1%
---------------------------------------------------------------
                                loop [11]                100.0%
[12] 4188(80.3%)   360(6.9%)  ??? ...lies/herbie/logb-bug/src/programs.rkt:154:4
                                ??? [14]                  74.9%
                                ??? [16]                  16.5%
---------------------------------------------------------------
                                for-loop [9]              30.0%
                                loop [11]                 70.0%
[13] 1028(19.7%)     0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:342:33
                                sample-multi-bounded [15]100.0%
---------------------------------------------------------------
                                ??? [12]                 100.0%
[14] 3138(60.2%)   430(8.2%)  ??? ...contract/private/../../private/kw.rkt:761:9
                                real->bigfloat [17]       86.3%
---------------------------------------------------------------
                                ??? [13]                 100.0%
[15] 1028(19.7%)   666(12.8%) sample-multi-bounded ...vate/norm-define.rkt:53:83
                                return/no-unsupplied [18] 35.2%
---------------------------------------------------------------
                                ??? [12]                 100.0%
[16]  690(13.2%)   330(6.3%)  ??? ...acket/collects/racket/private/kw.rkt:444:14
                                ??? [19]                  52.2%
---------------------------------------------------------------
                                ??? [14]                 100.0%
[17] 2708(51.9%)  1562(29.9%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0
                                ??? [21]                  42.3%
---------------------------------------------------------------
                                sample-multi-bounded [15]100.0%
[18]  362(6.9%)    362(6.9%)  return/no-unsupplied ...ct/private/arr-i.rkt:533:0
---------------------------------------------------------------
                                ??? [16]                 100.0%
[19]  360(6.9%)      0(0.0%)  ??? ...-racket/utils/simple-result-arrow.rkt:39:12
                                bfatan2 [20]             100.0%
---------------------------------------------------------------
                                ??? [19]                 100.0%
[20]  360(6.9%)      0(0.0%)  bfatan2 ...ib/math/private/bigfloat/mpfr.rkt:819:4
                                ??? [21]                 100.0%
---------------------------------------------------------------
                                bfatan2 [20]              23.9%
                                real->bigfloat [17]       76.1%
[21] 1506(28.9%)  1506(28.9%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4
---------------------------------------------------------------