Profiling results ----------------- Total cpu time observed: 12288ms (out of 12600ms) Number of samples taken: 32 (once every 384ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== ??? [5] 100.0% [1] 12288(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ---------------------------------------------------------------------- loop [22] 100.0% [2] 278(2.3%) 0(0.0%) ??? ...ket/collects/racket/private/list.rkt:323:18 hash-ref! [20] 50.0% map [4] 50.0% ---------------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 12288(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% ---------------------------------------------------------------------- ??? [2] 100.0% [4] 278(2.3%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 ??? [24] 100.0% ---------------------------------------------------------------------- run [3] 50.0% [5] 12288(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% prepare-points [8] 37.8% run-improve50 [6] 6.2% loop [7] 5.9% ---------------------------------------------------------------------- ??? [5] 100.0% [6] 1534(12.5%) 0(0.0%) run-improve50 ...lt-testing/src/mainloop.rkt:225:0 setup-alt-simplified [9] 50.1% prepare-points [8] 31.8% for-loop [10] 18.1% ---------------------------------------------------------------------- ??? [5] 100.0% [7] 1452(11.8%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:238:2 loop [11] 26.4% loop [15] 25.6% ??? [17] 25.5% make-exacts* [16] 22.5% ---------------------------------------------------------------------- run-improve50 [6] 5.0% ??? [5] 95.0% [8] 9790(79.7%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [15] 38.9% loop [11] 20.7% make-exacts* [16] 20.4% for-loop [12] 20.0% ---------------------------------------------------------------------- run-improve50 [6] 100.0% [9] 768(6.2%) 0(0.0%) setup-alt-simplified ...-testing/src/glue.rkt:49:0 simplify-alt [13] 100.0% ---------------------------------------------------------------------- run-improve50 [6] 100.0% [10] 278(2.3%) 0(0.0%) for-loop ...ie/alt-testing/src/mainloop.rkt:240:10 run-iter! [14] 100.0% ---------------------------------------------------------------------- loop [7] 15.9% prepare-points [8] 84.1% [11] 2410(19.6%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:158:2 loop [15] 58.7% make-exacts* [16] 41.3% ---------------------------------------------------------------------- prepare-points [8] 100.0% [12] 1958(15.9%) 978(8.0%) for-loop ...rbie/alt-testing/src/points.rkt:255:26 ??? [17] 50.1% ---------------------------------------------------------------------- setup-alt-simplified [9] 100.0% [13] 768(6.2%) 0(0.0%) simplify-alt ...rbie/alt-testing/src/glue.rkt:76:0 ??? [25] 100.0% ---------------------------------------------------------------------- for-loop [10] 100.0% [14] 278(2.3%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 localize-error [18] 100.0% ---------------------------------------------------------------------- loop [7] 6.6% loop [11] 25.3% prepare-points [8] 68.1% [15] 5594(45.5%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [22] 100.0% ---------------------------------------------------------------------- loop [7] 9.8% loop [11] 30.0% prepare-points [8] 60.2% [16] 3320(27.0%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 loop [22] 85.3% eval-prog [19] 14.7% ---------------------------------------------------------------------- loop [7] 27.4% for-loop [12] 72.6% [17] 1350(11.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/points.rkt:230:7 ??? [24] 100.0% ---------------------------------------------------------------------- run-iter! [14] 100.0% [18] 278(2.3%) 0(0.0%) localize-error ...sting/src/core/localize.rkt:47:0 hash-ref! [20] 100.0% ---------------------------------------------------------------------- make-exacts* [16] 100.0% [19] 488(4.0%) 488(4.0%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 ---------------------------------------------------------------------- ??? [2] 50.0% localize-error [18] 50.0% [20] 278(2.3%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 parse-loop12 [21] 100.0% ---------------------------------------------------------------------- hash-ref! [20] 100.0% [21] 278(2.3%) 0(0.0%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [22] 100.0% ---------------------------------------------------------------------- make-exacts* [16] 0.1% parse-loop12 [21] 0.2% loop [15] 0.6% loop [22] 99.1% [22] 8704(70.8%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [22] 99.1% ??? [23] 0.6% ??? [2] 0.2% ??? [24] 0.0% ---------------------------------------------------------------------- loop [22] 100.0% [23] 6640(54.0%) 756(6.2%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 ??? [26] 56.7% ??? [27] 32.0% ---------------------------------------------------------------------- map [4] 8.1% ??? [17] 39.5% loop [22] 52.3% [24] 3414(27.8%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [25] 100.0% ---------------------------------------------------------------------- ??? [25] 9.2% simplify-alt [13] 9.2% ??? [24] 81.6% [25] 4182(34.0%) 1934(15.7%) ??? ...llects/racket/private/norm-define.rkt:53:83 ??? [30] 17.6% ??? [25] 9.2% ??? [33] 8.9% loop [34] 8.8% loop [31] 4.6% iterate-egraph!13 [32] 4.5% ---------------------------------------------------------------------- ??? [23] 100.0% [26] 3762(30.6%) 378(3.1%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [29] 54.6% ??? [36] 26.3% ...higher-order.rkt:346:33 [35] 9.0% ---------------------------------------------------------------------- ??? [23] 100.0% [27] 2122(17.3%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [28] 100.0% ---------------------------------------------------------------------- ??? [27] 100.0% [28] 2122(17.3%) 1376(11.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [44] 35.2% ---------------------------------------------------------------------- ??? [26] 100.0% [29] 2054(16.7%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [36] 100.0% ---------------------------------------------------------------------- ??? [25] 100.0% [30] 736(6.0%) 400(3.3%) ??? ...-racket/utils/simple-result-arrow.rkt:60:15 ??? [44] 45.7% ---------------------------------------------------------------------- ??? [25] 100.0% [31] 388(3.2%) 0(0.0%) loop ...ie/alt-testing/src/core/simplify.rkt:237:2 pass [37] 100.0% ---------------------------------------------------------------------- ??? [25] 100.0% [32] 380(3.1%) 0(0.0%) iterate-egraph!13 ...g/src/core/simplify.rkt:105:0 one-iter [38] 100.0% ---------------------------------------------------------------------- ??? [25] 100.0% [33] 374(3.0%) 0(0.0%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [39] 100.0% ---------------------------------------------------------------------- ??? [25] 100.0% [34] 370(3.0%) 0(0.0%) loop ...ies/herbie/alt-testing/src/points.rkt:66:6 random-exp [40] 100.0% ---------------------------------------------------------------------- ??? [26] 100.0% [35] 340(2.8%) 340(2.8%) ...higher-order.rkt:346:33 (unknown source) ---------------------------------------------------------------------- ??? [26] 32.5% bf* [29] 67.5% [36] 3044(24.8%) 328(2.7%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [41] 89.2% ---------------------------------------------------------------------- loop [31] 100.0% [37] 388(3.2%) 0(0.0%) pass ...ie/alt-testing/src/core/simplify.rkt:227:2 for-loop [42] 100.0% ---------------------------------------------------------------------- iterate-egraph!13 [32] 100.0% [38] 380(3.1%) 0(0.0%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 for-loop [43] 100.0% ---------------------------------------------------------------------- ??? [33] 100.0% [39] 374(3.0%) 374(3.0%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 ---------------------------------------------------------------------- loop [34] 100.0% [40] 370(3.0%) 370(3.0%) random-exp ...bie/alt-testing/src/common.rkt:253:0 ---------------------------------------------------------------------- ??? [36] 100.0% [41] 2716(22.1%) 1712(13.9%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [44] 37.0% ---------------------------------------------------------------------- pass [37] 100.0% [42] 388(3.2%) 0(0.0%) for-loop ...t-testing/src/core/simplify.rkt:230:29 for-loop [45] 100.0% ---------------------------------------------------------------------- one-iter [38] 100.0% [43] 380(3.1%) 0(0.0%) for-loop ...lt-testing/src/core/simplify.rkt:166:2 for-loop [46] 100.0% ---------------------------------------------------------------------- ??? [30] 16.1% real->bigfloat [28] 35.8% bfmul [41] 48.1% [44] 2086(17.0%) 2086(17.0%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------------------- for-loop [42] 100.0% [45] 388(3.2%) 388(3.2%) for-loop ...t-testing/src/core/simplify.rkt:217:13 ---------------------------------------------------------------------- for-loop [43] 100.0% [46] 380(3.1%) 380(3.1%) for-loop ...t-testing/src/core/simplify.rkt:148:10 ----------------------------------------------------------------------