Details

Time bar (total: 5.1s)

analyze344.0ms (6.7%)

Algorithm
search
Search
TrueOtherFalseIter
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
12.5%34.3%53.2%6
15.6%26.5%57.9%7
15.6%22.6%61.8%8
17.2%17.6%65.3%9
17.2%15%67.8%10
18%12.2%69.9%11
18%10.8%71.3%12
18.3%9.3%72.4%13
18.3%8.5%73.1%14
Compiler

Compiled 19 to 16 computations (15.8% saved)

sample3.1s (59.7%)

Results
1.3s8256×body128valid
1.1s1416×body1024invalid
425.0ms776×body512invalid
168.0ms1144×body128invalid
115.0ms347×body256invalid
Compiler

Compiled 38 to 32 computations (15.8% saved)

preprocess34.0ms (0.7%)

Algorithm
egg-herbie
Rules
421×div-sub_binary64
418×associate-/l*_binary64
293×associate-*l*_binary64
268×associate-/r*_binary64
224×associate-/l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02150
15244
211944
325644
466844
5183640
6416340
022
Stop Event
saturated
node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(*.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
(*.f64 (/.f64 1 (sqrt.f64 n)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) k) (/.f64 (-.f64 1 n) 2)))
Outputs
(*.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
(*.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (-.f64 1/2 (/.f64 k 2))))
(/.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 2 n)) (-.f64 1/2 (/.f64 k 2))) (sqrt.f64 k))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (+.f64 1/2 (/.f64 k -2))) (sqrt.f64 k))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 k))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 -1/2 k 1/2)) (sqrt.f64 k))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))
(*.f64 (/.f64 1 (sqrt.f64 n)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) k) (/.f64 (-.f64 1 n) 2)))
(*.f64 (/.f64 1 (sqrt.f64 n)) (pow.f64 (*.f64 2 (*.f64 (PI.f64) k)) (-.f64 1/2 (/.f64 n 2))))
(/.f64 (pow.f64 (*.f64 k (*.f64 2 (PI.f64))) (/.f64 (-.f64 1 n) 2)) (sqrt.f64 n))
(/.f64 (pow.f64 (*.f64 k (*.f64 2 (PI.f64))) (*.f64 1/2 (-.f64 1 n))) (sqrt.f64 n))
(/.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 k 2)) (fma.f64 -1/2 n 1/2)) (sqrt.f64 n))
(/.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 k 2)) (fma.f64 n -1/2 1/2)) (sqrt.f64 n))
Compiler

Compiled 18 to 15 computations (16.7% saved)

simplify36.0ms (0.7%)

Algorithm
egg-herbie
Rules
664×associate-/l*_binary64
544×associate-/r*_binary64
257×associate-*l/_binary64
214×unswap-sqr_binary64
214×div-sub_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01425
13222
26822
314022
435422
595820
6218720
Stop Event
node limit
Counts
1 → 2
Calls
Call 1
Inputs
(*.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
Outputs
(*.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
(*.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (-.f64 1/2 (/.f64 k 2))))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (-.f64 1/2 (/.f64 k 2))) (sqrt.f64 k))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (*.f64 1/2 (-.f64 1 k))) (sqrt.f64 k))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 -1/2 k 1/2)) (sqrt.f64 k))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.3b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.4b
(*.f64 (/.f64 1 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)))
0.4b
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))
Compiler

Compiled 97 to 77 computations (20.6% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.2b
(*.f64 (PI.f64) n)
0.2b
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))
0.2b
(pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))

series71.0ms (1.4%)

Counts
3 → 48
Calls

15 calls:

TimeVariablePointExpression
26.0ms
n
@0
(pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))
22.0ms
n
@-inf
(pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))
8.0ms
n
@inf
(pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))
4.0ms
k
@0
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))
4.0ms
k
@-inf
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))

