Details

sample931.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 24.292737%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

26.0ms	113×	body	5120	exit
7.0ms	205×	body	80	valid
3.0ms	18×	body	640	valid
2.0ms	21×	body	320	valid
1.0ms	12×	body	160	valid
0.0ms	3×	body	80	invalid
0.0ms	1×	body	80	overflowed

simplify46.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.8b

Counts

2 → 2

localize9.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.3b	(- (+ (/ (/ 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))
11.0ms	(/ (/ x (+ wj 1)) (exp wj))
27.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify76.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (59.0ms)

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

prune437.0ms

Filtered

138 candidates to 188 candidates (-36.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	184	4	188
Fresh	0	1	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))

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)))
6.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))

simplify108.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

prune52.0ms

Filtered

22 candidates to 38 candidates (-72.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	37	6	43

Merged error: 0.2b

Counts

43 → 6

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	(- wj (/ wj (+ wj 1)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 171

Calls

4 calls:

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

series25.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ x (+ wj 1))
3.0ms	(/ wj (+ wj 1))
12.0ms	(/ (/ x (+ wj 1)) (exp wj))
3.0ms	(- wj (/ wj (+ wj 1)))

simplify67.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	634	1321
1	2844	1269
2	5001	1267

prune214.0ms

Filtered

135 candidates to 183 candidates (-35.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	182	1	183
Fresh	1	3	4
Picked	1	0	1
Done	1	0	1
Total	185	4	189

Merged error: 0.0b

Counts

189 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (pow wj 4) (pow wj 2)) (pow wj 3))
0.0b	(+ (pow wj 4) (pow wj 2))
0.0b	(/ x (+ wj 1))
0.0b	(/ (/ x (+ wj 1)) (exp wj))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
103×	`*-un-lft-identity`
71×	`add-sqr-sqrt`
64×	`add-cube-cbrt`
21×	`associate-/l*`
18×	`distribute-lft-out`
11×	`add-cbrt-cube` `add-log-exp`
10×	`associate-/r/`
9×	`add-exp-log`
7×	`associate-/r*`
6×	`flip3-+` `flip-+` `div-inv`
4×	`pow1` `cbrt-undiv` `div-exp` `difference-of-squares`
2×	`frac-2neg` `diff-log` `clear-num` `sum-log` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `unpow-prod-down` `flip3--` `cube-prod` `associate--l+` `flip--` `associate-/l/` `sqr-pow`

Counts

4 → 155

Calls

4 calls:

11.0ms	(- (+ (pow wj 4) (pow wj 2)) (pow wj 3))
6.0ms	(+ (pow wj 4) (pow wj 2))
5.0ms	(/ x (+ wj 1))
9.0ms	(/ (/ x (+ wj 1)) (exp wj))

series29.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(- (+ (pow wj 4) (pow wj 2)) (pow wj 3))
7.0ms	(+ (pow wj 4) (pow wj 2))
5.0ms	(/ x (+ wj 1))
12.0ms	(/ (/ x (+ wj 1)) (exp wj))

simplify73.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	637	1315
1	2872	1259
2	5002	1257

prune280.0ms

Filtered

119 candidates to 167 candidates (-40.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	167	4	171

Merged error: 0.0b

Counts

171 → 4

regimes125.0ms

Accuracy

0% (0.9b remaining)

Error of 0.9b against oracle of 0.1b and baseline of 0.9b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	10
1	21	10

end0.0ms

sample2.4s

Algorithm

intervals

sampling

Space saved by range analysis: 24.292737%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

847.0ms	3839×	body	5120	exit
230.0ms	6216×	body	80	valid
86.0ms	780×	body	320	valid
82.0ms	468×	body	640	valid
41.0ms	536×	body	160	valid
3.0ms	78×	body	80	invalid
1.0ms	16×	body	80	overflowed

Details

sample931.0ms

simplify46.0ms

prune9.0ms

localize9.0ms

rewrite55.0ms

series34.0ms

simplify76.0ms

prune437.0ms

localize7.0ms

rewrite14.0ms

series10.0ms

simplify108.0ms

prune52.0ms

localize9.0ms

rewrite33.0ms

series25.0ms

simplify67.0ms

prune214.0ms

localize14.0ms

rewrite40.0ms

series29.0ms

simplify73.0ms

prune280.0ms

regimes125.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling