forward-W

Time bar (total: 2.5min)

start0.0ms (0.0%)

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

analyze3.1s (2.1%)

Memory
-4.0MiB live, 1 348.5MiB allocated; 131ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%99.9%0.1%0.0%0.0%0.0%2
0.0%0.0%99.9%0.1%0.0%0.0%0.0%3
0.0%0.0%99.9%0.1%0.0%0.0%0.0%4
0.0%0.0%99.9%0.1%0.0%0.0%0.0%5
12.5%12.5%87.4%0.1%0.0%0.0%0.0%6
25.0%25.0%74.9%0.1%0.0%0.0%0.0%7
25.0%25.0%74.9%0.1%0.0%0.0%0.0%8
31.3%31.2%68.6%0.1%0.0%0.0%0.0%9
36.8%32.8%56.2%0.1%0.0%10.9%0.0%10
36.8%32.8%56.2%0.1%0.0%10.9%0.0%11
41.3%35.1%49.9%0.1%0.0%14.8%0.0%12
Compiler

Compiled 7 to 7 computations (0.0% saved)

sample13.5s (9.0%)

Memory
20.9MiB live, 791.6MiB allocated; 286ms collecting garbage
Samples
5.0s8 256×0valid
2.4s4 676×0invalid
1.4s2 535×0exit
Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-pow: 2.2s (74.2% of total, 85.2 MiB)
ival-div!: 634.0ms (21.0% of total, 23.2 MiB)
adjust: 144.0ms (4.8% of total, 3.5 MiB)
Bogosity

preprocess443.0ms (0.3%)

Memory
-5.6MiB live, 23.8MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02257
19557
227255
369355
4234155
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 E_var (pow.f64 tsfn_phi B))
Symmetry

