Details

sample15.0ms

Algorithm

intervals

Results

5.0ms	234×	body	80	valid
1.0ms	6×	body	1280	valid
0.0ms	6×	body	640	valid
0.0ms	6×	body	320	valid
0.0ms	2×	body	2560	valid
0.0ms	2×	body	160	valid

simplify335.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	20	5
1	64	4
2	203	4
3	327	4
4	339	4
5	345	4
6	413	4
7	516	4
8	561	4
9	700	4
10	907	4
11	1267	4
12	3904	4
13	5001	4

prune4.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

5×	`flip3-+` `flip-+`
4×	`+-commutative` `associate-+l+` `associate-*r/` `frac-add`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`

Counts

1 → 13

Calls

1 calls:

7.0ms

(+ (* 2 (+ x y)) (+ x z))

series22.0ms

Counts

1 → 3

Calls

1 calls:

22.0ms

(+ (* 2 (+ x y)) (+ x z))

simplify127.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	241	148
1	942	146
2	4713	141
3	5001	141

prune45.0ms

Filtered

16 candidates to 14 candidates (87.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	13	3	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	4	17

Merged error: 0.1b

Counts

17 → 4

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* 3 x) (+ z (* 2 y)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

2×	`+-commutative` `associate-+r+`
1×	`flip3-+` `flip-+`

Counts

1 → 5

Calls

1 calls:

5.0ms

(+ (* 3 x) (+ z (* 2 y)))

series23.0ms

Counts

1 → 3

Calls

1 calls:

23.0ms

(+ (* 3 x) (+ z (* 2 y)))

simplify168.0ms

Algorithm

egg-herbie

Counts

8 → 8

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	72	46
1	251	46
2	1037	46
3	4011	46
4	5001	46

prune29.0ms

Filtered

8 candidates to 5 candidates (62.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	8	0	8
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	8	4	12

Merged error: 0.1b

Counts

12 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x z) (+ x z))
0.0b	(- (* 2 (+ x y)) (+ x z))
16.7b	(- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))
36.2b	(/ (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z))) (- (* 2 (+ x y)) (+ x z)))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

266×	`associate-*r/`
206×	`flip3-+` `flip-+`
136×	`frac-sub`
132×	`frac-times`
66×	`associate-*l/` `associate-/l/`
16×	`distribute-rgt-in` `distribute-lft-in`
13×	`+-commutative`
12×	`associate--l+`
10×	`associate--r+`
9×	`*-commutative`
8×	`difference-of-squares`
6×	`associate-/r/`
5×	`div-sub`
4×	`flip3--` `flip--` `associate-/l*`
2×	`sub-neg`
1×	`pow2` `frac-2neg` `clear-num` `div-inv`

Counts

4 → 196

Calls

4 calls:

4.0ms	(* (+ x z) (+ x z))
6.0ms	(- (* 2 (+ x y)) (+ x z))
19.0ms	(- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))
37.0ms	(/ (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z))) (- (* 2 (+ x y)) (+ x z)))

series209.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (+ x z) (+ x z))
19.0ms	(- (* 2 (+ x y)) (+ x z))
91.0ms	(- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))
78.0ms	(/ (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z))) (- (* 2 (+ x y)) (+ x z)))

simplify86.0ms

Algorithm

egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	1451	4160
1	5002	4156

prune726.0ms

Filtered

208 candidates to 145 candidates (69.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	207	1	208
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	209	3	212

Merged error: 0.1b

Counts

212 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x z) (+ x z))
0.3b	(/ 1 (/ (- (* 2 (+ x y)) (+ x z)) (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))))
16.7b	(- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))
36.3b	(/ (- (* 2 (+ x y)) (+ x z)) (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z))))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

394×	`associate-*r/`
302×	`flip3-+` `flip-+`
200×	`frac-sub`
196×	`frac-times`
145×	`associate-/r/`
98×	`associate-*l/`
75×	`associate-/r*`
13×	`*-commutative`
12×	`distribute-rgt-in` `distribute-lft-in` `associate-/l/` `difference-of-squares`
9×	`+-commutative`
8×	`associate--l+`
6×	`associate--r+`
5×	`flip3--` `flip--`
4×	`clear-num`
3×	`frac-2neg` `div-sub` `div-inv`
1×	`pow2` `sub-neg` `remove-double-div` `inv-pow`

Counts

4 → 265

Calls

4 calls:

4.0ms	(* (+ x z) (+ x z))
32.0ms	(/ 1 (/ (- (* 2 (+ x y)) (+ x z)) (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))))
16.0ms	(- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))
25.0ms	(/ (- (* 2 (+ x y)) (+ x z)) (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z))))

series313.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (+ x z) (+ x z))
74.0ms	(/ 1 (/ (- (* 2 (+ x y)) (+ x z)) (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))))
91.0ms	(- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z)))
133.0ms	(/ (- (* 2 (+ x y)) (+ x z)) (- (* (* 2 (+ x y)) (* 2 (+ x y))) (* (+ x z) (+ x z))))

simplify94.0ms

Algorithm

egg-herbie

Counts

277 → 277

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	1706	7401
1	5002	7393

prune786.0ms

Filtered

277 candidates to 157 candidates (56.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	276	1	277
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	277	3	280

Merged error: 0.0b

Counts

280 → 3

regimes46.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	4
1	13	4

end0.0ms

sample364.0ms

Algorithm

intervals

Results

163.0ms	7388×	body	80	valid
17.0ms	181×	body	1280	valid
14.0ms	190×	body	640	valid
8.0ms	135×	body	320	valid
5.0ms	41×	body	2560	valid
3.0ms	75×	body	160	valid