Details

Time bar (total: 1.4s)

sample18.0ms

Algorithm
intervals
Results
7.0ms472×body80valid

simplify21.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0113
1273
2663
31133
41453
51653
61823
71843
81843

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x y) (+ x y))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×flip3-+ flip-+
4×frac-times
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r/ associate-*l/
1×pow2 *-commutative
Counts
1 → 14
Calls
1 calls:
4.0ms
(* (+ x y) (+ x y))

series16.0ms

Counts
1 → 3
Calls
1 calls:
15.0ms
(* (+ x y) (+ x y))

simplify69.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 3 (66.0ms)

IterNodesCost
0119110
1475104
22297102
3500199

prune32.0ms

Filtered
17 candidates to 9 candidates (52.9%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New14317
Fresh000
Picked101
Done000
Total15318

Merged error: 0b

Counts
18 → 3

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (fma x 2 y) y (pow x 2))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×fma-udef
Counts
1 → 1
Calls
1 calls:
1.0ms
(fma (fma x 2 y) y (pow x 2))

series26.0ms

Counts
1 → 3
Calls
1 calls:
26.0ms
(fma (fma x 2 y) y (pow x 2))

simplify295.0ms

Algorithm
egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
02920
17014
222811
368511
4462011
5500111

prune9.0ms

Filtered
4 candidates to 2 candidates (50.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New404
Fresh022
Picked011
Done000
Total437

Merged error: 0b

Counts
7 → 3

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x (+ x y)) (* y (+ x y)))
0.0b
(* y (+ x y))
0.0b
(* x (+ x y))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-*r/
9×+-commutative
8×distribute-rgt-in distribute-lft-in
7×flip3-+ flip-+
5×*-commutative
4×associate-+l+ associate-+r+ frac-add
2×fma-def
1×distribute-rgt-out distribute-lft-out
Counts
3 → 33
Calls
3 calls:
11.0ms
(+ (* x (+ x y)) (* y (+ x y)))
3.0ms
(* y (+ x y))
3.0ms
(* x (+ x y))

series80.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(+ (* x (+ x y)) (* y (+ x y)))
28.0ms
(* y (+ x y))
28.0ms
(* x (+ x y))

simplify40.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0228213
11115192
25001173

prune79.0ms

Filtered
42 candidates to 26 candidates (61.9%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New41142
Fresh101
Picked101
Done011
Total43245

Merged error: 0b

Counts
45 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (fma x (+ x y) (* x y)) (* y y))
0.0b
(fma x (+ x y) (* x y))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
2×fma-udef
1×+-commutative associate-+l+ flip3-+ flip-+
Counts
2 → 5
Calls
2 calls:
3.0ms
(+ (fma x (+ x y) (* x y)) (* y y))
1.0ms
(fma x (+ x y) (* x y))

series86.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(+ (fma x (+ x y) (* x y)) (* y y))
54.0ms
(fma x (+ x y) (* x y))

simplify44.0ms

Algorithm
egg-herbie
Counts
11 → 11
Iterations

Useful iterations: 3 (41.0ms)

IterNodesCost
08172
128062
2111355
3500250

prune22.0ms

Filtered
11 candidates to 7 candidates (63.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New11011
Fresh000
Picked011
Done011
Total11213

Merged error: 0b

Counts
13 → 2

regimes25.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
0105
1105

end0.0ms

sample470.0ms

Algorithm
intervals
Results
232.0ms14375×body80valid