Profiling results ----------------- Total cpu time observed: 51628ms (out of 52766ms) Number of samples taken: 177 (once every 292ms) (Hiding functions with self<1.0% and local<2.0%: 2 of 88 hidden) ==================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================== [1] 51628(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [2] 100.0% -------------------------------------------------------------------- ??? [1] 100.0% [2] 51628(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [3] 100.0% -------------------------------------------------------------------- profile-thunk [2] 100.0% [3] 51628(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [4] 100.0% -------------------------------------------------------------------- ??? [3] 100.0% [4] 51628(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 prepare-points [10] 86.0% run-improve [5] 14.0% -------------------------------------------------------------------- ??? [4] 100.0% [5] 7223(14.0%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 setup-alt-simplified [6] 57.6% setup-prog! [7] 31.0% ??? [41] 3.8% get-final-combination [8] 3.8% run-iter! [9] 3.8% -------------------------------------------------------------------- run-improve [5] 100.0% [6] 4164(8.1%) 0(0.0%) setup-alt-simplified ...-testing/src/glue.rkt:49:0 simplify-alt [11] 100.0% -------------------------------------------------------------------- run-improve [5] 100.0% [7] 2236(4.3%) 0(0.0%) setup-prog! ...e/alt-testing/src/mainloop.rkt:72:0 prepare-points [10] 87.7% setup-prog [12] 12.3% -------------------------------------------------------------------- run-improve [5] 100.0% [8] 275(0.5%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:255:0 ??? [63] 100.0% -------------------------------------------------------------------- run-improve [5] 100.0% [9] 272(0.5%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 choose-best-alt! [13] 100.0% -------------------------------------------------------------------- setup-prog! [7] 4.2% ??? [4] 95.8% [10] 46366(89.8%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [16] 64.5% make-exacts [14] 34.9% make-exacts* [18] 0.6% -------------------------------------------------------------------- setup-alt-simplified [6] 100.0% [11] 4164(8.1%) 0(0.0%) simplify-alt ...rbie/alt-testing/src/glue.rkt:76:0 simplify [15] 100.0% -------------------------------------------------------------------- setup-prog! [7] 100.0% [12] 276(0.5%) 0(0.0%) setup-prog ...herbie/alt-testing/src/glue.rkt:40:0 ??? [41] 100.0% -------------------------------------------------------------------- run-iter! [9] 100.0% [13] 272(0.5%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [41] 100.0% -------------------------------------------------------------------- prepare-points [10] 100.0% [14] 16188(31.4%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [16] 98.3% make-exacts* [18] 1.7% -------------------------------------------------------------------- ??? [63] 6.2% simplify-alt [11] 93.8% [15] 4438(8.6%) 0(0.0%) simplify ...alt-testing/src/core/simplify.rkt:43:0 ??? [17] 100.0% -------------------------------------------------------------------- make-exacts [14] 34.7% prepare-points [10] 65.3% [16] 45806(88.7%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [54] 100.0% -------------------------------------------------------------------- simplify [15] 100.0% [17] 4438(8.6%) 0(0.0%) ??? ...rbie/alt-testing/src/core/simplify.rkt:77:0 iterate-egraph! [19] 81.3% loop [20] 18.7% -------------------------------------------------------------------- prepare-points [10] 49.9% make-exacts [14] 50.1% [18] 559(1.1%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 eval-prog [49] 100.0% -------------------------------------------------------------------- ??? [17] 100.0% [19] 3610(7.0%) 0(0.0%) iterate-egraph! ...ing/src/core/simplify.rkt:105:0 one-iter [21] 92.3% loop [54] 7.7% -------------------------------------------------------------------- ??? [17] 100.0% [20] 829(1.6%) 0(0.0%) loop ...ie/alt-testing/src/core/simplify.rkt:237:2 loop [22] 67.1% reverse [23] 32.9% -------------------------------------------------------------------- iterate-egraph! [19] 100.0% [21] 3332(6.5%) 0(0.0%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 rule-valid-at-type? [24] 50.0% substitute-e [25] 16.8% merge-egraph-nodes! [27] 16.6% mk-enode! [30] 8.3% custom-set-member? [28] 8.2% -------------------------------------------------------------------- loop [20] 100.0% [22] 556(1.1%) 0(0.0%) loop ...hare/racket/collects/racket/list.rkt:796:4 expression-cost [26] 100.0% -------------------------------------------------------------------- loop [20] 100.0% [23] 272(0.5%) 272(0.5%) reverse ...collects/racket/private/reverse.rkt:6:4 -------------------------------------------------------------------- one-iter [21] 100.0% [24] 1668(3.2%) 553(1.1%) rule-valid-at-type? .../src/syntax/rules.rkt:548:0 *complex-rules* [29] 50.2% make-sequence [32] 16.7% -------------------------------------------------------------------- substitute-e [25] 25.2% one-iter [21] 74.8% [25] 561(1.1%) 0(0.0%) substitute-e ...t-testing/src/core/ematch.rkt:71:0 mk-enode! [30] 74.8% substitute-e [25] 25.2% -------------------------------------------------------------------- loop [22] 100.0% [26] 556(1.1%) 278(0.5%) expression-cost ...-testing/src/programs.rkt:209:0 table-ref [67] 50.1% -------------------------------------------------------------------- merge-egraph-nodes! [27] 24.8% one-iter [21] 75.2% [27] 554(1.1%) 0(0.0%) merge-egraph-nodes! ...g/src/core/egraph.rkt:153:0 update-leader! [31] 75.2% merge-egraph-nodes! [27] 24.8% -------------------------------------------------------------------- one-iter [21] 100.0% [28] 274(0.5%) 274(0.5%) custom-set-member? ...t/private/set-types.rkt:45:0 -------------------------------------------------------------------- rule-valid-at-type? [24] 100.0% [29] 836(1.6%) 278(0.5%) *complex-rules* ...ting/src/syntax/rules.rkt:560:0 list-member? [34] 66.8% -------------------------------------------------------------------- one-iter [21] 32.9% substitute-e [25] 67.1% [30] 836(1.6%) 0(0.0%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [33] 100.0% -------------------------------------------------------------------- merge-egraph-nodes! [27] 100.0% [31] 554(1.1%) 0(0.0%) update-leader! ...esting/src/core/egraph.rkt:218:0 custom-set-union! [35] 50.5% do-hash-update [36] 49.5% -------------------------------------------------------------------- rule-valid-at-type? [24] 100.0% [32] 278(0.5%) 278(0.5%) make-sequence ...ects/racket/private/for.rkt:557:2 -------------------------------------------------------------------- mk-enode! [30] 100.0% [33] 836(1.6%) 0(0.0%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [37] 100.0% -------------------------------------------------------------------- *complex-rules* [29] 100.0% [34] 559(1.1%) 0(0.0%) list-member? ...llects/racket/private/set.rkt:24:0 member [38] 100.0% -------------------------------------------------------------------- update-leader! [31] 100.0% [35] 280(0.5%) 280(0.5%) custom-set-union! ...t/private/set-types.rkt:245:0 -------------------------------------------------------------------- update-leader! [31] 100.0% [36] 274(0.5%) 0(0.0%) do-hash-update ...et/private/more-scheme.rkt:343:2 ??? [39] 100.0% -------------------------------------------------------------------- new-enode [33] 100.0% [37] 836(1.6%) 0(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [40] 100.0% -------------------------------------------------------------------- list-member? [34] 100.0% [38] 559(1.1%) 559(1.1%) member ...collects/racket/private/member.rkt:13:21 -------------------------------------------------------------------- do-hash-update [36] 100.0% [39] 274(0.5%) 274(0.5%) ??? ...rbie/alt-testing/src/core/egraph.rkt:226:24 -------------------------------------------------------------------- type-of-enode-expr [37] 100.0% [40] 836(1.6%) 0(0.0%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 table-ref [67] 66.1% ??? [41] 33.9% -------------------------------------------------------------------- choose-best-alt! [13] 24.6% setup-prog [12] 24.9% run-improve [5] 24.9% get-sigs [40] 25.6% [41] 1106(2.1%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:486:18 hash-has-key? [42] 25.6% atab-add-altns [43] 24.9% make-alt-table [44] 24.9% atab-pick-alt [45] 24.6% -------------------------------------------------------------------- ??? [41] 100.0% [42] 283(0.5%) 0(0.0%) hash-has-key? ...ket/private/more-scheme.rkt:372:2 ??? [74] 100.0% -------------------------------------------------------------------- ??? [41] 100.0% [43] 276(0.5%) 0(0.0%) atab-add-altns ...ting/src/core/alt-table.rkt:52:0 atab-add-altn [46] 100.0% -------------------------------------------------------------------- ??? [41] 100.0% [44] 276(0.5%) 0(0.0%) make-alt-table ...ting/src/core/alt-table.rkt:34:0 errors [48] 100.0% -------------------------------------------------------------------- ??? [41] 100.0% [45] 272(0.5%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 errors [48] 100.0% -------------------------------------------------------------------- atab-add-altns [43] 100.0% [46] 276(0.5%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:239:0 best-and-tied-at-points [47]100.0% -------------------------------------------------------------------- atab-add-altn [46] 100.0% [47] 276(0.5%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:153:0 errors [48] 100.0% -------------------------------------------------------------------- atab-pick-alt [45] 33.0% make-alt-table [44] 33.5% best-and-tied-at-points [47] 33.5% [48] 824(1.6%) 0(0.0%) errors .../herbie/alt-testing/src/points.rkt:271:0 ??? [56] 67.0% eval-prog [49] 33.0% -------------------------------------------------------------------- errors [48] 32.7% make-exacts* [18] 67.3% [49] 831(1.6%) 272(0.5%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 f138 [57] 33.7% compile [50] 33.6% -------------------------------------------------------------------- eval-prog [49] 100.0% [50] 279(0.5%) 0(0.0%) compile ...rbie/alt-testing/src/programs.rkt:186:0 hash-ref! [51] 100.0% -------------------------------------------------------------------- compile [50] 7.1% loop [54] 92.9% [51] 279(0.5%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:377:2 ??? [53] 92.9% bigfloat-hash [52] 7.1% -------------------------------------------------------------------- hash-ref! [51] 100.0% [52] 279(0.5%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 sig+exp->bigfloat [55] 100.0% -------------------------------------------------------------------- hash-ref! [51] 100.0% [53] 279(0.5%) 0(0.0%) ??? ...s/herbie/alt-testing/src/programs.rkt:194:5 loop [54] 100.0% -------------------------------------------------------------------- iterate-egraph! [19] 0.0% f138 [57] 0.5% ??? [53] 0.6% loop [16] 1.4% loop [54] 97.6% [54] 46643(90.3%) 0(0.0%) loop .../private/map.rkt:40:19 loop [54] 97.6% ??? [56] 1.4% hash-ref! [51] 0.6% f138 [57] 0.5% -------------------------------------------------------------------- bigfloat-hash [52] 100.0% [55] 279(0.5%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:404:0 integer->mpz [58] 100.0% -------------------------------------------------------------------- errors [48] 1.2% loop [54] 98.8% [56] 46358(89.8%) 5258(10.2%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 bf-complex-mult [59] 77.3% bf-complex-add [60] 7.0% ??? [61] 1.9% ??? [62] 1.8% -------------------------------------------------------------------- eval-prog [49] 10.0% loop [54] 90.0% [57] 280(0.5%) 0(0.0%) f138 .../collects/racket/match/compiler.rkt:548:40 loop [54] 90.0% ??? [63] 10.0% -------------------------------------------------------------------- sig+exp->bigfloat [55] 100.0% [58] 279(0.5%) 0(0.0%) integer->mpz ...math/private/bigfloat/gmp.rkt:87:0 new-mpz [64] 100.0% -------------------------------------------------------------------- ??? [56] 100.0% [59] 35824(69.4%) 586(1.1%) bf-complex-mult ...testing/src/bigcomplex.rkt:33:0 bf* [65] 52.2% ??? [72] 32.4% ??? [66] 9.7% bigcomplex-im [69] 2.4% bf+ [70] 0.9% bigcomplex-re [71] 0.8% -------------------------------------------------------------------- ??? [56] 100.0% [60] 3265(6.3%) 0(0.0%) bf-complex-add ...-testing/src/bigcomplex.rkt:22:0 ??? [72] 63.4% ??? [66] 18.9% bf+ [70] 9.0% bigcomplex-re [71] 8.7% -------------------------------------------------------------------- ??? [56] 100.0% [61] 895(1.7%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [68] 100.0% -------------------------------------------------------------------- ??? [56] 100.0% [62] 838(1.6%) 838(1.6%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 -------------------------------------------------------------------- get-final-combination [8] 49.5% f138 [57] 50.5% [63] 555(1.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:375:33 table-ref [67] 50.5% simplify [15] 49.5% -------------------------------------------------------------------- integer->mpz [58] 100.0% [64] 279(0.5%) 279(0.5%) new-mpz ...-lib/math/private/bigfloat/gmp.rkt:73:0 -------------------------------------------------------------------- bf-complex-mult [59] 100.0% [65] 18682(36.2%) 1170(2.3%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [72] 93.7% -------------------------------------------------------------------- bf-complex-add [60] 15.1% bf-complex-mult [59] 84.9% [66] 4082(7.9%) 288(0.6%) ??? .../private/arrow-higher-order.rkt:379:33 ??? [73] 85.9% ??? [78] 7.1% -------------------------------------------------------------------- expression-cost [26] 25.1% ??? [63] 25.2% get-sigs [40] 49.7% [67] 1112(2.2%) 280(0.5%) table-ref ...erbie/alt-testing/src/common.rkt:46:0 ??? [74] 49.8% dict-ref-contract [75] 25.0% -------------------------------------------------------------------- ??? [61] 100.0% [68] 895(1.7%) 895(1.7%) ??? ...ects/racket/contract/private/orc.rkt:112:15 -------------------------------------------------------------------- bf-complex-mult [59] 100.0% [69] 864(1.7%) 864(1.7%) bigcomplex-im (unknown source) -------------------------------------------------------------------- bf-complex-add [60] 47.3% bf-complex-mult [59] 52.7% [70] 618(1.2%) 618(1.2%) bf+ ...ath/private/bigfloat/bigfloat-mpfr.rkt:78:0 -------------------------------------------------------------------- bf-complex-mult [59] 49.6% bf-complex-add [60] 50.4% [71] 566(1.1%) 566(1.1%) bigcomplex-re (unknown source) -------------------------------------------------------------------- bf-complex-add [60] 6.6% bf-complex-mult [59] 37.2% bf* [65] 56.1% [72] 31204(60.4%) 620(1.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [76] 86.7% bfneg [77] 8.5% ^TYPE? [85] 2.7% -------------------------------------------------------------------- ??? [66] 100.0% [73] 3505(6.8%) 1761(3.4%) ??? ...cts/racket/contract/private/list.rkt:215:14 ??? [78] 33.8% check-list [79] 16.0% -------------------------------------------------------------------- hash-has-key? [42] 33.8% table-ref [67] 66.2% [74] 837(1.6%) 275(0.5%) ??? ...ects/racket/contract/private/list.rkt:814:4 handle-the-hash [80] 33.8% ??? [81] 33.3% -------------------------------------------------------------------- table-ref [67] 100.0% [75] 278(0.5%) 278(0.5%) dict-ref-contract ...ract/private/arr-i.rkt:976:19 -------------------------------------------------------------------- ??? [72] 100.0% [76] 27060(52.4%) 11162(21.6%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:846:4 new-mpfr [82] 45.8% ??? [83] 11.9% ??? [84] 1.1% -------------------------------------------------------------------- ??? [72] 100.0% [77] 2666(5.2%) 304(0.6%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:635:4 new-mpfr [82] 55.1% ??? [84] 33.5% -------------------------------------------------------------------- ??? [66] 19.6% ??? [73] 80.4% [78] 1471(2.8%) 1186(2.3%) ??? ...ects/racket/contract/private/guts.rkt:794:8 ^TYPE? [85] 19.3% -------------------------------------------------------------------- ??? [73] 100.0% [79] 561(1.1%) 561(1.1%) check-list ...ollects/racket/private/for.rkt:690:2 -------------------------------------------------------------------- ??? [74] 100.0% [80] 283(0.5%) 283(0.5%) handle-the-hash ...contract/private/hash.rkt:323:0 -------------------------------------------------------------------- ??? [74] 100.0% [81] 279(0.5%) 279(0.5%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 -------------------------------------------------------------------- bfneg [77] 10.6% bfmul [76] 89.4% [82] 13868(26.9%) 13868(26.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 -------------------------------------------------------------------- bfmul [76] 100.0% [83] 3208(6.2%) 3208(6.2%) ??? ...hare/racket/collects/ffi/unsafe.rkt:1450:12 -------------------------------------------------------------------- bfmul [76] 24.6% bfneg [77] 75.4% [84] 1182(2.3%) 0(0.0%) ??? .../share/racket/collects/ffi/unsafe.rkt:959:4 assq [86] 100.0% -------------------------------------------------------------------- ??? [78] 24.9% ??? [72] 75.1% [85] 1142(2.2%) 1142(2.2%) ^TYPE? .../ffi/unsafe.rkt:1621:20 -------------------------------------------------------------------- ??? [84] 100.0% [86] 1182(2.3%) 1182(2.3%) assq ...et/collects/racket/private/list.rkt:187:13 --------------------------------------------------------------------