Details

Time bar (total: 1.3s)

sample15.0ms

Algorithm
intervals
Results
7.0ms344×body80valid

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0143
1333
2733
31123
41293
51313
61313

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (- x y))
0.0b
(* (* x (- x y)) 2.0)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-*r/
3×*-commutative
2×distribute-rgt-in sub-neg flip3-- distribute-lft-in associate-*l* associate-*l/ flip--
Counts
2 → 12
Calls
2 calls:
3.0ms
(* x (- x y))
4.0ms
(* (* x (- x y)) 2.0)

series85.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(* x (- x y))
52.0ms
(* (* x (- x y)) 2.0)

simplify76.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
06654
117648
267148
3243548
4500248

prune25.0ms

Filtered
18 candidates to 9 candidates (50.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New17118
Fresh011
Picked101
Done000
Total18220

Merged error: 0.0b

Counts
20 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (- x y) (* x 2.0))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-*r* associate-*l/ *-commutative
1×flip3-- flip--
Counts
1 → 5
Calls
1 calls:
4.0ms
(* (- x y) (* x 2.0))

series45.0ms

Counts
1 → 3
Calls
1 calls:
45.0ms
(* (- x y) (* x 2.0))

simplify76.0ms

Algorithm
egg-herbie
Counts
8 → 8
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
05926
117823
264323
3235123
4500223

prune19.0ms

Filtered
8 candidates to 6 candidates (75.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New808
Fresh011
Picked011
Done000
Total8210

Merged error: 0.0b

Counts
10 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 2.0 (- (* x x) (* x y)))
0.0b
(- (* x x) (* x y))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
22×*-commutative
12×prod-diff
6×distribute-rgt-in distribute-lft-in
4×distribute-rgt-out-- associate-*r* distribute-lft-out--
3×sub-neg
2×flip3-- fma-neg associate-*r/ flip--
Counts
2 → 33
Calls
2 calls:
5.0ms
(* 2.0 (- (* x x) (* x y)))
4.0ms
(- (* x x) (* x y))

series90.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(* 2.0 (- (* x x) (* x y)))
32.0ms
(- (* x x) (* x y))

simplify164.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 3 (37.0ms)

IterNodesCost
0113180
1386158
21363156
34945144
45001144

prune30.0ms

Filtered
39 candidates to 12 candidates (30.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New38139
Fresh000
Picked101
Done011
Total39241

Merged error: 0.0b

Counts
41 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma x x (- (* x y)))
0.0b
(* 2.0 (fma x x (- (* x y))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×fma-udef
1×distribute-rgt-in distribute-lft-in *-commutative
Counts
2 → 4
Calls
2 calls:
1.0ms
(fma x x (- (* x y)))
2.0ms
(* 2.0 (fma x x (- (* x y))))

series96.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(fma x x (- (* x y)))
52.0ms
(* 2.0 (fma x x (- (* x y))))

simplify67.0ms

Algorithm
egg-herbie
Counts
10 → 10
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
03732
18626
224026
354126
4161026
5500226

prune10.0ms

Filtered
10 candidates to 5 candidates (50.0%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New10010
Fresh000
Picked011
Done011
Total10212

Merged error: 0.0b

Counts
12 → 2

regimes23.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
083
183

end0.0ms

sample389.0ms

Algorithm
intervals
Results
229.0ms11014×body80valid