Details

Time bar (total: 6.8s)

analyze2.4s (35.2%)

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
0%99.9%0.1%6
0%99.9%0.1%7
0%93.6%6.4%8
9.4%84.3%6.4%9
14.8%75.7%9.5%10
16%71.4%12.6%11
20.9%65.7%13.4%12
24.2%60.5%15.3%13
24.8%58.6%16.6%14
Compiler

Compiled 28 to 24 computations (14.3% saved)

sample143.0ms (2.1%)

Algorithm
intervals
Results
54.0ms65×body1024valid
30.0ms43×body512valid
25.0ms128×body128valid
7.0ms19×body256valid
3.0ms18×body128invalid
2.0msbody2048valid
1.0msbody128nan
Compiler

Compiled 55 to 50 computations (9.1% saved)

simplify18.0ms (0.3%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02137
12137

prune11.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 24 to 20 computations (16.7% saved)

simplify7.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02174
12174
Compiler

Compiled 24 to 20 computations (16.7% saved)

simplify2.0ms (0%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02037
12037

end0.0ms (0%)

sample4.2s (62.2%)

Algorithm
intervals
Results
1.9s2194×body1024valid
816.0ms4123×body128valid
634.0ms1089×body512valid
224.0ms585×body256valid
149.0ms713×body128invalid
18.0ms122×body128nan
12.0msbody2048valid
1.0msbody1024invalid
Compiler

Compiled 76 to 67 computations (11.8% saved)

Pareto

0

Profiling

Loading profile data...