Details

sample24.0ms

Algorithm

intervals

Results

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

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

prune2.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.4b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

1.0b	(/ x0 (- 1.0 x1))
7.6b	(- (/ 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)

series83.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify100.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 3 (32.0ms)

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

prune24.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.8b

Counts

16 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ (* x0 (- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)) (+ (/ x0 (- 1.0 x1)) x0))
1.0b	(/ x0 (- 1.0 x1))
1.0b	(/ x0 (- 1.0 x1))
6.1b	(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 23

Calls

4 calls:

11.0ms	(/ (* x0 (- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)) (+ (/ 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)

series270.0ms

Counts

4 → 12

Calls

4 calls:

127.0ms	(/ (* x0 (- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)) (+ (/ x0 (- 1.0 x1)) x0))
38.0ms	(/ x0 (- 1.0 x1))
34.0ms	(/ x0 (- 1.0 x1))
71.0ms	(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

simplify58.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 3 (54.0ms)

Iter	Nodes	Cost
0	223	265
1	665	261
2	2114	239
3	5001	233

prune74.0ms

Filtered

35 candidates to 30 candidates (85.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 5.3b

Counts

37 → 2

localize18.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.4b	(- (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))
3.0ms	(/ x0 (- 1.0 x1))
6.0ms	(- (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) (pow x0 3))

series202.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(/ x0 (- 1.0 x1))
38.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

prune113.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.6b

Counts

35 → 2

localize36.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.3b	(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

rewrite22.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)
9.0ms	(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

series382.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(/ x0 (- 1.0 x1))
100.0ms	(+ (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6) (pow x0 6))
96.0ms	(pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 6)
153.0ms	(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))

simplify38.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 2 (33.0ms)

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

prune174.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.6b

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

sample576.0ms

Algorithm

intervals

Results

124.0ms	8000×	body	80	valid
115.0ms	8000×	pre	80	true
114.0ms	7998×	pre	80	false