Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	256×	body	80	valid
0.0hr	259×	pre	80	false
0.0hr	256×	pre	80	true

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	18	7
1	47	7
2	106	7
3	265	7
4	1495	7
5	5001	7

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

Counts

2 → 1

localize0.0hr

Local error

Found 3 expressions with local error:

0.0b	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.0b	(- (* a a) (* b b))
16.3b	(/ (- (* a a) (* b b)) (* a a))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

8×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `*-un-lft-identity`
5×	`add-log-exp`
4×	`pow1` `times-frac` `associate-/l*`
3×	`sqrt-prod` `difference-of-squares`
2×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

3 → 52

Calls

3 calls:

0.0hr	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.0hr	(- (* a a) (* b b))
0.0hr	(/ (- (* a a) (* b b)) (* a a))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.0hr	(- (* a a) (* b b))
0.0hr	(/ (- (* a a) (* b b)) (* a a))

simplify0.0hr

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	228	417
1	970	368
2	4781	367
3	5001	366

prune0.0hr

Filtered

61 candidates to 45 candidates (26.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	58	3	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	3	62

Merged error: 0.0b

Counts

62 → 3

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
0.0b	(/ (+ a b) a)
0.0b	(* (/ (+ a b) a) (/ (- a b) a))
0.0b	(/ (- a b) a)

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

69×	`*-un-lft-identity`
68×	`add-sqr-sqrt`
58×	`times-frac`
41×	`add-cube-cbrt`
20×	`add-exp-log` `add-cbrt-cube`
19×	`associate-r`
16×	`associate-l`
9×	`associate-/l*`
7×	`pow1` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
6×	`cbrt-undiv` `div-exp` `associate-/r*`
4×	`prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
3×	`sqrt-prod`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `rem-sqrt-square` `flip3--` `sqrt-pow1` `flip3-+` `pow1/2` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `flip--` `flip-+`

Counts

4 → 143

Calls

4 calls:

0.0hr	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
0.0hr	(/ (+ a b) a)
0.0hr	(* (/ (+ a b) a) (/ (- a b) a))
0.0hr	(/ (- a b) a)

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
0.0hr	(/ (+ a b) a)
0.0hr	(* (/ (+ a b) a) (/ (- a b) a))
0.0hr	(/ (- a b) a)

simplify0.0hr

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	493	951
1	2505	870
2	5002	867

prune0.0hr

Filtered

155 candidates to 106 candidates (31.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	152	3	155
Fresh	2	0	2
Picked	1	0	1
Done	0	0	0
Total	155	3	158

Merged error: 0b

Counts

158 → 3

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(/ (+ a b) a)
0.0b	(/ a (- a b))
0.0b	(* (/ (+ a b) a) (/ 1 (/ a (- a b))))
0.1b	(/ 1 (/ a (- a b)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

287×	`times-frac`
221×	`add-sqr-sqrt`
206×	`*-un-lft-identity`
138×	`add-cube-cbrt`
68×	`associate-r`
64×	`add-exp-log`
34×	`add-cbrt-cube`
30×	`div-exp`
29×	`associate-/r*`
25×	`distribute-lft-out--` `difference-of-squares`
18×	`associate-/r/`
16×	`associate-l`
14×	`cbrt-undiv` `prod-exp`
12×	`div-inv`
10×	`associate-/l*` `unswap-sqr`
8×	`flip3--` `flip--`
7×	`pow1` `distribute-lft-out`
6×	`rec-exp` `1-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
2×	`associate-/l/`
1×	`frac-times` `pow-flip` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `un-div-inv` `*-commutative` `flip-+` `inv-pow`

Counts

4 → 305

Calls

4 calls:

0.0hr	(/ (+ a b) a)
0.0hr	(/ a (- a b))
0.0hr	(* (/ (+ a b) a) (/ 1 (/ a (- a b))))
0.0hr	(/ 1 (/ a (- a b)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ (+ a b) a)
0.0hr	(/ a (- a b))
0.0hr	(* (/ (+ a b) a) (/ 1 (/ a (- a b))))
0.0hr	(/ 1 (/ a (- a b)))

simplify0.0hr

Algorithm

egg-herbie

Counts

317 → 317

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	1036	2352
1	5002	2074

prune0.0hr

Filtered

317 candidates to 200 candidates (36.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	317	0	317
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	317	3	320

Merged error: 0b

Counts

320 → 3

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(* (/ (+ a b) a) (* (sqrt (/ (- a b) a)) (sqrt (/ (- a b) a))))
0.0b	(/ (- a b) a)
0.0b	(/ (- a b) a)
0.1b	(* (sqrt (/ (- a b) a)) (sqrt (/ (- a b) a)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

147×	`add-sqr-sqrt`
140×	`*-un-lft-identity`
121×	`times-frac`
102×	`sqrt-prod`
76×	`add-cube-cbrt`
38×	`associate-l`
30×	`swap-sqr`
26×	`distribute-lft-out--`
24×	`pow1`
23×	`associate-r`
22×	`add-exp-log` `add-cbrt-cube`
20×	`difference-of-squares`
12×	`sqrt-div`
11×	`unswap-sqr`
10×	`associate-/l*`
8×	`sqrt-pow1` `pow1/2`
7×	`prod-exp` `cbrt-unprod` `div-inv`
6×	`frac-times` `associate-r/` `pow-prod-down` `associate-/r`
5×	`pow-prod-up`
4×	`cbrt-undiv` `div-exp` `associate-*l/` `associate-/l/` `add-log-exp`
3×	`pow-sqr` `distribute-lft-out`
2×	`flip3--` `frac-2neg` `div-sub` `clear-num` `*-commutative` `flip--`
1×	`pow2` `pow-plus` `sqrt-unprod` `rem-square-sqrt`

Counts

4 → 231

Calls

4 calls:

0.0hr	(* (/ (+ a b) a) (* (sqrt (/ (- a b) a)) (sqrt (/ (- a b) a))))
0.0hr	(/ (- a b) a)
0.0hr	(/ (- a b) a)
0.0hr	(* (sqrt (/ (- a b) a)) (sqrt (/ (- a b) a)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (/ (+ a b) a) (* (sqrt (/ (- a b) a)) (sqrt (/ (- a b) a))))
0.0hr	(/ (- a b) a)
0.0hr	(/ (- a b) a)
0.0hr	(* (sqrt (/ (- a b) a)) (sqrt (/ (- a b) a)))

simplify0.0hr

Algorithm

egg-herbie

Counts

243 → 243

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	535	1556
1	2944	1394
2	5001	1380

prune0.0hr

Filtered

243 candidates to 151 candidates (37.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	243	0	243
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	243	3	246

Merged error: 0b

Counts

246 → 3

regimes0.0hr

Accuracy

0% (0.0b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	15	8
1	15	8

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	8000×	body	80	valid
0.0hr	8000×	pre	80	true
0.0hr	7910×	pre	80	false

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