Profiling results ----------------- Total cpu time observed: 19912ms (out of 20120ms) Number of samples taken: 67 (once every 297ms) =============================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================================== ??? [7] 100.0% [1] 19912(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ------------------------------------------------------------------------------- ??? [7] 100.0% [2] 332(1.7%) 0(0.0%) errors ...ie/more-biginterval/src/points.rkt:205:0 for-loop [5] 100.0% ------------------------------------------------------------------------------- ??? [78] 100.0% [3] 300(1.5%) 0(0.0%) approximate9 ...ginterval/src/core/taylor.rkt:12:0 for-loop [6] 100.0% ------------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [4] 19912(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [7] 100.0% ------------------------------------------------------------------------------- errors [2] 100.0% [5] 332(1.7%) 0(0.0%) for-loop .../more-biginterval/src/points.rkt:207:2 ??? [7] 100.0% ------------------------------------------------------------------------------- approximate9 [3] 100.0% [6] 300(1.5%) 0(0.0%) for-loop ...-biginterval/src/core/taylor.rkt:30:18 taylor [8] 100.0% ------------------------------------------------------------------------------- for-loop [5] 0.6% run [4] 49.7% [7] 19912(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.7% run-improve47 [9] 30.4% prepare-points-intervals [10] 17.2% eval-errors [11] 0.8% errors-score [12] 0.8% errors [2] 0.6% ??? [26] 0.6% ------------------------------------------------------------------------------- for-loop [6] 100.0% [8] 300(1.5%) 0(0.0%) taylor ...re-biginterval/src/core/taylor.rkt:170:0 taylor-invert [13] 100.0% ------------------------------------------------------------------------------- ??? [7] 100.0% [9] 12112(60.8%) 0(0.0%) run-improve47 ...iginterval/src/mainloop.rkt:345:0 for-loop [14] 100.0% ------------------------------------------------------------------------------- ??? [7] 100.0% [10] 6842(34.4%) 0(0.0%) prepare-points-intervals ...l/src/points.rkt:110:0 loop [15] 95.6% eval-prog [19] 4.4% ------------------------------------------------------------------------------- ??? [7] 100.0% [11] 326(1.6%) 0(0.0%) eval-errors ...re-biginterval/src/points.rkt:179:0 for-loop [16] 100.0% ------------------------------------------------------------------------------- ??? [7] 100.0% [12] 300(1.5%) 0(0.0%) errors-score ...e-biginterval/src/points.rkt:196:0 loop [17] 100.0% ------------------------------------------------------------------------------- taylor [8] 100.0% [13] 300(1.5%) 0(0.0%) taylor-invert ...nterval/src/core/taylor.rkt:318:0 first-nonzero-exp [18] 100.0% ------------------------------------------------------------------------------- run-improve47 [9] 100.0% [14] 12112(60.8%) 0(0.0%) for-loop ...ore-biginterval/src/mainloop.rkt:363:4 run-iter! [20] 100.0% ------------------------------------------------------------------------------- prepare-points-intervals [10] 100.0% [15] 6544(32.9%) 0(0.0%) loop ...rbie/more-biginterval/src/points.rkt:123:4 ??? [21] 56.0% loop [22] 38.6% andmap [23] 5.4% ------------------------------------------------------------------------------- eval-errors [11] 100.0% [16] 326(1.6%) 326(1.6%) for-loop .../more-biginterval/src/points.rkt:181:2 ------------------------------------------------------------------------------- errors-score [12] 100.0% [17] 300(1.5%) 300(1.5%) loop .../racket-7.2/collects/racket/list.rkt:559:2 ------------------------------------------------------------------------------- taylor-invert [13] 100.0% [18] 300(1.5%) 0(0.0%) first-nonzero-exp ...val/src/core/taylor.rkt:266:0 hash-ref! [38] 100.0% ------------------------------------------------------------------------------- prepare-points-intervals [10] 100.0% [19] 298(1.5%) 0(0.0%) eval-prog ...ore-biginterval/src/programs.rkt:83:0 temp85_0 [24] 100.0% ------------------------------------------------------------------------------- for-loop [14] 100.0% [20] 12112(60.8%) 0(0.0%) run-iter! ...re-biginterval/src/mainloop.rkt:326:0 simplify! [25] 92.7% gen-series! [27] 2.5% finalize-iter! [29] 2.4% localize! [30] 2.3% ------------------------------------------------------------------------------- loop [15] 100.0% [21] 3662(18.4%) 0(0.0%) ??? ...erbie/more-biginterval/src/points.rkt:106:2 ??? [78] 84.7% loop [70] 15.3% ------------------------------------------------------------------------------- loop [15] 100.0% [22] 2526(12.7%) 0(0.0%) loop ...erbie/more-biginterval/src/points.rkt:81:2 ??? [26] 100.0% ------------------------------------------------------------------------------- loop [15] 100.0% [23] 356(1.8%) 356(1.8%) andmap ...2/collects/racket/private/map.rkt:102:13 ------------------------------------------------------------------------------- eval-prog [19] 100.0% [24] 298(1.5%) 0(0.0%) temp85_0 (unknown source) compile15 [28] 100.0% ------------------------------------------------------------------------------- run-iter! [20] 100.0% [25] 11232(56.4%) 0(0.0%) simplify! ...re-biginterval/src/mainloop.rkt:223:0 ??? [31] 100.0% ------------------------------------------------------------------------------- ??? [7] 11.6% loop [22] 88.4% [26] 2858(14.4%) 332(1.7%) ??? ...bie/more-biginterval/src/programs.rkt:115:2 ??? [32] 66.6% ??? [78] 21.8% ------------------------------------------------------------------------------- run-iter! [20] 100.0% [27] 300(1.5%) 0(0.0%) gen-series! ...-biginterval/src/mainloop.rkt:159:0 for-loop [33] 100.0% ------------------------------------------------------------------------------- temp85_0 [24] 100.0% [28] 298(1.5%) 0(0.0%) compile15 (unknown source) temp91_0 [34] 100.0% ------------------------------------------------------------------------------- run-iter! [20] 100.0% [29] 296(1.5%) 0(0.0%) finalize-iter! ...ginterval/src/mainloop.rkt:277:0 ??? [63] 100.0% ------------------------------------------------------------------------------- run-iter! [20] 100.0% [30] 284(1.4%) 0(0.0%) localize! ...re-biginterval/src/mainloop.rkt:126:0 localize-error [35] 100.0% ------------------------------------------------------------------------------- simplify! [25] 100.0% [31] 11232(56.4%) 0(0.0%) ??? ...more-biginterval/src/core/simplify.rkt:26:0 for-loop [36] 97.3% one-iter [41] 2.7% ------------------------------------------------------------------------------- ??? [26] 100.0% [32] 1902(9.6%) 348(1.7%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [78] 48.4% ??? [37] 33.3% ------------------------------------------------------------------------------- gen-series! [27] 100.0% [33] 300(1.5%) 0(0.0%) for-loop ...ore-biginterval/src/mainloop.rkt:166:7 taylor-alt [39] 100.0% ------------------------------------------------------------------------------- compile15 [28] 100.0% [34] 298(1.5%) 0(0.0%) temp91_0 (unknown source) compile-top9 [40] 100.0% ------------------------------------------------------------------------------- localize! [30] 100.0% [35] 284(1.4%) 0(0.0%) localize-error ...erval/src/core/localize.rkt:66:0 hash-ref! [38] 100.0% ------------------------------------------------------------------------------- ??? [31] 100.0% [36] 10932(54.9%) 0(0.0%) for-loop ...biginterval/src/core/simplify.rkt:35:2 one-iter [41] 100.0% ------------------------------------------------------------------------------- ??? [32] 100.0% [37] 634(3.2%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:364:33 ival-sub [42] 100.0% ------------------------------------------------------------------------------- localize-error [35] 16.2% map [52] 32.4% first-nonzero-exp [18] 51.4% [38] 584(2.9%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 simplify [43] 51.4% parse-loop30 [46] 32.4% ??? [47] 16.2% ------------------------------------------------------------------------------- for-loop [33] 100.0% [39] 300(1.5%) 0(0.0%) taylor-alt ...e-biginterval/src/mainloop.rkt:145:0 for-loop [44] 100.0% ------------------------------------------------------------------------------- temp91_0 [34] 100.0% [40] 298(1.5%) 0(0.0%) compile-top9 (unknown source) compile-forms33 [45] 100.0% ------------------------------------------------------------------------------- ??? [31] 2.7% for-loop [36] 97.3% [41] 11232(56.4%) 0(0.0%) one-iter ...biginterval/src/core/simplify.rkt:72:0 for-loop [48] 55.7% find-matches [49] 41.8% for-loop [51] 2.5% ------------------------------------------------------------------------------- ??? [37] 100.0% [42] 634(3.2%) 302(1.5%) ival-sub ...-biginterval/src/biginterval.rkt:107:0 bfmul [95] 52.4% ------------------------------------------------------------------------------- hash-ref! [38] 100.0% [43] 300(1.5%) 300(1.5%) simplify ...e-biginterval/src/core/reduce.rkt:16:0 ------------------------------------------------------------------------------- taylor-alt [39] 100.0% [44] 300(1.5%) 0(0.0%) for-loop ...ore-biginterval/src/mainloop.rkt:151:6 ??? [78] 100.0% ------------------------------------------------------------------------------- compile-top9 [40] 100.0% [45] 298(1.5%) 0(0.0%) compile-forms33 (unknown source) for-loop [50] 100.0% ------------------------------------------------------------------------------- hash-ref! [38] 100.0% [46] 284(1.4%) 0(0.0%) parse-loop30 ...s/racket/match/compiler.rkt:418:15 map [52] 100.0% ------------------------------------------------------------------------------- hash-ref! [38] 100.0% [47] 284(1.4%) 0(0.0%) ??? ...ore-biginterval/src/core/localize.rkt:23:13 loop [70] 100.0% ------------------------------------------------------------------------------- one-iter [41] 100.0% [48] 6256(31.4%) 0(0.0%) for-loop ...biginterval/src/core/simplify.rkt:74:2 for-loop [53] 100.0% ------------------------------------------------------------------------------- one-iter [41] 100.0% [49] 4690(23.6%) 0(0.0%) find-matches ...nterval/src/core/simplify.rkt:62:0 for-loop [54] 100.0% ------------------------------------------------------------------------------- compile-forms33 [45] 100.0% [50] 298(1.5%) 0(0.0%) for-loop (unknown source) generate-links+imports [55] 100.0% ------------------------------------------------------------------------------- one-iter [41] 100.0% [51] 286(1.4%) 0(0.0%) for-loop ...biginterval/src/core/simplify.rkt:81:2 set-precompute! [56] 100.0% ------------------------------------------------------------------------------- parse-loop30 [46] 100.0% [52] 284(1.4%) 0(0.0%) map ...t-7.2/collects/racket/private/map.rkt:35:13 hash-ref! [38] 100.0% ------------------------------------------------------------------------------- for-loop [48] 100.0% [53] 6256(31.4%) 0(0.0%) for-loop ...biginterval/src/core/simplify.rkt:77:4 merge-egraph-nodes! [58] 50.2% pattern-substitute [59] 27.1% dedup-children! [64] 13.8% mk-enode-rec! [83] 8.9% ------------------------------------------------------------------------------- for-loop [54] 50.0% find-matches [49] 50.0% [54] 4690(23.6%) 300(1.5%) for-loop ...biginterval/src/core/simplify.rkt:64:8 for-loop [54] 50.0% match-e [57] 46.8% ------------------------------------------------------------------------------- for-loop [50] 100.0% [55] 298(1.5%) 298(1.5%) generate-links+imports (unknown source) ------------------------------------------------------------------------------- for-loop [51] 100.0% [56] 286(1.4%) 0(0.0%) set-precompute! ...rval/src/core/simplify.rkt:88:0 for-loop [60] 100.0% ------------------------------------------------------------------------------- for-loop [69] 30.7% for-loop [54] 69.3% [57] 4390(22.0%) 278(1.4%) match-e ...re-biginterval/src/core/ematch.rkt:39:0 for-loop [61] 84.5% constant? [67] 6.8% ??? [63] 5.5% ------------------------------------------------------------------------------- merge-egraph-nodes! [58] 5.9% for-loop [65] 9.0% for-loop [53] 85.1% [58] 3142(15.8%) 0(0.0%) merge-egraph-nodes! ...l/src/core/egraph.rkt:145:0 loop! [79] 48.2% update-leader! [62] 27.9% for-loop [65] 9.0% dedup-children! [64] 9.0% merge-egraph-nodes! [58] 5.9% ------------------------------------------------------------------------------- pattern-substitute [59] 47.3% for-loop [53] 52.7% [59] 1694(8.5%) 860(4.3%) pattern-substitute ...al/src/core/matcher.rkt:46:0 pattern-substitute [59] 47.3% variable? [66] 10.9% ??? [63] 8.2% ------------------------------------------------------------------------------- set-precompute! [56] 100.0% [60] 286(1.4%) 0(0.0%) for-loop ...biginterval/src/core/simplify.rkt:90:2 setfindf [68] 100.0% ------------------------------------------------------------------------------- match-e [57] 100.0% [61] 4090(20.5%) 1768(8.9%) for-loop ...-biginterval/src/core/ematch.rkt:52:11 for-loop [69] 42.3% loop [70] 14.7% procedure-reduce-keyword-arity-mask [74] 10.4% foldr [75] 3.7% ------------------------------------------------------------------------------- merge-egraph-nodes! [58] 100.0% [62] 1160(5.8%) 310(1.6%) update-leader! ...terval/src/core/egraph.rkt:213:0 for-loop [72] 73.3% ------------------------------------------------------------------------------- pattern-substitute [59] 24.1% finalize-iter! [29] 25.7% match-e [57] 50.2% [63] 1152(5.8%) 856(4.3%) ??? ...contract/private/arrow-val-first.rkt:390:18 atab-add-altns [76] 25.7% ------------------------------------------------------------------------------- merge-egraph-nodes! [58] 24.6% for-loop [53] 75.4% [64] 1148(5.8%) 0(0.0%) dedup-children! ...terval/src/core/enode.rkt:202:0 loop [71] 100.0% ------------------------------------------------------------------------------- merge-egraph-nodes! [58] 100.0% [65] 566(2.8%) 0(0.0%) for-loop ...-biginterval/src/core/egraph.rkt:199:4 merge-egraph-nodes! [58] 100.0% ------------------------------------------------------------------------------- pattern-substitute [59] 100.0% [66] 556(2.8%) 276(1.4%) variable? ...ginterval/src/syntax/syntax.rkt:729:0 value? [73] 50.4% ------------------------------------------------------------------------------- match-e [57] 100.0% [67] 300(1.5%) 0(0.0%) constant? ...ginterval/src/syntax/syntax.rkt:726:0 value? [73] 100.0% ------------------------------------------------------------------------------- for-loop [60] 100.0% [68] 286(1.4%) 0(0.0%) setfindf .../more-biginterval/src/common.rkt:130:0 for-loop [77] 100.0% ------------------------------------------------------------------------------- for-loop [61] 100.0% [69] 2606(13.1%) 0(0.0%) for-loop ...-biginterval/src/core/ematch.rkt:58:37 match-e [57] 100.0% ------------------------------------------------------------------------------- ??? [47] 0.5% loop! [79] 3.6% mk-enode-rec! [83] 10.7% for-loop [61] 14.5% ??? [21] 21.7% loop [70] 48.9% [70] 2578(12.9%) 866(4.3%) loop ...-7.2/collects/racket/private/map.rkt:40:19 loop [70] 48.9% foldl [84] 11.6% ??? [78] 11.1% mk-enode-rec! [83] 10.7% loop! [79] 3.0% ------------------------------------------------------------------------------- dedup-children! [64] 15.4% loop [71] 84.6% [71] 1148(5.8%) 0(0.0%) loop ...racket-7.2/collects/racket/list.rkt:417:34 loop [71] 84.6% member [81] 9.1% loop [80] 6.3% ------------------------------------------------------------------------------- update-leader! [62] 100.0% [72] 850(4.3%) 0(0.0%) for-loop ...-biginterval/src/core/egraph.rkt:218:6 for-loop [82] 67.3% hash-update! [88] 32.7% ------------------------------------------------------------------------------- variable? [66] 48.3% constant? [67] 51.7% [73] 580(2.9%) 580(2.9%) value? ...re-biginterval/src/syntax/types.rkt:18:0 ------------------------------------------------------------------------------- for-loop [61] 100.0% [74] 564(2.8%) 564(2.8%) procedure-reduce-keyword-arity-mask ....rkt:1562:4 ------------------------------------------------------------------------------- for-loop [61] 100.0% [75] 302(1.5%) 302(1.5%) foldr ....2/collects/racket/private/list.rkt:242:4 ------------------------------------------------------------------------------- ??? [63] 100.0% [76] 296(1.5%) 0(0.0%) atab-add-altns ...rval/src/core/alt-table.rkt:49:0 atab-add-altn [85] 100.0% ------------------------------------------------------------------------------- setfindf [68] 100.0% [77] 286(1.4%) 286(1.4%) for-loop .../more-biginterval/src/common.rkt:131:2 ------------------------------------------------------------------------------- location-do [92] 2.7% for-loop [44] 2.7% loop [70] 10.1% ??? [26] 11.3% ??? [32] 16.7% ??? [21] 56.4% [78] 5502(27.6%) 1206(6.1%) ??? ...tract/private/arrow-higher-order.rkt:360:33 sample-multi-bounded [86] 44.6% ival-mult [87] 16.7% mk-ival [89] 11.3% location-do [92] 2.7% approximate9 [3] 2.7% ------------------------------------------------------------------------------- loop [70] 17.1% merge-egraph-nodes! [58] 82.9% [79] 1700(8.5%) 580(2.9%) loop! ...more-biginterval/src/core/enode.rkt:194:2 loop [70] 33.4% custom-set-union [90] 32.7% set [93] 8.4% ------------------------------------------------------------------------------- loop [71] 100.0% [80] 576(2.9%) 576(2.9%) loop (unknown source) ------------------------------------------------------------------------------- loop [71] 100.0% [81] 572(2.9%) 572(2.9%) member (unknown source) ------------------------------------------------------------------------------- for-loop [72] 100.0% [82] 572(2.9%) 0(0.0%) for-loop ...-biginterval/src/core/egraph.rkt:219:8 hash-update! [88] 100.0% ------------------------------------------------------------------------------- loop [70] 24.9% for-loop [53] 75.1% [83] 554(2.8%) 554(2.8%) mk-enode-rec! ...nterval/src/core/egraph.rkt:117:0 loop [70] 24.9% ------------------------------------------------------------------------------- loop [70] 100.0% [84] 300(1.5%) 0(0.0%) foldl ....2/collects/racket/private/list.rkt:229:4 merge2 [91] 100.0% ------------------------------------------------------------------------------- atab-add-altns [76] 100.0% [85] 296(1.5%) 296(1.5%) atab-add-altn ...rval/src/core/alt-table.rkt:203:0 ------------------------------------------------------------------------------- ??? [78] 100.0% [86] 2452(12.3%) 284(1.4%) sample-multi-bounded ...terval/src/points.rkt:15:0 random-ranges [94] 64.4% for-loop [98] 24.0% ------------------------------------------------------------------------------- ??? [78] 100.0% [87] 920(4.6%) 274(1.4%) ival-mult ...biginterval/src/biginterval.rkt:119:0 bfmul [95] 70.2% ------------------------------------------------------------------------------- for-loop [72] 32.7% for-loop [82] 67.3% [88] 850(4.3%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [96] 100.0% ------------------------------------------------------------------------------- ??? [78] 100.0% [89] 624(3.1%) 0(0.0%) mk-ival ...re-biginterval/src/biginterval.rkt:65:0 bf [97] 100.0% ------------------------------------------------------------------------------- loop! [79] 100.0% [90] 556(2.8%) 0(0.0%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [99] 100.0% ------------------------------------------------------------------------------- foldl [84] 100.0% [91] 300(1.5%) 300(1.5%) merge2 ...ore-biginterval/src/core/ematch.rkt:24:0 ------------------------------------------------------------------------------- ??? [78] 100.0% [92] 300(1.5%) 0(0.0%) location-do ...e-biginterval/src/programs.rkt:64:0 ??? [78] 100.0% ------------------------------------------------------------------------------- loop! [79] 100.0% [93] 286(1.4%) 286(1.4%) set ...collects/racket/private/set-types.rkt:981:0 ------------------------------------------------------------------------------- sample-multi-bounded [86] 100.0% [94] 1580(7.9%) 1008(5.1%) random-ranges ...-biginterval/src/common.rkt:171:0 build--> [102] 18.4% cons/c [103] 17.8% ------------------------------------------------------------------------------- ival-sub [42] 33.9% ival-mult [87] 66.1% [95] 978(4.9%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 ??? [100] 100.0% ------------------------------------------------------------------------------- hash-update! [88] 100.0% [96] 850(4.3%) 0(0.0%) ??? ...more-biginterval/src/core/egraph.rkt:221:24 for-loop [101] 100.0% ------------------------------------------------------------------------------- mk-ival [89] 100.0% [97] 624(3.1%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 ??? [100] 100.0% ------------------------------------------------------------------------------- sample-multi-bounded [86] 100.0% [98] 588(3.0%) 588(3.0%) for-loop ...e/more-biginterval/src/points.rkt:23:4 ------------------------------------------------------------------------------- custom-set-union [90] 100.0% [99] 556(2.8%) 278(1.4%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [104] 50.0% ------------------------------------------------------------------------------- bf [97] 39.0% bfmul [95] 61.0% [100] 1602(8.0%) 1602(8.0%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4 ------------------------------------------------------------------------------- ??? [96] 100.0% [101] 850(4.3%) 850(4.3%) for-loop ...biginterval/src/core/egraph.rkt:222:26 ------------------------------------------------------------------------------- random-ranges [94] 100.0% [102] 290(1.5%) 290(1.5%) build--> ...act/private/arrow-val-first.rkt:1088:0 ------------------------------------------------------------------------------- random-ranges [94] 100.0% [103] 282(1.4%) 0(0.0%) cons/c .../racket/contract/private/guts.rkt:504:15 coerce-contract [105] 100.0% ------------------------------------------------------------------------------- for-loop [99] 100.0% [104] 278(1.4%) 278(1.4%) for-loop ...cts/racket/private/set-types.rkt:178:5 ------------------------------------------------------------------------------- cons/c [103] 100.0% [105] 282(1.4%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:308:0 coerce-contract/f [106] 100.0% ------------------------------------------------------------------------------- coerce-contract [105] 100.0% [106] 282(1.4%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:373:0 coerce-simple-value [107] 100.0% ------------------------------------------------------------------------------- coerce-contract/f [106] 100.0% [107] 282(1.4%) 282(1.4%) coerce-simple-value ...ract/private/guts.rkt:386:0 -------------------------------------------------------------------------------