Details

Time bar (total: 12.8s)

analyze2.8s (22.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%49.9%50.1%0
0%49.9%50.1%1
0%49.9%50.1%2
0%49.9%50.1%3
0%49.9%50.1%4
0%49.9%50.1%5
0%49.9%50.1%6
0%49.9%50.1%7
0%49.9%50.1%8
0.4%49.5%50.1%9
0.4%49.3%50.3%10
0.6%48.9%50.5%11
1.1%48.1%50.9%12
1.5%47.3%51.2%13
1.7%46.9%51.5%14
Compiler

Compiled 31 to 24 computations (22.6% saved)

sample500.0ms (3.9%)

Algorithm
1×intervals
Results
262.0ms89×body1024valid
170.0ms120×body2048valid
10.0ms304×pre128true
10.0ms26×body512valid
10.0ms11×body2048overflowed
7.0ms13×body1024overflowed
2.0ms7×body512overflowed
2.0ms9×body256valid
2.0ms11×body128overflowed
1.0ms12×body128valid
1.0ms5×body256overflowed
1.0ms1×body2048invalid
Compiler

Compiled 55 to 46 computations (16.4% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01837
11837

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
61.3b
Counts
2 → 1
Compiler

Compiled 24 to 19 computations (20.8% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01837
11837
Compiler

Compiled 24 to 19 computations (20.8% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01837
11837

end0.0ms (0%)

sample9.4s (73.7%)

Algorithm
1×intervals
Results
5.4s4077×body2048valid
1.7s2419×body1024valid
347.0ms9677×pre128true
344.0ms397×body2048overflowed
314.0ms582×body1024overflowed
276.0ms692×body512valid
108.0ms307×body512overflowed
67.0ms248×body256valid
64.0ms543×body128valid
55.0ms21×body4096valid
33.0ms258×body128overflowed
30.0ms132×body256overflowed
1.0ms1×body2048invalid
Compiler

Compiled 86 to 71 computations (17.4% saved)

Pareto

0

Profiling

Loading profile data...