rewrite53.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
655×log-prod_binary64
233×expm1-udef_binary64
233×log1p-udef_binary64
212×log-pow_binary64
135×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01340
127440
2330640
Stop Event
node limit
Counts
3 → 82
Calls
Call 1
Inputs
(pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))
(/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))
(*.f64 (PI.f64) n)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)))) (cbrt.f64 (exp.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 2 (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 (fma.f64 k -1/2 1/2)) (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2) (fma.f64 k -1/2 1/2)) (pow.f64 (cbrt.f64 (*.f64 n (*.f64 2 (PI.f64)))) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 n (*.f64 2 (PI.f64)))) (fma.f64 k -1/2 1/2)) (pow.f64 (sqrt.f64 (*.f64 n (*.f64 2 (PI.f64)))) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 2 (PI.f64)) (fma.f64 k -1/2 1/2)) (pow.f64 n (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (*.f64 k -1/2)) (sqrt.f64 (*.f64 n (*.f64 2 (PI.f64)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 n (*.f64 2 (PI.f64))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)))) (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) (*.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))) (cbrt.f64 (/.f64 (pow.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) 2) k)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (pow.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) 2) k)) (cbrt.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))) (sqrt.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (/.f64 1 (neg.f64 (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) 1) (/.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (sqrt.f64 k)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 1) (/.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (sqrt.f64 k)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) 1) (/.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 k)) (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (cbrt.f64 (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) (cbrt.f64 k)) (cbrt.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (cbrt.f64 k)) (/.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (cbrt.f64 (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (cbrt.f64 k)) (/.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (cbrt.f64 (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 k 1/4)) (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) (pow.f64 k 1/4)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (pow.f64 k 1/4)) (/.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 k) (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (neg.f64 (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (pow.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) 2) k))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) 3) (pow.f64 k 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 k))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (PI.f64) n))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (PI.f64)) n)) (cbrt.f64 (pow.f64 (exp.f64 (PI.f64)) n)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (PI.f64)) n))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (PI.f64)) n))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (PI.f64)) n))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) n))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (PI.f64) n) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (PI.f64) n) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (PI.f64) n)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (PI.f64) n)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (PI.f64) n) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (PI.f64)) n))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (PI.f64) n))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (PI.f64) n) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 n 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 n 3) (pow.f64 (PI.f64) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (PI.f64) n)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (PI.f64) n)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (PI.f64) n)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) n)) 1))))))

simplify51.0ms (1%)

Algorithm
egg-herbie
Rules
570×fma-neg_binary64
433×associate-*r*_binary64
373×associate-*l*_binary64
176×distribute-rgt-in_binary64
172×distribute-lft-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0671144
1183984
2587828
33443826
Stop Event
node limit
Counts
130 → 99
Calls
Call 1
Inputs
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2))
(-.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2)) (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.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))))))
(-.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 (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64))))) (*.f64 1/48 (*.f64 (*.f64 (pow.f64 k 3) (*.f64 (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 3) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64)))))))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
Outputs
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2))
(-.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2)) (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64))))))
(+.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2)) (*.f64 -1/2 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 k (log.f64 (*.f64 2 (*.f64 n (PI.f64))))) (sqrt.f64 2)))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (-.f64 (sqrt.f64 2) (*.f64 1/2 (*.f64 k (*.f64 (sqrt.f64 2) (log.f64 (*.f64 n (*.f64 2 (PI.f64)))))))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (sqrt.f64 2) (*.f64 (*.f64 -1/2 (*.f64 k (sqrt.f64 2))) (log.f64 (*.f64 n (*.f64 2 (PI.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))))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2) (*.f64 1/8 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 (*.f64 k k) (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 2)) (sqrt.f64 2))))) (*.f64 -1/2 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 k (log.f64 (*.f64 2 (*.f64 n (PI.f64))))) (sqrt.f64 2)))))
(fma.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2) (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (-.f64 (*.f64 1/8 (*.f64 k (*.f64 k (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2))))) (*.f64 1/2 (*.f64 k (*.f64 (sqrt.f64 2) (log.f64 (*.f64 n (*.f64 2 (PI.f64))))))))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 2) (-.f64 (*.f64 1/8 (*.f64 (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2) (*.f64 k k))) (*.f64 (*.f64 1/2 k) (log.f64 (*.f64 n (*.f64 2 (PI.f64)))))))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 2) (fma.f64 1/8 (*.f64 (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2) (*.f64 k k)) (*.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) (*.f64 k -1/2))))))
(-.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 (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64))))) (*.f64 1/48 (*.f64 (*.f64 (pow.f64 k 3) (*.f64 (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 3) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64)))))))
(-.f64 (fma.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2) (*.f64 1/8 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 (*.f64 k k) (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 2)) (sqrt.f64 2))))) (fma.f64 1/2 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 k (log.f64 (*.f64 2 (*.f64 n (PI.f64))))) (sqrt.f64 2))) (*.f64 1/48 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (pow.f64 k 3) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 3)))))))
(-.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (sqrt.f64 2) (*.f64 1/8 (*.f64 k (*.f64 k (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2))))))) (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (*.f64 1/2 (*.f64 k (*.f64 (sqrt.f64 2) (log.f64 (*.f64 n (*.f64 2 (PI.f64))))))) (*.f64 (*.f64 1/48 (pow.f64 k 3)) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 3))))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (-.f64 (*.f64 (+.f64 (*.f64 1/8 (*.f64 (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2) (*.f64 k k))) 1) (sqrt.f64 2)) (*.f64 (sqrt.f64 2) (+.f64 (*.f64 (*.f64 1/48 (pow.f64 k 3)) (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 3)) (*.f64 (*.f64 1/2 k) (log.f64 (*.f64 n (*.f64 2 (PI.f64)))))))))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))
(*.f64 n (PI.f64))

