Profiling results ----------------- Total cpu time observed: 16296ms (out of 16720ms) Number of samples taken: 48 (once every 340ms) ========================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================================== run [8] 50.0% [1] 16296(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [4] 50.0% loop [13] 23.2% prepare-points [5] 19.3% run-improve39 [6] 4.8% get-final-combination [7] 2.8% -------------------------------------------------------------------------- copying-mergesort [44] 100.0% [2] 300(1.8%) 0(0.0%) jloop ...t/collects/racket/private/sort.rkt:120:23 ??? [34] 100.0% -------------------------------------------------------------------------- hash-ref! [58] 100.0% [3] 298(1.8%) 0(0.0%) ??? ...lies/herbie/no-costs/src/programs.rkt:150:5 loop [29] 100.0% -------------------------------------------------------------------------- ??? [1] 100.0% [4] 16296(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [8] 100.0% -------------------------------------------------------------------------- ??? [1] 100.0% [5] 6280(38.5%) 0(0.0%) prepare-points ...ie/no-costs/src/points.rkt:156:0 loop [24] 50.9% loop [17] 24.8% make-exacts* [23] 24.3% -------------------------------------------------------------------------- ??? [1] 100.0% [6] 1562(9.6%) 0(0.0%) run-improve39 ...e/no-costs/src/mainloop.rkt:284:0 for-loop [10] 41.5% for-loop [11] 39.8% setup-prog!32 [12] 18.7% -------------------------------------------------------------------------- ??? [1] 100.0% [7] 898(5.5%) 0(0.0%) get-final-combination ...ts/src/mainloop.rkt:307:0 infer-splitpoints [9] 100.0% -------------------------------------------------------------------------- profile-thunk16 [4] 100.0% [8] 16296(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% -------------------------------------------------------------------------- get-final-combination [7] 100.0% [9] 898(5.5%) 0(0.0%) infer-splitpoints ...sts/src/core/regimes.rkt:21:0 for-loop [14] 100.0% -------------------------------------------------------------------------- run-improve39 [6] 100.0% [10] 648(4.0%) 0(0.0%) for-loop ...herbie/no-costs/src/mainloop.rkt:301:8 run-iter! [15] 100.0% -------------------------------------------------------------------------- run-improve39 [6] 100.0% [11] 622(3.8%) 0(0.0%) for-loop ...erbie/no-costs/src/mainloop.rkt:296:29 ??? [16] 100.0% -------------------------------------------------------------------------- run-improve39 [6] 100.0% [12] 292(1.8%) 0(0.0%) setup-prog!32 ...ie/no-costs/src/mainloop.rkt:63:0 loop [13] 100.0% -------------------------------------------------------------------------- setup-prog!32 [12] 3.7% ??? [1] 96.3% [13] 7848(48.2%) 0(0.0%) loop ...tlies/herbie/no-costs/src/points.rkt:180:2 loop [17] 41.5% make-exacts* [23] 32.4% loop [24] 23.0% loop [22] 3.1% -------------------------------------------------------------------------- infer-splitpoints [9] 100.0% [14] 898(5.5%) 0(0.0%) for-loop ...bie/no-costs/src/core/regimes.rkt:33:6 option-on-expr [18] 100.0% -------------------------------------------------------------------------- for-loop [10] 100.0% [15] 648(4.0%) 0(0.0%) run-iter! ...erbie/no-costs/src/mainloop.rkt:265:0 choose-best-alt! [20] 51.9% localize-error [21] 48.1% -------------------------------------------------------------------------- for-loop [11] 100.0% [16] 622(3.8%) 0(0.0%) ??? .../herbie/no-costs/src/core/simplify.rkt:31:0 iterate-egraph!7 [19] 100.0% -------------------------------------------------------------------------- prepare-points [5] 32.4% loop [13] 67.6% [17] 4812(29.5%) 0(0.0%) loop ...tlies/herbie/no-costs/src/points.rkt:124:2 make-exacts* [23] 62.1% loop [24] 37.9% -------------------------------------------------------------------------- for-loop [14] 100.0% [18] 898(5.5%) 0(0.0%) option-on-expr ...-costs/src/core/regimes.rkt:99:0 sort-context-on-expr [26] 67.5% for-loop [28] 32.5% -------------------------------------------------------------------------- ??? [16] 100.0% [19] 622(3.8%) 0(0.0%) iterate-egraph!7 ...sts/src/core/simplify.rkt:55:0 one-iter [25] 100.0% -------------------------------------------------------------------------- run-iter! [15] 100.0% [20] 336(2.1%) 0(0.0%) choose-best-alt! ...o-costs/src/mainloop.rkt:111:0 ??? [27] 100.0% -------------------------------------------------------------------------- run-iter! [15] 100.0% [21] 312(1.9%) 0(0.0%) localize-error ...costs/src/core/localize.rkt:47:0 hash-ref! [58] 100.0% -------------------------------------------------------------------------- loop [13] 0.1% loop [22] 99.9% [22] 244(1.5%) 244(1.5%) loop .../p92/racket/collects/racket/list.rkt:157:2 loop [22] 99.9% -------------------------------------------------------------------------- prepare-points [5] 21.6% loop [13] 36.1% loop [17] 42.3% [23] 7056(43.3%) 0(0.0%) make-exacts* ...rbie/no-costs/src/points.rkt:104:0 loop [29] 91.9% eval-prog [54] 8.1% -------------------------------------------------------------------------- loop [13] 26.4% loop [17] 26.7% prepare-points [5] 46.8% [24] 6828(41.9%) 0(0.0%) loop ...tlies/herbie/no-costs/src/points.rkt:107:4 loop [29] 100.0% -------------------------------------------------------------------------- iterate-egraph!7 [19] 100.0% [25] 622(3.8%) 0(0.0%) one-iter ...ie/no-costs/src/core/simplify.rkt:66:0 for-loop [32] 51.8% for-loop [33] 48.2% -------------------------------------------------------------------------- option-on-expr [18] 100.0% [26] 606(3.7%) 0(0.0%) sort-context-on-expr ...-costs/src/points.rkt:90:0 ??? [30] 100.0% -------------------------------------------------------------------------- choose-best-alt! [20] 100.0% [27] 336(2.1%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 ??? [31] 100.0% -------------------------------------------------------------------------- option-on-expr [18] 100.0% [28] 292(1.8%) 0(0.0%) for-loop ...ie/no-costs/src/core/regimes.rkt:107:4 errors [51] 100.0% -------------------------------------------------------------------------- loop [24] 0.3% ??? [3] 2.2% make-exacts* [23] 2.2% loop [29] 95.3% [29] 13612(83.5%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [29] 95.3% ??? [39] 2.4% hash-ref! [58] 2.2% ??? [34] 0.1% -------------------------------------------------------------------------- sort-context-on-expr [26] 100.0% [30] 606(3.7%) 0(0.0%) ??? ...cket/collects/racket/private/sort.rkt:369:3 loop [36] 50.5% generic-sort/key [38] 49.5% -------------------------------------------------------------------------- ??? [27] 100.0% [31] 336(2.1%) 0(0.0%) ??? ...herbie/no-costs/src/core/alt-table.rkt:54:0 ??? [34] 100.0% -------------------------------------------------------------------------- one-iter [25] 100.0% [32] 322(2.0%) 0(0.0%) for-loop ...e/no-costs/src/core/simplify.rkt:113:2 for-loop [35] 100.0% -------------------------------------------------------------------------- for-loop [33] 50.0% one-iter [25] 50.0% [33] 300(1.8%) 0(0.0%) for-loop ...e/no-costs/src/core/simplify.rkt:76:12 for-loop [33] 50.0% match-e [37] 50.0% -------------------------------------------------------------------------- jloop [2] 19.8% ??? [31] 22.1% loop [29] 58.1% [34] 1518(9.3%) 268(1.6%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [40] 60.2% argmin [41] 22.1% -------------------------------------------------------------------------- for-loop [32] 100.0% [35] 322(2.0%) 0(0.0%) for-loop ...ie/no-costs/src/core/simplify.rkt:98:4 substitute-e [42] 100.0% -------------------------------------------------------------------------- ??? [30] 100.0% [36] 306(1.9%) 0(0.0%) loop ...ket/collects/racket/private/sort.rkt:96:12 ??? [39] 100.0% -------------------------------------------------------------------------- for-loop [33] 100.0% [37] 300(1.8%) 0(0.0%) match-e ...erbie/no-costs/src/core/ematch.rkt:46:0 make-sequence [43] 100.0% -------------------------------------------------------------------------- ??? [30] 100.0% [38] 300(1.8%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [44] 100.0% -------------------------------------------------------------------------- loop [36] 2.4% loop [29] 97.6% [39] 12738(78.2%) 592(3.6%) ??? ...lies/herbie/no-costs/src/programs.rkt:129:2 ??? [45] 68.2% bf [46] 27.1% -------------------------------------------------------------------------- ??? [34] 100.0% [40] 914(5.6%) 574(3.5%) ->flonum .../herbie/no-costs/src/programs.rkt:36:0 ??? [63] 37.2% -------------------------------------------------------------------------- ??? [34] 100.0% [41] 336(2.1%) 0(0.0%) argmin ...92/racket/collects/racket/list.rkt:765:0 ??? [47] 100.0% -------------------------------------------------------------------------- for-loop [35] 100.0% [42] 322(2.0%) 0(0.0%) substitute-e .../no-costs/src/core/ematch.rkt:71:0 for-loop [48] 100.0% -------------------------------------------------------------------------- match-e [37] 100.0% [43] 300(1.8%) 300(1.8%) make-sequence ...ects/racket/private/for.rkt:528:2 -------------------------------------------------------------------------- generic-sort/key [38] 25.0% copying-mergesort [44] 75.0% [44] 300(1.8%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [44] 75.0% jloop [2] 25.0% -------------------------------------------------------------------------- ??? [39] 100.0% [45] 8692(53.3%) 1522(9.3%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [53] 54.3% ??? [49] 17.7% bf* [50] 10.5% -------------------------------------------------------------------------- ??? [39] 100.0% [46] 3454(21.2%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [62] 91.3% ??? [63] 8.7% -------------------------------------------------------------------------- argmin [41] 100.0% [47] 336(2.1%) 0(0.0%) ??? ...ies/herbie/no-costs/src/mainloop.rkt:109:10 errors [51] 100.0% -------------------------------------------------------------------------- substitute-e [42] 100.0% [48] 322(2.0%) 0(0.0%) for-loop ...bie/no-costs/src/core/ematch.rkt:80:24 mk-enode! [52] 100.0% -------------------------------------------------------------------------- ??? [45] 100.0% [49] 1538(9.4%) 1538(9.4%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 -------------------------------------------------------------------------- ??? [45] 100.0% [50] 914(5.6%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [53] 100.0% -------------------------------------------------------------------------- for-loop [28] 46.5% ??? [47] 53.5% [51] 628(3.9%) 0(0.0%) errors ...ies/herbie/no-costs/src/points.rkt:203:0 eval-prog [54] 100.0% -------------------------------------------------------------------------- for-loop [48] 100.0% [52] 322(2.0%) 0(0.0%) mk-enode! ...ie/no-costs/src/core/egraph.rkt:102:0 new-enode [55] 100.0% -------------------------------------------------------------------------- bf* [50] 16.2% ??? [45] 83.8% [53] 5632(34.6%) 1254(7.7%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [56] 48.4% bfexp [57] 29.3% -------------------------------------------------------------------------- make-exacts* [23] 47.6% errors [51] 52.4% [54] 1198(7.4%) 0(0.0%) eval-prog ...erbie/no-costs/src/programs.rkt:109:0 hash-ref! [58] 47.6% f206 [59] 28.0% temp68_2 [61] 24.4% -------------------------------------------------------------------------- mk-enode! [52] 100.0% [55] 322(2.0%) 0(0.0%) new-enode ...rbie/no-costs/src/core/enode.rkt:95:0 type-of-enode-expr [60] 100.0% -------------------------------------------------------------------------- ??? [53] 100.0% [56] 2728(16.7%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [62] 66.9% ??? [63] 33.1% -------------------------------------------------------------------------- ??? [53] 100.0% [57] 1650(10.1%) 0(0.0%) bfexp ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [62] 62.5% ??? [63] 37.5% -------------------------------------------------------------------------- loop [29] 22.5% localize-error [21] 35.4% eval-prog [54] 42.1% [58] 882(5.4%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 bigfloat-hash [64] 42.1% parse-loop14 [67] 35.4% ??? [3] 22.5% -------------------------------------------------------------------------- f206 [59] 50.0% eval-prog [54] 50.0% [59] 336(2.1%) 0(0.0%) f206 .../collects/racket/match/compiler.rkt:507:40 f206 [59] 50.0% table-ref [65] 50.0% -------------------------------------------------------------------------- new-enode [55] 100.0% [60] 322(2.0%) 0(0.0%) type-of-enode-expr ...osts/src/core/enode.rkt:68:0 ??? [66] 100.0% -------------------------------------------------------------------------- eval-prog [54] 100.0% [61] 292(1.8%) 0(0.0%) temp68_2 (unknown source) compile16 [68] 100.0% -------------------------------------------------------------------------- bfexp [57] 17.2% bfmul [56] 30.4% bf [46] 52.5% [62] 6012(36.9%) 6012(36.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 -------------------------------------------------------------------------- bf [46] 13.9% ->flonum [40] 15.7% bfexp [57] 28.6% bfmul [56] 41.8% [63] 2160(13.3%) 2160(13.3%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 -------------------------------------------------------------------------- hash-ref! [58] 100.0% [64] 570(3.5%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:167:0 bfcanonicalize [69] 100.0% -------------------------------------------------------------------------- f206 [59] 100.0% [65] 336(2.1%) 336(2.1%) table-ref ...s/herbie/no-costs/src/common.rkt:47:0 -------------------------------------------------------------------------- type-of-enode-expr [60] 100.0% [66] 322(2.0%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:227:4 contract-pos/neg-doubling/proc [70]100.0% -------------------------------------------------------------------------- hash-ref! [58] 100.0% [67] 312(1.9%) 0(0.0%) parse-loop14 ...s/racket/match/compiler.rkt:418:15 loop [71] 100.0% -------------------------------------------------------------------------- temp68_2 [61] 100.0% [68] 292(1.8%) 0(0.0%) compile16 (unknown source) temp74_0 [72] 100.0% -------------------------------------------------------------------------- bigfloat-hash [64] 100.0% [69] 570(3.5%) 570(3.5%) bfcanonicalize .../private/bigfloat/mpfr.rkt:157:0 -------------------------------------------------------------------------- ??? [66] 100.0% [70] 322(2.0%) 322(2.0%) contract-pos/neg-doubling/proc ...e/guts.rkt:956:0 -------------------------------------------------------------------------- parse-loop14 [67] 1.7% loop [71] 98.3% [71] 312(1.9%) 312(1.9%) loop ...cket/collects/racket/private/map.rkt:54:19 loop [71] 98.3% -------------------------------------------------------------------------- compile16 [68] 100.0% [72] 292(1.8%) 0(0.0%) temp74_0 (unknown source) expand-single [73] 100.0% -------------------------------------------------------------------------- temp74_0 [72] 100.0% [73] 292(1.8%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [74] 100.0% -------------------------------------------------------------------------- expand-single [73] 100.0% [74] 292(1.8%) 292(1.8%) expand-capturing-lifts (unknown source) --------------------------------------------------------------------------