Details

sample34.0ms

Algorithm

intervals

Results

10.0ms	196×	body	80	valid
7.0ms	27×	body	2560	valid
3.0ms	15×	body	1280	valid
2.0ms	6×	body	5120	valid
1.0ms	8×	body	640	valid
0.0ms	3×	body	320	valid
0.0ms	1×	body	160	valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	8
1	24	8
2	30	8
3	35	8
4	35	8

prune3.0ms

Filtered

1 candidates to 0 candidates (100.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: 39.2b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 54

Calls

4 calls:

4.0ms	(+ (* re re) (* im im))
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)))

series45.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ (* re re) (* im im))
25.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)))

simplify105.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 3 (99.0ms)

Iter	Nodes	Cost
0	260	458
1	982	428
2	3667	421
3	5001	420

prune114.0ms

Filtered

66 candidates to 52 candidates (21.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	60	6	66
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	60	7	67

Merged error: 18.9b

Counts

67 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))
0.5b	(- (sqrt (+ (* re re) (* im im))) re)
3.8b	(exp (log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))
30.4b	(sqrt (+ (* re re) (* im im)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

9.0ms	(log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))
7.0ms	(- (sqrt (+ (* re re) (* im im))) re)
10.0ms	(exp (log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))
4.0ms	(sqrt (+ (* re re) (* im im)))

series73.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))
7.0ms	(- (sqrt (+ (* re re) (* im im))) re)
23.0ms	(exp (log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))
6.0ms	(sqrt (+ (* re re) (* im im)))

simplify137.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 3 (129.0ms)

Iter	Nodes	Cost
0	343	740
1	1187	682
2	4604	662
3	5001	657

prune144.0ms

Filtered

81 candidates to 61 candidates (24.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	77	4	81
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	79	9	88

Merged error: 18.9b

Counts

88 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))
0.5b	(- (sqrt (+ (* re re) (* im im))) re)
4.1b	(pow E (log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))
30.4b	(sqrt (+ (* re re) (* im im)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 76

Calls

4 calls:

9.0ms	(log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))
7.0ms	(- (sqrt (+ (* re re) (* im im))) re)
13.0ms	(pow E (log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))
4.0ms	(sqrt (+ (* re re) (* im im)))

series111.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))
9.0ms	(- (sqrt (+ (* re re) (* im im))) re)
63.0ms	(pow E (log (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))
6.0ms	(sqrt (+ (* re re) (* im im)))

simplify41.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	415	882
1	1481	815
2	5001	806

prune163.0ms

Filtered

88 candidates to 67 candidates (23.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	87	10	97

Merged error: 18.9b

Counts

97 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

4.3b	(exp (log (sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))))
5.7b	(exp (log (sqrt (+ (* re re) (* im im)))))
14.4b	(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
30.4b	(sqrt (+ (* re re) (* im im)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 74

Calls

4 calls:

13.0ms	(exp (log (sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))))
6.0ms	(exp (log (sqrt (+ (* re re) (* im im)))))
10.0ms	(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
4.0ms	(sqrt (+ (* re re) (* im im)))

series46.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(exp (log (sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))))
8.0ms	(exp (log (sqrt (+ (* re re) (* im im)))))
7.0ms	(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
6.0ms	(sqrt (+ (* re re) (* im im)))

simplify91.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 3 (82.0ms)

Iter	Nodes	Cost
0	317	744
1	951	680
2	3266	645
3	5001	633

prune122.0ms

Filtered

86 candidates to 63 candidates (26.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	1	6	7
Picked	1	0	1
Done	1	1	2
Total	85	11	96

Merged error: 18.8b

Counts

96 → 11

regimes1.0s

Accuracy

59.5% (8.6b remaining)

Error of 25.8b against oracle of 17.3b and baseline of 38.4b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	59
1	56	59
2	56	59

end0.0ms

sample971.0ms

Algorithm

intervals

Results

292.0ms	6081×	body	80	valid
182.0ms	658×	body	2560	valid
108.0ms	483×	body	1280	valid
94.0ms	280×	body	5120	valid
49.0ms	258×	body	640	valid
21.0ms	158×	body	320	valid
7.0ms	82×	body	160	valid

Details

sample34.0ms

simplify6.0ms

prune3.0ms

localize14.0ms

rewrite23.0ms

series45.0ms

simplify105.0ms

prune114.0ms

localize16.0ms

rewrite32.0ms

series73.0ms

simplify137.0ms

prune144.0ms

localize18.0ms

rewrite35.0ms

series111.0ms

simplify41.0ms

prune163.0ms

localize18.0ms

rewrite35.0ms

series46.0ms

simplify91.0ms

prune122.0ms

regimes1.0s

bsearch2.0ms

simplify2.0ms

end0.0ms

sample971.0ms

Profiling