Details

analyze2.0ms

Algorithm

Search

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

sample13.0ms

Algorithm

intervals

Results

7.0ms

256×

body

128

valid

simplify0.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	6	10

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: 17.6b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

17.6b

(/.f64 x (+.f64 (*.f64 x x) 1))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

1 → 0

Calls

1 calls:

0.0ms

(/.f64 x (+.f64 (*.f64 x x) 1))

series71.0ms

Counts

1 → 3

Calls

1 calls:

71.0ms

(/.f64 x (+.f64 (*.f64 x x) 1))

simplify1.0ms

Algorithm

egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	57
1	14	57

prune8.0ms

Filtered

2 candidates to 3 candidates (-50.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

4 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5)))
0.4b	(/.f64 1 (pow.f64 x 5))
0.8b	(/.f64 1 (pow.f64 x 3))
15.6b	(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5))) (/.f64 1 (pow.f64 x 3)))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5)))
0.0ms	(/.f64 1 (pow.f64 x 5))
0.0ms	(/.f64 1 (pow.f64 x 3))
0.0ms	(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5))) (/.f64 1 (pow.f64 x 3)))

series238.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5)))
53.0ms	(/.f64 1 (pow.f64 x 5))
41.0ms	(/.f64 1 (pow.f64 x 3))
41.0ms	(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5))) (/.f64 1 (pow.f64 x 3)))

simplify2.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	147
1	12	147

prune0.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	12	2	14

Merged error: 0.0b

Counts

14 → 2

regimes34.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 14.9b

bsearch26.0ms

Steps

Iters	Range		Point
11	0.39603243730280285	5.394565172692966e+21	5710.861911212298
8	-5.414422334337588e+20	-2.379283966242661e+17	-4.606333490009771e+18

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	66
1	22	66

end0.0ms

sample245.0ms

Algorithm

intervals

Results

158.0ms

8000×

body

128

valid

Details

analyze2.0ms

sample13.0ms

simplify0.0ms

prune1.0ms

localize4.0ms

rewrite0.0ms

series71.0ms

simplify1.0ms

prune8.0ms

localize14.0ms

rewrite0.0ms

series238.0ms

simplify2.0ms

prune0.0ms

regimes34.0ms

bsearch26.0ms

simplify1.0ms

end0.0ms

sample245.0ms

Profiling