Details

analyze399.0ms

Algorithm: search

sample87.0ms

Algorithm

intervals

Results

22.0ms	256×	body	80	valid
22.0ms	37×	body	1280	nan
15.0ms	34×	body	640	nan
8.0ms	61×	body	80	overflowed
4.0ms	14×	body	320	nan
1.0ms	23×	body	80	nan
1.0ms	7×	body	160	nan
1.0ms	6×	body	80	invalid

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

prune7.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.5b

Counts

2 → 1

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

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

series91.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
17.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))
3.0ms	(* (* 2.0 PI) n)
8.0ms	(/ 1.0 (sqrt k))

simplify112.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (95.0ms)

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

prune318.0ms

Filtered

107 candidates to 161 candidates (-50.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

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

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

series174.0ms

Counts

4 → 12

Calls

4 calls:

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

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

prune194.0ms

Filtered

60 candidates to 130 candidates (-116.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	127	3	130
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	131	10	141

Merged error: 0.0b

Counts

141 → 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))

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

simplify69.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (58.0ms)

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

prune184.0ms

Filtered

65 candidates to 108 candidates (-66.2%)

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

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 2.0 PI) n)
0.3b	(* (* 2.0 PI) (sqrt n))
0.3b	(/ (* 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.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:

5.0ms	(* (* 2.0 PI) n)
6.0ms	(* (* 2.0 PI) (sqrt n))
11.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))))
9.0ms	(* (* (* 2.0 PI) (sqrt n)) (sqrt n))

series145.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 2.0 PI) n)
5.0ms	(* (* 2.0 PI) (sqrt n))
131.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))))
5.0ms	(* (* (* 2.0 PI) (sqrt n)) (sqrt n))

simplify42.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1104	1701
1	5002	1452

prune149.0ms

Filtered

58 candidates to 134 candidates (-131.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

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

Merged error: 0.0b

Counts

144 → 10

regimes272.0ms

Accuracy

0% (0.4b 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	18	12
1	18	12

end0.0ms

analyze399.0ms

Algorithm: search

sample2.5s

Algorithm

intervals

Results

724.0ms	8000×	body	80	valid
619.0ms	1005×	body	1280	nan
347.0ms	785×	body	640	nan
340.0ms	2374×	body	80	overflowed
113.0ms	378×	body	320	nan
40.0ms	710×	body	80	nan
37.0ms	211×	body	160	nan
27.0ms	245×	body	80	invalid

Details

analyze399.0ms

sample87.0ms

simplify38.0ms

prune7.0ms

localize14.0ms

rewrite34.0ms

series91.0ms

simplify112.0ms

prune318.0ms

localize22.0ms

rewrite31.0ms

series174.0ms

simplify102.0ms

prune194.0ms

localize18.0ms

rewrite25.0ms

series123.0ms

simplify69.0ms

prune184.0ms

localize22.0ms

rewrite38.0ms

series145.0ms

simplify42.0ms

prune149.0ms

regimes272.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze399.0ms

sample2.5s

Profiling