Details

sample855.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 74.609375%

Results

24.0ms	108×	body	5120	exit
8.0ms	208×	body	80	valid
4.0ms	16×	body	160	valid
4.0ms	118×	body	80	overflowed
2.0ms	23×	body	320	valid
2.0ms	13×	body	640	valid

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

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: 11.6b

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))
4.1b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

rewrite56.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))
28.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series33.0ms

Counts

4 → 12

Calls

4 calls:

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

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

prune243.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	(* 2 (* wj x))
0.0b	(+ x (pow wj 2))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`*-un-lft-identity`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+` `distribute-lft-out`

Counts

2 → 30

Calls

2 calls:

6.0ms	(* 2 (* wj x))
4.0ms	(+ x (pow wj 2))

series9.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify62.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	149	128
1	551	109
2	2317	108
3	5001	108

prune54.0ms

Filtered

21 candidates to 36 candidates (-71.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	34	7	41

Merged error: 0.2b

Counts

41 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

32×	`*-un-lft-identity`
24×	`add-sqr-sqrt`
17×	`add-cube-cbrt`
16×	`times-frac`
13×	`add-cbrt-cube`
11×	`add-exp-log`
9×	`add-log-exp`
6×	`pow1` `distribute-lft-out` `associate-/l*`
5×	`associate-/r*`
4×	`flip3-+` `associate-r/` `associate-r*` `associate-/r/` `flip-+`
3×	`cbrt-undiv` `div-exp` `associate-l`
2×	`frac-2neg` `diff-log` `prod-exp` `clear-num` `frac-sub` `cbrt-unprod` `div-inv` `distribute-lft-out--` `difference-of-squares`
1×	`distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `pow-prod-down` `associate--l+` `sum-log` `*-commutative` `flip--` `unswap-sqr`

Counts

4 → 99

Calls

4 calls:

7.0ms	(/ x (* (exp wj) (+ wj 1)))
5.0ms	(/ wj (+ wj 1))
6.0ms	(* (exp wj) (+ wj 1))
17.0ms	(- (+ (/ x (* (exp wj) (+ wj 1))) wj) (/ wj (+ wj 1)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify56.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	493	762
1	2288	711
2	5001	708

prune125.0ms

Filtered

79 candidates to 111 candidates (-40.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	111	7	118

Merged error: 0.2b

Counts

118 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

207×	`times-frac`
156×	`*-un-lft-identity`
108×	`add-sqr-sqrt` `add-cube-cbrt`
42×	`associate-*l/`
39×	`associate-/l*`
33×	`flip3--` `flip--`
32×	`frac-sub`
24×	`associate-/r/` `distribute-lft-out`
23×	`flip3-+` `flip-+`
20×	`frac-times` `associate-/l/`
19×	`add-cbrt-cube`
15×	`add-exp-log`
11×	`div-inv`
10×	`associate-*r/`
8×	`cbrt-undiv` `div-exp`
7×	`associate-/r*`
6×	`add-log-exp`
4×	`pow1`
3×	`frac-2neg` `clear-num`
2×	`associate--l+`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `diff-log` `div-sub` `prod-exp` `cbrt-unprod`

Counts

4 → 258

Calls

4 calls:

9.0ms	(/ (/ x (+ wj 1)) (exp wj))
9.0ms	(/ (/ x (+ wj 1)) (exp wj))
35.0ms	(- (* (- (* (/ (/ x (+ wj 1)) (exp wj)) (/ (/ x (+ wj 1)) (exp wj))) (* wj wj)) (+ wj 1)) (* (- (/ (/ x (+ wj 1)) (exp wj)) wj) wj))
58.0ms	(/ (- (* (- (* (/ (/ x (+ wj 1)) (exp wj)) (/ (/ x (+ wj 1)) (exp wj))) (* wj wj)) (+ wj 1)) (* (- (/ (/ x (+ wj 1)) (exp wj)) wj) wj)) (* (- (/ (/ x (+ wj 1)) (exp wj)) wj) (+ wj 1)))

series180.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ (/ x (+ wj 1)) (exp wj))
11.0ms	(/ (/ x (+ wj 1)) (exp wj))
61.0ms	(- (* (- (* (/ (/ x (+ wj 1)) (exp wj)) (/ (/ x (+ wj 1)) (exp wj))) (* wj wj)) (+ wj 1)) (* (- (/ (/ x (+ wj 1)) (exp wj)) wj) wj))
97.0ms	(/ (- (* (- (* (/ (/ x (+ wj 1)) (exp wj)) (/ (/ x (+ wj 1)) (exp wj))) (* wj wj)) (+ wj 1)) (* (- (/ (/ x (+ wj 1)) (exp wj)) wj) wj)) (* (- (/ (/ x (+ wj 1)) (exp wj)) wj) (+ wj 1)))

simplify78.0ms

Algorithm

egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1433	5416
1	5001	5211

prune996.0ms

Filtered

213 candidates to 270 candidates (-26.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	267	3	270
Fresh	3	1	4
Picked	1	0	1
Done	0	2	2
Total	271	6	277

Merged error: 0.0b

Counts

277 → 6

regimes97.0ms

Accuracy

0% (2.0b remaining)

Error of 2.0b against oracle of 0.0b and baseline of 2.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

sample2.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 74.609375%

Results

811.0ms	3731×	body	5120	exit
237.0ms	6320×	body	80	valid
128.0ms	3810×	body	80	overflowed
92.0ms	772×	body	320	valid
79.0ms	448×	body	640	valid
42.0ms	532×	body	160	valid

Details

sample855.0ms

simplify47.0ms

prune8.0ms

localize9.0ms

rewrite56.0ms

series33.0ms

simplify77.0ms

prune243.0ms

localize7.0ms

rewrite11.0ms

series9.0ms

simplify62.0ms

prune54.0ms

localize9.0ms

rewrite38.0ms

series34.0ms

simplify56.0ms

prune125.0ms

localize18.0ms

rewrite125.0ms

series180.0ms

simplify78.0ms

prune996.0ms

regimes97.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.8s

Profiling