Profiling results ----------------- Total cpu time observed: 31368ms (out of 31936ms) Number of samples taken: 93 (once every 337ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== ??? [9] 100.0% [1] 31368(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [5] 100.0% ---------------------------------------------------------------------- ??? [9] 100.0% [2] 9240(29.5%) 0(0.0%) run-improve40 ...lify-tweak/src/mainloop.rkt:340:0 simplify! [6] 96.9% prepare-points-intervals [12] 3.1% ---------------------------------------------------------------------- ??? [9] 100.0% [3] 602(1.9%) 0(0.0%) oracle-error ...implify-tweak/src/points.rkt:212:0 for-loop [7] 100.0% ---------------------------------------------------------------------- ??? [9] 100.0% [4] 300(1.0%) 0(0.0%) get-final-combination ...ak/src/mainloop.rkt:361:0 argmins [8] 100.0% ---------------------------------------------------------------------- profile-thunk16 [1] 100.0% [5] 31368(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [9] 100.0% ---------------------------------------------------------------------- run-improve40 [2] 100.0% [6] 8952(28.5%) 0(0.0%) simplify! ...simplify-tweak/src/mainloop.rkt:217:0 ??? [10] 100.0% ---------------------------------------------------------------------- oracle-error [3] 100.0% [7] 602(1.9%) 0(0.0%) for-loop ...ie/simplify-tweak/src/points.rkt:213:2 loop [47] 100.0% ---------------------------------------------------------------------- get-final-combination [4] 100.0% [8] 300(1.0%) 0(0.0%) argmins ...rbie/simplify-tweak/src/common.rkt:93:0 ??? [11] 100.0% ---------------------------------------------------------------------- run [5] 50.0% [9] 31368(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% prepare-points-intervals [12] 31.9% run-improve40 [2] 14.7% errors [14] 1.5% oracle-error [3] 1.0% eval-errors [16] 0.5% get-final-combination [4] 0.5% ---------------------------------------------------------------------- simplify! [6] 100.0% [10] 8952(28.5%) 0(0.0%) ??? ...e/simplify-tweak/src/core/simplify.rkt:26:0 for-loop [13] 89.7% loop [15] 6.8% one-iter [18] 3.6% ---------------------------------------------------------------------- argmins [8] 100.0% [11] 300(1.0%) 0(0.0%) ??? ...rbie/simplify-tweak/src/mainloop.rkt:108:19 errors [14] 100.0% ---------------------------------------------------------------------- run-improve40 [2] 1.4% ??? [9] 98.6% [12] 20292(64.7%) 0(0.0%) prepare-points-intervals ...k/src/points.rkt:133:0 loop [17] 100.0% ---------------------------------------------------------------------- ??? [10] 100.0% [13] 8026(25.6%) 0(0.0%) for-loop ...plify-tweak/src/core/simplify.rkt:33:2 one-iter [18] 100.0% ---------------------------------------------------------------------- ??? [11] 24.5% ??? [9] 75.5% [14] 1222(3.9%) 0(0.0%) errors ...rbie/simplify-tweak/src/points.rkt:228:0 for-loop [19] 100.0% ---------------------------------------------------------------------- ??? [10] 100.0% [15] 608(1.9%) 0(0.0%) loop ...simplify-tweak/src/core/simplify.rkt:132:2 for-loop [20] 100.0% ---------------------------------------------------------------------- ??? [9] 100.0% [16] 300(1.0%) 0(0.0%) eval-errors ...simplify-tweak/src/points.rkt:203:0 for-loop [21] 100.0% ---------------------------------------------------------------------- prepare-points-intervals [12] 100.0% [17] 20292(64.7%) 0(0.0%) loop ...herbie/simplify-tweak/src/points.rkt:145:4 loop [22] 96.9% ??? [25] 3.1% ---------------------------------------------------------------------- ??? [10] 3.8% for-loop [13] 96.2% [18] 8344(26.6%) 0(0.0%) one-iter ...plify-tweak/src/core/simplify.rkt:86:0 for-loop [23] 56.8% find-matches [24] 43.2% ---------------------------------------------------------------------- errors [14] 100.0% [19] 1222(3.9%) 0(0.0%) for-loop ...ie/simplify-tweak/src/points.rkt:230:2 ??? [29] 74.3% ??? [53] 25.7% ---------------------------------------------------------------------- loop [15] 100.0% [20] 608(1.9%) 0(0.0%) for-loop ...lify-tweak/src/core/simplify.rkt:138:4 loop [26] 50.7% argmin [28] 49.3% ---------------------------------------------------------------------- eval-errors [16] 100.0% [21] 300(1.0%) 0(0.0%) for-loop ...ie/simplify-tweak/src/points.rkt:205:2 ??? [27] 100.0% ---------------------------------------------------------------------- loop [17] 100.0% [22] 19672(62.7%) 302(1.0%) loop ...herbie/simplify-tweak/src/points.rkt:104:2 ??? [29] 89.2% ??? [53] 7.6% ??? [48] 1.6% ---------------------------------------------------------------------- one-iter [18] 100.0% [23] 4738(15.1%) 0(0.0%) for-loop ...plify-tweak/src/core/simplify.rkt:95:2 apply-match [30] 87.4% update-leader! [46] 12.6% ---------------------------------------------------------------------- one-iter [18] 100.0% [24] 3606(11.5%) 0(0.0%) find-matches ...y-tweak/src/core/simplify.rkt:56:0 for-loop [31] 100.0% ---------------------------------------------------------------------- loop [17] 100.0% [25] 620(2.0%) 324(1.0%) ??? .../herbie/simplify-tweak/src/points.rkt:129:2 ??? [37] 47.7% ---------------------------------------------------------------------- for-loop [20] 100.0% [26] 308(1.0%) 0(0.0%) loop .../racket-7.0/collects/racket/list.rkt:751:4 expression-cost [32] 100.0% ---------------------------------------------------------------------- for-loop [21] 100.0% [27] 300(1.0%) 300(1.0%) ??? ...7.0/collects/racket/private/for.rkt:1208:14 ---------------------------------------------------------------------- for-loop [20] 100.0% [28] 300(1.0%) 0(0.0%) argmin ...acket-7.0/collects/racket/list.rkt:765:0 expression-cost [32] 100.0% ---------------------------------------------------------------------- loop [47] 1.6% for-loop [19] 4.8% loop [22] 93.6% [29] 18760(59.8%) 384(1.2%) ??? ...erbie/simplify-tweak/src/programs.rkt:146:2 ??? [33] 60.4% ??? [53] 37.6% ---------------------------------------------------------------------- for-loop [23] 100.0% [30] 4140(13.2%) 0(0.0%) apply-match ...fy-tweak/src/core/simplify.rkt:65:0 for-loop [35] 67.7% match-e [34] 32.3% ---------------------------------------------------------------------- for-loop [31] 50.0% find-matches [24] 50.0% [31] 3606(11.5%) 0(0.0%) for-loop ...plify-tweak/src/core/simplify.rkt:58:8 for-loop [31] 50.0% match-e [34] 50.0% ---------------------------------------------------------------------- argmin [28] 49.3% loop [26] 50.7% [32] 608(1.9%) 308(1.0%) expression-cost ...fy-tweak/src/programs.rkt:204:0 compile [36] 49.3% ---------------------------------------------------------------------- ??? [29] 100.0% [33] 11326(36.1%) 310(1.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [37] 82.9% ??? [53] 14.4% ---------------------------------------------------------------------- apply-match [30] 15.5% for-loop [44] 34.7% for-loop [31] 49.8% [34] 4944(15.8%) 1208(3.9%) match-e ...simplify-tweak/src/core/ematch.rkt:39:0 for-loop [38] 75.1% ??? [48] 4.1% variable? [40] 2.4% ---------------------------------------------------------------------- apply-match [30] 100.0% [35] 2802(8.9%) 0(0.0%) for-loop ...plify-tweak/src/core/simplify.rkt:78:2 merge-egraph-nodes! [39] 77.4% dedup-children! [55] 11.9% substitute-e [42] 10.6% ---------------------------------------------------------------------- expression-cost [32] 100.0% [36] 300(1.0%) 0(0.0%) compile ...e/simplify-tweak/src/programs.rkt:181:0 hash-ref! [41] 100.0% ---------------------------------------------------------------------- fold-binary-pred [77] 1.5% ??? [25] 3.1% ??? [33] 95.5% [37] 9686(30.9%) 584(1.9%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-fma [43] 54.6% ival-add [45] 27.8% ival-sub [49] 13.0% ---------------------------------------------------------------------- match-e [34] 100.0% [38] 4334(13.8%) 1828(5.8%) for-loop ...mplify-tweak/src/core/ematch.rkt:52:11 for-loop [44] 53.9% loop [47] 14.3% loop [51] 3.8% ---------------------------------------------------------------------- merge-egraph-nodes! [39] 8.3% for-loop [50] 13.5% for-loop [35] 78.2% [39] 2170(6.9%) 0(0.0%) merge-egraph-nodes! ...k/src/core/egraph.rkt:145:0 for-loop [50] 28.9% loop! [57] 27.1% update-leader! [46] 21.8% dedup-children! [55] 13.8% merge-egraph-nodes! [39] 8.3% ---------------------------------------------------------------------- match-e [34] 100.0% [40] 360(1.1%) 0(0.0%) variable? ...fy-tweak/src/syntax/syntax.rkt:1159:0 ??? [48] 100.0% ---------------------------------------------------------------------- compile [36] 100.0% [41] 300(1.0%) 300(1.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ---------------------------------------------------------------------- for-loop [35] 100.0% [42] 298(1.0%) 0(0.0%) substitute-e ...ify-tweak/src/core/ematch.rkt:64:0 for-loop [52] 100.0% ---------------------------------------------------------------------- ??? [37] 100.0% [43] 5436(17.3%) 286(0.9%) ival-fma ...mplify-tweak/src/biginterval.rkt:254:0 ival-mult [61] 65.5% ??? [73] 29.2% ---------------------------------------------------------------------- for-loop [38] 100.0% [44] 3112(9.9%) 0(0.0%) for-loop ...mplify-tweak/src/core/ematch.rkt:58:37 match-e [34] 100.0% ---------------------------------------------------------------------- ??? [37] 100.0% [45] 2690(8.6%) 406(1.3%) ival-add ...implify-tweak/src/biginterval.rkt:87:0 ??? [73] 84.9% ---------------------------------------------------------------------- for-loop [23] 38.7% merge-egraph-nodes! [39] 61.3% [46] 1546(4.9%) 0(0.0%) update-leader! ...-tweak/src/core/egraph.rkt:213:0 for-loop [54] 80.7% custom-set-union! [59] 19.3% ---------------------------------------------------------------------- loop! [57] 0.4% loop [47] 29.2% for-loop [38] 30.9% for-loop [7] 39.6% [47] 1520(4.8%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 curried [56] 30.9% loop [47] 29.2% ??? [29] 19.9% ??? [53] 19.7% loop! [57] 0.4% ---------------------------------------------------------------------- loop [22] 25.1% variable? [40] 28.0% match-e [34] 46.9% [48] 1284(4.1%) 1284(4.1%) ??? ...contract/private/arrow-val-first.rkt:388:18 ---------------------------------------------------------------------- ??? [37] 100.0% [49] 1264(4.0%) 0(0.0%) ival-sub ...implify-tweak/src/biginterval.rkt:93:0 ??? [73] 100.0% ---------------------------------------------------------------------- merge-egraph-nodes! [39] 100.0% [50] 922(2.9%) 0(0.0%) for-loop ...mplify-tweak/src/core/egraph.rkt:199:4 merge-egraph-nodes! [39] 63.8% dedup-children! [55] 36.2% ---------------------------------------------------------------------- for-loop [38] 100.0% [51] 326(1.0%) 326(1.0%) loop ...cket-7.0/collects/racket/function.rkt:53:6 ---------------------------------------------------------------------- substitute-e [42] 100.0% [52] 298(1.0%) 0(0.0%) for-loop ...mplify-tweak/src/core/ematch.rkt:73:24 mk-enode! [58] 100.0% ---------------------------------------------------------------------- loop [47] 2.8% for-loop [19] 2.9% loop [22] 13.9% ??? [33] 15.1% ??? [29] 65.4% [53] 10788(34.4%) 314(1.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 mk-ival [60] 54.1% ->flonum [62] 27.9% ival-mult [61] 15.1% ---------------------------------------------------------------------- update-leader! [46] 100.0% [54] 1248(4.0%) 0(0.0%) for-loop ...mplify-tweak/src/core/egraph.rkt:218:6 for-loop [64] 76.0% hash-update! [70] 24.0% ---------------------------------------------------------------------- merge-egraph-nodes! [39] 31.0% for-loop [50] 34.5% for-loop [35] 34.5% [55] 968(3.1%) 0(0.0%) dedup-children! ...-tweak/src/core/enode.rkt:199:0 loop [63] 100.0% ---------------------------------------------------------------------- loop [47] 100.0% [56] 620(2.0%) 620(2.0%) curried ...-7.0/collects/racket/function.rkt:71:18 ---------------------------------------------------------------------- loop [47] 25.3% merge-egraph-nodes! [39] 74.7% [57] 588(1.9%) 0(0.0%) loop! ...e/simplify-tweak/src/core/enode.rkt:191:2 set [65] 74.7% loop [47] 25.3% ---------------------------------------------------------------------- for-loop [52] 100.0% [58] 298(1.0%) 298(1.0%) mk-enode! ...mplify-tweak/src/core/egraph.rkt:99:0 ---------------------------------------------------------------------- update-leader! [46] 100.0% [59] 298(1.0%) 0(0.0%) custom-set-union! ...t/private/set-types.rkt:245:0 for-loop [66] 100.0% ---------------------------------------------------------------------- ??? [53] 100.0% [60] 5840(18.6%) 396(1.3%) mk-ival ...simplify-tweak/src/biginterval.rkt:59:0 bf [67] 93.2% ---------------------------------------------------------------------- ??? [53] 31.3% ival-fma [43] 68.7% [61] 5188(16.5%) 600(1.9%) ival-mult ...plify-tweak/src/biginterval.rkt:105:0 classify-ival [68] 42.5% bf* [69] 39.1% ...higher-order.rkt:361:33 [71] 6.8% ---------------------------------------------------------------------- ??? [53] 100.0% [62] 3008(9.6%) 2688(8.6%) ->flonum ...e/simplify-tweak/src/programs.rkt:38:0 ??? [72] 10.6% ---------------------------------------------------------------------- dedup-children! [55] 5.3% loop [63] 94.7% [63] 968(3.1%) 968(3.1%) loop ...racket-7.0/collects/racket/list.rkt:434:17 loop [63] 94.7% ---------------------------------------------------------------------- for-loop [54] 100.0% [64] 948(3.0%) 0(0.0%) for-loop ...mplify-tweak/src/core/egraph.rkt:219:8 hash-update! [70] 100.0% ---------------------------------------------------------------------- loop! [57] 100.0% [65] 588(1.9%) 588(1.9%) set ...collects/racket/private/set-types.rkt:981:0 ---------------------------------------------------------------------- custom-set-union! [59] 100.0% [66] 298(1.0%) 298(1.0%) for-loop ...cts/racket/private/set-types.rkt:253:4 ---------------------------------------------------------------------- mk-ival [60] 100.0% [67] 5444(17.4%) 310(1.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [80] 82.7% ??? [81] 11.6% ---------------------------------------------------------------------- ival-mult [61] 100.0% [68] 2206(7.0%) 1534(4.9%) classify-ival ...y-tweak/src/biginterval.rkt:310:0 force [75] 17.4% fold-binary-pred [77] 13.1% ---------------------------------------------------------------------- ival-mult [61] 100.0% [69] 2028(6.5%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [73] 100.0% ---------------------------------------------------------------------- for-loop [54] 24.0% for-loop [64] 76.0% [70] 1248(4.0%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [74] 100.0% ---------------------------------------------------------------------- ival-mult [61] 100.0% [71] 354(1.1%) 0(0.0%) ...higher-order.rkt:361:33 (unknown source) ??? [76] 100.0% ---------------------------------------------------------------------- ->flonum [62] 100.0% [72] 320(1.0%) 320(1.0%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ---------------------------------------------------------------------- ival-sub [49] 17.6% ival-fma [43] 22.2% bf* [69] 28.3% ival-add [45] 31.9% [73] 7164(22.8%) 1656(5.3%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [78] 76.9% ---------------------------------------------------------------------- hash-update! [70] 100.0% [74] 1248(4.0%) 0(0.0%) ??? ...e/simplify-tweak/src/core/egraph.rkt:221:24 for-loop [79] 100.0% ---------------------------------------------------------------------- classify-ival [68] 100.0% [75] 384(1.2%) 384(1.2%) force ...collects/racket/private/promise.rkt:109:0 ---------------------------------------------------------------------- ...higher-order.rkt:361:33 [71]100.0% [76] 354(1.1%) 354(1.1%) ??? ...cts/racket/contract/private/list.rkt:209:10 ---------------------------------------------------------------------- classify-ival [68] 100.0% [77] 288(0.9%) 0(0.0%) fold-binary-pred ...gfloat/bigfloat-mpfr.rkt:117:0 ??? [37] 100.0% ---------------------------------------------------------------------- ??? [73] 100.0% [78] 5508(17.6%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [80] 59.8% ??? [81] 40.2% ---------------------------------------------------------------------- ??? [74] 100.0% [79] 1248(4.0%) 1248(4.0%) for-loop ...plify-tweak/src/core/egraph.rkt:222:26 ---------------------------------------------------------------------- bfadd [78] 42.2% bf [67] 57.8% [80] 7792(24.8%) 7792(24.8%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------------- bf [67] 22.2% bfadd [78] 77.8% [81] 2850(9.1%) 2850(9.1%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ----------------------------------------------------------------------