Profiling results
-----------------
  Total cpu time observed: 2442ms (out of 2481ms)
  Number of samples taken: 8 (once every 305ms)

==============================================================
                               Caller
 Idx   Total       Self      Name+src                   Local%
       ms(pct)     ms(pct)     Callee
==============================================================
 [1] 2442(100.0%)   0(0.0%)  ??? ...are/racket/collects/racket/engine.rkt:42:24
                               profile-thunk [2]        100.0%
--------------------------------------------------------------
                               ??? [1]                  100.0%
 [2] 2442(100.0%)   0(0.0%)  profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0
                               ??? [3]                  100.0%
--------------------------------------------------------------
                               profile-thunk [2]        100.0%
 [3] 2442(100.0%)   0(0.0%)  ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10
                               ??? [4]                  100.0%
--------------------------------------------------------------
                               ??? [3]                  100.0%
 [4] 2442(100.0%)   0(0.0%)  ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6
                               prepare-points [5]       100.0%
--------------------------------------------------------------
                               ??? [4]                  100.0%
 [5] 2442(100.0%)   0(0.0%)  prepare-points ...alt-testing/src/points.rkt:214:0
                               loop [8]                  65.3%
                               make-exacts [6]           23.4%
                               ??? [7]                   11.3%
--------------------------------------------------------------
                               prepare-points [5]       100.0%
 [6]  571(23.4%)    0(0.0%)  make-exacts ...ie/alt-testing/src/points.rkt:156:0
                               loop [8]                 100.0%
--------------------------------------------------------------
                               prepare-points [5]       100.0%
 [7]  277(11.3%)    0(0.0%)  ??? ...ies/herbie/alt-testing/src/points.rkt:230:7
                               ??? [12]                 100.0%
--------------------------------------------------------------
                               make-exacts [6]           26.4%
                               prepare-points [5]        73.6%
 [8] 2165(88.7%)    0(0.0%)  loop ...es/herbie/alt-testing/src/points.rkt:141:4
                               loop [9]                  84.7%
                               gen-andmap [10]           15.3%
--------------------------------------------------------------
                               ??? [11]                   0.0%
                               loop [8]                   0.5%
                               loop [9]                  99.5%
 [9] 1834(75.1%)    0(0.0%)  loop .../private/map.rkt:40:19
                               loop [9]                  99.5%
                               ??? [11]                   0.5%
                               ??? [12]                   0.0%
--------------------------------------------------------------
                               loop [8]                 100.0%
[10]  331(13.6%)  331(13.6%) gen-andmap ...ollects/racket/private/map.rkt:275:2
--------------------------------------------------------------
                               loop [9]                 100.0%
[11] 1834(75.1%)  622(25.5%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4
                               loop [9]                  35.0%
                               ??? [14]                  31.1%
--------------------------------------------------------------
                               ??? [7]                   30.2%
                               loop [9]                  69.8%
[12]  918(37.6%)    0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:375:33
                               real->bigfloat [13]       69.8%
                               sample-multi-bounded [15] 30.2%
--------------------------------------------------------------
                               ??? [12]                 100.0%
[13]  641(26.2%)    0(0.0%)  real->bigfloat .../private/bigfloat/mpfr.rkt:470:0
                               new-mpfr [17]            100.0%
--------------------------------------------------------------
                               ??? [11]                 100.0%
[14]  571(23.4%)    0(0.0%)  ??? ...-racket/utils/simple-result-arrow.rkt:39:12
                               bfatan2 [16]             100.0%
--------------------------------------------------------------
                               ??? [12]                 100.0%
[15]  277(11.3%)  277(11.3%) sample-multi-bounded ...esting/src/points.rkt:44:0
--------------------------------------------------------------
                               ??? [14]                 100.0%
[16]  571(23.4%)  284(11.6%) bfatan2 ...ib/math/private/bigfloat/mpfr.rkt:846:4
                               new-mpfr [17]             50.4%
--------------------------------------------------------------
                               bfatan2 [16]              31.0%
                               real->bigfloat [13]       69.0%
[17]  928(38.0%)  928(38.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0
--------------------------------------------------------------