Profiling results ----------------- Total cpu time observed: 6290ms (out of 6668ms) Number of samples taken: 20 (once every 314ms) ================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================= ??? [7] 100.0% [1] 6290(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ----------------------------------------------------------------- match-e [37] 100.0% [2] 364(5.8%) 0(0.0%) for-loop ...e/interface2/src/core/ematch.rkt:52:11 for-loop [5] 100.0% ----------------------------------------------------------------- ??? [7] 100.0% [3] 296(4.7%) 0(0.0%) errors ...s/herbie/interface2/src/points.rkt:185:0 for-loop [6] 100.0% ----------------------------------------------------------------- profile-thunk16 [1] 100.0% [4] 6290(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [7] 100.0% ----------------------------------------------------------------- for-loop [2] 100.0% [5] 364(5.8%) 0(0.0%) for-loop ...e/interface2/src/core/ematch.rkt:58:37 match-e [37] 100.0% ----------------------------------------------------------------- errors [3] 100.0% [6] 296(4.7%) 0(0.0%) for-loop ...herbie/interface2/src/points.rkt:187:2 ??? [7] 100.0% ----------------------------------------------------------------- for-loop [6] 1.6% run [4] 49.2% [7] 6290(100.0%) 280(4.5%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.2% prepare-points [9] 34.4% run-improve47 [8] 8.6% ??? [32] 2.4% errors [3] 1.6% ??? [21] 1.6% ----------------------------------------------------------------- ??? [7] 100.0% [8] 1078(17.1%) 0(0.0%) run-improve47 ...interface2/src/mainloop.rkt:345:0 simplify! [10] 33.8% for-loop [11] 33.2% prepare-points [9] 33.0% ----------------------------------------------------------------- run-improve47 [8] 7.6% ??? [7] 92.4% [9] 4688(74.5%) 318(5.1%) prepare-points .../interface2/src/points.rkt:146:0 loop [12] 85.6% eval-prog [15] 7.6% ----------------------------------------------------------------- run-improve47 [8] 100.0% [10] 364(5.8%) 0(0.0%) simplify! ...bie/interface2/src/mainloop.rkt:223:0 ??? [13] 100.0% ----------------------------------------------------------------- run-improve47 [8] 100.0% [11] 358(5.7%) 0(0.0%) for-loop ...rbie/interface2/src/mainloop.rkt:364:4 run-iter! [14] 100.0% ----------------------------------------------------------------- prepare-points [9] 100.0% [12] 4014(63.8%) 0(0.0%) loop ...ies/herbie/interface2/src/points.rkt:122:4 loop [16] 62.0% ??? [17] 38.0% ----------------------------------------------------------------- simplify! [10] 100.0% [13] 364(5.8%) 0(0.0%) ??? ...erbie/interface2/src/core/simplify.rkt:26:0 for-loop [18] 100.0% ----------------------------------------------------------------- for-loop [11] 100.0% [14] 358(5.7%) 0(0.0%) run-iter! ...bie/interface2/src/mainloop.rkt:326:0 localize! [19] 100.0% ----------------------------------------------------------------- prepare-points [9] 100.0% [15] 356(5.7%) 0(0.0%) eval-prog ...rbie/interface2/src/programs.rkt:83:0 loop [20] 100.0% ----------------------------------------------------------------- loop [12] 100.0% [16] 2490(39.6%) 322(5.1%) loop ...lies/herbie/interface2/src/points.rkt:81:2 ??? [21] 75.8% ??? [26] 11.2% ----------------------------------------------------------------- loop [12] 100.0% [17] 1524(24.2%) 0(0.0%) ??? ...lies/herbie/interface2/src/points.rkt:106:2 ??? [31] 100.0% ----------------------------------------------------------------- ??? [13] 100.0% [18] 364(5.8%) 0(0.0%) for-loop .../interface2/src/core/simplify.rkt:35:2 one-iter [22] 100.0% ----------------------------------------------------------------- run-iter! [14] 100.0% [19] 358(5.7%) 0(0.0%) localize! ...bie/interface2/src/mainloop.rkt:126:0 localize-error [23] 100.0% ----------------------------------------------------------------- loop [20] 33.3% expand-capturing-lifts [25] 33.3% eval-prog [15] 33.3% [20] 356(5.7%) 0(0.0%) loop (unknown source) expand-capturing-lifts [25] 33.3% loop [20] 33.3% for-loop [24] 33.3% ----------------------------------------------------------------- ??? [7] 13.6% loop [16] 86.4% [21] 2184(34.7%) 0(0.0%) ??? ...es/herbie/interface2/src/programs.rkt:115:2 ??? [27] 72.3% ??? [31] 27.7% ----------------------------------------------------------------- for-loop [18] 100.0% [22] 364(5.8%) 0(0.0%) one-iter .../interface2/src/core/simplify.rkt:72:0 find-matches [28] 100.0% ----------------------------------------------------------------- localize! [19] 100.0% [23] 358(5.7%) 0(0.0%) localize-error ...face2/src/core/localize.rkt:66:0 hash-ref! [29] 100.0% ----------------------------------------------------------------- loop [20] 100.0% [24] 356(5.7%) 0(0.0%) for-loop (unknown source) run-module-instance!125 [30]100.0% ----------------------------------------------------------------- loop [20] 100.0% [25] 356(5.7%) 0(0.0%) expand-capturing-lifts (unknown source) loop [20] 100.0% ----------------------------------------------------------------- loop [16] 100.0% [26] 280(4.5%) 280(4.5%) ??? ...contract/private/arrow-val-first.rkt:390:18 ----------------------------------------------------------------- ??? [21] 100.0% [27] 1578(25.1%) 0(0.0%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [31] 58.7% ??? [32] 41.3% ----------------------------------------------------------------- one-iter [22] 100.0% [28] 364(5.8%) 0(0.0%) find-matches ...erface2/src/core/simplify.rkt:62:0 for-loop [33] 100.0% ----------------------------------------------------------------- localize-error [23] 100.0% [29] 358(5.7%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [34] 100.0% ----------------------------------------------------------------- for-loop [24] 100.0% [30] 356(5.7%) 356(5.7%) run-module-instance!125 (unknown source) ----------------------------------------------------------------- ??? [21] 19.8% ??? [27] 30.3% ??? [17] 49.9% [31] 3056(48.6%) 296(4.7%) ??? ...tract/private/arrow-higher-order.rkt:360:33 sample-multi-bounded [35] 49.9% ival-mult [36] 30.3% mk-ival [39] 10.1% ----------------------------------------------------------------- ??? [7] 31.8% ??? [27] 68.2% [32] 956(15.2%) 320(5.1%) ??? ...tract/private/arrow-higher-order.rkt:364:33 ival-add [38] 34.7% ??? [40] 31.8% ----------------------------------------------------------------- for-loop [33] 50.0% find-matches [28] 50.0% [33] 364(5.8%) 0(0.0%) for-loop .../interface2/src/core/simplify.rkt:64:8 for-loop [33] 50.0% match-e [37] 50.0% ----------------------------------------------------------------- hash-ref! [29] 100.0% [34] 358(5.7%) 358(5.7%) ??? ...rbie/interface2/src/core/localize.rkt:23:13 ----------------------------------------------------------------- ??? [31] 100.0% [35] 1524(24.2%) 298(4.7%) sample-multi-bounded ...rface2/src/points.rkt:15:0 random-ranges [41] 80.4% ----------------------------------------------------------------- ??? [31] 100.0% [36] 926(14.7%) 628(10.0%) ival-mult .../interface2/src/biginterval.rkt:111:0 bfmul [42] 32.2% ----------------------------------------------------------------- for-loop [5] 50.0% for-loop [33] 50.0% [37] 364(5.8%) 0(0.0%) match-e ...bie/interface2/src/core/ematch.rkt:39:0 for-loop [2] 50.0% constant? [43] 50.0% ----------------------------------------------------------------- ??? [32] 100.0% [38] 332(5.3%) 0(0.0%) ival-add ...ie/interface2/src/biginterval.rkt:93:0 bfmul [42] 100.0% ----------------------------------------------------------------- ??? [31] 100.0% [39] 310(4.9%) 0(0.0%) mk-ival ...bie/interface2/src/biginterval.rkt:57:0 bf [44] 100.0% ----------------------------------------------------------------- for-loop [45] 50.0% ??? [32] 50.0% [40] 304(4.8%) 304(4.8%) ??? ...cts/racket/contract/private/list.rkt:209:10 for-loop [45] 50.0% ----------------------------------------------------------------- sample-multi-bounded [35] 100.0% [41] 1226(19.5%) 298(4.7%) random-ranges ...e/interface2/src/common.rkt:183:0 cons/c [47] 50.6% build--> [49] 25.1% ----------------------------------------------------------------- ival-mult [36] 47.3% ival-add [38] 52.7% [42] 630(10.0%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [46] 100.0% ----------------------------------------------------------------- match-e [37] 100.0% [43] 364(5.8%) 0(0.0%) constant? ...nterface2/src/syntax/syntax.rkt:719:0 value? [48] 100.0% ----------------------------------------------------------------- mk-ival [39] 100.0% [44] 310(4.9%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [46] 100.0% ----------------------------------------------------------------- ??? [40] 100.0% [45] 304(4.8%) 0(0.0%) for-loop ...acket/contract/private/list.rkt:212:15 ??? [40] 100.0% ----------------------------------------------------------------- bf [44] 33.0% bfmul [42] 67.0% [46] 940(14.9%) 940(14.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ----------------------------------------------------------------- random-ranges [41] 100.0% [47] 620(9.9%) 302(4.8%) cons/c .../racket/contract/private/guts.rkt:504:15 coerce-contract [50] 51.3% ----------------------------------------------------------------- constant? [43] 100.0% [48] 364(5.8%) 364(5.8%) value? ...bie/interface2/src/syntax/types.rkt:18:0 ----------------------------------------------------------------- random-ranges [41] 100.0% [49] 308(4.9%) 308(4.9%) build--> ...act/private/arrow-val-first.rkt:1088:0 ----------------------------------------------------------------- cons/c [47] 100.0% [50] 318(5.1%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:308:0 coerce-contract/f [51] 100.0% ----------------------------------------------------------------- coerce-contract [50] 100.0% [51] 318(5.1%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:373:0 coerce-simple-value [52] 100.0% ----------------------------------------------------------------- coerce-contract/f [51] 100.0% [52] 318(5.1%) 318(5.1%) coerce-simple-value ...ract/private/guts.rkt:386:0 -----------------------------------------------------------------