Details

sample186.0ms

Algorithm

intervals

Results

76.0ms	904×	body	80	nan
30.0ms	341×	body	80	valid
17.0ms	29×	body	1280	nan
14.0ms	33×	body	640	nan
11.0ms	74×	body	80	overflowed
4.0ms	14×	body	320	nan
1.0ms	6×	body	160	nan

simplify45.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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

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

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

10.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
12.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
6.0ms	(* (* 2.0 PI) n)
8.0ms	(/ 1.0 (sqrt k))

series753.0ms

Counts

4 → 12

Calls

4 calls:

140.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
374.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
41.0ms	(* (* 2.0 PI) n)
198.0ms	(/ 1.0 (sqrt k))

simplify109.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (94.0ms)

Iter	Nodes	Cost
0	947	1443
1	4227	1340
2	5001	1326

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

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

rewrite34.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))
11.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.3s

Counts

4 → 12

Calls

4 calls:

265.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
980.0ms	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))
32.0ms	(* (* 2.0 PI) n)
38.0ms	(* (* 2.0 PI) n)

simplify102.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	893	1334
1	3988	1147
2	5001	1147

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

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

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

11.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.9s

Counts

4 → 12

Calls

4 calls:

1.0s	(/ 1.0 (/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
793.0ms	(/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))
31.0ms	(* (* 2.0 PI) n)
32.0ms	(* (* 2.0 PI) n)

simplify55.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1225	2714
1	5002	2441

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

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

series1.5s

Counts

4 → 12

Calls

4 calls:

604.0ms	(/ (pow (* (* 2.0 PI) n) (/ k 2.0)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))
787.0ms	(* (sqrt k) (/ (pow (* (* 2.0 PI) n) (/ k 2.0)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
32.0ms	(* (* 2.0 PI) n)
38.0ms	(* (* 2.0 PI) n)

simplify136.0ms

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	983	2558
1	4547	2381
2	5001	2381

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

regimes159.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
915.0ms	10690×	body	80	valid
610.0ms	1003×	body	1280	nan
374.0ms	855×	body	640	nan
349.0ms	2450×	body	80	overflowed
125.0ms	412×	body	320	nan
36.0ms	209×	body	160	nan

Details

sample186.0ms

simplify45.0ms

prune3.0ms

localize14.0ms

rewrite44.0ms

series753.0ms

simplify109.0ms

prune409.0ms

localize18.0ms

rewrite34.0ms

series1.3s

simplify102.0ms

prune257.0ms

localize18.0ms

rewrite45.0ms

series1.9s

simplify55.0ms

prune390.0ms

localize18.0ms

rewrite46.0ms

series1.5s

simplify136.0ms

prune440.0ms

regimes159.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.4s

Profiling