Details

sample18.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	5
1	8	5

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

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

29.6b

(sqrt (+ (* re re) (* im im)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `sqrt-prod`
2×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
1×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

1 → 15

Calls

1 calls:

3.0ms

(sqrt (+ (* re re) (* im im)))

series39.0ms

Counts

1 → 3

Calls

1 calls:

39.0ms

(sqrt (+ (* re re) (* im im)))

simplify137.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 5 (134.0ms)

Iter	Nodes	Cost
0	89	100
1	215	97
2	503	97
3	1265	97
4	4227	97
5	5002	96

prune38.0ms

Filtered

18 candidates to 15 candidates (83.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	15	3	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	4	19

Merged error: 6.7b

Counts

19 → 4

localize2.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune3.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: 6.7b

Counts

4 → 4

localize2.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify6.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune2.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Merged error: 6.7b

Counts

4 → 4

localize3.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Merged error: 6.7b

Counts

4 → 4

regimes220.0ms

Accuracy

56.8% (10.6b remaining)

Error of 18.0b against oracle of 7.4b and baseline of 32.0b

bsearch117.0ms

Steps

Iters	Range		Point
8	2.1558392991063154e+98	3.0943356273139873e+102	6.706001120375433e+101
9	-1.0921927090926265e-299	-4.707778381284133e-306	-1.8007268254081134e-303
8	-1.388315075739649e-158	-1.9949243183830838e-162	-2.0225565998375955e-162
9	-5.7624267828213205e+137	-6.4141430665981575e+128	-9.314131480659566e+128

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	14
1	27	14

end0.0ms

sample469.0ms

Algorithm

intervals

Results

335.0ms

8000×

body

valid