prune116.0ms (2.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New91899
Fresh101
Picked101
Done000
Total938101
Error
0.0b
Counts
101 → 8
Alt Table
StatusErrorProgram
0.4b
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))
0.5b
(/.f64 (*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (*.f64 k -1/2)) (sqrt.f64 (*.f64 n (*.f64 2 (PI.f64))))) (sqrt.f64 k))
12.1b
(/.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) 3)) (sqrt.f64 k))
0.5b
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
0.9b
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) (*.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
0.4b
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
0.4b
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
22.8b
(/.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))
Compiler

Compiled 2515 to 1726 computations (31.4% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.2b
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
0.2b
(*.f64 n (*.f64 2 (PI.f64)))
0.2b
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))

series7.0ms (0.1%)

Counts
3 → 48
Calls

15 calls:

TimeVariablePointExpression
1.0ms
n
@-inf
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
1.0ms
k
@-inf
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
1.0ms
k
@0
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
0.0ms
k
@inf
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
0.0ms
k
@0
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))

rewrite48.0ms (0.9%)

Algorithm
batch-egg-rewrite
Rules
641×log-prod_binary64
232×expm1-udef_binary64
232×log1p-udef_binary64
211×log-pow_binary64
135×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01344
127444
2318144
Stop Event
node limit
Counts
3 → 60
Calls
Call 1
Inputs
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) (cbrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) 2) (cbrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 n (fma.f64 k -1/2 1/2)) (pow.f64 (*.f64 2 (PI.f64)) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 2 (PI.f64)) (fma.f64 k -1/2 1/2)) (pow.f64 n (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 (fma.f64 k -1/2 1/2)) (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (*.f64 n 2))) 2) (fma.f64 k -1/2 1/2)) (pow.f64 (cbrt.f64 (*.f64 (PI.f64) (*.f64 n 2))) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 (PI.f64) (*.f64 n 2))) (fma.f64 k -1/2 1/2)) (pow.f64 (sqrt.f64 (*.f64 (PI.f64) (*.f64 n 2))) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 n 2) (fma.f64 k -1/2 1/2)) (pow.f64 (PI.f64) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (*.f64 k -1/2)) (sqrt.f64 (*.f64 (PI.f64) (*.f64 n 2))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (*.f64 2 (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 (PI.f64) (*.f64 n 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 (PI.f64) (*.f64 n 2)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (PI.f64) (*.f64 n 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (PI.f64)) n)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (PI.f64)) n)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (PI.f64)) n))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (PI.f64)) n))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (PI.f64)) n))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) (*.f64 n 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (PI.f64) (*.f64 n 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (PI.f64) (*.f64 n 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 2) (PI.f64)) n))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (PI.f64) (*.f64 n 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 n 3) (pow.f64 (*.f64 2 (PI.f64)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 2 (PI.f64)) 3) (pow.f64 n 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (PI.f64) (*.f64 n 2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (PI.f64) (*.f64 n 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (PI.f64) (*.f64 n 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) (*.f64 n 2))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 k -1/2)) (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 k -1/2)) (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 k -1/2)) (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 k -1/2)) (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 k -1/2)) (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (*.f64 2 (fma.f64 k -1/2 1/2))) (pow.f64 k -1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 k -1/2)) (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 3) (pow.f64 (pow.f64 k -1/2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 k -1/2) 3) (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (fma.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 (PI.f64) (*.f64 n 2))) (*.f64 -1/2 (log.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (fma.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 (PI.f64) (*.f64 n 2))) (*.f64 -1/2 (log.f64 k))) 1))))))

