Profiling results ----------------- Total cpu time observed: 18888ms (out of 18932ms) Number of samples taken: 86 (once every 220ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== [1] 18888(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 100.0% ---------------------------------------------------------------------- hash-ref! [29] 100.0% [2] 1434(7.6%) 0(0.0%) ??? ...herbie/ival-pow-test/src/programs.rkt:178:5 loop [24] 100.0% ---------------------------------------------------------------------- ??? [1] 100.0% [3] 18888(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ---------------------------------------------------------------------- profile-thunk16 [3] 100.0% [4] 18888(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [5] 100.0% ---------------------------------------------------------------------- for-loop [12] 0.6% run [4] 99.4% [5] 18888(100.0%) 208(1.1%) .../more-scheme.rkt:261:28 (unknown source) loop [9] 89.8% run-improve47 [6] 7.9% eval-errors [7] 1.2% errors [8] 0.6% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [5] 100.0% [6] 1488(7.9%) 0(0.0%) run-improve47 ...l-pow-test/src/mainloop.rkt:346:0 loop [9] 71.0% simplify! [10] 15.6% for-loop [13] 13.4% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [5] 100.0% [7] 224(1.2%) 0(0.0%) eval-errors .../ival-pow-test/src/points.rkt:168:0 for-loop [11] 100.0% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [5] 100.0% [8] 208(1.1%) 0(0.0%) errors ...erbie/ival-pow-test/src/points.rkt:190:0 for-loop [12] 100.0% ---------------------------------------------------------------------- run-improve47 [6] 5.9% .../more-scheme.rkt:261:28 [5] 94.1% [9] 18024(95.4%) 0(0.0%) loop .../herbie/ival-pow-test/src/points.rkt:266:2 loop [14] 37.3% make-exacts-walkup [19] 31.0% loop [20] 30.6% for-loop [17] 1.2% ---------------------------------------------------------------------- run-improve47 [6] 100.0% [10] 232(1.2%) 0(0.0%) simplify! .../ival-pow-test/src/mainloop.rkt:224:0 ??? [15] 100.0% ---------------------------------------------------------------------- eval-errors [7] 100.0% [11] 224(1.2%) 0(0.0%) for-loop ...bie/ival-pow-test/src/points.rkt:170:2 ??? [16] 100.0% ---------------------------------------------------------------------- errors [8] 100.0% [12] 208(1.1%) 0(0.0%) for-loop ...bie/ival-pow-test/src/points.rkt:192:2 .../more-scheme.rkt:261:28 [5] 100.0% ---------------------------------------------------------------------- run-improve47 [6] 100.0% [13] 200(1.1%) 0(0.0%) for-loop ...e/ival-pow-test/src/mainloop.rkt:365:4 run-iter! [18] 100.0% ---------------------------------------------------------------------- loop [9] 100.0% [14] 6722(35.6%) 0(0.0%) loop .../herbie/ival-pow-test/src/points.rkt:230:2 make-exacts-walkup [19] 62.0% loop [20] 38.0% ---------------------------------------------------------------------- simplify! [10] 100.0% [15] 232(1.2%) 0(0.0%) ??? ...ie/ival-pow-test/src/core/simplify.rkt:42:0 egraph-run [21] 100.0% ---------------------------------------------------------------------- for-loop [11] 100.0% [16] 224(1.2%) 224(1.2%) ??? ...7.5/collects/racket/private/for.rkt:1236:14 ---------------------------------------------------------------------- loop [9] 100.0% [17] 208(1.1%) 0(0.0%) for-loop ...ie/ival-pow-test/src/points.rkt:281:19 ??? [22] 100.0% ---------------------------------------------------------------------- for-loop [13] 100.0% [18] 200(1.1%) 0(0.0%) run-iter! .../ival-pow-test/src/mainloop.rkt:327:0 localize! [23] 100.0% ---------------------------------------------------------------------- loop [14] 42.7% loop [9] 57.3% [19] 9756(51.7%) 0(0.0%) make-exacts-walkup ...ow-test/src/points.rkt:209:0 loop [24] 83.1% eval-prog [25] 16.9% ---------------------------------------------------------------------- loop [14] 31.7% loop [9] 68.3% [20] 8060(42.7%) 0(0.0%) loop .../herbie/ival-pow-test/src/points.rkt:213:4 loop [24] 100.0% ---------------------------------------------------------------------- ??? [15] 100.0% [21] 232(1.2%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [26] 100.0% ---------------------------------------------------------------------- for-loop [17] 100.0% [22] 208(1.1%) 0(0.0%) ??? ...s/herbie/ival-pow-test/src/points.rkt:113:6 ??? [40] 100.0% ---------------------------------------------------------------------- run-iter! [18] 100.0% [23] 200(1.1%) 0(0.0%) localize! .../ival-pow-test/src/mainloop.rkt:127:0 localize-error [27] 100.0% ---------------------------------------------------------------------- make-exacts-walkup [19] 0.3% loop [20] 1.5% ??? [2] 8.1% loop [24] 90.1% [24] 17600(93.2%) 0(0.0%) loop (unknown source) loop [24] 90.1% hash-ref! [29] 8.1% composed [28] 1.7% ??? [54] 0.0% ---------------------------------------------------------------------- make-exacts-walkup [19] 100.0% [25] 1650(8.7%) 0(0.0%) eval-prog ...e/ival-pow-test/src/programs.rkt:82:0 hash-ref! [29] 100.0% ---------------------------------------------------------------------- egraph-run [21] 100.0% [26] 232(1.2%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [30] 100.0% ---------------------------------------------------------------------- localize! [23] 100.0% [27] 200(1.1%) 0(0.0%) localize-error ...-test/src/core/localize.rkt:58:0 hash-ref! [29] 100.0% ---------------------------------------------------------------------- loop [24] 100.0% [28] 15966(84.5%) 448(2.4%) composed ...ollects/racket/private/list.rkt:321:16 ??? [40] 97.2% ---------------------------------------------------------------------- localize-error [27] 1.1% map [37] 9.7% eval-prog [25] 24.5% loop [24] 64.7% [29] 1850(9.8%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [2] 64.7% bigfloat-hash [31] 24.5% parse-loop15 [33] 10.8% ---------------------------------------------------------------------- egraph-add-exprs [26] 100.0% [30] 232(1.2%) 0(0.0%) ??? ...e/ival-pow-test/src/core/simplify.rkt:102:6 for-loop [32] 100.0% ---------------------------------------------------------------------- hash-ref! [29] 100.0% [31] 1650(8.7%) 202(1.1%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 bfcanonicalize [34] 49.9% sig+exp->bigfloat [35] 25.7% bigfloat->sig+exp [36] 12.1% ---------------------------------------------------------------------- ??? [30] 100.0% [32] 232(1.2%) 232(1.2%) for-loop ...l-pow-test/src/core/simplify.rkt:121:2 ---------------------------------------------------------------------- hash-ref! [29] 100.0% [33] 200(1.1%) 0(0.0%) parse-loop15 (unknown source) map [37] 100.0% ---------------------------------------------------------------------- bigfloat-hash [31] 100.0% [34] 824(4.4%) 824(4.4%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 ---------------------------------------------------------------------- bigfloat-hash [31] 100.0% [35] 424(2.2%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:401:0 new-mpfr [53] 52.8% integer->mpz [38] 47.2% ---------------------------------------------------------------------- bigfloat-hash [31] 100.0% [36] 200(1.1%) 200(1.1%) bigfloat->sig+exp ...ivate/bigfloat/mpfr.rkt:386:0 ---------------------------------------------------------------------- parse-loop15 [33] 100.0% [37] 200(1.1%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 hash-ref! [29] 90.0% loop [39] 10.0% ---------------------------------------------------------------------- sig+exp->bigfloat [35] 100.0% [38] 200(1.1%) 200(1.1%) integer->mpz ...math/private/bigfloat/gmp.rkt:87:0 ---------------------------------------------------------------------- map [37] 1.7% loop [39] 98.3% [39] 200(1.1%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:40:19 loop [39] 98.3% ??? [40] 1.7% ---------------------------------------------------------------------- loop [39] 1.3% ??? [22] 1.3% composed [28] 97.4% [40] 15926(84.3%) 200(1.1%) ??? ...tract/private/arrow-higher-order.rkt:379:33 bf-complex-mult [41] 84.9% bf-complex-add [42] 12.5% ??? [43] 1.3% ---------------------------------------------------------------------- ??? [40] 100.0% [41] 13528(71.6%) 1562(8.3%) bf-complex-mult ...ow-test/src/bigcomplex.rkt:30:0 bf* [44] 40.9% ??? [47] 37.3% ...higher-order.rkt:379:33 [45] 10.2% ---------------------------------------------------------------------- ??? [40] 100.0% [42] 1990(10.5%) 0(0.0%) bf-complex-add ...pow-test/src/bigcomplex.rkt:23:0 ??? [47] 89.9% ...higher-order.rkt:379:33 [45] 10.1% ---------------------------------------------------------------------- ??? [40] 100.0% [43] 208(1.1%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [46] 100.0% ---------------------------------------------------------------------- bf-complex-mult [41] 100.0% [44] 5538(29.3%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [47] 100.0% ---------------------------------------------------------------------- bf-complex-add [42] 12.6% bf-complex-mult [41] 87.4% [45] 1586(8.4%) 0(0.0%) ...higher-order.rkt:379:33 (unknown source) ??? [48] 100.0% ---------------------------------------------------------------------- ??? [43] 100.0% [46] 208(1.1%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ??? [49] 100.0% ---------------------------------------------------------------------- bf-complex-add [42] 14.5% bf-complex-mult [41] 40.8% bf* [44] 44.8% [47] 12370(65.5%) 1310(6.9%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [50] 81.1% bfneg [51] 8.3% ---------------------------------------------------------------------- ...higher-order.rkt:379:33 [45]100.0% [48] 1586(8.4%) 906(4.8%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [52] 42.9% ---------------------------------------------------------------------- ??? [46] 100.0% [49] 208(1.1%) 208(1.1%) ??? ...ects/racket/contract/private/list.rkt:163:5 ---------------------------------------------------------------------- ??? [47] 100.0% [50] 10030(53.1%) 224(1.2%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [53] 51.5% ??? [54] 46.2% ---------------------------------------------------------------------- ??? [47] 100.0% [51] 1030(5.5%) 200(1.1%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [53] 80.6% ---------------------------------------------------------------------- ??? [48] 100.0% [52] 680(3.6%) 680(3.6%) ??? ...ects/racket/contract/private/guts.rkt:770:8 ---------------------------------------------------------------------- sig+exp->bigfloat [35] 3.6% bfneg [51] 13.3% bfmul [50] 83.1% [53] 6222(32.9%) 6222(32.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ---------------------------------------------------------------------- loop [24] 4.1% bfmul [50] 95.9% [54] 4838(25.6%) 4838(25.6%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ----------------------------------------------------------------------