Details

sample2.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0.584866%

Space saved by search: 0.243902%

Guaranteed chance to sample good point: 0%

Results

16.0ms	256×	body	80	valid
1.0ms	13×	body	80	invalid

simplify66.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	6
1	58	6
2	107	6
3	188	6
4	364	6
5	722	6
6	1067	6
7	1452	6
8	1963	6
9	2143	6
10	2145	6
11	2145	6

prune4.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: 1.9b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
0.0b	(/ (+ (- t z) 1.0) a)
10.0b	(/ (- y z) (/ (+ (- t z) 1.0) a))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

239×	`*-un-lft-identity`
203×	`times-frac`
136×	`add-sqr-sqrt`
87×	`add-cube-cbrt`
44×	`distribute-lft-out`
43×	`distribute-lft-out--`
23×	`difference-of-squares`
22×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `div-sub`
2×	`flip3--` `frac-2neg` `clear-num` `flip--`
1×	`associate-+l-` `sub-neg` `flip3-+` `diff-log` `associate-/r/` `flip-+` `associate--r-`

Counts

3 → 192

Calls

3 calls:

33.0ms	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
8.0ms	(/ (+ (- t z) 1.0) a)
13.0ms	(/ (- y z) (/ (+ (- t z) 1.0) a))

series69.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
7.0ms	(/ (+ (- t z) 1.0) a)
28.0ms	(/ (- y z) (/ (+ (- t z) 1.0) a))

simplify70.0ms

Algorithm

egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	707	1950
1	2629	1888
2	5001	1887

prune220.0ms

Filtered

119 candidates to 201 candidates (-68.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	196	5	201
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	196	6	202

Merged error: 0b

Counts

202 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
0.0b	(/ (- y z) (+ (- t z) 1.0))
0.6b	(* (/ (- y z) (+ (- t z) 1.0)) a)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

104×	`*-un-lft-identity`
54×	`add-sqr-sqrt`
51×	`times-frac`
31×	`associate-l`
27×	`add-cube-cbrt`
22×	`distribute-lft-out` `distribute-lft-out--`
11×	`difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`associate-r`
2×	`cbrt-undiv` `flip3--` `flip3-+` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `flip-+` `div-inv` `associate-/l/` `unswap-sqr`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `-commutative`

Counts

3 → 114

Calls

3 calls:

2.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
10.0ms	(/ (- y z) (+ (- t z) 1.0))
17.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

series77.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
11.0ms	(/ (- y z) (+ (- t z) 1.0))
30.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

simplify47.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	436	882
1	1450	824
2	5001	823

prune125.0ms

Filtered

77 candidates to 123 candidates (-59.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	123	6	129

Merged error: 0b

Counts

129 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a))
0.0b	(/ (+ (- t z) 1.0) (- y z))
0.6b	(* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a)
0.7b	(/ 1 (/ (+ (- t z) 1.0) (- y z)))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

447×	`*-un-lft-identity`
392×	`times-frac`
254×	`add-sqr-sqrt`
158×	`add-cube-cbrt`
98×	`associate-l`
82×	`distribute-lft-out` `distribute-lft-out--`
41×	`difference-of-squares`
36×	`add-exp-log` `associate-/r*`
20×	`add-cbrt-cube`
18×	`associate-/r/`
15×	`div-exp`
10×	`div-inv`
9×	`flip3--` `flip--`
8×	`associate-/l*`
7×	`pow1` `cbrt-undiv` `prod-exp`
6×	`add-log-exp`
5×	`unswap-sqr`
4×	`rec-exp` `1-exp`
3×	`associate-r` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`associate-+l-` `sub-neg` `pow-flip` `flip3-+` `diff-log` `div-sub` `pow-prod-down` `associate-l/` `-commutative` `flip-+` `inv-pow`

Counts

4 → 338

Calls

4 calls:

2.0ms	(- x (* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a))
10.0ms	(/ (+ (- t z) 1.0) (- y z))
29.0ms	(* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a)
14.0ms	(/ 1 (/ (+ (- t z) 1.0) (- y z)))

series126.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(- x (* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a))
11.0ms	(/ (+ (- t z) 1.0) (- y z))
27.0ms	(* (/ 1 (/ (+ (- t z) 1.0) (- y z))) a)
22.0ms	(/ 1 (/ (+ (- t z) 1.0) (- y z)))

simplify122.0ms

Algorithm

egg-herbie

Counts

350 → 350

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	887	3106
1	4338	2799
2	5002	2576

prune279.0ms

Filtered

164 candidates to 350 candidates (-113.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	348	2	350
Fresh	2	1	3
Picked	1	0	1
Done	0	2	2
Total	351	5	356

Merged error: 0b

Counts

356 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ a (/ (+ (- t z) 1.0) (- y z))))
0.0b	(/ (+ (- t z) 1.0) (- y z))
1.1b	(/ a (/ (+ (- t z) 1.0) (- y z)))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

275×	`*-un-lft-identity`
221×	`times-frac`
152×	`add-sqr-sqrt`
91×	`add-cube-cbrt`
53×	`distribute-lft-out--`
52×	`distribute-lft-out`
36×	`associate-/r*`
29×	`difference-of-squares`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`flip3--` `flip--` `div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`associate-+l-` `sub-neg` `flip3-+` `diff-log` `div-sub` `flip-+`

Counts

3 → 210

Calls

3 calls:

32.0ms	(- x (/ a (/ (+ (- t z) 1.0) (- y z))))
10.0ms	(/ (+ (- t z) 1.0) (- y z))
14.0ms	(/ a (/ (+ (- t z) 1.0) (- y z)))

series82.0ms

Counts

3 → 9

Calls

3 calls:

45.0ms	(- x (/ a (/ (+ (- t z) 1.0) (- y z))))
11.0ms	(/ (+ (- t z) 1.0) (- y z))
26.0ms	(/ a (/ (+ (- t z) 1.0) (- y z)))

simplify82.0ms

Algorithm

egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	654	2134
1	2970	2072
2	5001	2071

prune183.0ms

Filtered

128 candidates to 219 candidates (-71.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	219	0	219
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	219	5	224

Merged error: 0b

Counts

224 → 5

regimes485.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	6
1	14	6

end0.0ms

sample3.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0.584866%

Space saved by search: 0.243902%

Guaranteed chance to sample good point: 0%

Results

338.0ms	7998×	body	80	valid
16.0ms	419×	body	80	invalid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid

Details

sample2.8s

simplify66.0ms

prune4.0ms

localize9.0ms

rewrite65.0ms

series69.0ms

simplify70.0ms

prune220.0ms

localize9.0ms

rewrite35.0ms

series77.0ms

simplify47.0ms

prune125.0ms

localize10.0ms

rewrite80.0ms

series126.0ms

simplify122.0ms

prune279.0ms

localize9.0ms

rewrite69.0ms

series82.0ms

simplify82.0ms

prune183.0ms

regimes485.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.2s

Profiling