Profiling results ----------------- Total cpu time observed: 2096ms (out of 2501ms) Number of samples taken: 7 (once every 299ms) ============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================== [1] 2096(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [2] 100.0% -------------------------------------------------------------- ??? [1] 100.0% [2] 2096(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [3] 100.0% -------------------------------------------------------------- profile-thunk [2] 100.0% [3] 2096(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [4] 100.0% -------------------------------------------------------------- ??? [3] 100.0% [4] 2096(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 prepare-points [5] 100.0% -------------------------------------------------------------- ??? [4] 100.0% [5] 2096(100.0%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [8] 46.5% make-exacts [6] 39.5% ??? [7] 14.0% -------------------------------------------------------------- prepare-points [5] 100.0% [6] 828(39.5%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [8] 100.0% -------------------------------------------------------------- prepare-points [5] 100.0% [7] 294(14.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/points.rkt:230:7 ??? [11] 100.0% -------------------------------------------------------------- make-exacts [6] 46.0% prepare-points [5] 54.0% [8] 1802(86.0%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [9] 100.0% -------------------------------------------------------------- ??? [10] 0.1% loop [8] 0.1% loop [9] 99.7% [9] 1802(86.0%) 0(0.0%) loop .../private/map.rkt:40:19 loop [9] 99.7% ??? [10] 0.1% ??? [11] 0.1% -------------------------------------------------------------- loop [9] 100.0% [10] 1466(70.0%) 638(30.5%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 loop [9] 56.5% -------------------------------------------------------------- ??? [7] 20.2% loop [9] 79.8% [11] 1457(69.5%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:375:33 real->bigfloat [12] 56.8% ->flonum [13] 23.0% sample-multi-bounded [14] 20.2% -------------------------------------------------------------- ??? [11] 100.0% [12] 828(39.5%) 0(0.0%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [15] 100.0% -------------------------------------------------------------- ??? [11] 100.0% [13] 335(16.0%) 335(16.0%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 -------------------------------------------------------------- ??? [11] 100.0% [14] 294(14.0%) 0(0.0%) sample-multi-bounded ...esting/src/points.rkt:44:0 random-exp [16] 100.0% -------------------------------------------------------------- real->bigfloat [12] 100.0% [15] 828(39.5%) 828(39.5%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 -------------------------------------------------------------- sample-multi-bounded [14] 33.3% random-exp [16] 66.7% [16] 294(14.0%) 294(14.0%) random-exp ...bie/alt-testing/src/common.rkt:253:0 random-exp [16] 66.7% --------------------------------------------------------------