Profiling results ----------------- Total cpu time observed: 4126ms (out of 4004ms) Number of samples taken: 14 (once every 295ms) ==================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================== [1] 4126(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6]100.0% [2] 396(9.6%) 0(0.0%) errors ...bie/more-ival-tests/src/points.rkt:190:0 for-loop [4] 100.0% -------------------------------------------------------------------- ??? [1] 100.0% [3] 4126(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [5] 100.0% -------------------------------------------------------------------- errors [2] 100.0% [4] 396(9.6%) 0(0.0%) for-loop ...e/more-ival-tests/src/points.rkt:192:2 .../more-scheme.rkt:261:28 [6]100.0% -------------------------------------------------------------------- profile-thunk16 [3] 100.0% [5] 4126(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [6]100.0% -------------------------------------------------------------------- for-loop [4] 4.8% run [5] 95.2% [6] 4126(100.0%) 0(0.0%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [7] 46.6% prepare-points-intervals [8] 34.1% get-p&es [9] 4.8% eval-errors [10] 4.8% errors [2] 4.8% ??? [17] 2.4% ulp-difference [11] 2.4% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6]100.0% [7] 1922(46.6%) 0(0.0%) run-improve47 ...ival-tests/src/mainloop.rkt:346:0 simplify! [19] 82.9% for-loop [13] 17.1% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6]100.0% [8] 1408(34.1%) 0(0.0%) prepare-points-intervals ...s/src/points.rkt:120:0 loop [12] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6]100.0% [9] 200(4.8%) 200(4.8%) get-p&es ...e/more-ival-tests/src/sandbox.rkt:25:0 -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6]100.0% [10] 200(4.8%) 0(0.0%) eval-errors ...ore-ival-tests/src/points.rkt:168:0 for-loop [14] 100.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6]100.0% [11] 196(4.8%) 196(4.8%) ulp-difference ...re-ival-tests/src/float.rkt:19:0 -------------------------------------------------------------------- prepare-points-intervals [8] 100.0% [12] 1408(34.1%) 0(0.0%) loop ...erbie/more-ival-tests/src/points.rkt:132:4 ??? [15] 57.0% loop [16] 43.0% -------------------------------------------------------------------- run-improve47 [7] 100.0% [13] 328(7.9%) 0(0.0%) for-loop ...more-ival-tests/src/mainloop.rkt:365:4 run-iter! [18] 100.0% -------------------------------------------------------------------- eval-errors [10] 100.0% [14] 200(4.8%) 0(0.0%) for-loop ...e/more-ival-tests/src/points.rkt:170:2 ??? [17] 100.0% -------------------------------------------------------------------- loop [12] 100.0% [15] 802(19.4%) 200(4.8%) ??? ...herbie/more-ival-tests/src/points.rkt:113:6 sample-multi-bounded [21] 49.9% ??? [20] 25.2% -------------------------------------------------------------------- loop [12] 100.0% [16] 606(14.7%) 0(0.0%) loop ...herbie/more-ival-tests/src/points.rkt:79:2 ??? [20] 67.0% real->precision [22] 33.0% -------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6] 50.0% for-loop [14] 50.0% [17] 400(9.7%) 400(9.7%) ??? ...ore-ival-tests/src/syntax/syntax.rkt:214:17 -------------------------------------------------------------------- for-loop [13] 100.0% [18] 328(7.9%) 0(0.0%) run-iter! ...ore-ival-tests/src/mainloop.rkt:327:0 simplify! [19] 100.0% -------------------------------------------------------------------- run-iter! [18] 17.1% run-improve47 [7] 82.9% [19] 1922(46.6%) 0(0.0%) simplify! ...ore-ival-tests/src/mainloop.rkt:224:0 ??? [23] 100.0% -------------------------------------------------------------------- ??? [15] 33.2% loop [16] 66.8% [20] 608(14.7%) 202(4.9%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-add [24] 66.8% -------------------------------------------------------------------- ??? [15] 100.0% [21] 400(9.7%) 0(0.0%) sample-multi-bounded ...-tests/src/points.rkt:14:0 random-ranges [27] 50.0% for-loop [25] 50.0% -------------------------------------------------------------------- loop [16] 100.0% [22] 200(4.8%) 0(0.0%) real->precision ...al-tests/src/programs.rkt:94:11 ??? [26] 100.0% -------------------------------------------------------------------- simplify! [19] 100.0% [23] 1922(46.6%) 0(0.0%) ??? .../more-ival-tests/src/core/simplify.rkt:42:0 egraph-run [28] 100.0% -------------------------------------------------------------------- ??? [20] 100.0% [24] 406(9.8%) 204(4.9%) ival-add ...e-ival-tests/src/biginterval.rkt:111:0 bfadd [29] 49.8% -------------------------------------------------------------------- sample-multi-bounded [21] 100.0% [25] 200(4.8%) 200(4.8%) for-loop ...ie/more-ival-tests/src/points.rkt:20:4 -------------------------------------------------------------------- real->precision [22] 100.0% [26] 200(4.8%) 200(4.8%) ??? ...tract/private/arrow-higher-order.rkt:375:33 -------------------------------------------------------------------- sample-multi-bounded [21] 100.0% [27] 200(4.8%) 0(0.0%) random-ranges ...e-ival-tests/src/common.rkt:164:0 build--> [30] 100.0% -------------------------------------------------------------------- ??? [23] 100.0% [28] 1922(46.6%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [31] 100.0% -------------------------------------------------------------------- ival-add [24] 100.0% [29] 202(4.9%) 202(4.9%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:835:4 -------------------------------------------------------------------- random-ranges [27] 100.0% [30] 200(4.8%) 200(4.8%) build--> ...act/private/arrow-val-first.rkt:1214:0 -------------------------------------------------------------------- egraph-run [28] 100.0% [31] 1922(46.6%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [32] 100.0% -------------------------------------------------------------------- egraph-add-exprs [31] 100.0% [32] 1922(46.6%) 0(0.0%) ??? ...more-ival-tests/src/core/simplify.rkt:102:6 for-loop [33] 100.0% -------------------------------------------------------------------- ??? [32] 100.0% [33] 1922(46.6%) 1922(46.6%) for-loop ...ival-tests/src/core/simplify.rkt:121:2 --------------------------------------------------------------------