Profiling results ----------------- Total cpu time observed: 32406ms (out of 34948ms) Number of samples taken: 86 (once every 377ms) ==================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================== run [6] 48.4% [1] 32406(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 loop [5] 47.6% profile-thunk16 [3] 47.3% run-improve50 [4] 5.1% -------------------------------------------------------------------- hash-ref! [27] 100.0% [2] 2430(7.5%) 0(0.0%) ??? ...acts-precision-steps/src/programs.rkt:183:5 loop [22] 100.0% -------------------------------------------------------------------- ??? [1] 100.0% [3] 30666(94.6%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [6] 100.0% -------------------------------------------------------------------- ??? [1] 100.0% [4] 2652(8.2%) 0(0.0%) run-improve50 ...sion-steps/src/mainloop.rkt:234:0 loop [5] 63.4% ??? [7] 12.2% setup-alt-simplified [8] 12.2% get-final-combination [9] 12.1% -------------------------------------------------------------------- run-improve50 [4] 5.4% ??? [1] 94.6% [5] 31436(97.0%) 0(0.0%) loop ...xacts-precision-steps/src/points.rkt:197:2 make-exacts* [14] 59.0% loop [10] 41.0% -------------------------------------------------------------------- profile-thunk16 [3] 98.9% [6] 31002(95.7%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% -------------------------------------------------------------------- run-improve50 [4] 100.0% [7] 324(1.0%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 atab-add-altns [11] 100.0% -------------------------------------------------------------------- run-improve50 [4] 100.0% [8] 324(1.0%) 0(0.0%) setup-alt-simplified ...on-steps/src/glue.rkt:49:0 simplify-alt [12] 100.0% -------------------------------------------------------------------- run-improve50 [4] 100.0% [9] 322(1.0%) 0(0.0%) get-final-combination ...ps/src/mainloop.rkt:264:0 extract-alt [13] 100.0% -------------------------------------------------------------------- loop [5] 100.0% [10] 12882(39.8%) 0(0.0%) loop ...xacts-precision-steps/src/points.rkt:156:2 make-exacts* [14] 97.1% loop [15] 2.9% -------------------------------------------------------------------- ??? [7] 100.0% [11] 324(1.0%) 0(0.0%) atab-add-altns ...teps/src/core/alt-table.rkt:50:0 atab-add-altn [16] 100.0% -------------------------------------------------------------------- setup-alt-simplified [8] 100.0% [12] 324(1.0%) 0(0.0%) simplify-alt ...-precision-steps/src/glue.rkt:76:0 ??? [38] 100.0% -------------------------------------------------------------------- get-final-combination [9] 100.0% [13] 322(1.0%) 0(0.0%) extract-alt ...s-precision-steps/src/glue.rkt:55:0 argmins [17] 100.0% -------------------------------------------------------------------- loop [10] 40.3% loop [5] 59.7% [14] 31056(95.8%) 0(0.0%) make-exacts* ...ecision-steps/src/points.rkt:138:0 map [18] 51.4% loop [22] 39.7% eval-prog [19] 8.9% -------------------------------------------------------------------- loop [10] 0.0% loop [15] 100.0% [15] 380(1.2%) 380(1.2%) loop ...xacts-precision-steps/src/points.rkt:130:2 loop [15] 100.0% -------------------------------------------------------------------- atab-add-altns [11] 100.0% [16] 324(1.0%) 0(0.0%) atab-add-altn ...teps/src/core/alt-table.rkt:208:0 best-and-tied-at-points [20]100.0% -------------------------------------------------------------------- extract-alt [13] 100.0% [17] 322(1.0%) 0(0.0%) argmins ...ts-precision-steps/src/common.rkt:150:0 composed [21] 100.0% -------------------------------------------------------------------- make-exacts* [14] 100.0% [18] 15978(49.3%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [22] 98.1% ??? [26] 1.9% -------------------------------------------------------------------- make-exacts* [14] 100.0% [19] 2762(8.5%) 0(0.0%) eval-prog ...recision-steps/src/programs.rkt:148:0 hash-ref! [27] 88.0% [running body] [23] 12.0% -------------------------------------------------------------------- atab-add-altn [16] 100.0% [20] 324(1.0%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 for-loop [24] 100.0% -------------------------------------------------------------------- argmins [17] 100.0% [21] 322(1.0%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 errors [25] 100.0% -------------------------------------------------------------------- make-exacts* [14] 0.6% map [18] 2.9% ??? [2] 8.0% loop [22] 88.5% [22] 30426(93.9%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [22] 88.5% hash-ref! [27] 8.0% ??? [26] 3.5% -------------------------------------------------------------------- eval-prog [19] 100.0% [23] 332(1.0%) 0(0.0%) [running body] ...t/collects/syntax/id-set.rkt:##f do-partial-app [28] 100.0% -------------------------------------------------------------------- best-and-tied-at-points [20]100.0% [24] 324(1.0%) 324(1.0%) for-loop ...on-steps/src/core/alt-table.rkt:124:16 -------------------------------------------------------------------- composed [21] 100.0% [25] 322(1.0%) 0(0.0%) errors ...cts-precision-steps/src/points.rkt:232:0 for-loop [29] 100.0% -------------------------------------------------------------------- map [18] 1.1% loop [22] 98.9% [26] 28294(87.3%) 328(1.0%) ??? ...acts-precision-steps/src/programs.rkt:154:4 ??? [30] 87.7% ??? [31] 11.2% -------------------------------------------------------------------- eval-prog [19] 28.5% loop [22] 71.5% [27] 2430(7.5%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 ??? [2] 71.5% bigfloat-hash [32] 28.5% -------------------------------------------------------------------- [running body] [23] 100.0% [28] 332(1.0%) 332(1.0%) do-partial-app ...ntract/private/provide.rkt:383:0 -------------------------------------------------------------------- errors [25] 100.0% [29] 322(1.0%) 0(0.0%) for-loop ...s-precision-steps/src/points.rkt:235:4 ??? [33] 100.0% -------------------------------------------------------------------- ??? [26] 100.0% [30] 24802(76.5%) 2538(7.8%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [34] 87.0% ??? [39] 1.4% ??? [40] 1.4% -------------------------------------------------------------------- ??? [26] 100.0% [31] 3164(9.8%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [35] 100.0% -------------------------------------------------------------------- hash-ref! [27] 100.0% [32] 2430(7.5%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 bfcanonicalize [36] 54.2% sig+exp->bigfloat [37] 45.8% -------------------------------------------------------------------- for-loop [29] 100.0% [33] 322(1.0%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [38] 100.0% -------------------------------------------------------------------- ??? [30] 100.0% [34] 21582(66.6%) 14980(46.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [41] 25.4% bfexp [42] 5.2% -------------------------------------------------------------------- ??? [31] 100.0% [35] 3164(9.8%) 2466(7.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [45] 22.1% -------------------------------------------------------------------- bigfloat-hash [32] 100.0% [36] 1316(4.1%) 1316(4.1%) bfcanonicalize .../private/bigfloat/mpfr.rkt:155:0 -------------------------------------------------------------------- bigfloat-hash [32] 100.0% [37] 1114(3.4%) 1114(3.4%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:385:0 -------------------------------------------------------------------- ??? [38] 25.1% simplify-alt [12] 25.1% ??? [33] 49.8% [38] 646(2.0%) 0(0.0%) ??? ...llects/racket/private/norm-define.rkt:53:83 return/no-unsupplied [44] 49.8% ??? [38] 25.1% iterate-egraph!13 [43] 25.1% -------------------------------------------------------------------- ??? [30] 100.0% [39] 342(1.1%) 342(1.1%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 -------------------------------------------------------------------- ??? [30] 100.0% [40] 340(1.0%) 340(1.0%) ??? ...ects/racket/contract/private/prop.rkt:493:4 -------------------------------------------------------------------- ??? [34] 100.0% [41] 5490(16.9%) 3006(9.3%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [45] 45.2% -------------------------------------------------------------------- ??? [34] 100.0% [42] 1112(3.4%) 762(2.4%) bfexp ...-lib/math/private/bigfloat/mpfr.rkt:616:4 ??? [45] 31.5% -------------------------------------------------------------------- ??? [38] 100.0% [43] 324(1.0%) 0(0.0%) iterate-egraph!13 ...s/src/core/simplify.rkt:102:0 one-iter [46] 100.0% -------------------------------------------------------------------- ??? [38] 100.0% [44] 322(1.0%) 322(1.0%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 -------------------------------------------------------------------- bfexp [42] 9.9% real->bigfloat [35] 19.8% bfsub [41] 70.3% [45] 3532(10.9%) 3532(10.9%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 -------------------------------------------------------------------- iterate-egraph!13 [43] 100.0% [46] 324(1.0%) 0(0.0%) one-iter ...sion-steps/src/core/simplify.rkt:113:0 apply-match [47] 100.0% -------------------------------------------------------------------- one-iter [46] 100.0% [47] 324(1.0%) 0(0.0%) apply-match ...n-steps/src/core/simplify.rkt:130:2 reduce-to-single! [48] 100.0% -------------------------------------------------------------------- apply-match [47] 100.0% [48] 324(1.0%) 0(0.0%) reduce-to-single! ...eps/src/core/egraph.rkt:324:0 for-loop [49] 100.0% -------------------------------------------------------------------- reduce-to-single! [48] 100.0% [49] 324(1.0%) 324(1.0%) for-loop ...ision-steps/src/core/egraph.rkt:328:21 --------------------------------------------------------------------