Profiling results
-----------------
  Total cpu time observed: 904ms (out of 1032ms)
  Number of samples taken: 6 (once every 151ms)

==================================================================
                              Caller
 Idx  Total       Self      Name+src                        Local%
      ms(pct)     ms(pct)     Callee
==================================================================
 [1] 904(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                              profile-thunk16 [3]           100.0%
------------------------------------------------------------------
                              .../more-scheme.rkt:261:28 [6]100.0%
 [2] 152(16.8%)    0(0.0%)  errors ...s/herbie/gh-actions/src/points.rkt:192:0
                              for-loop [4]                  100.0%
------------------------------------------------------------------
                              ??? [1]                       100.0%
 [3] 904(100.0%)   0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                              run [5]                       100.0%
------------------------------------------------------------------
                              errors [2]                    100.0%
 [4] 152(16.8%)    0(0.0%)  for-loop ...herbie/gh-actions/src/points.rkt:194:2
                              .../more-scheme.rkt:261:28 [6]100.0%
------------------------------------------------------------------
                              profile-thunk16 [3]           100.0%
 [5] 904(100.0%)   0(0.0%)  run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2
                              .../more-scheme.rkt:261:28 [6]100.0%
------------------------------------------------------------------
                              for-loop [4]                    8.4%
                              run [5]                        91.6%
 [6] 904(100.0%) 152(16.8%) .../more-scheme.rkt:261:28 (unknown source)
                              prepare-points-intervals [7]   83.2%
                              errors [2]                      8.4%
------------------------------------------------------------------
                              .../more-scheme.rkt:261:28 [6]100.0%
 [7] 752(83.2%)    0(0.0%)  prepare-points-intervals ...s/src/points.rkt:122:0
                              loop [8]                      100.0%
------------------------------------------------------------------
                              prepare-points-intervals [7]  100.0%
 [8] 752(83.2%)  152(16.8%) loop ...ies/herbie/gh-actions/src/points.rkt:134:4
                              loop [9]                       40.2%
                              ??? [10]                       39.6%
------------------------------------------------------------------
                              loop [8]                      100.0%
 [9] 302(33.4%)    0(0.0%)  loop ...lies/herbie/gh-actions/src/points.rkt:79:2
                              real->precision [11]           50.3%
                              ??? [13]                       49.7%
------------------------------------------------------------------
                              loop [8]                      100.0%
[10] 298(33.0%)  148(16.4%) ??? ...lies/herbie/gh-actions/src/points.rkt:115:6
                              sample-multi-bounded [12]      50.3%
------------------------------------------------------------------
                              loop [9]                      100.0%
[11] 152(16.8%)    0(0.0%)  real->precision ...actions/src/programs.rkt:118:11
                              ??? [14]                      100.0%
------------------------------------------------------------------
                              ??? [10]                      100.0%
[12] 150(16.6%)    0(0.0%)  sample-multi-bounded ...ctions/src/points.rkt:14:0
                              random-ranges [15]            100.0%
------------------------------------------------------------------
                              loop [9]                      100.0%
[13] 150(16.6%)    0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:379:33
                              ival-sub [16]                 100.0%
------------------------------------------------------------------
                              real->precision [11]          100.0%
[14] 152(16.8%)    0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:375:33
                              bf [17]                       100.0%
------------------------------------------------------------------
                              sample-multi-bounded [12]     100.0%
[15] 150(16.6%)  150(16.6%) random-ranges ...e/gh-actions/src/common.rkt:164:0
------------------------------------------------------------------
                              ??? [13]                      100.0%
[16] 150(16.6%)    0(0.0%)  ival-sub ...e/gh-actions/src/biginterval.rkt:117:0
                              bfsub [18]                    100.0%
------------------------------------------------------------------
                              ??? [14]                      100.0%
[17] 152(16.8%)    0(0.0%)  bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2
                              ??? [19]                      100.0%
------------------------------------------------------------------
                              ival-sub [16]                 100.0%
[18] 150(16.6%)    0(0.0%)  bfsub ...-lib/math/private/bigfloat/mpfr.rkt:835:4
                              new-mpfr [20]                 100.0%
------------------------------------------------------------------
                              bf [17]                       100.0%
[19] 152(16.8%)  152(16.8%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4
------------------------------------------------------------------
                              bfsub [18]                    100.0%
[20] 150(16.6%)  150(16.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0
------------------------------------------------------------------