Profiling results ----------------- Total cpu time observed: 143678ms (out of 143957ms) Number of samples taken: 504 (once every 285ms) (Hiding functions with self<1.0% and local<2.0%: 4 of 203 hidden) ==================================================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================================================================== [1] 143678(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [8] 100.0% -------------------------------------------------------------------------------------------------------------------- loop [180] 100.0% [2] 13280(9.2%) 0(0.0%) option-on-expr ...esting/src/core/regimes.rkt:83:0 loop [180] 58.3% sort-context-on-expr [9] 29.1% err-lsts->split-indices [12] 6.3% point->alt [15] 2.1% pick-errors [17] 2.1% sindices->spoints [18] 2.1% -------------------------------------------------------------------------------------------------------------------- hash-ref! [153] 100.0% [3] 4084(2.8%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:285:26 ??? [10] 47.5% hash-ref! [153] 46.6% simplify [158] 5.9% -------------------------------------------------------------------------------------------------------------------- loop [180] 100.0% [4] 2273(1.6%) 862(0.6%) set-precompute! ...ing/src/core/simplify.rkt:193:0 loop [180] 25.2% body of "/home/nightlies/nightlies/herbie/alt-testing/src/common.rkt" [14] 12.5% eval-const-expr [16] 12.3% ??? [71] 12.1% -------------------------------------------------------------------------------------------------------------------- loop [180] 20.3% gather-additive-terms [190] 39.5% simplify [158] 40.3% [5] 1430(1.0%) 0(0.0%) make-multiplication-node .../core/reduce.rkt:230:0 make-multiplication-subnode [11] 100.0% -------------------------------------------------------------------------------------------------------------------- loop [180] 100.0% [6] 566(0.4%) 0(0.0%) ??? ...herbie/alt-testing/src/core/reduce.rkt:61:5 pattern-match [13] 50.7% foldl [44] 49.3% -------------------------------------------------------------------------------------------------------------------- loop [180] 100.0% [7] 416(0.3%) 0(0.0%) free-variables ...t-testing/src/programs.rkt:102:0 variable? [70] 51.6% ??? [87] 48.4% -------------------------------------------------------------------------------------------------------------------- ??? [1] 100.0% [8] 143678(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [19] 100.0% -------------------------------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [9] 3869(2.7%) 0(0.0%) sort-context-on-expr ...sting/src/points.rkt:115:0 ??? [20] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [3] 100.0% [10] 2224(1.5%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:288:19 hash-ref! [153] 100.0% -------------------------------------------------------------------------------------------------------------------- make-multiplication-node [5] 100.0% [11] 1430(1.0%) 0(0.0%) make-multiplication-subnode ...re/reduce.rkt:240:0 make-multiplication-subsubnode [21] 60.4% mterm->expr [25] 39.6% -------------------------------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [12] 832(0.6%) 281(0.2%) err-lsts->split-indices .../core/regimes.rkt:239:0 ??? [198] 33.4% check-list [165] 32.8% -------------------------------------------------------------------------------------------------------------------- pattern-match [13] 50.0% ??? [6] 50.0% [13] 286(0.2%) 0(0.0%) pattern-match ...testing/src/core/matcher.rkt:48:0 pattern-match [13] 50.0% ??? [87] 50.0% -------------------------------------------------------------------------------------------------------------------- set-precompute! [4] 100.0% [14] 284(0.2%) 284(0.2%) body of "/home/nightlies/nightlies/herbie/alt-testing/src/common.rkt" ... -------------------------------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [15] 281(0.2%) 0(0.0%) point->alt ...t-testing/src/core/regimes.rkt:188:0 eval-prog [118] 100.0% -------------------------------------------------------------------------------------------------------------------- set-precompute! [4] 100.0% [16] 280(0.2%) 0(0.0%) eval-const-expr ...-testing/src/programs.rkt:168:0 f162 [169] 100.0% -------------------------------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [17] 275(0.2%) 0(0.0%) pick-errors ...-testing/src/core/regimes.rkt:201:0 loop [22] 100.0% -------------------------------------------------------------------------------------------------------------------- option-on-expr [2] 100.0% [18] 274(0.2%) 0(0.0%) sindices->spoints ...ng/src/core/regimes.rkt:136:0 eval-prog [118] 100.0% -------------------------------------------------------------------------------------------------------------------- profile-thunk [8] 100.0% [19] 143678(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [23] 100.0% -------------------------------------------------------------------------------------------------------------------- step [183] 6.9% sort-context-on-expr [9] 93.1% [20] 4154(2.9%) 286(0.2%) ??? ...cket/collects/racket/private/sort.rkt:369:3 generic-sort/key [24] 93.1% -------------------------------------------------------------------------------------------------------------------- make-multiplication-subnode [11] 100.0% [21] 864(0.6%) 0(0.0%) make-multiplication-subsubnode ...reduce.rkt:250:0 mterm->expr [25] 100.0% -------------------------------------------------------------------------------------------------------------------- pick-errors [17] 0.8% loop [22] 99.2% [22] 275(0.2%) 275(0.2%) loop ...cket/collects/racket/private/map.rkt:259:4 loop [22] 99.2% -------------------------------------------------------------------------------------------------------------------- ??? [19] 100.0% [23] 143678(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 run-improve [26] 96.8% prepare-points [36] 3.2% -------------------------------------------------------------------------------------------------------------------- ??? [20] 100.0% [24] 3869(2.7%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [27] 85.8% ??? [117] 14.2% -------------------------------------------------------------------------------------------------------------------- make-multiplication-subnode [11] 39.6% make-multiplication-subsubnode [21] 60.4% [25] 1430(1.0%) 0(0.0%) mterm->expr ...t-testing/src/core/reduce.rkt:270:0 f162 [169] 79.9% type-of [28] 20.1% -------------------------------------------------------------------------------------------------------------------- ??? [23] 100.0% [26] 139118(96.8%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 run-iter! [29] 89.3% get-final-combination [30] 9.9% ??? [87] 0.4% setup-prog! [31] 0.4% -------------------------------------------------------------------------------------------------------------------- generic-sort/key [24] 31.4% copying-mergesort [27] 68.6% [27] 3318(2.3%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [27] 68.6% ??? [117] 31.4% -------------------------------------------------------------------------------------------------------------------- mterm->expr [25] 100.0% [28] 287(0.2%) 287(0.2%) type-of ...bie/alt-testing/src/type-check.rkt:38:0 -------------------------------------------------------------------------------------------------------------------- run-improve [26] 100.0% [29] 124200(86.4%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 simplify! [32] 69.5% gen-series! [33] 15.9% finalize-iter! [35] 10.6% choose-best-alt! [37] 2.7% gen-rewrites! [38] 1.3% -------------------------------------------------------------------------------------------------------------------- run-improve [26] 100.0% [30] 13841(9.6%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:255:0 split-table [34] 95.9% extract-alt [39] 4.1% -------------------------------------------------------------------------------------------------------------------- run-improve [26] 100.0% [31] 487(0.3%) 0(0.0%) setup-prog! ...e/alt-testing/src/mainloop.rkt:72:0 prepare-points [36] 100.0% -------------------------------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [32] 86312(60.1%) 0(0.0%) simplify! ...ie/alt-testing/src/mainloop.rkt:146:0 ??? [40] 99.3% debug-print [170] 0.3% foldl [44] 0.3% -------------------------------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [33] 19712(13.7%) 0(0.0%) gen-series! .../alt-testing/src/mainloop.rkt:120:0 taylor-alt [41] 100.0% -------------------------------------------------------------------------------------------------------------------- get-final-combination [30] 100.0% [34] 13280(9.2%) 0(0.0%) split-table ...rbie/alt-testing/src/glue.rkt:162:0 f162 [169] 100.0% -------------------------------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [35] 13214(9.2%) 0(0.0%) finalize-iter! ...t-testing/src/mainloop.rkt:160:0 ??? [87] 100.0% -------------------------------------------------------------------------------------------------------------------- setup-prog! [31] 9.7% ??? [23] 90.3% [36] 5046(3.5%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [46] 61.2% make-exacts [42] 38.8% -------------------------------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [37] 3374(2.3%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [87] 100.0% -------------------------------------------------------------------------------------------------------------------- run-iter! [29] 100.0% [38] 1588(1.1%) 0(0.0%) gen-rewrites! ...lt-testing/src/mainloop.rkt:133:0 alt-rewrite-rm [43] 100.0% -------------------------------------------------------------------------------------------------------------------- get-final-combination [30] 100.0% [39] 562(0.4%) 0(0.0%) extract-alt ...erbie/alt-testing/src/glue.rkt:55:0 argmins [136] 100.0% -------------------------------------------------------------------------------------------------------------------- simplify! [32] 100.0% [40] 85748(59.7%) 0(0.0%) ??? ...s/herbie/alt-testing/src/mainloop.rkt:152:8 simplify [45] 100.0% -------------------------------------------------------------------------------------------------------------------- gen-series! [33] 100.0% [41] 19712(13.7%) 0(0.0%) taylor-alt ...erbie/alt-testing/src/glue.rkt:134:0 ??? [116] 100.0% -------------------------------------------------------------------------------------------------------------------- prepare-points [36] 100.0% [42] 1958(1.4%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [46] 73.1% make-exacts* [48] 26.9% -------------------------------------------------------------------------------------------------------------------- gen-rewrites! [38] 100.0% [43] 1588(1.1%) 0(0.0%) alt-rewrite-rm ...testing/src/alternative.rkt:88:0 rewriter [47] 100.0% -------------------------------------------------------------------------------------------------------------------- simplify! [32] 49.8% ??? [6] 50.2% [44] 556(0.4%) 279(0.2%) foldl ...et/collects/racket/private/list.rkt:248:4 ??? [49] 49.8% -------------------------------------------------------------------------------------------------------------------- ??? [40] 100.0% [45] 85748(59.7%) 0(0.0%) simplify ...alt-testing/src/core/simplify.rkt:43:0 ??? [50] 99.7% *simplify-rules* [53] 0.3% -------------------------------------------------------------------------------------------------------------------- make-exacts [42] 31.7% prepare-points [36] 68.3% [46] 4520(3.1%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [180] 100.0% -------------------------------------------------------------------------------------------------------------------- alt-rewrite-rm [43] 34.9% matcher [51] 65.1% [47] 1588(1.1%) 0(0.0%) rewriter ...alt-testing/src/core/matcher.rkt:131:2 matcher [51] 74.2% f162 [169] 14.4% *rules* [52] 11.4% -------------------------------------------------------------------------------------------------------------------- make-exacts [42] 100.0% [48] 526(0.4%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [118] 100.0% -------------------------------------------------------------------------------------------------------------------- foldl [44] 100.0% [49] 276(0.2%) 0(0.0%) ??? ...herbie/alt-testing/src/alternative.rkt:66:9 ??? [116] 100.0% -------------------------------------------------------------------------------------------------------------------- simplify [45] 100.0% [50] 85464(59.5%) 0(0.0%) ??? ...rbie/alt-testing/src/core/simplify.rkt:77:0 iterate-egraph! [54] 89.0% loop [55] 9.0% mk-egraph [56] 1.7% debug [173] 0.3% -------------------------------------------------------------------------------------------------------------------- matcher [51] 49.3% rewriter [47] 50.7% [51] 1588(1.1%) 288(0.2%) matcher .../alt-testing/src/core/matcher.rkt:167:2 matcher [51] 49.3% rewriter [47] 44.6% -------------------------------------------------------------------------------------------------------------------- rewriter [47] 100.0% [52] 503(0.4%) 0(0.0%) *rules* .../alt-testing/src/syntax/rules.rkt:565:0 in-set [72] 55.8% flag-set? [57] 44.2% -------------------------------------------------------------------------------------------------------------------- simplify [45] 100.0% [53] 284(0.2%) 0(0.0%) *simplify-rules* ...ing/src/syntax/rules.rkt:570:0 list-member? [135] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [50] 100.0% [54] 76072(52.9%) 568(0.4%) iterate-egraph! ...ing/src/core/simplify.rkt:105:0 one-iter [58] 95.9% loop [180] 3.0% debug-print [170] 0.4% -------------------------------------------------------------------------------------------------------------------- ??? [50] 100.0% [55] 7696(5.4%) 287(0.2%) loop ...ie/alt-testing/src/core/simplify.rkt:237:2 mk-min [59] 48.2% loop [60] 48.1% -------------------------------------------------------------------------------------------------------------------- ??? [50] 100.0% [56] 1411(1.0%) 0(0.0%) mk-egraph ...alt-testing/src/core/egraph.rkt:131:0 mk-enode-rec! [61] 79.5% mk-enode! [68] 20.5% -------------------------------------------------------------------------------------------------------------------- *rules* [52] 100.0% [57] 222(0.2%) 222(0.2%) flag-set? ...erbie/alt-testing/src/config.rkt:34:0 -------------------------------------------------------------------------------------------------------------------- iterate-egraph! [54] 100.0% [58] 72946(50.8%) 2845(2.0%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 match-e [62] 37.5% merge-egraph-nodes! [63] 14.8% mk-enode! [68] 11.0% custom-set-member? [64] 10.5% loop! [181] 9.8% substitute-e [66] 8.2% list-member? [135] 2.3% ??? [67] 0.8% reverse [194] 0.8% in-set [72] 0.4% -------------------------------------------------------------------------------------------------------------------- loop [55] 100.0% [59] 3710(2.6%) 0(0.0%) mk-min ...re/racket/collects/racket/list.rkt:786:0 expression-cost [65] 100.0% -------------------------------------------------------------------------------------------------------------------- loop [55] 100.0% [60] 3698(2.6%) 0(0.0%) loop ...hare/racket/collects/racket/list.rkt:796:4 expression-cost [65] 100.0% -------------------------------------------------------------------------------------------------------------------- mk-egraph [56] 31.2% loop [180] 68.8% [61] 1122(0.8%) 287(0.2%) mk-enode-rec! ...testing/src/core/egraph.rkt:122:0 loop [180] 95.7% -------------------------------------------------------------------------------------------------------------------- match-e [62] 19.1% one-iter [58] 80.9% [62] 27340(19.0%) 7684(5.3%) match-e ...ie/alt-testing/src/core/ematch.rkt:46:0 match-e [62] 19.1% make-sequence [187] 10.7% ??? [71] 6.2% loop [180] 5.7% reverse [194] 4.7% ??? [87] 4.7% do-procedure-reduce-keyword-arity [79] 4.7% list-cartesian-product [73] 4.7% in-set [72] 4.3% variable? [70] 4.0% make-curried [74] 3.7% filter [195] 2.1% custom-in-set [76] 1.0% -------------------------------------------------------------------------------------------------------------------- merge-egraph-nodes! [63] 5.7% one-iter [58] 94.3% [63] 10816(7.5%) 282(0.2%) merge-egraph-nodes! ...g/src/core/egraph.rkt:153:0 update-leader! [69] 61.9% loop! [181] 21.1% enode-merge! [75] 10.5% merge-egraph-nodes! [63] 5.7% -------------------------------------------------------------------------------------------------------------------- one-iter [58] 100.0% [64] 7681(5.3%) 7681(5.3%) custom-set-member? ...t/private/set-types.rkt:45:0 -------------------------------------------------------------------------------------------------------------------- loop [60] 49.9% mk-min [59] 50.1% [65] 7409(5.2%) 0(0.0%) expression-cost ...-testing/src/programs.rkt:209:0 table-ref [88] 65.5% ...sting/src/common.rkt:47:2 [134] 15.4% compile [125] 15.2% ??? [89] 3.8% -------------------------------------------------------------------------------------------------------------------- substitute-e [66] 12.7% one-iter [58] 87.3% [66] 5984(4.2%) 0(0.0%) substitute-e ...t-testing/src/core/ematch.rkt:71:0 mk-enode! [68] 80.9% substitute-e [66] 12.7% variable? [70] 4.8% ??? [87] 1.6% -------------------------------------------------------------------------------------------------------------------- one-iter [58] 100.0% [67] 570(0.4%) 284(0.2%) ??? ...herbie/alt-testing/src/core/ematch.rkt:50:5 custom-in-set [76] 50.1% -------------------------------------------------------------------------------------------------------------------- mk-egraph [56] 2.1% loop [180] 6.0% substitute-e [66] 34.7% one-iter [58] 57.3% [68] 13953(9.7%) 286(0.2%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [77] 95.9% hash-has-key? [91] 2.0% -------------------------------------------------------------------------------------------------------------------- merge-egraph-nodes! [63] 100.0% [69] 6837(4.8%) 2003(1.4%) update-leader! ...esting/src/core/egraph.rkt:218:0 do-hash-update [78] 62.4% update-en-expr [196] 4.2% reverse [194] 4.1% -------------------------------------------------------------------------------------------------------------------- free-variables [7] 5.5% expression->type [177] 7.2% substitute-e [66] 22.0% match-e [62] 65.2% [70] 3912(2.7%) 284(0.2%) variable? ...t-testing/src/syntax/syntax.rkt:665:0 ??? [87] 92.7% -------------------------------------------------------------------------------------------------------------------- set-precompute! [4] 12.1% match-e [62] 87.9% [71] 2260(1.6%) 0(0.0%) ??? ...e/racket/collects/racket/function.rkt:182:4 do-curry [80] 62.0% do-procedure-reduce-keyword-arity [79] 38.0% -------------------------------------------------------------------------------------------------------------------- *rules* [52] 16.2% one-iter [58] 16.4% match-e [62] 67.4% [72] 1727(1.2%) 1727(1.2%) in-set ...ollects/racket/private/generic.rkt:472:9 -------------------------------------------------------------------------------------------------------------------- list-cartesian-product [73] 20.1% match-e [62] 79.9% [73] 1422(1.0%) 1137(0.8%) list-cartesian-product ...src/core/ematch.rkt:20:0 list-cartesian-product [73] 20.1% make-sequence [187] 20.0% -------------------------------------------------------------------------------------------------------------------- match-e [62] 100.0% [74] 1142(0.8%) 572(0.4%) make-curried ...collects/racket/function.rkt:130:9 make-keyword-procedure [114] 25.0% partially-applied-procedure-arity-mask [82] 24.9% -------------------------------------------------------------------------------------------------------------------- merge-egraph-nodes! [63] 100.0% [75] 1138(0.8%) 283(0.2%) enode-merge! ...t-testing/src/core/enode.rkt:129:0 custom-set-intersect! [81] 75.1% -------------------------------------------------------------------------------------------------------------------- match-e [62] 49.7% ??? [67] 50.3% [76] 568(0.4%) 568(0.4%) custom-in-set ...acket/private/set-types.rkt:580:0 -------------------------------------------------------------------------------------------------------------------- mk-enode! [68] 100.0% [77] 13382(9.3%) 280(0.2%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [83] 97.9% -------------------------------------------------------------------------------------------------------------------- update-leader! [69] 100.0% [78] 4264(3.0%) 0(0.0%) do-hash-update ...et/private/more-scheme.rkt:343:2 ??? [84] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [71] 37.6% match-e [62] 62.4% [79] 2282(1.6%) 1714(1.2%) do-procedure-reduce-keyword-arity ...kw.rkt:1689:2 procedure-keywords [85] 24.9% -------------------------------------------------------------------------------------------------------------------- ??? [71] 100.0% [80] 1402(1.0%) 834(0.6%) do-curry ...cket/collects/racket/function.rkt:71:2 procedure-keywords [85] 40.5% -------------------------------------------------------------------------------------------------------------------- enode-merge! [75] 100.0% [81] 854(0.6%) 854(0.6%) custom-set-intersect! ...ivate/set-types.rkt:269:0 -------------------------------------------------------------------------------------------------------------------- make-curried [74] 100.0% [82] 284(0.2%) 284(0.2%) partially-applied-procedure-arity-mask ...rkt:58:2 -------------------------------------------------------------------------------------------------------------------- new-enode [77] 100.0% [83] 13102(9.1%) 0(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [86] 100.0% -------------------------------------------------------------------------------------------------------------------- do-hash-update [78] 100.0% [84] 4264(3.0%) 3981(2.8%) ??? ...rbie/alt-testing/src/core/egraph.rkt:226:24 update-en-expr [196] 6.6% -------------------------------------------------------------------------------------------------------------------- do-curry [80] 50.0% do-procedure-reduce-keyword-arity [79] 50.0% [85] 1137(0.8%) 1137(0.8%) procedure-keywords .../racket/private/kw.rkt:534:2 -------------------------------------------------------------------------------------------------------------------- f162 [169] 12.9% type-of-enode-expr [83] 87.1% [86] 15047(10.5%) 286(0.2%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 table-ref [88] 37.8% ??? [89] 24.6% ??? [87] 19.0% ...sting/src/common.rkt:47:2 [134] 16.7% -------------------------------------------------------------------------------------------------------------------- free-variables [7] 0.7% substitute-e [66] 1.0% pattern-match [13] 1.1% ??? [149] 2.1% run-improve [26] 2.2% match-e [62] 7.4% get-sigs [86] 10.6% choose-best-alt! [37] 12.5% variable? [70] 13.4% finalize-iter! [35] 49.0% [87] 26982(18.8%) 562(0.4%) ??? ...contract/private/arrow-val-first.rkt:486:18 atab-add-altns [90] 51.2% hash-has-key? [91] 34.2% atab-pick-alt [92] 12.5% -------------------------------------------------------------------------------------------------------------------- f162 [169] 2.4% ??? [116] 7.2% expression-cost [65] 41.6% get-sigs [86] 48.8% [88] 11664(8.1%) 2852(2.0%) table-ref ...erbie/alt-testing/src/common.rkt:46:0 ??? [97] 73.0% dict? [94] 2.5% -------------------------------------------------------------------------------------------------------------------- ??? [116] 6.5% expression-cost [65] 6.7% get-sigs [86] 86.8% [89] 4262(3.0%) 284(0.2%) ??? ...cts/racket/contract/private/arr-i.rkt:855:8 ??? [93] 60.0% get/build-late-neg-projection [119] 13.5% handle-the-hash [105] 13.3% ??? [95] 6.5% -------------------------------------------------------------------------------------------------------------------- ??? [87] 100.0% [90] 13804(9.6%) 0(0.0%) atab-add-altns ...ting/src/core/alt-table.rkt:52:0 atab-add-altn [96] 100.0% -------------------------------------------------------------------------------------------------------------------- mk-enode! [68] 3.0% ??? [87] 97.0% [91] 9527(6.6%) 6112(4.3%) hash-has-key? ...ket/private/more-scheme.rkt:372:2 ??? [97] 35.8% -------------------------------------------------------------------------------------------------------------------- ??? [87] 100.0% [92] 3374(2.3%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 point-best-alt [99] 58.1% ??? [116] 24.9% errors [110] 8.6% write-json* [101] 8.4% -------------------------------------------------------------------------------------------------------------------- ??? [89] 100.0% [93] 2557(1.8%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:278:4 contract-pos/neg-doubling/proc [98] 100.0% -------------------------------------------------------------------------------------------------------------------- table-ref [88] 100.0% [94] 292(0.2%) 0(0.0%) dict? ...ollects/racket/private/generic.rkt:146:11 assoc? [100] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [89] 100.0% [95] 278(0.2%) 0(0.0%) ??? ...private/unconstrained-domain-arrow.rkt:69:2 get-blame-party-info [102] 100.0% -------------------------------------------------------------------------------------------------------------------- atab-add-altns [90] 100.0% [96] 13804(9.6%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:239:0 best-and-tied-at-points [103] 91.8% override-at-pnts [107] 8.2% -------------------------------------------------------------------------------------------------------------------- hash-has-key? [91] 28.6% table-ref [88] 71.4% [97] 11934(8.3%) 6240(4.3%) ??? ...ects/racket/contract/private/list.rkt:814:4 ??? [104] 28.7% handle-the-hash [105] 16.7% ??? [151] 2.4% -------------------------------------------------------------------------------------------------------------------- ??? [93] 100.0% [98] 2557(1.8%) 1142(0.8%) contract-pos/neg-doubling/proc .../guts.rkt:1062:0 ??? [106] 55.4% -------------------------------------------------------------------------------------------------------------------- atab-pick-alt [92] 100.0% [99] 1959(1.4%) 0(0.0%) point-best-alt ...ting/src/core/alt-table.rkt:56:0 loop [180] 100.0% -------------------------------------------------------------------------------------------------------------------- dict? [94] 100.0% [100] 292(0.2%) 292(0.2%) assoc? ...et/collects/racket/private/dict.rkt:13:0 -------------------------------------------------------------------------------------------------------------------- atab-pick-alt [92] 100.0% [101] 284(0.2%) 0(0.0%) write-json* .../racket/collects/json/main.rkt:94:0 loop [108] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [95] 100.0% [102] 278(0.2%) 0(0.0%) get-blame-party-info ...ate/arrow-common.rkt:136:0 blame-get-info [109] 100.0% -------------------------------------------------------------------------------------------------------------------- atab-add-altn [96] 100.0% [103] 12672(8.8%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:153:0 errors [110] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [97] 100.0% [104] 3422(2.4%) 1132(0.8%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 blame-add-missing-party [111] 33.3% loop [112] 25.2% make-keyword-procedure [114] 8.4% -------------------------------------------------------------------------------------------------------------------- ??? [89] 22.2% ??? [97] 77.8% [105] 2556(1.8%) 851(0.6%) handle-the-hash ...contract/private/hash.rkt:323:0 ??? [148] 66.7% -------------------------------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [98] 100.0% [106] 1416(1.0%) 284(0.2%) ??? ...ects/racket/contract/private/list.rkt:192:2 ??? [113] 60.3% do-blame-add-context [115] 19.7% -------------------------------------------------------------------------------------------------------------------- atab-add-altn [96] 100.0% [107] 1132(0.8%) 0(0.0%) override-at-pnts ...g/src/core/alt-table.rkt:176:0 errors [110] 100.0% -------------------------------------------------------------------------------------------------------------------- write-json* [101] 25.0% loop [108] 75.0% [108] 284(0.2%) 284(0.2%) loop .../share/racket/collects/json/main.rkt:132:2 loop [108] 75.0% -------------------------------------------------------------------------------------------------------------------- get-blame-party-info [102] 100.0% [109] 278(0.2%) 278(0.2%) blame-get-info .../contract/private/blame.rkt:91:0 -------------------------------------------------------------------------------------------------------------------- atab-pick-alt [92] 1.2% override-at-pnts [107] 4.5% composed [176] 5.6% loop [180] 38.5% best-and-tied-at-points [103] 50.3% [110] 25204(17.5%) 555(0.4%) errors .../herbie/alt-testing/src/points.rkt:271:0 ??? [117] 68.9% eval-prog [118] 24.5% ??? [116] 4.5% -------------------------------------------------------------------------------------------------------------------- ??? [104] 100.0% [111] 1140(0.8%) 1140(0.8%) blame-add-missing-party ...private/blame.rkt:382:0 -------------------------------------------------------------------------------------------------------------------- ??? [104] 25.0% loop [112] 75.0% [112] 863(0.6%) 863(0.6%) loop ...ts/racket/contract/private/blame.rkt:319:2 loop [112] 75.0% -------------------------------------------------------------------------------------------------------------------- ??? [106] 100.0% [113] 854(0.6%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:755:5 get/build-late-neg-projection [119] 100.0% -------------------------------------------------------------------------------------------------------------------- make-curried [74] 49.9% ??? [104] 50.1% [114] 572(0.4%) 572(0.4%) make-keyword-procedure ...ket/private/kw.rkt:448:4 -------------------------------------------------------------------------------------------------------------------- ??? [106] 100.0% [115] 278(0.2%) 278(0.2%) do-blame-add-context ...ct/private/blame.rkt:192:0 -------------------------------------------------------------------------------------------------------------------- ??? [49] 1.0% atab-pick-alt [92] 3.0% errors [110] 4.0% f162 [169] 8.0% loop [180] 13.4% loop [120] 35.3% taylor-alt [41] 35.3% [116] 27934(19.4%) 580(0.4%) ??? ...tract/private/arrow-higher-order.rkt:375:33 loop [120] 35.3% approximate [121] 34.9% ->flonum [122] 14.3% table-ref [88] 3.0% best-alt [127] 3.0% ??? [149] 2.0% ...sting/src/common.rkt:47:2 [134] 2.0% ??? [89] 1.0% ??? [148] 1.0% simplify [158] 0.4% -------------------------------------------------------------------------------------------------------------------- generic-sort/key [24] 2.2% copying-mergesort [27] 13.4% loop [180] 14.5% errors [110] 69.9% [117] 24838(17.3%) 15157(10.5%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 ??? [123] 13.5% loop [180] 11.4% ??? [124] 8.2% ??? [129] 2.1% ??? [164] 1.3% ??? [130] 1.3% ??? [131] 1.2% -------------------------------------------------------------------------------------------------------------------- sindices->spoints [18] 3.8% point->alt [15] 3.9% make-exacts* [48] 7.3% errors [110] 85.1% [118] 7245(5.0%) 4458(3.1%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 f162 [169] 30.7% ??? [132] 3.9% compile [125] 3.8% -------------------------------------------------------------------------------------------------------------------- ??? [128] 20.1% ??? [89] 20.1% ??? [113] 59.7% [119] 1429(1.0%) 576(0.4%) get/build-late-neg-projection ...te/guts.rkt:881:0 ??? [126] 59.7% ??? [128] 20.1% -------------------------------------------------------------------------------------------------------------------- ??? [116] 14.8% loop [120] 85.2% [120] 19712(13.7%) 0(0.0%) loop .../herbie/alt-testing/src/programs.rkt:125:4 loop [120] 85.2% ??? [116] 14.8% -------------------------------------------------------------------------------------------------------------------- ??? [116] 100.0% [121] 19496(13.6%) 0(0.0%) approximate ...lt-testing/src/core/taylor.rkt:12:0 ??? [133] 91.5% taylor [137] 5.6% f162 [169] 1.5% debug-print [170] 1.4% -------------------------------------------------------------------------------------------------------------------- ??? [116] 100.0% [122] 3990(2.8%) 3148(2.2%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 return/no-unsupplied [189] 14.0% ...sting/src/common.rkt:47:2 [134] 7.2% -------------------------------------------------------------------------------------------------------------------- ??? [117] 100.0% [123] 3345(2.3%) 1962(1.4%) ??? ...ie/alt-testing/src/syntax/syntax.rkt:156:17 ...sting/src/common.rkt:47:2 [134] 16.6% return/no-unsupplied [189] 16.6% list-member? [135] 8.2% -------------------------------------------------------------------------------------------------------------------- ??? [117] 100.0% [124] 2026(1.4%) 2026(1.4%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 -------------------------------------------------------------------------------------------------------------------- eval-prog [118] 19.7% expression-cost [65] 80.3% [125] 1406(1.0%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [153] 80.0% reverse [194] 20.0% -------------------------------------------------------------------------------------------------------------------- get/build-late-neg-projection [119] 100.0% [126] 854(0.6%) 570(0.4%) ??? ...cts/racket/contract/private/prop.rkt:376:12 build-compound-type-name [139] 33.3% -------------------------------------------------------------------------------------------------------------------- ??? [116] 100.0% [127] 840(0.6%) 0(0.0%) best-alt ...s/herbie/alt-testing/src/glue.rkt:71:0 argmins [136] 100.0% -------------------------------------------------------------------------------------------------------------------- get/build-late-neg-projection [119] 100.0% [128] 576(0.4%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:272:2 get/build-late-neg-projection [119] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [117] 100.0% [129] 529(0.4%) 529(0.4%) ??? .../herbie/alt-testing/src/bigcomplex.rkt:66:2 -------------------------------------------------------------------------------------------------------------------- ??? [117] 100.0% [130] 324(0.2%) 0(0.0%) ??? .../private/arrow-higher-order.rkt:379:33 ??? [148] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [117] 100.0% [131] 292(0.2%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [138] 100.0% -------------------------------------------------------------------------------------------------------------------- eval-prog [118] 100.0% [132] 282(0.2%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [140] 100.0% -------------------------------------------------------------------------------------------------------------------- approximate [121] 100.0% [133] 17832(12.4%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 hash-ref! [153] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [143] 2.6% cur-debug-level [179] 5.1% ->flonum [122] 5.1% simplify* [182] 5.1% ??? [116] 9.9% ??? [123] 9.9% expression-cost [65] 20.3% get-sigs [86] 42.2% [134] 5620(3.9%) 1416(1.0%) ...sting/src/common.rkt:47:2 ...e/arr-i.rkt:976:19 ??? [141] 50.3% ??? [143] 22.0% dict-key-contract [146] 5.1% -------------------------------------------------------------------------------------------------------------------- ??? [123] 12.2% *simplify-rules* [53] 12.6% one-iter [58] 75.2% [135] 2258(1.6%) 275(0.2%) list-member? ...llects/racket/private/set.rkt:24:0 member [142] 87.8% -------------------------------------------------------------------------------------------------------------------- extract-alt [39] 40.0% best-alt [127] 60.0% [136] 1402(1.0%) 0(0.0%) argmins ...herbie/alt-testing/src/common.rkt:152:0 composed [176] 100.0% -------------------------------------------------------------------------------------------------------------------- loop [180] 10.2% taylor [137] 17.7% f162 [169] 20.6% approximate [121] 51.5% [137] 1382(1.0%) 0(0.0%) taylor ...ie/alt-testing/src/core/taylor.rkt:163:0 f162 [169] 31.1% taylor-quotient [144] 27.1% taylor [137] 17.7% taylor-invert [145] 10.4% loop [180] 10.2% normalize-series [150] 3.5% -------------------------------------------------------------------------------------------------------------------- ??? [131] 100.0% [138] 292(0.2%) 292(0.2%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:846:4 -------------------------------------------------------------------------------------------------------------------- ??? [126] 100.0% [139] 284(0.2%) 0(0.0%) build-compound-type-name ...private/guts.rkt:543:0 contract-struct-name [147] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [132] 100.0% [140] 282(0.2%) 282(0.2%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 -------------------------------------------------------------------------------------------------------------------- ??? [148] 25.1% ...sting/src/common.rkt:47:2 [134] 74.9% [141] 2827(2.0%) 844(0.6%) ??? ...ects/racket/contract/private/list.rkt:376:4 ??? [148] 35.4% ??? [149] 25.1% ??? [151] 9.7% -------------------------------------------------------------------------------------------------------------------- list-member? [135] 100.0% [142] 1983(1.4%) 1983(1.4%) member ...collects/racket/private/member.rkt:13:21 -------------------------------------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [134] 100.0% [143] 1381(1.0%) 576(0.4%) ??? ...s/racket/contract/private/arr-i.rkt:1324:39 ...sting/src/common.rkt:47:2 [134] 20.9% assoc-ref [152] 20.7% return/no-unsupplied [189] 16.7% -------------------------------------------------------------------------------------------------------------------- taylor [137] 100.0% [144] 516(0.4%) 0(0.0%) taylor-quotient ...sting/src/core/taylor.rkt:328:0 normalize-series [150] 54.8% simplify [158] 45.2% -------------------------------------------------------------------------------------------------------------------- taylor [137] 100.0% [145] 288(0.2%) 0(0.0%) taylor-invert ...testing/src/core/taylor.rkt:312:0 simplify [158] 100.0% -------------------------------------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [134] 100.0% [146] 285(0.2%) 285(0.2%) dict-key-contract ...collects/racket/dict.rkt:71:0 -------------------------------------------------------------------------------------------------------------------- build-compound-type-name [139] 100.0% [147] 284(0.2%) 0(0.0%) contract-struct-name ...ract/private/prop.rkt:98:0 reverse [194] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [116] 6.9% ??? [130] 8.1% handle-the-hash [105] 42.5% ??? [141] 42.6% [148] 4016(2.8%) 1136(0.8%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [141] 35.3% ??? [154] 28.3% check-list [165] 8.1% -------------------------------------------------------------------------------------------------------------------- ??? [116] 28.1% ??? [141] 71.9% [149] 1972(1.4%) 281(0.2%) ??? ...ects/racket/contract/private/guts.rkt:794:8 contract? [155] 57.7% ??? [87] 28.1% -------------------------------------------------------------------------------------------------------------------- taylor-quotient [144] 49.1% taylor [137] 50.9% [150] 576(0.4%) 0(0.0%) normalize-series ...ting/src/core/taylor.rkt:301:0 hash-ref! [153] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [141] 49.0% ??? [97] 51.0% [151] 557(0.4%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:287:9 check-hash/c [156] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [143] 100.0% [152] 286(0.2%) 0(0.0%) assoc-ref ...collects/racket/private/dict.rkt:77:0 assoc [157] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [3] 2.3% ??? [10] 2.6% loop [180] 2.6% ??? [163] 2.7% normalize-series [150] 2.9% compile [125] 3.1% simplify* [182] 3.1% ??? [162] 7.2% ??? [161] 7.6% ??? [160] 15.9% ??? [159] 23.6% ??? [133] 26.4% [153] 19766(13.8%) 2606(1.8%) hash-ref! .../racket/private/more-scheme.rkt:377:2 simplify [158] 28.7% ??? [159] 23.6% ??? [160] 15.9% ??? [161] 7.6% ??? [162] 7.2% ??? [3] 5.5% ??? [167] 3.3% ??? [163] 2.7% -------------------------------------------------------------------------------------------------------------------- ??? [148] 100.0% [154] 1138(0.8%) 287(0.2%) ??? ...ects/racket/contract/private/list.rkt:763:7 ??? [164] 49.6% check-list [165] 25.2% -------------------------------------------------------------------------------------------------------------------- ??? [149] 100.0% [155] 1138(0.8%) 0(0.0%) contract? ...acket/contract/private/guts.rkt:125:0 coerce-contract/f [166] 75.2% simple-flat-contract? [171] 24.8% -------------------------------------------------------------------------------------------------------------------- ??? [151] 100.0% [156] 557(0.4%) 0(0.0%) check-hash/c ...ket/contract/private/hash.rkt:86:0 flat-contract? [168] 100.0% -------------------------------------------------------------------------------------------------------------------- assoc-ref [152] 100.0% [157] 286(0.2%) 286(0.2%) assoc ...t/collects/racket/private/list.rkt:196:13 -------------------------------------------------------------------------------------------------------------------- ??? [116] 1.1% taylor-quotient [144] 1.2% ??? [3] 1.2% loop [180] 1.5% taylor-invert [145] 1.5% hash-ref! [153] 93.5% [158] 19429(13.5%) 0(0.0%) simplify ...e/alt-testing/src/core/reduce.rkt:16:0 f162 [169] 81.0% debug-print [170] 10.5% make-multiplication-node [5] 3.0% loop [174] 1.5% simplify-node [184] 1.5% debug [173] 1.5% simplify* [182] 1.2% -------------------------------------------------------------------------------------------------------------------- hash-ref! [153] 100.0% [159] 17260(12.0%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:44:15 hash-ref! [153] 100.0% -------------------------------------------------------------------------------------------------------------------- hash-ref! [153] 100.0% [160] 12400(8.6%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:295:23 hash-ref! [153] 100.0% -------------------------------------------------------------------------------------------------------------------- hash-ref! [153] 100.0% [161] 6274(4.4%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:392:23 hash-ref! [153] 100.0% -------------------------------------------------------------------------------------------------------------------- hash-ref! [153] 100.0% [162] 5996(4.2%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:338:33 hash-ref! [153] 100.0% -------------------------------------------------------------------------------------------------------------------- hash-ref! [153] 100.0% [163] 3134(2.2%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:483:23 hash-ref! [153] 100.0% -------------------------------------------------------------------------------------------------------------------- ??? [117] 36.5% ??? [154] 63.5% [164] 889(0.6%) 606(0.4%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [175] 31.8% -------------------------------------------------------------------------------------------------------------------- err-lsts->split-indices [12] 30.9% ??? [154] 32.4% ??? [148] 36.7% [165] 884(0.6%) 884(0.6%) check-list ...ollects/racket/private/for.rkt:690:2 -------------------------------------------------------------------------------------------------------------------- contract? [155] 100.0% [166] 855(0.6%) 284(0.2%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [172] 66.8% -------------------------------------------------------------------------------------------------------------------- hash-ref! [153] 100.0% [167] 836(0.6%) 278(0.2%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [180] 83.4% -------------------------------------------------------------------------------------------------------------------- check-hash/c [156] 100.0% [168] 557(0.4%) 0(0.0%) flat-contract? .../contract/private/guts.rkt:129:0 simple-flat-contract? [171] 100.0% -------------------------------------------------------------------------------------------------------------------- approximate [121] 0.4% composed [176] 0.5% eval-const-expr [16] 0.9% expression->type [177] 0.9% taylor [137] 1.3% eval-prog [118] 1.7% mterm->expr [25] 2.2% rewriter [47] 2.5% simplify [158] 20.7% loop [180] 30.7% split-table [34] 38.3% [169] 32354(22.5%) 10806(7.5%) f162 .../collects/racket/match/compiler.rkt:548:40 loop [180] 73.4% get-sigs [86] 4.6% ??? [116] 1.7% taylor [137] 0.9% expression->type [177] 0.9% table-ref [88] 0.9% composed [176] 0.5% -------------------------------------------------------------------------------------------------------------------- approximate [121] 9.8% iterate-egraph! [54] 9.9% simplify! [32] 10.0% simplify [158] 70.4% [170] 2891(2.0%) 2602(1.8%) debug-print ...bie/alt-testing/src/debug.rkt:107:0 write-proc [178] 10.0% -------------------------------------------------------------------------------------------------------------------- contract? [155] 33.7% flat-contract? [168] 66.3% [171] 840(0.6%) 840(0.6%) simple-flat-contract? ...ct/private/guts.rkt:141:0 -------------------------------------------------------------------------------------------------------------------- coerce-contract/f [166] 100.0% [172] 572(0.4%) 572(0.4%) coerce-simple-value ...ract/private/guts.rkt:385:0 -------------------------------------------------------------------------------------------------------------------- simplify [158] 49.7% ??? [50] 50.3% [173] 567(0.4%) 282(0.2%) debug ...es/herbie/alt-testing/src/debug.rkt:102:0 cur-debug-level [179] 50.3% -------------------------------------------------------------------------------------------------------------------- simplify [158] 20.0% loop [174] 80.0% [174] 288(0.2%) 0(0.0%) loop ...erbie/alt-testing/src/core/reduce.rkt:18:2 loop [174] 80.0% expression->type [177] 20.0% -------------------------------------------------------------------------------------------------------------------- ??? [164] 100.0% [175] 283(0.2%) 283(0.2%) ??? ...ects/racket/contract/private/orc.rkt:112:15 -------------------------------------------------------------------------------------------------------------------- f162 [169] 33.4% argmins [136] 66.6% [176] 2104(1.5%) 0(0.0%) composed ...ollects/racket/private/list.rkt:340:16 errors [110] 66.6% f162 [169] 33.4% -------------------------------------------------------------------------------------------------------------------- f162 [169] 49.6% loop [174] 50.4% [177] 570(0.4%) 0(0.0%) expression->type ...esting/src/type-check.rkt:45:0 f162 [169] 50.4% variable? [70] 49.6% -------------------------------------------------------------------------------------------------------------------- debug-print [170] 100.0% [178] 288(0.2%) 288(0.2%) write-proc ...alt-testing/src/alternative.rkt:22:9 -------------------------------------------------------------------------------------------------------------------- debug [173] 100.0% [179] 285(0.2%) 0(0.0%) cur-debug-level .../alt-testing/src/debug.rkt:38:2 ...sting/src/common.rkt:47:2 [134] 100.0% -------------------------------------------------------------------------------------------------------------------- loop [46] 0.0% set-precompute! [4] 0.1% taylor [137] 0.3% iterate-egraph! [54] 0.5% gather-additive-terms [190] 0.7% option-on-expr [2] 1.0% ??? [167] 1.0% loop! [181] 1.1% point-best-alt [99] 1.2% mk-enode-rec! [61] 1.7% ??? [117] 3.1% match-e [62] 4.8% f162 [169] 20.6% loop [180] 63.3% [180] 47560(33.1%) 1956(1.4%) loop .../private/map.rkt:40:19 loop [180] 63.3% f162 [169] 15.4% option-on-expr [2] 3.1% ??? [116] 3.1% step [183] 3.0% errors [110] 2.2% mk-enode-rec! [61] 1.2% simplify* [182] 1.1% loop! [181] 1.1% hash-ref! [153] 1.0% simplify-node [184] 0.7% gather-additive-terms [190] 0.7% simplify [158] 0.6% mk-enode! [68] 0.5% set-precompute! [4] 0.5% taylor [137] 0.3% free-variables [7] 0.1% ??? [6] 0.1% make-multiplication-node [5] 0.1% ??? [117] 0.0% setfindf [185] 0.0% -------------------------------------------------------------------------------------------------------------------- merge-egraph-nodes! [63] 20.5% loop [180] 26.6% one-iter [58] 53.0% [181] 9734(6.8%) 1715(1.2%) loop! ...rbie/alt-testing/src/core/enode.rkt:192:2 custom-set-union [186] 39.1% loop [180] 29.5% make-immutable-set [188] 15.1% ??? [193] 1.5% -------------------------------------------------------------------------------------------------------------------- simplify [158] 9.1% loop [180] 90.9% [182] 2562(1.8%) 234(0.2%) simplify* .../alt-testing/src/core/reduce.rkt:31:0 hash-ref! [153] 68.7% ...sting/src/common.rkt:47:2 [134] 11.2% return/no-unsupplied [189] 10.9% -------------------------------------------------------------------------------------------------------------------- loop [180] 100.0% [183] 1419(1.0%) 570(0.4%) step .../racket/collects/racket/function.rkt:145:9 sort [191] 39.7% ??? [20] 20.1% -------------------------------------------------------------------------------------------------------------------- simplify [158] 26.3% loop [180] 73.7% [184] 1084(0.8%) 0(0.0%) simplify-node ...-testing/src/core/reduce.rkt:50:0 gather-additive-terms [190] 52.1% gather-multiplicative-terms [192] 47.9% -------------------------------------------------------------------------------------------------------------------- loop [180] 100.0% [185] 286(0.2%) 0(0.0%) setfindf ...erbie/alt-testing/src/common.rkt:186:0 make-sequence [187] 100.0% -------------------------------------------------------------------------------------------------------------------- loop! [181] 100.0% [186] 4283(3.0%) 3430(2.4%) custom-set-union ...et/private/set-types.rkt:168:0 choose-immutable [197] 19.9% -------------------------------------------------------------------------------------------------------------------- list-cartesian-product [73] 7.7% setfindf [185] 7.7% match-e [62] 84.6% [187] 3696(2.6%) 3696(2.6%) make-sequence ...ects/racket/private/for.rkt:557:2 -------------------------------------------------------------------------------------------------------------------- loop! [181] 100.0% [188] 2844(2.0%) 2844(2.0%) make-immutable-set .../private/set-types.rkt:948:0 -------------------------------------------------------------------------------------------------------------------- ??? [143] 14.2% simplify* [182] 17.3% ??? [123] 34.1% ->flonum [122] 34.3% [189] 1622(1.1%) 564(0.4%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [195] 48.1% reverse [194] 17.1% -------------------------------------------------------------------------------------------------------------------- gather-additive-terms [190] 16.5% loop [180] 41.7% simplify-node [184] 41.7% [190] 564(0.4%) 0(0.0%) gather-additive-terms .../src/core/reduce.rkt:72:0 loop [180] 41.7% make-multiplication-node [5] 41.7% gather-additive-terms [190] 16.5% -------------------------------------------------------------------------------------------------------------------- step [183] 100.0% [191] 564(0.4%) 564(0.4%) sort ...cket/collects/racket/private/list.rkt:43:2 -------------------------------------------------------------------------------------------------------------------- simplify-node [184] 100.0% [192] 519(0.4%) 0(0.0%) gather-multiplicative-terms ...re/reduce.rkt:116:0 procedure-reduce-arity [199] 55.4% ??? [198] 44.6% -------------------------------------------------------------------------------------------------------------------- loop! [181] 100.0% [193] 288(0.2%) 0(0.0%) ??? ...erbie/alt-testing/src/core/enode.rkt:202:13 update-en-expr [196] 100.0% -------------------------------------------------------------------------------------------------------------------- return/no-unsupplied [189] 8.9% compile [125] 9.0% update-leader! [69] 9.1% contract-struct-name [147] 9.1% one-iter [58] 18.1% match-e [62] 45.8% [194] 3119(2.2%) 3119(2.2%) reverse ...collects/racket/private/reverse.rkt:6:4 -------------------------------------------------------------------------------------------------------------------- match-e [62] 42.4% return/no-unsupplied [189] 57.6% [195] 1354(0.9%) 1354(0.9%) filter ...t/collects/racket/private/list.rkt:275:2 -------------------------------------------------------------------------------------------------------------------- ??? [84] 32.9% update-leader! [69] 33.5% ??? [193] 33.5% [196] 858(0.6%) 858(0.6%) update-en-expr ...esting/src/core/egraph.rkt:212:0 -------------------------------------------------------------------------------------------------------------------- custom-set-union [186] 100.0% [197] 854(0.6%) 854(0.6%) choose-immutable ...et/private/set-types.rkt:151:0 -------------------------------------------------------------------------------------------------------------------- gather-multiplicative-terms [192] 45.5% err-lsts->split-indices [12] 54.5% [198] 509(0.4%) 509(0.4%) ??? ...e/racket/collects/racket/function.rkt:93:12 -------------------------------------------------------------------------------------------------------------------- gather-multiplicative-terms [192] 100.0% [199] 288(0.2%) 288(0.2%) procedure-reduce-arity ...t/private/kw.rkt:1823:11 --------------------------------------------------------------------------------------------------------------------