Details

sample5.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 34.222412%

Guaranteed chance to sample good point: 65.398534%

Results

16.0ms	256×	body	80	valid
5.0ms	64×	body	80	invalid
2.0ms	36×	body	80	nan

simplify105.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

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

prune10.0ms

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

Counts

2 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 50

Calls

2 calls:

5.0ms	(* a (pow k m))
8.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series47.0ms

Counts

2 → 6

Calls

2 calls:

14.0ms	(* a (pow k m))
33.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify51.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	377	461
1	1918	407
2	5002	404

prune84.0ms

Filtered

42 candidates to 56 candidates (-33.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	53	3	56
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	53	5	58

Merged error: 1.5b

Counts

58 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.0ms

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:

5.0ms	(* k (+ 10.0 k))
9.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
13.0ms	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

series49.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* k (+ 10.0 k))
17.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
27.0ms	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

simplify70.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 1 (15.0ms)

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

prune165.0ms

Filtered

98 candidates to 129 candidates (-31.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	129	5	134

Merged error: 1.5b

Counts

134 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

120×	`times-frac`
72×	`sqrt-prod`
59×	`add-sqr-sqrt`
57×	`add-cube-cbrt` `*-un-lft-identity`
30×	`add-exp-log`
22×	`sqrt-div`
18×	`associate-/r/` `add-cbrt-cube`
13×	`div-exp` `associate-/l*`
12×	`associate-/r*`
11×	`flip3-+` `flip-+`
9×	`div-inv`
7×	`cbrt-undiv`
6×	`pow1` `prod-exp`
4×	`add-log-exp`
2×	`pow-to-exp` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `pow-exp` `clear-num` `cbrt-unprod`
1×	`associate-/l/`

Counts

4 → 172

Calls

4 calls:

9.0ms	(/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
15.0ms	(/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

series74.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
31.0ms	(/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify94.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	776	3451
1	3363	3102
2	5001	3102

prune303.0ms

Filtered

113 candidates to 184 candidates (-62.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	184	0	184
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	184	5	189

Merged error: 1.5b

Counts

189 → 5

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* a (pow k m))
0.3b	(/ 1 (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* a (pow k m))))
1.4b	(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* a (pow k m)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

56×	`add-exp-log`
36×	`times-frac`
29×	`add-sqr-sqrt`
26×	`div-exp`
24×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-cbrt-cube`
15×	`prod-exp`
8×	`associate-/r*`
7×	`cbrt-undiv` `associate-r`
6×	`div-inv` `associate-/l*`
5×	`pow-to-exp` `rec-exp` `1-exp` `pow-exp`
4×	`pow1` `unpow-prod-down`
3×	`associate-l` `cbrt-unprod` `add-log-exp` `unswap-sqr`
2×	`frac-2neg` `clear-num` `associate-/l/` `sqr-pow`
1×	`pow-flip` `flip3-+` `associate-/r/` `*-commutative` `flip-+` `inv-pow`

Counts

3 → 112

Calls

3 calls:

5.0ms	(* a (pow k m))
10.0ms	(/ 1 (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* a (pow k m))))
9.0ms	(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* a (pow k m)))

series71.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(* a (pow k m))
28.0ms	(/ 1 (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* a (pow k m))))
29.0ms	(/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* a (pow k m)))

simplify82.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	622	1288
1	3355	1143
2	5002	1103

prune108.0ms

Filtered

68 candidates to 121 candidates (-77.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	121	5	126

Merged error: 1.5b

Counts

126 → 5

regimes207.0ms

Accuracy

0% (0.1b remaining)

Error of 2.0b against oracle of 2.0b and baseline of 2.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	7
1	16	7

end0.0ms

sample6.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 34.222412%

Guaranteed chance to sample good point: 65.398534%

Results

527.0ms	8000×	body	80	valid
133.0ms	1680×	body	80	invalid
45.0ms	952×	body	80	nan

Details

sample5.8s

simplify105.0ms

prune10.0ms

localize10.0ms

rewrite14.0ms

series47.0ms

simplify51.0ms

prune84.0ms

localize9.0ms

rewrite31.0ms

series49.0ms

simplify70.0ms

prune165.0ms

localize12.0ms

rewrite40.0ms

series74.0ms

simplify94.0ms

prune303.0ms

localize11.0ms

rewrite27.0ms

series71.0ms

simplify82.0ms

prune108.0ms

regimes207.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.8s

Profiling