Profiling results ----------------- Total cpu time observed: 123348ms (out of 124680ms) Number of samples taken: 319 (once every 387ms) (Hiding functions with self<1.0% and local<2.0%: 3 of 104 hidden) ========================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================================= ??? [36] 100.0% [1] 123348(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [8] 100.0% ------------------------------------------------------------------------- ??? [36] 100.0% [2] 9368(7.6%) 0(0.0%) run-improve41 ...bie/master/src/mainloop.rkt:234:0 for-loop [9] 61.7% setup-prog!32 [10] 35.0% get-final-combination [16] 3.2% ------------------------------------------------------------------------- ??? [63] 14.4% ??? [36] 85.6% [3] 2104(1.7%) 0(0.0%) unpack24 ...rbie/master/src/core/simplify.rkt:43:0 for-loop [11] 51.2% ??? [19] 48.8% ------------------------------------------------------------------------- match-e [45] 100.0% [4] 360(0.3%) 0(0.0%) for-loop ...erbie/master/src/core/ematch.rkt:59:11 for-loop [12] 100.0% ------------------------------------------------------------------------- ??? [63] 100.0% [5] 346(0.3%) 0(0.0%) approximate9 ...ie/master/src/core/taylor.rkt:12:0 loop [13] 100.0% ------------------------------------------------------------------------- hash-ref! [58] 100.0% [6] 346(0.3%) 0(0.0%) ??? ...es/herbie/master/src/core/taylor.rkt:295:23 for-loop [15] 100.0% ------------------------------------------------------------------------- hash-ref! [58] 100.0% [7] 346(0.3%) 0(0.0%) ??? ...es/herbie/master/src/core/taylor.rkt:392:23 for-loop [14] 100.0% ------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [8] 123348(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [36] 100.0% ------------------------------------------------------------------------- run-improve41 [2] 100.0% [9] 5784(4.7%) 0(0.0%) for-loop .../herbie/master/src/mainloop.rkt:249:10 run-iter! [18] 100.0% ------------------------------------------------------------------------- run-improve41 [2] 100.0% [10] 3282(2.7%) 0(0.0%) setup-prog!32 ...rbie/master/src/mainloop.rkt:72:0 loop [17] 81.2% prepare-points [43] 18.8% ------------------------------------------------------------------------- unpack24 [3] 100.0% [11] 1078(0.9%) 0(0.0%) for-loop ...bie/master/src/core/simplify.rkt:66:12 ??? [19] 100.0% ------------------------------------------------------------------------- for-loop [4] 100.0% [12] 360(0.3%) 0(0.0%) for-loop ...erbie/master/src/core/ematch.rkt:65:37 match-e [45] 100.0% ------------------------------------------------------------------------- approximate9 [5] 100.0% [13] 346(0.3%) 0(0.0%) loop ...ies/herbie/master/src/core/taylor.rkt:86:4 ??? [63] 100.0% ------------------------------------------------------------------------- ??? [7] 100.0% [14] 346(0.3%) 0(0.0%) for-loop ...rbie/master/src/core/taylor.rkt:396:33 hash-ref! [58] 100.0% ------------------------------------------------------------------------- ??? [6] 100.0% [15] 346(0.3%) 0(0.0%) for-loop ...rbie/master/src/core/taylor.rkt:298:27 hash-ref! [58] 100.0% ------------------------------------------------------------------------- run-improve41 [2] 100.0% [16] 302(0.2%) 0(0.0%) get-final-combination ...er/src/mainloop.rkt:264:0 ??? [63] 100.0% ------------------------------------------------------------------------- setup-prog!32 [10] 3.0% ??? [36] 97.0% [17] 89880(72.9%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:238:2 loop [20] 40.3% loop [49] 30.4% make-exacts* [50] 28.7% for-loop [26] 0.7% ------------------------------------------------------------------------- for-loop [9] 100.0% [18] 5784(4.7%) 0(0.0%) run-iter! .../herbie/master/src/mainloop.rkt:215:0 localize-error [21] 46.9% simplify! [22] 31.2% finalize-iter! [24] 16.0% gen-series! [28] 6.0% ------------------------------------------------------------------------- unpack24 [3] 48.8% for-loop [11] 51.2% [19] 2104(1.7%) 0(0.0%) ??? ...es/herbie/master/src/core/simplify.rkt:77:0 iterate-egraph!13 [23] 51.2% mk-egraph [25] 31.5% loop [27] 17.3% ------------------------------------------------------------------------- prepare-points [43] 19.2% loop [17] 80.8% [20] 44762(36.3%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:158:2 make-exacts* [50] 50.6% loop [49] 49.4% ------------------------------------------------------------------------- run-iter! [18] 100.0% [21] 2710(2.2%) 0(0.0%) localize-error ...aster/src/core/localize.rkt:47:0 hash-ref! [58] 100.0% ------------------------------------------------------------------------- run-iter! [18] 100.0% [22] 1802(1.5%) 0(0.0%) simplify! .../herbie/master/src/mainloop.rkt:155:0 for-loop [29] 100.0% ------------------------------------------------------------------------- ??? [19] 100.0% [23] 1078(0.9%) 0(0.0%) iterate-egraph!13 ...r/src/core/simplify.rkt:105:0 one-iter [31] 100.0% ------------------------------------------------------------------------- run-iter! [18] 100.0% [24] 926(0.8%) 0(0.0%) finalize-iter! ...ie/master/src/mainloop.rkt:169:0 ??? [30] 100.0% ------------------------------------------------------------------------- ??? [19] 100.0% [25] 662(0.5%) 0(0.0%) mk-egraph ...rbie/master/src/core/egraph.rkt:131:0 mk-enode-rec! [32] 100.0% ------------------------------------------------------------------------- loop [17] 100.0% [26] 644(0.5%) 0(0.0%) for-loop ...es/herbie/master/src/points.rkt:255:26 ??? [33] 100.0% ------------------------------------------------------------------------- ??? [19] 100.0% [27] 364(0.3%) 0(0.0%) loop .../herbie/master/src/core/simplify.rkt:237:2 for-loop [34] 100.0% ------------------------------------------------------------------------- run-iter! [18] 100.0% [28] 346(0.3%) 0(0.0%) gen-series! ...erbie/master/src/mainloop.rkt:129:0 for-loop [35] 100.0% ------------------------------------------------------------------------- simplify! [22] 100.0% [29] 1802(1.5%) 0(0.0%) for-loop ...s/herbie/master/src/mainloop.rkt:159:6 ??? [36] 100.0% ------------------------------------------------------------------------- match-e [45] 28.0% finalize-iter! [24] 72.0% [30] 1286(1.0%) 360(0.3%) ??? ...contract/private/arrow-val-first.rkt:388:18 for-loop [37] 72.0% ------------------------------------------------------------------------- iterate-egraph!13 [23] 100.0% [31] 1078(0.9%) 358(0.3%) one-iter ...bie/master/src/core/simplify.rkt:116:0 for-loop [38] 66.8% ------------------------------------------------------------------------- mk-enode-rec! [32] 30.4% mk-egraph [25] 69.6% [32] 662(0.5%) 0(0.0%) mk-enode-rec! .../master/src/core/egraph.rkt:122:0 mk-enode! [39] 69.6% mk-enode-rec! [32] 30.4% ------------------------------------------------------------------------- for-loop [26] 100.0% [33] 644(0.5%) 0(0.0%) ??? ...ightlies/herbie/master/src/points.rkt:230:7 for-loop [40] 100.0% ------------------------------------------------------------------------- loop [27] 100.0% [34] 364(0.3%) 0(0.0%) for-loop ...ie/master/src/core/simplify.rkt:230:29 argmin [41] 100.0% ------------------------------------------------------------------------- gen-series! [28] 100.0% [35] 346(0.3%) 0(0.0%) for-loop ...s/herbie/master/src/mainloop.rkt:135:7 taylor-alt [42] 100.0% ------------------------------------------------------------------------- for-loop [29] 0.5% run [8] 49.8% [36] 123348(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.8% loop [17] 35.4% prepare-points [43] 10.8% run-improve41 [2] 3.6% unpack24 [3] 0.5% ------------------------------------------------------------------------- ??? [30] 100.0% [37] 926(0.8%) 0(0.0%) for-loop ...bie/master/src/core/alt-table.rkt:51:2 atab-add-altn [44] 100.0% ------------------------------------------------------------------------- for-loop [38] 50.0% one-iter [31] 50.0% [38] 720(0.6%) 0(0.0%) for-loop ...ie/master/src/core/simplify.rkt:126:12 for-loop [38] 50.0% match-e [45] 50.0% ------------------------------------------------------------------------- mk-enode-rec! [32] 100.0% [39] 662(0.5%) 0(0.0%) mk-enode! ...rbie/master/src/core/egraph.rkt:102:0 new-enode [46] 100.0% ------------------------------------------------------------------------- ??? [33] 100.0% [40] 644(0.5%) 644(0.5%) for-loop ...ies/herbie/master/src/points.rkt:231:9 ------------------------------------------------------------------------- for-loop [34] 100.0% [41] 364(0.3%) 0(0.0%) argmin ...acket-7.0/collects/racket/list.rkt:765:0 for-loop [47] 100.0% ------------------------------------------------------------------------- for-loop [35] 100.0% [42] 346(0.3%) 0(0.0%) taylor-alt ...ies/herbie/master/src/glue.rkt:134:0 for-loop [48] 100.0% ------------------------------------------------------------------------- setup-prog!32 [10] 2.3% ??? [36] 97.7% [43] 27382(22.2%) 0(0.0%) prepare-points ...rbie/master/src/points.rkt:214:0 loop [49] 39.1% loop [20] 31.3% make-exacts* [50] 29.5% ------------------------------------------------------------------------- for-loop [37] 100.0% [44] 926(0.8%) 0(0.0%) atab-add-altn ...ster/src/core/alt-table.rkt:208:0 best-and-tied-at-points [51] 100.0% ------------------------------------------------------------------------- for-loop [12] 33.3% for-loop [38] 66.7% [45] 720(0.6%) 360(0.3%) match-e .../herbie/master/src/core/ematch.rkt:46:0 for-loop [4] 33.3% ??? [30] 16.7% ------------------------------------------------------------------------- mk-enode! [39] 100.0% [46] 662(0.5%) 0(0.0%) new-enode ...herbie/master/src/core/enode.rkt:97:0 type-of-enode-expr [52] 100.0% ------------------------------------------------------------------------- argmin [41] 100.0% [47] 364(0.3%) 0(0.0%) for-loop ...s/herbie/master/src/programs.rkt:210:2 table-ref [53] 100.0% ------------------------------------------------------------------------- taylor-alt [42] 100.0% [48] 346(0.3%) 0(0.0%) for-loop ...tlies/herbie/master/src/glue.rkt:139:6 ??? [63] 100.0% ------------------------------------------------------------------------- prepare-points [43] 17.8% loop [20] 36.8% loop [17] 45.4% [49] 60108(48.7%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:141:4 loop [54] 98.9% ??? [62] 0.6% ------------------------------------------------------------------------- prepare-points [43] 14.3% loop [20] 40.1% loop [17] 45.6% [50] 56510(45.8%) 0(0.0%) make-exacts* ...herbie/master/src/points.rkt:138:0 loop [54] 98.3% eval-prog [55] 1.7% ------------------------------------------------------------------------- atab-add-altn [44] 100.0% [51] 926(0.8%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 errors [56] 100.0% ------------------------------------------------------------------------- new-enode [46] 100.0% [52] 662(0.5%) 0(0.0%) type-of-enode-expr ...ster/src/core/enode.rkt:68:0 get-sigs [57] 100.0% ------------------------------------------------------------------------- for-loop [47] 100.0% [53] 364(0.3%) 364(0.3%) table-ref ...ies/herbie/master/src/common.rkt:46:0 ------------------------------------------------------------------------- map [76] 0.1% ??? [66] 0.3% parse-loop14 [81] 1.4% loop [49] 1.4% make-exacts* [50] 1.6% loop [54] 95.2% [54] 118028(95.7%) 1352(1.1%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [54] 95.2% ??? [62] 3.0% hash-ref! [58] 1.6% ??? [89] 0.1% ??? [63] 0.0% ------------------------------------------------------------------------- make-exacts* [50] 100.0% [55] 958(0.8%) 0(0.0%) eval-prog .../herbie/master/src/programs.rkt:150:0 hash-ref! [58] 33.8% temp68_2 [60] 33.4% loop [99] 32.8% ------------------------------------------------------------------------- best-and-tied-at-points [51] 100.0% [56] 926(0.8%) 0(0.0%) errors ...tlies/herbie/master/src/points.rkt:271:0 for-loop [59] 100.0% ------------------------------------------------------------------------- type-of-enode-expr [52] 100.0% [57] 662(0.5%) 360(0.3%) get-sigs ...s/herbie/master/src/type-check.rkt:5:0 for-loop [61] 45.6% ------------------------------------------------------------------------- for-loop [15] 2.6% for-loop [14] 2.6% ??? [64] 2.6% ??? [63] 2.6% eval-prog [55] 3.2% map [76] 23.4% localize-error [21] 23.4% loop [54] 39.8% [58] 3380(2.7%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 parse-loop14 [81] 46.7% f8 [72] 33.4% ??? [66] 9.6% ??? [64] 2.6% ??? [7] 2.6% ??? [6] 2.6% simplify [65] 2.6% ------------------------------------------------------------------------- errors [56] 100.0% [59] 926(0.8%) 298(0.2%) for-loop ...ies/herbie/master/src/points.rkt:274:4 ??? [63] 35.2% ??? [62] 32.6% ------------------------------------------------------------------------- eval-prog [55] 100.0% [60] 320(0.3%) 0(0.0%) temp68_2 (unknown source) compile16 [67] 100.0% ------------------------------------------------------------------------- get-sigs [57] 100.0% [61] 302(0.2%) 0(0.0%) for-loop ...racket/contract/private/hash.rkt:277:6 ??? [68] 100.0% ------------------------------------------------------------------------- for-loop [59] 0.3% loop [49] 0.3% loop [54] 99.4% [62] 110734(89.8%) 1380(1.1%) ??? ...htlies/herbie/master/src/programs.rkt:156:4 ??? [69] 90.6% bf [70] 8.1% ------------------------------------------------------------------------- loop [13] 2.4% location-do [73] 2.4% for-loop [48] 2.4% get-final-combination [16] 6.2% for-loop [59] 6.7% loop [54] 79.9% [63] 4840(3.9%) 720(0.6%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [71] 71.7% unpack24 [3] 6.2% location-do [73] 2.4% approximate9 [5] 2.4% hash-ref! [58] 2.4% ------------------------------------------------------------------------- hash-ref! [58] 100.0% [64] 346(0.3%) 0(0.0%) ??? ...ies/herbie/master/src/core/taylor.rkt:44:15 hash-ref! [58] 100.0% ------------------------------------------------------------------------- hash-ref! [58] 100.0% [65] 346(0.3%) 0(0.0%) simplify ...herbie/master/src/core/reduce.rkt:16:0 f8 [72] 100.0% ------------------------------------------------------------------------- hash-ref! [58] 100.0% [66] 324(0.3%) 0(0.0%) ??? ...htlies/herbie/master/src/programs.rkt:194:5 loop [54] 100.0% ------------------------------------------------------------------------- temp68_2 [60] 100.0% [67] 320(0.3%) 0(0.0%) compile16 (unknown source) temp74_0 [74] 100.0% ------------------------------------------------------------------------- for-loop [61] 100.0% [68] 302(0.2%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [75] 100.0% ------------------------------------------------------------------------- ??? [62] 100.0% [69] 100380(81.4%) 5052(4.1%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [89] 72.0% bffmod [84] 16.1% bf* [86] 6.1% ------------------------------------------------------------------------- ??? [62] 100.0% [70] 8974(7.3%) 1438(1.2%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [96] 72.3% ??? [97] 11.7% ------------------------------------------------------------------------- ??? [63] 100.0% [71] 3472(2.8%) 2408(2.0%) ->flonum ...es/herbie/master/src/programs.rkt:37:0 ??? [77] 20.3% return/no-unsupplied [78] 10.4% ------------------------------------------------------------------------- parse-loop14 [81] 2.8% simplify [65] 2.8% map [76] 5.7% hash-ref! [58] 88.7% [72] 3056(2.5%) 0(0.0%) f8 ....0/collects/racket/match/compiler.rkt:507:40 map [76] 97.2% eval [79] 2.8% ------------------------------------------------------------------------- ??? [63] 100.0% [73] 346(0.3%) 0(0.0%) location-do ...erbie/master/src/programs.rkt:116:0 ??? [63] 100.0% ------------------------------------------------------------------------- compile16 [67] 100.0% [74] 320(0.3%) 0(0.0%) temp74_0 (unknown source) expand-single [80] 100.0% ------------------------------------------------------------------------- ??? [68] 100.0% [75] 302(0.2%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:747:7 ??? [90] 100.0% ------------------------------------------------------------------------- f8 [72] 100.0% [76] 3056(2.5%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 hash-ref! [58] 66.4% loop [54] 22.3% f8 [72] 7.5% parse-loop14 [81] 3.8% ------------------------------------------------------------------------- ->flonum [71] 100.0% [77] 704(0.6%) 704(0.6%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ------------------------------------------------------------------------- ->flonum [71] 100.0% [78] 360(0.3%) 0(0.0%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 filter [82] 100.0% ------------------------------------------------------------------------- f8 [72] 100.0% [79] 346(0.3%) 346(0.3%) eval (unknown source) ------------------------------------------------------------------------- temp74_0 [74] 100.0% [80] 320(0.3%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [83] 100.0% ------------------------------------------------------------------------- map [76] 11.3% hash-ref! [58] 88.7% [81] 3056(2.5%) 0(0.0%) parse-loop14 ...s/racket/match/compiler.rkt:418:15 loop [54] 66.6% bffmod [84] 22.1% f8 [72] 11.3% ------------------------------------------------------------------------- return/no-unsupplied [78] 100.0% [82] 360(0.3%) 360(0.3%) filter ...0/collects/racket/private/list.rkt:256:2 ------------------------------------------------------------------------- expand-single [80] 100.0% [83] 320(0.3%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [85] 100.0% ------------------------------------------------------------------------- parse-loop14 [81] 7.7% ??? [69] 92.3% [84] 17540(14.2%) 354(0.3%) bffmod ...erbie/master/src/syntax/syntax.rkt:332:0 ??? [89] 66.8% bf* [86] 29.1% ...higher-order.rkt:361:33 [87] 2.1% ------------------------------------------------------------------------- expand-capturing-lifts [83] 100.0% [85] 320(0.3%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [88] 100.0% ------------------------------------------------------------------------- bffmod [84] 45.6% ??? [69] 54.4% [86] 11206(9.1%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [89] 100.0% ------------------------------------------------------------------------- bffmod [84] 100.0% [87] 360(0.3%) 0(0.0%) ...higher-order.rkt:361:33 (unknown source) ??? [90] 100.0% ------------------------------------------------------------------------- lambda-clause-expander [85] 25.0% for-loop [91] 75.0% [88] 320(0.3%) 0(0.0%) finish-bodys (unknown source) for-loop [91] 100.0% ------------------------------------------------------------------------- loop [54] 1.4% bf* [86] 11.6% bffmod [84] 12.1% ??? [69] 74.9% [89] 96564(78.3%) 66918(54.3%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfdiv [92] 18.7% bfasin [93] 6.9% bffloor [94] 5.1% ------------------------------------------------------------------------- ??? [75] 45.6% ...higher-order.rkt:361:33 [87] 54.4% [90] 662(0.5%) 662(0.5%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ------------------------------------------------------------------------- for-loop [91] 20.0% finish-bodys [88] 80.0% [91] 320(0.3%) 0(0.0%) for-loop (unknown source) finish-bodys [88] 60.0% for-loop [91] 20.0% syntax-e [95] 20.0% ------------------------------------------------------------------------- ??? [89] 100.0% [92] 18078(14.7%) 650(0.5%) bfdiv ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [96] 71.0% ??? [97] 25.4% ------------------------------------------------------------------------- ??? [89] 100.0% [93] 6616(5.4%) 0(0.0%) bfasin ...lib/math/private/bigfloat/mpfr.rkt:618:4 ??? [97] 58.6% new-mpfr [96] 41.4% ------------------------------------------------------------------------- ??? [89] 100.0% [94] 4952(4.0%) 0(0.0%) bffloor ...ib/math/private/bigfloat/mpfr.rkt:716:4 new-mpfr [96] 58.6% ??? [97] 41.4% ------------------------------------------------------------------------- for-loop [91] 100.0% [95] 320(0.3%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [98] 100.0% ------------------------------------------------------------------------- bfasin [93] 11.0% bffloor [94] 11.6% bf [70] 26.0% bfdiv [92] 51.4% [96] 24972(20.2%) 24972(20.2%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ------------------------------------------------------------------------- bf [70] 9.0% bffloor [94] 17.7% bfasin [93] 33.5% bfdiv [92] 39.7% [97] 11560(9.4%) 11560(9.4%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ------------------------------------------------------------------------- syntax-e [95] 100.0% [98] 320(0.3%) 0(0.0%) syntax-e/no-taint (unknown source) loop [99] 100.0% ------------------------------------------------------------------------- eval-prog [55] 49.5% syntax-e/no-taint [98] 50.5% [99] 634(0.5%) 314(0.3%) loop (unknown source) gf [100] 50.5% ------------------------------------------------------------------------- loop [99] 100.0% [100] 320(0.3%) 0(0.0%) gf (unknown source) propagation-merge [101] 100.0% ------------------------------------------------------------------------- gf [100] 100.0% [101] 320(0.3%) 320(0.3%) propagation-merge (unknown source) -------------------------------------------------------------------------