inverse-Qp

Time bar (total: 2.5min)

start0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze1.0ms (0.0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
100.0%99.9%0.0%0.1%0.0%0.0%0.0%1
Compiler

Compiled 7 to 7 computations (0.0% saved)

sample8.0s (5.3%)

Memory
10.9MiB live, 2 959.8MiB allocated; 130ms collecting garbage
Samples
5.8s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult!: 710.0ms (37.1% of total, 237.9 MiB)
ival-exp!: 583.0ms (30.5% of total, 270.0 MiB)
ival-neg!: 345.0ms (18.0% of total, 109.8 MiB)
adjust: 275.0ms (14.4% of total, 78.0 MiB)
Bogosity

preprocess318.0ms (0.2%)

Memory
5.7MiB live, 5.7MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01836
18728
219228
386128
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(exp.f64 (neg.f64 (*.f64 BrA v)))
Symmetry

(sort BrA v)

Compiler

Compiled 10 to 10 computations (0.0% saved)

sample0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series2.5s (1.6%)
Memory
-14.3MiB live, 18.5MiB allocated; 16ms collecting garbage
Counts
5 → 12
Calls
Call 1
Inputs
%2 = (*.f64 BrA v)
%3 = (neg.f64 %2)
BrA
v
%2
%3
(exp.f64 %3)
Outputs
%5 = (* BrA v)
%6 = (*.f64 BrA v)
%8 = (neg %5)
%10 = (*.f64 #s(literal -1 binary64) %6)
%12 = (exp %8)
%19 = (pow.f64 v #s(literal 2 binary64))
%41 = (pow.f64 BrA #s(literal 2 binary64))
(approx BrA #s(literal 0 binary64))
(approx BrA BrA)
(approx %5 %6)
(approx %8 %10)
(approx %12 #s(literal 1 binary64))
(approx %12 (+.f64 #s(literal 1 binary64) %10))
(approx %12 (+.f64 #s(literal 1 binary64) (*.f64 BrA (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal 1/2 binary64) (*.f64 BrA %19))))))
(approx %12 (+.f64 #s(literal 1 binary64) (*.f64 BrA (fma.f64 #s(literal -1 binary64) v (*.f64 BrA (fma.f64 #s(literal -1/6 binary64) (*.f64 BrA (pow.f64 v #s(literal 3 binary64))) (*.f64 #s(literal 1/2 binary64) %19)))))))
(approx %12 (exp.f64 (neg.f64 %6)))
(approx v v)
(approx %12 (+.f64 #s(literal 1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) BrA (*.f64 #s(literal 1/2 binary64) (*.f64 %41 v))))))
(approx %12 (+.f64 #s(literal 1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) BrA (*.f64 v (fma.f64 #s(literal -1/6 binary64) (*.f64 (pow.f64 BrA #s(literal 3 binary64)) v) (*.f64 #s(literal 1/2 binary64) %41)))))))
Calls
6 calls:
TimeVariablePoint
16.0ms
BrA
inf
1.0ms
BrA
0
1.0ms
v
-inf
1.0ms
BrA
-inf
1.0ms
v
0
rewrite4.2s (2.8%)
Memory
6.7MiB live, 167.7MiB allocated; 55ms collecting garbage
Counts
5 → 260
Calls
Call 1
Inputs
%2 = (*.f64 BrA v)
%3 = (neg.f64 %2)
BrA
v
%2
%3
(exp.f64 %3)
Outputs
%1 = (neg.f64 BrA)
%4 = (neg.f64 v)
%6 = (*.f64 BrA v)
%10 = (neg.f64 %6)
%28 = (exp.f64 %10)
%30 = (neg.f64 %28)
%34 = (*.f64 %6 #s(literal -1 binary64))
%37 = (exp.f64 %6)
%42 = (neg.f64 %37)
%48 = (exp.f64 (*.f64 %6 #s(literal -2 binary64)))
%55 = (*.f64 %1 (+.f64 v v))
%62 = (*.f64 #s(literal 2 binary64) %37)
%64 = (/.f64 #s(literal 1/2 binary64) %37)
%66 = (/.f64 #s(literal 2 binary64) %37)
%69 = (*.f64 #s(literal 2 binary64) %28)
%71 = (*.f64 %28 #s(literal 2 binary64))
%82 = (/.f64 #s(literal 1/2 binary64) %42)
%85 = (*.f64 #s(literal -1/2 binary64) %30)
%87 = (*.f64 #s(literal 1/2 binary64) %30)
%89 = (neg.f64 %69)
%96 = (*.f64 #s(literal 2 binary64) %62)
%98 = (*.f64 #s(literal 2 binary64) %69)
%110 = (neg.f64 %98)
%115 = (/.f64 #s(literal 1 binary64) %96)
%121 = (/.f64 #s(literal 1 binary64) #s(literal 4 binary64))
%125 = (*.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%144 = (sqrt.f64 %28)
%150 = (/.f64 #s(literal 0 binary64) %37)
%152 = (*.f64 %28 #s(literal 0 binary64))
%154 = (*.f64 #s(literal 0 binary64) %28)
%156 = (cosh.f64 %6)
%157 = (sinh.f64 %6)
%159 = (sinh.f64 %10)
%165 = (neg.f64 %156)
%180 = (neg.f64 %144)
%190 = (*.f64 #s(literal -1 binary64) %159)
%192 = (*.f64 #s(literal -1 binary64) %156)
%216 = (*.f64 #s(literal -2 binary64) %157)
%218 = (*.f64 %157 #s(literal 2 binary64))
%226 = (/.f64 #s(literal 1/2 binary64) #s(literal 1 binary64))
%235 = (*.f64 #s(literal 1/2 binary64) #s(literal -1 binary64))
%243 = (*.f64 %156 #s(literal 1/2 binary64))
%247 = (*.f64 %159 #s(literal 1/2 binary64))
%251 = (*.f64 #s(literal -1 binary64) %165)
%253 = (*.f64 #s(literal -1 binary64) %157)
%257 = (*.f64 %156 #s(literal 2 binary64))
%259 = (*.f64 %165 #s(literal -1 binary64))
%262 = (*.f64 %157 #s(literal -1 binary64))
%267 = (*.f64 #s(literal -2 binary64) %156)
%272 = (*.f64 #s(literal 4 binary64) %157)
%275 = (/.f64 %30 #s(literal 2 binary64))
%285 = (*.f64 %144 #s(literal -1 binary64))
%287 = (*.f64 #s(literal -1 binary64) %144)
%289 = (/.f64 #s(literal 1/2 binary64) %62)
%293 = (/.f64 %64 #s(literal 2 binary64))
%309 = (/.f64 #s(literal 1/2 binary64) %96)
%317 = (*.f64 #s(literal 2 binary64) #s(literal -2 binary64))
%319 = (*.f64 %257 #s(literal -2 binary64))
%325 = (*.f64 %267 #s(literal -2 binary64))
%328 = (*.f64 #s(literal -2 binary64) %218)
%334 = (*.f64 #s(literal -2 binary64) %216)
%343 = (*.f64 %267 #s(literal 2 binary64))
%353 = (*.f64 %37 #s(literal 1/2 binary64))
%360 = (-.f64 %64 %157)
%362 = (-.f64 %353 %157)
%372 = (fma.f64 %37 #s(literal 1/2 binary64) %159)
%375 = (fma.f64 %28 #s(literal 1/2 binary64) %159)
%388 = (*.f64 #s(literal 1/2 binary64) %144)
%393 = (/.f64 %144 #s(literal 2 binary64))
BrA
(neg.f64 %1)
v
(neg.f64 %4)
%6
(*.f64 v BrA)
(*.f64 %1 %4)
(*.f64 %4 %1)
(neg.f64 %10)
(*.f64 BrA %4)
(*.f64 v %1)
(*.f64 %1 v)
(*.f64 %4 BrA)
%10
(-.f64 #s(literal 0 binary64) %6)
(fma.f64 BrA %4 #s(literal 0 binary64))
(fma.f64 v %1 #s(literal 0 binary64))
(fma.f64 %1 v #s(literal 0 binary64))
(fma.f64 %4 BrA #s(literal 0 binary64))
(+.f64 %10 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %10)
(neg.f64 (-.f64 %6 #s(literal 0 binary64)))
(neg.f64 (+.f64 #s(literal 0 binary64) %6))
%28
(fabs.f64 %28)
(fabs.f64 %30)
(neg.f64 %30)
(exp.f64 %34)
(/.f64 #s(literal 1 binary64) %37)
(*.f64 %28 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %28)
(/.f64 %28 #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) %42)
(*.f64 #s(literal -1 binary64) %30)
(*.f64 %30 #s(literal -1 binary64))
(sqrt.f64 %48)
(exp.f64 (fma.f64 %6 #s(literal -1 binary64) #s(literal 0 binary64)))
(exp.f64 (+.f64 #s(literal 0 binary64) %34))
(exp.f64 (*.f64 %55 #s(literal 1/2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 %37 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) %62)
(*.f64 #s(literal 2 binary64) %64)
(*.f64 #s(literal 1/2 binary64) %66)
(*.f64 %64 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %69)
(*.f64 %71 #s(literal 1/2 binary64))
(*.f64 %69 #s(literal 1/2 binary64))
(exp.f64 (/.f64 %55 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) (*.f64 %42 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %42))
(/.f64 %71 #s(literal 2 binary64))
(/.f64 %69 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %82)
(*.f64 #s(literal 2 binary64) %85)
(*.f64 #s(literal -2 binary64) %87)
(/.f64 %89 #s(literal -2 binary64))
(/.f64 (fabs.f64 %69) #s(literal 2 binary64))
(/.f64 (fabs.f64 %89) #s(literal 2 binary64))
(/.f64 #s(literal 4 binary64) %96)
(/.f64 %98 #s(literal 4 binary64))
(/.f64 (*.f64 %69 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %69 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %69) #s(literal 2 binary64))
(/.f64 (fabs.f64 %98) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %89) #s(literal 2 binary64))
(/.f64 %110 (neg.f64 #s(literal 4 binary64)))
(/.f64 (fabs.f64 %110) #s(literal 4 binary64))
(*.f64 %115 #s(literal 4 binary64))
(/.f64 (*.f64 %98 #s(literal 1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %98) #s(literal 4 binary64))
(*.f64 %98 %121)
(/.f64 (/.f64 %98 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %110 %125)
(/.f64 (*.f64 #s(literal -1 binary64) %110) #s(literal 4 binary64))
(pow.f64 (exp.f64 BrA) %4)
(pow.f64 (exp.f64 v) %1)
(pow.f64 (exp.f64 %1) v)
(pow.f64 (exp.f64 %4) BrA)
(/.f64 (*.f64 %98 #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal 2 binary64) %98) (*.f64 #s(literal 2 binary64) #s(literal 4 binary64)))
(pow.f64 %37 #s(literal -1 binary64))
(pow.f64 %144 #s(literal 2 binary64))
(pow.f64 (exp.f64 (*.f64 %6 #s(literal 2 binary64))) #s(literal -1/2 binary64))
(pow.f64 %48 #s(literal 1/2 binary64))
(+.f64 %28 %150)
(+.f64 %28 %152)
(+.f64 %28 %154)
(-.f64 %156 %157)
(+.f64 %156 %159)
(+.f64 %159 %156)
(/.f64 %144 (sqrt.f64 %37))
(*.f64 %144 %144)
(-.f64 %159 %165)
(fma.f64 %28 #s(literal 1 binary64) %150)
(fma.f64 %28 #s(literal 1/2 binary64) %64)
(fma.f64 #s(literal 1 binary64) %28 %150)
(fma.f64 #s(literal 1/2 binary64) %28 %64)
(fma.f64 %28 #s(literal 1 binary64) %152)
(fma.f64 %28 #s(literal 1 binary64) %154)
(fma.f64 #s(literal 1 binary64) %28 %152)
(fma.f64 #s(literal 1 binary64) %28 %154)
(+.f64 %64 %64)
(-.f64 %156 (*.f64 %157 #s(literal 1 binary64)))
(fma.f64 #s(literal -1 binary64) %30 %150)
(fma.f64 %30 #s(literal -1 binary64) %150)
(*.f64 %180 %180)
(fma.f64 #s(literal -1 binary64) %30 %152)
(fma.f64 #s(literal -1 binary64) %30 %154)
(fma.f64 %30 #s(literal -1 binary64) %152)
(fma.f64 %30 #s(literal -1 binary64) %154)
(fma.f64 #s(literal 1 binary64) %156 %159)
(fma.f64 #s(literal 1 binary64) %159 %156)
(fma.f64 %156 #s(literal 1 binary64) %159)
(fma.f64 %159 #s(literal 1 binary64) %156)
(-.f64 %156 %190)
(-.f64 %159 %192)
(fma.f64 #s(literal 1 binary64) %64 %64)
(fma.f64 #s(literal 2 binary64) %64 %150)
(fma.f64 #s(literal 1/2 binary64) %66 %150)
(fma.f64 %64 #s(literal 1 binary64) %64)
(fma.f64 %64 #s(literal 2 binary64) %150)
(-.f64 %159 (*.f64 %165 #s(literal 1 binary64)))
(fma.f64 #s(literal 2 binary64) %64 %152)
(fma.f64 #s(literal 2 binary64) %64 %154)
(fma.f64 #s(literal 1/2 binary64) %69 %150)
(fma.f64 #s(literal 1/2 binary64) %66 %152)
(fma.f64 #s(literal 1/2 binary64) %66 %154)
(fma.f64 %71 #s(literal 1/2 binary64) %150)
(fma.f64 %64 #s(literal 2 binary64) %152)
(fma.f64 %64 #s(literal 2 binary64) %154)
(fma.f64 %69 #s(literal 1/2 binary64) %150)
(fma.f64 #s(literal 1/2 binary64) %69 %152)
(fma.f64 #s(literal 1/2 binary64) %69 %154)
(fma.f64 %71 #s(literal 1/2 binary64) %152)
(fma.f64 %71 #s(literal 1/2 binary64) %154)
(fma.f64 %69 #s(literal 1/2 binary64) %152)
(fma.f64 %69 #s(literal 1/2 binary64) %154)
(fma.f64 #s(literal 1/2 binary64) %216 %156)
(fma.f64 %218 #s(literal -1/2 binary64) %156)
(fma.f64 %216 #s(literal 1/2 binary64) %156)
(pow.f64 (exp.f64 (*.f64 %55 #s(literal 2 binary64))) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64)))
(fma.f64 #s(literal -2 binary64) %82 %150)
(fma.f64 %226 %28 %64)
(+.f64 (cosh.f64 %34) (sinh.f64 %34))
(fma.f64 #s(literal 2 binary64) %85 %150)
(fma.f64 #s(literal -2 binary64) %87 %150)
(fma.f64 #s(literal -2 binary64) %82 %152)
(fma.f64 #s(literal -2 binary64) %82 %154)
(fma.f64 %235 %30 %64)
(fma.f64 #s(literal 2 binary64) (/.f64 %157 #s(literal -2 binary64)) %156)
(fma.f64 #s(literal 2 binary64) %85 %152)
(fma.f64 #s(literal 2 binary64) %85 %154)
(fma.f64 #s(literal -2 binary64) %87 %152)
(fma.f64 #s(literal -2 binary64) %87 %154)
(fma.f64 #s(literal 2 binary64) %243 %159)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %156) %159)
(fma.f64 #s(literal 2 binary64) %247 %156)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %159) %156)
(fma.f64 #s(literal -1 binary64) %157 %251)
(fma.f64 #s(literal -1 binary64) %165 %253)
(fma.f64 #s(literal -1 binary64) %192 %159)
(fma.f64 #s(literal -1 binary64) %190 %156)
(fma.f64 #s(literal 1/2 binary64) %257 %159)
(fma.f64 %157 #s(literal -1 binary64) %259)
(fma.f64 %257 #s(literal 1/2 binary64) %159)
(fma.f64 %165 #s(literal -1 binary64) %262)
(fma.f64 (*.f64 %156 #s(literal -1 binary64)) #s(literal -1 binary64) %159)
(fma.f64 %243 #s(literal 2 binary64) %159)
(fma.f64 %267 #s(literal -1/2 binary64) %159)
(fma.f64 (*.f64 %159 #s(literal -1 binary64)) #s(literal -1 binary64) %156)
(fma.f64 %247 #s(literal 2 binary64) %156)
(-.f64 %156 (/.f64 %272 #s(literal 4 binary64)))
(fma.f64 #s(literal -1 binary64) %275 %64)
(+.f64 %262 %259)
(+.f64 %253 %251)
(+.f64 %259 %262)
(+.f64 %251 %253)
(fma.f64 #s(literal 2 binary64) (/.f64 %156 #s(literal 2 binary64)) %159)
(fma.f64 #s(literal 2 binary64) (/.f64 %159 #s(literal 2 binary64)) %156)
(*.f64 %285 %285)
(*.f64 %287 %287)
(fma.f64 %289 #s(literal 2 binary64) %64)
(fma.f64 (*.f64 #s(literal 1 binary64) %216) #s(literal 1/2 binary64) %156)
(fma.f64 #s(literal 2 binary64) %293 %64)
(/.f64 (fma.f64 #s(literal -2 binary64) %156 %218) #s(literal -2 binary64))
(/.f64 (fma.f64 %156 #s(literal -2 binary64) %218) #s(literal -2 binary64))
(fma.f64 (*.f64 #s(literal 1 binary64) %257) #s(literal 1/2 binary64) %159)
(/.f64 (-.f64 (*.f64 %156 #s(literal -2 binary64)) %216) #s(literal -2 binary64))
(/.f64 (-.f64 %267 %216) #s(literal -2 binary64))
(/.f64 (fma.f64 %159 #s(literal -2 binary64) %267) #s(literal -2 binary64))
(fma.f64 %115 #s(literal 4 binary64) %150)
(fma.f64 %309 #s(literal 4 binary64) %64)
(fma.f64 %115 #s(literal 4 binary64) %152)
(fma.f64 %115 #s(literal 4 binary64) %154)
(fma.f64 %98 %121 %150)
(fma.f64 %98 %121 %152)
(fma.f64 %98 %121 %154)
(/.f64 (fma.f64 %257 #s(literal -2 binary64) %272) %317)
(/.f64 (fma.f64 #s(literal 4 binary64) %157 %319) %125)
(/.f64 (fma.f64 %218 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %267)) #s(literal 4 binary64))
(/.f64 (fma.f64 %218 #s(literal -2 binary64) %325) #s(literal 4 binary64))
(/.f64 (fma.f64 %267 #s(literal -2 binary64) %328) #s(literal 4 binary64))
(/.f64 (fma.f64 %267 #s(literal -2 binary64) (*.f64 %218 #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 %325 %334) #s(literal 4 binary64))
(/.f64 (-.f64 %319 (neg.f64 %272)) %317)
(/.f64 (fma.f64 %216 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %267)) %317)
(/.f64 (fma.f64 %216 #s(literal -2 binary64) %343) %317)
(/.f64 (fma.f64 %267 #s(literal 2 binary64) %334) %125)
(/.f64 (fma.f64 %267 #s(literal 2 binary64) (*.f64 %216 #s(literal -2 binary64))) %125)
(/.f64 (-.f64 %343 %328) %125)
(+.f64 (-.f64 %156 %353) %64)
(-.f64 %64 (-.f64 %353 %156))
(-.f64 (+.f64 %156 %64) %353)
(fma.f64 %37 #s(literal 1/2 binary64) %360)
(fma.f64 %28 #s(literal 1/2 binary64) %362)
(fma.f64 #s(literal 1/2 binary64) %28 %362)
(-.f64 %64 (fma.f64 %37 #s(literal 1/2 binary64) %165))
(fma.f64 %144 %144 %150)
(fma.f64 %144 %144 %152)
(fma.f64 %144 %144 %154)
(+.f64 %64 %362)
(+.f64 %353 %360)
(fma.f64 %28 #s(literal 1/2 binary64) %372)
(fma.f64 #s(literal 1/2 binary64) %28 %372)
(fma.f64 %37 #s(literal 1/2 binary64) %375)
(+.f64 %64 %372)
(+.f64 %353 %375)
(+.f64 (+.f64 %159 %353) %64)
(+.f64 (+.f64 %159 %64) %353)
(fma.f64 %180 %180 %150)
(fma.f64 %180 %180 %152)
(fma.f64 %180 %180 %154)
(fma.f64 #s(literal 1 binary64) %64 %362)
(fma.f64 %64 #s(literal 1 binary64) %362)
(fma.f64 %388 %144 %64)
(fma.f64 #s(literal 1 binary64) %64 %372)
(fma.f64 %64 #s(literal 1 binary64) %372)
(fma.f64 %226 %28 %362)
(fma.f64 %144 %393 %64)
(fma.f64 %235 %30 %362)
(fma.f64 %226 %28 %372)
(fma.f64 %235 %30 %372)
(fma.f64 #s(literal -1 binary64) %275 %362)
(fma.f64 #s(literal -1 binary64) %275 %372)
(fma.f64 %289 #s(literal 2 binary64) %362)
(fma.f64 %285 %285 %150)
(fma.f64 %287 %287 %150)
(fma.f64 %289 #s(literal 2 binary64) %372)
(fma.f64 %285 %285 %152)
(fma.f64 %285 %285 %154)
(fma.f64 %287 %287 %152)
(fma.f64 %287 %287 %154)
(fma.f64 #s(literal 2 binary64) %293 %362)
(fma.f64 #s(literal 2 binary64) %293 %372)
(fma.f64 %309 #s(literal 4 binary64) %362)
(fma.f64 %309 #s(literal 4 binary64) %372)
(fma.f64 %388 %144 %362)
(fma.f64 %388 %144 %372)
(fma.f64 %144 %393 %362)
(fma.f64 %144 %393 %372)
reconstruct0.0ms (0.0%)
Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
eval237.0ms (0.2%)
Memory
21.4MiB live, 21.4MiB allocated; 0ms collecting garbage
Compiler
Compiled 3 672 to 479 computations (87.0% saved)
prune75.0ms (0.1%)
Memory
-22.9MiB live, 7.5MiB allocated; 4ms collecting garbage
Pruning
3 alts after pruning (2 fresh and 1 done)
PrunedKeptTotal
New2662268
Fresh000
Picked011
Done000
Total2663269
Accuracy
100.0%
Counts
269 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(exp.f64 (neg.f64 (*.f64 BrA v)))
▶59.2%
(approx (exp (neg (* BrA v))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (*.f64 BrA v))))
▶51.4%
(approx (exp (neg (* BrA v))) #s(literal 1 binary64))
Compiler
Compiled 13 to 9 computations (30.8% saved)
sample0.0ms (0.0%)
Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series2.7s (1.8%)
Memory
18.4MiB live, 109.9MiB allocated; 31ms collecting garbage
Counts
9 → 16
Calls
Call 1
Inputs
%2 = (*.f64 BrA v)
%4 = (*.f64 #s(literal -1 binary64) %2)
%8 = (exp (neg (* BrA v)))
%10 = (+.f64 #s(literal 1 binary64) %4)
BrA
v
%2
#s(literal -1 binary64)
%4
#s(literal 1 binary64)
(approx %8 #s(literal 1 binary64))
%10
(approx %8 %10)
Outputs
%5 = (* BrA v)
%6 = (*.f64 BrA v)
%9 = (* -1 %5)
%11 = (*.f64 #s(literal -1 binary64) %6)
%14 = (exp (neg %5))
%21 = (pow.f64 v #s(literal 2 binary64))
%43 = (+ 1 %9)
%44 = (/.f64 #s(literal 1 binary64) BrA)
%53 = (pow.f64 BrA #s(literal 2 binary64))
%69 = (/.f64 #s(literal 1 binary64) v)
(approx BrA #s(literal 0 binary64))
(approx BrA BrA)
(approx %5 %6)
(approx %9 %11)
(approx %14 #s(literal 1 binary64))
(approx %14 (+.f64 #s(literal 1 binary64) %11))
(approx %14 (+.f64 #s(literal 1 binary64) (*.f64 BrA (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal 1/2 binary64) (*.f64 BrA %21))))))
(approx %14 (+.f64 #s(literal 1 binary64) (*.f64 BrA (fma.f64 #s(literal -1 binary64) v (*.f64 BrA (fma.f64 #s(literal -1/6 binary64) (*.f64 BrA (pow.f64 v #s(literal 3 binary64))) (*.f64 #s(literal 1/2 binary64) %21)))))))
(approx %14 (exp.f64 (neg.f64 %6)))
(approx %43 (*.f64 BrA (fma.f64 #s(literal -1 binary64) v %44)))
(approx %43 (*.f64 #s(literal -1 binary64) (*.f64 BrA (-.f64 v %44))))
(approx v v)
(approx %14 (+.f64 #s(literal 1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) BrA (*.f64 #s(literal 1/2 binary64) (*.f64 %53 v))))))
(approx %14 (+.f64 #s(literal 1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) BrA (*.f64 v (fma.f64 #s(literal -1/6 binary64) (*.f64 (pow.f64 BrA #s(literal 3 binary64)) v) (*.f64 #s(literal 1/2 binary64) %53)))))))
(approx %43 (*.f64 v (fma.f64 #s(literal -1 binary64) BrA %69)))
(approx %43 (*.f64 #s(literal -1 binary64) (*.f64 v (-.f64 BrA %69))))
Calls
6 calls:
TimeVariablePoint
23.0ms
v
inf
1.0ms
BrA
inf
1.0ms
BrA
0
1.0ms
v
0
0.0ms
v
-inf
rewrite5.7s (3.8%)
Memory
20.1MiB live, 259.9MiB allocated; 72ms collecting garbage
Counts
9 → 1 340
Calls
Call 1
Inputs
%2 = (*.f64 BrA v)
%4 = (*.f64 #s(literal -1 binary64) %2)
%8 = (exp (neg (* BrA v)))
%10 = (+.f64 #s(literal 1 binary64) %4)
BrA
v
%2
#s(literal -1 binary64)
%4
#s(literal 1 binary64)
(approx %8 #s(literal 1 binary64))
%10
(approx %8 %10)
Outputs
%1 = (neg.f64 BrA)
%13 = (*.f64 #s(literal 0 binary64) BrA)
%15 = (*.f64 BrA #s(literal 0 binary64))
%20 = (+.f64 BrA BrA)
%24 = (*.f64 #s(literal 1/2 binary64) BrA)
%28 = (*.f64 #s(literal -1/2 binary64) BrA)
%33 = (*.f64 %1 #s(literal 0 binary64))
%35 = (*.f64 #s(literal 0 binary64) %1)
%41 = (*.f64 #s(literal 2 binary64) %1)
%43 = (*.f64 %1 #s(literal -1/2 binary64))
%45 = (*.f64 %1 #s(literal 2 binary64))
%47 = (*.f64 %1 #s(literal -2 binary64))
%87 = (/.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
%88 = (/.f64 BrA #s(literal 4 binary64))
%125 = (+.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%126 = (/.f64 %20 %125)
%131 = (*.f64 #s(literal 2 binary64) #s(literal -2 binary64))
%134 = (*.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%144 = (*.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
%155 = (neg.f64 v)
%164 = (*.f64 #s(literal 0 binary64) v)
%166 = (*.f64 v #s(literal 0 binary64))
%170 = (+.f64 v v)
%173 = (*.f64 #s(literal 1/2 binary64) v)
%175 = (*.f64 #s(literal -2 binary64) v)
%180 = (*.f64 %155 #s(literal 0 binary64))
%182 = (*.f64 #s(literal 0 binary64) %155)
%185 = (*.f64 #s(literal -1/2 binary64) %155)
%187 = (*.f64 #s(literal -2 binary64) %155)
%189 = (*.f64 #s(literal 1/2 binary64) %155)
%191 = (*.f64 %155 #s(literal -1/2 binary64))
%193 = (*.f64 %155 #s(literal -2 binary64))
%195 = (*.f64 %155 #s(literal 1/2 binary64))
%232 = (/.f64 v #s(literal 4 binary64))
%272 = (/.f64 %170 %125)
%301 = (*.f64 BrA v)
%305 = (neg.f64 %301)
%319 = (fma.f64 BrA v #s(literal -1 binary64))
%331 = (*.f64 #s(literal 0 binary64) #s(literal -1 binary64))
%333 = (*.f64 #s(literal -1 binary64) #s(literal 0 binary64))
%335 = (*.f64 %20 v)
%344 = (*.f64 %24 v)
%346 = (*.f64 %28 v)
%348 = (*.f64 %301 #s(literal -2 binary64))
%356 = (/.f64 %301 #s(literal 1/2 binary64))
%360 = (-.f64 #s(literal 1 binary64) %301)
%362 = (-.f64 #s(literal -1 binary64) #s(literal -1 binary64))
%365 = (-.f64 #s(literal 2 binary64) #s(literal 2 binary64))
%378 = (*.f64 #s(literal 0 binary64) #s(literal 0 binary64))
%396 = (*.f64 #s(literal 0 binary64) %305)
%398 = (*.f64 %305 #s(literal 0 binary64))
%402 = (*.f64 %344 #s(literal 1/2 binary64))
%404 = (*.f64 %335 #s(literal 2 binary64))
%406 = (*.f64 #s(literal 2 binary64) %335)
%411 = (fma.f64 %20 v #s(literal -2 binary64))
%418 = (fma.f64 %24 v #s(literal -1/2 binary64))
%420 = (fma.f64 #s(literal -2 binary64) %301 #s(literal 2 binary64))
%431 = (/.f64 %301 #s(literal 4 binary64))
%433 = (*.f64 %335 #s(literal 0 binary64))
%441 = (-.f64 #s(literal 1/2 binary64) %344)
%463 = (/.f64 #s(literal 0 binary64) %125)
%480 = (*.f64 #s(literal -1/2 binary64) v)
%484 = (/.f64 %335 %125)
%486 = (*.f64 %335 #s(literal -2 binary64))
%490 = (*.f64 #s(literal -2 binary64) %335)
%507 = (-.f64 %344 #s(literal 0 binary64))
%519 = (*.f64 #s(literal 1/2 binary64) #s(literal 0 binary64))
%561 = (*.f64 %173 #s(literal -1 binary64))
%588 = (*.f64 %24 #s(literal 1/2 binary64))
%590 = (*.f64 %173 #s(literal 1/2 binary64))
%593 = (*.f64 #s(literal 1/2 binary64) %344)
%596 = (*.f64 #s(literal 3/2 binary64) %344)
%599 = (*.f64 %344 #s(literal 3/2 binary64))
%603 = (*.f64 %346 #s(literal -1/2 binary64))
%605 = (*.f64 %346 #s(literal 1/2 binary64))
%629 = (exp.f64 %305)
%638 = (/.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (exp.f64 %301) #s(literal 2 binary64))))
%675 = (*.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
%678 = (*.f64 #s(literal -2 binary64) #s(literal 0 binary64))
%680 = (*.f64 #s(literal -1/2 binary64) #s(literal 0 binary64))
%685 = (*.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
%691 = (/.f64 #s(literal 2 binary64) #s(literal -1 binary64))
%694 = (/.f64 #s(literal 1/2 binary64) #s(literal -1 binary64))
%696 = (/.f64 #s(literal -1 binary64) #s(literal 1/2 binary64))
%731 = (*.f64 #s(literal 3/2 binary64) #s(literal -1/2 binary64))
%738 = (*.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%745 = (*.f64 #s(literal -1/2 binary64) #s(literal 3/2 binary64))
%757 = (fma.f64 #s(literal -2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
%769 = (/.f64 #s(literal -2 binary64) %125)
%775 = (/.f64 #s(literal 1/2 binary64) #s(literal -2 binary64))
%776 = (/.f64 #s(literal 3/2 binary64) #s(literal -2 binary64))
%779 = (/.f64 #s(literal -1 binary64) #s(literal 4 binary64))
%781 = (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
%782 = (/.f64 #s(literal 4 binary64) #s(literal -1 binary64))
%892 = (-.f64 #s(literal 0 binary64) %305)
%897 = (*.f64 %20 %155)
%899 = (*.f64 %170 %1)
%926 = (*.f64 %335 #s(literal -1 binary64))
%940 = (*.f64 #s(literal 4 binary64) %346)
%1095 = (E.f64 )
%1119 = (-.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
%1129 = (*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
%1145 = (sqrt.f64 #s(literal 2 binary64))
%1146 = (sqrt.f64 #s(literal 1/2 binary64))
%1182 = (*.f64 #s(literal 1/2 binary64) #s(literal 3/2 binary64))
%1184 = (*.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64))
%1208 = (/.f64 #s(literal 1 binary64) #s(literal 4 binary64))
%1218 = (*.f64 #s(literal 4 binary64) #s(literal 2 binary64))
%1222 = (/.f64 #s(literal 2 binary64) %125)
%1232 = (/.f64 #s(literal 3/2 binary64) #s(literal 2 binary64))
%1239 = (/.f64 #s(literal 4 binary64) #s(literal 1 binary64))
%1270 = (/.f64 #s(literal 1 binary64) %125)
%1310 = (/.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
%1365 = (/.f64 #s(literal 1 binary64) %1095)
%1367 = (/.f64 (+.f64 %1365 %1095) #s(literal 2 binary64))
%1370 = (/.f64 (-.f64 %1095 %1365) #s(literal 2 binary64))
%1375 = (exp (neg (* BrA v)))
%1394 = (-.f64 #s(literal 1/2 binary64) %301)
%1442 = (fma.f64 %28 v #s(literal 1/2 binary64))
%1446 = (-.f64 #s(literal 2 binary64) %335)
%1453 = (-.f64 %346 #s(literal -1/2 binary64))
%1502 = (*.f64 #s(literal 4 binary64) %441)
%1504 = (/.f64 %420 #s(literal 4 binary64))
%1537 = (/.f64 %420 %125)
BrA
(neg.f64 %1)
(*.f64 BrA #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) BrA)
(/.f64 BrA #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %1)
(*.f64 %1 #s(literal -1 binary64))
(fma.f64 BrA #s(literal 0 binary64) BrA)
(fma.f64 #s(literal 0 binary64) BrA BrA)
(+.f64 BrA %13)
(+.f64 BrA %15)
(+.f64 %13 BrA)
(+.f64 %15 BrA)
(*.f64 #s(literal 1/2 binary64) %20)
(*.f64 %20 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %24)
(*.f64 #s(literal -2 binary64) %28)
(*.f64 %24 #s(literal 2 binary64))
(*.f64 %28 #s(literal -2 binary64))
(/.f64 %20 #s(literal 2 binary64))
(+.f64 BrA %33)
(+.f64 BrA %35)
(/.f64 (*.f64 #s(literal -2 binary64) BrA) #s(literal -2 binary64))
(/.f64 (*.f64 BrA #s(literal -2 binary64)) #s(literal -2 binary64))
(*.f64 #s(literal -1/2 binary64) %41)
(*.f64 %43 #s(literal 2 binary64))
(*.f64 %45 #s(literal -1/2 binary64))
(*.f64 %47 #s(literal 1/2 binary64))
(/.f64 (neg.f64 %20) #s(literal -2 binary64))
(/.f64 %45 #s(literal -2 binary64))
(/.f64 %47 #s(literal 2 binary64))
(/.f64 %41 #s(literal -2 binary64))
(fma.f64 BrA #s(literal 1 binary64) %13)
(fma.f64 BrA #s(literal 1 binary64) %15)
(fma.f64 BrA #s(literal 1/2 binary64) %24)
(fma.f64 #s(literal 1 binary64) BrA %13)
(fma.f64 #s(literal 1 binary64) BrA %15)
(fma.f64 #s(literal 1/2 binary64) BrA %24)
(+.f64 %24 %24)
(fma.f64 BrA #s(literal 1 binary64) %33)
(fma.f64 BrA #s(literal 1 binary64) %35)
(fma.f64 #s(literal -1 binary64) %1 %13)
(fma.f64 #s(literal -1 binary64) %1 %15)
(fma.f64 #s(literal 1 binary64) BrA %33)
(fma.f64 #s(literal 1 binary64) BrA %35)
(fma.f64 #s(literal -1/2 binary64) %1 %24)
(fma.f64 %1 #s(literal -1 binary64) %13)
(fma.f64 %1 #s(literal -1 binary64) %15)
(/.f64 (*.f64 %20 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %20) #s(literal 4 binary64))
(fma.f64 #s(literal -1 binary64) %1 %33)
(fma.f64 #s(literal -1 binary64) %1 %35)
(fma.f64 %1 #s(literal -1 binary64) %33)
(fma.f64 %1 #s(literal -1 binary64) %35)
(fma.f64 %1 #s(literal -1/2 binary64) %43)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %20))
(/.f64 (/.f64 %20 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %20 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(+.f64 %43 %43)
(*.f64 %87 %88)
(fma.f64 #s(literal 1/2 binary64) %20 %13)
(fma.f64 #s(literal 1/2 binary64) %20 %15)
(fma.f64 %20 #s(literal 1/2 binary64) %13)
(fma.f64 %20 #s(literal 1/2 binary64) %15)
(fma.f64 #s(literal 1 binary64) %24 %24)
(fma.f64 #s(literal 2 binary64) %24 %13)
(fma.f64 #s(literal 2 binary64) %24 %15)
(fma.f64 #s(literal -2 binary64) %28 %13)
(fma.f64 #s(literal -2 binary64) %28 %15)
(fma.f64 %24 #s(literal 1 binary64) %24)
(fma.f64 %24 #s(literal 2 binary64) %13)
(fma.f64 %24 #s(literal 2 binary64) %15)
(fma.f64 %28 #s(literal -1 binary64) %24)
(fma.f64 %28 #s(literal -2 binary64) %13)
(fma.f64 %28 #s(literal -2 binary64) %15)
(fma.f64 #s(literal 1/2 binary64) %20 %33)
(fma.f64 #s(literal 1/2 binary64) %20 %35)
(fma.f64 %20 #s(literal 1/2 binary64) %33)
(fma.f64 %20 #s(literal 1/2 binary64) %35)
(fma.f64 #s(literal 2 binary64) %24 %33)
(fma.f64 #s(literal 2 binary64) %24 %35)
(fma.f64 #s(literal -2 binary64) %28 %33)
(fma.f64 #s(literal -2 binary64) %28 %35)
(fma.f64 #s(literal -1/2 binary64) %41 %13)
(fma.f64 #s(literal -1/2 binary64) %41 %15)
(fma.f64 %24 #s(literal 2 binary64) %33)
(fma.f64 %24 #s(literal 2 binary64) %35)
(fma.f64 %28 #s(literal -2 binary64) %33)
(fma.f64 %28 #s(literal -2 binary64) %35)
(fma.f64 %43 #s(literal 2 binary64) %13)
(fma.f64 %43 #s(literal 2 binary64) %15)
(fma.f64 %45 #s(literal -1/2 binary64) %13)
(fma.f64 %45 #s(literal -1/2 binary64) %15)
(fma.f64 %47 #s(literal 1/2 binary64) %13)
(fma.f64 %47 #s(literal 1/2 binary64) %15)
(*.f64 %126 #s(literal 4 binary64))
(/.f64 (*.f64 %125 %24) #s(literal 4 binary64))
(/.f64 (*.f64 %20 #s(literal -2 binary64)) %131)
(/.f64 (*.f64 #s(literal -2 binary64) %20) %134)
(fma.f64 #s(literal -1/2 binary64) %41 %33)
(fma.f64 #s(literal -1/2 binary64) %41 %35)
(fma.f64 %43 #s(literal 2 binary64) %33)
(fma.f64 %43 #s(literal 2 binary64) %35)
(fma.f64 %45 #s(literal -1/2 binary64) %33)
(fma.f64 %45 #s(literal -1/2 binary64) %35)
(fma.f64 %47 #s(literal 1/2 binary64) %33)
(fma.f64 %47 #s(literal 1/2 binary64) %35)
(fma.f64 %144 %20 %24)
(fma.f64 %87 %88 %13)
(fma.f64 %87 %88 %15)
(fma.f64 %87 %88 %33)
(fma.f64 %87 %88 %35)
(fma.f64 %126 #s(literal 4 binary64) %13)
(fma.f64 %126 #s(literal 4 binary64) %15)
(fma.f64 %126 #s(literal 4 binary64) %33)
(fma.f64 %126 #s(literal 4 binary64) %35)
v
(neg.f64 %155)
(*.f64 v #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) v)
(/.f64 v #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %155)
(*.f64 %155 #s(literal -1 binary64))
(fma.f64 v #s(literal 0 binary64) v)
(fma.f64 #s(literal 0 binary64) v v)
(+.f64 v %164)
(+.f64 v %166)
(+.f64 %164 v)
(+.f64 %166 v)
(*.f64 #s(literal 1/2 binary64) %170)
(*.f64 %170 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %173)
(*.f64 #s(literal -1/2 binary64) %175)
(*.f64 %173 #s(literal 2 binary64))
(*.f64 %175 #s(literal -1/2 binary64))
(/.f64 %170 #s(literal 2 binary64))
(+.f64 v %180)
(+.f64 v %182)
(/.f64 %175 #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) %185)
(*.f64 #s(literal 1/2 binary64) %187)
(*.f64 #s(literal -2 binary64) %189)
(*.f64 %191 #s(literal 2 binary64))
(*.f64 %193 #s(literal 1/2 binary64))
(*.f64 %195 #s(literal -2 binary64))
(/.f64 %193 #s(literal 2 binary64))
(/.f64 %187 #s(literal 2 binary64))
(fma.f64 v #s(literal 1 binary64) %164)
(fma.f64 v #s(literal 1 binary64) %166)
(fma.f64 v #s(literal 1/2 binary64) %173)
(fma.f64 #s(literal 1 binary64) v %164)
(fma.f64 #s(literal 1 binary64) v %166)
(fma.f64 #s(literal 1/2 binary64) v %173)
(+.f64 %173 %173)
(fma.f64 v #s(literal 1 binary64) %180)
(fma.f64 v #s(literal 1 binary64) %182)
(fma.f64 #s(literal -1 binary64) %155 %164)
(fma.f64 #s(literal -1 binary64) %155 %166)
(fma.f64 #s(literal 1 binary64) v %180)
(fma.f64 #s(literal 1 binary64) v %182)
(fma.f64 %155 #s(literal -1 binary64) %164)
(fma.f64 %155 #s(literal -1 binary64) %166)
(/.f64 (*.f64 %170 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %170) #s(literal 4 binary64))
(fma.f64 #s(literal -1 binary64) %155 %180)
(fma.f64 #s(literal -1 binary64) %155 %182)
(fma.f64 #s(literal -1/2 binary64) %155 %185)
(fma.f64 %155 #s(literal -1 binary64) %180)
(fma.f64 %155 #s(literal -1 binary64) %182)
(fma.f64 %155 #s(literal -1/2 binary64) %191)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %170))
(/.f64 (/.f64 %170 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %170 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(+.f64 %191 %191)
(+.f64 %185 %185)
(*.f64 %87 %232)
(fma.f64 #s(literal 1/2 binary64) %170 %164)
(fma.f64 #s(literal 1/2 binary64) %170 %166)
(fma.f64 %170 #s(literal 1/2 binary64) %164)
(fma.f64 %170 #s(literal 1/2 binary64) %166)
(fma.f64 #s(literal 1 binary64) %173 %173)
(fma.f64 #s(literal 2 binary64) %173 %164)
(fma.f64 #s(literal 2 binary64) %173 %166)
(fma.f64 #s(literal -1/2 binary64) %175 %164)
(fma.f64 #s(literal -1/2 binary64) %175 %166)
(fma.f64 %173 #s(literal 1 binary64) %173)
(fma.f64 %173 #s(literal 2 binary64) %164)
(fma.f64 %173 #s(literal 2 binary64) %166)
(fma.f64 %175 #s(literal -1/2 binary64) %164)
(fma.f64 %175 #s(literal -1/2 binary64) %166)
(fma.f64 #s(literal 1/2 binary64) %170 %180)
(fma.f64 #s(literal 1/2 binary64) %170 %182)
(fma.f64 %170 #s(literal 1/2 binary64) %180)
(fma.f64 %170 #s(literal 1/2 binary64) %182)
(fma.f64 #s(literal 2 binary64) %173 %180)
(fma.f64 #s(literal 2 binary64) %173 %182)
(fma.f64 #s(literal 2 binary64) %185 %164)
(fma.f64 #s(literal 2 binary64) %185 %166)
(fma.f64 #s(literal 1/2 binary64) %187 %164)
(fma.f64 #s(literal 1/2 binary64) %187 %166)
(fma.f64 #s(literal -2 binary64) %189 %164)
(fma.f64 #s(literal -2 binary64) %189 %166)
(fma.f64 #s(literal -1/2 binary64) %175 %180)
(fma.f64 #s(literal -1/2 binary64) %175 %182)
(fma.f64 %173 #s(literal 2 binary64) %180)
(fma.f64 %173 #s(literal 2 binary64) %182)
(fma.f64 %175 #s(literal -1/2 binary64) %180)
(fma.f64 %175 #s(literal -1/2 binary64) %182)
(fma.f64 %191 #s(literal 2 binary64) %164)
(fma.f64 %191 #s(literal 2 binary64) %166)
(fma.f64 %193 #s(literal 1/2 binary64) %164)
(fma.f64 %193 #s(literal 1/2 binary64) %166)
(fma.f64 %195 #s(literal -2 binary64) %164)
(fma.f64 %195 #s(literal -2 binary64) %166)
(*.f64 %272 #s(literal 4 binary64))
(/.f64 (*.f64 %125 %173) #s(literal 4 binary64))
(/.f64 (*.f64 %170 #s(literal -2 binary64)) %131)
(/.f64 (*.f64 #s(literal -2 binary64) %170) %134)
(fma.f64 #s(literal 2 binary64) %185 %180)
(fma.f64 #s(literal 2 binary64) %185 %182)
(fma.f64 #s(literal 1/2 binary64) %187 %180)
(fma.f64 #s(literal 1/2 binary64) %187 %182)
(fma.f64 #s(literal -2 binary64) %189 %180)
(fma.f64 #s(literal -2 binary64) %189 %182)
(fma.f64 %191 #s(literal 2 binary64) %180)
(fma.f64 %191 #s(literal 2 binary64) %182)
(fma.f64 %193 #s(literal 1/2 binary64) %180)
(fma.f64 %193 #s(literal 1/2 binary64) %182)
(fma.f64 %195 #s(literal -2 binary64) %180)
(fma.f64 %195 #s(literal -2 binary64) %182)
(fma.f64 %144 %170 %173)
(fma.f64 %87 %232 %164)
(fma.f64 %87 %232 %166)
(fma.f64 %87 %232 %180)
(fma.f64 %87 %232 %182)
(fma.f64 %272 #s(literal 4 binary64) %164)
(fma.f64 %272 #s(literal 4 binary64) %166)
(fma.f64 %272 #s(literal 4 binary64) %180)
(fma.f64 %272 #s(literal 4 binary64) %182)
%301
(*.f64 v BrA)
(*.f64 %1 %155)
(*.f64 %155 %1)
(neg.f64 %305)
(fma.f64 BrA v #s(literal 0 binary64))
(fma.f64 v BrA #s(literal 0 binary64))
(+.f64 %301 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %301)
(-.f64 %301 #s(literal 0 binary64))
(*.f64 %301 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %301)
(/.f64 %301 #s(literal 1 binary64))
(fma.f64 %1 %155 #s(literal 0 binary64))
(fma.f64 %155 %1 #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) %305)
(*.f64 %305 #s(literal -1 binary64))
(+.f64 %319 #s(literal 1 binary64))
(fma.f64 %301 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) %301)
(fma.f64 #s(literal 1 binary64) %301 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %301)
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) %301)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %301)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %301)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %301)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %301)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %301)
(+.f64 %331 %301)
(+.f64 %333 %301)
(*.f64 #s(literal 1/2 binary64) %335)
(*.f64 %20 %173)
(*.f64 %170 %24)
(*.f64 %24 %170)
(*.f64 %173 %20)
(*.f64 %335 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) %305 #s(literal 0 binary64))
(fma.f64 %305 #s(literal -1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 2 binary64) %344)
(*.f64 #s(literal -2 binary64) %346)
(*.f64 #s(literal -1/2 binary64) %348)
(*.f64 %28 %175)
(*.f64 %344 #s(literal 2 binary64))
(*.f64 %346 #s(literal -2 binary64))
(*.f64 %348 #s(literal -1/2 binary64))
(/.f64 %335 #s(literal 2 binary64))
(/.f64 %348 #s(literal -2 binary64))
(*.f64 %356 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %319 #s(literal 1 binary64))
(fma.f64 %319 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %360 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %362 %301)
(fma.f64 %360 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %365 %301)
(fma.f64 #s(literal 1/2 binary64) %335 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %362 %301)
(fma.f64 %20 %173 #s(literal 0 binary64))
(fma.f64 %170 %24 #s(literal 0 binary64))
(fma.f64 %24 %170 #s(literal 0 binary64))
(fma.f64 %173 %20 #s(literal 0 binary64))
(fma.f64 %335 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 BrA %166 %301)
(fma.f64 v %15 %301)
(fma.f64 %301 #s(literal 0 binary64) %301)
(fma.f64 #s(literal 0 binary64) %301 %301)
(fma.f64 #s(literal 2 binary64) %378 %301)
(fma.f64 #s(literal 2 binary64) %344 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %346 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %348 #s(literal 0 binary64))
(fma.f64 %13 v %301)
(fma.f64 %164 BrA %301)
(fma.f64 %28 %175 #s(literal 0 binary64))
(fma.f64 %344 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %346 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %348 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %356 #s(literal 1/2 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 %20 %170) #s(literal 4 binary64))
(/.f64 (*.f64 %170 %20) #s(literal 4 binary64))
(/.f64 (-.f64 %335 #s(literal 0 binary64)) #s(literal 2 binary64))
(fma.f64 BrA v %396)
(fma.f64 BrA v %398)
(fma.f64 v BrA %396)
(fma.f64 v BrA %398)
(*.f64 %402 #s(literal 4 binary64))
(/.f64 %404 #s(literal 4 binary64))
(/.f64 %406 #s(literal 4 binary64))
(+.f64 %301 %396)
(+.f64 %301 %398)
(-.f64 %301 %398)
(fma.f64 #s(literal 1/2 binary64) %411 #s(literal 1 binary64))
(fma.f64 %411 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %1 %180 %301)
(fma.f64 %155 %33 %301)
(fma.f64 %35 %155 %301)
(fma.f64 %182 %1 %301)
(fma.f64 #s(literal 2 binary64) %418 #s(literal 1 binary64))
(fma.f64 %420 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 %418 #s(literal 2 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %335))
(/.f64 (/.f64 %335 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %335 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -2 binary64) %335) #s(literal 1 binary64))
(*.f64 %87 %431)
(fma.f64 BrA v %433)
(fma.f64 v BrA %433)
(fma.f64 #s(literal 0 binary64) %335 %301)
(fma.f64 #s(literal 2 binary64) (+.f64 #s(literal -1/2 binary64) %344) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (-.f64 #s(literal -1/2 binary64) %346) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %441 #s(literal 1 binary64))
(fma.f64 (*.f64 %360 #s(literal -1/2 binary64)) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 %360 #s(literal 1/2 binary64)) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 %360 #s(literal -2 binary64)) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %1 %155 %396)
(fma.f64 %1 %155 %398)
(fma.f64 %155 %1 %396)
(fma.f64 %155 %1 %398)
(fma.f64 BrA %173 %344)
(fma.f64 v %24 %344)
(fma.f64 %301 #s(literal 1/2 binary64) %344)
(fma.f64 #s(literal 0 binary64) %344 %301)
(fma.f64 #s(literal 1/2 binary64) %301 %344)
(fma.f64 %24 v %344)
(fma.f64 %173 BrA %344)
(fma.f64 %344 #s(literal 0 binary64) %301)
(fma.f64 %402 #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 %301 %433)
(fma.f64 %463 #s(literal 4 binary64) %301)
(+.f64 %344 %344)
(-.f64 %344 %346)
(/.f64 (-.f64 %404 #s(literal 0 binary64)) #s(literal 4 binary64))
(fma.f64 %301 #s(literal 1 binary64) %396)
(fma.f64 %301 #s(literal 1 binary64) %398)
(fma.f64 #s(literal -1 binary64) %398 %301)
(fma.f64 %305 #s(literal -1/2 binary64) %344)
(fma.f64 %305 %333 %301)
(fma.f64 #s(literal 1 binary64) %301 %396)
(fma.f64 #s(literal 1 binary64) %301 %398)
(fma.f64 #s(literal -1/2 binary64) %305 %344)
(fma.f64 %155 %28 %344)
(fma.f64 %331 %305 %301)
(fma.f64 %28 %155 %344)
(fma.f64 %480 %1 %344)
(fma.f64 %185 BrA %344)
(fma.f64 %396 #s(literal -1 binary64) %301)
(*.f64 %484 #s(literal 4 binary64))
(/.f64 %486 %131)
(/.f64 (*.f64 %344 %125) #s(literal 4 binary64))
(/.f64 %490 %134)
(/.f64 (*.f64 %125 %344) #s(literal 4 binary64))
(fma.f64 %1 %155 %433)
(fma.f64 %155 %1 %433)
(fma.f64 %87 %431 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %305 %396)
(fma.f64 #s(literal -1 binary64) %305 %398)
(fma.f64 %305 #s(literal -1 binary64) %396)
(fma.f64 %305 #s(literal -1 binary64) %398)
(fma.f64 %1 %195 %344)
(fma.f64 %189 %1 %344)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %418) #s(literal 1 binary64))
(fma.f64 (/.f64 %411 #s(literal 4 binary64)) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 BrA %173 %507)
(fma.f64 v %24 %507)
(fma.f64 %301 #s(literal 1 binary64) %433)
(fma.f64 %301 #s(literal 1/2 binary64) %507)
(fma.f64 #s(literal 1 binary64) %301 %433)
(fma.f64 #s(literal 2 binary64) (*.f64 %441 #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %301 %507)
(fma.f64 #s(literal 1/2 binary64) %433 %301)
(fma.f64 %24 v %507)
(fma.f64 %173 BrA %507)
(fma.f64 %335 %519 %301)
(fma.f64 #s(literal -1 binary64) %346 %344)
(fma.f64 #s(literal 1 binary64) %344 %344)
(fma.f64 %344 #s(literal 1 binary64) %344)
(fma.f64 %346 #s(literal -1 binary64) %344)
(fma.f64 %484 #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 %344 %507)
(fma.f64 #s(literal -1 binary64) %305 %433)
(fma.f64 %305 #s(literal -1 binary64) %433)
(fma.f64 %305 #s(literal -1/2 binary64) %507)
(fma.f64 #s(literal 1/2 binary64) %335 %396)
(fma.f64 #s(literal 1/2 binary64) %335 %398)
(fma.f64 #s(literal -1/2 binary64) %305 %507)
(fma.f64 %20 %173 %396)
(fma.f64 %20 %173 %398)
(fma.f64 %170 %24 %396)
(fma.f64 %170 %24 %398)
(fma.f64 %155 %28 %507)
(fma.f64 %24 %170 %396)
(fma.f64 %24 %170 %398)
(fma.f64 %173 %20 %396)
(fma.f64 %173 %20 %398)
(fma.f64 %28 %155 %507)
(fma.f64 %480 %1 %507)
(fma.f64 %335 #s(literal 1/2 binary64) %396)
(fma.f64 %335 #s(literal 1/2 binary64) %398)
(fma.f64 %185 BrA %507)
(fma.f64 #s(literal 2 binary64) %344 %396)
(fma.f64 #s(literal 2 binary64) %344 %398)
(fma.f64 #s(literal -2 binary64) %346 %396)
(fma.f64 #s(literal -2 binary64) %346 %398)
(fma.f64 #s(literal -1/2 binary64) %348 %396)
(fma.f64 #s(literal -1/2 binary64) %348 %398)
(fma.f64 %28 %175 %396)
(fma.f64 %28 %175 %398)
(fma.f64 %344 #s(literal 2 binary64) %396)
(fma.f64 %344 #s(literal 2 binary64) %398)
(fma.f64 %346 #s(literal -2 binary64) %396)
(fma.f64 %346 #s(literal -2 binary64) %398)
(fma.f64 %348 #s(literal -1/2 binary64) %396)
(fma.f64 %348 #s(literal -1/2 binary64) %398)
(fma.f64 %561 %1 %344)
(fma.f64 %1 %195 %507)
(fma.f64 %189 %1 %507)
(fma.f64 %356 #s(literal 1/2 binary64) %396)
(fma.f64 %356 #s(literal 1/2 binary64) %398)
(fma.f64 (/.f64 %411 %125) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %335 %433)
(fma.f64 %20 %173 %433)
(fma.f64 %170 %24 %433)
(fma.f64 %24 %170 %433)
(fma.f64 %173 %20 %433)
(fma.f64 %335 #s(literal 1/2 binary64) %433)
(fma.f64 #s(literal -1 binary64) %346 %507)
(fma.f64 #s(literal 1 binary64) %344 %507)
(fma.f64 #s(literal 2 binary64) %344 %433)
(fma.f64 #s(literal -2 binary64) %346 %433)
(fma.f64 #s(literal -1/2 binary64) %348 %433)
(fma.f64 %144 %335 %344)
(fma.f64 %28 %175 %433)
(fma.f64 %335 %144 %344)
(fma.f64 %344 #s(literal 1 binary64) %507)
(fma.f64 %344 #s(literal 2 binary64) %433)
(fma.f64 %346 #s(literal -1 binary64) %507)
(fma.f64 %346 #s(literal -2 binary64) %433)
(fma.f64 %348 #s(literal -1/2 binary64) %433)
(fma.f64 %588 %170 %344)
(fma.f64 %590 %20 %344)
(fma.f64 #s(literal 2 binary64) %402 %344)
(fma.f64 #s(literal 2 binary64) %593 %344)
(fma.f64 #s(literal 1/2 binary64) %344 %596)
(fma.f64 #s(literal 3/2 binary64) %344 %593)
(fma.f64 %344 #s(literal 1/2 binary64) %599)
(fma.f64 %344 #s(literal 3/2 binary64) %402)
(fma.f64 %402 #s(literal 2 binary64) %344)
(fma.f64 %603 #s(literal 2 binary64) %344)
(fma.f64 %605 #s(literal -2 binary64) %344)
(fma.f64 %593 #s(literal 2 binary64) %344)
(fma.f64 %356 #s(literal 1/2 binary64) %433)
(+.f64 %402 %599)
(+.f64 %599 %402)
(+.f64 %593 %596)
(+.f64 %596 %593)
(fma.f64 %561 %1 %507)
(fma.f64 %402 #s(literal 4 binary64) %396)
(fma.f64 %402 #s(literal 4 binary64) %398)
(fma.f64 %144 %335 %507)
(fma.f64 %335 %144 %507)
(fma.f64 %588 %170 %507)
(fma.f64 %590 %20 %507)
(fma.f64 %87 %431 %396)
(fma.f64 %87 %431 %398)
(fma.f64 #s(literal 2 binary64) %402 %507)
(fma.f64 #s(literal 2 binary64) %593 %507)
(fma.f64 %402 #s(literal 2 binary64) %507)
(fma.f64 %402 #s(literal 4 binary64) %433)
(fma.f64 %603 #s(literal 2 binary64) %507)
(fma.f64 %605 #s(literal -2 binary64) %507)
(fma.f64 %593 #s(literal 2 binary64) %507)
(fma.f64 #s(literal 0 binary64) %629 %301)
(fma.f64 %484 #s(literal 4 binary64) %396)
(fma.f64 %484 #s(literal 4 binary64) %398)
(fma.f64 %87 %431 %433)
(fma.f64 %484 #s(literal 4 binary64) %433)
(fma.f64 %638 #s(literal 4 binary64) %301)
#s(literal -1 binary64)
(neg.f64 #s(literal 1 binary64))
(+.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(+.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(-.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(-.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal -1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal 2 binary64))
(/.f64 #s(literal -1 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(/.f64 #s(literal 2 binary64) #s(literal -2 binary64))
(/.f64 #s(literal -2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(+.f64 #s(literal -1 binary64) %675)
(+.f64 #s(literal -1 binary64) %331)
(+.f64 #s(literal -1 binary64) %678)
(+.f64 #s(literal -1 binary64) %680)
(+.f64 #s(literal -1 binary64) %333)
(+.f64 %331 #s(literal -1 binary64))
(+.f64 %333 #s(literal -1 binary64))
(*.f64 %685 #s(literal 4 binary64))
(/.f64 #s(literal 4 binary64) %131)
(/.f64 #s(literal 4 binary64) %134)
(/.f64 %131 #s(literal 4 binary64))
(/.f64 %134 #s(literal 4 binary64))
(*.f64 #s(literal 1/2 binary64) %691)
(*.f64 %691 #s(literal 1/2 binary64))
(*.f64 %694 #s(literal 2 binary64))
(*.f64 %696 #s(literal 1/2 binary64))
(/.f64 %691 #s(literal 2 binary64))
(/.f64 (/.f64 #s(literal -2 binary64) #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 #s(literal -2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) %362 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %365 #s(literal -1 binary64))
(fma.f64 #s(literal -2 binary64) %362 #s(literal -1 binary64))
(fma.f64 BrA %166 #s(literal -1 binary64))
(fma.f64 v %15 #s(literal -1 binary64))
(fma.f64 %301 #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %675)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %331)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %678)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %680)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %333)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %675)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %331)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %678)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %680)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %333)
(fma.f64 #s(literal 0 binary64) %301 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %675)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %331)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %678)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %680)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %333)
(fma.f64 #s(literal 2 binary64) %378 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %675)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %331)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %678)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %680)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %333)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64) %731)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %675)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %331)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %678)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %680)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %333)
(fma.f64 #s(literal 3/2 binary64) #s(literal -1/2 binary64) %738)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %675)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %331)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %678)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %680)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %333)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64) %745)
(fma.f64 #s(literal -1/2 binary64) #s(literal 3/2 binary64) %685)
(fma.f64 %13 v #s(literal -1 binary64))
(fma.f64 %164 BrA #s(literal -1 binary64))
(fma.f64 %144 #s(literal -2 binary64) #s(literal -1/2 binary64))
(fma.f64 %738 #s(literal 2 binary64) #s(literal -1/2 binary64))
(fma.f64 %685 #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 %738 %731)
(+.f64 %731 %738)
(+.f64 %685 %745)
(+.f64 %745 %685)
(/.f64 %757 #s(literal 4 binary64))
(fma.f64 #s(literal 1/2 binary64) %691 #s(literal 0 binary64))
(fma.f64 %691 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %694 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %696 #s(literal 1/2 binary64) #s(literal 0 binary64))
(/.f64 %125 (*.f64 #s(literal 4 binary64) #s(literal -2 binary64)))
(/.f64 (*.f64 %125 #s(literal -1/2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1/2 binary64) %125) #s(literal 4 binary64))
(*.f64 %769 #s(literal 4 binary64))
(fma.f64 %1 %180 #s(literal -1 binary64))
(fma.f64 %155 %33 #s(literal -1 binary64))
(fma.f64 %35 %155 #s(literal -1 binary64))
(fma.f64 %182 %1 #s(literal -1 binary64))
(+.f64 %775 %776)
(+.f64 %776 %775)
(*.f64 %87 %779)
(*.f64 %781 %782)
(fma.f64 #s(literal 0 binary64) %335 #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) %344 #s(literal -1 binary64))
(fma.f64 %685 #s(literal 4 binary64) %675)
(fma.f64 %685 #s(literal 4 binary64) %331)
(fma.f64 %685 #s(literal 4 binary64) %678)
(fma.f64 %685 #s(literal 4 binary64) %680)
(fma.f64 %685 #s(literal 4 binary64) %333)
(fma.f64 %344 #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 %463 #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 %769 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %691 %675)
(fma.f64 #s(literal 1/2 binary64) %691 %331)
(fma.f64 #s(literal 1/2 binary64) %691 %678)
(fma.f64 #s(literal 1/2 binary64) %691 %680)
(fma.f64 #s(literal 1/2 binary64) %691 %333)
(fma.f64 %691 #s(literal 1/2 binary64) %675)
(fma.f64 %691 #s(literal 1/2 binary64) %331)
(fma.f64 %691 #s(literal 1/2 binary64) %678)
(fma.f64 %691 #s(literal 1/2 binary64) %680)
(fma.f64 %691 #s(literal 1/2 binary64) %333)
(fma.f64 %694 #s(literal 2 binary64) %675)
(fma.f64 %694 #s(literal 2 binary64) %331)
(fma.f64 %694 #s(literal 2 binary64) %678)
(fma.f64 %694 #s(literal 2 binary64) %680)
(fma.f64 %694 #s(literal 2 binary64) %333)
(fma.f64 %696 #s(literal 1/2 binary64) %675)
(fma.f64 %696 #s(literal 1/2 binary64) %331)
(fma.f64 %696 #s(literal 1/2 binary64) %678)
(fma.f64 %696 #s(literal 1/2 binary64) %680)
(fma.f64 %696 #s(literal 1/2 binary64) %333)
(fma.f64 #s(literal -1 binary64) %398 #s(literal -1 binary64))
(fma.f64 %305 %333 #s(literal -1 binary64))
(fma.f64 %331 %305 #s(literal -1 binary64))
(fma.f64 %396 #s(literal -1 binary64) #s(literal -1 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %678) %134)
(fma.f64 %87 %779 #s(literal 0 binary64))
(fma.f64 %781 %782 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %433 #s(literal -1 binary64))
(fma.f64 %335 %519 #s(literal -1 binary64))
(fma.f64 %769 #s(literal 4 binary64) %675)
(fma.f64 %769 #s(literal 4 binary64) %331)
(fma.f64 %769 #s(literal 4 binary64) %678)
(fma.f64 %769 #s(literal 4 binary64) %680)
(fma.f64 %769 #s(literal 4 binary64) %333)
(fma.f64 %87 %779 %675)
(fma.f64 %87 %779 %331)
(fma.f64 %87 %779 %678)
(fma.f64 %87 %779 %680)
(fma.f64 %87 %779 %333)
(fma.f64 %781 %782 %675)
(fma.f64 %781 %782 %331)
(fma.f64 %781 %782 %678)
(fma.f64 %781 %782 %680)
(fma.f64 %781 %782 %333)
(pow.f64 #s(literal -1 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) %629 #s(literal -1 binary64))
(fma.f64 %638 #s(literal 4 binary64) #s(literal -1 binary64))
(*.f64 BrA %155)
(*.f64 v %1)
(*.f64 %1 v)
(*.f64 %155 BrA)
%305
(-.f64 #s(literal 0 binary64) %301)
(fma.f64 BrA %155 #s(literal 0 binary64))
(fma.f64 v %1 #s(literal 0 binary64))
(fma.f64 %1 v #s(literal 0 binary64))
(fma.f64 %155 BrA #s(literal 0 binary64))
(*.f64 %301 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %301)
(+.f64 %305 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %305)
(-.f64 %305 #s(literal 0 binary64))
(*.f64 %305 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %305)
(/.f64 %305 #s(literal 1 binary64))
(fma.f64 %301 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %301 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) %301))
(*.f64 #s(literal -1/2 binary64) %335)
(*.f64 %28 %170)
(*.f64 %335 #s(literal -1/2 binary64))
(fma.f64 BrA %155 %331)
(fma.f64 BrA %155 %333)
(fma.f64 v %1 %331)
(fma.f64 v %1 %333)
(fma.f64 %305 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %305 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %305)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %305)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %305)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %305)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %305)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %305)
(fma.f64 %1 v %331)
(fma.f64 %1 v %333)
(fma.f64 %155 BrA %331)
(fma.f64 %155 BrA %333)
(*.f64 #s(literal 2 binary64) %346)
(*.f64 #s(literal 1/2 binary64) %348)
(*.f64 #s(literal -2 binary64) %344)
(*.f64 %175 %24)
(*.f64 %344 #s(literal -2 binary64))
(*.f64 %346 #s(literal 2 binary64))
(*.f64 %348 #s(literal 1/2 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) %305))
(-.f64 #s(literal 0 binary64) %892)
(/.f64 %335 #s(literal -2 binary64))
(+.f64 %305 %331)
(+.f64 %305 %333)
(*.f64 #s(literal 1/2 binary64) %897)
(*.f64 #s(literal 1/2 binary64) %899)
(*.f64 %195 %20)
(/.f64 %348 #s(literal 2 binary64))
(*.f64 %45 %173)
(/.f64 %897 #s(literal 2 binary64))
(/.f64 %899 #s(literal 2 binary64))
(fma.f64 #s(literal -1/2 binary64) %335 #s(literal 0 binary64))
(fma.f64 %28 %170 #s(literal 0 binary64))
(fma.f64 %335 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %301 #s(literal -1 binary64) %331)
(fma.f64 %301 #s(literal -1 binary64) %333)
(fma.f64 #s(literal -1 binary64) %301 %331)
(fma.f64 #s(literal -1 binary64) %301 %333)
(fma.f64 #s(literal 2 binary64) %346 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %348 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %344 #s(literal 0 binary64))
(fma.f64 %175 %24 #s(literal 0 binary64))
(fma.f64 %344 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %346 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %348 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %362 %305)
(fma.f64 #s(literal 1/2 binary64) %365 %305)
(fma.f64 #s(literal 1/2 binary64) %897 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %899 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %362 %305)
(fma.f64 %195 %20 #s(literal 0 binary64))
(*.f64 #s(literal 1/2 binary64) %926)
(fma.f64 BrA %166 %305)
(fma.f64 v %15 %305)
(fma.f64 %301 #s(literal 0 binary64) %305)
(fma.f64 %305 #s(literal 1 binary64) %331)
(fma.f64 %305 #s(literal 1 binary64) %333)
(fma.f64 #s(literal 1 binary64) %305 %331)
(fma.f64 #s(literal 1 binary64) %305 %333)
(fma.f64 #s(literal 0 binary64) %301 %305)
(fma.f64 #s(literal 2 binary64) %378 %305)
(fma.f64 %13 v %305)
(fma.f64 %164 BrA %305)
(fma.f64 %45 %173 #s(literal 0 binary64))
(*.f64 #s(literal 1/2 binary64) %940)
(/.f64 %926 #s(literal 2 binary64))
(/.f64 %486 #s(literal 4 binary64))
(/.f64 %490 #s(literal 4 binary64))
(/.f64 %940 #s(literal 2 binary64))
(fma.f64 BrA %155 %396)
(fma.f64 BrA %155 %398)
(fma.f64 v %1 %396)
(fma.f64 v %1 %398)
(fma.f64 %305 #s(literal 0 binary64) %305)
(fma.f64 #s(literal 0 binary64) %305 %305)
(fma.f64 %1 v %396)
(fma.f64 %1 v %398)
(fma.f64 %155 BrA %396)
(fma.f64 %155 BrA %398)
(+.f64 %305 %396)
(+.f64 %305 %398)
(+.f64 %396 %305)
(+.f64 %398 %305)
(fma.f64 #s(literal 1/2 binary64) %926 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %335 %331)
(fma.f64 #s(literal -1/2 binary64) %335 %333)
(fma.f64 %28 %170 %331)
(fma.f64 %28 %170 %333)
(fma.f64 %335 #s(literal -1/2 binary64) %331)
(fma.f64 %335 #s(literal -1/2 binary64) %333)
(fma.f64 %1 %180 %305)
(fma.f64 %155 %33 %305)
(fma.f64 %35 %155 %305)
(fma.f64 %182 %1 %305)
(fma.f64 %301 #s(literal -1/2 binary64) %346)
(fma.f64 #s(literal 2 binary64) %346 %331)
(fma.f64 #s(literal 2 binary64) %346 %333)
(fma.f64 #s(literal 1/2 binary64) %348 %331)
(fma.f64 #s(literal 1/2 binary64) %348 %333)
(fma.f64 #s(literal 1/2 binary64) %940 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %344 %331)
(fma.f64 #s(literal -2 binary64) %344 %333)
(fma.f64 #s(literal -1/2 binary64) %301 %346)
(fma.f64 %175 %24 %331)
(fma.f64 %175 %24 %333)
(fma.f64 %28 v %346)
(fma.f64 %344 #s(literal -2 binary64) %331)
(fma.f64 %344 #s(literal -2 binary64) %333)
(fma.f64 %346 #s(literal 2 binary64) %331)
(fma.f64 %346 #s(literal 2 binary64) %333)
(fma.f64 %348 #s(literal 1/2 binary64) %331)
(fma.f64 %348 #s(literal 1/2 binary64) %333)
(+.f64 %346 %346)
(fma.f64 #s(literal 0 binary64) %335 %305)
(fma.f64 #s(literal 1/2 binary64) %897 %331)
(fma.f64 #s(literal 1/2 binary64) %897 %333)
(fma.f64 #s(literal 1/2 binary64) %899 %331)
(fma.f64 #s(literal 1/2 binary64) %899 %333)
(fma.f64 %195 %20 %331)
(fma.f64 %195 %20 %333)
(/.f64 (-.f64 #s(literal 0 binary64) %406) #s(literal 4 binary64))
(fma.f64 %301 #s(literal -1 binary64) %396)
(fma.f64 %301 #s(literal -1 binary64) %398)
(fma.f64 #s(literal -1 binary64) %301 %396)
(fma.f64 #s(literal -1 binary64) %301 %398)
(fma.f64 %305 #s(literal 1/2 binary64) %346)
(fma.f64 #s(literal 0 binary64) %344 %305)
(fma.f64 #s(literal 1/2 binary64) %305 %346)
(fma.f64 %24 %155 %346)
(fma.f64 %173 %1 %346)
(fma.f64 %344 #s(literal 0 binary64) %305)
(fma.f64 %45 %173 %331)
(fma.f64 %45 %173 %333)
(fma.f64 (neg.f64 %173) BrA %346)
(fma.f64 %189 BrA %346)
(/.f64 %404 %131)
(/.f64 %406 %134)
(/.f64 (*.f64 %125 %346) #s(literal 4 binary64))
(fma.f64 %463 #s(literal 4 binary64) %305)
(fma.f64 #s(literal -1 binary64) %398 %305)
(fma.f64 %305 #s(literal 1 binary64) %396)
(fma.f64 %305 #s(literal 1 binary64) %398)
(fma.f64 %305 %333 %305)
(fma.f64 #s(literal 1 binary64) %305 %396)
(fma.f64 #s(literal 1 binary64) %305 %398)
(fma.f64 %331 %305 %305)
(fma.f64 %396 #s(literal -1 binary64) %305)
(fma.f64 #s(literal 1/2 binary64) %926 %331)
(fma.f64 #s(literal 1/2 binary64) %926 %333)
(fma.f64 #s(literal -1 binary64) %344 %346)
(fma.f64 #s(literal 1 binary64) %346 %346)
(fma.f64 #s(literal 1/2 binary64) %940 %331)
(fma.f64 #s(literal 1/2 binary64) %940 %333)
(fma.f64 %344 #s(literal -1 binary64) %346)
(fma.f64 %346 #s(literal 1 binary64) %346)
(-.f64 (-.f64 #s(literal 0 binary64) %344) %344)
(fma.f64 #s(literal 1/2 binary64) %433 %305)
(fma.f64 #s(literal -1/2 binary64) %335 %396)
(fma.f64 #s(literal -1/2 binary64) %335 %398)
(fma.f64 %28 %170 %396)
(fma.f64 %28 %170 %398)
(fma.f64 %335 #s(literal -1/2 binary64) %396)
(fma.f64 %335 #s(literal -1/2 binary64) %398)
(fma.f64 %335 %519 %305)
(fma.f64 #s(literal 2 binary64) %346 %396)
(fma.f64 #s(literal 2 binary64) %346 %398)
(fma.f64 #s(literal 1/2 binary64) %348 %396)
(fma.f64 #s(literal 1/2 binary64) %348 %398)
(fma.f64 #s(literal -2 binary64) %344 %396)
(fma.f64 #s(literal -2 binary64) %344 %398)
(fma.f64 %175 %24 %396)
(fma.f64 %175 %24 %398)
(fma.f64 %344 #s(literal -2 binary64) %396)
(fma.f64 %344 #s(literal -2 binary64) %398)
(fma.f64 %346 #s(literal 2 binary64) %396)
(fma.f64 %346 #s(literal 2 binary64) %398)
(fma.f64 %348 #s(literal 1/2 binary64) %396)
(fma.f64 %348 #s(literal 1/2 binary64) %398)
(fma.f64 #s(literal 1/2 binary64) %897 %396)
(fma.f64 #s(literal 1/2 binary64) %897 %398)
(fma.f64 #s(literal 1/2 binary64) %899 %396)
(fma.f64 #s(literal 1/2 binary64) %899 %398)
(fma.f64 %195 %20 %396)
(fma.f64 %195 %20 %398)
(fma.f64 %45 %173 %396)
(fma.f64 %45 %173 %398)
(fma.f64 %402 #s(literal -2 binary64) %346)
(fma.f64 (*.f64 %344 #s(literal -1/2 binary64)) #s(literal 2 binary64) %346)
(fma.f64 #s(literal 1/2 binary64) %926 %396)
(fma.f64 #s(literal 1/2 binary64) %926 %398)
(fma.f64 #s(literal 1/2 binary64) %940 %396)
(fma.f64 #s(literal 1/2 binary64) %940 %398)
(fma.f64 #s(literal 0 binary64) %629 %305)
(fma.f64 %638 #s(literal 4 binary64) %305)
#s(literal 1 binary64)
(fabs.f64 #s(literal -1 binary64))
(fabs.f64 #s(literal 1 binary64))
(neg.f64 #s(literal -1 binary64))
(sqrt.f64 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(copysign.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(copysign.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(-.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(-.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal -2 binary64))
(/.f64 %1095 %1095)
(/.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1/2 binary64) %1119)
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) #s(literal 0 binary64)))
(+.f64 #s(literal 1 binary64) %378)
(+.f64 #s(literal 1 binary64) %331)
(+.f64 #s(literal 1 binary64) %519)
(+.f64 #s(literal 1 binary64) %333)
(-.f64 #s(literal 1 binary64) %378)
(*.f64 #s(literal 4 binary64) %144)
(*.f64 #s(literal 4 binary64) %1129)
(*.f64 %144 #s(literal 4 binary64))
(*.f64 %1129 #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(-.f64 #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) #s(literal 1 binary64)))
(*.f64 #s(literal -1/2 binary64) %691)
(*.f64 #s(literal -1/2 binary64) %696)
(*.f64 %691 #s(literal -1/2 binary64))
(*.f64 %696 #s(literal -1/2 binary64))
(*.f64 %1145 %1146)
(*.f64 %1146 %1145)
(/.f64 %87 #s(literal 4 binary64))
(/.f64 (/.f64 #s(literal -2 binary64) #s(literal -1 binary64)) #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1119)
(fma.f64 #s(literal -1 binary64) %362 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1119)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1119)
(fma.f64 #s(literal 1/2 binary64) %365 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %362 #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %1119)
(/.f64 %1145 %1145)
(fma.f64 BrA %166 #s(literal 1 binary64))
(fma.f64 v %15 #s(literal 1 binary64))
(fma.f64 %301 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %378)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %331)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %519)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %333)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %378)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %331)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %519)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %333)
(fma.f64 #s(literal 0 binary64) %301 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %378)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %331)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %519)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %333)
(fma.f64 #s(literal 2 binary64) %378 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %144 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %378)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %331)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %519)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %333)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %1182)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %1184)
(fma.f64 #s(literal 1/2 binary64) #s(literal 3/2 binary64) %144)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %378)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %331)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %519)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %333)
(fma.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64) %144)
(fma.f64 #s(literal 4 binary64) %144 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %1129 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %378)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %331)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %519)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %333)
(fma.f64 %13 v #s(literal 1 binary64))
(fma.f64 %164 BrA #s(literal 1 binary64))
(fma.f64 %144 #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 %144 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %1129 #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 %144 %1182)
(+.f64 %144 %1184)
(+.f64 %1182 %144)
(+.f64 %1184 %144)
(fma.f64 #s(literal 2 binary64) %781 #s(literal 1/2 binary64))
(fma.f64 #s(literal 2 binary64) %1208 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) %691 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %696 #s(literal 0 binary64))
(fma.f64 %691 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %781 #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 %696 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %1208 #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 %1145 %1146 #s(literal 0 binary64))
(fma.f64 %1146 %1145 #s(literal 0 binary64))
(/.f64 %125 %1218)
(/.f64 (*.f64 %125 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %1222 #s(literal 4 binary64))
(/.f64 %131 %131)
(/.f64 %131 %134)
(/.f64 %134 %131)
(/.f64 %134 %134)
(fma.f64 %1 %180 #s(literal 1 binary64))
(fma.f64 %155 %33 #s(literal 1 binary64))
(fma.f64 %35 %155 #s(literal 1 binary64))
(fma.f64 %182 %1 #s(literal 1 binary64))
(+.f64 %781 %1232)
(+.f64 %1232 %781)
(*.f64 %87 %781)
(*.f64 %87 %1208)
(*.f64 %691 %694)
(*.f64 %781 %87)
(*.f64 %781 %1239)
(*.f64 %694 %691)
(fma.f64 #s(literal 0 binary64) %335 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %144 %1119)
(fma.f64 %144 #s(literal 2 binary64) %1119)
(exp.f64 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %344 #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %144 %378)
(fma.f64 #s(literal 4 binary64) %144 %331)
(fma.f64 #s(literal 4 binary64) %144 %519)
(fma.f64 #s(literal 4 binary64) %144 %333)
(fma.f64 #s(literal 4 binary64) %1129 %378)
(fma.f64 #s(literal 4 binary64) %1129 %331)
(fma.f64 #s(literal 4 binary64) %1129 %519)
(fma.f64 #s(literal 4 binary64) %1129 %333)
(fma.f64 %144 #s(literal 4 binary64) %378)
(fma.f64 %144 #s(literal 4 binary64) %331)
(fma.f64 %144 #s(literal 4 binary64) %519)
(fma.f64 %144 #s(literal 4 binary64) %333)
(fma.f64 %1129 #s(literal 4 binary64) %378)
(fma.f64 %1129 #s(literal 4 binary64) %331)
(fma.f64 %1129 #s(literal 4 binary64) %519)
(fma.f64 %1129 #s(literal 4 binary64) %333)
(fma.f64 %344 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %781 %1119)
(fma.f64 #s(literal 2 binary64) %1208 %1119)
(fma.f64 %781 #s(literal 2 binary64) %1119)
(fma.f64 %1208 #s(literal 2 binary64) %1119)
(fma.f64 %463 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 %1222 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %1270 #s(literal 4 binary64) #s(literal 1/2 binary64))
(/.f64 %757 %134)
(fma.f64 #s(literal -1/2 binary64) %691 %378)
(fma.f64 #s(literal -1/2 binary64) %691 %331)
(fma.f64 #s(literal -1/2 binary64) %691 %519)
(fma.f64 #s(literal -1/2 binary64) %691 %333)
(fma.f64 #s(literal -1/2 binary64) %696 %378)
(fma.f64 #s(literal -1/2 binary64) %696 %331)
(fma.f64 #s(literal -1/2 binary64) %696 %519)
(fma.f64 #s(literal -1/2 binary64) %696 %333)
(fma.f64 %691 #s(literal -1/2 binary64) %378)
(fma.f64 %691 #s(literal -1/2 binary64) %331)
(fma.f64 %691 #s(literal -1/2 binary64) %519)
(fma.f64 %691 #s(literal -1/2 binary64) %333)
(fma.f64 %696 #s(literal -1/2 binary64) %378)
(fma.f64 %696 #s(literal -1/2 binary64) %331)
(fma.f64 %696 #s(literal -1/2 binary64) %519)
(fma.f64 %696 #s(literal -1/2 binary64) %333)
(fma.f64 %1145 %1146 %378)
(fma.f64 %1145 %1146 %331)
(fma.f64 %1145 %1146 %519)
(fma.f64 %1145 %1146 %333)
(fma.f64 %1146 %1145 %378)
(fma.f64 %1146 %1145 %331)
(fma.f64 %1146 %1145 %519)
(fma.f64 %1146 %1145 %333)
(/.f64 (*.f64 #s(literal 1 binary64) %125) %125)
(fma.f64 #s(literal -1 binary64) %398 #s(literal 1 binary64))
(fma.f64 %305 %333 #s(literal 1 binary64))
(fma.f64 %331 %305 #s(literal 1 binary64))
(fma.f64 %396 #s(literal -1 binary64) #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %131) %131)
(/.f64 (+.f64 #s(literal 0 binary64) %134) %131)
(/.f64 (*.f64 %125 #s(literal 1 binary64)) %1218)
(fma.f64 %87 %781 #s(literal 0 binary64))
(fma.f64 %87 %1310 #s(literal 1/2 binary64))
(fma.f64 %87 %1208 #s(literal 0 binary64))
(fma.f64 %691 %694 #s(literal 0 binary64))
(fma.f64 %781 %87 #s(literal 0 binary64))
(fma.f64 %781 %1239 #s(literal 0 binary64))
(fma.f64 %694 %691 #s(literal 0 binary64))
(fma.f64 %696 %779 #s(literal 1/2 binary64))
(cosh.f64 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %433 #s(literal 1 binary64))
(fma.f64 %335 %519 #s(literal 1 binary64))
(fma.f64 %1270 #s(literal 4 binary64) %1119)
(fma.f64 %1222 #s(literal 4 binary64) %378)
(fma.f64 %1222 #s(literal 4 binary64) %331)
(fma.f64 %1222 #s(literal 4 binary64) %519)
(fma.f64 %1222 #s(literal 4 binary64) %333)
(hypot.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) #s(literal 2 binary64) %678) %134)
(fma.f64 %87 %1310 %1119)
(fma.f64 %696 %779 %1119)
(/.f64 (-.f64 %134 %678) %134)
(fma.f64 %87 %781 %378)
(fma.f64 %87 %781 %331)
(fma.f64 %87 %781 %519)
(fma.f64 %87 %781 %333)
(fma.f64 %87 %1208 %378)
(fma.f64 %87 %1208 %331)
(fma.f64 %87 %1208 %519)
(fma.f64 %87 %1208 %333)
(fma.f64 %691 %694 %378)
(fma.f64 %691 %694 %331)
(fma.f64 %691 %694 %519)
(fma.f64 %691 %694 %333)
(fma.f64 %781 %87 %378)
(fma.f64 %781 %87 %331)
(fma.f64 %781 %87 %519)
(fma.f64 %781 %87 %333)
(fma.f64 %781 %1239 %378)
(fma.f64 %781 %1239 %331)
(fma.f64 %781 %1239 %519)
(fma.f64 %781 %1239 %333)
(fma.f64 %694 %691 %378)
(fma.f64 %694 %691 %331)
(fma.f64 %694 %691 %519)
(fma.f64 %694 %691 %333)
(pow.f64 #s(literal -1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) %629 #s(literal 1 binary64))
(fma.f64 %638 #s(literal 4 binary64) #s(literal 1 binary64))
(-.f64 (*.f64 %1367 %1367) (*.f64 %1370 %1370))
(approx %1375 #s(literal 1 binary64))
%360
(fma.f64 BrA %155 #s(literal 1 binary64))
(fma.f64 v %1 #s(literal 1 binary64))
(fma.f64 %1 v #s(literal 1 binary64))
(fma.f64 %155 BrA #s(literal 1 binary64))
(neg.f64 %319)
(+.f64 %305 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) %305)
(-.f64 %305 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %319)
(-.f64 #s(literal 1/2 binary64) (fma.f64 BrA v #s(literal -1/2 binary64)))
(fma.f64 %301 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %301 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %319)
(*.f64 %319 #s(literal -1 binary64))
(+.f64 %360 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %360)
(+.f64 #s(literal 1/2 binary64) %1394)
(+.f64 %1394 #s(literal 1/2 binary64))
(-.f64 %360 #s(literal 0 binary64))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %301))
(-.f64 %1394 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %360)
(*.f64 %360 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %305)
(fma.f64 %305 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %305 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %305)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %305)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %305)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %305)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %305)
(-.f64 #s(literal 1 binary64) %892)
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %305))
(/.f64 %360 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %319 #s(literal 0 binary64))
(fma.f64 %319 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1394)
(fma.f64 #s(literal 1 binary64) %360 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %360)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1394)
(fma.f64 #s(literal 1 binary64) %1394 #s(literal 1/2 binary64))
(fma.f64 %360 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %360)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %360)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %360)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %360)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %360)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1394)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %1394)
(fma.f64 #s(literal -1/2 binary64) %335 #s(literal 1 binary64))
(fma.f64 %28 %170 #s(literal 1 binary64))
(fma.f64 %335 #s(literal -1/2 binary64) #s(literal 1 binary64))
(-.f64 (+.f64 %360 #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %346 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %348 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %344 #s(literal 1 binary64))
(fma.f64 %175 %24 #s(literal 1 binary64))
(fma.f64 %344 #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 %346 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %348 #s(literal 1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %1442)
(*.f64 #s(literal -2 binary64) %418)
(*.f64 %420 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %1446)
(/.f64 %411 #s(literal -2 binary64))
(fma.f64 #s(literal 1/2 binary64) %897 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %899 #s(literal 1 binary64))
(fma.f64 %195 %20 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %441)
(*.f64 #s(literal 2 binary64) %1453)
(*.f64 %441 #s(literal 2 binary64))
(/.f64 %420 #s(literal 2 binary64))
(/.f64 %1446 #s(literal 2 binary64))
(fma.f64 #s(literal 4 binary64) %144 %305)
(fma.f64 #s(literal 4 binary64) %1129 %305)
(fma.f64 %144 #s(literal 4 binary64) %305)
(fma.f64 %1129 #s(literal 4 binary64) %305)
(fma.f64 %45 %173 #s(literal 1 binary64))
(/.f64 (neg.f64 %411) #s(literal 2 binary64))
(/.f64 (neg.f64 %420) #s(literal -2 binary64))
(fma.f64 #s(literal -1/2 binary64) %691 %305)
(fma.f64 #s(literal -1/2 binary64) %696 %305)
(fma.f64 %691 #s(literal -1/2 binary64) %305)
(fma.f64 %696 #s(literal -1/2 binary64) %305)
(fma.f64 %1145 %1146 %305)
(fma.f64 %1146 %1145 %305)
(fma.f64 #s(literal 2 binary64) %1442 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %418 #s(literal 0 binary64))
(fma.f64 %420 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %362 %360)
(fma.f64 #s(literal 1/2 binary64) %365 %360)
(fma.f64 #s(literal 1/2 binary64) %1446 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1 binary64) %335) #s(literal 1/2 binary64))
(fma.f64 #s(literal -2 binary64) %362 %360)
(fma.f64 BrA %166 %360)
(fma.f64 v %15 %360)
(fma.f64 %301 #s(literal 0 binary64) %360)
(fma.f64 #s(literal 0 binary64) %301 %360)
(fma.f64 #s(literal 2 binary64) %378 %360)
(fma.f64 #s(literal 2 binary64) %144 %1394)
(fma.f64 #s(literal 2 binary64) %441 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %1453 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %926 #s(literal 1 binary64))
(fma.f64 %13 v %360)
(fma.f64 %164 BrA %360)
(fma.f64 %144 #s(literal 2 binary64) %1394)
(fma.f64 %441 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %940 #s(literal 1 binary64))
(/.f64 (fma.f64 %1394 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %781 %1394)
(fma.f64 #s(literal 2 binary64) %1208 %1394)
(fma.f64 %781 #s(literal 2 binary64) %1394)
(fma.f64 %1208 #s(literal 2 binary64) %1394)
(*.f64 #s(literal 1/2 binary64) %1502)
(*.f64 %1504 #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %406) #s(literal 4 binary64))
(/.f64 %1502 #s(literal 2 binary64))
(fma.f64 %1222 #s(literal 4 binary64) %305)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %420))
(/.f64 (/.f64 %420 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %420 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 %1 %180 %360)
(fma.f64 %155 %33 %360)
(fma.f64 %35 %155 %360)
(fma.f64 %182 %1 %360)
(fma.f64 #s(literal 0 binary64) %335 %360)
(fma.f64 %87 %781 %305)
(fma.f64 %87 %1208 %305)
(fma.f64 %691 %694 %305)
(fma.f64 %781 %87 %305)
(fma.f64 %781 %1239 %305)
(fma.f64 %694 %691 %305)
(fma.f64 #s(literal 0 binary64) %344 %360)
(fma.f64 #s(literal 1/2 binary64) %1502 #s(literal 0 binary64))
(fma.f64 %344 #s(literal 0 binary64) %360)
(/.f64 (fma.f64 %420 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(fma.f64 %1504 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %463 #s(literal 4 binary64) %360)
(fma.f64 %1270 #s(literal 4 binary64) %1394)
(-.f64 (-.f64 #s(literal 1 binary64) %344) %344)
(*.f64 %1537 #s(literal 4 binary64))
(fma.f64 #s(literal -1 binary64) %398 %360)
(fma.f64 %305 %333 %360)
(fma.f64 %331 %305 %360)
(fma.f64 %396 #s(literal -1 binary64) %360)
(/.f64 (*.f64 %125 %441) #s(literal 4 binary64))
(fma.f64 %87 %1310 %1394)
(fma.f64 %696 %779 %1394)
(fma.f64 #s(literal 1/2 binary64) %360 %441)
(fma.f64 #s(literal 1/2 binary64) %433 %360)
(fma.f64 %335 %519 %360)
(fma.f64 %1537 #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 %441 %441)
(/.f64 (-.f64 %134 %490) %134)
(fma.f64 #s(literal 1 binary64) %441 %441)
(fma.f64 #s(literal 0 binary64) %629 %360)
(fma.f64 %638 #s(literal 4 binary64) %360)
(approx %1375 %360)
reconstruct50.0ms (0.0%)
Memory
6.3MiB live, 6.3MiB allocated; 0ms collecting garbage
eval1.8s (1.2%)
Memory
10.7MiB live, 182.7MiB allocated; 61ms collecting garbage
Compiler
Compiled 18 805 to 3 697 computations (80.3% saved)
prune606.0ms (0.4%)
Memory
-47.6MiB live, 54.1MiB allocated; 43ms collecting garbage
Pruning
7 alts after pruning (5 fresh and 2 done)
PrunedKeptTotal
New1 60551 610
Fresh000
Picked112
Done011
Total1 60671 613
Accuracy
100.0%
Counts
1 613 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(exp.f64 (neg.f64 (*.f64 BrA v)))
▶58.4%
(approx (exp (neg (* BrA v))) (fma.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 #s(literal 1/2 binary64)) (neg.f64 (*.f64 BrA v))))
▶59.2%
(approx (exp (neg (* BrA v))) (-.f64 #s(literal 1 binary64) (*.f64 BrA v)))
▶59.2%
(approx (exp (neg (* BrA v))) (-.f64 #s(literal 1/2 binary64) (fma.f64 BrA v #s(literal -1/2 binary64))))
▶59.0%
%2 = (* BrA v)
(approx (exp (neg %2)) (approx (+ 1 (* -1 %2)) (*.f64 v (fma.f64 #s(literal -1 binary64) BrA (/.f64 #s(literal 1 binary64) v)))))
▶59.1%
%2 = (* BrA v)
(approx (exp (neg %2)) (approx (+ 1 (* -1 %2)) (*.f64 BrA (fma.f64 #s(literal -1 binary64) v (/.f64 #s(literal 1 binary64) BrA)))))
✓51.4%
(approx (exp (neg (* BrA v))) #s(literal 1 binary64))
Compiler
Compiled 42 to 22 computations (47.6% saved)
sample1.0ms (0.0%)
Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
(sqrt 2)
(sqrt 1/2)
Outputs
#s(literal 6369051672525773/4503599627370496 binary64)
#s(literal 6369051672525773/9007199254740992 binary64)
Samples
0.0ms1×0valid
Compiler
Compiled 6 to 6 computations (0.0% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)
series3.2s (2.1%)
Memory
14.3MiB live, 186.6MiB allocated; 76ms collecting garbage
Counts
28 → 42
Calls
Call 1
Inputs
%2 = (*.f64 BrA v)
%3 = (neg.f64 %2)
%9 = (/.f64 #s(literal 1 binary64) BrA)
%10 = (fma.f64 #s(literal -1 binary64) v %9)
%11 = (*.f64 BrA %10)
%14 = (* BrA v)
%16 = (+ 1 (* -1 %14))
%17 = (approx %16 %11)
%18 = (/.f64 #s(literal 1 binary64) v)
%19 = (fma.f64 #s(literal -1 binary64) BrA %18)
%20 = (*.f64 v %19)
%21 = (approx %16 %20)
%22 = (-.f64 #s(literal 1 binary64) %2)
%23 = (sqrt.f64 #s(literal 2 binary64))
%24 = (sqrt.f64 #s(literal 1/2 binary64))
%25 = (fma.f64 BrA v #s(literal -1/2 binary64))
%26 = (-.f64 #s(literal 1/2 binary64) %25)
%27 = (fma.f64 %23 %24 %3)
%29 = (exp (neg %14))
BrA
v
%2
%3
#s(literal -1 binary64)
#s(literal 1 binary64)
#s(literal 1/2 binary64)
#s(literal 2 binary64)
#s(literal -1/2 binary64)
%9
%10
%11
%17
%18
%19
%20
%21
%22
%23
%24
%25
%26
%27
(approx %29 %22)
(approx %29 %26)
(approx %29 %27)
(approx %29 %17)
(approx %29 %21)
Outputs
%5 = (* BrA v)
%6 = (*.f64 BrA v)
%8 = (neg %5)
%10 = (*.f64 #s(literal -1 binary64) %6)
%13 = (/ 1 BrA)
%15 = (/.f64 #s(literal 1 binary64) BrA)
%19 = (+ (* -1 v) %13)
%20 = (+.f64 #s(literal 1 binary64) %10)
%23 = (* BrA %19)
%28 = (+ (* -1 BrA) (/ 1 v))
%29 = (/.f64 #s(literal 1 binary64) v)
%31 = (fma.f64 #s(literal -1 binary64) BrA %29)
%34 = (+ %5 -1/2)
%45 = (+ (* (sqrt 2) (sqrt 1/2)) %8)
%49 = (*.f64 (sqrt.f64 #s(literal 1/2 binary64)) (sqrt.f64 #s(literal 2 binary64)))
%53 = (exp %8)
%54 = (pow.f64 v #s(literal 2 binary64))
%72 = (*.f64 #s(literal -1 binary64) v)
%74 = (fma.f64 #s(literal -1 binary64) v %15)
%78 = (*.f64 #s(literal -1 binary64) BrA)
%80 = (/.f64 #s(literal 1 binary64) %6)
%81 = (-.f64 %80 #s(literal 1 binary64))
%84 = (- 1 %5)
%88 = (*.f64 #s(literal 1/2 binary64) %15)
%92 = (/.f64 %49 BrA)
%103 = (-.f64 #s(literal 1 binary64) %80)
%119 = (pow.f64 BrA #s(literal 2 binary64))
%142 = (*.f64 #s(literal 1/2 binary64) %29)
%146 = (/.f64 %49 v)
(approx BrA #s(literal 0 binary64))
(approx BrA BrA)
(approx %5 %6)
(approx %8 %10)
(approx %13 %15)
(approx %19 (/.f64 %20 BrA))
(approx %23 #s(literal 1 binary64))
(approx %23 %20)
(approx %28 %29)
(approx %28 %31)
(approx %34 #s(literal -1/2 binary64))
(approx %34 (-.f64 %6 #s(literal 1/2 binary64)))
(approx %45 %49)
(approx %45 (fma.f64 #s(literal -1 binary64) %6 %49))
(approx %53 (+.f64 #s(literal 1 binary64) (*.f64 BrA (fma.f64 #s(literal -1 binary64) v (*.f64 #s(literal 1/2 binary64) (*.f64 BrA %54))))))
(approx %53 (+.f64 #s(literal 1 binary64) (*.f64 BrA (fma.f64 #s(literal -1 binary64) v (*.f64 BrA (fma.f64 #s(literal -1/6 binary64) (*.f64 BrA (pow.f64 v #s(literal 3 binary64))) (*.f64 #s(literal 1/2 binary64) %54)))))))
(approx %19 %72)
(approx %19 %74)
(approx %23 (*.f64 BrA %74))
(approx %28 %78)
(approx %28 (*.f64 BrA %81))
(approx %84 (*.f64 BrA (-.f64 %15 v)))
(approx %34 (*.f64 BrA (-.f64 v %88)))
(approx %45 (*.f64 BrA (-.f64 %92 v)))
(approx %53 (exp.f64 (neg.f64 %6)))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 BrA (-.f64 v %15))))
(approx %28 (*.f64 #s(literal -1 binary64) (*.f64 BrA %103)))
(approx %34 (*.f64 #s(literal -1 binary64) (*.f64 BrA (fma.f64 #s(literal -1 binary64) v %88))))
(approx %45 (*.f64 #s(literal -1 binary64) (*.f64 BrA (-.f64 (*.f64 #s(literal -1 binary64) %92) %72))))
(approx v v)
(approx %28 (/.f64 %20 v))
(approx %53 (+.f64 #s(literal 1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) BrA (*.f64 #s(literal 1/2 binary64) (*.f64 %119 v))))))
(approx %53 (+.f64 #s(literal 1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) BrA (*.f64 v (fma.f64 #s(literal -1/6 binary64) (*.f64 (pow.f64 BrA #s(literal 3 binary64)) v) (*.f64 #s(literal 1/2 binary64) %119)))))))
(approx %19 (*.f64 v %81))
(approx %23 (*.f64 v %31))
(approx %84 (*.f64 v (-.f64 %29 BrA)))
(approx %34 (*.f64 v (-.f64 BrA %142)))
(approx %45 (*.f64 v (-.f64 %146 BrA)))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 v %103)))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 v (-.f64 BrA %29))))
(approx %34 (*.f64 #s(literal -1 binary64) (*.f64 v (fma.f64 #s(literal -1 binary64) BrA %142))))
(approx %45 (*.f64 #s(literal -1 binary64) (*.f64 v (-.f64 (*.f64 #s(literal -1 binary64) %146) %78))))
Calls
6 calls:
TimeVariablePoint
28.0ms
v
0
25.0ms
BrA
inf
24.0ms
BrA
0
18.0ms
v
-inf
1.0ms
BrA
-inf
rewrite2.0min (80.5%)
Memory
119.0MiB live, 5 793.1MiB allocated; 2.2s collecting garbage
end0.0ms (0.0%)
Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Profiling
Loading profile data...