Profiling results ----------------- Total cpu time observed: 319534ms (out of 320078ms) Number of samples taken: 1101 (once every 290ms) (Hiding functions with self<1.0% and local<2.0%: 15 of 240 hidden) =========================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================================================== [1] 319534(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [7] 100.0% ------------------------------------------------------------------------------------------- loop [202] 100.0% [2] 38438(12.0%) 0(0.0%) option-on-expr ...esting/src/core/regimes.rkt:83:0 loop [202] 58.0% sort-context-on-expr [8] 28.0% err-lsts->split-indices [10] 6.6% pick-errors [11] 5.9% eval-prog [127] 0.8% point->alt [15] 0.8% ------------------------------------------------------------------------------------------- hash-ref! [184] 100.0% [3] 11052(3.5%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:67:15 ??? [160] 90.3% hash-ref! [184] 9.7% ------------------------------------------------------------------------------------------- hash-ref! [184] 100.0% [4] 11000(3.4%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:285:26 hash-ref! [184] 54.8% ??? [9] 43.8% simplify [134] 1.3% ------------------------------------------------------------------------------------------- loop [202] 100.0% [5] 1473(0.5%) 0(0.0%) composed ...ollects/racket/private/list.rkt:341:16 hash-ref! [184] 80.1% taylor-quotient [166] 19.9% ------------------------------------------------------------------------------------------- loop [202] 49.9% taylor [148] 50.1% [6] 1187(0.4%) 0(0.0%) taylor-invert ...testing/src/core/taylor.rkt:312:0 simplify [134] 74.8% normalize-series [179] 25.2% ------------------------------------------------------------------------------------------- ??? [1] 100.0% [7] 319534(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [12] 100.0% ------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [8] 10758(3.4%) 0(0.0%) sort-context-on-expr ...sting/src/points.rkt:115:0 ??? [13] 100.0% ------------------------------------------------------------------------------------------- ??? [200] 2.2% ??? [4] 97.8% [9] 6666(2.1%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:288:19 hash-ref! [184] 100.0% ------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [10] 2528(0.8%) 1408(0.4%) err-lsts->split-indices .../core/regimes.rkt:239:0 ??? [54] 33.1% check-list [197] 11.3% ------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [11] 2280(0.7%) 0(0.0%) pick-errors ...-testing/src/core/regimes.rkt:201:0 ??? [14] 62.4% point->alt [15] 25.0% gen-map [16] 12.6% ------------------------------------------------------------------------------------------- profile-thunk [7] 100.0% [12] 319534(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [17] 100.0% ------------------------------------------------------------------------------------------- sort-context-on-expr [8] 100.0% [13] 10758(3.4%) 0(0.0%) ??? ...cket/collects/racket/private/sort.rkt:369:3 generic-sort/key [18] 100.0% ------------------------------------------------------------------------------------------- loop [202] 17.2% pick-errors [11] 82.8% [14] 1717(0.5%) 0(0.0%) ??? ...rbie/alt-testing/src/core/regimes.rkt:194:2 ??? [125] 100.0% ------------------------------------------------------------------------------------------- option-on-expr [2] 33.6% pick-errors [11] 66.4% [15] 858(0.3%) 0(0.0%) point->alt ...t-testing/src/core/regimes.rkt:188:0 eval-prog [127] 100.0% ------------------------------------------------------------------------------------------- pick-errors [11] 100.0% [16] 288(0.1%) 0(0.0%) gen-map ...t/collects/racket/private/map.rkt:257:2 check-args [19] 100.0% ------------------------------------------------------------------------------------------- ??? [12] 100.0% [17] 319534(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 run-improve [20] 94.1% prepare-points [29] 5.9% ------------------------------------------------------------------------------------------- ??? [13] 100.0% [18] 10758(3.4%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [21] 92.1% ??? [125] 7.9% ------------------------------------------------------------------------------------------- gen-map [16] 100.0% [19] 288(0.1%) 288(0.1%) check-args ...ollects/racket/private/map.rkt:180:2 ------------------------------------------------------------------------------------------- ??? [17] 100.0% [20] 300800(94.1%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 run-iter! [22] 86.5% get-final-combination [23] 13.1% setup-prog! [24] 0.3% setup-alt-simplified [25] 0.1% ------------------------------------------------------------------------------------------- generic-sort/key [18] 37.6% copying-mergesort [21] 62.4% [21] 9910(3.1%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [21] 62.4% ??? [125] 37.6% ------------------------------------------------------------------------------------------- run-improve [20] 100.0% [22] 260326(81.5%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 simplify! [26] 78.9% finalize-iter! [28] 11.3% gen-series! [30] 6.8% choose-best-alt! [31] 1.3% gen-rewrites! [32] 1.2% localize! [33] 0.5% ------------------------------------------------------------------------------------------- run-improve [20] 100.0% [23] 39306(12.3%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:255:0 split-table [27] 97.8% extract-alt [34] 2.2% ------------------------------------------------------------------------------------------- run-improve [20] 100.0% [24] 880(0.3%) 0(0.0%) setup-prog! ...e/alt-testing/src/mainloop.rkt:72:0 prepare-points [29] 100.0% ------------------------------------------------------------------------------------------- run-improve [20] 100.0% [25] 287(0.1%) 0(0.0%) setup-alt-simplified ...-testing/src/glue.rkt:49:0 simplify-alt [35] 100.0% ------------------------------------------------------------------------------------------- run-iter! [22] 100.0% [26] 205274(64.2%) 0(0.0%) simplify! ...ie/alt-testing/src/mainloop.rkt:146:0 ??? [36] 100.0% ------------------------------------------------------------------------------------------- get-final-combination [23] 100.0% [27] 38438(12.0%) 0(0.0%) split-table ...rbie/alt-testing/src/glue.rkt:162:0 f8 [183] 100.0% ------------------------------------------------------------------------------------------- run-iter! [22] 100.0% [28] 29434(9.2%) 0(0.0%) finalize-iter! ...t-testing/src/mainloop.rkt:160:0 ??? [91] 100.0% ------------------------------------------------------------------------------------------- setup-prog! [24] 4.5% ??? [17] 95.5% [29] 19614(6.1%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [43] 59.4% make-exacts [38] 36.2% ??? [41] 2.9% make-exacts* [45] 1.5% ------------------------------------------------------------------------------------------- run-iter! [22] 100.0% [30] 17755(5.6%) 0(0.0%) gen-series! .../alt-testing/src/mainloop.rkt:120:0 taylor-alt [37] 100.0% ------------------------------------------------------------------------------------------- run-iter! [22] 100.0% [31] 3450(1.1%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [91] 100.0% ------------------------------------------------------------------------------------------- run-iter! [22] 100.0% [32] 3234(1.0%) 0(0.0%) gen-rewrites! ...lt-testing/src/mainloop.rkt:133:0 alt-rewrite-rm [39] 100.0% ------------------------------------------------------------------------------------------- run-iter! [22] 100.0% [33] 1180(0.4%) 0(0.0%) localize! ...ie/alt-testing/src/mainloop.rkt:115:0 localize-error [40] 100.0% ------------------------------------------------------------------------------------------- get-final-combination [23] 100.0% [34] 868(0.3%) 0(0.0%) extract-alt ...erbie/alt-testing/src/glue.rkt:55:0 argmins [152] 100.0% ------------------------------------------------------------------------------------------- setup-alt-simplified [25] 100.0% [35] 287(0.1%) 0(0.0%) simplify-alt ...rbie/alt-testing/src/glue.rkt:76:0 simplify [42] 100.0% ------------------------------------------------------------------------------------------- simplify! [26] 100.0% [36] 205274(64.2%) 0(0.0%) ??? ...s/herbie/alt-testing/src/mainloop.rkt:152:8 simplify [42] 100.0% ------------------------------------------------------------------------------------------- gen-series! [30] 100.0% [37] 17755(5.6%) 0(0.0%) taylor-alt ...erbie/alt-testing/src/glue.rkt:134:0 ...row-higher-order.rkt:375:33 [126] 100.0% ------------------------------------------------------------------------------------------- prepare-points [29] 100.0% [38] 7102(2.2%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [43] 88.0% make-exacts* [45] 12.0% ------------------------------------------------------------------------------------------- gen-rewrites! [32] 100.0% [39] 3234(1.0%) 0(0.0%) alt-rewrite-rm ...testing/src/alternative.rkt:88:0 rewriter [44] 100.0% ------------------------------------------------------------------------------------------- localize! [33] 100.0% [40] 1180(0.4%) 0(0.0%) localize-error ...sting/src/core/localize.rkt:47:0 hash-ref! [184] 100.0% ------------------------------------------------------------------------------------------- prepare-points [29] 100.0% [41] 568(0.2%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/points.rkt:230:7 ...row-higher-order.rkt:375:33 [126] 100.0% ------------------------------------------------------------------------------------------- simplify-alt [35] 0.1% ??? [36] 99.9% [42] 205562(64.3%) 0(0.0%) simplify ...alt-testing/src/core/simplify.rkt:43:0 ??? [46] 99.4% *simplify-rules* [49] 0.4% ------------------------------------------------------------------------------------------- make-exacts [38] 34.9% prepare-points [29] 65.1% [43] 17905(5.6%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [202] 100.0% ------------------------------------------------------------------------------------------- alt-rewrite-rm [39] 33.6% matcher [47] 66.4% [44] 3234(1.0%) 0(0.0%) rewriter ...alt-testing/src/core/matcher.rkt:131:2 matcher [47] 70.9% *rules* [48] 14.7% f8 [183] 14.4% ------------------------------------------------------------------------------------------- prepare-points [29] 25.3% make-exacts [38] 74.7% [45] 1141(0.4%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [127] 100.0% ------------------------------------------------------------------------------------------- simplify [42] 100.0% [46] 204406(64.0%) 0(0.0%) ??? ...rbie/alt-testing/src/core/simplify.rkt:77:0 iterate-egraph! [50] 89.1% loop [51] 10.2% mk-egraph [52] 0.7% ------------------------------------------------------------------------------------------- matcher [47] 48.5% rewriter [44] 51.5% [47] 3234(1.0%) 0(0.0%) matcher .../alt-testing/src/core/matcher.rkt:167:2 matcher [47] 48.5% rewriter [44] 48.5% variable? [68] 3.0% ------------------------------------------------------------------------------------------- rewriter [44] 100.0% [48] 1475(0.5%) 296(0.1%) *rules* .../alt-testing/src/syntax/rules.rkt:565:0 flag-set? [53] 60.1% list-member? [150] 19.8% ------------------------------------------------------------------------------------------- simplify [42] 100.0% [49] 862(0.3%) 281(0.1%) *simplify-rules* ...ing/src/syntax/rules.rkt:570:0 flag-set? [53] 33.9% ??? [54] 33.5% ------------------------------------------------------------------------------------------- ??? [46] 100.0% [50] 182132(57.0%) 0(0.0%) iterate-egraph! ...ing/src/core/simplify.rkt:105:0 one-iter [55] 98.9% loop [202] 1.1% ------------------------------------------------------------------------------------------- ??? [46] 100.0% [51] 20840(6.5%) 2002(0.6%) loop ...ie/alt-testing/src/core/simplify.rkt:237:2 mk-min [56] 45.9% loop [57] 44.5% ------------------------------------------------------------------------------------------- ??? [46] 100.0% [52] 1435(0.4%) 0(0.0%) mk-egraph ...alt-testing/src/core/egraph.rkt:131:0 mk-enode-rec! [58] 100.0% ------------------------------------------------------------------------------------------- *simplify-rules* [49] 24.8% *rules* [48] 75.2% [53] 1180(0.4%) 292(0.1%) flag-set? ...erbie/alt-testing/src/config.rkt:34:0 dict-ref-contract [147] 50.1% return/no-unsupplied [178] 25.1% ------------------------------------------------------------------------------------------- *simplify-rules* [49] 25.7% err-lsts->split-indices [10] 74.3% [54] 1126(0.4%) 1126(0.4%) ??? ...e/racket/collects/racket/function.rkt:93:12 ------------------------------------------------------------------------------------------- iterate-egraph! [50] 100.0% [55] 180122(56.4%) 7836(2.5%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 match-e [59] 35.1% mk-enode! [65] 15.9% merge-egraph-nodes! [60] 13.0% custom-set-member? [62] 10.0% substitute-e [63] 8.8% loop! [66] 8.3% filter [187] 1.0% reverse [185] 0.8% reduce-to-single! [64] 0.8% list-member? [150] 0.8% set-member? [165] 0.5% pack-leader [94] 0.3% update-leader! [67] 0.3% ------------------------------------------------------------------------------------------- loop [51] 100.0% [56] 9560(3.0%) 0(0.0%) mk-min ...re/racket/collects/racket/list.rkt:786:0 expression-cost [61] 100.0% ------------------------------------------------------------------------------------------- loop [51] 100.0% [57] 9278(2.9%) 0(0.0%) loop ...hare/racket/collects/racket/list.rkt:796:4 expression-cost [61] 100.0% ------------------------------------------------------------------------------------------- loop [202] 40.3% mk-egraph [52] 59.7% [58] 1435(0.4%) 0(0.0%) mk-enode-rec! ...testing/src/core/egraph.rkt:122:0 loop [202] 100.0% ------------------------------------------------------------------------------------------- match-e [59] 26.7% one-iter [55] 73.3% [59] 63262(19.8%) 16202(5.1%) match-e ...ie/alt-testing/src/core/ematch.rkt:46:0 match-e [59] 26.7% ??? [69] 9.1% ??? [91] 8.0% loop [202] 7.1% variable? [68] 4.7% do-procedure-reduce-keyword-arity [77] 4.5% reverse [185] 3.9% list-cartesian-product [70] 3.9% make-sequence [218] 3.1% custom-in-set [219] 1.8% make-curried [72] 1.4% set-member? [165] 0.9% ??? [74] 0.9% check-list [197] 0.9% pack-leader [94] 0.5% ------------------------------------------------------------------------------------------- merge-egraph-nodes! [60] 9.0% one-iter [55] 91.0% [60] 23442(7.3%) 290(0.1%) merge-egraph-nodes! ...g/src/core/egraph.rkt:153:0 update-leader! [67] 62.3% loop! [66] 22.6% merge-egraph-nodes! [60] 9.0% enode-merge! [71] 3.7% pack-leader [94] 1.2% ------------------------------------------------------------------------------------------- loop [57] 49.3% mk-min [56] 50.7% [61] 18837(5.9%) 582(0.2%) expression-cost ...-testing/src/programs.rkt:209:0 table-ref [92] 63.1% dict-ref-contract [147] 19.9% compile [137] 12.4% ??? [93] 1.6% ------------------------------------------------------------------------------------------- one-iter [55] 100.0% [62] 17945(5.6%) 17364(5.4%) custom-set-member? ...t/private/set-types.rkt:45:0 set-check-elem [73] 3.2% ------------------------------------------------------------------------------------------- substitute-e [63] 14.0% one-iter [55] 86.0% [63] 15916(5.0%) 580(0.2%) substitute-e ...t-testing/src/core/ematch.rkt:71:0 mk-enode! [65] 74.5% substitute-e [63] 14.0% variable? [68] 5.2% ??? [91] 1.8% assoc [224] 0.9% make-sequence [218] 0.9% ------------------------------------------------------------------------------------------- one-iter [55] 100.0% [64] 1450(0.5%) 1161(0.4%) reduce-to-single! ...ing/src/core/egraph.rkt:325:0 make-sequence [218] 19.9% ------------------------------------------------------------------------------------------- loop [202] 3.4% substitute-e [63] 28.3% one-iter [55] 68.3% [65] 41912(13.1%) 2918(0.9%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [75] 89.6% hash-has-key? [96] 2.8% ------------------------------------------------------------------------------------------- merge-egraph-nodes! [60] 18.8% loop [202] 28.3% one-iter [55] 53.0% [66] 21092(6.6%) 2592(0.8%) loop! ...rbie/alt-testing/src/core/enode.rkt:192:2 custom-set-union [85] 38.4% loop [202] 29.7% make-immutable-set [86] 12.8% ??? [78] 11.4% ------------------------------------------------------------------------------------------- one-iter [55] 3.5% merge-egraph-nodes! [60] 96.5% [67] 16196(5.1%) 4598(1.4%) update-leader! ...esting/src/core/egraph.rkt:218:0 do-hash-update [76] 59.1% update-en-expr [88] 8.9% reverse [185] 1.8% hash-ref! [184] 1.8% ------------------------------------------------------------------------------------------- matcher [47] 2.8% free-variables [215] 5.6% substitute-e [63] 19.5% match-e [59] 72.1% [68] 10418(3.3%) 286(0.1%) variable? ...t-testing/src/syntax/syntax.rkt:665:0 ??? [91] 97.2% ------------------------------------------------------------------------------------------- match-e [59] 100.0% [69] 6634(2.1%) 0(0.0%) ??? ...e/racket/collects/racket/function.rkt:182:4 do-procedure-reduce-keyword-arity [77] 65.5% do-curry [79] 34.5% ------------------------------------------------------------------------------------------- list-cartesian-product [70] 25.0% match-e [59] 75.0% [70] 2882(0.9%) 1726(0.5%) list-cartesian-product ...src/core/ematch.rkt:20:0 make-sequence [218] 25.1% list-cartesian-product [70] 25.0% ------------------------------------------------------------------------------------------- merge-egraph-nodes! [60] 100.0% [71] 1164(0.4%) 582(0.2%) enode-merge! ...t-testing/src/core/enode.rkt:129:0 adopt-enode! [81] 25.1% custom-set-intersect! [82] 24.9% ------------------------------------------------------------------------------------------- match-e [59] 100.0% [72] 872(0.3%) 290(0.1%) make-curried ...collects/racket/function.rkt:130:9 partially-applied-procedure-arity-mask [80] 33.8% make-keyword-procedure [119] 33.0% ------------------------------------------------------------------------------------------- custom-set-member? [62] 100.0% [73] 582(0.2%) 582(0.2%) set-check-elem ...cket/private/set-types.rkt:329:0 ------------------------------------------------------------------------------------------- match-e [59] 100.0% [74] 574(0.2%) 286(0.1%) ??? ...herbie/alt-testing/src/core/ematch.rkt:50:5 make-sequence [218] 50.0% ------------------------------------------------------------------------------------------- mk-enode! [65] 100.0% [75] 37547(11.8%) 0(0.0%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [83] 97.7% make-immutable-set [86] 0.8% ------------------------------------------------------------------------------------------- update-leader! [67] 100.0% [76] 9576(3.0%) 0(0.0%) do-hash-update ...et/private/more-scheme.rkt:343:2 ??? [84] 100.0% ------------------------------------------------------------------------------------------- match-e [59] 46.3% ??? [69] 53.7% [77] 8083(2.5%) 7214(2.3%) do-procedure-reduce-keyword-arity ...kw.rkt:1689:2 procedure-keywords [143] 10.7% ------------------------------------------------------------------------------------------- loop! [66] 100.0% [78] 4050(1.3%) 0(0.0%) ??? ...erbie/alt-testing/src/core/enode.rkt:202:13 update-en-expr [88] 64.2% reverse [185] 35.8% ------------------------------------------------------------------------------------------- ??? [69] 100.0% [79] 2290(0.7%) 2004(0.6%) do-curry ...cket/collects/racket/function.rkt:71:2 make-keyword-procedure [119] 12.5% ------------------------------------------------------------------------------------------- make-curried [72] 100.0% [80] 295(0.1%) 295(0.1%) partially-applied-procedure-arity-mask ...rkt:58:2 ------------------------------------------------------------------------------------------- enode-merge! [71] 100.0% [81] 292(0.1%) 0(0.0%) adopt-enode! ...t-testing/src/core/enode.rkt:105:0 custom-set-union [85] 100.0% ------------------------------------------------------------------------------------------- enode-merge! [71] 100.0% [82] 290(0.1%) 290(0.1%) custom-set-intersect! ...ivate/set-types.rkt:269:0 ------------------------------------------------------------------------------------------- new-enode [75] 100.0% [83] 36677(11.5%) 0(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [87] 100.0% ------------------------------------------------------------------------------------------- do-hash-update [76] 100.0% [84] 9576(3.0%) 6676(2.1%) ??? ...rbie/alt-testing/src/core/egraph.rkt:226:24 update-en-expr [88] 18.1% reverse [185] 9.1% make-sequence [218] 3.0% ------------------------------------------------------------------------------------------- adopt-enode! [81] 3.5% loop! [66] 96.5% [85] 8384(2.6%) 8094(2.5%) custom-set-union ...et/private/set-types.rkt:168:0 choose-immutable [89] 3.5% ------------------------------------------------------------------------------------------- new-enode [75] 5.0% loop! [66] 95.0% [86] 5767(1.8%) 5478(1.7%) make-immutable-set .../private/set-types.rkt:948:0 stream? [90] 5.0% ------------------------------------------------------------------------------------------- f8 [183] 4.5% type-of-enode-expr [83] 95.5% [87] 38414(12.0%) 866(0.3%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 table-ref [92] 42.9% ??? [93] 23.3% dict-ref-contract [147] 17.3% ??? [91] 14.3% ------------------------------------------------------------------------------------------- update-leader! [67] 25.0% ??? [84] 30.0% ??? [78] 45.0% [88] 5784(1.8%) 3758(1.2%) update-en-expr ...esting/src/core/egraph.rkt:212:0 make-sequence [218] 20.0% pack-leader [94] 15.0% ------------------------------------------------------------------------------------------- custom-set-union [85] 100.0% [89] 290(0.1%) 0(0.0%) choose-immutable ...et/private/set-types.rkt:151:0 check-list [197] 100.0% ------------------------------------------------------------------------------------------- make-immutable-set [86] 100.0% [90] 289(0.1%) 289(0.1%) stream? ...t/collects/racket/private/for.rkt:493:2 ------------------------------------------------------------------------------------------- simplify* [149] 0.5% ??? [186] 0.7% substitute-e [63] 1.4% choose-best-alt! [31] 5.5% get-sigs [87] 9.1% variable? [68] 16.8% match-e [59] 17.2% finalize-iter! [28] 48.8% [91] 60330(18.9%) 1736(0.5%) ??? ...contract/private/arrow-val-first.rkt:486:18 atab-add-altns [95] 48.8% hash-has-key? [96] 41.9% atab-pick-alt [98] 5.5% ??? [186] 1.0% ------------------------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [126] 2.9% expression-cost [61] 40.6% get-sigs [87] 56.4% [92] 29229(9.1%) 4058(1.3%) table-ref ...erbie/alt-testing/src/common.rkt:46:0 ??? [101] 76.2% dict-ref-contract [147] 4.0% ??? [99] 2.0% return/no-unsupplied [178] 2.0% reverse [185] 1.0% set-member? [165] 1.0% ------------------------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [126] 3.0% expression-cost [61] 3.1% get-sigs [87] 93.9% [93] 9510(3.0%) 292(0.1%) ??? ...cts/racket/contract/private/arr-i.rkt:855:8 ??? [97] 69.5% handle-the-hash [108] 18.3% get/build-late-neg-projection [129] 6.1% ??? [100] 3.0% ------------------------------------------------------------------------------------------- merge-egraph-nodes! [60] 14.1% match-e [59] 14.2% one-iter [55] 28.6% update-en-expr [88] 43.0% [94] 2022(0.6%) 2022(0.6%) pack-leader ...lt-testing/src/core/enode.rkt:247:0 ------------------------------------------------------------------------------------------- ??? [91] 100.0% [95] 29434(9.2%) 0(0.0%) atab-add-altns ...ting/src/core/alt-table.rkt:52:0 atab-add-altn [102] 100.0% ------------------------------------------------------------------------------------------- mk-enode! [65] 4.4% ??? [91] 95.6% [96] 26585(8.3%) 19074(6.0%) hash-has-key? ...ket/private/more-scheme.rkt:372:2 ??? [101] 28.3% ------------------------------------------------------------------------------------------- ??? [93] 100.0% [97] 6611(2.1%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:278:4 contract-pos/neg-doubling/proc [103] 100.0% ------------------------------------------------------------------------------------------- ??? [91] 100.0% [98] 3450(1.1%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 point-best-alt [104] 66.0% ...row-higher-order.rkt:375:33 [126] 25.1% write-json* [105] 8.8% ------------------------------------------------------------------------------------------- table-ref [92] 100.0% [99] 586(0.2%) 586(0.2%) ??? ...cts/racket/contract/private/list.rkt:211:14 ------------------------------------------------------------------------------------------- ??? [93] 100.0% [100] 286(0.1%) 0(0.0%) ??? ...private/unconstrained-domain-arrow.rkt:69:2 do-blame-add-context [128] 100.0% ------------------------------------------------------------------------------------------- hash-has-key? [96] 25.2% table-ref [92] 74.8% [101] 29795(9.3%) 13874(4.3%) ??? ...ects/racket/contract/private/list.rkt:814:4 ??? [107] 30.2% handle-the-hash [108] 12.6% successfully-got-the-right-kind-of-function [111] 2.9% ??? [177] 2.9% do-chaperone-procedure [120] 1.9% check-list [197] 1.0% ??? [180] 1.0% ------------------------------------------------------------------------------------------- atab-add-altns [95] 100.0% [102] 29434(9.2%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:239:0 best-and-tied-at-points [106] 93.2% override-at-pnts [110] 6.8% ------------------------------------------------------------------------------------------- ??? [97] 100.0% [103] 6611(2.1%) 2857(0.9%) contract-pos/neg-doubling/proc .../guts.rkt:1062:0 ??? [109] 43.5% ??? [112] 8.8% ??? [114] 4.4% ------------------------------------------------------------------------------------------- atab-pick-alt [98] 100.0% [104] 2278(0.7%) 0(0.0%) point-best-alt ...ting/src/core/alt-table.rkt:56:0 loop [202] 100.0% ------------------------------------------------------------------------------------------- atab-pick-alt [98] 100.0% [105] 304(0.1%) 0(0.0%) write-json* .../racket/collects/json/main.rkt:94:0 loop [113] 100.0% ------------------------------------------------------------------------------------------- atab-add-altn [102] 100.0% [106] 27418(8.6%) 289(0.1%) best-and-tied-at-points ...ore/alt-table.rkt:153:0 errors [115] 98.9% ------------------------------------------------------------------------------------------- ??? [101] 100.0% [107] 8986(2.8%) 4655(1.5%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 blame-add-missing-party [117] 19.3% loop [118] 19.2% ??? [122] 3.3% make-keyword-procedure [119] 3.3% update-the-info [124] 3.2% ------------------------------------------------------------------------------------------- ??? [161] 5.0% ??? [93] 30.1% ??? [101] 64.9% [108] 5770(1.8%) 2607(0.8%) handle-the-hash ...contract/private/hash.rkt:323:0 ??? [177] 54.8% ------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [103] 100.0% [109] 2879(0.9%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:192:2 ??? [116] 80.1% do-blame-add-context [128] 19.9% ------------------------------------------------------------------------------------------- atab-add-altn [102] 100.0% [110] 2016(0.6%) 0(0.0%) override-at-pnts ...g/src/core/alt-table.rkt:176:0 errors [115] 100.0% ------------------------------------------------------------------------------------------- ??? [101] 100.0% [111] 873(0.3%) 0(0.0%) successfully-got-the-right-kind-of-function ...5:4 arity-checking-wrapper [121] 33.8% val-has-arrow-collapsible-support? [123] 33.1% do-chaperone-procedure [120] 33.0% ------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [103] 100.0% [112] 582(0.2%) 0(0.0%) ??? ...ts/racket/contract/private/guts.rkt:1057:34 do-blame-add-context [128] 100.0% ------------------------------------------------------------------------------------------- write-json* [105] 25.0% loop [113] 75.0% [113] 304(0.1%) 304(0.1%) loop .../share/racket/collects/json/main.rkt:132:2 loop [113] 75.0% ------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [103] 100.0% [114] 294(0.1%) 0(0.0%) ??? ...ts/racket/contract/private/guts.rkt:1057:44 do-blame-add-context [128] 100.0% ------------------------------------------------------------------------------------------- composed [196] 3.3% override-at-pnts [110] 3.8% loop [202] 41.9% best-and-tied-at-points [106] 51.0% [115] 53151(16.6%) 0(0.0%) errors .../herbie/alt-testing/src/points.rkt:271:0 ??? [125] 69.4% eval-prog [127] 24.7% ...row-higher-order.rkt:375:33 [126] 3.8% ------------------------------------------------------------------------------------------- ??? [109] 100.0% [116] 2306(0.7%) 292(0.1%) ??? ...ects/racket/contract/private/list.rkt:755:5 get/build-late-neg-projection [129] 62.2% do-blame-add-context [128] 12.7% reverse [185] 12.5% ------------------------------------------------------------------------------------------- ??? [107] 100.0% [117] 1732(0.5%) 1732(0.5%) blame-add-missing-party ...private/blame.rkt:382:0 ------------------------------------------------------------------------------------------- ??? [107] 29.8% loop [118] 70.2% [118] 1728(0.5%) 1728(0.5%) loop ...ts/racket/contract/private/blame.rkt:319:2 loop [118] 70.2% ------------------------------------------------------------------------------------------- do-curry [79] 33.0% make-curried [72] 33.2% ??? [107] 33.8% [119] 866(0.3%) 866(0.3%) make-keyword-procedure ...ket/private/kw.rkt:448:4 ------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [111] 33.3% ??? [101] 66.7% [120] 866(0.3%) 288(0.1%) do-chaperone-procedure ...et/private/kw.rkt:1952:2 normalize-proc [130] 66.7% ------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [111]100.0% [121] 296(0.1%) 0(0.0%) arity-checking-wrapper ...w-higher-order.rkt:443:0 matches-arity-exactly? [131] 100.0% ------------------------------------------------------------------------------------------- ??? [107] 100.0% [122] 294(0.1%) 294(0.1%) ??? ...rivate/unconstrained-domain-arrow.rkt:19:10 ------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [111]100.0% [123] 289(0.1%) 289(0.1%) val-has-arrow-collapsible-support? ...le.rkt:116:0 ------------------------------------------------------------------------------------------- ??? [107] 100.0% [124] 286(0.1%) 286(0.1%) update-the-info ...ontract/private/blame.rkt:318:0 ------------------------------------------------------------------------------------------- generic-sort/key [18] 1.3% ??? [14] 2.5% copying-mergesort [21] 14.6% loop [202] 27.1% errors [115] 54.5% [125] 67688(21.2%) 36120(11.3%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 loop [202] 18.8% ??? [136] 13.4% ??? [138] 5.1% ??? [139] 3.3% ??? [195] 2.8% ??? [142] 1.9% ??? [156] 0.7% ------------------------------------------------------------------------------------------- ??? [41] 1.5% atab-pick-alt [98] 1.6% errors [115] 5.4% f8 [183] 6.5% loop [132] 24.0% taylor-alt [37] 24.0% loop [202] 37.1% [126] 37058(11.6%) 852(0.3%) ...row-higher-order.rkt:375:33 ...order.rkt:375:33 ->flonum [135] 35.7% loop [132] 24.0% approximate [133] 23.6% real->bigfloat [140] 5.2% table-ref [92] 2.3% best-alt [144] 1.6% dict-ref-contract [147] 1.5% ??? [186] 1.1% ??? [93] 0.8% simplify [134] 0.4% ------------------------------------------------------------------------------------------- option-on-expr [2] 1.9% point->alt [15] 5.6% make-exacts* [45] 7.4% errors [115] 85.2% [127] 15442(4.8%) 10872(3.4%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 f8 [183] 16.6% compile [137] 11.1% go [146] 1.9% ------------------------------------------------------------------------------------------- ??? [100] 14.1% ??? [116] 14.4% ??? [114] 14.5% ??? [109] 28.3% ??? [112] 28.7% [128] 2027(0.6%) 2027(0.6%) do-blame-add-context ...ct/private/blame.rkt:192:0 ------------------------------------------------------------------------------------------- ??? [145] 14.5% ??? [93] 14.5% ??? [116] 71.1% [129] 2016(0.6%) 282(0.1%) get/build-late-neg-projection ...te/guts.rkt:881:0 ??? [141] 71.5% ??? [145] 14.5% ------------------------------------------------------------------------------------------- do-chaperone-procedure [120] 100.0% [130] 577(0.2%) 577(0.2%) normalize-proc ...cts/racket/private/kw.rkt:2228:2 ------------------------------------------------------------------------------------------- arity-checking-wrapper [121] 100.0% [131] 296(0.1%) 0(0.0%) matches-arity-exactly? ...te/arrow-common.rkt:70:0 procedure-keywords [143] 100.0% ------------------------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [126] 13.1% loop [132] 86.9% [132] 17755(5.6%) 0(0.0%) loop .../herbie/alt-testing/src/programs.rkt:125:4 loop [132] 86.9% ...row-higher-order.rkt:375:33 [126] 13.1% ------------------------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [126] 100.0% [133] 17458(5.5%) 0(0.0%) approximate ...lt-testing/src/core/taylor.rkt:12:0 hash-ref! [184] 63.3% ??? [160] 19.9% taylor [148] 13.4% debug-print [167] 1.7% f8 [183] 1.7% ------------------------------------------------------------------------------------------- ??? [4] 1.7% ...row-higher-order.rkt:375:33 [126] 1.8% normalize-series [179] 1.8% loop [202] 3.4% taylor-quotient [166] 3.5% taylor-invert [6] 5.3% hash-ref! [184] 80.9% [134] 16882(5.3%) 0(0.0%) simplify ...e/alt-testing/src/core/reduce.rkt:16:0 f8 [183] 86.3% simplify* [149] 5.2% debug-print [167] 3.5% simplify-node [153] 3.4% make-multiplication-node [159] 1.6% ------------------------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [126] 100.0% [135] 13388(4.2%) 6864(2.1%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 dict-ref-contract [147] 27.6% return/no-unsupplied [178] 16.9% list-member? [150] 4.2% ------------------------------------------------------------------------------------------- ??? [125] 100.0% [136] 9046(2.8%) 4798(1.5%) ??? ...ie/alt-testing/src/syntax/syntax.rkt:156:17 return/no-unsupplied [178] 21.9% dict-ref-contract [147] 12.5% list-member? [150] 9.4% set-member? [165] 3.2% ------------------------------------------------------------------------------------------- eval-prog [127] 42.5% expression-cost [61] 57.5% [137] 4053(1.3%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [184] 100.0% ------------------------------------------------------------------------------------------- ??? [125] 100.0% [138] 3472(1.1%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bftan [151] 53.9% bfadd [154] 37.5% ^TYPE? [212] 8.7% ------------------------------------------------------------------------------------------- ??? [125] 100.0% [139] 2261(0.7%) 2261(0.7%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ------------------------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [126] 100.0% [140] 1918(0.6%) 746(0.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [164] 61.1% ------------------------------------------------------------------------------------------- get/build-late-neg-projection [129] 100.0% [141] 1734(0.5%) 585(0.2%) ??? ...cts/racket/contract/private/prop.rkt:376:12 build-compound-type-name [155] 66.3% ------------------------------------------------------------------------------------------- ??? [125] 100.0% [142] 1316(0.4%) 360(0.1%) ??? ...bie/alt-testing/src/syntax/syntax.rkt:530:0 ??? [156] 46.6% bf<= [157] 26.1% ------------------------------------------------------------------------------------------- matches-arity-exactly? [131] 25.4% do-procedure-reduce-keyword-arity [77] 74.6% [143] 1164(0.4%) 1164(0.4%) procedure-keywords .../racket/private/kw.rkt:534:2 ------------------------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [126] 100.0% [144] 868(0.3%) 0(0.0%) best-alt ...s/herbie/alt-testing/src/glue.rkt:71:0 argmins [152] 100.0% ------------------------------------------------------------------------------------------- get/build-late-neg-projection [129] 100.0% [145] 583(0.2%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:272:2 get/build-late-neg-projection [129] 100.0% ------------------------------------------------------------------------------------------- eval-prog [127] 100.0% [146] 287(0.1%) 0(0.0%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [158] 100.0% ------------------------------------------------------------------------------------------- ??? [163] 2.4% ...row-higher-order.rkt:375:33 [126] 3.2% flag-set? [53] 3.3% ??? [136] 6.4% table-ref [92] 6.5% expression-cost [61] 19.4% ->flonum [135] 20.7% get-sigs [87] 36.4% [147] 17834(5.6%) 6318(2.0%) dict-ref-contract ...ract/private/arr-i.rkt:976:19 ??? [161] 43.8% ??? [163] 13.7% ??? [186] 5.5% dict-key-contract [170] 2.4% ------------------------------------------------------------------------------------------- loop [202] 3.6% taylor [148] 10.0% approximate [133] 23.5% hash-ref! [184] 26.5% f8 [183] 36.4% [148] 4684(1.5%) 0(0.0%) taylor ...ie/alt-testing/src/core/taylor.rkt:163:0 loop [202] 34.3% taylor-quotient [166] 15.7% f8 [183] 14.1% taylor [148] 10.0% normalize-series [179] 9.3% taylor-invert [6] 6.4% taylor-exact [171] 5.1% debug-print [167] 5.1% ------------------------------------------------------------------------------------------- simplify [134] 25.0% loop [202] 75.0% [149] 3526(1.1%) 0(0.0%) simplify* .../alt-testing/src/core/reduce.rkt:31:0 hash-ref! [184] 66.8% get-evaluator [173] 8.5% set-member? [165] 8.3% return/no-unsupplied [178] 8.3% ??? [91] 8.1% ------------------------------------------------------------------------------------------- *rules* [48] 9.3% ->flonum [135] 18.0% ??? [136] 26.9% one-iter [55] 45.8% [150] 3156(1.0%) 0(0.0%) list-member? ...llects/racket/private/set.rkt:24:0 member [162] 100.0% ------------------------------------------------------------------------------------------- ??? [138] 100.0% [151] 1870(0.6%) 941(0.3%) bftan ...-lib/math/private/bigfloat/mpfr.rkt:635:4 new-mpfr [164] 34.1% ??? [174] 15.6% ------------------------------------------------------------------------------------------- best-alt [144] 50.0% extract-alt [34] 50.0% [152] 1736(0.5%) 0(0.0%) argmins ...herbie/alt-testing/src/common.rkt:152:0 composed [196] 100.0% ------------------------------------------------------------------------------------------- simplify [134] 34.0% loop [202] 66.0% [153] 1710(0.5%) 0(0.0%) simplify-node ...-testing/src/core/reduce.rkt:50:0 combine-aterms [168] 50.7% combine-mterms [172] 32.3% gather-multiplicative-terms [175] 16.9% ------------------------------------------------------------------------------------------- ??? [138] 100.0% [154] 1300(0.4%) 308(0.1%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:846:4 new-mpfr [164] 76.3% ------------------------------------------------------------------------------------------- contract-struct-name [169] 12.6% ??? [141] 87.4% [155] 1148(0.4%) 292(0.1%) build-compound-type-name ...private/guts.rkt:543:0 contract-struct-name [169] 74.5% ------------------------------------------------------------------------------------------- ??? [125] 42.5% ??? [142] 57.5% [156] 1066(0.3%) 296(0.1%) ??? .../private/arrow-higher-order.rkt:379:33 ??? [177] 72.2% ------------------------------------------------------------------------------------------- ??? [142] 100.0% [157] 343(0.1%) 0(0.0%) bf<= ...h/private/bigfloat/bigfloat-mpfr.rkt:127:4 ??? [160] 100.0% ------------------------------------------------------------------------------------------- go [146] 8.3% loop [158] 91.7% [158] 287(0.1%) 287(0.1%) loop ...llects/racket/private/qq-and-or.rkt:101:61 loop [158] 91.7% ------------------------------------------------------------------------------------------- simplify [134] 100.0% [159] 270(0.1%) 0(0.0%) make-multiplication-node .../core/reduce.rkt:230:0 make-multiplication-subnode [176] 100.0% ------------------------------------------------------------------------------------------- bf<= [157] 2.3% approximate [133] 23.3% ??? [3] 74.4% [160] 14862(4.7%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 hash-ref! [184] 97.7% bflte? [181] 2.3% ------------------------------------------------------------------------------------------- ??? [177] 29.7% dict-ref-contract [147] 70.3% [161] 7806(2.4%) 1142(0.4%) ??? ...ects/racket/contract/private/list.rkt:376:4 ??? [177] 44.4% ??? [186] 26.0% ??? [180] 14.8% handle-the-hash [108] 3.7% ------------------------------------------------------------------------------------------- list-member? [150] 100.0% [162] 3156(1.0%) 3156(1.0%) member ...collects/racket/private/member.rkt:13:21 ------------------------------------------------------------------------------------------- dict-ref-contract [147] 100.0% [163] 2878(0.9%) 862(0.3%) ??? ...s/racket/contract/private/arr-i.rkt:1324:39 return/no-unsupplied [178] 39.9% dict-ref-contract [147] 30.1% ------------------------------------------------------------------------------------------- bftan [151] 22.7% bfadd [154] 35.4% real->bigfloat [140] 41.8% [164] 2801(0.9%) 2801(0.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 ------------------------------------------------------------------------------------------- table-ref [92] 12.4% ??? [136] 12.4% simplify* [149] 12.7% match-e [59] 25.1% one-iter [55] 37.4% [165] 2304(0.7%) 2304(0.7%) set-member? ...ts/racket/private/generic.rkt:472:9 ------------------------------------------------------------------------------------------- composed [5] 16.5% loop [202] 16.7% hash-ref! [184] 16.9% taylor [148] 49.8% [166] 1773(0.6%) 0(0.0%) taylor-quotient ...sting/src/core/taylor.rkt:328:0 normalize-series [179] 67.0% simplify [134] 33.0% ------------------------------------------------------------------------------------------- approximate [133] 20.4% taylor [148] 39.4% simplify [134] 40.2% [167] 1460(0.5%) 1460(0.5%) debug-print ...bie/alt-testing/src/debug.rkt:107:0 ------------------------------------------------------------------------------------------- simplify-node [153] 100.0% [168] 868(0.3%) 582(0.2%) combine-aterms ...esting/src/core/reduce.rkt:183:0 hash-ref! [184] 33.0% ------------------------------------------------------------------------------------------- build-compound-type-name [155] 100.0% [169] 856(0.3%) 290(0.1%) contract-struct-name ...ract/private/prop.rkt:98:0 reverse [185] 66.1% build-compound-type-name [155] 16.9% ------------------------------------------------------------------------------------------- dict-ref-contract [147] 100.0% [170] 576(0.2%) 576(0.2%) dict-key-contract ...collects/racket/dict.rkt:71:0 ------------------------------------------------------------------------------------------- taylor [148] 100.0% [171] 576(0.2%) 0(0.0%) taylor-exact ...-testing/src/core/taylor.rkt:252:0 loop [202] 100.0% ------------------------------------------------------------------------------------------- simplify-node [153] 100.0% [172] 552(0.2%) 288(0.1%) combine-mterms ...esting/src/core/reduce.rkt:191:0 hash-ref! [184] 48.0% ------------------------------------------------------------------------------------------- simplify* [149] 100.0% [173] 300(0.1%) 300(0.1%) get-evaluator ...src/function-definitions.rkt:61:0 ------------------------------------------------------------------------------------------- bftan [151] 100.0% [174] 292(0.1%) 292(0.1%) ??? ...hare/racket/collects/ffi/unsafe.rkt:1450:12 ------------------------------------------------------------------------------------------- simplify-node [153] 100.0% [175] 290(0.1%) 290(0.1%) gather-multiplicative-terms ...re/reduce.rkt:116:0 ------------------------------------------------------------------------------------------- make-multiplication-node [159] 100.0% [176] 270(0.1%) 0(0.0%) make-multiplication-subnode ...re/reduce.rkt:240:0 mterm->expr [182] 100.0% ------------------------------------------------------------------------------------------- ??? [156] 7.3% ??? [101] 8.2% handle-the-hash [108] 29.9% ??? [161] 54.6% [177] 10589(3.3%) 2584(0.8%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [161] 43.8% ??? [188] 22.0% ??? [186] 4.3% ??? [195] 2.8% check-list [197] 2.8% ------------------------------------------------------------------------------------------- simplify* [149] 4.5% flag-set? [53] 4.5% table-ref [92] 8.7% ??? [163] 17.5% ??? [136] 30.2% ->flonum [135] 34.6% [178] 6553(2.1%) 1730(0.5%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [187] 43.1% reverse [185] 30.5% ------------------------------------------------------------------------------------------- taylor-invert [6] 12.7% taylor [148] 37.0% taylor-quotient [166] 50.3% [179] 2362(0.7%) 0(0.0%) normalize-series ...ting/src/core/taylor.rkt:301:0 hash-ref! [184] 87.3% simplify [134] 12.7% ------------------------------------------------------------------------------------------- ??? [101] 19.9% ??? [161] 80.1% [180] 1446(0.5%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:287:9 check-hash/c [189] 100.0% ------------------------------------------------------------------------------------------- ??? [160] 100.0% [181] 343(0.1%) 343(0.1%) bflte? ...lib/math/private/bigfloat/mpfr.rkt:962:9 ------------------------------------------------------------------------------------------- make-multiplication-subnode [176] 100.0% [182] 270(0.1%) 0(0.0%) mterm->expr ...t-testing/src/core/reduce.rkt:270:0 f8 [183] 100.0% ------------------------------------------------------------------------------------------- composed [196] 0.1% approximate [133] 0.3% mterm->expr [182] 0.5% eval-prog [127] 1.2% hash-ref! [184] 2.0% taylor [148] 2.0% rewriter [44] 2.5% simplify [134] 13.5% loop [202] 14.0% split-table [27] 63.9% [183] 58528(18.3%) 10206(3.2%) f8 ...et/collects/racket/match/compiler.rkt:548:40 loop [202] 80.9% taylor [148] 4.0% get-sigs [87] 3.0% ...row-higher-order.rkt:375:33 [126] 1.2% composed [196] 0.1% ------------------------------------------------------------------------------------------- combine-aterms [168] 0.1% combine-mterms [172] 0.2% ??? [200] 0.4% localize-error [40] 1.0% update-leader! [67] 1.3% ??? [3] 1.9% normalize-series [179] 2.5% composed [5] 4.3% ??? [9] 5.1% compile [137] 7.0% ??? [4] 7.7% simplify* [149] 8.4% approximate [133] 8.4% ??? [190] 9.0% ??? [192] 9.1% ??? [191] 10.1% loop [202] 11.3% ??? [160] 11.8% [184] 22096(6.9%) 4933(1.5%) hash-ref! .../racket/private/more-scheme.rkt:377:2 ??? [193] 13.0% ??? [4] 12.8% simplify [134] 11.2% ??? [3] 10.4% ??? [191] 10.1% ??? [192] 9.1% ??? [190] 9.0% f8 [183] 5.3% taylor [148] 2.4% bigfloat-hash [201] 1.7% ??? [200] 0.5% taylor-quotient [166] 0.5% ------------------------------------------------------------------------------------------- table-ref [92] 2.8% ??? [116] 2.9% update-leader! [67] 2.9% contract-struct-name [169] 5.6% ??? [84] 8.6% ??? [78] 14.3% one-iter [55] 14.4% return/no-unsupplied [178] 19.8% match-e [59] 28.7% [185] 10097(3.2%) 10097(3.2%) reverse ...collects/racket/private/reverse.rkt:6:4 ------------------------------------------------------------------------------------------- ??? [177] 6.7% ...row-higher-order.rkt:375:33 [126] 8.4% ??? [91] 8.5% dict-ref-contract [147] 16.5% ??? [161] 59.9% [186] 6789(2.1%) 580(0.2%) ??? ...ects/racket/contract/private/guts.rkt:794:8 contract? [194] 51.3% dict? [198] 25.0% ??? [91] 8.4% ^TYPE? [212] 6.7% ------------------------------------------------------------------------------------------- one-iter [55] 38.1% return/no-unsupplied [178] 61.9% [187] 4558(1.4%) 4558(1.4%) filter ...t/collects/racket/private/list.rkt:275:2 ------------------------------------------------------------------------------------------- ??? [177] 100.0% [188] 2331(0.7%) 1758(0.6%) ??? ...ects/racket/contract/private/list.rkt:763:7 check-list [197] 12.4% ??? [195] 12.2% ------------------------------------------------------------------------------------------- ??? [180] 100.0% [189] 1446(0.5%) 288(0.1%) check-hash/c ...ket/contract/private/hash.rkt:86:0 flat-contract? [199] 80.1% ------------------------------------------------------------------------------------------- hash-ref! [184] 100.0% [190] 12174(3.8%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:44:15 hash-ref! [184] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [184] 100.0% [191] 11015(3.4%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:338:33 hash-ref! [184] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [184] 100.0% [192] 10153(3.2%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:295:23 hash-ref! [184] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [184] 100.0% [193] 3766(1.2%) 588(0.2%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [202] 94.1% ------------------------------------------------------------------------------------------- ??? [186] 100.0% [194] 3484(1.1%) 0(0.0%) contract? ...acket/contract/private/guts.rkt:125:0 coerce-contract/f [204] 58.5% simple-flat-contract? [203] 41.5% ------------------------------------------------------------------------------------------- ??? [188] 11.4% ??? [177] 11.8% ??? [125] 76.8% [195] 2498(0.8%) 550(0.2%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [205] 66.1% ??? [207] 11.8% ------------------------------------------------------------------------------------------- f8 [183] 25.1% argmins [152] 74.9% [196] 2318(0.7%) 0(0.0%) composed ...ollects/racket/private/list.rkt:340:16 errors [115] 74.9% f8 [183] 25.1% ------------------------------------------------------------------------------------------- err-lsts->split-indices [10] 14.1% ??? [188] 14.3% choose-immutable [89] 14.4% ??? [101] 14.4% ??? [177] 14.5% match-e [59] 28.3% [197] 2016(0.6%) 2016(0.6%) check-list ...ollects/racket/private/for.rkt:690:2 ------------------------------------------------------------------------------------------- ??? [186] 100.0% [198] 1700(0.5%) 1700(0.5%) dict? ...ollects/racket/private/generic.rkt:146:11 ------------------------------------------------------------------------------------------- check-hash/c [189] 100.0% [199] 1158(0.4%) 0(0.0%) flat-contract? .../contract/private/guts.rkt:129:0 simple-flat-contract? [203] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [184] 100.0% [200] 1152(0.4%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:408:23 hash-ref! [184] 74.9% ??? [9] 25.1% ------------------------------------------------------------------------------------------- hash-ref! [184] 100.0% [201] 1141(0.4%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 bfcanonicalize [206] 100.0% ------------------------------------------------------------------------------------------- set-precompute! [209] 0.1% iterate-egraph! [50] 0.1% taylor-exact [171] 0.1% loop [43] 0.2% point-best-alt [104] 0.9% mk-enode-rec! [58] 1.0% option-on-expr [2] 1.1% taylor [148] 1.2% loop! [66] 1.5% ??? [125] 1.7% ??? [193] 2.3% match-e [59] 4.5% f8 [183] 9.5% loop [202] 75.6% [202] 101170(31.7%) 3914(1.2%) loop .../private/map.rkt:40:19 loop [202] 75.6% f8 [183] 6.4% option-on-expr [2] 2.4% hash-ref! [184] 2.2% errors [115] 2.0% ...row-higher-order.rkt:375:33 [126] 1.7% loop! [66] 1.4% step [208] 1.3% foldl [211] 1.3% simplify* [149] 1.0% mk-enode! [65] 0.6% keyword-apply [216] 0.6% mk-enode-rec! [58] 0.4% simplify-node [153] 0.3% taylor-invert [6] 0.2% taylor [148] 0.2% ??? [125] 0.2% taylor-quotient [166] 0.1% simplify [134] 0.1% set-precompute! [209] 0.1% composed [5] 0.1% free-variables [215] 0.1% setfindf [210] 0.1% ??? [14] 0.0% ------------------------------------------------------------------------------------------- flat-contract? [199] 44.5% contract? [194] 55.5% [203] 2604(0.8%) 2604(0.8%) simple-flat-contract? ...ct/private/guts.rkt:141:0 ------------------------------------------------------------------------------------------- contract? [194] 100.0% [204] 2038(0.6%) 880(0.3%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [213] 56.8% ------------------------------------------------------------------------------------------- ??? [195] 100.0% [205] 1652(0.5%) 1202(0.4%) ??? ...ects/racket/contract/private/orc.rkt:112:15 ^TYPE? [212] 27.2% ------------------------------------------------------------------------------------------- bigfloat-hash [201] 100.0% [206] 1141(0.4%) 0(0.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 bitwise-first-bit-set [214] 100.0% ------------------------------------------------------------------------------------------- ??? [195] 100.0% [207] 296(0.1%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:117:8 eqables-pred [217] 100.0% ------------------------------------------------------------------------------------------- loop [202] 100.0% [208] 2024(0.6%) 1146(0.4%) step .../racket/collects/racket/function.rkt:145:9 sort [221] 43.4% ------------------------------------------------------------------------------------------- loop [202] 100.0% [209] 2010(0.6%) 0(0.0%) set-precompute! ...ing/src/core/simplify.rkt:193:0 loop [202] 71.5% make-sequence [218] 14.3% ??? [223] 14.2% ------------------------------------------------------------------------------------------- loop [202] 100.0% [210] 1437(0.4%) 1154(0.4%) setfindf ...erbie/alt-testing/src/common.rkt:186:0 custom-in-set [219] 19.7% ------------------------------------------------------------------------------------------- loop [202] 100.0% [211] 1430(0.4%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:248:4 merge2 [220] 100.0% ------------------------------------------------------------------------------------------- ??? [138] 25.0% ??? [205] 37.3% ??? [186] 37.6% [212] 1204(0.4%) 1204(0.4%) ^TYPE? .../ffi/unsafe.rkt:1621:20 ------------------------------------------------------------------------------------------- coerce-contract/f [204] 100.0% [213] 1158(0.4%) 1158(0.4%) coerce-simple-value ...ract/private/guts.rkt:385:0 ------------------------------------------------------------------------------------------- bfcanonicalize [206] 100.0% [214] 1141(0.4%) 1141(0.4%) bitwise-first-bit-set ...hmetic/bitwise-6.rkt:35:0 ------------------------------------------------------------------------------------------- loop [202] 100.0% [215] 582(0.2%) 0(0.0%) free-variables ...t-testing/src/programs.rkt:102:0 variable? [68] 100.0% ------------------------------------------------------------------------------------------- loop [202] 100.0% [216] 580(0.2%) 0(0.0%) keyword-apply ...lects/racket/private/kw.rkt:478:2 loop [222] 100.0% ------------------------------------------------------------------------------------------- ??? [207] 100.0% [217] 296(0.1%) 296(0.1%) eqables-pred ...et/contract/private/orc.rkt:100:10 ------------------------------------------------------------------------------------------- substitute-e [63] 4.7% ??? [74] 4.7% set-precompute! [209] 4.7% reduce-to-single! [64] 4.8% ??? [84] 4.8% update-en-expr [88] 19.0% list-cartesian-product [70] 19.0% match-e [59] 38.2% [218] 6069(1.9%) 5490(1.7%) make-sequence ...ects/racket/private/for.rkt:557:2 :hash-gen [225] 9.5% ------------------------------------------------------------------------------------------- setfindf [210] 19.7% match-e [59] 80.3% [219] 1437(0.4%) 1437(0.4%) custom-in-set ...acket/private/set-types.rkt:580:0 ------------------------------------------------------------------------------------------- foldl [211] 100.0% [220] 1430(0.4%) 0(0.0%) merge2 ...bie/alt-testing/src/core/ematch.rkt:31:0 assoc [224] 100.0% ------------------------------------------------------------------------------------------- step [208] 100.0% [221] 878(0.3%) 878(0.3%) sort ...cket/collects/racket/private/list.rkt:43:2 ------------------------------------------------------------------------------------------- keyword-apply [216] 100.0% [222] 580(0.2%) 580(0.2%) loop ...cket/collects/racket/private/kw.rkt:518:13 ------------------------------------------------------------------------------------------- set-precompute! [209] 100.0% [223] 285(0.1%) 285(0.1%) ??? .../racket/collects/racket/function.rkt:101:10 ------------------------------------------------------------------------------------------- substitute-e [63] 16.7% merge2 [220] 83.3% [224] 1718(0.5%) 1718(0.5%) assoc ...t/collects/racket/private/list.rkt:196:13 ------------------------------------------------------------------------------------------- make-sequence [218] 100.0% [225] 579(0.2%) 579(0.2%) :hash-gen ...collects/racket/private/for.rkt:781:4 -------------------------------------------------------------------------------------------