sqrt(k / p)

Time bar (total: 1.8s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
100%0%0%100%0%0%0%1
Compiler

Compiled 20 to 16 computations (20% saved)

sample1.1s (57.7%)

Memory
96.3MiB live, 565.6MiB allocated
Samples
595.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 336.0ms
ival-<=: 126.0ms (37.5% of total)
ival-div: 91.0ms (27.1% of total)
ival-sqrt: 68.0ms (20.2% of total)
ival-and: 28.0ms (8.3% of total)
exact: 20.0ms (6% of total)
ival-assert: 3.0ms (0.9% of total)
Bogosity

explain114.0ms (6.1%)

Memory
16.2MiB live, 54.4MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-k
00-0-(/.f64 k p)
00-0-(sqrt.f64 (/.f64 k p))
00-0-p
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
91.0ms512×0valid
Compiler

Compiled 26 to 16 computations (38.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-div: 4.0ms (45.1% of total)
ival-sqrt: 4.0ms (45.1% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess13.0ms (0.7%)

Memory
5.4MiB live, 5.4MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01226
12426
23626
34626
45426
56826
68826
79826
810026
044
064
064
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 k p))
Outputs
(sqrt.f64 (/.f64 k p))
Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.8%
(sqrt.f64 (/.f64 k p))
Compiler

Compiled 4 to 4 computations (0% saved)

simplify2.0ms (0.1%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(/.f64 k p)
cost-diff0
(sqrt.f64 (/.f64 k p))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
049
069
069
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 k p))
(/.f64 k p)
k
p
Outputs
(sqrt.f64 (/.f64 k p))
(/.f64 k p)
k
p

localize14.0ms (0.8%)

Memory
5.0MiB live, 5.0MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(/.f64 k p)
accuracy0.14453125
(sqrt.f64 (/.f64 k p))
Samples
10.0ms256×0valid
Compiler

Compiled 11 to 6 computations (45.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-div: 2.0ms (48.8% of total)
ival-sqrt: 2.0ms (48.8% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series5.0ms (0.2%)

Memory
2.0MiB live, 2.0MiB allocated
Counts
2 → 4
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 k p))
(/.f64 k p)
Outputs
(sqrt (/ k p))
(/ k p)
(* -1 (* (sqrt (/ k p)) (pow (sqrt -1) 2)))
(* (sqrt (/ k p)) (pow (sqrt -1) 2))
Calls

6 calls:

TimeVariablePointExpression
1.0ms
k
@-inf
((sqrt (/ k p)) (/ k p))
1.0ms
k
@inf
((sqrt (/ k p)) (/ k p))
1.0ms
p
@-inf
((sqrt (/ k p)) (/ k p))
1.0ms
k
@0
((sqrt (/ k p)) (/ k p))
0.0ms
p
@0
((sqrt (/ k p)) (/ k p))

