Details

Time bar (total: 10.1s)

analyze2.1s (21.1%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
25%74.9%0.1%6
25%74.9%0.1%7
31.2%68.6%0.1%8
31.2%56.2%12.6%9
34.3%53%12.6%10
37.4%49.9%12.6%11
46.8%40.6%12.6%12
47.8%39.6%12.6%13
49.7%37.1%13.2%14
Compiler

Compiled 22 to 20 computations (9.1% saved)

sample194.0ms (1.9%)

Algorithm
intervals
Results
51.0ms41×body1024invalid
47.0ms43×body1024valid
25.0ms159×body128valid
25.0ms33×body512valid
12.0ms15×body512invalid
7.0ms18×body256valid
5.0msbody2048valid
3.0ms20×body128invalid
1.0msbody256invalid
Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify5.0ms (0%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01634
11634

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 21 to 19 computations (9.5% saved)

simplify5.0ms (0%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01634
11634
Compiler

Compiled 21 to 19 computations (9.5% saved)

simplify2.0ms (0%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01634
11634

end0.0ms (0%)

sample7.8s (76.8%)

Algorithm
intervals
Results
2.4s1654×body1024valid
1.8s1355×body1024invalid
902.0ms4948×body128valid
686.0ms804×body512valid
581.0ms662×body512invalid
363.0ms184×body2048valid
190.0ms374×body256invalid
185.0ms409×body256valid
110.0ms580×body128invalid
6.0msbody4096valid
Compiler

Compiled 64 to 61 computations (4.7% saved)

Pareto

0

Profiling

Loading profile data...