Profiling results ----------------- Total cpu time observed: 25889ms (out of 26349ms) Number of samples taken: 85 (once every 305ms) ================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================= [1] 25889(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [2] 100.0% ----------------------------------------------------------------- ??? [1] 100.0% [2] 25889(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [3] 100.0% ----------------------------------------------------------------- profile-thunk [2] 100.0% [3] 25889(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [4] 100.0% ----------------------------------------------------------------- ??? [3] 100.0% [4] 25889(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 prepare-points [8] 92.2% run-improve [5] 7.8% ----------------------------------------------------------------- ??? [4] 100.0% [5] 2012(7.8%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 setup-prog! [6] 85.5% run-iter! [7] 14.5% ----------------------------------------------------------------- run-improve [5] 100.0% [6] 1720(6.6%) 0(0.0%) setup-prog! ...e/alt-testing/src/mainloop.rkt:72:0 prepare-points [8] 100.0% ----------------------------------------------------------------- run-improve [5] 100.0% [7] 292(1.1%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 choose-best-alt! [9] 100.0% ----------------------------------------------------------------- setup-prog! [6] 6.7% ??? [4] 93.3% [8] 25597(98.9%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [14] 53.3% make-exacts [10] 38.5% make-exacts* [15] 4.6% ??? [11] 2.4% reverse [12] 1.2% ----------------------------------------------------------------- run-iter! [7] 100.0% [9] 292(1.1%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [13] 100.0% ----------------------------------------------------------------- prepare-points [8] 100.0% [10] 9857(38.1%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [14] 91.5% make-exacts* [15] 8.5% ----------------------------------------------------------------- prepare-points [8] 100.0% [11] 625(2.4%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/points.rkt:230:7 ??? [27] 53.4% range-table-ref [17] 46.6% ----------------------------------------------------------------- prepare-points [8] 100.0% [12] 298(1.2%) 298(1.2%) reverse ...collects/racket/private/reverse.rkt:6:4 ----------------------------------------------------------------- choose-best-alt! [9] 100.0% [13] 292(1.1%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:486:18 atab-pick-alt [16] 100.0% ----------------------------------------------------------------- make-exacts [10] 39.8% prepare-points [8] 60.2% [14] 22647(87.5%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [18] 100.0% ----------------------------------------------------------------- make-exacts [10] 41.5% prepare-points [8] 58.5% [15] 2026(7.8%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [19] 100.0% ----------------------------------------------------------------- ??? [13] 100.0% [16] 292(1.1%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 write-json* [20] 100.0% ----------------------------------------------------------------- ??? [11] 100.0% [17] 292(1.1%) 292(1.1%) range-table-ref ...ng/src/range-analysis.rkt:182:0 ----------------------------------------------------------------- ??? [21] 0.1% f138 [24] 1.2% loop [14] 1.5% ??? [40] 3.7% loop [18] 93.5% [18] 23810(92.0%) 0(0.0%) loop .../private/map.rkt:40:19 loop [18] 93.5% hash-ref! [30] 3.7% f138 [24] 1.2% ??? [21] 1.1% ??? [27] 0.6% ->bf [23] 0.0% ----------------------------------------------------------------- make-exacts* [15] 100.0% [19] 2026(7.8%) 864(3.3%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 compile [22] 42.9% f138 [24] 14.5% ----------------------------------------------------------------- atab-pick-alt [16] 100.0% [20] 292(1.1%) 0(0.0%) write-json* .../racket/collects/json/main.rkt:94:0 loop [25] 100.0% ----------------------------------------------------------------- loop [18] 100.0% [21] 19916(76.9%) 7458(28.8%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 ??? [26] 31.1% loop [18] 12.3% ??? [28] 9.8% ??? [29] 4.9% ??? [31] 3.0% bf- [32] 1.5% ----------------------------------------------------------------- eval-prog [19] 100.0% [22] 870(3.4%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [30] 100.0% ----------------------------------------------------------------- loop [18] 100.0% [23] 310(1.2%) 310(1.2%) ->bf ...s/herbie/alt-testing/src/programs.rkt:53:0 ----------------------------------------------------------------- eval-prog [19] 33.3% loop [18] 66.7% [24] 293(1.1%) 0(0.0%) f138 .../collects/racket/match/compiler.rkt:548:40 loop [18] 66.7% ??? [27] 33.3% ----------------------------------------------------------------- write-json* [20] 25.0% loop [25] 75.0% [25] 292(1.1%) 292(1.1%) loop .../share/racket/collects/json/main.rkt:132:2 loop [25] 75.0% ----------------------------------------------------------------- ??? [21] 100.0% [26] 6194(23.9%) 388(1.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfneg [33] 49.5% bfdiv [34] 44.2% ----------------------------------------------------------------- f138 [24] 5.3% ??? [11] 6.1% loop [18] 88.6% [27] 5496(21.2%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ->flonum [35] 49.7% real->bigfloat [36] 33.6% sample-multi-bounded [41] 6.1% ??? [42] 5.3% ??? [44] 5.3% ----------------------------------------------------------------- ??? [21] 100.0% [28] 1954(7.5%) 0(0.0%) ??? .../private/arrow-higher-order.rkt:379:33 ??? [37] 82.6% ??? [44] 17.4% ----------------------------------------------------------------- ??? [21] 100.0% [29] 972(3.8%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [38] 100.0% ----------------------------------------------------------------- compile [22] 28.9% loop [18] 71.1% [30] 870(3.4%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:377:2 ??? [40] 71.1% bigfloat-hash [39] 28.9% ----------------------------------------------------------------- ??? [21] 100.0% [31] 598(2.3%) 291(1.1%) ??? .../herbie/alt-testing/src/bigcomplex.rkt:66:2 ^TYPE? [45] 51.4% ----------------------------------------------------------------- ??? [21] 100.0% [32] 294(1.1%) 294(1.1%) bf- ...ath/private/bigfloat/bigfloat-mpfr.rkt:89:0 ----------------------------------------------------------------- ??? [26] 100.0% [33] 3068(11.9%) 978(3.8%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:635:4 new-mpfr [43] 68.1% ----------------------------------------------------------------- ??? [26] 100.0% [34] 2736(10.6%) 1503(5.8%) bfdiv ...-lib/math/private/bigfloat/mpfr.rkt:846:4 new-mpfr [43] 45.1% ----------------------------------------------------------------- ??? [27] 100.0% [35] 2731(10.5%) 1293(5.0%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 dict-ref-contract [47] 30.5% ??? [49] 22.2% ----------------------------------------------------------------- ??? [27] 100.0% [36] 1848(7.1%) 928(3.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [43] 49.8% ----------------------------------------------------------------- ??? [28] 100.0% [37] 1614(6.2%) 294(1.1%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [44] 42.7% check-list [48] 39.1% ----------------------------------------------------------------- ??? [29] 100.0% [38] 972(3.8%) 298(1.2%) ??? ...ects/racket/contract/private/orc.rkt:112:15 ^TYPE? [45] 69.3% ----------------------------------------------------------------- hash-ref! [30] 100.0% [39] 870(3.4%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 bfcanonicalize [46] 100.0% ----------------------------------------------------------------- hash-ref! [30] 100.0% [40] 870(3.4%) 0(0.0%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [18] 100.0% ----------------------------------------------------------------- ??? [27] 100.0% [41] 334(1.3%) 0(0.0%) sample-multi-bounded ...esting/src/points.rkt:44:0 make-sequence [50] 100.0% ----------------------------------------------------------------- ??? [27] 100.0% [42] 293(1.1%) 0(0.0%) ??? ...cts/racket/contract/private/arr-i.rkt:855:8 ??? [51] 100.0% ----------------------------------------------------------------- real->bigfloat [36] 21.7% bfdiv [34] 29.1% bfneg [33] 49.3% [43] 4246(16.4%) 4246(16.4%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 ----------------------------------------------------------------- ??? [27] 22.0% ??? [28] 25.8% ??? [37] 52.2% [44] 1318(5.1%) 1318(5.1%) ??? ...ects/racket/contract/private/guts.rkt:794:8 ----------------------------------------------------------------- ??? [31] 31.4% ??? [38] 68.6% [45] 980(3.8%) 980(3.8%) ^TYPE? .../ffi/unsafe.rkt:1621:20 ----------------------------------------------------------------- bigfloat-hash [39] 100.0% [46] 870(3.4%) 0(0.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 bitwise-first-bit-set [52]100.0% ----------------------------------------------------------------- ->flonum [35] 100.0% [47] 832(3.2%) 832(3.2%) dict-ref-contract ...ract/private/arr-i.rkt:976:19 ----------------------------------------------------------------- ??? [37] 100.0% [48] 631(2.4%) 631(2.4%) check-list ...ollects/racket/private/for.rkt:690:2 ----------------------------------------------------------------- ->flonum [35] 100.0% [49] 606(2.3%) 304(1.2%) ??? ...-racket/utils/simple-result-arrow.rkt:59:13 bigfloat->flonum [53] 49.7% ----------------------------------------------------------------- sample-multi-bounded [41] 100.0% [50] 334(1.3%) 334(1.3%) make-sequence ...ects/racket/private/for.rkt:557:2 ----------------------------------------------------------------- ??? [42] 100.0% [51] 293(1.1%) 0(0.0%) ??? ...private/unconstrained-domain-arrow.rkt:69:2 do-blame-add-context [54] 100.0% ----------------------------------------------------------------- bfcanonicalize [46] 100.0% [52] 870(3.4%) 870(3.4%) bitwise-first-bit-set ...hmetic/bitwise-6.rkt:35:0 ----------------------------------------------------------------- ??? [49] 100.0% [53] 301(1.2%) 301(1.2%) bigfloat->flonum ...rivate/bigfloat/mpfr.rkt:480:0 ----------------------------------------------------------------- ??? [51] 100.0% [54] 293(1.1%) 293(1.1%) do-blame-add-context ...ct/private/blame.rkt:192:0 -----------------------------------------------------------------