Profiling results ----------------- Total cpu time observed: 17092ms (out of 16368ms) Number of samples taken: 36 (once every 475ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== ??? [3] 100.0% [1] 17092(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ---------------------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 17092(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ---------------------------------------------------------------------- run [2] 50.0% [3] 17092(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [11] 29.4% run-improve39 [4] 12.0% eval-errors [5] 7.6% oracle-error [6] 1.0% ---------------------------------------------------------------------- ??? [3] 100.0% [4] 4110(24.0%) 0(0.0%) run-improve39 ...ie/develop/src/mainloop.rkt:334:0 setup-prog!32 [7] 91.4% for-loop [9] 8.6% ---------------------------------------------------------------------- ??? [3] 100.0% [5] 2586(15.1%) 0(0.0%) eval-errors ...herbie/develop/src/points.rkt:292:0 for-loop [8] 100.0% ---------------------------------------------------------------------- ??? [3] 100.0% [6] 340(2.0%) 0(0.0%) oracle-error ...erbie/develop/src/points.rkt:311:0 for-loop [10] 100.0% ---------------------------------------------------------------------- run-improve39 [4] 100.0% [7] 3758(22.0%) 0(0.0%) setup-prog!32 ...bie/develop/src/mainloop.rkt:63:0 loop [11] 100.0% ---------------------------------------------------------------------- eval-errors [5] 100.0% [8] 2586(15.1%) 1276(7.5%) for-loop ...es/herbie/develop/src/points.rkt:294:2 ??? [27] 50.7% ---------------------------------------------------------------------- run-improve39 [4] 100.0% [9] 352(2.1%) 0(0.0%) for-loop ...herbie/develop/src/mainloop.rkt:345:19 ??? [12] 100.0% ---------------------------------------------------------------------- oracle-error [6] 100.0% [10] 340(2.0%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:312:2 map [13] 100.0% ---------------------------------------------------------------------- setup-prog!32 [7] 27.2% ??? [3] 72.8% [11] 13814(80.8%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:242:2 make-exacts-intervals [14] 95.3% for-loop [15] 4.7% ---------------------------------------------------------------------- for-loop [9] 100.0% [12] 352(2.1%) 0(0.0%) ??? ...s/herbie/develop/src/core/simplify.rkt:31:0 iterate-egraph!7 [16] 100.0% ---------------------------------------------------------------------- for-loop [10] 100.0% [13] 340(2.0%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:35:13 ??? [17] 100.0% ---------------------------------------------------------------------- loop [11] 100.0% [14] 13168(77.0%) 0(0.0%) make-exacts-intervals ...elop/src/points.rkt:183:0 for-loop [18] 68.8% eval-prog [19] 18.3% loop [23] 12.9% ---------------------------------------------------------------------- loop [11] 100.0% [15] 646(3.8%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:257:19 for-loop [20] 54.8% ??? [37] 45.2% ---------------------------------------------------------------------- ??? [12] 100.0% [16] 352(2.1%) 0(0.0%) iterate-egraph!7 ...lop/src/core/simplify.rkt:61:0 one-iter [21] 100.0% ---------------------------------------------------------------------- map [13] 100.0% [17] 340(2.0%) 0(0.0%) ??? ...htlies/herbie/develop/src/points.rkt:313:26 ulp-difference [22] 100.0% ---------------------------------------------------------------------- make-exacts-intervals [14] 100.0% [18] 9062(53.0%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:186:2 loop [23] 100.0% ---------------------------------------------------------------------- make-exacts-intervals [14] 100.0% [19] 2404(14.1%) 0(0.0%) eval-prog ...herbie/develop/src/programs.rkt:108:0 loop [24] 100.0% ---------------------------------------------------------------------- for-loop [15] 100.0% [20] 354(2.1%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:234:4 ??? [25] 100.0% ---------------------------------------------------------------------- iterate-egraph!7 [16] 100.0% [21] 352(2.1%) 0(0.0%) one-iter ...bie/develop/src/core/simplify.rkt:72:0 for-loop [26] 100.0% ---------------------------------------------------------------------- ??? [17] 100.0% [22] 340(2.0%) 340(2.0%) ulp-difference ...erbie/develop/src/float.rkt:19:0 ---------------------------------------------------------------------- make-exacts-intervals [14] 15.8% for-loop [18] 84.2% [23] 10764(63.0%) 308(1.8%) loop ...htlies/herbie/develop/src/points.rkt:168:2 ??? [27] 84.6% ??? [30] 12.6% ---------------------------------------------------------------------- loop [24] 33.3% expand-capturing-lifts [28] 33.3% eval-prog [19] 33.3% [24] 2404(14.1%) 0(0.0%) loop (unknown source) expand-capturing-lifts [28] 33.3% loop [24] 33.3% for-loop [29] 33.3% ---------------------------------------------------------------------- for-loop [20] 100.0% [25] 354(2.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 sample-multi-bounded [31] 100.0% ---------------------------------------------------------------------- one-iter [21] 100.0% [26] 352(2.1%) 0(0.0%) for-loop ...ie/develop/src/core/simplify.rkt:123:2 match-e [32] 100.0% ---------------------------------------------------------------------- for-loop [8] 12.6% loop [23] 87.4% [27] 10412(60.9%) 1310(7.7%) ??? ...tlies/herbie/develop/src/programs.rkt:124:2 ??? [33] 68.0% ??? [37] 19.4% ---------------------------------------------------------------------- loop [24] 100.0% [28] 2404(14.1%) 0(0.0%) expand-capturing-lifts (unknown source) loop [24] 100.0% ---------------------------------------------------------------------- run-module-instance!125 [35] 50.0% loop [24] 50.0% [29] 2404(14.1%) 0(0.0%) for-loop (unknown source) run-module-instance!125 [35] 50.0% [running body] [34] 50.0% ---------------------------------------------------------------------- loop [23] 100.0% [30] 1354(7.9%) 1354(7.9%) ??? ...contract/private/arrow-val-first.rkt:388:18 ---------------------------------------------------------------------- ??? [25] 100.0% [31] 354(2.1%) 354(2.1%) sample-multi-bounded ...evelop/src/points.rkt:44:0 ---------------------------------------------------------------------- for-loop [26] 100.0% [32] 352(2.1%) 0(0.0%) match-e ...herbie/develop/src/core/ematch.rkt:39:0 for-loop [36] 100.0% ---------------------------------------------------------------------- ??? [27] 100.0% [33] 7084(41.4%) 0(0.0%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [37] 100.0% ---------------------------------------------------------------------- for-loop [29] 100.0% [34] 2404(14.1%) 2404(14.1%) [running body] ...ollects/syntax/id-table.rkt":##f ---------------------------------------------------------------------- for-loop [29] 100.0% [35] 2404(14.1%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [29] 100.0% ---------------------------------------------------------------------- match-e [32] 100.0% [36] 352(2.1%) 352(2.1%) for-loop ...rbie/develop/src/core/ematch.rkt:52:11 ---------------------------------------------------------------------- for-loop [15] 3.1% ??? [27] 21.5% ??? [33] 75.4% [37] 9394(55.0%) 584(3.4%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-mult [38] 68.1% mk-ival [39] 21.5% ival-add [40] 4.2% ---------------------------------------------------------------------- ??? [37] 100.0% [38] 6402(37.5%) 1438(8.4%) ival-mult ...rbie/develop/src/biginterval.rkt:94:0 bf* [42] 22.2% foldl [46] 15.3% bfmax* [43] 15.2% bfmin* [44] 15.0% ...higher-order.rkt:361:33 [45] 9.9% ---------------------------------------------------------------------- ??? [37] 100.0% [39] 2018(11.8%) 0(0.0%) mk-ival ...herbie/develop/src/biginterval.rkt:52:0 bf [41] 100.0% ---------------------------------------------------------------------- ??? [37] 100.0% [40] 390(2.3%) 0(0.0%) ival-add ...erbie/develop/src/biginterval.rkt:76:0 ??? [48] 100.0% ---------------------------------------------------------------------- mk-ival [39] 100.0% [41] 2018(11.8%) 302(1.8%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [50] 51.8% ??? [51] 33.2% ---------------------------------------------------------------------- ival-mult [38] 100.0% [42] 1422(8.3%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [48] 100.0% ---------------------------------------------------------------------- ival-mult [38] 100.0% [43] 972(5.7%) 0(0.0%) bfmax* .../herbie/develop/src/biginterval.rkt:91:0 foldl [46] 100.0% ---------------------------------------------------------------------- ival-mult [38] 100.0% [44] 960(5.6%) 358(2.1%) bfmin* .../herbie/develop/src/biginterval.rkt:88:0 foldl [46] 62.7% ---------------------------------------------------------------------- ival-mult [38] 100.0% [45] 632(3.7%) 312(1.8%) ...higher-order.rkt:361:33 (unknown source) ??? [47] 50.6% ---------------------------------------------------------------------- bfmin* [44] 23.6% bfmax* [43] 38.1% ival-mult [38] 38.3% [46] 2552(14.9%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:229:4 ??? [48] 100.0% ---------------------------------------------------------------------- ...higher-order.rkt:361:33 [45]100.0% [47] 320(1.9%) 320(1.9%) ??? ...cts/racket/contract/private/list.rkt:209:10 ---------------------------------------------------------------------- ival-add [40] 8.9% bf* [42] 32.6% foldl [46] 58.5% [48] 4364(25.5%) 684(4.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmax2 [49] 84.3% ---------------------------------------------------------------------- ??? [48] 100.0% [49] 3680(21.5%) 0(0.0%) bfmax2 ...lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [50] 84.1% ??? [51] 15.9% ---------------------------------------------------------------------- bf [41] 25.3% bfmax2 [49] 74.7% [50] 4140(24.2%) 4140(24.2%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------------- bfmax2 [49] 46.7% bf [41] 53.3% [51] 1256(7.3%) 1256(7.3%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ----------------------------------------------------------------------