Profiling results ----------------- Total cpu time observed: 6410ms (out of 6720ms) Number of samples taken: 20 (once every 320ms) ==================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================== ??? [16] 100.0% [1] 6410(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% -------------------------------------------------------------------- ??? [16] 100.0% [2] 630(9.8%) 0(0.0%) errors ...bie/move-desugaring/src/points.rkt:228:0 for-loop [5] 100.0% -------------------------------------------------------------------- ??? [16] 100.0% [3] 616(9.6%) 0(0.0%) run-improve40 ...desugaring/src/mainloop.rkt:336:0 simplify! [6] 100.0% -------------------------------------------------------------------- profile-thunk16 [1] 100.0% [4] 6410(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [16] 100.0% -------------------------------------------------------------------- errors [2] 100.0% [5] 630(9.8%) 0(0.0%) for-loop ...e/move-desugaring/src/points.rkt:230:2 ??? [16] 100.0% -------------------------------------------------------------------- run-improve40 [3] 100.0% [6] 616(9.6%) 0(0.0%) simplify! ...ove-desugaring/src/mainloop.rkt:213:0 ??? [7] 100.0% -------------------------------------------------------------------- simplify! [6] 100.0% [7] 616(9.6%) 0(0.0%) ??? .../move-desugaring/src/core/simplify.rkt:26:0 for-loop [8] 52.6% one-iter [9] 47.4% -------------------------------------------------------------------- ??? [7] 100.0% [8] 324(5.1%) 0(0.0%) for-loop ...-desugaring/src/core/simplify.rkt:33:2 one-iter [9] 100.0% -------------------------------------------------------------------- ??? [7] 47.4% for-loop [8] 52.6% [9] 616(9.6%) 0(0.0%) one-iter ...-desugaring/src/core/simplify.rkt:86:0 find-matches [10] 52.6% for-loop [11] 47.4% -------------------------------------------------------------------- one-iter [9] 100.0% [10] 324(5.1%) 0(0.0%) find-matches ...ugaring/src/core/simplify.rkt:56:0 for-loop [12] 100.0% -------------------------------------------------------------------- one-iter [9] 100.0% [11] 292(4.6%) 0(0.0%) for-loop ...desugaring/src/core/simplify.rkt:111:2 set-precompute! [13] 100.0% -------------------------------------------------------------------- for-loop [12] 50.0% find-matches [10] 50.0% [12] 324(5.1%) 0(0.0%) for-loop ...-desugaring/src/core/simplify.rkt:58:8 for-loop [12] 50.0% match-e [14] 50.0% -------------------------------------------------------------------- for-loop [11] 100.0% [13] 292(4.6%) 0(0.0%) set-precompute! ...ing/src/core/simplify.rkt:117:0 for-loop [15] 100.0% -------------------------------------------------------------------- for-loop [12] 100.0% [14] 324(5.1%) 0(0.0%) match-e ...ove-desugaring/src/core/ematch.rkt:39:0 for-loop [17] 100.0% -------------------------------------------------------------------- set-precompute! [13] 100.0% [15] 292(4.6%) 0(0.0%) for-loop ...desugaring/src/core/simplify.rkt:119:2 ??? [16] 100.0% -------------------------------------------------------------------- for-loop [15] 1.5% for-loop [5] 3.3% run [4] 47.6% [16] 6410(100.0%) 292(4.6%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 47.6% prepare-points-intervals [18] 38.0% run-improve40 [3] 4.0% errors [2] 3.3% oracle-error [20] 2.3% ??? [28] 1.7% ulp-difference [19] 1.6% -------------------------------------------------------------------- match-e [14] 100.0% [17] 324(5.1%) 324(5.1%) for-loop ...e-desugaring/src/core/ematch.rkt:52:11 -------------------------------------------------------------------- ??? [16] 100.0% [18] 4874(76.0%) 0(0.0%) prepare-points-intervals ...g/src/points.rkt:133:0 loop [21] 100.0% -------------------------------------------------------------------- ??? [16] 100.0% [19] 312(4.9%) 0(0.0%) ulp-difference ...ve-desugaring/src/float.rkt:14:0 return/no-unsupplied [36] 100.0% -------------------------------------------------------------------- ??? [16] 100.0% [20] 290(4.5%) 0(0.0%) oracle-error ...ve-desugaring/src/points.rkt:212:0 for-loop [22] 100.0% -------------------------------------------------------------------- prepare-points-intervals [18] 100.0% [21] 4874(76.0%) 0(0.0%) loop ...erbie/move-desugaring/src/points.rkt:145:4 loop [23] 100.0% -------------------------------------------------------------------- oracle-error [20] 100.0% [22] 290(4.5%) 0(0.0%) for-loop ...e/move-desugaring/src/points.rkt:213:2 map [24] 100.0% -------------------------------------------------------------------- loop [21] 100.0% [23] 4874(76.0%) 0(0.0%) loop ...erbie/move-desugaring/src/points.rkt:104:2 ??? [25] 87.1% ??? [28] 12.9% -------------------------------------------------------------------- for-loop [22] 100.0% [24] 290(4.5%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 ??? [26] 100.0% -------------------------------------------------------------------- loop [23] 100.0% [25] 4244(66.2%) 0(0.0%) ??? ...rbie/move-desugaring/src/programs.rkt:146:2 ??? [27] 100.0% -------------------------------------------------------------------- map [24] 100.0% [26] 290(4.5%) 0(0.0%) ??? ...erbie/move-desugaring/src/points.rkt:214:26 ??? [28] 100.0% -------------------------------------------------------------------- ??? [25] 100.0% [27] 4244(66.2%) 0(0.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [28] 62.0% ??? [29] 38.0% -------------------------------------------------------------------- ??? [26] 7.5% ??? [16] 8.2% loop [23] 16.3% ??? [27] 68.0% [28] 3870(60.4%) 290(4.5%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ival-mult [30] 68.0% ->flonum [32] 24.5% -------------------------------------------------------------------- fold-binary-pred [40] 16.7% ??? [27] 83.3% [29] 1936(30.2%) 324(5.1%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-add [31] 50.1% ival-div [33] 33.2% -------------------------------------------------------------------- ??? [28] 100.0% [30] 2632(41.1%) 988(15.4%) ival-mult ...-desugaring/src/biginterval.rkt:105:0 bf* [35] 39.1% classify-ival [34] 23.3% -------------------------------------------------------------------- ??? [29] 100.0% [31] 970(15.1%) 332(5.2%) ival-add ...ve-desugaring/src/biginterval.rkt:87:0 ??? [38] 65.8% -------------------------------------------------------------------- ??? [28] 100.0% [32] 948(14.8%) 294(4.6%) ->flonum .../move-desugaring/src/programs.rkt:38:0 ??? [37] 35.4% return/no-unsupplied [36] 33.5% -------------------------------------------------------------------- ??? [29] 100.0% [33] 642(10.0%) 0(0.0%) ival-div ...e-desugaring/src/biginterval.rkt:141:0 classify-ival [34] 100.0% -------------------------------------------------------------------- ival-mult [30] 48.9% ival-div [33] 51.1% [34] 1256(19.6%) 284(4.4%) classify-ival ...ugaring/src/biginterval.rkt:310:0 force [39] 28.5% fold-binary-pred [40] 25.8% ...higher-order.rkt:357:33 [42] 23.1% -------------------------------------------------------------------- ival-mult [30] 100.0% [35] 1030(16.1%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [38] 100.0% -------------------------------------------------------------------- ulp-difference [19] 49.5% ->flonum [32] 50.5% [36] 630(9.8%) 318(5.0%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 filter [41] 49.5% -------------------------------------------------------------------- ->flonum [32] 100.0% [37] 336(5.2%) 336(5.2%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 -------------------------------------------------------------------- ival-add [31] 38.2% bf* [35] 61.8% [38] 1668(26.0%) 302(4.7%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [43] 81.9% -------------------------------------------------------------------- classify-ival [34] 100.0% [39] 358(5.6%) 358(5.6%) force ...collects/racket/private/promise.rkt:109:0 -------------------------------------------------------------------- classify-ival [34] 100.0% [40] 324(5.1%) 0(0.0%) fold-binary-pred ...gfloat/bigfloat-mpfr.rkt:117:0 ??? [29] 100.0% -------------------------------------------------------------------- return/no-unsupplied [36] 100.0% [41] 312(4.9%) 312(4.9%) filter ...0/collects/racket/private/list.rkt:256:2 -------------------------------------------------------------------- classify-ival [34] 100.0% [42] 290(4.5%) 290(4.5%) ...higher-order.rkt:357:33 (unknown source) -------------------------------------------------------------------- ??? [38] 100.0% [43] 1366(21.3%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [44] 71.9% ??? [45] 28.1% -------------------------------------------------------------------- bfmul [43] 100.0% [44] 982(15.3%) 982(15.3%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 -------------------------------------------------------------------- bfmul [43] 100.0% [45] 384(6.0%) 384(6.0%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 --------------------------------------------------------------------