Details

sample2.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 27.536011%

Guaranteed chance to sample good point: 66.877237%

Results

19.0ms	256×	body	80	valid
13.0ms	159×	body	80	invalid

simplify436.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	667	14
3	3125	14
4	5002	14

prune6.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: 11.9b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

3.8b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
5.4b	(* (* (* w w) r) r)
6.2b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
8.1b	(* (* w w) r)

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-exp-log` `add-cbrt-cube`
57×	`prod-exp` `cbrt-unprod`
50×	`pow1`
33×	`pow-prod-down`
13×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`cbrt-undiv` `div-exp`
8×	`add-cube-cbrt`
7×	`associate-r`
5×	`times-frac` `associate-/r*`
4×	`associate-r/` `associate-l/` `add-log-exp`
3×	`flip3--` `associate-l` `*-commutative` `flip--`
2×	`associate-/r/` `associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*` `unswap-sqr`

Counts

4 → 119

Calls

4 calls:

12.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
7.0ms	(* (* (* w w) r) r)
34.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
8.0ms	(* (* w w) r)

series62.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
7.0ms	(* (* (* w w) r) r)
23.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
11.0ms	(* (* w w) r)

simplify108.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (90.0ms)

Iter	Nodes	Cost
0	670	1303
1	3876	935
2	5003	931

prune181.0ms

Filtered

61 candidates to 131 candidates (-114.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	123	8	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	124	8	132

Merged error: 1.6b

Counts

132 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 2.0 (* r r))
0.3b	(* (fabs (* w r)) (fabs (* w r)))
3.8b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
6.2b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-exp-log` `add-cbrt-cube`
23×	`pow1`
18×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
16×	`*-un-lft-identity`
12×	`add-cube-cbrt`
9×	`pow-prod-down`
8×	`times-frac`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
4×	`associate-r/` `associate-r` `associate-l` `associate-l/` `associate-/l*` `add-log-exp`
3×	`flip3--` `swap-sqr` `flip--`
2×	`frac-2neg` `clear-num` `associate-/r/` `*-commutative` `div-inv` `associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`pow2` `pow-plus` `pow-sqr` `pow-prod-up` `unswap-sqr`

Counts

4 → 105

Calls

4 calls:

4.0ms	(/ 2.0 (* r r))
4.0ms	(* (fabs (* w r)) (fabs (* w r)))
8.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
13.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

series44.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ 2.0 (* r r))
3.0ms	(* (fabs (* w r)) (fabs (* w r)))
13.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
25.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

simplify74.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	559	1085
1	2754	841
2	5001	821

prune227.0ms

Filtered

70 candidates to 117 candidates (-67.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	110	7	117
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	114	11	125

Merged error: 0.0b

Counts

125 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
0.2b	(/ 2.0 (* r r))
0.3b	(pow (fabs (* w r)) 2)
4.9b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

167×	`times-frac`
117×	`add-sqr-sqrt` `*-un-lft-identity`
67×	`add-cube-cbrt`
53×	`associate-/r*`
51×	`unpow-prod-down`
39×	`add-exp-log`
25×	`distribute-lft-out--` `difference-of-squares`
23×	`add-cbrt-cube`
19×	`div-exp`
17×	`unpow2` `sqr-pow`
9×	`cbrt-undiv` `associate-/l*`
5×	`pow1` `prod-exp` `div-inv`
4×	`pow-to-exp` `pow-exp` `associate-/l/` `add-log-exp`
3×	`pow-unpow` `frac-2neg` `clear-num` `cbrt-unprod`
2×	`flip3--` `associate-*r/` `flip--`
1×	`pow-pow` `div-sub` `associate-/r/`

Counts

4 → 223

Calls

4 calls:

7.0ms	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
4.0ms	(/ 2.0 (* r r))
2.0ms	(pow (fabs (* w r)) 2)
15.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

series44.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
3.0ms	(/ 2.0 (* r r))
3.0ms	(pow (fabs (* w r)) 2)
22.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

simplify101.0ms

Algorithm

egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	971	2431
1	4166	2156
2	5001	2156

prune438.0ms

Filtered

137 candidates to 235 candidates (-71.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	231	4	235
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	237	9	246

Merged error: 0.0b

Counts

246 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
0.2b	(/ (/ 2.0 r) r)
0.3b	(pow (fabs (* w r)) 2)
4.9b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

239×	`times-frac`
157×	`add-sqr-sqrt` `*-un-lft-identity`
107×	`add-cube-cbrt`
55×	`associate-/r*`
51×	`unpow-prod-down`
39×	`add-exp-log`
25×	`distribute-lft-out--` `difference-of-squares`
23×	`add-cbrt-cube`
20×	`div-exp`
19×	`associate-/l*`
17×	`unpow2` `sqr-pow`
10×	`cbrt-undiv`
9×	`div-inv`
5×	`pow1` `associate-/l/`
4×	`pow-to-exp` `pow-exp` `prod-exp` `add-log-exp`
3×	`pow-unpow` `frac-2neg` `clear-num`
2×	`flip3--` `associate-*r/` `flip--` `cbrt-unprod`
1×	`pow-pow` `div-sub` `associate-/r/`

Counts

4 → 272

Calls

4 calls:

7.0ms	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
6.0ms	(/ (/ 2.0 r) r)
2.0ms	(pow (fabs (* w r)) 2)
15.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

series43.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
3.0ms	(/ (/ 2.0 r) r)
3.0ms	(pow (fabs (* w r)) 2)
21.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

simplify55.0ms

Algorithm

egg-herbie

Counts

284 → 284

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	1180	2794
1	5001	2504

prune502.0ms

Filtered

170 candidates to 284 candidates (-67.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	283	1	284
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	283	10	293

Merged error: 0.0b

Counts

293 → 10

regimes347.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	14
1	27	14

end0.0ms

sample3.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 27.536011%

Guaranteed chance to sample good point: 66.877237%

Results

598.0ms	8000×	body	80	valid
319.0ms	4315×	body	80	invalid

Details

sample2.8s

simplify436.0ms

prune6.0ms

localize20.0ms

rewrite67.0ms

series62.0ms

simplify108.0ms

prune181.0ms

localize18.0ms

rewrite33.0ms

series44.0ms

simplify74.0ms

prune227.0ms

localize19.0ms

rewrite41.0ms

series44.0ms

simplify101.0ms

prune438.0ms

localize19.0ms

rewrite45.0ms

series43.0ms

simplify55.0ms

prune502.0ms

regimes347.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.8s

Profiling