Details

Time bar (total: 707.0ms)

sample18.0ms

Algorithm
intervals
Results
7.0ms321×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0112
1142
2142

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma x.re y.im (* x.im y.re))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
fma-udef
Counts
1 → 1
Calls
1 calls:
1.0ms
(fma x.re y.im (* x.im y.re))

series41.0ms

Counts
1 → 3
Calls
1 calls:
41.0ms
(fma x.re y.im (* x.im y.re))

simplify5.0ms

Algorithm
egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1185
2185

prune7.0ms

Filtered
4 candidates to 3 candidates (75.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New314
Fresh000
Picked011
Done000
Total325

Merged error: 0.0b

Counts
5 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma y.re x.im (* y.im x.re))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
fma-udef
Counts
1 → 1
Calls
1 calls:
1.0ms
(fma y.re x.im (* y.im x.re))

series37.0ms

Counts
1 → 3
Calls
1 calls:
37.0ms
(fma y.re x.im (* y.im x.re))

simplify5.0ms

Algorithm
egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1155
2155

prune7.0ms

Filtered
4 candidates to 2 candidates (50.0%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New404
Fresh000
Picked011
Done011
Total426

Merged error: 0.0b

Counts
6 → 2

regimes71.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
072
172

end0.0ms

sample493.0ms

Algorithm
intervals
Results
232.0ms10407×body80valid