Details

sample173.0ms

Algorithm

intervals

Results

65.0ms	824×	body	80	nan
27.0ms	333×	body	80	valid
21.0ms	37×	body	1280	nan
11.0ms	25×	body	640	nan
9.0ms	68×	body	80	overflowed
8.0ms	12×	body	320	nan
1.0ms	4×	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.5b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

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

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

12.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
13.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
4.0ms	(/ 1.0 (sqrt k))
5.0ms	(* (* 2.0 PI) n)

series547.0ms

Counts

4 → 12

Calls

4 calls:

328.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
142.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
44.0ms	(/ 1.0 (sqrt k))
33.0ms	(* (* 2.0 PI) n)

simplify100.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (84.0ms)

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

prune429.0ms

Filtered

161 candidates to 107 candidates (66.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	150	11	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	151	11	162

Merged error: 0.0b

Counts

162 → 11

localize18.0ms

Local error

Found 4 expressions with local error:

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

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

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)
7.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

series1.2s

Counts

4 → 12

Calls

4 calls:

914.0ms	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))
33.0ms	(* (* 2.0 PI) n)
38.0ms	(* (* 2.0 PI) n)
264.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

simplify108.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (20.0ms)

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

prune265.0ms

Filtered

130 candidates to 59 candidates (45.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	131	10	141

Merged error: 0b

Counts

141 → 10

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

33×	`pow1` `add-exp-log`
23×	`add-cbrt-cube`
18×	`pow-prod-down` `prod-exp`
16×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`associate-r`
13×	`pow-unpow`
12×	`cbrt-unprod`
9×	`times-frac`
6×	`sqrt-prod`
4×	`pow-pow` `pow-exp` `add-log-exp`
3×	`associate-l` `*-commutative`
1×	`pow-to-exp` `unpow-prod-down` `div-inv` `sqr-pow`

Counts

4 → 94

Calls

4 calls:

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

series423.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* (* 2.0 PI) n)
79.0ms	(* (* 2.0 PI) (sqrt n))
52.0ms	(* (* (* 2.0 PI) (sqrt n)) (sqrt n))
260.0ms	(pow (* (* (* 2.0 PI) (sqrt n)) (sqrt n)) (/ 1.0 2.0))

simplify68.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	502	607
1	2341	489
2	5002	478

prune269.0ms

Filtered

106 candidates to 61 candidates (57.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	106	10	116

Merged error: 0b

Counts

116 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 104

Calls

4 calls:

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

series371.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(/ 1.0 (sqrt k))
31.0ms	(* (* 2.0 PI) n)
31.0ms	(* (* 2.0 PI) n)
265.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

simplify47.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	435	565
1	1610	505
2	5001	493

prune250.0ms

Filtered

116 candidates to 73 candidates (62.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	116	10	126

Merged error: 0b

Counts

126 → 10

regimes206.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	15
1	24	15

end0.0ms

sample5.4s

Algorithm

intervals

Results

2.1s	26783×	body	80	nan
892.0ms	10685×	body	80	valid
599.0ms	1000×	body	1280	nan
472.0ms	2447×	body	80	overflowed
360.0ms	827×	body	640	nan
119.0ms	405×	body	320	nan
34.0ms	202×	body	160	nan

Details

sample173.0ms

simplify37.0ms

prune3.0ms

localize13.0ms

rewrite40.0ms

series547.0ms

simplify100.0ms

prune429.0ms

localize18.0ms

rewrite33.0ms

series1.2s

simplify108.0ms

prune265.0ms

localize26.0ms

rewrite35.0ms

series423.0ms

simplify68.0ms

prune269.0ms

localize18.0ms

rewrite24.0ms

series371.0ms

simplify47.0ms

prune250.0ms

regimes206.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.4s

Profiling