Profiling results ----------------- Total cpu time observed: 139430ms (out of 142016ms) Number of samples taken: 354 (once every 394ms) =============================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================================================== ??? [30] 100.0% [1] 139430(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [6] 100.0% ----------------------------------------------------------------------------------------------- ??? [30] 100.0% [2] 7542(5.4%) 0(0.0%) run-improve43 ...dirty-bits/src/mainloop.rkt:339:0 setup-prog!34 [7] 84.1% for-loop [8] 15.9% ----------------------------------------------------------------------------------------------- hash-ref! [42] 100.0% [3] 2034(1.5%) 0(0.0%) ??? ...herbie/no-dirty-bits/src/programs.rkt:142:5 loop [38] 100.0% ----------------------------------------------------------------------------------------------- loop [46] 46.4% for-loop [54] 53.6% [4] 642(0.5%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [9] 100.0% ----------------------------------------------------------------------------------------------- for-loop [54] 100.0% [5] 298(0.2%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [10] 100.0% ----------------------------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [6] 139430(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [30] 100.0% ----------------------------------------------------------------------------------------------- run-improve43 [2] 100.0% [7] 6344(4.5%) 0(0.0%) setup-prog!34 ...-dirty-bits/src/mainloop.rkt:67:0 loop [11] 100.0% ----------------------------------------------------------------------------------------------- run-improve43 [2] 100.0% [8] 1198(0.9%) 0(0.0%) for-loop ...e/no-dirty-bits/src/mainloop.rkt:354:4 run-iter! [12] 100.0% ----------------------------------------------------------------------------------------------- syntax-e [4] 100.0% [9] 642(0.5%) 0(0.0%) syntax-e/no-taint (unknown source) loop [46] 100.0% ----------------------------------------------------------------------------------------------- dispatch-transformer41 [5] 100.0% [10] 298(0.2%) 0(0.0%) apply-transformer52 (unknown source) apply-transformer-in-context [13] 100.0% ----------------------------------------------------------------------------------------------- setup-prog!34 [7] 4.7% ??? [30] 95.3% [11] 135794(97.4%) 0(0.0%) loop .../herbie/no-dirty-bits/src/points.rkt:300:2 loop [19] 35.8% loop [14] 33.4% make-exacts-walkup [20] 29.8% for-loop [15] 0.9% ----------------------------------------------------------------------------------------------- for-loop [8] 100.0% [12] 1198(0.9%) 0(0.0%) run-iter! .../no-dirty-bits/src/mainloop.rkt:320:0 localize! [16] 75.0% finalize-iter! [17] 25.0% ----------------------------------------------------------------------------------------------- apply-transformer52 [10] 100.0% [13] 298(0.2%) 0(0.0%) apply-transformer-in-context (unknown source) parse-app [18] 100.0% ----------------------------------------------------------------------------------------------- loop [11] 100.0% [14] 45380(32.5%) 0(0.0%) loop .../herbie/no-dirty-bits/src/points.rkt:261:2 loop [19] 59.0% make-exacts-walkup [20] 41.0% ----------------------------------------------------------------------------------------------- loop [11] 100.0% [15] 1222(0.9%) 0(0.0%) for-loop ...ie/no-dirty-bits/src/points.rkt:320:19 ??? [21] 100.0% ----------------------------------------------------------------------------------------------- run-iter! [12] 100.0% [16] 898(0.6%) 0(0.0%) localize! .../no-dirty-bits/src/mainloop.rkt:120:0 localize-error [22] 100.0% ----------------------------------------------------------------------------------------------- run-iter! [12] 100.0% [17] 300(0.2%) 0(0.0%) finalize-iter! ...irty-bits/src/mainloop.rkt:271:0 ??? [23] 100.0% ----------------------------------------------------------------------------------------------- apply-transformer-in-context [13] 100.0% [18] 298(0.2%) 0(0.0%) parse-app ...collects/racket/private/kw.rkt:1105:2 syntax->list [24] 100.0% ----------------------------------------------------------------------------------------------- loop [14] 35.5% loop [11] 64.5% [19] 75444(54.1%) 0(0.0%) loop .../herbie/no-dirty-bits/src/points.rkt:244:4 loop [38] 100.0% ----------------------------------------------------------------------------------------------- loop [14] 31.5% loop [11] 68.5% [20] 59128(42.4%) 0(0.0%) make-exacts-walkup ...ty-bits/src/points.rkt:240:0 loop [38] 94.9% eval-prog [28] 5.1% ----------------------------------------------------------------------------------------------- for-loop [15] 100.0% [21] 1222(0.9%) 312(0.2%) ??? ...s/herbie/no-dirty-bits/src/points.rkt:127:2 ??? [67] 74.5% ----------------------------------------------------------------------------------------------- localize! [16] 100.0% [22] 898(0.6%) 0(0.0%) localize-error ...-bits/src/core/localize.rkt:57:0 hash-ref! [42] 100.0% ----------------------------------------------------------------------------------------------- finalize-iter! [17] 100.0% [23] 300(0.2%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 atab-add-altns [25] 100.0% ----------------------------------------------------------------------------------------------- parse-app [18] 100.0% [24] 298(0.2%) 0(0.0%) syntax->list (unknown source) loop [46] 100.0% ----------------------------------------------------------------------------------------------- ??? [23] 100.0% [25] 300(0.2%) 0(0.0%) atab-add-altns ...bits/src/core/alt-table.rkt:50:0 atab-add-altn [26] 100.0% ----------------------------------------------------------------------------------------------- atab-add-altns [25] 100.0% [26] 300(0.2%) 0(0.0%) atab-add-altn ...bits/src/core/alt-table.rkt:202:0 errors [27] 100.0% ----------------------------------------------------------------------------------------------- atab-add-altn [26] 25.2% ??? [30] 74.8% [27] 1192(0.9%) 0(0.0%) errors ...erbie/no-dirty-bits/src/points.rkt:223:0 for-loop [29] 75.0% eval-prog [28] 25.0% ----------------------------------------------------------------------------------------------- errors [27] 9.1% make-exacts-walkup [20] 90.9% [28] 3290(2.4%) 0(0.0%) eval-prog ...e/no-dirty-bits/src/programs.rkt:83:0 hash-ref! [42] 70.6% temp68_2 [31] 19.5% loop [46] 9.8% ----------------------------------------------------------------------------------------------- errors [27] 100.0% [29] 894(0.6%) 0(0.0%) for-loop ...bie/no-dirty-bits/src/points.rkt:225:2 ??? [30] 100.0% ----------------------------------------------------------------------------------------------- for-loop [29] 0.2% run [6] 49.9% [30] 139430(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.9% loop [11] 46.4% run-improve43 [2] 2.7% oracle-error [32] 0.3% errors [27] 0.2% eval-errors [34] 0.2% ??? [59] 0.1% ??? [67] 0.1% ----------------------------------------------------------------------------------------------- eval-prog [28] 100.0% [31] 642(0.5%) 0(0.0%) temp68_2 (unknown source) compile16 [33] 100.0% ----------------------------------------------------------------------------------------------- ??? [30] 100.0% [32] 924(0.7%) 0(0.0%) oracle-error ...no-dirty-bits/src/points.rkt:207:0 for-loop [35] 100.0% ----------------------------------------------------------------------------------------------- temp68_2 [31] 100.0% [33] 642(0.5%) 0(0.0%) compile16 (unknown source) temp74_0 [36] 100.0% ----------------------------------------------------------------------------------------------- ??? [30] 100.0% [34] 622(0.4%) 0(0.0%) eval-errors .../no-dirty-bits/src/points.rkt:198:0 for-loop [37] 100.0% ----------------------------------------------------------------------------------------------- oracle-error [32] 100.0% [35] 924(0.7%) 336(0.2%) for-loop ...bie/no-dirty-bits/src/points.rkt:208:2 map [50] 32.5% loop [38] 31.2% ----------------------------------------------------------------------------------------------- compile16 [33] 100.0% [36] 642(0.5%) 0(0.0%) temp74_0 (unknown source) expand-single [39] 100.0% ----------------------------------------------------------------------------------------------- eval-errors [34] 100.0% [37] 622(0.4%) 0(0.0%) for-loop ...bie/no-dirty-bits/src/points.rkt:200:2 ulp-difference [40] 100.0% ----------------------------------------------------------------------------------------------- map [50] 0.0% for-loop [35] 0.2% make-exacts-walkup [20] 1.0% loop [19] 1.5% ??? [3] 1.5% loop [38] 95.8% [38] 134500(96.5%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [38] 95.8% composed [41] 2.3% hash-ref! [42] 1.5% ??? [59] 0.4% ??? [66] 0.0% ----------------------------------------------------------------------------------------------- temp74_0 [36] 100.0% [39] 642(0.5%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [43] 100.0% ----------------------------------------------------------------------------------------------- for-loop [37] 100.0% [40] 622(0.4%) 0(0.0%) ulp-difference ...no-dirty-bits/src/float.rkt:46:0 infer-representation [44] 100.0% ----------------------------------------------------------------------------------------------- loop [38] 100.0% [41] 126108(90.4%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 ??? [59] 100.0% ----------------------------------------------------------------------------------------------- map [50] 11.6% localize-error [22] 16.3% eval-prog [28] 24.8% loop [38] 47.3% [42] 3222(2.3%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [3] 47.3% parse-loop30 [47] 27.9% bigfloat-hash [45] 24.8% ----------------------------------------------------------------------------------------------- loop [46] 33.5% expand-single [39] 66.5% [43] 966(0.7%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [48] 66.5% loop [46] 33.5% ----------------------------------------------------------------------------------------------- ulp-difference [40] 100.0% [44] 622(0.4%) 296(0.2%) infer-representation ...ty-bits/src/float.rkt:15:0 return/no-unsupplied [86] 52.4% ----------------------------------------------------------------------------------------------- hash-ref! [42] 100.0% [45] 2324(1.7%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:167:0 sig+exp->bigfloat [49] 87.8% bfcanonicalize [53] 12.2% ----------------------------------------------------------------------------------------------- loop [46] 11.2% expand-capturing-lifts [43] 11.2% eval-prog [28] 11.2% syntax->list [24] 15.4% syntax-e/no-taint [9] 51.0% [46] 966(0.7%) 298(0.2%) loop (unknown source) gf [52] 35.6% syntax-e [4] 15.4% expand-capturing-lifts [43] 11.2% loop [46] 11.2% for-loop [54] 11.2% ----------------------------------------------------------------------------------------------- hash-ref! [42] 100.0% [47] 898(0.6%) 0(0.0%) parse-loop30 ...s/racket/match/compiler.rkt:418:15 map [50] 100.0% ----------------------------------------------------------------------------------------------- expand-capturing-lifts [43] 100.0% [48] 642(0.5%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [51] 100.0% ----------------------------------------------------------------------------------------------- bigfloat-hash [45] 100.0% [49] 2040(1.5%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:387:0 new-mpfr [90] 85.8% integer->mpz [58] 14.2% ----------------------------------------------------------------------------------------------- for-loop [35] 25.0% parse-loop30 [47] 75.0% [50] 1198(0.9%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 hash-ref! [42] 31.1% ??? [57] 25.0% localize-on-expression [56] 25.0% loop [38] 18.8% ----------------------------------------------------------------------------------------------- lambda-clause-expander [48] 17.3% for-loop [54] 82.7% [51] 642(0.5%) 0(0.0%) finish-bodys (unknown source) for-loop [54] 100.0% ----------------------------------------------------------------------------------------------- loop [46] 100.0% [52] 344(0.2%) 0(0.0%) gf (unknown source) cache-or-reuse-set [55] 100.0% ----------------------------------------------------------------------------------------------- bigfloat-hash [45] 100.0% [53] 284(0.2%) 284(0.2%) bfcanonicalize .../private/bigfloat/mpfr.rkt:157:0 ----------------------------------------------------------------------------------------------- temp37_0 [62] 5.8% for-loop [54] 9.8% run-module-instance!125 [60] 13.9% loop [46] 13.9% finish-bodys [51] 56.7% [54] 966(0.7%) 0(0.0%) for-loop (unknown source) finish-bodys [51] 46.9% run-module-instance!125 [60] 13.9% for-loop [54] 9.8% [running body] [63] 8.1% syntax-e [4] 5.9% temp37_0 [62] 5.8% namespace-module-use->module+linklet-instances144 [61] 5.8% dispatch-transformer41 [5] 3.9% ----------------------------------------------------------------------------------------------- gf [52] 100.0% [55] 344(0.2%) 344(0.2%) cache-or-reuse-set (unknown source) ----------------------------------------------------------------------------------------------- map [50] 100.0% [56] 300(0.2%) 300(0.2%) localize-on-expression ...c/core/localize.rkt:16:0 ----------------------------------------------------------------------------------------------- map [50] 100.0% [57] 300(0.2%) 0(0.0%) ??? .../herbie/no-dirty-bits/src/points.rkt:209:26 ??? [59] 100.0% ----------------------------------------------------------------------------------------------- sig+exp->bigfloat [49] 100.0% [58] 290(0.2%) 290(0.2%) integer->mpz ...math/private/bigfloat/gmp.rkt:87:0 ----------------------------------------------------------------------------------------------- ??? [57] 0.2% ??? [30] 0.5% loop [38] 4.3% composed [41] 95.0% [59] 132768(95.2%) 496(0.4%) ??? .../herbie/no-dirty-bits/src/programs.rkt:99:2 ??? [64] 88.9% ??? [67] 10.8% ----------------------------------------------------------------------------------------------- for-loop [54] 100.0% [60] 324(0.2%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [54] 100.0% ----------------------------------------------------------------------------------------------- for-loop [54] 100.0% [61] 168(0.1%) 0(0.0%) namespace-module-use->module+linklet-instances144 ... module-path-index-resolve [65] 100.0% ----------------------------------------------------------------------------------------------- for-loop [54] 100.0% [62] 168(0.1%) 0(0.0%) temp37_0 (unknown source) for-loop [54] 100.0% ----------------------------------------------------------------------------------------------- for-loop [54] 100.0% [63] 156(0.1%) 156(0.1%) [running body] ...ollects/syntax/contract.rkt":##f ----------------------------------------------------------------------------------------------- ??? [59] 100.0% [64] 117970(84.6%) 1224(0.9%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [66] 98.6% ??? [67] 0.4% ----------------------------------------------------------------------------------------------- namespace-module-use->module+linklet-instances144 [61]100.0% [65] 168(0.1%) 0(0.0%) module-path-index-resolve (unknown source) standard-module-name-resolver [68] 100.0% ----------------------------------------------------------------------------------------------- loop [38] 0.5% ??? [64] 99.5% [66] 116918(83.9%) 710(0.5%) ??? ...tract/private/arrow-higher-order.rkt:361:33 bf-complex-exp [69] 70.8% bf-complex-div [70] 24.7% bf-complex-add [72] 2.7% bf-complex-neg [75] 1.2% ----------------------------------------------------------------------------------------------- ??? [30] 1.8% ??? [64] 2.7% ??? [21] 5.7% ??? [59] 89.8% [67] 15932(11.4%) 1418(1.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 bf [71] 61.4% ->bf [73] 14.7% ->flonum [74] 9.3% sample-multi-bounded [76] 5.7% ----------------------------------------------------------------------------------------------- module-path-index-resolve [65] 100.0% [68] 168(0.1%) 168(0.1%) standard-module-name-resolver (unknown source) ----------------------------------------------------------------------------------------------- ??? [66] 100.0% [69] 82756(59.4%) 680(0.5%) bf-complex-exp ...rty-bits/src/bigcomplex.rkt:37:0 ??? [82] 91.3% bf* [77] 7.1% ...higher-order.rkt:361:33 [78] 0.8% ----------------------------------------------------------------------------------------------- ??? [66] 100.0% [70] 28854(20.7%) 712(0.5%) bf-complex-div ...rty-bits/src/bigcomplex.rkt:54:0 bf* [77] 46.8% ??? [82] 45.8% ...higher-order.rkt:361:33 [78] 4.9% ----------------------------------------------------------------------------------------------- ??? [67] 100.0% [71] 9782(7.0%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [90] 88.8% ??? [91] 11.2% ----------------------------------------------------------------------------------------------- ??? [66] 100.0% [72] 3194(2.3%) 362(0.3%) bf-complex-add ...rty-bits/src/bigcomplex.rkt:23:0 ??? [82] 88.7% ----------------------------------------------------------------------------------------------- ??? [67] 100.0% [73] 2340(1.7%) 296(0.2%) ->bf ...s/herbie/no-dirty-bits/src/float.rkt:170:0 for-loop [79] 87.4% ----------------------------------------------------------------------------------------------- ??? [67] 100.0% [74] 1482(1.1%) 600(0.4%) ->flonum ...rbie/no-dirty-bits/src/float.rkt:149:0 ??? [80] 59.5% ----------------------------------------------------------------------------------------------- ??? [66] 100.0% [75] 1404(1.0%) 0(0.0%) bf-complex-neg ...rty-bits/src/bigcomplex.rkt:20:0 ??? [82] 73.9% ...higher-order.rkt:361:33 [78] 26.1% ----------------------------------------------------------------------------------------------- ??? [67] 100.0% [76] 910(0.7%) 300(0.2%) sample-multi-bounded ...y-bits/src/points.rkt:15:0 ??? [84] 34.1% loop [81] 33.0% ----------------------------------------------------------------------------------------------- bf-complex-exp [69] 30.2% bf-complex-div [70] 69.8% [77] 19342(13.9%) 1036(0.7%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [82] 94.6% ----------------------------------------------------------------------------------------------- bf-complex-neg [75] 15.0% bf-complex-exp [69] 26.8% bf-complex-div [70] 58.2% [78] 2444(1.8%) 1016(0.7%) ...higher-order.rkt:361:33 (unknown source) ??? [83] 58.4% ----------------------------------------------------------------------------------------------- ->bf [73] 100.0% [79] 2044(1.5%) 1024(0.7%) for-loop ...erbie/no-dirty-bits/src/float.rkt:17:3 ??? [84] 33.8% return/no-unsupplied [86] 16.1% ----------------------------------------------------------------------------------------------- ->flonum [74] 100.0% [80] 882(0.6%) 0(0.0%) ??? ...ies/herbie/no-dirty-bits/src/float.rkt:23:2 for-loop [85] 100.0% ----------------------------------------------------------------------------------------------- sample-multi-bounded [76] 100.0% [81] 300(0.2%) 300(0.2%) loop ...s/herbie/no-dirty-bits/src/points.rkt:42:6 ----------------------------------------------------------------------------------------------- bf-complex-neg [75] 0.9% bf-complex-add [72] 2.6% bf-complex-div [70] 11.9% bf* [77] 16.5% bf-complex-exp [69] 68.1% [82] 110974(79.6%) 73974(53.1%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [87] 24.6% bfsin [88] 8.8% ----------------------------------------------------------------------------------------------- ...higher-order.rkt:361:33 [78] 100.0% [83] 1428(1.0%) 708(0.5%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [89] 50.4% ----------------------------------------------------------------------------------------------- sample-multi-bounded [76] 31.0% for-loop [79] 69.0% [84] 1000(0.7%) 1000(0.7%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ----------------------------------------------------------------------------------------------- ??? [80] 100.0% [85] 882(0.6%) 882(0.6%) for-loop ...erbie/no-dirty-bits/src/float.rkt:24:5 ----------------------------------------------------------------------------------------------- infer-representation [44] 49.7% for-loop [79] 50.3% [86] 656(0.5%) 656(0.5%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 ----------------------------------------------------------------------------------------------- ??? [82] 100.0% [87] 27258(19.5%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [90] 69.8% ??? [91] 30.2% ----------------------------------------------------------------------------------------------- ??? [82] 100.0% [88] 9742(7.0%) 688(0.5%) bfsin ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [90] 57.7% ??? [91] 35.2% ----------------------------------------------------------------------------------------------- ??? [83] 100.0% [89] 720(0.5%) 720(0.5%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ----------------------------------------------------------------------------------------------- sig+exp->bigfloat [49] 5.0% bfsin [88] 16.0% bf [71] 24.8% bfmul [87] 54.2% [90] 35076(25.2%) 35076(25.2%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ----------------------------------------------------------------------------------------------- bf [71] 8.6% bfsin [88] 26.9% bfmul [87] 64.5% [91] 12768(9.2%) 12768(9.2%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 -----------------------------------------------------------------------------------------------