Details

sample169.0ms

Algorithm

intervals

Results

60.0ms	718×	body	80	nan
27.0ms	311×	body	80	valid
16.0ms	22×	body	1280	nan
16.0ms	25×	body	640	nan
9.0ms	61×	body	80	overflowed
3.0ms	10×	body	320	nan
1.0ms	5×	body	160	nan

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

prune4.0ms

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

localize14.0ms

Local error

Found 4 expressions with local error:

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

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

5.0ms	(* (* 2.0 PI) n)
12.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
8.0ms	(/ 1.0 (sqrt k))
11.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))

series95.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 2.0 PI) n)
66.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
8.0ms	(/ 1.0 (sqrt k))
18.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))

simplify113.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (96.0ms)

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

prune321.0ms

Filtered

107 candidates to 161 candidates (-50.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	151	10	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	152	10	162

Merged error: 0.0b

Counts

162 → 10

localize18.0ms

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

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

series182.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
3.0ms	(* (* 2.0 PI) n)
3.0ms	(* (* 2.0 PI) n)
151.0ms	(/ (* 1.0 (pow (* (* 2.0 PI) n) (/ 1.0 2.0))) (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))))

simplify104.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (20.0ms)

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

prune203.0ms

Filtered

59 candidates to 130 candidates (-120.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	131	9	140

Merged error: 0.0b

Counts

140 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

236×	`add-exp-log`
118×	`prod-exp`
85×	`add-sqr-sqrt`
83×	`times-frac`
77×	`div-exp`
60×	`pow-exp`
45×	`add-cube-cbrt` `*-un-lft-identity`
35×	`associate-r`
28×	`add-cbrt-cube`
26×	`sqrt-prod`
24×	`associate-l`
22×	`sqr-pow`
20×	`pow-to-exp`
16×	`pow1`
15×	`unswap-sqr`
10×	`unpow-prod-down` `cbrt-unprod`
7×	`pow-prod-down`
6×	`associate-/r*`
5×	`cbrt-undiv`
4×	`add-log-exp`
3×	`-commutative` `div-inv` `associate-/l`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num`

Counts

4 → 209

Calls

4 calls:

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

series153.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 2.0 PI) n)
3.0ms	(* (* 2.0 PI) n)
138.0ms	(* (/ 1.0 (sqrt k)) (/ (pow (* (* 2.0 PI) n) (/ 1.0 2.0)) (pow (* (* 2.0 PI) n) (/ k 2.0))))
8.0ms	(/ 1.0 (sqrt k))

simplify56.0ms

Algorithm

egg-herbie

Counts

221 → 221

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1280	2683
1	5001	2479

prune566.0ms

Filtered

128 candidates to 221 candidates (-72.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	221	0	221
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	221	9	230

Merged error: 0.0b

Counts

230 → 9

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

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

series271.0ms

Counts

4 → 12

Calls

4 calls:

139.0ms	(/ 1.0 (/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0))))
3.0ms	(* (* 2.0 PI) n)
3.0ms	(* (* 2.0 PI) n)
125.0ms	(/ (* (sqrt k) (pow (* (* 2.0 PI) n) (/ k 2.0))) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))

simplify56.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1260	2862
1	5001	2541

prune343.0ms

Filtered

99 candidates to 185 candidates (-86.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

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

Merged error: 0.0b

Counts

194 → 9

regimes261.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	18	12
1	18	12

end0.0ms

sample5.7s

Algorithm

intervals

Results

2.2s	26735×	body	80	nan
903.0ms	10675×	body	80	valid
597.0ms	989×	body	1280	nan
376.0ms	843×	body	640	nan
343.0ms	2462×	body	80	overflowed
124.0ms	402×	body	320	nan
36.0ms	210×	body	160	nan

Details

sample169.0ms

simplify38.0ms

prune4.0ms

localize14.0ms

rewrite42.0ms

series95.0ms

simplify113.0ms

prune321.0ms

localize18.0ms

rewrite33.0ms

series182.0ms

simplify104.0ms

prune203.0ms

localize19.0ms

rewrite54.0ms

series153.0ms

simplify56.0ms

prune566.0ms

localize20.0ms

rewrite41.0ms

series271.0ms

simplify56.0ms

prune343.0ms

regimes261.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.7s

Profiling