simplify7.0ms (0.4%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01020
11616
23816
36816
416516
523116
626716
727816
828016
028016
Stop Event
1×iter limit
1×saturated
Counts
4 → 4
Calls
Call 1
Inputs
(sqrt (/ k p))
(/ k p)
(* -1 (* (sqrt (/ k p)) (pow (sqrt -1) 2)))
(* (sqrt (/ k p)) (pow (sqrt -1) 2))
Outputs
(sqrt (/ k p))
(sqrt.f64 (/.f64 k p))
(/ k p)
(/.f64 k p)
(* -1 (* (sqrt (/ k p)) (pow (sqrt -1) 2)))
(sqrt.f64 (/.f64 k p))
(* (sqrt (/ k p)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (/.f64 k p)))

rewrite78.0ms (4.2%)

Memory
15.9MiB live, 15.9MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047
067
1197
2827
33827
025717
Stop Event
1×iter limit
1×iter limit
1×node limit
1×iter limit
Counts
2 → 234
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 k p))
(/.f64 k p)
Outputs
(*.f64 (*.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) (pow.f64 (/.f64 p k) #s(literal -1/8 binary64))) (pow.f64 (/.f64 p k) #s(literal -1/8 binary64)))
(*.f64 (*.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) (pow.f64 (neg.f64 k) #s(literal 1/4 binary64))) (pow.f64 (neg.f64 p) #s(literal -1/4 binary64)))
(*.f64 (*.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) (pow.f64 p #s(literal -1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (*.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 p #s(literal -1/4 binary64)))
(*.f64 (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (*.f64 (sqrt.f64 k) (pow.f64 p #s(literal -1/4 binary64))) (pow.f64 p #s(literal -1/4 binary64)))
(*.f64 (pow.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -1/2 binary64)) (pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -1/2 binary64)))
(*.f64 (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 (/.f64 k p)))
(*.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 k))) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (sqrt.f64 (sqrt.f64 (/.f64 k p))) (sqrt.f64 (sqrt.f64 (/.f64 k p))))
(*.f64 (pow.f64 (pow.f64 (neg.f64 k) #s(literal 1/4 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (neg.f64 p) #s(literal -1/4 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1/2 binary64)) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal -1 binary64) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (sqrt.f64 k) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 k) p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (/.f64 p k) #s(literal -1/8 binary64)) (*.f64 (pow.f64 (/.f64 p k) #s(literal -1/8 binary64)) (pow.f64 (/.f64 p k) #s(literal -1/4 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(*.f64 (pow.f64 (neg.f64 k) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/4 binary64)) (pow.f64 (/.f64 p k) #s(literal -1/4 binary64))))
(*.f64 (pow.f64 p #s(literal -1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 (/.f64 p k) #s(literal -1/4 binary64))))
(*.f64 (pow.f64 p #s(literal -1/4 binary64)) (*.f64 (pow.f64 p #s(literal -1/4 binary64)) (sqrt.f64 k)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 p #s(literal -1/4 binary64)) (pow.f64 (/.f64 p k) #s(literal -1/4 binary64))))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal -1/2 binary64))))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (sqrt.f64 p)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k)))
(*.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)))
(*.f64 (neg.f64 (sqrt.f64 k)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 k))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 k) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (sqrt.f64 (/.f64 k p)) (pow.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)))
(*.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (/.f64 k p)))
(pow.f64 (*.f64 (/.f64 p k) (/.f64 p k)) #s(literal -1/4 binary64))
(pow.f64 (pow.f64 (/.f64 p k) #s(literal -2 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -1 binary64))
(pow.f64 (/.f64 p k) #s(literal -1/2 binary64))
(pow.f64 (/.f64 k p) #s(literal 1/2 binary64))
(/.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (sqrt.f64 p))
(/.f64 (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 p))
(/.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (pow.f64 p #s(literal 1/4 binary64)))
(/.f64 (neg.f64 (neg.f64 (sqrt.f64 (neg.f64 k)))) (neg.f64 (neg.f64 (sqrt.f64 (neg.f64 p)))))
(/.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))) (neg.f64 (sqrt.f64 (/.f64 (neg.f64 p) k))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64)) (neg.f64 (sqrt.f64 p)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)) (sqrt.f64 (neg.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (neg.f64 k)))) (neg.f64 (sqrt.f64 (neg.f64 p))))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 k))) (neg.f64 (sqrt.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 p)))
(/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (neg.f64 (sqrt.f64 (neg.f64 p))))
(/.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 p)))
(/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (neg.f64 p)))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 p k))))
(/.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 p))))
(neg.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 p k))))
(neg.f64 (/.f64 (sqrt.f64 (neg.f64 k)) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))
(neg.f64 (neg.f64 (sqrt.f64 (/.f64 k p))))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 p))) (neg.f64 (sqrt.f64 (/.f64 k p))))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(sqrt.f64 (/.f64 k p))
(fabs.f64 (sqrt.f64 (/.f64 k p)))
(exp.f64 (-.f64 (*.f64 (log.f64 k) #s(literal 1/2 binary64)) (*.f64 (log.f64 p) #s(literal 1/2 binary64))))
(exp.f64 (fma.f64 #s(literal 1/4 binary64) (log.f64 (/.f64 k p)) (*.f64 #s(literal 1/4 binary64) (log.f64 (/.f64 k p)))))
(exp.f64 (*.f64 (*.f64 #s(literal 1/4 binary64) (log.f64 (/.f64 k p))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 p k) #s(literal -2 binary64))) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 p k)) #s(literal -1/2 binary64)))
(exp.f64 (*.f64 #s(literal -1/2 binary64) (log.f64 (/.f64 p k))))
(*.f64 (/.f64 (neg.f64 k) (neg.f64 (*.f64 p p))) p)
(*.f64 (/.f64 (neg.f64 k) (neg.f64 (pow.f64 p #s(literal 3 binary64)))) (*.f64 p p))
(*.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (pow.f64 (/.f64 p k) #s(literal -1/4 binary64))) (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)))
(*.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (neg.f64 (sqrt.f64 k))) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 (neg.f64 k))) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (pow.f64 p #s(literal -1/2 binary64))) (sqrt.f64 k))
(*.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 k)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (*.f64 k (pow.f64 p #s(literal -1/2 binary64))) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (/.f64 (pow.f64 p #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal -1 binary64))))
(*.f64 (*.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 k))) (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))))
(*.f64 (*.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (neg.f64 k))) (/.f64 #s(literal -1 binary64) p))
(*.f64 (*.f64 (sqrt.f64 k) (sqrt.f64 k)) (pow.f64 p #s(literal -1 binary64)))
(*.f64 (exp.f64 (log.f64 (neg.f64 k))) (exp.f64 (log.f64 (/.f64 #s(literal -1 binary64) p))))
(*.f64 (exp.f64 (log.f64 k)) (pow.f64 p #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) p))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))))
(*.f64 (/.f64 (neg.f64 k) p) #s(literal -1 binary64))
(*.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) (*.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) (sqrt.f64 (/.f64 k p))))
(*.f64 (/.f64 #s(literal -1 binary64) p) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
(*.f64 (neg.f64 (sqrt.f64 k)) (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (sqrt.f64 (/.f64 k p))))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 (/.f64 k p))))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 k) p))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (*.f64 (pow.f64 p #s(literal -1/2 binary64)) k))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 k) (sqrt.f64 (/.f64 k p))))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (/.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal -1 binary64))))
(*.f64 (pow.f64 p #s(literal -1 binary64)) (*.f64 (sqrt.f64 k) (sqrt.f64 k)))
(*.f64 (pow.f64 p #s(literal -1 binary64)) (exp.f64 (log.f64 k)))
(*.f64 (pow.f64 p #s(literal -1 binary64)) k)
(*.f64 #s(literal 1 binary64) (/.f64 k p))
(*.f64 (neg.f64 k) (/.f64 #s(literal -1 binary64) p))
(*.f64 (sqrt.f64 k) (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 (/.f64 k p))))
(*.f64 (sqrt.f64 (/.f64 k p)) (/.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 (/.f64 k p)))
(*.f64 (/.f64 k p) #s(literal 1 binary64))
(*.f64 k (pow.f64 p #s(literal -1 binary64)))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 (/.f64 p k)))
(pow.f64 (*.f64 (pow.f64 (/.f64 p k) #s(literal -2 binary64)) (pow.f64 (/.f64 p k) #s(literal -2 binary64))) #s(literal 1/4 binary64))
(pow.f64 (*.f64 (/.f64 p k) (/.f64 p k)) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (/.f64 p k) #s(literal -2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (/.f64 p k) #s(literal -1/4 binary64)) #s(literal 4 binary64))
(pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -2 binary64))
(pow.f64 (/.f64 p k) #s(literal -1 binary64))
(pow.f64 (sqrt.f64 (/.f64 k p)) #s(literal 2 binary64))
(pow.f64 (/.f64 k p) #s(literal 1 binary64))
(/.f64 (*.f64 (neg.f64 (*.f64 k k)) (/.f64 #s(literal -1 binary64) p)) k)
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (/.f64 #s(literal -1 binary64) p)) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (neg.f64 p))))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 k p))) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 p)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (/.f64 k p))) (sqrt.f64 (neg.f64 p)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 (*.f64 k k))) k)
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(/.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (neg.f64 (sqrt.f64 (neg.f64 k)))) (neg.f64 (sqrt.f64 (neg.f64 p))))
(/.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (sqrt.f64 (/.f64 k p)) #s(literal -1 binary64)) (neg.f64 (sqrt.f64 (/.f64 p k))))
(/.f64 (*.f64 (sqrt.f64 k) (sqrt.f64 (/.f64 k p))) (sqrt.f64 p))
(/.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (neg.f64 (sqrt.f64 k))) (neg.f64 (sqrt.f64 p)))
(/.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 p)))
(/.f64 (*.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 k)) (sqrt.f64 p))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 p k) #s(literal -2 binary64))) (/.f64 (neg.f64 k) p))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (/.f64 p k) #s(literal -2 binary64)) (*.f64 #s(literal 0 binary64) (/.f64 (neg.f64 k) p)))))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (*.f64 k k))) (*.f64 p k))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 p (*.f64 k k)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (*.f64 k k))) (*.f64 (neg.f64 p) k))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 (neg.f64 p) (*.f64 k k)))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (neg.f64 (sqrt.f64 (neg.f64 k)))) (*.f64 (neg.f64 (sqrt.f64 (neg.f64 p))) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (neg.f64 (sqrt.f64 (neg.f64 p))) (sqrt.f64 (/.f64 (neg.f64 p) k))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (neg.f64 (sqrt.f64 k))) (*.f64 (neg.f64 (sqrt.f64 (neg.f64 p))) (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 k))) (*.f64 (neg.f64 (sqrt.f64 (neg.f64 p))) (sqrt.f64 (neg.f64 p))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) #s(literal -1 binary64)) (*.f64 (neg.f64 (sqrt.f64 (neg.f64 p))) (neg.f64 (sqrt.f64 (/.f64 p k)))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) #s(literal 1 binary64)) (*.f64 (neg.f64 (sqrt.f64 (neg.f64 p))) (sqrt.f64 (/.f64 p k))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (sqrt.f64 k)) (*.f64 (neg.f64 (sqrt.f64 (neg.f64 p))) (sqrt.f64 p)))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 (sqrt.f64 (neg.f64 k)))) (*.f64 (sqrt.f64 (/.f64 (neg.f64 p) k)) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 (/.f64 (neg.f64 p) k)) (sqrt.f64 (/.f64 (neg.f64 p) k))))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 (sqrt.f64 (/.f64 (neg.f64 p) k)) (neg.f64 (sqrt.f64 (/.f64 p k)))))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 1 binary64)) (*.f64 (sqrt.f64 (/.f64 (neg.f64 p) k)) (sqrt.f64 (/.f64 p k))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 (neg.f64 k)))) (*.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 (/.f64 (neg.f64 p) k))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 k))) (*.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) (sqrt.f64 (neg.f64 k))) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 (neg.f64 p))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (*.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 (/.f64 p k)))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64)) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 (/.f64 p k))))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 k)) (sqrt.f64 k)) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 p)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) (neg.f64 (sqrt.f64 (neg.f64 k)))) (*.f64 (sqrt.f64 (neg.f64 p)) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 (/.f64 (neg.f64 p) k))))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) (neg.f64 (sqrt.f64 k))) (*.f64 (sqrt.f64 (neg.f64 p)) (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (neg.f64 k))) (*.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 (neg.f64 p))))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal -1 binary64)) (*.f64 (sqrt.f64 (neg.f64 p)) (neg.f64 (sqrt.f64 (/.f64 p k)))))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)) (*.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 (/.f64 p k))))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)) (*.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 p)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (neg.f64 k)))) (*.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(/.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) (sqrt.f64 (/.f64 (neg.f64 p) k))))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (neg.f64 k)))) (*.f64 (sqrt.f64 (/.f64 p k)) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 (/.f64 p k)) (sqrt.f64 (/.f64 (neg.f64 p) k))))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 k))) (*.f64 (sqrt.f64 (/.f64 p k)) (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (*.f64 (sqrt.f64 (/.f64 p k)) (sqrt.f64 (neg.f64 p))))
(/.f64 (*.f64 (sqrt.f64 k) (neg.f64 (sqrt.f64 (neg.f64 k)))) (*.f64 (sqrt.f64 p) (neg.f64 (sqrt.f64 (neg.f64 p)))))
(/.f64 (*.f64 (sqrt.f64 k) (neg.f64 (sqrt.f64 k))) (*.f64 (sqrt.f64 p) (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 k))) (*.f64 (sqrt.f64 p) (sqrt.f64 (neg.f64 p))))
(/.f64 (*.f64 (sqrt.f64 k) (sqrt.f64 k)) (*.f64 (sqrt.f64 p) (sqrt.f64 p)))
(/.f64 (*.f64 (neg.f64 (*.f64 k k)) #s(literal -1 binary64)) (*.f64 k p))
(/.f64 (*.f64 (neg.f64 (*.f64 k k)) #s(literal 1 binary64)) (*.f64 k (neg.f64 p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) #s(literal -1 binary64)) (*.f64 (*.f64 k k) p))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) #s(literal 1 binary64)) (*.f64 (*.f64 k k) (neg.f64 p)))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (/.f64 (neg.f64 p) k)) (neg.f64 p)) (*.f64 (neg.f64 p) (/.f64 (neg.f64 p) k)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 p) (neg.f64 k))) (*.f64 (neg.f64 p) p))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 p) k)) (*.f64 p p))
(/.f64 (exp.f64 (log.f64 #s(literal -1 binary64))) (exp.f64 (log.f64 (/.f64 (neg.f64 p) k))))
(/.f64 (exp.f64 (log.f64 (neg.f64 k))) (exp.f64 (log.f64 (neg.f64 p))))
(/.f64 (exp.f64 (log.f64 k)) p)
(/.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 p k))))
(/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (*.f64 (neg.f64 p) (*.f64 k k)))
(/.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (*.f64 (sqrt.f64 (/.f64 (neg.f64 p) k)) (neg.f64 (sqrt.f64 p))))
(/.f64 (neg.f64 (sqrt.f64 (neg.f64 k))) (*.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) (sqrt.f64 (neg.f64 p))))
(/.f64 (/.f64 (neg.f64 k) p) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) p) (/.f64 #s(literal -1 binary64) k))
(/.f64 (neg.f64 (sqrt.f64 k)) (*.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) (sqrt.f64 p)))
(/.f64 (neg.f64 (sqrt.f64 k)) (*.f64 (sqrt.f64 p) (neg.f64 (sqrt.f64 (/.f64 p k)))))
(/.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (sqrt.f64 (/.f64 (neg.f64 p) k)) (sqrt.f64 p)))
(/.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (sqrt.f64 p) (sqrt.f64 (/.f64 (neg.f64 p) k))))
(/.f64 #s(literal -1 binary64) (*.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) (sqrt.f64 (/.f64 p k))))
(/.f64 #s(literal -1 binary64) (*.f64 (sqrt.f64 (/.f64 p k)) (neg.f64 (sqrt.f64 (/.f64 p k)))))
(/.f64 #s(literal -1 binary64) (/.f64 (neg.f64 p) k))
(/.f64 (pow.f64 p #s(literal -1 binary64)) (pow.f64 k #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) (neg.f64 (sqrt.f64 (/.f64 p k)))))
(/.f64 #s(literal 1 binary64) (/.f64 p k))
(/.f64 (neg.f64 k) (neg.f64 p))
(/.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 (/.f64 (neg.f64 p) k)) (sqrt.f64 (neg.f64 p))))
(/.f64 (sqrt.f64 k) (*.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) (neg.f64 (sqrt.f64 p))))
(/.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 (/.f64 p k)) (sqrt.f64 p)))
(/.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 p) (sqrt.f64 (/.f64 p k))))
(/.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 (/.f64 p k)))
(/.f64 (/.f64 k p) #s(literal 1 binary64))
(/.f64 k p)
(neg.f64 (/.f64 (neg.f64 k) p))
(fma.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 0 binary64) (/.f64 k p))
(-.f64 #s(literal 0 binary64) (/.f64 (neg.f64 k) p))
(sqrt.f64 (pow.f64 (/.f64 p k) #s(literal -2 binary64)))
(exp.f64 (fma.f64 #s(literal -1/2 binary64) (log.f64 (/.f64 p k)) (*.f64 #s(literal -1/2 binary64) (log.f64 (/.f64 p k)))))
(exp.f64 (log.f64 (/.f64 k p)))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 0 binary64)) (/.f64 k p))
(+.f64 #s(literal 0 binary64) (/.f64 k p))

eval47.0ms (2.6%)

Memory
-59.4MiB live, 17.7MiB allocated
Compiler

Compiled 2 633 to 662 computations (74.9% saved)

prune7.0ms (0.4%)

Memory
11.8MiB live, 11.8MiB allocated
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2289237
Fresh000
Picked011
Done000
Total22810238
Accuracy
100.0%
Counts
238 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.5%
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
▶99.6%
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
99.4%
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 k))
▶99.3%
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
99.6%
(sqrt.f64 (/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 p) k)) (*.f64 p p)))
▶99.6%
(sqrt.f64 (/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k)))
✓99.8%
(sqrt.f64 (/.f64 k p))
99.7%
(sqrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 p k)))
99.7%
(sqrt.f64 (*.f64 (/.f64 (neg.f64 k) (neg.f64 (*.f64 p p))) p))
▶99.7%
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
Compiler

Compiled 142 to 130 computations (8.5% saved)

simplify116.0ms (6.2%)

Memory
17.5MiB live, 17.5MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 18 expressions of interest:

NewMetricScoreProgram
cost-diff0
(neg.f64 (sqrt.f64 k))
cost-diff0
(sqrt.f64 p)
cost-diff0
(/.f64 #s(literal -1 binary64) (sqrt.f64 p))
cost-diff3
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
cost-diff0
(*.f64 k k)
cost-diff0
(neg.f64 (*.f64 k k))
cost-diff0
(sqrt.f64 (/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k)))
cost-diff6
(/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k))
cost-diff0
(/.f64 p k)
cost-diff0
(sqrt.f64 (/.f64 p k))
cost-diff0
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
cost-diff0
(sqrt.f64 p)
cost-diff0
(sqrt.f64 k)
cost-diff0
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
cost-diff0
(neg.f64 k)
cost-diff0
(/.f64 #s(literal -1 binary64) p)
cost-diff0
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
cost-diff3
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
023104
04295
17191
217083
346283
4168683
5327083
6485283
7582483
8654383
9734483
0827083
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
(/.f64 #s(literal -1 binary64) p)
#s(literal -1 binary64)
p
(neg.f64 k)
k
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(sqrt.f64 k)
k
(sqrt.f64 p)
p
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
#s(literal 1 binary64)
(sqrt.f64 (/.f64 p k))
(/.f64 p k)
p
k
(sqrt.f64 (/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k))
(neg.f64 (*.f64 k k))
(*.f64 k k)
k
(*.f64 (neg.f64 p) k)
(neg.f64 p)
p
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(/.f64 #s(literal -1 binary64) (sqrt.f64 p))
#s(literal -1 binary64)
(sqrt.f64 p)
p
(neg.f64 (sqrt.f64 k))
(sqrt.f64 k)
k
Outputs
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
(sqrt.f64 (/.f64 k p))
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
(/.f64 k p)
(/.f64 #s(literal -1 binary64) p)
#s(literal -1 binary64)
p
(neg.f64 k)
k
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(sqrt.f64 k)
k
(sqrt.f64 p)
p
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
#s(literal 1 binary64)
(sqrt.f64 (/.f64 p k))
(/.f64 p k)
p
k
(sqrt.f64 (/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k)))
(sqrt.f64 (/.f64 k p))
(/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k))
(/.f64 k p)
(neg.f64 (*.f64 k k))
(*.f64 (neg.f64 k) k)
(*.f64 k k)
k
(*.f64 (neg.f64 p) k)
(neg.f64 p)
p
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(/.f64 #s(literal -1 binary64) (sqrt.f64 p))
#s(literal -1 binary64)
(sqrt.f64 p)
p
(neg.f64 (sqrt.f64 k))
(sqrt.f64 k)
k

localize58.0ms (3.1%)

Memory
24.9MiB live, 24.9MiB allocated
Localize:

Found 18 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(sqrt.f64 k)
accuracy0.0
(neg.f64 (sqrt.f64 k))
accuracy0.25
(/.f64 #s(literal -1 binary64) (sqrt.f64 p))
accuracy0.37337875976844204
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
accuracy0.0
(neg.f64 (*.f64 k k))
accuracy0.0
(neg.f64 p)
accuracy0.14453125
(sqrt.f64 (/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k)))
accuracy0.375
(/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k))
accuracy0.0
(/.f64 p k)
accuracy0.1328125
(sqrt.f64 (/.f64 p k))
accuracy0.2734375
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
accuracy0.0
(sqrt.f64 p)
accuracy0.0
(sqrt.f64 k)
accuracy0.33822250976844204
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
accuracy0.0
(/.f64 #s(literal -1 binary64) p)
accuracy0.0
(neg.f64 k)
accuracy0.14453125
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
accuracy0.265625
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
Samples
42.0ms256×0valid
Compiler

Compiled 106 to 25 computations (76.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.0ms
ival-div: 10.0ms (36% of total)
ival-sqrt: 7.0ms (25.2% of total)
ival-mult: 6.0ms (21.6% of total)
ival-neg: 4.0ms (14.4% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series14.0ms (0.7%)

Memory
7.0MiB live, 7.0MiB allocated
Counts
18 → 21
Calls
Call 1
Inputs
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
(/.f64 #s(literal -1 binary64) p)
(neg.f64 k)
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(sqrt.f64 k)
(sqrt.f64 p)
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(sqrt.f64 (/.f64 p k))
(/.f64 p k)
(/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k))
(sqrt.f64 (/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k)))
(neg.f64 (*.f64 k k))
(*.f64 k k)
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(/.f64 #s(literal -1 binary64) (sqrt.f64 p))
(neg.f64 (sqrt.f64 k))
(neg.f64 p)
Outputs
(/ k p)
(sqrt (/ k p))
(* -1 k)
(sqrt k)
(sqrt (/ p k))
(/ p k)
(* -1 (pow k 2))
(pow k 2)
(* -1 (sqrt k))
(* -1 (* (sqrt (/ k p)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt k) (pow (sqrt -1) 2)))
(* -1 (sqrt (/ k p)))
(* (sqrt (/ p k)) (pow (sqrt -1) 2))
(* (sqrt k) (pow (sqrt -1) 2))
(/ -1 p)
(sqrt p)
(* -1 (sqrt (/ 1 p)))
(* -1 p)
(* (sqrt (/ k p)) (pow (sqrt -1) 2))
(* -1 (* (sqrt p) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (/ p k)) (pow (sqrt -1) 2)))
Calls

6 calls:

TimeVariablePointExpression
3.0ms
k
@-inf
((* (/ -1 p) (neg k)) (sqrt (* (/ -1 p) (neg k))) (/ -1 p) (neg k) (/ (sqrt k) (sqrt p)) (sqrt k) (sqrt p) (/ 1 (sqrt (/ p k))) (sqrt (/ p k)) (/ p k) (/ (neg (* k k)) (* (neg p) k)) (sqrt (/ (neg (* k k)) (* (neg p) k))) (neg (* k k)) (* k k) (* (/ -1 (sqrt p)) (neg (sqrt k))) (/ -1 (sqrt p)) (neg (sqrt k)) (neg p))
3.0ms
p
@-inf
((* (/ -1 p) (neg k)) (sqrt (* (/ -1 p) (neg k))) (/ -1 p) (neg k) (/ (sqrt k) (sqrt p)) (sqrt k) (sqrt p) (/ 1 (sqrt (/ p k))) (sqrt (/ p k)) (/ p k) (/ (neg (* k k)) (* (neg p) k)) (sqrt (/ (neg (* k k)) (* (neg p) k))) (neg (* k k)) (* k k) (* (/ -1 (sqrt p)) (neg (sqrt k))) (/ -1 (sqrt p)) (neg (sqrt k)) (neg p))
2.0ms
p
@inf
((* (/ -1 p) (neg k)) (sqrt (* (/ -1 p) (neg k))) (/ -1 p) (neg k) (/ (sqrt k) (sqrt p)) (sqrt k) (sqrt p) (/ 1 (sqrt (/ p k))) (sqrt (/ p k)) (/ p k) (/ (neg (* k k)) (* (neg p) k)) (sqrt (/ (neg (* k k)) (* (neg p) k))) (neg (* k k)) (* k k) (* (/ -1 (sqrt p)) (neg (sqrt k))) (/ -1 (sqrt p)) (neg (sqrt k)) (neg p))
2.0ms
k
@0
((* (/ -1 p) (neg k)) (sqrt (* (/ -1 p) (neg k))) (/ -1 p) (neg k) (/ (sqrt k) (sqrt p)) (sqrt k) (sqrt p) (/ 1 (sqrt (/ p k))) (sqrt (/ p k)) (/ p k) (/ (neg (* k k)) (* (neg p) k)) (sqrt (/ (neg (* k k)) (* (neg p) k))) (neg (* k k)) (* k k) (* (/ -1 (sqrt p)) (neg (sqrt k))) (/ -1 (sqrt p)) (neg (sqrt k)) (neg p))
2.0ms
p
@0
((* (/ -1 p) (neg k)) (sqrt (* (/ -1 p) (neg k))) (/ -1 p) (neg k) (/ (sqrt k) (sqrt p)) (sqrt k) (sqrt p) (/ 1 (sqrt (/ p k))) (sqrt (/ p k)) (/ p k) (/ (neg (* k k)) (* (neg p) k)) (sqrt (/ (neg (* k k)) (* (neg p) k))) (neg (* k k)) (* k k) (* (/ -1 (sqrt p)) (neg (sqrt k))) (/ -1 (sqrt p)) (neg (sqrt k)) (neg p))

simplify18.0ms (1%)

Memory
1.9MiB live, 1.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03182
16570
213770
324970
455570
577670
690970
796070
897270
997470
097470
Stop Event
1×iter limit
1×saturated
Counts
21 → 21
Calls
Call 1
Inputs
(/ k p)
(sqrt (/ k p))
(* -1 k)
(sqrt k)
(sqrt (/ p k))
(/ p k)
(* -1 (pow k 2))
(pow k 2)
(* -1 (sqrt k))
(* -1 (* (sqrt (/ k p)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt k) (pow (sqrt -1) 2)))
(* -1 (sqrt (/ k p)))
(* (sqrt (/ p k)) (pow (sqrt -1) 2))
(* (sqrt k) (pow (sqrt -1) 2))
(/ -1 p)
(sqrt p)
(* -1 (sqrt (/ 1 p)))
(* -1 p)
(* (sqrt (/ k p)) (pow (sqrt -1) 2))
(* -1 (* (sqrt p) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (/ p k)) (pow (sqrt -1) 2)))
Outputs
(/ k p)
(/.f64 k p)
(sqrt (/ k p))
(sqrt.f64 (/.f64 k p))
(* -1 k)
(neg.f64 k)
(sqrt k)
(sqrt.f64 k)
(sqrt (/ p k))
(sqrt.f64 (/.f64 p k))
(/ p k)
(/.f64 p k)
(* -1 (pow k 2))
(*.f64 (neg.f64 k) k)
(pow k 2)
(*.f64 k k)
(* -1 (sqrt k))
(neg.f64 (sqrt.f64 k))
(* -1 (* (sqrt (/ k p)) (pow (sqrt -1) 2)))
(sqrt.f64 (/.f64 k p))
(* -1 (* (sqrt k) (pow (sqrt -1) 2)))
(sqrt.f64 k)
(* -1 (sqrt (/ k p)))
(neg.f64 (sqrt.f64 (/.f64 k p)))
(* (sqrt (/ p k)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (/.f64 p k)))
(* (sqrt k) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 k))
(/ -1 p)
(/.f64 #s(literal -1 binary64) p)
(sqrt p)
(sqrt.f64 p)
(* -1 (sqrt (/ 1 p)))
(neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) p)))
(* -1 p)
(neg.f64 p)
(* (sqrt (/ k p)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (/.f64 k p)))
(* -1 (* (sqrt p) (pow (sqrt -1) 2)))
(sqrt.f64 p)
(* -1 (* (sqrt (/ p k)) (pow (sqrt -1) 2)))
(sqrt.f64 (/.f64 p k))

rewrite164.0ms (8.8%)

Memory
-147.5MiB live, 24.9MiB allocated
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02383
04279
112058
257758
0385058
Stop Event
1×iter limit
1×iter limit
1×node limit
1×iter limit
Counts
18 → 1 252
Calls
Call 1
Inputs
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
(/.f64 #s(literal -1 binary64) p)
(neg.f64 k)
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(sqrt.f64 k)
(sqrt.f64 p)
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(sqrt.f64 (/.f64 p k))
(/.f64 p k)
(/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k))
(sqrt.f64 (/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k)))
(neg.f64 (*.f64 k k))
(*.f64 k k)
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(/.f64 #s(literal -1 binary64) (sqrt.f64 p))
(neg.f64 (sqrt.f64 k))
(neg.f64 p)
Outputs
(*.f64 (/.f64 (*.f64 (/.f64 (neg.f64 k) p) k) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(*.f64 (/.f64 (*.f64 (/.f64 (neg.f64 k) p) k) (*.f64 (neg.f64 k) k)) k)
(*.f64 (/.f64 (neg.f64 k) (neg.f64 (*.f64 p p))) p)
(*.f64 (/.f64 (neg.f64 k) (neg.f64 (pow.f64 p #s(literal 3 binary64)))) (*.f64 p p))
(*.f64 (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) #s(literal -1 binary64)) (*.f64 k k))
(*.f64 (/.f64 (*.f64 k k) #s(literal -1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) p) k))
(*.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64)) (*.f64 k k))
(*.f64 (/.f64 #s(literal -1 binary64) k) (pow.f64 (/.f64 (/.f64 (neg.f64 p) k) k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) k) (*.f64 (/.f64 (neg.f64 k) p) k))
(*.f64 (*.f64 (/.f64 (neg.f64 k) p) k) (/.f64 #s(literal -1 binary64) k))
(*.f64 (*.f64 (/.f64 k p) k) (pow.f64 k #s(literal -1 binary64)))
(*.f64 (/.f64 (neg.f64 k) p) #s(literal -1 binary64))
(*.f64 (pow.f64 k #s(literal -1 binary64)) (*.f64 (/.f64 k p) k))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (pow.f64 (/.f64 (/.f64 #s(literal -1 binary64) k) k) #s(literal -1 binary64)))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (*.f64 (neg.f64 k) k))
(*.f64 (pow.f64 p #s(literal -1 binary64)) (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1 binary64)) k)
(*.f64 (/.f64 k p) #s(literal 1 binary64))
(*.f64 (*.f64 (neg.f64 k) k) (/.f64 (/.f64 #s(literal -1 binary64) p) k))
(*.f64 (*.f64 k k) (*.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) p) k)))
(*.f64 (*.f64 k k) (pow.f64 (*.f64 k p) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (/.f64 k p))
(*.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 (/.f64 k p)))
(*.f64 (neg.f64 k) (*.f64 (/.f64 (neg.f64 k) p) (pow.f64 k #s(literal -1 binary64))))
(*.f64 (neg.f64 k) (*.f64 (neg.f64 k) (pow.f64 (*.f64 k p) #s(literal -1 binary64))))
(*.f64 (neg.f64 k) (/.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 1 binary64)))
(*.f64 (neg.f64 k) (/.f64 #s(literal -1 binary64) p))
(*.f64 k (/.f64 (pow.f64 p #s(literal -1 binary64)) #s(literal 1 binary64)))
(*.f64 k (pow.f64 p #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) p) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
(*.f64 #s(literal -1 binary64) (/.f64 (/.f64 (neg.f64 k) p) #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 k) p))
(pow.f64 (/.f64 k p) #s(literal 1 binary64))
(pow.f64 (/.f64 p k) #s(literal -1 binary64))
(/.f64 (*.f64 (pow.f64 k #s(literal -1 binary64)) (*.f64 (neg.f64 k) k)) (neg.f64 p))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) p) k)) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) p) k)) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) k) (*.f64 k k)) (neg.f64 p))
(/.f64 (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 k k))
(/.f64 (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (*.f64 (pow.f64 p #s(literal -1 binary64)) (*.f64 k k)) k)
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (neg.f64 k) p) (/.f64 (neg.f64 k) p))) (+.f64 #s(literal 0 binary64) (/.f64 (neg.f64 k) p)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 (neg.f64 k) p) (/.f64 (neg.f64 k) p) (*.f64 #s(literal 0 binary64) (/.f64 (neg.f64 k) p)))))
(/.f64 (/.f64 (*.f64 k k) #s(literal -1 binary64)) (*.f64 (neg.f64 p) k))
(/.f64 (*.f64 (pow.f64 k #s(literal -1 binary64)) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 (neg.f64 p) (*.f64 k k)))
(/.f64 (*.f64 (pow.f64 k #s(literal -1 binary64)) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (*.f64 (neg.f64 p) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 k k)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (*.f64 (*.f64 (neg.f64 p) k) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (pow.f64 k #s(literal 3 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (*.f64 k (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 (*.f64 k p) (*.f64 k k)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (*.f64 (*.f64 k p) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (pow.f64 k #s(literal -1 binary64))) (*.f64 (*.f64 k k) (neg.f64 p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (/.f64 #s(literal -1 binary64) p)) (pow.f64 k #s(literal 3 binary64)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (pow.f64 k #s(literal -1 binary64))) (*.f64 (pow.f64 k #s(literal 4 binary64)) (neg.f64 p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (/.f64 #s(literal -1 binary64) p)) (*.f64 (pow.f64 k #s(literal 4 binary64)) k))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 (neg.f64 p) (*.f64 k k)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 p (*.f64 k k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) #s(literal 1 binary64)) (*.f64 (*.f64 k k) (neg.f64 p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (/.f64 #s(literal -1 binary64) p)) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) #s(literal -1 binary64)) (*.f64 (*.f64 k k) p))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) #s(literal 1 binary64)) (*.f64 (*.f64 k k) (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) #s(literal -1 binary64)) (*.f64 (*.f64 k k) (*.f64 k p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) #s(literal 1 binary64)) (*.f64 (pow.f64 k #s(literal 4 binary64)) (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) #s(literal -1 binary64)) (*.f64 (pow.f64 k #s(literal 4 binary64)) (*.f64 k p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) k) (*.f64 (*.f64 k k) (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (*.f64 (neg.f64 k) k) k) (*.f64 k (*.f64 (neg.f64 p) k)))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (neg.f64 p)) (*.f64 (*.f64 (neg.f64 p) k) k)) (*.f64 (*.f64 (neg.f64 p) k) (neg.f64 p)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 (/.f64 (neg.f64 k) p) k))) (*.f64 (*.f64 (neg.f64 p) k) k))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (*.f64 k p)) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 (neg.f64 k) k))) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 k p)))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (*.f64 (neg.f64 p) k)) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 k k))) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 (neg.f64 p) k)))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (/.f64 (neg.f64 p) k)) (*.f64 (neg.f64 p) k)) (*.f64 (*.f64 (neg.f64 p) k) (/.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 k k)))
(/.f64 (/.f64 #s(literal -1 binary64) k) (/.f64 (/.f64 (neg.f64 p) k) k))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (*.f64 (neg.f64 p) (*.f64 k k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (*.f64 (*.f64 (neg.f64 p) k) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (/.f64 (neg.f64 k) p) k) (neg.f64 k))
(/.f64 (*.f64 (/.f64 k p) k) k)
(/.f64 (/.f64 (neg.f64 k) p) #s(literal -1 binary64))
(/.f64 (pow.f64 k #s(literal -1 binary64)) (/.f64 (/.f64 p k) k))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (/.f64 (/.f64 #s(literal -1 binary64) k) k))
(/.f64 (pow.f64 p #s(literal -1 binary64)) (pow.f64 k #s(literal -1 binary64)))
(/.f64 (/.f64 k p) #s(literal 1 binary64))
(/.f64 (*.f64 (neg.f64 k) k) (*.f64 (neg.f64 p) k))
(/.f64 (*.f64 k k) (*.f64 k p))
(/.f64 #s(literal 1 binary64) (/.f64 p k))
(/.f64 (neg.f64 k) (neg.f64 p))
(/.f64 k p)
(/.f64 (/.f64 #s(literal -1 binary64) p) (/.f64 #s(literal -1 binary64) k))
(/.f64 #s(literal -1 binary64) (/.f64 (neg.f64 p) k))
(neg.f64 (/.f64 (/.f64 (neg.f64 k) p) #s(literal 1 binary64)))
(neg.f64 (/.f64 (neg.f64 k) p))
(fma.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) #s(literal 0 binary64) (/.f64 k p))
(fma.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 0 binary64) (/.f64 k p))
(-.f64 #s(literal 0 binary64) (/.f64 (/.f64 (neg.f64 k) p) #s(literal 1 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 (neg.f64 k) p))
(exp.f64 (*.f64 (log.f64 (/.f64 p k)) #s(literal -1 binary64)))
(+.f64 (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) #s(literal 0 binary64)) (/.f64 k p))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 0 binary64)) (/.f64 k p))
(+.f64 #s(literal 0 binary64) (/.f64 k p))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 k))
(*.f64 (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 k) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 k)) (/.f64 k (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 k)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) k)) (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)))
(*.f64 (sqrt.f64 (/.f64 (neg.f64 k) p)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (pow.f64 #s(literal -1 binary64) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal 1/2 binary64)) (pow.f64 (*.f64 (/.f64 (neg.f64 k) p) k) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (/.f64 k (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (sqrt.f64 k) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 k (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 k) p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal -1/2 binary64))))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (sqrt.f64 p)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(*.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k))
(*.f64 (sqrt.f64 (neg.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 k))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (sqrt.f64 k)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (/.f64 (sqrt.f64 k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 k p)) (/.f64 (sqrt.f64 k) (sqrt.f64 k)))
(*.f64 (sqrt.f64 (/.f64 k p)) (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 k) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 k (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 k p))))
(*.f64 k (sqrt.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64))))
(*.f64 k (pow.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(pow.f64 (exp.f64 (log.f64 (/.f64 k p))) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (/.f64 k p) (/.f64 k p)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (/.f64 k p) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -1 binary64))
(pow.f64 (/.f64 p k) #s(literal -1/2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)))
(/.f64 (/.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(/.f64 (*.f64 (neg.f64 k) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) (sqrt.f64 k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) k)
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 k)) (sqrt.f64 k))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(/.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) #s(literal 1 binary64)) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)) (sqrt.f64 (neg.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 p)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))))) (+.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))) (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))))
(/.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (sqrt.f64 p))
(/.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (pow.f64 p #s(literal 1/4 binary64)))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(/.f64 (neg.f64 (/.f64 k (sqrt.f64 p))) (neg.f64 (sqrt.f64 k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal 1 binary64)) (*.f64 k (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal -1 binary64)) (*.f64 k (sqrt.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (sqrt.f64 p) k))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 p))) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k))) (*.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 p))))
(/.f64 (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)) (sqrt.f64 (neg.f64 k)))
(/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k))))
(/.f64 (/.f64 k (sqrt.f64 p)) (sqrt.f64 k))
(/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (neg.f64 p)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(/.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal -1/2 binary64)))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 p)))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 k) (/.f64 k (sqrt.f64 p))))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(/.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(/.f64 (neg.f64 k) (neg.f64 (sqrt.f64 (*.f64 k p))))
(/.f64 (neg.f64 k) (*.f64 (sqrt.f64 k) (neg.f64 (sqrt.f64 p))))
(/.f64 (neg.f64 k) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k)))
(/.f64 k (sqrt.f64 (*.f64 k p)))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 p k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(neg.f64 (neg.f64 (sqrt.f64 (/.f64 k p))))
(fma.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(sqrt.f64 (/.f64 k p))
(exp.f64 (-.f64 (*.f64 (log.f64 k) #s(literal 1/2 binary64)) (*.f64 (log.f64 p) #s(literal 1/2 binary64))))
(exp.f64 (neg.f64 (log.f64 (sqrt.f64 (/.f64 p k)))))
(exp.f64 (*.f64 (log.f64 (/.f64 p k)) #s(literal -1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 k p)) #s(literal 1/2 binary64)))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64)) (sqrt.f64 (/.f64 k p)))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 p p))) p)
(*.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 p #s(literal 3 binary64)))) (*.f64 p p))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) k)
(*.f64 (pow.f64 p #s(literal -1 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) p))
(*.f64 k (/.f64 (/.f64 #s(literal -1 binary64) p) k))
(*.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (pow.f64 p #s(literal -1 binary64)))
(pow.f64 (neg.f64 p) #s(literal -1 binary64))
(/.f64 (/.f64 (neg.f64 k) p) k)
(/.f64 (pow.f64 p #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (/.f64 k p) (neg.f64 k))
(/.f64 #s(literal 1 binary64) (neg.f64 p))
(/.f64 (neg.f64 k) (*.f64 k p))
(/.f64 k (*.f64 (neg.f64 p) k))
(/.f64 #s(literal -1 binary64) p)
(neg.f64 (pow.f64 p #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (pow.f64 p #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 p)) #s(literal -1 binary64)))
(*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 k k)))
(*.f64 (*.f64 (neg.f64 k) k) (pow.f64 k #s(literal -1 binary64)))
(*.f64 (*.f64 k k) (/.f64 #s(literal -1 binary64) k))
(*.f64 #s(literal 1 binary64) (neg.f64 k))
(*.f64 (neg.f64 k) #s(literal 1 binary64))
(*.f64 k #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) k)
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 k) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (*.f64 k k) (*.f64 #s(literal 0 binary64) (neg.f64 k)))))
(/.f64 (neg.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 (neg.f64 k) k))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) #s(literal 1 binary64)) (*.f64 k k))
(/.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (pow.f64 k #s(literal 3 binary64)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (*.f64 k k))
(/.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (*.f64 k (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (neg.f64 k) k) k)
(/.f64 (*.f64 k k) (neg.f64 k))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 k k) (neg.f64 (pow.f64 k #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) k))
(/.f64 (neg.f64 k) #s(literal 1 binary64))
(/.f64 k #s(literal -1 binary64))
(neg.f64 k)
(fma.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 k k)) #s(literal 0 binary64))
(fma.f64 (*.f64 (neg.f64 k) k) (pow.f64 k #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 k k) (/.f64 #s(literal -1 binary64) k) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 k) #s(literal 0 binary64))
(fma.f64 (neg.f64 k) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 k #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) k #s(literal 0 binary64))
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 k k)) (/.f64 (pow.f64 k #s(literal 3 binary64)) (*.f64 k k)))
(-.f64 #s(literal 0 binary64) k)
(+.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (sqrt.f64 k)) (sqrt.f64 k)))
(+.f64 #s(literal 0 binary64) (neg.f64 k))
(+.f64 (neg.f64 k) #s(literal 0 binary64))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 k))
(*.f64 (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 k) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 k)) (/.f64 k (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 k)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) k)) (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)))
(*.f64 (sqrt.f64 (/.f64 (neg.f64 k) p)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (pow.f64 #s(literal -1 binary64) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal 1/2 binary64)) (pow.f64 (*.f64 (/.f64 (neg.f64 k) p) k) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (/.f64 k (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (sqrt.f64 k) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 k (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 k) p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal -1/2 binary64))))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (sqrt.f64 p)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(*.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k))
(*.f64 (sqrt.f64 (neg.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 k))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (sqrt.f64 k)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (/.f64 (sqrt.f64 k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 k p)) (/.f64 (sqrt.f64 k) (sqrt.f64 k)))
(*.f64 (sqrt.f64 (/.f64 k p)) (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 k) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 k (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 k p))))
(*.f64 k (sqrt.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64))))
(*.f64 k (pow.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(pow.f64 (exp.f64 (log.f64 (/.f64 k p))) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (/.f64 k p) (/.f64 k p)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (/.f64 k p) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -1 binary64))
(pow.f64 (/.f64 p k) #s(literal -1/2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)))
(/.f64 (/.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(/.f64 (*.f64 (neg.f64 k) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) (sqrt.f64 k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) k)
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 k)) (sqrt.f64 k))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(/.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) #s(literal 1 binary64)) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)) (sqrt.f64 (neg.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 p)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))))) (+.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))) (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))))
(/.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (sqrt.f64 p))
(/.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (pow.f64 p #s(literal 1/4 binary64)))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(/.f64 (neg.f64 (/.f64 k (sqrt.f64 p))) (neg.f64 (sqrt.f64 k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal 1 binary64)) (*.f64 k (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal -1 binary64)) (*.f64 k (sqrt.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (sqrt.f64 p) k))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 p))) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k))) (*.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 p))))
(/.f64 (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)) (sqrt.f64 (neg.f64 k)))
(/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k))))
(/.f64 (/.f64 k (sqrt.f64 p)) (sqrt.f64 k))
(/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (neg.f64 p)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(/.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal -1/2 binary64)))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 p)))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 k) (/.f64 k (sqrt.f64 p))))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(/.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(/.f64 (neg.f64 k) (neg.f64 (sqrt.f64 (*.f64 k p))))
(/.f64 (neg.f64 k) (*.f64 (sqrt.f64 k) (neg.f64 (sqrt.f64 p))))
(/.f64 (neg.f64 k) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k)))
(/.f64 k (sqrt.f64 (*.f64 k p)))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 p k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(neg.f64 (neg.f64 (sqrt.f64 (/.f64 k p))))
(fma.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(sqrt.f64 (/.f64 k p))
(exp.f64 (-.f64 (*.f64 (log.f64 k) #s(literal 1/2 binary64)) (*.f64 (log.f64 p) #s(literal 1/2 binary64))))
(exp.f64 (neg.f64 (log.f64 (sqrt.f64 (/.f64 p k)))))
(exp.f64 (*.f64 (log.f64 (/.f64 p k)) #s(literal -1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 k p)) #s(literal 1/2 binary64)))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64)) (sqrt.f64 (/.f64 k p)))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (*.f64 #s(literal 1 binary64) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (neg.f64 k)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (sqrt.f64 k))
(*.f64 (sqrt.f64 k) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 k)))
(pow.f64 (exp.f64 (log.f64 k)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 k #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 k k) #s(literal 1/4 binary64))
(pow.f64 k #s(literal 1/2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 k #s(literal 3/2 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 k #s(literal 0 binary64))))
(/.f64 (neg.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal -1 binary64)) k)
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(/.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (neg.f64 k))
(/.f64 (neg.f64 k) (neg.f64 (sqrt.f64 k)))
(/.f64 k (sqrt.f64 k))
(neg.f64 (neg.f64 (sqrt.f64 k)))
(fma.f64 (*.f64 #s(literal 1 binary64) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (neg.f64 k)) #s(literal 0 binary64))
(fma.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) #s(literal 1 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 k #s(literal 1/4 binary64)) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (sqrt.f64 k) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 k) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 k)) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 k)))
(sqrt.f64 k)
(exp.f64 (*.f64 (log.f64 k) #s(literal 1/2 binary64)))
(+.f64 #s(literal 0 binary64) (sqrt.f64 k))
(+.f64 (sqrt.f64 k) #s(literal 0 binary64))
(*.f64 (pow.f64 p #s(literal 1/4 binary64)) (/.f64 (pow.f64 p #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 p #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64)))
(*.f64 (neg.f64 (sqrt.f64 p)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (sqrt.f64 p))
(*.f64 (sqrt.f64 p) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 p)))
(pow.f64 (exp.f64 (log.f64 p)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 p #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 p p) #s(literal 1/4 binary64))
(pow.f64 p #s(literal 1/2 binary64))
(/.f64 (neg.f64 (sqrt.f64 p)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal -1/2 binary64)))
(/.f64 (sqrt.f64 p) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(neg.f64 (neg.f64 (sqrt.f64 p)))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 p)))
(sqrt.f64 p)
(exp.f64 (*.f64 (log.f64 p) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 k))
(*.f64 (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 k) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 k)) (/.f64 k (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 k)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) k)) (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)))
(*.f64 (sqrt.f64 (/.f64 (neg.f64 k) p)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (pow.f64 #s(literal -1 binary64) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal 1/2 binary64)) (pow.f64 (*.f64 (/.f64 (neg.f64 k) p) k) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (/.f64 k (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (sqrt.f64 k) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 k (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 k) p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal -1/2 binary64))))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (sqrt.f64 p)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(*.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k))
(*.f64 (sqrt.f64 (neg.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 k))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (sqrt.f64 k)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (/.f64 (sqrt.f64 k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 k p)) (/.f64 (sqrt.f64 k) (sqrt.f64 k)))
(*.f64 (sqrt.f64 (/.f64 k p)) (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 k) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 k (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 k p))))
(*.f64 k (sqrt.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64))))
(*.f64 k (pow.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(pow.f64 (exp.f64 (log.f64 (/.f64 k p))) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (/.f64 k p) (/.f64 k p)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (/.f64 k p) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -1 binary64))
(pow.f64 (/.f64 p k) #s(literal -1/2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)))
(/.f64 (/.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(/.f64 (*.f64 (neg.f64 k) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) (sqrt.f64 k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) k)
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 k)) (sqrt.f64 k))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(/.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) #s(literal 1 binary64)) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)) (sqrt.f64 (neg.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 p)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))))) (+.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))) (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))))
(/.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (sqrt.f64 p))
(/.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (pow.f64 p #s(literal 1/4 binary64)))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(/.f64 (neg.f64 (/.f64 k (sqrt.f64 p))) (neg.f64 (sqrt.f64 k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal 1 binary64)) (*.f64 k (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal -1 binary64)) (*.f64 k (sqrt.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (sqrt.f64 p) k))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 p))) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k))) (*.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 p))))
(/.f64 (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)) (sqrt.f64 (neg.f64 k)))
(/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k))))
(/.f64 (/.f64 k (sqrt.f64 p)) (sqrt.f64 k))
(/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (neg.f64 p)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(/.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal -1/2 binary64)))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 p)))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 k) (/.f64 k (sqrt.f64 p))))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(/.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(/.f64 (neg.f64 k) (neg.f64 (sqrt.f64 (*.f64 k p))))
(/.f64 (neg.f64 k) (*.f64 (sqrt.f64 k) (neg.f64 (sqrt.f64 p))))
(/.f64 (neg.f64 k) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k)))
(/.f64 k (sqrt.f64 (*.f64 k p)))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 p k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(neg.f64 (neg.f64 (sqrt.f64 (/.f64 k p))))
(fma.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(sqrt.f64 (/.f64 k p))
(exp.f64 (-.f64 (*.f64 (log.f64 k) #s(literal 1/2 binary64)) (*.f64 (log.f64 p) #s(literal 1/2 binary64))))
(exp.f64 (neg.f64 (log.f64 (sqrt.f64 (/.f64 p k)))))
(exp.f64 (*.f64 (log.f64 (/.f64 p k)) #s(literal -1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 k p)) #s(literal 1/2 binary64)))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64)) (sqrt.f64 (/.f64 k p)))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 k)) (sqrt.f64 k))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(*.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 k))) (neg.f64 (sqrt.f64 p)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 k)) (neg.f64 (sqrt.f64 p)))
(*.f64 (/.f64 (pow.f64 p #s(literal 1/4 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 p #s(literal 1/4 binary64)) (sqrt.f64 k)))
(*.f64 (/.f64 (pow.f64 p #s(literal 1/4 binary64)) (neg.f64 (sqrt.f64 k))) (/.f64 (pow.f64 p #s(literal 1/4 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (pow.f64 p #s(literal 1/4 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 p #s(literal 1/4 binary64)) (neg.f64 (sqrt.f64 k))))
(*.f64 (/.f64 (pow.f64 p #s(literal 1/4 binary64)) (pow.f64 k #s(literal 1/4 binary64))) (/.f64 (pow.f64 p #s(literal 1/4 binary64)) (pow.f64 k #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 #s(literal -1 binary64))) (/.f64 (sqrt.f64 k) k))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 #s(literal -1 binary64))) (/.f64 (sqrt.f64 (neg.f64 p)) k))
(*.f64 (/.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 k))))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 k))) (/.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 k)))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 k)) (sqrt.f64 (/.f64 p k)))
(*.f64 (sqrt.f64 (/.f64 (neg.f64 p) k)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)) (sqrt.f64 (/.f64 p k)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (pow.f64 (/.f64 (neg.f64 p) k) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) (/.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) (*.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)))
(*.f64 (pow.f64 p #s(literal 1/4 binary64)) (*.f64 (pow.f64 p #s(literal 1/4 binary64)) (pow.f64 k #s(literal -1/2 binary64))))
(*.f64 (pow.f64 p #s(literal 1/4 binary64)) (/.f64 (pow.f64 p #s(literal 1/4 binary64)) (sqrt.f64 k)))
(*.f64 (sqrt.f64 (neg.f64 p)) (/.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k)))
(*.f64 (sqrt.f64 (neg.f64 p)) (/.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))))
(*.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 (/.f64 #s(literal -1 binary64) k)))
(*.f64 (sqrt.f64 (neg.f64 p)) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 k #s(literal -1/2 binary64)) (sqrt.f64 p))
(*.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (/.f64 (/.f64 (neg.f64 p) k) k)))
(*.f64 (neg.f64 (sqrt.f64 p)) (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 k))))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64))
(*.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)) (/.f64 #s(literal 1 binary64) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k)))
(*.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)) (sqrt.f64 (/.f64 (/.f64 #s(literal -1 binary64) k) k)))
(*.f64 (sqrt.f64 (/.f64 p k)) (/.f64 (sqrt.f64 k) (sqrt.f64 k)))
(*.f64 (sqrt.f64 (/.f64 p k)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(*.f64 (sqrt.f64 p) (/.f64 (pow.f64 k #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 p) (*.f64 (pow.f64 k #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 p) (pow.f64 k #s(literal -1/2 binary64)))
(*.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 (neg.f64 p)) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k)))
(*.f64 (sqrt.f64 k) (sqrt.f64 (/.f64 (/.f64 p k) k)))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 p k))))
(pow.f64 (exp.f64 (log.f64 (/.f64 p k))) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (/.f64 p k) (/.f64 p k)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (/.f64 k p) #s(literal -1/2 binary64))
(pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal 1 binary64))
(pow.f64 (/.f64 p k) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (/.f64 k p)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(/.f64 (/.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)) (sqrt.f64 #s(literal -1 binary64))) k)
(/.f64 (/.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)) (sqrt.f64 (neg.f64 k))) (sqrt.f64 k))
(/.f64 (/.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)) (sqrt.f64 k)) (sqrt.f64 (neg.f64 k)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 p)) #s(literal 1 binary64)) (sqrt.f64 (neg.f64 k)))
(/.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(/.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 k))) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(/.f64 (/.f64 (sqrt.f64 p) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(/.f64 (/.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 k))
(/.f64 (neg.f64 (sqrt.f64 (neg.f64 p))) (neg.f64 (sqrt.f64 (neg.f64 k))))
(/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 k) p)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k))) (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)))
(/.f64 (sqrt.f64 (*.f64 k p)) k)
(/.f64 (sqrt.f64 (neg.f64 p)) (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))))
(/.f64 (sqrt.f64 (neg.f64 p)) (sqrt.f64 (neg.f64 k)))
(/.f64 (pow.f64 k #s(literal -1/2 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(/.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64))
(/.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k))
(/.f64 (sqrt.f64 (/.f64 p k)) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 k p)))
(/.f64 (sqrt.f64 p) (sqrt.f64 k))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(neg.f64 (neg.f64 (sqrt.f64 (/.f64 p k))))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 k))) (neg.f64 (sqrt.f64 (/.f64 p k))))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 p k))))
(sqrt.f64 (/.f64 p k))
(exp.f64 (-.f64 (*.f64 (log.f64 p) #s(literal 1/2 binary64)) (*.f64 (log.f64 k) #s(literal 1/2 binary64))))
(exp.f64 (neg.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64))))
(exp.f64 (neg.f64 (*.f64 (log.f64 (/.f64 k p)) #s(literal 1/2 binary64))))
(exp.f64 (log.f64 (sqrt.f64 (/.f64 p k))))
(*.f64 (/.f64 (neg.f64 p) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(*.f64 (/.f64 (*.f64 (neg.f64 p) k) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 k k))
(*.f64 (/.f64 (*.f64 (neg.f64 p) k) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (pow.f64 k #s(literal 4 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 k k)) (*.f64 k p))
(*.f64 (pow.f64 (pow.f64 p #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 k #s(literal -1 binary64)))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) k) k) (*.f64 (neg.f64 p) k))
(*.f64 (/.f64 #s(literal -1 binary64) k) (neg.f64 p))
(*.f64 (/.f64 (/.f64 p k) k) k)
(*.f64 (/.f64 (/.f64 (neg.f64 p) k) k) (neg.f64 k))
(*.f64 (/.f64 (neg.f64 p) k) #s(literal -1 binary64))
(*.f64 (pow.f64 k #s(literal -1 binary64)) (pow.f64 (pow.f64 p #s(literal -1 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 k #s(literal -1 binary64)) p)
(*.f64 (*.f64 k p) (/.f64 #s(literal 1 binary64) (*.f64 k k)))
(*.f64 (*.f64 (neg.f64 p) k) (/.f64 (/.f64 (/.f64 #s(literal -1 binary64) k) k) #s(literal 1 binary64)))
(*.f64 (*.f64 (neg.f64 p) k) (/.f64 (/.f64 #s(literal -1 binary64) k) k))
(*.f64 (neg.f64 p) (/.f64 (/.f64 #s(literal -1 binary64) k) #s(literal 1 binary64)))
(*.f64 (neg.f64 p) (*.f64 (/.f64 #s(literal -1 binary64) k) #s(literal 1 binary64)))
(*.f64 (neg.f64 p) (/.f64 #s(literal -1 binary64) k))
(*.f64 (sqrt.f64 (/.f64 p k)) (sqrt.f64 (/.f64 p k)))
(*.f64 (/.f64 p k) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 p k))
(*.f64 (neg.f64 k) (/.f64 (/.f64 (/.f64 (neg.f64 p) k) k) #s(literal 1 binary64)))
(*.f64 (neg.f64 k) (/.f64 (/.f64 (neg.f64 p) k) k))
(*.f64 k (/.f64 (/.f64 (/.f64 p k) k) #s(literal 1 binary64)))
(*.f64 k (/.f64 (/.f64 p k) k))
(*.f64 p (/.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal 1 binary64)))
(*.f64 p (*.f64 (neg.f64 k) (/.f64 (/.f64 #s(literal -1 binary64) k) k)))
(*.f64 p (pow.f64 k #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (/.f64 (neg.f64 p) k) #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 p) k))
(pow.f64 (/.f64 k p) #s(literal -1 binary64))
(pow.f64 (/.f64 p k) #s(literal 1 binary64))
(/.f64 (*.f64 (neg.f64 (*.f64 p p)) (/.f64 #s(literal -1 binary64) k)) p)
(/.f64 (*.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64))) (/.f64 #s(literal -1 binary64) k)) (*.f64 p p))
(/.f64 (*.f64 (/.f64 (neg.f64 p) k) k) (neg.f64 k))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (neg.f64 p) k) (/.f64 (neg.f64 p) k))) (+.f64 #s(literal 0 binary64) (/.f64 (neg.f64 p) k)))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 k k)) (pow.f64 (*.f64 k p) #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (neg.f64 p) k) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 (neg.f64 p) k) (/.f64 (neg.f64 p) k) (*.f64 #s(literal 0 binary64) (/.f64 (neg.f64 p) k)))))
(/.f64 (*.f64 (neg.f64 (*.f64 p p)) #s(literal 1 binary64)) (*.f64 (neg.f64 p) k))
(/.f64 (*.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64))) #s(literal 1 binary64)) (*.f64 (*.f64 p p) (neg.f64 k)))
(/.f64 (*.f64 (neg.f64 (*.f64 p p)) k) (*.f64 p (*.f64 (neg.f64 k) k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64))) k) (*.f64 (*.f64 p p) (*.f64 (neg.f64 k) k)))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (neg.f64 k)) (*.f64 (neg.f64 p) k)) (*.f64 k k))
(/.f64 (neg.f64 (*.f64 p p)) (*.f64 (neg.f64 p) k))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) k) k) (/.f64 (/.f64 #s(literal -1 binary64) p) k))
(/.f64 (/.f64 #s(literal -1 binary64) k) (/.f64 #s(literal -1 binary64) p))
(/.f64 (/.f64 (/.f64 p k) k) (pow.f64 k #s(literal -1 binary64)))
(/.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64))) (*.f64 (neg.f64 k) (*.f64 p p)))
(/.f64 (/.f64 (neg.f64 p) k) #s(literal -1 binary64))
(/.f64 (pow.f64 k #s(literal -1 binary64)) (pow.f64 p #s(literal -1 binary64)))
(/.f64 (*.f64 k p) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 p) k) (*.f64 (neg.f64 k) k))
(/.f64 (neg.f64 p) (neg.f64 k))
(/.f64 (/.f64 p k) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 k p))
(/.f64 (neg.f64 k) (*.f64 (/.f64 (neg.f64 k) p) k))
(/.f64 k (*.f64 (/.f64 k p) k))
(/.f64 p k)
(/.f64 #s(literal -1 binary64) (/.f64 (neg.f64 k) p))
(neg.f64 (/.f64 k (*.f64 (/.f64 (neg.f64 k) p) k)))
(neg.f64 (/.f64 (/.f64 (neg.f64 p) k) #s(literal 1 binary64)))
(neg.f64 (/.f64 (neg.f64 p) k))
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 (neg.f64 k) k)) (/.f64 (neg.f64 p) k))
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 k k)) (/.f64 (neg.f64 p) k))
(-.f64 #s(literal 0 binary64) (/.f64 (neg.f64 p) k))
(exp.f64 (*.f64 (log.f64 (/.f64 k p)) #s(literal -1 binary64)))
(+.f64 #s(literal 0 binary64) (/.f64 p k))
(*.f64 (/.f64 (*.f64 (/.f64 (neg.f64 k) p) k) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(*.f64 (/.f64 (*.f64 (/.f64 (neg.f64 k) p) k) (*.f64 (neg.f64 k) k)) k)
(*.f64 (/.f64 (neg.f64 k) (neg.f64 (*.f64 p p))) p)
(*.f64 (/.f64 (neg.f64 k) (neg.f64 (pow.f64 p #s(literal 3 binary64)))) (*.f64 p p))
(*.f64 (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) #s(literal -1 binary64)) (*.f64 k k))
(*.f64 (/.f64 (*.f64 k k) #s(literal -1 binary64)) (/.f64 (/.f64 #s(literal -1 binary64) p) k))
(*.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64)) (*.f64 k k))
(*.f64 (/.f64 #s(literal -1 binary64) k) (pow.f64 (/.f64 (/.f64 (neg.f64 p) k) k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) k) (*.f64 (/.f64 (neg.f64 k) p) k))
(*.f64 (*.f64 (/.f64 (neg.f64 k) p) k) (/.f64 #s(literal -1 binary64) k))
(*.f64 (*.f64 (/.f64 k p) k) (pow.f64 k #s(literal -1 binary64)))
(*.f64 (/.f64 (neg.f64 k) p) #s(literal -1 binary64))
(*.f64 (pow.f64 k #s(literal -1 binary64)) (*.f64 (/.f64 k p) k))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (pow.f64 (/.f64 (/.f64 #s(literal -1 binary64) k) k) #s(literal -1 binary64)))
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (*.f64 (neg.f64 k) k))
(*.f64 (pow.f64 p #s(literal -1 binary64)) (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1 binary64)) k)
(*.f64 (/.f64 k p) #s(literal 1 binary64))
(*.f64 (*.f64 (neg.f64 k) k) (/.f64 (/.f64 #s(literal -1 binary64) p) k))
(*.f64 (*.f64 k k) (*.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) p) k)))
(*.f64 (*.f64 k k) (pow.f64 (*.f64 k p) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (/.f64 k p))
(*.f64 (sqrt.f64 (/.f64 k p)) (sqrt.f64 (/.f64 k p)))
(*.f64 (neg.f64 k) (*.f64 (/.f64 (neg.f64 k) p) (pow.f64 k #s(literal -1 binary64))))
(*.f64 (neg.f64 k) (*.f64 (neg.f64 k) (pow.f64 (*.f64 k p) #s(literal -1 binary64))))
(*.f64 (neg.f64 k) (/.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 1 binary64)))
(*.f64 (neg.f64 k) (/.f64 #s(literal -1 binary64) p))
(*.f64 k (/.f64 (pow.f64 p #s(literal -1 binary64)) #s(literal 1 binary64)))
(*.f64 k (pow.f64 p #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) p) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k))
(*.f64 #s(literal -1 binary64) (/.f64 (/.f64 (neg.f64 k) p) #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 k) p))
(pow.f64 (/.f64 k p) #s(literal 1 binary64))
(pow.f64 (/.f64 p k) #s(literal -1 binary64))
(/.f64 (*.f64 (pow.f64 k #s(literal -1 binary64)) (*.f64 (neg.f64 k) k)) (neg.f64 p))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) p) k)) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) p) k)) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) k) (*.f64 k k)) (neg.f64 p))
(/.f64 (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 k k))
(/.f64 (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (*.f64 (pow.f64 p #s(literal -1 binary64)) (*.f64 k k)) k)
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (/.f64 (neg.f64 k) p) (/.f64 (neg.f64 k) p))) (+.f64 #s(literal 0 binary64) (/.f64 (neg.f64 k) p)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 (neg.f64 k) p) (/.f64 (neg.f64 k) p) (*.f64 #s(literal 0 binary64) (/.f64 (neg.f64 k) p)))))
(/.f64 (/.f64 (*.f64 k k) #s(literal -1 binary64)) (*.f64 (neg.f64 p) k))
(/.f64 (*.f64 (pow.f64 k #s(literal -1 binary64)) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 (neg.f64 p) (*.f64 k k)))
(/.f64 (*.f64 (pow.f64 k #s(literal -1 binary64)) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (*.f64 (neg.f64 p) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 k k)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (*.f64 (*.f64 (neg.f64 p) k) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (pow.f64 k #s(literal 3 binary64)))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (*.f64 k (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 (*.f64 k p) (*.f64 k k)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (*.f64 (*.f64 k p) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (pow.f64 k #s(literal -1 binary64))) (*.f64 (*.f64 k k) (neg.f64 p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (/.f64 #s(literal -1 binary64) p)) (pow.f64 k #s(literal 3 binary64)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (pow.f64 k #s(literal -1 binary64))) (*.f64 (pow.f64 k #s(literal 4 binary64)) (neg.f64 p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (/.f64 #s(literal -1 binary64) p)) (*.f64 (pow.f64 k #s(literal 4 binary64)) k))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 (neg.f64 p) (*.f64 k k)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 p (*.f64 k k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) #s(literal 1 binary64)) (*.f64 (*.f64 k k) (neg.f64 p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (/.f64 #s(literal -1 binary64) p)) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) #s(literal -1 binary64)) (*.f64 (*.f64 k k) p))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) #s(literal 1 binary64)) (*.f64 (*.f64 k k) (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) #s(literal -1 binary64)) (*.f64 (*.f64 k k) (*.f64 k p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) #s(literal 1 binary64)) (*.f64 (pow.f64 k #s(literal 4 binary64)) (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) #s(literal -1 binary64)) (*.f64 (pow.f64 k #s(literal 4 binary64)) (*.f64 k p)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) k) (*.f64 (*.f64 k k) (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (*.f64 (neg.f64 k) k) k) (*.f64 k (*.f64 (neg.f64 p) k)))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (neg.f64 p)) (*.f64 (*.f64 (neg.f64 p) k) k)) (*.f64 (*.f64 (neg.f64 p) k) (neg.f64 p)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 (/.f64 (neg.f64 k) p) k))) (*.f64 (*.f64 (neg.f64 p) k) k))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (*.f64 k p)) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 (neg.f64 k) k))) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 k p)))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (*.f64 (neg.f64 p) k)) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 k k))) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 (neg.f64 p) k)))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (/.f64 (neg.f64 p) k)) (*.f64 (neg.f64 p) k)) (*.f64 (*.f64 (neg.f64 p) k) (/.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (*.f64 (*.f64 (neg.f64 p) k) (*.f64 k k)))
(/.f64 (/.f64 #s(literal -1 binary64) k) (/.f64 (/.f64 (neg.f64 p) k) k))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (*.f64 (neg.f64 p) (*.f64 k k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (*.f64 (*.f64 (neg.f64 p) k) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (/.f64 (neg.f64 k) p) k) (neg.f64 k))
(/.f64 (*.f64 (/.f64 k p) k) k)
(/.f64 (/.f64 (neg.f64 k) p) #s(literal -1 binary64))
(/.f64 (pow.f64 k #s(literal -1 binary64)) (/.f64 (/.f64 p k) k))
(/.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) (/.f64 (/.f64 #s(literal -1 binary64) k) k))
(/.f64 (pow.f64 p #s(literal -1 binary64)) (pow.f64 k #s(literal -1 binary64)))
(/.f64 (/.f64 k p) #s(literal 1 binary64))
(/.f64 (*.f64 (neg.f64 k) k) (*.f64 (neg.f64 p) k))
(/.f64 (*.f64 k k) (*.f64 k p))
(/.f64 #s(literal 1 binary64) (/.f64 p k))
(/.f64 (neg.f64 k) (neg.f64 p))
(/.f64 k p)
(/.f64 (/.f64 #s(literal -1 binary64) p) (/.f64 #s(literal -1 binary64) k))
(/.f64 #s(literal -1 binary64) (/.f64 (neg.f64 p) k))
(neg.f64 (/.f64 (/.f64 (neg.f64 k) p) #s(literal 1 binary64)))
(neg.f64 (/.f64 (neg.f64 k) p))
(fma.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) #s(literal 0 binary64) (/.f64 k p))
(fma.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 0 binary64) (/.f64 k p))
(-.f64 #s(literal 0 binary64) (/.f64 (/.f64 (neg.f64 k) p) #s(literal 1 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 (neg.f64 k) p))
(exp.f64 (*.f64 (log.f64 (/.f64 p k)) #s(literal -1 binary64)))
(+.f64 (*.f64 (/.f64 (/.f64 #s(literal -1 binary64) p) k) #s(literal 0 binary64)) (/.f64 k p))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 0 binary64)) (/.f64 k p))
(+.f64 #s(literal 0 binary64) (/.f64 k p))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 k))
(*.f64 (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 k) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 k)) (/.f64 k (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 k)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) k)) (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)))
(*.f64 (sqrt.f64 (/.f64 (neg.f64 k) p)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (pow.f64 #s(literal -1 binary64) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal 1/2 binary64)) (pow.f64 (*.f64 (/.f64 (neg.f64 k) p) k) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (/.f64 k (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (sqrt.f64 k) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 k (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 k) p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal -1/2 binary64))))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (sqrt.f64 p)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(*.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k))
(*.f64 (sqrt.f64 (neg.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 k))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (sqrt.f64 k)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (/.f64 (sqrt.f64 k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 k p)) (/.f64 (sqrt.f64 k) (sqrt.f64 k)))
(*.f64 (sqrt.f64 (/.f64 k p)) (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 k) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 k (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 k p))))
(*.f64 k (sqrt.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64))))
(*.f64 k (pow.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(pow.f64 (exp.f64 (log.f64 (/.f64 k p))) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (/.f64 k p) (/.f64 k p)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (/.f64 k p) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -1 binary64))
(pow.f64 (/.f64 p k) #s(literal -1/2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)))
(/.f64 (/.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(/.f64 (*.f64 (neg.f64 k) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) (sqrt.f64 k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) k)
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 k)) (sqrt.f64 k))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(/.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) #s(literal 1 binary64)) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)) (sqrt.f64 (neg.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 p)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))))) (+.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))) (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))))
(/.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (sqrt.f64 p))
(/.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (pow.f64 p #s(literal 1/4 binary64)))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(/.f64 (neg.f64 (/.f64 k (sqrt.f64 p))) (neg.f64 (sqrt.f64 k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal 1 binary64)) (*.f64 k (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal -1 binary64)) (*.f64 k (sqrt.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (sqrt.f64 p) k))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 p))) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k))) (*.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 p))))
(/.f64 (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)) (sqrt.f64 (neg.f64 k)))
(/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k))))
(/.f64 (/.f64 k (sqrt.f64 p)) (sqrt.f64 k))
(/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (neg.f64 p)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(/.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal -1/2 binary64)))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 p)))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 k) (/.f64 k (sqrt.f64 p))))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(/.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(/.f64 (neg.f64 k) (neg.f64 (sqrt.f64 (*.f64 k p))))
(/.f64 (neg.f64 k) (*.f64 (sqrt.f64 k) (neg.f64 (sqrt.f64 p))))
(/.f64 (neg.f64 k) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k)))
(/.f64 k (sqrt.f64 (*.f64 k p)))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 p k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(neg.f64 (neg.f64 (sqrt.f64 (/.f64 k p))))
(fma.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(sqrt.f64 (/.f64 k p))
(exp.f64 (-.f64 (*.f64 (log.f64 k) #s(literal 1/2 binary64)) (*.f64 (log.f64 p) #s(literal 1/2 binary64))))
(exp.f64 (neg.f64 (log.f64 (sqrt.f64 (/.f64 p k)))))
(exp.f64 (*.f64 (log.f64 (/.f64 p k)) #s(literal -1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 k p)) #s(literal 1/2 binary64)))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64)) (sqrt.f64 (/.f64 k p)))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 k k)))
(*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 k #s(literal 4 binary64))))
(*.f64 (*.f64 (neg.f64 k) k) #s(literal 1 binary64))
(*.f64 (*.f64 k k) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (*.f64 (neg.f64 k) k))
(*.f64 (neg.f64 k) k)
(*.f64 k (neg.f64 k))
(*.f64 #s(literal -1 binary64) (*.f64 k k))
(/.f64 (*.f64 k (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(/.f64 (*.f64 k (*.f64 (neg.f64 k) k)) k)
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (*.f64 (neg.f64 k) k) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 k #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (neg.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 (neg.f64 k) k))
(/.f64 (neg.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (neg.f64 (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) #s(literal 1 binary64)) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) #s(literal 1 binary64)) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) k) (*.f64 k k))
(/.f64 (*.f64 (*.f64 (neg.f64 k) k) k) k)
(/.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (*.f64 k k))
(/.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (pow.f64 k #s(literal 4 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 k k) (neg.f64 (pow.f64 k #s(literal 4 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 k #s(literal 4 binary64)) (neg.f64 (pow.f64 k #s(literal 6 binary64)))))
(neg.f64 (*.f64 k k))
(fma.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 k k)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 k #s(literal 4 binary64))) #s(literal 0 binary64))
(fma.f64 (*.f64 (neg.f64 k) k) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 k k) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 (neg.f64 k) k) #s(literal 0 binary64))
(fma.f64 (neg.f64 k) k #s(literal 0 binary64))
(fma.f64 k (neg.f64 k) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 k k) #s(literal 0 binary64))
(-.f64 (/.f64 #s(literal 0 binary64) (pow.f64 k #s(literal 4 binary64))) (/.f64 (pow.f64 k #s(literal 6 binary64)) (pow.f64 k #s(literal 4 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 k k)) (*.f64 k k))
(-.f64 #s(literal 0 binary64) (*.f64 k k))
(+.f64 #s(literal 0 binary64) (*.f64 (neg.f64 k) k))
(+.f64 (*.f64 (neg.f64 k) k) #s(literal 0 binary64))
(*.f64 (exp.f64 (log.f64 k)) (exp.f64 (log.f64 k)))
(*.f64 (*.f64 (neg.f64 k) k) #s(literal -1 binary64))
(*.f64 (*.f64 k k) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (*.f64 k k))
(*.f64 (neg.f64 k) (neg.f64 k))
(*.f64 k k)
(*.f64 #s(literal -1 binary64) (/.f64 (*.f64 k k) #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 k) k))
(pow.f64 (exp.f64 (log.f64 k)) #s(literal 2 binary64))
(pow.f64 (*.f64 k k) #s(literal 1 binary64))
(pow.f64 (neg.f64 k) #s(literal 2 binary64))
(pow.f64 k #s(literal 2 binary64))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (neg.f64 k)) (*.f64 k k))
(/.f64 (*.f64 (*.f64 (neg.f64 k) k) (neg.f64 k)) k)
(/.f64 (*.f64 (neg.f64 k) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (*.f64 k k))
(/.f64 (*.f64 (neg.f64 k) (*.f64 (neg.f64 k) k)) k)
(/.f64 (-.f64 (pow.f64 k #s(literal 4 binary64)) #s(literal 0 binary64)) (-.f64 (*.f64 k k) #s(literal 0 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (*.f64 (neg.f64 k) k) #s(literal 3 binary64))) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 k #s(literal 6 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 k #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (+.f64 (pow.f64 k #s(literal 6 binary64)) #s(literal 0 binary64)) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (neg.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 k k))
(/.f64 (neg.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 4 binary64)))) (*.f64 k k))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 6 binary64)))) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (pow.f64 k #s(literal 4 binary64)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3 binary64))) (*.f64 (neg.f64 k) k)) (pow.f64 k #s(literal 3 binary64)))
(/.f64 (*.f64 (*.f64 (neg.f64 k) k) (neg.f64 (pow.f64 k #s(literal 3 binary64)))) (pow.f64 k #s(literal 3 binary64)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 4 binary64))) (*.f64 (neg.f64 k) k))
(/.f64 (pow.f64 k #s(literal 4 binary64)) (*.f64 k k))
(/.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (*.f64 #s(literal -1 binary64) (pow.f64 k #s(literal 4 binary64))))
(/.f64 (neg.f64 (pow.f64 k #s(literal 6 binary64))) (neg.f64 (pow.f64 k #s(literal 4 binary64))))
(/.f64 (*.f64 (neg.f64 k) k) #s(literal -1 binary64))
(/.f64 (*.f64 k k) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (*.f64 (neg.f64 k) k)))
(neg.f64 (/.f64 (*.f64 k k) #s(literal -1 binary64)))
(neg.f64 (*.f64 (neg.f64 k) k))
(fma.f64 (exp.f64 (log.f64 k)) (exp.f64 (log.f64 k)) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) (neg.f64 k) (*.f64 k k))
(fma.f64 (*.f64 (neg.f64 k) k) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 k k) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 k k) #s(literal 0 binary64))
(fma.f64 (neg.f64 k) #s(literal 0 binary64) (*.f64 k k))
(fma.f64 (neg.f64 k) (neg.f64 k) #s(literal 0 binary64))
(fma.f64 k k #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 k k) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 k) k) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (-.f64 (*.f64 (neg.f64 k) k) #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 (*.f64 k k) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 k) k))
(exp.f64 (*.f64 (log.f64 k) #s(literal 2 binary64)))
(+.f64 (*.f64 (neg.f64 k) #s(literal 0 binary64)) (*.f64 k k))
(+.f64 (*.f64 #s(literal 0 binary64) (neg.f64 k)) (*.f64 k k))
(+.f64 #s(literal 0 binary64) (*.f64 k k))
(+.f64 (*.f64 k k) #s(literal 0 binary64))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 k))
(*.f64 (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 k) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (/.f64 (neg.f64 (sqrt.f64 k)) (pow.f64 p #s(literal 1/4 binary64))))
(*.f64 (/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 k)) (/.f64 k (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 (neg.f64 p))) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 k)))
(*.f64 (/.f64 (sqrt.f64 k) (sqrt.f64 k)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) k)) (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)))
(*.f64 (sqrt.f64 (/.f64 (neg.f64 k) p)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)) (sqrt.f64 #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 (pow.f64 #s(literal -1 binary64) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal 1/2 binary64)) (pow.f64 (*.f64 (/.f64 (neg.f64 k) p) k) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal -1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (/.f64 k (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (sqrt.f64 k) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (*.f64 k (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 k) p)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (pow.f64 (/.f64 (neg.f64 k) p) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) (pow.f64 p #s(literal -1/2 binary64))))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (/.f64 (pow.f64 k #s(literal 1/4 binary64)) (sqrt.f64 p)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(*.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 #s(literal -1 binary64)) k))
(*.f64 (sqrt.f64 (neg.f64 k)) (/.f64 (sqrt.f64 k) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (neg.f64 k)) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal -1 binary64) k) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 p) #s(literal -1/2 binary64)) (sqrt.f64 (neg.f64 k)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 (pow.f64 k #s(literal -1 binary64)) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 k))
(*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (sqrt.f64 k)) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (/.f64 (sqrt.f64 k) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (sqrt.f64 (/.f64 k p)) (/.f64 (sqrt.f64 k) (sqrt.f64 k)))
(*.f64 (sqrt.f64 (/.f64 k p)) (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(*.f64 (sqrt.f64 k) (*.f64 (sqrt.f64 (neg.f64 k)) (pow.f64 (*.f64 (neg.f64 p) k) #s(literal -1/2 binary64))))
(*.f64 (sqrt.f64 k) (pow.f64 p #s(literal -1/2 binary64)))
(*.f64 k (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 k p))))
(*.f64 k (sqrt.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64))))
(*.f64 k (pow.f64 (pow.f64 (*.f64 k p) #s(literal -1 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(pow.f64 (exp.f64 (log.f64 (/.f64 k p))) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (/.f64 k p) (/.f64 k p)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (/.f64 k p) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (/.f64 k p) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (/.f64 p k)) #s(literal -1 binary64))
(pow.f64 (/.f64 p k) #s(literal -1/2 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64))) (pow.f64 (/.f64 k p) #s(literal -1/4 binary64)))
(/.f64 (/.f64 (/.f64 k (sqrt.f64 p)) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(/.f64 (*.f64 (neg.f64 k) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) (sqrt.f64 k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (/.f64 #s(literal -1 binary64) (sqrt.f64 p))) k)
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 k)) (sqrt.f64 k))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(/.f64 (*.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) #s(literal 1 binary64)) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (*.f64 (sqrt.f64 (neg.f64 k)) #s(literal 1 binary64)) (sqrt.f64 (neg.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 k))) (sqrt.f64 (neg.f64 p)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))))) (+.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) (neg.f64 (sqrt.f64 (/.f64 k p))) (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p)))))))
(/.f64 (/.f64 (neg.f64 (sqrt.f64 k)) #s(literal -1 binary64)) (sqrt.f64 p))
(/.f64 (/.f64 (sqrt.f64 k) (pow.f64 p #s(literal 1/4 binary64))) (pow.f64 p #s(literal 1/4 binary64)))
(/.f64 (neg.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(/.f64 (neg.f64 (/.f64 k (sqrt.f64 p))) (neg.f64 (sqrt.f64 k)))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal 1 binary64)) (*.f64 k (neg.f64 (sqrt.f64 p))))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal -1 binary64)) (*.f64 k (sqrt.f64 p)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (*.f64 (sqrt.f64 p) k))
(/.f64 (-.f64 (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 p))) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k))) (*.f64 (neg.f64 (sqrt.f64 p)) (neg.f64 (sqrt.f64 p))))
(/.f64 (sqrt.f64 (*.f64 (/.f64 (neg.f64 k) p) k)) (sqrt.f64 (neg.f64 k)))
(/.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 (/.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (*.f64 (neg.f64 (sqrt.f64 p)) k))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k))))
(/.f64 (/.f64 k (sqrt.f64 p)) (sqrt.f64 k))
(/.f64 (sqrt.f64 (neg.f64 k)) (sqrt.f64 (neg.f64 p)))
(/.f64 (neg.f64 (sqrt.f64 (/.f64 k p))) #s(literal -1 binary64))
(/.f64 (pow.f64 p #s(literal -1/2 binary64)) (pow.f64 k #s(literal -1/2 binary64)))
(/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (sqrt.f64 (*.f64 (neg.f64 p) k)))
(/.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 p)))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 k) (/.f64 k (sqrt.f64 p))))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(/.f64 (sqrt.f64 (/.f64 k p)) #s(literal 1 binary64))
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(/.f64 (neg.f64 k) (neg.f64 (sqrt.f64 (*.f64 k p))))
(/.f64 (neg.f64 k) (*.f64 (sqrt.f64 k) (neg.f64 (sqrt.f64 p))))
(/.f64 (neg.f64 k) (*.f64 (neg.f64 (sqrt.f64 p)) (sqrt.f64 k)))
(/.f64 k (sqrt.f64 (*.f64 k p)))
(/.f64 #s(literal -1 binary64) (neg.f64 (sqrt.f64 (/.f64 p k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 k)) (sqrt.f64 (*.f64 (neg.f64 p) k))))
(neg.f64 (/.f64 (*.f64 (sqrt.f64 #s(literal -1 binary64)) k) (neg.f64 (sqrt.f64 (*.f64 (neg.f64 p) k)))))
(neg.f64 (neg.f64 (sqrt.f64 (/.f64 k p))))
(fma.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(-.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 (/.f64 k p))))
(sqrt.f64 (/.f64 k p))
(exp.f64 (-.f64 (*.f64 (log.f64 k) #s(literal 1/2 binary64)) (*.f64 (log.f64 p) #s(literal 1/2 binary64))))
(exp.f64 (neg.f64 (log.f64 (sqrt.f64 (/.f64 p k)))))
(exp.f64 (*.f64 (log.f64 (/.f64 p k)) #s(literal -1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 p k))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 k p)) #s(literal 1/2 binary64)))
(+.f64 (*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 0 binary64)) (sqrt.f64 (/.f64 k p)))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (/.f64 k p)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 p)) #s(literal -1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 p)) #s(literal -1/2 binary64)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (sqrt.f64 p)))
(*.f64 #s(literal -1 binary64) (pow.f64 p #s(literal -1/2 binary64)))
(pow.f64 (neg.f64 (sqrt.f64 p)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal 1/4 binary64))) (pow.f64 p #s(literal 1/4 binary64)))
(/.f64 (pow.f64 p #s(literal -1/2 binary64)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 p)))
(/.f64 #s(literal -1 binary64) (sqrt.f64 p))
(neg.f64 (pow.f64 p #s(literal -1/2 binary64)))
(-.f64 #s(literal 0 binary64) (pow.f64 p #s(literal -1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (sqrt.f64 p))) #s(literal -1 binary64)))
(*.f64 (*.f64 #s(literal -1 binary64) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (neg.f64 (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 k #s(literal 1/4 binary64)) (neg.f64 (pow.f64 k #s(literal 1/4 binary64))))
(*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (pow.f64 k #s(literal -1 binary64)))
(*.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 k)))
(*.f64 (sqrt.f64 k) #s(literal -1 binary64))
(*.f64 (neg.f64 k) (pow.f64 k #s(literal -1/2 binary64)))
(*.f64 #s(literal -1 binary64) (sqrt.f64 k))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 k)))) (sqrt.f64 k))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 (sqrt.f64 k)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (*.f64 (neg.f64 (sqrt.f64 k)) (neg.f64 (sqrt.f64 k))) (*.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 k))))))
(/.f64 (neg.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) (neg.f64 k))
(/.f64 (*.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) #s(literal 1 binary64)) k)
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))) k)
(/.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) k)
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 k) (neg.f64 k)))
(/.f64 #s(literal 1 binary64) (/.f64 k (neg.f64 (pow.f64 k #s(literal 3/2 binary64)))))
(/.f64 (neg.f64 k) (sqrt.f64 k))
(/.f64 k (neg.f64 (sqrt.f64 k)))
(neg.f64 (sqrt.f64 k))
(fma.f64 (*.f64 #s(literal -1 binary64) (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (pow.f64 k #s(literal 1/4 binary64))) (pow.f64 k #s(literal 1/4 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 k #s(literal 1/4 binary64)) (*.f64 (pow.f64 k #s(literal 1/4 binary64)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 k #s(literal 1/4 binary64)) (neg.f64 (pow.f64 k #s(literal 1/4 binary64))) #s(literal 0 binary64))
(fma.f64 (neg.f64 (pow.f64 k #s(literal 3/2 binary64))) (pow.f64 k #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (sqrt.f64 k)) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 (sqrt.f64 k)) #s(literal 0 binary64))
(fma.f64 (sqrt.f64 k) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (neg.f64 k) (pow.f64 k #s(literal -1/2 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (sqrt.f64 k) #s(literal 0 binary64))
(-.f64 (/.f64 #s(literal 0 binary64) (sqrt.f64 k)) (sqrt.f64 k))
(-.f64 #s(literal 0 binary64) (/.f64 (pow.f64 k #s(literal 3/2 binary64)) k))
(-.f64 #s(literal 0 binary64) (sqrt.f64 k))
(+.f64 #s(literal 0 binary64) (neg.f64 (sqrt.f64 k)))
(+.f64 (neg.f64 (sqrt.f64 k)) #s(literal 0 binary64))
(*.f64 (neg.f64 (*.f64 p p)) (pow.f64 p #s(literal -1 binary64)))
(*.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 p p)))
(*.f64 (*.f64 (neg.f64 p) k) (pow.f64 k #s(literal -1 binary64)))
(*.f64 (neg.f64 p) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (neg.f64 p))
(*.f64 (neg.f64 k) (/.f64 p k))
(*.f64 k (/.f64 (neg.f64 p) k))
(*.f64 p #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) p)
(pow.f64 (neg.f64 p) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) p) #s(literal -1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 p) (neg.f64 p))) p)
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 p) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (*.f64 (neg.f64 p) (neg.f64 p)) (*.f64 #s(literal 0 binary64) (neg.f64 p)))))
(/.f64 (neg.f64 (neg.f64 (*.f64 p p))) (neg.f64 p))
(/.f64 (neg.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64)))) (neg.f64 (*.f64 p p)))
(/.f64 (neg.f64 (*.f64 p p)) p)
(/.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64))) (*.f64 #s(literal 1 binary64) (*.f64 p p)))
(/.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64))) (*.f64 p p))
(/.f64 (*.f64 k p) (neg.f64 k))
(/.f64 (*.f64 (neg.f64 p) k) k)
(/.f64 (neg.f64 p) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 p (neg.f64 (*.f64 p p))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 p p) (neg.f64 (pow.f64 p #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) p) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) p))
(/.f64 p #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (pow.f64 p #s(literal -1 binary64)))
(neg.f64 p)
(fma.f64 (neg.f64 (*.f64 p p)) (pow.f64 p #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (pow.f64 p #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 p p)) #s(literal 0 binary64))
(fma.f64 (*.f64 (neg.f64 p) k) (pow.f64 k #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (neg.f64 p) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 p) #s(literal 0 binary64))
(fma.f64 (neg.f64 k) (/.f64 p k) #s(literal 0 binary64))
(fma.f64 k (/.f64 (neg.f64 p) k) #s(literal 0 binary64))
(fma.f64 p #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) p #s(literal 0 binary64))
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 p p)) (/.f64 (pow.f64 p #s(literal 3 binary64)) (*.f64 p p)))
(-.f64 #s(literal 0 binary64) (/.f64 (*.f64 p p) p))
(-.f64 #s(literal 0 binary64) p)
(+.f64 #s(literal 0 binary64) (neg.f64 p))
(+.f64 (neg.f64 p) #s(literal 0 binary64))

eval72.0ms (3.9%)

Memory
63.3MiB live, 63.3MiB allocated
Compiler

Compiled 8 413 to 2 094 computations (75.1% saved)

prune18.0ms (1%)

Memory
-55.4MiB live, 28.3MiB allocated
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New7272729
Fresh314
Picked235
Done011
Total7327739
Accuracy
100.0%
Counts
739 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.5%
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
99.6%
(/.f64 k (sqrt.f64 (*.f64 k p)))
✓99.6%
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
99.4%
(*.f64 k (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 k p))))
99.6%
(sqrt.f64 (/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 p) k)) (*.f64 p p)))
✓99.8%
(sqrt.f64 (/.f64 k p))
✓99.7%
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
Compiler

Compiled 134 to 87 computations (35.1% saved)

regimes11.0ms (0.6%)

Memory
9.5MiB live, 9.5MiB allocated
Accuracy

Total -0.7b remaining (-514.4%)

Threshold costs -0.7b (-514.4%)

Counts
12 → 1
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 k p))
(/.f64 k (sqrt.f64 (*.f64 k p)))
(sqrt.f64 (*.f64 (/.f64 #s(literal -1 binary64) p) (neg.f64 k)))
(*.f64 k (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 k p))))
(/.f64 (sqrt.f64 k) (sqrt.f64 p))
(sqrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 p k)))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 p k)))
(sqrt.f64 (*.f64 (/.f64 (neg.f64 k) (neg.f64 (*.f64 p p))) p))
(sqrt.f64 (/.f64 (neg.f64 (*.f64 k k)) (*.f64 (neg.f64 p) k)))
(sqrt.f64 (/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 p) k)) (*.f64 p p)))
(*.f64 (/.f64 #s(literal -1 binary64) (sqrt.f64 p)) (neg.f64 (sqrt.f64 k)))
(*.f64 (pow.f64 p #s(literal -1/2 binary64)) (sqrt.f64 k))
Outputs
(sqrt.f64 (/.f64 k p))
Calls

4 calls:

3.0ms
(/.f64 k p)
3.0ms
(sqrt.f64 (/.f64 k p))
3.0ms
p
3.0ms
k
Results
AccuracySegmentsBranch
99.8%1k
99.8%1p
99.8%1(sqrt.f64 (/.f64 k p))
99.8%1(/.f64 k p)
Compiler

Compiled 9 to 11 computations (-22.2% saved)

simplify10.0ms (0.6%)

Memory
5.1MiB live, 5.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 k p))
Outputs
(sqrt.f64 (/.f64 k p))

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 4 to 4 computations (0% saved)

preprocess11.0ms (0.6%)

Memory
8.5MiB live, 8.5MiB allocated
Compiler

Compiled 16 to 16 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...