Profiling results ----------------- Total cpu time observed: 3288ms (out of 3252ms) Number of samples taken: 13 (once every 253ms) ==================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================== [1] 3288(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [7] 100.0% -------------------------------------------------------------------- ??? [50] 100.0% [2] 644(19.6%) 0(0.0%) approximate9 ...both-ends/src/core/taylor.rkt:11:0 loop [8] 100.0% -------------------------------------------------------------------- hash-ref! [52] 100.0% [3] 644(19.6%) 0(0.0%) ??? ...ection-both-ends/src/core/taylor.rkt:300:23 for-loop [11] 100.0% -------------------------------------------------------------------- hash-ref! [52] 100.0% [4] 644(19.6%) 0(0.0%) ??? ...ection-both-ends/src/core/taylor.rkt:290:26 for-loop [10] 100.0% -------------------------------------------------------------------- hash-ref! [52] 100.0% [5] 644(19.6%) 0(0.0%) ??? ...tection-both-ends/src/core/taylor.rkt:44:15 ??? [9] 100.0% -------------------------------------------------------------------- loop [26] 100.0% [6] 644(19.6%) 0(0.0%) expand-capturing-lifts (unknown source) dispatch-transformer41 [12] 100.0% -------------------------------------------------------------------- ??? [1] 100.0% [7] 3288(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [13] 100.0% -------------------------------------------------------------------- approximate9 [2] 100.0% [8] 644(19.6%) 0(0.0%) loop ...tection-both-ends/src/core/taylor.rkt:86:4 ??? [50] 100.0% -------------------------------------------------------------------- ??? [5] 100.0% [9] 644(19.6%) 0(0.0%) ??? ...ection-both-ends/src/core/taylor.rkt:293:19 hash-ref! [52] 100.0% -------------------------------------------------------------------- ??? [4] 100.0% [10] 644(19.6%) 0(0.0%) for-loop ...n-both-ends/src/core/taylor.rkt:290:52 hash-ref! [52] 100.0% -------------------------------------------------------------------- ??? [3] 100.0% [11] 644(19.6%) 0(0.0%) for-loop ...n-both-ends/src/core/taylor.rkt:303:27 hash-ref! [52] 100.0% -------------------------------------------------------------------- expand-capturing-lifts [6] 100.0% [12] 644(19.6%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [14] 100.0% -------------------------------------------------------------------- profile-thunk16 [7] 100.0% [13] 3288(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [15]100.0% -------------------------------------------------------------------- dispatch-transformer41 [12] 100.0% [14] 644(19.6%) 0(0.0%) apply-transformer52 (unknown source) apply-post-expansion [16] 100.0% -------------------------------------------------------------------- for-loop [27] 3.1% f61 [56] 9.8% run [13] 87.1% [15] 3288(100.0%) 0(0.0%) .../more-scheme.rkt:261:28 (unknown source) prepare-points-intervals [17] 49.1% run-improve47 [18] 22.7% loop [26] 9.8% oracle-error [22] 6.1% get-p&es [23] 6.1% errors [21] 3.1% *bit-width* [20] 3.1% -------------------------------------------------------------------- apply-transformer52 [14] 100.0% [16] 644(19.6%) 0(0.0%) apply-post-expansion (unknown source) gf [19] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [15]100.0% [17] 1614(49.1%) 0(0.0%) prepare-points-intervals ...s/src/points.rkt:133:0 loop [24] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [15]100.0% [18] 1068(32.5%) 0(0.0%) run-improve47 ...-both-ends/src/mainloop.rkt:365:0 for-loop [25] 100.0% -------------------------------------------------------------------- apply-post-expansion [16] 16.7% loop [26] 83.3% [19] 644(19.6%) 0(0.0%) gf (unknown source) loop [26] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [15]100.0% [20] 204(6.2%) 204(6.2%) *bit-width* ...ection-both-ends/src/float.rkt:34:0 -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [15]100.0% [21] 204(6.2%) 0(0.0%) errors ...detection-both-ends/src/points.rkt:203:0 for-loop [27] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [15]100.0% [22] 202(6.1%) 0(0.0%) oracle-error ...ion-both-ends/src/points.rkt:190:0 for-loop [28] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [15]100.0% [23] 200(6.1%) 0(0.0%) get-p&es ...tection-both-ends/src/sandbox.rkt:25:0 for-loop [29] 100.0% -------------------------------------------------------------------- prepare-points-intervals [17] 100.0% [24] 1614(49.1%) 0(0.0%) loop ...w-detection-both-ends/src/points.rkt:145:4 loop [30] 100.0% -------------------------------------------------------------------- run-improve47 [18] 100.0% [25] 1068(32.5%) 0(0.0%) for-loop ...ction-both-ends/src/mainloop.rkt:384:4 run-iter! [31] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [15] 10.0% loop [26] 30.0% gf [19] 60.0% [26] 644(19.6%) 644(19.6%) loop (unknown source) gf [19] 50.0% loop [26] 30.0% expand-capturing-lifts [6] 10.0% -------------------------------------------------------------------- errors [21] 100.0% [27] 204(6.2%) 0(0.0%) for-loop ...tection-both-ends/src/points.rkt:205:2 .../more-scheme.rkt:261:28 [15]100.0% -------------------------------------------------------------------- oracle-error [22] 100.0% [28] 202(6.1%) 0(0.0%) for-loop ...tection-both-ends/src/points.rkt:191:2 map [32] 100.0% -------------------------------------------------------------------- get-p&es [23] 100.0% [29] 200(6.1%) 200(6.1%) for-loop ...tection-both-ends/src/sandbox.rkt:26:2 -------------------------------------------------------------------- loop [24] 100.0% [30] 1614(49.1%) 200(6.1%) loop ...ow-detection-both-ends/src/points.rkt:81:2 ...higher-order.rkt:375:33 [33] 49.6% ??? [36] 12.8% ??? [37] 12.8% real->precision [39] 12.5% -------------------------------------------------------------------- for-loop [25] 100.0% [31] 1068(32.5%) 0(0.0%) run-iter! ...tion-both-ends/src/mainloop.rkt:346:0 gen-series! [34] 60.3% simplify! [35] 39.7% -------------------------------------------------------------------- for-loop [28] 100.0% [32] 202(6.1%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 ??? [38] 100.0% -------------------------------------------------------------------- loop [30] 100.0% [33] 800(24.3%) 200(6.1%) ...higher-order.rkt:375:33 (unknown source) loop [41] 75.0% -------------------------------------------------------------------- run-iter! [31] 100.0% [34] 644(19.6%) 0(0.0%) gen-series! ...on-both-ends/src/mainloop.rkt:160:0 for-loop [40] 100.0% -------------------------------------------------------------------- run-iter! [31] 100.0% [35] 424(12.9%) 0(0.0%) simplify! ...tion-both-ends/src/mainloop.rkt:224:0 ??? [42] 100.0% -------------------------------------------------------------------- loop [30] 100.0% [36] 206(6.3%) 206(6.3%) ??? ...tract/private/arrow-higher-order.rkt:379:33 -------------------------------------------------------------------- loop [30] 100.0% [37] 206(6.3%) 206(6.3%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 -------------------------------------------------------------------- map [32] 100.0% [38] 202(6.1%) 202(6.1%) ??? ...w-detection-both-ends/src/points.rkt:192:26 -------------------------------------------------------------------- loop [30] 100.0% [39] 202(6.1%) 0(0.0%) real->precision ...th-ends/src/programs.rkt:118:11 ??? [50] 100.0% -------------------------------------------------------------------- gen-series! [34] 100.0% [40] 644(19.6%) 0(0.0%) for-loop ...ction-both-ends/src/mainloop.rkt:167:7 taylor-alt [43] 100.0% -------------------------------------------------------------------- ...higher-order.rkt:375:33 [33]100.0% [41] 600(18.2%) 0(0.0%) loop ...ection-both-ends/src/biginterval.rkt:633:6 ival-<=2 [45] 66.7% ival-and [46] 33.3% -------------------------------------------------------------------- simplify! [35] 100.0% [42] 424(12.9%) 0(0.0%) ??? ...ection-both-ends/src/core/simplify.rkt:42:0 egraph-run [44] 100.0% -------------------------------------------------------------------- for-loop [40] 100.0% [43] 644(19.6%) 0(0.0%) taylor-alt ...ion-both-ends/src/mainloop.rkt:146:0 for-loop [47] 100.0% -------------------------------------------------------------------- ??? [42] 100.0% [44] 424(12.9%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [48] 100.0% -------------------------------------------------------------------- loop [41] 100.0% [45] 400(12.2%) 0(0.0%) ival-<=2 ...on-both-ends/src/biginterval.rkt:611:0 epfn [49] 100.0% -------------------------------------------------------------------- loop [41] 100.0% [46] 200(6.1%) 200(6.1%) ival-and ...on-both-ends/src/biginterval.rkt:419:0 -------------------------------------------------------------------- taylor-alt [43] 100.0% [47] 644(19.6%) 0(0.0%) for-loop ...ction-both-ends/src/mainloop.rkt:152:6 ??? [50] 100.0% -------------------------------------------------------------------- egraph-run [44] 100.0% [48] 424(12.9%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [51] 100.0% -------------------------------------------------------------------- ival-<=2 [45] 100.0% [49] 400(12.2%) 400(12.2%) epfn ...ection-both-ends/src/biginterval.rkt:151:0 -------------------------------------------------------------------- real->precision [39] 23.9% loop [8] 25.4% location-do [53] 25.4% for-loop [47] 25.4% [50] 846(25.7%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:375:33 location-do [53] 25.4% approximate9 [2] 25.4% hash-ref! [52] 25.4% bf [55] 23.9% -------------------------------------------------------------------- egraph-add-exprs [48] 100.0% [51] 424(12.9%) 0(0.0%) ??? ...ction-both-ends/src/core/simplify.rkt:103:6 for-loop [54] 100.0% -------------------------------------------------------------------- for-loop [11] 25.0% for-loop [10] 25.0% ??? [9] 25.0% ??? [50] 25.0% [52] 644(19.6%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [5] 25.0% ??? [4] 25.0% ??? [3] 25.0% f61 [56] 25.0% -------------------------------------------------------------------- ??? [50] 100.0% [53] 644(19.6%) 0(0.0%) location-do ...ion-both-ends/src/programs.rkt:87:0 ??? [50] 100.0% -------------------------------------------------------------------- ??? [51] 100.0% [54] 424(12.9%) 424(12.9%) for-loop ...-both-ends/src/core/simplify.rkt:121:2 -------------------------------------------------------------------- ??? [50] 100.0% [55] 202(6.1%) 202(6.1%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 -------------------------------------------------------------------- hash-ref! [52] 100.0% [56] 644(19.6%) 0(0.0%) f61 (unknown source) .../more-scheme.rkt:261:28 [15]100.0% --------------------------------------------------------------------