Profiling results ----------------- Total cpu time observed: 537868ms (out of 538322ms) Number of samples taken: 1914 (once every 281ms) (Hiding functions with self<1.0% and local<2.0%: 20 of 272 hidden) =========================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================================================== [1] 537868(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [9] 100.0% ------------------------------------------------------------------------------------------- loop [191] 100.0% [2] 154756(28.8%) 0(0.0%) option-on-expr ...esting/src/core/regimes.rkt:83:0 sindices->spoints [10] 85.7% loop [191] 8.3% sort-context-on-expr [11] 4.1% err-lsts->split-indices [12] 1.4% pick-errors [14] 0.4% point->alt [19] 0.2% ------------------------------------------------------------------------------------------- hash-ref! [155] 100.0% [3] 22580(4.2%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:67:15 ??? [147] 78.2% hash-ref! [155] 21.8% ------------------------------------------------------------------------------------------- hash-ref! [155] 100.0% [4] 12742(2.4%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:285:26 hash-ref! [155] 86.1% ??? [174] 13.9% ------------------------------------------------------------------------------------------- simplify [173] 16.4% gather-additive-terms [225] 33.2% loop [191] 50.4% [5] 1690(0.3%) 0(0.0%) make-multiplication-node .../core/reduce.rkt:230:0 make-multiplication-subnode [13] 100.0% ------------------------------------------------------------------------------------------- f8 [184] 33.7% taylor [213] 66.3% [6] 845(0.2%) 0(0.0%) taylor-exp ...lt-testing/src/core/taylor.rkt:386:0 simplify [173] 100.0% ------------------------------------------------------------------------------------------- taylor [213] 100.0% [7] 559(0.1%) 0(0.0%) taylor-log ...lt-testing/src/core/taylor.rkt:476:0 simplify [173] 100.0% ------------------------------------------------------------------------------------------- loop [8] 50.0% loop [191] 50.0% [8] 280(0.1%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [8] 50.0% ??? [128] 50.0% ------------------------------------------------------------------------------------------- ??? [1] 100.0% [9] 537868(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [15] 100.0% ------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [10] 132565(24.6%) 0(0.0%) sindices->spoints ...ng/src/core/regimes.rkt:136:0 loop [16] 99.8% eval-prog [121] 0.2% ------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [11] 6378(1.2%) 0(0.0%) sort-context-on-expr ...sting/src/points.rkt:115:0 ??? [17] 100.0% ------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [12] 2218(0.4%) 1388(0.3%) err-lsts->split-indices .../core/regimes.rkt:239:0 ??? [207] 37.4% ------------------------------------------------------------------------------------------- make-multiplication-node [5] 100.0% [13] 1690(0.3%) 0(0.0%) make-multiplication-subnode ...re/reduce.rkt:240:0 make-multiplication-subsubnode [18] 83.4% group-by [20] 16.6% ------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [14] 546(0.1%) 0(0.0%) pick-errors ...-testing/src/core/regimes.rkt:201:0 point->alt [19] 50.5% ??? [116] 49.5% ------------------------------------------------------------------------------------------- profile-thunk [9] 100.0% [15] 537868(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [21] 100.0% ------------------------------------------------------------------------------------------- loop [16] 36.3% sindices->spoints [10] 63.7% [16] 132318(24.6%) 0(0.0%) loop .../private/map.rkt:54:19 sidx->spoint [22] 63.7% loop [16] 36.3% ------------------------------------------------------------------------------------------- sort-context-on-expr [11] 100.0% [17] 6378(1.2%) 0(0.0%) ??? ...cket/collects/racket/private/sort.rkt:369:3 generic-sort/key [23] 100.0% ------------------------------------------------------------------------------------------- make-multiplication-subnode [13] 100.0% [18] 1408(0.3%) 0(0.0%) make-multiplication-subsubnode ...reduce.rkt:250:0 mterm->expr [28] 80.3% make-multiplication-subsubsubnode [24] 19.7% ------------------------------------------------------------------------------------------- pick-errors [14] 49.9% option-on-expr [2] 50.1% [19] 554(0.1%) 0(0.0%) point->alt ...t-testing/src/core/regimes.rkt:188:0 eval-prog [121] 100.0% ------------------------------------------------------------------------------------------- make-multiplication-subnode [13] 100.0% [20] 281(0.1%) 0(0.0%) group-by .../racket/collects/racket/list.rkt:816:0 do-hash-update [81] 100.0% ------------------------------------------------------------------------------------------- ??? [15] 100.0% [21] 537868(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 run-improve [25] 95.0% prepare-points [37] 5.0% ------------------------------------------------------------------------------------------- loop [16] 100.0% [22] 132318(24.6%) 0(0.0%) sidx->spoint ...testing/src/core/regimes.rkt:146:2 binary-search-floats [26] 100.0% ------------------------------------------------------------------------------------------- ??? [17] 100.0% [23] 6378(1.2%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [27] 95.6% ??? [122] 4.4% ------------------------------------------------------------------------------------------- make-multiplication-subsubnode [18] 100.0% [24] 278(0.1%) 0(0.0%) make-multiplication-subsubsubnode ...uce.rkt:262:0 mterm->expr [28] 100.0% ------------------------------------------------------------------------------------------- ??? [21] 100.0% [25] 510949(95.0%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 run-iter! [29] 68.1% get-final-combination [30] 30.5% setup-prog! [32] 1.0% setup-alt-simplified [33] 0.4% ------------------------------------------------------------------------------------------- sidx->spoint [22] 100.0% [26] 132318(24.6%) 0(0.0%) binary-search-floats ...src/core/regimes.rkt:125:0 pred [31] 100.0% ------------------------------------------------------------------------------------------- copying-mergesort [27] 47.7% generic-sort/key [23] 52.3% [27] 6100(1.1%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 ??? [122] 47.8% copying-mergesort [27] 47.7% ??? [128] 4.5% ------------------------------------------------------------------------------------------- make-multiplication-subsubsubnode [24] 19.7% make-multiplication-subsubnode [18] 80.3% [28] 1408(0.3%) 0(0.0%) mterm->expr ...t-testing/src/core/reduce.rkt:270:0 f8 [184] 79.9% expression->type [34] 20.1% ------------------------------------------------------------------------------------------- run-improve [25] 100.0% [29] 348119(64.7%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 simplify! [35] 84.6% gen-series! [38] 8.0% finalize-iter! [39] 5.6% choose-best-alt! [40] 1.1% gen-rewrites! [42] 0.4% localize! [44] 0.2% ------------------------------------------------------------------------------------------- run-improve [25] 100.0% [30] 155602(28.9%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:255:0 split-table [36] 99.6% ??? [128] 0.2% loop [191] 0.2% ------------------------------------------------------------------------------------------- binary-search-floats [26] 100.0% [31] 132318(24.6%) 0(0.0%) pred ...ie/alt-testing/src/core/regimes.rkt:151:17 prepare-points [37] 92.2% errors [112] 7.8% ------------------------------------------------------------------------------------------- run-improve [25] 100.0% [32] 5344(1.0%) 0(0.0%) setup-prog! ...e/alt-testing/src/mainloop.rkt:72:0 prepare-points [37] 82.1% setup-prog [43] 17.9% ------------------------------------------------------------------------------------------- run-improve [25] 100.0% [33] 1884(0.4%) 0(0.0%) setup-alt-simplified ...-testing/src/glue.rkt:49:0 simplify-alt [41] 100.0% ------------------------------------------------------------------------------------------- f8 [184] 24.7% mterm->expr [28] 25.3% expression->type [34] 50.0% [34] 560(0.1%) 0(0.0%) expression->type ...esting/src/type-check.rkt:45:0 expression->type [34] 50.0% f8 [184] 50.0% ------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [35] 294576(54.8%) 0(0.0%) simplify! ...ie/alt-testing/src/mainloop.rkt:146:0 ??? [45] 99.9% debug-print [236] 0.1% ------------------------------------------------------------------------------------------- get-final-combination [30] 100.0% [36] 155036(28.8%) 0(0.0%) split-table ...rbie/alt-testing/src/glue.rkt:162:0 f8 [184] 99.8% ??? [87] 0.2% ------------------------------------------------------------------------------------------- setup-prog! [32] 2.9% ??? [21] 17.6% pred [31] 79.6% [37] 153344(28.5%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 make-exacts* [51] 72.7% loop [52] 17.8% make-exacts [47] 8.9% ------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [38] 28008(5.2%) 0(0.0%) gen-series! .../alt-testing/src/mainloop.rkt:120:0 taylor-alt [46] 100.0% ------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [39] 19396(3.6%) 0(0.0%) finalize-iter! ...t-testing/src/mainloop.rkt:160:0 ??? [87] 100.0% ------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [40] 3870(0.7%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [87] 100.0% ------------------------------------------------------------------------------------------- setup-alt-simplified [33] 100.0% [41] 1884(0.4%) 0(0.0%) simplify-alt ...rbie/alt-testing/src/glue.rkt:76:0 simplify [50] 100.0% ------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [42] 1398(0.3%) 0(0.0%) gen-rewrites! ...lt-testing/src/mainloop.rkt:133:0 alt-rewrite-rm [48] 100.0% ------------------------------------------------------------------------------------------- setup-prog! [32] 100.0% [43] 956(0.2%) 0(0.0%) setup-prog ...herbie/alt-testing/src/glue.rkt:40:0 ??? [87] 100.0% ------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [44] 870(0.2%) 0(0.0%) localize! ...ie/alt-testing/src/mainloop.rkt:115:0 localize-error [49] 100.0% ------------------------------------------------------------------------------------------- simplify! [35] 100.0% [45] 294292(54.7%) 0(0.0%) ??? ...s/herbie/alt-testing/src/mainloop.rkt:152:8 simplify [50] 100.0% ------------------------------------------------------------------------------------------- gen-series! [38] 100.0% [46] 28008(5.2%) 0(0.0%) taylor-alt ...erbie/alt-testing/src/glue.rkt:134:0 ??? [128] 100.0% ------------------------------------------------------------------------------------------- prepare-points [37] 100.0% [47] 13689(2.5%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [52] 57.5% make-exacts* [51] 40.4% debug-print [236] 2.1% ------------------------------------------------------------------------------------------- gen-rewrites! [42] 100.0% [48] 1398(0.3%) 0(0.0%) alt-rewrite-rm ...testing/src/alternative.rkt:88:0 rewriter [53] 100.0% ------------------------------------------------------------------------------------------- localize! [44] 100.0% [49] 870(0.2%) 0(0.0%) localize-error ...sting/src/core/localize.rkt:47:0 hash-ref! [155] 100.0% ------------------------------------------------------------------------------------------- ??? [128] 0.1% simplify-alt [41] 0.6% ??? [45] 99.3% [50] 296460(55.1%) 284(0.1%) simplify ...alt-testing/src/core/simplify.rkt:43:0 ??? [54] 99.9% ------------------------------------------------------------------------------------------- make-exacts [47] 4.7% prepare-points [37] 95.3% [51] 116990(21.8%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [121] 100.0% ------------------------------------------------------------------------------------------- make-exacts [47] 22.3% prepare-points [37] 77.7% [52] 35221(6.5%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [191] 98.4% debug [181] 1.6% ------------------------------------------------------------------------------------------- alt-rewrite-rm [48] 21.7% matcher [56] 78.3% [53] 1398(0.3%) 0(0.0%) rewriter ...alt-testing/src/core/matcher.rkt:131:2 matcher [56] 78.3% *rules* [55] 21.7% ------------------------------------------------------------------------------------------- simplify [50] 100.0% [54] 296176(55.1%) 0(0.0%) ??? ...rbie/alt-testing/src/core/simplify.rkt:77:0 iterate-egraph! [57] 90.2% loop [58] 9.5% mk-egraph [59] 0.3% ------------------------------------------------------------------------------------------- rewriter [53] 100.0% [55] 1398(0.3%) 0(0.0%) *rules* .../alt-testing/src/syntax/rules.rkt:565:0 flag-set? [60] 40.1% reverse [229] 20.4% ??? [211] 19.8% make-curried [226] 19.7% ------------------------------------------------------------------------------------------- matcher [56] 50.0% rewriter [53] 50.0% [56] 1398(0.3%) 0(0.0%) matcher .../alt-testing/src/core/matcher.rkt:167:2 matcher [56] 50.0% rewriter [53] 50.0% ------------------------------------------------------------------------------------------- ??? [54] 100.0% [57] 267098(49.7%) 0(0.0%) iterate-egraph! ...ing/src/core/simplify.rkt:105:0 one-iter [61] 96.3% loop [191] 3.5% debug-print [236] 0.1% ------------------------------------------------------------------------------------------- ??? [54] 100.0% [58] 28240(5.3%) 1681(0.3%) loop ...ie/alt-testing/src/core/simplify.rkt:237:2 loop [62] 54.4% mk-min [63] 36.7% make-sequence [244] 1.9% reverse [229] 1.0% ------------------------------------------------------------------------------------------- ??? [54] 100.0% [59] 838(0.2%) 0(0.0%) mk-egraph ...alt-testing/src/core/egraph.rkt:131:0 mk-enode-rec! [64] 100.0% ------------------------------------------------------------------------------------------- *rules* [55] 100.0% [60] 560(0.1%) 280(0.1%) flag-set? ...erbie/alt-testing/src/config.rkt:34:0 ...sting/src/common.rkt:47:2 [148] 50.1% ------------------------------------------------------------------------------------------- iterate-egraph! [57] 100.0% [61] 257344(47.8%) 7601(1.4%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 match-e [65] 42.5% custom-set-member? [66] 12.0% mk-enode! [72] 10.9% merge-egraph-nodes! [67] 10.8% substitute-e [69] 9.1% loop! [199] 7.1% update-leader! [73] 1.2% filter [232] 1.0% list-member? [70] 0.8% reverse [229] 0.7% ??? [76] 0.3% pack-leader [246] 0.1% reduce-to-single! [71] 0.1% make-sequence [244] 0.1% ------------------------------------------------------------------------------------------- loop [58] 100.0% [62] 15360(2.9%) 0(0.0%) loop ...hare/racket/collects/racket/list.rkt:796:4 expression-cost [68] 100.0% ------------------------------------------------------------------------------------------- loop [58] 100.0% [63] 10372(1.9%) 0(0.0%) mk-min ...re/racket/collects/racket/list.rkt:786:0 expression-cost [68] 100.0% ------------------------------------------------------------------------------------------- loop [191] 27.2% mk-egraph [59] 72.8% [64] 838(0.2%) 0(0.0%) mk-enode-rec! ...testing/src/core/egraph.rkt:122:0 loop [191] 100.0% ------------------------------------------------------------------------------------------- match-e [65] 26.8% one-iter [61] 73.2% [65] 109418(20.3%) 30932(5.8%) match-e ...ie/alt-testing/src/core/ematch.rkt:46:0 match-e [65] 26.8% loop [191] 9.3% ??? [211] 6.7% ??? [87] 5.8% list-cartesian-product [75] 4.3% make-sequence [244] 4.3% variable? [74] 4.0% reverse [229] 3.8% do-procedure-reduce-keyword-arity [230] 3.7% make-curried [78] 1.7% pack-leader [246] 1.5% custom-in-set [217] 1.3% ??? [76] 1.0% filter [232] 0.6% check-list [245] 0.3% ------------------------------------------------------------------------------------------- one-iter [61] 100.0% [66] 30868(5.7%) 30588(5.7%) custom-set-member? ...t/private/set-types.rkt:45:0 ------------------------------------------------------------------------------------------- merge-egraph-nodes! [67] 6.7% one-iter [61] 93.3% [67] 27754(5.2%) 1118(0.2%) merge-egraph-nodes! ...g/src/core/egraph.rkt:153:0 update-leader! [73] 67.5% loop! [199] 16.2% merge-egraph-nodes! [67] 6.7% enode-merge! [79] 5.1% pack-leader [246] 1.0% ------------------------------------------------------------------------------------------- mk-min [63] 40.3% loop [62] 59.7% [68] 25732(4.8%) 562(0.1%) expression-cost ...-testing/src/programs.rkt:209:0 table-ref [88] 63.1% ...sting/src/common.rkt:47:2 [148] 18.5% compile [127] 16.2% ------------------------------------------------------------------------------------------- substitute-e [69] 13.0% one-iter [61] 87.0% [69] 23412(4.4%) 275(0.1%) substitute-e ...t-testing/src/core/ematch.rkt:71:0 mk-enode! [72] 77.4% substitute-e [69] 13.0% ??? [87] 4.6% variable? [74] 3.1% reverse [229] 1.2% ------------------------------------------------------------------------------------------- one-iter [61] 100.0% [70] 1958(0.4%) 0(0.0%) list-member? ...llects/racket/private/set.rkt:24:0 member [77] 100.0% ------------------------------------------------------------------------------------------- one-iter [61] 100.0% [71] 280(0.1%) 0(0.0%) reduce-to-single! ...ing/src/core/egraph.rkt:325:0 make-sequence [244] 100.0% ------------------------------------------------------------------------------------------- loop [191] 1.8% substitute-e [69] 38.6% one-iter [61] 59.6% [72] 46999(8.7%) 2804(0.5%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [80] 89.3% hash-has-key? [90] 4.8% ------------------------------------------------------------------------------------------- one-iter [61] 13.5% merge-egraph-nodes! [67] 86.5% [73] 23004(4.3%) 7288(1.4%) update-leader! ...esting/src/core/egraph.rkt:218:0 do-hash-update [81] 63.5% reverse [229] 2.4% update-en-expr [233] 1.2% make-sequence [244] 1.2% ------------------------------------------------------------------------------------------- substitute-e [69] 14.6% match-e [65] 85.4% [74] 13126(2.4%) 563(0.1%) variable? ...t-testing/src/syntax/syntax.rkt:665:0 ??? [87] 95.7% ------------------------------------------------------------------------------------------- list-cartesian-product [75] 34.2% match-e [65] 65.8% [75] 6154(1.1%) 4198(0.8%) list-cartesian-product ...src/core/ematch.rkt:20:0 list-cartesian-product [75] 34.2% make-sequence [244] 24.9% ------------------------------------------------------------------------------------------- one-iter [61] 37.7% match-e [65] 62.3% [76] 2249(0.4%) 1404(0.3%) ??? ...herbie/alt-testing/src/core/ematch.rkt:50:5 custom-in-set [217] 12.6% ??? [87] 12.5% make-sequence [244] 12.5% ------------------------------------------------------------------------------------------- list-member? [70] 100.0% [77] 1958(0.4%) 1958(0.4%) member ...collects/racket/private/member.rkt:13:21 ------------------------------------------------------------------------------------------- match-e [65] 100.0% [78] 1950(0.4%) 821(0.2%) make-curried ...collects/racket/function.rkt:130:9 partially-applied-procedure-arity-mask [250] 29.0% make-keyword-procedure [249] 28.9% ------------------------------------------------------------------------------------------- merge-egraph-nodes! [67] 100.0% [79] 1407(0.3%) 282(0.1%) enode-merge! ...t-testing/src/core/enode.rkt:129:0 adopt-enode! [82] 40.5% custom-set-intersect! [83] 39.5% ------------------------------------------------------------------------------------------- mk-enode! [72] 100.0% [80] 41958(7.8%) 0(0.0%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [84] 100.0% ------------------------------------------------------------------------------------------- group-by [20] 1.9% update-leader! [73] 98.1% [81] 14883(2.8%) 560(0.1%) do-hash-update ...et/private/more-scheme.rkt:343:2 ??? [85] 96.2% ------------------------------------------------------------------------------------------- enode-merge! [79] 100.0% [82] 570(0.1%) 0(0.0%) adopt-enode! ...t-testing/src/core/enode.rkt:105:0 custom-set-union [212] 100.0% ------------------------------------------------------------------------------------------- enode-merge! [79] 100.0% [83] 556(0.1%) 556(0.1%) custom-set-intersect! ...ivate/set-types.rkt:269:0 ------------------------------------------------------------------------------------------- new-enode [80] 100.0% [84] 41958(7.8%) 0(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [86] 100.0% ------------------------------------------------------------------------------------------- do-hash-update [81] 100.0% [85] 14324(2.7%) 12074(2.2%) ??? ...rbie/alt-testing/src/core/egraph.rkt:226:24 update-en-expr [233] 9.8% reverse [229] 3.9% make-sequence [244] 1.9% ------------------------------------------------------------------------------------------- f8 [184] 3.9% type-of-enode-expr [84] 96.1% [86] 43648(8.1%) 1410(0.3%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 table-ref [88] 35.9% ??? [89] 23.6% ...sting/src/common.rkt:47:2 [148] 19.2% ??? [87] 16.8% hash-has-key? [90] 1.3% ------------------------------------------------------------------------------------------- f8 [184] 0.2% split-table [36] 0.4% ??? [76] 0.4% setup-prog [43] 1.5% ??? [201] 3.9% substitute-e [69] 4.3% choose-best-alt! [40] 6.0% get-sigs [86] 11.3% variable? [74] 19.5% match-e [65] 22.2% finalize-iter! [39] 29.4% [87] 64560(12.0%) 838(0.2%) ??? ...contract/private/arrow-val-first.rkt:486:18 hash-has-key? [90] 61.0% atab-add-altns [91] 29.4% atab-pick-alt [93] 6.0% split-atab [95] 0.4% ??? [201] 0.4% ------------------------------------------------------------------------------------------- f8 [184] 0.8% ??? [128] 7.8% get-sigs [86] 44.1% expression-cost [68] 45.8% [88] 35488(6.6%) 9213(1.7%) table-ref ...erbie/alt-testing/src/common.rkt:46:0 ??? [96] 64.6% reverse [229] 2.4% return/no-unsupplied [216] 2.4% ...sting/src/common.rkt:47:2 [148] 1.6% check-list [245] 1.6% dict? [222] 0.8% ------------------------------------------------------------------------------------------- f8 [184] 2.3% ??? [128] 11.7% get-sigs [86] 86.0% [89] 11972(2.2%) 280(0.1%) ??? ...cts/racket/contract/private/arr-i.rkt:855:8 ??? [92] 69.5% handle-the-hash [104] 11.7% get/build-late-neg-projection [124] 7.0% ??? [94] 4.6% coerce-contract [159] 2.4% ??? [103] 2.4% ------------------------------------------------------------------------------------------- get-sigs [86] 1.3% mk-enode! [72] 5.3% ??? [87] 93.4% [90] 42578(7.9%) 32468(6.0%) hash-has-key? ...ket/private/more-scheme.rkt:372:2 ??? [96] 23.1% reverse [229] 0.7% ------------------------------------------------------------------------------------------- ??? [87] 100.0% [91] 19396(3.6%) 0(0.0%) atab-add-altns ...ting/src/core/alt-table.rkt:52:0 atab-add-altn [97] 100.0% ------------------------------------------------------------------------------------------- ??? [89] 100.0% [92] 8322(1.5%) 278(0.1%) ??? ...ects/racket/contract/private/hash.rkt:278:4 contract-pos/neg-doubling/proc [98] 96.7% ------------------------------------------------------------------------------------------- ??? [87] 100.0% [93] 3870(0.7%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 point-best-alt [99] 64.4% ??? [128] 28.7% errors [112] 6.9% ------------------------------------------------------------------------------------------- ??? [89] 100.0% [94] 553(0.1%) 274(0.1%) ??? ...private/unconstrained-domain-arrow.rkt:69:2 get-blame-party-info [101] 50.4% ------------------------------------------------------------------------------------------- ??? [87] 100.0% [95] 280(0.1%) 0(0.0%) split-atab ...testing/src/core/alt-table.rkt:105:0 ??? [100] 100.0% ------------------------------------------------------------------------------------------- hash-has-key? [90] 30.0% table-ref [88] 70.0% [96] 32742(6.1%) 14535(2.7%) ??? ...ects/racket/contract/private/list.rkt:814:4 ??? [103] 30.9% handle-the-hash [104] 17.1% ??? [166] 2.6% successfully-got-the-right-kind-of-function [107] 2.6% do-chaperone-procedure [109] 1.6% check-list [245] 0.9% ------------------------------------------------------------------------------------------- atab-add-altns [91] 100.0% [97] 19396(3.6%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:239:0 best-and-tied-at-points [102] 79.9% override-at-pnts [105] 20.1% ------------------------------------------------------------------------------------------- ??? [92] 100.0% [98] 8044(1.5%) 3822(0.7%) contract-pos/neg-doubling/proc .../guts.rkt:1062:0 ??? [106] 42.0% ??? [108] 7.0% ??? [110] 3.5% ------------------------------------------------------------------------------------------- atab-pick-alt [93] 100.0% [99] 2494(0.5%) 0(0.0%) point-best-alt ...ting/src/core/alt-table.rkt:56:0 loop [191] 100.0% ------------------------------------------------------------------------------------------- split-atab [95] 100.0% [100] 280(0.1%) 0(0.0%) ??? ...e/alt-testing/src/core/alt-table.rkt:117:24 ??? [111] 100.0% ------------------------------------------------------------------------------------------- ??? [94] 100.0% [101] 278(0.1%) 278(0.1%) get-blame-party-info ...ate/arrow-common.rkt:136:0 ------------------------------------------------------------------------------------------- atab-add-altn [97] 100.0% [102] 15504(2.9%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:153:0 errors [112] 100.0% ------------------------------------------------------------------------------------------- ??? [89] 2.7% ??? [96] 97.3% [103] 10386(1.9%) 6452(1.2%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 loop [114] 21.7% blame-add-missing-party [115] 8.1% make-keyword-procedure [249] 5.4% ??? [119] 2.6% ------------------------------------------------------------------------------------------- ??? [89] 20.1% ??? [96] 79.9% [104] 7008(1.3%) 2228(0.4%) handle-the-hash ...contract/private/hash.rkt:323:0 ??? [166] 68.2% ------------------------------------------------------------------------------------------- atab-add-altn [97] 100.0% [105] 3893(0.7%) 0(0.0%) override-at-pnts ...g/src/core/alt-table.rkt:176:0 errors [112] 100.0% ------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [98] 100.0% [106] 3380(0.6%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:192:2 ??? [113] 91.7% do-blame-add-context [123] 8.3% ------------------------------------------------------------------------------------------- ??? [96] 100.0% [107] 842(0.2%) 284(0.1%) successfully-got-the-right-kind-of-function ...5:4 arity-checking-wrapper [117] 66.2% ------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [98] 100.0% [108] 560(0.1%) 0(0.0%) ??? ...ts/racket/contract/private/guts.rkt:1057:34 do-blame-add-context [123] 100.0% ------------------------------------------------------------------------------------------- ??? [96] 100.0% [109] 532(0.1%) 0(0.0%) do-chaperone-procedure ...et/private/kw.rkt:1952:2 normalize-proc [118] 53.0% chaperone-arity-match-checking [120] 47.0% ------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [98] 100.0% [110] 282(0.1%) 0(0.0%) ??? ...ts/racket/contract/private/guts.rkt:1057:44 do-blame-add-context [123] 100.0% ------------------------------------------------------------------------------------------- ??? [100] 100.0% [111] 280(0.1%) 0(0.0%) ??? ...rbie/alt-testing/src/core/regimes.rkt:302:4 ??? [116] 100.0% ------------------------------------------------------------------------------------------- atab-pick-alt [93] 0.6% composed [192] 3.0% override-at-pnts [105] 8.5% pred [31] 22.3% loop [191] 31.9% best-and-tied-at-points [102] 33.7% [112] 46044(8.6%) 0(0.0%) errors .../herbie/alt-testing/src/points.rkt:271:0 eval-prog [121] 48.8% ??? [122] 46.5% ??? [128] 2.4% ------------------------------------------------------------------------------------------- ??? [106] 100.0% [113] 3100(0.6%) 560(0.1%) ??? ...ects/racket/contract/private/list.rkt:755:5 get/build-late-neg-projection [124] 36.3% do-blame-add-context [123] 27.4% blame-add-context [126] 9.1% check-list [245] 9.0% ------------------------------------------------------------------------------------------- ??? [103] 47.2% loop [114] 52.8% [114] 2253(0.4%) 2253(0.4%) loop ...ts/racket/contract/private/blame.rkt:319:2 loop [114] 52.8% ------------------------------------------------------------------------------------------- ??? [103] 100.0% [115] 841(0.2%) 841(0.2%) blame-add-missing-party ...private/blame.rkt:382:0 ------------------------------------------------------------------------------------------- pick-errors [14] 32.6% loop [191] 33.6% ??? [111] 33.8% [116] 828(0.2%) 0(0.0%) ??? ...rbie/alt-testing/src/core/regimes.rkt:194:2 ??? [122] 67.4% ??? [128] 32.6% ------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [107]100.0% [117] 558(0.1%) 0(0.0%) arity-checking-wrapper ...w-higher-order.rkt:443:0 matches-arity-exactly? [125] 100.0% ------------------------------------------------------------------------------------------- do-chaperone-procedure [109] 100.0% [118] 282(0.1%) 282(0.1%) normalize-proc ...cts/racket/private/kw.rkt:2228:2 ------------------------------------------------------------------------------------------- ??? [103] 100.0% [119] 275(0.1%) 275(0.1%) ??? ...rivate/unconstrained-domain-arrow.rkt:19:10 ------------------------------------------------------------------------------------------- do-chaperone-procedure [109] 100.0% [120] 250(0.0%) 250(0.0%) chaperone-arity-match-checking ...te/kw.rkt:2186:2 ------------------------------------------------------------------------------------------- sindices->spoints [10] 0.2% point->alt [19] 0.4% errors [112] 16.0% make-exacts* [51] 83.4% [121] 140250(26.1%) 30018(5.6%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 compile [127] 72.3% f8 [184] 5.6% ??? [128] 0.6% go [138] 0.2% ------------------------------------------------------------------------------------------- generic-sort/key [23] 0.5% ??? [116] 0.9% copying-mergesort [27] 9.5% errors [112] 34.7% loop [191] 54.4% [122] 61576(11.4%) 32794(6.1%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 loop [191] 16.1% ??? [141] 8.4% bf* [129] 6.7% ??? [179] 4.2% ??? [130] 4.0% ??? [131] 2.8% ??? [133] 2.3% ??? [132] 2.3% ------------------------------------------------------------------------------------------- ??? [106] 14.2% ??? [110] 14.3% ??? [108] 28.4% ??? [113] 43.1% [123] 1973(0.4%) 1973(0.4%) do-blame-add-context ...ct/private/blame.rkt:192:0 ------------------------------------------------------------------------------------------- loop [191] 7.1% ??? [136] 7.2% ??? [89] 28.5% ??? [113] 57.2% [124] 1970(0.4%) 280(0.1%) get/build-late-neg-projection ...te/guts.rkt:881:0 ??? [134] 64.3% ??? [136] 7.2% contract-struct-late-neg-projection [135] 7.2% unconstrained-domain->-projection [137] 7.1% ------------------------------------------------------------------------------------------- arity-checking-wrapper [117] 100.0% [125] 558(0.1%) 278(0.1%) matches-arity-exactly? ...te/arrow-common.rkt:70:0 procedure-keywords [248] 50.3% ------------------------------------------------------------------------------------------- ??? [113] 100.0% [126] 282(0.1%) 282(0.1%) blame-add-context ...tract/private/blame.rkt:170:0 ------------------------------------------------------------------------------------------- expression-cost [68] 4.0% eval-prog [121] 96.0% [127] 105522(19.6%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [155] 100.0% ------------------------------------------------------------------------------------------- ??? [116] 0.5% copying-mergesort [27] 0.5% loop [8] 0.6% get-final-combination [30] 0.6% eval-prog [121] 1.6% atab-pick-alt [93] 1.9% errors [112] 2.2% f8 [184] 14.1% loop [191] 21.3% loop [139] 27.8% taylor-alt [46] 27.8% [128] 50416(9.4%) 272(0.1%) ??? ...tract/private/arrow-higher-order.rkt:375:33 loop [139] 27.8% approximate [140] 26.9% ->flonum [142] 13.8% real->bigfloat [143] 8.5% ??? [201] 6.6% table-ref [88] 5.2% ??? [89] 2.8% best-alt [144] 1.9% ...sting/src/common.rkt:47:2 [148] 1.1% simplify [173] 0.9% simplify [50] 0.6% ------------------------------------------------------------------------------------------- ??? [122] 100.0% [129] 4140(0.8%) 286(0.1%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [141] 93.1% ------------------------------------------------------------------------------------------- ??? [122] 100.0% [130] 2486(0.5%) 1659(0.3%) ??? ...ie/alt-testing/src/syntax/syntax.rkt:156:17 ...sting/src/common.rkt:47:2 [148] 22.1% return/no-unsupplied [216] 11.1% ------------------------------------------------------------------------------------------- ??? [122] 100.0% [131] 1736(0.3%) 1126(0.2%) ??? .../herbie/alt-testing/src/bigcomplex.rkt:66:2 ^TYPE? [218] 35.2% ------------------------------------------------------------------------------------------- loop [191] 18.3% ??? [122] 81.7% [132] 1705(0.3%) 550(0.1%) ??? .../private/arrow-higher-order.rkt:379:33 ??? [166] 67.7% ------------------------------------------------------------------------------------------- ??? [122] 100.0% [133] 1426(0.3%) 1426(0.3%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ------------------------------------------------------------------------------------------- get/build-late-neg-projection [124] 100.0% [134] 1407(0.3%) 564(0.1%) ??? ...cts/racket/contract/private/prop.rkt:376:12 build-compound-type-name [145] 40.0% reverse [229] 19.9% ------------------------------------------------------------------------------------------- get/build-late-neg-projection [124] 100.0% [135] 282(0.1%) 282(0.1%) contract-struct-late-neg-projection ...p.rkt:121:0 ------------------------------------------------------------------------------------------- get/build-late-neg-projection [124] 100.0% [136] 282(0.1%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:272:2 get/build-late-neg-projection [124] 100.0% ------------------------------------------------------------------------------------------- get/build-late-neg-projection [124] 100.0% [137] 280(0.1%) 0(0.0%) unconstrained-domain->-projection ...rrow.rkt:60:0 loop [191] 100.0% ------------------------------------------------------------------------------------------- eval-prog [121] 100.0% [138] 275(0.1%) 0(0.0%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [146] 100.0% ------------------------------------------------------------------------------------------- ??? [128] 18.6% loop [139] 81.4% [139] 28008(5.2%) 0(0.0%) loop .../herbie/alt-testing/src/programs.rkt:125:4 loop [139] 81.4% ??? [128] 18.6% ------------------------------------------------------------------------------------------- ??? [128] 100.0% [140] 27132(5.0%) 0(0.0%) approximate ...lt-testing/src/core/taylor.rkt:12:0 hash-ref! [155] 83.2% ??? [147] 7.4% taylor [213] 5.2% taylor-sqrt [234] 2.1% f8 [184] 2.1% ------------------------------------------------------------------------------------------- bf* [129] 42.8% ??? [122] 57.2% [141] 9000(1.7%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [149] 90.6% bfsqrt [151] 6.2% ^TYPE? [218] 3.2% ------------------------------------------------------------------------------------------- ??? [128] 100.0% [142] 6956(1.3%) 3921(0.7%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 return/no-unsupplied [216] 19.8% ...sting/src/common.rkt:47:2 [148] 19.8% ??? [152] 4.0% ------------------------------------------------------------------------------------------- ??? [128] 100.0% [143] 4298(0.8%) 2008(0.4%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [157] 53.3% ------------------------------------------------------------------------------------------- ??? [128] 100.0% [144] 1109(0.2%) 0(0.0%) best-alt ...s/herbie/alt-testing/src/glue.rkt:71:0 argmins [150] 100.0% ------------------------------------------------------------------------------------------- ??? [134] 100.0% [145] 562(0.1%) 283(0.1%) build-compound-type-name ...private/guts.rkt:543:0 contract-struct-name [153] 49.7% ------------------------------------------------------------------------------------------- go [138] 20.0% loop [146] 80.0% [146] 275(0.1%) 0(0.0%) loop ...llects/racket/private/qq-and-or.rkt:101:61 loop [146] 80.0% stx-cdr [154] 20.0% ------------------------------------------------------------------------------------------- approximate [140] 8.0% ??? [3] 90.8% [147] 24855(4.6%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 hash-ref! [155] 98.9% ??? [179] 1.1% ------------------------------------------------------------------------------------------- cur-debug-level [189] 1.6% ??? [158] 1.7% flag-set? [60] 1.7% ??? [130] 3.3% table-ref [88] 3.3% ??? [128] 3.4% ->flonum [142] 8.2% expression-cost [68] 28.3% get-sigs [86] 48.5% [148] 16763(3.1%) 2768(0.5%) ...sting/src/common.rkt:47:2 ...e/arr-i.rkt:976:19 ??? [156] 55.1% ??? [158] 23.4% dict-key-contract [160] 3.3% ??? [201] 1.7% coerce-contract [159] 1.7% ------------------------------------------------------------------------------------------- ??? [141] 100.0% [149] 8152(1.5%) 2740(0.5%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:846:4 new-mpfr [157] 53.0% ??? [187] 7.0% ??? [161] 6.4% ------------------------------------------------------------------------------------------- extract-alt [209] 20.3% best-alt [144] 79.7% [150] 1391(0.3%) 0(0.0%) argmins ...herbie/alt-testing/src/common.rkt:152:0 composed [192] 100.0% ------------------------------------------------------------------------------------------- ??? [141] 100.0% [151] 558(0.1%) 276(0.1%) bfsqrt ...lib/math/private/bigfloat/mpfr.rkt:635:4 new-mpfr [157] 50.5% ------------------------------------------------------------------------------------------- ->flonum [142] 100.0% [152] 280(0.1%) 280(0.1%) ??? ...-racket/utils/simple-result-arrow.rkt:59:13 ------------------------------------------------------------------------------------------- build-compound-type-name [145] 100.0% [153] 280(0.1%) 280(0.1%) contract-struct-name ...ract/private/prop.rkt:98:0 ------------------------------------------------------------------------------------------- loop [146] 100.0% [154] 275(0.1%) 275(0.1%) stx-cdr ...et/collects/racket/private/stx.rkt:74:4 ------------------------------------------------------------------------------------------- simplify* [206] 0.1% composed [204] 0.2% ??? [167] 0.3% taylor-sqrt [234] 0.3% ??? [174] 0.4% localize-error [49] 0.4% normalize-series [247] 0.5% ??? [3] 1.8% ??? [165] 1.9% ??? [4] 1.9% approximate [140] 3.3% ??? [164] 3.6% ??? [147] 3.8% compile [127] 37.4% loop [191] 42.5% [155] 132100(24.6%) 5066(0.9%) hash-ref! .../racket/private/more-scheme.rkt:377:2 ??? [163] 42.6% bigfloat-hash [162] 35.4% ??? [3] 5.1% ??? [164] 3.6% simplify [173] 2.6% ??? [4] 2.2% ??? [165] 1.9% taylor [213] 1.6% f8 [184] 0.9% ??? [167] 0.4% taylor-quotient [235] 0.1% ------------------------------------------------------------------------------------------- ??? [166] 16.6% ...sting/src/common.rkt:47:2 [148] 83.4% [156] 9236(1.7%) 4210(0.8%) ??? ...ects/racket/contract/private/list.rkt:376:4 ??? [166] 37.7% ??? [201] 13.6% ??? [169] 6.2% ------------------------------------------------------------------------------------------- bfsqrt [151] 4.1% real->bigfloat [143] 33.2% bfmul [149] 62.7% [157] 6892(1.3%) 6892(1.3%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 ------------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [148] 100.0% [158] 4204(0.8%) 1130(0.2%) ??? ...s/racket/contract/private/arr-i.rkt:1324:39 assoc-ref [168] 33.1% return/no-unsupplied [216] 26.7% ...sting/src/common.rkt:47:2 [148] 13.3% ------------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [148] 49.5% ??? [89] 50.5% [159] 562(0.1%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [170] 100.0% ------------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [148] 100.0% [160] 556(0.1%) 556(0.1%) dict-key-contract ...collects/racket/dict.rkt:71:0 ------------------------------------------------------------------------------------------- bfmul [149] 100.0% [161] 524(0.1%) 0(0.0%) ??? .../share/racket/collects/ffi/unsafe.rkt:959:4 assq [171] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [155] 100.0% [162] 100792(18.7%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 bfcanonicalize [172] 99.7% bigfloat->sig+exp [180] 0.3% ------------------------------------------------------------------------------------------- hash-ref! [155] 100.0% [163] 84420(15.7%) 553(0.1%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [191] 99.8% ------------------------------------------------------------------------------------------- hash-ref! [155] 100.0% [164] 17864(3.3%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:295:23 hash-ref! [155] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [155] 100.0% [165] 15833(2.9%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:44:15 hash-ref! [155] 98.2% ??? [174] 1.8% ------------------------------------------------------------------------------------------- ??? [96] 7.2% ??? [132] 9.8% handle-the-hash [104] 40.5% ??? [156] 42.5% [166] 11800(2.2%) 2234(0.4%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [175] 33.4% ??? [156] 26.0% ??? [201] 9.8% check-list [245] 7.1% ??? [179] 4.8% ------------------------------------------------------------------------------------------- hash-ref! [155] 100.0% [167] 3403(0.6%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:322:33 hash-ref! [155] 83.3% simplify [173] 16.7% ------------------------------------------------------------------------------------------- ??? [158] 100.0% [168] 1392(0.3%) 0(0.0%) assoc-ref ...collects/racket/private/dict.rkt:77:0 assoc [237] 100.0% ------------------------------------------------------------------------------------------- ??? [156] 100.0% [169] 570(0.1%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:287:9 check-hash/c [176] 100.0% ------------------------------------------------------------------------------------------- coerce-contract [159] 100.0% [170] 562(0.1%) 278(0.1%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [177] 50.5% ------------------------------------------------------------------------------------------- ??? [161] 100.0% [171] 524(0.1%) 524(0.1%) assq ...et/collects/racket/private/list.rkt:187:13 ------------------------------------------------------------------------------------------- bigfloat-hash [162] 100.0% [172] 100516(18.7%) 0(0.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 bitwise-first-bit-set [178] 98.1% bigfloat->sig+exp [180] 1.9% ------------------------------------------------------------------------------------------- taylor-log [7] 2.1% taylor-invert [241] 2.1% loop [191] 2.1% ??? [167] 2.1% taylor-exp [6] 3.1% ??? [128] 3.2% taylor-quotient [235] 5.1% taylor-sqrt [234] 7.3% hash-ref! [155] 72.9% [173] 27162(5.0%) 0(0.0%) simplify ...e/alt-testing/src/core/reduce.rkt:16:0 f8 [184] 87.5% debug-print [236] 5.2% simplify* [206] 3.2% debug [181] 2.1% loop [183] 1.0% make-multiplication-node [5] 1.0% ------------------------------------------------------------------------------------------- ??? [165] 5.7% ??? [4] 94.3% [174] 5066(0.9%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:288:19 hash-ref! [155] 100.0% ------------------------------------------------------------------------------------------- ??? [166] 100.0% [175] 3938(0.7%) 1964(0.4%) ??? ...ects/racket/contract/private/list.rkt:763:7 ??? [179] 35.8% check-list [245] 14.3% ------------------------------------------------------------------------------------------- ??? [169] 100.0% [176] 570(0.1%) 286(0.1%) check-hash/c ...ket/contract/private/hash.rkt:86:0 flat-contract? [182] 50.0% ------------------------------------------------------------------------------------------- coerce-contract/f [170] 100.0% [177] 284(0.1%) 284(0.1%) coerce-simple-value ...ract/private/guts.rkt:385:0 ------------------------------------------------------------------------------------------- bfcanonicalize [172] 100.0% [178] 98592(18.3%) 98592(18.3%) bitwise-first-bit-set ...hmetic/bitwise-6.rkt:35:0 ------------------------------------------------------------------------------------------- ??? [147] 5.8% ??? [166] 11.8% ??? [175] 29.3% ??? [122] 53.1% [179] 4814(0.9%) 1384(0.3%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [185] 59.5% ??? [188] 11.8% ------------------------------------------------------------------------------------------- bigfloat-hash [162] 12.6% bfcanonicalize [172] 87.4% [180] 2200(0.4%) 0(0.0%) bigfloat->sig+exp ...ivate/bigfloat/mpfr.rkt:389:0 mpz->integer [186] 74.9% ??? [187] 12.6% new-mpz [190] 12.5% ------------------------------------------------------------------------------------------- loop [52] 49.7% simplify [173] 50.3% [181] 1124(0.2%) 0(0.0%) debug ...es/herbie/alt-testing/src/debug.rkt:102:0 get-setting [195] 50.3% cur-debug-level [189] 49.7% ------------------------------------------------------------------------------------------- check-hash/c [176] 100.0% [182] 285(0.1%) 0(0.0%) flat-contract? .../contract/private/guts.rkt:129:0 simple-flat-contract? [238] 100.0% ------------------------------------------------------------------------------------------- simplify [173] 7.1% loop [183] 92.9% [183] 281(0.1%) 0(0.0%) loop ...erbie/alt-testing/src/core/reduce.rkt:18:2 loop [183] 92.9% f8 [184] 7.1% ------------------------------------------------------------------------------------------- composed [192] 0.0% expression->type [34] 0.1% loop [183] 0.2% mterm->expr [28] 0.2% approximate [140] 0.2% eval-const-expr [223] 0.5% hash-ref! [155] 0.6% eval-prog [121] 0.8% taylor [213] 0.9% simplify [173] 6.9% loop [191] 8.0% split-table [36] 81.6% [184] 183890(34.2%) 19496(3.6%) f8 ...et/collects/racket/match/compiler.rkt:548:40 loop [191] 90.5% taylor [213] 0.8% ??? [128] 0.7% get-sigs [86] 0.4% taylor-sqrt [234] 0.4% parse-app [194] 0.2% ??? [198] 0.2% taylor-invert [241] 0.2% ??? [89] 0.2% table-ref [88] 0.2% taylor-exp [6] 0.1% expression->type [34] 0.1% composed [192] 0.0% ??? [87] 0.0% ------------------------------------------------------------------------------------------- ??? [179] 100.0% [185] 2864(0.5%) 896(0.2%) ??? ...ects/racket/contract/private/orc.rkt:112:15 ??? [193] 49.2% ^TYPE? [218] 19.5% ------------------------------------------------------------------------------------------- bigfloat->sig+exp [180] 100.0% [186] 1648(0.3%) 818(0.2%) mpz->integer ...ath/private/bigfloat/gmp.rkt:115:0 size+limbs->integer [196] 50.4% ------------------------------------------------------------------------------------------- bigfloat->sig+exp [180] 32.8% bfmul [149] 67.2% [187] 844(0.2%) 844(0.2%) ??? ...hare/racket/collects/ffi/unsafe.rkt:1450:12 ------------------------------------------------------------------------------------------- ??? [179] 100.0% [188] 566(0.1%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:117:8 eqables-pred [197] 100.0% ------------------------------------------------------------------------------------------- debug [181] 100.0% [189] 558(0.1%) 0(0.0%) cur-debug-level .../alt-testing/src/debug.rkt:38:2 get-setting [195] 50.7% ...sting/src/common.rkt:47:2 [148] 49.3% ------------------------------------------------------------------------------------------- bigfloat->sig+exp [180] 100.0% [190] 276(0.1%) 276(0.1%) new-mpz ...-lib/math/private/bigfloat/gmp.rkt:73:0 ------------------------------------------------------------------------------------------- unconstrained-domain->-projection [137] 0.0% get-final-combination [30] 0.0% gather-additive-terms [225] 0.1% set-precompute! [200] 0.1% taylor-exact [240] 0.1% point-best-alt [99] 0.3% mk-enode-rec! [64] 0.3% option-on-expr [2] 0.3% iterate-egraph! [57] 0.4% loop [52] 0.5% ??? [122] 0.6% loop! [199] 1.0% taylor [213] 1.1% match-e [65] 2.6% ??? [163] 8.9% f8 [184] 12.1% loop [191] 71.4% [191] 248882(46.3%) 6136(1.1%) loop .../private/map.rkt:40:19 loop [191] 71.4% hash-ref! [155] 8.9% option-on-expr [2] 7.0% f8 [184] 4.8% loop! [199] 1.0% step [202] 0.8% taylor [213] 0.8% foldl [205] 0.7% errors [112] 0.7% ??? [128] 0.5% ??? [122] 0.5% set-precompute! [200] 0.4% composed [204] 0.3% mk-enode! [72] 0.2% simplify-node [208] 0.2% simplify [173] 0.1% make-multiplication-node [5] 0.1% simplify* [206] 0.1% mk-enode-rec! [64] 0.1% gather-additive-terms [225] 0.1% setfindf [203] 0.1% taylor-quotient [235] 0.1% extract-alt [209] 0.0% ??? [207] 0.0% ??? [132] 0.0% get/build-late-neg-projection [124] 0.0% ??? [116] 0.0% loop [8] 0.0% ------------------------------------------------------------------------------------------- f8 [184] 16.9% argmins [150] 83.1% [192] 1673(0.3%) 0(0.0%) composed ...ollects/racket/private/list.rkt:340:16 errors [112] 83.1% f8 [184] 16.9% ------------------------------------------------------------------------------------------- ??? [185] 100.0% [193] 1408(0.3%) 1130(0.2%) ??? ...ects/racket/contract/private/list.rkt:163:5 check-list [245] 19.8% ------------------------------------------------------------------------------------------- f8 [184] 100.0% [194] 854(0.2%) 574(0.1%) parse-app ...collects/racket/private/kw.rkt:1207:2 check-loc [210] 32.8% ------------------------------------------------------------------------------------------- cur-debug-level [189] 33.3% debug [181] 66.7% [195] 849(0.2%) 849(0.2%) get-setting ...rbie/alt-testing/src/debug.rkt:96:0 ------------------------------------------------------------------------------------------- mpz->integer [186] 100.0% [196] 831(0.2%) 831(0.2%) size+limbs->integer ...vate/bigfloat/gmp.rkt:103:0 ------------------------------------------------------------------------------------------- ??? [188] 100.0% [197] 566(0.1%) 566(0.1%) eqables-pred ...et/contract/private/orc.rkt:100:10 ------------------------------------------------------------------------------------------- f8 [184] 100.0% [198] 282(0.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:363:46 ??? [201] 100.0% ------------------------------------------------------------------------------------------- merge-egraph-nodes! [67] 14.3% loop [191] 32.4% one-iter [61] 53.3% [199] 23224(4.3%) 3658(0.7%) loop! ...rbie/alt-testing/src/core/enode.rkt:192:2 custom-set-union [212] 36.0% loop [191] 33.0% ??? [214] 13.1% make-immutable-set [215] 8.2% ------------------------------------------------------------------------------------------- loop [191] 100.0% [200] 9009(1.7%) 2812(0.5%) set-precompute! ...ing/src/core/simplify.rkt:193:0 loop [191] 43.9% eval-const-expr [223] 9.3% make-sequence [244] 6.3% ??? [211] 3.2% simple-compose [228] 3.1% make-curried [226] 3.0% ------------------------------------------------------------------------------------------- ??? [87] 3.5% ...sting/src/common.rkt:47:2 [148] 3.6% ??? [198] 3.6% ??? [166] 14.7% ??? [156] 31.9% ??? [128] 42.7% [201] 7850(1.5%) 2244(0.4%) ??? ...ects/racket/contract/private/guts.rkt:794:8 ??? [87] 35.4% contract? [220] 17.7% ^TYPE? [218] 11.2% dict? [222] 7.1% ------------------------------------------------------------------------------------------- loop [191] 100.0% [202] 4326(0.8%) 3480(0.6%) step .../racket/collects/racket/function.rkt:145:9 sort [221] 19.6% ------------------------------------------------------------------------------------------- loop [191] 100.0% [203] 2530(0.5%) 1682(0.3%) setfindf ...erbie/alt-testing/src/common.rkt:186:0 make-sequence [244] 22.2% custom-in-set [217] 11.3% ------------------------------------------------------------------------------------------- loop [191] 100.0% [204] 2271(0.4%) 0(0.0%) composed ...ollects/racket/private/list.rkt:341:16 taylor [213] 61.3% hash-ref! [155] 26.1% taylor-exact [240] 12.6% ------------------------------------------------------------------------------------------- loop [191] 100.0% [205] 2220(0.4%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:248:4 merge2 [219] 74.7% check-fold [224] 25.3% ------------------------------------------------------------------------------------------- simplify [173] 42.2% loop [191] 57.8% [206] 2028(0.4%) 852(0.2%) simplify* .../alt-testing/src/core/reduce.rkt:31:0 hash-ref! [155] 43.8% return/no-unsupplied [216] 14.1% ------------------------------------------------------------------------------------------- err-lsts->split-indices [12] 44.7% loop [191] 55.3% [207] 1860(0.3%) 1860(0.3%) ??? ...e/racket/collects/racket/function.rkt:93:12 ------------------------------------------------------------------------------------------- loop [191] 100.0% [208] 844(0.2%) 0(0.0%) simplify-node ...-testing/src/core/reduce.rkt:50:0 gather-additive-terms [225] 66.5% combine-aterms [227] 33.5% ------------------------------------------------------------------------------------------- loop [191] 100.0% [209] 282(0.1%) 0(0.0%) extract-alt ...erbie/alt-testing/src/glue.rkt:55:0 argmins [150] 100.0% ------------------------------------------------------------------------------------------- parse-app [194] 100.0% [210] 280(0.1%) 280(0.1%) check-loc ...cts/racket/private/template.rkt:596:0 ------------------------------------------------------------------------------------------- *rules* [55] 2.7% set-precompute! [200] 2.7% match-e [65] 94.6% [211] 10384(1.9%) 278(0.1%) ??? ...e/racket/collects/racket/function.rkt:182:4 do-curry [231] 48.6% do-procedure-reduce-keyword-arity [230] 46.0% procedure-reduce-arity [242] 2.7% ------------------------------------------------------------------------------------------- adopt-enode! [82] 5.7% loop! [199] 94.3% [212] 10044(1.9%) 7520(1.4%) custom-set-union ...et/private/set-types.rkt:168:0 choose-immutable [239] 16.7% check-list [245] 8.4% ------------------------------------------------------------------------------------------- composed [204] 2.5% f8 [184] 5.1% approximate [140] 10.8% loop [191] 11.0% taylor [213] 27.6% hash-ref! [155] 42.9% [213] 9584(1.8%) 0(0.0%) taylor ...ie/alt-testing/src/core/taylor.rkt:163:0 taylor [213] 27.6% taylor-quotient [235] 25.3% loop [191] 19.3% f8 [184] 16.0% taylor-sqrt [234] 8.5% taylor-exp [6] 1.0% taylor-log [7] 0.6% taylor-invert [241] 0.6% debug-print [236] 0.6% taylor-exact [240] 0.5% ------------------------------------------------------------------------------------------- loop! [199] 100.0% [214] 5336(1.0%) 0(0.0%) ??? ...erbie/alt-testing/src/core/enode.rkt:202:13 update-en-expr [233] 52.9% reverse [229] 47.1% ------------------------------------------------------------------------------------------- loop! [199] 100.0% [215] 3910(0.7%) 3626(0.7%) make-immutable-set .../private/set-types.rkt:948:0 stream? [243] 7.3% ------------------------------------------------------------------------------------------- ??? [130] 7.1% simplify* [206] 7.4% table-ref [88] 21.4% ??? [158] 28.8% ->flonum [142] 35.3% [216] 3900(0.7%) 1396(0.3%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [232] 35.7% reverse [229] 28.5% ------------------------------------------------------------------------------------------- ??? [76] 11.1% setfindf [203] 11.2% match-e [65] 77.6% [217] 2538(0.5%) 2538(0.5%) custom-in-set ...acket/private/set-types.rkt:580:0 ------------------------------------------------------------------------------------------- ??? [141] 12.4% ??? [185] 23.9% ??? [131] 26.1% ??? [201] 37.6% [218] 2336(0.4%) 2336(0.4%) ^TYPE? .../ffi/unsafe.rkt:1621:20 ------------------------------------------------------------------------------------------- foldl [205] 100.0% [219] 1658(0.3%) 830(0.2%) merge2 ...bie/alt-testing/src/core/ematch.rkt:31:0 assoc [237] 50.0% ------------------------------------------------------------------------------------------- ??? [201] 100.0% [220] 1391(0.3%) 0(0.0%) contract? ...acket/contract/private/guts.rkt:125:0 simple-flat-contract? [238] 100.0% ------------------------------------------------------------------------------------------- step [202] 100.0% [221] 846(0.2%) 846(0.2%) sort ...cket/collects/racket/private/list.rkt:43:2 ------------------------------------------------------------------------------------------- table-ref [88] 33.7% ??? [201] 66.3% [222] 842(0.2%) 842(0.2%) dict? ...ollects/racket/private/generic.rkt:146:11 ------------------------------------------------------------------------------------------- set-precompute! [200] 100.0% [223] 842(0.2%) 0(0.0%) eval-const-expr ...-testing/src/programs.rkt:168:0 f8 [184] 100.0% ------------------------------------------------------------------------------------------- foldl [205] 100.0% [224] 562(0.1%) 562(0.1%) check-fold ...llects/racket/private/list.rkt:223:2 ------------------------------------------------------------------------------------------- simplify-node [208] 33.3% loop [191] 66.7% [225] 561(0.1%) 0(0.0%) gather-additive-terms .../src/core/reduce.rkt:72:0 loop [191] 66.7% make-multiplication-node [5] 33.3% ------------------------------------------------------------------------------------------- set-precompute! [200] 49.9% *rules* [55] 50.1% [226] 549(0.1%) 549(0.1%) make-curried .../collects/racket/function.rkt:91:9 ------------------------------------------------------------------------------------------- simplify-node [208] 100.0% [227] 283(0.1%) 283(0.1%) combine-aterms ...esting/src/core/reduce.rkt:183:0 ------------------------------------------------------------------------------------------- set-precompute! [200] 100.0% [228] 281(0.1%) 281(0.1%) simple-compose ...s/racket/private/list.rkt:426:10 ------------------------------------------------------------------------------------------- hash-has-key? [90] 2.1% loop [58] 2.1% ??? [134] 2.1% substitute-e [69] 2.1% *rules* [55] 2.1% update-leader! [73] 4.1% ??? [85] 4.2% table-ref [88] 6.3% return/no-unsupplied [216] 8.3% one-iter [61] 12.5% ??? [214] 18.7% match-e [65] 35.4% [229] 13418(2.5%) 13418(2.5%) reverse ...collects/racket/private/reverse.rkt:6:4 ------------------------------------------------------------------------------------------- ??? [211] 48.5% match-e [65] 51.5% [230] 9838(1.8%) 8998(1.7%) do-procedure-reduce-keyword-arity ...kw.rkt:1689:2 procedure-keywords [248] 8.5% ------------------------------------------------------------------------------------------- ??? [211] 100.0% [231] 5050(0.9%) 3370(0.6%) do-curry ...cket/collects/racket/function.rkt:71:2 procedure-keywords [248] 16.6% make-keyword-procedure [249] 11.1% partially-applied-procedure-arity-mask [250] 5.6% ------------------------------------------------------------------------------------------- match-e [65] 17.4% return/no-unsupplied [216] 29.2% one-iter [61] 53.3% [232] 4764(0.9%) 4764(0.9%) filter ...t/collects/racket/private/list.rkt:275:2 ------------------------------------------------------------------------------------------- update-leader! [73] 6.2% ??? [85] 31.2% ??? [214] 62.6% [233] 4510(0.8%) 3092(0.6%) update-en-expr ...esting/src/core/egraph.rkt:212:0 pack-leader [246] 18.9% make-sequence [244] 12.6% ------------------------------------------------------------------------------------------- approximate [140] 14.5% taylor [213] 42.6% f8 [184] 42.9% [234] 3974(0.7%) 0(0.0%) taylor-sqrt ...t-testing/src/core/taylor.rkt:346:0 simplify [173] 50.2% hash-ref! [155] 49.8% ------------------------------------------------------------------------------------------- hash-ref! [155] 7.2% loop [191] 21.3% taylor [213] 71.5% [235] 3948(0.7%) 0(0.0%) taylor-quotient ...sting/src/core/taylor.rkt:328:0 normalize-series [247] 64.9% simplify [173] 35.1% ------------------------------------------------------------------------------------------- make-exacts [47] 9.1% iterate-egraph! [57] 9.1% simplify! [35] 9.2% taylor [213] 27.3% simplify [173] 45.3% [236] 3099(0.6%) 2815(0.5%) debug-print ...bie/alt-testing/src/debug.rkt:107:0 write-proc [251] 9.2% ------------------------------------------------------------------------------------------- merge2 [219] 37.3% assoc-ref [168] 62.7% [237] 2220(0.4%) 2220(0.4%) assoc ...t/collects/racket/private/list.rkt:196:13 ------------------------------------------------------------------------------------------- flat-contract? [182] 17.0% contract? [220] 83.0% [238] 1676(0.3%) 1676(0.3%) simple-flat-contract? ...ct/private/guts.rkt:141:0 ------------------------------------------------------------------------------------------- custom-set-union [212] 100.0% [239] 1676(0.3%) 1394(0.3%) choose-immutable ...et/private/set-types.rkt:151:0 check-list [245] 16.8% ------------------------------------------------------------------------------------------- taylor [213] 49.2% composed [204] 50.8% [240] 565(0.1%) 0(0.0%) taylor-exact ...-testing/src/core/taylor.rkt:252:0 loop [191] 100.0% ------------------------------------------------------------------------------------------- taylor [213] 49.7% f8 [184] 50.3% [241] 561(0.1%) 0(0.0%) taylor-invert ...testing/src/core/taylor.rkt:312:0 simplify [173] 100.0% ------------------------------------------------------------------------------------------- ??? [211] 100.0% [242] 286(0.1%) 286(0.1%) procedure-reduce-arity ...t/private/kw.rkt:1823:11 ------------------------------------------------------------------------------------------- make-immutable-set [215] 100.0% [243] 284(0.1%) 284(0.1%) stream? ...t/collects/racket/private/for.rkt:493:2 ------------------------------------------------------------------------------------------- update-leader! [73] 2.6% ??? [85] 2.6% one-iter [61] 2.6% reduce-to-single! [71] 2.7% ??? [76] 2.7% loop [58] 5.2% setfindf [203] 5.3% set-precompute! [200] 5.3% update-en-expr [233] 5.4% list-cartesian-product [75] 18.5% match-e [65] 47.1% [244] 10570(2.0%) 8622(1.6%) make-sequence ...ects/racket/private/for.rkt:557:2 :hash-gen [252] 18.4% ------------------------------------------------------------------------------------------- ??? [193] 6.6% ??? [113] 6.7% ??? [96] 6.7% choose-immutable [239] 6.7% match-e [65] 6.7% table-ref [88] 13.3% ??? [175] 13.4% ??? [166] 19.9% custom-set-union [212] 20.1% [245] 4215(0.8%) 4215(0.8%) check-list ...ollects/racket/private/for.rkt:690:2 ------------------------------------------------------------------------------------------- merge-egraph-nodes! [67] 8.9% one-iter [61] 9.2% update-en-expr [233] 27.4% match-e [65] 54.5% [246] 3104(0.6%) 3104(0.6%) pack-leader ...lt-testing/src/core/enode.rkt:247:0 ------------------------------------------------------------------------------------------- taylor-quotient [235] 100.0% [247] 2564(0.5%) 0(0.0%) normalize-series ...ting/src/core/taylor.rkt:301:0 hash-ref! [155] 100.0% ------------------------------------------------------------------------------------------- matches-arity-exactly? [125] 14.3% do-curry [231] 42.8% do-procedure-reduce-keyword-arity [230] 42.9% [248] 1959(0.4%) 1959(0.4%) procedure-keywords .../racket/private/kw.rkt:534:2 ------------------------------------------------------------------------------------------- do-curry [231] 33.1% ??? [103] 33.4% make-curried [78] 33.5% [249] 1686(0.3%) 1686(0.3%) make-keyword-procedure ...ket/private/kw.rkt:448:4 ------------------------------------------------------------------------------------------- do-curry [231] 33.3% make-curried [78] 66.7% [250] 847(0.2%) 847(0.2%) partially-applied-procedure-arity-mask ...rkt:58:2 ------------------------------------------------------------------------------------------- debug-print [236] 100.0% [251] 284(0.1%) 284(0.1%) write-proc ...alt-testing/src/alternative.rkt:22:9 ------------------------------------------------------------------------------------------- make-sequence [244] 100.0% [252] 1948(0.4%) 1948(0.4%) :hash-gen ...collects/racket/private/for.rkt:781:4 -------------------------------------------------------------------------------------------