Details

analyze6.0ms

Algorithm

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
37.5%	37.5%	25.1%	2
37.5%	18.7%	43.8%	3
46.8%	9.4%	43.8%	4
51.5%	4.7%	43.8%	5
51.5%	2.3%	46.1%	6
52.7%	1.2%	46.1%	7
53.3%	0.6%	46.1%	8
53.3%	0.3%	46.4%	9
53.4%	0.1%	46.4%	10
53.5%	0.1%	46.4%	11
53.5%	0%	46.5%	12
53.5%	0%	46.5%	13
53.5%	0%	46.5%	14

sample34.0ms

Algorithm

intervals

Results

23.0ms	256×	body	128	valid
3.0ms	256×	pre	128	true

simplify1.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	101
1	29	101

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 2/3 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(.f64 2/3 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

series169.0ms

Counts

4 → 10

Calls

4 calls:

47.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
48.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
74.0ms	(.f64 2/3 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

simplify5.0ms

Algorithm

egg-herbie

Counts

10 → 10

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	164
1	29	164

prune11.0ms

Filtered

3 candidates to 10 candidates (-233.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.1b

Counts

11 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 2/3 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(.f64 2/3 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

series170.0ms

Counts

4 → 10

Calls

4 calls:

47.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
54.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
69.0ms	(.f64 2/3 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

simplify1.0ms

Algorithm

egg-herbie

Counts

10 → 10

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	69
1	7	69

prune6.0ms

Filtered

2 candidates to 10 candidates (-400.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.1b

Counts

12 → 2

regimes27.0ms

Accuracy

0% (0.0b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	94
1	30	94

end0.0ms

sample926.0ms

Algorithm

intervals

Results

730.0ms	8000×	body	128	valid
84.0ms	8000×	pre	128	true

Details

analyze6.0ms

sample34.0ms

simplify1.0ms

prune6.0ms

localize26.0ms

rewrite0.0ms

series169.0ms

simplify5.0ms

prune11.0ms

localize25.0ms

rewrite0.0ms

series170.0ms

simplify1.0ms

prune6.0ms

regimes27.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample926.0ms

Profiling