Profiling results ----------------- Total cpu time observed: 136526ms (out of 139064ms) Number of samples taken: 349 (once every 391ms) ======================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================== ??? [7] 100.0% [1] 136526(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ------------------------------------------------------------------------ ??? [7] 100.0% [2] 340(0.2%) 0(0.0%) errors ...erbie/no-dirty-bits/src/points.rkt:228:0 for-loop [5] 100.0% ------------------------------------------------------------------------ for-loop [60] 100.0% [3] 340(0.2%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [6] 100.0% ------------------------------------------------------------------------ profile-thunk16 [1] 100.0% [4] 136526(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [7] 100.0% ------------------------------------------------------------------------ errors [2] 100.0% [5] 340(0.2%) 0(0.0%) for-loop ...bie/no-dirty-bits/src/points.rkt:230:2 ??? [7] 100.0% ------------------------------------------------------------------------ dispatch-transformer41 [3] 100.0% [6] 340(0.2%) 0(0.0%) apply-transformer52 (unknown source) loop [51] 100.0% ------------------------------------------------------------------------ for-loop [5] 0.1% run [4] 50.0% [7] 136526(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [11] 46.8% run-improve40 [8] 2.7% eval-errors [9] 0.2% oracle-error [10] 0.1% errors [2] 0.1% ??? [48] 0.1% ------------------------------------------------------------------------ ??? [7] 100.0% [8] 7438(5.4%) 0(0.0%) run-improve40 ...dirty-bits/src/mainloop.rkt:336:0 loop [11] 82.5% for-loop [12] 17.5% ------------------------------------------------------------------------ ??? [7] 100.0% [9] 572(0.4%) 0(0.0%) eval-errors .../no-dirty-bits/src/points.rkt:203:0 for-loop [13] 100.0% ------------------------------------------------------------------------ ??? [7] 100.0% [10] 280(0.2%) 0(0.0%) oracle-error ...no-dirty-bits/src/points.rkt:212:0 for-loop [14] 100.0% ------------------------------------------------------------------------ run-improve40 [8] 4.6% ??? [7] 95.4% [11] 134034(98.2%) 0(0.0%) loop .../herbie/no-dirty-bits/src/points.rkt:304:2 loop [20] 53.2% loop [15] 31.0% make-exacts-walkup [21] 12.1% make-exacts-halfpoints [16] 3.0% for-loop [18] 0.7% ------------------------------------------------------------------------ run-improve40 [8] 100.0% [12] 1300(1.0%) 0(0.0%) for-loop ...e/no-dirty-bits/src/mainloop.rkt:351:4 run-iter! [17] 100.0% ------------------------------------------------------------------------ eval-errors [9] 100.0% [13] 572(0.4%) 0(0.0%) for-loop ...bie/no-dirty-bits/src/points.rkt:205:2 point-error [19] 50.7% ??? [50] 49.3% ------------------------------------------------------------------------ oracle-error [10] 100.0% [14] 280(0.2%) 0(0.0%) for-loop ...bie/no-dirty-bits/src/points.rkt:213:2 loop [44] 100.0% ------------------------------------------------------------------------ loop [11] 100.0% [15] 41556(30.4%) 0(0.0%) loop .../herbie/no-dirty-bits/src/points.rkt:265:2 loop [20] 58.3% make-exacts-walkup [21] 40.9% eval-prog [26] 0.8% ------------------------------------------------------------------------ loop [11] 100.0% [16] 3956(2.9%) 0(0.0%) make-exacts-halfpoints ...its/src/points.rkt:263:0 make-exacts-walkup [21] 68.0% loop [20] 32.0% ------------------------------------------------------------------------ for-loop [12] 100.0% [17] 1300(1.0%) 0(0.0%) run-iter! .../no-dirty-bits/src/mainloop.rkt:317:0 localize! [22] 76.9% simplify! [24] 23.1% ------------------------------------------------------------------------ loop [11] 100.0% [18] 948(0.7%) 0(0.0%) for-loop ...ie/no-dirty-bits/src/points.rkt:320:47 ??? [23] 100.0% ------------------------------------------------------------------------ for-loop [13] 100.0% [19] 290(0.2%) 0(0.0%) point-error .../no-dirty-bits/src/points.rkt:195:0 ulp-difference [25] 100.0% ------------------------------------------------------------------------ make-exacts-halfpoints [16] 1.3% loop [15] 25.0% loop [11] 73.7% [20] 96866(71.0%) 0(0.0%) loop .../herbie/no-dirty-bits/src/points.rkt:248:4 loop [44] 100.0% ------------------------------------------------------------------------ make-exacts-halfpoints [16] 7.5% loop [11] 45.2% loop [15] 47.3% [21] 35896(26.3%) 0(0.0%) make-exacts-walkup ...ty-bits/src/points.rkt:245:0 loop [44] 94.3% eval-prog [26] 5.7% ------------------------------------------------------------------------ run-iter! [17] 100.0% [22] 1000(0.7%) 0(0.0%) localize! .../no-dirty-bits/src/mainloop.rkt:116:0 localize-error [27] 100.0% ------------------------------------------------------------------------ for-loop [18] 100.0% [23] 948(0.7%) 0(0.0%) ??? ...s/herbie/no-dirty-bits/src/points.rkt:129:2 ??? [48] 100.0% ------------------------------------------------------------------------ run-iter! [17] 100.0% [24] 300(0.2%) 0(0.0%) simplify! .../no-dirty-bits/src/mainloop.rkt:213:0 ??? [28] 100.0% ------------------------------------------------------------------------ point-error [19] 100.0% [25] 290(0.2%) 290(0.2%) ulp-difference ...no-dirty-bits/src/float.rkt:14:0 ------------------------------------------------------------------------ loop [15] 13.6% make-exacts-walkup [21] 86.4% [26] 2382(1.7%) 0(0.0%) eval-prog .../no-dirty-bits/src/programs.rkt:130:0 hash-ref! [29] 40.5% loop [51] 30.6% inductor [30] 14.6% temp68_2 [31] 14.3% ------------------------------------------------------------------------ localize! [22] 100.0% [27] 1000(0.7%) 0(0.0%) localize-error ...-bits/src/core/localize.rkt:52:0 hash-ref! [29] 100.0% ------------------------------------------------------------------------ simplify! [24] 100.0% [28] 300(0.2%) 0(0.0%) ??? ...ie/no-dirty-bits/src/core/simplify.rkt:26:0 one-iter [32] 100.0% ------------------------------------------------------------------------ map [39] 16.8% localize-error [27] 16.8% loop [44] 25.5% eval-prog [26] 40.8% [29] 1964(1.4%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 bigfloat-hash [35] 40.8% parse-loop15 [33] 25.5% f9 [34] 25.5% ??? [37] 8.2% ------------------------------------------------------------------------ eval-prog [26] 33.3% inductor [30] 66.7% [30] 348(0.3%) 0(0.0%) inductor ...e/no-dirty-bits/src/programs.rkt:135:4 inductor [30] 66.7% bf [56] 33.3% ------------------------------------------------------------------------ eval-prog [26] 100.0% [31] 340(0.2%) 0(0.0%) temp68_2 (unknown source) compile16 [36] 100.0% ------------------------------------------------------------------------ ??? [28] 100.0% [32] 300(0.2%) 0(0.0%) one-iter ...-dirty-bits/src/core/simplify.rkt:82:0 find-matches [38] 100.0% ------------------------------------------------------------------------ hash-ref! [29] 100.0% [33] 1000(0.7%) 0(0.0%) parse-loop15 ...s/racket/match/compiler.rkt:418:15 loop [44] 100.0% ------------------------------------------------------------------------ hash-ref! [29] 100.0% [34] 1000(0.7%) 0(0.0%) f9 ....0/collects/racket/match/compiler.rkt:507:40 map [39] 100.0% ------------------------------------------------------------------------ hash-ref! [29] 100.0% [35] 964(0.7%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:167:0 sig+exp->bigfloat [40] 66.4% bfcanonicalize [42] 33.6% ------------------------------------------------------------------------ temp68_2 [31] 100.0% [36] 340(0.2%) 0(0.0%) compile16 (unknown source) temp74_0 [41] 100.0% ------------------------------------------------------------------------ hash-ref! [29] 100.0% [37] 324(0.2%) 0(0.0%) ??? ...herbie/no-dirty-bits/src/programs.rkt:189:5 loop [44] 100.0% ------------------------------------------------------------------------ one-iter [32] 100.0% [38] 300(0.2%) 0(0.0%) find-matches ...ty-bits/src/core/simplify.rkt:56:0 for-loop [43] 100.0% ------------------------------------------------------------------------ f9 [34] 100.0% [39] 1000(0.7%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 hash-ref! [29] 66.1% loop [44] 33.9% ------------------------------------------------------------------------ bigfloat-hash [35] 100.0% [40] 640(0.5%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:387:0 new-mpfr [76] 100.0% ------------------------------------------------------------------------ compile16 [36] 100.0% [41] 340(0.2%) 0(0.0%) temp74_0 (unknown source) expand-single [45] 100.0% ------------------------------------------------------------------------ bigfloat-hash [35] 100.0% [42] 324(0.2%) 324(0.2%) bfcanonicalize .../private/bigfloat/mpfr.rkt:157:0 ------------------------------------------------------------------------ for-loop [43] 50.0% find-matches [38] 50.0% [43] 300(0.2%) 0(0.0%) for-loop ...-dirty-bits/src/core/simplify.rkt:58:8 for-loop [43] 50.0% match-e [46] 50.0% ------------------------------------------------------------------------ map [39] 0.0% parse-loop15 [33] 0.0% for-loop [14] 0.2% ??? [37] 0.2% make-exacts-walkup [21] 1.2% loop [20] 2.1% loop [44] 96.1% [44] 132308(96.9%) 290(0.2%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [44] 96.1% composed [47] 3.0% ??? [50] 0.3% hash-ref! [29] 0.3% ??? [48] 0.2% ??? [59] 0.0% ------------------------------------------------------------------------ temp74_0 [41] 100.0% [45] 340(0.2%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [49] 100.0% ------------------------------------------------------------------------ for-loop [43] 100.0% [46] 300(0.2%) 300(0.2%) match-e .../no-dirty-bits/src/core/ematch.rkt:39:0 ------------------------------------------------------------------------ loop [44] 100.0% [47] 126914(93.0%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 ??? [50] 100.0% ------------------------------------------------------------------------ ??? [7] 15.1% ??? [23] 42.0% loop [44] 43.0% [48] 2258(1.7%) 978(0.7%) ??? ...tract/private/arrow-higher-order.rkt:357:33 sample-multi-bounded [52] 42.0% ->flonum [54] 14.7% ------------------------------------------------------------------------ expand-single [45] 31.8% loop [51] 68.2% [49] 1070(0.8%) 0(0.0%) expand-capturing-lifts (unknown source) loop [51] 68.2% lambda-clause-expander [53] 31.8% ------------------------------------------------------------------------ for-loop [13] 0.2% loop [44] 2.2% composed [47] 97.6% [50] 130006(95.2%) 1972(1.4%) ??? ...herbie/no-dirty-bits/src/programs.rkt:146:2 ??? [55] 96.1% bf [56] 2.4% ------------------------------------------------------------------------ loop [51] 22.7% expand-capturing-lifts [49] 22.7% eval-prog [26] 22.7% apply-transformer52 [6] 31.8% [51] 1070(0.8%) 340(0.2%) loop (unknown source) expand-capturing-lifts [49] 22.7% loop [51] 22.7% for-loop [60] 22.7% ------------------------------------------------------------------------ ??? [48] 100.0% [52] 948(0.7%) 648(0.5%) sample-multi-bounded ...y-bits/src/points.rkt:16:0 list-member? [58] 31.6% ------------------------------------------------------------------------ expand-capturing-lifts [49] 100.0% [53] 340(0.2%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [57] 100.0% ------------------------------------------------------------------------ ??? [48] 100.0% [54] 332(0.2%) 332(0.2%) ->flonum ...ie/no-dirty-bits/src/programs.rkt:38:0 ------------------------------------------------------------------------ ??? [50] 100.0% [55] 124930(91.5%) 632(0.5%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [59] 99.5% ------------------------------------------------------------------------ inductor [30] 10.1% ??? [50] 89.9% [56] 3452(2.5%) 338(0.2%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [76] 69.7% ??? [77] 20.5% ------------------------------------------------------------------------ lambda-clause-expander [53] 33.3% for-loop [60] 66.7% [57] 340(0.2%) 0(0.0%) finish-bodys (unknown source) for-loop [60] 100.0% ------------------------------------------------------------------------ sample-multi-bounded [52] 100.0% [58] 300(0.2%) 300(0.2%) list-member? ...llects/racket/private/set.rkt:24:0 ------------------------------------------------------------------------ loop [44] 0.8% ??? [55] 99.2% [59] 125298(91.8%) 348(0.3%) ??? ...tract/private/arrow-higher-order.rkt:361:33 bf-complex-exp [61] 73.0% bf-complex-div [62] 22.5% bf-complex-neg [63] 2.3% bf-complex-add [64] 2.0% ------------------------------------------------------------------------ for-loop [60] 7.9% finish-bodys [57] 23.8% run-module-instance!125 [65] 34.1% loop [51] 34.1% [60] 1070(0.8%) 0(0.0%) for-loop (unknown source) run-module-instance!125 [65] 34.1% [running body] [66] 17.8% [running body] [67] 16.4% finish-bodys [57] 15.9% for-loop [60] 7.9% dispatch-transformer41 [3] 7.9% ------------------------------------------------------------------------ ??? [59] 100.0% [61] 91430(67.0%) 1038(0.8%) bf-complex-exp ...rty-bits/src/bigcomplex.rkt:37:0 ??? [71] 91.9% bf* [68] 6.7% ...higher-order.rkt:361:33 [69] 0.3% ------------------------------------------------------------------------ ??? [59] 100.0% [62] 28166(20.6%) 2448(1.8%) bf-complex-div ...rty-bits/src/bigcomplex.rkt:54:0 ??? [71] 43.4% bf* [68] 42.8% ...higher-order.rkt:361:33 [69] 5.1% ------------------------------------------------------------------------ ??? [59] 100.0% [63] 2852(2.1%) 0(0.0%) bf-complex-neg ...rty-bits/src/bigcomplex.rkt:20:0 ??? [71] 100.0% ------------------------------------------------------------------------ ??? [59] 100.0% [64] 2502(1.8%) 0(0.0%) bf-complex-add ...rty-bits/src/bigcomplex.rkt:23:0 ??? [71] 100.0% ------------------------------------------------------------------------ for-loop [60] 100.0% [65] 730(0.5%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [60] 100.0% ------------------------------------------------------------------------ for-loop [60] 100.0% [66] 380(0.3%) 380(0.3%) [running body] ...et/contract/private/opt.rkt":##f ------------------------------------------------------------------------ for-loop [60] 100.0% [67] 350(0.3%) 0(0.0%) [running body] ...e/experimental/contract.rkt":##f ??? [70] 100.0% ------------------------------------------------------------------------ bf-complex-exp [61] 33.5% bf-complex-div [62] 66.5% [68] 18146(13.3%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [71] 100.0% ------------------------------------------------------------------------ bf-complex-exp [61] 17.4% bf-complex-div [62] 82.6% [69] 1726(1.3%) 1128(0.8%) ...higher-order.rkt:361:33 (unknown source) ??? [72] 34.6% ------------------------------------------------------------------------ [running body] [67] 100.0% [70] 350(0.3%) 0(0.0%) ??? ...llects/racket/contract/combinator.rkt:270:9 ??? [75] 100.0% ------------------------------------------------------------------------ bf-complex-add [64] 2.1% bf-complex-neg [63] 2.4% bf-complex-div [62] 10.2% bf* [68] 15.2% bf-complex-exp [61] 70.2% [71] 119738(87.7%) 78492(57.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [73] 20.5% bfneg [74] 13.9% ------------------------------------------------------------------------ ...higher-order.rkt:361:33 [69]100.0% [72] 598(0.4%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [75] 100.0% ------------------------------------------------------------------------ ??? [71] 100.0% [73] 24544(18.0%) 714(0.5%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [76] 70.9% ??? [77] 26.2% ------------------------------------------------------------------------ ??? [71] 100.0% [74] 16702(12.2%) 0(0.0%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [76] 81.4% ??? [77] 18.6% ------------------------------------------------------------------------ ??? [70] 36.9% ??? [72] 63.1% [75] 948(0.7%) 948(0.7%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ------------------------------------------------------------------------ sig+exp->bigfloat [40] 1.9% bf [56] 7.1% bfneg [74] 40.0% bfadd [73] 51.1% [76] 34042(24.9%) 34042(24.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ------------------------------------------------------------------------ bf [56] 6.9% bfneg [74] 30.3% bfadd [73] 62.8% [77] 10244(7.5%) 10244(7.5%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ------------------------------------------------------------------------