Details

analyze468.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

sample36.0ms

Algorithm

intervals

Results

8.0ms	171×	body	128	valid
8.0ms	32×	body	2048	valid
5.0ms	28×	body	1024	valid
3.0ms	11×	body	4096	valid
1.0ms	8×	body	512	valid
1.0ms	12×	body	128	nan
1.0ms	6×	body	256	valid
0.0ms	10×	body	128	invalid

simplify1.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	15	26

prune4.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: 32.9b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.2b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
22.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
0.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
0.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series537.0ms

Counts

4 → 12

Calls

4 calls:

220.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
66.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
121.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
130.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

simplify2.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	180
1	40	180

prune15.0ms

Filtered

10 candidates to 12 candidates (-20.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	9	3	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	9	4	13

Merged error: 7.7b

Counts

13 → 4

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

prune2.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	1	1
Done	1	1
Total	4	4

Merged error: 7.7b

Counts

4 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(-.f64 (/.f64 c b) (/.f64 b a))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

1 → 0

Calls

1 calls:

0.0ms

(-.f64 (/.f64 c b) (/.f64 b a))

series57.0ms

Counts

1 → 3

Calls

1 calls:

57.0ms

(-.f64 (/.f64 c b) (/.f64 b a))

simplify1.0ms

Algorithm

egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	30
1	7	30

prune1.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	3	0	3
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	3	4	7

Merged error: 7.7b

Counts

7 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 2 (/.f64 (.f64 a c) b)) (*.f64 2 b))
0.0b	(.f64 2 (/.f64 (.f64 a c) b))
4.3b	(/.f64 (-.f64 (.f64 2 (/.f64 (.f64 a c) b)) (.f64 2 b)) (.f64 2 a))
7.9b	(/.f64 (*.f64 a c) b)

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(-.f64 (.f64 2 (/.f64 (.f64 a c) b)) (*.f64 2 b))
0.0ms	(.f64 2 (/.f64 (.f64 a c) b))
0.0ms	(/.f64 (-.f64 (.f64 2 (/.f64 (.f64 a c) b)) (.f64 2 b)) (.f64 2 a))
0.0ms	(/.f64 (*.f64 a c) b)

series332.0ms

Counts

4 → 12

Calls

4 calls:

113.0ms	(-.f64 (.f64 2 (/.f64 (.f64 a c) b)) (*.f64 2 b))
49.0ms	(.f64 2 (/.f64 (.f64 a c) b))
129.0ms	(/.f64 (-.f64 (.f64 2 (/.f64 (.f64 a c) b)) (.f64 2 b)) (.f64 2 a))
41.0ms	(/.f64 (*.f64 a c) b)

simplify2.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	129
1	13	129

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	12	4	16

Merged error: 7.7b

Counts

16 → 4

regimes121.0ms

Accuracy

84% (4.5b remaining)

Error of 10.6b against oracle of 6.1b and baseline of 34.5b

bsearch57.0ms

Steps

Iters	Range		Point
9	1.333959744217939e-130	2.685759337416547e-124	2.647089964925059e-124
9	-5.454466129101628e+111	-2.4235279373629233e+103	-3.0416943056356297e+109

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	55
1	27	55

end0.0ms

sample1.1s

Algorithm

intervals

Results

278.0ms	1106×	body	2048	valid
257.0ms	5216×	body	128	valid
144.0ms	737×	body	1024	valid
111.0ms	360×	body	4096	valid
54.0ms	385×	body	512	valid
31.0ms	658×	body	128	nan
20.0ms	196×	body	256	valid
18.0ms	360×	body	128	invalid

Details

analyze468.0ms

sample36.0ms

simplify1.0ms

prune4.0ms

localize12.0ms

rewrite0.0ms

series537.0ms

simplify2.0ms

prune15.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune2.0ms

localize5.0ms

rewrite0.0ms

series57.0ms

simplify1.0ms

prune1.0ms

localize10.0ms

rewrite0.0ms

series332.0ms

simplify2.0ms

prune0.0ms

regimes121.0ms

bsearch57.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling