Details

sample9.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 8.337402%

Guaranteed chance to sample good point: 62.098815%

Results

9.0ms	256×	body	80	valid
2.0ms	56×	body	80	invalid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	5
1	25	5
2	39	5
3	58	5
4	73	5
5	87	5
6	102	5
7	108	5
8	110	5
9	110	5

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ y z) (/ t (- 1.0 z)))
0.0b	(/ t (- 1.0 z))
4.6b	(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
31×	`times-frac`
15×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-r`
7×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r*` `add-log-exp`
3×	`sub-neg` `flip3--` `associate-r/` `associate-l` `flip--` `associate-/l`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-/r/` `frac-sub`
1×	`cbrt-undiv` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

3 → 89

Calls

3 calls:

17.0ms	(- (/ y z) (/ t (- 1.0 z)))
5.0ms	(/ t (- 1.0 z))
24.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

series30.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(- (/ y z) (/ t (- 1.0 z)))
6.0ms	(/ t (- 1.0 z))
16.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify44.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	387	632
1	1452	595
2	5002	593

prune165.0ms

Filtered

71 candidates to 98 candidates (-38.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	86	12	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	12	99

Merged error: 1.0b

Counts

99 → 12

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ t (- 1.0 z))
0.0b	(+ (* x (/ y z)) (* x (neg (/ t (- 1.0 z)))))
2.8b	(* x (neg (/ t (- 1.0 z))))
6.4b	(* x (/ y z))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

69×	`add-sqr-sqrt`
62×	`*-un-lft-identity`
59×	`associate-r`
55×	`times-frac`
42×	`add-cube-cbrt`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
13×	`add-exp-log` `add-cbrt-cube`
10×	`distribute-lft-out--` `difference-of-squares`
8×	`pow1`
6×	`associate-l` `associate-/r/` `add-log-exp`
5×	`associate-/r*`
4×	`associate-*r/` `div-inv`
3×	`flip3--` `prod-exp` `distribute-rgt-neg-out` `flip--` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `distribute-neg-frac`
1×	`+-commutative` `neg-mul-1` `frac-2neg` `flip3-+` `unsub-neg` `frac-add` `clear-num` `sum-log` `flip-+` `distribute-lft-out`

Counts

4 → 147

Calls

4 calls:

5.0ms	(/ t (- 1.0 z))
5.0ms	(+ (* x (/ y z)) (* x (neg (/ t (- 1.0 z)))))
14.0ms	(* x (neg (/ t (- 1.0 z))))
6.0ms	(* x (/ y z))

series43.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ t (- 1.0 z))
17.0ms	(+ (* x (/ y z)) (* x (neg (/ t (- 1.0 z)))))
11.0ms	(* x (neg (/ t (- 1.0 z))))
5.0ms	(* x (/ y z))

simplify83.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	674	868
1	3164	809
2	5002	808

prune235.0ms

Filtered

118 candidates to 159 candidates (-34.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	152	7	159
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	157	14	171

Merged error: 0.0b

Counts

171 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt z)
0.6b	(cbrt z)
2.7b	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
2.8b	(* x (neg (/ t (- 1.0 z))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

71×	`add-sqr-sqrt`
68×	`associate-r`
58×	`times-frac`
53×	`*-un-lft-identity`
41×	`add-cube-cbrt`
27×	`add-exp-log`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
20×	`add-cbrt-cube`
17×	`cbrt-prod`
10×	`associate-l`
9×	`prod-exp` `cbrt-unprod`
8×	`pow1`
7×	`cbrt-undiv` `div-exp` `unswap-sqr`
6×	`distribute-lft-out--` `difference-of-squares`
4×	`associate-/r/` `div-inv` `add-log-exp`
2×	`flip3--` `pow1/3` `associate-r/` `pow-prod-down` `-commutative` `flip--`
1×	`frac-times` `neg-mul-1` `associate-*l/` `distribute-rgt-neg-out` `distribute-neg-frac`

Counts

4 → 144

Calls

4 calls:

1.0ms	(cbrt z)
1.0ms	(cbrt z)
16.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
14.0ms	(* x (neg (/ t (- 1.0 z))))

series70.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt z)
23.0ms	(cbrt z)
11.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
11.0ms	(* x (neg (/ t (- 1.0 z))))

simplify93.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 2 (81.0ms)

Iter	Nodes	Cost
0	771	1066
1	3853	953
2	5002	901

prune210.0ms

Filtered

119 candidates to 156 candidates (-31.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	155	1	156
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	155	15	170

Merged error: 0.0b

Counts

170 → 15

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.7b	(* (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (/ (cbrt y) (cbrt (cbrt z))))
1.9b	(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
2.8b	(* x (neg (/ t (- 1.0 z))))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

263×	`add-exp-log`
129×	`prod-exp` `add-cbrt-cube` `cbrt-unprod`
109×	`associate-r`
92×	`times-frac`
85×	`add-sqr-sqrt`
84×	`cbrt-prod`
82×	`cbrt-undiv` `div-exp`
77×	`*-un-lft-identity`
65×	`add-cube-cbrt`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
13×	`pow1`
11×	`associate-l`
6×	`frac-times` `associate-*l/` `distribute-lft-out--` `difference-of-squares`
5×	`associate-*r/` `pow-prod-down` `div-inv` `unswap-sqr`
4×	`associate-/r/` `add-log-exp`
3×	`*-commutative`
2×	`flip3--` `flip--`
1×	`neg-mul-1` `pow1/3` `distribute-rgt-neg-out` `distribute-neg-frac`

Counts

4 → 272

Calls

4 calls:

1.0ms	(cbrt y)
33.0ms	(* (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (/ (cbrt y) (cbrt (cbrt z))))
17.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
14.0ms	(* x (neg (/ t (- 1.0 z))))

series95.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt y)
7.0ms	(* (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (/ (cbrt y) (cbrt (cbrt z))))
55.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
11.0ms	(* x (neg (/ t (- 1.0 z))))

simplify68.0ms

Algorithm

egg-herbie

Counts

284 → 284

Iterations

Useful iterations: 1 (35.0ms)

Iter	Nodes	Cost
0	1684	5125
1	5001	3914

prune282.0ms

Filtered

186 candidates to 284 candidates (-52.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	283	1	284
Fresh	1	12	13
Picked	0	1	1
Done	1	0	1
Total	285	14	299

Merged error: 0b

Counts

299 → 14

regimes540.0ms

Accuracy

90.6% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 4.0b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	54
1	55	54

end0.0ms

sample10.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 8.337402%

Guaranteed chance to sample good point: 62.098815%

Results

294.0ms	8000×	body	80	valid
47.0ms	1268×	body	80	invalid

Details

sample9.2s

simplify14.0ms

prune4.0ms

localize8.0ms

rewrite49.0ms

series30.0ms

simplify44.0ms

prune165.0ms

localize12.0ms

rewrite35.0ms

series43.0ms

simplify83.0ms

prune235.0ms

localize14.0ms

rewrite38.0ms

series70.0ms

simplify93.0ms

prune210.0ms

localize25.0ms

rewrite80.0ms

series95.0ms

simplify68.0ms

prune282.0ms

regimes540.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample10.6s

Profiling