Details

Time bar (total: 1.1s)

analyze82.0ms (7.6%)

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
25%74.9%0.1%5
25%62.4%12.6%6
25%50%25.1%7
31.2%37.5%31.3%8
39%24.2%36.8%9
42.9%18.3%38.7%10
47.2%11.9%40.9%11
49.4%9.1%41.6%12
51.6%5.9%42.5%13
52.7%4.5%42.8%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample12.0ms (1.1%)

Algorithm
intervals
Results
6.0ms256×body128valid
0.0msbody128invalid
Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify572.0ms (52.7%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (412.0ms)

IterNodesCost
0645810

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0b

Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0.4%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify6.0ms (0.6%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011

Merged error: 0b

Counts
1 → 1
Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify2.0ms (0.2%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02410
12410

end0.0ms (0%)

sample403.0ms (37.1%)

Algorithm
intervals
Results
189.0ms8000×body128valid
4.0ms158×body128invalid
Compiler

Compiled 29 to 23 computations (20.7% saved)

Profiling

Loading profile data...