Details

sample3.2s

Algorithm

intervals

sampling

Space saved by range analysis: 24.485115%

Space saved by search: 0.146413%

Guaranteed chance to sample good point: 0%

Results

17.0ms	256×	body	80	valid
8.0ms	95×	body	80	invalid
1.0ms	26×	body	80	nan

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

prune11.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.7b

Counts

2 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

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:

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

series54.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify61.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (53.0ms)

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

prune119.0ms

Filtered

63 candidates to 86 candidates (-36.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	85	3	88

Merged error: 1.6b

Counts

88 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
92×	`times-frac`
52×	`sqrt-prod`
48×	`associate-r`
46×	`add-cube-cbrt` `*-un-lft-identity`
28×	`add-exp-log`
24×	`unpow-prod-down` `associate-l`
21×	`unswap-sqr`
16×	`add-cbrt-cube`
12×	`sqr-pow`
10×	`div-exp`
8×	`pow1` `sqrt-div` `prod-exp`
6×	`add-log-exp`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `associate-/r/` `cbrt-unprod`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-exp` `div-inv`
1×	`+-commutative` `frac-times` `associate-r/` `pow-prod-down` `associate-l/` `sum-log` `*-commutative`

Counts

4 → 158

Calls

4 calls:

3.0ms	(+ 1.0 (* 10.0 k))
35.0ms	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (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)))

series47.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify95.0ms

Algorithm

egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	886	2691
1	3905	2523
2	5001	2419

prune301.0ms

Filtered

111 candidates to 170 candidates (-53.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	170	3	173

Merged error: 1.6b

Counts

173 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt k)
0.6b	(cbrt k)
0.6b	(cbrt k)
1.7b	(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-exp-log`
30×	`prod-exp`
16×	`div-exp`
13×	`add-cbrt-cube`
11×	`pow-exp`
9×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`pow-to-exp`
4×	`pow1` `add-log-exp`
3×	`cbrt-undiv` `times-frac` `pow1/3` `associate-/r*` `cbrt-unprod`
2×	`associate-/r/`
1×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv` `associate-/l*`

Counts

4 → 71

Calls

4 calls:

1.0ms	(cbrt k)
1.0ms	(cbrt k)
1.0ms	(cbrt k)
12.0ms	(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series178.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt k)
22.0ms	(cbrt k)
22.0ms	(cbrt k)
110.0ms	(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify59.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	514	958
1	2357	837
2	5002	818

prune109.0ms

Filtered

57 candidates to 83 candidates (-45.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	83	3	86

Merged error: 1.6b

Counts

86 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite34.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))
10.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
14.0ms	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

series52.0ms

Counts

3 → 9

Calls

3 calls:

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

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

prune169.0ms

Filtered

98 candidates to 129 candidates (-31.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	129	3	132

Merged error: 1.6b

Counts

132 → 3

regimes136.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	14
1	18	14

end0.0ms

sample4.3s

Algorithm

intervals

sampling

Space saved by range analysis: 24.485115%

Space saved by search: 0.146413%

Guaranteed chance to sample good point: 0%

Results

533.0ms	8000×	body	80	valid
258.0ms	3089×	body	80	invalid
51.0ms	1154×	body	80	nan

Details

sample3.2s

simplify108.0ms

prune11.0ms

localize10.0ms

rewrite27.0ms

series54.0ms

simplify61.0ms

prune119.0ms

localize15.0ms

rewrite55.0ms

series47.0ms

simplify95.0ms

prune301.0ms

localize20.0ms

rewrite18.0ms

series178.0ms

simplify59.0ms

prune109.0ms

localize9.0ms

rewrite34.0ms

series52.0ms

simplify73.0ms

prune169.0ms

regimes136.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.3s

Profiling