Details

sample0.0hr

Algorithm

intervals

Results

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

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	11	3
1	25	3
2	53	3
3	80	3
4	98	3
5	107	3
6	113	3
7	113	3

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

Counts

2 → 1

localize0.0hr

Local error

Found 1 expressions with local error:

0.0b	(* (+ a b) (+ a b))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
8×	`pow1`
7×	`add-sqr-sqrt`
6×	`flip3-+` `swap-sqr` `flip-+` `distribute-lft-out`
5×	`add-cube-cbrt`
4×	`frac-times` `associate-r` `associate-l`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-r/` `associate-l/`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 40

Calls

1 calls:

0.0hr

(* (+ a b) (+ a b))

series0.0hr

Counts

1 → 3

Calls

1 calls:

0.0hr

(* (+ a b) (+ a b))

simplify0.0hr

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	189	213
1	902	188
2	5001	170

prune0.0hr

Filtered

43 candidates to 19 candidates (55.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	4	44

Merged error: 0b

Counts

44 → 4

localize0.0hr

Local error

Found 3 expressions with local error:

0.0b	(- (* a a) (* b b))
0.3b	(/ (* (- (* a a) (* b b)) (+ a b)) (- a b))
0.3b	(* (- (* a a) (* b b)) (+ a b))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 78

Calls

3 calls:

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

series0.0hr

Counts

3 → 9

Calls

3 calls:

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

simplify0.0hr

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	435	731
1	2668	647
2	5002	647

prune0.0hr

Filtered

87 candidates to 64 candidates (26.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	88	3	91

Merged error: 0b

Counts

91 → 3

localize0.0hr

Local error

Found 2 expressions with local error:

0.0b	(+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.0b	(+ (* 2 (* a b)) (pow b 2))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`*-un-lft-identity` `sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+r+` `distribute-lft-out`

Counts

2 → 25

Calls

2 calls:

0.0hr	(+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.0hr	(+ (* 2 (* a b)) (pow b 2))

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.0hr	(+ (* 2 (* a b)) (pow b 2))

simplify0.0hr

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	163	237
1	744	220
2	3894	212
3	5001	212

prune0.0hr

Filtered

31 candidates to 22 candidates (29.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	1	0	1
Picked	0	1	1
Done	1	0	1
Total	32	2	34

Merged error: 0b

Counts

34 → 2

localize0.0hr

Local error

Found 2 expressions with local error:

0.0b	(+ (* a (+ (* b 2) a)) (pow b 2))
0.0b	(* a (+ (* b 2) a))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`associate-r` `associate-l`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 35

Calls

2 calls:

0.0hr	(+ (* a (+ (* b 2) a)) (pow b 2))
0.0hr	(* a (+ (* b 2) a))

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(+ (* a (+ (* b 2) a)) (pow b 2))
0.0hr	(* a (+ (* b 2) a))

simplify0.0hr

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	212	233
1	1062	216
2	5001	216

prune0.0hr

Filtered

41 candidates to 28 candidates (31.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	41	2	43

Merged error: 0b

Counts

43 → 2

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	13	6
1	13	6

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	8000×	pre	80	true
0.0hr	8000×	body	80	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