Details

sample337.0ms

Algorithm

intervals

Results

59.0ms	488×	body	80	valid
4.0ms	9×	body	640	valid
2.0ms	6×	body	320	valid
1.0ms	3×	body	1280	valid
0.0ms	2×	body	160	valid

simplify59.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	103	63
1	372	62
2	1914	61
3	5002	61

prune17.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.5b

Counts

2 → 2

localize39.0ms

Local error

Found 4 expressions with local error:

3.4b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.0b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
4.3b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

rewrite646.0ms

Algorithm

rewrite-expression-head

Rules

535×	`*-un-lft-identity`
337×	`associate-*r/`
281×	`associate-l`
184×	`frac-add`
164×	`distribute-lft-out`
163×	`flip3--` `flip--`
136×	`distribute-lft-out--`
133×	`associate-/l*`
124×	`add-sqr-sqrt`
120×	`frac-times`
78×	`associate-r`
63×	`un-div-inv`
60×	`times-frac` `associate-*l/`
46×	`add-cube-cbrt`
35×	`associate-/r*`
30×	`add-exp-log` `add-cbrt-cube`
25×	`unswap-sqr`
18×	`pow1`
17×	`difference-of-squares`
15×	`prod-exp` `cbrt-unprod`
14×	`clear-num` `associate-/l/`
9×	`pow-prod-down` `*-commutative`
8×	`add-log-exp`
7×	`sub-neg` `frac-2neg`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-+l+` `associate-+r+` `swap-sqr`
3×	`cbrt-undiv` `div-exp`
2×	`flip3-+` `associate-/r/` `flip-+`
1×	`+-commutative` `associate--l-` `diff-log` `div-sub` `sum-log` `div-inv`

Counts

4 → 423

Calls

4 calls:

365.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
80.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
90.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
68.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

series629.0ms

Counts

4 → 12

Calls

4 calls:

338.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
69.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
96.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
126.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

simplify289.0ms

Algorithm

egg-herbie

Counts

435 → 435

Iterations

Useful iterations: 1 (66.0ms)

Iter	Nodes	Cost
0	3191	26386
1	5002	26182

prune1.6s

Filtered

435 candidates to 191 candidates (43.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	425	10	435
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	426	11	437

Merged error: 0.3b

Counts

437 → 11

localize43.0ms

Local error

Found 4 expressions with local error:

3.5b	(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (- 6.0) (* x1 x1)))
4.0b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.0b	(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))
4.3b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

548×	`*-un-lft-identity`
380×	`associate-l`
207×	`distribute-lft-out`
163×	`add-sqr-sqrt`
146×	`associate-r`
120×	`times-frac`
99×	`distribute-lft-out--`
54×	`add-cube-cbrt`
47×	`unswap-sqr`
46×	`add-exp-log` `add-cbrt-cube`
42×	`associate-*r/`
38×	`associate-/l*`
30×	`associate-*l/`
25×	`pow1` `prod-exp` `cbrt-unprod`
18×	`un-div-inv`
14×	`pow-prod-down` `difference-of-squares`
13×	`distribute-rgt-neg-in`
11×	`add-log-exp`
10×	`associate-+l+` `associate-/r*`
9×	`*-commutative`
6×	`swap-sqr`
5×	`cbrt-undiv` `div-exp`
4×	`clear-num` `associate-/r/` `associate-/l/`
3×	`sub-neg` `flip3--` `flip3-+` `sum-log` `flip--` `flip-+`
2×	`+-commutative` `distribute-lft-neg-out` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `div-inv`
1×	`associate--l-` `diff-log` `div-sub` `unsub-neg`

Counts

4 → 372

Calls

4 calls:

798.0ms	(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (- 6.0) (* x1 x1)))
80.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
89.0ms	(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))
65.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

series595.0ms

Counts

4 → 12

Calls

4 calls:

348.0ms	(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (- 6.0) (* x1 x1)))
68.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
69.0ms	(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))
110.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

simplify85.0ms

Algorithm

egg-herbie

Counts

384 → 384

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	1397	5712
1	5002	5416

prune1.2s

Filtered

384 candidates to 159 candidates (41.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	382	2	384
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	384	11	395

Merged error: 0.3b

Counts

395 → 11

localize46.0ms

Local error

Found 4 expressions with local error:

3.5b	(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (/ (* (* 4.0 x1) x1) (/ (+ (* x1 x1) 1.0) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)))) (* (- 6.0) (* x1 x1)))
4.0b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.0b	(/ (* (* 4.0 x1) x1) (/ (+ (* x1 x1) 1.0) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)))
4.3b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

rewrite5.5s

Algorithm

rewrite-expression-head

Rules

4300×	`*-un-lft-identity`
2666×	`times-frac`
2368×	`associate-l`
1442×	`add-sqr-sqrt`
1297×	`distribute-lft-out`
862×	`distribute-lft-out--`
731×	`add-cube-cbrt`
439×	`associate-r`
264×	`unswap-sqr`
127×	`*-commutative`
124×	`difference-of-squares`
77×	`associate-/r*`
69×	`associate-/r/`
46×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
25×	`flip3--` `flip--` `div-inv`
21×	`associate-*r/`
18×	`prod-exp` `cbrt-unprod`
13×	`pow1`
12×	`cbrt-undiv` `div-exp`
11×	`add-log-exp`
10×	`associate-+l+`
9×	`un-div-inv`
6×	`pow-prod-down`
5×	`distribute-rgt-neg-in`
4×	`clear-num` `associate-/l/`
3×	`sub-neg` `frac-2neg` `flip3-+` `sum-log` `flip-+`
2×	`+-commutative` `distribute-lft-neg-out` `distribute-rgt-in` `distribute-lft-in`
1×	`associate--l-` `diff-log` `div-sub` `unsub-neg`

Counts

4 → 1661

Calls

4 calls:

5.1s	(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (/ (* (* 4.0 x1) x1) (/ (+ (* x1 x1) 1.0) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)))) (* (- 6.0) (* x1 x1)))
83.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
90.0ms	(/ (* (* 4.0 x1) x1) (/ (+ (* x1 x1) 1.0) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)))
64.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

series740.0ms

Counts

4 → 12

Calls

4 calls:

342.0ms	(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (/ (* (* 4.0 x1) x1) (/ (+ (* x1 x1) 1.0) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)))) (* (- 6.0) (* x1 x1)))
67.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
218.0ms	(/ (* (* 4.0 x1) x1) (/ (+ (* x1 x1) 1.0) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)))
113.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

simplify358.0ms

Algorithm

egg-herbie

Counts

1673 → 1673

Iterations

Useful iterations: 1 (57.0ms)

Iter	Nodes	Cost
0	3111	30720
1	5002	30355

prune3.6s

Filtered

1673 candidates to 441 candidates (26.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	1672	1	1673
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	1674	10	1684

Merged error: 0.3b

Counts

1684 → 10

localize35.0ms

Local error

Found 4 expressions with local error:

3.4b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.0b	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
4.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
4.3b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

rewrite663.0ms

Algorithm

rewrite-expression-head

Rules

332×	`*-un-lft-identity`
318×	`associate-*r/`
188×	`associate-l`
184×	`frac-add`
162×	`flip3--` `flip--`
120×	`frac-times`
114×	`associate-/l*`
100×	`distribute-lft-out`
87×	`distribute-lft-out--`
78×	`add-sqr-sqrt`
60×	`associate-*l/`
54×	`un-div-inv`
30×	`associate-/r*`
28×	`add-cube-cbrt`
19×	`associate-r`
16×	`unswap-sqr`
14×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`clear-num` `associate-/l/`
11×	`difference-of-squares`
9×	`*-commutative`
8×	`distribute-rgt-in` `distribute-lft-in` `swap-sqr` `add-log-exp`
7×	`sub-neg`
6×	`frac-2neg` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`associate-+l+` `associate-+r+`
3×	`+-commutative`
2×	`flip3-+` `times-frac` `flip-+`
1×	`associate--l-` `diff-log` `div-sub` `sum-log`

Counts

4 → 326

Calls

4 calls:

387.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
66.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
83.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
59.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

series652.0ms

Counts

4 → 12

Calls

4 calls:

342.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
104.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
94.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
112.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

simplify263.0ms

Algorithm

egg-herbie

Counts

338 → 338

Iterations

Useful iterations: 1 (56.0ms)

Iter	Nodes	Cost
0	2918	25686
1	5001	25529

prune1.3s

Filtered

338 candidates to 159 candidates (47.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	335	3	338
Fresh	3	5	8
Picked	1	0	1
Done	1	0	1
Total	340	8	348

Merged error: 0.3b

Counts

348 → 8

regimes259.0ms

Accuracy

0% (0.2b remaining)

Error of 0.6b against oracle of 0.4b and baseline of 0.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	66
1	61	66

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.2s	13759×	body	80	valid
145.0ms	396×	body	640	valid
91.0ms	196×	body	1280	valid
85.0ms	307×	body	320	valid
28.0ms	147×	body	160	valid