Profiling results ----------------- Total cpu time observed: 23326ms (out of 23780ms) Number of samples taken: 55 (once every 424ms) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== run [8] 50.0% [1] 23044(98.8%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [4] 50.0% prepare-points [9] 24.8% loop [10] 19.1% run-improve50 [5] 6.1% --------------------------------------------------------------- ??? [34] 100.0% [2] 1746(7.5%) 0(0.0%) best-alt ...s/herbie/alt-testing/src/glue.rkt:71:0 argmins [6] 100.0% --------------------------------------------------------------- table-ref [39] 100.0% [3] 282(1.2%) 0(0.0%) iterate-egraph!13 ...g/src/core/simplify.rkt:105:0 one-iter [7] 100.0% --------------------------------------------------------------- ??? [1] 100.0% [4] 23044(98.8%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [8] 100.0% --------------------------------------------------------------- ??? [1] 100.0% [5] 2808(12.0%) 0(0.0%) run-improve50 ...lt-testing/src/mainloop.rkt:234:0 for-loop [12] 62.2% loop [10] 29.3% prepare-points [9] 8.5% --------------------------------------------------------------- best-alt [2] 100.0% [6] 1746(7.5%) 0(0.0%) argmins ...herbie/alt-testing/src/common.rkt:152:0 composed [11] 100.0% --------------------------------------------------------------- iterate-egraph!13 [3] 100.0% [7] 282(1.2%) 0(0.0%) one-iter ...lt-testing/src/core/simplify.rkt:116:0 for-loop [13] 100.0% --------------------------------------------------------------- profile-thunk16 [4] 100.0% [8] 23044(98.8%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% --------------------------------------------------------------- run-improve50 [5] 2.1% ??? [1] 97.9% [9] 11674(50.0%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [19] 36.4% loop [14] 27.3% make-exacts* [20] 18.8% for-loop [15] 17.4% --------------------------------------------------------------- run-improve50 [5] 8.5% ??? [1] 91.5% [10] 9624(41.3%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:238:2 loop [14] 48.2% make-exacts* [20] 28.1% loop [19] 16.3% for-loop [15] 7.4% --------------------------------------------------------------- argmins [6] 100.0% [11] 1746(7.5%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 errors [16] 100.0% --------------------------------------------------------------- run-improve50 [5] 100.0% [12] 1746(7.5%) 0(0.0%) for-loop ...ie/alt-testing/src/mainloop.rkt:249:10 run-iter! [17] 100.0% --------------------------------------------------------------- one-iter [7] 100.0% [13] 282(1.2%) 0(0.0%) for-loop ...lt-testing/src/core/simplify.rkt:166:2 for-loop [18] 100.0% --------------------------------------------------------------- prepare-points [9] 40.8% loop [10] 59.2% [14] 7826(33.6%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:158:2 loop [19] 69.1% make-exacts* [20] 30.9% --------------------------------------------------------------- loop [10] 26.0% prepare-points [9] 74.0% [15] 2752(11.8%) 0(0.0%) for-loop ...rbie/alt-testing/src/points.rkt:255:26 ??? [21] 100.0% --------------------------------------------------------------- composed [11] 100.0% [16] 1746(7.5%) 0(0.0%) errors .../herbie/alt-testing/src/points.rkt:271:0 eval-prog [25] 100.0% --------------------------------------------------------------- for-loop [12] 100.0% [17] 1746(7.5%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:215:0 choose-best-alt! [22] 100.0% --------------------------------------------------------------- for-loop [13] 100.0% [18] 282(1.2%) 0(0.0%) for-loop ...t-testing/src/core/simplify.rkt:148:10 mk-enode! [23] 100.0% --------------------------------------------------------------- loop [10] 14.0% prepare-points [9] 37.8% loop [14] 48.2% [19] 11220(48.1%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [24] 98.5% ??? [28] 1.5% --------------------------------------------------------------- prepare-points [9] 30.0% loop [14] 33.1% loop [10] 36.9% [20] 7326(31.4%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 loop [24] 90.8% eval-prog [25] 9.2% --------------------------------------------------------------- for-loop [15] 100.0% [21] 2752(11.8%) 296(1.3%) ??? ...ies/herbie/alt-testing/src/points.rkt:230:7 for-loop [26] 77.5% ??? [34] 11.8% --------------------------------------------------------------- run-iter! [17] 100.0% [22] 1746(7.5%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:115:0 ??? [43] 100.0% --------------------------------------------------------------- for-loop [18] 100.0% [23] 282(1.2%) 0(0.0%) mk-enode! ...alt-testing/src/core/egraph.rkt:102:0 new-enode [27] 100.0% --------------------------------------------------------------- loop [19] 1.4% make-exacts* [20] 1.4% loop [24] 97.2% [24] 17702(75.9%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [24] 97.2% ??? [28] 2.6% ??? [34] 0.2% --------------------------------------------------------------- make-exacts* [20] 27.9% errors [16] 72.1% [25] 2422(10.4%) 436(1.9%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 f137 [29] 72.1% [running body] [31] 9.9% --------------------------------------------------------------- ??? [21] 100.0% [26] 2132(9.1%) 0(0.0%) for-loop ...erbie/alt-testing/src/points.rkt:231:9 ??? [34] 100.0% --------------------------------------------------------------- mk-enode! [23] 100.0% [27] 282(1.2%) 0(0.0%) new-enode ...e/alt-testing/src/core/enode.rkt:97:0 type-of-enode-expr [30] 100.0% --------------------------------------------------------------- loop [19] 1.0% loop [24] 99.0% [28] 16220(69.5%) 1346(5.8%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 ??? [32] 51.1% ??? [33] 37.1% ??? [35] 3.5% --------------------------------------------------------------- f137 [29] 50.0% eval-prog [25] 50.0% [29] 1746(7.5%) 0(0.0%) f137 .../collects/racket/match/compiler.rkt:507:40 f137 [29] 50.0% ??? [34] 50.0% --------------------------------------------------------------- new-enode [27] 100.0% [30] 282(1.2%) 0(0.0%) type-of-enode-expr ...ting/src/core/enode.rkt:68:0 get-sigs [36] 100.0% --------------------------------------------------------------- eval-prog [25] 100.0% [31] 240(1.0%) 240(1.0%) [running body] ...collects/syntax/id-table.rkt:##f --------------------------------------------------------------- ??? [28] 100.0% [32] 8288(35.5%) 516(2.2%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [38] 68.3% ??? [42] 21.2% ??? [41] 4.3% --------------------------------------------------------------- ??? [28] 100.0% [33] 6022(25.8%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [37] 100.0% --------------------------------------------------------------- ??? [21] 5.5% f137 [29] 14.9% atab-pick-alt8 [49] 14.9% loop [24] 28.2% for-loop [26] 36.4% [34] 5852(25.1%) 2032(8.7%) ??? ...tract/private/arrow-higher-order.rkt:342:33 table-ref [39] 35.4% best-alt [2] 14.9% ??? [40] 14.9% --------------------------------------------------------------- ??? [28] 100.0% [35] 564(2.4%) 564(2.4%) ??? ...tract/private/arrow-higher-order.rkt:145:21 --------------------------------------------------------------- type-of-enode-expr [30] 100.0% [36] 282(1.2%) 0(0.0%) get-sigs ...bie/alt-testing/src/type-check.rkt:5:0 table-ref [39] 100.0% --------------------------------------------------------------- ??? [33] 100.0% [37] 6022(25.8%) 5024(21.5%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [51] 16.6% --------------------------------------------------------------- ??? [32] 100.0% [38] 5660(24.3%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [42] 100.0% --------------------------------------------------------------- get-sigs [36] 4.0% table-ref [39] 4.0% ??? [34] 88.0% [39] 2356(10.1%) 718(3.1%) table-ref .../racket/private/norm-define.rkt:53:83 loop [44] 30.4% return/no-unsupplied [45] 19.2% ??? [46] 12.0% table-ref [39] 4.0% iterate-egraph!13 [3] 4.0% --------------------------------------------------------------- ??? [34] 100.0% [40] 1746(7.5%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:644:8 ??? [43] 100.0% --------------------------------------------------------------- ??? [32] 100.0% [41] 354(1.5%) 354(1.5%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 --------------------------------------------------------------- ??? [32] 23.7% bf* [38] 76.3% [42] 7418(31.8%) 616(2.6%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [47] 91.7% --------------------------------------------------------------- ??? [40] 50.0% choose-best-alt! [22] 50.0% [43] 1746(7.5%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 atab-pick-alt8 [49] 50.0% hash-has-key? [48] 50.0% --------------------------------------------------------------- table-ref [39] 100.0% [44] 716(3.1%) 0(0.0%) loop ...ies/herbie/alt-testing/src/points.rkt:66:6 random-exp [50] 100.0% --------------------------------------------------------------- table-ref [39] 100.0% [45] 640(2.7%) 640(2.7%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 --------------------------------------------------------------- table-ref [39] 100.0% [46] 282(1.2%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:60:15 ??? [51] 100.0% --------------------------------------------------------------- ??? [42] 100.0% [47] 6802(29.2%) 5572(23.9%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [51] 18.1% --------------------------------------------------------------- ??? [43] 100.0% [48] 1746(7.5%) 0(0.0%) hash-has-key? ...et/private/more-scheme.rkt:368:13 ??? [52] 100.0% --------------------------------------------------------------- ??? [43] 100.0% [49] 1746(7.5%) 0(0.0%) atab-pick-alt8 ...ting/src/core/alt-table.rkt:61:0 ??? [34] 100.0% --------------------------------------------------------------- loop [44] 100.0% [50] 716(3.1%) 716(3.1%) random-exp ...bie/alt-testing/src/common.rkt:253:0 --------------------------------------------------------------- ??? [46] 11.2% real->bigfloat [37] 39.8% bfmul [47] 49.0% [51] 2510(10.8%) 2510(10.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 --------------------------------------------------------------- hash-has-key? [48] 100.0% [52] 1746(7.5%) 1746(7.5%) ??? ...ects/racket/contract/private/list.rkt:737:4 ---------------------------------------------------------------