Details

Time bar (total: 1.5s)

sample16.0ms

Algorithm
intervals
Results
8.0ms368×body80valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0143
1333
2733
31123
41293
51313
61313

prune4.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)) 2.0)
0.0b
(* x (- x y))

rewrite7.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:
4.0ms
(* (* x (- x y)) 2.0)
3.0ms
(* x (- x y))

series83.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(* (* x (- x y)) 2.0)
37.0ms
(* x (- x y))

simplify77.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
06654
117648
267148
3243548
4500348

prune23.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

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

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

series45.0ms

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

simplify79.0ms

Algorithm
egg-herbie
Counts
8 → 8
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
06125
118022
272322
3259622
4500222

prune15.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

localize6.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))

series81.0ms

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

simplify166.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 3 (39.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: 0b

Counts
41 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 2.0 (fma x x (- (* x y))))
0.0b
(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:
2.0ms
(* 2.0 (fma x x (- (* x y))))
1.0ms
(fma x x (- (* x y)))

series122.0ms

Counts
2 → 6
Calls
2 calls:
77.0ms
(* 2.0 (fma x x (- (* x y))))
44.0ms
(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
5500126

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: 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
0134
1154
2154

end0.0ms

sample578.0ms

Algorithm
intervals
Results
415.0ms11164×body80valid