Details

sample19.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.341797%

Guaranteed chance to sample good point: 38.07876%

Results

14.0ms	256×	body	80	valid
1.0ms	14×	body	80	invalid

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

prune5.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: 2.5b

Counts

2 → 1

localize10.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)
9.0b	(/ (- y z) (/ (+ (- t z) 1.0) a))

rewrite67.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:

34.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))

series68.0ms

Counts

3 → 9

Calls

3 calls:

33.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))

simplify76.0ms

Algorithm

egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 2 (54.0ms)

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

prune230.0ms

Filtered

119 candidates to 201 candidates (-68.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Merged error: 0b

Counts

202 → 5

localize13.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))
1.3b	(* (/ (- y z) (+ (- t z) 1.0)) a)

rewrite33.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))
15.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

series72.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
11.0ms	(/ (- y z) (+ (- t z) 1.0))
29.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

simplify48.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (37.0ms)

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

prune126.0ms

Filtered

77 candidates to 123 candidates (-59.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	123	5	128

Merged error: 0b

Counts

128 → 5

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite191.0ms

Algorithm

rewrite-expression-head

Rules

1079×	`times-frac`
929×	`*-un-lft-identity`
570×	`add-sqr-sqrt`
393×	`add-cube-cbrt`
153×	`distribute-lft-out--`
152×	`distribute-lft-out`
83×	`difference-of-squares`
48×	`div-inv`
36×	`associate-/l*`
31×	`associate-/r/`
27×	`add-exp-log`
18×	`associate-/r*`
17×	`div-exp` `add-cbrt-cube`
15×	`flip3-+` `flip-+`
9×	`cbrt-undiv`
5×	`div-sub` `add-log-exp`
3×	`pow1` `associate-/l/`
2×	`rec-exp` `flip3--` `frac-2neg` `1-exp` `clear-num` `flip--`
1×	`sub-neg` `diff-log` `associate--r-`

Counts

3 → 545

Calls

3 calls:

107.0ms	(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
10.0ms	(/ (- y z) (+ (- t z) 1.0))
27.0ms	(/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a))

series77.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
11.0ms	(/ (- y z) (+ (- t z) 1.0))
36.0ms	(/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a))

simplify119.0ms

Algorithm

egg-herbie

Counts

554 → 554

Iterations

Useful iterations: 1 (40.0ms)

Iter	Nodes	Cost
0	1925	7704
1	5002	7175

prune460.0ms

Filtered

226 candidates to 554 candidates (-145.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	554	0	554
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	554	5	559

Merged error: 0b

Counts

559 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- y z))
0.6b	(cbrt (- y z))
0.6b	(cbrt (- y z))
2.9b	(/ (cbrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) a))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

440×	`times-frac`
399×	`*-un-lft-identity`
295×	`cbrt-prod`
264×	`add-sqr-sqrt`
200×	`add-cube-cbrt`
59×	`distribute-lft-out--`
54×	`distribute-lft-out`
32×	`difference-of-squares`
28×	`associate-/r*`
10×	`div-inv`
9×	`add-exp-log`
8×	`cbrt-div` `associate-/l*`
6×	`add-cbrt-cube`
4×	`pow1` `flip3--` `flip--` `add-log-exp`
3×	`cbrt-undiv` `pow1/3` `div-exp`
2×	`associate-/l/`
1×	`frac-2neg` `clear-num` `associate-/r/`

Counts

4 → 322

Calls

4 calls:

3.0ms	(cbrt (- y z))
3.0ms	(cbrt (- y z))
3.0ms	(cbrt (- y z))
19.0ms	(/ (cbrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) a))

series141.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- y z))
25.0ms	(cbrt (- y z))
29.0ms	(cbrt (- y z))
61.0ms	(/ (cbrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) a))

simplify123.0ms

Algorithm

egg-herbie

Counts

334 → 334

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	948	4912
1	3635	4798
2	5001	4588

prune589.0ms

Filtered

192 candidates to 334 candidates (-74.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	334	0	334
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	334	5	339

Merged error: 0b

Counts

339 → 5

regimes349.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	6
1	14	6

end0.0ms

sample21.4s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.341797%

Guaranteed chance to sample good point: 38.07876%

Results

330.0ms	7999×	body	80	valid
19.0ms	489×	body	80	invalid
0.0ms	1×	body	640	valid

Details

sample19.9s

simplify76.0ms

prune5.0ms

localize10.0ms

rewrite67.0ms

series68.0ms

simplify76.0ms

prune230.0ms

localize13.0ms

rewrite33.0ms

series72.0ms

simplify48.0ms

prune126.0ms

localize11.0ms

rewrite191.0ms

series77.0ms

simplify119.0ms

prune460.0ms

localize18.0ms

rewrite55.0ms

series141.0ms

simplify123.0ms

prune589.0ms

regimes349.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample21.4s

Profiling