Profiling results ----------------- Total cpu time observed: 17004ms (out of 17220ms) Number of samples taken: 89 (once every 191ms) ================================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================================ [1] 17004(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 100.0% -------------------------------------------------------------------------------- ??? [42] 100.0% [2] 504(3.0%) 0(0.0%) approximate9 ...ebuilding/src/core/taylor.rkt:11:0 for-loop [4] 69.0% loop [5] 31.0% -------------------------------------------------------------------------------- ??? [1] 100.0% [3] 17004(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [6] 100.0% -------------------------------------------------------------------------------- approximate9 [2] 100.0% [4] 348(2.0%) 0(0.0%) for-loop ...h-rebuilding/src/core/taylor.rkt:29:18 taylor [9] 100.0% -------------------------------------------------------------------------------- approximate9 [2] 100.0% [5] 156(0.9%) 0(0.0%) loop ...egraph-rebuilding/src/core/taylor.rkt:86:4 hash-ref! [7] 100.0% -------------------------------------------------------------------------------- profile-thunk16 [3] 100.0% [6] 17004(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [8] 100.0% -------------------------------------------------------------------------------- ??? [42] 25.0% loop [5] 25.0% ??? [10] 50.0% [7] 156(0.9%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [10] 75.0% taylor [9] 25.0% -------------------------------------------------------------------------------- for-loop [45] 1.6% run [6] 98.4% [8] 17004(100.0%) 204(1.2%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [11] 76.3% prepare-points-intervals [12] 17.4% errors [43] 2.3% eval-errors [13] 1.2% oracle-error [14] 1.2% ??? [87] 1.0% -------------------------------------------------------------------------------- taylor [9] 7.0% for-loop [4] 18.4% hash-ref! [7] 31.0% map [76] 43.7% [9] 504(3.0%) 156(0.9%) taylor ...aph-rebuilding/src/core/taylor.rkt:169:0 map [76] 43.7% ??? [16] 11.4% taylor [9] 7.0% debug-print [15] 7.0% -------------------------------------------------------------------------------- hash-ref! [7] 100.0% [10] 156(0.9%) 0(0.0%) ??? ...egraph-rebuilding/src/core/taylor.rkt:67:15 hash-ref! [7] 66.7% ??? [42] 33.3% -------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [8] 100.0% [11] 13052(76.8%) 0(0.0%) run-improve47 ...rebuilding/src/mainloop.rkt:346:0 simplify! [24] 76.3% for-loop [17] 23.7% -------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [8] 100.0% [12] 2960(17.4%) 0(0.0%) prepare-points-intervals ...g/src/points.rkt:120:0 loop [18] 100.0% -------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [8] 100.0% [13] 202(1.2%) 0(0.0%) eval-errors ...aph-rebuilding/src/points.rkt:168:0 for-loop [19] 100.0% -------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [8] 100.0% [14] 200(1.2%) 0(0.0%) oracle-error ...ph-rebuilding/src/points.rkt:177:0 for-loop [20] 100.0% -------------------------------------------------------------------------------- taylor [9] 100.0% [15] 176(1.0%) 176(1.0%) debug-print ...raph-rebuilding/src/debug.rkt:110:0 -------------------------------------------------------------------------------- taylor [9] 100.0% [16] 172(1.0%) 0(0.0%) ??? ...ebuilding/src/function-definitions.rkt:46:2 ??? [42] 100.0% -------------------------------------------------------------------------------- run-improve47 [11] 100.0% [17] 3090(18.2%) 0(0.0%) for-loop ...raph-rebuilding/src/mainloop.rkt:365:4 run-iter! [21] 100.0% -------------------------------------------------------------------------------- prepare-points-intervals [12] 100.0% [18] 2960(17.4%) 0(0.0%) loop ...fy-regraph-rebuilding/src/points.rkt:132:4 ??? [22] 52.6% loop [23] 47.4% -------------------------------------------------------------------------------- eval-errors [13] 100.0% [19] 202(1.2%) 202(1.2%) for-loop ...egraph-rebuilding/src/points.rkt:170:2 -------------------------------------------------------------------------------- oracle-error [14] 100.0% [20] 200(1.2%) 0(0.0%) for-loop ...egraph-rebuilding/src/points.rkt:178:2 map [76] 100.0% -------------------------------------------------------------------------------- for-loop [17] 100.0% [21] 3090(18.2%) 0(0.0%) run-iter! ...aph-rebuilding/src/mainloop.rkt:327:0 simplify! [24] 78.3% gen-series! [25] 16.3% finalize-iter! [27] 5.4% -------------------------------------------------------------------------------- loop [18] 100.0% [22] 1558(9.2%) 0(0.0%) ??? ...ify-regraph-rebuilding/src/points.rkt:113:6 loop [91] 70.2% sample-multi-bounded [93] 29.8% -------------------------------------------------------------------------------- loop [18] 100.0% [23] 1402(8.2%) 0(0.0%) loop ...ify-regraph-rebuilding/src/points.rkt:79:2 real->precision [26] 33.8% ??? [42] 33.1% ??? [31] 11.1% ??? [28] 11.0% ??? [63] 11.0% -------------------------------------------------------------------------------- run-iter! [21] 19.5% run-improve47 [11] 80.5% [24] 12380(72.8%) 0(0.0%) simplify! ...aph-rebuilding/src/mainloop.rkt:224:0 ??? [29] 100.0% -------------------------------------------------------------------------------- run-iter! [21] 100.0% [25] 504(3.0%) 0(0.0%) gen-series! ...h-rebuilding/src/mainloop.rkt:160:0 for-loop [30] 100.0% -------------------------------------------------------------------------------- loop [23] 100.0% [26] 474(2.8%) 0(0.0%) real->precision ...building/src/programs.rkt:94:11 ??? [42] 100.0% -------------------------------------------------------------------------------- run-iter! [21] 100.0% [27] 168(1.0%) 0(0.0%) finalize-iter! ...ebuilding/src/mainloop.rkt:278:0 ??? [31] 100.0% -------------------------------------------------------------------------------- loop [23] 100.0% [28] 154(0.9%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-add [32] 100.0% -------------------------------------------------------------------------------- simplify! [24] 100.0% [29] 12380(72.8%) 0(0.0%) ??? ...graph-rebuilding/src/core/simplify.rkt:38:0 ??? [33] 100.0% -------------------------------------------------------------------------------- gen-series! [25] 100.0% [30] 504(3.0%) 0(0.0%) for-loop ...raph-rebuilding/src/mainloop.rkt:167:7 taylor-alt [34] 100.0% -------------------------------------------------------------------------------- loop [23] 48.1% finalize-iter! [27] 51.9% [31] 324(1.9%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [35] 51.9% ??? [36] 48.1% -------------------------------------------------------------------------------- ??? [28] 100.0% [32] 154(0.9%) 0(0.0%) ival-add ...h-rebuilding/src/biginterval.rkt:102:0 bfadd [56] 100.0% -------------------------------------------------------------------------------- ??? [29] 100.0% [33] 12380(72.8%) 0(0.0%) ??? ...graph-rebuilding/src/core/simplify.rkt:56:0 for-loop [37] 100.0% -------------------------------------------------------------------------------- for-loop [30] 100.0% [34] 504(3.0%) 0(0.0%) taylor-alt ...ph-rebuilding/src/mainloop.rkt:146:0 for-loop [38] 100.0% -------------------------------------------------------------------------------- ??? [31] 100.0% [35] 168(1.0%) 0(0.0%) for-loop ...rebuilding/src/core/alt-table.rkt:46:2 atab-add-altn [39] 100.0% -------------------------------------------------------------------------------- ??? [31] 100.0% [36] 156(0.9%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:770:8 bigvalue? [40] 100.0% -------------------------------------------------------------------------------- ??? [33] 100.0% [37] 12380(72.8%) 0(0.0%) for-loop ...-rebuilding/src/core/simplify.rkt:76:2 for-loop [41] 100.0% -------------------------------------------------------------------------------- taylor-alt [34] 100.0% [38] 504(3.0%) 0(0.0%) for-loop ...raph-rebuilding/src/mainloop.rkt:152:6 ??? [42] 100.0% -------------------------------------------------------------------------------- for-loop [35] 100.0% [39] 168(1.0%) 0(0.0%) atab-add-altn ...ding/src/core/alt-table.rkt:194:0 errors [43] 100.0% -------------------------------------------------------------------------------- ??? [36] 100.0% [40] 156(0.9%) 156(0.9%) bigvalue? ...-rebuilding/src/syntax/types.rkt:19:0 -------------------------------------------------------------------------------- for-loop [37] 100.0% [41] 12380(72.8%) 0(0.0%) for-loop ...-rebuilding/src/core/simplify.rkt:80:4 ??? [44] 95.4% loop [47] 3.1% egraph-rebuild [50] 1.6% -------------------------------------------------------------------------------- ??? [42] 3.0% ??? [16] 3.0% ??? [10] 3.6% location-do [46] 12.7% for-loop [38] 12.7% loop [23] 32.2% real->precision [26] 32.9% [42] 1442(8.5%) 454(2.7%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ival-mult [48] 21.8% location-do [46] 12.7% approximate9 [2] 12.7% bf [52] 11.8% hash-ref! [7] 3.6% ??? [42] 3.0% ??? [51] 3.0% -------------------------------------------------------------------------------- atab-add-altn [39] 22.2% .../more-scheme.rkt:261:28 [8] 77.8% [43] 758(4.5%) 0(0.0%) errors ...-regraph-rebuilding/src/points.rkt:190:0 for-loop [45] 73.4% temp85_0 [49] 26.6% -------------------------------------------------------------------------------- for-loop [41] 100.0% [44] 11806(69.4%) 0(0.0%) ??? ...fy-regraph-rebuilding/regraph/main.rkt:45:0 find-matches [53] 77.5% for-loop [54] 22.5% -------------------------------------------------------------------------------- errors [43] 100.0% [45] 556(3.3%) 0(0.0%) for-loop ...egraph-rebuilding/src/points.rkt:192:2 .../more-scheme.rkt:261:28 [8] 100.0% -------------------------------------------------------------------------------- ??? [42] 100.0% [46] 504(3.0%) 0(0.0%) location-do ...ph-rebuilding/src/programs.rkt:63:0 ??? [42] 100.0% -------------------------------------------------------------------------------- for-loop [41] 100.0% [47] 382(2.2%) 0(0.0%) loop ...aph-rebuilding/regraph/extraction.rkt:25:2 for-loop [55] 100.0% -------------------------------------------------------------------------------- ??? [42] 100.0% [48] 314(1.8%) 154(0.9%) ival-mult ...-rebuilding/src/biginterval.rkt:120:0 bfadd [56] 51.0% -------------------------------------------------------------------------------- errors [43] 100.0% [49] 202(1.2%) 0(0.0%) temp85_0 (unknown source) compile15 [57] 100.0% -------------------------------------------------------------------------------- for-loop [41] 100.0% [50] 192(1.1%) 0(0.0%) egraph-rebuild ...building/regraph/egraph.rkt:61:0 egraph-rebuild-once [58] 100.0% -------------------------------------------------------------------------------- ??? [42] 100.0% [51] 172(1.0%) 0(0.0%) ??? ...graph-rebuilding/src/core/matcher.rkt:65:17 pattern-match [59] 100.0% -------------------------------------------------------------------------------- ??? [42] 100.0% [52] 170(1.0%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [62] 100.0% -------------------------------------------------------------------------------- ??? [44] 100.0% [53] 9154(53.8%) 0(0.0%) find-matches ...h-rebuilding/regraph/main.rkt:37:0 for-loop [60] 100.0% -------------------------------------------------------------------------------- ??? [44] 100.0% [54] 2652(15.6%) 0(0.0%) for-loop ...graph-rebuilding/regraph/main.rkt:48:2 for-loop [61] 100.0% -------------------------------------------------------------------------------- loop [47] 100.0% [55] 382(2.2%) 176(1.0%) for-loop ...rebuilding/regraph/extraction.rkt:28:4 for-loop [64] 53.9% -------------------------------------------------------------------------------- ival-add [32] 49.0% ival-mult [48] 51.0% [56] 314(1.8%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [62] 51.0% ??? [63] 49.0% -------------------------------------------------------------------------------- temp85_0 [49] 100.0% [57] 202(1.2%) 0(0.0%) compile15 (unknown source) temp91_0 [65] 100.0% -------------------------------------------------------------------------------- egraph-rebuild [50] 100.0% [58] 192(1.1%) 0(0.0%) egraph-rebuild-once ...ing/regraph/egraph.rkt:68:0 for-loop [66] 100.0% -------------------------------------------------------------------------------- ??? [51] 100.0% [59] 172(1.0%) 0(0.0%) pattern-match ...uilding/src/core/matcher.rkt:29:0 for-loop [67] 100.0% -------------------------------------------------------------------------------- for-loop [60] 50.0% find-matches [53] 50.0% [60] 9154(53.8%) 0(0.0%) for-loop ...graph-rebuilding/regraph/main.rkt:39:2 for-loop [60] 50.0% match-e [68] 50.0% -------------------------------------------------------------------------------- for-loop [54] 100.0% [61] 2652(15.6%) 0(0.0%) for-loop ...graph-rebuilding/regraph/main.rkt:51:4 add-enode-rec! [69] 71.5% substitute-e [70] 28.5% -------------------------------------------------------------------------------- bfadd [56] 48.5% bf [52] 51.5% [62] 330(1.9%) 330(1.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 -------------------------------------------------------------------------------- loop [23] 50.0% bfadd [56] 50.0% [63] 308(1.8%) 308(1.8%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 -------------------------------------------------------------------------------- for-loop [55] 100.0% [64] 206(1.2%) 0(0.0%) for-loop ...ebuilding/regraph/extraction.rkt:36:16 for-loop [71] 100.0% -------------------------------------------------------------------------------- compile15 [57] 100.0% [65] 202(1.2%) 0(0.0%) temp91_0 (unknown source) temp118_0 [72] 100.0% -------------------------------------------------------------------------------- egraph-rebuild-once [58] 100.0% [66] 192(1.1%) 0(0.0%) for-loop ...aph-rebuilding/regraph/egraph.rkt:72:2 for-loop [73] 100.0% -------------------------------------------------------------------------------- pattern-match [59] 100.0% [67] 172(1.0%) 0(0.0%) for-loop ...h-rebuilding/src/core/matcher.rkt:26:9 core457 [74] 100.0% -------------------------------------------------------------------------------- for-loop [80] 27.8% for-loop [60] 72.2% [68] 9154(53.8%) 788(4.6%) match-e ...raph-rebuilding/regraph/ematch.rkt:35:0 for-loop [75] 93.8% -------------------------------------------------------------------------------- for-loop [61] 100.0% [69] 1896(11.2%) 398(2.3%) add-enode-rec! ...uilding/regraph/egraph.rkt:161:0 map [76] 60.7% mk-enode! [77] 18.4% -------------------------------------------------------------------------------- substitute-e [70] 39.9% for-loop [61] 60.1% [70] 756(4.4%) 756(4.4%) substitute-e ...rebuilding/regraph/ematch.rkt:55:0 substitute-e [70] 39.9% -------------------------------------------------------------------------------- for-loop [64] 100.0% [71] 206(1.2%) 206(1.2%) for-loop ...ebuilding/regraph/extraction.rkt:40:23 -------------------------------------------------------------------------------- temp91_0 [65] 100.0% [72] 202(1.2%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [78] 100.0% -------------------------------------------------------------------------------- for-loop [66] 100.0% [73] 192(1.1%) 192(1.1%) for-loop ...aph-rebuilding/regraph/egraph.rkt:73:4 -------------------------------------------------------------------------------- for-loop [67] 100.0% [74] 172(1.0%) 0(0.0%) core457 ...acket/contract/private/arr-i.rkt:976:19 or/c [79] 100.0% -------------------------------------------------------------------------------- match-e [68] 100.0% [75] 8754(51.5%) 4778(28.1%) for-loop ...ph-rebuilding/regraph/ematch.rkt:41:11 for-loop [80] 32.1% procedure-reduce-keyword-arity-mask [81] 10.4% loop [91] 9.0% do-curry [86] 6.9% foldl [94] 2.1% foldr [83] 1.2% -------------------------------------------------------------------------------- for-loop [20] 11.8% taylor [9] 20.5% add-enode-rec! [69] 67.7% [76] 1698(10.0%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 mk-enode-rec! [82] 67.7% taylor [9] 20.5% ??? [85] 11.8% -------------------------------------------------------------------------------- add-enode-rec! [69] 100.0% [77] 348(2.0%) 348(2.0%) mk-enode! ...h-rebuilding/regraph/egraph.rkt:132:0 -------------------------------------------------------------------------------- temp118_0 [72] 100.0% [78] 202(1.2%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [84] 100.0% -------------------------------------------------------------------------------- core457 [74] 100.0% [79] 172(1.0%) 172(1.0%) or/c ...lects/racket/contract/private/orc.rkt:16:2 -------------------------------------------------------------------------------- for-loop [75] 100.0% [80] 4962(29.2%) 200(1.2%) for-loop ...ph-rebuilding/regraph/ematch.rkt:47:37 match-e [68] 98.0% -------------------------------------------------------------------------------- for-loop [75] 100.0% [81] 1206(7.1%) 1206(7.1%) procedure-reduce-keyword-arity-mask ....rkt:1597:4 -------------------------------------------------------------------------------- map [76] 100.0% [82] 1150(6.8%) 780(4.6%) mk-enode-rec! ...building/regraph/egraph.rkt:152:0 do-curry [86] 32.2% -------------------------------------------------------------------------------- for-loop [75] 100.0% [83] 206(1.2%) 206(1.2%) foldr ....5/collects/racket/private/list.rkt:242:4 -------------------------------------------------------------------------------- expand-capturing-lifts [78] 100.0% [84] 202(1.2%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [88] 100.0% -------------------------------------------------------------------------------- map [76] 100.0% [85] 200(1.2%) 0(0.0%) ??? ...fy-regraph-rebuilding/src/points.rkt:179:26 ??? [87] 100.0% -------------------------------------------------------------------------------- mk-enode-rec! [82] 27.0% for-loop [75] 73.0% [86] 1370(8.1%) 1370(8.1%) do-curry ...-7.5/collects/racket/function.rkt:71:2 -------------------------------------------------------------------------------- ??? [85] 36.2% .../more-scheme.rkt:261:28 [8] 63.8% [87] 552(3.2%) 384(2.3%) ??? ...aph-rebuilding/src/syntax/syntax.rkt:214:17 return/no-unsupplied [90] 30.4% -------------------------------------------------------------------------------- lambda-clause-expander [84] 12.5% for-loop [89] 87.5% [88] 202(1.2%) 0(0.0%) finish-bodys (unknown source) for-loop [89] 100.0% -------------------------------------------------------------------------------- for-loop [89] 11.1% finish-bodys [88] 88.9% [89] 202(1.2%) 0(0.0%) for-loop (unknown source) finish-bodys [88] 77.8% for-loop [89] 11.1% loop [91] 11.1% -------------------------------------------------------------------------------- ??? [87] 100.0% [90] 168(1.0%) 0(0.0%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [92] 100.0% -------------------------------------------------------------------------------- for-loop [75] 4.9% for-loop [89] 9.7% ??? [22] 41.0% loop [91] 44.4% [91] 2088(12.3%) 704(4.1%) loop (unknown source) loop [91] 44.4% sample-multi-bounded [93] 33.4% expand-id-application-form17 [95] 9.7% foldl [94] 0.4% -------------------------------------------------------------------------------- return/no-unsupplied [90] 100.0% [92] 168(1.0%) 168(1.0%) filter ...5/collects/racket/private/list.rkt:256:2 -------------------------------------------------------------------------------- ??? [22] 37.5% loop [91] 62.5% [93] 1238(7.3%) 0(0.0%) sample-multi-bounded ...ilding/src/points.rkt:14:0 random-ranges [96] 87.4% for-loop [99] 12.6% -------------------------------------------------------------------------------- for-loop [75] 31.1% loop [91] 68.9% [94] 592(3.5%) 0(0.0%) foldl ....5/collects/racket/private/list.rkt:229:4 merge2 [97] 100.0% -------------------------------------------------------------------------------- loop [91] 100.0% [95] 202(1.2%) 0(0.0%) expand-id-application-form17 (unknown source) binding-lookup52 [98] 100.0% -------------------------------------------------------------------------------- sample-multi-bounded [93] 100.0% [96] 1082(6.4%) 612(3.6%) random-ranges ...h-rebuilding/src/common.rkt:164:0 build--> [100] 43.4% -------------------------------------------------------------------------------- foldl [94] 100.0% [97] 592(3.5%) 592(3.5%) merge2 ...graph-rebuilding/regraph/ematch.rkt:20:0 -------------------------------------------------------------------------------- expand-id-application-form17 [95] 100.0% [98] 202(1.2%) 202(1.2%) binding-lookup52 (unknown source) -------------------------------------------------------------------------------- sample-multi-bounded [93] 100.0% [99] 156(0.9%) 156(0.9%) for-loop ...regraph-rebuilding/src/points.rkt:20:4 -------------------------------------------------------------------------------- random-ranges [96] 100.0% [100] 470(2.8%) 150(0.9%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [101] 68.1% -------------------------------------------------------------------------------- build--> [100] 100.0% [101] 320(1.9%) 166(1.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [102] 48.1% -------------------------------------------------------------------------------- coerce-contract [101] 100.0% [102] 154(0.9%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [103] 100.0% -------------------------------------------------------------------------------- coerce-contract/f [102] 100.0% [103] 154(0.9%) 154(0.9%) coerce-simple-value ...ract/private/guts.rkt:385:0 --------------------------------------------------------------------------------