Profiling results ----------------- Total cpu time observed: 13648ms (out of 14136ms) Number of samples taken: 38 (once every 359ms) ======================================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================================= run [9] 46.6% [1] 13648(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [6] 46.6% loop [10] 39.0% run-improve50 [8] 14.3% --------------------------------------------------------------------------------------- loop [47] 100.0% [2] 9226(67.6%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:154:4 ??? [7] 100.0% --------------------------------------------------------------------------------------- eval-prog [31] 32.2% loop [47] 67.8% [3] 1082(7.9%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [25] 67.8% ??? [27] 32.2% --------------------------------------------------------------------------------------- hash-ref! [34] 100.0% [4] 410(3.0%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:183:5 loop [47] 100.0% --------------------------------------------------------------------------------------- loop [47] 100.0% [5] 322(2.4%) 0(0.0%) ??? ...ket/collects/racket/private/list.rkt:323:18 hash-ref! [34] 100.0% --------------------------------------------------------------------------------------- ??? [1] 100.0% [6] 12726(93.2%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [9] 100.0% --------------------------------------------------------------------------------------- ??? [2] 100.0% [7] 9226(67.6%) 4038(29.6%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [12] 22.3% ??? [18] 18.7% ??? [13] 4.0% ...higher-order.rkt:346:33 [14] 3.8% parse-loop12 [37] 3.7% ??? [15] 3.7% --------------------------------------------------------------------------------------- ??? [1] 100.0% [8] 2990(21.9%) 0(0.0%) run-improve50 ...ie/develop/src/mainloop.rkt:234:0 setup-alt-simplified [11] 75.5% loop [10] 13.8% for-loop [16] 10.8% --------------------------------------------------------------------------------------- profile-thunk16 [6] 100.0% [9] 12726(93.2%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% --------------------------------------------------------------------------------------- run-improve50 [8] 3.7% ??? [1] 96.3% [10] 11070(81.1%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:193:2 make-exacts* [23] 51.6% loop [17] 44.7% loop [26] 3.7% --------------------------------------------------------------------------------------- run-improve50 [8] 100.0% [11] 2256(16.5%) 0(0.0%) setup-alt-simplified .../develop/src/glue.rkt:49:0 simplify-alt [19] 100.0% --------------------------------------------------------------------------------------- ??? [7] 100.0% [12] 2062(15.1%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [18] 100.0% --------------------------------------------------------------------------------------- ??? [7] 100.0% [13] 370(2.7%) 370(2.7%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 --------------------------------------------------------------------------------------- ??? [7] 100.0% [14] 352(2.6%) 0(0.0%) ...higher-order.rkt:346:33 (unknown source) ??? [20] 100.0% --------------------------------------------------------------------------------------- ??? [7] 100.0% [15] 338(2.5%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:493:4 ??? [21] 100.0% --------------------------------------------------------------------------------------- run-improve50 [8] 100.0% [16] 322(2.4%) 0(0.0%) for-loop ...herbie/develop/src/mainloop.rkt:249:10 run-iter! [22] 100.0% --------------------------------------------------------------------------------------- loop [10] 100.0% [17] 4946(36.2%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:151:2 loop [26] 46.1% make-exacts* [23] 38.5% eval-prog [31] 15.4% --------------------------------------------------------------------------------------- ??? [7] 45.5% bf* [12] 54.5% [18] 3786(27.7%) 394(2.9%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [24] 89.6% --------------------------------------------------------------------------------------- setup-alt-simplified [11] 100.0% [19] 2256(16.5%) 0(0.0%) simplify-alt ...s/herbie/develop/src/glue.rkt:76:0 ??? [25] 100.0% --------------------------------------------------------------------------------------- ...higher-order.rkt:346:33 [14] 100.0% [20] 352(2.6%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:187:10 ??? [27] 100.0% --------------------------------------------------------------------------------------- ??? [15] 100.0% [21] 338(2.5%) 338(2.5%) ??? ...lects/racket/contract/private/orc.rkt:83:14 --------------------------------------------------------------------------------------- for-loop [16] 100.0% [22] 322(2.4%) 0(0.0%) run-iter! ...herbie/develop/src/mainloop.rkt:215:0 localize-error [28] 100.0% --------------------------------------------------------------------------------------- loop [17] 25.0% loop [10] 75.0% [23] 7616(55.8%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:138:0 map [29] 53.5% loop [47] 42.0% eval-prog [31] 4.6% --------------------------------------------------------------------------------------- ??? [18] 100.0% [24] 3392(24.9%) 2572(18.8%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [32] 24.2% --------------------------------------------------------------------------------------- ??? [3] 24.5% ??? [25] 37.7% simplify-alt [19] 37.7% [25] 2990(21.9%) 734(5.4%) ??? ...llects/racket/private/norm-define.rkt:53:83 ??? [25] 37.7% iterate-egraph!13 [30] 37.7% --------------------------------------------------------------------------------------- loop [10] 15.3% loop [17] 84.7% [26] 2692(19.7%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:141:4 map [29] 100.0% --------------------------------------------------------------------------------------- ??? [3] 49.7% ??? [20] 50.3% [27] 700(5.1%) 352(2.6%) ??? ...ects/racket/contract/private/guts.rkt:644:8 ??? [56] 49.7% --------------------------------------------------------------------------------------- run-iter! [22] 100.0% [28] 322(2.4%) 0(0.0%) localize-error ...velop/src/core/localize.rkt:47:0 hash-ref! [34] 100.0% --------------------------------------------------------------------------------------- loop [26] 39.8% make-exacts* [23] 60.2% [29] 6764(49.6%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [47] 100.0% --------------------------------------------------------------------------------------- ??? [25] 100.0% [30] 2256(16.5%) 0(0.0%) iterate-egraph!13 ...p/src/core/simplify.rkt:102:0 one-iter [33] 100.0% --------------------------------------------------------------------------------------- make-exacts* [23] 31.4% loop [17] 68.6% [31] 1110(8.1%) 0(0.0%) eval-prog ...herbie/develop/src/programs.rkt:148:0 hash-ref! [34] 68.6% ??? [3] 31.4% --------------------------------------------------------------------------------------- bfmul [24] 100.0% [32] 820(6.0%) 820(6.0%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 --------------------------------------------------------------------------------------- iterate-egraph!13 [30] 100.0% [33] 2256(16.5%) 0(0.0%) one-iter ...ie/develop/src/core/simplify.rkt:113:0 loop [35] 56.6% apply-match [40] 15.5% loop [38] 14.6% for-loop [39] 13.2% --------------------------------------------------------------------------------------- localize-error [28] 7.4% loop [47] 18.9% ??? [5] 22.3% eval-prog [31] 51.4% [34] 1084(7.9%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 bigfloat-hash [36] 51.4% parse-loop12 [37] 29.7% ??? [4] 18.9% --------------------------------------------------------------------------------------- one-iter [33] 100.0% [35] 1278(9.4%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:52:19 apply-match [40] 100.0% --------------------------------------------------------------------------------------- hash-ref! [34] 100.0% [36] 762(5.6%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 bfcanonicalize [41] 100.0% --------------------------------------------------------------------------------------- hash-ref! [34] 48.5% ??? [7] 51.5% [37] 664(4.9%) 342(2.5%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [47] 48.5% --------------------------------------------------------------------------------------- one-iter [33] 100.0% [38] 330(2.4%) 330(2.4%) loop ...ket/collects/racket/private/list.rkt:264:4 --------------------------------------------------------------------------------------- for-loop [39] 50.0% one-iter [33] 50.0% [39] 298(2.2%) 0(0.0%) for-loop ...e/develop/src/core/simplify.rkt:123:12 for-loop [39] 50.0% match-e [43] 50.0% --------------------------------------------------------------------------------------- one-iter [33] 21.5% loop [35] 78.5% [40] 1628(11.9%) 0(0.0%) apply-match ...develop/src/core/simplify.rkt:130:2 for-loop [42] 80.1% match-e [43] 19.9% --------------------------------------------------------------------------------------- bigfloat-hash [36] 100.0% [41] 762(5.6%) 762(5.6%) bfcanonicalize .../private/bigfloat/mpfr.rkt:155:0 --------------------------------------------------------------------------------------- apply-match [40] 100.0% [42] 1304(9.6%) 0(0.0%) for-loop ...e/develop/src/core/simplify.rkt:145:10 loop! [44] 73.2% mk-enode! [46] 26.8% --------------------------------------------------------------------------------------- for-loop [39] 47.9% apply-match [40] 52.1% [43] 622(4.6%) 0(0.0%) match-e ...herbie/develop/src/core/ematch.rkt:46:0 for-loop [45] 100.0% --------------------------------------------------------------------------------------- loop [47] 17.3% for-loop [42] 82.7% [44] 954(7.0%) 330(2.4%) loop! ...s/herbie/develop/src/core/enode.rkt:192:2 set [49] 34.4% custom-set-union [52] 31.0% loop [47] 17.3% --------------------------------------------------------------------------------------- match-e [43] 100.0% [45] 622(4.6%) 0(0.0%) for-loop ...rbie/develop/src/core/ematch.rkt:59:11 for-loop [50] 52.1% list-cartesian-product [51] 47.9% --------------------------------------------------------------------------------------- for-loop [42] 100.0% [46] 350(2.6%) 0(0.0%) mk-enode! ...bie/develop/src/core/egraph.rkt:101:0 new-enode [48] 100.0% --------------------------------------------------------------------------------------- make-exacts* [23] 0.0% parse-loop12 [37] 0.3% loop! [44] 1.0% ??? [4] 3.7% map [29] 4.6% loop [47] 90.4% [47] 11022(80.8%) 322(2.4%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [47] 90.4% ??? [2] 4.6% hash-ref! [34] 3.7% loop! [44] 1.0% ??? [5] 0.2% ??? [3] 0.0% --------------------------------------------------------------------------------------- mk-enode! [46] 100.0% [48] 350(2.6%) 0(0.0%) new-enode ...erbie/develop/src/core/enode.rkt:97:0 type-of-enode-expr [53] 100.0% --------------------------------------------------------------------------------------- loop! [44] 100.0% [49] 328(2.4%) 328(2.4%) set ...collects/racket/private/set-types.rkt:981:0 --------------------------------------------------------------------------------------- for-loop [45] 100.0% [50] 324(2.4%) 324(2.4%) for-loop ...rbie/develop/src/core/ematch.rkt:65:37 --------------------------------------------------------------------------------------- for-loop [45] 100.0% [51] 298(2.2%) 298(2.2%) list-cartesian-product ...src/core/ematch.rkt:20:0 --------------------------------------------------------------------------------------- loop! [44] 100.0% [52] 296(2.2%) 0(0.0%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [54] 100.0% --------------------------------------------------------------------------------------- new-enode [48] 100.0% [53] 350(2.6%) 0(0.0%) type-of-enode-expr ...elop/src/core/enode.rkt:68:0 get-sigs [55] 100.0% --------------------------------------------------------------------------------------- custom-set-union [52] 100.0% [54] 296(2.2%) 296(2.2%) for-loop ...cts/racket/private/set-types.rkt:152:2 --------------------------------------------------------------------------------------- type-of-enode-expr [53] 100.0% [55] 350(2.6%) 0(0.0%) get-sigs .../herbie/develop/src/type-check.rkt:5:0 ??? [56] 100.0% --------------------------------------------------------------------------------------- ??? [27] 49.9% get-sigs [55] 50.1% [56] 698(5.1%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 hash-has-key? [57] 100.0% --------------------------------------------------------------------------------------- ??? [56] 100.0% [57] 698(5.1%) 0(0.0%) hash-has-key? ...et/private/more-scheme.rkt:368:13 ??? [58] 100.0% --------------------------------------------------------------------------------------- hash-has-key? [57] 100.0% [58] 698(5.1%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:737:4 for-loop [59] 50.1% successfully-got-the-right-kind-of-function [60] 49.9% --------------------------------------------------------------------------------------- ??? [58] 100.0% [59] 350(2.6%) 0(0.0%) for-loop ...acket/contract/private/list.rkt:743:12 ??? [61] 100.0% --------------------------------------------------------------------------------------- ??? [58] 100.0% [60] 348(2.5%) 0(0.0%) successfully-got-the-right-kind-of-function ...9:4 arity-checking-wrapper [62] 100.0% --------------------------------------------------------------------------------------- for-loop [59] 100.0% [61] 350(2.6%) 350(2.6%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 --------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [60]100.0% [62] 348(2.5%) 0(0.0%) arity-checking-wrapper ...w-higher-order.rkt:402:0 matches-arity-exactly? [63] 100.0% --------------------------------------------------------------------------------------- arity-checking-wrapper [62] 100.0% [63] 348(2.5%) 348(2.5%) matches-arity-exactly? ...te/arrow-common.rkt:70:0 ---------------------------------------------------------------------------------------