Details

Time bar (total: 2.2s)

analyze417.0ms (19.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 30 to 24 computations (20% saved)

sample46.0ms (2.1%)

Algorithm
1×intervals
Results
12.0ms107×body256valid
9.0ms282×pre128true
8.0ms52×body512valid
5.0ms97×body128valid
1.0ms26×body128nan
Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01326
11326

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 17 to 14 computations (17.6% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01326
11326
Compiler

Compiled 17 to 14 computations (17.6% saved)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01326
11326

end0.0ms (0%)

sample1.7s (78.5%)

Algorithm
1×intervals
Results
485.0ms3832×body256valid
339.0ms8829×pre128true
274.0ms1462×body512valid
179.0ms2706×body128valid
50.0ms829×body128nan
Compiler

Compiled 64 to 55 computations (14.1% saved)

Pareto

0

Profiling

Loading profile data...