Profiling results ----------------- Total cpu time observed: 17724ms (out of 17856ms) Number of samples taken: 89 (once every 199ms) ======================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================== [1] 17724(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [2] 100.0% ------------------------------------------------------------------------ ??? [1] 100.0% [2] 17724(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ------------------------------------------------------------------------ profile-thunk16 [2] 100.0% [3] 17724(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [4] 100.0% ------------------------------------------------------------------------ for-loop [10] 1.0% run [3] 99.0% [4] 17724(100.0%) 0(0.0%) .../more-scheme.rkt:261:28 (unknown source) prepare-points-intervals [9] 91.8% run-improve47 [5] 4.0% errors [6] 2.1% eval-errors [8] 1.1% ??? [7] 1.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [4] 100.0% [5] 714(4.0%) 0(0.0%) run-improve47 ...-both-ends/src/mainloop.rkt:346:0 prepare-points-intervals [9] 63.0% simplify! [11] 37.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [4] 100.0% [6] 558(3.1%) 0(0.0%) errors ...detection-both-ends/src/points.rkt:203:0 for-loop [10] 100.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [4] 100.0% [7] 370(2.1%) 186(1.0%) ??? ...tion-both-ends/src/syntax/syntax.rkt:214:17 ??? [13] 49.7% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [4] 100.0% [8] 188(1.1%) 0(0.0%) eval-errors ...tion-both-ends/src/points.rkt:181:0 for-loop [12] 100.0% ------------------------------------------------------------------------ run-improve47 [5] 2.7% .../more-scheme.rkt:261:28 [4] 97.3% [9] 16714(94.3%) 0(0.0%) prepare-points-intervals ...s/src/points.rkt:133:0 loop [14] 100.0% ------------------------------------------------------------------------ errors [6] 100.0% [10] 558(3.1%) 0(0.0%) for-loop ...tection-both-ends/src/points.rkt:205:2 .../more-scheme.rkt:261:28 [4] 66.3% ??? [16] 33.7% ------------------------------------------------------------------------ run-improve47 [5] 100.0% [11] 264(1.5%) 0(0.0%) simplify! ...tion-both-ends/src/mainloop.rkt:224:0 ??? [15] 100.0% ------------------------------------------------------------------------ eval-errors [8] 100.0% [12] 188(1.1%) 188(1.1%) for-loop ...tection-both-ends/src/points.rkt:183:2 ------------------------------------------------------------------------ ??? [7] 100.0% [13] 184(1.0%) 184(1.0%) ??? ...ects/racket/contract/private/guts.rkt:770:8 ------------------------------------------------------------------------ prepare-points-intervals [9] 100.0% [14] 16714(94.3%) 606(3.4%) loop ...w-detection-both-ends/src/points.rkt:145:4 loop [17] 94.0% ??? [18] 2.3% ------------------------------------------------------------------------ simplify! [11] 100.0% [15] 264(1.5%) 0(0.0%) ??? ...ection-both-ends/src/core/simplify.rkt:42:0 egraph-run [19] 100.0% ------------------------------------------------------------------------ for-loop [10] 100.0% [16] 188(1.1%) 188(1.1%) ??? ...7.5/collects/racket/private/for.rkt:1236:14 ------------------------------------------------------------------------ loop [14] 100.0% [17] 15718(88.7%) 406(2.3%) loop ...ow-detection-both-ends/src/points.rkt:81:2 ??? [25] 62.0% ??? [26] 18.7% ??? [20] 6.2% real->precision [21] 5.4% log! [22] 2.5% ??? [55] 2.5% ------------------------------------------------------------------------ loop [14] 100.0% [18] 390(2.2%) 0(0.0%) ??? ...ow-detection-both-ends/src/points.rkt:126:6 sample-multi-bounded [23] 100.0% ------------------------------------------------------------------------ ??? [15] 100.0% [19] 264(1.5%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [24] 100.0% ------------------------------------------------------------------------ loop [17] 100.0% [20] 978(5.5%) 778(4.4%) ??? ...contract/private/arrow-val-first.rkt:486:18 strong-immovable-endpoint? [54] 20.4% ------------------------------------------------------------------------ loop [17] 100.0% [21] 850(4.8%) 0(0.0%) real->precision ...oth-ends/src/programs.rkt:94:11 ??? [26] 100.0% ------------------------------------------------------------------------ loop [17] 100.0% [22] 400(2.3%) 0(0.0%) log! ...ow-detection-both-ends/src/points.rkt:59:2 ??? [25] 51.0% for-loop [29] 49.0% ------------------------------------------------------------------------ ??? [18] 100.0% [23] 390(2.2%) 0(0.0%) sample-multi-bounded ...h-ends/src/points.rkt:14:0 random-ranges [27] 100.0% ------------------------------------------------------------------------ egraph-run [19] 100.0% [24] 264(1.5%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [28] 100.0% ------------------------------------------------------------------------ log! [22] 2.0% loop [17] 98.0% [25] 9952(56.1%) 600(3.4%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-fmod [30] 40.1% ival-sinh [32] 26.1% ival-sub [33] 25.7% ??? [36] 2.0% ------------------------------------------------------------------------ real->precision [21] 22.5% loop [17] 77.5% [26] 3786(21.4%) 442(2.5%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ival-pow [31] 77.5% bf [34] 10.8% ------------------------------------------------------------------------ sample-multi-bounded [23] 100.0% [27] 390(2.2%) 0(0.0%) random-ranges ...on-both-ends/src/common.rkt:164:0 build--> [37] 51.8% cons/c [38] 48.2% ------------------------------------------------------------------------ egraph-add-exprs [24] 100.0% [28] 264(1.5%) 0(0.0%) ??? ...ction-both-ends/src/core/simplify.rkt:102:6 for-loop [35] 100.0% ------------------------------------------------------------------------ log! [22] 100.0% [29] 196(1.1%) 196(1.1%) for-loop ...tection-both-ends/src/points.rkt:66:23 ------------------------------------------------------------------------ ??? [25] 100.0% [30] 3988(22.5%) 400(2.3%) ival-fmod ...n-both-ends/src/biginterval.rkt:549:0 ival-div [39] 49.9% e-compute7 [44] 25.2% ival-fabs [40] 9.8% ival-mult [43] 5.0% ------------------------------------------------------------------------ ??? [26] 100.0% [31] 2936(16.6%) 604(3.4%) ival-pow ...on-both-ends/src/biginterval.rkt:358:0 e-compute7 [44] 79.4% ------------------------------------------------------------------------ ??? [25] 100.0% [32] 2598(14.7%) 0(0.0%) ival-sinh ...n-both-ends/src/biginterval.rkt:530:0 e-compute7 [44] 92.2% bfneg [47] 7.8% ------------------------------------------------------------------------ ??? [25] 100.0% [33] 2562(14.5%) 400(2.3%) ival-sub ...on-both-ends/src/biginterval.rkt:216:0 e-compute7 [44] 84.4% ------------------------------------------------------------------------ ??? [26] 100.0% [34] 408(2.3%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [53] 100.0% ------------------------------------------------------------------------ ??? [28] 100.0% [35] 264(1.5%) 264(1.5%) for-loop ...-both-ends/src/core/simplify.rkt:121:2 ------------------------------------------------------------------------ ??? [25] 100.0% [36] 204(1.2%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [42] 100.0% ------------------------------------------------------------------------ random-ranges [27] 100.0% [37] 202(1.1%) 0(0.0%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [41] 100.0% ------------------------------------------------------------------------ random-ranges [27] 100.0% [38] 188(1.1%) 0(0.0%) cons/c .../racket/contract/private/guts.rkt:500:15 coerce-contract [41] 100.0% ------------------------------------------------------------------------ ival-fmod [30] 100.0% [39] 1992(11.2%) 0(0.0%) ival-div ...on-both-ends/src/biginterval.rkt:278:0 e-compute7 [44] 100.0% ------------------------------------------------------------------------ ival-fmod [30] 100.0% [40] 392(2.2%) 0(0.0%) ival-fabs ...n-both-ends/src/biginterval.rkt:517:0 e-compute7 [44] 100.0% ------------------------------------------------------------------------ cons/c [38] 48.2% build--> [37] 51.8% [41] 390(2.2%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [45] 100.0% ------------------------------------------------------------------------ ??? [36] 100.0% [42] 204(1.2%) 204(1.2%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ------------------------------------------------------------------------ ival-fmod [30] 100.0% [43] 200(1.1%) 0(0.0%) ival-mult ...n-both-ends/src/biginterval.rkt:252:0 e-compute7 [44] 100.0% ------------------------------------------------------------------------ ival-mult [43] 1.9% ival-fabs [40] 3.7% ival-fmod [30] 9.6% ival-div [39] 19.0% ival-sub [33] 20.6% ival-pow [31] 22.3% ival-sinh [32] 22.9% [44] 10478(59.1%) 3180(17.9%) e-compute7 ...-both-ends/src/biginterval.rkt:156:0 bfexpt [46] 24.5% strong-immovable-endpoint? [54] 16.9% bfneg [47] 9.4% strong-immovable-endpoint-0? [48] 9.3% ormap [49] 5.7% bftruncate [51] 1.9% ??? [52] 1.9% ------------------------------------------------------------------------ coerce-contract [41] 100.0% [45] 390(2.2%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [50] 100.0% ------------------------------------------------------------------------ e-compute7 [44] 100.0% [46] 2572(14.5%) 0(0.0%) bfexpt ...lib/math/private/bigfloat/mpfr.rkt:835:4 ??? [55] 61.5% new-mpfr [53] 38.5% ------------------------------------------------------------------------ ival-sinh [32] 17.0% e-compute7 [44] 83.0% [47] 1190(6.7%) 0(0.0%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [53] 100.0% ------------------------------------------------------------------------ e-compute7 [44] 100.0% [48] 976(5.5%) 976(5.5%) strong-immovable-endpoint-0? ...interval.rkt:123:0 ------------------------------------------------------------------------ e-compute7 [44] 100.0% [49] 594(3.4%) 0(0.0%) ormap ....5/collects/racket/private/map.rkt:141:13 strong-immovable-endpoint? [54] 100.0% ------------------------------------------------------------------------ coerce-contract/f [45] 100.0% [50] 390(2.2%) 390(2.2%) coerce-simple-value ...ract/private/guts.rkt:385:0 ------------------------------------------------------------------------ e-compute7 [44] 100.0% [51] 202(1.1%) 0(0.0%) bftruncate ...math/private/bigfloat/mpfr.rkt:730:4 new-mpfr [53] 100.0% ------------------------------------------------------------------------ e-compute7 [44] 100.0% [52] 200(1.1%) 200(1.1%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 ------------------------------------------------------------------------ bftruncate [51] 7.2% bf [34] 14.6% bfexpt [46] 35.5% bfneg [47] 42.7% [53] 2790(15.7%) 2790(15.7%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ------------------------------------------------------------------------ ??? [20] 7.8% ormap [49] 23.2% e-compute7 [44] 69.0% [54] 2560(14.4%) 2560(14.4%) strong-immovable-endpoint? ...iginterval.rkt:113:0 ------------------------------------------------------------------------ loop [17] 20.2% bfexpt [46] 79.8% [55] 1982(11.2%) 1982(11.2%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ------------------------------------------------------------------------