simplify41.0ms (0.8%)

Algorithm
egg-herbie
Rules
570×fma-neg_binary64
433×associate-*r*_binary64
373×associate-*l*_binary64
176×distribute-rgt-in_binary64
172×distribute-lft-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0671180
11831020
2587864
33443862
Stop Event
node limit
Counts
108 → 78
Calls
Call 1
Inputs
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2))
(-.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2)) (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.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))))))
(-.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 (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64))))) (*.f64 1/48 (*.f64 (*.f64 (pow.f64 k 3) (*.f64 (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 3) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64)))))))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
Outputs
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2))
(-.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2)) (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64))))))
(+.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2)) (*.f64 -1/2 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 k (log.f64 (*.f64 2 (*.f64 n (PI.f64))))) (sqrt.f64 2)))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (-.f64 (sqrt.f64 2) (*.f64 1/2 (*.f64 k (*.f64 (sqrt.f64 2) (log.f64 (*.f64 n (*.f64 2 (PI.f64)))))))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (sqrt.f64 2) (*.f64 (*.f64 -1/2 (*.f64 k (sqrt.f64 2))) (log.f64 (*.f64 n (*.f64 2 (PI.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))))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2) (*.f64 1/8 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 (*.f64 k k) (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 2)) (sqrt.f64 2))))) (*.f64 -1/2 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 k (log.f64 (*.f64 2 (*.f64 n (PI.f64))))) (sqrt.f64 2)))))
(fma.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2) (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (-.f64 (*.f64 1/8 (*.f64 k (*.f64 k (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2))))) (*.f64 1/2 (*.f64 k (*.f64 (sqrt.f64 2) (log.f64 (*.f64 n (*.f64 2 (PI.f64))))))))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 2) (-.f64 (*.f64 1/8 (*.f64 (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2) (*.f64 k k))) (*.f64 (*.f64 1/2 k) (log.f64 (*.f64 n (*.f64 2 (PI.f64)))))))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 2) (fma.f64 1/8 (*.f64 (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2) (*.f64 k k)) (*.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) (*.f64 k -1/2))))))
(-.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 (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64))))) (*.f64 1/48 (*.f64 (*.f64 (pow.f64 k 3) (*.f64 (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 3) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64)))))))
(-.f64 (fma.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2) (*.f64 1/8 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 (*.f64 k k) (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 2)) (sqrt.f64 2))))) (fma.f64 1/2 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (*.f64 k (log.f64 (*.f64 2 (*.f64 n (PI.f64))))) (sqrt.f64 2))) (*.f64 1/48 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 (pow.f64 k 3) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) 3)))))))
(-.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (sqrt.f64 2) (*.f64 1/8 (*.f64 k (*.f64 k (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2))))))) (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (+.f64 (*.f64 1/2 (*.f64 k (*.f64 (sqrt.f64 2) (log.f64 (*.f64 n (*.f64 2 (PI.f64))))))) (*.f64 (*.f64 1/48 (pow.f64 k 3)) (*.f64 (sqrt.f64 2) (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 3))))))
(*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (-.f64 (*.f64 (+.f64 (*.f64 1/8 (*.f64 (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 2) (*.f64 k k))) 1) (sqrt.f64 2)) (*.f64 (sqrt.f64 2) (+.f64 (*.f64 (*.f64 1/48 (pow.f64 k 3)) (pow.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64)))) 3)) (*.f64 (*.f64 1/2 k) (log.f64 (*.f64 n (*.f64 2 (PI.f64)))))))))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 2 (*.f64 n (PI.f64)))
(*.f64 n (*.f64 2 (PI.f64)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 n (*.f64 2 (PI.f64))))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (sqrt.f64 (/.f64 1 k)))