(negabs E_var)

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.8s (1.9%)
Memory
38.9MiB live, 253.5MiB allocated; 65ms collecting garbage
Counts
5 → 15
Calls
Call 1
Inputs
%3 = (pow.f64 tsfn_phi B)
E_var
tsfn_phi
B
%3
(/.f64 E_var %3)
Outputs
%6 = (pow tsfn_phi B)
%7 = (/ E_var %6)
%8 = (pow.f64 tsfn_phi B)
%19 = (exp.f64 (*.f64 #s(literal -1 binary64) (*.f64 B (log.f64 (/.f64 #s(literal 1 binary64) tsfn_phi)))))
%25 = (log.f64 tsfn_phi)
%31 = (pow.f64 %25 #s(literal 2 binary64))
%40 = (pow.f64 %25 #s(literal 3 binary64))
%49 = (*.f64 E_var %25)
%54 = (*.f64 E_var %31)
%56 = (fma.f64 #s(literal -1 binary64) %54 (*.f64 #s(literal 1/2 binary64) %54))
%65 = (*.f64 E_var %40)
(approx E_var #s(literal 0 binary64))
(approx E_var E_var)
(approx %7 (/.f64 E_var %8))
(approx tsfn_phi tsfn_phi)
(approx %6 %8)
(approx %6 %19)
(approx %7 (/.f64 E_var %19))
(approx B B)
(approx %6 #s(literal 1 binary64))
(approx %6 (+.f64 #s(literal 1 binary64) (*.f64 B %25)))
(approx %6 (+.f64 #s(literal 1 binary64) (*.f64 B (+.f64 %25 (*.f64 #s(literal 1/2 binary64) (*.f64 B %31))))))
(approx %6 (+.f64 #s(literal 1 binary64) (*.f64 B (+.f64 %25 (*.f64 B (fma.f64 #s(literal 1/6 binary64) (*.f64 B %40) (*.f64 #s(literal 1/2 binary64) %31)))))))
(approx %7 (+.f64 E_var (*.f64 #s(literal -1 binary64) (*.f64 B %49))))
(approx %7 (+.f64 E_var (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 B %56)) %49))))
(approx %7 (+.f64 E_var (*.f64 B (-.f64 (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 B (fma.f64 #s(literal -1 binary64) (*.f64 %25 %56) (fma.f64 #s(literal -1/2 binary64) %65 (*.f64 #s(literal 1/6 binary64) %65))))) %56)) %49))))
Calls
9 calls:
TimeVariablePoint
217.0ms
E_var
0
174.0ms
E_var
inf
117.0ms
tsfn_phi
0
112.0ms
tsfn_phi
inf
78.0ms
tsfn_phi
-inf
rewrite3.4s (2.3%)
Memory
-48.7MiB live, 168.0MiB allocated; 42ms collecting garbage
Counts
5 → 474
Calls
Call 1
Inputs
%3 = (pow.f64 tsfn_phi B)
E_var
tsfn_phi
B
%3
(/.f64 E_var %3)
Outputs
%1 = (neg.f64 E_var)
%44 = (+.f64 E_var E_var)
%51 = (*.f64 #s(literal 1/2 binary64) E_var)
%53 = (*.f64 #s(literal -1/2 binary64) E_var)
%55 = (*.f64 #s(literal -2 binary64) E_var)
%57 = (*.f64 #s(literal 1/4 binary64) E_var)
%59 = (*.f64 #s(literal 4 binary64) E_var)
%64 = (*.f64 E_var #s(literal 4 binary64))
%66 = (*.f64 E_var #s(literal 1/4 binary64))
%72 = (/.f64 E_var #s(literal 1/2 binary64))
%74 = (fabs.f64 #s(literal 0 binary64))
%76 = (*.f64 #s(literal -1/2 binary64) %1)
%78 = (*.f64 %1 #s(literal -1/2 binary64))
%80 = (+.f64 #s(literal 1 binary64) #s(literal 2 binary64))
%82 = (+.f64 #s(literal 2 binary64) #s(literal 1 binary64))
%118 = (/.f64 #s(literal 2 binary64) #s(literal -1 binary64))
%120 = (/.f64 #s(literal 1/2 binary64) #s(literal -1 binary64))
%124 = (/.f64 #s(literal 0 binary64) #s(literal 1/2 binary64))
%128 = (/.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
%134 = (*.f64 %53 #s(literal -1 binary64))
%136 = (*.f64 %51 #s(literal 1/2 binary64))
%138 = (*.f64 #s(literal -1 binary64) %53)
%140 = (*.f64 %44 #s(literal 2 binary64))
%142 = (*.f64 #s(literal 2 binary64) %44)
%144 = (/.f64 %44 #s(literal 1/2 binary64))
%146 = (*.f64 %55 #s(literal -2 binary64))
%148 = (*.f64 #s(literal -2 binary64) %55)
%157 = (/.f64 E_var #s(literal 4 binary64))
%167 = (*.f64 %44 #s(literal 4 binary64))
%168 = (+.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%170 = (/.f64 %44 %168)
%172 = (*.f64 %44 #s(literal -2 binary64))
%173 = (*.f64 #s(literal 2 binary64) #s(literal -2 binary64))
%179 = (*.f64 #s(literal -2 binary64) %44)
%180 = (*.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%182 = (*.f64 #s(literal 4 binary64) %44)
%183 = (*.f64 #s(literal 4 binary64) #s(literal 2 binary64))
%188 = (*.f64 %55 #s(literal 2 binary64))
%190 = (*.f64 #s(literal 2 binary64) %55)
%194 = (*.f64 #s(literal 3/2 binary64) %51)
%196 = (*.f64 #s(literal 1/2 binary64) %51)
%198 = (*.f64 %51 #s(literal 3/2 binary64))
%213 = (pow.f64 tsfn_phi (neg.f64 B))
%216 = (neg.f64 %213)
%219 = (pow.f64 tsfn_phi B)
%220 = (/.f64 #s(literal 2 binary64) %219)
%222 = (/.f64 #s(literal 1/2 binary64) %219)
%224 = (/.f64 #s(literal -2 binary64) %219)
%226 = (/.f64 #s(literal -1/2 binary64) %219)
%232 = (neg.f64 %219)
%234 = (/.f64 E_var %219)
%238 = (neg.f64 %234)
%264 = (*.f64 %219 #s(literal 2 binary64))
%266 = (/.f64 %44 %219)
%283 = (*.f64 %234 #s(literal 1/2 binary64))
%285 = (*.f64 %226 E_var)
%287 = (*.f64 #s(literal -1/2 binary64) %234)
%289 = (*.f64 #s(literal 1/4 binary64) %234)
%291 = (*.f64 #s(literal 4 binary64) %234)
%300 = (*.f64 %234 #s(literal -2 binary64))
%302 = (*.f64 %234 #s(literal 4 binary64))
%304 = (*.f64 %234 #s(literal 1/4 binary64))
%306 = (*.f64 E_var %220)
%319 = (*.f64 %216 %44)
%321 = (neg.f64 %264)
%323 = (*.f64 %222 %1)
%325 = (*.f64 #s(literal 1/2 binary64) %238)
%327 = (/.f64 %51 %232)
%329 = (*.f64 #s(literal 2 binary64) %238)
%331 = (*.f64 %51 %216)
%390 = (/.f64 %234 #s(literal 4 binary64))
%394 = (*.f64 %264 #s(literal 2 binary64))
%396 = (*.f64 #s(literal 2 binary64) %264)
%412 = (/.f64 %266 %168)
%422 = (*.f64 #s(literal 2 binary64) %321)
%424 = (*.f64 %321 #s(literal 2 binary64))
%444 = (*.f64 %234 #s(literal 0 binary64))
%446 = (*.f64 #s(literal 0 binary64) %234)
%458 = (*.f64 %266 #s(literal 0 binary64))
%460 = (*.f64 #s(literal 0 binary64) %266)
E_var
(neg.f64 %1)
(+.f64 E_var #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) E_var)
(-.f64 E_var #s(literal 0 binary64))
(*.f64 E_var #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) E_var)
(/.f64 E_var #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %1)
(*.f64 %1 #s(literal -1 binary64))
(fma.f64 E_var #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 E_var #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 1 binary64) E_var #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 0 binary64) E_var E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 3/2 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 1/4 binary64) E_var)
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 3/2 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 1/4 binary64) #s(literal 0 binary64) E_var)
(*.f64 #s(literal 1/2 binary64) %44)
(*.f64 %44 #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) %1 E_var)
(fma.f64 #s(literal -1 binary64) %1 #s(literal 0 binary64))
(fma.f64 %1 #s(literal 0 binary64) E_var)
(fma.f64 %1 #s(literal -1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 2 binary64) %51)
(*.f64 #s(literal -2 binary64) %53)
(*.f64 #s(literal -1/2 binary64) %55)
(*.f64 #s(literal 4 binary64) %57)
(*.f64 #s(literal 1/4 binary64) %59)
(*.f64 %51 #s(literal 2 binary64))
(*.f64 %55 #s(literal -1/2 binary64))
(*.f64 %53 #s(literal -2 binary64))
(*.f64 %64 #s(literal 1/4 binary64))
(*.f64 %66 #s(literal 4 binary64))
(/.f64 %44 #s(literal 2 binary64))
(/.f64 %55 #s(literal -2 binary64))
(/.f64 %59 #s(literal 4 binary64))
(/.f64 %64 #s(literal 4 binary64))
(*.f64 %72 #s(literal 1/2 binary64))
(fma.f64 %74 %74 E_var)
(*.f64 #s(literal 2 binary64) %76)
(*.f64 %78 #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) %80 E_var)
(fma.f64 #s(literal 0 binary64) %82 E_var)
(fma.f64 #s(literal 0 binary64) (+.f64 #s(literal 2 binary64) #s(literal 1/2 binary64)) E_var)
(fma.f64 #s(literal 0 binary64) (+.f64 #s(literal 1/2 binary64) #s(literal 2 binary64)) E_var)
(fma.f64 #s(literal 0 binary64) %44 E_var)
(fma.f64 #s(literal 0 binary64) (-.f64 #s(literal 1/2 binary64) #s(literal 2 binary64)) E_var)
(fma.f64 #s(literal 1/2 binary64) %44 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) (-.f64 #s(literal -2 binary64) #s(literal -2 binary64)) E_var)
(fma.f64 %80 #s(literal 0 binary64) E_var)
(fma.f64 %82 #s(literal 0 binary64) E_var)
(fma.f64 %44 #s(literal 0 binary64) E_var)
(fma.f64 %44 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 E_var #s(literal 1/2 binary64) %51)
(fma.f64 #s(literal 0 binary64) %51 E_var)
(fma.f64 #s(literal 0 binary64) %55 E_var)
(fma.f64 #s(literal 0 binary64) %53 E_var)
(fma.f64 #s(literal 2 binary64) %51 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) E_var %51)
(fma.f64 #s(literal -2 binary64) %53 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %55 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %57 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %59 #s(literal 0 binary64))
(fma.f64 %51 #s(literal 0 binary64) E_var)
(fma.f64 %51 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %55 #s(literal 0 binary64) E_var)
(fma.f64 %55 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %53 #s(literal 0 binary64) E_var)
(fma.f64 %53 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %64 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %66 #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 %51 %51)
(-.f64 %51 %53)
(fma.f64 #s(literal 0 binary64) %118 E_var)
(fma.f64 #s(literal 0 binary64) %120 E_var)
(fma.f64 #s(literal 0 binary64) (/.f64 #s(literal 1/2 binary64) #s(literal -2 binary64)) E_var)
(fma.f64 %124 #s(literal 1/2 binary64) E_var)
(fma.f64 %124 #s(literal 1/4 binary64) E_var)
(fma.f64 %118 #s(literal 0 binary64) E_var)
(fma.f64 %128 #s(literal 0 binary64) E_var)
(fma.f64 %120 #s(literal 0 binary64) E_var)
(fma.f64 %72 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %76 #s(literal 0 binary64))
(fma.f64 %78 #s(literal 2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 2 binary64) %134)
(*.f64 %136 #s(literal 4 binary64))
(*.f64 %138 #s(literal 2 binary64))
(/.f64 %140 #s(literal 4 binary64))
(/.f64 %142 #s(literal 4 binary64))
(*.f64 %144 #s(literal 1/4 binary64))
(/.f64 %146 #s(literal 4 binary64))
(/.f64 %148 #s(literal 4 binary64))
(fma.f64 #s(literal -1/2 binary64) %1 %76)
(fma.f64 %1 #s(literal -1/2 binary64) %78)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %44))
(/.f64 %144 #s(literal 4 binary64))
(+.f64 %78 %78)
(+.f64 %76 %76)
(*.f64 %128 %157)
(fma.f64 #s(literal 1/4 binary64) %44 %51)
(fma.f64 %44 #s(literal 1/4 binary64) %51)
(fma.f64 #s(literal 1 binary64) %51 %51)
(fma.f64 #s(literal 2 binary64) %134 #s(literal 0 binary64))
(fma.f64 %51 #s(literal 1 binary64) %51)
(fma.f64 %136 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %138 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %144 #s(literal 1/4 binary64) #s(literal 0 binary64))
(/.f64 %167 %168)
(*.f64 %170 #s(literal 4 binary64))
(/.f64 %172 %173)
(/.f64 (*.f64 %168 %51) #s(literal 4 binary64))
(/.f64 (*.f64 %51 %168) #s(literal 4 binary64))
(/.f64 %179 %180)
(/.f64 %182 %183)
(fma.f64 %124 (/.f64 #s(literal 1/2 binary64) #s(literal 4 binary64)) E_var)
(fma.f64 %128 %157 #s(literal 0 binary64))
(/.f64 %188 %173)
(/.f64 %190 %180)
(fma.f64 #s(literal -1 binary64) %53 %138)
(fma.f64 #s(literal 2 binary64) %136 %51)
(fma.f64 #s(literal 1/2 binary64) %51 %194)
(fma.f64 #s(literal 3/2 binary64) %51 %196)
(fma.f64 %51 #s(literal 1/2 binary64) %198)
(fma.f64 %51 #s(literal 3/2 binary64) %136)
(fma.f64 %53 #s(literal -1 binary64) %134)
(fma.f64 %170 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %196 #s(literal 2 binary64) %51)
(+.f64 %136 %198)
(+.f64 %198 %136)
(+.f64 %134 %134)
(+.f64 %138 %138)
(+.f64 %196 %194)
(+.f64 %194 %196)
(fma.f64 #s(literal 0 binary64) %213 E_var)
(fma.f64 %213 #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 0 binary64) %216 E_var)
(fma.f64 %216 #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 0 binary64) %220 E_var)
(fma.f64 #s(literal 0 binary64) %222 E_var)
(fma.f64 #s(literal 0 binary64) %224 E_var)
(fma.f64 #s(literal 0 binary64) %226 E_var)
(fma.f64 %220 #s(literal 0 binary64) E_var)
(fma.f64 %222 #s(literal 0 binary64) E_var)
(fma.f64 #s(literal -2 binary64) (*.f64 %226 #s(literal 0 binary64)) E_var)
tsfn_phi
B
%219
(neg.f64 %232)
%234
(*.f64 E_var %213)
(*.f64 %213 E_var)
(/.f64 %1 %232)
(neg.f64 %238)
(*.f64 %1 %216)
(*.f64 %216 %1)
(fma.f64 E_var %213 #s(literal 0 binary64))
(fma.f64 %213 E_var #s(literal 0 binary64))
(+.f64 %234 #s(literal 0 binary64))
(/.f64 E_var (*.f64 %219 #s(literal 1 binary64)))
(/.f64 E_var (*.f64 #s(literal 1 binary64) %219))
(*.f64 %234 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %234)
(/.f64 %234 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %219 E_var))
(*.f64 #s(literal -1 binary64) %238)
(*.f64 %238 #s(literal -1 binary64))
(fma.f64 %1 %216 #s(literal 0 binary64))
(fma.f64 %216 %1 #s(literal 0 binary64))
(/.f64 %1 (*.f64 %232 #s(literal 1 binary64)))
(/.f64 %1 (*.f64 #s(literal 1 binary64) %232))
(fma.f64 %234 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %234 #s(literal 0 binary64))
(/.f64 %44 %264)
(*.f64 #s(literal 1/2 binary64) %266)
(*.f64 %44 %222)
(*.f64 %266 #s(literal 1/2 binary64))
(*.f64 %222 %44)
(/.f64 #s(literal 1 binary64) (/.f64 %232 %1))
(/.f64 %55 (*.f64 %219 #s(literal -2 binary64)))
(/.f64 %55 (*.f64 #s(literal -2 binary64) %219))
(/.f64 %59 (*.f64 #s(literal 4 binary64) %219))
(/.f64 %64 (*.f64 %219 #s(literal 4 binary64)))
(fma.f64 #s(literal -1 binary64) %238 #s(literal 0 binary64))
(fma.f64 %238 #s(literal -1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 2 binary64) %283)
(*.f64 #s(literal -2 binary64) %285)
(*.f64 #s(literal -2 binary64) %287)
(*.f64 #s(literal 4 binary64) %289)
(*.f64 #s(literal 1/4 binary64) %291)
(*.f64 %51 %220)
(*.f64 %55 %226)
(*.f64 %53 %224)
(*.f64 %283 #s(literal 2 binary64))
(*.f64 %220 %51)
(*.f64 %224 %53)
(*.f64 %226 %55)
(*.f64 %300 #s(literal -1/2 binary64))
(*.f64 %302 #s(literal 1/4 binary64))
(*.f64 %304 #s(literal 4 binary64))
(*.f64 %306 #s(literal 1/2 binary64))
(/.f64 %266 #s(literal 2 binary64))
(/.f64 %44 (*.f64 %232 #s(literal -2 binary64)))
(/.f64 %44 (*.f64 #s(literal -2 binary64) %232))
(/.f64 %300 #s(literal -2 binary64))
(/.f64 %302 #s(literal 4 binary64))
(/.f64 %306 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %234) #s(literal -2 binary64))
(/.f64 %291 #s(literal 4 binary64))
(*.f64 %319 #s(literal -1/2 binary64))
(/.f64 %55 %321)
(*.f64 #s(literal -2 binary64) %323)
(*.f64 #s(literal -2 binary64) %325)
(*.f64 #s(literal -2 binary64) %327)
(*.f64 #s(literal -1/2 binary64) %329)
(*.f64 #s(literal -2 binary64) %331)
(/.f64 (neg.f64 %266) #s(literal -2 binary64))
(fma.f64 #s(literal 1/2 binary64) %266 #s(literal 0 binary64))
(fma.f64 %44 %222 #s(literal 0 binary64))
(fma.f64 %266 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %222 %44 #s(literal 0 binary64))
(/.f64 (*.f64 %1 %224) #s(literal 2 binary64))
(/.f64 %329 #s(literal -2 binary64))
(/.f64 (*.f64 %1 #s(literal 4 binary64)) (*.f64 %232 #s(literal 4 binary64)))
(/.f64 (*.f64 #s(literal 4 binary64) %1) (*.f64 #s(literal 4 binary64) %232))
(fma.f64 #s(literal 2 binary64) %283 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %285 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %287 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %289 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %291 #s(literal 0 binary64))
(fma.f64 %51 %220 #s(literal 0 binary64))
(fma.f64 %55 %226 #s(literal 0 binary64))
(fma.f64 %53 %224 #s(literal 0 binary64))
(fma.f64 %283 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %220 %51 #s(literal 0 binary64))
(fma.f64 %224 %53 #s(literal 0 binary64))
(fma.f64 %226 %55 #s(literal 0 binary64))
(fma.f64 %300 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %302 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %304 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %306 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %319 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %323 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %325 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %327 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %329 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %331 #s(literal 0 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %264 %44))
(/.f64 (*.f64 %266 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %220 %44) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %266) #s(literal 4 binary64))
(/.f64 (*.f64 %44 %220) #s(literal 4 binary64))
(/.f64 (*.f64 %224 %55) #s(literal 4 binary64))
(/.f64 (*.f64 %55 %224) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %266))
(/.f64 (/.f64 %266 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %266 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %128 %390)
(/.f64 #s(literal 1 binary64) (/.f64 %321 %55))
(/.f64 %140 %394)
(/.f64 %140 %396)
(/.f64 %172 (*.f64 %264 #s(literal -2 binary64)))
(/.f64 %167 (*.f64 %264 #s(literal 4 binary64)))
(/.f64 %142 %394)
(/.f64 %142 %396)
(/.f64 %179 (*.f64 #s(literal -2 binary64) %264))
(/.f64 %182 (*.f64 #s(literal 4 binary64) %264))
(/.f64 %146 %396)
(/.f64 %148 %394)
(/.f64 (*.f64 %266 #s(literal 4 binary64)) %168)
(*.f64 %412 #s(literal 4 binary64))
(/.f64 (*.f64 %266 #s(literal -2 binary64)) %173)
(/.f64 (*.f64 #s(literal -2 binary64) %266) %180)
(/.f64 (*.f64 #s(literal 4 binary64) %266) %183)
(/.f64 (*.f64 %168 %283) #s(literal 4 binary64))
(/.f64 %172 %422)
(/.f64 %179 %424)
(fma.f64 %128 %390 #s(literal 0 binary64))
(/.f64 %188 %424)
(/.f64 %188 %422)
(/.f64 %146 (*.f64 %321 #s(literal -2 binary64)))
(/.f64 (*.f64 %55 #s(literal 4 binary64)) (*.f64 %321 #s(literal 4 binary64)))
(/.f64 %190 %424)
(/.f64 %190 %422)
(/.f64 %148 (*.f64 #s(literal -2 binary64) %321))
(/.f64 (*.f64 #s(literal 4 binary64) %55) (*.f64 #s(literal 4 binary64) %321))
(fma.f64 %412 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %234 #s(literal 0 binary64) %234)
(fma.f64 #s(literal 0 binary64) %234 %234)
(fma.f64 E_var %213 %444)
(fma.f64 E_var %213 %446)
(fma.f64 %213 E_var %444)
(fma.f64 %213 E_var %446)
(+.f64 %234 %444)
(+.f64 %234 %446)
(+.f64 %444 %234)
(+.f64 %446 %234)
(fma.f64 %1 %216 %444)
(fma.f64 %1 %216 %446)
(fma.f64 %216 %1 %444)
(fma.f64 %216 %1 %446)
(fma.f64 E_var %213 %458)
(fma.f64 E_var %213 %460)
(fma.f64 %213 E_var %458)
(fma.f64 %213 E_var %460)
(fma.f64 E_var %222 %283)
(fma.f64 %234 #s(literal 1 binary64) %444)
(fma.f64 %234 #s(literal 1 binary64) %446)
(fma.f64 %234 #s(literal 1/2 binary64) %283)
(fma.f64 #s(literal 1 binary64) %234 %444)
(fma.f64 #s(literal 1 binary64) %234 %446)
(fma.f64 #s(literal 1/2 binary64) %234 %283)
(fma.f64 %222 E_var %283)
(+.f64 %234 %458)
(+.f64 %234 %460)
(fma.f64 %51 %213 %283)
(fma.f64 %213 %51 %283)
(+.f64 %283 %283)
(fma.f64 #s(literal -1 binary64) %238 %444)
(fma.f64 #s(literal -1 binary64) %238 %446)
(fma.f64 #s(literal -1/2 binary64) %238 %283)
(fma.f64 %1 %226 %283)
(fma.f64 %238 #s(literal -1 binary64) %444)
(fma.f64 %238 #s(literal -1 binary64) %446)
(fma.f64 %238 #s(literal -1/2 binary64) %283)
(fma.f64 %226 %1 %283)
(fma.f64 %53 %216 %283)
(fma.f64 %216 %53 %283)
(fma.f64 %1 %216 %458)
(fma.f64 %1 %216 %460)
(fma.f64 %216 %1 %458)
(fma.f64 %216 %1 %460)
(fma.f64 %234 #s(literal 1 binary64) %458)
(fma.f64 %234 #s(literal 1 binary64) %460)
(fma.f64 #s(literal 1 binary64) %234 %458)
(fma.f64 #s(literal 1 binary64) %234 %460)
(fma.f64 #s(literal 1/2 binary64) %266 %444)
(fma.f64 #s(literal 1/2 binary64) %266 %446)
(fma.f64 #s(literal 1/4 binary64) %266 %283)
(fma.f64 %44 %222 %444)
(fma.f64 %44 %222 %446)
(fma.f64 %266 #s(literal 1/2 binary64) %444)
(fma.f64 %266 #s(literal 1/2 binary64) %446)
(fma.f64 %222 %44 %444)
(fma.f64 %222 %44 %446)
(fma.f64 #s(literal 1 binary64) %283 %283)
(fma.f64 #s(literal 2 binary64) %283 %444)
(fma.f64 #s(literal 2 binary64) %283 %446)
(fma.f64 #s(literal -2 binary64) %285 %444)
(fma.f64 #s(literal -2 binary64) %285 %446)
(fma.f64 #s(literal -2 binary64) %287 %444)
(fma.f64 #s(literal -2 binary64) %287 %446)
(fma.f64 #s(literal 4 binary64) %289 %444)
(fma.f64 #s(literal 4 binary64) %289 %446)
(fma.f64 #s(literal 1/4 binary64) %291 %444)
(fma.f64 #s(literal 1/4 binary64) %291 %446)
(fma.f64 %51 %220 %444)
(fma.f64 %51 %220 %446)
(fma.f64 %55 %226 %444)
(fma.f64 %55 %226 %446)
(fma.f64 %53 %224 %444)
(fma.f64 %53 %224 %446)
(fma.f64 %283 #s(literal 1 binary64) %283)
(fma.f64 %283 #s(literal 2 binary64) %444)
(fma.f64 %283 #s(literal 2 binary64) %446)
(fma.f64 %220 %51 %444)
(fma.f64 %220 %51 %446)
(fma.f64 %224 %53 %444)
(fma.f64 %224 %53 %446)
(fma.f64 %226 %55 %444)
(fma.f64 %226 %55 %446)
(fma.f64 %300 #s(literal -1/2 binary64) %444)
(fma.f64 %300 #s(literal -1/2 binary64) %446)
(fma.f64 %302 #s(literal 1/4 binary64) %444)
(fma.f64 %302 #s(literal 1/4 binary64) %446)
(fma.f64 %304 #s(literal 4 binary64) %444)
(fma.f64 %304 #s(literal 4 binary64) %446)
(fma.f64 %285 #s(literal -1 binary64) %283)
(fma.f64 %306 #s(literal 1/2 binary64) %444)
(fma.f64 %306 #s(literal 1/2 binary64) %446)
(fma.f64 #s(literal -1 binary64) %238 %458)
(fma.f64 #s(literal -1 binary64) %238 %460)
(fma.f64 %238 #s(literal -1 binary64) %458)
(fma.f64 %238 #s(literal -1 binary64) %460)
(fma.f64 %319 #s(literal -1/2 binary64) %444)
(fma.f64 %319 #s(literal -1/2 binary64) %446)
(fma.f64 #s(literal -2 binary64) %323 %444)
(fma.f64 #s(literal -2 binary64) %323 %446)
(fma.f64 #s(literal -2 binary64) %325 %444)
(fma.f64 #s(literal -2 binary64) %325 %446)
(fma.f64 #s(literal -2 binary64) %327 %444)
(fma.f64 #s(literal -2 binary64) %327 %446)
(fma.f64 #s(literal -1/2 binary64) %329 %444)
(fma.f64 #s(literal -1/2 binary64) %329 %446)
(fma.f64 #s(literal -2 binary64) %331 %444)
(fma.f64 #s(literal -2 binary64) %331 %446)
(fma.f64 #s(literal 1/2 binary64) %266 %458)
(fma.f64 #s(literal 1/2 binary64) %266 %460)
(fma.f64 %44 %222 %458)
(fma.f64 %44 %222 %460)
(fma.f64 %266 #s(literal 1/2 binary64) %458)
(fma.f64 %266 #s(literal 1/2 binary64) %460)
(fma.f64 %222 %44 %458)
(fma.f64 %222 %44 %460)
(fma.f64 #s(literal 2 binary64) %283 %458)
(fma.f64 #s(literal 2 binary64) %283 %460)
(fma.f64 #s(literal -2 binary64) %285 %458)
(fma.f64 #s(literal -2 binary64) %285 %460)
(fma.f64 #s(literal -2 binary64) %287 %458)
(fma.f64 #s(literal -2 binary64) %287 %460)
(fma.f64 #s(literal 4 binary64) %289 %458)
(fma.f64 #s(literal 4 binary64) %289 %460)
(fma.f64 #s(literal 1/4 binary64) %291 %458)
(fma.f64 #s(literal 1/4 binary64) %291 %460)
(fma.f64 %51 %220 %458)
(fma.f64 %51 %220 %460)
(fma.f64 %55 %226 %458)
(fma.f64 %55 %226 %460)
(fma.f64 %53 %224 %458)
(fma.f64 %53 %224 %460)
(fma.f64 %283 #s(literal 2 binary64) %458)
(fma.f64 %283 #s(literal 2 binary64) %460)
(fma.f64 %220 %51 %458)
(fma.f64 %220 %51 %460)
(fma.f64 %224 %53 %458)
(fma.f64 %224 %53 %460)
(fma.f64 %226 %55 %458)
(fma.f64 %226 %55 %460)
(fma.f64 (*.f64 %222 #s(literal 1/2 binary64)) %44 %283)
(fma.f64 %300 #s(literal -1/2 binary64) %458)
(fma.f64 %300 #s(literal -1/2 binary64) %460)
(fma.f64 %302 #s(literal 1/4 binary64) %458)
(fma.f64 %302 #s(literal 1/4 binary64) %460)
(fma.f64 %304 #s(literal 4 binary64) %458)
(fma.f64 %304 #s(literal 4 binary64) %460)
(fma.f64 %306 #s(literal 1/2 binary64) %458)
(fma.f64 %306 #s(literal 1/2 binary64) %460)
(fma.f64 (*.f64 %222 %51) #s(literal 2 binary64) %283)
(fma.f64 (*.f64 %226 %53) #s(literal 2 binary64) %283)
(fma.f64 %319 #s(literal -1/2 binary64) %458)
(fma.f64 %319 #s(literal -1/2 binary64) %460)
(fma.f64 #s(literal -2 binary64) %323 %458)
(fma.f64 #s(literal -2 binary64) %323 %460)
(fma.f64 #s(literal -2 binary64) %325 %458)
(fma.f64 #s(literal -2 binary64) %325 %460)
(fma.f64 #s(literal -2 binary64) %327 %458)
(fma.f64 #s(literal -2 binary64) %327 %460)
(fma.f64 #s(literal -1/2 binary64) %329 %458)
(fma.f64 #s(literal -1/2 binary64) %329 %460)
(fma.f64 #s(literal -2 binary64) %331 %458)
(fma.f64 #s(literal -2 binary64) %331 %460)
(fma.f64 %128 %390 %444)
(fma.f64 %128 %390 %446)
(fma.f64 %412 #s(literal 4 binary64) %444)
(fma.f64 %412 #s(literal 4 binary64) %446)
(fma.f64 %128 %390 %458)
(fma.f64 %128 %390 %460)
(fma.f64 %412 #s(literal 4 binary64) %458)
(fma.f64 %412 #s(literal 4 binary64) %460)
reconstruct1.0ms (0.0%)
Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
eval510.0ms (0.3%)
Memory
10.2MiB live, 38.1MiB allocated; 6ms collecting garbage
Compiler
Compiled 6 146 to 834 computations (86.4% saved)
prune132.0ms (0.1%)
Memory
10.2MiB live, 10.2MiB allocated; 0ms collecting garbage
Pruning
4 alts after pruning (3 fresh and 1 done)
PrunedKeptTotal
New4823485
Fresh000
Picked011
Done000
Total4824486
Accuracy
100.0%
Counts
486 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 E_var (pow.f64 tsfn_phi B))
▶65.3%
(/.f64 E_var (approx (pow tsfn_phi B) (+.f64 #s(literal 1 binary64) (*.f64 B (log.f64 tsfn_phi)))))
▶59.5%
(/.f64 E_var (approx (pow tsfn_phi B) #s(literal 1 binary64)))
▶59.1%
(approx (/ E_var (pow tsfn_phi B)) (+.f64 E_var (*.f64 #s(literal -1 binary64) (*.f64 B (*.f64 E_var (log.f64 tsfn_phi))))))
Compiler
Compiled 26 to 16 computations (38.5% saved)
sample0.0ms (0.0%)
Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series2.5s (1.7%)
Memory
0.7MiB live, 63.0MiB allocated; 5ms collecting garbage
Counts
17 → 33
Calls
Call 1
Inputs
%5 = (pow tsfn_phi B)
%6 = (approx %5 #s(literal 1 binary64))
%7 = (log.f64 tsfn_phi)
%8 = (*.f64 B %7)
%9 = (+.f64 #s(literal 1 binary64) %8)
%10 = (approx %5 %9)
%11 = (*.f64 E_var %7)
%12 = (*.f64 B %11)
%13 = (*.f64 #s(literal -1 binary64) %12)
%14 = (+.f64 E_var %13)
E_var
tsfn_phi
B
#s(literal -1 binary64)
#s(literal 1 binary64)
%6
%7
%8
%9
%10
%11
%12
%13
%14
(approx (/ E_var %5) %14)
(/.f64 E_var %6)
(/.f64 E_var %10)
Outputs
%5 = (log tsfn_phi)
%6 = (* E_var %5)
%7 = (log.f64 tsfn_phi)
%8 = (*.f64 E_var %7)
%11 = (* B %6)
%12 = (*.f64 B %8)
%15 = (* -1 %11)
%17 = (*.f64 #s(literal -1 binary64) %12)
%19 = (+ E_var %15)
%21 = (*.f64 B %7)
%26 = (pow tsfn_phi B)
%27 = (/ E_var %26)
%28 = (pow.f64 tsfn_phi B)
%38 = (* B %5)
%41 = (+ 1 %38)
%47 = (log.f64 (/.f64 #s(literal 1 binary64) tsfn_phi))
%49 = (*.f64 #s(literal -1 binary64) (*.f64 B %47))
%50 = (exp.f64 %49)
%57 = (*.f64 E_var %47)
%60 = (*.f64 B %57)
%72 = (pow.f64 %7 #s(literal 2 binary64))
%81 = (pow.f64 %7 #s(literal 3 binary64))
%90 = (*.f64 E_var %72)
%92 = (fma.f64 #s(literal -1 binary64) %90 (*.f64 #s(literal 1/2 binary64) %90))
%101 = (*.f64 E_var %81)
%113 = (/.f64 #s(literal 1 binary64) B)
%117 = (/.f64 E_var B)
(approx E_var #s(literal 0 binary64))
(approx E_var E_var)
(approx %6 %8)
(approx %11 %12)
(approx %15 %17)
(approx %19 (*.f64 E_var (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %21))))
(approx %27 (/.f64 E_var %28))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 E_var (-.f64 %21 #s(literal 1 binary64)))))
(approx tsfn_phi tsfn_phi)
(approx %26 %28)
(approx %5 %7)
(approx %38 %21)
(approx %41 (+.f64 #s(literal 1 binary64) %21))
(approx %19 (+.f64 E_var %17))
(approx %26 %50)
(approx %5 (*.f64 #s(literal -1 binary64) %47))
(approx %38 %49)
(approx %41 (+.f64 #s(literal 1 binary64) %49))
(approx %6 (*.f64 #s(literal -1 binary64) %57))
(approx %11 (*.f64 #s(literal -1 binary64) %60))
(approx %15 %60)
(approx %19 (+.f64 E_var %60))
(approx %27 (/.f64 E_var %50))
(approx B B)
(approx %26 #s(literal 1 binary64))
(approx %26 (+.f64 #s(literal 1 binary64) (*.f64 B (+.f64 %7 (*.f64 #s(literal 1/2 binary64) (*.f64 B %72))))))
(approx %26 (+.f64 #s(literal 1 binary64) (*.f64 B (+.f64 %7 (*.f64 B (fma.f64 #s(literal 1/6 binary64) (*.f64 B %81) (*.f64 #s(literal 1/2 binary64) %72)))))))
(approx %27 (+.f64 E_var (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 B %92)) %8))))
(approx %27 (+.f64 E_var (*.f64 B (-.f64 (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 B (fma.f64 #s(literal -1 binary64) (*.f64 %7 %92) (fma.f64 #s(literal -1/2 binary64) %101 (*.f64 #s(literal 1/6 binary64) %101))))) %92)) %8))))
(approx %41 (*.f64 B (+.f64 %7 %113)))
(approx %19 (*.f64 B (fma.f64 #s(literal -1 binary64) %8 %117)))
(approx %41 (*.f64 #s(literal -1 binary64) (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) %7) %113))))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 B (fma.f64 #s(literal -1 binary64) %117 %8))))
Calls
9 calls:
TimeVariablePoint
147.0ms
E_var
0
117.0ms
B
0
100.0ms
tsfn_phi
0
79.0ms
tsfn_phi
-inf
77.0ms
tsfn_phi
inf
rewrite4.5s (3.0%)
Memory
3.7MiB live, 193.6MiB allocated; 33ms collecting garbage
Counts
17 → 2 922
Calls
Call 1
Inputs
%5 = (pow tsfn_phi B)
%6 = (approx %5 #s(literal 1 binary64))
%7 = (log.f64 tsfn_phi)
%8 = (*.f64 B %7)
%9 = (+.f64 #s(literal 1 binary64) %8)
%10 = (approx %5 %9)
%11 = (*.f64 E_var %7)
%12 = (*.f64 B %11)
%13 = (*.f64 #s(literal -1 binary64) %12)
%14 = (+.f64 E_var %13)
E_var
tsfn_phi
B
#s(literal -1 binary64)
#s(literal 1 binary64)
%6
%7
%8
%9
%10
%11
%12
%13
%14
(approx (/ E_var %5) %14)
(/.f64 E_var %6)
(/.f64 E_var %10)
Outputs
%1 = (neg.f64 E_var)
%27 = (+.f64 E_var E_var)
%32 = (*.f64 #s(literal 1/2 binary64) E_var)
%36 = (*.f64 %1 #s(literal 0 binary64))
%42 = (/.f64 E_var #s(literal 1/2 binary64))
%46 = (-.f64 #s(literal -1 binary64) #s(literal -1 binary64))
%49 = (-.f64 #s(literal 2 binary64) #s(literal 2 binary64))
%55 = (*.f64 #s(literal 0 binary64) #s(literal 0 binary64))
%60 = (*.f64 %27 #s(literal 0 binary64))
%62 = (*.f64 #s(literal 0 binary64) %27)
%64 = (*.f64 #s(literal 0 binary64) %32)
%68 = (*.f64 #s(literal -1/2 binary64) E_var)
%71 = (*.f64 %32 #s(literal 1/2 binary64))
%74 = (*.f64 %27 #s(literal 2 binary64))
%78 = (*.f64 %1 #s(literal 1/2 binary64))
%80 = (neg.f64 %32)
%92 = (*.f64 #s(literal 1/2 binary64) #s(literal 0 binary64))
%101 = (+.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%102 = (/.f64 #s(literal 0 binary64) %101)
%110 = (/.f64 %27 %101)
%113 = (*.f64 #s(literal 2 binary64) #s(literal -2 binary64))
%118 = (*.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%128 = (*.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
%134 = (log.f64 tsfn_phi)
%135 = (*.f64 B %134)
%140 = (*.f64 #s(literal 3/2 binary64) %32)
%142 = (*.f64 #s(literal 1/2 binary64) %32)
%145 = (*.f64 %32 #s(literal 3/2 binary64))
%159 = (*.f64 E_var %134)
%160 = (*.f64 %159 #s(literal 0 binary64))
%162 = (*.f64 E_var B)
%163 = (*.f64 %162 #s(literal 0 binary64))
%165 = (*.f64 B #s(literal 0 binary64))
%167 = (*.f64 B %159)
%170 = (*.f64 #s(literal 0 binary64) B)
%172 = (*.f64 %134 #s(literal 0 binary64))
%174 = (*.f64 #s(literal 0 binary64) %134)
%176 = (*.f64 #s(literal 0 binary64) %162)
%178 = (*.f64 #s(literal 0 binary64) %159)
%182 = (log.f64 (fabs.f64 tsfn_phi))
%183 = (*.f64 %182 #s(literal 0 binary64))
%186 = (neg.f64 B)
%187 = (neg.f64 %159)
%188 = (*.f64 %187 #s(literal 0 binary64))
%190 = (neg.f64 %135)
%192 = (neg.f64 %162)
%193 = (neg.f64 %134)
%194 = (*.f64 %193 #s(literal 0 binary64))
%196 = (*.f64 %186 #s(literal 0 binary64))
%198 = (*.f64 #s(literal 0 binary64) %186)
%200 = (*.f64 #s(literal 0 binary64) %187)
%202 = (*.f64 #s(literal 0 binary64) %190)
%204 = (*.f64 #s(literal 0 binary64) %192)
%206 = (*.f64 %27 B)
%207 = (*.f64 %206 %134)
%211 = (*.f64 %167 #s(literal 1/2 binary64))
%215 = (neg.f64 %167)
%216 = (*.f64 %215 #s(literal 0 binary64))
%218 = (*.f64 #s(literal -1 binary64) #s(literal 0 binary64))
%220 = (*.f64 #s(literal 0 binary64) #s(literal -1 binary64))
%222 = (*.f64 #s(literal 0 binary64) %215)
%224 = (*.f64 %207 #s(literal 0 binary64))
%227 = (pow.f64 tsfn_phi %186)
%229 = (neg.f64 %227)
%231 = (pow.f64 tsfn_phi E_var)
%233 = (log.f64 (fabs.f64 %231))
%234 = (*.f64 %233 #s(literal 0 binary64))
%249 = (+.f64 B B)
%252 = (*.f64 #s(literal 1/2 binary64) B)
%254 = (*.f64 #s(literal -1/2 binary64) B)
%265 = (*.f64 #s(literal 2 binary64) %186)
%267 = (*.f64 %186 #s(literal -1/2 binary64))
%269 = (*.f64 %186 #s(literal 2 binary64))
%271 = (*.f64 %186 #s(literal -2 binary64))
%310 = (/.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
%311 = (/.f64 B #s(literal 4 binary64))
%348 = (/.f64 %249 %101)
%410 = (*.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
%413 = (*.f64 #s(literal -2 binary64) #s(literal 0 binary64))
%415 = (*.f64 #s(literal -1/2 binary64) #s(literal 0 binary64))
%420 = (*.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
%426 = (/.f64 #s(literal 2 binary64) #s(literal -1 binary64))
%429 = (/.f64 #s(literal 1/2 binary64) #s(literal -1 binary64))
%431 = (/.f64 #s(literal -1 binary64) #s(literal 1/2 binary64))
%462 = (*.f64 #s(literal 3/2 binary64) #s(literal -1/2 binary64))
%469 = (*.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%476 = (*.f64 #s(literal -1/2 binary64) #s(literal 3/2 binary64))
%487 = (fma.f64 #s(literal -2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
%499 = (/.f64 #s(literal -2 binary64) %101)
%501 = (/.f64 #s(literal 1/2 binary64) #s(literal -2 binary64))
%502 = (/.f64 #s(literal 3/2 binary64) #s(literal -2 binary64))
%505 = (/.f64 #s(literal -1 binary64) #s(literal 4 binary64))
%507 = (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
%508 = (/.f64 #s(literal 4 binary64) #s(literal -1 binary64))
%639 = (-.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
%649 = (*.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
%665 = (sqrt.f64 #s(literal 2 binary64))
%666 = (sqrt.f64 #s(literal 1/2 binary64))
%698 = (*.f64 #s(literal 1/2 binary64) #s(literal 3/2 binary64))
%700 = (*.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64))
%723 = (/.f64 #s(literal 1 binary64) #s(literal 4 binary64))
%733 = (*.f64 #s(literal 4 binary64) #s(literal 2 binary64))
%737 = (/.f64 #s(literal 2 binary64) %101)
%743 = (/.f64 #s(literal 3/2 binary64) #s(literal 2 binary64))
%750 = (/.f64 #s(literal 4 binary64) #s(literal 1 binary64))
%781 = (/.f64 #s(literal 1 binary64) %101)
%817 = (/.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
%901 = (exp.f64 #s(literal 1 binary64))
%905 = (cosh.f64 #s(literal 1 binary64))
%907 = (sinh.f64 #s(literal 1 binary64))
%910 = (pow tsfn_phi B)
%911 = (approx %910 #s(literal 1 binary64))
%918 = (*.f64 %134 #s(literal 1/2 binary64))
%920 = (*.f64 #s(literal 2 binary64) %134)
%923 = (*.f64 %134 #s(literal 2 binary64))
%931 = (*.f64 %193 #s(literal -1/2 binary64))
%933 = (*.f64 %193 #s(literal 2 binary64))
%935 = (*.f64 %193 #s(literal -2 binary64))
%937 = (*.f64 %193 #s(literal 1/2 binary64))
%939 = (/.f64 #s(literal 1 binary64) tsfn_phi)
%951 = (*.f64 #s(literal 0 binary64) %193)
%970 = (*.f64 #s(literal -1/2 binary64) %193)
%1022 = (neg.f64 %182)
%1023 = (neg.f64 %1022)
%1034 = (*.f64 %182 #s(literal 1 binary64))
%1036 = (*.f64 #s(literal 1 binary64) %182)
%1042 = (-.f64 %190 #s(literal 0 binary64))
%1046 = (*.f64 %182 #s(literal -1 binary64))
%1061 = (-.f64 #s(literal 1 binary64) %135)
%1065 = (*.f64 %249 %134)
%1067 = (*.f64 %134 %249)
%1071 = (fma.f64 %186 %134 #s(literal 1 binary64))
%1079 = (*.f64 %252 %134)
%1081 = (*.f64 %135 #s(literal -2 binary64))
%1087 = (*.f64 %249 %182)
%1089 = (*.f64 %182 #s(literal 1/2 binary64))
%1096 = (*.f64 #s(literal -1/2 binary64) %190)
%1098 = (*.f64 #s(literal -2 binary64) %190)
%1100 = (*.f64 #s(literal 1/2 binary64) %190)
%1102 = (*.f64 %182 #s(literal 2 binary64))
%1129 = (pow.f64 tsfn_phi B)
%1148 = (log.f64 (fabs.f64 %1129))
%1157 = (*.f64 #s(literal 1/2 binary64) %182)
%1169 = (*.f64 #s(literal 1/2 binary64) %193)
%1203 = (log.f64 #s(literal 2 binary64))
%1207 = (log.f64 (fabs.f64 (/.f64 #s(literal 1/2 binary64) %1129)))
%1224 = (*.f64 #s(literal -1 binary64) %1207)
%1226 = (*.f64 %1207 #s(literal -1 binary64))
%1256 = (fma.f64 %134 B #s(literal 1 binary64))
%1262 = (-.f64 #s(literal -1 binary64) %135)
%1269 = (fma.f64 %134 B #s(literal 1/2 binary64))
%1314 = (+.f64 #s(literal 0 binary64) %1269)
%1323 = (fma.f64 %134 %249 #s(literal 2 binary64))
%1336 = (fma.f64 %135 #s(literal -2 binary64) #s(literal -2 binary64))
%1371 = (/.f64 %1323 #s(literal 4 binary64))
%1399 = (/.f64 %1323 %101)
%1469 = (approx %910 %1256)
%1487 = (*.f64 %1022 #s(literal -1 binary64))
%1489 = (neg.f64 %1046)
%1492 = (*.f64 %27 %134)
%1496 = (*.f64 %134 %27)
%1498 = (*.f64 %32 %134)
%1502 = (*.f64 %134 %32)
%1507 = (*.f64 %182 %27)
%1513 = (*.f64 %1046 #s(literal -1 binary64))
%1515 = (*.f64 #s(literal -1/2 binary64) %187)
%1517 = (*.f64 #s(literal -2 binary64) %187)
%1519 = (*.f64 #s(literal 1/2 binary64) %187)
%1521 = (*.f64 #s(literal 2 binary64) %187)
%1523 = (*.f64 #s(literal 2 binary64) %182)
%1525 = (*.f64 %187 #s(literal -1/2 binary64))
%1527 = (*.f64 %187 #s(literal -2 binary64))
%1529 = (*.f64 %187 #s(literal 2 binary64))
%1531 = (*.f64 %187 #s(literal 1/2 binary64))
%1533 = (*.f64 %182 %32)
%1552 = (/.f64 %159 #s(literal 4 binary64))
%1561 = (*.f64 #s(literal 0 binary64) %182)
%1569 = (/.f64 %1492 %101)
%1935 = (pow.f64 tsfn_phi %1)
%1965 = (*.f64 %1022 %186)
%1967 = (*.f64 %1022 %1)
%2014 = (*.f64 %167 #s(literal -1/2 binary64))
%2016 = (*.f64 %32 B)
%2022 = (*.f64 %167 #s(literal -2 binary64))
%2024 = (*.f64 #s(literal -2 binary64) %167)
%2026 = (/.f64 %167 #s(literal 1/2 binary64))
%2029 = (*.f64 %215 #s(literal 2 binary64))
%2031 = (*.f64 #s(literal 2 binary64) %215)
%2035 = (neg.f64 %207)
%2069 = (*.f64 %211 #s(literal 1/2 binary64))
%2071 = (*.f64 %207 #s(literal 2 binary64))
%2073 = (*.f64 #s(literal 2 binary64) %207)
%2081 = (/.f64 %167 #s(literal 4 binary64))
%2088 = (+.f64 %134 %134)
%2090 = (/.f64 %207 %101)
%2094 = (*.f64 %207 #s(literal -2 binary64))
%2096 = (*.f64 #s(literal -2 binary64) %207)
%2102 = (pow.f64 tsfn_phi %162)
%2110 = (fma.f64 %193 E_var %187)
%2112 = (neg.f64 %233)
%2127 = (*.f64 %233 #s(literal 1 binary64))
%2130 = (log.f64 (fabs.f64 %2102))
%2153 = (*.f64 %1148 %1)
%2155 = (*.f64 %233 #s(literal -1 binary64))
%2169 = (fma.f64 B %187 %215)
%2236 = (*.f64 %254 E_var)
%2240 = (*.f64 %254 %1)
%2254 = (*.f64 #s(literal -1/2 binary64) %192)
%2281 = (*.f64 #s(literal 1/2 binary64) %192)
%2380 = (*.f64 #s(literal 1/2 binary64) %211)
%2382 = (*.f64 #s(literal 3/2 binary64) %211)
%2385 = (*.f64 %211 #s(literal 3/2 binary64))
%2407 = (pow.f64 %231 B)
%2409 = (pow.f64 %1129 E_var)
%2423 = (pow.f64 tsfn_phi %192)
%2427 = (log.f64 (fabs.f64 %2407))
%2431 = (pow.f64 %231 %186)
%2433 = (log.f64 (fabs.f64 %2431))
%2435 = (sqrt.f64 %2102)
%2479 = (sqrt.f64 %2407)
%2585 = (*.f64 %206 %193)
%2587 = (*.f64 %1492 %186)
%2589 = (*.f64 %249 %187)
%2593 = (*.f64 %190 %27)
%2609 = (*.f64 %190 %32)
%2656 = (*.f64 %207 #s(literal -1 binary64))
%2658 = (*.f64 #s(literal -1 binary64) %207)
%2674 = (*.f64 #s(literal 4 binary64) %2014)
%2759 = (*.f64 %190 #s(literal 0 binary64))
%2800 = (*.f64 %1148 E_var)
%3075 = (*.f64 E_var %1207)
%3077 = (*.f64 %1207 E_var)
%3140 = (-.f64 E_var %167)
%3168 = (-.f64 #s(literal 0 binary64) %167)
%3179 = (*.f64 %1071 #s(literal 1 binary64))
%3213 = (*.f64 %1071 %27)
%3223 = (*.f64 %1071 %32)
%3229 = (-.f64 %32 %167)
%3237 = (-.f64 %27 %207)
%3239 = (fma.f64 E_var #s(literal 1/2 binary64) %215)
%3250 = (-.f64 %32 %211)
%3274 = (*.f64 %1071 #s(literal 0 binary64))
%3276 = (*.f64 #s(literal 0 binary64) %1071)
%3298 = (*.f64 %32 %1071)
E_var
(neg.f64 %1)
(+.f64 E_var #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) E_var)
(-.f64 E_var #s(literal 0 binary64))
(*.f64 E_var #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) E_var)
(/.f64 E_var #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %1)
(*.f64 %1 #s(literal -1 binary64))
(fma.f64 E_var #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 E_var #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 1 binary64) E_var #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 0 binary64) E_var E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) E_var)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) E_var)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) E_var)
(*.f64 #s(literal 1/2 binary64) %27)
(*.f64 %27 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) %1 #s(literal 0 binary64))
(fma.f64 %1 #s(literal -1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 2 binary64) %32)
(*.f64 %32 #s(literal 2 binary64))
(/.f64 %27 #s(literal 2 binary64))
(-.f64 E_var %36)
(/.f64 (*.f64 #s(literal -2 binary64) E_var) #s(literal -2 binary64))
(/.f64 (*.f64 E_var #s(literal -2 binary64)) #s(literal -2 binary64))
(*.f64 %42 #s(literal 1/2 binary64))
(/.f64 (neg.f64 %27) #s(literal -2 binary64))
(fma.f64 #s(literal -1 binary64) %46 E_var)
(fma.f64 #s(literal 1/2 binary64) %27 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %49 E_var)
(fma.f64 #s(literal -2 binary64) %46 E_var)
(fma.f64 %27 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 E_var #s(literal 1/2 binary64) %32)
(fma.f64 #s(literal 2 binary64) %32 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %55 E_var)
(fma.f64 #s(literal 1/2 binary64) E_var %32)
(fma.f64 %32 #s(literal 0 binary64) E_var)
(fma.f64 %32 #s(literal 2 binary64) #s(literal 0 binary64))
(+.f64 E_var %60)
(+.f64 E_var %62)
(+.f64 E_var %64)
(+.f64 %32 %32)
(-.f64 %32 %68)
(fma.f64 %42 #s(literal 1/2 binary64) #s(literal 0 binary64))
(*.f64 %71 #s(literal 4 binary64))
(/.f64 %74 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %27) #s(literal 4 binary64))
(-.f64 %32 %78)
(-.f64 %32 %80)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %27))
(/.f64 (/.f64 %27 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %27 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 E_var #s(literal 1 binary64) %60)
(fma.f64 E_var #s(literal 1 binary64) %62)
(fma.f64 #s(literal 1 binary64) E_var %60)
(fma.f64 #s(literal 1 binary64) E_var %62)
(fma.f64 %27 %92 E_var)
(fma.f64 %62 #s(literal 1/2 binary64) E_var)
(fma.f64 E_var #s(literal 1 binary64) %64)
(fma.f64 #s(literal 1 binary64) E_var %64)
(fma.f64 #s(literal 1 binary64) %32 %32)
(fma.f64 %32 #s(literal 1 binary64) %32)
(fma.f64 %71 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %64 #s(literal 2 binary64) E_var)
(fma.f64 %102 #s(literal 4 binary64) E_var)
(fma.f64 #s(literal -1 binary64) %1 %60)
(fma.f64 #s(literal -1 binary64) %1 %62)
(fma.f64 %1 #s(literal -1 binary64) %60)
(fma.f64 %1 #s(literal -1 binary64) %62)
(fma.f64 #s(literal -1 binary64) %1 %64)
(fma.f64 %1 #s(literal -1 binary64) %64)
(*.f64 %110 #s(literal 4 binary64))
(/.f64 (*.f64 %27 #s(literal -2 binary64)) %113)
(/.f64 (*.f64 %32 %101) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %27) %118)
(fma.f64 #s(literal 1/2 binary64) %27 %60)
(fma.f64 #s(literal 1/2 binary64) %27 %62)
(fma.f64 %27 #s(literal 1/2 binary64) %60)
(fma.f64 %27 #s(literal 1/2 binary64) %62)
(fma.f64 #s(literal 2 binary64) %32 %60)
(fma.f64 #s(literal 2 binary64) %32 %62)
(fma.f64 #s(literal 1/2 binary64) %27 %64)
(fma.f64 %27 #s(literal 1/2 binary64) %64)
(fma.f64 %27 %128 %32)
(fma.f64 %32 #s(literal 2 binary64) %60)
(fma.f64 %32 #s(literal 2 binary64) %62)
(fma.f64 %135 #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 0 binary64) %135 E_var)
(fma.f64 #s(literal 2 binary64) %32 %64)
(fma.f64 #s(literal 1/2 binary64) %32 %140)
(fma.f64 #s(literal 3/2 binary64) %32 %142)
(fma.f64 %32 #s(literal 2 binary64) %64)
(fma.f64 %32 #s(literal 1/2 binary64) %145)
(fma.f64 %32 #s(literal 3/2 binary64) %71)
(fma.f64 %142 #s(literal 2 binary64) %32)
(fma.f64 %110 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %42 #s(literal 1/2 binary64) %60)
(fma.f64 %42 #s(literal 1/2 binary64) %62)
(+.f64 %71 %145)
(+.f64 %145 %71)
(+.f64 %142 %140)
(+.f64 %140 %142)
(fma.f64 %42 #s(literal 1/2 binary64) %64)
(fma.f64 %71 #s(literal 4 binary64) %60)
(fma.f64 %71 #s(literal 4 binary64) %62)
(fma.f64 B %160 E_var)
(fma.f64 %134 %163 E_var)
(fma.f64 %159 %165 E_var)
(fma.f64 %167 #s(literal 0 binary64) E_var)
(fma.f64 #s(literal 0 binary64) %167 E_var)
(fma.f64 %170 %159 E_var)
(fma.f64 %162 %172 E_var)
(fma.f64 %174 %162 E_var)
(fma.f64 %176 %134 E_var)
(fma.f64 %178 B E_var)
(fma.f64 %71 #s(literal 4 binary64) %64)
(fma.f64 %162 %183 E_var)
(fma.f64 %176 %182 E_var)
(fma.f64 %186 %188 E_var)
(fma.f64 %190 %36 E_var)
(fma.f64 %192 %194 E_var)
(fma.f64 %187 %196 E_var)
(fma.f64 %198 %187 E_var)
(fma.f64 %200 %186 E_var)
(fma.f64 %202 %1 E_var)
(fma.f64 %204 %193 E_var)
(fma.f64 #s(literal 0 binary64) %207 E_var)
(fma.f64 %110 #s(literal 4 binary64) %60)
(fma.f64 %110 #s(literal 4 binary64) %62)
(fma.f64 #s(literal 0 binary64) %211 E_var)
(fma.f64 %211 #s(literal 0 binary64) E_var)
(fma.f64 %110 #s(literal 4 binary64) %64)
(fma.f64 #s(literal -1 binary64) %216 E_var)
(fma.f64 %215 %218 E_var)
(fma.f64 %220 %215 E_var)
(fma.f64 %222 #s(literal -1 binary64) E_var)
(fma.f64 #s(literal 1/2 binary64) %224 E_var)
(fma.f64 %207 %92 E_var)
(fma.f64 #s(literal 0 binary64) %227 E_var)
(fma.f64 #s(literal 0 binary64) %229 E_var)
(fma.f64 B %234 E_var)
(fma.f64 %170 %233 E_var)
tsfn_phi
B
(neg.f64 %186)
(*.f64 B #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) B)
(/.f64 B #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %186)
(*.f64 %186 #s(literal -1 binary64))
(fma.f64 B #s(literal 0 binary64) B)
(fma.f64 #s(literal 0 binary64) B B)
(+.f64 B %170)
(+.f64 B %165)
(+.f64 %170 B)
(+.f64 %165 B)
(*.f64 #s(literal 1/2 binary64) %249)
(*.f64 %249 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %252)
(*.f64 #s(literal -2 binary64) %254)
(*.f64 %252 #s(literal 2 binary64))
(*.f64 %254 #s(literal -2 binary64))
(/.f64 %249 #s(literal 2 binary64))
(+.f64 B %196)
(+.f64 B %198)
(/.f64 (*.f64 #s(literal -2 binary64) B) #s(literal -2 binary64))
(/.f64 (*.f64 B #s(literal -2 binary64)) #s(literal -2 binary64))
(*.f64 #s(literal -1/2 binary64) %265)
(*.f64 %267 #s(literal 2 binary64))
(*.f64 %269 #s(literal -1/2 binary64))
(*.f64 %271 #s(literal 1/2 binary64))
(/.f64 (neg.f64 %249) #s(literal -2 binary64))
(/.f64 %269 #s(literal -2 binary64))
(/.f64 %271 #s(literal 2 binary64))
(/.f64 %265 #s(literal -2 binary64))
(fma.f64 B #s(literal 1 binary64) %170)
(fma.f64 B #s(literal 1 binary64) %165)
(fma.f64 B #s(literal 1/2 binary64) %252)
(fma.f64 #s(literal 1 binary64) B %170)
(fma.f64 #s(literal 1 binary64) B %165)
(fma.f64 #s(literal 1/2 binary64) B %252)
(+.f64 %252 %252)
(fma.f64 B #s(literal 1 binary64) %196)
(fma.f64 B #s(literal 1 binary64) %198)
(fma.f64 #s(literal -1 binary64) %186 %170)
(fma.f64 #s(literal -1 binary64) %186 %165)
(fma.f64 #s(literal 1 binary64) B %196)
(fma.f64 #s(literal 1 binary64) B %198)
(fma.f64 #s(literal -1/2 binary64) %186 %252)
(fma.f64 %186 #s(literal -1 binary64) %170)
(fma.f64 %186 #s(literal -1 binary64) %165)
(/.f64 (*.f64 %249 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %249) #s(literal 4 binary64))
(fma.f64 #s(literal -1 binary64) %186 %196)
(fma.f64 #s(literal -1 binary64) %186 %198)
(fma.f64 %186 #s(literal -1 binary64) %196)
(fma.f64 %186 #s(literal -1 binary64) %198)
(fma.f64 %186 #s(literal -1/2 binary64) %267)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %249))
(/.f64 (/.f64 %249 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %249 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(+.f64 %267 %267)
(*.f64 %310 %311)
(fma.f64 #s(literal 1/2 binary64) %249 %170)
(fma.f64 #s(literal 1/2 binary64) %249 %165)
(fma.f64 %249 #s(literal 1/2 binary64) %170)
(fma.f64 %249 #s(literal 1/2 binary64) %165)
(fma.f64 #s(literal 1 binary64) %252 %252)
(fma.f64 #s(literal 2 binary64) %252 %170)
(fma.f64 #s(literal 2 binary64) %252 %165)
(fma.f64 #s(literal -2 binary64) %254 %170)
(fma.f64 #s(literal -2 binary64) %254 %165)
(fma.f64 %252 #s(literal 1 binary64) %252)
(fma.f64 %252 #s(literal 2 binary64) %170)
(fma.f64 %252 #s(literal 2 binary64) %165)
(fma.f64 %254 #s(literal -1 binary64) %252)
(fma.f64 %254 #s(literal -2 binary64) %170)
(fma.f64 %254 #s(literal -2 binary64) %165)
(fma.f64 #s(literal 1/2 binary64) %249 %196)
(fma.f64 #s(literal 1/2 binary64) %249 %198)
(fma.f64 %249 #s(literal 1/2 binary64) %196)
(fma.f64 %249 #s(literal 1/2 binary64) %198)
(fma.f64 #s(literal 2 binary64) %252 %196)
(fma.f64 #s(literal 2 binary64) %252 %198)
(fma.f64 #s(literal -2 binary64) %254 %196)
(fma.f64 #s(literal -2 binary64) %254 %198)
(fma.f64 #s(literal -1/2 binary64) %265 %170)
(fma.f64 #s(literal -1/2 binary64) %265 %165)
(fma.f64 %252 #s(literal 2 binary64) %196)
(fma.f64 %252 #s(literal 2 binary64) %198)
(fma.f64 %254 #s(literal -2 binary64) %196)
(fma.f64 %254 #s(literal -2 binary64) %198)
(fma.f64 %267 #s(literal 2 binary64) %170)
(fma.f64 %267 #s(literal 2 binary64) %165)
(fma.f64 %269 #s(literal -1/2 binary64) %170)
(fma.f64 %269 #s(literal -1/2 binary64) %165)
(fma.f64 %271 #s(literal 1/2 binary64) %170)
(fma.f64 %271 #s(literal 1/2 binary64) %165)
(*.f64 %348 #s(literal 4 binary64))
(/.f64 (*.f64 %101 %252) #s(literal 4 binary64))
(/.f64 (*.f64 %249 #s(literal -2 binary64)) %113)
(/.f64 (*.f64 #s(literal -2 binary64) %249) %118)
(fma.f64 #s(literal -1/2 binary64) %265 %196)
(fma.f64 #s(literal -1/2 binary64) %265 %198)
(fma.f64 %267 #s(literal 2 binary64) %196)
(fma.f64 %267 #s(literal 2 binary64) %198)
(fma.f64 %269 #s(literal -1/2 binary64) %196)
(fma.f64 %269 #s(literal -1/2 binary64) %198)
(fma.f64 %271 #s(literal 1/2 binary64) %196)
(fma.f64 %271 #s(literal 1/2 binary64) %198)
(fma.f64 %128 %249 %252)
(fma.f64 %310 %311 %170)
(fma.f64 %310 %311 %165)
(fma.f64 %310 %311 %196)
(fma.f64 %310 %311 %198)
(fma.f64 %348 #s(literal 4 binary64) %170)
(fma.f64 %348 #s(literal 4 binary64) %165)
(fma.f64 %348 #s(literal 4 binary64) %196)
(fma.f64 %348 #s(literal 4 binary64) %198)
#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 E_var #s(literal 0 binary64) #s(literal -1 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) E_var #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 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) %410)
(+.f64 #s(literal -1 binary64) %220)
(+.f64 #s(literal -1 binary64) %413)
(+.f64 #s(literal -1 binary64) %415)
(+.f64 #s(literal -1 binary64) %218)
(+.f64 %220 #s(literal -1 binary64))
(+.f64 %218 #s(literal -1 binary64))
(*.f64 %420 #s(literal 4 binary64))
(/.f64 #s(literal 4 binary64) %113)
(/.f64 #s(literal 4 binary64) %118)
(/.f64 %113 #s(literal 4 binary64))
(/.f64 %118 #s(literal 4 binary64))
(*.f64 #s(literal 1/2 binary64) %426)
(*.f64 %426 #s(literal 1/2 binary64))
(*.f64 %429 #s(literal 2 binary64))
(*.f64 %431 #s(literal 1/2 binary64))
(/.f64 %426 #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) %46 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %49 #s(literal -1 binary64))
(fma.f64 #s(literal -2 binary64) %46 #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %410)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %220)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %413)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %415)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %218)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %410)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %220)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %413)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %415)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %218)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %410)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %220)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %413)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %415)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %218)
(fma.f64 #s(literal 2 binary64) %55 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %410)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %220)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %413)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %415)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %218)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64) %462)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %410)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %220)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %413)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %415)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %218)
(fma.f64 #s(literal 3/2 binary64) #s(literal -1/2 binary64) %469)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %410)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %220)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %413)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %415)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %218)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64) %476)
(fma.f64 #s(literal -1/2 binary64) #s(literal 3/2 binary64) %420)
(fma.f64 %32 #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 %128 #s(literal -2 binary64) #s(literal -1/2 binary64))
(fma.f64 %469 #s(literal 2 binary64) #s(literal -1/2 binary64))
(fma.f64 %420 #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 %469 %462)
(+.f64 %462 %469)
(+.f64 %420 %476)
(+.f64 %476 %420)
(/.f64 %487 #s(literal 4 binary64))
(fma.f64 #s(literal 1/2 binary64) %426 #s(literal 0 binary64))
(fma.f64 %426 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %429 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %431 #s(literal 1/2 binary64) #s(literal 0 binary64))
(/.f64 %101 (*.f64 #s(literal 4 binary64) #s(literal -2 binary64)))
(/.f64 (*.f64 %101 #s(literal -1/2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1/2 binary64) %101) #s(literal 4 binary64))
(*.f64 %499 #s(literal 4 binary64))
(+.f64 %501 %502)
(+.f64 %502 %501)
(*.f64 %310 %505)
(*.f64 %507 %508)
(fma.f64 %27 %92 #s(literal -1 binary64))
(fma.f64 %62 #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 %420 #s(literal 4 binary64) %410)
(fma.f64 %420 #s(literal 4 binary64) %220)
(fma.f64 %420 #s(literal 4 binary64) %413)
(fma.f64 %420 #s(literal 4 binary64) %415)
(fma.f64 %420 #s(literal 4 binary64) %218)
(fma.f64 %64 #s(literal 2 binary64) #s(literal -1 binary64))
(fma.f64 %102 #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 %499 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %426 %410)
(fma.f64 #s(literal 1/2 binary64) %426 %220)
(fma.f64 #s(literal 1/2 binary64) %426 %413)
(fma.f64 #s(literal 1/2 binary64) %426 %415)
(fma.f64 #s(literal 1/2 binary64) %426 %218)
(fma.f64 %426 #s(literal 1/2 binary64) %410)
(fma.f64 %426 #s(literal 1/2 binary64) %220)
(fma.f64 %426 #s(literal 1/2 binary64) %413)
(fma.f64 %426 #s(literal 1/2 binary64) %415)
(fma.f64 %426 #s(literal 1/2 binary64) %218)
(fma.f64 %429 #s(literal 2 binary64) %410)
(fma.f64 %429 #s(literal 2 binary64) %220)
(fma.f64 %429 #s(literal 2 binary64) %413)
(fma.f64 %429 #s(literal 2 binary64) %415)
(fma.f64 %429 #s(literal 2 binary64) %218)
(fma.f64 %431 #s(literal 1/2 binary64) %410)
(fma.f64 %431 #s(literal 1/2 binary64) %220)
(fma.f64 %431 #s(literal 1/2 binary64) %413)
(fma.f64 %431 #s(literal 1/2 binary64) %415)
(fma.f64 %431 #s(literal 1/2 binary64) %218)
(/.f64 (+.f64 #s(literal 4 binary64) %413) %118)
(fma.f64 %310 %505 #s(literal 0 binary64))
(fma.f64 %507 %508 #s(literal 0 binary64))
(fma.f64 %135 #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) %135 #s(literal -1 binary64))
(fma.f64 %499 #s(literal 4 binary64) %410)
(fma.f64 %499 #s(literal 4 binary64) %220)
(fma.f64 %499 #s(literal 4 binary64) %413)
(fma.f64 %499 #s(literal 4 binary64) %415)
(fma.f64 %499 #s(literal 4 binary64) %218)
(fma.f64 %310 %505 %410)
(fma.f64 %310 %505 %220)
(fma.f64 %310 %505 %413)
(fma.f64 %310 %505 %415)
(fma.f64 %310 %505 %218)
(fma.f64 %507 %508 %410)
(fma.f64 %507 %508 %220)
(fma.f64 %507 %508 %413)
(fma.f64 %507 %508 %415)
(fma.f64 %507 %508 %218)
(pow.f64 #s(literal -1 binary64) #s(literal 3 binary64))
(fma.f64 B %160 #s(literal -1 binary64))
(fma.f64 %134 %163 #s(literal -1 binary64))
(fma.f64 %159 %165 #s(literal -1 binary64))
(fma.f64 %167 #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) %167 #s(literal -1 binary64))
(fma.f64 %170 %159 #s(literal -1 binary64))
(fma.f64 %162 %172 #s(literal -1 binary64))
(fma.f64 %174 %162 #s(literal -1 binary64))
(fma.f64 %176 %134 #s(literal -1 binary64))
(fma.f64 %178 B #s(literal -1 binary64))
(fma.f64 %162 %183 #s(literal -1 binary64))
(fma.f64 %176 %182 #s(literal -1 binary64))
(fma.f64 %186 %188 #s(literal -1 binary64))
(fma.f64 %190 %36 #s(literal -1 binary64))
(fma.f64 %192 %194 #s(literal -1 binary64))
(fma.f64 %187 %196 #s(literal -1 binary64))
(fma.f64 %198 %187 #s(literal -1 binary64))
(fma.f64 %200 %186 #s(literal -1 binary64))
(fma.f64 %202 %1 #s(literal -1 binary64))
(fma.f64 %204 %193 #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) %207 #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) %211 #s(literal -1 binary64))
(fma.f64 %211 #s(literal 0 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) %216 #s(literal -1 binary64))
(fma.f64 %215 %218 #s(literal -1 binary64))
(fma.f64 %220 %215 #s(literal -1 binary64))
(fma.f64 %222 #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %224 #s(literal -1 binary64))
(fma.f64 %207 %92 #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) %227 #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) %229 #s(literal -1 binary64))
(fma.f64 B %234 #s(literal -1 binary64))
(fma.f64 %170 %233 #s(literal -1 binary64))
#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 #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 E_var #s(literal 0 binary64) #s(literal 1 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) E_var #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/2 binary64) %639)
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) #s(literal 0 binary64)))
(+.f64 #s(literal 1 binary64) %55)
(+.f64 #s(literal 1 binary64) %220)
(+.f64 #s(literal 1 binary64) %92)
(+.f64 #s(literal 1 binary64) %218)
(-.f64 #s(literal 1 binary64) %55)
(*.f64 #s(literal 4 binary64) %128)
(*.f64 #s(literal 4 binary64) %649)
(*.f64 %128 #s(literal 4 binary64))
(*.f64 %649 #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) %426)
(*.f64 #s(literal -1/2 binary64) %431)
(*.f64 %426 #s(literal -1/2 binary64))
(*.f64 %431 #s(literal -1/2 binary64))
(*.f64 %665 %666)
(*.f64 %666 %665)
(/.f64 %310 #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) %639)
(fma.f64 #s(literal -1 binary64) %46 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %639)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %639)
(fma.f64 #s(literal 1/2 binary64) %49 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %46 #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %639)
(/.f64 %665 %665)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %55)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %220)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %92)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %218)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %55)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %220)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %92)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %218)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %55)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %220)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %92)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %218)
(fma.f64 #s(literal 2 binary64) %55 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %128 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %55)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %220)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %92)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %218)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %698)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %700)
(fma.f64 #s(literal 1/2 binary64) #s(literal 3/2 binary64) %128)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %55)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %220)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %92)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %218)
(fma.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64) %128)
(fma.f64 #s(literal 4 binary64) %128 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %649 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %55)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %220)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %92)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %218)
(fma.f64 %32 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 %128 #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 %128 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %649 #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 %128 %698)
(+.f64 %128 %700)
(+.f64 %698 %128)
(+.f64 %700 %128)
(fma.f64 #s(literal 2 binary64) %507 #s(literal 1/2 binary64))
(fma.f64 #s(literal 2 binary64) %723 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) %426 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %431 #s(literal 0 binary64))
(fma.f64 %426 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %507 #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 %431 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %723 #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 %665 %666 #s(literal 0 binary64))
(fma.f64 %666 %665 #s(literal 0 binary64))
(/.f64 %101 %733)
(/.f64 (*.f64 %101 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %737 #s(literal 4 binary64))
(/.f64 %113 %113)
(/.f64 %113 %118)
(/.f64 %118 %113)
(/.f64 %118 %118)
(+.f64 %507 %743)
(+.f64 %743 %507)
(*.f64 %310 %507)
(*.f64 %310 %723)
(*.f64 %426 %429)
(*.f64 %507 %310)
(*.f64 %507 %750)
(*.f64 %429 %426)
(fma.f64 #s(literal 2 binary64) %128 %639)
(fma.f64 %27 %92 #s(literal 1 binary64))
(fma.f64 %128 #s(literal 2 binary64) %639)
(fma.f64 %62 #s(literal 1/2 binary64) #s(literal 1 binary64))
(exp.f64 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %128 %55)
(fma.f64 #s(literal 4 binary64) %128 %220)
(fma.f64 #s(literal 4 binary64) %128 %92)
(fma.f64 #s(literal 4 binary64) %128 %218)
(fma.f64 #s(literal 4 binary64) %649 %55)
(fma.f64 #s(literal 4 binary64) %649 %220)
(fma.f64 #s(literal 4 binary64) %649 %92)
(fma.f64 #s(literal 4 binary64) %649 %218)
(fma.f64 %128 #s(literal 4 binary64) %55)
(fma.f64 %128 #s(literal 4 binary64) %220)
(fma.f64 %128 #s(literal 4 binary64) %92)
(fma.f64 %128 #s(literal 4 binary64) %218)
(fma.f64 %649 #s(literal 4 binary64) %55)
(fma.f64 %649 #s(literal 4 binary64) %220)
(fma.f64 %649 #s(literal 4 binary64) %92)
(fma.f64 %649 #s(literal 4 binary64) %218)
(fma.f64 %64 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %507 %639)
(fma.f64 #s(literal 2 binary64) %723 %639)
(fma.f64 %507 #s(literal 2 binary64) %639)
(fma.f64 %723 #s(literal 2 binary64) %639)
(fma.f64 %102 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 %737 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %781 #s(literal 4 binary64) #s(literal 1/2 binary64))
(/.f64 %487 %118)
(fma.f64 #s(literal -1/2 binary64) %426 %55)
(fma.f64 #s(literal -1/2 binary64) %426 %220)
(fma.f64 #s(literal -1/2 binary64) %426 %92)
(fma.f64 #s(literal -1/2 binary64) %426 %218)
(fma.f64 #s(literal -1/2 binary64) %431 %55)
(fma.f64 #s(literal -1/2 binary64) %431 %220)
(fma.f64 #s(literal -1/2 binary64) %431 %92)
(fma.f64 #s(literal -1/2 binary64) %431 %218)
(fma.f64 %426 #s(literal -1/2 binary64) %55)
(fma.f64 %426 #s(literal -1/2 binary64) %220)
(fma.f64 %426 #s(literal -1/2 binary64) %92)
(fma.f64 %426 #s(literal -1/2 binary64) %218)
(fma.f64 %431 #s(literal -1/2 binary64) %55)
(fma.f64 %431 #s(literal -1/2 binary64) %220)
(fma.f64 %431 #s(literal -1/2 binary64) %92)
(fma.f64 %431 #s(literal -1/2 binary64) %218)
(fma.f64 %665 %666 %55)
(fma.f64 %665 %666 %220)
(fma.f64 %665 %666 %92)
(fma.f64 %665 %666 %218)
(fma.f64 %666 %665 %55)
(fma.f64 %666 %665 %220)
(fma.f64 %666 %665 %92)
(fma.f64 %666 %665 %218)
(/.f64 (*.f64 #s(literal 1 binary64) %101) %101)
(/.f64 (+.f64 #s(literal 0 binary64) %113) %113)
(/.f64 (+.f64 #s(literal 0 binary64) %118) %113)
(/.f64 (*.f64 %101 #s(literal 1 binary64)) %733)
(fma.f64 %310 %507 #s(literal 0 binary64))
(fma.f64 %310 %817 #s(literal 1/2 binary64))
(fma.f64 %310 %723 #s(literal 0 binary64))
(fma.f64 %426 %429 #s(literal 0 binary64))
(fma.f64 %507 %310 #s(literal 0 binary64))
(fma.f64 %507 %750 #s(literal 0 binary64))
(fma.f64 %429 %426 #s(literal 0 binary64))
(fma.f64 %431 %505 #s(literal 1/2 binary64))
(cosh.f64 #s(literal 0 binary64))
(fma.f64 %135 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %135 #s(literal 1 binary64))
(fma.f64 %781 #s(literal 4 binary64) %639)
(fma.f64 %737 #s(literal 4 binary64) %55)
(fma.f64 %737 #s(literal 4 binary64) %220)
(fma.f64 %737 #s(literal 4 binary64) %92)
(fma.f64 %737 #s(literal 4 binary64) %218)
(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) %413) %118)
(fma.f64 %310 %817 %639)
(fma.f64 %431 %505 %639)
(/.f64 (-.f64 %118 %413) %118)
(fma.f64 %310 %507 %55)
(fma.f64 %310 %507 %220)
(fma.f64 %310 %507 %92)
(fma.f64 %310 %507 %218)
(fma.f64 %310 %723 %55)
(fma.f64 %310 %723 %220)
(fma.f64 %310 %723 %92)
(fma.f64 %310 %723 %218)
(fma.f64 %426 %429 %55)
(fma.f64 %426 %429 %220)
(fma.f64 %426 %429 %92)
(fma.f64 %426 %429 %218)
(fma.f64 %507 %310 %55)
(fma.f64 %507 %310 %220)
(fma.f64 %507 %310 %92)
(fma.f64 %507 %310 %218)
(fma.f64 %507 %750 %55)
(fma.f64 %507 %750 %220)
(fma.f64 %507 %750 %92)
(fma.f64 %507 %750 %218)
(fma.f64 %429 %426 %55)
(fma.f64 %429 %426 %220)
(fma.f64 %429 %426 %92)
(fma.f64 %429 %426 %218)
(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 B %160 #s(literal 1 binary64))
(fma.f64 %134 %163 #s(literal 1 binary64))
(fma.f64 %159 %165 #s(literal 1 binary64))
(fma.f64 %167 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %167 #s(literal 1 binary64))
(fma.f64 %170 %159 #s(literal 1 binary64))
(fma.f64 %162 %172 #s(literal 1 binary64))
(fma.f64 %174 %162 #s(literal 1 binary64))
(fma.f64 %176 %134 #s(literal 1 binary64))
(fma.f64 %178 B #s(literal 1 binary64))
(fma.f64 %162 %183 #s(literal 1 binary64))
(fma.f64 %176 %182 #s(literal 1 binary64))
(fma.f64 %186 %188 #s(literal 1 binary64))
(fma.f64 %190 %36 #s(literal 1 binary64))
(fma.f64 %192 %194 #s(literal 1 binary64))
(fma.f64 %187 %196 #s(literal 1 binary64))
(fma.f64 %198 %187 #s(literal 1 binary64))
(fma.f64 %200 %186 #s(literal 1 binary64))
(fma.f64 %202 %1 #s(literal 1 binary64))
(fma.f64 %204 %193 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %207 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %211 #s(literal 1 binary64))
(fma.f64 %211 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %216 #s(literal 1 binary64))
(fma.f64 %215 %218 #s(literal 1 binary64))
(fma.f64 %220 %215 #s(literal 1 binary64))
(fma.f64 %222 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %224 #s(literal 1 binary64))
(fma.f64 %207 %92 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %227 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %229 #s(literal 1 binary64))
(/.f64 %901 %901)
(fma.f64 B %234 #s(literal 1 binary64))
(fma.f64 %170 %233 #s(literal 1 binary64))
(-.f64 (*.f64 %905 %905) (*.f64 %907 %907))
%911
%134
(neg.f64 %193)
(*.f64 #s(literal 1 binary64) %134)
(*.f64 %134 #s(literal 1 binary64))
(/.f64 %134 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %193)
(*.f64 %193 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) %918)
(*.f64 #s(literal 1/2 binary64) %920)
(*.f64 %918 #s(literal 2 binary64))
(*.f64 %923 #s(literal 1/2 binary64))
(/.f64 (*.f64 %134 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %923 #s(literal 2 binary64))
(/.f64 %920 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %134) #s(literal -2 binary64))
(*.f64 %931 #s(literal 2 binary64))
(*.f64 %933 #s(literal -1/2 binary64))
(*.f64 %935 #s(literal 1/2 binary64))
(*.f64 %937 #s(literal -2 binary64))
(log.f64 (/.f64 #s(literal 1 binary64) %939))
(/.f64 %933 #s(literal -2 binary64))
(/.f64 %935 #s(literal 2 binary64))
(fma.f64 %134 #s(literal 0 binary64) %134)
(fma.f64 #s(literal 0 binary64) %134 %134)
(+.f64 %134 %172)
(+.f64 %134 %174)
(+.f64 %172 %134)
(+.f64 %174 %134)
(+.f64 %134 %194)
(+.f64 %134 %951)
(fma.f64 #s(literal 1 binary64) %134 %172)
(fma.f64 #s(literal 1 binary64) %134 %174)
(fma.f64 %134 #s(literal 1 binary64) %172)
(fma.f64 %134 #s(literal 1 binary64) %174)
(fma.f64 %134 #s(literal 1/2 binary64) %918)
(fma.f64 #s(literal 1/2 binary64) %134 %918)
(+.f64 %918 %918)
(fma.f64 #s(literal -1 binary64) %193 %172)
(fma.f64 #s(literal -1 binary64) %193 %174)
(fma.f64 #s(literal 1 binary64) %134 %194)
(fma.f64 #s(literal 1 binary64) %134 %951)
(fma.f64 %134 #s(literal 1 binary64) %194)
(fma.f64 %134 #s(literal 1 binary64) %951)
(fma.f64 %193 #s(literal -1 binary64) %172)
(fma.f64 %193 #s(literal -1 binary64) %174)
(fma.f64 #s(literal -1 binary64) %193 %194)
(fma.f64 #s(literal -1 binary64) %193 %951)
(fma.f64 #s(literal -1/2 binary64) %193 %970)
(fma.f64 %193 #s(literal -1 binary64) %194)
(fma.f64 %193 #s(literal -1 binary64) %951)
(fma.f64 %193 #s(literal -1/2 binary64) %931)
(+.f64 %931 %931)
(+.f64 %970 %970)
(log.f64 (pow.f64 tsfn_phi #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) %918 %918)
(fma.f64 #s(literal 2 binary64) %918 %172)
(fma.f64 #s(literal 2 binary64) %918 %174)
(fma.f64 #s(literal 1/2 binary64) %920 %172)
(fma.f64 #s(literal 1/2 binary64) %920 %174)
(fma.f64 %918 #s(literal 2 binary64) %172)
(fma.f64 %918 #s(literal 2 binary64) %174)
(fma.f64 %923 #s(literal 1/2 binary64) %172)
(fma.f64 %923 #s(literal 1/2 binary64) %174)
(fma.f64 #s(literal 2 binary64) %918 %194)
(fma.f64 #s(literal 2 binary64) %918 %951)
(fma.f64 #s(literal 1/2 binary64) %920 %194)
(fma.f64 #s(literal 1/2 binary64) %920 %951)
(fma.f64 %918 #s(literal 2 binary64) %194)
(fma.f64 %918 #s(literal 2 binary64) %951)
(fma.f64 %923 #s(literal 1/2 binary64) %194)
(fma.f64 %923 #s(literal 1/2 binary64) %951)
(fma.f64 %931 #s(literal 2 binary64) %172)
(fma.f64 %931 #s(literal 2 binary64) %174)
(fma.f64 %933 #s(literal -1/2 binary64) %172)
(fma.f64 %933 #s(literal -1/2 binary64) %174)
(fma.f64 %935 #s(literal 1/2 binary64) %172)
(fma.f64 %935 #s(literal 1/2 binary64) %174)
(fma.f64 %937 #s(literal -2 binary64) %172)
(fma.f64 %937 #s(literal -2 binary64) %174)
(fma.f64 %931 #s(literal 2 binary64) %194)
(fma.f64 %931 #s(literal 2 binary64) %951)
(fma.f64 %933 #s(literal -1/2 binary64) %194)
(fma.f64 %933 #s(literal -1/2 binary64) %951)
(fma.f64 %935 #s(literal 1/2 binary64) %194)
(fma.f64 %935 #s(literal 1/2 binary64) %951)
(fma.f64 %937 #s(literal -2 binary64) %194)
(fma.f64 %937 #s(literal -2 binary64) %951)
%135
(*.f64 %134 B)
(*.f64 B %182)
(*.f64 %182 B)
(*.f64 %186 %193)
(*.f64 %193 %186)
(neg.f64 %190)
(fma.f64 B %134 #s(literal 0 binary64))
(fma.f64 %134 B #s(literal 0 binary64))
(+.f64 %135 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %135)
(*.f64 B %1023)
(*.f64 %186 %1022)
(fma.f64 B %182 #s(literal 0 binary64))
(fma.f64 %182 B #s(literal 0 binary64))
(*.f64 #s(literal 1 binary64) %135)
(*.f64 %135 #s(literal 1 binary64))
(-.f64 #s(literal 0 binary64) %190)
(/.f64 %135 #s(literal 1 binary64))
(fma.f64 %186 %193 #s(literal 0 binary64))
(fma.f64 %193 %186 #s(literal 0 binary64))
(*.f64 B %1034)
(*.f64 B %1036)
(*.f64 #s(literal -1 binary64) %190)
(*.f64 %190 #s(literal -1 binary64))
(*.f64 %1034 B)
(*.f64 %1036 B)
(neg.f64 %1042)
(fma.f64 B %1023 #s(literal 0 binary64))
(fma.f64 %186 %1022 #s(literal 0 binary64))
(*.f64 %186 %1046)
(*.f64 %1046 %186)
(fma.f64 E_var #s(literal 0 binary64) %135)
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) %135)
(fma.f64 #s(literal 1 binary64) %135 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %135)
(fma.f64 %135 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) E_var %135)
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) %135)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %135)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %135)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %135)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %135)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %135)
(-.f64 #s(literal 1 binary64) %1061)
(+.f64 %220 %135)
(+.f64 %218 %135)
(*.f64 #s(literal 1/2 binary64) %1065)
(*.f64 #s(literal 1/2 binary64) %1067)
(*.f64 %1067 #s(literal 1/2 binary64))
(*.f64 %918 %249)
(-.f64 #s(literal 1 binary64) %1071)
(fma.f64 B %1034 #s(literal 0 binary64))
(fma.f64 B %1036 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %190 #s(literal 0 binary64))
(fma.f64 %190 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %1034 B #s(literal 0 binary64))
(fma.f64 %1036 B #s(literal 0 binary64))
(*.f64 #s(literal 2 binary64) %1079)
(*.f64 #s(literal -1/2 binary64) %1081)
(*.f64 %1079 #s(literal 2 binary64))
(*.f64 %923 %252)
(/.f64 %1065 #s(literal 2 binary64))
(/.f64 %1067 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %1087)
(*.f64 %1089 %249)
(/.f64 %1081 #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %135) #s(literal -2 binary64))
(fma.f64 %186 %1046 #s(literal 0 binary64))
(fma.f64 %1046 %186 #s(literal 0 binary64))
(*.f64 #s(literal 2 binary64) %1096)
(*.f64 #s(literal 1/2 binary64) %1098)
(*.f64 #s(literal -2 binary64) %1100)
(*.f64 %1102 %252)
(/.f64 %1087 #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) %46 %135)
(fma.f64 #s(literal 1/2 binary64) %49 %135)
(fma.f64 #s(literal 1/2 binary64) %1065 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %1067 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %46 %135)
(fma.f64 %1067 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %918 %249 #s(literal 0 binary64))
(/.f64 %1098 #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %55 %135)
(fma.f64 #s(literal 2 binary64) %1079 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %1081 #s(literal 0 binary64))
(fma.f64 %32 #s(literal 0 binary64) %135)
(fma.f64 %1079 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %923 %252 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %1087 #s(literal 0 binary64))
(fma.f64 %1089 %249 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %1096 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %1098 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %1100 #s(literal 0 binary64))
(fma.f64 %1102 %252 #s(literal 0 binary64))
(fma.f64 %27 %92 %135)
(fma.f64 %62 #s(literal 1/2 binary64) %135)
(fma.f64 %64 #s(literal 2 binary64) %135)
(fma.f64 %102 #s(literal 4 binary64) %135)
(log.f64 %1129)
(fma.f64 %135 #s(literal 0 binary64) %135)
(fma.f64 #s(literal 0 binary64) %135 %135)
(fma.f64 B %160 %135)
(fma.f64 %134 %163 %135)
(fma.f64 %135 #s(literal 1/2 binary64) %1079)
(fma.f64 %159 %165 %135)
(fma.f64 %167 #s(literal 0 binary64) %135)
(fma.f64 #s(literal 0 binary64) %167 %135)
(fma.f64 #s(literal 1/2 binary64) %135 %1079)
(fma.f64 %170 %159 %135)
(fma.f64 %252 %134 %1079)
(fma.f64 %162 %172 %135)
(fma.f64 %918 B %1079)
(fma.f64 %174 %162 %135)
(fma.f64 %176 %134 %135)
(fma.f64 %178 B %135)
(+.f64 #s(literal 0 binary64) %1148)
(-.f64 %1148 #s(literal 0 binary64))
(+.f64 %1079 %1079)
(*.f64 #s(literal 1 binary64) %1148)
(fma.f64 %252 %182 %1079)
(fma.f64 %254 %193 %1079)
(fma.f64 %162 %183 %135)
(fma.f64 %176 %182 %135)
(fma.f64 %1157 B %1079)
(log.f64 (pow.f64 %939 %186))
(fma.f64 %186 %188 %135)
(fma.f64 %190 %36 %135)
(fma.f64 %192 %194 %135)
(fma.f64 %187 %196 %135)
(fma.f64 %198 %187 %135)
(fma.f64 %200 %186 %135)
(fma.f64 %202 %1 %135)
(fma.f64 %204 %193 %135)
(fma.f64 %1169 %186 %1079)
(fma.f64 #s(literal 0 binary64) %207 %135)
(fma.f64 E_var #s(literal 0 binary64) %1148)
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %1148)
(fma.f64 #s(literal 1 binary64) %1148 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) E_var %1148)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %1148)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %1148)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %1148)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %1148)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %1148)
(fma.f64 #s(literal 1 binary64) %1079 %1079)
(fma.f64 #s(literal 0 binary64) %211 %135)
(fma.f64 %211 #s(literal 0 binary64) %135)
(fma.f64 #s(literal -1 binary64) %216 %135)
(fma.f64 %215 %218 %135)
(fma.f64 %220 %215 %135)
(fma.f64 %222 #s(literal -1 binary64) %135)
(fma.f64 #s(literal -1 binary64) %46 %1148)
(fma.f64 #s(literal 1/2 binary64) %49 %1148)
(fma.f64 #s(literal -2 binary64) %46 %1148)
(fma.f64 #s(literal 1/2 binary64) %224 %135)
(fma.f64 %207 %92 %135)
(fma.f64 #s(literal 0 binary64) %227 %135)
(fma.f64 #s(literal 2 binary64) %55 %1148)
(fma.f64 %32 #s(literal 0 binary64) %1148)
(fma.f64 #s(literal 0 binary64) %229 %135)
(fma.f64 %27 %92 %1148)
(fma.f64 %62 #s(literal 1/2 binary64) %1148)
(fma.f64 %64 #s(literal 2 binary64) %1148)
(fma.f64 %102 #s(literal 4 binary64) %1148)
(fma.f64 %135 #s(literal 0 binary64) %1148)
(fma.f64 #s(literal 0 binary64) %135 %1148)
(+.f64 (neg.f64 %1203) (neg.f64 %1207))
(-.f64 (-.f64 #s(literal 0 binary64) %1203) %1207)
(fma.f64 B %160 %1148)
(fma.f64 B %234 %135)
(fma.f64 %134 %163 %1148)
(fma.f64 %159 %165 %1148)
(fma.f64 %167 #s(literal 0 binary64) %1148)
(fma.f64 #s(literal 0 binary64) %167 %1148)
(fma.f64 %170 %159 %1148)
(fma.f64 %170 %233 %135)
(fma.f64 %162 %172 %1148)
(fma.f64 %174 %162 %1148)
(fma.f64 %176 %134 %1148)
(fma.f64 %178 B %1148)
(fma.f64 #s(literal -1 binary64) %1203 %1224)
(fma.f64 %1203 #s(literal -1 binary64) %1226)
(fma.f64 %162 %183 %1148)
(fma.f64 %176 %182 %1148)
(+.f64 (*.f64 %1203 #s(literal -1 binary64)) %1226)
(+.f64 (*.f64 #s(literal -1 binary64) %1203) %1224)
(fma.f64 %186 %188 %1148)
(fma.f64 %190 %36 %1148)
(fma.f64 %192 %194 %1148)
(fma.f64 %187 %196 %1148)
(fma.f64 %198 %187 %1148)
(fma.f64 %200 %186 %1148)
(fma.f64 %202 %1 %1148)
(fma.f64 %204 %193 %1148)
(fma.f64 #s(literal 0 binary64) %207 %1148)
(fma.f64 #s(literal 0 binary64) %211 %1148)
(fma.f64 %211 #s(literal 0 binary64) %1148)
(fma.f64 #s(literal -1 binary64) %216 %1148)
(fma.f64 %215 %218 %1148)
(fma.f64 %220 %215 %1148)
(fma.f64 %222 #s(literal -1 binary64) %1148)
(fma.f64 #s(literal 1/2 binary64) %224 %1148)
(fma.f64 %207 %92 %1148)
(fma.f64 #s(literal 0 binary64) %227 %1148)
(fma.f64 #s(literal 0 binary64) %229 %1148)
(fma.f64 B %234 %1148)
(fma.f64 %170 %233 %1148)
(fma.f64 B %134 #s(literal 1 binary64))
%1256
(+.f64 #s(literal 1 binary64) %135)
(+.f64 %135 #s(literal 1 binary64))
(-.f64 %135 #s(literal -1 binary64))
(fma.f64 B %182 #s(literal 1 binary64))
(fma.f64 %182 B #s(literal 1 binary64))
(neg.f64 %1262)
(-.f64 #s(literal 1 binary64) %190)
(fma.f64 %186 %193 #s(literal 1 binary64))
(fma.f64 %193 %186 #s(literal 1 binary64))
(+.f64 %1256 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %1256)
(+.f64 #s(literal 1/2 binary64) %1269)
(+.f64 %1269 #s(literal 1/2 binary64))
(-.f64 %1256 #s(literal 0 binary64))
(-.f64 %1269 #s(literal -1/2 binary64))
(fma.f64 B %1023 #s(literal 1 binary64))
(fma.f64 %186 %1022 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %135)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %135)
(fma.f64 #s(literal 1 binary64) %135 #s(literal 1 binary64))
(fma.f64 %135 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %135)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %135)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %135)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %135)
(-.f64 #s(literal 0 binary64) %1262)
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %135))
(*.f64 #s(literal -1 binary64) %1262)
(-.f64 #s(literal 1/2 binary64) (fma.f64 %186 %134 #s(literal -1/2 binary64)))
(/.f64 %1256 #s(literal 1 binary64))
(fma.f64 B %1034 #s(literal 1 binary64))
(fma.f64 B %1036 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %190 #s(literal 1 binary64))
(fma.f64 %190 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 %1034 B #s(literal 1 binary64))
(fma.f64 %1036 B #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) %1042)
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %190))
(fma.f64 %186 %1046 #s(literal 1 binary64))
(fma.f64 %1046 %186 #s(literal 1 binary64))
(fma.f64 E_var #s(literal 0 binary64) %1256)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1269)
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %1256)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1269)
(fma.f64 #s(literal 0 binary64) E_var %1256)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %1256)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %1256)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %1256)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %1256)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %1256)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1269)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %1269)
(+.f64 #s(literal 1/2 binary64) %1314)
(-.f64 (+.f64 %1256 #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %1262 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %1065 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %1067 #s(literal 1 binary64))
(fma.f64 %1067 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %918 %249 #s(literal 1 binary64))
(*.f64 %1323 #s(literal 1/2 binary64))
(fma.f64 #s(literal 2 binary64) %1079 #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %128 %135)
(fma.f64 #s(literal 4 binary64) %649 %135)
(fma.f64 #s(literal -1/2 binary64) %1081 #s(literal 1 binary64))
(fma.f64 %128 #s(literal 4 binary64) %135)
(fma.f64 %649 #s(literal 4 binary64) %135)
(fma.f64 %1079 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %923 %252 #s(literal 1 binary64))
(/.f64 %1323 #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) %1087 #s(literal 1 binary64))
(fma.f64 %1089 %249 #s(literal 1 binary64))
(/.f64 %1336 #s(literal -2 binary64))
(fma.f64 #s(literal -1/2 binary64) %426 %135)
(fma.f64 #s(literal -1/2 binary64) %431 %135)
(fma.f64 %426 #s(literal -1/2 binary64) %135)
(fma.f64 %431 #s(literal -1/2 binary64) %135)
(fma.f64 %665 %666 %135)
(fma.f64 %666 %665 %135)
(fma.f64 #s(literal 2 binary64) %1096 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %1098 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %1100 #s(literal 1 binary64))
(fma.f64 %1102 %252 #s(literal 1 binary64))
(/.f64 (neg.f64 %1323) #s(literal -2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1314)
(fma.f64 #s(literal -1 binary64) %46 %1256)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1314)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1314)
(fma.f64 #s(literal 1/2 binary64) %49 %1256)
(fma.f64 #s(literal -2 binary64) %46 %1256)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %1314)
(fma.f64 %1323 #s(literal 1/2 binary64) #s(literal 0 binary64))
(/.f64 (neg.f64 %1336) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %55 %1256)
(fma.f64 #s(literal 2 binary64) %128 %1269)
(fma.f64 %32 #s(literal 0 binary64) %1256)
(fma.f64 %128 #s(literal 2 binary64) %1269)
(/.f64 (fma.f64 %1269 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %507 %1269)
(fma.f64 #s(literal 2 binary64) %723 %1269)
(fma.f64 %507 #s(literal 2 binary64) %1269)
(fma.f64 %723 #s(literal 2 binary64) %1269)
(fma.f64 %737 #s(literal 4 binary64) %135)
(*.f64 %1371 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1323))
(/.f64 (/.f64 %1323 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %1323 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 %310 %507 %135)
(fma.f64 %310 %723 %135)
(fma.f64 %426 %429 %135)
(fma.f64 %507 %310 %135)
(fma.f64 %507 %750 %135)
(fma.f64 %429 %426 %135)
(fma.f64 #s(literal 2 binary64) %128 %1314)
(fma.f64 %27 %92 %1256)
(fma.f64 %128 #s(literal 2 binary64) %1314)
(fma.f64 %62 #s(literal 1/2 binary64) %1256)
(fma.f64 %64 #s(literal 2 binary64) %1256)
(/.f64 (fma.f64 %1323 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(fma.f64 #s(literal 2 binary64) %507 %1314)
(fma.f64 #s(literal 2 binary64) %723 %1314)
(fma.f64 %507 #s(literal 2 binary64) %1314)
(fma.f64 %723 #s(literal 2 binary64) %1314)
(fma.f64 %102 #s(literal 4 binary64) %1256)
(fma.f64 %781 #s(literal 4 binary64) %1269)
(fma.f64 %1371 #s(literal 2 binary64) #s(literal 0 binary64))
(*.f64 %1399 #s(literal 4 binary64))
(fma.f64 %310 %817 %1269)
(fma.f64 %431 %505 %1269)
(fma.f64 %135 #s(literal 0 binary64) %1256)
(fma.f64 #s(literal 0 binary64) %135 %1256)
(fma.f64 %781 #s(literal 4 binary64) %1314)
(fma.f64 %1399 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %310 %817 %1314)
(fma.f64 %431 %505 %1314)
(+.f64 #s(literal 1 binary64) %1148)
(fma.f64 B %160 %1256)
(fma.f64 %134 %163 %1256)
(fma.f64 %159 %165 %1256)
(fma.f64 %167 #s(literal 0 binary64) %1256)
(fma.f64 #s(literal 0 binary64) %167 %1256)
(fma.f64 %170 %159 %1256)
(fma.f64 %162 %172 %1256)
(fma.f64 %174 %162 %1256)
(fma.f64 %176 %134 %1256)
(fma.f64 %178 B %1256)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %1148)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %1148)
(fma.f64 #s(literal 1 binary64) %1148 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %1148)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %1148)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %1148)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %1148)
(fma.f64 %162 %183 %1256)
(fma.f64 %176 %182 %1256)
(fma.f64 %186 %188 %1256)
(fma.f64 %190 %36 %1256)
(fma.f64 %192 %194 %1256)
(fma.f64 %187 %196 %1256)
(fma.f64 %198 %187 %1256)
(fma.f64 %200 %186 %1256)
(fma.f64 %202 %1 %1256)
(fma.f64 %204 %193 %1256)
(fma.f64 #s(literal 0 binary64) %207 %1256)
(fma.f64 #s(literal 0 binary64) %211 %1256)
(fma.f64 %211 #s(literal 0 binary64) %1256)
(fma.f64 #s(literal 4 binary64) %128 %1148)
(fma.f64 #s(literal 4 binary64) %649 %1148)
(fma.f64 %128 #s(literal 4 binary64) %1148)
(fma.f64 %649 #s(literal 4 binary64) %1148)
(fma.f64 #s(literal -1 binary64) %216 %1256)
(fma.f64 %215 %218 %1256)
(fma.f64 %220 %215 %1256)
(fma.f64 %222 #s(literal -1 binary64) %1256)
(fma.f64 #s(literal -1/2 binary64) %426 %1148)
(fma.f64 #s(literal -1/2 binary64) %431 %1148)
(fma.f64 %426 #s(literal -1/2 binary64) %1148)
(fma.f64 %431 #s(literal -1/2 binary64) %1148)
(fma.f64 %665 %666 %1148)
(fma.f64 %666 %665 %1148)
(fma.f64 #s(literal 1/2 binary64) %224 %1256)
(fma.f64 %207 %92 %1256)
(fma.f64 #s(literal 0 binary64) %227 %1256)
(fma.f64 #s(literal 0 binary64) %229 %1256)
(fma.f64 %737 #s(literal 4 binary64) %1148)
(fma.f64 %310 %507 %1148)
(fma.f64 %310 %723 %1148)
(fma.f64 %426 %429 %1148)
(fma.f64 %507 %310 %1148)
(fma.f64 %507 %750 %1148)
(fma.f64 %429 %426 %1148)
(-.f64 (-.f64 #s(literal 1 binary64) %1203) %1207)
(fma.f64 B %234 %1256)
(fma.f64 %170 %233 %1256)
%1469
%159
(*.f64 %134 E_var)
(*.f64 E_var %182)
(*.f64 %182 E_var)
(*.f64 %1 %193)
(*.f64 %193 %1)
(neg.f64 %187)
(*.f64 E_var %1023)
(*.f64 %1 %1022)
(*.f64 #s(literal 1 binary64) %159)
(*.f64 %159 #s(literal 1 binary64))
(/.f64 %159 #s(literal 1 binary64))
(*.f64 E_var %1034)
(*.f64 E_var %1036)
(*.f64 #s(literal -1 binary64) %187)
(*.f64 %187 #s(literal -1 binary64))
(*.f64 %1034 E_var)
(*.f64 %1036 E_var)
(*.f64 E_var %1487)
(*.f64 E_var %1489)
(*.f64 %1 %1046)
(*.f64 #s(literal 1/2 binary64) %1492)
(*.f64 %27 %918)
(*.f64 %1492 #s(literal 1/2 binary64))
(*.f64 %1496 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %1498)
(*.f64 %32 %920)
(*.f64 %1498 #s(literal 2 binary64))
(*.f64 %1502 #s(literal 2 binary64))
(/.f64 %1492 #s(literal 2 binary64))
(/.f64 %1496 #s(literal 2 binary64))
(*.f64 %27 %1157)
(*.f64 %1507 #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %159) #s(literal -2 binary64))
(/.f64 (*.f64 %159 #s(literal -2 binary64)) #s(literal -2 binary64))
(*.f64 E_var %1513)
(*.f64 #s(literal 2 binary64) %1515)
(*.f64 #s(literal 1/2 binary64) %1517)
(*.f64 #s(literal -2 binary64) %1519)
(*.f64 #s(literal -1/2 binary64) %1521)
(*.f64 %32 %1523)
(*.f64 %1525 #s(literal 2 binary64))
(*.f64 %1527 #s(literal 1/2 binary64))
(*.f64 %1529 #s(literal -1/2 binary64))
(*.f64 %1531 #s(literal -2 binary64))
(*.f64 %1533 #s(literal 2 binary64))
(/.f64 %1507 #s(literal 2 binary64))
(/.f64 (neg.f64 %1492) #s(literal -2 binary64))
(/.f64 %1527 #s(literal 2 binary64))
(/.f64 %1529 #s(literal -2 binary64))
(/.f64 %1521 #s(literal -2 binary64))
(/.f64 %1517 #s(literal 2 binary64))
(/.f64 (*.f64 %1492 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %1492) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1492))
(/.f64 (/.f64 %1492 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %1492 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %310 %1552)
(fma.f64 E_var %134 %172)
(fma.f64 E_var %134 %174)
(fma.f64 %134 E_var %172)
(fma.f64 %134 E_var %174)
(+.f64 %159 %172)
(+.f64 %159 %174)
(fma.f64 E_var %134 %183)
(fma.f64 E_var %134 %1561)
(fma.f64 E_var %182 %172)
(fma.f64 E_var %182 %174)
(fma.f64 %134 E_var %183)
(fma.f64 %134 E_var %1561)
(fma.f64 %182 E_var %172)
(fma.f64 %182 E_var %174)
(*.f64 %1569 #s(literal 4 binary64))
(/.f64 (*.f64 %1492 #s(literal -2 binary64)) %113)
(/.f64 (*.f64 #s(literal -2 binary64) %1492) %118)
(/.f64 (*.f64 %101 %1498) #s(literal 4 binary64))
(+.f64 %159 %183)
(+.f64 %159 %1561)
(fma.f64 E_var %182 %183)
(fma.f64 E_var %182 %1561)
(fma.f64 %1 %193 %172)
(fma.f64 %1 %193 %174)
(fma.f64 %193 %1 %172)
(fma.f64 %193 %1 %174)
(fma.f64 %182 E_var %183)
(fma.f64 %182 E_var %1561)
(log.f64 %231)
(fma.f64 E_var %1023 %172)
(fma.f64 E_var %1023 %174)
(fma.f64 %1 %193 %183)
(fma.f64 %1 %193 %1561)
(fma.f64 %1 %1022 %172)
(fma.f64 %1 %1022 %174)
(fma.f64 %193 %1 %183)
(fma.f64 %193 %1 %1561)
(fma.f64 E_var %134 %178)
(fma.f64 E_var %134 %160)
(fma.f64 #s(literal 1 binary64) %159 %172)
(fma.f64 #s(literal 1 binary64) %159 %174)
(fma.f64 %134 E_var %178)
(fma.f64 %134 E_var %160)
(fma.f64 %159 #s(literal 1 binary64) %172)
(fma.f64 %159 #s(literal 1 binary64) %174)
(fma.f64 %159 #s(literal 0 binary64) %159)
(fma.f64 #s(literal 0 binary64) %159 %159)
(+.f64 %159 %178)
(+.f64 %159 %160)
(+.f64 %178 %159)
(+.f64 %160 %159)
(fma.f64 E_var %1023 %183)
(fma.f64 E_var %1023 %1561)
(fma.f64 %1 %1022 %183)
(fma.f64 %1 %1022 %1561)
(fma.f64 E_var %134 %188)
(fma.f64 E_var %134 %200)
(fma.f64 E_var %182 %178)
(fma.f64 E_var %182 %160)
(fma.f64 E_var %1034 %172)
(fma.f64 E_var %1034 %174)
(fma.f64 E_var %1036 %172)
(fma.f64 E_var %1036 %174)
(fma.f64 #s(literal -1 binary64) %187 %172)
(fma.f64 #s(literal -1 binary64) %187 %174)
(fma.f64 #s(literal 1 binary64) %159 %183)
(fma.f64 #s(literal 1 binary64) %159 %1561)
(fma.f64 %134 E_var %188)
(fma.f64 %134 E_var %200)
(fma.f64 %159 #s(literal 1 binary64) %183)
(fma.f64 %159 #s(literal 1 binary64) %1561)
(fma.f64 %187 #s(literal -1 binary64) %172)
(fma.f64 %187 #s(literal -1 binary64) %174)
(fma.f64 %182 E_var %178)
(fma.f64 %182 E_var %160)
(fma.f64 %1034 E_var %172)
(fma.f64 %1034 E_var %174)
(fma.f64 %1036 E_var %172)
(fma.f64 %1036 E_var %174)
(+.f64 %159 %188)
(+.f64 %159 %200)
(fma.f64 E_var %182 %188)
(fma.f64 E_var %182 %200)
(fma.f64 E_var %1034 %183)
(fma.f64 E_var %1034 %1561)
(fma.f64 E_var %1036 %183)
(fma.f64 E_var %1036 %1561)
(fma.f64 E_var %1487 %172)
(fma.f64 E_var %1487 %174)
(fma.f64 E_var %1489 %172)
(fma.f64 E_var %1489 %174)
(fma.f64 #s(literal -1 binary64) %187 %183)
(fma.f64 #s(literal -1 binary64) %187 %1561)
(fma.f64 %1 %193 %178)
(fma.f64 %1 %193 %160)
(fma.f64 %1 %1046 %172)
(fma.f64 %1 %1046 %174)
(fma.f64 %187 #s(literal -1 binary64) %183)
(fma.f64 %187 #s(literal -1 binary64) %1561)
(fma.f64 %193 %1 %178)
(fma.f64 %193 %1 %160)
(fma.f64 %182 E_var %188)
(fma.f64 %182 E_var %200)
(fma.f64 %1034 E_var %183)
(fma.f64 %1034 E_var %1561)
(fma.f64 %1036 E_var %183)
(fma.f64 %1036 E_var %1561)
(fma.f64 #s(literal 1/2 binary64) %1492 %172)
(fma.f64 #s(literal 1/2 binary64) %1492 %174)
(fma.f64 %27 %918 %172)
(fma.f64 %27 %918 %174)
(fma.f64 %1492 #s(literal 1/2 binary64) %172)
(fma.f64 %1492 #s(literal 1/2 binary64) %174)
(fma.f64 %1496 #s(literal 1/2 binary64) %172)
(fma.f64 %1496 #s(literal 1/2 binary64) %174)
(fma.f64 E_var %1487 %183)
(fma.f64 E_var %1487 %1561)
(fma.f64 E_var %1023 %178)
(fma.f64 E_var %1023 %160)
(fma.f64 E_var %1489 %183)
(fma.f64 E_var %1489 %1561)
(fma.f64 %1 %193 %188)
(fma.f64 %1 %193 %200)
(fma.f64 %1 %1046 %183)
(fma.f64 %1 %1046 %1561)
(fma.f64 %1 %1022 %178)
(fma.f64 %1 %1022 %160)
(fma.f64 %193 %1 %188)
(fma.f64 %193 %1 %200)
(fma.f64 #s(literal 1 binary64) %159 %178)
(fma.f64 #s(literal 1 binary64) %159 %160)
(fma.f64 %134 %32 %1502)
(fma.f64 %159 #s(literal 1 binary64) %178)
(fma.f64 %159 #s(literal 1 binary64) %160)
(fma.f64 %159 #s(literal 1/2 binary64) %1498)
(fma.f64 #s(literal 2 binary64) %1498 %172)
(fma.f64 #s(literal 2 binary64) %1498 %174)
(fma.f64 #s(literal 1/2 binary64) %159 %1498)
(fma.f64 %32 %134 %1498)
(fma.f64 %32 %920 %172)
(fma.f64 %32 %920 %174)
(fma.f64 %1498 #s(literal 2 binary64) %172)
(fma.f64 %1498 #s(literal 2 binary64) %174)
(fma.f64 %918 E_var %1498)
(fma.f64 %1502 #s(literal 2 binary64) %172)
(fma.f64 %1502 #s(literal 2 binary64) %174)
(+.f64 %1498 %1498)
(+.f64 %1502 %1502)
(fma.f64 #s(literal 1/2 binary64) %1492 %183)
(fma.f64 #s(literal 1/2 binary64) %1492 %1561)
(fma.f64 %27 %918 %183)
(fma.f64 %27 %918 %1561)
(fma.f64 %27 %1157 %172)
(fma.f64 %27 %1157 %174)
(fma.f64 %1492 #s(literal 1/2 binary64) %183)
(fma.f64 %1492 #s(literal 1/2 binary64) %1561)
(fma.f64 %1496 #s(literal 1/2 binary64) %183)
(fma.f64 %1496 #s(literal 1/2 binary64) %1561)
(fma.f64 %1507 #s(literal 1/2 binary64) %172)
(fma.f64 %1507 #s(literal 1/2 binary64) %174)
(*.f64 #s(literal 1 binary64) %233)
(fma.f64 E_var %1023 %188)
(fma.f64 E_var %1023 %200)
(fma.f64 %1 %1022 %188)
(fma.f64 %1 %1022 %200)
(fma.f64 E_var %1034 %178)
(fma.f64 E_var %1034 %160)
(fma.f64 E_var %1036 %178)
(fma.f64 E_var %1036 %160)
(fma.f64 E_var %1513 %172)
(fma.f64 E_var %1513 %174)
(fma.f64 #s(literal -1 binary64) %187 %178)
(fma.f64 #s(literal -1 binary64) %187 %160)
(fma.f64 #s(literal 1 binary64) %159 %188)
(fma.f64 #s(literal 1 binary64) %159 %200)
(fma.f64 %159 #s(literal 1 binary64) %188)
(fma.f64 %159 #s(literal 1 binary64) %200)
(fma.f64 #s(literal 2 binary64) %1498 %183)
(fma.f64 #s(literal 2 binary64) %1498 %1561)
(fma.f64 #s(literal 2 binary64) %1515 %172)
(fma.f64 #s(literal 2 binary64) %1515 %174)
(fma.f64 #s(literal 1/2 binary64) %1517 %172)
(fma.f64 #s(literal 1/2 binary64) %1517 %174)
(fma.f64 #s(literal -2 binary64) %1519 %172)
(fma.f64 #s(literal -2 binary64) %1519 %174)
(fma.f64 #s(literal -1/2 binary64) %1521 %172)
(fma.f64 #s(literal -1/2 binary64) %1521 %174)
(fma.f64 %32 %182 %1498)
(fma.f64 %32 %920 %183)
(fma.f64 %32 %920 %1561)
(fma.f64 %32 %1523 %172)
(fma.f64 %32 %1523 %174)
(fma.f64 %1498 #s(literal 2 binary64) %183)
(fma.f64 %1498 #s(literal 2 binary64) %1561)
(fma.f64 %187 #s(literal -1 binary64) %178)
(fma.f64 %187 #s(literal -1 binary64) %160)
(fma.f64 %1502 #s(literal 2 binary64) %183)
(fma.f64 %1502 #s(literal 2 binary64) %1561)
(fma.f64 %1525 #s(literal 2 binary64) %172)
(fma.f64 %1525 #s(literal 2 binary64) %174)
(fma.f64 %1527 #s(literal 1/2 binary64) %172)
(fma.f64 %1527 #s(literal 1/2 binary64) %174)
(fma.f64 %1529 #s(literal -1/2 binary64) %172)
(fma.f64 %1529 #s(literal -1/2 binary64) %174)
(fma.f64 %1531 #s(literal -2 binary64) %172)
(fma.f64 %1531 #s(literal -2 binary64) %174)
(fma.f64 %1034 E_var %178)
(fma.f64 %1034 E_var %160)
(fma.f64 %1533 #s(literal 2 binary64) %172)
(fma.f64 %1533 #s(literal 2 binary64) %174)
(fma.f64 %1157 E_var %1498)
(fma.f64 %1036 E_var %178)
(fma.f64 %1036 E_var %160)
(fma.f64 %27 %1157 %183)
(fma.f64 %27 %1157 %1561)
(fma.f64 %1507 #s(literal 1/2 binary64) %183)
(fma.f64 %1507 #s(literal 1/2 binary64) %1561)
(fma.f64 E_var %1034 %188)
(fma.f64 E_var %1034 %200)
(fma.f64 E_var %1036 %188)
(fma.f64 E_var %1036 %200)
(fma.f64 E_var %1487 %178)
(fma.f64 E_var %1487 %160)
(fma.f64 E_var %1513 %183)
(fma.f64 E_var %1513 %1561)
(fma.f64 E_var %1489 %178)
(fma.f64 E_var %1489 %160)
(fma.f64 #s(literal -1 binary64) %187 %188)
(fma.f64 #s(literal -1 binary64) %187 %200)
(fma.f64 #s(literal 2 binary64) %1515 %183)
(fma.f64 #s(literal 2 binary64) %1515 %1561)
(fma.f64 #s(literal 1/2 binary64) %1517 %183)
(fma.f64 #s(literal 1/2 binary64) %1517 %1561)
(fma.f64 #s(literal -2 binary64) %1519 %183)
(fma.f64 #s(literal -2 binary64) %1519 %1561)
(fma.f64 #s(literal -1/2 binary64) %187 %1515)
(fma.f64 #s(literal -1/2 binary64) %1521 %183)
(fma.f64 #s(literal -1/2 binary64) %1521 %1561)
(fma.f64 %32 %1523 %183)
(fma.f64 %32 %1523 %1561)
(fma.f64 %1 %1046 %178)
(fma.f64 %1 %1046 %160)
(fma.f64 %187 #s(literal -1 binary64) %188)
(fma.f64 %187 #s(literal -1 binary64) %200)
(fma.f64 %187 #s(literal -1/2 binary64) %1525)
(fma.f64 %182 %32 %1533)
(fma.f64 %1525 #s(literal 2 binary64) %183)
(fma.f64 %1525 #s(literal 2 binary64) %1561)
(fma.f64 %1527 #s(literal 1/2 binary64) %183)
(fma.f64 %1527 #s(literal 1/2 binary64) %1561)
(fma.f64 %1529 #s(literal -1/2 binary64) %183)
(fma.f64 %1529 #s(literal -1/2 binary64) %1561)
(fma.f64 %1531 #s(literal -2 binary64) %183)
(fma.f64 %1531 #s(literal -2 binary64) %1561)
(fma.f64 %1034 E_var %188)
(fma.f64 %1034 E_var %200)
(fma.f64 %1533 #s(literal 2 binary64) %183)
(fma.f64 %1533 #s(literal 2 binary64) %1561)
(fma.f64 %1036 E_var %188)
(fma.f64 %1036 E_var %200)
(+.f64 %1525 %1525)
(+.f64 %1533 %1533)
(+.f64 %1515 %1515)
(fma.f64 #s(literal 1/2 binary64) %1492 %178)
(fma.f64 #s(literal 1/2 binary64) %1492 %160)
(fma.f64 %27 %918 %178)
(fma.f64 %27 %918 %160)
(fma.f64 %1492 #s(literal 1/2 binary64) %178)
(fma.f64 %1492 #s(literal 1/2 binary64) %160)
(fma.f64 %1496 #s(literal 1/2 binary64) %178)
(fma.f64 %1496 #s(literal 1/2 binary64) %160)
(fma.f64 E_var %1487 %188)
(fma.f64 E_var %1487 %200)
(fma.f64 E_var %1489 %188)
(fma.f64 E_var %1489 %200)
(fma.f64 %1 %1046 %188)
(fma.f64 %1 %1046 %200)
(fma.f64 #s(literal 1 binary64) %1498 %1498)
(fma.f64 #s(literal 2 binary64) %1498 %178)
(fma.f64 #s(literal 2 binary64) %1498 %160)
(fma.f64 %32 %920 %178)
(fma.f64 %32 %920 %160)
(fma.f64 %1498 #s(literal 1 binary64) %1498)
(fma.f64 %1498 #s(literal 2 binary64) %178)
(fma.f64 %1498 #s(literal 2 binary64) %160)
(fma.f64 %1502 #s(literal 2 binary64) %178)
(fma.f64 %1502 #s(literal 2 binary64) %160)
(fma.f64 #s(literal 1/2 binary64) %1492 %188)
(fma.f64 #s(literal 1/2 binary64) %1492 %200)
(fma.f64 %27 %918 %188)
(fma.f64 %27 %918 %200)
(fma.f64 %27 %1157 %178)
(fma.f64 %27 %1157 %160)
(fma.f64 %1492 #s(literal 1/2 binary64) %188)
(fma.f64 %1492 #s(literal 1/2 binary64) %200)
(fma.f64 %1496 #s(literal 1/2 binary64) %188)
(fma.f64 %1496 #s(literal 1/2 binary64) %200)
(fma.f64 %1507 #s(literal 1/2 binary64) %178)
(fma.f64 %1507 #s(literal 1/2 binary64) %160)
(fma.f64 E_var %1513 %178)
(fma.f64 E_var %1513 %160)
(fma.f64 #s(literal 2 binary64) %1498 %188)
(fma.f64 #s(literal 2 binary64) %1498 %200)
(fma.f64 #s(literal 2 binary64) %1515 %178)
(fma.f64 #s(literal 2 binary64) %1515 %160)
(fma.f64 #s(literal 1/2 binary64) %1517 %178)
(fma.f64 #s(literal 1/2 binary64) %1517 %160)
(fma.f64 #s(literal -2 binary64) %1519 %178)
(fma.f64 #s(literal -2 binary64) %1519 %160)
(fma.f64 #s(literal -1/2 binary64) %1521 %178)
(fma.f64 #s(literal -1/2 binary64) %1521 %160)
(fma.f64 %32 %920 %188)
(fma.f64 %32 %920 %200)
(fma.f64 %32 %1523 %178)
(fma.f64 %32 %1523 %160)
(fma.f64 %1498 #s(literal 2 binary64) %188)
(fma.f64 %1498 #s(literal 2 binary64) %200)
(fma.f64 %1502 #s(literal 2 binary64) %188)
(fma.f64 %1502 #s(literal 2 binary64) %200)
(fma.f64 %1525 #s(literal 2 binary64) %178)
(fma.f64 %1525 #s(literal 2 binary64) %160)
(fma.f64 %1527 #s(literal 1/2 binary64) %178)
(fma.f64 %1527 #s(literal 1/2 binary64) %160)
(fma.f64 %1529 #s(literal -1/2 binary64) %178)
(fma.f64 %1529 #s(literal -1/2 binary64) %160)
(fma.f64 %1531 #s(literal -2 binary64) %178)
(fma.f64 %1531 #s(literal -2 binary64) %160)
(fma.f64 %1533 #s(literal 2 binary64) %178)
(fma.f64 %1533 #s(literal 2 binary64) %160)
(fma.f64 %27 %1157 %188)
(fma.f64 %27 %1157 %200)
(fma.f64 %310 %1552 %172)
(fma.f64 %310 %1552 %174)
(fma.f64 %1507 #s(literal 1/2 binary64) %188)
(fma.f64 %1507 #s(literal 1/2 binary64) %200)
(fma.f64 E_var %1513 %188)
(fma.f64 E_var %1513 %200)
(fma.f64 #s(literal 2 binary64) %1515 %188)
(fma.f64 #s(literal 2 binary64) %1515 %200)
(fma.f64 #s(literal 1/2 binary64) %1517 %188)
(fma.f64 #s(literal 1/2 binary64) %1517 %200)
(fma.f64 #s(literal -2 binary64) %1519 %188)
(fma.f64 #s(literal -2 binary64) %1519 %200)
(fma.f64 #s(literal -1/2 binary64) %1521 %188)
(fma.f64 #s(literal -1/2 binary64) %1521 %200)
(fma.f64 %32 %1523 %188)
(fma.f64 %32 %1523 %200)
(fma.f64 %1525 #s(literal 2 binary64) %188)
(fma.f64 %1525 #s(literal 2 binary64) %200)
(fma.f64 %1527 #s(literal 1/2 binary64) %188)
(fma.f64 %1527 #s(literal 1/2 binary64) %200)
(fma.f64 %1529 #s(literal -1/2 binary64) %188)
(fma.f64 %1529 #s(literal -1/2 binary64) %200)
(fma.f64 %1531 #s(literal -2 binary64) %188)
(fma.f64 %1531 #s(literal -2 binary64) %200)
(fma.f64 %1533 #s(literal 2 binary64) %188)
(fma.f64 %1533 #s(literal 2 binary64) %200)
(fma.f64 %310 %1552 %183)
(fma.f64 %310 %1552 %1561)
(fma.f64 %128 %1492 %1498)
(fma.f64 %1569 #s(literal 4 binary64) %172)
(fma.f64 %1569 #s(literal 4 binary64) %174)
(fma.f64 %1569 #s(literal 4 binary64) %183)
(fma.f64 %1569 #s(literal 4 binary64) %1561)
(fma.f64 %310 %1552 %178)
(fma.f64 %310 %1552 %160)
(fma.f64 %310 %1552 %188)
(fma.f64 %310 %1552 %200)
(fma.f64 %1569 #s(literal 4 binary64) %178)
(fma.f64 %1569 #s(literal 4 binary64) %160)
(fma.f64 %1569 #s(literal 4 binary64) %188)
(fma.f64 %1569 #s(literal 4 binary64) %200)
(fma.f64 #s(literal 1 binary64) %233 %172)
(fma.f64 #s(literal 1 binary64) %233 %174)
(fma.f64 #s(literal 1 binary64) %233 %183)
(fma.f64 #s(literal 1 binary64) %233 %1561)
(log.f64 (pow.f64 %1935 #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) %233 %178)
(fma.f64 #s(literal 1 binary64) %233 %160)
(fma.f64 #s(literal 1 binary64) %233 %188)
(fma.f64 #s(literal 1 binary64) %233 %200)
(*.f64 E_var %135)
%167
(*.f64 %134 %162)
(*.f64 %135 E_var)
(*.f64 %159 B)
(*.f64 %162 %134)
(*.f64 %162 %182)
(*.f64 %182 %162)
(*.f64 %1 %190)
(*.f64 %186 %187)
(*.f64 %190 %1)
(*.f64 %192 %193)
(*.f64 %187 %186)
(*.f64 %193 %192)
(neg.f64 %215)
(fma.f64 E_var %135 #s(literal 0 binary64))
(fma.f64 B %159 #s(literal 0 binary64))
(fma.f64 %134 %162 #s(literal 0 binary64))
(fma.f64 %135 E_var #s(literal 0 binary64))
(fma.f64 %159 B #s(literal 0 binary64))
(fma.f64 %162 %134 #s(literal 0 binary64))
(+.f64 %167 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %167)
(-.f64 %167 #s(literal 0 binary64))
(*.f64 E_var %1965)
(*.f64 B %1967)
(*.f64 %192 %1022)
(fma.f64 %162 %182 #s(literal 0 binary64))
(fma.f64 %182 %162 #s(literal 0 binary64))
(*.f64 #s(literal 1 binary64) %167)
(*.f64 %167 #s(literal 1 binary64))
(/.f64 %167 #s(literal 1 binary64))
(fma.f64 %1 %190 #s(literal 0 binary64))
(fma.f64 %186 %187 #s(literal 0 binary64))
(fma.f64 %190 %1 #s(literal 0 binary64))
(fma.f64 %192 %193 #s(literal 0 binary64))
(fma.f64 %187 %186 #s(literal 0 binary64))
(fma.f64 %193 %192 #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) %215)
(*.f64 %215 #s(literal -1 binary64))
(*.f64 %162 %1034)
(*.f64 %162 %1036)
(fma.f64 E_var %1965 #s(literal 0 binary64))
(fma.f64 B %1967 #s(literal 0 binary64))
(fma.f64 %192 %1022 #s(literal 0 binary64))
(*.f64 %192 %1046)
(fma.f64 E_var #s(literal 0 binary64) %167)
(fma.f64 #s(literal 1 binary64) %167 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %167)
(fma.f64 %167 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) E_var %167)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %167)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %167)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %167)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %167)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %167)
(*.f64 #s(literal 1/2 binary64) %207)
(*.f64 %27 %1079)
(*.f64 %32 %1067)
(*.f64 %249 %1498)
(*.f64 %252 %1492)
(*.f64 %1492 %252)
(*.f64 %1498 %249)
(*.f64 %1079 %27)
(*.f64 %918 %206)
(*.f64 %207 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) %215 #s(literal 0 binary64))
(fma.f64 %215 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %162 %1034 #s(literal 0 binary64))
(fma.f64 %162 %1036 #s(literal 0 binary64))
(*.f64 #s(literal 2 binary64) %211)
(*.f64 #s(literal -2 binary64) %2014)
(*.f64 %2016 %923)
(*.f64 %923 %2016)
(*.f64 %211 #s(literal 2 binary64))
(*.f64 %2014 #s(literal -2 binary64))
(/.f64 %207 #s(literal 2 binary64))
(/.f64 %2022 #s(literal -2 binary64))
(/.f64 %2024 #s(literal -2 binary64))
(*.f64 %2026 #s(literal 1/2 binary64))
(fma.f64 %192 %1046 #s(literal 0 binary64))
(*.f64 #s(literal -1/2 binary64) %2029)
(*.f64 #s(literal -1/2 binary64) %2031)
(*.f64 %254 %1529)
(*.f64 %2029 #s(literal -1/2 binary64))
(/.f64 %2035 #s(literal -2 binary64))
(fma.f64 #s(literal -1 binary64) %46 %167)
(fma.f64 #s(literal 1/2 binary64) %49 %167)
(fma.f64 #s(literal 1/2 binary64) %207 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %46 %167)
(fma.f64 %27 %1079 #s(literal 0 binary64))
(fma.f64 %32 %1067 #s(literal 0 binary64))
(fma.f64 %249 %1498 #s(literal 0 binary64))
(fma.f64 %252 %1492 #s(literal 0 binary64))
(fma.f64 %1492 %252 #s(literal 0 binary64))
(fma.f64 %1498 %249 #s(literal 0 binary64))
(fma.f64 %1079 %27 #s(literal 0 binary64))
(fma.f64 %918 %206 #s(literal 0 binary64))
(fma.f64 %207 #s(literal 1/2 binary64) #s(literal 0 binary64))
(/.f64 %2029 #s(literal -2 binary64))
(/.f64 %2031 #s(literal -2 binary64))
(fma.f64 #s(literal 2 binary64) %55 %167)
(fma.f64 #s(literal 2 binary64) %211 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %2014 #s(literal 0 binary64))
(fma.f64 %32 #s(literal 0 binary64) %167)
(fma.f64 %2016 %923 #s(literal 0 binary64))
(fma.f64 %923 %2016 #s(literal 0 binary64))
(fma.f64 %211 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %2014 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %2026 #s(literal 1/2 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 %1492 %249) #s(literal 4 binary64))
(/.f64 (*.f64 %249 %1492) #s(literal 4 binary64))
(fma.f64 #s(literal -1/2 binary64) %2029 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %2031 #s(literal 0 binary64))
(fma.f64 %254 %1529 #s(literal 0 binary64))
(fma.f64 %2029 #s(literal -1/2 binary64) #s(literal 0 binary64))
(*.f64 %2069 #s(literal 4 binary64))
(/.f64 %2071 #s(literal 4 binary64))
(/.f64 %2073 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %207))
(/.f64 (/.f64 %207 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %207 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %310 %2081)
(fma.f64 %27 %92 %167)
(fma.f64 %62 #s(literal 1/2 binary64) %167)
(fma.f64 %64 #s(literal 2 binary64) %167)
(fma.f64 %2069 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %102 #s(literal 4 binary64) %167)
(*.f64 %2016 %2088)
(*.f64 %2090 #s(literal 4 binary64))
(/.f64 (*.f64 %211 %101) #s(literal 4 binary64))
(/.f64 %2094 %113)
(/.f64 %2096 %118)
(/.f64 (*.f64 %101 %211) #s(literal 4 binary64))
(fma.f64 %310 %2081 #s(literal 0 binary64))
(fma.f64 %2016 %2088 #s(literal 0 binary64))
(log.f64 %2102)
(fma.f64 %135 #s(literal 0 binary64) %167)
(fma.f64 #s(literal 0 binary64) %135 %167)
(fma.f64 %2090 #s(literal 4 binary64) #s(literal 0 binary64))
(*.f64 E_var %1148)
(*.f64 B %233)
(*.f64 %233 B)
(*.f64 %254 %2110)
(*.f64 %186 %2112)
(fma.f64 E_var %1148 #s(literal 0 binary64))
(fma.f64 B %233 #s(literal 0 binary64))
(fma.f64 %233 B #s(literal 0 binary64))
(fma.f64 B %160 %167)
(fma.f64 %134 %163 %167)
(fma.f64 %159 %165 %167)
(fma.f64 %167 #s(literal 0 binary64) %167)
(fma.f64 #s(literal 0 binary64) %167 %167)
(fma.f64 %170 %159 %167)
(fma.f64 %162 %172 %167)
(fma.f64 %174 %162 %167)
(fma.f64 %176 %134 %167)
(fma.f64 %178 B %167)
(*.f64 B %2127)
(*.f64 #s(literal 1 binary64) %2130)
(fma.f64 E_var %135 %216)
(fma.f64 E_var %135 %222)
(fma.f64 B %159 %216)
(fma.f64 B %159 %222)
(fma.f64 %134 %162 %216)
(fma.f64 %134 %162 %222)
(fma.f64 %135 E_var %216)
(fma.f64 %135 E_var %222)
(fma.f64 %159 B %216)
(fma.f64 %159 B %222)
(fma.f64 %254 %2110 #s(literal 0 binary64))
(fma.f64 %162 %134 %216)
(fma.f64 %162 %134 %222)
(fma.f64 %162 %183 %167)
(fma.f64 %176 %182 %167)
(+.f64 %167 %216)
(+.f64 %167 %222)
(-.f64 %167 %216)
(log.f64 (pow.f64 %939 %192))
(fma.f64 %186 %2112 #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) %2153)
(*.f64 %186 %2155)
(fma.f64 %186 %188 %167)
(fma.f64 %162 %182 %216)
(fma.f64 %162 %182 %222)
(fma.f64 %190 %36 %167)
(fma.f64 %192 %194 %167)
(fma.f64 %187 %196 %167)
(fma.f64 %182 %162 %216)
(fma.f64 %182 %162 %222)
(fma.f64 %198 %187 %167)
(fma.f64 %200 %186 %167)
(fma.f64 %202 %1 %167)
(fma.f64 %204 %193 %167)
(*.f64 #s(literal -1/2 binary64) %2169)
(fma.f64 E_var %135 %224)
(fma.f64 B %159 %224)
(fma.f64 %134 %162 %224)
(fma.f64 %135 E_var %224)
(fma.f64 %159 B %224)
(fma.f64 #s(literal 0 binary64) %207 %167)
(fma.f64 %162 %134 %224)
(fma.f64 B %2127 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %2130 #s(literal 0 binary64))
(fma.f64 %1 %190 %216)
(fma.f64 %1 %190 %222)
(fma.f64 %186 %187 %216)
(fma.f64 %186 %187 %222)
(fma.f64 %190 %1 %216)
(fma.f64 %190 %1 %222)
(fma.f64 %192 %193 %216)
(fma.f64 %192 %193 %222)
(fma.f64 %187 %186 %216)
(fma.f64 %187 %186 %222)
(fma.f64 %193 %192 %216)
(fma.f64 %193 %192 %222)
(fma.f64 E_var %1079 %211)
(fma.f64 B %1498 %211)
(fma.f64 %134 %2016 %211)
(fma.f64 %135 %32 %211)
(fma.f64 %159 %252 %211)
(fma.f64 %167 #s(literal 1/2 binary64) %211)
(fma.f64 #s(literal 0 binary64) %211 %167)
(fma.f64 #s(literal 1/2 binary64) %167 %211)
(fma.f64 %32 %135 %211)
(fma.f64 %252 %159 %211)
(fma.f64 %162 %918 %211)
(fma.f64 %1498 B %211)
(fma.f64 %2016 %134 %211)
(fma.f64 %1079 E_var %211)
(fma.f64 %918 %162 %211)
(fma.f64 %211 #s(literal 0 binary64) %167)
(+.f64 %167 %224)
(+.f64 %211 %211)
(fma.f64 %162 %182 %224)
(fma.f64 %182 %162 %224)
(-.f64 %211 %2014)
(fma.f64 #s(literal -1 binary64) %2153 #s(literal 0 binary64))
(fma.f64 %186 %2155 #s(literal 0 binary64))
(fma.f64 E_var %1965 %216)
(fma.f64 E_var %1965 %222)
(fma.f64 B %1967 %216)
(fma.f64 B %1967 %222)
(fma.f64 %192 %1022 %216)
(fma.f64 %192 %1022 %222)
(fma.f64 #s(literal -1 binary64) %216 %167)
(fma.f64 #s(literal 1 binary64) %167 %216)
(fma.f64 #s(literal 1 binary64) %167 %222)
(fma.f64 %167 #s(literal 1 binary64) %216)
(fma.f64 %167 #s(literal 1 binary64) %222)
(fma.f64 %215 #s(literal -1/2 binary64) %211)
(fma.f64 %215 %218 %167)
(fma.f64 #s(literal -1/2 binary64) %215 %211)
(fma.f64 #s(literal -1/2 binary64) %2169 #s(literal 0 binary64))
(fma.f64 %220 %215 %167)
(fma.f64 %68 %190 %211)
(fma.f64 %254 %187 %211)
(fma.f64 %162 %1089 %211)
(fma.f64 %2016 %182 %211)
(fma.f64 %187 %254 %211)
(fma.f64 %2236 %193 %211)
(fma.f64 (*.f64 %254 %134) %1 %211)
(fma.f64 %2240 %134 %211)
(fma.f64 (*.f64 #s(literal -1/2 binary64) %134) %192 %211)
(fma.f64 (*.f64 #s(literal -1/2 binary64) %162) %193 %211)
(fma.f64 (*.f64 #s(literal -1/2 binary64) %1) %135 %211)
(fma.f64 %970 %162 %211)
(fma.f64 %1515 B %211)
(fma.f64 (*.f64 #s(literal -1/2 binary64) %135) %1 %211)
(fma.f64 (*.f64 #s(literal -1/2 binary64) %159) %186 %211)
(fma.f64 %2254 %134 %211)
(fma.f64 %1096 E_var %211)
(fma.f64 %222 #s(literal -1 binary64) %167)
(fma.f64 %1 %190 %224)
(fma.f64 %186 %187 %224)
(fma.f64 %190 %1 %224)
(fma.f64 %192 %193 %224)
(fma.f64 %187 %186 %224)
(fma.f64 %193 %192 %224)
(fma.f64 #s(literal -1 binary64) %215 %216)
(fma.f64 #s(literal -1 binary64) %215 %222)
(fma.f64 %215 #s(literal -1 binary64) %216)
(fma.f64 %215 #s(literal -1 binary64) %222)
(fma.f64 %186 %1531 %211)
(fma.f64 %162 %1034 %216)
(fma.f64 %162 %1034 %222)
(fma.f64 %162 %1036 %216)
(fma.f64 %162 %1036 %222)
(fma.f64 %190 %78 %211)
(fma.f64 %192 %937 %211)
(fma.f64 (*.f64 %32 %186) %193 %211)
(fma.f64 %2236 %1022 %211)
(fma.f64 %2240 %182 %211)
(fma.f64 %1100 %1 %211)
(fma.f64 %1519 %186 %211)
(fma.f64 %2281 %193 %211)
(fma.f64 %2254 %182 %211)
(fma.f64 (*.f64 %32 %193) %186 %211)
(fma.f64 E_var %1965 %224)
(fma.f64 B %1967 %224)
(fma.f64 %192 %1022 %224)
(fma.f64 #s(literal 1 binary64) %167 %224)
(fma.f64 %167 #s(literal 1 binary64) %224)
(fma.f64 #s(literal 1/2 binary64) %224 %167)
(fma.f64 %207 %92 %167)
(fma.f64 #s(literal 0 binary64) %227 %167)
(fma.f64 %192 %1046 %216)
(fma.f64 %192 %1046 %222)
(fma.f64 #s(literal -1 binary64) %2014 %211)
(fma.f64 #s(literal 1 binary64) %211 %211)
(fma.f64 %211 #s(literal 1 binary64) %211)
(fma.f64 %2014 #s(literal -1 binary64) %211)
(fma.f64 (*.f64 %1079 #s(literal 1 binary64)) E_var %211)
(fma.f64 (*.f64 %918 #s(literal 1 binary64)) %162 %211)
(fma.f64 #s(literal -1 binary64) %215 %224)
(fma.f64 %215 #s(literal -1 binary64) %224)
(fma.f64 #s(literal 1/2 binary64) %207 %216)
(fma.f64 #s(literal 1/2 binary64) %207 %222)
(fma.f64 %27 %1079 %216)
(fma.f64 %27 %1079 %222)
(fma.f64 %32 %1067 %216)
(fma.f64 %32 %1067 %222)
(fma.f64 %249 %1498 %216)
(fma.f64 %249 %1498 %222)
(fma.f64 %252 %1492 %216)
(fma.f64 %252 %1492 %222)
(fma.f64 %162 %1034 %224)
(fma.f64 %162 %1036 %224)
(fma.f64 %1492 %252 %216)
(fma.f64 %1492 %252 %222)
(fma.f64 %1498 %249 %216)
(fma.f64 %1498 %249 %222)
(fma.f64 %1079 %27 %216)
(fma.f64 %1079 %27 %222)
(fma.f64 %918 %206 %216)
(fma.f64 %918 %206 %222)
(fma.f64 %207 #s(literal 1/2 binary64) %216)
(fma.f64 %207 #s(literal 1/2 binary64) %222)
(fma.f64 #s(literal 0 binary64) %229 %167)
(fma.f64 #s(literal 2 binary64) %211 %216)
(fma.f64 #s(literal 2 binary64) %211 %222)
(fma.f64 #s(literal -2 binary64) %2014 %216)
(fma.f64 #s(literal -2 binary64) %2014 %222)
(fma.f64 %2016 %923 %216)
(fma.f64 %2016 %923 %222)
(fma.f64 %2236 %1046 %211)
(fma.f64 %923 %2016 %216)
(fma.f64 %923 %2016 %222)
(fma.f64 %211 #s(literal 2 binary64) %216)
(fma.f64 %211 #s(literal 2 binary64) %222)
(fma.f64 %2014 #s(literal -2 binary64) %216)
(fma.f64 %2014 #s(literal -2 binary64) %222)
(fma.f64 (*.f64 %1498 #s(literal -1 binary64)) %186 %211)
(fma.f64 %192 %1046 %224)
(fma.f64 %2026 #s(literal 1/2 binary64) %216)
(fma.f64 %2026 #s(literal 1/2 binary64) %222)
(fma.f64 #s(literal -1/2 binary64) %2029 %216)
(fma.f64 #s(literal -1/2 binary64) %2029 %222)
(fma.f64 #s(literal -1/2 binary64) %2031 %216)
(fma.f64 #s(literal -1/2 binary64) %2031 %222)
(fma.f64 %254 %1529 %216)
(fma.f64 %254 %1529 %222)
(fma.f64 %2029 #s(literal -1/2 binary64) %216)
(fma.f64 %2029 #s(literal -1/2 binary64) %222)
(fma.f64 #s(literal 1/2 binary64) %207 %224)
(fma.f64 %27 %1079 %224)
(fma.f64 %32 %1067 %224)
(fma.f64 %249 %1498 %224)
(fma.f64 %252 %1492 %224)
(fma.f64 %1492 %252 %224)
(fma.f64 %1498 %249 %224)
(fma.f64 %1079 %27 %224)
(fma.f64 %918 %206 %224)
(fma.f64 %207 #s(literal 1/2 binary64) %224)
(fma.f64 #s(literal 2 binary64) %211 %224)
(fma.f64 #s(literal -2 binary64) %2014 %224)
(fma.f64 %128 %207 %211)
(fma.f64 %2016 %923 %224)
(fma.f64 (*.f64 %252 #s(literal 1/2 binary64)) %1492 %211)
(fma.f64 %923 %2016 %224)
(fma.f64 %207 %128 %211)
(fma.f64 %211 #s(literal 2 binary64) %224)
(fma.f64 %2014 #s(literal -2 binary64) %224)
(fma.f64 (*.f64 %1498 #s(literal 1/2 binary64)) %249 %211)
(fma.f64 (*.f64 %918 #s(literal 1/2 binary64)) %206 %211)
(fma.f64 #s(literal 2 binary64) %2069 %211)
(fma.f64 #s(literal 2 binary64) %2380 %211)
(fma.f64 #s(literal 1/2 binary64) %211 %2382)
(fma.f64 #s(literal 3/2 binary64) %211 %2380)
(fma.f64 %211 #s(literal 1/2 binary64) %2385)
(fma.f64 %211 #s(literal 3/2 binary64) %2069)
(fma.f64 (*.f64 %1079 %32) #s(literal 2 binary64) %211)
(fma.f64 %2069 #s(literal 2 binary64) %211)
(fma.f64 (*.f64 %2014 #s(literal -1/2 binary64)) #s(literal 2 binary64) %211)
(fma.f64 (*.f64 %2014 #s(literal 1/2 binary64)) #s(literal -2 binary64) %211)
(fma.f64 %2380 #s(literal 2 binary64) %211)
(fma.f64 %2026 #s(literal 1/2 binary64) %224)
(+.f64 %2069 %2385)
(+.f64 %2385 %2069)
(+.f64 %2380 %2382)
(+.f64 %2382 %2380)
(fma.f64 #s(literal -1/2 binary64) %2029 %224)
(fma.f64 #s(literal -1/2 binary64) %2031 %224)
(fma.f64 %254 %1529 %224)
(fma.f64 %2029 #s(literal -1/2 binary64) %224)
(fma.f64 %2069 #s(literal 4 binary64) %216)
(fma.f64 %2069 #s(literal 4 binary64) %222)
(log.f64 %2407)
(log.f64 %2409)
(fma.f64 %310 %2081 %216)
(fma.f64 %310 %2081 %222)
(fma.f64 %2069 #s(literal 4 binary64) %224)
(fma.f64 %2016 %2088 %216)
(fma.f64 %2016 %2088 %222)
(log.f64 (pow.f64 %1935 %186))
(fma.f64 %2090 #s(literal 4 binary64) %216)
(fma.f64 %2090 #s(literal 4 binary64) %222)
(fma.f64 %310 %2081 %224)
(fma.f64 %2016 %2088 %224)
(fma.f64 %2090 #s(literal 4 binary64) %224)
(log.f64 (pow.f64 %2423 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %2427)
(fma.f64 B %234 %167)
(fma.f64 %170 %233 %167)
(-.f64 #s(literal 0 binary64) %2433)
(log.f64 (pow.f64 %2435 #s(literal 2 binary64)))
(*.f64 #s(literal -1 binary64) %2433)
(fma.f64 E_var %1148 %216)
(fma.f64 E_var %1148 %222)
(fma.f64 B %233 %216)
(fma.f64 B %233 %222)
(fma.f64 %233 B %216)
(fma.f64 %233 B %222)
(fma.f64 #s(literal 1 binary64) %2427 #s(literal 0 binary64))
(fma.f64 %254 %2110 %216)
(fma.f64 %254 %2110 %222)
(fma.f64 E_var %1148 %224)
(fma.f64 B %233 %224)
(fma.f64 %233 B %224)
(fma.f64 #s(literal -1 binary64) %2433 #s(literal 0 binary64))
(fma.f64 %186 %2112 %216)
(fma.f64 %186 %2112 %222)
(fma.f64 B (*.f64 %233 #s(literal 1/2 binary64)) %211)
(fma.f64 #s(literal 1/2 binary64) %2130 %211)
(fma.f64 %252 %233 %211)
(fma.f64 %254 %2110 %224)
(fma.f64 B %2127 %216)
(fma.f64 B %2127 %222)
(fma.f64 #s(literal 1 binary64) %2130 %216)
(fma.f64 #s(literal 1 binary64) %2130 %222)
(fma.f64 %186 %2112 %224)
(fma.f64 #s(literal -1 binary64) %2153 %216)
(fma.f64 #s(literal -1 binary64) %2153 %222)
(fma.f64 %186 %2155 %216)
(fma.f64 %186 %2155 %222)
(fma.f64 #s(literal -1/2 binary64) %2169 %216)
(fma.f64 #s(literal -1/2 binary64) %2169 %222)
(fma.f64 B %2127 %224)
(fma.f64 #s(literal 1 binary64) %2130 %224)
(fma.f64 #s(literal -1 binary64) %2153 %224)
(fma.f64 %186 %2155 %224)
(fma.f64 #s(literal -1/2 binary64) %2169 %224)
(log.f64 (*.f64 %2435 %2435))
(log.f64 (pow.f64 %2409 #s(literal 1 binary64)))
(log.f64 (pow.f64 %2479 #s(literal 2 binary64)))
(fma.f64 #s(literal 1/2 binary64) %2427 %211)
(fma.f64 #s(literal 1 binary64) %2427 %216)
(fma.f64 #s(literal 1 binary64) %2427 %222)
(fma.f64 #s(literal -1 binary64) %2433 %216)
(fma.f64 #s(literal -1 binary64) %2433 %222)
(fma.f64 #s(literal 1 binary64) %2427 %224)
(fma.f64 #s(literal -1 binary64) %2433 %224)
(log.f64 (*.f64 %2479 %2435))
(log.f64 (*.f64 %2435 %2479))
(log.f64 (*.f64 %2479 %2479))
(*.f64 E_var %190)
(*.f64 B %187)
(*.f64 %134 %192)
(*.f64 %135 %1)
(*.f64 %159 %186)
(*.f64 %1 %135)
(*.f64 %186 %159)
(*.f64 %162 %193)
(*.f64 %190 E_var)
(*.f64 %192 %134)
(*.f64 %187 B)
(*.f64 %193 %162)
%215
(*.f64 %162 %1022)
(*.f64 %192 %182)
(*.f64 %182 %192)
(fma.f64 E_var %190 #s(literal 0 binary64))
(fma.f64 B %187 #s(literal 0 binary64))
(fma.f64 %134 %192 #s(literal 0 binary64))
(fma.f64 %135 %1 #s(literal 0 binary64))
(fma.f64 %159 %186 #s(literal 0 binary64))
(fma.f64 %1 %135 #s(literal 0 binary64))
(fma.f64 %186 %159 #s(literal 0 binary64))
(fma.f64 %162 %193 #s(literal 0 binary64))
(fma.f64 %190 E_var #s(literal 0 binary64))
(fma.f64 %192 %134 #s(literal 0 binary64))
(fma.f64 %187 B #s(literal 0 binary64))
(fma.f64 %193 %162 #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) %167)
(*.f64 %167 #s(literal -1 binary64))
(+.f64 %215 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %215)
(fma.f64 %162 %1022 #s(literal 0 binary64))
(fma.f64 %192 %182 #s(literal 0 binary64))
(fma.f64 %182 %192 #s(literal 0 binary64))
(*.f64 #s(literal 1 binary64) %215)
(*.f64 %215 #s(literal 1 binary64))
(*.f64 %162 %1046)
(/.f64 %215 #s(literal 1 binary64))
(*.f64 %192 %1034)
(fma.f64 #s(literal -1 binary64) %167 #s(literal 0 binary64))
(fma.f64 %167 #s(literal -1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -1/2 binary64) %207)
(*.f64 %254 %1492)
(*.f64 %207 #s(literal -1/2 binary64))
(fma.f64 E_var #s(literal 0 binary64) %215)
(fma.f64 E_var %190 %220)
(fma.f64 E_var %190 %218)
(fma.f64 B %187 %220)
(fma.f64 B %187 %218)
(fma.f64 #s(literal 1 binary64) %215 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %215)
(fma.f64 %134 %192 %220)
(fma.f64 %134 %192 %218)
(fma.f64 %135 %1 %220)
(fma.f64 %135 %1 %218)
(fma.f64 %159 %186 %220)
(fma.f64 %159 %186 %218)
(fma.f64 %215 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) E_var %215)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %215)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %215)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %215)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %215)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %215)
(fma.f64 %1 %135 %220)
(fma.f64 %1 %135 %218)
(fma.f64 %186 %159 %220)
(fma.f64 %186 %159 %218)
(fma.f64 %162 %193 %220)
(fma.f64 %162 %193 %218)
(fma.f64 %162 %1046 #s(literal 0 binary64))
(fma.f64 %190 E_var %220)
(fma.f64 %190 E_var %218)
(fma.f64 %192 %134 %220)
(fma.f64 %192 %134 %218)
(fma.f64 %187 B %220)
(fma.f64 %187 B %218)
(fma.f64 %193 %162 %220)
(fma.f64 %193 %162 %218)
(*.f64 #s(literal 2 binary64) %2014)
(*.f64 #s(literal 1/2 binary64) %2024)
(*.f64 #s(literal -2 binary64) %211)
(*.f64 %32 %1081)
(*.f64 %211 #s(literal -2 binary64))
(*.f64 %2014 #s(literal 2 binary64))
(*.f64 %2022 #s(literal 1/2 binary64))
(*.f64 %2024 #s(literal 1/2 binary64))
(/.f64 %207 #s(literal -2 binary64))
(+.f64 %215 %220)
(+.f64 %215 %218)
(*.f64 #s(literal 1/2 binary64) %2585)
(*.f64 #s(literal 1/2 binary64) %2587)
(*.f64 #s(literal 1/2 binary64) %2589)
(*.f64 #s(literal 1/2 binary64) %2035)
(*.f64 %27 %1100)
(*.f64 %2593 #s(literal 1/2 binary64))
(*.f64 %1531 %249)
(*.f64 %937 %206)
(*.f64 %2035 #s(literal 1/2 binary64))
(/.f64 %2022 #s(literal 2 binary64))
(/.f64 %2024 #s(literal 2 binary64))
(fma.f64 %162 %1022 %220)
(fma.f64 %162 %1022 %218)
(fma.f64 %192 %182 %220)
(fma.f64 %192 %182 %218)
(fma.f64 %192 %1034 #s(literal 0 binary64))
(fma.f64 %182 %192 %220)
(fma.f64 %182 %192 %218)
(*.f64 #s(literal 1/2 binary64) %2031)
(*.f64 %269 %1498)
(*.f64 %2609 #s(literal 2 binary64))
(*.f64 %1529 %252)
(*.f64 %933 %2016)
(*.f64 %2029 #s(literal 1/2 binary64))
(/.f64 %2585 #s(literal 2 binary64))
(/.f64 %2593 #s(literal 2 binary64))
(/.f64 %2587 #s(literal 2 binary64))
(/.f64 (*.f64 %187 %249) #s(literal 2 binary64))
(/.f64 (*.f64 %193 %206) #s(literal 2 binary64))
(/.f64 (*.f64 %27 %190) #s(literal 2 binary64))
(/.f64 %2589 #s(literal 2 binary64))
(/.f64 (*.f64 %186 %1492) #s(literal 2 binary64))
(/.f64 %2035 #s(literal 2 binary64))
(fma.f64 #s(literal -1/2 binary64) %207 #s(literal 0 binary64))
(fma.f64 %254 %1492 #s(literal 0 binary64))
(fma.f64 %207 #s(literal -1/2 binary64) #s(literal 0 binary64))
(/.f64 %2029 #s(literal 2 binary64))
(/.f64 %2031 #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) %167 %220)
(fma.f64 #s(literal -1 binary64) %167 %218)
(fma.f64 %167 #s(literal -1 binary64) %220)
(fma.f64 %167 #s(literal -1 binary64) %218)
(fma.f64 #s(literal 2 binary64) %2014 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %2024 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %211 #s(literal 0 binary64))
(fma.f64 %32 %1081 #s(literal 0 binary64))
(fma.f64 %211 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %2014 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %2022 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %2024 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %46 %215)
(fma.f64 #s(literal 1/2 binary64) %49 %215)
(fma.f64 #s(literal 1/2 binary64) %2585 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %2587 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %2589 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %2035 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %46 %215)
(fma.f64 %27 %1100 #s(literal 0 binary64))
(fma.f64 %2593 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %1531 %249 #s(literal 0 binary64))
(fma.f64 %937 %206 #s(literal 0 binary64))
(fma.f64 %2035 #s(literal 1/2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 1/2 binary64) %2656)
(*.f64 %2658 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %215 %220)
(fma.f64 #s(literal 1 binary64) %215 %218)
(fma.f64 %215 #s(literal 1 binary64) %220)
(fma.f64 %215 #s(literal 1 binary64) %218)
(fma.f64 #s(literal 2 binary64) %55 %215)
(fma.f64 #s(literal 1/2 binary64) %2031 #s(literal 0 binary64))
(fma.f64 %32 #s(literal 0 binary64) %215)
(fma.f64 %162 %1046 %220)
(fma.f64 %162 %1046 %218)
(fma.f64 %269 %1498 #s(literal 0 binary64))
(fma.f64 %2609 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %1529 %252 #s(literal 0 binary64))
(fma.f64 %933 %2016 #s(literal 0 binary64))
(fma.f64 %2029 #s(literal 1/2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 1/2 binary64) %2674)
(/.f64 %2656 #s(literal 2 binary64))
(/.f64 %2094 #s(literal 4 binary64))
(/.f64 %2658 #s(literal 2 binary64))
(/.f64 %2096 #s(literal 4 binary64))
(/.f64 %2674 #s(literal 2 binary64))
(fma.f64 %192 %1034 %220)
(fma.f64 %192 %1034 %218)
(fma.f64 #s(literal 1/2 binary64) %2656 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %207 %220)
(fma.f64 #s(literal -1/2 binary64) %207 %218)
(fma.f64 %254 %1492 %220)
(fma.f64 %254 %1492 %218)
(fma.f64 %207 #s(literal -1/2 binary64) %220)
(fma.f64 %207 #s(literal -1/2 binary64) %218)
(fma.f64 %2658 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %2014 %220)
(fma.f64 #s(literal 2 binary64) %2014 %218)
(fma.f64 #s(literal 1/2 binary64) %2024 %220)
(fma.f64 #s(literal 1/2 binary64) %2024 %218)
(fma.f64 #s(literal 1/2 binary64) %2674 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %211 %220)
(fma.f64 #s(literal -2 binary64) %211 %218)
(fma.f64 %32 %1081 %220)
(fma.f64 %32 %1081 %218)
(fma.f64 %211 #s(literal -2 binary64) %220)
(fma.f64 %211 #s(literal -2 binary64) %218)
(fma.f64 %2014 #s(literal 2 binary64) %220)
(fma.f64 %2014 #s(literal 2 binary64) %218)
(fma.f64 %2022 #s(literal 1/2 binary64) %220)
(fma.f64 %2022 #s(literal 1/2 binary64) %218)
(fma.f64 %2024 #s(literal 1/2 binary64) %220)
(fma.f64 %2024 #s(literal 1/2 binary64) %218)
(fma.f64 #s(literal 1/2 binary64) %2585 %220)
(fma.f64 #s(literal 1/2 binary64) %2585 %218)
(fma.f64 #s(literal 1/2 binary64) %2587 %220)
(fma.f64 #s(literal 1/2 binary64) %2587 %218)
(fma.f64 #s(literal 1/2 binary64) %2589 %220)
(fma.f64 #s(literal 1/2 binary64) %2589 %218)
(fma.f64 #s(literal 1/2 binary64) %2035 %220)
(fma.f64 #s(literal 1/2 binary64) %2035 %218)
(fma.f64 %27 %92 %215)
(fma.f64 %27 %1100 %220)
(fma.f64 %27 %1100 %218)
(fma.f64 %62 #s(literal 1/2 binary64) %215)
(fma.f64 %2593 #s(literal 1/2 binary64) %220)
(fma.f64 %2593 #s(literal 1/2 binary64) %218)
(fma.f64 %1531 %249 %220)
(fma.f64 %1531 %249 %218)
(fma.f64 %937 %206 %220)
(fma.f64 %937 %206 %218)
(fma.f64 %2035 #s(literal 1/2 binary64) %220)
(fma.f64 %2035 #s(literal 1/2 binary64) %218)
(fma.f64 #s(literal 1/2 binary64) %2031 %220)
(fma.f64 #s(literal 1/2 binary64) %2031 %218)
(fma.f64 %269 %1498 %220)
(fma.f64 %269 %1498 %218)
(fma.f64 %64 #s(literal 2 binary64) %215)
(fma.f64 %2609 #s(literal 2 binary64) %220)
(fma.f64 %2609 #s(literal 2 binary64) %218)
(fma.f64 %1529 %252 %220)
(fma.f64 %1529 %252 %218)
(fma.f64 %933 %2016 %220)
(fma.f64 %933 %2016 %218)
(fma.f64 %2029 #s(literal 1/2 binary64) %220)
(fma.f64 %2029 #s(literal 1/2 binary64) %218)
(/.f64 %2071 %113)
(/.f64 %2073 %118)
(/.f64 (*.f64 %101 %2014) #s(literal 4 binary64))
(fma.f64 %102 #s(literal 4 binary64) %215)
(fma.f64 #s(literal 1/2 binary64) %2656 %220)
(fma.f64 #s(literal 1/2 binary64) %2656 %218)
(fma.f64 %2658 #s(literal 1/2 binary64) %220)
(fma.f64 %2658 #s(literal 1/2 binary64) %218)
(fma.f64 #s(literal 1/2 binary64) %2674 %220)
(fma.f64 #s(literal 1/2 binary64) %2674 %218)
(log.f64 %2423)
(fma.f64 %135 #s(literal 0 binary64) %215)
(fma.f64 #s(literal 0 binary64) %135 %215)
(*.f64 B %2112)
(*.f64 %1 %1148)
(*.f64 %186 %233)
(*.f64 %233 %186)
(fma.f64 E_var %190 %2759)
(fma.f64 E_var %190 %202)
(fma.f64 B %187 %2759)
(fma.f64 B %187 %202)
(fma.f64 %134 %192 %2759)
(fma.f64 %134 %192 %202)
(fma.f64 %135 %1 %2759)
(fma.f64 %135 %1 %202)
(fma.f64 %159 %186 %2759)
(fma.f64 %159 %186 %202)
(fma.f64 %1 %135 %2759)
(fma.f64 %1 %135 %202)
(fma.f64 %186 %159 %2759)
(fma.f64 %186 %159 %202)
(fma.f64 %162 %193 %2759)
(fma.f64 %162 %193 %202)
(fma.f64 %190 E_var %2759)
(fma.f64 %190 E_var %202)
(fma.f64 %192 %134 %2759)
(fma.f64 %192 %134 %202)
(fma.f64 %187 B %2759)
(fma.f64 %187 B %202)
(fma.f64 %193 %162 %2759)
(fma.f64 %193 %162 %202)
(+.f64 %215 %2759)
(+.f64 %215 %202)
(fma.f64 %162 %1022 %2759)
(fma.f64 %162 %1022 %202)
(fma.f64 %192 %182 %2759)
(fma.f64 %192 %182 %202)
(fma.f64 %182 %192 %2759)
(fma.f64 %182 %192 %202)
(-.f64 #s(literal 0 binary64) %2130)
(log.f64 (pow.f64 %939 %162))
(fma.f64 B %2112 #s(literal 0 binary64))
(fma.f64 %1 %1148 #s(literal 0 binary64))
(fma.f64 %186 %233 #s(literal 0 binary64))
(fma.f64 %233 %186 #s(literal 0 binary64))
(*.f64 B %2155)
(*.f64 #s(literal -1 binary64) %2800)
(*.f64 #s(literal -1 binary64) %2130)
(fma.f64 B %160 %215)
(fma.f64 #s(literal -1 binary64) %167 %2759)
(fma.f64 #s(literal -1 binary64) %167 %202)
(fma.f64 %134 %163 %215)
(fma.f64 %159 %165 %215)
(fma.f64 %167 #s(literal -1 binary64) %2759)
(fma.f64 %167 #s(literal -1 binary64) %202)
(fma.f64 %167 #s(literal 0 binary64) %215)
(fma.f64 #s(literal 0 binary64) %167 %215)
(fma.f64 %170 %159 %215)
(fma.f64 %162 %172 %215)
(fma.f64 %174 %162 %215)
(fma.f64 %176 %134 %215)
(fma.f64 %178 B %215)
(*.f64 %186 %2127)
(fma.f64 E_var %190 %216)
(fma.f64 E_var %190 %222)
(fma.f64 B %187 %216)
(fma.f64 B %187 %222)
(fma.f64 #s(literal 1 binary64) %215 %2759)
(fma.f64 #s(literal 1 binary64) %215 %202)
(fma.f64 %134 %192 %216)
(fma.f64 %134 %192 %222)
(fma.f64 %135 %1 %216)
(fma.f64 %135 %1 %222)
(fma.f64 %159 %186 %216)
(fma.f64 %159 %186 %222)
(fma.f64 %215 #s(literal 1 binary64) %2759)
(fma.f64 %215 #s(literal 1 binary64) %202)
(fma.f64 %215 #s(literal 0 binary64) %215)
(fma.f64 #s(literal 0 binary64) %215 %215)
(fma.f64 %1 %135 %216)
(fma.f64 %1 %135 %222)
(fma.f64 %186 %159 %216)
(fma.f64 %186 %159 %222)
(fma.f64 %162 %193 %216)
(fma.f64 %162 %193 %222)
(fma.f64 %162 %1046 %2759)
(fma.f64 %162 %1046 %202)
(fma.f64 %162 %183 %215)
(fma.f64 %190 E_var %216)
(fma.f64 %190 E_var %222)
(fma.f64 %192 %134 %216)
(fma.f64 %192 %134 %222)
(fma.f64 %187 B %216)
(fma.f64 %187 B %222)
(fma.f64 %193 %162 %216)
(fma.f64 %193 %162 %222)
(fma.f64 %176 %182 %215)
(+.f64 %215 %216)
(+.f64 %215 %222)
(+.f64 %216 %215)
(+.f64 %222 %215)
(fma.f64 B %2155 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %2800 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %2130 #s(literal 0 binary64))
(fma.f64 %186 %188 %215)
(fma.f64 %162 %1022 %216)
(fma.f64 %162 %1022 %222)
(fma.f64 %190 %36 %215)
(fma.f64 %192 %182 %216)
(fma.f64 %192 %182 %222)
(fma.f64 %192 %194 %215)
(fma.f64 %192 %1034 %2759)
(fma.f64 %192 %1034 %202)
(fma.f64 %187 %196 %215)
(fma.f64 %182 %192 %216)
(fma.f64 %182 %192 %222)
(fma.f64 %198 %187 %215)
(fma.f64 %200 %186 %215)
(fma.f64 %202 %1 %215)
(fma.f64 %204 %193 %215)
(fma.f64 %167 #s(literal -1/2 binary64) %2014)
(fma.f64 #s(literal -1/2 binary64) %167 %2014)
(fma.f64 %254 %159 %2014)
(+.f64 %2014 %2014)
(fma.f64 #s(literal 0 binary64) %207 %215)
(fma.f64 #s(literal -1/2 binary64) %207 %2759)
(fma.f64 #s(literal -1/2 binary64) %207 %202)
(fma.f64 %254 %1492 %2759)
(fma.f64 %254 %1492 %202)
(fma.f64 %207 #s(literal -1/2 binary64) %2759)
(fma.f64 %207 #s(literal -1/2 binary64) %202)
(fma.f64 B %2112 %220)
(fma.f64 B %2112 %218)
(fma.f64 %1 %1148 %220)
(fma.f64 %1 %1148 %218)
(fma.f64 %186 %233 %220)
(fma.f64 %186 %233 %218)
(fma.f64 %186 %2127 #s(literal 0 binary64))
(fma.f64 %233 %186 %220)
(fma.f64 %233 %186 %218)
(fma.f64 #s(literal -1 binary64) %167 %216)
(fma.f64 #s(literal -1 binary64) %167 %222)
(fma.f64 %167 #s(literal -1 binary64) %216)
(fma.f64 %167 #s(literal -1 binary64) %222)
(fma.f64 %215 #s(literal 1/2 binary64) %2014)
(fma.f64 #s(literal 0 binary64) %211 %215)
(fma.f64 #s(literal 2 binary64) %2014 %2759)
(fma.f64 #s(literal 2 binary64) %2014 %202)
(fma.f64 #s(literal 1/2 binary64) %215 %2014)
(fma.f64 #s(literal 1/2 binary64) %2024 %2759)
(fma.f64 #s(literal 1/2 binary64) %2024 %202)
(fma.f64 #s(literal -2 binary64) %211 %2759)
(fma.f64 #s(literal -2 binary64) %211 %202)
(fma.f64 %32 %190 %2014)
(fma.f64 %32 %1081 %2759)
(fma.f64 %32 %1081 %202)
(fma.f64 %252 %187 %2014)
(fma.f64 %1498 %186 %2014)
(fma.f64 %2016 %193 %2014)
(fma.f64 %1079 %1 %2014)
(fma.f64 %918 %192 %2014)
(fma.f64 %80 %135 %2014)
(fma.f64 (*.f64 #s(literal 1/2 binary64) %1) %135 %2014)
(fma.f64 %211 #s(literal 0 binary64) %215)
(fma.f64 %211 #s(literal -2 binary64) %2759)
(fma.f64 %211 #s(literal -2 binary64) %202)
(fma.f64 %2014 #s(literal 2 binary64) %2759)
(fma.f64 %2014 #s(literal 2 binary64) %202)
(fma.f64 %2022 #s(literal 1/2 binary64) %2759)
(fma.f64 %2022 #s(literal 1/2 binary64) %202)
(fma.f64 %1100 E_var %2014)
(fma.f64 %1169 %162 %2014)
(fma.f64 %1519 B %2014)
(fma.f64 %2281 %134 %2014)
(fma.f64 %2024 #s(literal 1/2 binary64) %2759)
(fma.f64 %2024 #s(literal 1/2 binary64) %202)
(fma.f64 (neg.f64 %1498) B %2014)
(fma.f64 (neg.f64 %2016) %134 %2014)
(fma.f64 (neg.f64 %1079) E_var %2014)
(fma.f64 (neg.f64 %918) %162 %2014)
(fma.f64 #s(literal 1/2 binary64) %2585 %2759)
(fma.f64 #s(literal 1/2 binary64) %2585 %202)
(fma.f64 #s(literal 1/2 binary64) %2587 %2759)
(fma.f64 #s(literal 1/2 binary64) %2587 %202)
(fma.f64 #s(literal 1/2 binary64) %2589 %2759)
(fma.f64 #s(literal 1/2 binary64) %2589 %202)
(fma.f64 #s(literal 1/2 binary64) %2035 %2759)
(fma.f64 #s(literal 1/2 binary64) %2035 %202)
(fma.f64 %27 %1100 %2759)
(fma.f64 %27 %1100 %202)
(fma.f64 %2593 #s(literal 1/2 binary64) %2759)
(fma.f64 %2593 #s(literal 1/2 binary64) %202)
(fma.f64 %1531 %249 %2759)
(fma.f64 %1531 %249 %202)
(fma.f64 %937 %206 %2759)
(fma.f64 %937 %206 %202)
(fma.f64 %2035 #s(literal 1/2 binary64) %2759)
(fma.f64 %2035 #s(literal 1/2 binary64) %202)
(fma.f64 #s(literal -1 binary64) %216 %215)
(fma.f64 #s(literal 1 binary64) %215 %216)
(fma.f64 #s(literal 1 binary64) %215 %222)
(fma.f64 %215 #s(literal 1 binary64) %216)
(fma.f64 %215 #s(literal 1 binary64) %222)
(fma.f64 %215 %218 %215)
(fma.f64 #s(literal 1/2 binary64) %2031 %2759)
(fma.f64 #s(literal 1/2 binary64) %2031 %202)
(fma.f64 %220 %215 %215)
(fma.f64 %162 %1046 %216)
(fma.f64 %162 %1046 %222)
(fma.f64 %190 %32 %2609)
(fma.f64 %269 %1498 %2759)
(fma.f64 %269 %1498 %202)
(fma.f64 %2609 #s(literal 2 binary64) %2759)
(fma.f64 %2609 #s(literal 2 binary64) %202)
(fma.f64 %1529 %252 %2759)
(fma.f64 %1529 %252 %202)
(fma.f64 %933 %2016 %2759)
(fma.f64 %933 %2016 %202)
(fma.f64 %2281 %182 %2014)
(fma.f64 %2029 #s(literal 1/2 binary64) %2759)
(fma.f64 %2029 #s(literal 1/2 binary64) %202)
(fma.f64 %222 #s(literal -1 binary64) %215)
(+.f64 %2609 %2609)
(fma.f64 B %2155 %220)
(fma.f64 B %2155 %218)
(fma.f64 #s(literal -1 binary64) %2800 %220)
(fma.f64 #s(literal -1 binary64) %2800 %218)
(fma.f64 #s(literal -1 binary64) %2130 %220)
(fma.f64 #s(literal -1 binary64) %2130 %218)
(fma.f64 %192 %1034 %216)
(fma.f64 %192 %1034 %222)
(fma.f64 #s(literal -1 binary64) %211 %2014)
(fma.f64 #s(literal 1 binary64) %2014 %2014)
(fma.f64 %211 #s(literal -1 binary64) %2014)
(fma.f64 %2014 #s(literal 1 binary64) %2014)
(fma.f64 #s(literal 1/2 binary64) %2656 %2759)
(fma.f64 #s(literal 1/2 binary64) %2656 %202)
(fma.f64 #s(literal 1/2 binary64) %224 %215)
(fma.f64 #s(literal -1/2 binary64) %207 %216)
(fma.f64 #s(literal -1/2 binary64) %207 %222)
(fma.f64 %254 %1492 %216)
(fma.f64 %254 %1492 %222)
(fma.f64 %207 #s(literal -1/2 binary64) %216)
(fma.f64 %207 #s(literal -1/2 binary64) %222)
(fma.f64 %207 %92 %215)
(fma.f64 %2658 #s(literal 1/2 binary64) %2759)
(fma.f64 %2658 #s(literal 1/2 binary64) %202)
(fma.f64 #s(literal 0 binary64) %227 %215)
(fma.f64 %186 %2127 %220)
(fma.f64 %186 %2127 %218)
(fma.f64 #s(literal 2 binary64) %2014 %216)
(fma.f64 #s(literal 2 binary64) %2014 %222)
(fma.f64 #s(literal 1/2 binary64) %2024 %216)
(fma.f64 #s(literal 1/2 binary64) %2024 %222)
(fma.f64 #s(literal 1/2 binary64) %2674 %2759)
(fma.f64 #s(literal 1/2 binary64) %2674 %202)
(fma.f64 #s(literal -2 binary64) %211 %216)
(fma.f64 #s(literal -2 binary64) %211 %222)
(fma.f64 %32 %1081 %216)
(fma.f64 %32 %1081 %222)
(fma.f64 %211 #s(literal -2 binary64) %216)
(fma.f64 %211 #s(literal -2 binary64) %222)
(fma.f64 %2014 #s(literal 2 binary64) %216)
(fma.f64 %2014 #s(literal 2 binary64) %222)
(fma.f64 %2022 #s(literal 1/2 binary64) %216)
(fma.f64 %2022 #s(literal 1/2 binary64) %222)
(fma.f64 %2024 #s(literal 1/2 binary64) %216)
(fma.f64 %2024 #s(literal 1/2 binary64) %222)
(fma.f64 #s(literal 1/2 binary64) %2585 %216)
(fma.f64 #s(literal 1/2 binary64) %2585 %222)
(fma.f64 #s(literal 1/2 binary64) %2587 %216)
(fma.f64 #s(literal 1/2 binary64) %2587 %222)
(fma.f64 #s(literal 1/2 binary64) %2589 %216)
(fma.f64 #s(literal 1/2 binary64) %2589 %222)
(fma.f64 #s(literal 1/2 binary64) %2035 %216)
(fma.f64 #s(literal 1/2 binary64) %2035 %222)
(fma.f64 %27 %1100 %216)
(fma.f64 %27 %1100 %222)
(fma.f64 %2593 #s(literal 1/2 binary64) %216)
(fma.f64 %2593 #s(literal 1/2 binary64) %222)
(fma.f64 %1531 %249 %216)
(fma.f64 %1531 %249 %222)
(fma.f64 %937 %206 %216)
(fma.f64 %937 %206 %222)
(fma.f64 %2035 #s(literal 1/2 binary64) %216)
(fma.f64 %2035 #s(literal 1/2 binary64) %222)
(fma.f64 #s(literal 0 binary64) %229 %215)
(fma.f64 #s(literal 1/2 binary64) %2031 %216)
(fma.f64 #s(literal 1/2 binary64) %2031 %222)
(fma.f64 %269 %1498 %216)
(fma.f64 %269 %1498 %222)
(fma.f64 %2609 #s(literal 2 binary64) %216)
(fma.f64 %2609 #s(literal 2 binary64) %222)
(fma.f64 %1529 %252 %216)
(fma.f64 %1529 %252 %222)
(fma.f64 %933 %2016 %216)
(fma.f64 %933 %2016 %222)
(fma.f64 %2029 #s(literal 1/2 binary64) %216)
(fma.f64 %2029 #s(literal 1/2 binary64) %222)
(fma.f64 %2069 #s(literal -2 binary64) %2014)
(fma.f64 (*.f64 %211 #s(literal -1/2 binary64)) #s(literal 2 binary64) %2014)
(fma.f64 #s(literal 1/2 binary64) %2656 %216)
(fma.f64 #s(literal 1/2 binary64) %2656 %222)
(fma.f64 %2658 #s(literal 1/2 binary64) %216)
(fma.f64 %2658 #s(literal 1/2 binary64) %222)
(fma.f64 #s(literal 1/2 binary64) %2674 %216)
(fma.f64 #s(literal 1/2 binary64) %2674 %222)
(log.f64 %2431)
(log.f64 (pow.f64 %1129 %1))
(log.f64 (pow.f64 %1935 B))
(log.f64 (pow.f64 %227 E_var))
(fma.f64 E_var %1203 %3075)
(fma.f64 %1203 E_var %3077)
(+.f64 (*.f64 %1203 E_var) %3077)
(+.f64 (*.f64 E_var %1203) %3075)
(fma.f64 B %2112 %2759)
(fma.f64 B %2112 %202)
(fma.f64 %1 %1148 %2759)
(fma.f64 %1 %1148 %202)
(fma.f64 %186 %233 %2759)
(fma.f64 %186 %233 %202)
(fma.f64 %233 %186 %2759)
(fma.f64 %233 %186 %202)
(-.f64 #s(literal 0 binary64) %2427)
(log.f64 (/.f64 #s(literal 1 binary64) %2409))
(log.f64 (pow.f64 %2423 #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) %2427)
(log.f64 (pow.f64 %2435 #s(literal -2 binary64)))
(fma.f64 B %2155 %2759)
(fma.f64 B %2155 %202)
(fma.f64 B %234 %215)
(fma.f64 #s(literal -1 binary64) %2800 %2759)
(fma.f64 #s(literal -1 binary64) %2800 %202)
(fma.f64 #s(literal -1 binary64) %2130 %2759)
(fma.f64 #s(literal -1 binary64) %2130 %202)
(fma.f64 %170 %233 %215)
(fma.f64 #s(literal -1 binary64) %2427 #s(literal 0 binary64))
(fma.f64 B %2112 %216)
(fma.f64 B %2112 %222)
(fma.f64 %1 %1148 %216)
(fma.f64 %1 %1148 %222)
(fma.f64 %186 %233 %216)
(fma.f64 %186 %233 %222)
(fma.f64 %186 %2127 %2759)
(fma.f64 %186 %2127 %202)
(fma.f64 %233 %186 %216)
(fma.f64 %233 %186 %222)
(fma.f64 %254 %233 %2014)
(fma.f64 B %2155 %216)
(fma.f64 B %2155 %222)
(fma.f64 #s(literal -1 binary64) %2800 %216)
(fma.f64 #s(literal -1 binary64) %2800 %222)
(fma.f64 #s(literal -1 binary64) %2130 %216)
(fma.f64 #s(literal -1 binary64) %2130 %222)
(fma.f64 #s(literal -1 binary64) %2427 %220)
(fma.f64 #s(literal -1 binary64) %2427 %218)
(fma.f64 %186 %2127 %216)
(fma.f64 %186 %2127 %222)
(log.f64 (pow.f64 %2409 #s(literal -1 binary64)))
(log.f64 (pow.f64 %2431 #s(literal 1 binary64)))
(log.f64 (pow.f64 %2479 #s(literal -2 binary64)))
(fma.f64 #s(literal -1 binary64) %2427 %2759)
(fma.f64 #s(literal -1 binary64) %2427 %202)
(fma.f64 #s(literal -1 binary64) %2427 %216)
(fma.f64 #s(literal -1 binary64) %2427 %222)
(*.f64 E_var %1061)
%3140
(fma.f64 E_var %190 E_var)
(fma.f64 B %187 E_var)
(fma.f64 %134 %192 E_var)
(fma.f64 %135 %1 E_var)
(fma.f64 %159 %186 E_var)
(fma.f64 %1 %135 E_var)
(fma.f64 %186 %159 E_var)
(fma.f64 %162 %193 E_var)
(fma.f64 %190 E_var E_var)
(fma.f64 %192 %134 E_var)
(fma.f64 %187 B E_var)
(fma.f64 %193 %162 E_var)
(*.f64 E_var %1071)
(*.f64 %1071 E_var)
(+.f64 E_var %215)
(+.f64 %215 E_var)
(neg.f64 (-.f64 %167 E_var))
(fma.f64 %162 %1022 E_var)
(fma.f64 %192 %182 E_var)
(fma.f64 %182 %192 E_var)
(-.f64 %215 %1)
(fma.f64 E_var %1061 #s(literal 0 binary64))
(fma.f64 E_var %1071 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %167 E_var)
(fma.f64 %167 #s(literal -1 binary64) E_var)
(fma.f64 %1071 E_var #s(literal 0 binary64))
(+.f64 E_var %3168)
(+.f64 %3140 #s(literal 0 binary64))
(-.f64 %3140 #s(literal 0 binary64))
(*.f64 #s(literal 1 binary64) %3140)
(*.f64 %3140 #s(literal 1 binary64))
(fma.f64 E_var #s(literal 1 binary64) %215)
(fma.f64 #s(literal 1 binary64) E_var %215)
(fma.f64 #s(literal 1 binary64) %215 E_var)
(fma.f64 %215 #s(literal 1 binary64) E_var)
(fma.f64 %162 %1046 E_var)
(*.f64 %3179 E_var)
(fma.f64 #s(literal -1 binary64) %1 %215)
(fma.f64 %1 #s(literal -1 binary64) %215)
(fma.f64 %192 %1034 E_var)
(fma.f64 E_var #s(literal 1 binary64) %3168)
(fma.f64 #s(literal 1 binary64) E_var %3168)
(fma.f64 #s(literal 1 binary64) %3140 #s(literal 0 binary64))
(fma.f64 %3140 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %207 E_var)
(fma.f64 %254 %1492 E_var)
(fma.f64 %207 #s(literal -1/2 binary64) E_var)
(fma.f64 #s(literal 2 binary64) %2014 E_var)
(fma.f64 #s(literal 1/2 binary64) %2024 E_var)
(fma.f64 #s(literal -2 binary64) %211 E_var)
(fma.f64 %32 %1081 E_var)
(fma.f64 %211 #s(literal -2 binary64) E_var)
(fma.f64 %2014 #s(literal 2 binary64) E_var)
(fma.f64 %3179 E_var #s(literal 0 binary64))
(fma.f64 %2022 #s(literal 1/2 binary64) E_var)
(fma.f64 %2024 #s(literal 1/2 binary64) E_var)
(fma.f64 #s(literal -1 binary64) %1 %3168)
(fma.f64 #s(literal 1/2 binary64) %27 %215)
(fma.f64 #s(literal 1/2 binary64) %2585 E_var)
(fma.f64 #s(literal 1/2 binary64) %2587 E_var)
(fma.f64 #s(literal 1/2 binary64) %2589 E_var)
(fma.f64 #s(literal 1/2 binary64) %2035 E_var)
(fma.f64 %27 #s(literal 1/2 binary64) %215)
(fma.f64 %27 %1100 E_var)
(fma.f64 %1 #s(literal -1 binary64) %3168)
(fma.f64 %2593 #s(literal 1/2 binary64) E_var)
(fma.f64 %1531 %249 E_var)
(fma.f64 %937 %206 E_var)
(fma.f64 %2035 #s(literal 1/2 binary64) E_var)
(*.f64 %3213 #s(literal 1/2 binary64))
(fma.f64 #s(literal 2 binary64) %32 %215)
(fma.f64 #s(literal 1/2 binary64) %2031 E_var)
(fma.f64 %32 #s(literal 2 binary64) %215)
(fma.f64 %269 %1498 E_var)
(fma.f64 %2609 #s(literal 2 binary64) E_var)
(fma.f64 %1529 %252 E_var)
(fma.f64 %933 %2016 E_var)
(fma.f64 %2029 #s(literal 1/2 binary64) E_var)
(*.f64 %3223 #s(literal 2 binary64))
(/.f64 %3213 #s(literal 2 binary64))
(fma.f64 %42 #s(literal 1/2 binary64) %215)
(fma.f64 #s(literal 1/2 binary64) %27 %3168)
(fma.f64 %27 #s(literal 1/2 binary64) %3168)
(fma.f64 E_var #s(literal 1/2 binary64) %3229)
(fma.f64 #s(literal 2 binary64) %32 %3168)
(fma.f64 #s(literal 1/2 binary64) E_var %3229)
(fma.f64 #s(literal 1/2 binary64) %2656 E_var)
(fma.f64 %32 #s(literal 2 binary64) %3168)
(fma.f64 %3213 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %2658 #s(literal 1/2 binary64) E_var)
(*.f64 #s(literal 1/2 binary64) %3237)
(fma.f64 E_var #s(literal 1/2 binary64) %3239)
(fma.f64 #s(literal 1/2 binary64) E_var %3239)
(fma.f64 #s(literal 1/2 binary64) %2674 E_var)
(fma.f64 %3223 #s(literal 2 binary64) #s(literal 0 binary64))
(+.f64 %32 %3229)
(fma.f64 %42 #s(literal 1/2 binary64) %3168)
(+.f64 %32 %3239)
(+.f64 (fma.f64 %190 E_var %32) %32)
(/.f64 %3237 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %3250)
(fma.f64 %71 #s(literal 4 binary64) %215)
(/.f64 (fma.f64 %215 #s(literal 2 binary64) %27) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) %3237 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %32 %3229)
(fma.f64 #s(literal 2 binary64) %3250 #s(literal 0 binary64))
(fma.f64 %32 #s(literal 1 binary64) %3229)
(fma.f64 %71 #s(literal 4 binary64) %3168)
(fma.f64 #s(literal 1 binary64) %32 %3239)
(fma.f64 %32 #s(literal 1 binary64) %3239)
(fma.f64 %110 #s(literal 4 binary64) %215)
(fma.f64 %27 %128 %3229)
(fma.f64 %27 %128 %3239)
(fma.f64 %142 #s(literal 2 binary64) %3229)
(fma.f64 %110 #s(literal 4 binary64) %3168)
(fma.f64 %142 #s(literal 2 binary64) %3239)
(/.f64 (-.f64 %74 %2073) #s(literal 4 binary64))
(fma.f64 B %2112 E_var)
(fma.f64 %1 %1148 E_var)
(fma.f64 %186 %233 E_var)
(fma.f64 %233 %186 E_var)
(fma.f64 E_var %1061 %3274)
(fma.f64 E_var %1061 %3276)
(fma.f64 B %2155 E_var)
(fma.f64 #s(literal -1 binary64) %2800 E_var)
(fma.f64 #s(literal -1 binary64) %2130 E_var)
(fma.f64 E_var %1071 %3274)
(fma.f64 E_var %1071 %3276)
(fma.f64 %1071 E_var %3274)
(fma.f64 %1071 E_var %3276)
(+.f64 %3140 %3274)
(+.f64 %3140 %3276)
(fma.f64 %186 %2127 E_var)
(fma.f64 #s(literal 1 binary64) %3140 %3274)
(fma.f64 #s(literal 1 binary64) %3140 %3276)
(fma.f64 %3140 #s(literal 1 binary64) %3274)
(fma.f64 %3140 #s(literal 1 binary64) %3276)
(fma.f64 %3179 E_var %3274)
(fma.f64 %3179 E_var %3276)
(-.f64 (-.f64 E_var %211) %211)
(fma.f64 %3213 #s(literal 1/2 binary64) %3274)
(fma.f64 %3213 #s(literal 1/2 binary64) %3276)
(fma.f64 %32 %1071 %3298)
(fma.f64 %1071 %32 %3223)
(fma.f64 %3223 #s(literal 2 binary64) %3274)
(fma.f64 %3223 #s(literal 2 binary64) %3276)
(+.f64 %3223 %3223)
(+.f64 %3298 %3298)
(fma.f64 #s(literal 1/2 binary64) %3237 %3274)
(fma.f64 #s(literal 1/2 binary64) %3237 %3276)
(fma.f64 #s(literal 2 binary64) %3250 %3274)
(fma.f64 #s(literal 2 binary64) %3250 %3276)
(fma.f64 #s(literal -1 binary64) %2427 E_var)
(approx (/ E_var %910) %3140)
(/.f64 E_var %911)
(/.f64 E_var %1469)
reconstruct135.0ms (0.1%)
Memory
-7.7MiB live, 20.8MiB allocated; 8ms collecting garbage
eval3.3s (2.2%)
Memory
45.7MiB live, 399.3MiB allocated; 134ms collecting garbage
Compiler
Compiled 57 891 to 10 291 computations (82.2% saved)
prune648.0ms (0.4%)
Memory
9.3MiB live, 102.8MiB allocated; 25ms collecting garbage
Pruning
7 alts after pruning (5 fresh and 2 done)
PrunedKeptTotal
New3 71953 724
Fresh000
Picked213
Done011
Total3 72173 728
Accuracy
100.0%
Counts
3 728 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶59.4%
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (+.f64 E_var E_var))) (approx (pow tsfn_phi B) #s(literal 1 binary64)))
▶42.6%
(/.f64 (approx E_var #s(literal 0 binary64)) (approx (pow tsfn_phi B) #s(literal 1 binary64)))
✓100.0%
(/.f64 E_var (pow.f64 tsfn_phi B))
▶65.3%
(/.f64 E_var (approx (pow tsfn_phi B) (fma.f64 (log.f64 tsfn_phi) B #s(literal 1 binary64))))
▶58.5%
(/.f64 E_var (approx (pow tsfn_phi B) (*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 #s(literal 1/2 binary64)))))
✓59.5%
(/.f64 E_var (approx (pow tsfn_phi B) #s(literal 1 binary64)))
▶59.1%
(approx (/ E_var (pow tsfn_phi B)) (-.f64 E_var (*.f64 B (*.f64 E_var (log.f64 tsfn_phi)))))
Compiler
Compiled 42 to 25 computations (40.5% saved)
sample31.0ms (0.0%)
Memory
-28.1MiB live, 2.4MiB allocated; 3ms collecting garbage
Calls
Call 1
Inputs
%1 = (sqrt 2)
%3 = (sqrt 1/2)
%1
%3
(* %1 %3)
Outputs
#s(literal 6369051672525773/4503599627370496 binary64)
#s(literal 6369051672525773/9007199254740992 binary64)
#s(literal 1 binary64)
Samples
0.0ms1×0valid
Compiler
Compiled 11 to 7 computations (36.4% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)
series2.8s (1.9%)
Memory
-5.5MiB live, 233.9MiB allocated; 79ms collecting garbage
Counts
27 → 34
Calls
Call 1
Inputs
%4 = (approx E_var #s(literal 0 binary64))
%6 = (pow tsfn_phi B)
%7 = (approx %6 #s(literal 1 binary64))
%8 = (log.f64 tsfn_phi)
%11 = (*.f64 E_var %8)
%12 = (*.f64 B %11)
%13 = (+.f64 E_var E_var)
%14 = (/.f64 #s(literal 2 binary64) %13)
%15 = (/.f64 #s(literal 1 binary64) %14)
%16 = (sqrt.f64 #s(literal 2 binary64))
%17 = (sqrt.f64 #s(literal 1/2 binary64))
%18 = (*.f64 %16 %17)
%19 = (fma.f64 %8 B #s(literal 1 binary64))
%20 = (approx %6 %19)
%21 = (-.f64 E_var %12)
%27 = (approx %6 %18)
E_var
tsfn_phi
B
#s(literal 0 binary64)
%4
#s(literal 1 binary64)
%7
%8
#s(literal 1/2 binary64)
#s(literal 2 binary64)
%11
%12
%13
%14
%15
%16
%17
%18
%19
%20
%21
(approx (/ E_var %6) %21)
(/.f64 E_var %20)
(/.f64 %15 %7)
(/.f64 %4 %7)
%27
(/.f64 E_var %27)
Outputs
%5 = (log tsfn_phi)
%6 = (* E_var %5)
%7 = (log.f64 tsfn_phi)
%8 = (*.f64 E_var %7)
%11 = (* B %6)
%12 = (*.f64 B %8)
%14 = (+ E_var E_var)
%23 = (- E_var %11)
%24 = (*.f64 B %7)
%28 = (pow tsfn_phi B)
%29 = (/ E_var %28)
%30 = (pow.f64 tsfn_phi B)
%43 = (+ (* %5 B) 1)
%49 = (log.f64 (/.f64 #s(literal 1 binary64) tsfn_phi))
%51 = (*.f64 #s(literal -1 binary64) (*.f64 B %49))
%52 = (exp.f64 %51)
%56 = (*.f64 E_var %49)
%60 = (*.f64 #s(literal -1 binary64) (*.f64 B %56))
%71 = (pow.f64 %7 #s(literal 2 binary64))
%80 = (pow.f64 %7 #s(literal 3 binary64))
%89 = (*.f64 #s(literal -1 binary64) %12)
%92 = (*.f64 E_var %71)
%94 = (fma.f64 #s(literal -1 binary64) %92 (*.f64 #s(literal 1/2 binary64) %92))
%103 = (*.f64 E_var %80)
%116 = (/.f64 #s(literal 1 binary64) B)
%121 = (/.f64 E_var B)
(approx E_var #s(literal 0 binary64))
(approx E_var E_var)
(approx %6 %8)
(approx %11 %12)
(approx %14 (*.f64 #s(literal 2 binary64) E_var))
(approx (/ 2 %14) (/.f64 #s(literal 1 binary64) E_var))
(approx %23 (*.f64 E_var (-.f64 #s(literal 1 binary64) %24)))
(approx %29 (/.f64 E_var %30))
(approx %23 (*.f64 E_var (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %24))))
(approx tsfn_phi tsfn_phi)
(approx %28 %30)
(approx %5 %7)
(approx %43 (+.f64 #s(literal 1 binary64) %24))
(approx %23 (-.f64 E_var %12))
(approx %28 %52)
(approx %5 (*.f64 #s(literal -1 binary64) %49))
(approx %6 (*.f64 #s(literal -1 binary64) %56))
(approx %11 %60)
(approx %43 (+.f64 #s(literal 1 binary64) %51))
(approx %23 (-.f64 E_var %60))
(approx %29 (/.f64 E_var %52))
(approx B B)
(approx %28 #s(literal 1 binary64))
(approx %28 (+.f64 #s(literal 1 binary64) (*.f64 B (+.f64 %7 (*.f64 #s(literal 1/2 binary64) (*.f64 B %71))))))
(approx %28 (+.f64 #s(literal 1 binary64) (*.f64 B (+.f64 %7 (*.f64 B (fma.f64 #s(literal 1/6 binary64) (*.f64 B %80) (*.f64 #s(literal 1/2 binary64) %71)))))))
(approx %23 (+.f64 E_var %89))
(approx %29 (+.f64 E_var (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 B %94)) %8))))
(approx %29 (+.f64 E_var (*.f64 B (-.f64 (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 B (fma.f64 #s(literal -1 binary64) (*.f64 %7 %94) (fma.f64 #s(literal -1/2 binary64) %103 (*.f64 #s(literal 1/6 binary64) %103))))) %94)) %8))))
(approx %43 %24)
(approx %43 (*.f64 B (+.f64 %7 %116)))
(approx %23 %89)
(approx %23 (*.f64 B (-.f64 %121 %8)))
(approx %43 (*.f64 #s(literal -1 binary64) (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) %7) %116))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 B (-.f64 (*.f64 #s(literal -1 binary64) %121) (*.f64 #s(literal -1 binary64) %8)))))
Calls
9 calls:
TimeVariablePoint
331.0ms
B
0
115.0ms
E_var
0
102.0ms
tsfn_phi
0
81.0ms
tsfn_phi
inf
68.0ms
tsfn_phi
-inf
rewrite1.9min (74.8%)
Memory
-219.1MiB live, 5 651.4MiB allocated; 2.2s collecting garbage
end0.0ms (0.0%)
Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Profiling
Loading profile data...