Details

sample24.0ms

Algorithm

intervals

Results

4.0ms	256×	body	80	valid
4.0ms	256×	pre	80	true
4.0ms	248×	pre	80	false

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	12	3
2	12	3

prune1.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: 8.2b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

1.0b	(/ x0 (- 1.0 x1))
7.3b	(- (/ x0 (- 1.0 x1)) x0)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

2×	`flip3--` `associate-/r/` `flip--`
1×	`sub-neg` `frac-2neg` `clear-num` `div-inv`

Counts

2 → 9

Calls

2 calls:

2.0ms	(/ x0 (- 1.0 x1))
4.0ms	(- (/ x0 (- 1.0 x1)) x0)

series76.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(/ x0 (- 1.0 x1))
44.0ms	(- (/ x0 (- 1.0 x1)) x0)

simplify97.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 3 (31.0ms)

Iter	Nodes	Cost
0	135	92
1	376	90
2	1122	85
3	3415	77
4	5002	77

prune25.0ms

Filtered

15 candidates to 12 candidates (80.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 6.6b

Counts

16 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ (/ x0 (- 1.0 x1)) x0)
1.0b	(/ x0 (- 1.0 x1))
1.0b	(/ x0 (- 1.0 x1))
5.8b	(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 17

Calls

4 calls:

4.0ms	(+ (/ x0 (- 1.0 x1)) x0)
2.0ms	(/ x0 (- 1.0 x1))
2.0ms	(/ x0 (- 1.0 x1))
6.0ms	(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

series170.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(+ (/ x0 (- 1.0 x1)) x0)
36.0ms	(/ x0 (- 1.0 x1))
32.0ms	(/ x0 (- 1.0 x1))
67.0ms	(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

simplify120.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 3 (40.0ms)

Iter	Nodes	Cost
0	190	194
1	522	188
2	1486	180
3	4845	168
4	5002	168

prune56.0ms

Filtered

29 candidates to 24 candidates (82.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	27	2	29
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	29	2	31

Merged error: 5.1b

Counts

31 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ x0 (- 1.0 x1))
1.0b	(/ x0 (- 1.0 x1))
1.0b	(/ x0 (- 1.0 x1))
4.2b	(- (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) (pow x0 3))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

6×	`associate-/r/`
4×	`flip3--` `flip--`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`sqr-pow`
1×	`difference-cubes` `sub-neg` `difference-of-squares`

Counts

4 → 21

Calls

4 calls:

3.0ms	(/ x0 (- 1.0 x1))
3.0ms	(/ x0 (- 1.0 x1))
2.0ms	(/ x0 (- 1.0 x1))
7.0ms	(- (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) (pow x0 3))

series199.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(/ x0 (- 1.0 x1))
33.0ms	(/ x0 (- 1.0 x1))
33.0ms	(/ x0 (- 1.0 x1))
98.0ms	(- (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) (pow x0 3))

simplify81.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 3 (77.0ms)

Iter	Nodes	Cost
0	187	221
1	608	218
2	2609	209
3	5001	201

prune107.0ms

Filtered

33 candidates to 28 candidates (84.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	33	2	35

Merged error: 4.4b

Counts

35 → 2

localize33.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ x0 (- 1.0 x1))
1.0b	(+ (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6) (pow x0 6))
1.3b	(pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6)
4.1b	(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

9×	`sqr-pow`
7×	`unpow-prod-down`
4×	`associate-/r/` `difference-of-squares`
3×	`flip3--` `flip--`
2×	`div-inv`
1×	`difference-cubes` `+-commutative` `pow-to-exp` `sub-neg` `frac-2neg` `flip3-+` `clear-num` `flip-+`

Counts

4 → 22

Calls

4 calls:

2.0ms	(/ x0 (- 1.0 x1))
6.0ms	(+ (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6) (pow x0 6))
4.0ms	(pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6)
10.0ms	(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

series375.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(/ x0 (- 1.0 x1))
97.0ms	(+ (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6) (pow x0 6))
94.0ms	(pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6)
148.0ms	(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

simplify39.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	368	341
1	1204	339
2	5002	333

prune167.0ms

Filtered

34 candidates to 29 candidates (85.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	33	1	34
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	34	2	36

Merged error: 4.4b

Counts

36 → 2

regimes49.0ms

Accuracy

0% (0.6b remaining)

Error of 5.2b against oracle of 4.5b and baseline of 5.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	51
1	49	51

end0.0ms

sample604.0ms

Algorithm

intervals

Results

132.0ms	8000×	body	80	valid
122.0ms	8053×	pre	80	false
121.0ms	8000×	pre	80	true