Details

sample3.6s

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
13.0ms	105×	body	80	invalid
2.0ms	31×	body	80	nan

simplify107.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.1b

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))
1.1b	(* (/ (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)

series52.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify73.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (60.0ms)

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

prune189.0ms

Filtered

110 candidates to 145 candidates (-31.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	143	2	145
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	144	3	147

Merged error: 1.1b

Counts

147 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

93×	`times-frac`
88×	`add-sqr-sqrt`
85×	`sqrt-prod`
64×	`add-cube-cbrt` `*-un-lft-identity`
42×	`unpow-prod-down`
30×	`associate-l`
16×	`sqr-pow`
11×	`add-exp-log`
8×	`pow1` `rem-sqrt-square` `associate-/r/` `add-cbrt-cube`
7×	`associate-/l*`
5×	`unswap-sqr`
4×	`flip3-+` `flip-+` `div-inv` `add-log-exp`
3×	`sqrt-div` `div-exp` `associate-r` `associate-/r*`
2×	`sqrt-pow1` `pow1/2`
1×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `pow-prod-down` `associate-l/` `pow-exp` `prod-exp` `clear-num` `-commutative` `cbrt-unprod`

Counts

4 → 179

Calls

4 calls:

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

series111.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
52.0ms	(* (sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))) a)
22.0ms	(sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)))
22.0ms	(sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)))

simplify72.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	645	2206
1	2179	2103
2	5001	2056

prune443.0ms

Filtered

159 candidates to 191 candidates (-20.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	190	1	191
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	190	4	194

Merged error: 1.1b

Counts

194 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))) 3)
6.8b	(sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)))
6.8b	(sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)))
7.3b	(cbrt (pow (sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))) 3))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

162×	`sqrt-prod`
132×	`times-frac`
116×	`unpow-prod-down`
106×	`add-sqr-sqrt`
94×	`add-cube-cbrt` `*-un-lft-identity`
66×	`cbrt-prod`
60×	`cube-prod`
22×	`sqr-pow`
12×	`associate-/r/`
8×	`pow1` `rem-sqrt-square`
6×	`flip3-+` `flip-+` `div-inv`
5×	`add-exp-log` `add-cbrt-cube`
4×	`sqrt-div` `add-log-exp`
3×	`pow-unpow` `pow-pow` `sqrt-pow1` `pow1/2`
2×	`cube-div` `cube-mult` `unpow3`
1×	`pow-to-exp` `cbrt-div` `pow1/3` `pow-exp` `sqrt-pow2` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 239

Calls

4 calls:

12.0ms	(pow (sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))) 3)
9.0ms	(sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)))
9.0ms	(sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)))
14.0ms	(cbrt (pow (sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))) 3))

series106.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(pow (sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))) 3)
22.0ms	(sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)))
22.0ms	(sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)))
28.0ms	(cbrt (pow (sqrt (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))) 3))

simplify92.0ms

Algorithm

egg-herbie

Counts

251 → 251

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	849	3411
1	2884	3256
2	5002	3158

prune484.0ms

Filtered

147 candidates to 251 candidates (-70.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	251	0	251
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	251	4	255

Merged error: 1.1b

Counts

255 → 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.5b	(* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) (sqrt a))

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

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

series81.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* k (+ 10.0 k))
15.0ms	(/ (pow k m) (+ (* k (+ 10.0 k)) 1.0))
26.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))

simplify96.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 2 (77.0ms)

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

prune201.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: 1.1b

Counts

169 → 4

regimes152.0ms

Accuracy

0% (0.0b remaining)

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

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

545.0ms	8000×	body	80	valid
262.0ms	3140×	body	80	invalid
52.0ms	1116×	body	80	nan

Details

sample3.6s

simplify107.0ms

prune11.0ms

localize9.0ms

rewrite37.0ms

series52.0ms

simplify73.0ms

prune189.0ms

localize12.0ms

rewrite50.0ms

series111.0ms

simplify72.0ms

prune443.0ms

localize16.0ms

rewrite55.0ms

series106.0ms

simplify92.0ms

prune484.0ms

localize11.0ms

rewrite55.0ms

series81.0ms

simplify96.0ms

prune201.0ms

regimes152.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.7s

Profiling