prune119.0ms (2.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New76278
Fresh347
Picked011
Done000
Total79786
Error
0.0b
Counts
86 → 7
Alt Table
StatusErrorProgram
0.5b
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
9.2b
(sqrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (*.f64 2 (fma.f64 k -1/2 1/2))) (pow.f64 k -1)))
22.7b
(*.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 n (PI.f64))) (sqrt.f64 2)) (*.f64 1/2 (*.f64 (*.f64 k (*.f64 (log.f64 (*.f64 2 (*.f64 n (PI.f64)))) (sqrt.f64 2))) (sqrt.f64 (*.f64 n (PI.f64)))))) (pow.f64 k -1/2))
0.4b
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))
0.5b
(/.f64 (*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (*.f64 k -1/2)) (sqrt.f64 (*.f64 n (*.f64 2 (PI.f64))))) (sqrt.f64 k))
0.9b
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) (*.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
0.4b
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
Compiler

Compiled 2014 to 1506 computations (25.2% saved)

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(*.f64 (PI.f64) n)
0.2b
(*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
0.2b
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
0.3b
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))

series97.0ms (1.9%)

Counts
3 → 48
Calls

18 calls:

TimeVariablePointExpression
47.0ms
n
@0
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))
14.0ms
n
@-inf
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))
11.0ms
n
@inf
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))
9.0ms
k
@0
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))
6.0ms
k
@0
(*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))

rewrite57.0ms (1.1%)

Algorithm
batch-egg-rewrite
Rules
695×log-prod_binary64
250×expm1-udef_binary64
250×log1p-udef_binary64
238×log-pow_binary64
146×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01458
129751
2347451
Stop Event
node limit
Counts
3 → 59
Calls
Call 1
Inputs
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) 3) (pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 3) (pow.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 k -1/2) (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))) (cbrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) 2) (cbrt.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (PI.f64) (fma.f64 k -1/2 1/2)) (pow.f64 n (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 n (fma.f64 k -1/2 1/2)) (pow.f64 (PI.f64) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (sqrt.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 (fma.f64 k -1/2 1/2)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (PI.f64) n)) 2) (fma.f64 k -1/2 1/2)) (pow.f64 (cbrt.f64 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)) (pow.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (fma.f64 k -1/2 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (PI.f64) n) (*.f64 k -1/2)) (sqrt.f64 (*.f64 (PI.f64) n)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (PI.f64) n) (*.f64 2 (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 (PI.f64) n))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 (PI.f64) n))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (*.f64 2 (fma.f64 k -1/2 1/2))) (pow.f64 k -1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) 3) (pow.f64 (pow.f64 k -1/2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 k -1/2) 3) (pow.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))) 1))))))

simplify43.0ms (0.8%)

