Details

Time bar (total: 1.5s)

analyze675.0ms (44.4%)

Algorithm
search
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069952
169952
033
133
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%4
49.9%49.9%0.1%5
49.9%49.9%0.1%5
74.9%25%0.1%6
74.9%25%0.1%6
74.9%25%0.1%7
74.9%25%0.1%7
74.9%25%0.1%8
74.9%25%0.1%8
81.1%18.7%0.1%9
81.1%18.7%0.1%9
81.1%18.7%0.1%10
81.1%18.7%0.1%10
81.1%15.6%3.3%11
81.1%15.6%3.3%11
84.3%10.9%4.8%12
84.3%10.9%4.8%12
84.3%10.9%4.8%13
84.3%10.9%4.8%13
84.3%8.6%7.2%14
84.3%8.6%7.2%14
Symmetry

(sort x y)

Compiler

Compiled 20 to 20 computations (0% saved)

sample193.0ms (12.7%)

Algorithm
intervals
Results
16.0ms512×body128valid
2.0ms68×body128invalid
Compiler

Compiled 2939 to 3818 computations (-29.9% saved)

simplify20.0ms (1.3%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
032113
132113

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 18 computations (0% saved)

localize6.0ms (0.4%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify9.0ms (0.6%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune2.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
0b
Counts
1 → 1
Compiler

Compiled 9 to 9 computations (0% saved)

simplify9.0ms (0.6%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02813
12813
Remove

(sort x y)

Compiler

Compiled 18 to 18 computations (0% saved)

end0.0ms (0%)

sample602.0ms (39.6%)

Algorithm
intervals
Results
241.0ms8000×body128valid
36.0ms1150×body128invalid
Compiler

Compiled 28 to 31 computations (-10.7% saved)

Profiling

Loading profile data...