Profiling results ----------------- Total cpu time observed: 6728ms (out of 7004ms) Number of samples taken: 20 (once every 336ms) ===================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ===================================================================== run [7] 50.0% [1] 6728(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 50.0% loop [4] 47.9% run-improve39 [6] 2.1% --------------------------------------------------------------------- loop [47] 100.0% [2] 284(4.2%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [5] 100.0% --------------------------------------------------------------------- ??? [1] 100.0% [3] 6728(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [7] 100.0% --------------------------------------------------------------------- ??? [1] 100.0% [4] 6444(95.8%) 0(0.0%) loop ...s/herbie/typed-racket/src/points.rkt:230:2 make-exacts-intervals [8] 100.0% --------------------------------------------------------------------- dispatch-transformer41 [2] 100.0% [5] 284(4.2%) 0(0.0%) apply-transformer52 (unknown source) loop [47] 100.0% --------------------------------------------------------------------- ??? [1] 100.0% [6] 284(4.2%) 0(0.0%) run-improve39 ...ped-racket/src/mainloop.rkt:287:0 for-loop [9] 100.0% --------------------------------------------------------------------- profile-thunk16 [3] 100.0% [7] 6728(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% --------------------------------------------------------------------- loop [4] 100.0% [8] 6444(95.8%) 0(0.0%) make-exacts-intervals ...cket/src/points.rkt:171:0 for-loop [10] 100.0% --------------------------------------------------------------------- run-improve39 [6] 100.0% [9] 284(4.2%) 0(0.0%) for-loop ...ie/typed-racket/src/mainloop.rkt:304:8 run-iter! [11] 100.0% --------------------------------------------------------------------- make-exacts-intervals [8] 100.0% [10] 6444(95.8%) 0(0.0%) for-loop ...rbie/typed-racket/src/points.rkt:174:2 loop [12] 94.3% ??? [19] 5.7% --------------------------------------------------------------------- for-loop [9] 100.0% [11] 284(4.2%) 0(0.0%) run-iter! ...e/typed-racket/src/mainloop.rkt:268:0 choose-best-alt! [13] 100.0% --------------------------------------------------------------------- for-loop [10] 100.0% [12] 6074(90.3%) 296(4.4%) loop ...s/herbie/typed-racket/src/points.rkt:156:2 ??? [14] 89.4% ??? [19] 5.7% --------------------------------------------------------------------- run-iter! [11] 100.0% [13] 284(4.2%) 0(0.0%) choose-best-alt! ...-racket/src/mainloop.rkt:114:0 ??? [15] 100.0% --------------------------------------------------------------------- loop [12] 100.0% [14] 5432(80.7%) 0(0.0%) ??? .../herbie/typed-racket/src/programs.rkt:124:2 ??? [16] 82.8% ??? [18] 17.2% --------------------------------------------------------------------- choose-best-alt! [13] 100.0% [15] 284(4.2%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 ??? [17] 100.0% --------------------------------------------------------------------- ??? [14] 100.0% [16] 4498(66.9%) 684(10.2%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [18] 78.2% ??? [19] 6.6% --------------------------------------------------------------------- ??? [15] 100.0% [17] 284(4.2%) 0(0.0%) ??? ...ie/typed-racket/src/core/alt-table.rkt:54:0 ??? [19] 100.0% --------------------------------------------------------------------- ??? [14] 21.0% ??? [16] 79.0% [18] 4452(66.2%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-mult [20] 72.3% mk-ival [21] 21.0% ival-add [23] 6.7% --------------------------------------------------------------------- ??? [17] 21.9% ??? [16] 22.8% loop [12] 26.7% for-loop [10] 28.5% [19] 1296(19.3%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [22] 55.2% loop [24] 22.8% best-alt [25] 21.9% --------------------------------------------------------------------- ??? [18] 100.0% [20] 3218(47.8%) 694(10.3%) ival-mult ...typed-racket/src/biginterval.rkt:75:0 bfmin* [26] 23.0% bf* [27] 22.5% foldl [33] 21.8% bfmax* [29] 11.1% --------------------------------------------------------------------- ??? [18] 100.0% [21] 934(13.9%) 300(4.5%) mk-ival ...e/typed-racket/src/biginterval.rkt:33:0 bf [28] 67.9% --------------------------------------------------------------------- ??? [19] 100.0% [22] 716(10.6%) 346(5.1%) ->flonum ...bie/typed-racket/src/programs.rkt:36:0 ??? [40] 51.7% --------------------------------------------------------------------- ??? [18] 100.0% [23] 300(4.5%) 0(0.0%) ival-add .../typed-racket/src/biginterval.rkt:57:0 ...higher-order.rkt:361:33 [30]100.0% --------------------------------------------------------------------- ??? [19] 100.0% [24] 296(4.4%) 0(0.0%) loop ...bie/typed-racket/src/biginterval.rkt:154:8 ival-<=2 [31] 100.0% --------------------------------------------------------------------- ??? [19] 100.0% [25] 284(4.2%) 0(0.0%) best-alt ...ie/typed-racket/src/mainloop.rkt:109:0 argmins [32] 100.0% --------------------------------------------------------------------- ival-mult [20] 100.0% [26] 740(11.0%) 0(0.0%) bfmin* ...ie/typed-racket/src/biginterval.rkt:69:0 foldl [33] 100.0% --------------------------------------------------------------------- ival-mult [20] 100.0% [27] 724(10.8%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [35] 100.0% --------------------------------------------------------------------- mk-ival [21] 100.0% [28] 634(9.4%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [39] 53.9% ??? [40] 46.1% --------------------------------------------------------------------- ival-mult [20] 100.0% [29] 358(5.3%) 0(0.0%) bfmax* ...ie/typed-racket/src/biginterval.rkt:72:0 foldl [33] 100.0% --------------------------------------------------------------------- ival-add [23] 100.0% [30] 300(4.5%) 300(4.5%) ...higher-order.rkt:361:33 (unknown source) --------------------------------------------------------------------- loop [24] 100.0% [31] 296(4.4%) 296(4.4%) ival-<=2 ...typed-racket/src/biginterval.rkt:134:0 --------------------------------------------------------------------- best-alt [25] 100.0% [32] 284(4.2%) 0(0.0%) argmins ...erbie/typed-racket/src/common.rkt:142:0 ??? [34] 100.0% --------------------------------------------------------------------- bfmax* [29] 19.9% ival-mult [20] 39.0% bfmin* [26] 41.1% [33] 1800(26.8%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:229:4 ??? [35] 100.0% --------------------------------------------------------------------- argmins [32] 100.0% [34] 284(4.2%) 0(0.0%) ??? ...herbie/typed-racket/src/mainloop.rkt:111:19 errors [36] 100.0% --------------------------------------------------------------------- bf* [27] 28.7% foldl [33] 71.3% [35] 2524(37.5%) 348(5.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmax2 [37] 86.2% --------------------------------------------------------------------- ??? [34] 100.0% [36] 284(4.2%) 0(0.0%) errors ...herbie/typed-racket/src/points.rkt:271:0 eval-prog [38] 100.0% --------------------------------------------------------------------- ??? [35] 100.0% [37] 2176(32.3%) 0(0.0%) bfmax2 ...lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [39] 67.5% ??? [40] 32.5% --------------------------------------------------------------------- errors [36] 100.0% [38] 284(4.2%) 0(0.0%) eval-prog ...e/typed-racket/src/programs.rkt:108:0 temp68_2 [41] 100.0% --------------------------------------------------------------------- bf [28] 18.9% bfmax2 [37] 81.1% [39] 1810(26.9%) 1810(26.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 --------------------------------------------------------------------- bf [28] 21.3% ->flonum [22] 27.0% bfmax2 [37] 51.7% [40] 1370(20.4%) 1370(20.4%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 --------------------------------------------------------------------- eval-prog [38] 100.0% [41] 284(4.2%) 0(0.0%) temp68_2 (unknown source) compile16 [42] 100.0% --------------------------------------------------------------------- temp68_2 [41] 100.0% [42] 284(4.2%) 0(0.0%) compile16 (unknown source) temp74_0 [43] 100.0% --------------------------------------------------------------------- compile16 [42] 100.0% [43] 284(4.2%) 0(0.0%) temp74_0 (unknown source) expand-single [44] 100.0% --------------------------------------------------------------------- temp74_0 [43] 100.0% [44] 284(4.2%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [45] 100.0% --------------------------------------------------------------------- expand-single [44] 100.0% [45] 284(4.2%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [46] 100.0% --------------------------------------------------------------------- expand-capturing-lifts [45] 100.0% [46] 284(4.2%) 0(0.0%) lambda-clause-expander (unknown source) loop [47] 100.0% --------------------------------------------------------------------- apply-transformer52 [5] 50.0% lambda-clause-expander [46] 50.0% [47] 284(4.2%) 0(0.0%) loop (unknown source) dispatch-transformer41 [2] 50.0% core-form-sym [48] 50.0% --------------------------------------------------------------------- loop [47] 100.0% [48] 284(4.2%) 284(4.2%) core-form-sym (unknown source) ---------------------------------------------------------------------