Algorithm
egg-herbie
Rules
484×fma-neg_binary64
312×associate-*r*_binary64
283×associate-*l*_binary64
229×unswap-sqr_binary64
167×distribute-rgt-in_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0771312
1217997
2595975
33108975
Stop Event
node limit
Counts
107 → 80
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(sqrt.f64 (*.f64 n (PI.f64)))
(-.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 1/2 (*.f64 (*.f64 k (log.f64 (*.f64 n (PI.f64)))) (sqrt.f64 (*.f64 n (PI.f64))))))
(-.f64 (+.f64 (*.f64 1/8 (*.f64 (*.f64 (pow.f64 (log.f64 (*.f64 n (PI.f64))) 2) (pow.f64 k 2)) (sqrt.f64 (*.f64 n (PI.f64))))) (sqrt.f64 (*.f64 n (PI.f64)))) (*.f64 1/2 (*.f64 (*.f64 (log.f64 (*.f64 n (PI.f64))) k) (sqrt.f64 (*.f64 n (PI.f64))))))
(-.f64 (+.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 1/8 (*.f64 (*.f64 (pow.f64 k 2) (pow.f64 (log.f64 (*.f64 n (PI.f64))) 2)) (sqrt.f64 (*.f64 n (PI.f64)))))) (+.f64 (*.f64 1/48 (*.f64 (*.f64 (pow.f64 k 3) (pow.f64 (log.f64 (*.f64 n (PI.f64))) 3)) (sqrt.f64 (*.f64 n (PI.f64))))) (*.f64 1/2 (*.f64 (*.f64 (log.f64 (*.f64 n (PI.f64))) k) (sqrt.f64 (*.f64 n (PI.f64)))))))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (exp.f64 (*.f64 (-.f64 1/2 (*.f64 1/2 k)) (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (exp.f64 (*.f64 (-.f64 1/2 (*.f64 1/2 k)) (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (exp.f64 (*.f64 (-.f64 1/2 (*.f64 1/2 k)) (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (exp.f64 (*.f64 (-.f64 1/2 (*.f64 1/2 k)) (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
Outputs
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (exp.f64 (*.f64 (log.f64 2) (-.f64 1/2 (*.f64 1/2 k)))) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (*.f64 (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))) (pow.f64 2 (+.f64 1/2 (*.f64 -1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (fma.f64 k -1/2 1/2) (+.f64 (log.f64 (*.f64 (PI.f64) n)) (log.f64 2)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (fma.f64 k -1/2 1/2)) (+.f64 (log.f64 2) (log.f64 (*.f64 (PI.f64) n)))))
(exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k))))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(sqrt.f64 (*.f64 n (PI.f64)))
(sqrt.f64 (*.f64 (PI.f64) n))
(-.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 1/2 (*.f64 (*.f64 k (log.f64 (*.f64 n (PI.f64)))) (sqrt.f64 (*.f64 n (PI.f64))))))
(+.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (*.f64 -1/2 (*.f64 k (*.f64 (log.f64 (*.f64 (PI.f64) n)) (sqrt.f64 (*.f64 (PI.f64) n))))))
(+.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (*.f64 (*.f64 k (*.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (log.f64 (*.f64 (PI.f64) n)))) -1/2))
(*.f64 (+.f64 (*.f64 (log.f64 (*.f64 (PI.f64) n)) (*.f64 k -1/2)) 1) (sqrt.f64 (*.f64 (PI.f64) n)))
(-.f64 (+.f64 (*.f64 1/8 (*.f64 (*.f64 (pow.f64 (log.f64 (*.f64 n (PI.f64))) 2) (pow.f64 k 2)) (sqrt.f64 (*.f64 n (PI.f64))))) (sqrt.f64 (*.f64 n (PI.f64)))) (*.f64 1/2 (*.f64 (*.f64 (log.f64 (*.f64 n (PI.f64))) k) (sqrt.f64 (*.f64 n (PI.f64))))))
(+.f64 (fma.f64 1/8 (*.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (*.f64 (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 2) (*.f64 k k))) (sqrt.f64 (*.f64 (PI.f64) n))) (*.f64 -1/2 (*.f64 k (*.f64 (log.f64 (*.f64 (PI.f64) n)) (sqrt.f64 (*.f64 (PI.f64) n))))))
(+.f64 (*.f64 (+.f64 (*.f64 (*.f64 1/8 (*.f64 k k)) (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 2)) 1) (sqrt.f64 (*.f64 (PI.f64) n))) (*.f64 (*.f64 k (*.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (log.f64 (*.f64 (PI.f64) n)))) -1/2))
(*.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (+.f64 (*.f64 (log.f64 (*.f64 (PI.f64) n)) (*.f64 k -1/2)) (fma.f64 (*.f64 1/8 (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 2)) (*.f64 k k) 1)))
(-.f64 (+.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 1/8 (*.f64 (*.f64 (pow.f64 k 2) (pow.f64 (log.f64 (*.f64 n (PI.f64))) 2)) (sqrt.f64 (*.f64 n (PI.f64)))))) (+.f64 (*.f64 1/48 (*.f64 (*.f64 (pow.f64 k 3) (pow.f64 (log.f64 (*.f64 n (PI.f64))) 3)) (sqrt.f64 (*.f64 n (PI.f64))))) (*.f64 1/2 (*.f64 (*.f64 (log.f64 (*.f64 n (PI.f64))) k) (sqrt.f64 (*.f64 n (PI.f64)))))))
(-.f64 (fma.f64 1/8 (*.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (*.f64 (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 2) (*.f64 k k))) (sqrt.f64 (*.f64 (PI.f64) n))) (fma.f64 1/48 (*.f64 (pow.f64 k 3) (*.f64 (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 3) (sqrt.f64 (*.f64 (PI.f64) n)))) (*.f64 1/2 (*.f64 k (*.f64 (log.f64 (*.f64 (PI.f64) n)) (sqrt.f64 (*.f64 (PI.f64) n)))))))
(-.f64 (*.f64 (+.f64 (*.f64 (*.f64 1/8 (*.f64 k k)) (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 2)) 1) (sqrt.f64 (*.f64 (PI.f64) n))) (*.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 k 3) (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 3))) (*.f64 1/2 (*.f64 k (log.f64 (*.f64 (PI.f64) n)))))))
(+.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (*.f64 (sqrt.f64 (*.f64 (PI.f64) n)) (-.f64 (*.f64 k (*.f64 (*.f64 k (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 2)) 1/8)) (fma.f64 1/2 (*.f64 k (log.f64 (*.f64 (PI.f64) n))) (*.f64 (pow.f64 k 3) (*.f64 1/48 (pow.f64 (log.f64 (*.f64 (PI.f64) n)) 3)))))))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(pow.f64 (*.f64 n (PI.f64)) (fma.f64 k -1/2 1/2))
(pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k)))
(pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 n)) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (exp.f64 (*.f64 (-.f64 1/2 (*.f64 1/2 k)) (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (exp.f64 (*.f64 (-.f64 1/2 (*.f64 1/2 k)) (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (exp.f64 (*.f64 (-.f64 1/2 (*.f64 1/2 k)) (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (exp.f64 (*.f64 (-.f64 1/2 (*.f64 1/2 k)) (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 1 n))))) (sqrt.f64 (/.f64 1 k)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) n))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (PI.f64) n) (fma.f64 k -1/2 1/2)))

prune127.0ms (2.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New97299
Fresh145
Picked101
Done011
Total997106
Error
0.0b
Counts
106 → 7
Alt Table
StatusErrorProgram
0.5b
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
9.2b
(sqrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (*.f64 2 (fma.f64 k -1/2 1/2))) (pow.f64 k -1)))
0.4b
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
8.3b
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (-.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 1/2 (*.f64 (*.f64 k (log.f64 (*.f64 n (PI.f64)))) (sqrt.f64 (*.f64 n (PI.f64)))))) (pow.f64 k -1/2)))
0.6b
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (*.f64 k -1/2)) (sqrt.f64 (*.f64 (PI.f64) n))) (pow.f64 k -1/2)))
0.5b
(/.f64 (*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (*.f64 k -1/2)) (sqrt.f64 (*.f64 n (*.f64 2 (PI.f64))))) (sqrt.f64 k))
0.9b
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) (*.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
Compiler

Compiled 2780 to 1945 computations (30% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(*.f64 n (*.f64 2 (PI.f64)))
0.2b
(pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))
0.2b
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))
0.2b
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))

