Profiling results ----------------- Total cpu time observed: 701136ms (out of 701575ms) Number of samples taken: 2505 (once every 280ms) (Hiding functions with self<1.0% and local<2.0%: 27 of 281 hidden) ============================================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================================================ [1] 701136(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [11] 100.0% -------------------------------------------------------------------------------------------- loop [206] 100.0% [2] 213041(30.4%) 0(0.0%) option-on-expr ...esting/src/core/regimes.rkt:83:0 sindices->spoints [13] 91.3% loop [206] 4.3% err-lsts->split-indices [15] 2.1% sort-context-on-expr [16] 1.9% pick-errors [18] 0.3% eval-prog [67] 0.1% -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [3] 191808(27.4%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:44:15 ??? [185] 96.6% hash-ref! [192] 2.5% simplify [12] 0.9% -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [4] 188723(26.9%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:285:26 ??? [185] 59.9% hash-ref! [192] 38.3% simplify [12] 1.8% -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [5] 53394(7.6%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:67:15 ??? [167] 92.6% hash-ref! [192] 7.4% -------------------------------------------------------------------------------------------- loop [206] 47.7% gather-additive-terms [213] 52.3% [6] 6502(0.9%) 0(0.0%) make-multiplication-node .../core/reduce.rkt:230:0 make-multiplication-subnode [14] 100.0% -------------------------------------------------------------------------------------------- loop [206] 100.0% [7] 5626(0.8%) 1398(0.2%) set-precompute! ...ing/src/core/simplify.rkt:193:0 loop [206] 60.1% eval-const-expr [17] 15.0% -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [8] 5393(0.8%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:483:23 simplify [12] 84.1% hash-ref! [192] 15.9% -------------------------------------------------------------------------------------------- taylor [227] 100.0% [9] 5025(0.7%) 0(0.0%) taylor-invert ...testing/src/core/taylor.rkt:312:0 simplify [12] 55.6% normalize-series [176] 44.4% -------------------------------------------------------------------------------------------- loop [206] 100.0% [10] 2534(0.4%) 836(0.1%) setfindf ...erbie/alt-testing/src/common.rkt:186:0 ??? [116] 33.5% make-sequence [252] 33.5% -------------------------------------------------------------------------------------------- ??? [1] 100.0% [11] 701136(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [19] 100.0% -------------------------------------------------------------------------------------------- normalize-series [176] 0.1% taylor-sqrt [242] 0.3% ??? [198] 0.6% ??? [199] 0.6% ??? [3] 0.8% taylor-invert [9] 1.4% ??? [8] 2.3% ??? [4] 2.7% hash-ref! [192] 91.0% [12] 201042(28.7%) 0(0.0%) simplify ...e/alt-testing/src/core/reduce.rkt:16:0 f44 [166] 93.3% debug-print [239] 4.3% simplify-node [21] 0.8% loop [24] 0.7% debug [68] 0.7% simplify* [212] 0.1% -------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [13] 194589(27.8%) 0(0.0%) sindices->spoints ...ng/src/core/regimes.rkt:136:0 loop [20] 100.0% -------------------------------------------------------------------------------------------- make-multiplication-node [6] 100.0% [14] 6502(0.9%) 277(0.0%) make-multiplication-subnode ...re/reduce.rkt:240:0 make-multiplication-subsubnode [23] 48.1% group-by [231] 30.1% make-multiplication-subsubsubnode [30] 13.1% simple-compose [40] 4.5% -------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [15] 4424(0.6%) 3328(0.5%) err-lsts->split-indices .../core/regimes.rkt:239:0 ??? [243] 12.6% check-list [248] 6.3% loop [61] 5.9% -------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [16] 4132(0.6%) 0(0.0%) sort-context-on-expr ...sting/src/points.rkt:115:0 ??? [22] 100.0% -------------------------------------------------------------------------------------------- set-precompute! [7] 100.0% [17] 845(0.1%) 0(0.0%) eval-const-expr ...-testing/src/programs.rkt:168:0 f44 [166] 100.0% -------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [18] 534(0.1%) 0(0.0%) pick-errors ...-testing/src/core/regimes.rkt:201:0 ??? [25] 51.2% point->alt [26] 48.8% -------------------------------------------------------------------------------------------- profile-thunk [11] 100.0% [19] 701136(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [27] 100.0% -------------------------------------------------------------------------------------------- sindices->spoints [13] 46.6% loop [20] 53.4% [20] 194589(27.8%) 0(0.0%) loop .../private/map.rkt:54:19 loop [20] 53.4% sidx->spoint [28] 46.6% -------------------------------------------------------------------------------------------- gather-additive-terms [213] 7.9% simplify [12] 15.8% loop [206] 76.4% [21] 8945(1.3%) 0(0.0%) simplify-node ...-testing/src/core/reduce.rkt:50:0 gather-additive-terms [213] 45.9% gather-multiplicative-terms [31] 30.4% combine-aterms [32] 15.8% combine-mterms [33] 7.9% -------------------------------------------------------------------------------------------- step [217] 5.9% group-by [231] 6.0% sort-context-on-expr [16] 88.1% [22] 4692(0.7%) 278(0.0%) ??? ...cket/collects/racket/private/sort.rkt:369:3 generic-sort/key [29] 88.1% loop [35] 6.0% -------------------------------------------------------------------------------------------- make-multiplication-subnode [14] 100.0% [23] 3126(0.4%) 0(0.0%) make-multiplication-subsubnode ...reduce.rkt:250:0 make-multiplication-subsubsubnode [30] 63.5% partition [34] 18.3% mterm->expr [39] 18.2% -------------------------------------------------------------------------------------------- simplify [12] 16.2% loop [24] 83.8% [24] 1424(0.2%) 288(0.0%) loop ...erbie/alt-testing/src/core/reduce.rkt:18:2 loop [24] 83.8% expression->type [44] 7.9% type-of [45] 6.0% -------------------------------------------------------------------------------------------- pick-errors [18] 49.4% loop [206] 50.6% [25] 554(0.1%) 0(0.0%) ??? ...rbie/alt-testing/src/core/regimes.rkt:194:2 ??? [150] 100.0% -------------------------------------------------------------------------------------------- pick-errors [18] 100.0% [26] 261(0.0%) 0(0.0%) point->alt ...t-testing/src/core/regimes.rkt:188:0 eval-prog [67] 100.0% -------------------------------------------------------------------------------------------- ??? [19] 100.0% [27] 701136(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 run-improve [36] 98.1% prepare-points [50] 1.9% -------------------------------------------------------------------------------------------- loop [20] 100.0% [28] 194589(27.8%) 0(0.0%) sidx->spoint ...testing/src/core/regimes.rkt:146:2 binary-search-floats [37] 100.0% -------------------------------------------------------------------------------------------- ??? [22] 100.0% [29] 4132(0.6%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [38] 100.0% -------------------------------------------------------------------------------------------- make-multiplication-subsubsubnode [30] 14.9% make-multiplication-subnode [14] 25.1% make-multiplication-subsubnode [23] 59.9% [30] 2834(0.4%) 0(0.0%) make-multiplication-subsubsubnode ...uce.rkt:262:0 mterm->expr [39] 85.1% make-multiplication-subsubsubnode [30] 14.9% -------------------------------------------------------------------------------------------- loop [206] 10.5% simplify-node [21] 89.5% [31] 2720(0.4%) 850(0.1%) gather-multiplicative-terms ...re/reduce.rkt:116:0 simple-compose [40] 53.0% loop [206] 21.0% -------------------------------------------------------------------------------------------- simplify-node [21] 100.0% [32] 1417(0.2%) 566(0.1%) combine-aterms ...esting/src/core/reduce.rkt:183:0 hash-ref! [192] 39.9% make-sequence [252] 20.2% -------------------------------------------------------------------------------------------- simplify-node [21] 100.0% [33] 1406(0.2%) 272(0.0%) combine-mterms ...esting/src/core/reduce.rkt:191:0 hash-ref! [192] 60.0% reverse [250] 20.6% -------------------------------------------------------------------------------------------- make-multiplication-subsubnode [23] 100.0% [34] 572(0.1%) 287(0.0%) partition ...racket/collects/racket/list.rkt:556:0 reverse [250] 49.8% -------------------------------------------------------------------------------------------- ??? [22] 100.0% [35] 281(0.0%) 281(0.0%) loop ...et/collects/racket/private/sort.rkt:204:14 -------------------------------------------------------------------------------------------- ??? [27] 100.0% [36] 688036(98.1%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 run-iter! [41] 68.8% get-final-combination [42] 31.0% setup-alt-simplified [46] 0.0% -------------------------------------------------------------------------------------------- sidx->spoint [28] 100.0% [37] 194589(27.8%) 0(0.0%) binary-search-floats ...src/core/regimes.rkt:125:0 pred [43] 100.0% -------------------------------------------------------------------------------------------- generic-sort/key [29] 41.0% copying-mergesort [38] 59.0% [38] 4132(0.6%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [38] 59.0% ??? [150] 39.6% ??? [149] 1.4% -------------------------------------------------------------------------------------------- make-multiplication-subsubnode [23] 16.8% make-multiplication-subsubsubnode [30] 83.2% [39] 3405(0.5%) 575(0.1%) mterm->expr ...t-testing/src/core/reduce.rkt:270:0 expression->type [44] 49.8% type-of [45] 16.7% free-variables [215] 8.5% f44 [166] 8.2% -------------------------------------------------------------------------------------------- make-multiplication-subnode [14] 15.5% gather-multiplicative-terms [31] 84.5% [40] 1874(0.3%) 1874(0.3%) simple-compose ...s/racket/private/list.rkt:426:10 -------------------------------------------------------------------------------------------- run-improve [36] 100.0% [41] 473282(67.5%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 simplify! [47] 52.4% gen-series! [49] 43.4% finalize-iter! [51] 2.9% choose-best-alt! [52] 0.7% gen-rewrites! [53] 0.5% localize! [54] 0.1% -------------------------------------------------------------------------------------------- run-improve [36] 100.0% [42] 213322(30.4%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:255:0 split-table [48] 99.9% loop [206] 0.1% -------------------------------------------------------------------------------------------- binary-search-floats [37] 100.0% [43] 194589(27.8%) 0(0.0%) pred ...ie/alt-testing/src/core/regimes.rkt:151:17 prepare-points [50] 94.0% errors [138] 5.7% ??? [149] 0.1% -------------------------------------------------------------------------------------------- f44 [166] 5.0% rewriter [65] 9.7% expression->type [44] 11.5% loop [24] 13.5% mterm->expr [39] 60.3% [44] 2810(0.4%) 289(0.0%) expression->type ...esting/src/type-check.rkt:45:0 variable? [96] 40.2% ??? [116] 20.0% f44 [166] 18.0% expression->type [44] 11.5% -------------------------------------------------------------------------------------------- mterm->expr [39] 49.8% loop [24] 50.2% [45] 1142(0.2%) 1142(0.2%) type-of ...bie/alt-testing/src/type-check.rkt:38:0 -------------------------------------------------------------------------------------------- run-improve [36] 100.0% [46] 287(0.0%) 0(0.0%) setup-alt-simplified ...-testing/src/glue.rkt:49:0 simplify-alt [55] 100.0% -------------------------------------------------------------------------------------------- run-iter! [41] 100.0% [47] 248036(35.4%) 0(0.0%) simplify! ...ie/alt-testing/src/mainloop.rkt:146:0 ??? [56] 99.9% debug-print [239] 0.1% -------------------------------------------------------------------------------------------- get-final-combination [42] 100.0% [48] 213041(30.4%) 0(0.0%) split-table ...rbie/alt-testing/src/glue.rkt:162:0 f44 [166] 100.0% -------------------------------------------------------------------------------------------- run-iter! [41] 100.0% [49] 205290(29.3%) 0(0.0%) gen-series! .../alt-testing/src/mainloop.rkt:120:0 taylor-alt [57] 100.0% -------------------------------------------------------------------------------------------- ??? [27] 6.6% pred [43] 92.8% [50] 197202(28.1%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 make-exacts* [63] 83.4% loop [64] 12.2% make-exacts [58] 3.0% debug-print [239] 0.3% debug [68] 0.3% loop [61] 0.1% reverse [250] 0.1% -------------------------------------------------------------------------------------------- run-iter! [41] 100.0% [51] 13790(2.0%) 0(0.0%) finalize-iter! ...t-testing/src/mainloop.rkt:160:0 ??? [116] 100.0% -------------------------------------------------------------------------------------------- run-iter! [41] 100.0% [52] 3088(0.4%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [116] 100.0% -------------------------------------------------------------------------------------------- run-iter! [41] 100.0% [53] 2520(0.4%) 0(0.0%) gen-rewrites! ...lt-testing/src/mainloop.rkt:133:0 alt-rewrite-rm [59] 88.8% loop [206] 11.2% -------------------------------------------------------------------------------------------- run-iter! [41] 100.0% [54] 558(0.1%) 0(0.0%) localize! ...ie/alt-testing/src/mainloop.rkt:115:0 localize-error [60] 100.0% -------------------------------------------------------------------------------------------- setup-alt-simplified [46] 100.0% [55] 287(0.0%) 0(0.0%) simplify-alt ...rbie/alt-testing/src/glue.rkt:76:0 simplify [62] 100.0% -------------------------------------------------------------------------------------------- simplify! [47] 100.0% [56] 247774(35.3%) 0(0.0%) ??? ...s/herbie/alt-testing/src/mainloop.rkt:152:8 simplify [62] 100.0% -------------------------------------------------------------------------------------------- gen-series! [49] 100.0% [57] 205290(29.3%) 0(0.0%) taylor-alt ...erbie/alt-testing/src/glue.rkt:134:0 ??? [149] 100.0% -------------------------------------------------------------------------------------------- prepare-points [50] 100.0% [58] 5943(0.8%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [64] 62.0% make-exacts* [63] 33.3% debug [68] 4.7% -------------------------------------------------------------------------------------------- gen-rewrites! [53] 100.0% [59] 2236(0.3%) 0(0.0%) alt-rewrite-rm ...testing/src/alternative.rkt:88:0 rewriter [65] 100.0% -------------------------------------------------------------------------------------------- localize! [54] 100.0% [60] 558(0.1%) 0(0.0%) localize-error ...sting/src/core/localize.rkt:47:0 hash-ref! [192] 100.0% -------------------------------------------------------------------------------------------- err-lsts->split-indices [15] 5.4% prepare-points [50] 7.4% loop [61] 87.3% [61] 538(0.1%) 538(0.1%) loop ...hare/racket/collects/racket/list.rkt:158:2 loop [61] 87.3% -------------------------------------------------------------------------------------------- simplify-alt [55] 0.1% ??? [56] 99.9% [62] 248060(35.4%) 0(0.0%) simplify ...alt-testing/src/core/simplify.rkt:43:0 ??? [66] 99.9% *simplify-rules* [71] 0.1% -------------------------------------------------------------------------------------------- make-exacts [58] 1.2% prepare-points [50] 98.8% [63] 166396(23.7%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [67] 100.0% -------------------------------------------------------------------------------------------- make-exacts [58] 13.3% prepare-points [50] 86.7% [64] 27770(4.0%) 279(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [206] 97.0% debug-print [239] 1.0% debug [68] 1.0% -------------------------------------------------------------------------------------------- alt-rewrite-rm [59] 38.3% matcher [69] 61.7% [65] 2236(0.3%) 280(0.0%) rewriter ...alt-testing/src/core/matcher.rkt:131:2 matcher [69] 61.7% *rules* [70] 24.8% expression->type [44] 4.1% f44 [166] 3.1% -------------------------------------------------------------------------------------------- simplify [62] 100.0% [66] 247774(35.3%) 0(0.0%) ??? ...rbie/alt-testing/src/core/simplify.rkt:77:0 iterate-egraph! [72] 90.8% loop [73] 8.8% mk-egraph [76] 0.3% -------------------------------------------------------------------------------------------- point->alt [26] 0.1% option-on-expr [2] 0.2% errors [138] 7.5% make-exacts* [63] 92.2% [67] 180462(25.7%) 24282(3.5%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 compile [92] 82.0% f44 [166] 3.1% ??? [149] 0.6% ??? [77] 0.3% go [78] 0.2% -------------------------------------------------------------------------------------------- loop [64] 7.5% make-exacts [58] 7.6% prepare-points [50] 15.5% taylor [227] 30.9% simplify [12] 38.5% [68] 3638(0.5%) 562(0.1%) debug ...es/herbie/alt-testing/src/debug.rkt:102:0 cur-debug-level [75] 30.7% get-setting [82] 23.3% ...sting/src/common.rkt:47:2 [168] 15.0% assoc-ref [188] 7.9% return/no-unsupplied [228] 7.7% -------------------------------------------------------------------------------------------- rewriter [65] 48.8% matcher [69] 51.2% [69] 2236(0.3%) 0(0.0%) matcher .../alt-testing/src/core/matcher.rkt:167:2 matcher [69] 51.2% rewriter [65] 48.8% -------------------------------------------------------------------------------------------- rewriter [65] 100.0% [70] 1402(0.2%) 0(0.0%) *rules* .../alt-testing/src/syntax/rules.rkt:565:0 flag-set? [74] 79.3% ??? [243] 20.7% -------------------------------------------------------------------------------------------- simplify [62] 100.0% [71] 286(0.0%) 0(0.0%) *simplify-rules* ...ing/src/syntax/rules.rkt:570:0 flag-set? [74] 100.0% -------------------------------------------------------------------------------------------- ??? [66] 100.0% [72] 225086(32.1%) 0(0.0%) iterate-egraph! ...ing/src/core/simplify.rkt:105:0 one-iter [79] 97.5% loop [206] 2.5% -------------------------------------------------------------------------------------------- ??? [66] 100.0% [73] 21848(3.1%) 1111(0.2%) loop ...ie/alt-testing/src/core/simplify.rkt:237:2 loop [80] 48.7% mk-min [81] 45.0% pack-leader [253] 1.3% -------------------------------------------------------------------------------------------- *simplify-rules* [71] 20.5% *rules* [70] 79.5% [74] 1398(0.2%) 554(0.1%) flag-set? ...erbie/alt-testing/src/config.rkt:34:0 return/no-unsupplied [228] 40.5% ...sting/src/common.rkt:47:2 [168] 19.9% -------------------------------------------------------------------------------------------- debug [68] 100.0% [75] 1118(0.2%) 280(0.0%) cur-debug-level .../alt-testing/src/debug.rkt:38:2 get-setting [82] 50.4% hash-ref! [192] 24.5% -------------------------------------------------------------------------------------------- ??? [66] 100.0% [76] 842(0.1%) 0(0.0%) mk-egraph ...alt-testing/src/core/egraph.rkt:131:0 mk-enode-rec! [83] 100.0% -------------------------------------------------------------------------------------------- eval-prog [67] 100.0% [77] 558(0.1%) 280(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [85] 49.9% -------------------------------------------------------------------------------------------- eval-prog [67] 100.0% [78] 284(0.0%) 0(0.0%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [84] 100.0% -------------------------------------------------------------------------------------------- iterate-egraph! [72] 100.0% [79] 219460(31.3%) 8688(1.2%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 match-e [86] 40.3% mk-enode! [93] 12.7% merge-egraph-nodes! [87] 11.5% loop! [94] 9.4% custom-set-member? [89] 9.0% substitute-e [90] 7.9% list-member? [91] 2.2% update-leader! [95] 1.2% filter [241] 0.8% set-member? [229] 0.6% reverse [250] 0.2% pack-leader [253] 0.1% -------------------------------------------------------------------------------------------- loop [73] 100.0% [80] 10637(1.5%) 0(0.0%) loop ...hare/racket/collects/racket/list.rkt:796:4 expression-cost [88] 100.0% -------------------------------------------------------------------------------------------- loop [73] 100.0% [81] 9824(1.4%) 0(0.0%) mk-min ...re/racket/collects/racket/list.rkt:786:0 expression-cost [88] 100.0% -------------------------------------------------------------------------------------------- cur-debug-level [75] 39.9% debug [68] 60.1% [82] 1412(0.2%) 1412(0.2%) get-setting ...rbie/alt-testing/src/debug.rkt:96:0 -------------------------------------------------------------------------------------------- mk-egraph [76] 38.7% loop [206] 61.3% [83] 842(0.1%) 0(0.0%) mk-enode-rec! ...testing/src/core/egraph.rkt:122:0 loop [206] 100.0% -------------------------------------------------------------------------------------------- go [78] 33.3% loop [84] 66.7% [84] 284(0.0%) 284(0.0%) loop ...llects/racket/private/qq-and-or.rkt:101:61 loop [84] 66.7% -------------------------------------------------------------------------------------------- ??? [77] 100.0% [85] 278(0.0%) 278(0.0%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 -------------------------------------------------------------------------------------------- match-e [86] 25.8% one-iter [79] 74.2% [86] 88423(12.6%) 27664(3.9%) match-e ...ie/alt-testing/src/core/ematch.rkt:46:0 match-e [86] 25.8% ??? [116] 8.2% loop [206] 6.7% list-cartesian-product [97] 5.1% make-sequence [252] 4.7% reverse [250] 4.4% ??? [98] 4.3% variable? [96] 3.4% do-procedure-reduce-keyword-arity [105] 3.2% ??? [101] 1.9% pack-leader [253] 1.2% set-member? [229] 0.9% filter [241] 0.9% check-list [248] 0.6% -------------------------------------------------------------------------------------------- merge-egraph-nodes! [87] 7.9% one-iter [79] 92.1% [87] 25152(3.6%) 1109(0.2%) merge-egraph-nodes! ...g/src/core/egraph.rkt:153:0 update-leader! [95] 60.5% loop! [94] 17.6% enode-merge! [100] 9.0% merge-egraph-nodes! [87] 7.9% make-sequence [252] 1.1% -------------------------------------------------------------------------------------------- mk-min [81] 48.0% loop [80] 52.0% [88] 20462(2.9%) 282(0.0%) expression-cost ...-testing/src/programs.rkt:209:0 table-ref [117] 64.4% ...sting/src/common.rkt:47:2 [168] 25.9% compile [92] 6.9% -------------------------------------------------------------------------------------------- one-iter [79] 100.0% [89] 19821(2.8%) 19262(2.7%) custom-set-member? ...t/private/set-types.rkt:45:0 set-check-elem [102] 2.8% -------------------------------------------------------------------------------------------- substitute-e [90] 15.6% one-iter [79] 84.4% [90] 17320(2.5%) 0(0.0%) substitute-e ...t-testing/src/core/ematch.rkt:71:0 mk-enode! [93] 74.3% substitute-e [90] 15.6% ??? [116] 5.7% variable? [96] 2.9% assoc [194] 0.8% make-sequence [252] 0.8% -------------------------------------------------------------------------------------------- one-iter [79] 100.0% [91] 4725(0.7%) 0(0.0%) list-member? ...llects/racket/private/set.rkt:24:0 member [99] 100.0% -------------------------------------------------------------------------------------------- expression-cost [88] 0.9% eval-prog [67] 99.1% [92] 149316(21.3%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [192] 100.0% -------------------------------------------------------------------------------------------- loop [206] 2.0% substitute-e [90] 30.9% one-iter [79] 67.1% [93] 41600(5.9%) 2776(0.4%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [103] 90.0% hash-has-key? [119] 2.0% loop [206] 0.7% make-sequence [252] 0.7% -------------------------------------------------------------------------------------------- merge-egraph-nodes! [87] 14.2% loop [206] 31.1% one-iter [79] 54.7% [94] 25727(3.7%) 3086(0.4%) loop! ...rbie/alt-testing/src/core/enode.rkt:192:2 loop [206] 34.4% custom-set-union [112] 34.1% make-immutable-set [104] 16.3% ??? [106] 6.6% set-member? [229] 0.5% -------------------------------------------------------------------------------------------- one-iter [79] 13.4% merge-egraph-nodes! [87] 86.6% [95] 19016(2.7%) 6472(0.9%) update-leader! ...esting/src/core/egraph.rkt:218:0 do-hash-update [240] 51.4% update-en-expr [251] 7.4% custom-set-union! [109] 3.0% reverse [250] 2.8% -------------------------------------------------------------------------------------------- pattern-substitute [181] 2.5% f44 [166] 4.8% free-variables [215] 7.5% expression->type [44] 9.8% substitute-e [90] 12.1% match-e [86] 63.3% [96] 11484(1.6%) 564(0.1%) variable? ...t-testing/src/syntax/syntax.rkt:665:0 ??? [116] 95.1% -------------------------------------------------------------------------------------------- list-cartesian-product [97] 16.7% match-e [86] 83.3% [97] 5880(0.8%) 3636(0.5%) list-cartesian-product ...src/core/ematch.rkt:20:0 make-sequence [252] 31.0% list-cartesian-product [97] 16.7% reverse [250] 4.7% -------------------------------------------------------------------------------------------- match-e [86] 100.0% [98] 4760(0.7%) 0(0.0%) ??? ...e/racket/collects/racket/function.rkt:182:4 do-curry [107] 53.3% do-procedure-reduce-keyword-arity [105] 46.7% -------------------------------------------------------------------------------------------- list-member? [91] 100.0% [99] 4725(0.7%) 4725(0.7%) member ...collects/racket/private/member.rkt:13:21 -------------------------------------------------------------------------------------------- merge-egraph-nodes! [87] 100.0% [100] 2255(0.3%) 280(0.0%) enode-merge! ...t-testing/src/core/enode.rkt:129:0 custom-set-intersect! [108] 50.3% adopt-enode! [110] 24.9% pack-leader [253] 12.5% -------------------------------------------------------------------------------------------- match-e [86] 100.0% [101] 1662(0.2%) 559(0.1%) ??? ...herbie/alt-testing/src/core/ematch.rkt:50:5 make-sequence [252] 66.4% -------------------------------------------------------------------------------------------- custom-set-member? [89] 100.0% [102] 559(0.1%) 559(0.1%) set-check-elem ...cket/private/set-types.rkt:329:0 -------------------------------------------------------------------------------------------- mk-enode! [93] 100.0% [103] 37451(5.3%) 0(0.0%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [111] 100.0% -------------------------------------------------------------------------------------------- loop! [94] 100.0% [104] 8385(1.2%) 8385(1.2%) make-immutable-set .../private/set-types.rkt:948:0 -------------------------------------------------------------------------------------------- ??? [98] 34.3% match-e [86] 65.7% [105] 6470(0.9%) 5620(0.8%) do-procedure-reduce-keyword-arity ...kw.rkt:1689:2 procedure-keywords [113] 13.1% -------------------------------------------------------------------------------------------- loop! [94] 100.0% [106] 3376(0.5%) 282(0.0%) ??? ...erbie/alt-testing/src/core/enode.rkt:202:13 update-en-expr [251] 58.8% reverse [250] 32.8% -------------------------------------------------------------------------------------------- ??? [98] 100.0% [107] 2538(0.4%) 1970(0.3%) do-curry ...cket/collects/racket/function.rkt:71:2 procedure-keywords [113] 22.4% -------------------------------------------------------------------------------------------- enode-merge! [100] 100.0% [108] 1134(0.2%) 1134(0.2%) custom-set-intersect! ...ivate/set-types.rkt:269:0 -------------------------------------------------------------------------------------------- update-leader! [95] 100.0% [109] 566(0.1%) 566(0.1%) custom-set-union! ...t/private/set-types.rkt:245:0 -------------------------------------------------------------------------------------------- enode-merge! [100] 100.0% [110] 560(0.1%) 282(0.0%) adopt-enode! ...t-testing/src/core/enode.rkt:105:0 custom-set-union [112] 49.6% -------------------------------------------------------------------------------------------- new-enode [103] 100.0% [111] 37451(5.3%) 279(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [114] 99.3% -------------------------------------------------------------------------------------------- adopt-enode! [110] 2.9% loop! [94] 97.1% [112] 9752(1.4%) 9184(1.3%) custom-set-union ...et/private/set-types.rkt:168:0 choose-immutable [115] 5.8% -------------------------------------------------------------------------------------------- do-curry [107] 40.1% do-procedure-reduce-keyword-arity [105] 59.9% [113] 1418(0.2%) 1418(0.2%) procedure-keywords .../racket/private/kw.rkt:534:2 -------------------------------------------------------------------------------------------- f44 [166] 1.5% type-of-enode-expr [111] 98.5% [114] 37732(5.4%) 1680(0.2%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 table-ref [117] 37.0% ??? [118] 27.5% ??? [116] 15.6% ...sting/src/common.rkt:47:2 [168] 15.4% -------------------------------------------------------------------------------------------- custom-set-union [112] 100.0% [115] 568(0.1%) 285(0.0%) choose-immutable ...et/private/set-types.rkt:151:0 check-list [248] 49.8% -------------------------------------------------------------------------------------------- pattern-match [232] 0.9% simplify* [212] 1.0% expression->type [44] 1.0% f44 [166] 1.4% setfindf [10] 1.4% ??? [193] 2.8% free-variables [215] 3.4% substitute-e [90] 4.3% choose-best-alt! [52] 5.2% get-sigs [114] 10.0% variable? [96] 18.6% finalize-iter! [51] 23.4% match-e [86] 25.7% [116] 58860(8.4%) 3932(0.6%) ??? ...contract/private/arrow-val-first.rkt:486:18 hash-has-key? [119] 64.6% atab-add-altns [120] 23.4% atab-pick-alt [122] 5.2% -------------------------------------------------------------------------------------------- f44 [166] 1.0% ??? [149] 4.8% expression-cost [88] 45.3% get-sigs [114] 48.0% [117] 29093(4.1%) 5580(0.8%) table-ref ...erbie/alt-testing/src/common.rkt:46:0 ??? [124] 75.1% return/no-unsupplied [228] 1.9% ...sting/src/common.rkt:47:2 [168] 1.0% reverse [250] 1.0% set-member? [229] 0.9% -------------------------------------------------------------------------------------------- ??? [149] 2.6% get-sigs [114] 97.4% [118] 10648(1.5%) 0(0.0%) ??? ...cts/racket/contract/private/arr-i.rkt:855:8 ??? [121] 84.1% handle-the-hash [132] 10.7% get/build-late-neg-projection [151] 2.6% ??? [123] 2.6% -------------------------------------------------------------------------------------------- mk-enode! [93] 2.1% ??? [116] 97.9% [119] 38870(5.5%) 30210(4.3%) hash-has-key? ...ket/private/more-scheme.rkt:372:2 ??? [124] 22.3% -------------------------------------------------------------------------------------------- ??? [116] 100.0% [120] 13790(2.0%) 0(0.0%) atab-add-altns ...ting/src/core/alt-table.rkt:52:0 atab-add-altn [125] 100.0% -------------------------------------------------------------------------------------------- ??? [118] 100.0% [121] 8952(1.3%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:278:4 contract-pos/neg-doubling/proc [126] 100.0% -------------------------------------------------------------------------------------------- ??? [116] 100.0% [122] 3088(0.4%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 point-best-alt [127] 63.6% ??? [149] 27.3% loop [128] 9.1% -------------------------------------------------------------------------------------------- ??? [118] 100.0% [123] 280(0.0%) 0(0.0%) ??? ...private/unconstrained-domain-arrow.rkt:69:2 do-blame-add-context [152] 100.0% -------------------------------------------------------------------------------------------- hash-has-key? [119] 28.4% table-ref [117] 71.6% [124] 30510(4.4%) 14286(2.0%) ??? ...ects/racket/contract/private/list.rkt:814:4 ??? [130] 38.6% handle-the-hash [132] 6.4% arrow-higher-order:lnp [134] 2.8% successfully-got-the-right-kind-of-function [135] 1.8% ??? [187] 0.9% ??? [189] 0.9% -------------------------------------------------------------------------------------------- atab-add-altns [120] 100.0% [125] 13790(2.0%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:239:0 best-and-tied-at-points [129] 87.8% override-at-pnts [133] 10.2% remove-chnged-pnts [137] 2.0% -------------------------------------------------------------------------------------------- ??? [121] 100.0% [126] 8952(1.3%) 1968(0.3%) contract-pos/neg-doubling/proc .../guts.rkt:1062:0 ??? [131] 74.8% ??? [136] 3.2% -------------------------------------------------------------------------------------------- atab-pick-alt [122] 100.0% [127] 1963(0.3%) 0(0.0%) point-best-alt ...ting/src/core/alt-table.rkt:56:0 loop [206] 100.0% -------------------------------------------------------------------------------------------- atab-pick-alt [122] 10.0% loop [128] 90.0% [128] 282(0.0%) 282(0.0%) loop ...cket/collects/racket/private/hash.rkt:25:8 loop [128] 90.0% -------------------------------------------------------------------------------------------- atab-add-altn [125] 100.0% [129] 12108(1.7%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:153:0 errors [138] 100.0% -------------------------------------------------------------------------------------------- ??? [124] 100.0% [130] 11776(1.7%) 5602(0.8%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 blame-add-missing-party [140] 19.2% loop [141] 19.0% update-the-info [142] 7.1% make-keyword-procedure [143] 4.8% ??? [147] 2.4% -------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [126] 100.0% [131] 6699(1.0%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:192:2 ??? [139] 83.2% do-blame-add-context [152] 12.6% blame-add-context [145] 4.2% -------------------------------------------------------------------------------------------- ??? [174] 7.9% ??? [118] 33.8% ??? [124] 58.3% [132] 3363(0.5%) 1130(0.2%) handle-the-hash ...contract/private/hash.rkt:323:0 ??? [187] 66.4% -------------------------------------------------------------------------------------------- atab-add-altn [125] 100.0% [133] 1401(0.2%) 0(0.0%) override-at-pnts ...g/src/core/alt-table.rkt:176:0 errors [138] 100.0% -------------------------------------------------------------------------------------------- ??? [124] 100.0% [134] 840(0.1%) 558(0.1%) arrow-higher-order:lnp ...w-higher-order.rkt:673:7 ??? [146] 33.5% -------------------------------------------------------------------------------------------- ??? [124] 100.0% [135] 541(0.1%) 0(0.0%) successfully-got-the-right-kind-of-function ...5:4 val-has-arrow-collapsible-support? [144] 52.3% arity-checking-wrapper [148] 47.7% -------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [126] 100.0% [136] 284(0.0%) 0(0.0%) ??? ...ts/racket/contract/private/guts.rkt:1057:44 do-blame-add-context [152] 100.0% -------------------------------------------------------------------------------------------- atab-add-altn [125] 100.0% [137] 281(0.0%) 0(0.0%) remove-chnged-pnts ...src/core/alt-table.rkt:167:0 loop [206] 100.0% -------------------------------------------------------------------------------------------- composed [178] 3.1% override-at-pnts [133] 3.9% loop [206] 28.4% pred [43] 30.8% best-and-tied-at-points [129] 33.7% [138] 35918(5.1%) 280(0.0%) errors .../herbie/alt-testing/src/points.rkt:271:0 ??? [150] 56.1% eval-prog [67] 37.7% ??? [149] 4.7% -------------------------------------------------------------------------------------------- ??? [131] 100.0% [139] 5572(0.8%) 283(0.0%) ??? ...ects/racket/contract/private/list.rkt:755:5 get/build-late-neg-projection [151] 80.4% do-blame-add-context [152] 9.9% reverse [250] 4.7% -------------------------------------------------------------------------------------------- ??? [130] 100.0% [140] 2257(0.3%) 2257(0.3%) blame-add-missing-party ...private/blame.rkt:382:0 -------------------------------------------------------------------------------------------- ??? [130] 36.9% loop [141] 63.1% [141] 2233(0.3%) 2233(0.3%) loop ...ts/racket/contract/private/blame.rkt:319:2 loop [141] 63.1% -------------------------------------------------------------------------------------------- ??? [130] 100.0% [142] 838(0.1%) 838(0.1%) update-the-info ...ontract/private/blame.rkt:318:0 -------------------------------------------------------------------------------------------- ??? [130] 100.0% [143] 568(0.1%) 568(0.1%) make-keyword-procedure ...ket/private/kw.rkt:448:4 -------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [135]100.0% [144] 283(0.0%) 283(0.0%) val-has-arrow-collapsible-support? ...le.rkt:116:0 -------------------------------------------------------------------------------------------- ??? [131] 100.0% [145] 282(0.0%) 282(0.0%) blame-add-context ...tract/private/blame.rkt:170:0 -------------------------------------------------------------------------------------------- arrow-higher-order:lnp [134] 100.0% [146] 282(0.0%) 282(0.0%) ??? ...et/contract/private/arity-checking.rkt:19:2 -------------------------------------------------------------------------------------------- ??? [130] 100.0% [147] 277(0.0%) 277(0.0%) ??? ...rivate/unconstrained-domain-arrow.rkt:19:10 -------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [135]100.0% [148] 258(0.0%) 0(0.0%) arity-checking-wrapper ...w-higher-order.rkt:443:0 matches-arity-exactly? [153] 100.0% -------------------------------------------------------------------------------------------- copying-mergesort [38] 0.1% pred [43] 0.1% ??? [236] 0.1% atab-pick-alt [122] 0.4% eval-prog [67] 0.5% errors [138] 0.8% f44 [166] 2.1% loop [206] 3.7% loop [154] 45.9% taylor-alt [57] 45.9% [149] 223756(31.9%) 1120(0.2%) ??? ...tract/private/arrow-higher-order.rkt:375:33 loop [154] 46.0% approximate [155] 45.9% ->flonum [156] 2.3% real->bigfloat [157] 2.2% ??? [193] 0.6% table-ref [117] 0.6% ...sting/src/common.rkt:47:2 [168] 0.6% best-alt [163] 0.4% ??? [118] 0.1% ??? [214] 0.1% -------------------------------------------------------------------------------------------- ??? [25] 1.1% copying-mergesort [38] 7.6% errors [138] 39.6% loop [206] 51.7% [150] 50860(7.3%) 28125(4.0%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 loop [206] 14.3% ??? [169] 7.3% bf* [159] 7.1% ??? [160] 4.9% ??? [161] 4.4% ??? [214] 3.9% ??? [162] 1.7% -------------------------------------------------------------------------------------------- ??? [165] 2.9% ??? [118] 2.9% ??? [139] 94.1% [151] 4758(0.7%) 561(0.1%) get/build-late-neg-projection ...te/guts.rkt:881:0 ??? [158] 76.5% contract-struct-late-neg-projection [164] 8.8% ??? [165] 2.9% -------------------------------------------------------------------------------------------- ??? [123] 14.3% ??? [136] 14.5% ??? [139] 28.1% ??? [131] 43.1% [152] 1958(0.3%) 1958(0.3%) do-blame-add-context ...ct/private/blame.rkt:192:0 -------------------------------------------------------------------------------------------- arity-checking-wrapper [148] 100.0% [153] 258(0.0%) 258(0.0%) matches-arity-exactly? ...te/arrow-common.rkt:70:0 -------------------------------------------------------------------------------------------- ??? [149] 26.9% loop [154] 73.1% [154] 205573(29.3%) 0(0.0%) loop .../herbie/alt-testing/src/programs.rkt:125:4 loop [154] 73.1% ??? [149] 26.8% ??? [167] 0.0% -------------------------------------------------------------------------------------------- ??? [149] 100.0% [155] 205290(29.3%) 0(0.0%) approximate ...lt-testing/src/core/taylor.rkt:12:0 ??? [167] 72.5% hash-ref! [192] 26.0% taylor [227] 0.8% f44 [166] 0.3% taylor-sqrt [242] 0.3% taylor-quotient [173] 0.1% -------------------------------------------------------------------------------------------- ??? [149] 100.0% [156] 5058(0.7%) 2759(0.4%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 return/no-unsupplied [228] 17.5% ...sting/src/common.rkt:47:2 [168] 16.3% ??? [172] 11.6% -------------------------------------------------------------------------------------------- ??? [149] 100.0% [157] 4816(0.7%) 1121(0.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [186] 76.7% -------------------------------------------------------------------------------------------- get/build-late-neg-projection [151] 100.0% [158] 3639(0.5%) 566(0.1%) ??? ...cts/racket/contract/private/prop.rkt:376:12 build-compound-type-name [170] 84.4% -------------------------------------------------------------------------------------------- ??? [150] 100.0% [159] 3636(0.5%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [169] 100.0% -------------------------------------------------------------------------------------------- ??? [150] 100.0% [160] 2476(0.4%) 1377(0.2%) ??? ...ie/alt-testing/src/syntax/syntax.rkt:156:17 return/no-unsupplied [228] 22.1% ...sting/src/common.rkt:47:2 [168] 11.2% set-member? [229] 11.0% -------------------------------------------------------------------------------------------- ??? [150] 100.0% [161] 2222(0.3%) 2222(0.3%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 -------------------------------------------------------------------------------------------- ??? [150] 100.0% [162] 872(0.1%) 0(0.0%) ??? .../private/arrow-higher-order.rkt:379:33 ??? [187] 67.5% ??? [193] 32.5% -------------------------------------------------------------------------------------------- ??? [149] 100.0% [163] 844(0.1%) 0(0.0%) best-alt ...s/herbie/alt-testing/src/glue.rkt:71:0 argmins [171] 100.0% -------------------------------------------------------------------------------------------- get/build-late-neg-projection [151] 100.0% [164] 558(0.1%) 558(0.1%) contract-struct-late-neg-projection ...p.rkt:121:0 -------------------------------------------------------------------------------------------- get/build-late-neg-projection [151] 100.0% [165] 280(0.0%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:272:2 get/build-late-neg-projection [151] 100.0% -------------------------------------------------------------------------------------------- mterm->expr [39] 0.0% f44 [166] 0.0% rewriter [65] 0.1% approximate [155] 0.1% hash-ref! [192] 0.1% composed [178] 0.1% expression->type [44] 0.2% eval-const-expr [17] 0.2% eval-prog [67] 0.4% simplify [12] 17.3% loop [206] 29.6% split-table [48] 51.8% [166] 403770(57.6%) 153264(21.9%) f44 ...t/collects/racket/match/compiler.rkt:548:40 loop [206] 83.5% ??? [149] 0.4% ??? [116] 0.2% composed [178] 0.1% taylor [227] 0.1% get-sigs [114] 0.1% ...sting/src/common.rkt:47:2 [168] 0.1% ??? [182] 0.1% table-ref [117] 0.1% f44 [166] 0.0% variable? [96] 0.0% expression->type [44] 0.0% -------------------------------------------------------------------------------------------- loop [154] 0.1% ??? [5] 26.4% approximate [155] 73.5% [167] 202458(28.9%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 hash-ref! [192] 99.9% pattern-substitute [181] 0.1% -------------------------------------------------------------------------------------------- ??? [160] 1.7% flag-set? [74] 1.7% ??? [175] 1.7% table-ref [117] 1.7% f44 [166] 1.8% debug [68] 3.3% ->flonum [156] 5.0% ??? [149] 8.3% simplify* [212] 8.7% expression-cost [88] 31.5% get-sigs [114] 34.6% [168] 16403(2.3%) 4192(0.6%) ...sting/src/common.rkt:47:2 ...e/arr-i.rkt:976:19 ??? [174] 40.5% ??? [175] 32.4% ??? [193] 1.7% coerce-contract [184] 1.6% -------------------------------------------------------------------------------------------- bf* [159] 49.6% ??? [150] 50.4% [169] 7326(1.0%) 554(0.1%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [177] 64.5% bfsqrt [180] 27.9% -------------------------------------------------------------------------------------------- contract-struct-name [179] 22.8% ??? [158] 77.2% [170] 3072(0.4%) 834(0.1%) build-compound-type-name ...private/guts.rkt:543:0 contract-struct-name [179] 63.6% check-list [248] 18.3% -------------------------------------------------------------------------------------------- extract-alt [224] 25.0% best-alt [163] 75.0% [171] 1124(0.2%) 0(0.0%) argmins ...herbie/alt-testing/src/common.rkt:152:0 composed [178] 100.0% -------------------------------------------------------------------------------------------- ->flonum [156] 100.0% [172] 586(0.1%) 307(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:59:13 bigfloat->flonum [183] 47.6% -------------------------------------------------------------------------------------------- approximate [155] 100.0% [173] 285(0.0%) 0(0.0%) taylor-quotient ...sting/src/core/taylor.rkt:328:0 normalize-series [176] 100.0% -------------------------------------------------------------------------------------------- ??? [187] 12.5% ...sting/src/common.rkt:47:2 [168] 87.5% [174] 6639(0.9%) 2508(0.4%) ??? ...ects/racket/contract/private/list.rkt:376:4 ??? [187] 37.6% ??? [189] 12.3% ??? [193] 10.4% handle-the-hash [132] 4.0% -------------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [168] 100.0% [175] 5597(0.8%) 2256(0.3%) ??? ...s/racket/contract/private/arr-i.rkt:1324:39 assoc-ref [188] 34.9% ...sting/src/common.rkt:47:2 [168] 10.1% return/no-unsupplied [228] 9.7% set-member? [229] 5.0% -------------------------------------------------------------------------------------------- taylor-quotient [173] 5.4% taylor-sqrt [242] 15.6% taylor [227] 37.1% taylor-invert [9] 42.0% [176] 5316(0.8%) 0(0.0%) normalize-series ...ting/src/core/taylor.rkt:301:0 hash-ref! [192] 89.5% simplify [12] 5.4% ??? [185] 5.0% -------------------------------------------------------------------------------------------- ??? [169] 100.0% [177] 4728(0.7%) 1386(0.2%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:846:4 new-mpfr [186] 58.9% ??? [190] 5.9% ??? [191] 5.8% -------------------------------------------------------------------------------------------- argmins [171] 24.9% f44 [166] 75.1% [178] 4515(0.6%) 0(0.0%) composed ...ollects/racket/private/list.rkt:340:16 f44 [166] 75.1% errors [138] 24.9% -------------------------------------------------------------------------------------------- build-compound-type-name [170] 100.0% [179] 2514(0.4%) 1113(0.2%) contract-struct-name ...ract/private/prop.rkt:98:0 build-compound-type-name [170] 50.2% reverse [250] 11.1% -------------------------------------------------------------------------------------------- ??? [169] 100.0% [180] 2045(0.3%) 1168(0.2%) bfsqrt ...lib/math/private/bigfloat/mpfr.rkt:635:4 new-mpfr [186] 42.9% -------------------------------------------------------------------------------------------- pattern-substitute [181] 50.0% ??? [167] 50.0% [181] 283(0.0%) 0(0.0%) pattern-substitute ...ng/src/core/matcher.rkt:73:0 pattern-substitute [181] 50.0% variable? [96] 50.0% -------------------------------------------------------------------------------------------- f44 [166] 100.0% [182] 280(0.0%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:363:46 ??? [193] 100.0% -------------------------------------------------------------------------------------------- ??? [172] 100.0% [183] 278(0.0%) 278(0.0%) bigfloat->flonum ...rivate/bigfloat/mpfr.rkt:480:0 -------------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [168] 100.0% [184] 261(0.0%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [209] 100.0% -------------------------------------------------------------------------------------------- normalize-series [176] 0.1% ??? [3] 38.9% ??? [4] 61.0% [185] 186454(26.6%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:288:19 hash-ref! [192] 100.0% -------------------------------------------------------------------------------------------- bfsqrt [180] 11.9% bfmul [177] 37.9% real->bigfloat [157] 50.2% [186] 7359(1.0%) 7359(1.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 -------------------------------------------------------------------------------------------- ??? [124] 4.4% ??? [162] 9.1% handle-the-hash [132] 34.7% ??? [174] 51.8% [187] 6430(0.9%) 2541(0.4%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [195] 30.3% ??? [174] 25.9% ??? [193] 4.3% -------------------------------------------------------------------------------------------- debug [68] 12.8% ??? [175] 87.2% [188] 2238(0.3%) 0(0.0%) assoc-ref ...collects/racket/private/dict.rkt:77:0 assoc [194] 100.0% -------------------------------------------------------------------------------------------- ??? [124] 24.9% ??? [174] 75.1% [189] 1087(0.2%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:287:9 check-hash/c [196] 100.0% -------------------------------------------------------------------------------------------- bfmul [177] 100.0% [190] 281(0.0%) 0(0.0%) ??? .../share/racket/collects/ffi/unsafe.rkt:959:4 assq [197] 100.0% -------------------------------------------------------------------------------------------- bfmul [177] 100.0% [191] 274(0.0%) 274(0.0%) ??? ...hare/racket/collects/ffi/unsafe.rkt:1450:12 -------------------------------------------------------------------------------------------- ??? [8] 0.0% combine-aterms [32] 0.0% combine-mterms [33] 0.0% taylor-sqrt [242] 0.0% composed [218] 0.1% cur-debug-level [75] 0.1% localize-error [60] 0.1% simplify* [212] 0.2% ??? [3] 0.2% ??? [5] 0.5% normalize-series [176] 0.5% ??? [202] 2.4% approximate [155] 3.0% ??? [199] 4.6% ??? [4] 5.8% ??? [167] 7.1% ??? [198] 12.4% compile [92] 19.7% ??? [185] 20.6% loop [206] 22.5% [192] 353458(50.4%) 8492(1.2%) hash-ref! .../racket/private/more-scheme.rkt:377:2 ??? [201] 22.7% ??? [4] 21.2% bigfloat-hash [200] 19.4% ??? [198] 12.5% ??? [3] 6.0% simplify [12] 5.7% ??? [199] 4.6% ??? [5] 3.5% ??? [202] 2.4% taylor [227] 1.1% f44 [166] 0.2% ??? [8] 0.1% -------------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [168] 7.2% ??? [187] 7.2% ??? [182] 7.2% ??? [162] 7.3% ??? [174] 35.6% ??? [149] 35.7% [193] 3895(0.6%) 563(0.1%) ??? ...ects/racket/contract/private/guts.rkt:794:8 ??? [116] 42.8% contract? [203] 28.3% ^TYPE? [245] 7.3% dict? [205] 7.2% -------------------------------------------------------------------------------------------- substitute-e [90] 11.1% assoc-ref [188] 88.9% [194] 2518(0.4%) 2518(0.4%) assoc ...t/collects/racket/private/list.rkt:196:13 -------------------------------------------------------------------------------------------- ??? [187] 100.0% [195] 1946(0.3%) 1119(0.2%) ??? ...ects/racket/contract/private/list.rkt:763:7 ??? [214] 28.1% check-list [248] 14.4% -------------------------------------------------------------------------------------------- ??? [189] 100.0% [196] 1087(0.2%) 271(0.0%) check-hash/c ...ket/contract/private/hash.rkt:86:0 flat-contract? [204] 75.1% -------------------------------------------------------------------------------------------- ??? [190] 100.0% [197] 281(0.0%) 281(0.0%) assq ...et/collects/racket/private/list.rkt:187:13 -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [198] 178752(25.5%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:295:23 hash-ref! [192] 99.7% simplify [12] 0.3% -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [199] 165578(23.6%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:322:33 hash-ref! [192] 99.4% simplify [12] 0.6% -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [200] 147080(21.0%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 bfcanonicalize [207] 99.6% sig+exp->bigfloat [210] 0.2% -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [201] 116103(16.6%) 284(0.0%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [206] 99.8% -------------------------------------------------------------------------------------------- hash-ref! [192] 100.0% [202] 99639(14.2%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:392:23 hash-ref! [192] 99.7% loop [206] 0.3% -------------------------------------------------------------------------------------------- ??? [193] 100.0% [203] 1102(0.2%) 0(0.0%) contract? ...acket/contract/private/guts.rkt:125:0 coerce-contract/f [209] 74.6% simple-flat-contract? [208] 25.4% -------------------------------------------------------------------------------------------- check-hash/c [196] 100.0% [204] 816(0.1%) 0(0.0%) flat-contract? .../contract/private/guts.rkt:129:0 simple-flat-contract? [208] 100.0% -------------------------------------------------------------------------------------------- ??? [193] 100.0% [205] 278(0.0%) 278(0.0%) dict? ...ollects/racket/private/generic.rkt:146:11 -------------------------------------------------------------------------------------------- gen-rewrites! [53] 0.0% remove-chnged-pnts [137] 0.0% gather-multiplicative-terms [31] 0.0% mk-enode! [93] 0.0% set-precompute! [7] 0.0% ??? [202] 0.0% iterate-egraph! [72] 0.1% get-final-combination [42] 0.1% ??? [150] 0.1% option-on-expr [2] 0.1% mk-enode-rec! [83] 0.2% point-best-alt [127] 0.2% loop [64] 0.2% loop! [94] 0.4% gather-additive-terms [213] 0.4% match-e [86] 0.9% taylor [227] 1.3% ??? [201] 5.6% f44 [166] 28.0% loop [206] 62.3% [206] 430676(61.4%) 4499(0.6%) loop .../private/map.rkt:40:19 loop [206] 62.3% f44 [166] 22.3% hash-ref! [192] 5.6% option-on-expr [2] 4.5% taylor [227] 1.1% simplify* [212] 0.7% gather-additive-terms [213] 0.4% loop! [94] 0.3% errors [138] 0.3% step [217] 0.3% ??? [150] 0.2% simplify-node [21] 0.2% composed [218] 0.2% ??? [149] 0.1% make-multiplication-node [6] 0.1% mk-enode-rec! [83] 0.1% keyword-apply [220] 0.1% free-variables [215] 0.1% ??? [216] 0.1% extract-alt [224] 0.1% set-precompute! [7] 0.1% mk-enode! [93] 0.1% foldl [219] 0.1% taylor-sqrt [242] 0.0% rle [222] 0.0% pack-leader [253] 0.0% setfindf [10] 0.0% gather-multiplicative-terms [31] 0.0% rloop [223] 0.0% enode-vars [225] 0.0% ??? [25] 0.0% ??? [214] 0.0% ??? [243] 0.0% -------------------------------------------------------------------------------------------- bigfloat-hash [200] 100.0% [207] 146520(20.9%) 0(0.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 bitwise-first-bit-set [211] 100.0% -------------------------------------------------------------------------------------------- contract? [203] 25.5% flat-contract? [204] 74.5% [208] 1096(0.2%) 1096(0.2%) simple-flat-contract? ...ct/private/guts.rkt:141:0 -------------------------------------------------------------------------------------------- coerce-contract [184] 24.1% contract? [203] 75.9% [209] 1083(0.2%) 542(0.1%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [221] 50.0% -------------------------------------------------------------------------------------------- bigfloat-hash [200] 100.0% [210] 278(0.0%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:404:0 integer->mpz [226] 100.0% -------------------------------------------------------------------------------------------- bfcanonicalize [207] 100.0% [211] 146520(20.9%) 146520(20.9%) bitwise-first-bit-set ...hmetic/bitwise-6.rkt:35:0 -------------------------------------------------------------------------------------------- simplify [12] 1.9% loop [206] 98.1% [212] 15032(2.1%) 4235(0.6%) simplify* .../alt-testing/src/core/reduce.rkt:31:0 hash-ref! [192] 34.2% return/no-unsupplied [228] 11.3% ...sting/src/common.rkt:47:2 [168] 9.4% get-evaluator [233] 7.6% set-member? [229] 5.6% ??? [116] 3.7% -------------------------------------------------------------------------------------------- simplify-node [21] 23.4% gather-additive-terms [213] 36.4% loop [206] 40.2% [213] 4808(0.7%) 0(0.0%) gather-additive-terms .../src/core/reduce.rkt:72:0 loop [206] 40.2% gather-additive-terms [213] 36.4% make-multiplication-node [6] 15.5% simplify-node [21] 7.9% -------------------------------------------------------------------------------------------- ??? [149] 8.9% loop [206] 9.0% ??? [195] 17.7% ??? [150] 64.4% [214] 3089(0.4%) 560(0.1%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [230] 73.0% ??? [238] 8.9% -------------------------------------------------------------------------------------------- mterm->expr [39] 10.2% loop [206] 89.8% [215] 2838(0.4%) 0(0.0%) free-variables ...t-testing/src/programs.rkt:102:0 ??? [116] 69.8% variable? [96] 30.2% -------------------------------------------------------------------------------------------- loop [206] 100.0% [216] 2528(0.4%) 1126(0.2%) ??? ...herbie/alt-testing/src/core/reduce.rkt:61:5 pattern-match [232] 55.5% -------------------------------------------------------------------------------------------- loop [206] 100.0% [217] 2232(0.3%) 1671(0.2%) step .../racket/collects/racket/function.rkt:145:9 sort [244] 12.6% ??? [22] 12.5% -------------------------------------------------------------------------------------------- loop [206] 100.0% [218] 1399(0.2%) 0(0.0%) composed ...ollects/racket/private/list.rkt:341:16 taylor [227] 40.9% taylor-sqrt [242] 39.3% hash-ref! [192] 19.9% -------------------------------------------------------------------------------------------- loop [206] 100.0% [219] 1127(0.2%) 276(0.0%) foldl ...et/collects/racket/private/list.rkt:248:4 check-fold [234] 50.4% ??? [236] 25.1% -------------------------------------------------------------------------------------------- loop [206] 100.0% [220] 554(0.1%) 0(0.0%) keyword-apply ...lects/racket/private/kw.rkt:478:2 loop [235] 100.0% -------------------------------------------------------------------------------------------- coerce-contract/f [209] 100.0% [221] 542(0.1%) 542(0.1%) coerce-simple-value ...ract/private/guts.rkt:385:0 -------------------------------------------------------------------------------------------- loop [206] 100.0% [222] 289(0.0%) 0(0.0%) rle ...erbie/alt-testing/src/core/taylor.rkt:372:0 group-by [231] 100.0% -------------------------------------------------------------------------------------------- loop [206] 0.7% rloop [223] 99.3% [223] 281(0.0%) 281(0.0%) rloop ...ket/collects/racket/private/list.rkt:88:4 rloop [223] 99.3% -------------------------------------------------------------------------------------------- loop [206] 100.0% [224] 281(0.0%) 0(0.0%) extract-alt ...erbie/alt-testing/src/glue.rkt:55:0 argmins [171] 100.0% -------------------------------------------------------------------------------------------- loop [206] 100.0% [225] 280(0.0%) 0(0.0%) enode-vars ...alt-testing/src/core/enode.rkt:263:0 pack-leader [253] 100.0% -------------------------------------------------------------------------------------------- sig+exp->bigfloat [210] 100.0% [226] 278(0.0%) 0(0.0%) integer->mpz ...math/private/bigfloat/gmp.rkt:87:0 new-mpz [237] 100.0% -------------------------------------------------------------------------------------------- composed [218] 0.6% f44 [166] 2.6% approximate [155] 8.5% hash-ref! [192] 14.5% loop [206] 27.3% taylor [227] 46.5% [227] 12632(1.8%) 0(0.0%) taylor ...ie/alt-testing/src/core/taylor.rkt:163:0 taylor [227] 46.5% loop [206] 33.0% taylor-invert [9] 9.8% debug-print [239] 5.5% taylor-sqrt [242] 2.1% normalize-series [176] 1.4% debug [68] 1.1% ??? [243] 0.2% -------------------------------------------------------------------------------------------- debug [68] 5.5% ??? [175] 10.7% ??? [160] 10.8% table-ref [117] 10.9% flag-set? [74] 11.1% ->flonum [156] 17.5% simplify* [212] 33.5% [228] 5084(0.7%) 1738(0.2%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 reverse [250] 38.2% filter [241] 27.7% -------------------------------------------------------------------------------------------- table-ref [117] 6.5% ??? [160] 6.5% ??? [175] 6.7% loop! [94] 6.7% match-e [86] 19.9% simplify* [212] 20.2% one-iter [79] 33.5% [229] 4187(0.6%) 4187(0.6%) set-member? ...ts/racket/private/generic.rkt:472:9 -------------------------------------------------------------------------------------------- ??? [214] 100.0% [230] 2254(0.3%) 1424(0.2%) ??? ...ects/racket/contract/private/orc.rkt:112:15 ??? [246] 24.3% ^TYPE? [245] 12.6% -------------------------------------------------------------------------------------------- rle [222] 12.9% make-multiplication-subnode [14] 87.1% [231] 2247(0.3%) 1136(0.2%) group-by .../racket/collects/racket/list.rkt:816:0 do-hash-update [240] 24.1% sort [244] 12.9% ??? [22] 12.5% -------------------------------------------------------------------------------------------- pattern-match [232] 19.7% ??? [216] 80.3% [232] 1402(0.2%) 573(0.1%) pattern-match ...testing/src/core/matcher.rkt:48:0 pattern-match [232] 19.7% ??? [116] 19.7% make-sequence [252] 19.7% -------------------------------------------------------------------------------------------- simplify* [212] 100.0% [233] 1136(0.2%) 1136(0.2%) get-evaluator ...src/function-definitions.rkt:61:0 -------------------------------------------------------------------------------------------- foldl [219] 100.0% [234] 568(0.1%) 568(0.1%) check-fold ...llects/racket/private/list.rkt:223:2 -------------------------------------------------------------------------------------------- keyword-apply [220] 100.0% [235] 554(0.1%) 554(0.1%) loop ...cket/collects/racket/private/kw.rkt:518:13 -------------------------------------------------------------------------------------------- foldl [219] 100.0% [236] 283(0.0%) 0(0.0%) ??? ...herbie/alt-testing/src/alternative.rkt:66:9 ??? [149] 100.0% -------------------------------------------------------------------------------------------- integer->mpz [226] 100.0% [237] 278(0.0%) 278(0.0%) new-mpz ...-lib/math/private/bigfloat/gmp.rkt:73:0 -------------------------------------------------------------------------------------------- ??? [214] 100.0% [238] 275(0.0%) 275(0.0%) ??? ...lects/racket/contract/private/orc.rkt:117:8 -------------------------------------------------------------------------------------------- simplify! [47] 2.1% loop [64] 2.3% prepare-points [50] 4.6% taylor [227] 20.8% simplify [12] 70.1% [239] 12251(1.7%) 11989(1.7%) debug-print ...bie/alt-testing/src/debug.rkt:107:0 write-proc [249] 2.1% -------------------------------------------------------------------------------------------- group-by [231] 5.2% update-leader! [95] 94.8% [240] 10320(1.5%) 820(0.1%) do-hash-update ...et/private/more-scheme.rkt:343:2 ??? [247] 92.0% -------------------------------------------------------------------------------------------- match-e [86] 21.2% return/no-unsupplied [228] 35.9% one-iter [79] 42.9% [241] 3922(0.6%) 3922(0.6%) filter ...t/collects/racket/private/list.rkt:275:2 -------------------------------------------------------------------------------------------- taylor [227] 16.0% loop [206] 17.4% composed [218] 32.9% approximate [155] 33.8% [242] 1672(0.2%) 0(0.0%) taylor-sqrt ...t-testing/src/core/taylor.rkt:346:0 normalize-series [176] 49.5% simplify [12] 33.2% hash-ref! [192] 17.4% -------------------------------------------------------------------------------------------- taylor [227] 20.1% loop [206] 20.3% *rules* [70] 20.4% err-lsts->split-indices [15] 39.2% [243] 1420(0.2%) 1420(0.2%) ??? ...e/racket/collects/racket/function.rkt:93:12 -------------------------------------------------------------------------------------------- step [217] 49.4% group-by [231] 50.6% [244] 571(0.1%) 571(0.1%) sort ...cket/collects/racket/private/list.rkt:43:2 -------------------------------------------------------------------------------------------- ??? [230] 50.0% ??? [193] 50.0% [245] 566(0.1%) 566(0.1%) ^TYPE? .../ffi/unsafe.rkt:1621:20 -------------------------------------------------------------------------------------------- ??? [230] 100.0% [246] 547(0.1%) 274(0.0%) ??? ...ects/racket/contract/private/list.rkt:163:5 check-list [248] 49.9% -------------------------------------------------------------------------------------------- do-hash-update [240] 100.0% [247] 9500(1.4%) 7531(1.1%) ??? ...rbie/alt-testing/src/core/egraph.rkt:226:24 reverse [250] 8.9% update-en-expr [251] 8.9% make-sequence [252] 2.9% -------------------------------------------------------------------------------------------- ??? [246] 10.8% err-lsts->split-indices [15] 11.0% ??? [195] 11.1% choose-immutable [115] 11.2% match-e [86] 22.2% build-compound-type-name [170] 33.6% [248] 2519(0.4%) 2519(0.4%) check-list ...ollects/racket/private/for.rkt:690:2 -------------------------------------------------------------------------------------------- debug-print [239] 100.0% [249] 262(0.0%) 262(0.0%) write-proc ...alt-testing/src/alternative.rkt:22:9 -------------------------------------------------------------------------------------------- ??? [139] 2.3% prepare-points [50] 2.4% table-ref [117] 2.4% list-cartesian-product [97] 2.4% contract-struct-name [179] 2.5% partition [34] 2.5% combine-mterms [33] 2.5% update-leader! [95] 4.6% one-iter [79] 4.8% ??? [247] 7.5% ??? [106] 9.7% return/no-unsupplied [228] 17.1% match-e [86] 39.3% [250] 11374(1.6%) 11374(1.6%) reverse ...collects/racket/private/reverse.rkt:6:4 -------------------------------------------------------------------------------------------- ??? [247] 19.9% update-leader! [95] 33.2% ??? [106] 46.9% [251] 4232(0.6%) 2252(0.3%) update-en-expr ...esting/src/core/egraph.rkt:212:0 make-sequence [252] 33.2% pack-leader [253] 13.6% -------------------------------------------------------------------------------------------- substitute-e [90] 2.2% mk-enode! [93] 2.3% pattern-match [232] 2.3% ??? [247] 2.3% merge-egraph-nodes! [87] 2.3% combine-aterms [32] 2.4% setfindf [10] 7.0% ??? [101] 9.2% update-en-expr [251] 11.6% list-cartesian-product [97] 16.3% match-e [86] 42.1% [252] 12058(1.7%) 10352(1.5%) make-sequence ...ects/racket/private/for.rkt:557:2 :hash-gen [254] 14.1% -------------------------------------------------------------------------------------------- loop [73] 9.0% enode-vars [225] 9.1% one-iter [79] 9.1% loop [206] 9.2% enode-merge! [100] 9.2% update-en-expr [251] 18.8% match-e [86] 35.7% [253] 3071(0.4%) 3071(0.4%) pack-leader ...lt-testing/src/core/enode.rkt:247:0 -------------------------------------------------------------------------------------------- make-sequence [252] 100.0% [254] 1706(0.2%) 1706(0.2%) :hash-gen ...collects/racket/private/for.rkt:781:4 --------------------------------------------------------------------------------------------