Details

sample3.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 23.94104%

Guaranteed chance to sample good point: 55.109738%

Results

16.0ms	256×	body	80	valid
8.0ms	105×	body	80	invalid
1.0ms	33×	body	80	nan

simplify104.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.3b

Counts

2 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 133

Calls

4 calls:

6.0ms	(+ (* k (+ 10.0 k)) 1.0)
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)

series53.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(+ (* k (+ 10.0 k)) 1.0)
5.0ms	(* k (+ 10.0 k))
18.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
28.0ms	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)

simplify72.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	637	1201
1	2651	1127
2	5001	1126

prune187.0ms

Filtered

110 candidates to 145 candidates (-31.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	143	4	147

Merged error: 2.3b

Counts

147 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite156.0ms

Algorithm

rewrite-expression-head

Rules

1148×	`times-frac`
607×	`add-sqr-sqrt`
583×	`sqrt-prod`
553×	`add-cube-cbrt` `*-un-lft-identity`
294×	`associate-l`
238×	`unpow-prod-down`
82×	`sqr-pow`
48×	`associate-/l*`
34×	`sqrt-div`
30×	`add-exp-log` `associate-/r/`
18×	`add-cbrt-cube`
17×	`flip3-+` `flip-+`
15×	`div-inv` `unswap-sqr`
14×	`div-exp`
8×	`pow1`
6×	`cbrt-undiv` `associate-/r*`
5×	`prod-exp`
4×	`add-log-exp`
3×	`associate-r` `cbrt-unprod`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-exp`
1×	`frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `associate-/l/`

Counts

4 → 721

Calls

4 calls:

25.0ms	(/ (/ (pow k m) (sqrt (+ (* k (+ 10.0 k)) 1.0))) (sqrt (+ (* k (+ 10.0 k)) 1.0)))
60.0ms	(* (/ (/ (pow k m) (sqrt (+ (* k (+ 10.0 k)) 1.0))) (sqrt (+ (* k (+ 10.0 k)) 1.0))) a)
5.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))
5.0ms	(sqrt (+ (* k (+ 10.0 k)) 1.0))

series57.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify147.0ms

Algorithm

egg-herbie

Counts

733 → 733

Iterations

Useful iterations: 1 (35.0ms)

Iter	Nodes	Cost
0	1773	13245
1	5002	11911

prune2.1s

Filtered

398 candidates to 733 candidates (-84.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	733	0	733
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	733	4	737

Merged error: 2.3b

Counts

737 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt a)
0.7b	(cbrt a)
0.8b	(* (* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) (* (cbrt a) (cbrt a))) (cbrt a))
1.5b	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) (* (cbrt a) (cbrt a)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-exp-log`
33×	`prod-exp`
28×	`add-sqr-sqrt` `associate-l`
24×	`times-frac`
22×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-cbrt-cube`
18×	`pow1`
17×	`cbrt-unprod`
12×	`div-exp`
10×	`unpow-prod-down`
9×	`cbrt-prod` `pow-prod-down`
7×	`associate-r`
4×	`cbrt-undiv` `pow-to-exp` `pow-exp` `add-log-exp` `unswap-sqr` `sqr-pow`
3×	`associate-*l/`
2×	`pow1/3` `associate-/r/` `*-commutative`
1×	`flip3-+` `flip-+` `div-inv`

Counts

4 → 110

Calls

4 calls:

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

series130.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt a)
21.0ms	(cbrt a)
30.0ms	(* (* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) (* (cbrt a) (cbrt a))) (cbrt a))
57.0ms	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) (* (cbrt a) (cbrt a)))

simplify77.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	739	1451
1	2838	1232
2	5001	1181

prune145.0ms

Filtered

82 candidates to 122 candidates (-48.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	122	4	126

Merged error: 2.3b

Counts

126 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
48×	`times-frac`
42×	`*-un-lft-identity`
40×	`add-cube-cbrt`
37×	`add-exp-log`
31×	`associate-l`
23×	`unpow-prod-down`
22×	`add-cbrt-cube`
16×	`associate-r`
14×	`prod-exp`
13×	`pow1`
10×	`sqrt-prod`
9×	`div-exp` `unswap-sqr` `sqr-pow`
8×	`cbrt-unprod`
7×	`associate-/l*`
5×	`pow-prod-down`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-undiv` `pow-to-exp` `flip3-+` `associate-l/` `pow-exp` `associate-/r` `*-commutative` `flip-+`
2×	`associate-*r/` `div-inv`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `distribute-lft-out`

Counts

4 → 153

Calls

4 calls:

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

series86.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify95.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	831	1638
1	3843	1493
2	5002	1492

prune206.0ms

Filtered

117 candidates to 165 candidates (-41.0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	165	4	169

Merged error: 2.3b

Counts

169 → 4

regimes146.0ms

Accuracy

0% (0.0b remaining)

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

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.109738%

Results

519.0ms	8000×	body	80	valid
255.0ms	3119×	body	80	invalid
55.0ms	1107×	body	80	nan

Details

sample3.3s

simplify104.0ms

prune12.0ms

localize9.0ms

rewrite37.0ms

series53.0ms

simplify72.0ms

prune187.0ms

localize15.0ms

rewrite156.0ms

series57.0ms

simplify147.0ms

prune2.1s

localize18.0ms

rewrite38.0ms

series130.0ms

simplify77.0ms

prune145.0ms

localize11.0ms

rewrite52.0ms

series86.0ms

simplify95.0ms

prune206.0ms

regimes146.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.7s

Profiling