series16.0ms (0.3%)

Counts
2 → 24
Calls

12 calls:

TimeVariablePointExpression
5.0ms
k
@0
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))
3.0ms
k
@inf
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))
2.0ms
k
@-inf
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
1.0ms
n
@-inf
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))
1.0ms
n
@inf
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))

rewrite59.0ms (1.1%)

Algorithm
batch-egg-rewrite
Rules
754×log-prod_binary64
262×expm1-udef_binary64
262×log1p-udef_binary64
245×log-pow_binary64
152×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01544
131344
2363944
Stop Event
node limit
Counts
2 → 37
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (*.f64 2 (fma.f64 k -1/2 1/2))) (pow.f64 k -1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 3) (pow.f64 (pow.f64 k -1/2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 3/2) (pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)) 3) (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (fma.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 (PI.f64) (*.f64 n 2))) (*.f64 -1/2 (log.f64 k))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (fma.f64 (fma.f64 k -1/2 1/2) (log.f64 (*.f64 (PI.f64) (*.f64 n 2))) (*.f64 -1/2 (log.f64 k))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) (pow.f64 k -1/2))) (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) (pow.f64 k -1/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) (pow.f64 k -1/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 1/4) (pow.f64 k -1/4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) (pow.f64 k -1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)))) (pow.f64 k -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 3/2) (pow.f64 (pow.f64 k -1/2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 k -1/2) 3) (pow.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2))) 1))))))

