Profiling results ----------------- Total cpu time observed: 47935ms (out of 48139ms) Number of samples taken: 193 (once every 248ms) (Hiding functions with self<1.0% and local<2.0%: 3 of 165 hidden) ======================================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================================= [1] 47935(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [6] 100.0% --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [2] 2998(6.3%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:67:15 ??? [103] 91.3% hash-ref! [133] 8.7% --------------------------------------------------------------------------------------- loop [118] 100.0% [3] 1714(3.6%) 0(0.0%) option-on-expr ...esting/src/core/regimes.rkt:83:0 sort-context-on-expr [8] 44.7% err-lsts->split-indices [9] 32.9% pick-errors [10] 11.2% loop [118] 11.1% --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [4] 503(1.0%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:322:33 simplify [7] 100.0% --------------------------------------------------------------------------------------- taylor [125] 100.0% [5] 268(0.6%) 0(0.0%) normalize-series ...ting/src/core/taylor.rkt:301:0 hash-ref! [133] 100.0% --------------------------------------------------------------------------------------- ??? [1] 100.0% [6] 47935(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [11] 100.0% --------------------------------------------------------------------------------------- ??? [144] 3.9% ??? [145] 4.6% ??? [4] 8.3% hash-ref! [133] 83.3% [7] 6088(12.7%) 0(0.0%) simplify ...e/alt-testing/src/core/reduce.rkt:16:0 f274 [93] 78.4% debug [13] 8.4% simplify* [127] 4.7% debug-print [136] 4.7% simplify-node [14] 3.9% --------------------------------------------------------------------------------------- option-on-expr [3] 100.0% [8] 766(1.6%) 0(0.0%) sort-context-on-expr ...sting/src/points.rkt:115:0 ??? [12] 100.0% --------------------------------------------------------------------------------------- option-on-expr [3] 100.0% [9] 564(1.2%) 186(0.4%) err-lsts->split-indices .../core/regimes.rkt:239:0 ??? [126] 67.0% --------------------------------------------------------------------------------------- option-on-expr [3] 100.0% [10] 192(0.4%) 0(0.0%) pick-errors ...-testing/src/core/regimes.rkt:201:0 ??? [15] 100.0% --------------------------------------------------------------------------------------- profile-thunk [6] 100.0% [11] 47935(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [16] 100.0% --------------------------------------------------------------------------------------- sort-context-on-expr [8] 100.0% [12] 766(1.6%) 0(0.0%) ??? ...cket/collects/racket/private/sort.rkt:369:3 generic-sort/key [17] 100.0% --------------------------------------------------------------------------------------- simplify [7] 100.0% [13] 511(1.1%) 274(0.6%) debug ...es/herbie/alt-testing/src/debug.rkt:102:0 get-setting [18] 46.5% --------------------------------------------------------------------------------------- simplify [7] 100.0% [14] 234(0.5%) 0(0.0%) simplify-node ...-testing/src/core/reduce.rkt:50:0 gather-additive-terms [132] 100.0% --------------------------------------------------------------------------------------- pick-errors [10] 100.0% [15] 192(0.4%) 0(0.0%) ??? ...rbie/alt-testing/src/core/regimes.rkt:194:2 ??? [88] 100.0% --------------------------------------------------------------------------------------- ??? [11] 100.0% [16] 47935(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 run-improve [19] 94.1% prepare-points [20] 5.9% --------------------------------------------------------------------------------------- ??? [12] 100.0% [17] 766(1.6%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [21] 100.0% --------------------------------------------------------------------------------------- debug [13] 100.0% [18] 238(0.5%) 238(0.5%) get-setting ...rbie/alt-testing/src/debug.rkt:96:0 --------------------------------------------------------------------------------------- ??? [16] 100.0% [19] 45110(94.1%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 run-iter! [22] 95.1% get-final-combination [23] 4.2% ??? [64] 0.6% --------------------------------------------------------------------------------------- ??? [16] 100.0% [20] 2824(5.9%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [28] 58.5% make-exacts [24] 41.5% --------------------------------------------------------------------------------------- generic-sort/key [17] 23.3% copying-mergesort [21] 76.7% [21] 766(1.6%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [21] 76.7% ??? [88] 18.2% ??? [87] 5.1% --------------------------------------------------------------------------------------- run-improve [19] 100.0% [22] 42916(89.5%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 simplify! [25] 73.4% gen-series! [26] 16.0% finalize-iter! [27] 9.4% choose-best-alt! [30] 1.2% --------------------------------------------------------------------------------------- run-improve [19] 100.0% [23] 1906(4.0%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:255:0 split-table [29] 89.9% extract-alt [32] 10.1% --------------------------------------------------------------------------------------- prepare-points [20] 100.0% [24] 1173(2.4%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [28] 83.5% make-exacts* [31] 16.5% --------------------------------------------------------------------------------------- run-iter! [22] 100.0% [25] 31488(65.7%) 0(0.0%) simplify! ...ie/alt-testing/src/mainloop.rkt:146:0 ??? [33] 100.0% --------------------------------------------------------------------------------------- run-iter! [22] 100.0% [26] 6884(14.4%) 0(0.0%) gen-series! .../alt-testing/src/mainloop.rkt:120:0 taylor-alt [34] 100.0% --------------------------------------------------------------------------------------- run-iter! [22] 100.0% [27] 4025(8.4%) 0(0.0%) finalize-iter! ...t-testing/src/mainloop.rkt:160:0 ??? [64] 100.0% --------------------------------------------------------------------------------------- make-exacts [24] 37.2% prepare-points [20] 62.8% [28] 2630(5.5%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [118] 100.0% --------------------------------------------------------------------------------------- get-final-combination [23] 100.0% [29] 1714(3.6%) 0(0.0%) split-table ...rbie/alt-testing/src/glue.rkt:162:0 f274 [93] 100.0% --------------------------------------------------------------------------------------- run-iter! [22] 100.0% [30] 519(1.1%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [64] 100.0% --------------------------------------------------------------------------------------- make-exacts [24] 100.0% [31] 194(0.4%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [89] 100.0% --------------------------------------------------------------------------------------- get-final-combination [23] 100.0% [32] 193(0.4%) 0(0.0%) extract-alt ...erbie/alt-testing/src/glue.rkt:55:0 argmins [108] 100.0% --------------------------------------------------------------------------------------- simplify! [25] 100.0% [33] 31488(65.7%) 0(0.0%) ??? ...s/herbie/alt-testing/src/mainloop.rkt:152:8 simplify [35] 100.0% --------------------------------------------------------------------------------------- gen-series! [26] 100.0% [34] 6884(14.4%) 0(0.0%) taylor-alt ...erbie/alt-testing/src/glue.rkt:134:0 ??? [87] 100.0% --------------------------------------------------------------------------------------- ??? [33] 100.0% [35] 31488(65.7%) 0(0.0%) simplify ...alt-testing/src/core/simplify.rkt:43:0 ??? [36] 100.0% --------------------------------------------------------------------------------------- simplify [35] 100.0% [36] 31488(65.7%) 0(0.0%) ??? ...rbie/alt-testing/src/core/simplify.rkt:77:0 iterate-egraph! [37] 90.7% loop [38] 8.6% mk-egraph [39] 0.8% --------------------------------------------------------------------------------------- ??? [36] 100.0% [37] 28552(59.6%) 0(0.0%) iterate-egraph! ...ing/src/core/simplify.rkt:105:0 one-iter [40] 96.7% loop [118] 3.3% --------------------------------------------------------------------------------------- ??? [36] 100.0% [38] 2698(5.6%) 757(1.6%) loop ...ie/alt-testing/src/core/simplify.rkt:237:2 loop [41] 45.2% mk-min [42] 26.7% --------------------------------------------------------------------------------------- ??? [36] 100.0% [39] 238(0.5%) 0(0.0%) mk-egraph ...alt-testing/src/core/egraph.rkt:131:0 mk-enode! [48] 100.0% --------------------------------------------------------------------------------------- iterate-egraph! [37] 100.0% [40] 27621(57.6%) 436(0.9%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 match-e [43] 43.5% mk-enode! [48] 12.7% custom-set-member? [44] 10.8% merge-egraph-nodes! [45] 8.4% substitute-e [46] 8.1% loop! [122] 7.6% list-member? [105] 3.8% set-member? [104] 2.7% --------------------------------------------------------------------------------------- loop [38] 100.0% [41] 1220(2.5%) 0(0.0%) loop ...hare/racket/collects/racket/list.rkt:796:4 expression-cost [47] 100.0% --------------------------------------------------------------------------------------- loop [38] 100.0% [42] 720(1.5%) 0(0.0%) mk-min ...re/racket/collects/racket/list.rkt:786:0 expression-cost [47] 100.0% --------------------------------------------------------------------------------------- match-e [43] 25.9% one-iter [40] 74.1% [43] 12005(25.0%) 3886(8.1%) match-e ...ie/alt-testing/src/core/ematch.rkt:46:0 match-e [43] 25.9% ??? [64] 10.2% loop [118] 9.3% variable? [49] 7.1% ??? [51] 6.7% pack-leader [156] 2.3% ??? [52] 2.2% list-cartesian-product [53] 2.2% filter [161] 2.0% do-procedure-reduce-keyword-arity [57] 2.0% check-list [150] 1.0% --------------------------------------------------------------------------------------- one-iter [40] 100.0% [44] 2979(6.2%) 2744(5.7%) custom-set-member? ...t/private/set-types.rkt:45:0 set-check-elem [55] 7.9% --------------------------------------------------------------------------------------- merge-egraph-nodes! [45] 6.1% one-iter [40] 93.9% [45] 2314(4.8%) 238(0.5%) merge-egraph-nodes! ...g/src/core/egraph.rkt:153:0 update-leader! [50] 42.7% loop! [122] 40.9% merge-egraph-nodes! [45] 6.1% --------------------------------------------------------------------------------------- substitute-e [46] 26.4% one-iter [40] 73.6% [46] 2251(4.7%) 0(0.0%) substitute-e ...t-testing/src/core/ematch.rkt:71:0 mk-enode! [48] 55.1% substitute-e [46] 26.4% variable? [49] 7.9% assoc [151] 6.4% ??? [64] 4.3% --------------------------------------------------------------------------------------- mk-min [42] 37.1% loop [41] 62.9% [47] 1940(4.0%) 240(0.5%) expression-cost ...-testing/src/programs.rkt:209:0 table-ref [65] 63.2% ...sting/src/common.rkt:47:2 [106] 12.3% compile [54] 12.2% --------------------------------------------------------------------------------------- mk-egraph [39] 4.8% substitute-e [46] 24.9% one-iter [40] 70.4% [48] 4986(10.4%) 238(0.5%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [56] 95.2% --------------------------------------------------------------------------------------- substitute-e [46] 17.5% match-e [43] 82.5% [49] 2484(5.2%) 0(0.0%) variable? ...t-testing/src/syntax/syntax.rkt:665:0 ??? [64] 100.0% --------------------------------------------------------------------------------------- merge-egraph-nodes! [45] 100.0% [50] 989(2.1%) 516(1.1%) update-leader! ...esting/src/core/egraph.rkt:218:0 do-hash-update [58] 47.8% --------------------------------------------------------------------------------------- match-e [43] 100.0% [51] 808(1.7%) 521(1.1%) ??? ...herbie/alt-testing/src/core/ematch.rkt:50:5 custom-in-set [60] 35.5% --------------------------------------------------------------------------------------- match-e [43] 100.0% [52] 528(1.1%) 0(0.0%) ??? ...e/racket/collects/racket/function.rkt:182:4 do-procedure-reduce-keyword-arity [57] 100.0% --------------------------------------------------------------------------------------- list-cartesian-product [53] 22.7% match-e [43] 77.3% [53] 527(1.1%) 240(0.5%) list-cartesian-product ...src/core/ematch.rkt:20:0 make-sequence [59] 54.6% list-cartesian-product [53] 22.7% --------------------------------------------------------------------------------------- expression-cost [47] 100.0% [54] 237(0.5%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [133] 100.0% --------------------------------------------------------------------------------------- custom-set-member? [44] 100.0% [55] 236(0.5%) 236(0.5%) set-check-elem ...cket/private/set-types.rkt:329:0 --------------------------------------------------------------------------------------- mk-enode! [48] 100.0% [56] 4748(9.9%) 0(0.0%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [61] 100.0% --------------------------------------------------------------------------------------- match-e [43] 30.9% ??? [52] 69.1% [57] 764(1.6%) 764(1.6%) do-procedure-reduce-keyword-arity ...kw.rkt:1689:2 --------------------------------------------------------------------------------------- update-leader! [50] 100.0% [58] 472(1.0%) 0(0.0%) do-hash-update ...et/private/more-scheme.rkt:343:2 ??? [62] 100.0% --------------------------------------------------------------------------------------- list-cartesian-product [53] 100.0% [59] 288(0.6%) 288(0.6%) make-sequence ...ects/racket/private/for.rkt:557:2 --------------------------------------------------------------------------------------- ??? [51] 100.0% [60] 287(0.6%) 287(0.6%) custom-in-set ...acket/private/set-types.rkt:580:0 --------------------------------------------------------------------------------------- new-enode [56] 100.0% [61] 4748(9.9%) 0(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [63] 100.0% --------------------------------------------------------------------------------------- do-hash-update [58] 100.0% [62] 472(1.0%) 472(1.0%) ??? ...rbie/alt-testing/src/core/egraph.rkt:226:24 --------------------------------------------------------------------------------------- type-of-enode-expr [61] 100.0% [63] 4748(9.9%) 0(0.0%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 ??? [66] 36.8% table-ref [65] 32.1% ??? [64] 20.9% ...sting/src/common.rkt:47:2 [106] 10.2% --------------------------------------------------------------------------------------- run-improve [19] 2.8% substitute-e [46] 2.8% choose-best-alt! [30] 5.0% get-sigs [63] 9.5% match-e [43] 17.7% variable? [49] 23.8% finalize-iter! [27] 38.5% [64] 10448(21.8%) 240(0.5%) ??? ...contract/private/arrow-val-first.rkt:486:18 hash-has-key? [67] 48.7% atab-add-altns [68] 41.3% atab-pick-alt [70] 5.0% ??? [128] 2.8% --------------------------------------------------------------------------------------- expression-cost [47] 44.6% get-sigs [63] 55.4% [65] 2748(5.7%) 761(1.6%) table-ref ...erbie/alt-testing/src/common.rkt:46:0 ??? [72] 63.7% set-member? [104] 8.6% --------------------------------------------------------------------------------------- get-sigs [63] 100.0% [66] 1746(3.6%) 0(0.0%) ??? ...cts/racket/contract/private/arr-i.rkt:855:8 ??? [69] 55.1% handle-the-hash [76] 31.3% get/build-late-neg-projection [90] 13.6% --------------------------------------------------------------------------------------- ??? [64] 100.0% [67] 5088(10.6%) 3524(7.4%) hash-has-key? ...ket/private/more-scheme.rkt:372:2 ??? [72] 30.7% --------------------------------------------------------------------------------------- ??? [64] 100.0% [68] 4313(9.0%) 0(0.0%) atab-add-altns ...ting/src/core/alt-table.rkt:52:0 atab-add-altn [71] 100.0% --------------------------------------------------------------------------------------- ??? [66] 100.0% [69] 962(2.0%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:278:4 contract-pos/neg-doubling/proc [73] 100.0% --------------------------------------------------------------------------------------- ??? [64] 100.0% [70] 519(1.1%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 write-json* [74] 54.5% ??? [87] 45.5% --------------------------------------------------------------------------------------- atab-add-altns [68] 100.0% [71] 4313(9.0%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:239:0 best-and-tied-at-points [75] 100.0% --------------------------------------------------------------------------------------- hash-has-key? [67] 47.2% table-ref [65] 52.8% [72] 3316(6.9%) 981(2.0%) ??? ...ects/racket/contract/private/list.rkt:814:4 ??? [77] 31.6% handle-the-hash [76] 21.6% successfully-got-the-right-kind-of-function [78] 17.2% --------------------------------------------------------------------------------------- ??? [69] 100.0% [73] 962(2.0%) 719(1.5%) contract-pos/neg-doubling/proc .../guts.rkt:1062:0 ??? [80] 25.3% --------------------------------------------------------------------------------------- atab-pick-alt [70] 100.0% [74] 283(0.6%) 0(0.0%) write-json* .../racket/collects/json/main.rkt:94:0 loop [79] 100.0% --------------------------------------------------------------------------------------- atab-add-altn [71] 100.0% [75] 4313(9.0%) 236(0.5%) best-and-tied-at-points ...ore/alt-table.rkt:153:0 errors [81] 94.5% --------------------------------------------------------------------------------------- ??? [66] 43.2% ??? [72] 56.8% [76] 1262(2.6%) 0(0.0%) handle-the-hash ...contract/private/hash.rkt:323:0 ??? [119] 100.0% --------------------------------------------------------------------------------------- ??? [72] 100.0% [77] 1048(2.2%) 288(0.6%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 loop [82] 27.2% blame-add-missing-party [84] 26.5% update-the-info [86] 18.8% --------------------------------------------------------------------------------------- ??? [72] 100.0% [78] 570(1.2%) 287(0.6%) successfully-got-the-right-kind-of-function ...5:4 arity-checking-wrapper [83] 49.7% --------------------------------------------------------------------------------------- write-json* [74] 25.0% loop [79] 75.0% [79] 283(0.6%) 283(0.6%) loop .../share/racket/collects/json/main.rkt:132:2 loop [79] 75.0% --------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [73] 100.0% [80] 244(0.5%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:192:2 ??? [85] 100.0% --------------------------------------------------------------------------------------- loop [118] 4.2% composed [114] 5.2% best-and-tied-at-points [75] 90.5% [81] 4504(9.4%) 282(0.6%) errors .../herbie/alt-testing/src/points.rkt:271:0 ??? [88] 78.9% eval-prog [89] 10.5% ??? [87] 4.3% --------------------------------------------------------------------------------------- ??? [77] 25.0% loop [82] 75.0% [82] 285(0.6%) 285(0.6%) loop ...ts/racket/contract/private/blame.rkt:319:2 loop [82] 75.0% --------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [78]100.0% [83] 284(0.6%) 284(0.6%) arity-checking-wrapper ...w-higher-order.rkt:443:0 --------------------------------------------------------------------------------------- ??? [77] 100.0% [84] 278(0.6%) 278(0.6%) blame-add-missing-party ...private/blame.rkt:382:0 --------------------------------------------------------------------------------------- ??? [80] 100.0% [85] 244(0.5%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:755:5 get/build-late-neg-projection [90] 100.0% --------------------------------------------------------------------------------------- ??? [77] 100.0% [86] 197(0.4%) 197(0.4%) update-the-info ...ontract/private/blame.rkt:318:0 --------------------------------------------------------------------------------------- copying-mergesort [21] 1.9% errors [81] 1.9% atab-pick-alt [70] 2.3% loop [118] 25.3% loop [91] 34.2% taylor-alt [34] 34.2% [87] 10050(21.0%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:375:33 loop [91] 34.2% approximate [92] 34.2% ->flonum [94] 27.1% best-alt [100] 2.3% real->bigfloat [101] 2.1% --------------------------------------------------------------------------------------- ??? [15] 3.0% copying-mergesort [21] 9.0% loop [118] 31.8% errors [81] 56.2% [88] 6328(13.2%) 3160(6.6%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 loop [118] 30.4% ??? [95] 6.8% bf* [96] 6.5% ??? [102] 3.3% ??? [107] 3.1% --------------------------------------------------------------------------------------- make-exacts* [31] 29.1% errors [81] 70.9% [89] 666(1.4%) 194(0.4%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 f274 [93] 35.5% ??? [99] 35.4% --------------------------------------------------------------------------------------- ??? [98] 24.7% ??? [66] 24.7% ??? [85] 50.6% [90] 481(1.0%) 238(0.5%) get/build-late-neg-projection ...te/guts.rkt:881:0 ??? [97] 50.6% ??? [98] 24.7% --------------------------------------------------------------------------------------- ??? [87] 18.5% loop [91] 81.5% [91] 6884(14.4%) 0(0.0%) loop .../herbie/alt-testing/src/programs.rkt:125:4 loop [91] 81.5% ??? [87] 18.5% --------------------------------------------------------------------------------------- ??? [87] 100.0% [92] 6884(14.4%) 0(0.0%) approximate ...lt-testing/src/core/taylor.rkt:12:0 ??? [103] 45.0% hash-ref! [133] 43.6% taylor [125] 11.4% --------------------------------------------------------------------------------------- eval-prog [89] 0.9% composed [114] 1.0% split-table [29] 25.5% simplify [7] 35.8% loop [118] 36.8% [93] 6723(14.0%) 4156(8.7%) f274 .../collects/racket/match/compiler.rkt:548:40 loop [118] 69.6% composed [114] 1.0% --------------------------------------------------------------------------------------- ??? [87] 100.0% [94] 2720(5.7%) 1454(3.0%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 return/no-unsupplied [160] 17.5% set-member? [104] 14.8% list-member? [105] 7.2% ...sting/src/common.rkt:47:2 [106] 7.1% --------------------------------------------------------------------------------------- ??? [88] 100.0% [95] 429(0.9%) 193(0.4%) ??? ...ie/alt-testing/src/syntax/syntax.rkt:156:17 ...sting/src/common.rkt:47:2 [106] 55.0% --------------------------------------------------------------------------------------- ??? [88] 100.0% [96] 414(0.9%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [107] 100.0% --------------------------------------------------------------------------------------- get/build-late-neg-projection [90] 100.0% [97] 244(0.5%) 0(0.0%) ??? ...cts/racket/contract/private/prop.rkt:376:12 build-compound-type-name [109] 100.0% --------------------------------------------------------------------------------------- get/build-late-neg-projection [90] 100.0% [98] 238(0.5%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:272:2 get/build-late-neg-projection [90] 100.0% --------------------------------------------------------------------------------------- eval-prog [89] 100.0% [99] 236(0.5%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [110] 100.0% --------------------------------------------------------------------------------------- ??? [87] 100.0% [100] 236(0.5%) 0(0.0%) best-alt ...s/herbie/alt-testing/src/glue.rkt:71:0 argmins [108] 100.0% --------------------------------------------------------------------------------------- ??? [87] 100.0% [101] 211(0.4%) 0(0.0%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [120] 100.0% --------------------------------------------------------------------------------------- ??? [88] 100.0% [102] 208(0.4%) 0(0.0%) ??? .../private/arrow-higher-order.rkt:379:33 ??? [119] 100.0% --------------------------------------------------------------------------------------- ??? [2] 49.2% approximate [92] 50.8% [103] 6096(12.7%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 hash-ref! [133] 100.0% --------------------------------------------------------------------------------------- table-ref [65] 17.1% ->flonum [94] 29.1% one-iter [40] 53.9% [104] 1380(2.9%) 1380(2.9%) set-member? ...ts/racket/private/generic.rkt:472:9 --------------------------------------------------------------------------------------- ->flonum [94] 15.7% one-iter [40] 84.3% [105] 1248(2.6%) 0(0.0%) list-member? ...llects/racket/private/set.rkt:24:0 member [111] 100.0% --------------------------------------------------------------------------------------- ->flonum [94] 16.7% ??? [95] 20.5% expression-cost [47] 20.7% get-sigs [63] 42.1% [106] 1152(2.4%) 428(0.9%) ...sting/src/common.rkt:47:2 ...e/arr-i.rkt:976:19 ??? [113] 45.8% ??? [116] 17.0% --------------------------------------------------------------------------------------- ??? [88] 32.1% bf* [96] 67.9% [107] 610(1.3%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [112] 100.0% --------------------------------------------------------------------------------------- extract-alt [32] 45.0% best-alt [100] 55.0% [108] 429(0.9%) 0(0.0%) argmins ...herbie/alt-testing/src/common.rkt:152:0 composed [114] 55.0% errors-score [117] 45.0% --------------------------------------------------------------------------------------- ??? [97] 100.0% [109] 244(0.5%) 0(0.0%) build-compound-type-name ...private/guts.rkt:543:0 contract-struct-name [115] 100.0% --------------------------------------------------------------------------------------- ??? [99] 100.0% [110] 236(0.5%) 236(0.5%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 --------------------------------------------------------------------------------------- list-member? [105] 100.0% [111] 1248(2.6%) 1248(2.6%) member ...collects/racket/private/member.rkt:13:21 --------------------------------------------------------------------------------------- ??? [107] 100.0% [112] 610(1.3%) 192(0.4%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:846:4 new-mpfr [120] 68.6% --------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [106] 100.0% [113] 528(1.1%) 290(0.6%) ??? ...s/racket/contract/private/arr-i.rkt:1324:39 assoc-ref [121] 45.1% --------------------------------------------------------------------------------------- argmins [108] 45.6% f274 [93] 54.4% [114] 518(1.1%) 0(0.0%) composed ...ollects/racket/private/list.rkt:340:16 f274 [93] 54.4% errors [81] 45.6% --------------------------------------------------------------------------------------- build-compound-type-name [109] 100.0% [115] 244(0.5%) 0(0.0%) contract-struct-name ...ract/private/prop.rkt:98:0 reverse [162] 100.0% --------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [106] 100.0% [116] 196(0.4%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:376:4 ??? [119] 100.0% --------------------------------------------------------------------------------------- argmins [108] 100.0% [117] 193(0.4%) 0(0.0%) errors-score ...e/alt-testing/src/points.rkt:281:0 loop [118] 100.0% --------------------------------------------------------------------------------------- errors-score [117] 0.0% set-precompute! [124] 0.2% loop [28] 0.2% option-on-expr [3] 0.3% iterate-egraph! [37] 0.4% gather-additive-terms [132] 0.8% ??? [155] 0.9% taylor [125] 1.6% match-e [43] 4.6% loop! [122] 5.4% ??? [88] 7.1% f274 [93] 21.8% loop [118] 56.7% [118] 14988(31.3%) 756(1.6%) loop .../private/map.rkt:40:19 loop [118] 56.7% f274 [93] 17.5% ??? [87] 7.1% loop! [122] 5.4% option-on-expr [3] 2.1% taylor [125] 1.6% keyword-apply [131] 1.6% make-multiplication-node [137] 1.2% simplify* [127] 1.0% hash-ref! [133] 0.9% gather-additive-terms [132] 0.8% set-precompute! [124] 0.4% errors [81] 0.3% ??? [88] 0.2% step [129] 0.2% ??? [126] 0.1% foldl [130] 0.1% --------------------------------------------------------------------------------------- ??? [116] 11.7% ??? [102] 12.5% handle-the-hash [76] 75.8% [119] 1666(3.5%) 434(0.9%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [123] 61.4% ??? [128] 12.5% --------------------------------------------------------------------------------------- real->bigfloat [101] 33.5% bfadd [112] 66.5% [120] 630(1.3%) 630(1.3%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 --------------------------------------------------------------------------------------- ??? [113] 100.0% [121] 238(0.5%) 0(0.0%) assoc-ref ...collects/racket/private/dict.rkt:77:0 assoc [151] 100.0% --------------------------------------------------------------------------------------- merge-egraph-nodes! [45] 25.2% loop [118] 37.4% one-iter [40] 37.4% [122] 3181(6.6%) 280(0.6%) loop! ...rbie/alt-testing/src/core/enode.rkt:192:2 loop [118] 37.4% custom-set-union [134] 37.2% make-immutable-set [135] 12.7% ??? [138] 8.3% --------------------------------------------------------------------------------------- ??? [119] 100.0% [123] 1024(2.1%) 504(1.1%) ??? ...ects/racket/contract/private/list.rkt:763:7 check-list [150] 50.8% --------------------------------------------------------------------------------------- loop [118] 100.0% [124] 931(1.9%) 239(0.5%) set-precompute! ...ing/src/core/simplify.rkt:193:0 loop [118] 49.2% simple-compose [143] 25.1% --------------------------------------------------------------------------------------- loop [118] 6.1% approximate [92] 26.4% taylor [125] 67.5% [125] 788(1.6%) 0(0.0%) taylor ...ie/alt-testing/src/core/taylor.rkt:163:0 taylor [125] 67.5% debug-print [136] 17.9% normalize-series [5] 8.5% loop [118] 6.1% --------------------------------------------------------------------------------------- loop [118] 36.6% err-lsts->split-indices [9] 63.4% [126] 596(1.2%) 596(1.2%) ??? ...e/racket/collects/racket/function.rkt:93:12 --------------------------------------------------------------------------------------- simplify [7] 49.7% loop [118] 50.3% [127] 574(1.2%) 288(0.6%) simplify* .../alt-testing/src/core/reduce.rkt:31:0 hash-ref! [133] 49.7% --------------------------------------------------------------------------------------- ??? [119] 42.0% ??? [64] 58.0% [128] 496(1.0%) 208(0.4%) ??? ...ects/racket/contract/private/guts.rkt:794:8 dict? [139] 58.0% --------------------------------------------------------------------------------------- loop [118] 100.0% [129] 286(0.6%) 0(0.0%) step .../racket/collects/racket/function.rkt:145:9 sort [140] 100.0% --------------------------------------------------------------------------------------- loop [118] 100.0% [130] 284(0.6%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:248:4 merge2 [141] 100.0% --------------------------------------------------------------------------------------- loop [118] 100.0% [131] 238(0.5%) 0(0.0%) keyword-apply ...lects/racket/private/kw.rkt:478:2 loop [142] 100.0% --------------------------------------------------------------------------------------- loop [118] 25.0% simplify-node [14] 25.0% gather-additive-terms [132] 50.0% [132] 234(0.5%) 0(0.0%) gather-additive-terms .../src/core/reduce.rkt:72:0 gather-additive-terms [132] 50.0% loop [118] 25.0% make-multiplication-node [137] 25.0% --------------------------------------------------------------------------------------- compile [54] 0.9% simplify* [127] 1.1% ??? [2] 1.2% loop [118] 2.7% ??? [149] 3.2% ??? [147] 3.5% ??? [148] 3.5% normalize-series [5] 4.1% approximate [92] 9.6% ??? [146] 12.1% ??? [144] 15.9% ??? [145] 19.9% ??? [103] 22.0% [133] 6602(13.8%) 800(1.7%) hash-ref! .../racket/private/more-scheme.rkt:377:2 simplify [7] 22.0% ??? [145] 20.8% ??? [144] 17.7% ??? [146] 12.1% ??? [2] 10.8% ??? [148] 3.5% ??? [147] 3.5% ??? [149] 3.2% ??? [155] 2.7% ??? [4] 1.0% --------------------------------------------------------------------------------------- loop! [122] 100.0% [134] 1566(3.3%) 518(1.1%) custom-set-union ...et/private/set-types.rkt:168:0 choose-immutable [154] 33.6% check-list [150] 33.4% --------------------------------------------------------------------------------------- loop! [122] 100.0% [135] 806(1.7%) 806(1.7%) make-immutable-set .../private/set-types.rkt:948:0 --------------------------------------------------------------------------------------- simplify [7] 35.4% taylor [125] 64.6% [136] 803(1.7%) 803(1.7%) debug-print ...bie/alt-testing/src/debug.rkt:107:0 --------------------------------------------------------------------------------------- gather-additive-terms [132] 29.3% loop [118] 70.7% [137] 800(1.7%) 0(0.0%) make-multiplication-node .../core/reduce.rkt:230:0 make-multiplication-subnode [152] 100.0% --------------------------------------------------------------------------------------- loop! [122] 100.0% [138] 530(1.1%) 0(0.0%) ??? ...erbie/alt-testing/src/core/enode.rkt:202:13 update-en-expr [153] 100.0% --------------------------------------------------------------------------------------- ??? [128] 100.0% [139] 288(0.6%) 288(0.6%) dict? ...ollects/racket/private/generic.rkt:146:11 --------------------------------------------------------------------------------------- step [129] 100.0% [140] 286(0.6%) 286(0.6%) sort ...cket/collects/racket/private/list.rkt:43:2 --------------------------------------------------------------------------------------- foldl [130] 100.0% [141] 284(0.6%) 0(0.0%) merge2 ...bie/alt-testing/src/core/ematch.rkt:31:0 assoc [151] 100.0% --------------------------------------------------------------------------------------- keyword-apply [131] 100.0% [142] 238(0.5%) 238(0.5%) loop ...cket/collects/racket/private/kw.rkt:518:13 --------------------------------------------------------------------------------------- set-precompute! [124] 100.0% [143] 234(0.5%) 234(0.5%) simple-compose ...s/racket/private/list.rkt:426:10 --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [144] 5808(12.1%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:44:15 hash-ref! [133] 96.0% simplify [7] 4.0% --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [145] 4724(9.9%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:295:23 hash-ref! [133] 97.0% simplify [7] 3.0% --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [146] 4210(8.8%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:392:23 hash-ref! [133] 100.0% --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [147] 1666(3.5%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:483:23 hash-ref! [133] 100.0% --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [148] 1615(3.4%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:285:26 hash-ref! [133] 100.0% --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [149] 1396(2.9%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:338:33 hash-ref! [133] 100.0% --------------------------------------------------------------------------------------- match-e [43] 18.4% ??? [123] 40.7% custom-set-union [134] 40.9% [150] 1277(2.7%) 1277(2.7%) check-list ...ollects/racket/private/for.rkt:690:2 --------------------------------------------------------------------------------------- assoc-ref [121] 29.4% merge2 [141] 35.2% substitute-e [46] 35.4% [151] 809(1.7%) 809(1.7%) assoc ...t/collects/racket/private/list.rkt:196:13 --------------------------------------------------------------------------------------- make-multiplication-node [137] 100.0% [152] 800(1.7%) 0(0.0%) make-multiplication-subnode ...re/reduce.rkt:240:0 group-by [157] 64.9% make-multiplication-subsubnode [158] 35.1% --------------------------------------------------------------------------------------- ??? [138] 100.0% [153] 530(1.1%) 288(0.6%) update-en-expr ...esting/src/core/egraph.rkt:212:0 pack-leader [156] 45.6% --------------------------------------------------------------------------------------- custom-set-union [134] 100.0% [154] 526(1.1%) 526(1.1%) choose-immutable ...et/private/set-types.rkt:151:0 --------------------------------------------------------------------------------------- hash-ref! [133] 100.0% [155] 237(0.5%) 0(0.0%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [118] 100.0% --------------------------------------------------------------------------------------- update-en-expr [153] 46.3% match-e [43] 53.7% [156] 522(1.1%) 522(1.1%) pack-leader ...lt-testing/src/core/enode.rkt:247:0 --------------------------------------------------------------------------------------- make-multiplication-subnode [152] 100.0% [157] 518(1.1%) 518(1.1%) group-by .../racket/collects/racket/list.rkt:816:0 --------------------------------------------------------------------------------------- make-multiplication-subnode [152] 100.0% [158] 281(0.6%) 0(0.0%) make-multiplication-subsubnode ...reduce.rkt:250:0 mterm->expr [159] 100.0% --------------------------------------------------------------------------------------- make-multiplication-subsubnode [158] 100.0% [159] 281(0.6%) 0(0.0%) mterm->expr ...t-testing/src/core/reduce.rkt:270:0 return/no-unsupplied [160] 100.0% --------------------------------------------------------------------------------------- mterm->expr [159] 37.1% ->flonum [94] 62.9% [160] 756(1.6%) 281(0.6%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [161] 37.2% reverse [162] 25.6% --------------------------------------------------------------------------------------- match-e [43] 45.9% return/no-unsupplied [160] 54.1% [161] 520(1.1%) 520(1.1%) filter ...t/collects/racket/private/list.rkt:275:2 --------------------------------------------------------------------------------------- return/no-unsupplied [160] 44.3% contract-struct-name [115] 55.7% [162] 438(0.9%) 438(0.9%) reverse ...collects/racket/private/reverse.rkt:6:4 ---------------------------------------------------------------------------------------