Details

analyze337.0ms (4.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	50%	50%	2
0%	50%	50%	3
0%	50%	50%	4
12.5%	37.5%	50%	5
15.6%	31.2%	53.2%	6
17.2%	25%	57.9%	7
18%	20.3%	61.8%	8
18.3%	16.4%	65.3%	9
18.5%	13.7%	67.8%	10
18.6%	11.5%	69.9%	11
18.7%	10%	71.3%	12
18.7%	8.9%	72.4%	13
18.7%	8.2%	73.1%	14

Compiler

Compiled 19 to 16 computations (15.8% saved)

sample3.2s (38.1%)

Results

1.3s	8256×	body	128	valid
1.1s	1349×	body	1024	invalid
369.0ms	665×	body	512	invalid
252.0ms	1148×	body	128	invalid
121.0ms	365×	body	256	invalid

Compiler

Compiled 56 to 47 computations (16.1% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`rules-20_binary64`
3×	`rules-1-rev_binary64`
3×	`rules-1_binary64`
2×	`rules-4-rev_binary64`
2×	`rules-6_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	25
1	19	25
2	31	22
3	32	22
4	41	22
5	39	22
6	37	22

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.4b	(/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
	0.4b	(.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))

Compiler

Compiled 100 to 80 computations (20% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
✓	0.2b	(pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))
✓	0.3b	(.f64 (.f64 2 (PI.f64)) n)

series433.0ms (5.2%)

Counts

3 → 48

Calls

3 calls:

226.0ms	(/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
204.0ms	(pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))
3.0ms	(.f64 (.f64 2 (PI.f64)) n)

rewrite80.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

429×	`prod-diff_binary64`
223×	`expm1-udef_binary64`
223×	`log1p-udef_binary64`
131×	`egg-rr`
127×	`add-sqr-sqrt_binary64`

Counts

3 → 131

Calls

3 calls:

76.0ms	(/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
76.0ms	(pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))
76.0ms	(.f64 (.f64 2 (PI.f64)) n)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	47
1	298	47
2	3558	47
3	5057	47
0	0	0
1	0	0

simplify81.0ms (1%)

Algorithm

1×	egg-herbie

Rules

307×	`rules-15-rev_binary64`
263×	`rules-20_binary64`
228×	`rules-4_binary64`
225×	`rules-1_binary64`
193×	`rules-21_binary64`

Counts

179 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	69	1204
1	195	1030
2	643	987
3	3431	934
4	4882	934
5	4984	934

prune210.0ms (2.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	140	10	150
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	141	11	152

Error

0.0b

Counts

152 → 11

Alt Table

Status	Error	Program
	0.5b	(pow.f64 (sqrt.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))) 2)
	0.7b	(/.f64 (pow.f64 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 n) 2) (.f64 (cbrt.f64 n) (.f64 2 (PI.f64))) (neg.f64 (.f64 0 n))) (fma.f64 0 n (.f64 0 n))) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
	0.6b	(.f64 (pow.f64 (.f64 2 (PI.f64)) (/.f64 (-.f64 1 k) 2)) (/.f64 (pow.f64 n (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k)))
	23.2b	(/.f64 (-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 n (PI.f64))) (sqrt.f64 2)) (.f64 1/8 (.f64 (.f64 (pow.f64 k 2) (.f64 (pow.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) 2) (sqrt.f64 2))) (sqrt.f64 (.f64 n (PI.f64)))))) (.f64 1/2 (.f64 (.f64 k (.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (.f64 n (PI.f64)))))) (sqrt.f64 k))
▶	0.4b	(fabs.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k)))
	1.0b	(pow.f64 (cbrt.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))) 3)
	3.1b	(/.f64 (pow.f64 (exp.f64 (log.f64 (.f64 (.f64 2 (PI.f64)) n))) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
	0.5b	(.f64 (sqrt.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (/.f64 (sqrt.f64 (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (sqrt.f64 k)))
	0.4b	(.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
	23.2b	(/.f64 (.f64 (sqrt.f64 (.f64 n (PI.f64))) (-.f64 (fma.f64 1/8 (.f64 (.f64 k k) (.f64 (sqrt.f64 2) (pow.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) 2))) (.f64 (sqrt.f64 2) 1)) (.f64 1/2 (.f64 k (.f64 (log.f64 (.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2)))))) (sqrt.f64 k))
	3.3b	(exp.f64 (log.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))))

Compiler

Compiled 4188 to 2987 computations (28.7% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.2b	(/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
	0.2b	(pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))
	0.3b	(.f64 (.f64 2 (PI.f64)) n)

prune229.0ms (2.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

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

Error

0.0b

Counts

161 → 11

Alt Table

Status	Error	Program
	0.5b	(pow.f64 (sqrt.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))) 2)
	0.7b	(/.f64 (pow.f64 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 n) 2) (.f64 (cbrt.f64 n) (.f64 2 (PI.f64))) (neg.f64 (.f64 0 n))) (fma.f64 0 n (.f64 0 n))) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
	0.6b	(.f64 (pow.f64 (.f64 2 (PI.f64)) (/.f64 (-.f64 1 k) 2)) (/.f64 (pow.f64 n (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k)))
	23.2b	(/.f64 (-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 n (PI.f64))) (sqrt.f64 2)) (.f64 1/8 (.f64 (.f64 (pow.f64 k 2) (.f64 (pow.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) 2) (sqrt.f64 2))) (sqrt.f64 (.f64 n (PI.f64)))))) (.f64 1/2 (.f64 (.f64 k (.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (.f64 n (PI.f64)))))) (sqrt.f64 k))
✓	0.4b	(fabs.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k)))
	1.0b	(pow.f64 (cbrt.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))) 3)
	3.1b	(/.f64 (pow.f64 (exp.f64 (log.f64 (.f64 (.f64 2 (PI.f64)) n))) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
	0.5b	(.f64 (sqrt.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (/.f64 (sqrt.f64 (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (sqrt.f64 k)))
▶	0.4b	(.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
	23.2b	(/.f64 (.f64 (sqrt.f64 (.f64 n (PI.f64))) (-.f64 (fma.f64 1/8 (.f64 (.f64 k k) (.f64 (sqrt.f64 2) (pow.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) 2))) (.f64 (sqrt.f64 2) 1)) (.f64 1/2 (.f64 k (.f64 (log.f64 (.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2)))))) (sqrt.f64 k))
	3.3b	(exp.f64 (log.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))))

Compiler

Compiled 4321 to 3123 computations (27.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
	0.2b	(pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))
✓	0.3b	(/.f64 1 (sqrt.f64 k))
	0.3b	(.f64 (.f64 2 (PI.f64)) n)

series229.0ms (2.8%)

Counts

2 → 12

Calls

2 calls:

220.0ms	(.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
9.0ms	(/.f64 1 (sqrt.f64 k))

rewrite80.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

484×	`prod-diff_binary64`
242×	`log1p-udef_binary64`
138×	`add-sqr-sqrt_binary64`
130×	`log1p-expm1-u_binary64`
130×	`expm1-log1p-u_binary64`

Counts

2 → 99

Calls

2 calls:

76.0ms	(.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
76.0ms	(/.f64 1 (sqrt.f64 k))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	323	26
2	3905	26
3	5235	26
0	0	0
1	0	0

simplify90.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

897×	`fma-def_binary64`
644×	`exp-prod_binary64`
517×	`exp-diff_binary64`
477×	`exp-sum_binary64`
265×	`rules-21_binary64`

Counts

111 → 103

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	36	372
1	83	372
2	181	360
3	595	288
4	2642	288
5	4360	108
6	4731	108
7	4944	108
8	4564	108

prune354.0ms (4.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	214	4	218
Fresh	3	6	9
Picked	1	0	1
Done	1	0	1
Total	219	10	229

Error

0.0b

Counts

229 → 10

Alt Table

Status	Error	Program
▶	0.4b	(/.f64 (pow.f64 k -1/2) (/.f64 1 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))))
	23.2b	(/.f64 (.f64 (sqrt.f64 (.f64 n (PI.f64))) (-.f64 (fma.f64 1/8 (.f64 (.f64 k k) (.f64 (sqrt.f64 2) (pow.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) 2))) (.f64 (sqrt.f64 2) 1)) (.f64 1/2 (.f64 k (.f64 (log.f64 (.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2)))))) (sqrt.f64 k))
	0.6b	(.f64 (pow.f64 (.f64 2 (PI.f64)) (/.f64 (-.f64 1 k) 2)) (/.f64 (pow.f64 n (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k)))
	23.2b	(/.f64 (-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 n (PI.f64))) (sqrt.f64 2)) (.f64 1/8 (.f64 (.f64 (pow.f64 k 2) (.f64 (pow.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) 2) (sqrt.f64 2))) (sqrt.f64 (.f64 n (PI.f64)))))) (.f64 1/2 (.f64 (.f64 k (.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (.f64 n (PI.f64)))))) (sqrt.f64 k))
	0.6b	(+.f64 (fma.f64 (cbrt.f64 (/.f64 1 k)) (.f64 (cbrt.f64 (pow.f64 k -1/2)) (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (neg.f64 (.f64 0 (pow.f64 k -1/2)))) (fma.f64 0 (pow.f64 k -1/2) (*.f64 0 (pow.f64 k -1/2))))
	1.8b	(.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (expm1.f64 (log1p.f64 (.f64 (*.f64 2 (PI.f64)) n))) (/.f64 (-.f64 1 k) 2)))
	0.5b	(pow.f64 (sqrt.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))) 2)
	0.5b	(.f64 (sqrt.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (/.f64 (sqrt.f64 (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (sqrt.f64 k)))
	0.6b	(+.f64 (fma.f64 (pow.f64 n (/.f64 (-.f64 1 k) 2)) (.f64 (pow.f64 k -1/2) (pow.f64 (.f64 2 (PI.f64)) (/.f64 (-.f64 1 k) 2))) (neg.f64 (.f64 0 (pow.f64 k -1/2)))) (fma.f64 0 (pow.f64 k -1/2) (.f64 0 (pow.f64 k -1/2))))
	3.3b	(exp.f64 (log.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))))

Compiler

Compiled 6878 to 5100 computations (25.9% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
✓	0.2b	(/.f64 (pow.f64 k -1/2) (/.f64 1 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))))
	0.2b	(pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))
	0.3b	(.f64 (.f64 2 (PI.f64)) n)

series452.0ms (5.5%)

Counts

2 → 36

Calls

2 calls:

238.0ms	(/.f64 1 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
214.0ms	(/.f64 (pow.f64 k -1/2) (/.f64 1 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))))

rewrite80.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

458×	`prod-diff_binary64`
150×	`add-sqr-sqrt_binary64`
142×	`log1p-expm1-u_binary64`
142×	`expm1-log1p-u_binary64`
139×	`add-log-exp_binary64`

Counts

2 → 91

Calls

2 calls:

78.0ms	(/.f64 1 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
78.0ms	(/.f64 (pow.f64 k -1/2) (/.f64 1 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	42
1	351	42
2	4205	42
3	5045	42
0	0	0
1	0	0

simplify71.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

866×	`fma-neg_binary64`
788×	`fma-def_binary64`
624×	`rules-20_binary64`
398×	`rules-13_binary64`
301×	`rules-11_binary64`

Counts

127 → 109

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	105	1423
1	331	1176
2	1365	1106
3	4878	1106
4	5491	1106

prune351.0ms (4.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	220	4	224
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	223	11	234

Error

0.0b

Counts

234 → 11

Alt Table

Status	Error	Program
✓	0.4b	(/.f64 (pow.f64 k -1/2) (/.f64 1 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))))
	23.2b	(/.f64 (.f64 (sqrt.f64 (.f64 n (PI.f64))) (-.f64 (fma.f64 1/8 (.f64 (.f64 k k) (.f64 (sqrt.f64 2) (pow.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) 2))) (.f64 (sqrt.f64 2) 1)) (.f64 1/2 (.f64 k (.f64 (log.f64 (.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2)))))) (sqrt.f64 k))
	0.4b	(/.f64 (pow.f64 k -1/2) (/.f64 1 (pow.f64 (sqrt.f64 (/.f64 (*.f64 (PI.f64) -2) (/.f64 -1 n))) (-.f64 1 k))))
	18.9b	(/.f64 (pow.f64 k -1/2) (.f64 (sqrt.f64 (/.f64 1 (.f64 n (PI.f64)))) (fma.f64 (.f64 k (.f64 (log.f64 (.f64 n (.f64 2 (PI.f64)))) (sqrt.f64 2))) 1/4 (sqrt.f64 1/2))))
	0.5b	(.f64 (pow.f64 k -1/4) (/.f64 (pow.f64 k -1/4) (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (neg.f64 (/.f64 (-.f64 1 k) 2)))))
	0.5b	(pow.f64 (sqrt.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))) 2)
	0.5b	(.f64 (sqrt.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (/.f64 (sqrt.f64 (pow.f64 (.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))) (sqrt.f64 k)))
	23.2b	(/.f64 (-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 n (PI.f64))) (sqrt.f64 2)) (.f64 1/8 (.f64 (.f64 (pow.f64 k 2) (.f64 (pow.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) 2) (sqrt.f64 2))) (sqrt.f64 (.f64 n (PI.f64)))))) (.f64 1/2 (.f64 (.f64 k (.f64 (log.f64 (.f64 2 (.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (.f64 n (PI.f64)))))) (sqrt.f64 k))
	0.6b	(+.f64 (fma.f64 (pow.f64 n (/.f64 (-.f64 1 k) 2)) (.f64 (pow.f64 k -1/2) (pow.f64 (.f64 2 (PI.f64)) (/.f64 (-.f64 1 k) 2))) (neg.f64 (.f64 0 (pow.f64 k -1/2)))) (fma.f64 0 (pow.f64 k -1/2) (.f64 0 (pow.f64 k -1/2))))
	3.3b	(exp.f64 (log.f64 (/.f64 (pow.f64 (.f64 (.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))))
	3.1b	(/.f64 (pow.f64 k -1/2) (/.f64 1 (pow.f64 (exp.f64 (log.f64 (.f64 (.f64 2 (PI.f64)) n))) (/.f64 (-.f64 1 k) 2))))

Compiler

Compiled 6893 to 5310 computations (23% saved)

regimes1.8s (21.4%)

Accuracy

Total 0.4b remaining (83.7%)

Threshold costs 0.4b (83.7%)

Counts

315 → 1

Compiler

Compiled 35466 to 29051 computations (18.1% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	26
1	18	26
2	17	26

end210.0ms (2.5%)

Compiler: Compiled 352 to 280 computations (20.5% saved)

Details

analyze337.0ms (4.1%)

sample3.2s (38.1%)

simplify9.0ms (0.1%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series433.0ms (5.2%)

rewrite80.0ms (1%)

simplify81.0ms (1%)

prune210.0ms (2.5%)

localize11.0ms (0.1%)

prune229.0ms (2.8%)

localize12.0ms (0.1%)

series229.0ms (2.8%)

rewrite80.0ms (1%)

simplify90.0ms (1.1%)

prune354.0ms (4.3%)

localize15.0ms (0.2%)

series452.0ms (5.5%)

rewrite80.0ms (1%)

simplify71.0ms (0.9%)

prune351.0ms (4.2%)

regimes1.8s (21.4%)

simplify1.0ms (0%)

end210.0ms (2.5%)

Profiling