simplify55.0ms (1.1%)

Algorithm
egg-herbie
Rules
511×exp-sum_binary64
352×unsub-neg_binary64
342×exp-prod_binary64
227×distribute-rgt-in_binary64
224×distribute-lft-in_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
040708
178708
2168516
3579516
42720516
Stop Event
node limit
Counts
61 → 45
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
Outputs
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 k)) (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 2 (PI.f64))) (log.f64 (/.f64 1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -2 (PI.f64))) (log.f64 (/.f64 -1 n))) (-.f64 1/2 (*.f64 1/2 k)))) k))
(sqrt.f64 (/.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64))))) (+.f64 1/2 (*.f64 -1/2 k))) k))
(sqrt.f64 (/.f64 (exp.f64 (*.f64 (+.f64 1/2 (*.f64 k -1/2)) (+.f64 (log.f64 n) (log.f64 (*.f64 2 (PI.f64)))))) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 n (PI.f64))) (fma.f64 k -1/2 1/2)) k))
(sqrt.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 n) (PI.f64)) (fma.f64 k -1/2 1/2)) k))

prune205.0ms (4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1570157
Fresh055
Picked011
Done011
Total1577164
Error
0.0b
Counts
164 → 7
Alt Table
StatusErrorProgram
0.5b
(*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (*.f64 (sqrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
9.2b
(sqrt.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) (*.f64 n 2)) (*.f64 2 (fma.f64 k -1/2 1/2))) (pow.f64 k -1)))
0.4b
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
8.3b
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (-.f64 (sqrt.f64 (*.f64 n (PI.f64))) (*.f64 1/2 (*.f64 (*.f64 k (log.f64 (*.f64 n (PI.f64)))) (sqrt.f64 (*.f64 n (PI.f64)))))) (pow.f64 k -1/2)))
0.6b
(*.f64 (pow.f64 2 (fma.f64 k -1/2 1/2)) (*.f64 (*.f64 (pow.f64 (*.f64 (PI.f64) n) (*.f64 k -1/2)) (sqrt.f64 (*.f64 (PI.f64) n))) (pow.f64 k -1/2)))
0.5b
(/.f64 (*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (*.f64 k -1/2)) (sqrt.f64 (*.f64 n (*.f64 2 (PI.f64))))) (sqrt.f64 k))
0.9b
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) 2) (*.f64 (cbrt.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2))) (pow.f64 k -1/2)))
Compiler

Compiled 5325 to 3994 computations (25% saved)

regimes286.0ms (5.6%)

Accuracy

Total 0.4b remaining (83%)

Threshold costs 0.4b (83%)

Counts
115 → 1
Compiler

Compiled 2314 to 1591 computations (31.2% saved)

simplify2.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01321
11621
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))
Outputs
(*.f64 (pow.f64 (*.f64 n (*.f64 2 (PI.f64))) (fma.f64 k -1/2 1/2)) (pow.f64 k -1/2))

end143.0ms (2.8%)

Stop Event
fuel
Compiler

Compiled 204 to 157 computations (23% saved)

Profiling

Loading profile data...