Details

sample200.0ms

Algorithm

intervals

Results

74.0ms	921×	body	80	nan
27.0ms	338×	body	80	valid
25.0ms	43×	body	1280	nan
16.0ms	36×	body	640	nan
11.0ms	79×	body	80	overflowed
3.0ms	10×	body	320	nan
1.0ms	8×	body	160	nan

simplify34.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

prune3.0ms

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

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

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:

9.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
11.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
4.0ms	(* (* 2.0 PI) n)
4.0ms	(/ 1.0 (sqrt k))

series84.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
59.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
3.0ms	(* (* 2.0 PI) n)
7.0ms	(/ 1.0 (sqrt k))

simplify106.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (88.0ms)

Iter	Nodes	Cost
0	953	1493
1	4234	1364
2	5001	1350

prune315.0ms

Filtered

161 candidates to 107 candidates (33.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	148	13	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	149	13	162

Merged error: 0.0b

Counts

162 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

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:

6.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
10.0ms	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))
5.0ms	(* (* 2.0 PI) n)
5.0ms	(* (* 2.0 PI) n)

series174.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
144.0ms	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))
3.0ms	(* (* 2.0 PI) n)
3.0ms	(* (* 2.0 PI) n)

simplify99.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (19.0ms)

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

prune192.0ms

Filtered

130 candidates to 59 candidates (54.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	133	10	143

Merged error: 0.0b

Counts

143 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 96

Calls

4 calls:

6.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
5.0ms	(* (* 2.0 PI) n)
4.0ms	(* (* 2.0 PI) n)
7.0ms	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (sqrt k))

series119.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
3.0ms	(* (* 2.0 PI) n)
3.0ms	(* (* 2.0 PI) n)
89.0ms	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (sqrt k))

simplify62.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	614	741
1	2634	627
2	5001	623

prune178.0ms

Filtered

108 candidates to 65 candidates (39.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	108	10	118

Merged error: 0.0b

Counts

118 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

222×	`add-exp-log`
140×	`prod-exp`
45×	`pow-exp`
42×	`div-exp`
35×	`add-cbrt-cube`
23×	`pow1`
16×	`cbrt-unprod`
15×	`associate-r`
13×	`pow-to-exp`
12×	`pow-prod-down`
9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-prod`
4×	`cbrt-undiv` `add-log-exp`
3×	`associate-l` `*-commutative`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 122

Calls

4 calls:

10.0ms	(/ (* 1.0 (pow (* (* (* 2.0 PI) (sqrt n)) (sqrt n)) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))
4.0ms	(* (* 2.0 PI) n)
6.0ms	(* (* 2.0 PI) (sqrt n))
11.0ms	(* (* (* 2.0 PI) (sqrt n)) (sqrt n))

series158.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(/ (* 1.0 (pow (* (* (* 2.0 PI) (sqrt n)) (sqrt n)) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))
3.0ms	(* (* 2.0 PI) n)
5.0ms	(* (* 2.0 PI) (sqrt n))
4.0ms	(* (* (* 2.0 PI) (sqrt n)) (sqrt n))

simplify41.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	1104	1701
1	5002	1452

prune149.0ms

Filtered

134 candidates to 58 candidates (56.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	134	10	144

Merged error: 0b

Counts

144 → 10

regimes200.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	12
1	18	12

end0.0ms

sample5.8s

Algorithm

intervals

Results

2.2s	27440×	body	80	nan
885.0ms	10590×	body	80	valid
752.0ms	1040×	body	1280	nan
373.0ms	855×	body	640	nan
346.0ms	2536×	body	80	overflowed
122.0ms	412×	body	320	nan
40.0ms	233×	body	160	nan

Details

sample200.0ms

simplify34.0ms

prune3.0ms

localize13.0ms

rewrite33.0ms

series84.0ms

simplify106.0ms

prune315.0ms

localize19.0ms

rewrite32.0ms

series174.0ms

simplify99.0ms

prune192.0ms

localize18.0ms

rewrite25.0ms

series119.0ms

simplify62.0ms

prune178.0ms

localize21.0ms

rewrite38.0ms

series158.0ms

simplify41.0ms

prune149.0ms

regimes200.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.8s

Profiling