Profiling results ----------------- Total cpu time observed: 50912ms (out of 52000ms) Number of samples taken: 133 (once every 383ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 51 hidden) ======================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================= ??? [3] 100.0% [1] 50912(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ----------------------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 50912(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ----------------------------------------------------------------------- run [2] 50.0% [3] 50912(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [8] 38.8% prepare-points [4] 9.9% run-improve39 [5] 1.3% ----------------------------------------------------------------------- ??? [3] 100.0% [4] 10038(19.7%) 0(0.0%) prepare-points ...an-out-code/src/points.rkt:156:0 make-exacts* [13] 33.2% loop [14] 32.4% loop [10] 31.2% for-loop [11] 3.2% ----------------------------------------------------------------------- ??? [3] 100.0% [5] 1346(2.6%) 0(0.0%) run-improve39 ...n-out-code/src/mainloop.rkt:286:0 setup-prog!32 [6] 71.6% for-loop [7] 28.4% ----------------------------------------------------------------------- run-improve39 [5] 100.0% [6] 964(1.9%) 0(0.0%) setup-prog!32 ...an-out-code/src/mainloop.rkt:63:0 loop [8] 100.0% ----------------------------------------------------------------------- run-improve39 [5] 100.0% [7] 382(0.8%) 0(0.0%) for-loop ...clean-out-code/src/mainloop.rkt:298:29 ??? [9] 100.0% ----------------------------------------------------------------------- setup-prog!32 [6] 2.4% ??? [3] 97.6% [8] 40492(79.5%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:180:2 loop [10] 39.9% loop [14] 28.2% make-exacts* [13] 26.2% for-loop [11] 4.0% ??? [15] 1.6% ----------------------------------------------------------------------- for-loop [7] 100.0% [9] 382(0.8%) 0(0.0%) ??? ...e/clean-out-code/src/core/simplify.rkt:31:0 iterate-egraph!7 [12] 100.0% ----------------------------------------------------------------------- prepare-points [4] 16.2% loop [8] 83.8% [10] 19294(37.9%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:124:2 make-exacts* [13] 51.9% loop [14] 48.1% ----------------------------------------------------------------------- prepare-points [4] 16.4% loop [8] 83.6% [11] 1954(3.8%) 0(0.0%) for-loop ...e/clean-out-code/src/points.rkt:195:19 ??? [15] 100.0% ----------------------------------------------------------------------- ??? [9] 100.0% [12] 382(0.8%) 0(0.0%) iterate-egraph!7 ...ode/src/core/simplify.rkt:55:0 one-iter [16] 100.0% ----------------------------------------------------------------------- prepare-points [4] 13.9% loop [10] 41.8% loop [8] 44.3% [13] 23964(47.1%) 0(0.0%) make-exacts* ...lean-out-code/src/points.rkt:104:0 loop [17] 98.5% eval-prog [20] 1.5% ----------------------------------------------------------------------- prepare-points [4] 13.6% loop [10] 38.8% loop [8] 47.6% [14] 23946(47.0%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:107:4 loop [17] 100.0% ----------------------------------------------------------------------- loop [8] 25.4% for-loop [11] 74.6% [15] 2620(5.1%) 302(0.6%) ??? .../herbie/clean-out-code/src/points.rkt:172:7 for-loop [18] 88.5% ----------------------------------------------------------------------- iterate-egraph!7 [12] 100.0% [16] 382(0.8%) 0(0.0%) one-iter ...an-out-code/src/core/simplify.rkt:66:0 for-loop [19] 100.0% ----------------------------------------------------------------------- make-exacts* [13] 1.1% loop [14] 2.1% loop [17] 96.8% [17] 47554(93.4%) 630(1.2%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [17] 96.8% ??? [21] 3.2% ??? [22] 0.0% ----------------------------------------------------------------------- ??? [15] 100.0% [18] 2318(4.6%) 320(0.6%) for-loop ...ie/clean-out-code/src/points.rkt:173:9 ??? [22] 86.2% ----------------------------------------------------------------------- one-iter [16] 100.0% [19] 382(0.8%) 0(0.0%) for-loop ...n-out-code/src/core/simplify.rkt:117:2 for-loop [23] 100.0% ----------------------------------------------------------------------- make-exacts* [13] 100.0% [20] 356(0.7%) 0(0.0%) eval-prog ...clean-out-code/src/programs.rkt:109:0 f206 [24] 100.0% ----------------------------------------------------------------------- loop [17] 100.0% [21] 43638(85.7%) 1026(2.0%) ??? ...erbie/clean-out-code/src/programs.rkt:129:2 ??? [25] 68.4% bf [26] 29.2% ----------------------------------------------------------------------- for-loop [18] 37.8% loop [17] 62.2% [22] 5284(10.4%) 624(1.2%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [27] 62.2% sample-multi-bounded [28] 20.4% ??? [48] 5.6% ----------------------------------------------------------------------- for-loop [19] 100.0% [23] 382(0.8%) 0(0.0%) for-loop ...n-out-code/src/core/simplify.rkt:99:10 substitute-e [29] 100.0% ----------------------------------------------------------------------- eval-prog [20] 100.0% [24] 356(0.7%) 0(0.0%) f206 .../collects/racket/match/compiler.rkt:507:40 table-ref [30] 100.0% ----------------------------------------------------------------------- ??? [21] 100.0% [25] 29868(58.7%) 4092(8.0%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [31] 81.9% ??? [33] 2.3% ...higher-order.rkt:361:33 [37] 1.1% ----------------------------------------------------------------------- ??? [21] 100.0% [26] 12744(25.0%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [43] 73.7% ??? [44] 26.3% ----------------------------------------------------------------------- ??? [22] 100.0% [27] 3286(6.5%) 1080(2.1%) ->flonum ...e/clean-out-code/src/programs.rkt:36:0 ??? [32] 27.0% ??? [50] 20.1% ??? [44] 20.1% ----------------------------------------------------------------------- ??? [22] 100.0% [28] 1078(2.1%) 412(0.8%) sample-multi-bounded ...t-code/src/points.rkt:43:0 loop [34] 61.8% ----------------------------------------------------------------------- for-loop [23] 100.0% [29] 382(0.8%) 0(0.0%) substitute-e ...-out-code/src/core/ematch.rkt:71:0 for-loop [35] 100.0% ----------------------------------------------------------------------- f206 [24] 100.0% [30] 356(0.7%) 0(0.0%) table-ref ...ie/clean-out-code/src/common.rkt:47:0 ??? [36] 100.0% ----------------------------------------------------------------------- ??? [25] 100.0% [31] 24450(48.0%) 13616(26.7%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfexp [38] 29.3% bfadd [39] 15.0% ----------------------------------------------------------------------- ->flonum [27] 100.0% [32] 886(1.7%) 886(1.7%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ----------------------------------------------------------------------- ??? [25] 100.0% [33] 682(1.3%) 346(0.7%) ??? ...ects/racket/contract/private/prop.rkt:519:4 ??? [42] 49.3% ----------------------------------------------------------------------- sample-multi-bounded [28] 100.0% [34] 666(1.3%) 0(0.0%) loop .../herbie/clean-out-code/src/points.rkt:65:6 random-exp [40] 100.0% ----------------------------------------------------------------------- substitute-e [29] 100.0% [35] 382(0.8%) 0(0.0%) for-loop ...ean-out-code/src/core/ematch.rkt:80:24 mk-enode! [41] 100.0% ----------------------------------------------------------------------- table-ref [30] 100.0% [36] 356(0.7%) 356(0.7%) ??? ...ects/racket/contract/private/list.rkt:798:4 ----------------------------------------------------------------------- ??? [25] 100.0% [37] 334(0.7%) 0(0.0%) ...higher-order.rkt:361:33 (unknown source) ??? [48] 100.0% ----------------------------------------------------------------------- ??? [31] 100.0% [38] 7170(14.1%) 0(0.0%) bfexp ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [43] 64.2% ??? [44] 35.8% ----------------------------------------------------------------------- ??? [31] 100.0% [39] 3664(7.2%) 788(1.5%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 ??? [44] 57.5% new-mpfr [43] 21.0% ----------------------------------------------------------------------- loop [34] 100.0% [40] 666(1.3%) 666(1.3%) random-exp .../clean-out-code/src/common.rkt:243:0 ----------------------------------------------------------------------- for-loop [35] 100.0% [41] 382(0.8%) 0(0.0%) mk-enode! ...an-out-code/src/core/egraph.rkt:102:0 new-enode [45] 100.0% ----------------------------------------------------------------------- ??? [33] 100.0% [42] 336(0.7%) 336(0.7%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ----------------------------------------------------------------------- bfadd [39] 5.2% bfexp [38] 31.2% bf [26] 63.6% [43] 14760(29.0%) 14760(29.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ----------------------------------------------------------------------- ->flonum [27] 7.6% bfadd [39] 24.3% bfexp [38] 29.6% bf [26] 38.6% [44] 8690(17.1%) 8690(17.1%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ----------------------------------------------------------------------- mk-enode! [41] 100.0% [45] 382(0.8%) 0(0.0%) new-enode ...lean-out-code/src/core/enode.rkt:95:0 type-of-enode-expr [46] 100.0% ----------------------------------------------------------------------- new-enode [45] 100.0% [46] 382(0.8%) 0(0.0%) type-of-enode-expr ...code/src/core/enode.rkt:68:0 for-loop [47] 100.0% ----------------------------------------------------------------------- type-of-enode-expr [46] 100.0% [47] 382(0.8%) 0(0.0%) for-loop ...racket/contract/private/hash.rkt:277:6 ??? [48] 100.0% ----------------------------------------------------------------------- ??? [22] 29.2% ...higher-order.rkt:361:33 [37] 33.0% for-loop [47] 37.7% [48] 1012(2.0%) 296(0.6%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [49] 37.7% ??? [50] 33.0% ----------------------------------------------------------------------- ??? [48] 100.0% [49] 382(0.8%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:747:7 ??? [50] 100.0% ----------------------------------------------------------------------- ??? [48] 24.3% ??? [49] 27.8% ->flonum [27] 48.0% [50] 1376(2.7%) 1376(2.7%) ??? ...ects/racket/contract/private/guts.rkt:746:8 -----------------------------------------------------------------------