Details

sample0.0hr

Algorithm

intervals

Results

0.0hr

536×

body

valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

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

prune0.0hr

Filtered

1 candidates to 0 candidates (100.0%)

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.4b

Counts

2 → 1

localize0.0hr

Local error

Found 4 expressions with local error:

2.9b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
3.9b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
5.7b	(* (* (* w w) r) r)
10.2b	(* (* w w) r)

rewrite0.0hr

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:

0.0hr	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
0.0hr	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
0.0hr	(* (* (* w w) r) r)
0.0hr	(* (* w w) r)

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
0.0hr	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
0.0hr	(* (* (* w w) r) r)
0.0hr	(* (* w w) r)

simplify0.0hr

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (0.0hr)

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

prune0.0hr

Filtered

131 candidates to 61 candidates (53.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	124	7	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	125	7	132

Merged error: 1.4b

Counts

132 → 7

localize0.0hr

Local error

Found 4 expressions with local error:

0.4b	(* (fabs (* w r)) (fabs (* w r)))
0.4b	(/ 2.0 (* r r))
2.9b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
3.9b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

rewrite0.0hr

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:

0.0hr	(* (fabs (* w r)) (fabs (* w r)))
0.0hr	(/ 2.0 (* r r))
0.0hr	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
0.0hr	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (fabs (* w r)) (fabs (* w r)))
0.0hr	(/ 2.0 (* r r))
0.0hr	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
0.0hr	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

simplify0.0hr

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	559	1085
1	2754	841
2	5002	827

prune0.0hr

Filtered

117 candidates to 70 candidates (40.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	107	10	117
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	110	14	124

Merged error: 0.0b

Counts

124 → 14

localize0.0hr

Local error

Found 4 expressions with local error:

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

rewrite0.0hr

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:

0.0hr	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
0.0hr	(pow (fabs (* w r)) 2)
0.0hr	(/ 2.0 (* r r))
0.0hr	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
0.0hr	(pow (fabs (* w r)) 2)
0.0hr	(/ 2.0 (* r r))
0.0hr	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

simplify0.0hr

Algorithm

egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 1 (0.0hr)

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

prune0.0hr

Filtered

235 candidates to 137 candidates (41.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	227	8	235
Fresh	8	5	13
Picked	1	0	1
Done	0	0	0
Total	236	13	249

Merged error: 0.0b

Counts

249 → 13

localize0.0hr

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.4b	(pow (fabs (* w r)) 2)
5.2b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

rewrite0.0hr

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:

0.0hr	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
0.0hr	(/ (/ 2.0 r) r)
0.0hr	(pow (fabs (* w r)) 2)
0.0hr	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
0.0hr	(/ (/ 2.0 r) r)
0.0hr	(pow (fabs (* w r)) 2)
0.0hr	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

simplify0.0hr

Algorithm

egg-herbie

Counts

284 → 284

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	1180	2794
1	5001	2504

prune0.0hr

Filtered

284 candidates to 170 candidates (40.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	283	1	284
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	283	14	297

Merged error: 0.0b

Counts

297 → 14

regimes0.0hr

Accuracy

0% (0.3b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	27	14
1	27	14

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr

17228×

body

valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling