Profiling results ----------------- Total cpu time observed: 65700ms (out of 66824ms) Number of samples taken: 188 (once every 349ms) ======================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================= ??? [5] 100.0% [1] 65700(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ----------------------------------------------------------------------- ??? [5] 100.0% [2] 694(1.1%) 0(0.0%) oracle-error ...implify-tweak/src/points.rkt:212:0 for-loop [4] 100.0% ----------------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 65700(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% ----------------------------------------------------------------------- oracle-error [2] 100.0% [4] 694(1.1%) 0(0.0%) for-loop ...ie/simplify-tweak/src/points.rkt:213:2 map [6] 51.6% loop [7] 48.4% ----------------------------------------------------------------------- run [3] 50.0% [5] 65700(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% prepare-points-intervals [13] 47.5% run-improve40 [8] 1.5% oracle-error [2] 0.5% eval-errors [11] 0.3% errors [12] 0.2% ----------------------------------------------------------------------- for-loop [4] 100.0% [6] 358(0.5%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 ??? [9] 100.0% ----------------------------------------------------------------------- for-loop [4] 100.0% [7] 336(0.5%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 ulp-difference [10] 100.0% ----------------------------------------------------------------------- ??? [5] 100.0% [8] 1964(3.0%) 0(0.0%) run-improve40 ...lify-tweak/src/mainloop.rkt:340:0 prepare-points-intervals [13] 81.7% simplify! [14] 18.3% ----------------------------------------------------------------------- map [6] 100.0% [9] 358(0.5%) 0(0.0%) ??? ...herbie/simplify-tweak/src/points.rkt:214:26 ??? [22] 100.0% ----------------------------------------------------------------------- loop [7] 100.0% [10] 336(0.5%) 336(0.5%) ulp-difference ...implify-tweak/src/float.rkt:14:0 ----------------------------------------------------------------------- ??? [5] 100.0% [11] 330(0.5%) 0(0.0%) eval-errors ...simplify-tweak/src/points.rkt:203:0 for-loop [15] 100.0% ----------------------------------------------------------------------- ??? [5] 100.0% [12] 312(0.5%) 0(0.0%) errors ...rbie/simplify-tweak/src/points.rkt:228:0 for-loop [16] 100.0% ----------------------------------------------------------------------- run-improve40 [8] 2.5% ??? [5] 97.5% [13] 64004(97.4%) 0(0.0%) prepare-points-intervals ...k/src/points.rkt:133:0 loop [17] 100.0% ----------------------------------------------------------------------- run-improve40 [8] 100.0% [14] 360(0.5%) 0(0.0%) simplify! ...simplify-tweak/src/mainloop.rkt:217:0 ??? [18] 100.0% ----------------------------------------------------------------------- eval-errors [11] 100.0% [15] 330(0.5%) 330(0.5%) for-loop ...ie/simplify-tweak/src/points.rkt:205:2 ----------------------------------------------------------------------- errors [12] 100.0% [16] 312(0.5%) 312(0.5%) for-loop ...ie/simplify-tweak/src/points.rkt:230:2 ----------------------------------------------------------------------- prepare-points-intervals [13] 100.0% [17] 64004(97.4%) 0(0.0%) loop ...herbie/simplify-tweak/src/points.rkt:145:4 loop [19] 98.1% ??? [20] 1.9% ----------------------------------------------------------------------- simplify! [14] 100.0% [18] 360(0.5%) 0(0.0%) ??? ...e/simplify-tweak/src/core/simplify.rkt:26:0 loop [21] 100.0% ----------------------------------------------------------------------- loop [17] 100.0% [19] 62814(95.6%) 912(1.4%) loop ...herbie/simplify-tweak/src/points.rkt:104:2 ??? [22] 96.9% ??? [26] 1.1% ??? [24] 0.5% ----------------------------------------------------------------------- loop [17] 100.0% [20] 1190(1.8%) 0(0.0%) ??? .../herbie/simplify-tweak/src/points.rkt:129:2 ??? [29] 50.4% ??? [27] 25.4% ??? [26] 24.2% ----------------------------------------------------------------------- ??? [18] 100.0% [21] 360(0.5%) 0(0.0%) loop ...simplify-tweak/src/core/simplify.rkt:132:2 for-loop [23] 100.0% ----------------------------------------------------------------------- ??? [9] 0.6% loop [19] 99.4% [22] 61242(93.2%) 412(0.6%) ??? ...erbie/simplify-tweak/src/programs.rkt:146:2 ??? [25] 92.8% ??? [26] 6.5% ----------------------------------------------------------------------- loop [21] 100.0% [23] 360(0.5%) 0(0.0%) for-loop ...lify-tweak/src/core/simplify.rkt:138:4 argmin [28] 100.0% ----------------------------------------------------------------------- loop [19] 100.0% [24] 324(0.5%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 ??? [27] 100.0% ----------------------------------------------------------------------- ??? [22] 100.0% [25] 56828(86.5%) 0(0.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [29] 99.4% ??? [33] 0.6% ----------------------------------------------------------------------- ??? [20] 5.8% loop [19] 13.9% ??? [22] 80.3% [26] 4984(7.6%) 288(0.4%) ??? ...tract/private/arrow-higher-order.rkt:357:33 mk-ival [30] 80.3% ->flonum [31] 13.9% ----------------------------------------------------------------------- ??? [20] 48.2% ??? [24] 51.8% [27] 626(1.0%) 626(1.0%) ??? ...ects/racket/contract/private/prop.rkt:519:4 ----------------------------------------------------------------------- for-loop [23] 100.0% [28] 360(0.5%) 0(0.0%) argmin ...acket-7.0/collects/racket/list.rkt:765:0 for-loop [32] 100.0% ----------------------------------------------------------------------- fold-binary-pred [43] 0.8% ??? [20] 1.1% ??? [25] 98.1% [29] 57070(86.9%) 3088(4.7%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-sin [34] 47.6% ival-cos [35] 32.7% ival-div [36] 9.7% ival-sub [37] 5.5% ----------------------------------------------------------------------- ??? [26] 100.0% [30] 4002(6.1%) 1252(1.9%) mk-ival ...simplify-tweak/src/biginterval.rkt:59:0 bf [38] 68.7% ----------------------------------------------------------------------- ??? [26] 100.0% [31] 694(1.1%) 694(1.1%) ->flonum ...e/simplify-tweak/src/programs.rkt:38:0 ----------------------------------------------------------------------- argmin [28] 100.0% [32] 360(0.5%) 0(0.0%) for-loop .../simplify-tweak/src/programs.rkt:205:2 table-ref [39] 100.0% ----------------------------------------------------------------------- ??? [25] 100.0% [33] 358(0.5%) 0(0.0%) ??? ...simplify-tweak/src/syntax/syntax.rkt:317:17 ??? [40] 100.0% ----------------------------------------------------------------------- ??? [29] 100.0% [34] 27316(41.6%) 3382(5.1%) ival-sin ...mplify-tweak/src/biginterval.rkt:287:0 ??? [41] 79.4% bfeven? [44] 3.3% ...higher-order.rkt:357:33 [42] 2.6% bfodd? [49] 1.1% fold-binary-pred [43] 1.1% ----------------------------------------------------------------------- ??? [29] 100.0% [35] 18654(28.4%) 3710(5.6%) ival-cos ...mplify-tweak/src/biginterval.rkt:268:0 ??? [41] 74.3% ...higher-order.rkt:357:33 [42] 2.2% ...higher-order.rkt:361:33 [45] 1.9% force [47] 1.7% ----------------------------------------------------------------------- ??? [29] 100.0% [36] 5828(8.9%) 1424(2.2%) ival-div ...mplify-tweak/src/biginterval.rkt:141:0 ??? [41] 41.3% classify-ival [46] 11.6% fold-binary-pred [43] 10.9% ...higher-order.rkt:361:33 [45] 6.6% force [47] 5.1% ----------------------------------------------------------------------- ??? [29] 100.0% [37] 3120(4.7%) 312(0.5%) ival-sub ...implify-tweak/src/biginterval.rkt:93:0 ??? [41] 90.0% ----------------------------------------------------------------------- mk-ival [30] 100.0% [38] 2750(4.2%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [57] 100.0% ----------------------------------------------------------------------- for-loop [32] 100.0% [39] 360(0.5%) 360(0.5%) table-ref ...ie/simplify-tweak/src/common.rkt:42:0 ----------------------------------------------------------------------- ??? [33] 100.0% [40] 358(0.5%) 0(0.0%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ??? [48] 100.0% ----------------------------------------------------------------------- ival-div [36] 5.9% ival-sub [37] 6.9% ival-cos [35] 34.0% ival-sin [34] 53.2% [41] 40782(62.1%) 21656(33.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [50] 28.3% bfsin [51] 6.5% bffloor [52] 6.2% pi.bf [53] 5.9% ----------------------------------------------------------------------- ival-cos [35] 36.1% ival-sin [34] 63.9% [42] 1124(1.7%) 334(0.5%) ...higher-order.rkt:357:33 (unknown source) ??? [55] 36.1% ??? [54] 34.2% ----------------------------------------------------------------------- ival-sin [34] 32.1% ival-div [36] 67.9% [43] 936(1.4%) 0(0.0%) fold-binary-pred ...gfloat/bigfloat-mpfr.rkt:117:0 ??? [29] 100.0% ----------------------------------------------------------------------- ival-sin [34] 100.0% [44] 914(1.4%) 628(1.0%) bfeven? ...ib/math/private/bigfloat/mpfr.rkt:800:0 ??? [58] 31.3% ----------------------------------------------------------------------- ival-cos [35] 47.4% ival-div [36] 52.6% [45] 734(1.1%) 386(0.6%) ...higher-order.rkt:361:33 (unknown source) ??? [54] 47.4% ----------------------------------------------------------------------- ival-div [36] 100.0% [46] 674(1.0%) 674(1.0%) classify-ival ...y-tweak/src/biginterval.rkt:310:0 ----------------------------------------------------------------------- ival-div [36] 48.1% ival-cos [35] 51.9% [47] 624(0.9%) 624(0.9%) force ...collects/racket/private/promise.rkt:109:0 ----------------------------------------------------------------------- ??? [40] 100.0% [48] 358(0.5%) 358(0.5%) ??? ...ects/racket/contract/private/prop.rkt:274:4 ----------------------------------------------------------------------- ival-sin [34] 100.0% [49] 302(0.5%) 0(0.0%) bfodd? ...lib/math/private/bigfloat/mpfr.rkt:803:0 new-mpz [56] 100.0% ----------------------------------------------------------------------- ??? [41] 100.0% [50] 11530(17.5%) 0(0.0%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [57] 64.6% ??? [58] 35.4% ----------------------------------------------------------------------- ??? [41] 100.0% [51] 2636(4.0%) 332(0.5%) bfsin ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [57] 75.9% ??? [58] 11.5% ----------------------------------------------------------------------- ??? [41] 100.0% [52] 2534(3.9%) 0(0.0%) bffloor ...ib/math/private/bigfloat/mpfr.rkt:716:4 new-mpfr [57] 63.5% ??? [58] 36.5% ----------------------------------------------------------------------- ??? [41] 100.0% [53] 2426(3.7%) 0(0.0%) pi.bf ...-lib/math/private/bigfloat/mpfr.rkt:998:4 ??? [58] 53.9% new-mpfr [57] 46.1% ----------------------------------------------------------------------- ...higher-order.rkt:361:33 [45] 47.5% ...higher-order.rkt:357:33 [42] 52.5% [54] 732(1.1%) 732(1.1%) ??? ...cts/racket/contract/private/list.rkt:209:10 ----------------------------------------------------------------------- ...higher-order.rkt:357:33 [42]100.0% [55] 406(0.6%) 406(0.6%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ----------------------------------------------------------------------- bfodd? [49] 100.0% [56] 302(0.5%) 302(0.5%) new-mpz ...-lib/math/private/bigfloat/gmp.rkt:73:0 ----------------------------------------------------------------------- pi.bf [53] 7.5% bffloor [52] 10.8% bfsin [51] 13.4% bf [38] 18.4% bfsub [50] 49.9% [57] 14930(22.7%) 14930(22.7%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ----------------------------------------------------------------------- bfeven? [44] 4.1% bfsin [51] 4.4% bffloor [52] 13.4% pi.bf [53] 19.0% bfsub [50] 59.1% [58] 6900(10.5%) 6900(10.5%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 -----------------------------------------------------------------------