Details

sample1.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 73.825073%

Results

26.0ms	118×	body	5120	exit
8.0ms	208×	body	80	valid
5.0ms	146×	body	80	overflowed
3.0ms	24×	body	320	valid
2.0ms	12×	body	640	valid
1.0ms	12×	body	160	valid
0.0ms	1×	body	80	invalid

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

prune11.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: 10.8b

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))
3.8b	(- (+ (/ (/ 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	(/ x (+ wj 1))
5.0ms	(/ wj (+ wj 1))
9.0ms	(/ (/ x (+ wj 1)) (exp wj))
28.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series33.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
2.0ms	(/ wj (+ wj 1))
11.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

7 alts after pruning (7 fresh and 0 done)

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

Merged error: 0.2b

Counts

190 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

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

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

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

prune58.0ms

Filtered

22 candidates to 38 candidates (-72.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	38	7	45

Merged error: 0.2b

Counts

45 → 7

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.3b	(- 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))
9.0ms	(- wj (/ wj (+ wj 1)))

series21.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
2.0ms	(/ wj (+ wj 1))
11.0ms	(/ (/ x (+ wj 1)) (exp wj))
3.0ms	(- wj (/ wj (+ wj 1)))

simplify69.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	631	1335
1	2841	1279
2	5001	1273

prune220.0ms

Filtered

135 candidates to 183 candidates (-35.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	184	6	190

Merged error: 0.1b

Counts

190 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ wj 1))
0.0b	(+ (pow wj 4) (pow wj 2))
0.0b	(- (+ (pow wj 4) (pow wj 2)) (pow wj 3))
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:

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

series27.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify70.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (55.0ms)

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

prune281.0ms

Filtered

119 candidates to 167 candidates (-40.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	166	7	173

Merged error: 0.1b

Counts

173 → 7

regimes111.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	18
1	23	18

end0.0ms

sample2.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 73.825073%

Results

814.0ms	3696×	body	5120	exit
232.0ms	6245×	body	80	valid
132.0ms	3870×	body	80	overflowed
90.0ms	792×	body	320	valid
80.0ms	450×	body	640	valid
38.0ms	513×	body	160	valid
4.0ms	89×	body	80	invalid

Details

sample1.0s

simplify46.0ms

prune11.0ms

localize9.0ms

rewrite55.0ms

series33.0ms

simplify78.0ms

prune247.0ms

localize7.0ms

rewrite12.0ms

series10.0ms

simplify110.0ms

prune58.0ms

localize9.0ms

rewrite33.0ms

series21.0ms

simplify69.0ms

prune220.0ms

localize13.0ms

rewrite40.0ms

series27.0ms

simplify70.0ms

prune281.0ms

regimes111.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.8s

Profiling