Details

sample3.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.21875%

Guaranteed chance to sample good point: 64.497423%

Results

22.0ms	103×	body	5120	exit
10.0ms	191×	body	80	valid
4.0ms	23×	body	640	valid
2.0ms	20×	body	320	valid
2.0ms	22×	body	160	valid
0.0ms	4×	body	80	invalid
0.0ms	1×	body	80	overflowed

simplify45.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (5.0ms)

Iter	Nodes	Cost
0	20	9
1	48	9
2	107	9
3	224	8
4	1514	8
5	5002	8

prune8.0ms

Filtered

1 candidates to 1 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: 15.1b

Counts

2 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ wj 1))
0.0b	(/ wj (+ wj 1))
0.0b	(/ (/ x (+ wj 1)) (exp wj))
5.6b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

127×	`times-frac`
118×	`*-un-lft-identity`
78×	`add-sqr-sqrt`
73×	`add-cube-cbrt`
24×	`associate-/l*`
21×	`distribute-lft-out`
13×	`add-cbrt-cube`
12×	`associate-/r/`
11×	`add-exp-log` `associate-/r*`
9×	`add-log-exp`
7×	`flip3-+` `flip-+` `div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`frac-2neg` `clear-num`
2×	`diff-log` `frac-sub` `distribute-lft-out--` `difference-of-squares`
1×	`sub-neg` `flip3--` `associate--l+` `sum-log` `flip--` `associate-/l/`

Counts

4 → 176

Calls

4 calls:

7.0ms	(/ x (+ wj 1))
5.0ms	(/ wj (+ wj 1))
9.0ms	(/ (/ x (+ wj 1)) (exp wj))
29.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
2.0ms	(/ wj (+ wj 1))
12.0ms	(/ (/ x (+ wj 1)) (exp wj))
14.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

simplify78.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	721	1524
1	3303	1471
2	5002	1469

prune247.0ms

Filtered

138 candidates to 188 candidates (-36.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	183	5	188
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	184	6	190

Merged error: 0.4b

Counts

190 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (+ x (pow wj 2)) (* 2 (* wj x)))
0.0b	(* 2 (* wj x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`diff-log`
1×	`sub-neg` `flip3--` `associate-r` `associate--l+` `sum-log` `*-commutative` `flip--`

Counts

2 → 32

Calls

2 calls:

7.0ms	(- (+ x (pow wj 2)) (* 2 (* wj x)))
4.0ms	(* 2 (* wj x))

series10.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(- (+ x (pow wj 2)) (* 2 (* wj x)))
3.0ms	(* 2 (* wj x))

simplify109.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	162	194
1	645	176
2	3837	174
3	5001	174

prune56.0ms

Filtered

22 candidates to 38 candidates (-72.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	37	7	44

Merged error: 0.4b

Counts

44 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ wj 1))
0.0b	(* x (/ (/ 1 (+ wj 1)) (exp wj)))
0.0b	(/ (/ 1 (+ wj 1)) (exp wj))
5.6b	(- (+ (* x (/ (/ 1 (+ wj 1)) (exp wj))) wj) (/ wj (+ wj 1)))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

210×	`times-frac`
161×	`*-un-lft-identity`
125×	`add-sqr-sqrt`
108×	`add-cube-cbrt`
58×	`associate-r`
25×	`distribute-lft-out`
24×	`add-exp-log`
21×	`associate-/l*`
20×	`add-cbrt-cube`
16×	`associate-/r/`
14×	`div-exp`
10×	`div-inv`
9×	`flip3-+` `flip-+` `add-log-exp`
7×	`pow1` `cbrt-undiv` `associate-/r*`
5×	`prod-exp`
4×	`unswap-sqr`
3×	`rec-exp` `1-exp` `associate-l` `cbrt-unprod`
2×	`frac-2neg` `diff-log` `clear-num` `frac-sub` `difference-of-squares`
1×	`sub-neg` `flip3--` `pow-flip` `associate-r/` `pow-prod-down` `associate--l+` `sum-log` `-commutative` `flip--` `associate-/l/` `distribute-lft-out--` `inv-pow`

Counts

4 → 231

Calls

4 calls:

7.0ms	(/ 1 (+ wj 1))
20.0ms	(* x (/ (/ 1 (+ wj 1)) (exp wj)))
9.0ms	(/ (/ 1 (+ wj 1)) (exp wj))
19.0ms	(- (+ (* x (/ (/ 1 (+ wj 1)) (exp wj))) wj) (/ wj (+ wj 1)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 1 (+ wj 1))
11.0ms	(* x (/ (/ 1 (+ wj 1)) (exp wj)))
4.0ms	(/ (/ 1 (+ wj 1)) (exp wj))
14.0ms	(- (+ (* x (/ (/ 1 (+ wj 1)) (exp wj))) wj) (/ wj (+ wj 1)))

simplify98.0ms

Algorithm

egg-herbie

Counts

243 → 243

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	889	2050
1	4887	1750
2	5002	1738

prune251.0ms

Filtered

141 candidates to 243 candidates (-72.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	243	0	243
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	243	7	250

Merged error: 0.4b

Counts

250 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ wj 1) wj)
0.0b	(/ (/ x (+ wj 1)) (exp wj))
0.2b	(/ 1 (/ (+ wj 1) wj))
6.8b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ 1 (/ (+ wj 1) wj)))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

216×	`times-frac`
179×	`*-un-lft-identity`
127×	`add-sqr-sqrt`
113×	`add-cube-cbrt`
30×	`distribute-lft-out`
25×	`associate-/l*`
22×	`associate-/r*`
20×	`add-exp-log`
16×	`add-cbrt-cube`
13×	`div-inv`
11×	`div-exp`
9×	`associate-/r/` `add-log-exp`
7×	`cbrt-undiv`
6×	`flip3-+` `flip-+`
5×	`pow1` `difference-of-squares`
4×	`distribute-lft-out--`
3×	`frac-2neg` `clear-num` `associate-/l/`
2×	`rec-exp` `diff-log` `1-exp` `frac-sub`
1×	`sub-neg` `flip3--` `pow-flip` `associate--l+` `sum-log` `flip--` `inv-pow`

Counts

4 → 236

Calls

4 calls:

5.0ms	(/ (+ wj 1) wj)
9.0ms	(/ (/ x (+ wj 1)) (exp wj))
7.0ms	(/ 1 (/ (+ wj 1) wj))
40.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ 1 (/ (+ wj 1) wj)))

series37.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (+ wj 1) wj)
11.0ms	(/ (/ x (+ wj 1)) (exp wj))
3.0ms	(/ 1 (/ (+ wj 1) wj))
19.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ 1 (/ (+ wj 1) wj)))

simplify98.0ms

Algorithm

egg-herbie

Counts

248 → 248

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	934	2114
1	4771	1894
2	5002	1894

prune245.0ms

Filtered

147 candidates to 248 candidates (-68.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	247	1	248
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	249	6	255

Merged error: 0.4b

Counts

255 → 6

regimes165.0ms

Accuracy

98.7% (0.0b remaining)

Error of 0.4b against oracle of 0.3b and baseline of 2.3b

bsearch63.0ms

Steps

Iters	Range		Point
8	2.000634129336943e-11	2.5990597267736545e-08	5.271810329870012e-09
8	-7.5110977373244624e-06	-2.8753394649008844e-09	-6.098759658941175e-09

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	23
1	38	23

end0.0ms

sample5.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.21875%

Guaranteed chance to sample good point: 64.497423%

Results

830.0ms	3722×	body	5120	exit
242.0ms	6299×	body	80	valid
92.0ms	756×	body	320	valid
75.0ms	430×	body	640	valid
38.0ms	515×	body	160	valid
3.0ms	75×	body	80	invalid
0.0ms	11×	body	80	overflowed

Details

sample3.7s

simplify45.0ms

prune8.0ms

localize9.0ms

rewrite57.0ms

series34.0ms

simplify78.0ms

prune247.0ms

localize7.0ms

rewrite14.0ms

series10.0ms

simplify109.0ms

prune56.0ms

localize10.0ms

rewrite68.0ms

series32.0ms

simplify98.0ms

prune251.0ms

localize10.0ms

rewrite73.0ms

series37.0ms

simplify98.0ms

prune245.0ms

regimes165.0ms

bsearch63.0ms

simplify1.0ms

end0.0ms

sample5.6s

Profiling