Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

sample24.0ms

Algorithm

intervals

Results

10.0ms	256×	pre	128	true
6.0ms	256×	body	128	valid

simplify0.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	10	13

prune1.0ms

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

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b	(+.f64 (+.f64 (+.f64 e d) c) b)
0.2b	(+.f64 (+.f64 e d) c)
0.3b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

3 → 0

Calls

3 calls:

0.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
0.0ms	(+.f64 (+.f64 e d) c)
0.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

series202.0ms

Counts

3 → 9

Calls

3 calls:

53.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
26.0ms	(+.f64 (+.f64 e d) c)
123.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

simplify1.0ms

Algorithm

egg-herbie

Counts

9 → 9

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	63
1	11	63

prune4.0ms

Filtered

5 candidates to 9 candidates (-80.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	8	1	9
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	2	10

Merged error: 0.3b

Counts

10 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b	(+.f64 d (+.f64 e c))
0.2b	(+.f64 (+.f64 d (+.f64 e c)) b)
0.3b	(+.f64 (+.f64 (+.f64 d (+.f64 e c)) b) a)

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

3 → 0

Calls

3 calls:

0.0ms	(+.f64 d (+.f64 e c))
0.0ms	(+.f64 (+.f64 d (+.f64 e c)) b)
0.0ms	(+.f64 (+.f64 (+.f64 d (+.f64 e c)) b) a)

series188.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(+.f64 d (+.f64 e c))
53.0ms	(+.f64 (+.f64 d (+.f64 e c)) b)
109.0ms	(+.f64 (+.f64 (+.f64 d (+.f64 e c)) b) a)

simplify1.0ms

Algorithm

egg-herbie

Counts

9 → 9

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	63
1	11	63

prune2.0ms

Filtered

4 candidates to 9 candidates (-125.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.3b

Counts

11 → 2

regimes78.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify0.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	10	13

end0.0ms

sample723.0ms

Algorithm

intervals

Results

331.0ms	8000×	pre	128	true
189.0ms	8000×	body	128	valid

Details

analyze3.0ms

sample24.0ms

simplify0.0ms

prune1.0ms

localize7.0ms

rewrite0.0ms

series202.0ms

simplify1.0ms

prune4.0ms

localize7.0ms

rewrite0.0ms

series188.0ms

simplify1.0ms

prune2.0ms

regimes78.0ms

bsearch0.0ms

simplify0.0ms

end0.0ms

sample723.0ms

Profiling