Profiling results ----------------- Total cpu time observed: 20180ms (out of 20388ms) Number of samples taken: 89 (once every 227ms) ======================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================== [1] 20180(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [7] 100.0% ------------------------------------------------------------------------ hash-ref! [35] 100.0% [2] 840(4.2%) 0(0.0%) ??? ...ies/herbie/better-rr/src/programs.rkt:202:5 loop [29] 100.0% ------------------------------------------------------------------------ for-loop [3] 3.6% finish-bodys [62] 96.4% [3] 446(2.2%) 0(0.0%) for-loop (unknown source) finish-bodys [62] 92.7% for-loop [3] 3.6% loop [29] 2.1% syntax-e [4] 1.5% ------------------------------------------------------------------------ for-loop [3] 100.0% [4] 238(1.2%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [8] 100.0% ------------------------------------------------------------------------ loop [29] 100.0% [5] 208(1.0%) 0(0.0%) expand-id-application-form17 (unknown source) syntax-e/no-taint [8] 100.0% ------------------------------------------------------------------------ hash-ref! [35] 100.0% [6] 206(1.0%) 0(0.0%) parse-loop15 (unknown source) map [9] 100.0% ------------------------------------------------------------------------ ??? [1] 100.0% [7] 20180(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [10] 100.0% ------------------------------------------------------------------------ expand-id-application-form17 [5] 46.6% syntax-e [4] 53.4% [8] 446(2.2%) 0(0.0%) syntax-e/no-taint (unknown source) loop [29] 100.0% ------------------------------------------------------------------------ parse-loop15 [6] 100.0% [9] 206(1.0%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 hash-ref! [35] 100.0% ------------------------------------------------------------------------ profile-thunk16 [7] 100.0% [10] 20180(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [11] 100.0% ------------------------------------------------------------------------ run [10] 100.0% [11] 20180(100.0%) 0(0.0%) .../more-scheme.rkt:261:28 (unknown source) loop [14] 90.0% run-improve47 [12] 7.8% get-final-combination [13] 1.1% errors [25] 1.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [11] 100.0% [12] 1584(7.8%) 0(0.0%) run-improve47 .../better-rr/src/mainloop.rkt:364:0 loop [14] 72.9% simplify! [15] 14.1% for-loop [17] 13.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [11] 100.0% [13] 224(1.1%) 0(0.0%) get-final-combination ...rr/src/mainloop.rkt:389:0 argmin [16] 100.0% ------------------------------------------------------------------------ run-improve47 [12] 6.0% .../more-scheme.rkt:261:28 [11] 94.0% [14] 19318(95.7%) 0(0.0%) loop ...lies/herbie/better-rr/src/points.rkt:268:2 loop [18] 37.1% make-exacts-walkup [23] 31.5% loop [24] 30.3% filter-p&e [19] 1.2% ------------------------------------------------------------------------ run-improve47 [12] 100.0% [15] 224(1.1%) 0(0.0%) simplify! ...rbie/better-rr/src/mainloop.rkt:223:0 ??? [20] 100.0% ------------------------------------------------------------------------ get-final-combination [13] 100.0% [16] 224(1.1%) 0(0.0%) argmin ...acket-7.5/collects/racket/list.rkt:765:0 ??? [21] 100.0% ------------------------------------------------------------------------ run-improve47 [12] 100.0% [17] 206(1.0%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:383:4 run-iter! [22] 100.0% ------------------------------------------------------------------------ loop [14] 100.0% [18] 7164(35.5%) 0(0.0%) loop ...lies/herbie/better-rr/src/points.rkt:232:2 make-exacts-walkup [23] 55.4% loop [24] 44.6% ------------------------------------------------------------------------ loop [14] 100.0% [19] 224(1.1%) 0(0.0%) filter-p&e ...erbie/better-rr/src/points.rkt:245:0 for-loop [26] 100.0% ------------------------------------------------------------------------ simplify! [15] 100.0% [20] 224(1.1%) 0(0.0%) ??? ...herbie/better-rr/src/core/simplify.rkt:42:0 egraph-run [27] 100.0% ------------------------------------------------------------------------ argmin [16] 100.0% [21] 224(1.1%) 0(0.0%) ??? ...es/herbie/better-rr/src/mainloop.rkt:113:10 errors [25] 100.0% ------------------------------------------------------------------------ for-loop [17] 100.0% [22] 206(1.0%) 0(0.0%) run-iter! ...rbie/better-rr/src/mainloop.rkt:345:0 localize! [28] 100.0% ------------------------------------------------------------------------ loop [18] 39.5% loop [14] 60.5% [23] 10052(49.8%) 0(0.0%) make-exacts-walkup ...tter-rr/src/points.rkt:211:0 loop [29] 87.1% eval-prog [30] 10.5% temp85_0 [31] 2.4% ------------------------------------------------------------------------ loop [18] 35.4% loop [14] 64.6% [24] 9042(44.8%) 0(0.0%) loop ...lies/herbie/better-rr/src/points.rkt:215:4 loop [29] 100.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [11] 48.1% ??? [21] 51.9% [25] 432(2.1%) 0(0.0%) errors ...es/herbie/better-rr/src/points.rkt:192:0 temp85_0 [31] 100.0% ------------------------------------------------------------------------ filter-p&e [19] 100.0% [26] 224(1.1%) 224(1.1%) for-loop .../herbie/better-rr/src/points.rkt:247:2 ------------------------------------------------------------------------ ??? [20] 100.0% [27] 224(1.1%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [32] 100.0% ------------------------------------------------------------------------ run-iter! [22] 100.0% [28] 206(1.0%) 0(0.0%) localize! ...rbie/better-rr/src/mainloop.rkt:126:0 localize-error [33] 100.0% ------------------------------------------------------------------------ make-exacts-walkup [23] 0.2% for-loop [3] 0.5% loop [24] 0.8% syntax-e/no-taint [8] 1.8% ??? [2] 4.4% loop [29] 92.3% [29] 19084(94.6%) 240(1.2%) loop (unknown source) loop [29] 92.3% hash-ref! [35] 4.4% gf [37] 1.8% composed [34] 0.9% expand-id-application-form17 [5] 0.5% ------------------------------------------------------------------------ make-exacts-walkup [23] 100.0% [30] 1058(5.2%) 0(0.0%) eval-prog ...rbie/better-rr/src/programs.rkt:106:0 hash-ref! [35] 100.0% ------------------------------------------------------------------------ make-exacts-walkup [23] 35.5% errors [25] 64.5% [31] 670(3.3%) 0(0.0%) temp85_0 (unknown source) compile15 [36] 100.0% ------------------------------------------------------------------------ egraph-run [27] 100.0% [32] 224(1.1%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [38] 100.0% ------------------------------------------------------------------------ localize! [28] 100.0% [33] 206(1.0%) 0(0.0%) localize-error ...er-rr/src/core/localize.rkt:57:0 hash-ref! [35] 100.0% ------------------------------------------------------------------------ loop [29] 100.0% [34] 17558(87.0%) 224(1.1%) composed ...ollects/racket/private/list.rkt:321:16 ??? [39] 98.7% ------------------------------------------------------------------------ localize-error [33] 1.4% map [9] 14.9% eval-prog [30] 25.5% loop [29] 58.2% [35] 1264(6.3%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [2] 58.2% bigfloat-hash [40] 25.5% parse-loop15 [6] 14.9% ??? [44] 1.4% ------------------------------------------------------------------------ temp85_0 [31] 100.0% [36] 670(3.3%) 0(0.0%) compile15 (unknown source) temp91_0 [41] 100.0% ------------------------------------------------------------------------ loop [29] 100.0% [37] 446(2.2%) 0(0.0%) gf (unknown source) propagation-apply [42] 100.0% ------------------------------------------------------------------------ egraph-add-exprs [32] 100.0% [38] 224(1.1%) 0(0.0%) ??? ...erbie/better-rr/src/core/simplify.rkt:103:6 for-loop [43] 100.0% ------------------------------------------------------------------------ composed [34] 100.0% [39] 17334(85.9%) 240(1.2%) ??? ...tract/private/arrow-higher-order.rkt:379:33 bf-complex-mult [45] 89.1% bf-complex-add [46] 9.5% ------------------------------------------------------------------------ hash-ref! [35] 100.0% [40] 1058(5.2%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 sig+exp->bigfloat [48] 41.6% bfcanonicalize [49] 37.8% bigfloat->sig+exp [50] 20.6% ------------------------------------------------------------------------ compile15 [36] 100.0% [41] 670(3.3%) 0(0.0%) temp91_0 (unknown source) temp118_0 [47] 100.0% ------------------------------------------------------------------------ gf [37] 100.0% [42] 446(2.2%) 446(2.2%) propagation-apply (unknown source) ------------------------------------------------------------------------ ??? [38] 100.0% [43] 224(1.1%) 224(1.1%) for-loop .../better-rr/src/core/simplify.rkt:121:2 ------------------------------------------------------------------------ hash-ref! [35] 100.0% [44] 206(1.0%) 0(0.0%) ??? ...erbie/better-rr/src/core/localize.rkt:16:13 repeat [51] 100.0% ------------------------------------------------------------------------ ??? [39] 100.0% [45] 15452(76.6%) 1776(8.8%) bf-complex-mult ...tter-rr/src/bigcomplex.rkt:30:0 bf* [52] 47.1% ??? [56] 36.8% ...higher-order.rkt:379:33 [53] 4.6% ------------------------------------------------------------------------ ??? [39] 100.0% [46] 1642(8.1%) 0(0.0%) bf-complex-add ...etter-rr/src/bigcomplex.rkt:23:0 ??? [56] 70.8% ...higher-order.rkt:379:33 [53] 29.2% ------------------------------------------------------------------------ temp91_0 [41] 100.0% [47] 670(3.3%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [54] 100.0% ------------------------------------------------------------------------ bigfloat-hash [40] 100.0% [48] 440(2.2%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:401:0 new-mpfr [65] 100.0% ------------------------------------------------------------------------ bigfloat-hash [40] 100.0% [49] 400(2.0%) 400(2.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 ------------------------------------------------------------------------ bigfloat-hash [40] 100.0% [50] 218(1.1%) 218(1.1%) bigfloat->sig+exp ...ivate/bigfloat/mpfr.rkt:386:0 ------------------------------------------------------------------------ ??? [44] 100.0% [51] 206(1.0%) 0(0.0%) repeat ...rbie/better-rr/src/core/localize.rkt:7:0 for-loop [55] 100.0% ------------------------------------------------------------------------ bf-complex-mult [45] 100.0% [52] 7278(36.1%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [56] 100.0% ------------------------------------------------------------------------ bf-complex-add [46] 40.5% bf-complex-mult [45] 59.5% [53] 1184(5.9%) 246(1.2%) ...higher-order.rkt:379:33 (unknown source) ??? [57] 79.2% ------------------------------------------------------------------------ temp118_0 [47] 100.0% [54] 670(3.3%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [58] 66.6% dispatch-transformer41 [59] 33.4% ------------------------------------------------------------------------ repeat [51] 100.0% [55] 206(1.0%) 206(1.0%) for-loop ...ie/better-rr/src/core/localize.rkt:8:2 ------------------------------------------------------------------------ bf-complex-add [46] 8.2% bf-complex-mult [45] 40.3% bf* [52] 51.5% [56] 14134(70.0%) 2726(13.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [60] 70.9% bfneg [61] 9.8% ------------------------------------------------------------------------ ...higher-order.rkt:379:33 [53] 100.0% [57] 938(4.6%) 698(3.5%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [63] 25.6% ------------------------------------------------------------------------ expand-capturing-lifts [54] 100.0% [58] 446(2.2%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [62] 100.0% ------------------------------------------------------------------------ expand-capturing-lifts [54] 100.0% [59] 224(1.1%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [64] 100.0% ------------------------------------------------------------------------ ??? [56] 100.0% [60] 10022(49.7%) 1348(6.7%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [65] 49.5% ??? [66] 37.0% ------------------------------------------------------------------------ ??? [56] 100.0% [61] 1386(6.9%) 458(2.3%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [65] 51.2% ??? [66] 15.7% ------------------------------------------------------------------------ lambda-clause-expander [58] 3.8% for-loop [3] 96.2% [62] 446(2.2%) 0(0.0%) finish-bodys (unknown source) for-loop [3] 100.0% ------------------------------------------------------------------------ ??? [57] 100.0% [63] 240(1.2%) 240(1.2%) ??? ...ects/racket/contract/private/guts.rkt:770:8 ------------------------------------------------------------------------ dispatch-transformer41 [59] 100.0% [64] 224(1.1%) 0(0.0%) apply-transformer52 (unknown source) apply-transformer-in-context [67]100.0% ------------------------------------------------------------------------ sig+exp->bigfloat [48] 7.2% bfneg [61] 11.6% bfmul [60] 81.2% [65] 6112(30.3%) 6112(30.3%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ------------------------------------------------------------------------ bfneg [61] 5.5% bfmul [60] 94.5% [66] 3930(19.5%) 3930(19.5%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ------------------------------------------------------------------------ apply-transformer52 [64] 100.0% [67] 224(1.1%) 0(0.0%) apply-transformer-in-context (unknown source) parse-lambda [68] 100.0% ------------------------------------------------------------------------ apply-transformer-in-context [67]100.0% [68] 224(1.1%) 0(0.0%) parse-lambda ...llects/racket/private/kw.rkt:619:2 simple-args? [69] 100.0% ------------------------------------------------------------------------ parse-lambda [68] 100.0% [69] 224(1.1%) 224(1.1%) simple-args? ...llects/racket/private/kw.rkt:532:2 ------------------------------------------------------------------------