Details

sample3.4s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 23.94104%

Guaranteed chance to sample good point: 55.659431%

Results

17.0ms	256×	body	80	valid
8.0ms	92×	body	80	invalid
2.0ms	41×	body	80	nan

simplify109.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

prune12.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: 2.7b

Counts

2 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite36.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:

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

series48.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify72.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 1 (16.0ms)

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

prune384.0ms

Filtered

98 candidates to 129 candidates (-31.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	126	3	129
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	128	3	131

Merged error: 2.7b

Counts

131 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 73

Calls

3 calls:

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

series57.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(* (pow k m) a)
4.0ms	(* k (+ 10.0 k))
29.0ms	(/ (* (pow k m) a) (+ (* k (+ 10.0 k)) 1.0))

simplify57.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	453	504
1	2088	452
2	5002	442

prune91.0ms

Filtered

56 candidates to 82 candidates (-46.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	82	3	85

Merged error: 2.7b

Counts

85 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

120×	`add-sqr-sqrt`
92×	`times-frac`
52×	`sqrt-prod`
51×	`associate-l`
50×	`*-un-lft-identity`
48×	`add-cube-cbrt`
30×	`add-exp-log`
28×	`associate-r`
24×	`unpow-prod-down`
22×	`unswap-sqr`
18×	`add-cbrt-cube`
12×	`sqr-pow`
10×	`pow1` `div-exp`
9×	`prod-exp`
8×	`sqrt-div`
5×	`flip3-+` `cbrt-unprod` `flip-+`
4×	`cbrt-undiv` `associate-/r/` `add-log-exp`
3×	`associate-*r/`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-prod-down` `pow-exp` `*-commutative` `div-inv`
1×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `associate-*l/` `distribute-lft-out`

Counts

4 → 170

Calls

4 calls:

6.0ms	(* k (+ 10.0 k))
36.0ms	(* (/ (pow k m) (sqrt (+ (* k (+ 10.0 k)) 1.0))) (/ a (sqrt (+ (* k (+ 10.0 k)) 1.0))))
5.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))
5.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))

series39.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify94.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	845	2399
1	3531	2254
2	5002	2166

prune332.0ms

Filtered

124 candidates to 182 candidates (-46.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	182	0	182
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	182	3	185

Merged error: 2.7b

Counts

185 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt k)
0.6b	(cbrt k)
14.5b	(sqrt (+ (* k (+ 10.0 k)) 1.0))
14.5b	(sqrt (+ (* k (+ 10.0 k)) 1.0))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `cbrt-prod` `sqrt-prod`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow1/3` `flip-+`

Counts

4 → 52

Calls

4 calls:

1.0ms	(cbrt k)
1.0ms	(cbrt k)
5.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))
5.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))

series50.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt k)
20.0ms	(cbrt k)
3.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))
5.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))

simplify59.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 3 (54.0ms)

Iter	Nodes	Cost
0	195	348
1	540	334
2	2364	306
3	5001	302

prune115.0ms

Filtered

52 candidates to 64 candidates (-23.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	64	3	67

Merged error: 2.7b

Counts

67 → 3

regimes138.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	6
1	15	6

end0.0ms

sample4.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 23.94104%

Guaranteed chance to sample good point: 55.659431%

Results

542.0ms	8000×	body	80	valid
275.0ms	3201×	body	80	invalid
56.0ms	1169×	body	80	nan

Details

sample3.4s

simplify109.0ms

prune12.0ms

localize10.0ms

rewrite36.0ms

series48.0ms

simplify72.0ms

prune384.0ms

localize9.0ms

rewrite21.0ms

series57.0ms

simplify57.0ms

prune91.0ms

localize11.0ms

rewrite60.0ms

series39.0ms

simplify94.0ms

prune332.0ms

localize18.0ms

rewrite14.0ms

series50.0ms

simplify59.0ms

prune115.0ms

regimes138.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.7s

Profiling