Details

sample966.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.21875%

Guaranteed chance to sample good point: 64.497423%

Results

26.0ms	122×	body	5120	exit
8.0ms	209×	body	80	valid
3.0ms	24×	body	320	valid
2.0ms	12×	body	640	valid
1.0ms	11×	body	160	valid
0.0ms	2×	body	80	invalid

simplify49.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (6.0ms)

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

prune9.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: 11.2b

Counts

2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.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:

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

series37.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify82.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (65.0ms)

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

prune264.0ms

Filtered

138 candidates to 188 candidates (-36.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Merged error: 0.2b

Counts

190 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.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)))
7.0ms	(* 2 (* wj x))

series13.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify120.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 2 (28.0ms)

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

prune59.0ms

Filtered

22 candidates to 38 candidates (-72.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	36	2	38
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	36	7	43

Merged error: 0.2b

Counts

43 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

94×	`add-sqr-sqrt`
80×	`*-un-lft-identity`
77×	`times-frac`
46×	`add-cube-cbrt`
25×	`associate-r`
24×	`associate-l`
22×	`difference-of-squares`
20×	`add-cbrt-cube`
17×	`add-exp-log`
10×	`difference-of-sqr-1` `associate-/l*`
9×	`add-log-exp`
8×	`distribute-lft-out--`
7×	`associate-/r*`
6×	`pow1` `cbrt-undiv` `div-exp`
4×	`prod-exp` `associate-/r/` `cbrt-unprod` `div-inv` `distribute-lft-out` `unswap-sqr`
3×	`flip3--` `flip--`
2×	`frac-2neg` `flip3-+` `diff-log` `clear-num` `frac-sub` `flip-+` `associate-/l/`
1×	`frac-times` `sub-neg` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `associate--l+` `sum-log` `*-commutative`

Counts

4 → 171

Calls

4 calls:

5.0ms	(/ wj (+ wj 1))
25.0ms	(* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj)))
7.0ms	(/ (- wj 1) (exp wj))
21.0ms	(- (+ (* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj))) wj) (/ wj (+ wj 1)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ wj (+ wj 1))
21.0ms	(* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj)))
7.0ms	(/ (- wj 1) (exp wj))
33.0ms	(- (+ (* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj))) wj) (/ wj (+ wj 1)))

simplify108.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	844	1620
1	4531	1505
2	5001	1505

prune228.0ms

Filtered

127 candidates to 183 candidates (-44.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	183	0	183
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	183	7	190

Merged error: 0.2b

Counts

190 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1))))
3.6b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
3.6b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
3.6b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt` `*-un-lft-identity`
19×	`add-log-exp`
8×	`frac-sub` `distribute-lft-out--` `difference-of-squares`
7×	`cbrt-prod`
6×	`diff-log`
5×	`add-cube-cbrt`
4×	`pow1` `add-exp-log` `cbrt-div` `flip3--` `flip3-+` `times-frac` `add-cbrt-cube` `flip--` `flip-+` `distribute-lft-out`
3×	`sub-neg` `associate--l+` `sum-log`
1×	`pow1/3`

Counts

4 → 79

Calls

4 calls:

29.0ms	(cbrt (- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1))))
32.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
30.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
31.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series80.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1))))
14.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
17.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
14.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

simplify43.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	371	1438
1	1115	1366
2	5001	1327

prune237.0ms

Filtered

70 candidates to 91 candidates (-30.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	91	7	98

Merged error: 0.2b

Counts

98 → 7

regimes131.0ms

Accuracy

98.4% (0.0b remaining)

Error of 0.3b against oracle of 0.3b and baseline of 2.1b

bsearch66.0ms

Steps

Iters	Range		Point
8	8.244826802475722e-13	2.876765533808944e-08	5.512963544388324e-09
9	-2.188233816299646e-07	-3.7625452063165325e-13	-5.158852135356343e-09

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	16
1	37	16

end0.0ms

sample2.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.21875%

Guaranteed chance to sample good point: 64.497423%

Results

847.0ms	3836×	body	5120	exit
243.0ms	6241×	body	80	valid
95.0ms	821×	body	320	valid
73.0ms	414×	body	640	valid
41.0ms	524×	body	160	valid
4.0ms	83×	body	80	invalid
0.0ms	12×	body	80	overflowed

Details

sample966.0ms

simplify49.0ms

prune9.0ms

localize12.0ms

rewrite55.0ms

series37.0ms

simplify82.0ms

prune264.0ms

localize7.0ms

rewrite15.0ms

series13.0ms

simplify120.0ms

prune59.0ms

localize13.0ms

rewrite64.0ms

series64.0ms

simplify108.0ms

prune228.0ms

localize15.0ms

rewrite126.0ms

series80.0ms

simplify43.0ms

prune237.0ms

regimes131.0ms

bsearch66.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling