Profiling results ----------------- Total cpu time observed: 13544ms (out of 13968ms) Number of samples taken: 41 (once every 330ms) ======================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================== run [6] 50.0% [1] 13544(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 50.0% prepare-points [4] 22.5% loop [10] 22.0% run-improve39 [5] 5.5% ------------------------------------------------------------------------ hash-ref! [43] 100.0% [2] 290(2.1%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:153:5 loop [22] 100.0% ------------------------------------------------------------------------ ??? [1] 100.0% [3] 13544(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [6] 100.0% ------------------------------------------------------------------------ ??? [1] 100.0% [4] 6086(44.9%) 0(0.0%) prepare-points ...bie/develop/src/points.rkt:156:0 loop [17] 39.0% loop [13] 28.4% make-exacts* [18] 27.7% for-loop [15] 4.9% ------------------------------------------------------------------------ ??? [1] 100.0% [5] 1494(11.0%) 0(0.0%) run-improve39 ...ie/develop/src/mainloop.rkt:286:0 for-loop [7] 41.0% setup-prog!32 [8] 39.0% for-loop [9] 20.1% ------------------------------------------------------------------------ profile-thunk16 [3] 100.0% [6] 13544(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ------------------------------------------------------------------------ run-improve39 [5] 100.0% [7] 612(4.5%) 0(0.0%) for-loop ...herbie/develop/src/mainloop.rkt:298:29 ??? [11] 100.0% ------------------------------------------------------------------------ run-improve39 [5] 100.0% [8] 582(4.3%) 0(0.0%) setup-prog!32 ...bie/develop/src/mainloop.rkt:63:0 loop [10] 50.2% ??? [20] 49.8% ------------------------------------------------------------------------ run-improve39 [5] 100.0% [9] 300(2.2%) 0(0.0%) for-loop .../herbie/develop/src/mainloop.rkt:303:8 run-iter! [12] 100.0% ------------------------------------------------------------------------ setup-prog!32 [8] 4.7% ??? [1] 95.3% [10] 6256(46.2%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:180:2 make-exacts* [18] 40.8% loop [13] 29.0% loop [17] 25.6% for-loop [15] 4.6% ------------------------------------------------------------------------ for-loop [7] 100.0% [11] 612(4.5%) 0(0.0%) ??? ...s/herbie/develop/src/core/simplify.rkt:31:0 iterate-egraph!7 [14] 100.0% ------------------------------------------------------------------------ for-loop [9] 100.0% [12] 300(2.2%) 0(0.0%) run-iter! ...herbie/develop/src/mainloop.rkt:267:0 choose-best-alt! [16] 100.0% ------------------------------------------------------------------------ prepare-points [4] 48.8% loop [10] 51.2% [13] 3542(26.2%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:124:2 loop [17] 54.3% make-exacts* [18] 45.7% ------------------------------------------------------------------------ ??? [11] 100.0% [14] 612(4.5%) 0(0.0%) iterate-egraph!7 ...lop/src/core/simplify.rkt:55:0 one-iter [19] 100.0% ------------------------------------------------------------------------ loop [10] 49.1% prepare-points [4] 50.9% [15] 586(4.3%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:195:19 ??? [21] 100.0% ------------------------------------------------------------------------ run-iter! [12] 100.0% [16] 300(2.2%) 0(0.0%) choose-best-alt! ...develop/src/mainloop.rkt:113:0 ??? [20] 100.0% ------------------------------------------------------------------------ loop [10] 27.1% loop [13] 32.6% prepare-points [4] 40.3% [17] 5902(43.6%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:107:4 loop [22] 100.0% ------------------------------------------------------------------------ loop [13] 27.6% prepare-points [4] 28.8% loop [10] 43.6% [18] 5854(43.2%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:104:0 loop [22] 85.0% eval-prog [39] 15.0% ------------------------------------------------------------------------ iterate-egraph!7 [14] 100.0% [19] 612(4.5%) 0(0.0%) one-iter ...bie/develop/src/core/simplify.rkt:66:0 for-loop [23] 100.0% ------------------------------------------------------------------------ setup-prog!32 [8] 49.2% choose-best-alt! [16] 50.8% [20] 590(4.4%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 ??? [24] 50.8% make-alt-table [26] 49.2% ------------------------------------------------------------------------ for-loop [15] 100.0% [21] 586(4.3%) 0(0.0%) ??? ...ghtlies/herbie/develop/src/points.rkt:172:7 for-loop [25] 50.9% ??? [27] 49.1% ------------------------------------------------------------------------ loop [17] 0.3% make-exacts* [18] 0.4% ??? [2] 2.6% loop [22] 96.7% [22] 11166(82.4%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [22] 96.7% hash-ref! [43] 2.6% ??? [41] 0.7% ??? [28] 0.0% ------------------------------------------------------------------------ for-loop [23] 50.0% one-iter [19] 50.0% [23] 612(4.5%) 300(2.2%) for-loop ...ie/develop/src/core/simplify.rkt:76:12 for-loop [23] 50.0% match-e [29] 25.5% ------------------------------------------------------------------------ ??? [20] 100.0% [24] 300(2.2%) 0(0.0%) ??? .../herbie/develop/src/core/alt-table.rkt:54:0 ??? [28] 100.0% ------------------------------------------------------------------------ ??? [21] 100.0% [25] 298(2.2%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:173:9 ??? [28] 100.0% ------------------------------------------------------------------------ ??? [20] 100.0% [26] 290(2.1%) 0(0.0%) make-alt-table ...elop/src/core/alt-table.rkt:32:0 errors [38] 100.0% ------------------------------------------------------------------------ ??? [21] 100.0% [27] 288(2.1%) 288(2.1%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ------------------------------------------------------------------------ for-loop [25] 32.5% ??? [24] 32.7% loop [22] 34.9% [28] 918(6.8%) 298(2.2%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [30] 34.9% best-alt [32] 32.7% ------------------------------------------------------------------------ for-loop [23] 100.0% [29] 312(2.3%) 0(0.0%) match-e ...herbie/develop/src/core/ematch.rkt:46:0 for-loop [31] 100.0% ------------------------------------------------------------------------ ??? [28] 100.0% [30] 320(2.4%) 0(0.0%) ->flonum ...s/herbie/develop/src/programs.rkt:36:0 ??? [33] 100.0% ------------------------------------------------------------------------ match-e [29] 100.0% [31] 312(2.3%) 0(0.0%) for-loop ...rbie/develop/src/core/ematch.rkt:59:11 for-loop [34] 100.0% ------------------------------------------------------------------------ ??? [28] 100.0% [32] 300(2.2%) 0(0.0%) best-alt .../herbie/develop/src/mainloop.rkt:108:0 argmins [35] 100.0% ------------------------------------------------------------------------ ->flonum [30] 100.0% [33] 320(2.4%) 320(2.4%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ------------------------------------------------------------------------ for-loop [31] 100.0% [34] 312(2.3%) 0(0.0%) for-loop ...rbie/develop/src/core/ematch.rkt:65:37 ??? [36] 100.0% ------------------------------------------------------------------------ best-alt [32] 100.0% [35] 300(2.2%) 0(0.0%) argmins ...ies/herbie/develop/src/common.rkt:142:0 ??? [37] 100.0% ------------------------------------------------------------------------ for-loop [34] 100.0% [36] 312(2.3%) 312(2.3%) ??? ...ies/herbie/develop/src/core/ematch.rkt:50:5 ------------------------------------------------------------------------ argmins [35] 100.0% [37] 300(2.2%) 0(0.0%) ??? ...lies/herbie/develop/src/mainloop.rkt:110:19 errors [38] 100.0% ------------------------------------------------------------------------ make-alt-table [26] 49.2% ??? [37] 50.8% [38] 590(4.4%) 0(0.0%) errors ...lies/herbie/develop/src/points.rkt:203:0 for-loop [40] 50.8% eval-prog [39] 49.2% ------------------------------------------------------------------------ errors [38] 24.8% make-exacts* [18] 75.2% [39] 1170(8.6%) 0(0.0%) eval-prog ...herbie/develop/src/programs.rkt:109:0 temp68_2 [42] 75.2% hash-ref! [43] 24.8% ------------------------------------------------------------------------ errors [38] 100.0% [40] 300(2.2%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:206:4 ??? [41] 100.0% ------------------------------------------------------------------------ for-loop [40] 2.8% loop [22] 97.2% [41] 10856(80.2%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:129:2 ??? [44] 64.9% bf [45] 32.2% ??? [47] 2.9% ------------------------------------------------------------------------ eval-prog [39] 100.0% [42] 880(6.5%) 0(0.0%) temp68_2 (unknown source) compile16 [46] 100.0% ------------------------------------------------------------------------ eval-prog [39] 25.0% loop [22] 75.0% [43] 290(2.1%) 290(2.1%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [2] 75.0% ------------------------------------------------------------------------ ??? [41] 100.0% [44] 7044(52.0%) 2718(20.1%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [52] 37.6% ??? [49] 9.8% bf* [50] 9.2% ...higher-order.rkt:361:33 [51] 4.8% ------------------------------------------------------------------------ ??? [41] 100.0% [45] 3500(25.8%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [58] 71.0% ??? [59] 29.0% ------------------------------------------------------------------------ temp68_2 [42] 100.0% [46] 880(6.5%) 0(0.0%) compile16 (unknown source) temp74_0 [48] 100.0% ------------------------------------------------------------------------ ??? [41] 100.0% [47] 312(2.3%) 312(2.3%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ------------------------------------------------------------------------ compile16 [46] 100.0% [48] 880(6.5%) 0(0.0%) temp74_0 (unknown source) expand-single [53] 100.0% ------------------------------------------------------------------------ ??? [44] 100.0% [49] 692(5.1%) 692(5.1%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ------------------------------------------------------------------------ ??? [44] 100.0% [50] 650(4.8%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [52] 100.0% ------------------------------------------------------------------------ ??? [44] 100.0% [51] 336(2.5%) 0(0.0%) ...higher-order.rkt:361:33 (unknown source) ??? [54] 100.0% ------------------------------------------------------------------------ bf* [50] 19.7% ??? [44] 80.3% [52] 3298(24.4%) 1014(7.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [55] 49.1% bfneg [57] 20.2% ------------------------------------------------------------------------ temp74_0 [48] 100.0% [53] 880(6.5%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [56] 100.0% ------------------------------------------------------------------------ ...higher-order.rkt:361:33 [51] 100.0% [54] 336(2.5%) 336(2.5%) ??? ...cts/racket/contract/private/list.rkt:209:10 ------------------------------------------------------------------------ ??? [52] 100.0% [55] 1618(11.9%) 296(2.2%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [58] 63.2% ??? [59] 18.5% ------------------------------------------------------------------------ expand-single [53] 100.0% [56] 880(6.5%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [60] 100.0% ------------------------------------------------------------------------ ??? [52] 100.0% [57] 666(4.9%) 0(0.0%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [58] 56.2% ??? [59] 43.8% ------------------------------------------------------------------------ bfneg [57] 9.6% bfsub [55] 26.3% bf [45] 64.0% [58] 3880(28.6%) 3880(28.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ------------------------------------------------------------------------ bfneg [57] 18.2% bfsub [55] 18.7% bf [45] 63.2% [59] 1608(11.9%) 1608(11.9%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ------------------------------------------------------------------------ expand-capturing-lifts [56] 100.0% [60] 880(6.5%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [61] 68.6% loop [65] 31.4% ------------------------------------------------------------------------ lambda-clause-expander [60] 18.5% for-loop [62] 81.5% [61] 604(4.5%) 0(0.0%) finish-bodys (unknown source) for-loop [62] 100.0% ------------------------------------------------------------------------ finish-bodys [61] 100.0% [62] 604(4.5%) 276(2.0%) for-loop (unknown source) finish-bodys [61] 81.5% syntax-e [63] 10.9% ------------------------------------------------------------------------ for-loop [62] 100.0% [63] 328(2.4%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [64] 100.0% ------------------------------------------------------------------------ syntax-e [63] 100.0% [64] 328(2.4%) 0(0.0%) syntax-e/no-taint (unknown source) loop [65] 100.0% ------------------------------------------------------------------------ lambda-clause-expander [60] 45.7% syntax-e/no-taint [64] 54.3% [65] 604(4.5%) 0(0.0%) loop (unknown source) gf [66] 54.3% dispatch-transformer41 [67] 45.7% ------------------------------------------------------------------------ loop [65] 100.0% [66] 328(2.4%) 0(0.0%) gf (unknown source) propagation-apply [68] 100.0% ------------------------------------------------------------------------ loop [65] 100.0% [67] 276(2.0%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [69] 100.0% ------------------------------------------------------------------------ gf [66] 100.0% [68] 328(2.4%) 328(2.4%) propagation-apply (unknown source) ------------------------------------------------------------------------ dispatch-transformer41 [67] 100.0% [69] 276(2.0%) 0(0.0%) apply-transformer52 (unknown source) apply-transformer-in-context [70]100.0% ------------------------------------------------------------------------ apply-transformer52 [69] 100.0% [70] 276(2.0%) 0(0.0%) apply-transformer-in-context (unknown source) go [71] 100.0% ------------------------------------------------------------------------ apply-transformer-in-context [70]100.0% [71] 276(2.0%) 0(0.0%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [72] 100.0% ------------------------------------------------------------------------ go [71] 100.0% [72] 276(2.0%) 276(2.0%) loop ...llects/racket/private/qq-and-or.rkt:101:61 ------------------------------------------------------------------------