Details

analyze345.0ms

Algorithm

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

sample36.0ms

Algorithm

intervals

Results

9.0ms	191×	body	80	valid
6.0ms	22×	body	2560	valid
4.0ms	11×	body	5120	valid
3.0ms	256×	pre	80	true
3.0ms	13×	body	1280	valid
2.0ms	12×	body	640	valid
1.0ms	6×	body	320	valid
0.0ms	1×	body	160	valid

simplify16.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	265	15
1	265	15

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

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
0.5b	(- (sqrt (+ (* re re) (* im im))) re)
31.2b	(sqrt (+ (* re re) (* im im)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`pow1`
6×	`*-un-lft-identity`
5×	`sqrt-prod` `add-log-exp`
4×	`add-cube-cbrt` `sqrt-div`
3×	`add-exp-log` `sqrt-pow1` `add-cbrt-cube`
2×	`flip3--` `pow1/2` `associate-*r/` `flip--` `difference-of-squares`
1×	`sub-neg` `rem-sqrt-square` `flip3-+` `diff-log` `pow-prod-down` `flip-+` `distribute-lft-out--`

Counts

3 → 42

Calls

3 calls:

8.0ms	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
7.0ms	(- (sqrt (+ (* re re) (* im im))) re)
4.0ms	(sqrt (+ (* re re) (* im im)))

series41.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
7.0ms	(- (sqrt (+ (* re re) (* im im))) re)
7.0ms	(sqrt (+ (* re re) (* im im)))

simplify25.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5010	608

prune100.0ms

Filtered

42 candidates to 51 candidates (-21.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	44	7	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	7	52

Merged error: 10.7b

Counts

52 → 7

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(sqrt (* 2.0 (- im re)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1`
2×	`sqrt-pow1` `sqrt-div` `associate-*r/`
1×	`add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `flip3--` `*-un-lft-identity` `pow1/2` `pow-prod-down` `sqrt-prod` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

1 → 13

Calls

1 calls:

5.0ms

(sqrt (* 2.0 (- im re)))

series14.0ms

Counts

1 → 3

Calls

1 calls:

14.0ms

(sqrt (* 2.0 (- im re)))

simplify38.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5758	162

prune44.0ms

Filtered

13 candidates to 16 candidates (-23.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	15	8	23

Merged error: 10.7b

Counts

23 → 8

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(log (sqrt (* 2.0 (- im re))))
0.0b	(sqrt (* 2.0 (- im re)))
3.6b	(exp (log (sqrt (* 2.0 (- im re)))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1`
8×	`log-prod` `log-pow`
7×	`exp-prod`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `sqrt-pow1` `sqrt-div` `associate-r/`
4×	`add-exp-log` `log-div` `exp-sum`
3×	`flip3--` `pow1/2` `pow-prod-down` `sqrt-prod` `add-cbrt-cube` `flip--` `add-log-exp`
2×	`exp-diff`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 52

Calls

3 calls:

5.0ms	(log (sqrt (* 2.0 (- im re))))
4.0ms	(sqrt (* 2.0 (- im re)))
7.0ms	(exp (log (sqrt (* 2.0 (- im re)))))

series45.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(log (sqrt (* 2.0 (- im re))))
14.0ms	(sqrt (* 2.0 (- im re)))
14.0ms	(exp (log (sqrt (* 2.0 (- im re)))))

simplify23.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5024	620

prune110.0ms

Filtered

45 candidates to 61 candidates (-35.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	60	1	61
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	61	8	69

Merged error: 10.7b

Counts

69 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (log (sqrt (* 2.0 (- im re)))))
0.4b	(cbrt (log (sqrt (* 2.0 (- im re)))))
0.4b	(cbrt (log (sqrt (* 2.0 (- im re)))))
3.6b	(exp (* (* (cbrt (log (sqrt (* 2.0 (- im re))))) (cbrt (log (sqrt (* 2.0 (- im re)))))) (cbrt (log (sqrt (* 2.0 (- im re)))))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
16×	`pow1`
12×	`log-pow`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-pow1` `add-log-exp`
4×	`add-exp-log` `add-cbrt-cube`
3×	`pow1/2` `pow1/3` `pow-prod-down`
1×	`exp-prod` `exp-to-pow` `rem-exp-log`

Counts

4 → 55

Calls

4 calls:

5.0ms	(cbrt (log (sqrt (* 2.0 (- im re)))))
4.0ms	(cbrt (log (sqrt (* 2.0 (- im re)))))
4.0ms	(cbrt (log (sqrt (* 2.0 (- im re)))))
3.0ms	(exp (* (* (cbrt (log (sqrt (* 2.0 (- im re))))) (cbrt (log (sqrt (* 2.0 (- im re)))))) (cbrt (log (sqrt (* 2.0 (- im re)))))))

series535.0ms

Counts

4 → 12

Calls

4 calls:

174.0ms	(cbrt (log (sqrt (* 2.0 (- im re)))))
173.0ms	(cbrt (log (sqrt (* 2.0 (- im re)))))
172.0ms	(cbrt (log (sqrt (* 2.0 (- im re)))))
15.0ms	(exp (* (* (cbrt (log (sqrt (* 2.0 (- im re))))) (cbrt (log (sqrt (* 2.0 (- im re)))))) (cbrt (log (sqrt (* 2.0 (- im re)))))))

simplify35.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5045	2649

prune297.0ms

Filtered

50 candidates to 67 candidates (-34.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	65	2	67
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	66	9	75

Merged error: 10.7b

Counts

75 → 9

regimes289.0ms

Accuracy

47.1% (10.2b remaining)

Error of 19.6b against oracle of 9.5b and baseline of 28.7b

bsearch67.0ms

Steps

Iters	Range	Point
10	2.8335996519852636e+43	1.8028875626417918e+54	2.872697615735512e+43
5	-6.693817005617028e-140	-3.1914970841516253e-140	-3.2267275169996192e-140
9	-1.5311082729682277e+100	-1.3705577623893064e+94	-2.6221071846587665e+98

Iters

Range

Point

2.8335996519852636e+43

1.8028875626417918e+54

2.872697615735512e+43

-6.693817005617028e-140

-3.1914970841516253e-140

-3.2267275169996192e-140

-1.5311082729682277e+100

-1.3705577623893064e+94

-2.6221071846587665e+98

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	61	74
1	61	74

end0.0ms

sample1.0s

Algorithm

intervals

Results

282.0ms	6064×	body	80	valid
184.0ms	681×	body	2560	valid
111.0ms	491×	body	1280	valid
101.0ms	296×	body	5120	valid
100.0ms	8000×	pre	80	true
52.0ms	275×	body	640	valid
20.0ms	135×	body	320	valid
5.0ms	58×	body	160	valid

Details

analyze345.0ms

sample36.0ms

simplify16.0ms

prune3.0ms

localize10.0ms

rewrite20.0ms

series41.0ms

simplify25.0ms

prune100.0ms

localize6.0ms

rewrite5.0ms

series14.0ms

simplify38.0ms

prune44.0ms

localize10.0ms

rewrite18.0ms

series45.0ms

simplify23.0ms

prune110.0ms

localize16.0ms

rewrite17.0ms

series535.0ms

simplify35.0ms

prune297.0ms

regimes289.0ms

bsearch67.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling