Profiling results ----------------- Total cpu time observed: 13978ms (out of 14159ms) Number of samples taken: 49 (once every 285ms) =================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =================================================================== [1] 13978(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [3] 100.0% ------------------------------------------------------------------- loop [60] 100.0% [2] 4985(35.7%) 0(0.0%) option-on-expr ...esting/src/core/regimes.rkt:83:0 sindices->spoints [4] 50.1% err-lsts->split-indices [5] 27.8% sort-context-on-expr [6] 11.1% loop [60] 11.0% ------------------------------------------------------------------- ??? [1] 100.0% [3] 13978(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [7] 100.0% ------------------------------------------------------------------- option-on-expr [2] 100.0% [4] 2496(17.9%) 0(0.0%) sindices->spoints ...ng/src/core/regimes.rkt:136:0 loop [8] 100.0% ------------------------------------------------------------------- option-on-expr [2] 100.0% [5] 1384(9.9%) 1109(7.9%) err-lsts->split-indices .../core/regimes.rkt:239:0 loop [60] 19.9% ------------------------------------------------------------------- option-on-expr [2] 100.0% [6] 554(4.0%) 0(0.0%) sort-context-on-expr ...sting/src/points.rkt:115:0 ??? [9] 100.0% ------------------------------------------------------------------- profile-thunk [3] 100.0% [7] 13978(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [10] 100.0% ------------------------------------------------------------------- loop [8] 26.6% sindices->spoints [4] 73.4% [8] 2496(17.9%) 0(0.0%) loop .../private/map.rkt:54:19 sidx->spoint [11] 73.4% loop [8] 26.6% ------------------------------------------------------------------- sort-context-on-expr [6] 100.0% [9] 554(4.0%) 0(0.0%) ??? ...cket/collects/racket/private/sort.rkt:369:3 generic-sort/key [12] 100.0% ------------------------------------------------------------------- ??? [7] 100.0% [10] 13978(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 run-improve [13] 65.6% prepare-points [19] 34.4% ------------------------------------------------------------------- loop [8] 100.0% [11] 2496(17.9%) 0(0.0%) sidx->spoint ...testing/src/core/regimes.rkt:146:2 binary-search-floats [14] 100.0% ------------------------------------------------------------------- ??? [9] 100.0% [12] 554(4.0%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [15] 100.0% ------------------------------------------------------------------- ??? [10] 100.0% [13] 9166(65.6%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 get-final-combination [16] 54.4% run-iter! [17] 42.5% ??? [42] 3.1% ------------------------------------------------------------------- sidx->spoint [11] 100.0% [14] 2496(17.9%) 0(0.0%) binary-search-floats ...src/core/regimes.rkt:125:0 pred [18] 100.0% ------------------------------------------------------------------- generic-sort/key [12] 41.6% copying-mergesort [15] 58.4% [15] 554(4.0%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [15] 58.4% ??? [56] 24.9% ??? [66] 16.7% ------------------------------------------------------------------- run-improve [13] 100.0% [16] 4985(35.7%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:255:0 split-table [20] 100.0% ------------------------------------------------------------------- run-improve [13] 100.0% [17] 3894(27.9%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 simplify! [21] 64.4% finalize-iter! [22] 14.3% choose-best-alt! [23] 14.1% gen-series! [24] 7.2% ------------------------------------------------------------------- binary-search-floats [14] 100.0% [18] 2496(17.9%) 0(0.0%) pred ...ie/alt-testing/src/core/regimes.rkt:151:17 prepare-points [19] 77.7% errors [54] 22.3% ------------------------------------------------------------------- pred [18] 28.7% ??? [10] 71.3% [19] 6752(48.3%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [31] 54.1% make-exacts [27] 21.2% make-exacts* [28] 16.5% ??? [29] 8.3% ------------------------------------------------------------------- get-final-combination [16] 100.0% [20] 4985(35.7%) 0(0.0%) split-table ...rbie/alt-testing/src/glue.rkt:162:0 f9 [25] 100.0% ------------------------------------------------------------------- run-iter! [17] 100.0% [21] 2506(17.9%) 0(0.0%) simplify! ...ie/alt-testing/src/mainloop.rkt:146:0 ??? [26] 100.0% ------------------------------------------------------------------- run-iter! [17] 100.0% [22] 556(4.0%) 0(0.0%) finalize-iter! ...t-testing/src/mainloop.rkt:160:0 ??? [42] 100.0% ------------------------------------------------------------------- run-iter! [17] 100.0% [23] 550(3.9%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [42] 100.0% ------------------------------------------------------------------- run-iter! [17] 100.0% [24] 282(2.0%) 0(0.0%) gen-series! .../alt-testing/src/mainloop.rkt:120:0 taylor-alt [30] 100.0% ------------------------------------------------------------------- split-table [20] 100.0% [25] 4985(35.7%) 0(0.0%) f9 ...et/collects/racket/match/compiler.rkt:548:40 loop [60] 100.0% ------------------------------------------------------------------- simplify! [21] 100.0% [26] 2506(17.9%) 0(0.0%) ??? ...s/herbie/alt-testing/src/mainloop.rkt:152:8 simplify [32] 100.0% ------------------------------------------------------------------- prepare-points [19] 100.0% [27] 1432(10.2%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [31] 80.2% loop [33] 19.8% ------------------------------------------------------------------- prepare-points [19] 100.0% [28] 1112(8.0%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [57] 100.0% ------------------------------------------------------------------- prepare-points [19] 100.0% [29] 558(4.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/points.rkt:230:7 ??? [66] 50.3% range-table-ref [34] 49.7% ------------------------------------------------------------------- gen-series! [24] 100.0% [30] 282(2.0%) 0(0.0%) taylor-alt ...erbie/alt-testing/src/glue.rkt:134:0 ??? [66] 100.0% ------------------------------------------------------------------- make-exacts [27] 23.9% prepare-points [19] 76.1% [31] 4799(34.3%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [60] 100.0% ------------------------------------------------------------------- ??? [26] 100.0% [32] 2506(17.9%) 0(0.0%) simplify ...alt-testing/src/core/simplify.rkt:43:0 ??? [35] 100.0% ------------------------------------------------------------------- make-exacts [27] 0.1% loop [33] 99.9% [33] 284(2.0%) 284(2.0%) loop ...es/herbie/alt-testing/src/points.rkt:130:2 loop [33] 99.9% ------------------------------------------------------------------- ??? [29] 100.0% [34] 278(2.0%) 278(2.0%) range-table-ref ...ng/src/range-analysis.rkt:182:0 ------------------------------------------------------------------- simplify [32] 100.0% [35] 2506(17.9%) 0(0.0%) ??? ...rbie/alt-testing/src/core/simplify.rkt:77:0 iterate-egraph! [36] 100.0% ------------------------------------------------------------------- ??? [35] 100.0% [36] 2506(17.9%) 0(0.0%) iterate-egraph! ...ing/src/core/simplify.rkt:105:0 one-iter [37] 100.0% ------------------------------------------------------------------- iterate-egraph! [36] 100.0% [37] 2506(17.9%) 278(2.0%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 match-e [38] 33.4% loop! [68] 22.3% reverse [39] 11.1% custom-set-member? [40] 11.1% substitute-e [41] 11.0% ------------------------------------------------------------------- match-e [38] 50.0% one-iter [37] 50.0% [38] 836(6.0%) 0(0.0%) match-e ...ie/alt-testing/src/core/ematch.rkt:46:0 match-e [38] 50.0% check-list [43] 16.7% loop [60] 16.7% ??? [42] 16.6% ------------------------------------------------------------------- one-iter [37] 100.0% [39] 278(2.0%) 278(2.0%) reverse ...collects/racket/private/reverse.rkt:6:4 ------------------------------------------------------------------- one-iter [37] 100.0% [40] 278(2.0%) 278(2.0%) custom-set-member? ...t/private/set-types.rkt:45:0 ------------------------------------------------------------------- one-iter [37] 100.0% [41] 276(2.0%) 0(0.0%) substitute-e ...t-testing/src/core/ematch.rkt:71:0 mk-enode! [44] 100.0% ------------------------------------------------------------------- match-e [38] 16.6% run-improve [13] 17.2% choose-best-alt! [23] 32.9% finalize-iter! [22] 33.3% [42] 1671(12.0%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:486:18 atab-add-altns [45] 50.5% atab-pick-alt [46] 32.9% hash-has-key? [47] 16.6% ------------------------------------------------------------------- match-e [38] 100.0% [43] 280(2.0%) 280(2.0%) check-list ...ollects/racket/private/for.rkt:690:2 ------------------------------------------------------------------- substitute-e [41] 100.0% [44] 276(2.0%) 0(0.0%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [48] 100.0% ------------------------------------------------------------------- ??? [42] 100.0% [45] 844(6.0%) 0(0.0%) atab-add-altns ...ting/src/core/alt-table.rkt:52:0 atab-add-altn [49] 100.0% ------------------------------------------------------------------- ??? [42] 100.0% [46] 550(3.9%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 point-best-alt [51] 50.1% errors [54] 49.9% ------------------------------------------------------------------- ??? [42] 100.0% [47] 278(2.0%) 278(2.0%) hash-has-key? ...ket/private/more-scheme.rkt:372:2 ------------------------------------------------------------------- mk-enode! [44] 100.0% [48] 276(2.0%) 0(0.0%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [50] 100.0% ------------------------------------------------------------------- atab-add-altns [45] 100.0% [49] 844(6.0%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:239:0 best-and-tied-at-points [52]100.0% ------------------------------------------------------------------- new-enode [48] 100.0% [50] 276(2.0%) 0(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [53] 100.0% ------------------------------------------------------------------- atab-pick-alt [46] 100.0% [51] 276(2.0%) 0(0.0%) point-best-alt ...ting/src/core/alt-table.rkt:56:0 loop [60] 100.0% ------------------------------------------------------------------- atab-add-altn [49] 100.0% [52] 844(6.0%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:153:0 errors [54] 100.0% ------------------------------------------------------------------- type-of-enode-expr [50] 100.0% [53] 276(2.0%) 0(0.0%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 table-ref [55] 100.0% ------------------------------------------------------------------- atab-pick-alt [46] 11.0% pred [18] 22.2% loop [60] 33.1% best-and-tied-at-points [52] 33.8% [54] 2499(17.9%) 0(0.0%) errors .../herbie/alt-testing/src/points.rkt:271:0 ??? [56] 66.7% eval-prog [57] 11.2% ulp-difference [58] 11.1% flonums-between [59] 11.0% ------------------------------------------------------------------- get-sigs [53] 100.0% [55] 276(2.0%) 276(2.0%) table-ref ...erbie/alt-testing/src/common.rkt:46:0 ------------------------------------------------------------------- copying-mergesort [15] 4.3% errors [54] 26.1% loop [60] 69.6% [56] 6395(45.8%) 2326(16.6%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 loop [60] 40.9% ??? [67] 8.7% ??? [61] 4.9% ??? [62] 4.6% bf* [63] 4.5% ------------------------------------------------------------------- errors [54] 20.1% make-exacts* [28] 79.9% [57] 1391(10.0%) 1118(8.0%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 compile [65] 19.7% ------------------------------------------------------------------- errors [54] 100.0% [58] 276(2.0%) 0(0.0%) ulp-difference ...e/alt-testing/src/float.rkt:19:0 return/no-unsupplied [87] 100.0% ------------------------------------------------------------------- errors [54] 100.0% [59] 276(2.0%) 0(0.0%) flonums-between ...te/flonum/flonum-bits.rkt:103:2 flonum->ordinal [64] 100.0% ------------------------------------------------------------------- err-lsts->split-indices [5] 0.3% loop [31] 0.5% ??? [90] 0.7% option-on-expr [2] 0.9% point-best-alt [51] 2.6% match-e [38] 2.6% loop! [68] 3.3% ??? [56] 3.7% f9 [25] 7.6% loop [60] 77.8% [60] 10622(76.0%) 0(0.0%) loop .../private/map.rkt:40:19 loop [60] 77.8% option-on-expr [2] 7.6% ??? [66] 3.7% errors [54] 3.5% loop! [68] 3.3% foldl [72] 2.6% hash-ref! [86] 0.7% ??? [56] 0.5% composed [73] 0.3% ->bf [70] 0.0% ------------------------------------------------------------------- ??? [56] 100.0% [61] 316(2.3%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [69] 100.0% ------------------------------------------------------------------- ??? [56] 100.0% [62] 296(2.1%) 0(0.0%) ??? .../private/arrow-higher-order.rkt:379:33 ??? [71] 100.0% ------------------------------------------------------------------- ??? [56] 100.0% [63] 286(2.0%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [67] 100.0% ------------------------------------------------------------------- flonums-between [59] 100.0% [64] 276(2.0%) 276(2.0%) flonum->ordinal ...ate/flonum/flonum-bits.rkt:68:0 ------------------------------------------------------------------- eval-prog [57] 100.0% [65] 274(2.0%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [86] 100.0% ------------------------------------------------------------------- loop [81] 4.0% taylor-alt [30] 4.0% copying-mergesort [15] 7.9% ??? [29] 8.0% loop [60] 76.0% [66] 3498(25.0%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ->flonum [74] 41.5% real->bigfloat [75] 26.0% ??? [76] 16.4% sample-multi-bounded [82] 8.0% loop [81] 4.0% approximate [80] 4.0% ------------------------------------------------------------------- bf* [63] 33.9% ??? [56] 66.1% [67] 842(6.0%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bflog [78] 66.1% bfmul [79] 33.9% ------------------------------------------------------------------- loop [60] 50.0% one-iter [37] 50.0% [68] 558(4.0%) 0(0.0%) loop! ...rbie/alt-testing/src/core/enode.rkt:192:2 loop [60] 50.0% make-immutable-set [77] 50.0% ------------------------------------------------------------------- ??? [61] 100.0% [69] 316(2.3%) 0(0.0%) ??? ...ects/racket/contract/private/orc.rkt:112:15 ^TYPE? [84] 100.0% ------------------------------------------------------------------- loop [60] 100.0% [70] 305(2.2%) 305(2.2%) ->bf ...s/herbie/alt-testing/src/programs.rkt:53:0 ------------------------------------------------------------------- ??? [62] 100.0% [71] 296(2.1%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [76] 100.0% ------------------------------------------------------------------- loop [60] 100.0% [72] 278(2.0%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:248:4 check-fold [83] 100.0% ------------------------------------------------------------------- loop [60] 100.0% [73] 276(2.0%) 276(2.0%) composed ...ollects/racket/private/list.rkt:340:16 ------------------------------------------------------------------- ??? [66] 100.0% [74] 1453(10.4%) 1179(8.4%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 return/no-unsupplied [87] 18.9% ------------------------------------------------------------------- ??? [66] 100.0% [75] 909(6.5%) 909(6.5%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 ------------------------------------------------------------------- ??? [71] 34.1% ??? [66] 65.9% [76] 870(6.2%) 296(2.1%) ??? ...ects/racket/contract/private/guts.rkt:794:8 ^TYPE? [84] 65.9% ------------------------------------------------------------------- loop! [68] 100.0% [77] 558(4.0%) 558(4.0%) make-immutable-set .../private/set-types.rkt:948:0 ------------------------------------------------------------------- ??? [67] 100.0% [78] 557(4.0%) 0(0.0%) bflog ...-lib/math/private/bigfloat/mpfr.rkt:635:4 new-mpfr [85] 100.0% ------------------------------------------------------------------- ??? [67] 100.0% [79] 286(2.0%) 286(2.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:846:4 ------------------------------------------------------------------- ??? [66] 100.0% [80] 282(2.0%) 0(0.0%) approximate ...lt-testing/src/core/taylor.rkt:12:0 hash-ref! [86] 100.0% ------------------------------------------------------------------- ??? [66] 20.0% loop [81] 80.0% [81] 282(2.0%) 0(0.0%) loop .../herbie/alt-testing/src/programs.rkt:125:4 loop [81] 80.0% ??? [66] 20.0% ------------------------------------------------------------------- ??? [66] 100.0% [82] 280(2.0%) 280(2.0%) sample-multi-bounded ...esting/src/points.rkt:44:0 ------------------------------------------------------------------- foldl [72] 100.0% [83] 278(2.0%) 278(2.0%) check-fold ...llects/racket/private/list.rkt:223:2 ------------------------------------------------------------------- ??? [69] 35.6% ??? [76] 64.4% [84] 890(6.4%) 890(6.4%) ^TYPE? .../ffi/unsafe.rkt:1621:20 ------------------------------------------------------------------- bflog [78] 100.0% [85] 557(4.0%) 557(4.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 ------------------------------------------------------------------- compile [65] 12.3% loop [60] 36.9% approximate [80] 50.8% [86] 556(4.0%) 282(2.0%) hash-ref! .../racket/private/more-scheme.rkt:377:2 ??? [90] 36.9% bigfloat-hash [89] 12.3% ------------------------------------------------------------------- ->flonum [74] 49.8% ulp-difference [58] 50.2% [87] 550(3.9%) 276(2.0%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [88] 49.8% ------------------------------------------------------------------- return/no-unsupplied [87] 100.0% [88] 274(2.0%) 274(2.0%) filter ...t/collects/racket/private/list.rkt:275:2 ------------------------------------------------------------------- hash-ref! [86] 100.0% [89] 274(2.0%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 bfcanonicalize [91] 100.0% ------------------------------------------------------------------- hash-ref! [86] 100.0% [90] 274(2.0%) 0(0.0%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [60] 100.0% ------------------------------------------------------------------- bigfloat-hash [89] 100.0% [91] 274(2.0%) 0(0.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 bitwise-first-bit-set [92] 100.0% ------------------------------------------------------------------- bfcanonicalize [91] 100.0% [92] 274(2.0%) 274(2.0%) bitwise-first-bit-set ...hmetic/bitwise-6.rkt:35:0 -------------------------------------------------------------------