Details

sample22.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify13.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	14	4
1	28	4
2	42	4
3	44	4
4	44	4

prune3.0ms

Filtered

1 candidates to 0 candidates (0.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: 14.9b

Counts

2 → 1

localize13.0ms

Local error

Found 1 expressions with local error:

14.2b

(/ (+ x y) (* (* x 2.0) y))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate-/r*`
2×	`associate-l` `*-commutative` `associate-/l/`
1×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv`

Counts

1 → 9

Calls

1 calls:

5.0ms

(/ (+ x y) (* (* x 2.0) y))

series47.0ms

Counts

1 → 3

Calls

1 calls:

47.0ms

(/ (+ x y) (* (* x 2.0) y))

simplify107.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	75	44
1	216	44
2	717	44
3	2773	44
4	4364	44
5	5001	44

prune27.0ms

Filtered

12 candidates to 10 candidates (83.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	10	2	12
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	11	2	13

Merged error: 0.0b

Counts

13 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (/ 1 y) (/ 1 x))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

9×	`frac-add`
6×	`frac-2neg` `clear-num`
2×	`div-inv`
1×	`+-commutative` `flip3-+` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

4.0ms

(+ (/ 1 y) (/ 1 x))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(+ (/ 1 y) (/ 1 x))

simplify80.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 3 (35.0ms)

Iter	Nodes	Cost
0	136	72
1	359	61
2	1457	60
3	3453	59
4	5001	59

prune14.0ms

Filtered

16 candidates to 6 candidates (37.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

18 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ x y) y)
8.1b	(/ (/ (+ x y) y) (* x 2.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

9×	`associate-/l/`
5×	`div-inv`
3×	`frac-2neg` `clear-num`
2×	`flip3-+` `times-frac` `associate-/r` `-commutative` `flip-+`
1×	`associate-/l*`

Counts

2 → 18

Calls

2 calls:

3.0ms	(/ (+ x y) y)
5.0ms	(/ (/ (+ x y) y) (* x 2.0))

series64.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(/ (+ x y) y)
47.0ms	(/ (/ (+ x y) y) (* x 2.0))

simplify70.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	108	79
1	269	78
2	880	78
3	4087	78
4	5001	78

prune38.0ms

Filtered

24 candidates to 17 candidates (70.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	24	2	26

Merged error: 0b

Counts

26 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (+ x y))
0.0b	(/ 1 (* (* x 2.0) (/ y (+ x y))))
7.0b	(* (* x 2.0) (/ y (+ x y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`associate-/r/`
7×	`associate-/r*`
6×	`associate-r/` `associate-r*` `clear-num`
4×	`frac-2neg` `associate-l` `*-commutative` `div-inv`
3×	`flip3-+` `flip-+`
2×	`un-div-inv`
1×	`inv-pow`

Counts

3 → 30

Calls

3 calls:

3.0ms	(/ y (+ x y))
6.0ms	(/ 1 (* (* x 2.0) (/ y (+ x y))))
5.0ms	(* (* x 2.0) (/ y (+ x y)))

series145.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(/ y (+ x y))
52.0ms	(/ 1 (* (* x 2.0) (/ y (+ x y))))
57.0ms	(* (* x 2.0) (/ y (+ x y)))

simplify49.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	112	103
1	407	103
2	1916	100
3	5001	100

prune63.0ms

Filtered

39 candidates to 29 candidates (74.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

41 → 2

regimes20.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	12	4
1	12	4

end0.0ms

sample335.0ms

Algorithm

intervals

Results

194.0ms

8002×

body

valid