Profiling results ----------------- Total cpu time observed: 55576ms (out of 56684ms) Number of samples taken: 147 (once every 378ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 58 hidden) ========================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================================= ??? [5] 100.0% [1] 55576(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ------------------------------------------------------------------------- ??? [5] 100.0% [2] 1930(3.5%) 0(0.0%) run-improve39 ...ie/develop/src/mainloop.rkt:286:0 setup-prog!32 [4] 100.0% ------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 55576(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% ------------------------------------------------------------------------- run-improve39 [2] 100.0% [4] 1930(3.5%) 0(0.0%) setup-prog!32 ...bie/develop/src/mainloop.rkt:63:0 loop [6] 82.4% prepare-points [7] 17.6% ------------------------------------------------------------------------- run [3] 50.0% [5] 55576(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [6] 39.3% prepare-points [7] 8.6% run-improve39 [2] 1.7% get-final-combination [8] 0.3% ------------------------------------------------------------------------- setup-prog!32 [4] 3.5% ??? [5] 96.5% [6] 45312(81.5%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:180:2 loop [9] 39.4% make-exacts* [12] 31.8% loop [13] 25.9% for-loop [10] 2.2% ??? [14] 0.7% ------------------------------------------------------------------------- setup-prog!32 [4] 3.4% ??? [5] 96.6% [7] 9928(17.9%) 0(0.0%) prepare-points ...bie/develop/src/points.rkt:156:0 loop [13] 35.3% loop [9] 34.4% make-exacts* [12] 27.0% for-loop [10] 3.3% ------------------------------------------------------------------------- ??? [5] 100.0% [8] 336(0.6%) 0(0.0%) get-final-combination ...op/src/mainloop.rkt:309:0 *fp-safe-simplify-rules* [11] 100.0% ------------------------------------------------------------------------- prepare-points [7] 16.1% loop [6] 83.9% [9] 21272(38.3%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:124:2 loop [13] 52.0% make-exacts* [12] 48.0% ------------------------------------------------------------------------- prepare-points [7] 24.4% loop [6] 75.6% [10] 1342(2.4%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:195:19 ??? [14] 100.0% ------------------------------------------------------------------------- get-final-combination [8] 100.0% [11] 336(0.6%) 0(0.0%) *fp-safe-simplify-rules* ...syntax/rules.rkt:656:0 for-loop [15] 100.0% ------------------------------------------------------------------------- prepare-points [7] 9.8% loop [9] 37.4% loop [6] 52.7% [12] 27292(49.1%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:104:0 loop [16] 95.3% eval-prog [18] 4.7% ------------------------------------------------------------------------- prepare-points [7] 13.3% loop [9] 42.0% loop [6] 44.7% [13] 26308(47.3%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:107:4 loop [16] 98.8% ??? [20] 1.2% ------------------------------------------------------------------------- loop [6] 18.2% for-loop [10] 81.8% [14] 1640(3.0%) 0(0.0%) ??? ...ghtlies/herbie/develop/src/points.rkt:172:7 for-loop [17] 100.0% ------------------------------------------------------------------------- *fp-safe-simplify-rules* [11] 100.0% [15] 336(0.6%) 0(0.0%) for-loop ...ies/herbie/develop/src/common.rkt:92:9 ormap [19] 100.0% ------------------------------------------------------------------------- loop [13] 1.4% make-exacts* [12] 2.9% loop [16] 95.7% [16] 52012(93.6%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [16] 95.7% ??? [20] 4.3% ??? [21] 0.0% ------------------------------------------------------------------------- ??? [14] 100.0% [17] 1640(3.0%) 966(1.7%) for-loop ...es/herbie/develop/src/points.rkt:173:9 ??? [21] 41.1% ------------------------------------------------------------------------- make-exacts* [12] 100.0% [18] 1274(2.3%) 0(0.0%) eval-prog ...herbie/develop/src/programs.rkt:109:0 temp68_2 [22] 49.8% ->bf [23] 26.1% eval [24] 24.2% ------------------------------------------------------------------------- for-loop [15] 100.0% [19] 336(0.6%) 336(0.6%) ormap ...et/collects/racket/private/map.rkt:141:13 ------------------------------------------------------------------------- loop [13] 0.7% loop [16] 99.3% [20] 47226(85.0%) 1928(3.5%) ??? ...tlies/herbie/develop/src/programs.rkt:129:2 ??? [25] 70.5% bf [26] 25.4% ------------------------------------------------------------------------- for-loop [17] 11.7% loop [16] 88.3% [21] 5774(10.4%) 664(1.2%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [27] 82.5% sample-multi-bounded [29] 6.0% ------------------------------------------------------------------------- eval-prog [18] 100.0% [22] 634(1.1%) 0(0.0%) temp68_2 (unknown source) compile16 [28] 100.0% ------------------------------------------------------------------------- eval-prog [18] 100.0% [23] 332(0.6%) 0(0.0%) ->bf ...tlies/herbie/develop/src/programs.rkt:52:0 ??? [30] 100.0% ------------------------------------------------------------------------- eval-prog [18] 100.0% [24] 308(0.6%) 0(0.0%) eval (unknown source) datum->syntax6 [31] 100.0% ------------------------------------------------------------------------- ??? [20] 100.0% [25] 33316(59.9%) 4424(8.0%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [32] 79.0% ...higher-order.rkt:361:33 [33] 6.7% ------------------------------------------------------------------------- ??? [20] 100.0% [26] 11982(21.6%) 320(0.6%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [47] 72.5% ??? [48] 24.9% ------------------------------------------------------------------------- ??? [21] 100.0% [27] 4764(8.6%) 2466(4.4%) ->flonum ...s/herbie/develop/src/programs.rkt:36:0 return/no-unsupplied [34] 20.9% ??? [48] 13.9% ??? [38] 6.8% ??? [39] 6.7% ------------------------------------------------------------------------- temp68_2 [22] 100.0% [28] 634(1.1%) 0(0.0%) compile16 (unknown source) temp74_0 [35] 100.0% ------------------------------------------------------------------------- ??? [21] 100.0% [29] 346(0.6%) 0(0.0%) sample-multi-bounded ...evelop/src/points.rkt:43:0 for-loop [36] 100.0% ------------------------------------------------------------------------- ->bf [23] 100.0% [30] 332(0.6%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 hash-has-key? [37] 100.0% ------------------------------------------------------------------------- eval [24] 100.0% [31] 308(0.6%) 0(0.0%) datum->syntax6 (unknown source) loop [40] 100.0% ------------------------------------------------------------------------- ??? [25] 100.0% [32] 26330(47.4%) 12008(21.6%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bflog [41] 39.4% bfadd [42] 15.0% ------------------------------------------------------------------------- ??? [25] 100.0% [33] 2248(4.0%) 1902(3.4%) ...higher-order.rkt:361:33 (unknown source) ??? [44] 15.4% ------------------------------------------------------------------------- ->flonum [27] 100.0% [34] 996(1.8%) 674(1.2%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 filter [46] 32.3% ------------------------------------------------------------------------- compile16 [28] 100.0% [35] 634(1.1%) 0(0.0%) temp74_0 (unknown source) expand-single [43] 100.0% ------------------------------------------------------------------------- sample-multi-bounded [29] 100.0% [36] 346(0.6%) 346(0.6%) for-loop ...ies/herbie/develop/src/points.rkt:46:4 ------------------------------------------------------------------------- ??? [30] 100.0% [37] 332(0.6%) 0(0.0%) hash-has-key? ...ket/private/more-scheme.rkt:371:2 ??? [45] 100.0% ------------------------------------------------------------------------- ->flonum [27] 100.0% [38] 322(0.6%) 322(0.6%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ------------------------------------------------------------------------- ->flonum [27] 100.0% [39] 320(0.6%) 320(0.6%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ------------------------------------------------------------------------- datum->syntax6 [31] 100.0% [40] 308(0.6%) 308(0.6%) loop (unknown source) ------------------------------------------------------------------------- ??? [32] 100.0% [41] 10374(18.7%) 0(0.0%) bflog ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [47] 73.7% ??? [48] 26.3% ------------------------------------------------------------------------- ??? [32] 100.0% [42] 3948(7.1%) 402(0.7%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [47] 72.4% ??? [48] 17.4% ------------------------------------------------------------------------- temp74_0 [35] 100.0% [43] 634(1.1%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [49] 100.0% ------------------------------------------------------------------------- ...higher-order.rkt:361:33 [33] 100.0% [44] 346(0.6%) 346(0.6%) ??? ...cts/racket/contract/private/list.rkt:209:10 ------------------------------------------------------------------------- hash-has-key? [37] 100.0% [45] 332(0.6%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:798:4 for-loop [50] 100.0% ------------------------------------------------------------------------- return/no-unsupplied [34] 100.0% [46] 322(0.6%) 322(0.6%) filter ...t/collects/racket/private/list.rkt:256:2 ------------------------------------------------------------------------- bfadd [42] 14.9% bflog [41] 39.8% bf [26] 45.3% [47] 19182(34.5%) 19182(34.5%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ------------------------------------------------------------------------- ->flonum [27] 9.3% bfadd [42] 9.7% bflog [41] 38.7% bf [26] 42.2% [48] 7060(12.7%) 7060(12.7%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ------------------------------------------------------------------------- expand-single [43] 100.0% [49] 634(1.1%) 312(0.6%) expand-capturing-lifts (unknown source) lambda-clause-expander [52] 50.8% ------------------------------------------------------------------------- ??? [45] 100.0% [50] 332(0.6%) 0(0.0%) for-loop ...acket/contract/private/list.rkt:804:12 arrow-higher-order:lnp [51] 100.0% ------------------------------------------------------------------------- for-loop [50] 100.0% [51] 332(0.6%) 0(0.0%) arrow-higher-order:lnp ...w-higher-order.rkt:633:7 ??? [53] 100.0% ------------------------------------------------------------------------- expand-capturing-lifts [49] 100.0% [52] 322(0.6%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [54] 100.0% ------------------------------------------------------------------------- arrow-higher-order:lnp [51] 100.0% [53] 332(0.6%) 332(0.6%) ??? ...et/contract/private/arity-checking.rkt:19:2 ------------------------------------------------------------------------- lambda-clause-expander [52] 25.0% for-loop [55] 75.0% [54] 322(0.6%) 0(0.0%) finish-bodys (unknown source) for-loop [55] 100.0% ------------------------------------------------------------------------- for-loop [55] 20.0% finish-bodys [54] 80.0% [55] 322(0.6%) 0(0.0%) for-loop (unknown source) finish-bodys [54] 60.0% for-loop [55] 20.0% expand-id-application-form17 [56] 20.0% ------------------------------------------------------------------------- for-loop [55] 100.0% [56] 322(0.6%) 0(0.0%) expand-id-application-form17 (unknown source) binding-lookup50 [57] 100.0% ------------------------------------------------------------------------- expand-id-application-form17 [56]100.0% [57] 322(0.6%) 322(0.6%) binding-lookup50 (unknown source) -------------------------------------------------------------------------