1052.239013671875 18.27001953125 981.63623046875 Profiling results ----------------- Total cpu time observed: 57448ms (out of 58320ms) Number of samples taken: 117 (once every 491ms) (Hiding functions with self<1.0% and local<2.0%: 2 of 60 hidden) ===================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ===================================================================== ??? [5] 100.0% [1] 57448(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% --------------------------------------------------------------------- ??? [5] 100.0% [2] 558(1.0%) 0(0.0%) errors ...eggmath-testversion/src/points.rkt:205:0 for-loop [4] 100.0% --------------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 57448(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% --------------------------------------------------------------------- errors [2] 100.0% [4] 558(1.0%) 0(0.0%) for-loop ...gmath-testversion/src/points.rkt:207:2 ??? [5] 100.0% --------------------------------------------------------------------- for-loop [4] 0.3% run [3] 49.8% [5] 57448(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.8% prepare-points-intervals [10] 36.9% run-improve47 [6] 9.3% get-final-combination [7] 2.8% errors [2] 0.3% ??? [24] 0.3% eval-errors [8] 0.2% oracle-error [9] 0.2% --------------------------------------------------------------------- ??? [5] 100.0% [6] 10702(18.6%) 0(0.0%) run-improve47 ...estversion/src/mainloop.rkt:345:0 prepare-points-intervals [10] 37.8% simplify! [11] 32.3% for-loop [13] 29.9% --------------------------------------------------------------------- ??? [5] 100.0% [7] 3222(5.6%) 0(0.0%) get-final-combination ...on/src/mainloop.rkt:370:0 ??? [12] 100.0% --------------------------------------------------------------------- ??? [5] 100.0% [8] 280(0.5%) 0(0.0%) eval-errors ...th-testversion/src/points.rkt:179:0 for-loop [14] 100.0% --------------------------------------------------------------------- ??? [5] 100.0% [9] 272(0.5%) 0(0.0%) oracle-error ...h-testversion/src/points.rkt:188:0 for-loop [15] 100.0% --------------------------------------------------------------------- run-improve47 [6] 8.7% ??? [5] 91.3% [10] 46462(80.9%) 0(0.0%) prepare-points-intervals ...n/src/points.rkt:110:0 loop [16] 100.0% --------------------------------------------------------------------- run-improve47 [6] 100.0% [11] 3456(6.0%) 0(0.0%) simplify! ...th-testversion/src/mainloop.rkt:223:0 ??? [17] 100.0% --------------------------------------------------------------------- get-final-combination [7] 100.0% [12] 3222(5.6%) 0(0.0%) ??? ...math-testversion/src/core/simplify.rkt:25:0 ??? [17] 100.0% --------------------------------------------------------------------- run-improve47 [6] 100.0% [13] 3198(5.6%) 0(0.0%) for-loop ...ath-testversion/src/mainloop.rkt:364:4 run-iter! [18] 100.0% --------------------------------------------------------------------- eval-errors [8] 100.0% [14] 280(0.5%) 0(0.0%) for-loop ...gmath-testversion/src/points.rkt:181:2 ??? [24] 100.0% --------------------------------------------------------------------- oracle-error [9] 100.0% [15] 272(0.5%) 272(0.5%) for-loop ...gmath-testversion/src/points.rkt:189:2 --------------------------------------------------------------------- prepare-points-intervals [10]100.0% [16] 46462(80.9%) 580(1.0%) loop ...e/eggmath-testversion/src/points.rkt:123:4 loop [19] 95.4% ??? [22] 2.0% do-curry [23] 1.4% --------------------------------------------------------------------- ??? [12] 48.2% simplify! [11] 51.8% [17] 6678(11.6%) 0(0.0%) ??? ...math-testversion/src/core/simplify.rkt:38:0 egraph-run [20] 100.0% --------------------------------------------------------------------- for-loop [13] 100.0% [18] 3198(5.6%) 0(0.0%) run-iter! ...th-testversion/src/mainloop.rkt:326:0 localize! [21] 100.0% --------------------------------------------------------------------- loop [16] 100.0% [19] 44310(77.1%) 1504(2.6%) loop ...ie/eggmath-testversion/src/points.rkt:81:2 ??? [24] 90.6% ??? [27] 4.5% log! [28] 1.6% --------------------------------------------------------------------- ??? [17] 100.0% [20] 6678(11.6%) 0(0.0%) egraph-run ...estversion/src/core/eggmath.rkt:54:0 egraph-add-exprs [25] 100.0% --------------------------------------------------------------------- run-iter! [18] 100.0% [21] 3198(5.6%) 0(0.0%) localize! ...th-testversion/src/mainloop.rkt:126:0 localize-error [26] 100.0% --------------------------------------------------------------------- loop [16] 100.0% [22] 932(1.6%) 314(0.5%) ??? ...ie/eggmath-testversion/src/points.rkt:106:2 compose [29] 35.4% ??? [36] 30.9% --------------------------------------------------------------------- loop [16] 100.0% [23] 640(1.1%) 640(1.1%) do-curry ...-7.2/collects/racket/function.rkt:71:2 --------------------------------------------------------------------- for-loop [14] 0.7% ??? [5] 1.4% loop [19] 98.0% [24] 40970(71.3%) 430(0.7%) ??? .../eggmath-testversion/src/programs.rkt:115:2 ??? [30] 92.7% ??? [36] 4.9% --------------------------------------------------------------------- egraph-run [20] 100.0% [25] 6678(11.6%) 0(0.0%) egraph-add-exprs ...ion/src/core/eggmath.rkt:118:0 ??? [31] 100.0% --------------------------------------------------------------------- localize! [21] 100.0% [26] 3198(5.6%) 0(0.0%) localize-error ...rsion/src/core/localize.rkt:66:0 hash-ref! [32] 100.0% --------------------------------------------------------------------- loop [19] 100.0% [27] 1986(3.5%) 304(0.5%) ??? ...contract/private/arrow-val-first.rkt:390:18 ??? [33] 84.7% --------------------------------------------------------------------- loop [19] 100.0% [28] 688(1.2%) 0(0.0%) log! ...ie/eggmath-testversion/src/points.rkt:61:2 for-loop [34] 100.0% --------------------------------------------------------------------- ??? [22] 100.0% [29] 330(0.6%) 330(0.6%) compose ...collects/racket/private/list.rkt:385:12 --------------------------------------------------------------------- ??? [24] 100.0% [30] 37972(66.1%) 2370(4.1%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [35] 71.0% ??? [36] 22.1% --------------------------------------------------------------------- egraph-add-exprs [25] 100.0% [31] 6678(11.6%) 6678(11.6%) ??? ...math-testversion/src/core/simplify.rkt:49:8 --------------------------------------------------------------------- localize-error [26] 33.3% map [43] 66.7% [32] 3198(5.6%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 parse-loop30 [37] 100.0% --------------------------------------------------------------------- ??? [27] 100.0% [33] 1682(2.9%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:772:8 bigvalue? [38] 100.0% --------------------------------------------------------------------- log! [28] 100.0% [34] 688(1.2%) 688(1.2%) for-loop ...gmath-testversion/src/points.rkt:68:23 --------------------------------------------------------------------- ??? [30] 100.0% [35] 26942(46.9%) 2066(3.6%) ??? ...tract/private/arrow-higher-order.rkt:364:33 ival-sinh [39] 40.0% ival-fmod [40] 39.4% ival-sub [42] 13.0% --------------------------------------------------------------------- ??? [22] 2.7% ??? [24] 18.8% ??? [30] 78.5% [36] 10678(18.6%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:360:33 ival-pow [41] 78.5% mk-ival [44] 18.8% sample-multi-bounded [45] 2.7% --------------------------------------------------------------------- hash-ref! [32] 100.0% [37] 3198(5.6%) 0(0.0%) parse-loop30 ...s/racket/match/compiler.rkt:418:15 map [43] 100.0% --------------------------------------------------------------------- ??? [33] 100.0% [38] 1682(2.9%) 1682(2.9%) bigvalue? ...testversion/src/syntax/types.rkt:19:0 --------------------------------------------------------------------- ??? [35] 100.0% [39] 10774(18.8%) 6610(11.5%) ival-sinh ...testversion/src/biginterval.rkt:361:0 bfsinh [53] 38.6% --------------------------------------------------------------------- ??? [35] 100.0% [40] 10602(18.5%) 590(1.0%) ival-fmod ...testversion/src/biginterval.rkt:381:0 ival-fabs [46] 48.7% ival-div [48] 24.7% bftruncate [50] 10.5% ival-mult [51] 6.8% bfsinh [53] 3.7% --------------------------------------------------------------------- ??? [36] 100.0% [41] 8380(14.6%) 1898(3.3%) ival-pow ...-testversion/src/biginterval.rkt:215:0 bfexpt [56] 77.4% --------------------------------------------------------------------- ??? [35] 100.0% [42] 3500(6.1%) 0(0.0%) ival-sub ...h-testversion/src/biginterval.rkt:99:0 bfexpt [56] 100.0% --------------------------------------------------------------------- parse-loop30 [37] 100.0% [43] 3198(5.6%) 0(0.0%) map ...t-7.2/collects/racket/private/map.rkt:35:13 hash-ref! [32] 66.7% loop [47] 33.3% --------------------------------------------------------------------- ??? [36] 100.0% [44] 2010(3.5%) 0(0.0%) mk-ival ...th-testversion/src/biginterval.rkt:57:0 bf [49] 100.0% --------------------------------------------------------------------- ??? [36] 100.0% [45] 288(0.5%) 0(0.0%) sample-multi-bounded ...ersion/src/points.rkt:15:0 random-ranges [52] 100.0% --------------------------------------------------------------------- ival-fmod [40] 100.0% [46] 5160(9.0%) 2268(3.9%) ival-fabs ...testversion/src/biginterval.rkt:353:0 bfsinh [53] 56.0% --------------------------------------------------------------------- loop [47] 50.0% map [43] 50.0% [47] 3198(5.6%) 0(0.0%) loop ...-7.2/collects/racket/private/map.rkt:40:19 loop [47] 50.0% ??? [54] 50.0% --------------------------------------------------------------------- ival-fmod [40] 100.0% [48] 2618(4.6%) 1038(1.8%) ival-div ...-testversion/src/biginterval.rkt:147:0 bfexpt [56] 60.4% --------------------------------------------------------------------- mk-ival [44] 100.0% [49] 2010(3.5%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [57] 54.7% ??? [58] 45.3% --------------------------------------------------------------------- ival-fmod [40] 100.0% [50] 1114(1.9%) 0(0.0%) bftruncate ...math/private/bigfloat/mpfr.rkt:716:4 ??? [58] 65.5% new-mpfr [57] 34.5% --------------------------------------------------------------------- ival-fmod [40] 100.0% [51] 724(1.3%) 0(0.0%) ival-mult ...testversion/src/biginterval.rkt:111:0 bfexpt [56] 100.0% --------------------------------------------------------------------- sample-multi-bounded [45] 100.0% [52] 288(0.5%) 0(0.0%) random-ranges ...-testversion/src/common.rkt:183:0 build--> [55] 100.0% --------------------------------------------------------------------- ival-fmod [40] 5.3% ival-fabs [46] 38.8% ival-sinh [39] 55.9% [53] 7452(13.0%) 0(0.0%) bfsinh ...lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [57] 92.1% ??? [58] 7.9% --------------------------------------------------------------------- loop [47] 100.0% [54] 3198(5.6%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfexpt [56] 100.0% --------------------------------------------------------------------- random-ranges [52] 100.0% [55] 288(0.5%) 288(0.5%) build--> ...act/private/arrow-val-first.rkt:1088:0 --------------------------------------------------------------------- ival-mult [51] 4.7% ival-div [48] 10.2% ??? [54] 20.7% ival-sub [42] 22.6% ival-pow [41] 41.9% [56] 15484(27.0%) 588(1.0%) bfexpt ...lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [57] 81.7% ??? [58] 14.5% --------------------------------------------------------------------- bftruncate [50] 1.8% bf [49] 5.2% bfsinh [53] 32.7% bfexpt [56] 60.2% [57] 20990(36.5%) 20990(36.5%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 --------------------------------------------------------------------- bfsinh [53] 13.2% bftruncate [50] 16.3% bf [49] 20.3% bfexpt [56] 50.2% [58] 4482(7.8%) 4482(7.8%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4 ---------------------------------------------------------------------