Details

sample178.0ms

Algorithm

intervals

Results

72.0ms	904×	body	80	nan
28.0ms	341×	body	80	valid
17.0ms	29×	body	1280	nan
14.0ms	33×	body	640	nan
10.0ms	74×	body	80	overflowed
4.0ms	14×	body	320	nan
1.0ms	6×	body	160	nan

simplify37.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 (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: 0.3b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(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.2b	(* (* 2.0 PI) n)
0.3b	(/ 1.0 (sqrt k))

rewrite34.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)))
5.0ms	(* (* 2.0 PI) n)
4.0ms	(/ 1.0 (sqrt k))

series530.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
314.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
37.0ms	(* (* 2.0 PI) n)
37.0ms	(/ 1.0 (sqrt k))

simplify98.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (83.0ms)

Iter	Nodes	Cost
0	950	1461
1	3925	1358
2	5001	1344

prune373.0ms

Filtered

161 candidates to 107 candidates (66.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	153	8	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	154	8	162

Merged error: 0.0b

Counts

162 → 8

localize23.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.2b	(* (* 2.0 PI) n)
0.2b	(* (* 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:

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

series1.2s

Counts

4 → 12

Calls

4 calls:

253.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
872.0ms	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))
37.0ms	(* (* 2.0 PI) n)
31.0ms	(* (* 2.0 PI) n)

simplify98.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	916	1358
1	3952	1199
2	5002	1199

prune246.0ms

Filtered

130 candidates to 60 candidates (46.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	127	3	130
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	129	9	138

Merged error: 0.0b

Counts

138 → 9

localize19.0ms

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

rewrite43.0ms

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:

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

series1.6s

Counts

4 → 12

Calls

4 calls:

761.0ms	(/ 1.0 (/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
775.0ms	(/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))
38.0ms	(* (* 2.0 PI) n)
31.0ms	(* (* 2.0 PI) n)

simplify52.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1276	2747
1	5001	2525

prune387.0ms

Filtered

185 candidates to 99 candidates (53.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	183	2	185
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	185	9	194

Merged error: 0b

Counts

194 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (pow (* (* 2.0 PI) n) (/ k 2.0)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))
0.2b	(* (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)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

181×	`add-exp-log`
92×	`prod-exp`
60×	`pow-exp`
58×	`times-frac`
51×	`add-sqr-sqrt`
50×	`div-exp`
35×	`associate-r`
31×	`add-cube-cbrt` `*-un-lft-identity`
30×	`sqr-pow`
22×	`unpow-prod-down`
21×	`add-cbrt-cube`
20×	`pow-to-exp`
16×	`pow1`
10×	`unswap-sqr`
8×	`associate-l` `sqrt-prod` `cbrt-unprod`
7×	`pow-prod-down`
5×	`associate-/r` `associate-/l`
4×	`add-log-exp`
3×	`*-commutative`
2×	`cbrt-undiv` `div-inv`
1×	`frac-2neg` `associate-*r/` `clear-num` `pow-div`

Counts

4 → 191

Calls

4 calls:

8.0ms	(/ (pow (* (* 2.0 PI) n) (/ k 2.0)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))
20.0ms	(* (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ k 2.0)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
5.0ms	(* (* 2.0 PI) n)
5.0ms	(* (* 2.0 PI) n)

series1.5s

Counts

4 → 12

Calls

4 calls:

572.0ms	(/ (pow (* (* 2.0 PI) n) (/ k 2.0)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))
752.0ms	(* (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ k 2.0)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
175.0ms	(* (* 2.0 PI) n)
32.0ms	(* (* 2.0 PI) n)

simplify125.0ms

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	982	2567
1	4383	2424
2	5002	2424

prune409.0ms

Filtered

203 candidates to 120 candidates (59.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	203	9	212

Merged error: 0b

Counts

212 → 9

regimes149.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	12
1	19	12

end0.0ms

sample5.4s

Algorithm

intervals

Results

2.2s	27306×	body	80	nan
897.0ms	10690×	body	80	valid
608.0ms	1003×	body	1280	nan
377.0ms	855×	body	640	nan
331.0ms	2450×	body	80	overflowed
123.0ms	412×	body	320	nan
36.0ms	209×	body	160	nan

Details

sample178.0ms

simplify37.0ms

prune3.0ms

localize18.0ms

rewrite34.0ms

series530.0ms

simplify98.0ms

prune373.0ms

localize23.0ms

rewrite32.0ms

series1.2s

simplify98.0ms

prune246.0ms

localize19.0ms

rewrite43.0ms

series1.6s

simplify52.0ms

prune387.0ms

localize18.0ms

rewrite46.0ms

series1.5s

simplify125.0ms

prune409.0ms

regimes149.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.4s

Profiling