Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	391×	body	80	valid
0.0hr	148×	body	80	nan

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	24	7
1	48	7
2	96	6
3	256	6
4	891	6
5	3963	6
6	5002	6

prune0.0hr

Filtered

1 candidates to 1 candidates (0.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: 2.6b

Counts

2 → 2

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* 10.0 k))
0.0b	(* a (pow k m))
0.0b	(+ (+ 1.0 (* 10.0 k)) (* k k))
2.6b	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log`
14×	`add-sqr-sqrt`
11×	`add-cbrt-cube` `add-log-exp`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-r`
6×	`prod-exp`
4×	`pow1` `unpow-prod-down` `div-exp` `sum-log`
3×	`flip3-+` `times-frac` `associate-l` `associate-/r*` `flip-+` `unswap-sqr`
2×	`cbrt-undiv` `+-commutative` `pow-to-exp` `pow-exp` `associate-/r/` `cbrt-unprod` `sqr-pow`
1×	`associate-+l+` `frac-2neg` `clear-num` `-commutative` `div-inv` `associate-/l`

Counts

4 → 74

Calls

4 calls:

0.0hr	(+ 1.0 (* 10.0 k))
0.0hr	(* a (pow k m))
0.0hr	(+ (+ 1.0 (* 10.0 k)) (* k k))
0.0hr	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(+ 1.0 (* 10.0 k))
0.0hr	(* a (pow k m))
0.0hr	(+ (+ 1.0 (* 10.0 k)) (* k k))
0.0hr	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify0.0hr

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	471	611
1	2227	545
2	5002	538

prune0.0hr

Filtered

86 candidates to 63 candidates (26.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	83	5	88

Merged error: 2.5b

Counts

88 → 5

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* 10.0 k))
0.0b	(+ (+ 1.0 (* 10.0 k)) (* k k))
0.0b	(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow k m))
2.6b	(/ a (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow k m)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

180×	`times-frac`
102×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
48×	`unpow-prod-down`
32×	`associate-/r*`
19×	`add-exp-log`
16×	`sqr-pow`
11×	`add-cbrt-cube` `add-log-exp`
10×	`div-exp`
6×	`div-inv` `associate-/l*`
4×	`pow1` `cbrt-undiv` `sum-log`
3×	`flip3-+` `flip-+`
2×	`+-commutative` `pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `associate-/l/`
1×	`associate-+l+` `associate-/r/`

Counts

4 → 191

Calls

4 calls:

0.0hr	(+ 1.0 (* 10.0 k))
0.0hr	(+ (+ 1.0 (* 10.0 k)) (* k k))
0.0hr	(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow k m))
0.0hr	(/ a (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow k m)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(+ 1.0 (* 10.0 k))
0.0hr	(+ (+ 1.0 (* 10.0 k)) (* k k))
0.0hr	(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow k m))
0.0hr	(/ a (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow k m)))

simplify0.0hr

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	906	2626
1	4259	2504
2	5002	2492

prune0.0hr

Filtered

203 candidates to 160 candidates (21.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	202	6	208

Merged error: 2.5b

Counts

208 → 6

localize0.0hr

Local error

Found 3 expressions with local error:

0.0b	(* k (+ 10.0 k))
0.2b	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
2.4b	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
45×	`times-frac`
38×	`*-un-lft-identity`
36×	`add-cube-cbrt`
30×	`associate-l`
22×	`unpow-prod-down`
20×	`add-exp-log`
12×	`add-cbrt-cube`
8×	`sqr-pow`
7×	`pow1` `associate-r` `associate-/l*`
6×	`div-exp`
5×	`prod-exp` `unswap-sqr`
4×	`associate-/r/`
3×	`flip3-+` `associate-/r*` `cbrt-unprod` `flip-+` `add-log-exp`
2×	`cbrt-undiv` `pow-to-exp` `associate-r/` `pow-prod-down` `pow-exp` `-commutative` `div-inv`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `associate-*l/` `clear-num` `distribute-lft-out`

Counts

3 → 120

Calls

3 calls:

0.0hr	(* k (+ 10.0 k))
0.0hr	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
0.0hr	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(* k (+ 10.0 k))
0.0hr	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
0.0hr	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

simplify0.0hr

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	627	1119
1	2587	1052
2	5001	1052

prune0.0hr

Filtered

129 candidates to 98 candidates (24.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	129	6	135

Merged error: 2.5b

Counts

135 → 6

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
0.1b	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
14.8b	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
14.8b	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

131×	`add-sqr-sqrt`
110×	`times-frac`
64×	`sqrt-prod`
61×	`add-cube-cbrt` `*-un-lft-identity`
48×	`associate-r`
30×	`add-exp-log`
24×	`unpow-prod-down` `associate-l`
21×	`unswap-sqr`
18×	`add-cbrt-cube`
12×	`sqr-pow`
11×	`div-exp`
10×	`sqrt-div`
8×	`pow1` `prod-exp`
6×	`associate-/r*` `associate-/r/`
5×	`cbrt-undiv` `flip3-+` `flip-+`
4×	`cbrt-unprod` `add-log-exp`
3×	`div-inv` `associate-/l*`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-exp`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

4 → 188

Calls

4 calls:

0.0hr	(/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
0.0hr	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
0.0hr	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
0.0hr	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
0.0hr	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
0.0hr	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
0.0hr	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify0.0hr

Algorithm

egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	924	3148
1	4287	2938
2	5001	2834

prune0.0hr

Filtered

200 candidates to 132 candidates (34.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	200	6	206

Merged error: 2.5b

Counts

206 → 6

regimes0.0hr

Accuracy

0% (0.1b remaining)

Error of 2.2b against oracle of 2.1b and baseline of 2.2b

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	15	7
1	15	7

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	11828×	body	80	valid
0.0hr	4184×	body	80	nan

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