Profiling results ----------------- Total cpu time observed: 15520ms (out of 16080ms) Number of samples taken: 48 (once every 323ms) ======================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================= run [10] 50.0% [1] 15520(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [4] 50.0% loop [5] 25.8% run-improve39 [6] 23.2% get-final-combination [8] 1.0% ----------------------------------------------------------------------- match-e [76] 100.0% [2] 914(5.9%) 312(2.0%) for-loop ...rval-sampler/src/core/ematch.rkt:59:11 for-loop [7] 82.9% ----------------------------------------------------------------------- ??? [47] 100.0% [3] 302(1.9%) 0(0.0%) approximate9 ...l-sampler/src/core/taylor.rkt:12:0 for-loop [9] 100.0% ----------------------------------------------------------------------- ??? [1] 100.0% [4] 15520(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [10] 100.0% ----------------------------------------------------------------------- ??? [1] 100.0% [5] 7998(51.5%) 0(0.0%) loop ...e/biginterval-sampler/src/points.rkt:217:2 make-exacts-intervals [11] 96.0% for-loop [13] 4.0% ----------------------------------------------------------------------- ??? [1] 100.0% [6] 7198(46.4%) 0(0.0%) run-improve39 ...al-sampler/src/mainloop.rkt:287:0 for-loop [12] 100.0% ----------------------------------------------------------------------- for-loop [2] 100.0% [7] 914(5.9%) 0(0.0%) for-loop ...rval-sampler/src/core/ematch.rkt:65:37 match-e [76] 100.0% ----------------------------------------------------------------------- ??? [1] 100.0% [8] 324(2.1%) 0(0.0%) get-final-combination ...er/src/mainloop.rkt:310:0 ??? [50] 100.0% ----------------------------------------------------------------------- approximate9 [3] 100.0% [9] 302(1.9%) 0(0.0%) for-loop ...rval-sampler/src/core/taylor.rkt:30:18 taylor-quotient [14] 100.0% ----------------------------------------------------------------------- profile-thunk16 [4] 100.0% [10] 15520(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ----------------------------------------------------------------------- loop [5] 100.0% [11] 7676(49.5%) 0(0.0%) make-exacts-intervals ...pler/src/points.rkt:159:0 for-loop [15] 100.0% ----------------------------------------------------------------------- run-improve39 [6] 100.0% [12] 7198(46.4%) 0(0.0%) for-loop ...nterval-sampler/src/mainloop.rkt:304:8 run-iter! [16] 100.0% ----------------------------------------------------------------------- loop [5] 100.0% [13] 322(2.1%) 0(0.0%) for-loop ...interval-sampler/src/points.rkt:232:19 for-loop [17] 100.0% ----------------------------------------------------------------------- for-loop [9] 100.0% [14] 302(1.9%) 0(0.0%) taylor-quotient ...mpler/src/core/taylor.rkt:333:0 first-nonzero-exp [18] 100.0% ----------------------------------------------------------------------- make-exacts-intervals [11] 100.0% [15] 7676(49.5%) 0(0.0%) for-loop ...ginterval-sampler/src/points.rkt:162:2 loop [19] 100.0% ----------------------------------------------------------------------- for-loop [12] 100.0% [16] 7198(46.4%) 0(0.0%) run-iter! ...terval-sampler/src/mainloop.rkt:268:0 simplify! [20] 60.9% finalize-iter! [21] 30.6% localize-error [22] 4.3% gen-series! [23] 4.2% ----------------------------------------------------------------------- for-loop [13] 100.0% [17] 322(2.1%) 0(0.0%) for-loop ...ginterval-sampler/src/points.rkt:209:4 ??? [47] 100.0% ----------------------------------------------------------------------- taylor-quotient [14] 100.0% [18] 302(1.9%) 0(0.0%) first-nonzero-exp ...ler/src/core/taylor.rkt:265:0 hash-ref! [26] 100.0% ----------------------------------------------------------------------- for-loop [15] 100.0% [19] 7676(49.5%) 0(0.0%) loop ...e/biginterval-sampler/src/points.rkt:144:2 ??? [44] 100.0% ----------------------------------------------------------------------- run-iter! [16] 100.0% [20] 4386(28.3%) 0(0.0%) simplify! ...terval-sampler/src/mainloop.rkt:182:0 for-loop [24] 100.0% ----------------------------------------------------------------------- run-iter! [16] 100.0% [21] 2202(14.2%) 0(0.0%) finalize-iter! ...l-sampler/src/mainloop.rkt:222:0 ??? [25] 100.0% ----------------------------------------------------------------------- run-iter! [16] 100.0% [22] 308(2.0%) 0(0.0%) localize-error ...mpler/src/core/localize.rkt:51:0 hash-ref! [26] 100.0% ----------------------------------------------------------------------- run-iter! [16] 100.0% [23] 302(1.9%) 0(0.0%) gen-series! ...rval-sampler/src/mainloop.rkt:152:0 for-loop [27] 100.0% ----------------------------------------------------------------------- simplify! [20] 100.0% [24] 4386(28.3%) 0(0.0%) for-loop ...nterval-sampler/src/mainloop.rkt:186:6 for-loop [28] 100.0% ----------------------------------------------------------------------- finalize-iter! [21] 100.0% [25] 2202(14.2%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 for-loop [29] 100.0% ----------------------------------------------------------------------- loop [34] 25.2% localize-error [22] 25.2% first-nonzero-exp [18] 49.5% [26] 610(3.9%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 parse-loop14 [30] 50.5% ??? [31] 49.5% ----------------------------------------------------------------------- gen-series! [23] 100.0% [27] 302(1.9%) 0(0.0%) for-loop ...nterval-sampler/src/mainloop.rkt:158:7 taylor-alt [32] 100.0% ----------------------------------------------------------------------- for-loop [24] 100.0% [28] 4386(28.3%) 0(0.0%) for-loop ...nterval-sampler/src/mainloop.rkt:210:8 ??? [47] 100.0% ----------------------------------------------------------------------- ??? [25] 100.0% [29] 2202(14.2%) 0(0.0%) for-loop ...al-sampler/src/core/alt-table.rkt:51:2 atab-add-altn [33] 100.0% ----------------------------------------------------------------------- hash-ref! [26] 100.0% [30] 308(2.0%) 0(0.0%) parse-loop14 ...s/racket/match/compiler.rkt:418:15 loop [34] 100.0% ----------------------------------------------------------------------- hash-ref! [26] 100.0% [31] 302(1.9%) 0(0.0%) ??? ...interval-sampler/src/core/taylor.rkt:290:26 for-loop [35] 100.0% ----------------------------------------------------------------------- for-loop [27] 100.0% [32] 302(1.9%) 0(0.0%) taylor-alt ...erval-sampler/src/mainloop.rkt:137:0 for-loop [36] 100.0% ----------------------------------------------------------------------- for-loop [29] 100.0% [33] 2202(14.2%) 0(0.0%) atab-add-altn ...pler/src/core/alt-table.rkt:210:0 best-and-tied-at-points [37] 85.2% override-at-pnts [38] 14.8% ----------------------------------------------------------------------- parse-loop14 [30] 3.4% loop [34] 96.6% [34] 308(2.0%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [34] 96.6% hash-ref! [26] 1.7% ??? [75] 1.7% ----------------------------------------------------------------------- ??? [31] 100.0% [35] 302(1.9%) 0(0.0%) for-loop ...val-sampler/src/core/taylor.rkt:290:52 simplify [39] 100.0% ----------------------------------------------------------------------- taylor-alt [32] 100.0% [36] 302(1.9%) 0(0.0%) for-loop ...nterval-sampler/src/mainloop.rkt:143:6 ??? [47] 100.0% ----------------------------------------------------------------------- atab-add-altn [33] 100.0% [37] 1876(12.1%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 errors [40] 100.0% ----------------------------------------------------------------------- atab-add-altn [33] 100.0% [38] 326(2.1%) 0(0.0%) override-at-pnts ...r/src/core/alt-table.rkt:145:0 errors [40] 100.0% ----------------------------------------------------------------------- for-loop [35] 100.0% [39] 302(1.9%) 0(0.0%) simplify ...erval-sampler/src/core/reduce.rkt:16:0 f67 [41] 100.0% ----------------------------------------------------------------------- override-at-pnts [38] 14.8% best-and-tied-at-points [37] 85.2% [40] 2202(14.2%) 0(0.0%) errors ...biginterval-sampler/src/points.rkt:258:0 for-loop [42] 100.0% ----------------------------------------------------------------------- simplify [39] 100.0% [41] 302(1.9%) 0(0.0%) f67 ...t/collects/racket/match/compiler.rkt:507:40 temp68_2 [43] 100.0% ----------------------------------------------------------------------- errors [40] 100.0% [42] 2202(14.2%) 0(0.0%) for-loop ...ginterval-sampler/src/points.rkt:261:4 ??? [44] 85.2% ??? [47] 14.8% ----------------------------------------------------------------------- f67 [41] 100.0% [43] 302(1.9%) 0(0.0%) temp68_2 (unknown source) compile16 [45] 100.0% ----------------------------------------------------------------------- for-loop [42] 19.6% loop [19] 80.4% [44] 9552(61.5%) 0(0.0%) ??? .../biginterval-sampler/src/programs.rkt:124:2 ??? [46] 63.6% ??? [49] 29.7% ??? [47] 6.7% ----------------------------------------------------------------------- temp68_2 [43] 100.0% [45] 302(1.9%) 0(0.0%) compile16 (unknown source) temp74_0 [48] 100.0% ----------------------------------------------------------------------- ??? [44] 100.0% [46] 6078(39.2%) 1572(10.1%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [49] 64.0% ??? [54] 5.2% for-loop [55] 5.0% ----------------------------------------------------------------------- for-loop [36] 2.5% for-loop [17] 5.4% for-loop [42] 5.5% ??? [44] 10.7% for-loop [28] 36.7% location-do [51] 39.2% [47] 5974(38.5%) 326(2.1%) ??? ...tract/private/arrow-higher-order.rkt:357:33 location-do [51] 39.2% ??? [50] 36.7% ->flonum [52] 10.7% sample-multi-bounded [53] 5.4% approximate9 [3] 2.5% ----------------------------------------------------------------------- compile16 [45] 100.0% [48] 302(1.9%) 0(0.0%) temp74_0 (unknown source) expand-single [56] 100.0% ----------------------------------------------------------------------- ??? [44] 42.2% ??? [46] 57.8% [49] 6726(43.3%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:361:33 mk-ival [58] 42.2% ival-div [59] 38.7% ival-sub [60] 19.1% ----------------------------------------------------------------------- get-final-combination [8] 6.9% ??? [47] 93.1% [50] 4710(30.3%) 0(0.0%) ??? ...interval-sampler/src/core/simplify.rkt:31:0 iterate-egraph!7 [57] 93.4% loop [62] 6.6% ----------------------------------------------------------------------- location-do [51] 43.6% ??? [47] 56.4% [51] 4688(30.2%) 0(0.0%) location-do ...erval-sampler/src/programs.rkt:89:0 ??? [47] 56.4% location-do [51] 43.6% ----------------------------------------------------------------------- ??? [47] 100.0% [52] 638(4.1%) 638(4.1%) ->flonum ...interval-sampler/src/programs.rkt:36:0 ----------------------------------------------------------------------- ??? [47] 100.0% [53] 322(2.1%) 0(0.0%) sample-multi-bounded ...ampler/src/points.rkt:43:0 for-loop [61] 100.0% ----------------------------------------------------------------------- ??? [46] 100.0% [54] 314(2.0%) 314(2.0%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ----------------------------------------------------------------------- ??? [46] 100.0% [55] 302(1.9%) 302(1.9%) for-loop ...al-sampler/src/syntax/syntax.rkt:580:2 ----------------------------------------------------------------------- temp74_0 [48] 100.0% [56] 302(1.9%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [63] 100.0% ----------------------------------------------------------------------- ??? [50] 100.0% [57] 4398(28.3%) 0(0.0%) iterate-egraph!7 ...ler/src/core/simplify.rkt:55:0 one-iter [64] 100.0% ----------------------------------------------------------------------- ??? [49] 100.0% [58] 2836(18.3%) 308(2.0%) mk-ival ...terval-sampler/src/biginterval.rkt:33:0 bf [65] 89.1% ----------------------------------------------------------------------- ??? [49] 100.0% [59] 2604(16.8%) 322(2.1%) ival-div ...erval-sampler/src/biginterval.rkt:84:0 ??? [75] 52.0% foldl [72] 12.3% bfmin* [67] 11.9% ...higher-order.rkt:357:33 [69] 11.4% ----------------------------------------------------------------------- ??? [49] 100.0% [60] 1286(8.3%) 0(0.0%) ival-sub ...erval-sampler/src/biginterval.rkt:61:0 ??? [75] 100.0% ----------------------------------------------------------------------- sample-multi-bounded [53] 100.0% [61] 322(2.1%) 322(2.1%) for-loop ...iginterval-sampler/src/points.rkt:46:4 ----------------------------------------------------------------------- ??? [50] 100.0% [62] 312(2.0%) 0(0.0%) loop ...terval-sampler/src/core/simplify.rkt:184:2 for-loop [66] 100.0% ----------------------------------------------------------------------- expand-single [56] 100.0% [63] 302(1.9%) 0(0.0%) expand-capturing-lifts (unknown source) loop [68] 100.0% ----------------------------------------------------------------------- iterate-egraph!7 [57] 100.0% [64] 4398(28.3%) 302(1.9%) one-iter ...val-sampler/src/core/simplify.rkt:66:0 for-loop [70] 57.1% for-loop [71] 36.0% ----------------------------------------------------------------------- mk-ival [58] 100.0% [65] 2528(16.3%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [84] 86.7% ??? [85] 13.3% ----------------------------------------------------------------------- loop [62] 100.0% [66] 312(2.0%) 0(0.0%) for-loop ...l-sampler/src/core/simplify.rkt:177:29 argmin [73] 100.0% ----------------------------------------------------------------------- ival-div [59] 100.0% [67] 310(2.0%) 0(0.0%) bfmin* ...nterval-sampler/src/biginterval.rkt:67:0 foldl [72] 100.0% ----------------------------------------------------------------------- expand-capturing-lifts [63] 100.0% [68] 302(1.9%) 302(1.9%) loop (unknown source) ----------------------------------------------------------------------- ival-div [59] 100.0% [69] 298(1.9%) 0(0.0%) ...higher-order.rkt:357:33 (unknown source) ??? [74] 100.0% ----------------------------------------------------------------------- for-loop [70] 50.0% one-iter [64] 50.0% [70] 2512(16.2%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:76:12 for-loop [70] 50.0% match-e [76] 50.0% ----------------------------------------------------------------------- one-iter [64] 100.0% [71] 1584(10.2%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:113:2 for-loop [77] 100.0% ----------------------------------------------------------------------- bfmin* [67] 49.2% ival-div [59] 50.8% [72] 630(4.1%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:229:4 ??? [75] 100.0% ----------------------------------------------------------------------- for-loop [66] 100.0% [73] 312(2.0%) 0(0.0%) argmin ...92/racket/collects/racket/list.rkt:765:0 for-loop [78] 100.0% ----------------------------------------------------------------------- ...higher-order.rkt:357:33 [69]100.0% [74] 298(1.9%) 298(1.9%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ----------------------------------------------------------------------- loop [34] 8.6% foldl [72] 17.6% ival-sub [60] 35.9% ival-div [59] 37.8% [75] 3578(23.1%) 1014(6.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [79] 71.7% ----------------------------------------------------------------------- for-loop [7] 20.2% for-loop [70] 79.8% [76] 2512(16.2%) 1854(11.9%) match-e ...terval-sampler/src/core/ematch.rkt:46:0 for-loop [2] 26.4% make-sequence [82] 13.8% ----------------------------------------------------------------------- for-loop [71] 100.0% [77] 1584(10.2%) 0(0.0%) for-loop ...val-sampler/src/core/simplify.rkt:98:4 substitute-e [80] 61.4% merge-egraph-nodes! [81] 38.6% ----------------------------------------------------------------------- argmin [73] 100.0% [78] 312(2.0%) 0(0.0%) for-loop ...nterval-sampler/src/programs.rkt:183:2 table-ref [83] 100.0% ----------------------------------------------------------------------- ??? [75] 100.0% [79] 2564(16.5%) 0(0.0%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:821:4 ??? [85] 64.0% new-mpfr [84] 36.0% ----------------------------------------------------------------------- for-loop [77] 100.0% [80] 972(6.3%) 332(2.1%) substitute-e ...l-sampler/src/core/ematch.rkt:71:0 for-loop [86] 65.8% ----------------------------------------------------------------------- for-loop [77] 100.0% [81] 612(3.9%) 0(0.0%) merge-egraph-nodes! ...r/src/core/egraph.rkt:153:0 update-leader! [88] 51.0% for-loop [89] 49.0% ----------------------------------------------------------------------- match-e [76] 100.0% [82] 346(2.2%) 346(2.2%) make-sequence ...ects/racket/private/for.rkt:528:2 ----------------------------------------------------------------------- for-loop [78] 100.0% [83] 312(2.0%) 0(0.0%) table-ref ...ginterval-sampler/src/common.rkt:47:0 ??? [87] 100.0% ----------------------------------------------------------------------- bfsub [79] 29.7% bf [65] 70.3% [84] 3116(20.1%) 3116(20.1%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ----------------------------------------------------------------------- bf [65] 17.0% bfsub [79] 83.0% [85] 1976(12.7%) 1976(12.7%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ----------------------------------------------------------------------- substitute-e [80] 100.0% [86] 640(4.1%) 0(0.0%) for-loop ...rval-sampler/src/core/ematch.rkt:80:24 mk-enode! [90] 100.0% ----------------------------------------------------------------------- table-ref [83] 100.0% [87] 312(2.0%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:798:4 for-loop [91] 100.0% ----------------------------------------------------------------------- merge-egraph-nodes! [81] 100.0% [88] 312(2.0%) 0(0.0%) update-leader! ...ampler/src/core/egraph.rkt:218:0 for-loop [92] 100.0% ----------------------------------------------------------------------- merge-egraph-nodes! [81] 100.0% [89] 300(1.9%) 0(0.0%) for-loop ...val-sampler/src/core/egraph.rkt:201:10 loop! [93] 100.0% ----------------------------------------------------------------------- for-loop [86] 100.0% [90] 640(4.1%) 0(0.0%) mk-enode! ...val-sampler/src/core/egraph.rkt:102:0 new-enode [95] 50.0% for-loop [94] 50.0% ----------------------------------------------------------------------- ??? [87] 100.0% [91] 312(2.0%) 0(0.0%) for-loop ...acket/contract/private/list.rkt:804:12 ??? [96] 100.0% ----------------------------------------------------------------------- update-leader! [88] 100.0% [92] 312(2.0%) 0(0.0%) for-loop ...rval-sampler/src/core/egraph.rkt:233:6 update-en-expr [97] 100.0% ----------------------------------------------------------------------- for-loop [89] 100.0% [93] 300(1.9%) 0(0.0%) loop! ...interval-sampler/src/core/enode.rkt:190:2 custom-set-union [98] 100.0% ----------------------------------------------------------------------- mk-enode! [90] 100.0% [94] 320(2.1%) 320(2.1%) for-loop ...val-sampler/src/core/egraph.rkt:114:10 ----------------------------------------------------------------------- mk-enode! [90] 100.0% [95] 320(2.1%) 0(0.0%) new-enode ...erval-sampler/src/core/enode.rkt:95:0 type-of-enode-expr [99] 100.0% ----------------------------------------------------------------------- for-loop [91] 100.0% [96] 312(2.0%) 0(0.0%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 loop [100] 100.0% ----------------------------------------------------------------------- for-loop [92] 100.0% [97] 312(2.0%) 0(0.0%) update-en-expr ...ampler/src/core/egraph.rkt:212:0 for-loop [101] 100.0% ----------------------------------------------------------------------- loop! [93] 100.0% [98] 300(1.9%) 0(0.0%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [102] 100.0% ----------------------------------------------------------------------- new-enode [95] 100.0% [99] 320(2.1%) 0(0.0%) type-of-enode-expr ...pler/src/core/enode.rkt:68:0 ??? [103] 100.0% ----------------------------------------------------------------------- ??? [96] 25.0% loop [100] 75.0% [100] 312(2.0%) 312(2.0%) loop ...ts/racket/contract/private/blame.rkt:320:2 loop [100] 75.0% ----------------------------------------------------------------------- update-en-expr [97] 100.0% [101] 312(2.0%) 312(2.0%) for-loop ...rval-sampler/src/core/egraph.rkt:214:6 ----------------------------------------------------------------------- custom-set-union [98] 100.0% [102] 300(1.9%) 0(0.0%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [104] 100.0% ----------------------------------------------------------------------- type-of-enode-expr [99] 100.0% [103] 320(2.1%) 320(2.1%) ??? ...ects/racket/contract/private/hash.rkt:227:4 ----------------------------------------------------------------------- for-loop [102] 100.0% [104] 300(1.9%) 300(1.9%) for-loop ...cts/racket/private/set-types.rkt:178:5 -----------------------------------------------------------------------