Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	925×	body	80	nan
0.0hr	339×	body	80	valid
0.0hr	30×	body	1280	nan
0.0hr	83×	body	80	overflowed
0.0hr	27×	body	640	nan
0.0hr	9×	body	320	nan
0.0hr	7×	body	160	nan

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	29	8
1	59	8
2	119	8
3	325	8
4	1034	8
5	5001	8

prune0.0hr

Filtered

1 candidates to 0 candidates (100.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: 0.5b

Counts

2 → 1

localize0.0hr

Local error

Found 4 expressions with local error:

0.2b	(* (* 2.0 PI) n)
0.3b	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
0.3b	(/ 1.0 (sqrt k))
0.3b	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
55×	`times-frac`
49×	`*-un-lft-identity`
46×	`add-exp-log`
43×	`add-cube-cbrt`
23×	`associate-l` `sqrt-prod`
22×	`prod-exp`
19×	`pow-unpow`
16×	`add-cbrt-cube`
15×	`pow1`
9×	`pow-exp`
8×	`associate-r`
6×	`div-exp` `pow-prod-down` `associate-/r*` `unswap-sqr`
5×	`cbrt-unprod` `sqr-pow`
4×	`add-log-exp`
3×	`pow-to-exp` `pow-pow` `div-sub` `div-inv` `associate-/l*` `distribute-lft-out--` `pow-sub` `difference-of-squares`
2×	`cbrt-undiv` `unpow-prod-down` `*-commutative`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num`

Counts

4 → 149

Calls

4 calls:

0.0hr	(* (* 2.0 PI) n)
0.0hr	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
0.0hr	(/ 1.0 (sqrt k))
0.0hr	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (* 2.0 PI) n)
0.0hr	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
0.0hr	(/ 1.0 (sqrt k))
0.0hr	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))

simplify0.0hr

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	953	1493
1	4233	1364
2	5002	1351

prune0.0hr

Filtered

161 candidates to 107 candidates (33.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	152	9	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	153	9	162

Merged error: 0.0b

Counts

162 → 9

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
0.2b	(* (* 2.0 PI) n)
0.2b	(* (* 2.0 PI) n)
0.3b	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

176×	`add-exp-log`
105×	`prod-exp`
39×	`pow-exp`
36×	`div-exp`
26×	`add-cbrt-cube`
20×	`pow1`
13×	`add-sqr-sqrt` `pow-to-exp` `add-cube-cbrt` `pow-unpow` `*-un-lft-identity`
10×	`times-frac` `cbrt-unprod`
9×	`pow-prod-down`
6×	`associate-r`
4×	`cbrt-undiv` `add-log-exp`
3×	`pow-pow`
2×	`associate-l` `*-commutative` `div-inv`
1×	`unpow-prod-down` `frac-2neg` `clear-num` `associate-/r` `associate-/l` `sqr-pow`

Counts

4 → 118

Calls

4 calls:

0.0hr	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
0.0hr	(* (* 2.0 PI) n)
0.0hr	(* (* 2.0 PI) n)
0.0hr	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
0.0hr	(* (* 2.0 PI) n)
0.0hr	(* (* 2.0 PI) n)
0.0hr	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))

simplify0.0hr

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	939	1410
1	4082	1188
2	5002	1188

prune0.0hr

Filtered

130 candidates to 59 candidates (54.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	126	4	130
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	128	11	139

Merged error: 0.0b

Counts

139 → 11

localize0.0hr

Local error

Found 4 expressions with local error:

0.2b	(/ 1.0 (/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
0.2b	(* (* 2.0 PI) n)
0.2b	(* (* 2.0 PI) n)
0.3b	(/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

260×	`add-exp-log`
122×	`prod-exp`
91×	`div-exp`
66×	`pow-exp`
52×	`times-frac`
28×	`add-cbrt-cube`
26×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
22×	`pow-to-exp`
14×	`pow1` `associate-/r*`
8×	`cbrt-unprod`
7×	`cbrt-undiv`
6×	`unpow-prod-down` `associate-r` `pow-prod-down` `div-inv` `sqr-pow`
4×	`associate-/l*` `add-log-exp`
2×	`frac-2neg` `associate-l` `clear-num` `*-commutative`
1×	`associate-/r/`

Counts

4 → 173

Calls

4 calls:

0.0hr	(/ 1.0 (/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
0.0hr	(* (* 2.0 PI) n)
0.0hr	(* (* 2.0 PI) n)
0.0hr	(/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ 1.0 (/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
0.0hr	(* (* 2.0 PI) n)
0.0hr	(* (* 2.0 PI) n)
0.0hr	(/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))

simplify0.0hr

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	1260	2862
1	5001	2541

prune0.0hr

Filtered

185 candidates to 99 candidates (46.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	182	3	185
Fresh	3	6	9
Picked	1	0	1
Done	0	1	1
Total	186	10	196

Merged error: 0.0b

Counts

196 → 10

localize0.0hr

Local error

Found 4 expressions with local error:

0.2b	(/ 1.0 (/ (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ 1.0 2.0)) (pow (* (* 2.0 PI) n) (/ k 2.0)))))
0.2b	(* (* 2.0 PI) n)
0.2b	(* (* 2.0 PI) n)
0.3b	(/ (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ 1.0 2.0)) (pow (* (* 2.0 PI) n) (/ k 2.0))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

2182×	`times-frac`
823×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
438×	`sqrt-prod`
310×	`unpow-prod-down` `sqr-pow`
236×	`add-exp-log`
208×	`associate-/r*`
129×	`div-exp`
66×	`prod-exp`
60×	`pow-exp`
37×	`div-inv`
28×	`add-cbrt-cube`
20×	`pow-to-exp`
14×	`pow1`
9×	`cbrt-undiv` `associate-/l*`
6×	`associate-r` `pow-prod-down` `associate-/r/` `cbrt-unprod`
4×	`add-log-exp`
2×	`frac-2neg` `associate-l` `clear-num` `*-commutative`

Counts

4 → 1044

Calls

4 calls:

0.0hr	(/ 1.0 (/ (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ 1.0 2.0)) (pow (* (* 2.0 PI) n) (/ k 2.0)))))
0.0hr	(* (* 2.0 PI) n)
0.0hr	(* (* 2.0 PI) n)
0.0hr	(/ (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ 1.0 2.0)) (pow (* (* 2.0 PI) n) (/ k 2.0))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ 1.0 (/ (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ 1.0 2.0)) (pow (* (* 2.0 PI) n) (/ k 2.0)))))
0.0hr	(* (* 2.0 PI) n)
0.0hr	(* (* 2.0 PI) n)
0.0hr	(/ (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ 1.0 2.0)) (pow (* (* 2.0 PI) n) (/ k 2.0))))

simplify0.0hr

Algorithm

egg-herbie

Counts

1056 → 1056

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	3987	24513
1	5001	24080

prune0.0hr

Filtered

1056 candidates to 668 candidates (36.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	1054	2	1056
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	1056	10	1066

Merged error: 0b

Counts

1066 → 10

regimes0.0hr

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	17	12
1	17	12

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	27073×	body	80	nan
0.0hr	10589×	body	80	valid
0.0hr	1036×	body	1280	nan
0.0hr	815×	body	640	nan
0.0hr	2409×	body	80	overflowed
0.0hr	425×	body	320	nan
0.0hr	195×	body	160	nan

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling