Details

sample30.0ms

Algorithm

intervals

Results

6.0ms	211×	body	80	valid
5.0ms	35×	body	1280	valid
4.0ms	10×	body	2560	valid
4.0ms	34×	body	640	valid
1.0ms	13×	body	320	valid
0.0ms	9×	body	160	valid

simplify83.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (14.0ms)

Iter	Nodes	Cost
0	23	6
1	75	5
2	223	4
3	515	3
4	1164	2
5	3578	2
6	5001	2

prune6.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma y (- x z) 0)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`fma-udef`

Counts

1 → 1

Calls

1 calls:

1.0ms

(fma y (- x z) 0)

series33.0ms

Counts

1 → 3

Calls

1 calls:

33.0ms

(fma y (- x z) 0)

simplify7.0ms

Algorithm

egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	8
1	24	8
2	28	8
3	28	8

prune5.0ms

Filtered

4 candidates to 2 candidates (50.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	4	2	6

Merged error: 0.0b

Counts

6 → 2

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (+ (* x y) (* y y)) (* y z))
11.0b	(- (- (+ (* x y) (* y y)) (* y z)) (* y y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-commutative`
32×	`distribute-lft-out--`
24×	`prod-diff`
22×	`distribute-rgt-out` `distribute-lft-out`
16×	`associate--l+`
8×	`fma-neg`
3×	`sub-neg`
2×	`+-commutative` `flip3--` `flip--`
1×	`associate--l-`

Counts

2 → 59

Calls

2 calls:

8.0ms	(- (+ (* x y) (* y y)) (* y z))
15.0ms	(- (- (+ (* x y) (* y y)) (* y z)) (* y y))

series58.0ms

Counts

2 → 6

Calls

2 calls:

26.0ms	(- (+ (* x y) (* y y)) (* y z))
32.0ms	(- (- (+ (* x y) (* y y)) (* y z)) (* y y))

simplify100.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 3 (94.0ms)

Iter	Nodes	Cost
0	176	340
1	723	301
2	3835	250
3	5001	239

prune65.0ms

Filtered

65 candidates to 22 candidates (33.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	64	3	67

Merged error: 0.0b

Counts

67 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x y) (- 0 (* y z)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-+r+` `fma-def` `sub0-neg`
1×	`+-commutative` `associate-+r-` `sub-neg` `flip3-+` `unsub-neg` `*-commutative` `flip-+`

Counts

1 → 10

Calls

1 calls:

4.0ms

(+ (* x y) (- 0 (* y z)))

series32.0ms

Counts

1 → 3

Calls

1 calls:

32.0ms

(+ (* x y) (- 0 (* y z)))

simplify62.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 3 (60.0ms)

Iter	Nodes	Cost
0	69	39
1	274	34
2	1515	29
3	5001	28

prune26.0ms

Filtered

13 candidates to 9 candidates (69.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	12	1	13
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	14	2	16

Merged error: 0.0b

Counts

16 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma y x (- 0 (* y z)))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`fma-udef`

Counts

1 → 1

Calls

1 calls:

1.0ms

(fma y x (- 0 (* y z)))

series37.0ms

Counts

1 → 3

Calls

1 calls:

37.0ms

(fma y x (- 0 (* y z)))

simplify7.0ms

Algorithm

egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	7
1	25	7
2	31	7
3	31	7

prune4.0ms

Filtered

4 candidates to 2 candidates (50.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	4	2	6

Merged error: 0.0b

Counts

6 → 2

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

Iter	Nodes	Cost
0	9	3
1	15	3
2	15	3

end0.0ms

sample840.0ms

Algorithm

intervals

Results

227.0ms	7041×	body	80	valid
145.0ms	938×	body	1280	valid
116.0ms	971×	body	640	valid
51.0ms	585×	body	320	valid
43.0ms	243×	body	2560	valid
21.0ms	349×	body	160	valid