Profiling results ----------------- Total cpu time observed: 65102ms (out of 65530ms) Number of samples taken: 220 (once every 296ms) (Hiding functions with self<1.0% and local<2.0%: 6 of 171 hidden) ======================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================================== [1] 65102(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [5] 100.0% ---------------------------------------------------------------------------------------- hash-ref! [121] 100.0% [2] 842(1.3%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:285:26 ??? [6] 66.8% hash-ref! [121] 33.2% ---------------------------------------------------------------------------------------- loop [72] 100.0% [3] 271(0.4%) 0(0.0%) composed ...ollects/racket/private/list.rkt:341:16 hash-ref! [121] 100.0% ---------------------------------------------------------------------------------------- f163 [141] 100.0% [4] 268(0.4%) 0(0.0%) taylor ...ie/alt-testing/src/core/taylor.rkt:163:0 taylor-invert [7] 100.0% ---------------------------------------------------------------------------------------- ??? [1] 100.0% [5] 65102(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [8] 100.0% ---------------------------------------------------------------------------------------- ??? [2] 100.0% [6] 562(0.9%) 0(0.0%) ??? ...rbie/alt-testing/src/core/taylor.rkt:288:19 hash-ref! [121] 100.0% ---------------------------------------------------------------------------------------- taylor [4] 100.0% [7] 268(0.4%) 0(0.0%) taylor-invert ...testing/src/core/taylor.rkt:312:0 normalize-series [9] 100.0% ---------------------------------------------------------------------------------------- profile-thunk [5] 100.0% [8] 65102(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [10] 100.0% ---------------------------------------------------------------------------------------- taylor-invert [7] 100.0% [9] 268(0.4%) 0(0.0%) normalize-series ...ting/src/core/taylor.rkt:301:0 simplify [131] 100.0% ---------------------------------------------------------------------------------------- ??? [8] 100.0% [10] 65102(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 run-improve [11] 69.9% prepare-points [16] 30.1% ---------------------------------------------------------------------------------------- ??? [10] 100.0% [11] 45488(69.9%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 run-iter! [12] 89.5% get-final-combination [13] 8.7% setup-prog! [14] 1.8% ---------------------------------------------------------------------------------------- run-improve [11] 100.0% [12] 40734(62.6%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 simplify! [15] 85.1% finalize-iter! [18] 7.5% gen-series! [19] 5.4% choose-best-alt! [20] 1.4% localize! [21] 0.7% ---------------------------------------------------------------------------------------- run-improve [11] 100.0% [13] 3942(6.1%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:255:0 split-table [17] 100.0% ---------------------------------------------------------------------------------------- run-improve [11] 100.0% [14] 812(1.2%) 0(0.0%) setup-prog! ...e/alt-testing/src/mainloop.rkt:72:0 prepare-points [16] 100.0% ---------------------------------------------------------------------------------------- run-iter! [12] 100.0% [15] 34676(53.3%) 0(0.0%) simplify! ...ie/alt-testing/src/mainloop.rkt:146:0 ??? [22] 100.0% ---------------------------------------------------------------------------------------- setup-prog! [14] 3.5% pred [143] 11.1% ??? [10] 85.4% [16] 22970(35.3%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [29] 54.2% make-exacts [23] 25.7% make-exacts* [30] 14.8% ??? [25] 2.5% filter-exacts [26] 1.7% debug [144] 1.2% ---------------------------------------------------------------------------------------- get-final-combination [13] 100.0% [17] 3942(6.1%) 0(0.0%) split-table ...rbie/alt-testing/src/glue.rkt:162:0 f163 [141] 100.0% ---------------------------------------------------------------------------------------- run-iter! [12] 100.0% [18] 3050(4.7%) 0(0.0%) finalize-iter! ...t-testing/src/mainloop.rkt:160:0 ??? [52] 100.0% ---------------------------------------------------------------------------------------- run-iter! [12] 100.0% [19] 2186(3.4%) 0(0.0%) gen-series! .../alt-testing/src/mainloop.rkt:120:0 taylor-alt [24] 100.0% ---------------------------------------------------------------------------------------- run-iter! [12] 100.0% [20] 550(0.8%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [52] 100.0% ---------------------------------------------------------------------------------------- run-iter! [12] 100.0% [21] 271(0.4%) 0(0.0%) localize! ...ie/alt-testing/src/mainloop.rkt:115:0 localize-error [27] 100.0% ---------------------------------------------------------------------------------------- simplify! [15] 100.0% [22] 34676(53.3%) 0(0.0%) ??? ...s/herbie/alt-testing/src/mainloop.rkt:152:8 simplify [28] 100.0% ---------------------------------------------------------------------------------------- prepare-points [16] 100.0% [23] 5901(9.1%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [29] 90.4% make-exacts* [30] 9.6% ---------------------------------------------------------------------------------------- gen-series! [19] 100.0% [24] 2186(3.4%) 0(0.0%) taylor-alt ...erbie/alt-testing/src/glue.rkt:134:0 ??? [76] 100.0% ---------------------------------------------------------------------------------------- prepare-points [16] 100.0% [25] 572(0.9%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/points.rkt:230:7 ??? [76] 100.0% ---------------------------------------------------------------------------------------- prepare-points [16] 100.0% [26] 380(0.6%) 0(0.0%) filter-exacts .../alt-testing/src/points.rkt:178:0 ordinary-value? [31] 100.0% ---------------------------------------------------------------------------------------- localize! [21] 100.0% [27] 271(0.4%) 0(0.0%) localize-error ...sting/src/core/localize.rkt:47:0 hash-ref! [121] 100.0% ---------------------------------------------------------------------------------------- ??? [22] 100.0% [28] 34676(53.3%) 0(0.0%) simplify ...alt-testing/src/core/simplify.rkt:43:0 ??? [32] 100.0% ---------------------------------------------------------------------------------------- make-exacts [23] 30.0% prepare-points [16] 70.0% [29] 17776(27.3%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [72] 100.0% ---------------------------------------------------------------------------------------- make-exacts [23] 14.4% prepare-points [16] 85.6% [30] 3962(6.1%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [77] 100.0% ---------------------------------------------------------------------------------------- filter-exacts [26] 100.0% [31] 380(0.6%) 380(0.6%) ordinary-value? ...lt-testing/src/common.rkt:108:0 ---------------------------------------------------------------------------------------- simplify [28] 100.0% [32] 34676(53.3%) 0(0.0%) ??? ...rbie/alt-testing/src/core/simplify.rkt:77:0 iterate-egraph! [33] 91.2% loop [34] 8.8% ---------------------------------------------------------------------------------------- ??? [32] 100.0% [33] 31627(48.6%) 0(0.0%) iterate-egraph! ...ing/src/core/simplify.rkt:105:0 one-iter [35] 94.2% loop [72] 5.8% ---------------------------------------------------------------------------------------- ??? [32] 100.0% [34] 3049(4.7%) 556(0.9%) loop ...ie/alt-testing/src/core/simplify.rkt:237:2 mk-min [36] 45.6% loop [37] 36.2% ---------------------------------------------------------------------------------------- iterate-egraph! [33] 100.0% [35] 29782(45.7%) 284(0.4%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 match-e [38] 39.9% merge-egraph-nodes! [39] 21.4% loop! [78] 10.2% custom-set-member? [41] 8.3% mk-enode! [44] 7.4% substitute-e [42] 6.5% in-set [109] 4.3% list-member? [115] 1.0% ---------------------------------------------------------------------------------------- loop [34] 100.0% [36] 1389(2.1%) 0(0.0%) mk-min ...re/racket/collects/racket/list.rkt:786:0 expression-cost [40] 100.0% ---------------------------------------------------------------------------------------- loop [34] 100.0% [37] 1104(1.7%) 0(0.0%) loop ...hare/racket/collects/racket/list.rkt:796:4 expression-cost [40] 100.0% ---------------------------------------------------------------------------------------- match-e [38] 21.8% one-iter [35] 78.2% [38] 11894(18.3%) 3588(5.5%) match-e ...ie/alt-testing/src/core/ematch.rkt:46:0 match-e [38] 21.8% loop [72] 12.9% make-sequence [45] 10.5% ??? [47] 7.0% variable? [46] 5.0% ??? [52] 4.7% ??? [48] 2.3% make-curried [49] 2.3% in-set [109] 2.3% reverse [125] 2.2% do-procedure-reduce-keyword-arity [55] 1.2% check-list [116] 1.2% list-cartesian-product [50] 1.2% ---------------------------------------------------------------------------------------- merge-egraph-nodes! [39] 6.5% one-iter [35] 93.5% [39] 6366(9.8%) 0(0.0%) merge-egraph-nodes! ...g/src/core/egraph.rkt:153:0 update-leader! [43] 67.3% loop! [78] 17.5% merge-egraph-nodes! [39] 6.5% make-sequence [45] 4.5% enode-merge! [51] 4.2% ---------------------------------------------------------------------------------------- loop [37] 44.3% mk-min [36] 55.7% [40] 2494(3.8%) 281(0.4%) expression-cost ...-testing/src/programs.rkt:209:0 table-ref [67] 55.5% ...sting/src/common.rkt:47:2 [110] 33.3% ---------------------------------------------------------------------------------------- one-iter [35] 100.0% [41] 2482(3.8%) 2482(3.8%) custom-set-member? ...t/private/set-types.rkt:45:0 ---------------------------------------------------------------------------------------- substitute-e [42] 16.7% one-iter [35] 83.3% [42] 1946(3.0%) 0(0.0%) substitute-e ...t-testing/src/core/ematch.rkt:71:0 mk-enode! [44] 71.5% substitute-e [42] 16.7% ??? [52] 11.9% ---------------------------------------------------------------------------------------- merge-egraph-nodes! [39] 100.0% [43] 4696(7.2%) 1674(2.6%) update-leader! ...esting/src/core/egraph.rkt:218:0 do-hash-update [54] 58.4% custom-set-union! [58] 6.0% ---------------------------------------------------------------------------------------- substitute-e [42] 38.8% one-iter [35] 61.2% [44] 3589(5.5%) 546(0.8%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [53] 84.8% ---------------------------------------------------------------------------------------- merge-egraph-nodes! [39] 17.0% match-e [38] 83.0% [45] 1670(2.6%) 1108(1.7%) make-sequence ...ects/racket/private/for.rkt:557:2 :hash-gen [56] 33.6% ---------------------------------------------------------------------------------------- match-e [38] 100.0% [46] 1374(2.1%) 262(0.4%) variable? ...t-testing/src/syntax/syntax.rkt:665:0 ??? [52] 80.9% ---------------------------------------------------------------------------------------- match-e [38] 100.0% [47] 830(1.3%) 0(0.0%) ??? ...e/racket/collects/racket/function.rkt:182:4 do-procedure-reduce-keyword-arity [55] 65.7% do-curry [57] 34.3% ---------------------------------------------------------------------------------------- match-e [38] 100.0% [48] 280(0.4%) 280(0.4%) ??? ...herbie/alt-testing/src/core/ematch.rkt:50:5 ---------------------------------------------------------------------------------------- match-e [38] 100.0% [49] 276(0.4%) 276(0.4%) make-curried ...collects/racket/function.rkt:130:9 ---------------------------------------------------------------------------------------- list-cartesian-product [50] 50.0% match-e [38] 50.0% [50] 275(0.4%) 275(0.4%) list-cartesian-product ...src/core/ematch.rkt:20:0 list-cartesian-product [50] 50.0% ---------------------------------------------------------------------------------------- merge-egraph-nodes! [39] 100.0% [51] 270(0.4%) 0(0.0%) enode-merge! ...t-testing/src/core/enode.rkt:129:0 adopt-enode! [59] 100.0% ---------------------------------------------------------------------------------------- ??? [135] 2.1% f163 [141] 4.1% get-setting [161] 4.2% choose-best-alt! [20] 8.3% substitute-e [42] 8.4% match-e [38] 12.5% variable? [46] 16.7% finalize-iter! [18] 43.8% [52] 6652(10.2%) 280(0.4%) ??? ...contract/private/arrow-val-first.rkt:486:18 atab-add-altns [60] 43.8% hash-has-key? [61] 43.7% atab-pick-alt [64] 8.3% ---------------------------------------------------------------------------------------- mk-enode! [44] 100.0% [53] 3042(4.7%) 0(0.0%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [62] 100.0% ---------------------------------------------------------------------------------------- update-leader! [43] 100.0% [54] 2742(4.2%) 276(0.4%) do-hash-update ...et/private/more-scheme.rkt:343:2 ??? [63] 89.9% ---------------------------------------------------------------------------------------- match-e [38] 34.1% ??? [47] 65.9% [55] 828(1.3%) 828(1.3%) do-procedure-reduce-keyword-arity ...kw.rkt:1689:2 ---------------------------------------------------------------------------------------- make-sequence [45] 100.0% [56] 562(0.9%) 562(0.9%) :hash-gen ...collects/racket/private/for.rkt:781:4 ---------------------------------------------------------------------------------------- ??? [47] 100.0% [57] 284(0.4%) 284(0.4%) do-curry ...cket/collects/racket/function.rkt:71:2 ---------------------------------------------------------------------------------------- update-leader! [43] 100.0% [58] 280(0.4%) 280(0.4%) custom-set-union! ...t/private/set-types.rkt:245:0 ---------------------------------------------------------------------------------------- enode-merge! [51] 100.0% [59] 270(0.4%) 0(0.0%) adopt-enode! ...t-testing/src/core/enode.rkt:105:0 custom-set-union [91] 100.0% ---------------------------------------------------------------------------------------- ??? [52] 100.0% [60] 3050(4.7%) 0(0.0%) atab-add-altns ...ting/src/core/alt-table.rkt:52:0 atab-add-altn [65] 100.0% ---------------------------------------------------------------------------------------- ??? [52] 100.0% [61] 3047(4.7%) 2224(3.4%) hash-has-key? ...ket/private/more-scheme.rkt:372:2 ??? [74] 27.0% ---------------------------------------------------------------------------------------- new-enode [53] 100.0% [62] 3042(4.7%) 0(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [66] 100.0% ---------------------------------------------------------------------------------------- do-hash-update [54] 100.0% [63] 2466(3.8%) 2466(3.8%) ??? ...rbie/alt-testing/src/core/egraph.rkt:226:24 ---------------------------------------------------------------------------------------- ??? [52] 100.0% [64] 550(0.8%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 errors [73] 100.0% ---------------------------------------------------------------------------------------- atab-add-altns [60] 100.0% [65] 3050(4.7%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:239:0 best-and-tied-at-points [68] 81.8% remove-chnged-pnts [70] 9.1% override-at-pnts [71] 9.0% ---------------------------------------------------------------------------------------- type-of-enode-expr [62] 100.0% [66] 3042(4.7%) 0(0.0%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 table-ref [67] 45.5% ??? [69] 36.3% ...sting/src/common.rkt:47:2 [110] 18.2% ---------------------------------------------------------------------------------------- ??? [76] 9.3% expression-cost [40] 45.4% get-sigs [66] 45.4% [67] 3050(4.7%) 1096(1.7%) table-ref ...erbie/alt-testing/src/common.rkt:46:0 ??? [74] 55.2% ...sting/src/common.rkt:47:2 [110] 8.9% ---------------------------------------------------------------------------------------- atab-add-altn [65] 100.0% [68] 2496(3.8%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:153:0 errors [73] 100.0% ---------------------------------------------------------------------------------------- get-sigs [66] 100.0% [69] 1104(1.7%) 0(0.0%) ??? ...cts/racket/contract/private/arr-i.rkt:855:8 ??? [75] 75.6% handle-the-hash [84] 24.4% ---------------------------------------------------------------------------------------- atab-add-altn [65] 100.0% [70] 278(0.4%) 0(0.0%) remove-chnged-pnts ...src/core/alt-table.rkt:167:0 loop [72] 100.0% ---------------------------------------------------------------------------------------- atab-add-altn [65] 100.0% [71] 276(0.4%) 0(0.0%) override-at-pnts ...g/src/core/alt-table.rkt:176:0 errors [73] 100.0% ---------------------------------------------------------------------------------------- option-on-expr [79] 0.1% loop [29] 0.2% iterate-egraph! [33] 0.3% loop! [78] 0.4% remove-chnged-pnts [70] 0.9% ??? [140] 1.8% ??? [132] 3.1% match-e [38] 3.5% f163 [141] 8.0% loop [72] 81.6% [72] 30764(47.3%) 549(0.8%) loop .../private/map.rkt:40:19 loop [72] 81.6% option-on-expr [79] 4.5% f163 [141] 3.5% hash-ref! [121] 3.1% ??? [76] 1.8% keyword-apply [85] 0.9% foldl [86] 0.9% loop! [78] 0.4% step [83] 0.3% setfindf [80] 0.2% errors [73] 0.1% ??? [140] 0.1% composed [3] 0.0% ---------------------------------------------------------------------------------------- override-at-pnts [71] 7.7% loop [72] 7.7% atab-pick-alt [64] 15.3% best-and-tied-at-points [68] 69.4% [73] 3599(5.5%) 279(0.4%) errors .../herbie/alt-testing/src/points.rkt:271:0 ??? [140] 69.3% eval-prog [77] 15.3% ??? [76] 7.7% ---------------------------------------------------------------------------------------- hash-has-key? [61] 32.9% table-ref [67] 67.1% [74] 2505(3.8%) 558(0.9%) ??? ...ects/racket/contract/private/list.rkt:814:4 ??? [81] 33.5% handle-the-hash [84] 22.4% successfully-got-the-right-kind-of-function [87] 11.0% do-chaperone-procedure [88] 10.8% ---------------------------------------------------------------------------------------- ??? [69] 100.0% [75] 834(1.3%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:278:4 contract-pos/neg-doubling/proc [82] 100.0% ---------------------------------------------------------------------------------------- errors [73] 3.0% copying-mergesort [137] 3.1% f163 [141] 6.0% ??? [25] 6.2% loop [93] 11.8% taylor-alt [24] 11.8% loop [72] 58.1% [76] 9264(14.2%) 587(0.9%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ->flonum [89] 50.2% loop [93] 11.8% approximate [94] 11.8% real->bigfloat [98] 7.7% ordinal->flonum [100] 3.1% sample-multi-bounded [101] 3.1% table-ref [67] 3.0% ??? [135] 3.0% ---------------------------------------------------------------------------------------- errors [73] 12.2% make-exacts* [30] 87.8% [77] 4512(6.9%) 282(0.4%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 compile [90] 69.3% f163 [141] 18.4% ??? [106] 6.1% ---------------------------------------------------------------------------------------- merge-egraph-nodes! [39] 20.1% loop [72] 26.8% one-iter [35] 53.1% [78] 4152(6.4%) 0(0.0%) loop! ...rbie/alt-testing/src/core/enode.rkt:192:2 custom-set-union [91] 53.1% loop [72] 26.8% ??? [95] 13.4% make-immutable-set [99] 6.7% ---------------------------------------------------------------------------------------- loop [72] 100.0% [79] 3942(6.1%) 0(0.0%) option-on-expr ...esting/src/core/regimes.rkt:83:0 sindices->spoints [92] 64.5% sort-context-on-expr [96] 21.3% pick-errors [102] 7.2% loop [72] 7.0% ---------------------------------------------------------------------------------------- loop [72] 100.0% [80] 1564(2.4%) 1564(2.4%) setfindf ...erbie/alt-testing/src/common.rkt:186:0 ---------------------------------------------------------------------------------------- ??? [74] 100.0% [81] 838(1.3%) 558(0.9%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 loop [104] 33.4% ---------------------------------------------------------------------------------------- ??? [75] 100.0% [82] 834(1.3%) 0(0.0%) contract-pos/neg-doubling/proc .../guts.rkt:1062:0 ??? [97] 100.0% ---------------------------------------------------------------------------------------- loop [72] 100.0% [83] 833(1.3%) 833(1.3%) step .../racket/collects/racket/function.rkt:145:9 ---------------------------------------------------------------------------------------- ??? [69] 32.4% ??? [74] 67.6% [84] 831(1.3%) 285(0.4%) handle-the-hash ...contract/private/hash.rkt:323:0 ??? [134] 65.7% ---------------------------------------------------------------------------------------- loop [72] 100.0% [85] 280(0.4%) 0(0.0%) keyword-apply ...lects/racket/private/kw.rkt:478:2 loop [103] 100.0% ---------------------------------------------------------------------------------------- loop [72] 100.0% [86] 278(0.4%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:248:4 check-fold [105] 100.0% ---------------------------------------------------------------------------------------- ??? [74] 100.0% [87] 276(0.4%) 276(0.4%) successfully-got-the-right-kind-of-function ...5:4 ---------------------------------------------------------------------------------------- ??? [74] 100.0% [88] 270(0.4%) 0(0.0%) do-chaperone-procedure ...et/private/kw.rkt:1952:2 chaperone-arity-match-checking [107] 100.0% ---------------------------------------------------------------------------------------- ??? [76] 100.0% [89] 4648(7.1%) 2648(4.1%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 in-set [109] 15.2% return/no-unsupplied [136] 8.3% ...sting/src/common.rkt:47:2 [110] 6.8% list-member? [115] 6.5% ^TYPE? [163] 6.2% ---------------------------------------------------------------------------------------- eval-prog [77] 100.0% [90] 3128(4.8%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [121] 100.0% ---------------------------------------------------------------------------------------- adopt-enode! [59] 9.8% loop! [78] 90.2% [91] 2752(4.2%) 2210(3.4%) custom-set-union ...et/private/set-types.rkt:168:0 choose-immutable [120] 9.8% check-list [116] 9.8% ---------------------------------------------------------------------------------------- option-on-expr [79] 100.0% [92] 2544(3.9%) 0(0.0%) sindices->spoints ...ng/src/core/regimes.rkt:136:0 loop [108] 100.0% ---------------------------------------------------------------------------------------- ??? [76] 23.5% loop [93] 76.5% [93] 2186(3.4%) 0(0.0%) loop .../herbie/alt-testing/src/programs.rkt:125:4 loop [93] 76.5% ??? [76] 23.5% ---------------------------------------------------------------------------------------- ??? [76] 100.0% [94] 2186(3.4%) 0(0.0%) approximate ...lt-testing/src/core/taylor.rkt:12:0 ??? [111] 87.7% f163 [141] 12.3% ---------------------------------------------------------------------------------------- loop! [78] 100.0% [95] 1115(1.7%) 0(0.0%) ??? ...erbie/alt-testing/src/core/enode.rkt:202:13 update-en-expr [114] 74.6% reverse [125] 25.4% ---------------------------------------------------------------------------------------- option-on-expr [79] 100.0% [96] 840(1.3%) 0(0.0%) sort-context-on-expr ...sting/src/points.rkt:115:0 ??? [112] 100.0% ---------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [82] 100.0% [97] 834(1.3%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:192:2 ??? [113] 100.0% ---------------------------------------------------------------------------------------- ??? [76] 100.0% [98] 713(1.1%) 0(0.0%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [162] 100.0% ---------------------------------------------------------------------------------------- loop! [78] 100.0% [99] 556(0.9%) 277(0.4%) make-immutable-set .../private/set-types.rkt:948:0 stream? [118] 50.2% ---------------------------------------------------------------------------------------- ??? [76] 100.0% [100] 286(0.4%) 286(0.4%) ordinal->flonum ...ate/flonum/flonum-bits.rkt:73:0 ---------------------------------------------------------------------------------------- ??? [76] 100.0% [101] 286(0.4%) 286(0.4%) sample-multi-bounded ...esting/src/points.rkt:44:0 ---------------------------------------------------------------------------------------- option-on-expr [79] 100.0% [102] 282(0.4%) 0(0.0%) pick-errors ...-testing/src/core/regimes.rkt:201:0 ??? [117] 100.0% ---------------------------------------------------------------------------------------- keyword-apply [85] 100.0% [103] 280(0.4%) 280(0.4%) loop ...cket/collects/racket/private/kw.rkt:518:13 ---------------------------------------------------------------------------------------- loop [104] 50.0% ??? [81] 50.0% [104] 280(0.4%) 280(0.4%) loop ...ts/racket/contract/private/blame.rkt:319:2 loop [104] 50.0% ---------------------------------------------------------------------------------------- foldl [86] 100.0% [105] 278(0.4%) 278(0.4%) check-fold ...llects/racket/private/list.rkt:223:2 ---------------------------------------------------------------------------------------- eval-prog [77] 100.0% [106] 274(0.4%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [119] 100.0% ---------------------------------------------------------------------------------------- do-chaperone-procedure [88] 100.0% [107] 270(0.4%) 270(0.4%) chaperone-arity-match-checking ...te/kw.rkt:2186:2 ---------------------------------------------------------------------------------------- sindices->spoints [92] 100.0% [108] 2544(3.9%) 0(0.0%) loop .../private/map.rkt:54:19 sidx->spoint [122] 100.0% ---------------------------------------------------------------------------------------- match-e [38] 12.0% ->flonum [89] 31.1% one-iter [35] 56.9% [109] 2268(3.5%) 2268(3.5%) in-set ...ollects/racket/private/generic.rkt:472:9 ---------------------------------------------------------------------------------------- table-ref [67] 13.7% ->flonum [89] 16.0% get-sigs [66] 28.1% expression-cost [40] 42.1% [110] 1972(3.0%) 588(0.9%) ...sting/src/common.rkt:47:2 ...e/arr-i.rkt:976:19 ??? [124] 42.3% ??? [128] 27.9% ---------------------------------------------------------------------------------------- approximate [94] 100.0% [111] 1918(2.9%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 hash-ref! [121] 100.0% ---------------------------------------------------------------------------------------- sort-context-on-expr [96] 100.0% [112] 840(1.3%) 0(0.0%) ??? ...cket/collects/racket/private/sort.rkt:369:3 generic-sort/key [123] 100.0% ---------------------------------------------------------------------------------------- ??? [97] 100.0% [113] 834(1.3%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:755:5 get/build-late-neg-projection [127] 66.5% reverse [125] 33.5% ---------------------------------------------------------------------------------------- ??? [95] 100.0% [114] 832(1.3%) 832(1.3%) update-en-expr ...esting/src/core/egraph.rkt:212:0 ---------------------------------------------------------------------------------------- one-iter [35] 48.4% ->flonum [89] 51.6% [115] 587(0.9%) 0(0.0%) list-member? ...llects/racket/private/set.rkt:24:0 member [126] 100.0% ---------------------------------------------------------------------------------------- custom-set-union [91] 49.1% match-e [38] 50.9% [116] 551(0.8%) 551(0.8%) check-list ...ollects/racket/private/for.rkt:690:2 ---------------------------------------------------------------------------------------- pick-errors [102] 100.0% [117] 282(0.4%) 0(0.0%) ??? ...rbie/alt-testing/src/core/regimes.rkt:194:2 ??? [140] 100.0% ---------------------------------------------------------------------------------------- make-immutable-set [99] 100.0% [118] 279(0.4%) 279(0.4%) stream? ...t/collects/racket/private/for.rkt:493:2 ---------------------------------------------------------------------------------------- ??? [106] 100.0% [119] 274(0.4%) 274(0.4%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 ---------------------------------------------------------------------------------------- custom-set-union [91] 100.0% [120] 271(0.4%) 271(0.4%) choose-immutable ...et/private/set-types.rkt:151:0 ---------------------------------------------------------------------------------------- ??? [2] 1.1% composed [3] 2.5% localize-error [27] 2.5% ??? [6] 3.5% ??? [133] 14.7% ??? [111] 14.7% loop [72] 20.8% compile [90] 38.0% [121] 5316(8.2%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:377:2 bigfloat-hash [129] 38.0% ??? [132] 20.8% ??? [133] 14.7% simplify [131] 14.7% f163 [141] 5.1% ??? [2] 4.6% ---------------------------------------------------------------------------------------- loop [108] 100.0% [122] 2544(3.9%) 0(0.0%) sidx->spoint ...testing/src/core/regimes.rkt:146:2 binary-search-floats [130] 100.0% ---------------------------------------------------------------------------------------- ??? [112] 100.0% [123] 840(1.3%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [137] 66.9% ??? [140] 33.1% ---------------------------------------------------------------------------------------- ...sting/src/common.rkt:47:2 [110] 100.0% [124] 834(1.3%) 280(0.4%) ??? ...s/racket/contract/private/arr-i.rkt:1324:39 assoc-ref [139] 33.3% return/no-unsupplied [136] 33.2% ---------------------------------------------------------------------------------------- match-e [38] 32.2% ??? [113] 33.7% ??? [95] 34.1% [125] 829(1.3%) 829(1.3%) reverse ...collects/racket/private/reverse.rkt:6:4 ---------------------------------------------------------------------------------------- list-member? [115] 100.0% [126] 587(0.9%) 587(0.9%) member ...collects/racket/private/member.rkt:13:21 ---------------------------------------------------------------------------------------- ??? [113] 100.0% [127] 555(0.9%) 0(0.0%) get/build-late-neg-projection ...te/guts.rkt:881:0 ??? [138] 100.0% ---------------------------------------------------------------------------------------- ??? [134] 50.0% ...sting/src/common.rkt:47:2 [110] 50.0% [128] 550(0.8%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:376:4 ??? [134] 50.0% ??? [135] 50.0% ---------------------------------------------------------------------------------------- hash-ref! [121] 100.0% [129] 3128(4.8%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 bfcanonicalize [142] 100.0% ---------------------------------------------------------------------------------------- sidx->spoint [122] 100.0% [130] 2544(3.9%) 0(0.0%) binary-search-floats ...src/core/regimes.rkt:125:0 pred [143] 100.0% ---------------------------------------------------------------------------------------- normalize-series [9] 12.3% hash-ref! [121] 87.7% [131] 2186(3.4%) 0(0.0%) simplify ...e/alt-testing/src/core/reduce.rkt:16:0 f163 [141] 87.2% debug [144] 12.8% ---------------------------------------------------------------------------------------- hash-ref! [121] 100.0% [132] 1972(3.0%) 0(0.0%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [72] 100.0% ---------------------------------------------------------------------------------------- hash-ref! [121] 100.0% [133] 1918(2.9%) 0(0.0%) ??? ...erbie/alt-testing/src/core/taylor.rkt:44:15 hash-ref! [121] 100.0% ---------------------------------------------------------------------------------------- handle-the-hash [84] 49.8% ??? [128] 50.2% [134] 1096(1.7%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [128] 50.2% ??? [147] 49.8% ---------------------------------------------------------------------------------------- ??? [76] 33.4% ??? [128] 66.6% [135] 826(1.3%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:794:8 contract? [146] 66.6% ??? [52] 33.4% ---------------------------------------------------------------------------------------- ??? [124] 41.7% ->flonum [89] 58.3% [136] 665(1.0%) 665(1.0%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 ---------------------------------------------------------------------------------------- generic-sort/key [123] 22.5% copying-mergesort [137] 77.5% [137] 562(0.9%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [137] 77.5% ??? [140] 12.3% ??? [76] 10.1% ---------------------------------------------------------------------------------------- get/build-late-neg-projection [127] 100.0% [138] 555(0.9%) 0(0.0%) ??? ...cts/racket/contract/private/prop.rkt:376:12 build-compound-type-name [145] 100.0% ---------------------------------------------------------------------------------------- ??? [124] 100.0% [139] 278(0.4%) 0(0.0%) assoc-ref ...collects/racket/private/dict.rkt:77:0 assoc [148] 100.0% ---------------------------------------------------------------------------------------- copying-mergesort [137] 1.6% generic-sort/key [123] 1.6% ??? [117] 1.7% errors [73] 14.7% loop [72] 80.4% [140] 16988(26.1%) 9702(14.9%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 ??? [149] 22.8% loop [72] 7.5% ??? [151] 4.9% ??? [152] 3.5% ??? [154] 2.4% ---------------------------------------------------------------------------------------- approximate [94] 2.0% hash-ref! [121] 4.1% eval-prog [77] 7.2% simplify [131] 14.5% loop [72] 16.2% split-table [17] 56.0% [141] 6666(10.2%) 1906(2.9%) f163 .../collects/racket/match/compiler.rkt:548:40 loop [72] 76.3% ??? [52] 4.1% ??? [76] 3.1% taylor [4] 2.0% ---------------------------------------------------------------------------------------- bigfloat-hash [129] 100.0% [142] 3128(4.8%) 0(0.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 bitwise-first-bit-set [150] 100.0% ---------------------------------------------------------------------------------------- binary-search-floats [130] 100.0% [143] 2544(3.9%) 0(0.0%) pred ...ie/alt-testing/src/core/regimes.rkt:151:17 prepare-points [16] 100.0% ---------------------------------------------------------------------------------------- simplify [131] 49.9% prepare-points [16] 50.1% [144] 560(0.9%) 0(0.0%) debug ...es/herbie/alt-testing/src/debug.rkt:102:0 get-setting [161] 50.1% cur-debug-level [155] 49.9% ---------------------------------------------------------------------------------------- ??? [138] 100.0% [145] 555(0.9%) 0(0.0%) build-compound-type-name ...private/guts.rkt:543:0 contract-struct-name [153] 100.0% ---------------------------------------------------------------------------------------- ??? [135] 100.0% [146] 550(0.8%) 0(0.0%) contract? ...acket/contract/private/guts.rkt:125:0 simple-flat-contract? [156] 50.0% coerce-contract/f [157] 50.0% ---------------------------------------------------------------------------------------- ??? [134] 100.0% [147] 546(0.8%) 276(0.4%) ??? ...ects/racket/contract/private/list.rkt:763:7 ??? [151] 49.4% ---------------------------------------------------------------------------------------- assoc-ref [139] 100.0% [148] 278(0.4%) 278(0.4%) assoc ...t/collects/racket/private/list.rkt:196:13 ---------------------------------------------------------------------------------------- ??? [140] 100.0% [149] 3878(6.0%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bflog [158] 48.6% bfsub [159] 44.0% ^TYPE? [163] 7.4% ---------------------------------------------------------------------------------------- bfcanonicalize [142] 100.0% [150] 3128(4.8%) 3128(4.8%) bitwise-first-bit-set ...hmetic/bitwise-6.rkt:35:0 ---------------------------------------------------------------------------------------- ??? [147] 24.4% ??? [140] 75.6% [151] 1106(1.7%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [160] 100.0% ---------------------------------------------------------------------------------------- ??? [140] 100.0% [152] 590(0.9%) 590(0.9%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ---------------------------------------------------------------------------------------- build-compound-type-name [145] 100.0% [153] 555(0.9%) 555(0.9%) contract-struct-name ...ract/private/prop.rkt:98:0 ---------------------------------------------------------------------------------------- ??? [140] 100.0% [154] 412(0.6%) 0(0.0%) ??? .../herbie/alt-testing/src/bigcomplex.rkt:66:2 ^TYPE? [163] 100.0% ---------------------------------------------------------------------------------------- debug [144] 100.0% [155] 280(0.4%) 0(0.0%) cur-debug-level .../alt-testing/src/debug.rkt:38:2 get-setting [161] 100.0% ---------------------------------------------------------------------------------------- contract? [146] 100.0% [156] 275(0.4%) 275(0.4%) simple-flat-contract? ...ct/private/guts.rkt:141:0 ---------------------------------------------------------------------------------------- contract? [146] 100.0% [157] 275(0.4%) 275(0.4%) coerce-contract/f ...ntract/private/guts.rkt:372:0 ---------------------------------------------------------------------------------------- ??? [149] 100.0% [158] 1885(2.9%) 972(1.5%) bflog ...-lib/math/private/bigfloat/mpfr.rkt:635:4 ??? [164] 32.9% new-mpfr [162] 15.5% ---------------------------------------------------------------------------------------- ??? [149] 100.0% [159] 1708(2.6%) 303(0.5%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:846:4 new-mpfr [162] 82.3% ---------------------------------------------------------------------------------------- ??? [151] 100.0% [160] 1106(1.7%) 556(0.9%) ??? ...ects/racket/contract/private/orc.rkt:112:15 ^TYPE? [163] 25.4% ??? [165] 24.4% ---------------------------------------------------------------------------------------- cur-debug-level [155] 49.9% debug [144] 50.1% [161] 560(0.9%) 280(0.4%) get-setting ...rbie/alt-testing/src/debug.rkt:96:0 ??? [52] 50.1% ---------------------------------------------------------------------------------------- bflog [158] 12.2% real->bigfloat [98] 29.6% bfsub [159] 58.3% [162] 2410(3.7%) 2410(3.7%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 ---------------------------------------------------------------------------------------- ??? [160] 22.2% ??? [149] 22.5% ->flonum [89] 22.7% ??? [154] 32.5% [163] 1267(1.9%) 1267(1.9%) ^TYPE? .../ffi/unsafe.rkt:1621:20 ---------------------------------------------------------------------------------------- bflog [158] 100.0% [164] 620(1.0%) 620(1.0%) ??? ...hare/racket/collects/ffi/unsafe.rkt:1450:12 ---------------------------------------------------------------------------------------- ??? [160] 100.0% [165] 270(0.4%) 270(0.4%) ??? ...ects/racket/contract/private/list.rkt:163:5 ----------------------------------------------------------------------------------------