Details

sample2.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 48.834229%

Results

23.0ms	109×	body	5120	exit
7.0ms	199×	body	80	valid
4.0ms	124×	body	80	overflowed
3.0ms	16×	body	640	valid
2.0ms	23×	body	320	valid
1.0ms	18×	body	160	valid
0.0ms	2×	body	80	invalid

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

prune12.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: 12.7b

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))
4.7b	(- (+ (/ (/ 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:

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

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

simplify80.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (63.0ms)

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

prune249.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.5b

Counts

190 → 5

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 44

Calls

3 calls:

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

series18.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify131.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	202	245
1	794	228
2	4222	225
3	5001	225

prune76.0ms

Filtered

32 candidates to 53 candidates (-65.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	51	2	53
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	51	7	58

Merged error: 0.5b

Counts

58 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x (pow wj 2))) (cbrt (+ x (pow wj 2))))
0.5b	(cbrt (+ x (pow wj 2)))
0.5b	(cbrt (+ x (pow wj 2)))
0.5b	(cbrt (+ x (pow wj 2)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

12.0ms	(* (cbrt (+ x (pow wj 2))) (cbrt (+ x (pow wj 2))))
4.0ms	(cbrt (+ x (pow wj 2)))
4.0ms	(cbrt (+ x (pow wj 2)))
4.0ms	(cbrt (+ x (pow wj 2)))

series212.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(* (cbrt (+ x (pow wj 2))) (cbrt (+ x (pow wj 2))))
51.0ms	(cbrt (+ x (pow wj 2)))
52.0ms	(cbrt (+ x (pow wj 2)))
53.0ms	(cbrt (+ x (pow wj 2)))

simplify133.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 3 (123.0ms)

Iter	Nodes	Cost
0	286	944
1	927	893
2	4130	787
3	5001	764

prune261.0ms

Filtered

72 candidates to 107 candidates (-48.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	106	8	114

Merged error: 0.5b

Counts

114 → 8

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* wj (exp wj))
0.0b	(+ (exp wj) (* wj (exp wj)))
0.5b	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
4.7b	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

5.0ms	(* wj (exp wj))
3.0ms	(+ (exp wj) (* wj (exp wj)))
9.0ms	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
11.0ms	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series35.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* wj (exp wj))
4.0ms	(+ (exp wj) (* wj (exp wj)))
13.0ms	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
15.0ms	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify47.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	394	942
1	1478	877
2	5001	855

prune92.0ms

Filtered

81 candidates to 99 candidates (-22.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	99	8	107

Merged error: 0.5b

Counts

107 → 8

regimes186.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

sample3.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 48.834229%

Results

831.0ms	3873×	body	5120	exit
226.0ms	6302×	body	80	valid
128.0ms	3838×	body	80	overflowed
81.0ms	741×	body	320	valid
71.0ms	417×	body	640	valid
38.0ms	540×	body	160	valid
4.0ms	83×	body	80	invalid

Details

sample2.0s

simplify47.0ms

prune12.0ms

localize9.0ms

rewrite56.0ms

series33.0ms

simplify80.0ms

prune249.0ms

localize7.0ms

rewrite17.0ms

series18.0ms

simplify131.0ms

prune76.0ms

localize11.0ms

rewrite27.0ms

series212.0ms

simplify133.0ms

prune261.0ms

localize8.0ms

rewrite31.0ms

series35.0ms

simplify47.0ms

prune92.0ms

regimes186.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.7s

Profiling