Details

sample235.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 5.31311%

Guaranteed chance to sample good point: 97.350695%

Results

13.0ms	256×	body	80	valid
1.0ms	18×	body	80	invalid

simplify89.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	5
1	27	5
2	40	5
3	47	5
4	63	5
5	75	5
6	106	5
7	112	5
8	118	5
9	122	5
10	130	5
11	402	5
12	2605	5
13	5001	5

prune3.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: 10.3b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ x y) 1.0)
0.1b	(* x (+ (/ x y) 1.0))
9.6b	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt`
5×	`pow1` `add-log-exp`
4×	`flip3-+` `times-frac` `associate-r/` `associate-r` `associate-/r` `flip-+` `distribute-lft-out`
3×	`associate-l`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `sum-log` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

3 → 62

Calls

3 calls:

6.0ms	(+ (/ x y) 1.0)
9.0ms	(* x (+ (/ x y) 1.0))
13.0ms	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

series13.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(+ (/ x y) 1.0)
4.0ms	(* x (+ (/ x y) 1.0))
6.0ms	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

simplify58.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	301	391
1	1508	339
2	5001	337

prune100.0ms

Filtered

48 candidates to 71 candidates (-47.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	65	6	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	66	6	72

Merged error: 0.0b

Counts

72 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ x y) 1.0)
0.1b	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
0.1b	(/ (+ x 1.0) (+ (/ x y) 1.0))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

158×	`*-un-lft-identity`
146×	`times-frac`
72×	`add-sqr-sqrt` `add-cube-cbrt`
43×	`distribute-lft-out`
26×	`associate-/r*`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
7×	`flip3-+` `flip-+` `associate-/l*`
6×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `sum-log`

Counts

3 → 158

Calls

3 calls:

6.0ms	(+ (/ x y) 1.0)
13.0ms	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
12.0ms	(/ (+ x 1.0) (+ (/ x y) 1.0))

series16.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(+ (/ x y) 1.0)
6.0ms	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
8.0ms	(/ (+ x 1.0) (+ (/ x y) 1.0))

simplify77.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	499	1501
1	2349	1440
2	5002	1438

prune183.0ms

Filtered

105 candidates to 167 candidates (-59.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	167	6	173

Merged error: 0b

Counts

173 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0))))
0.3b	(* (/ x y) (/ x y))
5.2b	(/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0)))
5.7b	(* (/ 1 (/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0)))) (/ x (- (/ x y) 1.0)))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

338×	`times-frac`
237×	`*-un-lft-identity`
221×	`add-sqr-sqrt`
161×	`add-cube-cbrt`
84×	`associate-l`
74×	`add-exp-log`
44×	`add-cbrt-cube`
39×	`difference-of-squares`
37×	`associate-r`
33×	`div-exp` `distribute-lft-out`
26×	`associate-/r*`
20×	`associate-/r/`
18×	`prod-exp`
17×	`cbrt-undiv`
15×	`div-inv`
14×	`pow1` `unswap-sqr`
13×	`swap-sqr`
10×	`cbrt-unprod`
9×	`flip3--` `flip--`
7×	`associate-/l*`
6×	`rec-exp` `1-exp`
4×	`add-log-exp`
3×	`distribute-lft-out--`
2×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative` `associate-/l/`
1×	`pow2` `pow-flip` `flip3-+` `pow-plus` `pow-sqr` `pow-prod-up` `flip-+` `inv-pow`

Counts

4 → 356

Calls

4 calls:

14.0ms	(/ 1 (/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0))))
10.0ms	(* (/ x y) (/ x y))
11.0ms	(/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0)))
49.0ms	(* (/ 1 (/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0)))) (/ x (- (/ x y) 1.0)))

series40.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ 1 (/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0))))
5.0ms	(* (/ x y) (/ x y))
9.0ms	(/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0)))
17.0ms	(* (/ 1 (/ (+ x 1.0) (- (* (/ x y) (/ x y)) (* 1.0 1.0)))) (/ x (- (/ x y) 1.0)))

simplify88.0ms

Algorithm

egg-herbie

Counts

368 → 368

Iterations

Useful iterations: 1 (41.0ms)

Iter	Nodes	Cost
0	1469	4661
1	5001	4252

prune522.0ms

Filtered

233 candidates to 368 candidates (-57.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	368	0	368
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	368	6	374

Merged error: 0b

Counts

374 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ x y) 1.0)
0.1b	(* (/ (* x (+ (/ x y) 1.0)) (- (* x x) (* 1.0 1.0))) (- x 1.0))
0.1b	(* x (+ (/ x y) 1.0))
14.1b	(/ (* x (+ (/ x y) 1.0)) (- (* x x) (* 1.0 1.0)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

6.0ms	(+ (/ x y) 1.0)
16.0ms	(* (/ (* x (+ (/ x y) 1.0)) (- (* x x) (* 1.0 1.0))) (- x 1.0))
8.0ms	(* x (+ (/ x y) 1.0))
12.0ms	(/ (* x (+ (/ x y) 1.0)) (- (* x x) (* 1.0 1.0)))

series25.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ (/ x y) 1.0)
8.0ms	(* (/ (* x (+ (/ x y) 1.0)) (- (* x x) (* 1.0 1.0))) (- x 1.0))
4.0ms	(* x (+ (/ x y) 1.0))
10.0ms	(/ (* x (+ (/ x y) 1.0)) (- (* x x) (* 1.0 1.0)))

simplify94.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (82.0ms)

Iter	Nodes	Cost
0	535	991
1	3091	849
2	5001	848

prune120.0ms

Filtered

79 candidates to 114 candidates (-44.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	114	6	120

Merged error: 0b

Counts

120 → 6

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

sample705.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 5.31311%

Guaranteed chance to sample good point: 97.350695%

Results

274.0ms	8000×	body	80	valid
23.0ms	684×	body	80	invalid

Details

sample235.0ms

simplify89.0ms

prune3.0ms

localize7.0ms

rewrite29.0ms

series13.0ms

simplify58.0ms

prune100.0ms

localize7.0ms

rewrite38.0ms

series16.0ms

simplify77.0ms

prune183.0ms

localize12.0ms

rewrite101.0ms

series40.0ms

simplify88.0ms

prune522.0ms

localize10.0ms

rewrite45.0ms

series25.0ms

simplify94.0ms

prune120.0ms

regimes137.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample705.0ms

Profiling