Profiling results ----------------- Total cpu time observed: 10160ms (out of 10220ms) Number of samples taken: 43 (once every 236ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== [1] 10160(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [7] 100.0% ---------------------------------------------------------------------- for-loop [87] 100.0% [2] 226(2.2%) 0(0.0%) expand-implicit (unknown source) resolve+shift28 [8] 100.0% ---------------------------------------------------------------------- matcher [72] 100.0% [3] 224(2.2%) 0(0.0%) ??? ...ction-both-ends/src/core/matcher.rkt:127:11 for-loop [9] 100.0% ---------------------------------------------------------------------- ??? [62] 100.0% [4] 224(2.2%) 0(0.0%) approximate9 ...both-ends/src/core/taylor.rkt:11:0 loop [10] 100.0% ---------------------------------------------------------------------- for-loop [87] 100.0% [5] 224(2.2%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [11] 100.0% ---------------------------------------------------------------------- hash-ref! [78] 100.0% [6] 200(2.0%) 0(0.0%) ??? ...-detection-both-ends/src/programs.rkt:178:5 loop [23] 100.0% ---------------------------------------------------------------------- ??? [1] 100.0% [7] 10160(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [12] 100.0% ---------------------------------------------------------------------- core-form-sym [31] 49.8% expand-implicit [2] 50.2% [8] 450(4.4%) 0(0.0%) resolve+shift28 (unknown source) fallback-loop [13] 100.0% ---------------------------------------------------------------------- ??? [3] 100.0% [9] 224(2.2%) 0(0.0%) for-loop ...-both-ends/src/core/matcher.rkt:129:15 matcher [72] 100.0% ---------------------------------------------------------------------- approximate9 [4] 100.0% [10] 224(2.2%) 0(0.0%) loop ...tection-both-ends/src/core/taylor.rkt:86:4 ??? [62] 100.0% ---------------------------------------------------------------------- dispatch-transformer41 [5] 100.0% [11] 224(2.2%) 0(0.0%) apply-transformer52 (unknown source) loop [23] 100.0% ---------------------------------------------------------------------- profile-thunk16 [7] 100.0% [12] 10160(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [14]100.0% ---------------------------------------------------------------------- resolve+shift28 [8] 100.0% [13] 450(4.4%) 226(2.2%) fallback-loop (unknown source) for-loop [87] 49.8% ---------------------------------------------------------------------- for-loop [68] 5.1% run [12] 94.9% [14] 10160(100.0%) 0(0.0%) .../more-scheme.rkt:261:28 (unknown source) prepare-points-intervals [15] 45.6% run-improve47 [16] 40.2% oracle-error [17] 6.0% ??? [37] 4.0% errors [60] 3.2% ??? [62] 1.1% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [14]100.0% [15] 4630(45.6%) 0(0.0%) prepare-points-intervals ...s/src/points.rkt:133:0 loop [18] 100.0% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [14]100.0% [16] 4280(42.1%) 0(0.0%) run-improve47 ...-both-ends/src/mainloop.rkt:346:0 for-loop [19] 100.0% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [14]100.0% [17] 608(6.0%) 0(0.0%) oracle-error ...ion-both-ends/src/points.rkt:190:0 for-loop [20] 100.0% ---------------------------------------------------------------------- prepare-points-intervals [15] 100.0% [18] 4630(45.6%) 0(0.0%) loop ...w-detection-both-ends/src/points.rkt:145:4 loop [21] 100.0% ---------------------------------------------------------------------- run-improve47 [16] 100.0% [19] 4280(42.1%) 0(0.0%) for-loop ...ction-both-ends/src/mainloop.rkt:365:4 run-iter! [22] 100.0% ---------------------------------------------------------------------- oracle-error [17] 100.0% [20] 608(6.0%) 0(0.0%) for-loop ...tection-both-ends/src/points.rkt:191:2 loop [23] 100.0% ---------------------------------------------------------------------- loop [18] 100.0% [21] 4630(45.6%) 238(2.3%) loop ...ow-detection-both-ends/src/points.rkt:81:2 ??? [24] 75.2% real->precision [27] 14.4% ??? [36] 5.2% ---------------------------------------------------------------------- for-loop [19] 100.0% [22] 4280(42.1%) 0(0.0%) run-iter! ...tion-both-ends/src/mainloop.rkt:327:0 simplify! [25] 47.1% finalize-iter! [26] 34.0% debug-print [29] 8.4% gen-rewrites! [32] 5.2% gen-series! [33] 5.2% ---------------------------------------------------------------------- loop [23] 8.0% ??? [6] 15.9% for-loop [87] 17.8% apply-transformer52 [11] 17.8% for-loop [20] 40.4% [23] 1256(12.4%) 0(0.0%) loop (unknown source) ??? [28] 23.9% core-form-sym [31] 17.8% expand-identifier [30] 17.8% ??? [37] 16.6% hash-ref! [78] 15.9% loop [23] 8.0% ---------------------------------------------------------------------- loop [21] 100.0% [24] 3484(34.3%) 216(2.1%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-atan [35] 49.5% ival-add [38] 37.4% ival-sub [40] 6.9% ---------------------------------------------------------------------- run-iter! [22] 100.0% [25] 2016(19.8%) 0(0.0%) simplify! ...tion-both-ends/src/mainloop.rkt:224:0 ??? [34] 100.0% ---------------------------------------------------------------------- run-iter! [22] 100.0% [26] 1456(14.3%) 0(0.0%) finalize-iter! ...both-ends/src/mainloop.rkt:278:0 ??? [36] 100.0% ---------------------------------------------------------------------- loop [21] 100.0% [27] 666(6.6%) 222(2.2%) real->precision ...oth-ends/src/programs.rkt:94:11 ??? [62] 66.7% ---------------------------------------------------------------------- loop [23] 100.0% [28] 400(3.9%) 0(0.0%) ??? ...w-detection-both-ends/src/points.rkt:192:26 ??? [37] 100.0% ---------------------------------------------------------------------- run-iter! [22] 100.0% [29] 360(3.5%) 0(0.0%) debug-print ...ction-both-ends/src/debug.rkt:110:0 ??? [39] 100.0% ---------------------------------------------------------------------- loop [23] 100.0% [30] 224(2.2%) 224(2.2%) expand-identifier (unknown source) ---------------------------------------------------------------------- loop [23] 100.0% [31] 224(2.2%) 0(0.0%) core-form-sym (unknown source) resolve+shift28 [8] 100.0% ---------------------------------------------------------------------- run-iter! [22] 100.0% [32] 224(2.2%) 0(0.0%) gen-rewrites! ...-both-ends/src/mainloop.rkt:183:0 for-loop [41] 100.0% ---------------------------------------------------------------------- run-iter! [22] 100.0% [33] 224(2.2%) 0(0.0%) gen-series! ...on-both-ends/src/mainloop.rkt:160:0 for-loop [42] 100.0% ---------------------------------------------------------------------- simplify! [25] 100.0% [34] 2016(19.8%) 0(0.0%) ??? ...ection-both-ends/src/core/simplify.rkt:42:0 egraph-run [44] 100.0% ---------------------------------------------------------------------- ??? [24] 100.0% [35] 1724(17.0%) 0(0.0%) ival-atan ...n-both-ends/src/biginterval.rkt:448:0 e-compute7 [43] 100.0% ---------------------------------------------------------------------- loop [21] 14.3% finalize-iter! [26] 85.7% [36] 1698(16.7%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [45] 85.7% mk-ival [47] 14.3% ---------------------------------------------------------------------- loop [23] 14.6% ??? [28] 28.1% .../more-scheme.rkt:261:28 [14] 57.4% [37] 1426(14.0%) 1210(11.9%) ??? ...tion-both-ends/src/syntax/syntax.rkt:214:17 return/no-unsupplied [50] 15.1% ---------------------------------------------------------------------- ??? [24] 100.0% [38] 1304(12.8%) 0(0.0%) ival-add ...on-both-ends/src/biginterval.rkt:202:0 e-compute7 [43] 100.0% ---------------------------------------------------------------------- debug-print [29] 100.0% [39] 360(3.5%) 0(0.0%) ??? .../contract/private/arrow-val-first.rkt:555:3 ~r92 [46] 100.0% ---------------------------------------------------------------------- ??? [24] 100.0% [40] 240(2.4%) 240(2.4%) ival-sub ...on-both-ends/src/biginterval.rkt:209:0 ---------------------------------------------------------------------- gen-rewrites! [32] 100.0% [41] 224(2.2%) 0(0.0%) for-loop ...tion-both-ends/src/mainloop.rkt:191:11 rewrite-expression-head24 [48] 100.0% ---------------------------------------------------------------------- gen-series! [33] 100.0% [42] 224(2.2%) 0(0.0%) for-loop ...ction-both-ends/src/mainloop.rkt:167:7 taylor-alt [49] 100.0% ---------------------------------------------------------------------- ival-add [38] 43.1% ival-atan [35] 56.9% [43] 3028(29.8%) 608(6.0%) e-compute7 ...-both-ends/src/biginterval.rkt:149:0 bfatan [53] 30.0% strong-immovable-endpoint? [61] 27.7% bfadd [54] 14.9% ormap [57] 7.3% ---------------------------------------------------------------------- ??? [34] 100.0% [44] 2016(19.8%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [51] 100.0% ---------------------------------------------------------------------- ??? [36] 100.0% [45] 1456(14.3%) 0(0.0%) for-loop ...-both-ends/src/core/alt-table.rkt:46:2 atab-add-altn [52] 72.5% map [58] 13.7% errors [60] 13.7% ---------------------------------------------------------------------- ??? [39] 100.0% [46] 360(3.5%) 360(3.5%) ~r92 ...acket-7.5/collects/racket/format.rkt:189:0 ---------------------------------------------------------------------- ??? [36] 100.0% [47] 242(2.4%) 242(2.4%) mk-ival ...tion-both-ends/src/biginterval.rkt:75:0 ---------------------------------------------------------------------- for-loop [41] 100.0% [48] 224(2.2%) 0(0.0%) rewrite-expression-head24 ...core/matcher.rkt:85:0 rewriter [55] 100.0% ---------------------------------------------------------------------- for-loop [42] 100.0% [49] 224(2.2%) 0(0.0%) taylor-alt ...ion-both-ends/src/mainloop.rkt:146:0 for-loop [56] 100.0% ---------------------------------------------------------------------- ??? [37] 100.0% [50] 216(2.1%) 216(2.1%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 ---------------------------------------------------------------------- egraph-run [44] 100.0% [51] 2016(19.8%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [59] 100.0% ---------------------------------------------------------------------- for-loop [45] 100.0% [52] 1056(10.4%) 0(0.0%) atab-add-altn ...ends/src/core/alt-table.rkt:194:0 errors [60] 80.5% override-at-pnts [65] 19.5% ---------------------------------------------------------------------- e-compute7 [43] 100.0% [53] 908(8.9%) 0(0.0%) bfatan ...lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [76] 50.9% ??? [63] 49.1% ---------------------------------------------------------------------- e-compute7 [43] 100.0% [54] 450(4.4%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:835:4 ??? [63] 50.2% new-mpfr [76] 49.8% ---------------------------------------------------------------------- rewrite-expression-head24 [48] 25.0% matcher [72] 75.0% [55] 224(2.2%) 0(0.0%) rewriter ...on-both-ends/src/core/matcher.rkt:87:2 for-loop [64] 100.0% ---------------------------------------------------------------------- taylor-alt [49] 100.0% [56] 224(2.2%) 0(0.0%) for-loop ...ction-both-ends/src/mainloop.rkt:152:6 ??? [62] 100.0% ---------------------------------------------------------------------- e-compute7 [43] 100.0% [57] 222(2.2%) 0(0.0%) ormap ....5/collects/racket/private/map.rkt:141:13 strong-immovable-endpoint? [61]100.0% ---------------------------------------------------------------------- for-loop [45] 100.0% [58] 200(2.0%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 loop [66] 100.0% ---------------------------------------------------------------------- egraph-add-exprs [51] 100.0% [59] 2016(19.8%) 0(0.0%) ??? ...ction-both-ends/src/core/simplify.rkt:102:6 for-loop [67] 76.2% egg-run-rules [70] 23.8% ---------------------------------------------------------------------- for-loop [45] 11.8% .../more-scheme.rkt:261:28 [14] 37.9% atab-add-altn [52] 50.2% [60] 1692(16.7%) 0(0.0%) errors ...detection-both-ends/src/points.rkt:203:0 for-loop [68] 61.6% temp85_0 [69] 26.6% eval-prog [75] 11.8% ---------------------------------------------------------------------- ormap [57] 20.9% e-compute7 [43] 79.1% [61] 1062(10.5%) 1062(10.5%) strong-immovable-endpoint? ...iginterval.rkt:106:0 ---------------------------------------------------------------------- loop [10] 8.4% location-do [73] 8.4% for-loop [56] 8.4% .../more-scheme.rkt:261:28 [14] 25.1% real->precision [27] 49.8% [62] 892(8.8%) 426(4.2%) ??? ...tract/private/arrow-higher-order.rkt:375:33 bf [71] 27.1% location-do [73] 8.4% approximate9 [4] 8.4% hash-ref! [78] 8.4% ---------------------------------------------------------------------- bfadd [54] 33.6% bfatan [53] 66.4% [63] 672(6.6%) 672(6.6%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ---------------------------------------------------------------------- rewriter [55] 100.0% [64] 224(2.2%) 0(0.0%) for-loop ...on-both-ends/src/core/matcher.rkt:89:4 matcher [72] 100.0% ---------------------------------------------------------------------- atab-add-altn [52] 100.0% [65] 206(2.0%) 0(0.0%) override-at-pnts ...s/src/core/alt-table.rkt:129:0 for-loop [74] 100.0% ---------------------------------------------------------------------- map [58] 7.7% loop [66] 92.3% [66] 200(2.0%) 200(2.0%) loop ...-7.5/collects/racket/private/map.rkt:40:19 loop [66] 92.3% ---------------------------------------------------------------------- ??? [59] 100.0% [67] 1536(15.1%) 1536(15.1%) for-loop ...-both-ends/src/core/simplify.rkt:121:2 ---------------------------------------------------------------------- errors [60] 100.0% [68] 1042(10.3%) 0(0.0%) for-loop ...tection-both-ends/src/points.rkt:205:2 .../more-scheme.rkt:261:28 [14]100.0% ---------------------------------------------------------------------- eval-const-expr [83] 33.2% errors [60] 66.8% [69] 674(6.6%) 0(0.0%) temp85_0 (unknown source) compile15 [77] 100.0% ---------------------------------------------------------------------- ??? [59] 100.0% [70] 480(4.7%) 480(4.7%) egg-run-rules ...-ends/src/core/simplify.rkt:108:0 ---------------------------------------------------------------------- ??? [62] 100.0% [71] 242(2.4%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [76] 100.0% ---------------------------------------------------------------------- for-loop [9] 42.9% for-loop [64] 57.1% [72] 224(2.2%) 224(2.2%) matcher ...on-both-ends/src/core/matcher.rkt:115:2 ??? [3] 42.9% rewriter [55] 42.9% ---------------------------------------------------------------------- ??? [62] 100.0% [73] 224(2.2%) 0(0.0%) location-do ...ion-both-ends/src/programs.rkt:63:0 ??? [62] 100.0% ---------------------------------------------------------------------- override-at-pnts [65] 100.0% [74] 206(2.0%) 206(2.0%) for-loop ...oth-ends/src/core/alt-table.rkt:130:22 ---------------------------------------------------------------------- errors [60] 100.0% [75] 200(2.0%) 0(0.0%) eval-prog ...ction-both-ends/src/programs.rkt:82:0 hash-ref! [78] 100.0% ---------------------------------------------------------------------- bfadd [54] 24.1% bf [71] 26.1% bfatan [53] 49.8% [76] 928(9.1%) 928(9.1%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ---------------------------------------------------------------------- temp85_0 [69] 100.0% [77] 674(6.6%) 0(0.0%) compile15 (unknown source) temp91_0 [79] 100.0% ---------------------------------------------------------------------- eval-prog [75] 15.7% ??? [81] 26.4% ??? [62] 26.4% loop [23] 31.4% [78] 424(4.2%) 200(2.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [6] 31.4% ??? [81] 26.4% parse-loop74 [80] 26.4% ---------------------------------------------------------------------- compile15 [77] 100.0% [79] 674(6.6%) 0(0.0%) temp91_0 (unknown source) temp118_0 [82] 100.0% ---------------------------------------------------------------------- hash-ref! [78] 100.0% [80] 224(2.2%) 0(0.0%) parse-loop74 (unknown source) eval-const-expr [83] 100.0% ---------------------------------------------------------------------- hash-ref! [78] 100.0% [81] 224(2.2%) 0(0.0%) ??? ...tection-both-ends/src/core/taylor.rkt:44:15 hash-ref! [78] 100.0% ---------------------------------------------------------------------- temp91_0 [79] 100.0% [82] 674(6.6%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [84] 100.0% ---------------------------------------------------------------------- parse-loop74 [80] 100.0% [83] 224(2.2%) 0(0.0%) eval-const-expr ...oth-ends/src/programs.rkt:120:0 temp85_0 [69] 100.0% ---------------------------------------------------------------------- temp118_0 [82] 100.0% [84] 674(6.6%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [85] 100.0% ---------------------------------------------------------------------- expand-capturing-lifts [84] 100.0% [85] 674(6.6%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [86] 100.0% ---------------------------------------------------------------------- lambda-clause-expander [85] 32.5% for-loop [87] 67.5% [86] 674(6.6%) 0(0.0%) finish-bodys (unknown source) for-loop [87] 100.0% ---------------------------------------------------------------------- fallback-loop [13] 6.6% for-loop [87] 29.1% finish-bodys [86] 64.3% [87] 674(6.6%) 224(2.2%) for-loop (unknown source) finish-bodys [86] 45.6% for-loop [87] 29.1% loop [23] 8.3% dispatch-transformer41 [5] 6.6% expand-implicit [2] 3.7% ----------------------------------------------------------------------