Details

sample31.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.009155%

Guaranteed chance to sample good point: 99.987792%

Results

6.0ms	67×	body	640	valid
3.0ms	134×	body	80	valid
3.0ms	37×	body	320	valid
1.0ms	18×	body	160	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	4
1	12	4
2	12	4

prune2.0ms

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

Counts

2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

2.2b	(- (/ 1.0 (+ x 1.0)) (/ 1.0 x))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
16×	`times-frac`
8×	`distribute-lft-out--`
5×	`add-cube-cbrt`
4×	`difference-of-squares`
3×	`distribute-lft-out` `add-log-exp`
2×	`div-inv`
1×	`pow1` `add-exp-log` `sub-neg` `flip3--` `diff-log` `frac-sub` `add-cbrt-cube` `flip--`

Counts

1 → 25

Calls

1 calls:

17.0ms

(- (/ 1.0 (+ x 1.0)) (/ 1.0 x))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(- (/ 1.0 (+ x 1.0)) (/ 1.0 x))

simplify62.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	171	219
1	443	205
2	1990	203
3	5001	203

prune47.0ms

Filtered

21 candidates to 28 candidates (-33.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	26	2	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	27	2	29

Merged error: 0.2b

Counts

29 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (* 1.0 (- x (+ x 1.0))) (* (+ x 1.0) x))
1.5b	(- x (+ x 1.0))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-cbrt-cube`
7×	`*-un-lft-identity` `add-log-exp`
4×	`cbrt-undiv` `add-sqr-sqrt` `div-exp` `prod-exp` `cbrt-unprod`
2×	`pow1` `add-cube-cbrt` `flip3--` `diff-log` `associate-r/` `associate-l/` `associate-/r/` `flip--` `associate-/l/` `distribute-lft-out--`
1×	`sub-neg` `frac-2neg` `flip3-+` `times-frac` `clear-num` `associate-/r` `sum-log` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `associate--r+` `difference-of-squares`

Counts

2 → 42

Calls

2 calls:

12.0ms	(/ (* 1.0 (- x (+ x 1.0))) (* (+ x 1.0) x))
6.0ms	(- x (+ x 1.0))

series4.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ (* 1.0 (- x (+ x 1.0))) (* (+ x 1.0) x))
1.0ms	(- x (+ x 1.0))

simplify44.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	322	315
1	1765	251
2	5001	242

prune56.0ms

Filtered

31 candidates to 48 candidates (-54.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	47	3	50

Merged error: 0.0b

Counts

50 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

0.1b	(/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

801×	`times-frac`
529×	`*-un-lft-identity`
409×	`add-sqr-sqrt`
313×	`add-cube-cbrt`
83×	`associate-/l*`
60×	`distribute-lft-out`
48×	`distribute-lft-out--` `difference-of-squares`
28×	`associate-/r/`
17×	`div-inv`
12×	`flip3--` `flip--`
10×	`add-exp-log` `add-cbrt-cube`
6×	`cbrt-undiv` `div-exp`
3×	`associate-/r*`
1×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`

Counts

1 → 352

Calls

1 calls:

26.0ms

(/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)

simplify80.0ms

Algorithm

egg-herbie

Counts

355 → 355

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1522	4499
1	5001	4342

prune669.0ms

Filtered

236 candidates to 355 candidates (-50.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	353	2	355
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	353	5	358

Merged error: 0b

Counts

358 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ (* 1.0 1.0) (neg (* (+ x 1.0) x)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `times-frac` `associate-/r*` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`cbrt-undiv` `distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `div-exp` `associate-*l/` `associate-/r/` `distribute-neg-frac`
1×	`pow1` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `cbrt-unprod` `flip-+` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 29

Calls

1 calls:

6.0ms

(/ (* 1.0 1.0) (neg (* (+ x 1.0) x)))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(/ (* 1.0 1.0) (neg (* (+ x 1.0) x)))

simplify35.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	220	224
1	1074	194
2	5001	194

prune36.0ms

Filtered

25 candidates to 32 candidates (-28.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	31	1	32
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	32	5	37

Merged error: 0b

Counts

37 → 5

regimes33.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	5
1	10	5

end0.0ms

sample544.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.009155%

Guaranteed chance to sample good point: 99.987792%

Results

180.0ms	1938×	body	640	valid
103.0ms	4177×	body	80	valid
91.0ms	1256×	body	320	valid
30.0ms	629×	body	160	valid

Details

sample31.0ms

simplify4.0ms

prune2.0ms

localize9.0ms

rewrite19.0ms

series4.0ms

simplify62.0ms

prune47.0ms

localize6.0ms

rewrite19.0ms

series4.0ms

simplify44.0ms

prune56.0ms

localize6.0ms

rewrite56.0ms

series3.0ms

simplify80.0ms

prune669.0ms

localize6.0ms

rewrite6.0ms

series3.0ms

simplify35.0ms

prune36.0ms

regimes33.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample544.0ms

Profiling