Profiling results ----------------- Total cpu time observed: 133056ms (out of 135560ms) Number of samples taken: 341 (once every 390ms) =========================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================================== ??? [12] 100.0% [1] 133056(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [7] 100.0% --------------------------------------------------------------------------- hash-ref! [34] 100.0% [2] 864(0.6%) 0(0.0%) ??? .../herbie/simplify-bug/src/programs.rkt:161:5 loop [30] 100.0% --------------------------------------------------------------------------- loop [67] 100.0% [3] 690(0.5%) 0(0.0%) expand-id-application-form17 (unknown source) syntax-e/no-taint [8] 50.1% resolve+shift28 [9] 49.9% --------------------------------------------------------------------------- loop [67] 100.0% [4] 290(0.2%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [8] 100.0% --------------------------------------------------------------------------- loop [67] 100.0% [5] 290(0.2%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [10] 100.0% --------------------------------------------------------------------------- ??? [12] 100.0% [6] 280(0.2%) 0(0.0%) errors ...herbie/simplify-bug/src/points.rkt:205:0 for-loop [11] 100.0% --------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [7] 133056(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [12] 100.0% --------------------------------------------------------------------------- syntax-e [4] 45.6% expand-id-application-form17 [3] 54.4% [8] 636(0.5%) 0(0.0%) syntax-e/no-taint (unknown source) loop [67] 100.0% --------------------------------------------------------------------------- expand-id-application-form17 [3] 100.0% [9] 344(0.3%) 0(0.0%) resolve+shift28 (unknown source) fallback-loop [13] 100.0% --------------------------------------------------------------------------- dispatch-transformer41 [5] 100.0% [10] 290(0.2%) 0(0.0%) apply-transformer52 (unknown source) apply-transformer-in-context [14] 100.0% --------------------------------------------------------------------------- errors [6] 100.0% [11] 280(0.2%) 0(0.0%) for-loop ...rbie/simplify-bug/src/points.rkt:207:2 ??? [12] 100.0% --------------------------------------------------------------------------- for-loop [11] 0.1% run [7] 50.0% [12] 133056(100.0%) 280(0.2%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [18] 47.5% run-improve47 [15] 2.3% eval-errors [17] 0.1% errors [6] 0.1% --------------------------------------------------------------------------- resolve+shift28 [9] 100.0% [13] 344(0.3%) 0(0.0%) fallback-loop (unknown source) for-loop [74] 100.0% --------------------------------------------------------------------------- apply-transformer52 [10] 100.0% [14] 290(0.2%) 0(0.0%) apply-transformer-in-context (unknown source) ??? [16] 100.0% --------------------------------------------------------------------------- ??? [12] 100.0% [15] 6038(4.5%) 308(0.2%) run-improve47 ...mplify-bug/src/mainloop.rkt:345:0 loop [18] 85.0% for-loop [19] 9.9% --------------------------------------------------------------------------- apply-transformer-in-context [14] 100.0% [16] 290(0.2%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [20] 100.0% --------------------------------------------------------------------------- ??? [12] 100.0% [17] 276(0.2%) 0(0.0%) eval-errors ...e/simplify-bug/src/points.rkt:179:0 for-loop [21] 100.0% --------------------------------------------------------------------------- run-improve47 [15] 3.9% ??? [12] 96.1% [18] 131592(98.9%) 0(0.0%) loop ...s/herbie/simplify-bug/src/points.rkt:281:2 loop [22] 34.5% loop [26] 33.8% make-exacts-walkup [27] 29.9% for-loop [23] 1.7% --------------------------------------------------------------------------- run-improve47 [15] 100.0% [19] 600(0.5%) 0(0.0%) for-loop ...ie/simplify-bug/src/mainloop.rkt:364:4 run-iter! [24] 100.0% --------------------------------------------------------------------------- ??? [16] 100.0% [20] 290(0.2%) 0(0.0%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 syntax->list [25] 100.0% --------------------------------------------------------------------------- eval-errors [17] 100.0% [21] 276(0.2%) 276(0.2%) for-loop ...rbie/simplify-bug/src/points.rkt:181:2 --------------------------------------------------------------------------- loop [18] 100.0% [22] 45462(34.2%) 0(0.0%) loop ...s/herbie/simplify-bug/src/points.rkt:244:2 loop [26] 55.0% make-exacts-walkup [27] 45.0% --------------------------------------------------------------------------- loop [18] 100.0% [23] 2250(1.7%) 0(0.0%) for-loop ...bie/simplify-bug/src/points.rkt:301:19 ??? [28] 100.0% --------------------------------------------------------------------------- for-loop [19] 100.0% [24] 600(0.5%) 0(0.0%) run-iter! ...e/simplify-bug/src/mainloop.rkt:326:0 localize! [29] 100.0% --------------------------------------------------------------------------- ??? [20] 100.0% [25] 290(0.2%) 0(0.0%) syntax->list (unknown source) loop [67] 100.0% --------------------------------------------------------------------------- loop [22] 36.0% loop [18] 64.0% [26] 69490(52.2%) 0(0.0%) loop ...s/herbie/simplify-bug/src/points.rkt:227:4 loop [30] 98.7% composed [33] 1.3% --------------------------------------------------------------------------- loop [22] 34.2% loop [18] 65.8% [27] 59852(45.0%) 0(0.0%) make-exacts-walkup ...ify-bug/src/points.rkt:222:0 loop [30] 94.1% eval-prog [31] 5.9% --------------------------------------------------------------------------- for-loop [23] 100.0% [28] 2250(1.7%) 332(0.2%) ??? ...es/herbie/simplify-bug/src/points.rkt:106:2 ??? [47] 68.9% ??? [46] 16.4% --------------------------------------------------------------------------- run-iter! [24] 100.0% [29] 600(0.5%) 0(0.0%) localize! ...e/simplify-bug/src/mainloop.rkt:126:0 localize-error [32] 100.0% --------------------------------------------------------------------------- map [45] 0.0% make-exacts-walkup [27] 0.6% ??? [2] 0.7% loop [26] 1.7% loop [30] 97.0% [30] 126102(94.8%) 1416(1.1%) loop ...-7.2/collects/racket/private/map.rkt:40:19 loop [30] 97.0% composed [33] 2.2% hash-ref! [34] 0.7% ??? [37] 0.0% ??? [46] 0.0% --------------------------------------------------------------------------- make-exacts-walkup [27] 100.0% [31] 3534(2.7%) 0(0.0%) eval-prog ...ie/simplify-bug/src/programs.rkt:83:0 temp85_0 [35] 35.9% hash-ref! [34] 35.5% loop [67] 17.7% inductor [36] 10.9% --------------------------------------------------------------------------- localize! [29] 100.0% [32] 600(0.5%) 0(0.0%) localize-error ...y-bug/src/core/localize.rkt:66:0 hash-ref! [34] 100.0% --------------------------------------------------------------------------- loop [26] 0.7% loop [30] 99.3% [33] 121710(91.5%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 ??? [37] 100.0% --------------------------------------------------------------------------- localize-error [32] 8.1% map [45] 24.2% loop [30] 28.7% eval-prog [31] 39.0% [34] 1856(1.4%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 bigfloat-hash [39] 39.0% parse-loop30 [40] 32.3% ??? [2] 28.7% --------------------------------------------------------------------------- eval-prog [31] 100.0% [35] 1268(1.0%) 0(0.0%) temp85_0 (unknown source) compile15 [38] 100.0% --------------------------------------------------------------------------- eval-prog [31] 33.3% inductor [36] 66.7% [36] 384(0.3%) 0(0.0%) inductor ...ie/simplify-bug/src/programs.rkt:104:4 inductor [36] 66.7% ??? [47] 33.3% --------------------------------------------------------------------------- loop [30] 2.2% composed [33] 97.8% [37] 124392(93.5%) 1668(1.3%) ??? .../herbie/simplify-bug/src/programs.rkt:115:2 ??? [41] 95.2% ??? [47] 3.0% ??? [69] 0.5% --------------------------------------------------------------------------- temp85_0 [35] 100.0% [38] 1268(1.0%) 0(0.0%) compile15 (unknown source) temp91_0 [42] 100.0% --------------------------------------------------------------------------- hash-ref! [34] 100.0% [39] 1256(0.9%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:167:0 sig+exp->bigfloat [43] 51.9% bfcanonicalize [44] 48.1% --------------------------------------------------------------------------- hash-ref! [34] 100.0% [40] 600(0.5%) 0(0.0%) parse-loop30 ...s/racket/match/compiler.rkt:418:15 map [45] 100.0% --------------------------------------------------------------------------- ??? [37] 100.0% [41] 118360(89.0%) 346(0.3%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [46] 97.9% ??? [47] 1.8% --------------------------------------------------------------------------- compile15 [38] 100.0% [42] 1268(1.0%) 0(0.0%) temp91_0 (unknown source) temp118_0 [48] 77.3% compile-top9 [50] 22.7% --------------------------------------------------------------------------- bigfloat-hash [39] 100.0% [43] 652(0.5%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:387:0 new-mpfr [77] 100.0% --------------------------------------------------------------------------- bigfloat-hash [39] 100.0% [44] 604(0.5%) 604(0.5%) bfcanonicalize .../private/bigfloat/mpfr.rkt:157:0 --------------------------------------------------------------------------- parse-loop30 [40] 100.0% [45] 600(0.5%) 0(0.0%) map ...t-7.2/collects/racket/private/map.rkt:35:13 hash-ref! [34] 75.0% loop [30] 12.7% loop [49] 12.3% --------------------------------------------------------------------------- loop [30] 0.3% ??? [28] 0.3% ??? [41] 99.4% [46] 116602(87.6%) 802(0.6%) ??? ...tract/private/arrow-higher-order.rkt:364:33 bf-complex-exp [51] 69.0% bf-complex-div [52] 24.5% bf-complex-neg [53] 3.8% bf-complex-add [55] 2.1% --------------------------------------------------------------------------- inductor [36] 5.0% ??? [28] 20.1% ??? [41] 27.0% ??? [37] 47.9% [47] 7714(5.8%) 3720(2.8%) ??? ...tract/private/arrow-higher-order.rkt:360:33 bf [54] 35.5% sample-multi-bounded [57] 16.3% --------------------------------------------------------------------------- temp91_0 [42] 100.0% [48] 980(0.7%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [56] 100.0% --------------------------------------------------------------------------- map [45] 3.3% loop [49] 96.7% [49] 296(0.2%) 0(0.0%) loop ...-7.2/collects/racket/private/map.rkt:54:19 loop [49] 96.7% ??? [58] 3.3% --------------------------------------------------------------------------- temp91_0 [42] 100.0% [50] 288(0.2%) 0(0.0%) compile-top9 (unknown source) compile-forms33 [59] 100.0% --------------------------------------------------------------------------- ??? [46] 100.0% [51] 80400(60.4%) 334(0.3%) bf-complex-exp ...lify-bug/src/bigcomplex.rkt:37:0 ??? [66] 90.8% bf* [60] 7.4% ...higher-order.rkt:364:33 [61] 1.3% --------------------------------------------------------------------------- ??? [46] 100.0% [52] 28516(21.4%) 1054(0.8%) bf-complex-div ...lify-bug/src/bigcomplex.rkt:54:0 ??? [66] 52.2% bf* [60] 41.0% ...higher-order.rkt:364:33 [61] 3.1% --------------------------------------------------------------------------- ??? [46] 100.0% [53] 4488(3.4%) 0(0.0%) bf-complex-neg ...lify-bug/src/bigcomplex.rkt:20:0 ??? [66] 92.0% ...higher-order.rkt:364:33 [61] 8.0% --------------------------------------------------------------------------- ??? [47] 100.0% [54] 2738(2.1%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [77] 53.4% ??? [78] 46.6% --------------------------------------------------------------------------- ??? [46] 100.0% [55] 2396(1.8%) 360(0.3%) bf-complex-add ...lify-bug/src/bigcomplex.rkt:23:0 ??? [66] 85.0% --------------------------------------------------------------------------- loop [67] 39.0% temp118_0 [48] 61.0% [56] 1606(1.2%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [63] 61.0% loop [67] 39.0% --------------------------------------------------------------------------- ??? [47] 100.0% [57] 1256(0.9%) 0(0.0%) sample-multi-bounded ...fy-bug/src/points.rkt:15:0 random-ranges [62] 100.0% --------------------------------------------------------------------------- loop [49] 100.0% [58] 296(0.2%) 0(0.0%) ??? ...ie/simplify-bug/src/core/localize.rkt:58:36 ??? [64] 100.0% --------------------------------------------------------------------------- compile-top9 [50] 100.0% [59] 288(0.2%) 0(0.0%) compile-forms33 (unknown source) loop! [65] 100.0% --------------------------------------------------------------------------- bf-complex-exp [51] 33.8% bf-complex-div [52] 66.2% [60] 17628(13.2%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [66] 100.0% --------------------------------------------------------------------------- bf-complex-neg [53] 15.5% bf-complex-div [52] 38.2% bf-complex-exp [51] 46.3% [61] 2324(1.7%) 364(0.3%) ...higher-order.rkt:364:33 (unknown source) ??? [68] 68.8% ??? [69] 15.5% --------------------------------------------------------------------------- sample-multi-bounded [57] 100.0% [62] 1256(0.9%) 558(0.4%) random-ranges ...simplify-bug/src/common.rkt:183:0 build--> [70] 55.6% --------------------------------------------------------------------------- expand-capturing-lifts [56] 100.0% [63] 980(0.7%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [71] 70.4% loop [67] 29.6% --------------------------------------------------------------------------- ??? [58] 100.0% [64] 296(0.2%) 296(0.2%) ??? .../herbie/simplify-bug/src/interface.rkt:70:2 --------------------------------------------------------------------------- compile-forms33 [59] 100.0% [65] 288(0.2%) 0(0.0%) loop! (unknown source) for-loop [74] 100.0% --------------------------------------------------------------------------- bf-complex-add [55] 1.8% bf-complex-neg [53] 3.7% bf-complex-div [52] 13.3% bf* [60] 15.8% bf-complex-exp [51] 65.4% [66] 111728(84.0%) 68566(51.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [72] 24.7% bfneg [73] 13.9% --------------------------------------------------------------------------- syntax->list [25] 6.0% lambda-clause-expander [63] 6.0% loop [67] 13.0% expand-capturing-lifts [56] 13.0% eval-prog [31] 13.0% syntax-e/no-taint [8] 16.8% for-loop [74] 32.2% [67] 1606(1.2%) 0(0.0%) loop (unknown source) expand-id-application-form17 [3] 32.2% gf [75] 16.8% expand-capturing-lifts [56] 13.0% loop [67] 13.0% for-loop [74] 13.0% dispatch-transformer41 [5] 6.0% syntax-e [4] 6.0% --------------------------------------------------------------------------- ...higher-order.rkt:364:33 [61] 100.0% [68] 1600(1.2%) 1600(1.2%) ??? ...cts/racket/contract/private/list.rkt:209:10 --------------------------------------------------------------------------- ...higher-order.rkt:364:33 [61] 35.0% ??? [37] 65.0% [69] 1028(0.8%) 716(0.5%) ??? ...ects/racket/contract/private/guts.rkt:772:8 bigvalue? [76] 30.4% --------------------------------------------------------------------------- random-ranges [62] 100.0% [70] 698(0.5%) 698(0.5%) build--> ...act/private/arrow-val-first.rkt:1088:0 --------------------------------------------------------------------------- lambda-clause-expander [63] 20.8% for-loop [74] 79.2% [71] 690(0.5%) 0(0.0%) finish-bodys (unknown source) for-loop [74] 100.0% --------------------------------------------------------------------------- ??? [66] 100.0% [72] 27590(20.7%) 1052(0.8%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [77] 74.6% ??? [78] 21.5% --------------------------------------------------------------------------- ??? [66] 100.0% [73] 15572(11.7%) 398(0.3%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [77] 55.8% ??? [78] 41.7% --------------------------------------------------------------------------- fallback-loop [13] 3.6% for-loop [74] 9.5% loop [67] 13.7% loop! [65] 18.0% run-module-instance!125 [79] 19.4% finish-bodys [71] 35.9% [74] 1604(1.2%) 540(0.4%) for-loop (unknown source) finish-bodys [71] 28.7% run-module-instance!125 [79] 19.4% compile5 [82] 18.0% for-loop [74] 9.5% namespace->name [83] 8.3% loop [67] 7.2% temp37_0 [84] 5.1% --------------------------------------------------------------------------- loop [67] 100.0% [75] 636(0.5%) 0(0.0%) gf (unknown source) cache-or-reuse-hash [80] 54.4% propagation-apply [81] 45.6% --------------------------------------------------------------------------- ??? [69] 100.0% [76] 312(0.2%) 312(0.2%) bigvalue? ...implify-bug/src/syntax/types.rkt:19:0 --------------------------------------------------------------------------- sig+exp->bigfloat [43] 2.1% bf [54] 4.7% bfneg [73] 27.7% bfadd [72] 65.6% [77] 31392(23.6%) 31392(23.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 --------------------------------------------------------------------------- bf [54] 9.3% bfadd [72] 43.4% bfneg [73] 47.3% [78] 13710(10.3%) 13710(10.3%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4 --------------------------------------------------------------------------- for-loop [74] 100.0% [79] 626(0.5%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [74] 100.0% --------------------------------------------------------------------------- gf [75] 100.0% [80] 346(0.3%) 346(0.3%) cache-or-reuse-hash (unknown source) --------------------------------------------------------------------------- gf [75] 100.0% [81] 290(0.2%) 290(0.2%) propagation-apply (unknown source) --------------------------------------------------------------------------- for-loop [74] 100.0% [82] 288(0.2%) 0(0.0%) compile5 (unknown source) compile-let13 [85] 100.0% --------------------------------------------------------------------------- for-loop [74] 100.0% [83] 266(0.2%) 266(0.2%) namespace->name (unknown source) --------------------------------------------------------------------------- for-loop [74] 100.0% [84] 164(0.1%) 0(0.0%) temp37_0 (unknown source) [running body] [86] 100.0% --------------------------------------------------------------------------- compile5 [82] 100.0% [85] 288(0.2%) 288(0.2%) compile-let13 (unknown source) --------------------------------------------------------------------------- temp37_0 [84] 100.0% [86] 164(0.1%) 0(0.0%) [running body] ...compiler/private/mach-o.rkt":##f cross-system-library-subpath2 [87]100.0% --------------------------------------------------------------------------- [running body] [86] 100.0% [87] 164(0.1%) 0(0.0%) cross-system-library-subpath2 ...s-system.rkt:71:0 compute-cross! [88] 100.0% --------------------------------------------------------------------------- cross-system-library-subpath2 [87]100.0% [88] 164(0.1%) 0(0.0%) compute-cross! ...ects/setup/cross-system.rkt:12:0 read [89] 100.0% --------------------------------------------------------------------------- compute-cross! [88] 100.0% [89] 164(0.1%) 164(0.1%) read (unknown source) ---------------------------------------------------------------------------