Profiling results ----------------- Total cpu time observed: 55040ms (out of 56252ms) Number of samples taken: 140 (once every 393ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 64 hidden) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== run [6] 50.0% [1] 55040(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 50.0% loop [10] 38.9% prepare-points [11] 9.5% run-improve41 [4] 1.5% ---------------------------------------------------------------------- ??? [32] 100.0% [2] 322(0.6%) 0(0.0%) best-alt ...htlies/herbie/master/src/glue.rkt:71:0 argmins [5] 100.0% ---------------------------------------------------------------------- ??? [1] 100.0% [3] 55040(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [6] 100.0% ---------------------------------------------------------------------- ??? [1] 100.0% [4] 1696(3.1%) 0(0.0%) run-improve41 ...bie/master/src/mainloop.rkt:234:0 setup-prog!32 [7] 81.0% for-loop [9] 19.0% ---------------------------------------------------------------------- best-alt [2] 100.0% [5] 322(0.6%) 0(0.0%) argmins ...lies/herbie/master/src/common.rkt:152:0 composed [8] 100.0% ---------------------------------------------------------------------- profile-thunk16 [3] 100.0% [6] 55040(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ---------------------------------------------------------------------- run-improve41 [4] 100.0% [7] 1374(2.5%) 0(0.0%) setup-prog!32 ...rbie/master/src/mainloop.rkt:72:0 loop [10] 73.8% prepare-points [11] 26.2% ---------------------------------------------------------------------- argmins [5] 100.0% [8] 322(0.6%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 errors [12] 100.0% ---------------------------------------------------------------------- run-improve41 [4] 100.0% [9] 322(0.6%) 0(0.0%) for-loop .../herbie/master/src/mainloop.rkt:249:10 run-iter! [13] 100.0% ---------------------------------------------------------------------- setup-prog!32 [7] 2.3% ??? [1] 97.7% [10] 43886(79.7%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:238:2 loop [14] 36.7% loop [18] 31.4% make-exacts* [19] 25.2% ??? [20] 5.3% for-loop [15] 1.4% ---------------------------------------------------------------------- setup-prog!32 [7] 3.3% ??? [1] 96.7% [11] 10832(19.7%) 0(0.0%) prepare-points ...rbie/master/src/points.rkt:214:0 loop [18] 46.3% loop [14] 26.2% make-exacts* [19] 24.4% for-loop [15] 3.1% ---------------------------------------------------------------------- composed [8] 100.0% [12] 322(0.6%) 0(0.0%) errors ...tlies/herbie/master/src/points.rkt:271:0 for-loop [16] 100.0% ---------------------------------------------------------------------- for-loop [9] 100.0% [13] 322(0.6%) 0(0.0%) run-iter! .../herbie/master/src/mainloop.rkt:215:0 choose-best-alt! [17] 100.0% ---------------------------------------------------------------------- prepare-points [11] 15.0% loop [10] 85.0% [14] 18938(34.4%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:158:2 make-exacts* [19] 57.7% loop [18] 42.3% ---------------------------------------------------------------------- prepare-points [11] 34.8% loop [10] 65.2% [15] 960(1.7%) 0(0.0%) for-loop ...es/herbie/master/src/points.rkt:255:26 ??? [20] 100.0% ---------------------------------------------------------------------- errors [12] 100.0% [16] 322(0.6%) 0(0.0%) for-loop ...ies/herbie/master/src/points.rkt:274:4 ??? [32] 100.0% ---------------------------------------------------------------------- run-iter! [13] 100.0% [17] 322(0.6%) 0(0.0%) choose-best-alt! .../master/src/mainloop.rkt:115:0 ??? [51] 100.0% ---------------------------------------------------------------------- prepare-points [11] 18.7% loop [14] 29.9% loop [10] 51.4% [18] 26788(48.7%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:141:4 loop [21] 98.9% ??? [25] 1.1% ---------------------------------------------------------------------- prepare-points [11] 10.7% loop [14] 44.4% loop [10] 44.9% [19] 24652(44.8%) 0(0.0%) make-exacts* ...herbie/master/src/points.rkt:138:0 loop [21] 95.3% eval-prog [23] 4.7% ---------------------------------------------------------------------- for-loop [15] 29.3% loop [10] 70.7% [20] 3278(6.0%) 0(0.0%) ??? ...ightlies/herbie/master/src/points.rkt:230:7 for-loop [22] 89.8% ??? [24] 10.2% ---------------------------------------------------------------------- loop [18] 2.3% make-exacts* [19] 5.4% loop [21] 92.3% [21] 49974(90.8%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [21] 92.3% ??? [25] 7.6% ??? [32] 0.1% ---------------------------------------------------------------------- ??? [20] 100.0% [22] 2944(5.3%) 0(0.0%) for-loop ...ies/herbie/master/src/points.rkt:231:9 ??? [32] 100.0% ---------------------------------------------------------------------- make-exacts* [19] 100.0% [23] 1166(2.1%) 0(0.0%) eval-prog .../herbie/master/src/programs.rkt:150:0 f140 [26] 48.4% temp68_2 [28] 27.1% eval [29] 24.5% ---------------------------------------------------------------------- ??? [20] 100.0% [24] 334(0.6%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ??? [27] 100.0% ---------------------------------------------------------------------- loop [18] 0.6% loop [21] 99.4% [25] 46388(84.3%) 1264(2.3%) ??? ...htlies/herbie/master/src/programs.rkt:156:4 ??? [30] 63.0% bf [31] 34.3% ---------------------------------------------------------------------- eval-prog [23] 33.3% f140 [26] 66.7% [26] 564(1.0%) 0(0.0%) f140 .../collects/racket/match/compiler.rkt:507:40 f140 [26] 66.7% ??? [32] 33.3% ---------------------------------------------------------------------- ??? [24] 100.0% [27] 334(0.6%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:519:4 ??? [33] 100.0% ---------------------------------------------------------------------- eval-prog [23] 100.0% [28] 316(0.6%) 0(0.0%) temp68_2 (unknown source) compile16 [34] 100.0% ---------------------------------------------------------------------- eval-prog [23] 100.0% [29] 286(0.5%) 286(0.5%) eval (unknown source) ---------------------------------------------------------------------- ??? [25] 100.0% [30] 29210(53.1%) 2860(5.2%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [35] 86.7% ??? [38] 2.3% ---------------------------------------------------------------------- ??? [25] 100.0% [31] 15914(28.9%) 1056(1.9%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [48] 68.9% ??? [49] 24.5% ---------------------------------------------------------------------- for-loop [16] 2.1% ??? [53] 2.1% f140 [26] 7.3% for-loop [22] 38.2% loop [21] 50.4% [32] 7716(14.0%) 310(0.6%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [36] 52.4% sample-multi-bounded [37] 34.1% ??? [45] 3.8% table-ref [41] 3.5% best-alt [2] 2.1% ---------------------------------------------------------------------- ??? [27] 100.0% [33] 334(0.6%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ??? [39] 100.0% ---------------------------------------------------------------------- temp68_2 [28] 100.0% [34] 316(0.6%) 0(0.0%) compile16 (unknown source) temp74_0 [40] 100.0% ---------------------------------------------------------------------- ??? [30] 100.0% [35] 25330(46.0%) 13126(23.8%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bflog [42] 39.3% bfadd [44] 8.9% ---------------------------------------------------------------------- ??? [32] 100.0% [36] 4208(7.6%) 3140(5.7%) ->flonum ...es/herbie/master/src/programs.rkt:37:0 ??? [46] 8.6% ??? [49] 8.6% ??? [45] 8.3% ---------------------------------------------------------------------- ??? [32] 100.0% [37] 2634(4.8%) 316(0.6%) sample-multi-bounded ...master/src/points.rkt:44:0 loop [43] 88.0% ---------------------------------------------------------------------- ??? [30] 100.0% [38] 680(1.2%) 680(1.2%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ---------------------------------------------------------------------- ??? [33] 100.0% [39] 334(0.6%) 334(0.6%) ??? ...ects/racket/contract/private/list.rkt:163:5 ---------------------------------------------------------------------- compile16 [34] 100.0% [40] 316(0.6%) 0(0.0%) temp74_0 (unknown source) expand-single [47] 100.0% ---------------------------------------------------------------------- ??? [32] 100.0% [41] 272(0.5%) 272(0.5%) table-ref ...ies/herbie/master/src/common.rkt:46:0 ---------------------------------------------------------------------- ??? [35] 100.0% [42] 9960(18.1%) 332(0.6%) bflog ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [48] 69.0% ??? [49] 27.7% ---------------------------------------------------------------------- sample-multi-bounded [37] 100.0% [43] 2318(4.2%) 0(0.0%) loop ...ightlies/herbie/master/src/points.rkt:66:6 random-exp [50] 100.0% ---------------------------------------------------------------------- ??? [35] 100.0% [44] 2244(4.1%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [48] 66.4% ??? [49] 33.6% ---------------------------------------------------------------------- ??? [32] 45.6% ->flonum [36] 54.4% [45] 640(1.2%) 348(0.6%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ??? [51] 45.6% ---------------------------------------------------------------------- ->flonum [36] 100.0% [46] 360(0.7%) 360(0.7%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ---------------------------------------------------------------------- temp74_0 [40] 100.0% [47] 316(0.6%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [52] 100.0% ---------------------------------------------------------------------- bfadd [44] 7.7% bflog [42] 35.6% bf [31] 56.7% [48] 19322(35.1%) 19322(35.1%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------------- ->flonum [36] 4.6% bfadd [44] 9.7% bflog [42] 35.5% bf [31] 50.2% [49] 7768(14.1%) 7768(14.1%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ---------------------------------------------------------------------- loop [43] 100.0% [50] 2318(4.2%) 2318(4.2%) random-exp ...s/herbie/master/src/common.rkt:253:0 ---------------------------------------------------------------------- ??? [45] 47.6% choose-best-alt! [17] 52.4% [51] 614(1.1%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 ??? [53] 52.4% hash-has-key? [55] 47.6% ---------------------------------------------------------------------- expand-single [47] 100.0% [52] 316(0.6%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [54] 100.0% ---------------------------------------------------------------------- ??? [51] 100.0% [53] 322(0.6%) 0(0.0%) ??? ...s/herbie/master/src/core/alt-table.rkt:54:0 ??? [32] 100.0% ---------------------------------------------------------------------- expand-capturing-lifts [52] 100.0% [54] 316(0.6%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [56] 100.0% ---------------------------------------------------------------------- ??? [51] 100.0% [55] 292(0.5%) 0(0.0%) hash-has-key? ...ket/private/more-scheme.rkt:371:2 ??? [57] 100.0% ---------------------------------------------------------------------- lambda-clause-expander [54] 25.0% for-loop [58] 75.0% [56] 316(0.6%) 0(0.0%) finish-bodys (unknown source) for-loop [58] 100.0% ---------------------------------------------------------------------- hash-has-key? [55] 100.0% [57] 292(0.5%) 292(0.5%) ??? ...ects/racket/contract/private/list.rkt:798:4 ---------------------------------------------------------------------- for-loop [58] 20.0% finish-bodys [56] 80.0% [58] 316(0.6%) 0(0.0%) for-loop (unknown source) finish-bodys [56] 60.0% for-loop [58] 20.0% syntax-e [59] 20.0% ---------------------------------------------------------------------- for-loop [58] 100.0% [59] 316(0.6%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [60] 100.0% ---------------------------------------------------------------------- syntax-e [59] 100.0% [60] 316(0.6%) 0(0.0%) syntax-e/no-taint (unknown source) loop [61] 100.0% ---------------------------------------------------------------------- syntax-e/no-taint [60] 100.0% [61] 316(0.6%) 0(0.0%) loop (unknown source) gf [62] 100.0% ---------------------------------------------------------------------- loop [61] 100.0% [62] 316(0.6%) 0(0.0%) gf (unknown source) propagation-apply-shifted [63]100.0% ---------------------------------------------------------------------- gf [62] 100.0% [63] 316(0.6%) 316(0.6%) propagation-apply-shifted (unknown source) ----------------------------------------------------------------------