Profiling results ----------------- Total cpu time observed: 13574ms (out of 13896ms) Number of samples taken: 38 (once every 357ms) =================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =================================================================== ??? [24] 100.0% [1] 13574(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [7] 100.0% ------------------------------------------------------------------- ??? [24] 100.0% [2] 4858(35.8%) 0(0.0%) run-improve41 ...bie/master/src/mainloop.rkt:234:0 for-loop [8] 93.3% get-final-combination [11] 6.7% ------------------------------------------------------------------- ??? [55] 9.9% ??? [24] 90.1% [3] 3298(24.3%) 0(0.0%) unpack24 ...rbie/master/src/core/simplify.rkt:43:0 for-loop [9] 100.0% ------------------------------------------------------------------- match-e [33] 100.0% [4] 686(5.1%) 0(0.0%) for-loop ...erbie/master/src/core/ematch.rkt:59:11 for-loop [10] 100.0% ------------------------------------------------------------------- match-e [33] 100.0% [5] 360(2.7%) 0(0.0%) variable? ...ie/master/src/syntax/syntax.rkt:665:0 ??? [21] 100.0% ------------------------------------------------------------------- hash-ref! [67] 100.0% [6] 288(2.1%) 0(0.0%) ??? ...es/herbie/master/src/core/taylor.rkt:295:23 for-loop [12] 100.0% ------------------------------------------------------------------- profile-thunk16 [1] 100.0% [7] 13574(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [24] 100.0% ------------------------------------------------------------------- run-improve41 [2] 100.0% [8] 4532(33.4%) 0(0.0%) for-loop .../herbie/master/src/mainloop.rkt:249:10 run-iter! [13] 100.0% ------------------------------------------------------------------- unpack24 [3] 100.0% [9] 3298(24.3%) 0(0.0%) for-loop ...bie/master/src/core/simplify.rkt:66:12 ??? [14] 100.0% ------------------------------------------------------------------- for-loop [4] 100.0% [10] 686(5.1%) 0(0.0%) for-loop ...erbie/master/src/core/ematch.rkt:65:37 match-e [33] 100.0% ------------------------------------------------------------------- run-improve41 [2] 100.0% [11] 326(2.4%) 0(0.0%) get-final-combination ...er/src/mainloop.rkt:264:0 ??? [55] 100.0% ------------------------------------------------------------------- ??? [6] 100.0% [12] 288(2.1%) 0(0.0%) for-loop ...rbie/master/src/core/taylor.rkt:298:27 hash-ref! [67] 100.0% ------------------------------------------------------------------- for-loop [8] 100.0% [13] 4532(33.4%) 0(0.0%) run-iter! .../herbie/master/src/mainloop.rkt:215:0 simplify! [16] 65.6% finalize-iter! [17] 21.4% gen-series! [18] 13.0% ------------------------------------------------------------------- for-loop [9] 100.0% [14] 3298(24.3%) 0(0.0%) ??? ...es/herbie/master/src/core/simplify.rkt:77:0 iterate-egraph!13 [15] 100.0% ------------------------------------------------------------------- ??? [14] 100.0% [15] 3298(24.3%) 0(0.0%) iterate-egraph!13 ...r/src/core/simplify.rkt:105:0 one-iter [20] 89.9% map-enodes [23] 10.1% ------------------------------------------------------------------- run-iter! [13] 100.0% [16] 2972(21.9%) 0(0.0%) simplify! .../herbie/master/src/mainloop.rkt:155:0 for-loop [19] 100.0% ------------------------------------------------------------------- run-iter! [13] 100.0% [17] 972(7.2%) 0(0.0%) finalize-iter! ...ie/master/src/mainloop.rkt:169:0 ??? [21] 100.0% ------------------------------------------------------------------- run-iter! [13] 100.0% [18] 588(4.3%) 0(0.0%) gen-series! ...erbie/master/src/mainloop.rkt:129:0 for-loop [22] 100.0% ------------------------------------------------------------------- simplify! [16] 100.0% [19] 2972(21.9%) 0(0.0%) for-loop ...s/herbie/master/src/mainloop.rkt:159:6 ??? [24] 100.0% ------------------------------------------------------------------- iterate-egraph!13 [15] 100.0% [20] 2966(21.9%) 0(0.0%) one-iter ...bie/master/src/core/simplify.rkt:116:0 for-loop [25] 66.8% for-loop [26] 33.2% ------------------------------------------------------------------- variable? [5] 27.0% finalize-iter! [17] 73.0% [21] 1332(9.8%) 360(2.7%) ??? ...contract/private/arrow-val-first.rkt:388:18 for-loop [27] 73.0% ------------------------------------------------------------------- gen-series! [18] 100.0% [22] 588(4.3%) 0(0.0%) for-loop ...s/herbie/master/src/mainloop.rkt:135:7 taylor-alt [28] 100.0% ------------------------------------------------------------------- iterate-egraph!13 [15] 100.0% [23] 332(2.4%) 0(0.0%) map-enodes ...bie/master/src/core/egraph.rkt:140:0 set-precompute! [29] 100.0% ------------------------------------------------------------------- for-loop [19] 7.3% run [7] 46.4% [24] 13574(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 46.4% prepare-points [30] 16.2% loop [31] 15.9% run-improve41 [2] 14.2% unpack24 [3] 7.3% ------------------------------------------------------------------- for-loop [25] 33.9% one-iter [20] 66.1% [25] 1980(14.6%) 1294(9.5%) for-loop ...ie/master/src/core/simplify.rkt:126:12 for-loop [25] 33.9% match-e [33] 17.3% ------------------------------------------------------------------- one-iter [20] 100.0% [26] 986(7.3%) 326(2.4%) for-loop ...bie/master/src/core/simplify.rkt:166:2 for-loop [34] 66.9% ------------------------------------------------------------------- ??? [21] 100.0% [27] 972(7.2%) 0(0.0%) for-loop ...bie/master/src/core/alt-table.rkt:51:2 atab-add-altn [32] 100.0% ------------------------------------------------------------------- for-loop [22] 100.0% [28] 588(4.3%) 0(0.0%) taylor-alt ...ies/herbie/master/src/glue.rkt:134:0 for-loop [35] 100.0% ------------------------------------------------------------------- map-enodes [23] 100.0% [29] 332(2.4%) 0(0.0%) set-precompute! ...ter/src/core/simplify.rkt:193:0 for-loop [36] 100.0% ------------------------------------------------------------------- ??? [24] 100.0% [30] 4396(32.4%) 0(0.0%) prepare-points ...rbie/master/src/points.rkt:214:0 loop [41] 34.6% make-exacts* [40] 33.9% loop [37] 31.5% ------------------------------------------------------------------- ??? [24] 100.0% [31] 4320(31.8%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:238:2 loop [37] 44.2% make-exacts* [40] 30.6% loop [41] 25.2% ------------------------------------------------------------------- for-loop [27] 100.0% [32] 972(7.2%) 0(0.0%) atab-add-altn ...ster/src/core/alt-table.rkt:208:0 best-and-tied-at-points [38]100.0% ------------------------------------------------------------------- for-loop [25] 41.3% for-loop [10] 58.7% [33] 686(5.1%) 326(2.4%) match-e .../herbie/master/src/core/ematch.rkt:46:0 for-loop [4] 58.7% variable? [5] 17.5% ------------------------------------------------------------------- for-loop [26] 100.0% [34] 660(4.9%) 0(0.0%) for-loop ...ie/master/src/core/simplify.rkt:148:10 mk-enode! [39] 50.6% loop! [51] 49.4% ------------------------------------------------------------------- taylor-alt [28] 100.0% [35] 588(4.3%) 0(0.0%) for-loop ...tlies/herbie/master/src/glue.rkt:139:6 ??? [55] 100.0% ------------------------------------------------------------------- set-precompute! [29] 100.0% [36] 332(2.4%) 0(0.0%) for-loop ...bie/master/src/core/simplify.rkt:195:2 temp68_2 [62] 100.0% ------------------------------------------------------------------- prepare-points [30] 42.0% loop [31] 58.0% [37] 3292(24.3%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:158:2 make-exacts* [40] 65.2% loop [41] 34.8% ------------------------------------------------------------------- atab-add-altn [32] 100.0% [38] 972(7.2%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 errors [42] 100.0% ------------------------------------------------------------------- for-loop [34] 100.0% [39] 334(2.5%) 0(0.0%) mk-enode! ...rbie/master/src/core/egraph.rkt:102:0 new-enode [43] 100.0% ------------------------------------------------------------------- loop [31] 26.7% prepare-points [30] 30.1% loop [37] 43.3% [40] 4960(36.5%) 0(0.0%) make-exacts* ...herbie/master/src/points.rkt:138:0 loop [44] 91.6% eval-prog [45] 8.4% ------------------------------------------------------------------- loop [31] 29.0% loop [37] 30.5% prepare-points [30] 40.5% [41] 3756(27.7%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:141:4 loop [44] 100.0% ------------------------------------------------------------------- best-and-tied-at-points [38]100.0% [42] 972(7.2%) 0(0.0%) errors ...tlies/herbie/master/src/points.rkt:271:0 for-loop [46] 68.5% eval-prog [45] 31.5% ------------------------------------------------------------------- mk-enode! [39] 100.0% [43] 334(2.5%) 0(0.0%) new-enode ...herbie/master/src/core/enode.rkt:97:0 type-of-enode-expr [47] 100.0% ------------------------------------------------------------------- make-exacts* [40] 0.4% loop! [51] 1.2% taylor [72] 3.4% loop [41] 4.8% loop [44] 90.2% [44] 8926(65.8%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [44] 90.2% ??? [48] 5.1% simplify [49] 3.4% loop! [51] 1.2% ??? [55] 0.1% ------------------------------------------------------------------- errors [42] 42.4% make-exacts* [40] 57.6% [45] 722(5.3%) 0(0.0%) eval-prog .../herbie/master/src/programs.rkt:150:0 loop [87] 57.6% f140 [52] 42.4% ------------------------------------------------------------------- errors [42] 100.0% [46] 666(4.9%) 0(0.0%) for-loop ...ies/herbie/master/src/points.rkt:274:4 ??? [48] 100.0% ------------------------------------------------------------------- new-enode [43] 100.0% [47] 334(2.5%) 0(0.0%) type-of-enode-expr ...ster/src/core/enode.rkt:68:0 get-sigs [50] 100.0% ------------------------------------------------------------------- for-loop [46] 8.6% loop [44] 91.4% [48] 7782(57.3%) 736(5.4%) ??? ...htlies/herbie/master/src/programs.rkt:156:4 ??? [53] 51.2% bf [54] 39.3% ------------------------------------------------------------------- hash-ref! [67] 49.0% loop [44] 51.0% [49] 588(4.3%) 0(0.0%) simplify ...herbie/master/src/core/reduce.rkt:16:0 simplify* [58] 51.0% parse-loop80 [59] 49.0% ------------------------------------------------------------------- type-of-enode-expr [47] 100.0% [50] 334(2.5%) 0(0.0%) get-sigs ...s/herbie/master/src/type-check.rkt:5:0 for-loop [56] 100.0% ------------------------------------------------------------------- loop [44] 50.0% for-loop [34] 50.0% [51] 326(2.4%) 0(0.0%) loop! ...es/herbie/master/src/core/enode.rkt:192:2 loop [44] 50.0% custom-set-union [57] 50.0% ------------------------------------------------------------------- eval-prog [45] 20.0% f140 [52] 80.0% [52] 306(2.3%) 0(0.0%) f140 .../collects/racket/match/compiler.rkt:507:40 f140 [52] 80.0% ??? [55] 20.0% ------------------------------------------------------------------- ??? [48] 100.0% [53] 3988(29.4%) 676(5.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 bf* [60] 74.7% ??? [66] 8.3% ------------------------------------------------------------------- ??? [48] 100.0% [54] 3058(22.5%) 336(2.5%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [78] 79.1% ??? [80] 9.9% ------------------------------------------------------------------- loop [73] 4.0% location-do [63] 10.2% for-loop [35] 10.2% f140 [52] 12.7% get-final-combination [11] 13.6% loop [44] 49.3% [55] 2404(17.7%) 678(5.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [61] 33.8% unpack24 [3] 13.6% location-do [63] 10.2% approximate9 [64] 10.2% hash-ref! [67] 4.0% ------------------------------------------------------------------- get-sigs [50] 100.0% [56] 334(2.5%) 0(0.0%) for-loop ...racket/contract/private/hash.rkt:277:6 ??? [65] 100.0% ------------------------------------------------------------------- loop! [51] 100.0% [57] 326(2.4%) 326(2.4%) custom-set-union ...et/private/set-types.rkt:168:0 ------------------------------------------------------------------- simplify [49] 100.0% [58] 300(2.2%) 300(2.2%) simplify* ...erbie/master/src/core/reduce.rkt:31:0 ------------------------------------------------------------------- simplify [49] 100.0% [59] 288(2.1%) 0(0.0%) parse-loop80 ...s/racket/match/compiler.rkt:418:15 temp68_2 [62] 100.0% ------------------------------------------------------------------- ??? [53] 100.0% [60] 2980(22.0%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [68] 100.0% ------------------------------------------------------------------- ??? [55] 100.0% [61] 812(6.0%) 346(2.5%) ->flonum ...es/herbie/master/src/programs.rkt:37:0 ??? [69] 57.4% ------------------------------------------------------------------- parse-loop80 [59] 46.5% for-loop [36] 53.5% [62] 620(4.6%) 0(0.0%) temp68_2 (unknown source) compile16 [70] 100.0% ------------------------------------------------------------------- location-do [63] 24.5% ??? [55] 75.5% [63] 588(4.3%) 0(0.0%) location-do ...erbie/master/src/programs.rkt:116:0 ??? [55] 75.5% location-do [63] 24.5% ------------------------------------------------------------------- ??? [55] 100.0% [64] 588(4.3%) 0(0.0%) approximate9 ...ie/master/src/core/taylor.rkt:12:0 taylor [72] 51.0% loop [73] 49.0% ------------------------------------------------------------------- for-loop [56] 100.0% [65] 334(2.5%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [71] 100.0% ------------------------------------------------------------------- ??? [53] 100.0% [66] 332(2.4%) 0(0.0%) ??? .../herbie/master/src/syntax/syntax.rkt:156:17 ??? [69] 100.0% ------------------------------------------------------------------- for-loop [12] 33.3% ??? [74] 33.3% ??? [55] 33.3% [67] 288(2.1%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [74] 33.3% ??? [6] 33.3% simplify [49] 33.3% ------------------------------------------------------------------- bf* [60] 100.0% [68] 2980(22.0%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [75] 100.0% ------------------------------------------------------------------- ??? [66] 41.6% ->flonum [61] 58.4% [69] 798(5.9%) 798(5.9%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ------------------------------------------------------------------- temp68_2 [62] 100.0% [70] 620(4.6%) 0(0.0%) compile16 (unknown source) temp74_0 [76] 100.0% ------------------------------------------------------------------- ??? [65] 100.0% [71] 334(2.5%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:747:7 ??? [77] 100.0% ------------------------------------------------------------------- approximate9 [64] 33.3% taylor [72] 66.7% [72] 300(2.2%) 0(0.0%) taylor .../herbie/master/src/core/taylor.rkt:163:0 taylor [72] 66.7% loop [44] 33.3% ------------------------------------------------------------------- approximate9 [64] 100.0% [73] 288(2.1%) 0(0.0%) loop ...ies/herbie/master/src/core/taylor.rkt:86:4 ??? [55] 100.0% ------------------------------------------------------------------- hash-ref! [67] 100.0% [74] 288(2.1%) 0(0.0%) ??? ...ies/herbie/master/src/core/taylor.rkt:44:15 hash-ref! [67] 100.0% ------------------------------------------------------------------- ??? [68] 100.0% [75] 2980(22.0%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [78] 89.9% ??? [80] 10.1% ------------------------------------------------------------------- compile16 [70] 100.0% [76] 620(4.6%) 0(0.0%) temp74_0 (unknown source) expand-single [79] 100.0% ------------------------------------------------------------------- ??? [71] 100.0% [77] 334(2.5%) 334(2.5%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ------------------------------------------------------------------- bf [54] 47.4% bfmul [75] 52.6% [78] 5098(37.6%) 5098(37.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ------------------------------------------------------------------- temp74_0 [76] 100.0% [79] 620(4.6%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [81] 100.0% ------------------------------------------------------------------- bfmul [75] 49.7% bf [54] 50.3% [80] 604(4.4%) 604(4.4%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ------------------------------------------------------------------- loop [87] 40.2% expand-single [79] 59.8% [81] 1036(7.6%) 0(0.0%) expand-capturing-lifts (unknown source) dispatch-transformer41 [82] 72.2% for-loop [91] 27.8% ------------------------------------------------------------------- expand-capturing-lifts [81] 100.0% [82] 748(5.5%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [83] 100.0% ------------------------------------------------------------------- dispatch-transformer41 [82] 100.0% [83] 748(5.5%) 0(0.0%) apply-transformer52 (unknown source) apply-post-expansion [84] 55.6% loop [87] 44.4% ------------------------------------------------------------------- apply-transformer52 [83] 100.0% [84] 416(3.1%) 0(0.0%) apply-post-expansion (unknown source) gf [85] 100.0% ------------------------------------------------------------------- loop [87] 50.0% apply-post-expansion [84] 50.0% [85] 416(3.1%) 416(3.1%) gf (unknown source) syntax-e/no-taint [86] 50.0% ------------------------------------------------------------------- gf [85] 100.0% [86] 416(3.1%) 0(0.0%) syntax-e/no-taint (unknown source) loop [87] 100.0% ------------------------------------------------------------------- syntax-e/no-taint [86] 27.8% eval-prog [45] 27.8% apply-transformer52 [83] 44.4% [87] 748(5.5%) 0(0.0%) loop (unknown source) core-form-sym [88] 44.4% expand-capturing-lifts [81] 27.8% gf [85] 27.8% ------------------------------------------------------------------- loop [87] 100.0% [88] 332(2.4%) 0(0.0%) core-form-sym (unknown source) resolve+shift28 [89] 100.0% ------------------------------------------------------------------- core-form-sym [88] 100.0% [89] 332(2.4%) 0(0.0%) resolve+shift28 (unknown source) fallback-loop [90] 100.0% ------------------------------------------------------------------- resolve+shift28 [89] 100.0% [90] 332(2.4%) 0(0.0%) fallback-loop (unknown source) for-loop [91] 100.0% ------------------------------------------------------------------- expand-capturing-lifts [81] 15.5% for-loop [91] 31.0% fallback-loop [90] 53.5% [91] 620(4.6%) 332(2.4%) for-loop (unknown source) for-loop [91] 31.0% expand-implicit [92] 15.5% ------------------------------------------------------------------- for-loop [91] 100.0% [92] 288(2.1%) 288(2.1%) expand-implicit (unknown source) -------------------------------------------------------------------