Numeric.Integration.TanhSinh:everywhere from integration-0.2.1

Time bar (total: 1.5s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
100.0%99.9%0.0%0.1%0.0%0.0%0.0%1
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample226.0ms (14.9%)

Samples
171.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
Mul: 5.0ms (72.2% of total, 0.0 MiB)
Add: 2.0ms (28.9% of total, 0.0 MiB)
Bogosity

preprocess25.0ms (1.6%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01744
19944
235642
3112742
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶95.5%
(*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 y y)))
Symmetry

(abs y)

(negabs x)

Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series8.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
030113
Stop Event
1×iter-limit
Counts
6 → 11
Calls
Call 1
Inputs
%3 = (*.f64 y y)
%4 = (+.f64 #s(literal 1 binary64) %3)
x
#s(literal 1 binary64)
y
%3
%4
(*.f64 x %4)
Outputs
%6 = (* y y)
%7 = (+ 1 %6)
%8 = (* x %7)
%11 = (pow.f64 y #s(literal 2 binary64))
%12 = (+.f64 #s(literal 1 binary64) %11)
%19 = (*.f64 x %11)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %8 (*.f64 x %12))
(approx y y)
(approx %6 %11)
(approx %7 #s(literal 1 binary64))
(approx %7 %12)
(approx %8 (+.f64 x %19))
(approx %7 (*.f64 %11 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %11))))
(approx %8 %19)
(approx %8 (*.f64 %11 (+.f64 x (/.f64 x %11))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
y
-inf
0.0ms
y
0
rewrite135.0ms (8.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0618
0918
13818
212718
346818
4312918
0431418
0455216
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 581
Calls
Call 1
Inputs
%3 = (*.f64 y y)
%4 = (+.f64 #s(literal 1 binary64) %3)
x
#s(literal 1 binary64)
y
%3
%4
(*.f64 x %4)
Outputs
%3 = (*.f64 y y)
%4 = (*.f64 %3 %3)
%6 = (pow.f64 %4 #s(literal -1/2 binary64))
%8 = (fabs.f64 y)
%9 = (sqrt.f64 %8)
%10 = (*.f64 %9 %8)
%12 = (neg.f64 %8)
%13 = (*.f64 %12 #s(literal 1 binary64))
%16 = (*.f64 #s(literal 1/2 binary64) y)
%17 = (*.f64 %16 y)
%20 = (+.f64 y y)
%21 = (*.f64 y %20)
%28 = (neg.f64 y)
%34 = (*.f64 %4 #s(literal 1 binary64))
%47 = (*.f64 %3 #s(literal -2 binary64))
%64 = (*.f64 %28 y)
%65 = (+.f64 #s(literal 0 binary64) %64)
%67 = (-.f64 %64 #s(literal 0 binary64))
%69 = (*.f64 #s(literal -1 binary64) %3)
%71 = (*.f64 %3 #s(literal -1 binary64))
%74 = (*.f64 %3 #s(literal 0 binary64))
%76 = (*.f64 #s(literal 0 binary64) %3)
%91 = (*.f64 #s(literal 1/2 binary64) %28)
%93 = (*.f64 #s(literal 1/2 binary64) %8)
%133 = (-.f64 #s(literal 0 binary64) %3)
%139 = (-.f64 #s(literal 1 binary64) %3)
%143 = (*.f64 #s(literal -1 binary64) %64)
%174 = (fma.f64 y %20 #s(literal 2 binary64))
%176 = (/.f64 %174 #s(literal 8 binary64))
%178 = (fma.f64 y y #s(literal 1 binary64))
%179 = (*.f64 #s(literal 1/2 binary64) %178)
%195 = (fma.f64 y y #s(literal 1/2 binary64))
%218 = (-.f64 #s(literal -1 binary64) %3)
%219 = (*.f64 #s(literal 2 binary64) %218)
%241 = (*.f64 %178 #s(literal 0 binary64))
%243 = (*.f64 #s(literal 0 binary64) %178)
%300 = (*.f64 %195 #s(literal 1 binary64))
%315 = (*.f64 %178 x)
%316 = (*.f64 %315 #s(literal 1/2 binary64))
%318 = (+.f64 x x)
%319 = (*.f64 %318 %178)
%322 = (*.f64 #s(literal 1/2 binary64) x)
%323 = (*.f64 %322 %178)
%326 = (*.f64 #s(literal 1/2 binary64) %323)
%328 = (*.f64 %179 #s(literal 1 binary64))
%330 = (-.f64 %17 #s(literal -1/2 binary64))
%333 = (*.f64 %28 %20)
%334 = (-.f64 #s(literal 2 binary64) %333)
%337 = (neg.f64 x)
%340 = (*.f64 #s(literal 4 binary64) %323)
%342 = (*.f64 #s(literal 2 binary64) %315)
%344 = (fma.f64 %318 %3 %318)
%346 = (*.f64 %318 %3)
%347 = (fma.f64 #s(literal 2 binary64) x %346)
%349 = (*.f64 #s(literal -2 binary64) x)
%350 = (-.f64 %346 %349)
%352 = (*.f64 %318 %64)
%353 = (-.f64 %318 %352)
%356 = (*.f64 %323 #s(literal 1 binary64))
%358 = (*.f64 %322 y)
%359 = (*.f64 %358 y)
%360 = (*.f64 #s(literal -1/2 binary64) x)
%361 = (-.f64 %359 %360)
%393 = (*.f64 %3 x)
%398 = (*.f64 %8 x)
%401 = (*.f64 %319 #s(literal 0 binary64))
%403 = (*.f64 %315 #s(literal 0 binary64))
%406 = (*.f64 #s(literal 0 binary64) %319)
%408 = (*.f64 #s(literal 0 binary64) %315)
%414 = (*.f64 %322 #s(literal 1/2 binary64))
%415 = (fma.f64 #s(literal 1/2 binary64) x %393)
%417 = (*.f64 %64 x)
%418 = (-.f64 %322 %417)
%420 = (*.f64 x %195)
%422 = (*.f64 %195 x)
%424 = (*.f64 #s(literal 1/2 binary64) %322)
%475 = (*.f64 %337 %8)
%499 = (*.f64 %337 y)
%501 = (*.f64 y x)
x
#s(literal 1 binary64)
y
(*.f64 %6 %4)
(*.f64 %10 %9)
(*.f64 %13 %13)
(*.f64 %17 #s(literal 2 binary64))
(*.f64 %21 #s(literal 1/2 binary64))
(*.f64 %9 %10)
(*.f64 %12 %13)
(*.f64 %12 %12)
(*.f64 #s(literal 1/2 binary64) %21)
(*.f64 %8 %8)
(*.f64 %28 %28)
(*.f64 #s(literal 2 binary64) %17)
(*.f64 %3 #s(literal 1 binary64))
%3
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %13 #s(literal 2 binary64))
(pow.f64 %34 #s(literal 1/2 binary64))
(pow.f64 %4 #s(literal 1/2 binary64))
(pow.f64 %9 #s(literal 4 binary64))
(pow.f64 %12 #s(literal 2 binary64))
(pow.f64 %8 #s(literal 2 binary64))
(pow.f64 %28 #s(literal 2 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %3) #s(literal -2 binary64))
(/.f64 %47 #s(literal -2 binary64))
(/.f64 %21 #s(literal 2 binary64))
(/.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %6)
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(neg.f64 %65)
(neg.f64 %67)
(neg.f64 %69)
(neg.f64 %71)
(neg.f64 %64)
(fma.f64 %6 %4 %74)
(fma.f64 %6 %4 %76)
(fma.f64 %6 %4 #s(literal 0 binary64))
(fma.f64 %10 %9 %74)
(fma.f64 %10 %9 %76)
(fma.f64 %10 %9 #s(literal 0 binary64))
(fma.f64 %13 %13 %74)
(fma.f64 %13 %13 %76)
(fma.f64 %13 %13 #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 1/2 binary64) %12) %12 %17)
(fma.f64 %17 #s(literal 2 binary64) %74)
(fma.f64 %17 #s(literal 2 binary64) %76)
(fma.f64 %17 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %16 y %17)
(fma.f64 %91 %28 %17)
(fma.f64 %93 %8 %17)
(fma.f64 %21 #s(literal 1/2 binary64) %74)
(fma.f64 %21 #s(literal 1/2 binary64) %76)
(fma.f64 %21 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %9 %10 %74)
(fma.f64 %9 %10 %76)
(fma.f64 %9 %10 #s(literal 0 binary64))
(fma.f64 %12 %13 %74)
(fma.f64 %12 %13 %76)
(fma.f64 %12 %13 #s(literal 0 binary64))
(fma.f64 %12 %12 %74)
(fma.f64 %12 %12 %76)
(fma.f64 %12 %12 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %21 %74)
(fma.f64 #s(literal 1/2 binary64) %21 %76)
(fma.f64 #s(literal 1/2 binary64) %21 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %3 %17)
(fma.f64 %8 %8 %74)
(fma.f64 %8 %8 %76)
(fma.f64 %8 %8 #s(literal 0 binary64))
(fma.f64 %28 %28 %74)
(fma.f64 %28 %28 %76)
(fma.f64 %28 %28 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %17 %74)
(fma.f64 #s(literal 2 binary64) %17 %76)
(fma.f64 #s(literal 2 binary64) %17 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %3 %3)
(fma.f64 %3 #s(literal 1/2 binary64) %17)
(fma.f64 %3 #s(literal 0 binary64) %3)
(fma.f64 %3 #s(literal 1 binary64) %74)
(fma.f64 %3 #s(literal 1 binary64) %76)
(fma.f64 %3 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 y y %74)
(fma.f64 y y %76)
(fma.f64 y y #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %17 %17)
(fma.f64 #s(literal 1 binary64) %3 %74)
(fma.f64 #s(literal 1 binary64) %3 %76)
(fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) %133)
(-.f64 #s(literal 0 binary64) %65)
(-.f64 #s(literal 0 binary64) %64)
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) %64))
(-.f64 #s(literal 1 binary64) %139)
(sqrt.f64 %34)
(sqrt.f64 %4)
(fabs.f64 %143)
(fabs.f64 %69)
(fabs.f64 (*.f64 %64 #s(literal -1 binary64)))
(fabs.f64 %71)
(fabs.f64 (*.f64 %28 %12))
(fabs.f64 (*.f64 y %12))
(fabs.f64 (*.f64 %28 %8))
(fabs.f64 (*.f64 y %8))
(fabs.f64 (*.f64 %12 %28))
(fabs.f64 (*.f64 %8 %28))
(fabs.f64 (*.f64 %12 y))
(fabs.f64 (*.f64 %8 y))
(fabs.f64 %64)
(fabs.f64 %3)
(+.f64 %74 %3)
(+.f64 %76 %3)
(+.f64 %17 %17)
(+.f64 #s(literal 0 binary64) %3)
(+.f64 %3 %74)
(+.f64 %3 %76)
(+.f64 %3 #s(literal 0 binary64))
(*.f64 %176 #s(literal 4 binary64))
(*.f64 %179 #s(literal 2 binary64))
(*.f64 %174 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %174)
(*.f64 #s(literal 2 binary64) %179)
(*.f64 %178 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %178)
(pow.f64 %178 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %178) #s(literal -2 binary64))
(/.f64 (/.f64 %174 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %174 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %178 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %195 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %3 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %47 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %4 #s(literal 1 binary64)) (-.f64 %3 #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) %4) %139)
(/.f64 (fma.f64 %174 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %174) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %174) #s(literal 4 binary64))
(/.f64 (*.f64 %174 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %174 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %219) #s(literal 2 binary64))
(/.f64 (neg.f64 %174) #s(literal -2 binary64))
(/.f64 %179 #s(literal 1/2 binary64))
(/.f64 %174 #s(literal 2 binary64))
(/.f64 %219 #s(literal -2 binary64))
(/.f64 %178 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %174))
(/.f64 #s(literal 1 binary64) (pow.f64 %178 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %178))
(neg.f64 (*.f64 %218 #s(literal 1 binary64)))
(neg.f64 (*.f64 %178 #s(literal -1 binary64)))
(neg.f64 %218)
(fma.f64 %6 %4 #s(literal 1 binary64))
(fma.f64 %10 %9 #s(literal 1 binary64))
(fma.f64 %176 #s(literal 4 binary64) %241)
(fma.f64 %176 #s(literal 4 binary64) %243)
(fma.f64 %176 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %13 %13 #s(literal 1 binary64))
(fma.f64 %195 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 %179 #s(literal 2 binary64) %241)
(fma.f64 %179 #s(literal 2 binary64) %243)
(fma.f64 %179 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %17 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %174 #s(literal 1/2 binary64) %241)
(fma.f64 %174 #s(literal 1/2 binary64) %243)
(fma.f64 %174 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %21 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %9 %10 #s(literal 1 binary64))
(fma.f64 %12 %13 #s(literal 1 binary64))
(fma.f64 %12 %12 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %174 %241)
(fma.f64 #s(literal 1/2 binary64) %174 %243)
(fma.f64 #s(literal 1/2 binary64) %174 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %21 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %178 %179)
(fma.f64 %8 %8 #s(literal 1 binary64))
(fma.f64 %28 %28 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %179 %241)
(fma.f64 #s(literal 2 binary64) %179 %243)
(fma.f64 #s(literal 2 binary64) %179 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %17 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %178 %178)
(fma.f64 %178 #s(literal 1/2 binary64) %179)
(fma.f64 %178 #s(literal 0 binary64) %178)
(fma.f64 %178 #s(literal 1 binary64) %241)
(fma.f64 %178 #s(literal 1 binary64) %243)
(fma.f64 %178 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %3 #s(literal 1 binary64) #s(literal 1 binary64))
%178
(fma.f64 #s(literal 1 binary64) %195 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %179 %179)
(fma.f64 #s(literal 1 binary64) %178 %241)
(fma.f64 #s(literal 1 binary64) %178 %243)
(fma.f64 #s(literal 1 binary64) %178 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %3 #s(literal 1 binary64))
(-.f64 (+.f64 %178 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 %195 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %3))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %64))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %195))
(-.f64 #s(literal 0 binary64) %218)
(-.f64 %178 #s(literal 0 binary64))
(-.f64 %3 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %133)
(-.f64 #s(literal 1 binary64) %65)
(-.f64 #s(literal 1 binary64) %67)
(-.f64 #s(literal 1 binary64) %64)
(+.f64 %241 %178)
(+.f64 %300 #s(literal 1/2 binary64))
(+.f64 %243 %178)
(+.f64 %195 #s(literal 1/2 binary64))
(+.f64 %179 %179)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %195))
(+.f64 #s(literal 1/2 binary64) %300)
(+.f64 #s(literal 1/2 binary64) %195)
(+.f64 #s(literal 0 binary64) %178)
(+.f64 %178 %241)
(+.f64 %178 %243)
(+.f64 %178 #s(literal 0 binary64))
(+.f64 %3 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) %3)
(*.f64 %316 #s(literal 2 binary64))
(*.f64 %319 #s(literal 1/2 binary64))
(*.f64 %179 %318)
(*.f64 %323 #s(literal 2 binary64))
(*.f64 %174 %322)
(*.f64 #s(literal 4 binary64) %326)
(*.f64 %318 %328)
(*.f64 %318 %330)
(*.f64 %318 %179)
(*.f64 %322 %334)
(*.f64 %322 %174)
(*.f64 %337 %218)
(*.f64 %218 %337)
(*.f64 #s(literal 1/2 binary64) %340)
(*.f64 #s(literal 1/2 binary64) %342)
(*.f64 #s(literal 1/2 binary64) %344)
(*.f64 #s(literal 1/2 binary64) %347)
(*.f64 #s(literal 1/2 binary64) %350)
(*.f64 #s(literal 1/2 binary64) %353)
(*.f64 #s(literal 1/2 binary64) %319)
(*.f64 #s(literal 2 binary64) %356)
(*.f64 #s(literal 2 binary64) %361)
(*.f64 #s(literal 2 binary64) %323)
(*.f64 %315 #s(literal 1 binary64))
%315
(*.f64 #s(literal 1 binary64) %315)
(*.f64 x %178)
(pow.f64 %315 #s(literal 1 binary64))
(/.f64 (*.f64 %315 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 x %174) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %323) #s(literal 4 binary64))
(/.f64 %340 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %315) #s(literal -2 binary64))
(/.f64 %342 #s(literal 2 binary64))
(/.f64 %344 #s(literal 2 binary64))
(/.f64 (*.f64 %174 %318) #s(literal 4 binary64))
(/.f64 (*.f64 %318 %174) #s(literal 4 binary64))
(/.f64 %319 #s(literal 2 binary64))
(/.f64 %315 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %315 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) %323))
(neg.f64 (*.f64 #s(literal -1 binary64) %315))
(neg.f64 (*.f64 %315 #s(literal -1 binary64)))
(neg.f64 (-.f64 %337 %393))
(neg.f64 (*.f64 %218 x))
(fma.f64 (*.f64 %398 %9) %9 x)
(fma.f64 %316 #s(literal 2 binary64) %401)
(fma.f64 %316 #s(literal 2 binary64) %403)
(fma.f64 %316 #s(literal 2 binary64) %241)
(fma.f64 %316 #s(literal 2 binary64) %406)
(fma.f64 %316 #s(literal 2 binary64) %408)
(fma.f64 %316 #s(literal 2 binary64) %243)
(fma.f64 %316 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %393 #s(literal 1/2 binary64)) #s(literal 2 binary64) x)
(fma.f64 %414 #s(literal 2 binary64) %415)
(fma.f64 %414 #s(literal 2 binary64) %418)
(fma.f64 %414 #s(literal 2 binary64) %420)
(fma.f64 %414 #s(literal 2 binary64) %422)
(fma.f64 %424 #s(literal 2 binary64) %415)
(fma.f64 %424 #s(literal 2 binary64) %418)
(fma.f64 %424 #s(literal 2 binary64) %420)
(fma.f64 %424 #s(literal 2 binary64) %422)
(fma.f64 #s(literal 1/4 binary64) %318 %415)
(fma.f64 #s(literal 1/4 binary64) %318 %418)
(fma.f64 #s(literal 1/4 binary64) %318 %420)
(fma.f64 #s(literal 1/4 binary64) %318 %422)
(fma.f64 %195 x %322)
(fma.f64 %352 #s(literal -1/2 binary64) x)
(fma.f64 %319 #s(literal 1/2 binary64) %401)
(fma.f64 %319 #s(literal 1/2 binary64) %403)
(fma.f64 %319 #s(literal 1/2 binary64) %241)
(fma.f64 %319 #s(literal 1/2 binary64) %406)
(fma.f64 %319 #s(literal 1/2 binary64) %408)
(fma.f64 %319 #s(literal 1/2 binary64) %243)
(fma.f64 %319 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %346 #s(literal 1/2 binary64) x)
(fma.f64 (*.f64 %20 x) %16 x)
(fma.f64 %20 %358 x)
(fma.f64 (*.f64 %318 %28) %91 x)
(fma.f64 (neg.f64 %20) (*.f64 %322 %28) x)
(fma.f64 (*.f64 %318 %8) %93 x)
(fma.f64 (fabs.f64 %20) (*.f64 %322 %8) x)
(fma.f64 %179 %318 %401)
(fma.f64 %179 %318 %403)
(fma.f64 %179 %318 %241)
(fma.f64 %179 %318 %406)
(fma.f64 %179 %318 %408)
(fma.f64 %179 %318 %243)
(fma.f64 %179 %318 #s(literal 0 binary64))
(fma.f64 %323 #s(literal 2 binary64) %401)
(fma.f64 %323 #s(literal 2 binary64) %403)
(fma.f64 %323 #s(literal 2 binary64) %241)
(fma.f64 %323 #s(literal 2 binary64) %406)
(fma.f64 %323 #s(literal 2 binary64) %408)
(fma.f64 %323 #s(literal 2 binary64) %243)
(fma.f64 %323 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %17 %318 x)
(fma.f64 %359 #s(literal 2 binary64) x)
(fma.f64 %349 (*.f64 #s(literal 1/2 binary64) %64) x)
(fma.f64 %475 %13 x)
(fma.f64 %475 %12 x)
(fma.f64 %174 %322 %401)
(fma.f64 %174 %322 %403)
(fma.f64 %174 %322 %241)
(fma.f64 %174 %322 %406)
(fma.f64 %174 %322 %408)
(fma.f64 %174 %322 %243)
(fma.f64 %174 %322 #s(literal 0 binary64))
(fma.f64 %21 %322 x)
(fma.f64 %333 %360 x)
(fma.f64 #s(literal 4 binary64) %326 %401)
(fma.f64 #s(literal 4 binary64) %326 %403)
(fma.f64 #s(literal 4 binary64) %326 %241)
(fma.f64 #s(literal 4 binary64) %326 %406)
(fma.f64 #s(literal 4 binary64) %326 %408)
(fma.f64 #s(literal 4 binary64) %326 %243)
(fma.f64 #s(literal 4 binary64) %326 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 #s(literal 1/2 binary64) %359) x)
(fma.f64 %9 (*.f64 %9 %398) x)
(fma.f64 %398 %8 x)
(fma.f64 %499 %28 x)
(fma.f64 %501 y x)
(fma.f64 %318 (*.f64 #s(literal -1/2 binary64) %64) x)
(fma.f64 %318 %328 %401)
(fma.f64 %318 %328 %403)
(fma.f64 %318 %328 %241)
(fma.f64 %318 %328 %406)
(fma.f64 %318 %328 %408)
(fma.f64 %318 %328 %243)
(fma.f64 %318 %328 #s(literal 0 binary64))
(fma.f64 %318 (*.f64 %17 #s(literal 1 binary64)) x)
(fma.f64 %318 %330 %401)
(fma.f64 %318 %330 %403)
(fma.f64 %318 %330 %241)
(fma.f64 %318 %330 %406)
(fma.f64 %318 %330 %408)
(fma.f64 %318 %330 %243)
(fma.f64 %318 %330 #s(literal 0 binary64))
(fma.f64 %318 #s(literal 1/4 binary64) %415)
(fma.f64 %318 #s(literal 1/4 binary64) %418)
(fma.f64 %318 #s(literal 1/4 binary64) %420)
(fma.f64 %318 #s(literal 1/4 binary64) %422)
(fma.f64 %318 %179 %401)
(fma.f64 %318 %179 %403)
(fma.f64 %318 %179 %241)
(fma.f64 %318 %179 %406)
(fma.f64 %318 %179 %408)
(fma.f64 %318 %179 %243)
(fma.f64 %318 %179 #s(literal 0 binary64))
(fma.f64 %318 %17 x)
(fma.f64 %322 %334 %401)
(fma.f64 %322 %334 %403)
(fma.f64 %322 %334 %241)
(fma.f64 %322 %334 %406)
(fma.f64 %322 %334 %408)
(fma.f64 %322 %334 %243)
(fma.f64 %322 %334 #s(literal 0 binary64))
(fma.f64 %322 %174 %401)
(fma.f64 %322 %174 %403)
(fma.f64 %322 %174 %241)
(fma.f64 %322 %174 %406)
(fma.f64 %322 %174 %408)
(fma.f64 %322 %174 %243)
(fma.f64 %322 %174 #s(literal 0 binary64))
(fma.f64 %322 %21 x)
(fma.f64 %322 %178 %323)
(fma.f64 %322 #s(literal 1 binary64) %415)
(fma.f64 %322 #s(literal 1 binary64) %418)
(fma.f64 %322 #s(literal 1 binary64) %420)
(fma.f64 %322 #s(literal 1 binary64) %422)
(fma.f64 %337 %218 %401)
(fma.f64 %337 %218 %403)
(fma.f64 %337 %218 %241)
(fma.f64 %337 %218 %406)
(fma.f64 %337 %218 %408)
(fma.f64 %337 %218 %243)
(fma.f64 %337 %218 #s(literal 0 binary64))
(fma.f64 %337 %64 x)
(fma.f64 #s(literal -2 binary64) (*.f64 %322 %64) x)
(fma.f64 %218 %337 %401)
(fma.f64 %218 %337 %403)
(fma.f64 %218 %337 %241)
(fma.f64 %218 %337 %406)
(fma.f64 %218 %337 %408)
(fma.f64 %218 %337 %243)
(fma.f64 %218 %337 #s(literal 0 binary64))
(fma.f64 %417 #s(literal -1 binary64) x)
(fma.f64 #s(literal -1 binary64) %417 x)
(fma.f64 %12 %475 x)
(fma.f64 #s(literal 1/2 binary64) %340 %401)
(fma.f64 #s(literal 1/2 binary64) %340 %403)
(fma.f64 #s(literal 1/2 binary64) %340 %241)
(fma.f64 #s(literal 1/2 binary64) %340 %406)
(fma.f64 #s(literal 1/2 binary64) %340 %408)
(fma.f64 #s(literal 1/2 binary64) %340 %243)
(fma.f64 #s(literal 1/2 binary64) %340 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %342 %401)
(fma.f64 #s(literal 1/2 binary64) %342 %403)
(fma.f64 #s(literal 1/2 binary64) %342 %241)
(fma.f64 #s(literal 1/2 binary64) %342 %406)
(fma.f64 #s(literal 1/2 binary64) %342 %408)
(fma.f64 #s(literal 1/2 binary64) %342 %243)
(fma.f64 #s(literal 1/2 binary64) %342 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %359) x)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %393) x)
(fma.f64 #s(literal 1/2 binary64) %344 %401)
(fma.f64 #s(literal 1/2 binary64) %344 %403)
(fma.f64 #s(literal 1/2 binary64) %344 %241)
(fma.f64 #s(literal 1/2 binary64) %344 %406)
(fma.f64 #s(literal 1/2 binary64) %344 %408)
(fma.f64 #s(literal 1/2 binary64) %344 %243)
(fma.f64 #s(literal 1/2 binary64) %344 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %347 %401)
(fma.f64 #s(literal 1/2 binary64) %347 %403)
(fma.f64 #s(literal 1/2 binary64) %347 %241)
(fma.f64 #s(literal 1/2 binary64) %347 %406)
(fma.f64 #s(literal 1/2 binary64) %347 %408)
(fma.f64 #s(literal 1/2 binary64) %347 %243)
(fma.f64 #s(literal 1/2 binary64) %347 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %350 %401)
(fma.f64 #s(literal 1/2 binary64) %350 %403)
(fma.f64 #s(literal 1/2 binary64) %350 %241)
(fma.f64 #s(literal 1/2 binary64) %350 %406)
(fma.f64 #s(literal 1/2 binary64) %350 %408)
(fma.f64 #s(literal 1/2 binary64) %350 %243)
(fma.f64 #s(literal 1/2 binary64) %350 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %353 %401)
(fma.f64 #s(literal 1/2 binary64) %353 %403)
(fma.f64 #s(literal 1/2 binary64) %353 %241)
(fma.f64 #s(literal 1/2 binary64) %353 %406)
(fma.f64 #s(literal 1/2 binary64) %353 %408)
(fma.f64 #s(literal 1/2 binary64) %353 %243)
(fma.f64 #s(literal 1/2 binary64) %353 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %319 %401)
(fma.f64 #s(literal 1/2 binary64) %319 %403)
(fma.f64 #s(literal 1/2 binary64) %319 %241)
(fma.f64 #s(literal 1/2 binary64) %319 %406)
(fma.f64 #s(literal 1/2 binary64) %319 %408)
(fma.f64 #s(literal 1/2 binary64) %319 %243)
(fma.f64 #s(literal 1/2 binary64) %319 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %346 x)
(fma.f64 #s(literal 1/2 binary64) %315 %323)
(fma.f64 #s(literal 1/2 binary64) x %415)
(fma.f64 #s(literal 1/2 binary64) x %418)
(fma.f64 #s(literal 1/2 binary64) x %420)
(fma.f64 #s(literal 1/2 binary64) x %422)
(fma.f64 %393 #s(literal 1 binary64) x)
(fma.f64 %64 %337 x)
(fma.f64 %8 %398 x)
(fma.f64 %28 %499 x)
(fma.f64 #s(literal 2 binary64) (*.f64 %360 %64) x)
(fma.f64 #s(literal 2 binary64) %356 %401)
(fma.f64 #s(literal 2 binary64) %356 %403)
(fma.f64 #s(literal 2 binary64) %356 %241)
(fma.f64 #s(literal 2 binary64) %356 %406)
(fma.f64 #s(literal 2 binary64) %356 %408)
(fma.f64 #s(literal 2 binary64) %356 %243)
(fma.f64 #s(literal 2 binary64) %356 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %359 #s(literal 1 binary64)) x)
(fma.f64 #s(literal 2 binary64) %414 %415)
(fma.f64 #s(literal 2 binary64) %414 %418)
(fma.f64 #s(literal 2 binary64) %414 %420)
(fma.f64 #s(literal 2 binary64) %414 %422)
(fma.f64 #s(literal 2 binary64) %424 %415)
(fma.f64 #s(literal 2 binary64) %424 %418)
(fma.f64 #s(literal 2 binary64) %424 %420)
(fma.f64 #s(literal 2 binary64) %424 %422)
(fma.f64 #s(literal 2 binary64) %361 %401)
(fma.f64 #s(literal 2 binary64) %361 %403)
(fma.f64 #s(literal 2 binary64) %361 %241)
(fma.f64 #s(literal 2 binary64) %361 %406)
(fma.f64 #s(literal 2 binary64) %361 %408)
(fma.f64 #s(literal 2 binary64) %361 %243)
(fma.f64 #s(literal 2 binary64) %361 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %323 %401)
(fma.f64 #s(literal 2 binary64) %323 %403)
(fma.f64 #s(literal 2 binary64) %323 %241)
(fma.f64 #s(literal 2 binary64) %323 %406)
(fma.f64 #s(literal 2 binary64) %323 %408)
(fma.f64 #s(literal 2 binary64) %323 %243)
(fma.f64 #s(literal 2 binary64) %323 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %359 x)
(fma.f64 #s(literal 0 binary64) %315 %315)
(fma.f64 %315 #s(literal 1/2 binary64) %316)
(fma.f64 %315 #s(literal 0 binary64) %315)
(fma.f64 %315 #s(literal 1 binary64) %401)
(fma.f64 %315 #s(literal 1 binary64) %403)
(fma.f64 %315 #s(literal 1 binary64) %241)
(fma.f64 %315 #s(literal 1 binary64) %406)
(fma.f64 %315 #s(literal 1 binary64) %408)
(fma.f64 %315 #s(literal 1 binary64) %243)
(fma.f64 %315 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %178 %322 %323)
(fma.f64 %178 x %401)
(fma.f64 %178 x %403)
(fma.f64 %178 x %241)
(fma.f64 %178 x %406)
(fma.f64 %178 x %408)
(fma.f64 %178 x %243)
(fma.f64 %178 x #s(literal 0 binary64))
(fma.f64 %3 x x)
(fma.f64 y %501 x)
(fma.f64 #s(literal 1 binary64) %323 %323)
(fma.f64 #s(literal 1 binary64) %322 %415)
(fma.f64 #s(literal 1 binary64) %322 %418)
(fma.f64 #s(literal 1 binary64) %322 %420)
(fma.f64 #s(literal 1 binary64) %322 %422)
(fma.f64 #s(literal 1 binary64) %393 x)
(fma.f64 #s(literal 1 binary64) %315 %401)
(fma.f64 #s(literal 1 binary64) %315 %403)
(fma.f64 #s(literal 1 binary64) %315 %241)
(fma.f64 #s(literal 1 binary64) %315 %406)
(fma.f64 #s(literal 1 binary64) %315 %408)
(fma.f64 #s(literal 1 binary64) %315 %243)
(fma.f64 #s(literal 1 binary64) %315 #s(literal 0 binary64))
(fma.f64 x %143 x)
(fma.f64 x %195 %322)
(fma.f64 x %179 %323)
(fma.f64 x #s(literal 1/2 binary64) %415)
(fma.f64 x #s(literal 1/2 binary64) %418)
(fma.f64 x #s(literal 1/2 binary64) %420)
(fma.f64 x #s(literal 1/2 binary64) %422)
(fma.f64 x %178 %401)
(fma.f64 x %178 %403)
(fma.f64 x %178 %241)
(fma.f64 x %178 %406)
(fma.f64 x %178 %408)
(fma.f64 x %178 %243)
(fma.f64 x %178 #s(literal 0 binary64))
(fma.f64 x %3 x)
(-.f64 %393 %337)
(-.f64 x %417)
(+.f64 (fma.f64 %501 y %322) %322)
(+.f64 %316 %316)
(+.f64 %403 %315)
(+.f64 %420 %322)
(+.f64 %408 %315)
(+.f64 %422 %322)
(+.f64 %323 %323)
(+.f64 %322 %415)
(+.f64 %322 %418)
(+.f64 %322 %420)
(+.f64 %322 %422)
(+.f64 %393 x)
(+.f64 %315 %401)
(+.f64 %315 %403)
(+.f64 %315 %241)
(+.f64 %315 %406)
(+.f64 %315 %408)
(+.f64 %315 %243)
(+.f64 %315 #s(literal 0 binary64))
(+.f64 x (+.f64 #s(literal 0 binary64) %393))
(+.f64 x (-.f64 #s(literal 0 binary64) %417))
(+.f64 x %393)
reconstruct51.0ms (3.4%)
Counts
592 → 49
Compiler
Compiled 592 to 755 computations (-27.5% saved)
eval4.0ms (0.3%)
Compiler
Compiled 45 to 136 computations (-202.2% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (5 fresh and 0 done)
PrunedKeptTotal
New40545
Fresh000
Picked101
Done000
Total41546
Accuracy
100.0%
Counts
46 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.8%
%18 = (fabs.f64 y)
%19 = (sqrt.f64 %18)
(fma.f64 %19 (*.f64 %19 (*.f64 %18 x)) x)
▶99.9%
(fma.f64 y (*.f64 y x) x)
▶95.5%
(fma.f64 x (*.f64 y y) x)
▶95.5%
(*.f64 x (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (fma.f64 y (+.f64 y y) #s(literal 2 binary64)))))
▶51.1%
(*.f64 x (approx (+ 1 (* y y)) #s(literal 1 binary64)))
Compiler
Compiled 5 to 19 computations (-280.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series22.0ms (1.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0169775
Stop Event
1×iter-limit
Counts
20 → 45
Calls
Call 1
Inputs
%3 = (*.f64 y y)
%8 = (approx (+ 1 (* y y)) #s(literal 1 binary64))
%9 = (fabs.f64 y)
%10 = (sqrt.f64 %9)
%11 = (+.f64 y y)
%12 = (fma.f64 y %11 #s(literal 2 binary64))
%13 = (/.f64 #s(literal 2 binary64) %12)
%14 = (/.f64 #s(literal 1 binary64) %13)
%15 = (*.f64 %9 x)
%16 = (*.f64 %10 %15)
%18 = (*.f64 y x)
x
#s(literal 1 binary64)
y
%3
#s(literal 2 binary64)
%8
%9
%10
%11
%12
%13
%14
%15
%16
(fma.f64 %10 %16 x)
%18
(fma.f64 y %18 x)
(fma.f64 x %3 x)
(*.f64 x %14)
(*.f64 x %8)
Outputs
%5 = (fabs y)
%6 = (* %5 x)
%7 = (fabs.f64 y)
%10 = (sqrt %5)
%11 = (* %10 %6)
%12 = (sqrt.f64 %7)
%17 = (+ (* %10 %11) x)
%21 = (*.f64 %7 (pow.f64 %12 #s(literal 2 binary64)))
%25 = (* y x)
%29 = (+ (* y %25) x)
%30 = (pow.f64 y #s(literal 2 binary64))
%31 = (+.f64 #s(literal 1 binary64) %30)
%36 = (+ y y)
%38 = (+ (* y %36) 2)
%39 = (/ 2 %38)
%43 = (*.f64 #s(literal 2 binary64) %30)
%44 = (+.f64 #s(literal 2 binary64) %43)
%54 = (*.f64 #s(literal -1 binary64) %30)
%60 = (* y y)
%62 = (+ 1 %60)
%71 = (+.f64 #s(literal 1 binary64) %54)
%85 = (*.f64 x %30)
%88 = (/.f64 #s(literal 1 binary64) %30)
%93 = (fabs.f64 (/.f64 #s(literal 1 binary64) y))
%94 = (*.f64 %30 %93)
%96 = (sqrt.f64 %93)
%109 = (pow.f64 y #s(literal 4 binary64))
%111 = (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %109))
%125 = (pow.f64 y #s(literal 3 binary64))
%131 = (*.f64 %93 (pow.f64 %96 #s(literal 2 binary64)))
%135 = (/.f64 x %109)
%145 = (fabs.f64 (/.f64 #s(literal -1 binary64) y))
%146 = (*.f64 %30 %145)
%150 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %145))
%162 = (*.f64 %145 (pow.f64 %150 #s(literal 2 binary64)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %6 (*.f64 x %7))
(approx %11 (*.f64 x (*.f64 %7 %12)))
(approx %17 (*.f64 x (+.f64 #s(literal 1 binary64) %21)))
(approx %25 (*.f64 x y))
(approx %29 (*.f64 x %31))
(approx (* x (/ 1 %39)) (*.f64 #s(literal 1/2 binary64) (*.f64 x %44)))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %21) #s(literal 1 binary64)))))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %54 #s(literal 1 binary64)))))
(approx y y)
(approx %60 %30)
(approx %62 #s(literal 1 binary64))
(approx %62 %31)
(approx %5 %7)
(approx %10 %12)
(approx %36 (*.f64 #s(literal 2 binary64) y))
(approx %38 #s(literal 2 binary64))
(approx %38 %44)
(approx %39 %71)
(approx %39 (+.f64 #s(literal 1 binary64) (*.f64 %30 (-.f64 %30 #s(literal 1 binary64)))))
(approx %39 (+.f64 #s(literal 1 binary64) (*.f64 %30 (-.f64 (*.f64 %30 %71) #s(literal 1 binary64)))))
(approx %17 (+.f64 x (*.f64 x %21)))
(approx %29 (+.f64 x %85))
(approx %62 (*.f64 %30 (+.f64 #s(literal 1 binary64) %88)))
(approx %5 %94)
(approx %10 (*.f64 y %96))
(approx %38 %43)
(approx %38 (*.f64 %30 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %88))))
(approx %39 %88)
(approx %39 (/.f64 (-.f64 #s(literal 1 binary64) %88) %30))
(approx %39 (/.f64 (-.f64 %111 %88) %30))
(approx %39 (/.f64 (-.f64 %111 (+.f64 %88 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 6 binary64))))) %30))
(approx %6 (*.f64 x %94))
(approx %11 (*.f64 x (*.f64 %125 (*.f64 %93 %96))))
(approx %17 (*.f64 x (*.f64 %109 %131)))
(approx %17 (*.f64 %109 (fma.f64 x %131 %135)))
(approx %29 %85)
(approx %29 (*.f64 %30 (+.f64 x (/.f64 x %30))))
(approx %5 (*.f64 #s(literal -1 binary64) %146))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y %150)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 x %146)))
(approx %11 (*.f64 x (*.f64 %125 (*.f64 %145 %150))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (*.f64 %109 %162))))
(approx %17 (*.f64 %109 (fma.f64 #s(literal -1 binary64) (*.f64 x %162) %135)))
Calls
6 calls:
TimeVariablePoint
5.0ms
x
inf
4.0ms
y
inf
2.0ms
y
-inf
2.0ms
y
0
1.0ms
x
0
rewrite101.0ms (6.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
022107
041120
113290
240387
3226387
0457986
0490182
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
20 → 1 247
Calls
Call 1
Inputs
%3 = (*.f64 y y)
%8 = (approx (+ 1 (* y y)) #s(literal 1 binary64))
%9 = (fabs.f64 y)
%10 = (sqrt.f64 %9)
%11 = (+.f64 y y)
%12 = (fma.f64 y %11 #s(literal 2 binary64))
%13 = (/.f64 #s(literal 2 binary64) %12)
%14 = (/.f64 #s(literal 1 binary64) %13)
%15 = (*.f64 %9 x)
%16 = (*.f64 %10 %15)
%18 = (*.f64 y x)
x
#s(literal 1 binary64)
y
%3
#s(literal 2 binary64)
%8
%9
%10
%11
%12
%13
%14
%15
%16
(fma.f64 %10 %16 x)
%18
(fma.f64 y %18 x)
(fma.f64 x %3 x)
(*.f64 x %14)
(*.f64 x %8)
Outputs
%4 = (+.f64 y y)
%5 = (*.f64 #s(literal 1/2 binary64) %4)
%7 = (*.f64 #s(literal 1/2 binary64) y)
%9 = (fabs.f64 y)
%10 = (*.f64 #s(literal 1/2 binary64) %9)
%11 = (fabs.f64 %4)
%13 = (neg.f64 y)
%14 = (*.f64 #s(literal 1/2 binary64) %13)
%16 = (*.f64 #s(literal -2 binary64) y)
%18 = (*.f64 %4 y)
%19 = (*.f64 %18 #s(literal 1 binary64))
%21 = (/.f64 %13 #s(literal 1/2 binary64))
%23 = (/.f64 %16 #s(literal 4 binary64))
%26 = (/.f64 %13 #s(literal 2 binary64))
%27 = (/.f64 %16 #s(literal 1 binary64))
%29 = (/.f64 %4 #s(literal 1/2 binary64))
%30 = (/.f64 y #s(literal 4 binary64))
%32 = (/.f64 %4 #s(literal 2 binary64))
%33 = (/.f64 y #s(literal 1 binary64))
%35 = (/.f64 %9 #s(literal 1/2 binary64))
%36 = (/.f64 %11 #s(literal 4 binary64))
%38 = (/.f64 %9 #s(literal 2 binary64))
%39 = (/.f64 %11 #s(literal 1 binary64))
%41 = (/.f64 y #s(literal 1/2 binary64))
%42 = (/.f64 %4 #s(literal 4 binary64))
%44 = (/.f64 y #s(literal 2 binary64))
%45 = (/.f64 %4 #s(literal 1 binary64))
%47 = (*.f64 %18 #s(literal 2 binary64))
%50 = (sqrt.f64 %9)
%51 = (neg.f64 %50)
%52 = (*.f64 %51 %9)
%54 = (*.f64 y y)
%55 = (/.f64 %54 #s(literal 4 binary64))
%57 = (neg.f64 %9)
%60 = (*.f64 %50 %9)
%62 = (*.f64 %16 #s(literal 1/2 binary64))
%64 = (/.f64 %16 #s(literal 2 binary64))
%69 = (*.f64 y #s(literal 1/2 binary64))
%73 = (*.f64 %11 #s(literal 1/2 binary64))
%75 = (/.f64 %11 #s(literal 2 binary64))
%78 = (*.f64 #s(literal 1/4 binary64) %18)
%80 = (*.f64 %54 #s(literal 1/2 binary64))
%82 = (/.f64 %54 #s(literal 2 binary64))
%84 = (*.f64 %4 #s(literal 1/2 binary64))
%89 = (pow.f64 y #s(literal 8 binary64))
%93 = (*.f64 %54 %54)
%108 = (*.f64 #s(literal -2 binary64) %54)
%130 = (/.f64 %18 #s(literal -2 binary64))
%132 = (*.f64 %13 y)
%134 = (*.f64 #s(literal 1/2 binary64) %54)
%142 = (*.f64 %13 %50)
%143 = (neg.f64 %142)
%144 = (neg.f64 %51)
%151 = (*.f64 %51 %13)
%158 = (*.f64 %51 y)
%165 = (*.f64 %13 %51)
%176 = (*.f64 y %51)
%185 = (*.f64 %50 y)
%230 = (*.f64 %51 %142)
%233 = (*.f64 %51 %185)
%236 = (*.f64 %50 %142)
%239 = (*.f64 %50 %185)
%242 = (*.f64 %9 %13)
%245 = (*.f64 %13 %9)
%248 = (*.f64 y %9)
%251 = (*.f64 %9 y)
%344 = (approx (+ (* y y) 1) #s(literal 1 binary64))
%349 = (sqrt.f64 %60)
%350 = (sqrt.f64 %50)
%430 = (*.f64 y #s(literal 1 binary64))
%434 = (fma.f64 %4 y #s(literal 2 binary64))
%435 = (/.f64 #s(literal 1/2 binary64) %434)
%436 = (/.f64 #s(literal 2 binary64) %435)
%438 = (fma.f64 #s(literal -2 binary64) %54 #s(literal -2 binary64))
%440 = (/.f64 #s(literal 1 binary64) %435)
%442 = (/.f64 #s(literal 1 binary64) %434)
%443 = (/.f64 #s(literal 2 binary64) %442)
%445 = (*.f64 #s(literal 2 binary64) %434)
%448 = (fma.f64 y y #s(literal 1 binary64))
%453 = (fma.f64 %4 y #s(literal 1 binary64))
%458 = (/.f64 #s(literal -1 binary64) %434)
%462 = (/.f64 #s(literal 1 binary64) %448)
%467 = (/.f64 #s(literal -1 binary64) %442)
%469 = (*.f64 #s(literal -1 binary64) %434)
%472 = (fma.f64 y y #s(literal 2 binary64))
%479 = (*.f64 %448 #s(literal 2 binary64))
%491 = (/.f64 #s(literal 2 binary64) %458)
%494 = (*.f64 %434 #s(literal 2 binary64))
%498 = (*.f64 %54 #s(literal 1 binary64))
%500 = (*.f64 #s(literal 1/2 binary64) %448)
%506 = (*.f64 %438 #s(literal 1 binary64))
%509 = (neg.f64 %448)
%520 = (/.f64 #s(literal 0 binary64) %442)
%526 = (*.f64 #s(literal 1/2 binary64) %509)
%528 = (/.f64 #s(literal 1 binary64) %509)
%529 = (/.f64 #s(literal 1/2 binary64) %528)
%535 = (*.f64 %509 #s(literal 1 binary64))
%542 = (*.f64 #s(literal 4 binary64) %500)
%569 = (+.f64 #s(literal 1/2 binary64) %54)
%571 = (fma.f64 y y #s(literal 1/2 binary64))
%579 = (*.f64 %472 #s(literal 1 binary64))
%610 = (*.f64 %453 #s(literal 1 binary64))
%648 = (*.f64 %438 %434)
%651 = (*.f64 %434 %438)
%653 = (fma.f64 #s(literal 2 binary64) %448 %434)
%654 = (*.f64 %438 %438)
%663 = (*.f64 %434 #s(literal -1 binary64))
%707 = (/.f64 %434 #s(literal 1/2 binary64))
%730 = (*.f64 #s(literal 2 binary64) %528)
%738 = (*.f64 #s(literal 2 binary64) %462)
%763 = (*.f64 %448 #s(literal 0 binary64))
%765 = (*.f64 #s(literal 0 binary64) %448)
%767 = (/.f64 #s(literal 0 binary64) %462)
%867 = (*.f64 #s(literal 1/2 binary64) %472)
%897 = (*.f64 %472 #s(literal 1/2 binary64))
%917 = (*.f64 #s(literal -1/2 binary64) %108)
%919 = (*.f64 #s(literal 1/2 binary64) %453)
%924 = (*.f64 %108 #s(literal -1/2 binary64))
%926 = (*.f64 %453 #s(literal 1/2 binary64))
%931 = (/.f64 %453 #s(literal 2 binary64))
%933 = (/.f64 %472 #s(literal 2 binary64))
%956 = (+.f64 x x)
%964 = (*.f64 %50 x)
%968 = (*.f64 %9 x)
%988 = (*.f64 %968 %50)
%998 = (*.f64 (*.f64 %448 %956) #s(literal 1/2 binary64))
%999 = (*.f64 #s(literal 1/2 binary64) x)
%1001 = (*.f64 (/.f64 %999 #s(literal -1 binary64)) %438)
%1002 = (/.f64 x #s(literal 1/2 binary64))
%1003 = (*.f64 %1002 %500)
%1004 = (/.f64 x #s(literal 4 binary64))
%1005 = (*.f64 %707 %1004)
%1007 = (*.f64 (/.f64 %956 %442) #s(literal 1/4 binary64))
%1009 = (*.f64 (/.f64 %956 #s(literal -2 binary64)) %509)
%1010 = (/.f64 x %442)
%1011 = (*.f64 %1010 #s(literal 1/2 binary64))
%1012 = (*.f64 %956 %500)
%1013 = (*.f64 %434 x)
%1014 = (*.f64 %1013 #s(literal 1/2 binary64))
%1015 = (*.f64 x #s(literal -1/2 binary64))
%1016 = (*.f64 %1015 %467)
%1017 = (*.f64 %1015 %438)
%1018 = (*.f64 %438 x)
%1019 = (*.f64 #s(literal -1/2 binary64) %1018)
%1021 = (*.f64 #s(literal -1/2 binary64) (/.f64 x %458))
%1022 = (*.f64 %999 %434)
%1023 = (neg.f64 x)
%1024 = (*.f64 %1023 %509)
%1025 = (*.f64 %438 %1015)
%1026 = (*.f64 %509 x)
%1027 = (*.f64 #s(literal -1 binary64) %1026)
%1028 = (/.f64 x %528)
%1029 = (*.f64 #s(literal -1 binary64) %1028)
%1030 = (*.f64 %448 x)
%1031 = (*.f64 #s(literal 2 binary64) %1030)
%1032 = (*.f64 #s(literal 1/2 binary64) %1031)
%1033 = (*.f64 #s(literal 1/2 binary64) %1010)
%1034 = (*.f64 #s(literal 1/2 binary64) %1013)
%1035 = (*.f64 %1030 #s(literal 1 binary64))
%1036 = (/.f64 x #s(literal 1 binary64))
%1037 = (*.f64 %448 %1036)
%1038 = (*.f64 %434 %999)
%1040 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) %1013))
%1042 = (*.f64 #s(literal 2 binary64) (*.f64 %500 x))
%1044 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %1030))
%1045 = (*.f64 #s(literal 1 binary64) %1030)
%1046 = (*.f64 x %448)
%1047 = (pow.f64 %1030 #s(literal 1 binary64))
%1049 = (/.f64 (*.f64 #s(literal -1 binary64) %1013) #s(literal -2 binary64))
%1050 = (/.f64 %1031 #s(literal 2 binary64))
%1052 = (/.f64 (/.f64 %1013 #s(literal 1/2 binary64)) #s(literal 4 binary64))
%1054 = (/.f64 (/.f64 %999 #s(literal 2 binary64)) %435)
%1055 = (/.f64 %1018 #s(literal -2 binary64))
%1057 = (/.f64 (*.f64 x %438) #s(literal -2 binary64))
%1058 = (/.f64 %1010 #s(literal 2 binary64))
%1060 = (/.f64 (*.f64 #s(literal 2 binary64) %1013) #s(literal 4 binary64))
%1062 = (/.f64 (*.f64 #s(literal 2 binary64) %1023) %730)
%1064 = (/.f64 (neg.f64 %1013) #s(literal -2 binary64))
%1065 = (/.f64 %956 %738)
%1066 = (/.f64 %1013 #s(literal 2 binary64))
%1067 = (/.f64 %1015 %458)
%1068 = (/.f64 %999 %442)
%1069 = (/.f64 %1023 %528)
%1070 = (/.f64 %1030 #s(literal 1 binary64))
%1072 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1013))
%1074 = (/.f64 #s(literal 1 binary64) (/.f64 %442 %999))
%1076 = (/.f64 #s(literal 1 binary64) (/.f64 %528 %1023))
%1078 = (/.f64 #s(literal 1 binary64) (pow.f64 %1030 #s(literal -1 binary64)))
%1080 = (/.f64 #s(literal 1 binary64) (/.f64 %462 x))
%1081 = (/.f64 x %462)
%1082 = (neg.f64 %1026)
%1084 = (neg.f64 (*.f64 #s(literal -1 binary64) %1030))
%1086 = (neg.f64 (*.f64 %1015 %434))
%1088 = (neg.f64 (*.f64 %999 %438))
%1090 = (neg.f64 (*.f64 x %509))
%1092 = (neg.f64 (/.f64 %1013 #s(literal -2 binary64)))
%1094 = (neg.f64 (/.f64 %1023 %462))
%1095 = (neg.f64 %1028)
%1096 = (*.f64 %132 x)
%1098 = (neg.f64 (-.f64 %1096 x))
%1100 = (neg.f64 (neg.f64 %1030))
%1102 = (fma.f64 (*.f64 %54 %956) #s(literal 1/2 binary64) x)
%1104 = (fma.f64 (*.f64 x %57) %57 x)
%1105 = (fma.f64 %498 x x)
%1106 = (/.f64 %956 #s(literal 1/2 binary64))
%1107 = (*.f64 %999 %453)
%1108 = (fma.f64 %1106 #s(literal 1/8 binary64) %1107)
%1109 = (*.f64 %453 %999)
%1110 = (fma.f64 %1106 #s(literal 1/8 binary64) %1109)
%1111 = (fma.f64 %1002 #s(literal 1/4 binary64) %1107)
%1112 = (fma.f64 %1002 #s(literal 1/4 binary64) %1109)
%1113 = (fma.f64 %453 %999 %999)
%1114 = (*.f64 %54 %999)
%1115 = (fma.f64 %472 %999 %1114)
%1116 = (fma.f64 %956 %134 x)
%1117 = (fma.f64 %956 #s(literal 1/4 binary64) %1107)
%1118 = (fma.f64 %956 #s(literal 1/4 binary64) %1109)
%1119 = (*.f64 %1023 y)
%1120 = (fma.f64 %1119 %13 x)
%1121 = (fma.f64 %964 %60 x)
%1122 = (*.f64 %1015 #s(literal -2 binary64))
%1123 = (fma.f64 %1015 %108 %1122)
%1124 = (*.f64 %1015 %108)
%1125 = (fma.f64 %1015 #s(literal -2 binary64) %1124)
%1126 = (*.f64 %51 %968)
%1127 = (fma.f64 %1126 %51 x)
%1128 = (*.f64 #s(literal -2 binary64) %1015)
%1129 = (fma.f64 %108 %1015 %1128)
%1130 = (fma.f64 %999 %453 %999)
%1131 = (*.f64 %999 %54)
%1132 = (fma.f64 %999 %472 %1131)
%1133 = (fma.f64 %999 %18 x)
%1134 = (*.f64 %999 %472)
%1135 = (fma.f64 %999 %54 %1134)
%1136 = (fma.f64 %999 #s(literal 1 binary64) %1107)
%1137 = (fma.f64 %999 #s(literal 1 binary64) %1109)
%1139 = (fma.f64 %57 (*.f64 %57 x) x)
%1140 = (fma.f64 %51 %1126 x)
%1141 = (fma.f64 %60 %964 x)
%1142 = (*.f64 %108 %1015)
%1143 = (fma.f64 #s(literal -2 binary64) %1015 %1142)
%1144 = (fma.f64 %13 %1119 x)
%1145 = (fma.f64 #s(literal 1/2 binary64) %1036 %1107)
%1146 = (fma.f64 #s(literal 1/2 binary64) %1036 %1109)
%1147 = (fma.f64 #s(literal 1/2 binary64) x %1107)
%1148 = (fma.f64 #s(literal 1/2 binary64) x %1109)
%1149 = (*.f64 y x)
%1150 = (*.f64 %1149 y)
%1151 = (fma.f64 %1150 #s(literal 1 binary64) x)
%1152 = (fma.f64 %18 %999 x)
%1153 = (fma.f64 %1149 y x)
%1154 = (fma.f64 %988 %50 x)
%1155 = (fma.f64 %968 %9 x)
%1156 = (fma.f64 %50 %988 x)
%1157 = (fma.f64 %9 %968 x)
%1158 = (fma.f64 #s(literal 2 binary64) %1004 %1107)
%1159 = (fma.f64 #s(literal 2 binary64) %1004 %1109)
%1160 = (*.f64 %472 %999)
%1161 = (fma.f64 %54 %999 %1160)
%1162 = (fma.f64 %54 x x)
%1163 = (fma.f64 y %1149 x)
%1164 = (fma.f64 #s(literal 1 binary64) %999 %1107)
%1165 = (fma.f64 #s(literal 1 binary64) %999 %1109)
%1166 = (fma.f64 #s(literal 1 binary64) %1150 x)
%1167 = (fma.f64 x #s(literal 1/2 binary64) %1107)
%1168 = (fma.f64 x #s(literal 1/2 binary64) %1109)
%1169 = (fma.f64 x %54 x)
%1170 = (-.f64 %1150 %1023)
%1171 = (-.f64 x %1096)
%1172 = (+.f64 %1124 %1122)
%1173 = (+.f64 %1122 %1124)
%1174 = (+.f64 %1107 %999)
%1175 = (+.f64 %1134 %1131)
%1176 = (*.f64 %999 %18)
%1177 = (+.f64 %1176 x)
%1178 = (+.f64 %1131 %1134)
%1179 = (+.f64 %1142 %1128)
%1180 = (+.f64 %1128 %1142)
%1181 = (+.f64 %1109 %999)
%1182 = (+.f64 %1160 %1114)
%1183 = (*.f64 %18 %999)
%1184 = (+.f64 %1183 x)
%1185 = (+.f64 %1114 %1160)
%1186 = (+.f64 %999 %1107)
%1187 = (+.f64 %999 %1109)
%1188 = (+.f64 %1150 x)
%1189 = (+.f64 x %1176)
%1190 = (+.f64 x %1183)
%1193 = (+.f64 x (*.f64 (neg.f64 %1119) y))
%1196 = (+.f64 x (*.f64 (neg.f64 %1126) %50))
%1198 = (+.f64 x (*.f64 %144 %988))
%1199 = (+.f64 x %1150)
%1216 = (*.f64 %344 x)
x
#s(literal 1 binary64)
y
(*.f64 %5 y)
(*.f64 %7 %4)
(*.f64 %10 %11)
(*.f64 %14 %16)
(*.f64 %19 #s(literal 1/2 binary64))
(*.f64 %21 %23)
(*.f64 %26 %27)
(*.f64 %29 %30)
(*.f64 %32 %33)
(*.f64 %35 %36)
(*.f64 %38 %39)
(*.f64 %41 %42)
(*.f64 %44 %45)
(*.f64 %47 #s(literal 1/4 binary64))
(*.f64 %52 %51)
(*.f64 #s(literal 4 binary64) %55)
(*.f64 %57 %57)
(*.f64 %51 %52)
(*.f64 %60 %50)
(*.f64 %13 %62)
(*.f64 %13 %64)
(*.f64 %13 %13)
(*.f64 #s(literal 1/2 binary64) %18)
(*.f64 %18 #s(literal 1/2 binary64))
(*.f64 %4 %69)
(*.f64 %4 %44)
(*.f64 %50 %60)
(*.f64 %9 %73)
(*.f64 %9 %75)
(*.f64 %9 %9)
(*.f64 #s(literal 2 binary64) %78)
(*.f64 #s(literal 2 binary64) %80)
(*.f64 #s(literal 2 binary64) %82)
(*.f64 y %84)
(*.f64 y %32)
%54
(*.f64 #s(literal 1 binary64) %54)
(pow.f64 %89 #s(literal 1/4 binary64))
(pow.f64 %57 #s(literal 2 binary64))
(pow.f64 %51 #s(literal 4 binary64))
(pow.f64 %93 #s(literal 1/2 binary64))
(pow.f64 %13 #s(literal 2 binary64))
(pow.f64 %50 #s(literal 4 binary64))
(pow.f64 %9 #s(literal 2 binary64))
(pow.f64 %54 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 (*.f64 %18 #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %18) #s(literal -2 binary64))
(/.f64 (/.f64 %18 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 %19 #s(literal 2 binary64))
(/.f64 %108 #s(literal -2 binary64))
(/.f64 %18 #s(literal 2 binary64))
(/.f64 %54 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %57 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %93 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %50 #s(literal -4 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %18))
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %54 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(neg.f64 %130)
(neg.f64 %132)
(fma.f64 #s(literal 1/2 binary64) %54 %134)
(fma.f64 %54 #s(literal 1/2 binary64) %80)
(-.f64 %82 (/.f64 %132 #s(literal 2 binary64)))
(sqrt.f64 (/.f64 %93 #s(literal 1 binary64)))
(sqrt.f64 %93)
(fabs.f64 (*.f64 %143 %144))
(fabs.f64 (*.f64 %143 %51))
(fabs.f64 (*.f64 %143 %50))
(fabs.f64 (*.f64 %151 %144))
(fabs.f64 (*.f64 %151 %51))
(fabs.f64 (*.f64 %151 %50))
(fabs.f64 (*.f64 %158 %144))
(fabs.f64 (*.f64 %158 %51))
(fabs.f64 (*.f64 %158 %50))
(fabs.f64 (*.f64 %165 %144))
(fabs.f64 (*.f64 %165 %51))
(fabs.f64 (*.f64 %165 %50))
(fabs.f64 (*.f64 %52 %144))
(fabs.f64 (*.f64 %52 %50))
(fabs.f64 (*.f64 %176 %144))
(fabs.f64 (*.f64 %176 %51))
(fabs.f64 (*.f64 %176 %50))
(fabs.f64 (*.f64 %142 %144))
(fabs.f64 (*.f64 %185 %144))
(fabs.f64 (*.f64 %60 %144))
(fabs.f64 (*.f64 %144 %143))
(fabs.f64 (*.f64 %144 %151))
(fabs.f64 (*.f64 %144 %158))
(fabs.f64 (*.f64 %144 %165))
(fabs.f64 (*.f64 %144 %52))
(fabs.f64 (*.f64 %144 %176))
(fabs.f64 (*.f64 %144 %142))
(fabs.f64 (*.f64 %144 %185))
(fabs.f64 (*.f64 %144 %60))
(fabs.f64 (*.f64 %51 %143))
(fabs.f64 (*.f64 %51 %151))
(fabs.f64 (*.f64 %51 %158))
(fabs.f64 (*.f64 %51 %165))
(fabs.f64 (*.f64 %51 %176))
(fabs.f64 (*.f64 %50 %143))
(fabs.f64 (*.f64 %50 %151))
(fabs.f64 (*.f64 %50 %158))
(fabs.f64 (*.f64 %50 %165))
(fabs.f64 (*.f64 %50 %52))
(fabs.f64 (*.f64 %50 %176))
(fabs.f64 (*.f64 #s(literal -1 binary64) %230))
(fabs.f64 (*.f64 #s(literal -1 binary64) %233))
(fabs.f64 (*.f64 #s(literal -1 binary64) %236))
(fabs.f64 (*.f64 #s(literal -1 binary64) %239))
(fabs.f64 (*.f64 #s(literal -1 binary64) %242))
(fabs.f64 (*.f64 #s(literal -1 binary64) %245))
(fabs.f64 (*.f64 #s(literal -1 binary64) %248))
(fabs.f64 (*.f64 #s(literal -1 binary64) %251))
(fabs.f64 (*.f64 #s(literal -1 binary64) %132))
(fabs.f64 (*.f64 #s(literal -1 binary64) %54))
(fabs.f64 (*.f64 #s(literal 1 binary64) %230))
(fabs.f64 (*.f64 #s(literal 1 binary64) %233))
(fabs.f64 (*.f64 #s(literal 1 binary64) %236))
(fabs.f64 (*.f64 #s(literal 1 binary64) %239))
(fabs.f64 (*.f64 #s(literal 1 binary64) %242))
(fabs.f64 (*.f64 #s(literal 1 binary64) %245))
(fabs.f64 (*.f64 #s(literal 1 binary64) %248))
(fabs.f64 (*.f64 #s(literal 1 binary64) %251))
(fabs.f64 (/.f64 %230 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %230 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %233 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %233 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %236 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %236 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %239 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %239 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %242 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %242 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %245 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %245 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %248 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %248 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %251 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %251 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %132 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %132 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %54 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %142 %51))
(fabs.f64 (*.f64 %185 %51))
(fabs.f64 (*.f64 %142 %50))
(fabs.f64 (*.f64 %185 %50))
(fabs.f64 (*.f64 %57 %13))
(fabs.f64 (*.f64 %57 y))
(fabs.f64 (*.f64 %13 %57))
(fabs.f64 (*.f64 y %57))
(fabs.f64 %230)
(fabs.f64 %233)
(fabs.f64 %236)
(fabs.f64 %239)
(fabs.f64 %242)
(fabs.f64 %245)
(fabs.f64 %248)
(fabs.f64 %251)
(fabs.f64 %132)
(fabs.f64 %54)
(+.f64 %134 %134)
(+.f64 %80 %80)
(+.f64 %82 %82)
#s(literal 2 binary64)
(*.f64 #s(literal 1 binary64) %344)
(pow.f64 %344 #s(literal 1 binary64))
%344
(/.f64 #s(literal 1 binary64) (pow.f64 %344 #s(literal -1 binary64)))
(*.f64 %349 %350)
(*.f64 %144 %144)
(*.f64 %350 %349)
(*.f64 %51 %51)
(*.f64 %50 %50)
(*.f64 #s(literal 1 binary64) %9)
(pow.f64 %144 #s(literal 2 binary64))
(pow.f64 %89 #s(literal 1/8 binary64))
(pow.f64 %51 #s(literal 2 binary64))
(pow.f64 %93 #s(literal 1/4 binary64))
(pow.f64 %50 #s(literal 2 binary64))
(pow.f64 %9 #s(literal 1 binary64))
(pow.f64 %54 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %51 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %93 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %54 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %50 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
(neg.f64 %57)
(sqrt.f64 %54)
(fabs.f64 (*.f64 #s(literal -1 binary64) %57))
(fabs.f64 (*.f64 #s(literal -1 binary64) %13))
(fabs.f64 (*.f64 #s(literal -1 binary64) %9))
(fabs.f64 (*.f64 #s(literal -1 binary64) y))
(fabs.f64 (*.f64 %144 %50))
(fabs.f64 (*.f64 %50 %144))
(fabs.f64 %57)
(fabs.f64 %13)
(fabs.f64 %9)
%9
(*.f64 %350 %350)
(*.f64 #s(literal 1 binary64) %50)
(pow.f64 %89 #s(literal 1/16 binary64))
(pow.f64 %350 #s(literal 2 binary64))
(pow.f64 %93 #s(literal 1/8 binary64))
(pow.f64 %50 #s(literal 1 binary64))
(pow.f64 %9 #s(literal 1/2 binary64))
(pow.f64 %54 #s(literal 1/4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %54 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %50 #s(literal -1 binary64)))
%50
(fabs.f64 (*.f64 #s(literal -1 binary64) %144))
(fabs.f64 (*.f64 #s(literal -1 binary64) %51))
(fabs.f64 (*.f64 #s(literal -1 binary64) %50))
(fabs.f64 (*.f64 #s(literal 1 binary64) %144))
(fabs.f64 %144)
(fabs.f64 %51)
(fabs.f64 %50)
(*.f64 %69 #s(literal 4 binary64))
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) y))
(*.f64 %4 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %16)
(fma.f64 y #s(literal 1 binary64) %430)
(-.f64 y %13)
(+.f64 %430 %430)
%4
(*.f64 #s(literal 1/4 binary64) %436)
(*.f64 #s(literal -1 binary64) %438)
(*.f64 #s(literal 1/2 binary64) %440)
(*.f64 #s(literal 1/2 binary64) %443)
(*.f64 #s(literal 1/2 binary64) %445)
(*.f64 %434 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %448)
(*.f64 #s(literal 1 binary64) %434)
(pow.f64 %442 #s(literal -1 binary64))
(pow.f64 %434 #s(literal 1 binary64))
(/.f64 (fma.f64 %453 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %445 #s(literal 2 binary64))
(/.f64 %438 #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) %458)
(/.f64 #s(literal 1/2 binary64) %435)
(/.f64 %434 #s(literal 1 binary64))
(/.f64 #s(literal 2 binary64) %462)
(/.f64 #s(literal 1 binary64) (/.f64 %442 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) %442)
(neg.f64 %467)
(neg.f64 %469)
(neg.f64 %438)
(fma.f64 %5 y %472)
(fma.f64 (*.f64 #s(literal 2 binary64) %57) %57 #s(literal 2 binary64))
(fma.f64 %7 %4 %472)
(fma.f64 %10 %11 %472)
(fma.f64 %14 %16 %472)
(fma.f64 %479 #s(literal 1/2 binary64) %448)
(fma.f64 %19 #s(literal 1/2 binary64) %472)
(fma.f64 %21 %23 %472)
(fma.f64 %26 %27 %472)
(fma.f64 %29 %30 %472)
(fma.f64 %32 %33 %472)
(fma.f64 %35 %36 %472)
(fma.f64 %38 %39 %472)
(fma.f64 %41 %42 %472)
(fma.f64 %44 %45 %472)
(fma.f64 %443 #s(literal 1/4 binary64) %448)
(fma.f64 #s(literal -1/4 binary64) %491 %448)
(fma.f64 %47 #s(literal 1/4 binary64) %472)
(fma.f64 %494 #s(literal 1/4 binary64) %448)
(fma.f64 %52 %51 %472)
(fma.f64 %453 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %472 #s(literal 1 binary64) %498)
(fma.f64 %500 #s(literal 2 binary64) %448)
(fma.f64 #s(literal 4 binary64) %55 %472)
(fma.f64 %16 %13 #s(literal 2 binary64))
(fma.f64 %11 %9 #s(literal 2 binary64))
(fma.f64 #s(literal -1/2 binary64) %467 %448)
(fma.f64 #s(literal -1/2 binary64) %506 %448)
(fma.f64 #s(literal -1/2 binary64) %438 %448)
(fma.f64 %509 #s(literal -1 binary64) %448)
(fma.f64 %57 (+.f64 %57 %57) #s(literal 2 binary64))
(fma.f64 %57 (-.f64 %57 %9) #s(literal 2 binary64))
(fma.f64 %57 %57 %472)
(fma.f64 %51 (*.f64 %51 %11) #s(literal 2 binary64))
(fma.f64 %51 %52 %472)
(fma.f64 #s(literal 1/4 binary64) %436 %520)
(fma.f64 #s(literal 1/4 binary64) %436 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %443 %448)
(fma.f64 %60 %50 %472)
(fma.f64 %438 #s(literal -1/2 binary64) %448)
(fma.f64 #s(literal -2 binary64) %526 %448)
(fma.f64 #s(literal -2 binary64) %529 %448)
(fma.f64 %13 %62 %472)
(fma.f64 %13 %64 %472)
(fma.f64 %13 %16 #s(literal 2 binary64))
(fma.f64 %13 %13 %472)
(fma.f64 #s(literal -1 binary64) %535 %448)
(fma.f64 #s(literal -1 binary64) %509 %448)
(fma.f64 #s(literal -1 binary64) %438 %520)
(fma.f64 #s(literal -1 binary64) %438 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %440 %520)
(fma.f64 #s(literal 1/2 binary64) %440 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %542 %448)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %54) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) %443 %520)
(fma.f64 #s(literal 1/2 binary64) %443 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %445 %520)
(fma.f64 #s(literal 1/2 binary64) %445 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %18 %472)
(fma.f64 #s(literal 1/2 binary64) %434 %448)
(fma.f64 %18 #s(literal 1/2 binary64) %472)
(fma.f64 %18 #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 %448 #s(literal 1 binary64) %448)
(fma.f64 %434 #s(literal 1/2 binary64) %448)
(fma.f64 %434 #s(literal 1 binary64) %520)
(fma.f64 %434 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %4 %69 %472)
(fma.f64 %4 %44 %472)
%434
(fma.f64 %50 (*.f64 %50 %11) #s(literal 2 binary64))
(fma.f64 %50 %60 %472)
(fma.f64 %9 %73 %472)
(fma.f64 %9 %75 %472)
(fma.f64 %9 %11 #s(literal 2 binary64))
(fma.f64 %9 %9 %472)
(fma.f64 #s(literal 2 binary64) %78 %472)
(fma.f64 #s(literal 2 binary64) %80 %472)
(fma.f64 #s(literal 2 binary64) %569 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %571 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %82 %472)
(fma.f64 #s(literal 2 binary64) %500 %448)
(fma.f64 #s(literal 2 binary64) %448 %520)
(fma.f64 #s(literal 2 binary64) %448 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %54 #s(literal 2 binary64))
(fma.f64 %54 #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 %54 #s(literal 1 binary64) %579)
(fma.f64 y %84 %472)
(fma.f64 y %32 %472)
(fma.f64 y %4 #s(literal 2 binary64))
(fma.f64 y y %472)
(fma.f64 #s(literal 1 binary64) %453 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %472 %54)
(fma.f64 #s(literal 1 binary64) %18 #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) %448 %448)
(fma.f64 #s(literal 1 binary64) %434 %520)
(fma.f64 #s(literal 1 binary64) %434 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %54 %472)
(-.f64 %453 #s(literal -1 binary64))
(-.f64 %472 %132)
(-.f64 %18 #s(literal -2 binary64))
(-.f64 #s(literal 2 binary64) %108)
(-.f64 %54 (-.f64 %132 #s(literal 2 binary64)))
(-.f64 %54 (fma.f64 %13 y #s(literal -2 binary64)))
(-.f64 %54 (neg.f64 %472))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) %18))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) %108))
(-.f64 #s(literal 1 binary64) (neg.f64 %453))
(+.f64 (fma.f64 #s(literal 2 binary64) %571 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %610 #s(literal 1 binary64))
(+.f64 %579 %498)
(+.f64 %19 #s(literal 2 binary64))
(+.f64 %498 %579)
(+.f64 %453 #s(literal 1 binary64))
(+.f64 %472 %54)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %453))
(+.f64 %18 #s(literal 2 binary64))
(+.f64 %448 %448)
(+.f64 %434 %520)
(+.f64 %434 #s(literal 0 binary64))
(+.f64 #s(literal 2 binary64) %19)
(+.f64 #s(literal 2 binary64) %18)
(+.f64 %54 %472)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %453))
(+.f64 #s(literal 1 binary64) %610)
(+.f64 #s(literal 1 binary64) %453)
(*.f64 (*.f64 %442 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %435 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %435)
(*.f64 %458 #s(literal -2 binary64))
(*.f64 %442 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %458)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %442))
(*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 4 binary64) %434))
(*.f64 %462 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %442)
(*.f64 #s(literal 1 binary64) %462)
(pow.f64 %462 #s(literal 1 binary64))
(/.f64 (fma.f64 %442 %438 #s(literal -1 binary64)) %438)
(/.f64 (fma.f64 #s(literal -1 binary64) %434 %438) %648)
(/.f64 (+.f64 %438 %469) %651)
(/.f64 %653 %654)
(/.f64 %653 (*.f64 %434 %434))
(/.f64 (fma.f64 #s(literal 2 binary64) %448 (*.f64 %438 #s(literal -1 binary64))) %654)
(/.f64 (fma.f64 #s(literal -1 binary64) %434 %506) %648)
(/.f64 (+.f64 %438 %663) %651)
(/.f64 #s(literal -2 binary64) %438)
(/.f64 #s(literal 2 binary64) %434)
%462
(neg.f64 %528)
(fma.f64 %435 #s(literal 2 binary64) %442)
(fma.f64 %442 #s(literal 1 binary64) %442)
(fma.f64 #s(literal -2 binary64) (/.f64 #s(literal 1/2 binary64) %438) %442)
(fma.f64 #s(literal -1 binary64) %458 %442)
(fma.f64 #s(literal 1/2 binary64) %462 %442)
(fma.f64 #s(literal 2 binary64) %435 %442)
(fma.f64 #s(literal 1 binary64) %442 %442)
(-.f64 %442 %458)
(+.f64 %442 %442)
(*.f64 %479 #s(literal 1/2 binary64))
(*.f64 %443 #s(literal 1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %491)
(*.f64 %494 #s(literal 1/4 binary64))
(*.f64 %500 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %467)
(*.f64 #s(literal -1/2 binary64) %506)
(*.f64 #s(literal -1/2 binary64) %438)
(*.f64 %509 #s(literal -1 binary64))
(*.f64 #s(literal 1/4 binary64) %443)
(*.f64 %438 #s(literal -1/2 binary64))
(*.f64 #s(literal -2 binary64) %526)
(*.f64 #s(literal -2 binary64) %529)
(*.f64 #s(literal -1 binary64) %535)
(*.f64 #s(literal -1 binary64) %509)
(*.f64 #s(literal 1/2 binary64) %542)
(*.f64 #s(literal 1/2 binary64) %434)
(*.f64 %448 #s(literal 1 binary64))
(*.f64 %434 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %500)
(*.f64 #s(literal 1 binary64) %448)
(pow.f64 %448 #s(literal 1 binary64))
(pow.f64 %462 #s(literal -1 binary64))
(/.f64 %479 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %509) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %47) #s(literal 4 binary64))
(/.f64 %707 #s(literal 4 binary64))
(/.f64 %506 #s(literal -2 binary64))
(/.f64 %663 #s(literal -2 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %18)) #s(literal 4 binary64))
(/.f64 (-.f64 %47 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 %469 #s(literal -2 binary64))
(/.f64 (*.f64 %438 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 %494 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %438) #s(literal -4 binary64))
(/.f64 %445 #s(literal 4 binary64))
(/.f64 #s(literal -1/2 binary64) %458)
(/.f64 #s(literal 1/4 binary64) %435)
(/.f64 %438 #s(literal -2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 %528 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) %730)
(/.f64 #s(literal -1 binary64) %528)
(/.f64 #s(literal 1/2 binary64) %442)
(/.f64 %448 #s(literal 1 binary64))
(/.f64 %434 #s(literal 2 binary64))
(/.f64 #s(literal 2 binary64) (*.f64 %462 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) %738)
(/.f64 #s(literal 1 binary64) (/.f64 %442 #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %448 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %528 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %462 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) %462)
(neg.f64 %535)
(neg.f64 (*.f64 %438 #s(literal 1/2 binary64)))
(neg.f64 (*.f64 %448 #s(literal -1 binary64)))
(neg.f64 (+.f64 #s(literal -1 binary64) %132))
(neg.f64 (-.f64 #s(literal -1 binary64) %54))
(neg.f64 %509)
(fma.f64 %5 y #s(literal 1 binary64))
(fma.f64 %7 %4 #s(literal 1 binary64))
(fma.f64 %10 %11 #s(literal 1 binary64))
(fma.f64 %14 %16 #s(literal 1 binary64))
(fma.f64 %479 #s(literal 1/2 binary64) %763)
(fma.f64 %479 #s(literal 1/2 binary64) %765)
(fma.f64 %479 #s(literal 1/2 binary64) %767)
(fma.f64 %479 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %19 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %21 %23 #s(literal 1 binary64))
(fma.f64 %26 %27 #s(literal 1 binary64))
(fma.f64 %29 %30 #s(literal 1 binary64))
(fma.f64 %32 %33 #s(literal 1 binary64))
(fma.f64 %35 %36 #s(literal 1 binary64))
(fma.f64 %38 %39 #s(literal 1 binary64))
(fma.f64 %41 %42 #s(literal 1 binary64))
(fma.f64 %44 %45 #s(literal 1 binary64))
(fma.f64 %443 #s(literal 1/8 binary64) %500)
(fma.f64 %443 #s(literal 1/4 binary64) %763)
(fma.f64 %443 #s(literal 1/4 binary64) %765)
(fma.f64 %443 #s(literal 1/4 binary64) %767)
(fma.f64 %443 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/4 binary64) %491 %763)
(fma.f64 #s(literal -1/4 binary64) %491 %765)
(fma.f64 #s(literal -1/4 binary64) %491 %767)
(fma.f64 #s(literal -1/4 binary64) %491 #s(literal 0 binary64))
(fma.f64 #s(literal -1/4 binary64) %438 %500)
(fma.f64 %47 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %494 #s(literal 1/4 binary64) %763)
(fma.f64 %494 #s(literal 1/4 binary64) %765)
(fma.f64 %494 #s(literal 1/4 binary64) %767)
(fma.f64 %494 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %52 %51 #s(literal 1 binary64))
(fma.f64 %453 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 %472 #s(literal 1/2 binary64) %80)
(fma.f64 %500 #s(literal 2 binary64) %763)
(fma.f64 %500 #s(literal 2 binary64) %765)
(fma.f64 %500 #s(literal 2 binary64) %767)
(fma.f64 %500 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %500 #s(literal 1 binary64) %500)
(fma.f64 #s(literal 4 binary64) %55 #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %467 %763)
(fma.f64 #s(literal -1/2 binary64) %467 %765)
(fma.f64 #s(literal -1/2 binary64) %467 %767)
(fma.f64 #s(literal -1/2 binary64) %467 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %506 %763)
(fma.f64 #s(literal -1/2 binary64) %506 %765)
(fma.f64 #s(literal -1/2 binary64) %506 %767)
(fma.f64 #s(literal -1/2 binary64) %506 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %108 #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %509 %500)
(fma.f64 #s(literal -1/2 binary64) %438 %763)
(fma.f64 #s(literal -1/2 binary64) %438 %765)
(fma.f64 #s(literal -1/2 binary64) %438 %767)
(fma.f64 #s(literal -1/2 binary64) %438 #s(literal 0 binary64))
(fma.f64 %108 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 %509 #s(literal -1 binary64) %763)
(fma.f64 %509 #s(literal -1 binary64) %765)
(fma.f64 %509 #s(literal -1 binary64) %767)
(fma.f64 %509 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %57 %57 #s(literal 1 binary64))
(fma.f64 %51 %52 #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) %443 %763)
(fma.f64 #s(literal 1/4 binary64) %443 %765)
(fma.f64 #s(literal 1/4 binary64) %443 %767)
(fma.f64 #s(literal 1/4 binary64) %443 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %434 %500)
(fma.f64 %60 %50 #s(literal 1 binary64))
(fma.f64 %438 #s(literal -1/2 binary64) %763)
(fma.f64 %438 #s(literal -1/2 binary64) %765)
(fma.f64 %438 #s(literal -1/2 binary64) %767)
(fma.f64 %438 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %526 %763)
(fma.f64 #s(literal -2 binary64) %526 %765)
(fma.f64 #s(literal -2 binary64) %526 %767)
(fma.f64 #s(literal -2 binary64) %526 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %529 %763)
(fma.f64 #s(literal -2 binary64) %529 %765)
(fma.f64 #s(literal -2 binary64) %529 %767)
(fma.f64 #s(literal -2 binary64) %529 #s(literal 0 binary64))
(fma.f64 %13 %62 #s(literal 1 binary64))
(fma.f64 %13 %64 #s(literal 1 binary64))
(fma.f64 %13 %13 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %535 %763)
(fma.f64 #s(literal -1 binary64) %535 %765)
(fma.f64 #s(literal -1 binary64) %535 %767)
(fma.f64 #s(literal -1 binary64) %535 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal 1/4 binary64) %458) %500)
(fma.f64 #s(literal -1 binary64) %509 %763)
(fma.f64 #s(literal -1 binary64) %509 %765)
(fma.f64 #s(literal -1 binary64) %509 %767)
(fma.f64 #s(literal -1 binary64) %509 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %542 %763)
(fma.f64 #s(literal 1/2 binary64) %542 %765)
(fma.f64 #s(literal 1/2 binary64) %542 %767)
(fma.f64 #s(literal 1/2 binary64) %542 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %453 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %472 %134)
(fma.f64 #s(literal 1/2 binary64) %18 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %448 %500)
(fma.f64 #s(literal 1/2 binary64) %434 %763)
(fma.f64 #s(literal 1/2 binary64) %434 %765)
(fma.f64 #s(literal 1/2 binary64) %434 %767)
(fma.f64 #s(literal 1/2 binary64) %434 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %54 %867)
(fma.f64 %18 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %448 #s(literal 1/2 binary64) %500)
(fma.f64 %448 #s(literal 1 binary64) %763)
(fma.f64 %448 #s(literal 1 binary64) %765)
(fma.f64 %448 #s(literal 1 binary64) %767)
(fma.f64 %448 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %434 #s(literal 1/4 binary64) %500)
(fma.f64 %434 #s(literal 1/2 binary64) %763)
(fma.f64 %434 #s(literal 1/2 binary64) %765)
(fma.f64 %434 #s(literal 1/2 binary64) %767)
(fma.f64 %434 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %4 %69 #s(literal 1 binary64))
(fma.f64 %4 %44 #s(literal 1 binary64))
(fma.f64 %50 %60 #s(literal 1 binary64))
(fma.f64 %9 %73 #s(literal 1 binary64))
(fma.f64 %9 %75 #s(literal 1 binary64))
(fma.f64 %9 %9 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %78 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) %448) %500)
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/4 binary64) %462) %500)
(fma.f64 #s(literal 2 binary64) %80 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %82 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %500 %763)
(fma.f64 #s(literal 2 binary64) %500 %765)
(fma.f64 #s(literal 2 binary64) %500 %767)
(fma.f64 #s(literal 2 binary64) %500 #s(literal 0 binary64))
(fma.f64 %54 #s(literal 1/2 binary64) %897)
(fma.f64 %54 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 y %84 #s(literal 1 binary64))
(fma.f64 y %32 #s(literal 1 binary64))
%448
(fma.f64 #s(literal 1 binary64) %500 %500)
(fma.f64 #s(literal 1 binary64) %448 %763)
(fma.f64 #s(literal 1 binary64) %448 %765)
(fma.f64 #s(literal 1 binary64) %448 %767)
(fma.f64 #s(literal 1 binary64) %448 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %54 #s(literal 1 binary64))
(-.f64 %54 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) %18))
(-.f64 #s(literal 1 binary64) (*.f64 %108 #s(literal 1/2 binary64)))
(-.f64 #s(literal 1 binary64) %130)
(-.f64 #s(literal 1 binary64) (/.f64 %108 #s(literal 2 binary64)))
(-.f64 #s(literal 1 binary64) %132)
(+.f64 %917 #s(literal 1 binary64))
(+.f64 %919 #s(literal 1/2 binary64))
(+.f64 %867 %134)
(+.f64 %134 %867)
(+.f64 %498 #s(literal 1 binary64))
(+.f64 %924 #s(literal 1 binary64))
(+.f64 %926 #s(literal 1/2 binary64))
(+.f64 %897 %80)
(+.f64 %80 %897)
(+.f64 %571 #s(literal 1/2 binary64))
(+.f64 %931 #s(literal 1/2 binary64))
(+.f64 %933 %82)
(+.f64 %82 %933)
(+.f64 %500 %500)
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %132))
(+.f64 #s(literal 1/2 binary64) %919)
(+.f64 #s(literal 1/2 binary64) %926)
(+.f64 #s(literal 1/2 binary64) %569)
(+.f64 #s(literal 1/2 binary64) %931)
(+.f64 %448 %763)
(+.f64 %448 %765)
(+.f64 %448 %767)
(+.f64 %448 #s(literal 0 binary64))
(+.f64 %54 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %54))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %132))
(+.f64 #s(literal 1 binary64) %917)
(+.f64 #s(literal 1 binary64) %498)
(+.f64 #s(literal 1 binary64) %924)
(+.f64 #s(literal 1 binary64) %54)
(*.f64 (*.f64 %9 %956) #s(literal 1/2 binary64))
(*.f64 (*.f64 %9 #s(literal 1 binary64)) x)
(*.f64 (*.f64 x %51) %51)
(*.f64 %956 %10)
(*.f64 %964 %50)
(*.f64 %51 (*.f64 %51 x))
(*.f64 %968 #s(literal 1 binary64))
(*.f64 %50 %964)
%968
(*.f64 #s(literal 1 binary64) %968)
(*.f64 x %9)
(pow.f64 %968 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %968 #s(literal -1 binary64)))
(*.f64 (*.f64 %964 %51) %51)
(*.f64 (*.f64 %60 %956) #s(literal 1/2 binary64))
(*.f64 (*.f64 %60 #s(literal 1 binary64)) x)
(*.f64 %956 (*.f64 #s(literal 1/2 binary64) %60))
(*.f64 %964 %9)
(*.f64 %51 (*.f64 %51 %964))
(*.f64 %60 x)
(*.f64 %988 #s(literal 1 binary64))
%988
(*.f64 %50 %968)
(*.f64 %9 %964)
(*.f64 #s(literal 1 binary64) %988)
(*.f64 x %60)
(pow.f64 %988 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %988 #s(literal -1 binary64)))
%998
%1001
%1003
%1005
%1007
%1009
%1011
%1012
%1014
%1016
%1017
%1019
%1021
%1022
%1024
%1025
%1027
%1029
%1032
%1033
%1034
%1035
%1037
%1030
%1038
%1040
%1042
%1044
%1045
%1046
%1047
%1049
%1050
%1052
%1054
%1055
%1057
%1058
%1060
%1062
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1072
%1074
%1076
%1078
%1080
%1081
%1082
%1084
%1086
%1088
%1090
%1092
%1094
%1095
%1098
%1100
%1102
%1104
%1105
%1108
%1110
%1111
%1112
%1113
%1115
%1116
%1117
%1118
%1120
%1121
%1123
%1125
%1127
%1129
%1130
%1132
%1133
%1135
%1136
%1137
%1139
%1140
%1141
%1143
%1144
%1145
%1146
%1147
%1148
%1151
%1152
%1153
%1154
%1155
%1156
%1157
%1158
%1159
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1177
%1178
%1179
%1180
%1181
%1182
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1193
%1196
%1198
%1199
(*.f64 (*.f64 y %956) #s(literal 1/2 binary64))
(*.f64 %430 x)
(*.f64 %956 %7)
(*.f64 %1149 #s(literal 1 binary64))
%1149
(*.f64 #s(literal 1 binary64) %1149)
(*.f64 x y)
(pow.f64 %1149 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1149 #s(literal -1 binary64)))
%998
%1001
%1003
%1005
%1007
%1009
%1011
%1012
%1014
%1016
%1017
%1019
%1021
%1022
%1024
%1025
%1027
%1029
%1032
%1033
%1034
%1035
%1037
%1030
%1038
%1040
%1042
%1044
%1045
%1046
%1047
%1049
%1050
%1052
%1054
%1055
%1057
%1058
%1060
%1062
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1072
%1074
%1076
%1078
%1080
%1081
%1082
%1084
%1086
%1088
%1090
%1092
%1094
%1095
%1098
%1100
%1102
%1104
%1105
%1108
%1110
%1111
%1112
%1113
%1115
%1116
%1117
%1118
%1120
%1121
%1123
%1125
%1127
%1129
%1130
%1132
%1133
%1135
%1136
%1137
%1139
%1140
%1141
%1143
%1144
%1145
%1146
%1147
%1148
%1151
%1152
%1153
%1154
%1155
%1156
%1157
%1158
%1159
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1177
%1178
%1179
%1180
%1181
%1182
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1193
%1196
%1198
%1199
%998
%1001
%1003
%1005
%1007
%1009
%1011
%1012
%1014
%1016
%1017
%1019
%1021
%1022
%1024
%1025
%1027
%1029
%1032
%1033
%1034
%1035
%1037
%1030
%1038
%1040
%1042
%1044
%1045
%1046
%1047
%1049
%1050
%1052
%1054
%1055
%1057
%1058
%1060
%1062
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1072
%1074
%1076
%1078
%1080
%1081
%1082
%1084
%1086
%1088
%1090
%1092
%1094
%1095
%1098
%1100
%1102
%1104
%1105
%1108
%1110
%1111
%1112
%1113
%1115
%1116
%1117
%1118
%1120
%1121
%1123
%1125
%1127
%1129
%1130
%1132
%1133
%1135
%1136
%1137
%1139
%1140
%1141
%1143
%1144
%1145
%1146
%1147
%1148
%1151
%1152
%1153
%1154
%1155
%1156
%1157
%1158
%1159
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1177
%1178
%1179
%1180
%1181
%1182
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1193
%1196
%1198
%1199
%998
%1001
%1003
%1005
%1007
%1009
%1011
%1012
%1014
%1016
%1017
%1019
%1021
%1022
%1024
%1025
%1027
%1029
%1032
%1033
%1034
%1035
%1037
%1030
%1038
%1040
%1042
%1044
%1045
%1046
%1047
%1049
%1050
%1052
%1054
%1055
%1057
%1058
%1060
%1062
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1072
%1074
%1076
%1078
%1080
%1081
%1082
%1084
%1086
%1088
%1090
%1092
%1094
%1095
%1098
%1100
%1102
%1104
%1105
%1108
%1110
%1111
%1112
%1113
%1115
%1116
%1117
%1118
%1120
%1121
%1123
%1125
%1127
%1129
%1130
%1132
%1133
%1135
%1136
%1137
%1139
%1140
%1141
%1143
%1144
%1145
%1146
%1147
%1148
%1151
%1152
%1153
%1154
%1155
%1156
%1157
%1158
%1159
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1177
%1178
%1179
%1180
%1181
%1182
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1193
%1196
%1198
%1199
(*.f64 (*.f64 %344 %956) #s(literal 1/2 binary64))
(*.f64 (*.f64 %344 #s(literal 1 binary64)) x)
(*.f64 %956 (*.f64 #s(literal 1/2 binary64) %344))
(*.f64 %1216 #s(literal 1 binary64))
%1216
(*.f64 #s(literal 1 binary64) %1216)
(*.f64 x %344)
(pow.f64 %1216 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1216 #s(literal -1 binary64)))
reconstruct108.0ms (7.1%)
Counts
1 292 → 157
Compiler
Compiled 1 292 to 1 311 computations (-1.5% saved)
eval10.0ms (0.7%)
Compiler
Compiled 108 to 415 computations (-284.3% saved)
prune3.0ms (0.2%)
Pruning
6 alts after pruning (2 fresh and 4 done)
PrunedKeptTotal
New1062108
Fresh000
Picked145
Done000
Total1076113
Accuracy
100.0%
Counts
113 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.4%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 (*.f64 %16 x) (*.f64 %16 %15) x)
✓99.8%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 %16 (*.f64 %16 (*.f64 %15 x)) x)
✓99.9%
(fma.f64 y (*.f64 y x) x)
✓95.5%
(fma.f64 x (*.f64 y y) x)
▶95.5%
(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal 1 binary64))))
✓51.1%
(*.f64 x (approx (+ 1 (* y y)) #s(literal 1 binary64)))
Compiler
Compiled 6 to 19 computations (-216.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series13.0ms (0.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0138649
Stop Event
1×iter-limit
Counts
11 → 37
Calls
Call 1
Inputs
%3 = (fabs.f64 y)
%4 = (sqrt.f64 %3)
%5 = (*.f64 %4 %3)
%6 = (fma.f64 y y #s(literal 1 binary64))
%7 = (/.f64 #s(literal 1 binary64) %6)
%8 = (*.f64 %4 x)
x
#s(literal 1 binary64)
y
%3
%4
%5
%6
%7
%8
(/.f64 x %7)
(fma.f64 %8 %5 x)
Outputs
%5 = (fabs y)
%6 = (sqrt %5)
%7 = (* %6 x)
%8 = (fabs.f64 y)
%9 = (sqrt.f64 %8)
%14 = (+ (* y y) 1)
%15 = (/ 1 %14)
%16 = (/ x %15)
%19 = (pow.f64 y #s(literal 2 binary64))
%20 = (+.f64 #s(literal 1 binary64) %19)
%23 = (* %6 %5)
%25 = (+ (* %7 %23) x)
%27 = (*.f64 %8 (pow.f64 %9 #s(literal 2 binary64)))
%45 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %19))
%56 = (*.f64 x %19)
%63 = (fabs.f64 (/.f64 #s(literal 1 binary64) y))
%66 = (sqrt.f64 %63)
%67 = (*.f64 y %66)
%70 = (pow.f64 y #s(literal 3 binary64))
%75 = (/.f64 #s(literal 1 binary64) %19)
%84 = (pow.f64 y #s(literal 4 binary64))
%86 = (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %84))
%105 = (*.f64 %63 (pow.f64 %66 #s(literal 2 binary64)))
%109 = (/.f64 x %84)
%114 = (fabs.f64 (/.f64 #s(literal -1 binary64) y))
%119 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %114))
%120 = (*.f64 y %119)
%130 = (*.f64 %114 (pow.f64 %119 #s(literal 2 binary64)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 (*.f64 x %9))
(approx %16 (*.f64 x %20))
(approx %25 (*.f64 x (+.f64 #s(literal 1 binary64) %27)))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %27) #s(literal 1 binary64)))))
(approx y y)
(approx %5 %8)
(approx %6 %9)
(approx %23 (*.f64 %8 %9))
(approx %14 #s(literal 1 binary64))
(approx %14 %20)
(approx %15 %45)
(approx %15 (+.f64 #s(literal 1 binary64) (*.f64 %19 (-.f64 %19 #s(literal 1 binary64)))))
(approx %15 (+.f64 #s(literal 1 binary64) (*.f64 %19 (-.f64 (*.f64 %19 %45) #s(literal 1 binary64)))))
(approx %16 (+.f64 x %56))
(approx %25 (+.f64 x (*.f64 x %27)))
(approx %5 (*.f64 %19 %63))
(approx %6 %67)
(approx %23 (*.f64 %70 (*.f64 %63 %66)))
(approx %14 %19)
(approx %14 (*.f64 %19 (+.f64 #s(literal 1 binary64) %75)))
(approx %15 %75)
(approx %15 (/.f64 (-.f64 #s(literal 1 binary64) %75) %19))
(approx %15 (/.f64 (-.f64 %86 %75) %19))
(approx %15 (/.f64 (-.f64 %86 (+.f64 %75 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 6 binary64))))) %19))
(approx %7 (*.f64 x %67))
(approx %16 %56)
(approx %16 (*.f64 %19 (+.f64 x (/.f64 x %19))))
(approx %25 (*.f64 x (*.f64 %84 %105)))
(approx %25 (*.f64 %84 (fma.f64 x %105 %109)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 %19 %114)))
(approx %6 (*.f64 #s(literal -1 binary64) %120))
(approx %23 (*.f64 %70 (*.f64 %114 %119)))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x %120)))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (*.f64 %84 %130))))
(approx %25 (*.f64 %84 (fma.f64 #s(literal -1 binary64) (*.f64 x %130) %109)))
Calls
6 calls:
TimeVariablePoint
2.0ms
y
0
2.0ms
x
inf
2.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
-inf
rewrite78.0ms (5.1%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01150
02145
17639
226339
3141339
0406539
0427239
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 519
Calls
Call 1
Inputs
%3 = (fabs.f64 y)
%4 = (sqrt.f64 %3)
%5 = (*.f64 %4 %3)
%6 = (fma.f64 y y #s(literal 1 binary64))
%7 = (/.f64 #s(literal 1 binary64) %6)
%8 = (*.f64 %4 x)
x
#s(literal 1 binary64)
y
%3
%4
%5
%6
%7
%8
(/.f64 x %7)
(fma.f64 %8 %5 x)
Outputs
%3 = (fabs.f64 y)
%4 = (sqrt.f64 %3)
%5 = (*.f64 %4 %3)
%6 = (sqrt.f64 %5)
%7 = (sqrt.f64 %4)
%9 = (neg.f64 %4)
%10 = (neg.f64 %9)
%17 = (pow.f64 y #s(literal 8 binary64))
%22 = (*.f64 y y)
%23 = (*.f64 %22 %22)
%40 = (neg.f64 %3)
%43 = (neg.f64 y)
%58 = (neg.f64 %40)
%63 = (neg.f64 %7)
%93 = (sqrt.f64 (*.f64 %22 %4))
%96 = (pow.f64 %7 #s(literal 3 binary64))
%105 = (*.f64 %22 %3)
%118 = (*.f64 %43 %4)
%119 = (neg.f64 %118)
%122 = (*.f64 %9 %43)
%125 = (*.f64 %9 y)
%128 = (*.f64 %43 %9)
%131 = (*.f64 y %9)
%144 = (*.f64 %40 %4)
%149 = (*.f64 %4 y)
%184 = (neg.f64 %144)
%195 = (fma.f64 y y #s(literal 1 binary64))
%196 = (/.f64 %195 #s(literal 2 binary64))
%198 = (/.f64 #s(literal -1 binary64) %195)
%199 = (/.f64 #s(literal -2 binary64) %198)
%202 = (*.f64 #s(literal 1/2 binary64) %195)
%203 = (/.f64 %202 #s(literal 2 binary64))
%205 = (/.f64 %195 #s(literal -1/2 binary64))
%207 = (/.f64 #s(literal 1 binary64) %195)
%208 = (/.f64 #s(literal -2 binary64) %207)
%210 = (-.f64 #s(literal -1 binary64) %22)
%211 = (*.f64 #s(literal 1/2 binary64) %210)
%213 = (/.f64 %195 #s(literal -2 binary64))
%215 = (/.f64 #s(literal -1/2 binary64) %207)
%218 = (/.f64 #s(literal -1/2 binary64) %195)
%219 = (/.f64 #s(literal -2 binary64) %218)
%223 = (/.f64 %195 #s(literal 1/2 binary64))
%225 = (/.f64 #s(literal -1 binary64) %218)
%228 = (*.f64 #s(literal 2 binary64) %195)
%233 = (/.f64 %202 #s(literal 1/2 binary64))
%238 = (fma.f64 %22 #s(literal 2 binary64) #s(literal 2 binary64))
%242 = (-.f64 (*.f64 %22 #s(literal -1 binary64)) #s(literal 1 binary64))
%251 = (*.f64 #s(literal 2 binary64) %210)
%252 = (neg.f64 %251)
%254 = (neg.f64 %228)
%263 = (/.f64 #s(literal 1/2 binary64) %195)
%264 = (neg.f64 %263)
%267 = (*.f64 #s(literal 1/2 binary64) %198)
%269 = (*.f64 #s(literal 2 binary64) %207)
%270 = (neg.f64 %269)
%272 = (*.f64 #s(literal 2 binary64) %198)
%283 = (neg.f64 %58)
%286 = (/.f64 #s(literal 0 binary64) %198)
%308 = (*.f64 %43 y)
%343 = (/.f64 %22 #s(literal 1 binary64))
%351 = (*.f64 #s(literal -1 binary64) %308)
%353 = (*.f64 %308 #s(literal -1 binary64))
%355 = (*.f64 %22 #s(literal 1 binary64))
%377 = (*.f64 %207 #s(literal 2 binary64))
%380 = (/.f64 #s(literal -2 binary64) %195)
%384 = (/.f64 #s(literal 2 binary64) %202)
%388 = (/.f64 #s(literal 1 binary64) %202)
%390 = (/.f64 #s(literal 2 binary64) %195)
%406 = (*.f64 %195 #s(literal 2 binary64))
%410 = (*.f64 %210 #s(literal 2 binary64))
%423 = (*.f64 %207 #s(literal 0 binary64))
%425 = (*.f64 #s(literal 0 binary64) %207)
%427 = (/.f64 #s(literal 0 binary64) %195)
%478 = (*.f64 %4 x)
%483 = (*.f64 x #s(literal 1/2 binary64))
%484 = (*.f64 %4 %483)
%487 = (*.f64 %483 %4)
%492 = (*.f64 %9 x)
%493 = (neg.f64 %492)
%499 = (*.f64 %195 x)
%500 = (/.f64 %499 #s(literal 2 binary64))
%501 = (*.f64 %500 #s(literal 2 binary64))
%503 = (*.f64 (/.f64 x #s(literal -1/2 binary64)) %213)
%505 = (*.f64 (/.f64 x #s(literal -2 binary64)) %205)
%506 = (/.f64 x #s(literal 1/2 binary64))
%507 = (*.f64 %196 %506)
%508 = (*.f64 %223 %483)
%509 = (*.f64 %506 %196)
%511 = (*.f64 (*.f64 x #s(literal 2 binary64)) %202)
%512 = (*.f64 %483 %223)
%513 = (*.f64 %483 %225)
%514 = (neg.f64 x)
%515 = (*.f64 %210 %514)
%516 = (*.f64 %514 %210)
%517 = (*.f64 %210 x)
%518 = (*.f64 #s(literal -1 binary64) %517)
%520 = (*.f64 #s(literal 2 binary64) (*.f64 %202 x))
%521 = (*.f64 %499 #s(literal 1 binary64))
%522 = (*.f64 #s(literal 1 binary64) %499)
%523 = (*.f64 x %195)
%524 = (pow.f64 %499 #s(literal 1 binary64))
%525 = (/.f64 %499 #s(literal 1/2 binary64))
%527 = (/.f64 (neg.f64 %525) #s(literal -2 binary64))
%529 = (/.f64 (neg.f64 %500) #s(literal -1/2 binary64))
%530 = (*.f64 x y)
%531 = (*.f64 %530 y)
%532 = (fma.f64 %531 #s(literal 1/2 binary64) %483)
%534 = (/.f64 (neg.f64 %532) #s(literal -1/2 binary64))
%535 = (fma.f64 %531 #s(literal -1 binary64) %514)
%537 = (/.f64 (neg.f64 %535) #s(literal 1 binary64))
%538 = (*.f64 %210 %483)
%540 = (/.f64 (neg.f64 %538) #s(literal 1/2 binary64))
%541 = (*.f64 #s(literal -1 binary64) %483)
%543 = (*.f64 %198 #s(literal 1/2 binary64))
%545 = (/.f64 (neg.f64 %541) (neg.f64 %543))
%546 = (*.f64 #s(literal -1 binary64) %514)
%548 = (/.f64 (neg.f64 %546) %198)
%549 = (*.f64 %195 %483)
%551 = (/.f64 (neg.f64 %549) #s(literal -1/2 binary64))
%552 = (*.f64 %195 %514)
%554 = (/.f64 (neg.f64 %552) #s(literal 1 binary64))
%555 = (*.f64 %483 %210)
%557 = (/.f64 (neg.f64 %555) #s(literal 1/2 binary64))
%558 = (*.f64 %483 #s(literal -1 binary64))
%560 = (/.f64 (neg.f64 %558) %263)
%561 = (*.f64 %483 %195)
%563 = (/.f64 (neg.f64 %561) #s(literal -1/2 binary64))
%564 = (/.f64 %525 #s(literal 2 binary64))
%565 = (/.f64 %500 #s(literal 1/2 binary64))
%566 = (*.f64 %308 x)
%567 = (-.f64 %566 x)
%568 = (/.f64 %567 #s(literal -1 binary64))
%569 = (/.f64 %532 #s(literal 1/2 binary64))
%570 = (/.f64 %535 #s(literal -1 binary64))
%571 = (/.f64 %538 #s(literal -1/2 binary64))
%572 = (/.f64 %517 #s(literal -1 binary64))
%573 = (/.f64 %541 %543)
%574 = (/.f64 %546 %207)
%575 = (*.f64 #s(literal -1 binary64) x)
%576 = (/.f64 %575 %198)
%577 = (/.f64 %549 #s(literal 1/2 binary64))
%578 = (/.f64 %552 #s(literal -1 binary64))
%579 = (/.f64 %555 #s(literal -1/2 binary64))
%580 = (/.f64 %558 %267)
%581 = (/.f64 %561 #s(literal 1/2 binary64))
%583 = (/.f64 (neg.f64 %483) %264)
%584 = (/.f64 %483 %263)
%585 = (*.f64 x %210)
%586 = (/.f64 %585 #s(literal -1 binary64))
%587 = (/.f64 %514 %198)
%588 = (/.f64 %499 #s(literal 1 binary64))
%590 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %499))
%592 = (/.f64 #s(literal 1 binary64) (pow.f64 %499 #s(literal -1 binary64)))
%594 = (/.f64 #s(literal 1 binary64) (/.f64 %198 %514))
%596 = (/.f64 #s(literal 1 binary64) (/.f64 %207 x))
%597 = (/.f64 x %207)
%598 = (neg.f64 %567)
%599 = (neg.f64 %517)
%600 = (neg.f64 %585)
%602 = (fma.f64 (*.f64 x %43) %43 x)
%603 = (fma.f64 %530 y x)
%604 = (*.f64 %514 %3)
%605 = (fma.f64 %604 %40 x)
%607 = (fma.f64 %40 (*.f64 %40 x) x)
%608 = (fma.f64 %308 %514 %546)
%609 = (*.f64 %3 x)
%610 = (fma.f64 %609 %3 x)
%611 = (*.f64 %478 %3)
%612 = (fma.f64 %611 %4 x)
%613 = (fma.f64 %514 %308 x)
%615 = (fma.f64 %43 (*.f64 %43 x) x)
%616 = (*.f64 %308 %514)
%617 = (fma.f64 #s(literal -1 binary64) %514 %616)
%618 = (fma.f64 %22 x x)
%619 = (fma.f64 %531 #s(literal 1 binary64) x)
%620 = (fma.f64 %478 %5 x)
%621 = (fma.f64 %5 %478 x)
%622 = (fma.f64 %4 %611 x)
%623 = (fma.f64 %3 %609 x)
%625 = (fma.f64 y (*.f64 y x) x)
%626 = (fma.f64 #s(literal 1 binary64) %531 x)
%627 = (fma.f64 x %22 x)
%628 = (-.f64 %531 %575)
%629 = (-.f64 %531 %514)
%630 = (-.f64 x %566)
%631 = (*.f64 %514 %308)
%632 = (+.f64 %631 x)
%633 = (+.f64 %616 %546)
%634 = (+.f64 %546 %616)
%635 = (+.f64 %531 x)
%636 = (+.f64 x %631)
%639 = (+.f64 x (*.f64 (neg.f64 %604) %3))
%641 = (+.f64 x (*.f64 %493 %5))
%643 = (+.f64 x (*.f64 %184 %478))
%645 = (+.f64 x (*.f64 %10 %611))
%646 = (+.f64 x %531)
x
#s(literal 1 binary64)
y
(*.f64 %6 %7)
(*.f64 %10 %10)
(*.f64 %7 %6)
(*.f64 %9 %9)
(*.f64 %4 %4)
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %17 #s(literal 1/8 binary64))
(pow.f64 %9 #s(literal 2 binary64))
(pow.f64 %23 #s(literal 1/4 binary64))
(pow.f64 %22 #s(literal 1/2 binary64))
(pow.f64 %4 #s(literal 2 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(sqrt.f64 %22)
(fabs.f64 (*.f64 #s(literal -1 binary64) %40))
(fabs.f64 (*.f64 #s(literal -1 binary64) %43))
(fabs.f64 (*.f64 #s(literal -1 binary64) %3))
(fabs.f64 (*.f64 #s(literal -1 binary64) y))
(fabs.f64 (*.f64 %10 %9))
(fabs.f64 (*.f64 %10 %4))
(fabs.f64 (*.f64 %9 %10))
(fabs.f64 (*.f64 %4 %10))
(fabs.f64 %58)
(fabs.f64 %40)
(fabs.f64 %43)
(fabs.f64 %3)
%3
(*.f64 %63 %63)
(*.f64 %7 %7)
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %17 #s(literal 1/16 binary64))
(pow.f64 %7 #s(literal 2 binary64))
(pow.f64 %23 #s(literal 1/8 binary64))
(pow.f64 %22 #s(literal 1/4 binary64))
(pow.f64 %4 #s(literal 1 binary64))
(pow.f64 %3 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
%4
(fabs.f64 (neg.f64 %10))
(fabs.f64 (*.f64 #s(literal -1 binary64) %10))
(fabs.f64 (*.f64 #s(literal -1 binary64) %9))
(fabs.f64 (*.f64 #s(literal -1 binary64) %4))
(fabs.f64 (*.f64 #s(literal 1 binary64) %10))
(fabs.f64 %10)
(fabs.f64 %9)
(fabs.f64 %4)
(*.f64 %6 %6)
(*.f64 %93 %7)
(*.f64 %96 %96)
(*.f64 %7 %93)
%5
(*.f64 %3 %4)
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 (*.f64 %23 %22) #s(literal 1/4 binary64))
(pow.f64 %23 #s(literal 3/8 binary64))
(pow.f64 %105 #s(literal 1/2 binary64))
(pow.f64 %22 #s(literal 3/4 binary64))
(pow.f64 %5 #s(literal 1 binary64))
(pow.f64 %4 #s(literal 3 binary64))
(pow.f64 %3 #s(literal 3/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %105 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(sqrt.f64 %105)
(fabs.f64 (neg.f64 %119))
(fabs.f64 (neg.f64 %122))
(fabs.f64 (neg.f64 %125))
(fabs.f64 (neg.f64 %128))
(fabs.f64 (neg.f64 %131))
(fabs.f64 (*.f64 #s(literal -1 binary64) %119))
(fabs.f64 (*.f64 #s(literal -1 binary64) %122))
(fabs.f64 (*.f64 #s(literal -1 binary64) %125))
(fabs.f64 (*.f64 #s(literal -1 binary64) %128))
(fabs.f64 (*.f64 #s(literal -1 binary64) %131))
(fabs.f64 (*.f64 #s(literal -1 binary64) %144))
(fabs.f64 (*.f64 #s(literal -1 binary64) %118))
(fabs.f64 (*.f64 #s(literal -1 binary64) %149))
(fabs.f64 (*.f64 #s(literal -1 binary64) %5))
(fabs.f64 (*.f64 #s(literal 1 binary64) %119))
(fabs.f64 (*.f64 #s(literal 1 binary64) %122))
(fabs.f64 (*.f64 #s(literal 1 binary64) %125))
(fabs.f64 (*.f64 #s(literal 1 binary64) %128))
(fabs.f64 (*.f64 #s(literal 1 binary64) %131))
(fabs.f64 (*.f64 %10 %40))
(fabs.f64 (*.f64 %10 %43))
(fabs.f64 (*.f64 %10 %3))
(fabs.f64 (*.f64 %10 y))
(fabs.f64 (*.f64 %9 %40))
(fabs.f64 (*.f64 %40 %10))
(fabs.f64 (*.f64 %40 %9))
(fabs.f64 (*.f64 %43 %10))
(fabs.f64 (*.f64 %3 %10))
(fabs.f64 (*.f64 y %10))
(fabs.f64 %184)
(fabs.f64 %119)
(fabs.f64 %122)
(fabs.f64 %125)
(fabs.f64 %128)
(fabs.f64 %131)
(fabs.f64 %144)
(fabs.f64 %118)
(fabs.f64 %149)
(fabs.f64 %5)
(*.f64 %196 #s(literal 2 binary64))
(*.f64 %199 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %203)
(*.f64 #s(literal -1/2 binary64) %205)
(*.f64 #s(literal -1/2 binary64) %208)
(*.f64 #s(literal -2 binary64) %211)
(*.f64 #s(literal -2 binary64) %213)
(*.f64 #s(literal -2 binary64) %215)
(*.f64 %202 #s(literal 2 binary64))
(*.f64 #s(literal 1/4 binary64) %219)
(*.f64 %210 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %210)
(*.f64 #s(literal 1/2 binary64) %223)
(*.f64 #s(literal 1/2 binary64) %225)
(*.f64 #s(literal 1/2 binary64) %199)
(*.f64 #s(literal 1/2 binary64) %228)
(*.f64 #s(literal 2 binary64) %196)
(*.f64 #s(literal 2 binary64) %202)
(*.f64 %195 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %233)
(*.f64 #s(literal 1 binary64) %195)
(pow.f64 %207 #s(literal -1 binary64))
(pow.f64 %195 #s(literal 1 binary64))
(/.f64 (neg.f64 %238) #s(literal -2 binary64))
(/.f64 (neg.f64 %242) #s(literal 1 binary64))
(/.f64 (neg.f64 %213) #s(literal 1/2 binary64))
(/.f64 (neg.f64 %196) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %223) #s(literal -2 binary64))
(/.f64 %252 #s(literal 2 binary64))
(/.f64 %254 #s(literal -2 binary64))
(/.f64 %238 #s(literal 2 binary64))
(/.f64 %242 #s(literal -1 binary64))
(/.f64 %213 #s(literal -1/2 binary64))
(/.f64 %196 #s(literal 1/2 binary64))
(/.f64 %223 #s(literal 2 binary64))
(/.f64 %251 #s(literal -2 binary64))
(/.f64 %228 #s(literal 2 binary64))
(/.f64 #s(literal -1/2 binary64) %264)
(/.f64 #s(literal -1/2 binary64) %218)
(/.f64 #s(literal -1/2 binary64) %267)
(/.f64 #s(literal -2 binary64) %270)
(/.f64 #s(literal -2 binary64) %272)
(/.f64 %210 #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) %198)
(/.f64 #s(literal 1/2 binary64) %263)
(/.f64 #s(literal 2 binary64) (neg.f64 %272))
(/.f64 #s(literal 2 binary64) %269)
(/.f64 %195 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %207)
(neg.f64 %210)
(fma.f64 %283 %283 #s(literal 1 binary64))
(fma.f64 %196 #s(literal 2 binary64) %286)
(fma.f64 %196 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %199 #s(literal 1/2 binary64) %286)
(fma.f64 %199 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %58 %58 #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %203 %286)
(fma.f64 #s(literal 4 binary64) %203 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %205 %286)
(fma.f64 #s(literal -1/2 binary64) %205 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %208 %286)
(fma.f64 #s(literal -1/2 binary64) %208 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %210 %202)
(fma.f64 #s(literal -2 binary64) %211 %286)
(fma.f64 #s(literal -2 binary64) %211 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %213 %286)
(fma.f64 #s(literal -2 binary64) %213 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %215 %286)
(fma.f64 #s(literal -2 binary64) %215 #s(literal 0 binary64))
(fma.f64 %202 #s(literal 2 binary64) %286)
(fma.f64 %202 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %40 %40 #s(literal 1 binary64))
(fma.f64 %308 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) %219 %286)
(fma.f64 #s(literal 1/4 binary64) %219 #s(literal 0 binary64))
(fma.f64 %210 #s(literal -1 binary64) %286)
(fma.f64 %210 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %43 %43 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %308 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %210 %286)
(fma.f64 #s(literal -1 binary64) %210 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %223 %286)
(fma.f64 #s(literal 1/2 binary64) %223 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %225 %286)
(fma.f64 #s(literal 1/2 binary64) %225 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %199 %286)
(fma.f64 #s(literal 1/2 binary64) %199 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %228 %286)
(fma.f64 #s(literal 1/2 binary64) %228 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %195 %202)
(fma.f64 #s(literal 2 binary64) %196 %286)
(fma.f64 #s(literal 2 binary64) %196 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %202 %286)
(fma.f64 #s(literal 2 binary64) %202 #s(literal 0 binary64))
(fma.f64 %22 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %195 #s(literal 1 binary64) %286)
(fma.f64 %195 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %5 %4 #s(literal 1 binary64))
(fma.f64 %4 %5 #s(literal 1 binary64))
(fma.f64 %3 %3 #s(literal 1 binary64))
%195
(fma.f64 #s(literal 1 binary64) %233 %286)
(fma.f64 #s(literal 1 binary64) %233 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %202 %202)
(fma.f64 #s(literal 1 binary64) %22 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %195 %286)
(fma.f64 #s(literal 1 binary64) %195 #s(literal 0 binary64))
(-.f64 %343 #s(literal -1 binary64))
(-.f64 %22 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 %22 #s(literal -1 binary64)))
(-.f64 #s(literal 1 binary64) %308)
(+.f64 (fma.f64 y y #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %351 #s(literal 1 binary64))
(+.f64 %353 #s(literal 1 binary64))
(+.f64 %355 #s(literal 1 binary64))
(+.f64 %343 #s(literal 1 binary64))
(+.f64 %202 %202)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %22))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %308))
(+.f64 %22 #s(literal 1 binary64))
(+.f64 %195 %286)
(+.f64 %195 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %22))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %308))
(+.f64 #s(literal 1 binary64) %351)
(+.f64 #s(literal 1 binary64) %353)
(+.f64 #s(literal 1 binary64) (*.f64 %58 %3))
(+.f64 #s(literal 1 binary64) %355)
(+.f64 #s(literal 1 binary64) %343)
(+.f64 #s(literal 1 binary64) %22)
(*.f64 %377 #s(literal 1/2 binary64))
(*.f64 %263 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %380)
(*.f64 #s(literal -2 binary64) %218)
(*.f64 #s(literal -2 binary64) %267)
(*.f64 #s(literal 1/4 binary64) %384)
(*.f64 %198 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %198)
(*.f64 #s(literal 1/2 binary64) %388)
(*.f64 #s(literal 1/2 binary64) %390)
(*.f64 #s(literal 1/2 binary64) %269)
(*.f64 #s(literal 2 binary64) %263)
(*.f64 %207 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %207)
(pow.f64 %207 #s(literal 1 binary64))
(pow.f64 %195 #s(literal -1 binary64))
(/.f64 (neg.f64 %377) #s(literal -2 binary64))
(/.f64 %270 #s(literal -2 binary64))
(/.f64 %377 #s(literal 2 binary64))
(/.f64 %269 #s(literal 2 binary64))
(/.f64 #s(literal -1/2 binary64) (neg.f64 %202))
(/.f64 #s(literal -1/2 binary64) %215)
(/.f64 #s(literal -2 binary64) (neg.f64 %406))
(/.f64 #s(literal -2 binary64) %254)
(/.f64 #s(literal -2 binary64) %410)
(/.f64 #s(literal -2 binary64) %251)
(/.f64 %198 #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) %210)
(/.f64 #s(literal 1/2 binary64) %202)
(/.f64 #s(literal 2 binary64) (neg.f64 %410))
(/.f64 #s(literal 2 binary64) %252)
(/.f64 #s(literal 2 binary64) %406)
(/.f64 #s(literal 2 binary64) %228)
(/.f64 %207 #s(literal 1 binary64))
%207
(neg.f64 %198)
(fma.f64 %377 #s(literal 1/2 binary64) %423)
(fma.f64 %377 #s(literal 1/2 binary64) %425)
(fma.f64 %377 #s(literal 1/2 binary64) %427)
(fma.f64 %218 #s(literal -1 binary64) %263)
(fma.f64 %263 #s(literal 2 binary64) %423)
(fma.f64 %263 #s(literal 2 binary64) %425)
(fma.f64 %263 #s(literal 2 binary64) %427)
(fma.f64 %263 #s(literal 1 binary64) %263)
(fma.f64 #s(literal -1/2 binary64) %380 %423)
(fma.f64 #s(literal -1/2 binary64) %380 %425)
(fma.f64 #s(literal -1/2 binary64) %380 %427)
(fma.f64 #s(literal -1/2 binary64) %198 %263)
(fma.f64 #s(literal -2 binary64) %218 %423)
(fma.f64 #s(literal -2 binary64) %218 %425)
(fma.f64 #s(literal -2 binary64) %218 %427)
(fma.f64 #s(literal -2 binary64) %267 %423)
(fma.f64 #s(literal -2 binary64) %267 %425)
(fma.f64 #s(literal -2 binary64) %267 %427)
(fma.f64 #s(literal 1/4 binary64) %384 %423)
(fma.f64 #s(literal 1/4 binary64) %384 %425)
(fma.f64 #s(literal 1/4 binary64) %384 %427)
(fma.f64 %198 #s(literal -1 binary64) %423)
(fma.f64 %198 #s(literal -1 binary64) %425)
(fma.f64 %198 #s(literal -1 binary64) %427)
(fma.f64 #s(literal -1 binary64) %198 %423)
(fma.f64 #s(literal -1 binary64) %198 %425)
(fma.f64 #s(literal -1 binary64) %198 %427)
(fma.f64 #s(literal 1/2 binary64) %388 %423)
(fma.f64 #s(literal 1/2 binary64) %388 %425)
(fma.f64 #s(literal 1/2 binary64) %388 %427)
(fma.f64 #s(literal 1/2 binary64) %390 %423)
(fma.f64 #s(literal 1/2 binary64) %390 %425)
(fma.f64 #s(literal 1/2 binary64) %390 %427)
(fma.f64 #s(literal 1/2 binary64) %269 %423)
(fma.f64 #s(literal 1/2 binary64) %269 %425)
(fma.f64 #s(literal 1/2 binary64) %269 %427)
(fma.f64 #s(literal 1/2 binary64) %207 %263)
(fma.f64 #s(literal 2 binary64) %263 %423)
(fma.f64 #s(literal 2 binary64) %263 %425)
(fma.f64 #s(literal 2 binary64) %263 %427)
(fma.f64 %207 #s(literal 1/2 binary64) %263)
(fma.f64 %207 #s(literal 1 binary64) %423)
(fma.f64 %207 #s(literal 1 binary64) %425)
(fma.f64 %207 #s(literal 1 binary64) %427)
(fma.f64 #s(literal 1 binary64) %263 %263)
(fma.f64 #s(literal 1 binary64) %207 %423)
(fma.f64 #s(literal 1 binary64) %207 %425)
(fma.f64 #s(literal 1 binary64) %207 %427)
(+.f64 %263 %263)
(+.f64 %207 %423)
(+.f64 %207 %425)
(+.f64 %207 %427)
(*.f64 %478 #s(literal 1 binary64))
%478
(*.f64 #s(literal 1 binary64) %478)
(*.f64 x %4)
(pow.f64 %478 #s(literal 1 binary64))
(/.f64 (neg.f64 %484) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %487) #s(literal -1/2 binary64))
(/.f64 %484 #s(literal 1/2 binary64))
(/.f64 %487 #s(literal 1/2 binary64))
(/.f64 %493 #s(literal 1 binary64))
(/.f64 %492 #s(literal -1 binary64))
(/.f64 %478 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %478 #s(literal -1 binary64)))
%501
%503
%505
%507
%508
%509
%511
%512
%513
%515
%516
%518
%520
%521
%499
%522
%523
%524
%527
%529
%534
%537
%540
%545
%548
%551
%554
%557
%560
%563
%564
%565
%568
%569
%570
%571
%572
%573
%574
%576
%577
%578
%579
%580
%581
%583
%584
%586
%587
%588
%590
%592
%594
%596
%597
%598
%599
%600
%602
%603
%605
%607
%608
%610
%612
%613
%615
%617
%618
%619
%620
%621
%622
%623
%625
%626
%627
%628
%629
%630
%632
%633
%634
%635
%636
%639
%641
%643
%645
%646
%501
%503
%505
%507
%508
%509
%511
%512
%513
%515
%516
%518
%520
%521
%499
%522
%523
%524
%527
%529
%534
%537
%540
%545
%548
%551
%554
%557
%560
%563
%564
%565
%568
%569
%570
%571
%572
%573
%574
%576
%577
%578
%579
%580
%581
%583
%584
%586
%587
%588
%590
%592
%594
%596
%597
%598
%599
%600
%602
%603
%605
%607
%608
%610
%612
%613
%615
%617
%618
%619
%620
%621
%622
%623
%625
%626
%627
%628
%629
%630
%632
%633
%634
%635
%636
%639
%641
%643
%645
%646
reconstruct72.0ms (4.8%)
Counts
556 → 92
Compiler
Compiled 556 to 725 computations (-30.4% saved)
eval7.0ms (0.5%)
Compiler
Compiled 76 to 299 computations (-293.4% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (1 fresh and 6 done)
PrunedKeptTotal
New75176
Fresh000
Picked022
Done044
Total75782
Accuracy
100.0%
Counts
82 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.4%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 (*.f64 %16 x) (/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 %16 %15) #s(literal -1 binary64))) x)
✓98.4%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 (*.f64 %16 x) (*.f64 %16 %15) x)
✓99.8%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 %16 (*.f64 %16 (*.f64 %15 x)) x)
✓99.9%
(fma.f64 y (*.f64 y x) x)
✓95.5%
(fma.f64 x (*.f64 y y) x)
✓95.5%
(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal 1 binary64))))
✓51.1%
(*.f64 x (approx (+ 1 (* y y)) #s(literal 1 binary64)))
Compiler
Compiled 7 to 23 computations (-228.6% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series10.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
096498
Stop Event
1×iter-limit
Counts
11 → 25
Calls
Call 1
Inputs
%3 = (fabs.f64 y)
%4 = (sqrt.f64 %3)
%5 = (*.f64 %4 %3)
%7 = (*.f64 %4 x)
%8 = (pow.f64 %5 #s(literal -1 binary64))
%9 = (/.f64 #s(literal 1 binary64) %8)
x
#s(literal 1 binary64)
y
%3
%4
%5
#s(literal -1 binary64)
%7
%8
%9
(fma.f64 %7 %9 x)
Outputs
%5 = (fabs y)
%6 = (sqrt %5)
%7 = (* %6 x)
%8 = (fabs.f64 y)
%9 = (sqrt.f64 %8)
%13 = (* %6 %5)
%15 = (pow %13 -1)
%18 = (+ (* %7 (/ 1 %15)) x)
%22 = (*.f64 %8 (pow.f64 %9 #s(literal 2 binary64)))
%35 = (*.f64 %8 %9)
%42 = (pow.f64 y #s(literal 2 binary64))
%44 = (fabs.f64 (/.f64 #s(literal 1 binary64) y))
%47 = (sqrt.f64 %44)
%48 = (*.f64 y %47)
%51 = (pow.f64 y #s(literal 3 binary64))
%53 = (*.f64 %51 (*.f64 %44 %47))
%60 = (pow.f64 y #s(literal 4 binary64))
%62 = (*.f64 %44 (pow.f64 %47 #s(literal 2 binary64)))
%66 = (/.f64 x %60)
%71 = (fabs.f64 (/.f64 #s(literal -1 binary64) y))
%76 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %71))
%77 = (*.f64 y %76)
%81 = (*.f64 %51 (*.f64 %71 %76))
%89 = (*.f64 %71 (pow.f64 %76 #s(literal 2 binary64)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 (*.f64 x %9))
(approx %18 (*.f64 x (+.f64 #s(literal 1 binary64) %22)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %22) #s(literal 1 binary64)))))
(approx y y)
(approx %5 %8)
(approx %6 %9)
(approx %13 %35)
(approx %15 (/.f64 #s(literal 1 binary64) %35))
(approx %18 (+.f64 x (*.f64 x %22)))
(approx %5 (*.f64 %42 %44))
(approx %6 %48)
(approx %13 %53)
(approx %7 (*.f64 x %48))
(approx %15 (/.f64 #s(literal 1 binary64) %53))
(approx %18 (*.f64 x (*.f64 %60 %62)))
(approx %18 (*.f64 %60 (fma.f64 x %62 %66)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 %42 %71)))
(approx %6 (*.f64 #s(literal -1 binary64) %77))
(approx %13 %81)
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x %77)))
(approx %15 (/.f64 #s(literal 1 binary64) %81))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 x (*.f64 %60 %89))))
(approx %18 (*.f64 %60 (fma.f64 #s(literal -1 binary64) (*.f64 x %89) %66)))
Calls
6 calls:
TimeVariablePoint
4.0ms
x
inf
2.0ms
y
-inf
1.0ms
y
inf
1.0ms
y
0
1.0ms
x
-inf
rewrite84.0ms (5.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01155
01947
16439
225933
3173433
0415933
0440832
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 1 274
Calls
Call 1
Inputs
%3 = (fabs.f64 y)
%4 = (sqrt.f64 %3)
%5 = (*.f64 %4 %3)
%7 = (*.f64 %4 x)
%8 = (pow.f64 %5 #s(literal -1 binary64))
%9 = (/.f64 #s(literal 1 binary64) %8)
x
#s(literal 1 binary64)
y
%3
%4
%5
#s(literal -1 binary64)
%7
%8
%9
(fma.f64 %7 %9 x)
Outputs
%3 = (fabs.f64 y)
%4 = (sqrt.f64 %3)
%5 = (*.f64 %4 %3)
%6 = (sqrt.f64 %5)
%7 = (sqrt.f64 %4)
%10 = (*.f64 %4 #s(literal 2 binary64))
%11 = (fabs.f64 %10)
%14 = (*.f64 #s(literal 1/2 binary64) %5)
%17 = (sqrt.f64 #s(literal 2 binary64))
%23 = (*.f64 #s(literal -1 binary64) %4)
%25 = (*.f64 %4 #s(literal -1 binary64))
%27 = (neg.f64 %4)
%28 = (neg.f64 %27)
%30 = (*.f64 %27 #s(literal 1 binary64))
%34 = (*.f64 #s(literal 1/2 binary64) %3)
%35 = (fabs.f64 %34)
%38 = (*.f64 #s(literal 2 binary64) %3)
%39 = (fabs.f64 %38)
%45 = (*.f64 y y)
%46 = (*.f64 %45 %45)
%49 = (/.f64 #s(literal 1 binary64) %3)
%55 = (neg.f64 %38)
%59 = (/.f64 #s(literal 2 binary64) %4)
%60 = (/.f64 %4 %59)
%63 = (/.f64 #s(literal 1/2 binary64) %3)
%66 = (/.f64 #s(literal 2 binary64) %3)
%67 = (/.f64 %4 %66)
%70 = (/.f64 #s(literal 1/2 binary64) %4)
%73 = (/.f64 %4 #s(literal 2 binary64))
%75 = (/.f64 #s(literal 1/2 binary64) %5)
%78 = (*.f64 #s(literal -1 binary64) %3)
%80 = (/.f64 #s(literal -1 binary64) %4)
%84 = (neg.f64 %3)
%86 = (/.f64 #s(literal 1 binary64) %5)
%89 = (/.f64 #s(literal 1 binary64) %4)
%90 = (neg.f64 %89)
%92 = (/.f64 #s(literal -1 binary64) %3)
%94 = (neg.f64 %49)
%101 = (neg.f64 %84)
%103 = (*.f64 %27 %4)
%106 = (*.f64 %4 %27)
%109 = (/.f64 #s(literal -1 binary64) y)
%112 = (/.f64 #s(literal 1 binary64) y)
%127 = (neg.f64 y)
%160 = (neg.f64 %7)
%162 = (*.f64 %4 #s(literal 1/2 binary64))
%163 = (fabs.f64 %162)
%165 = (sqrt.f64 #s(literal 1/2 binary64))
%166 = (sqrt.f64 %39)
%169 = (sqrt.f64 %35)
%174 = (*.f64 #s(literal 1/2 binary64) %4)
%175 = (fabs.f64 %174)
%178 = (*.f64 #s(literal 2 binary64) %4)
%179 = (fabs.f64 %178)
%193 = (neg.f64 %178)
%210 = (*.f64 %4 #s(literal 0 binary64))
%212 = (*.f64 #s(literal 0 binary64) %4)
%256 = (/.f64 %4 #s(literal -1 binary64))
%267 = (fabs.f64 (/.f64 #s(literal -2 binary64) %59))
%268 = (/.f64 #s(literal 1/2 binary64) %63)
%269 = (fabs.f64 %268)
%270 = (*.f64 %267 %269)
%272 = (fabs.f64 (/.f64 #s(literal -2 binary64) %66))
%273 = (/.f64 #s(literal 1/2 binary64) %70)
%274 = (fabs.f64 %273)
%275 = (*.f64 %272 %274)
%276 = (/.f64 #s(literal 2 binary64) %59)
%277 = (fabs.f64 %276)
%280 = (fabs.f64 (/.f64 #s(literal -1/2 binary64) %63))
%281 = (*.f64 %277 %280)
%282 = (*.f64 %277 %269)
%283 = (/.f64 #s(literal 2 binary64) %66)
%284 = (fabs.f64 %283)
%286 = (fabs.f64 (/.f64 #s(literal -1/2 binary64) %70))
%287 = (*.f64 %284 %286)
%288 = (*.f64 %284 %274)
%289 = (/.f64 #s(literal 1/2 binary64) %59)
%290 = (fabs.f64 %289)
%291 = (/.f64 #s(literal 2 binary64) %63)
%292 = (fabs.f64 %291)
%293 = (*.f64 %290 %292)
%294 = (/.f64 #s(literal 1/2 binary64) %66)
%295 = (fabs.f64 %294)
%296 = (/.f64 #s(literal 2 binary64) %70)
%297 = (fabs.f64 %296)
%298 = (*.f64 %295 %297)
%299 = (/.f64 #s(literal 1 binary64) %59)
%300 = (fabs.f64 %299)
%302 = (fabs.f64 (/.f64 #s(literal -1 binary64) %63))
%303 = (*.f64 %300 %302)
%304 = (/.f64 #s(literal 1 binary64) %63)
%305 = (fabs.f64 %304)
%306 = (*.f64 %300 %305)
%307 = (/.f64 #s(literal 1 binary64) %66)
%308 = (fabs.f64 %307)
%310 = (fabs.f64 (/.f64 #s(literal -1 binary64) %70))
%311 = (*.f64 %308 %310)
%312 = (/.f64 #s(literal 1 binary64) %70)
%313 = (fabs.f64 %312)
%314 = (*.f64 %308 %313)
%315 = (*.f64 %5 #s(literal 2 binary64))
%316 = (fabs.f64 %315)
%317 = (*.f64 %316 #s(literal 1/2 binary64))
%318 = (*.f64 %6 %6)
%321 = (sqrt.f64 (fabs.f64 (*.f64 %45 %4)))
%322 = (*.f64 %321 %7)
%324 = (pow.f64 %162 #s(literal 3 binary64))
%326 = (*.f64 %324 #s(literal 8 binary64))
%327 = (pow.f64 %7 #s(literal 3 binary64))
%328 = (*.f64 %327 %327)
%329 = (pow.f64 %10 #s(literal 3 binary64))
%330 = (*.f64 %329 #s(literal 1/8 binary64))
%331 = (pow.f64 %178 #s(literal 3 binary64))
%332 = (*.f64 #s(literal 1/8 binary64) %331)
%333 = (/.f64 %4 #s(literal 1/2 binary64))
%334 = (/.f64 %3 #s(literal 2 binary64))
%335 = (*.f64 %333 %334)
%336 = (*.f64 %334 %333)
%337 = (/.f64 %3 #s(literal 1/2 binary64))
%338 = (*.f64 %337 %73)
%339 = (/.f64 %5 #s(literal 1/2 binary64))
%340 = (*.f64 %339 #s(literal 1/2 binary64))
%341 = (*.f64 %276 %268)
%342 = (*.f64 %283 %273)
%343 = (*.f64 %289 %291)
%344 = (*.f64 %294 %296)
%345 = (*.f64 %73 %337)
%346 = (*.f64 %299 %304)
%347 = (*.f64 %307 %312)
%348 = (pow.f64 %174 #s(literal 3 binary64))
%349 = (*.f64 #s(literal 8 binary64) %348)
%350 = (*.f64 %315 #s(literal 1/2 binary64))
%352 = (/.f64 %14 #s(literal 2 binary64))
%353 = (fabs.f64 %352)
%354 = (*.f64 #s(literal 4 binary64) %353)
%355 = (*.f64 #s(literal 4 binary64) %352)
%356 = (*.f64 %7 %321)
%357 = (*.f64 %14 #s(literal 2 binary64))
%358 = (*.f64 %27 %3)
%359 = (*.f64 #s(literal 1/2 binary64) %358)
%360 = (*.f64 #s(literal -2 binary64) %359)
%361 = (/.f64 %5 #s(literal -2 binary64))
%362 = (*.f64 #s(literal -2 binary64) %361)
%363 = (/.f64 #s(literal -1/2 binary64) %86)
%364 = (*.f64 #s(literal -2 binary64) %363)
%365 = (/.f64 %5 #s(literal -1/2 binary64))
%366 = (*.f64 #s(literal -1/2 binary64) %365)
%367 = (/.f64 #s(literal -2 binary64) %86)
%368 = (*.f64 #s(literal -1/2 binary64) %367)
%369 = (*.f64 %358 #s(literal -1 binary64))
%370 = (/.f64 #s(literal -1/2 binary64) %5)
%371 = (/.f64 #s(literal -2 binary64) %370)
%372 = (fabs.f64 %371)
%373 = (*.f64 #s(literal 1/4 binary64) %372)
%374 = (*.f64 #s(literal 1/4 binary64) %371)
%376 = (fabs.f64 (*.f64 #s(literal -1/2 binary64) %5))
%377 = (*.f64 #s(literal 2 binary64) %376)
%378 = (neg.f64 %14)
%379 = (fabs.f64 %378)
%380 = (*.f64 #s(literal 2 binary64) %379)
%381 = (fabs.f64 %359)
%382 = (*.f64 #s(literal 2 binary64) %381)
%383 = (fabs.f64 %363)
%384 = (*.f64 #s(literal 2 binary64) %383)
%385 = (*.f64 #s(literal 2 binary64) %14)
%387 = (fabs.f64 (/.f64 #s(literal -1 binary64) %75))
%388 = (*.f64 #s(literal 1/2 binary64) %387)
%389 = (fabs.f64 %367)
%390 = (*.f64 #s(literal 1/2 binary64) %389)
%391 = (/.f64 #s(literal -1 binary64) %5)
%392 = (/.f64 #s(literal -2 binary64) %391)
%393 = (fabs.f64 %392)
%394 = (*.f64 #s(literal 1/2 binary64) %393)
%395 = (/.f64 #s(literal 1 binary64) %75)
%396 = (fabs.f64 %395)
%397 = (*.f64 #s(literal 1/2 binary64) %396)
%398 = (*.f64 #s(literal 2 binary64) %5)
%399 = (fabs.f64 %398)
%400 = (*.f64 #s(literal 1/2 binary64) %399)
%401 = (*.f64 #s(literal 1/2 binary64) %339)
%402 = (*.f64 #s(literal 1/2 binary64) %392)
%403 = (*.f64 #s(literal 1/2 binary64) %395)
%404 = (*.f64 #s(literal 1/2 binary64) %398)
%405 = (*.f64 #s(literal -1 binary64) %358)
%406 = (*.f64 %5 #s(literal 1 binary64))
%407 = (*.f64 %3 %4)
%408 = (*.f64 #s(literal 1 binary64) %5)
%410 = (pow.f64 (*.f64 %46 %45) #s(literal 1/4 binary64))
%412 = (pow.f64 (*.f64 %45 %46) #s(literal 1/4 binary64))
%414 = (pow.f64 %46 #s(literal 3/8 binary64))
%415 = (*.f64 %45 %3)
%416 = (pow.f64 %415 #s(literal 1/2 binary64))
%418 = (pow.f64 %45 #s(literal 3/4 binary64))
%419 = (pow.f64 %86 #s(literal -1 binary64))
%420 = (pow.f64 %5 #s(literal 1 binary64))
%421 = (pow.f64 %4 #s(literal 3 binary64))
%423 = (pow.f64 %3 #s(literal 3/2 binary64))
%425 = (/.f64 (neg.f64 %339) #s(literal -2 binary64))
%427 = (neg.f64 %63)
%428 = (/.f64 (neg.f64 %299) %427)
%430 = (neg.f64 %70)
%431 = (/.f64 (neg.f64 %307) %430)
%433 = (/.f64 (neg.f64 %315) #s(literal -2 binary64))
%434 = (neg.f64 %398)
%435 = (/.f64 %434 #s(literal -2 binary64))
%438 = (/.f64 (fabs.f64 (/.f64 #s(literal -1 binary64) %59)) %63)
%441 = (/.f64 (fabs.f64 (/.f64 #s(literal -1 binary64) %66)) %70)
%442 = (/.f64 %300 %63)
%443 = (/.f64 %308 %70)
%444 = (/.f64 %316 #s(literal 2 binary64))
%445 = (/.f64 %399 #s(literal 2 binary64))
%446 = (/.f64 %329 #s(literal 8 binary64))
%447 = (/.f64 %331 #s(literal 8 binary64))
%448 = (/.f64 %378 #s(literal -1/2 binary64))
%449 = (/.f64 %78 %80)
%450 = (/.f64 %23 %92)
%451 = (/.f64 %359 #s(literal -1/2 binary64))
%452 = (/.f64 %25 %92)
%453 = (/.f64 %339 #s(literal 2 binary64))
%454 = (/.f64 %299 %63)
%455 = (/.f64 %307 %70)
%456 = (/.f64 %363 #s(literal -1/2 binary64))
%457 = (/.f64 %315 #s(literal 2 binary64))
%458 = (/.f64 %398 #s(literal 2 binary64))
%459 = (/.f64 %84 %90)
%460 = (/.f64 %14 #s(literal 1/2 binary64))
%461 = (*.f64 %86 #s(literal 2 binary64))
%463 = (/.f64 #s(literal -2 binary64) (neg.f64 %461))
%464 = (*.f64 #s(literal 2 binary64) %86)
%465 = (neg.f64 %464)
%466 = (/.f64 #s(literal -2 binary64) %465)
%467 = (*.f64 %391 #s(literal 2 binary64))
%468 = (/.f64 #s(literal -2 binary64) %467)
%469 = (*.f64 #s(literal 2 binary64) %391)
%470 = (/.f64 #s(literal -2 binary64) %469)
%471 = (neg.f64 %75)
%472 = (/.f64 #s(literal -1/2 binary64) %471)
%473 = (/.f64 #s(literal -1/2 binary64) %370)
%474 = (/.f64 %358 #s(literal -1 binary64))
%475 = (/.f64 %27 %94)
%477 = (/.f64 #s(literal 2 binary64) (neg.f64 %467))
%478 = (neg.f64 %469)
%479 = (/.f64 #s(literal 2 binary64) %478)
%481 = (/.f64 #s(literal 2 binary64) (fabs.f64 %467))
%483 = (/.f64 #s(literal 2 binary64) (fabs.f64 %469))
%485 = (/.f64 #s(literal 2 binary64) (fabs.f64 %461))
%487 = (/.f64 #s(literal 2 binary64) (fabs.f64 %464))
%488 = (/.f64 #s(literal 2 binary64) %461)
%489 = (/.f64 #s(literal 2 binary64) %464)
%490 = (/.f64 #s(literal 1/2 binary64) %75)
%491 = (/.f64 #s(literal -1 binary64) %391)
%492 = (/.f64 %5 #s(literal 1 binary64))
%493 = (/.f64 %4 %49)
%494 = (/.f64 %3 %89)
%495 = (/.f64 #s(literal 1 binary64) %86)
%497 = (neg.f64 (pow.f64 %23 #s(literal 3 binary64)))
%499 = (neg.f64 (pow.f64 %25 #s(literal 3 binary64)))
%500 = (neg.f64 %358)
%501 = (*.f64 %5 #s(literal 0 binary64))
%502 = (fma.f64 %267 %269 %501)
%503 = (*.f64 #s(literal 0 binary64) %5)
%504 = (fma.f64 %267 %269 %503)
%505 = (/.f64 #s(literal 0 binary64) %391)
%506 = (fma.f64 %267 %269 %505)
%507 = (fma.f64 %272 %274 %501)
%508 = (fma.f64 %272 %274 %503)
%509 = (fma.f64 %272 %274 %505)
%510 = (fma.f64 %277 %280 %501)
%511 = (fma.f64 %277 %280 %503)
%512 = (fma.f64 %277 %280 %505)
%513 = (fma.f64 %277 %269 %501)
%514 = (fma.f64 %277 %269 %503)
%515 = (fma.f64 %277 %269 %505)
%516 = (fma.f64 %284 %286 %501)
%517 = (fma.f64 %284 %286 %503)
%518 = (fma.f64 %284 %286 %505)
%519 = (fma.f64 %284 %274 %501)
%520 = (fma.f64 %284 %274 %503)
%521 = (fma.f64 %284 %274 %505)
%522 = (fma.f64 %290 %292 %501)
%523 = (fma.f64 %290 %292 %503)
%524 = (fma.f64 %290 %292 %505)
%525 = (fma.f64 %295 %297 %501)
%526 = (fma.f64 %295 %297 %503)
%527 = (fma.f64 %295 %297 %505)
%528 = (fma.f64 %300 %302 %501)
%529 = (fma.f64 %300 %302 %503)
%530 = (fma.f64 %300 %302 %505)
%531 = (fma.f64 %300 %305 %501)
%532 = (fma.f64 %300 %305 %503)
%533 = (fma.f64 %300 %305 %505)
%534 = (fma.f64 %308 %310 %501)
%535 = (fma.f64 %308 %310 %503)
%536 = (fma.f64 %308 %310 %505)
%537 = (fma.f64 %308 %313 %501)
%538 = (fma.f64 %308 %313 %503)
%539 = (fma.f64 %308 %313 %505)
%540 = (fma.f64 %316 #s(literal 1/2 binary64) %501)
%541 = (fma.f64 %316 #s(literal 1/2 binary64) %503)
%542 = (fma.f64 %316 #s(literal 1/2 binary64) %505)
%543 = (fma.f64 %6 %6 %501)
%544 = (fma.f64 %6 %6 %503)
%545 = (fma.f64 %6 %6 %505)
%546 = (fma.f64 %321 %7 %501)
%547 = (fma.f64 %321 %7 %503)
%548 = (fma.f64 %321 %7 %505)
%549 = (fma.f64 %324 #s(literal 8 binary64) %501)
%550 = (fma.f64 %324 #s(literal 8 binary64) %503)
%551 = (fma.f64 %324 #s(literal 8 binary64) %505)
%552 = (fma.f64 %327 %327 %501)
%553 = (fma.f64 %327 %327 %503)
%554 = (fma.f64 %327 %327 %505)
%555 = (fma.f64 %329 #s(literal 1/8 binary64) %501)
%556 = (fma.f64 %329 #s(literal 1/8 binary64) %503)
%557 = (fma.f64 %329 #s(literal 1/8 binary64) %505)
%558 = (fma.f64 #s(literal 1/8 binary64) %331 %501)
%559 = (fma.f64 #s(literal 1/8 binary64) %331 %503)
%560 = (fma.f64 #s(literal 1/8 binary64) %331 %505)
%561 = (fma.f64 %34 %4 %14)
%563 = (fma.f64 (/.f64 #s(literal -1/2 binary64) %80) %3 %14)
%565 = (fma.f64 (/.f64 #s(literal -1/2 binary64) %92) %4 %14)
%566 = (fma.f64 %174 %3 %14)
%567 = (fma.f64 %333 %334 %501)
%568 = (fma.f64 %333 %334 %503)
%569 = (fma.f64 %333 %334 %505)
%570 = (fma.f64 %334 %333 %501)
%571 = (fma.f64 %334 %333 %503)
%572 = (fma.f64 %334 %333 %505)
%573 = (fma.f64 %337 %73 %501)
%574 = (fma.f64 %337 %73 %503)
%575 = (fma.f64 %337 %73 %505)
%576 = (fma.f64 %339 #s(literal 1/2 binary64) %501)
%577 = (fma.f64 %339 #s(literal 1/2 binary64) %503)
%578 = (fma.f64 %339 #s(literal 1/2 binary64) %505)
%579 = (fma.f64 %276 %268 %501)
%580 = (fma.f64 %276 %268 %503)
%581 = (fma.f64 %276 %268 %505)
%582 = (fma.f64 %283 %273 %501)
%583 = (fma.f64 %283 %273 %503)
%584 = (fma.f64 %283 %273 %505)
%585 = (fma.f64 %289 %291 %501)
%586 = (fma.f64 %289 %291 %503)
%587 = (fma.f64 %289 %291 %505)
%588 = (fma.f64 %294 %296 %501)
%589 = (fma.f64 %294 %296 %503)
%590 = (fma.f64 %294 %296 %505)
%591 = (fma.f64 %73 %337 %501)
%592 = (fma.f64 %73 %337 %503)
%593 = (fma.f64 %73 %337 %505)
%594 = (fma.f64 %299 %304 %501)
%595 = (fma.f64 %299 %304 %503)
%596 = (fma.f64 %299 %304 %505)
%597 = (fma.f64 %307 %312 %501)
%598 = (fma.f64 %307 %312 %503)
%599 = (fma.f64 %307 %312 %505)
%600 = (fma.f64 %363 #s(literal -1 binary64) %14)
%601 = (fma.f64 #s(literal 8 binary64) %348 %501)
%602 = (fma.f64 #s(literal 8 binary64) %348 %503)
%603 = (fma.f64 #s(literal 8 binary64) %348 %505)
%604 = (fma.f64 %315 #s(literal 1/2 binary64) %501)
%605 = (fma.f64 %315 #s(literal 1/2 binary64) %503)
%606 = (fma.f64 %315 #s(literal 1/2 binary64) %505)
%607 = (fma.f64 #s(literal 4 binary64) %353 %501)
%608 = (fma.f64 #s(literal 4 binary64) %353 %503)
%609 = (fma.f64 #s(literal 4 binary64) %353 %505)
%610 = (fma.f64 #s(literal 4 binary64) %352 %501)
%611 = (fma.f64 #s(literal 4 binary64) %352 %503)
%612 = (fma.f64 #s(literal 4 binary64) %352 %505)
%613 = (fma.f64 %7 %321 %501)
%614 = (fma.f64 %7 %321 %503)
%615 = (fma.f64 %7 %321 %505)
%616 = (fma.f64 %14 #s(literal 2 binary64) %501)
%617 = (fma.f64 %14 #s(literal 2 binary64) %503)
%618 = (fma.f64 %14 #s(literal 2 binary64) %505)
%619 = (fma.f64 %14 #s(literal 1 binary64) %14)
%620 = (fma.f64 #s(literal -2 binary64) %359 %501)
%621 = (fma.f64 #s(literal -2 binary64) %359 %503)
%622 = (fma.f64 #s(literal -2 binary64) %359 %505)
%623 = (fma.f64 #s(literal -2 binary64) %361 %501)
%624 = (fma.f64 #s(literal -2 binary64) %361 %503)
%625 = (fma.f64 #s(literal -2 binary64) %361 %505)
%626 = (fma.f64 #s(literal -2 binary64) %363 %501)
%627 = (fma.f64 #s(literal -2 binary64) %363 %503)
%628 = (fma.f64 #s(literal -2 binary64) %363 %505)
%629 = (fma.f64 #s(literal -1/2 binary64) %365 %501)
%630 = (fma.f64 #s(literal -1/2 binary64) %365 %503)
%631 = (fma.f64 #s(literal -1/2 binary64) %365 %505)
%632 = (fma.f64 #s(literal -1/2 binary64) %367 %501)
%633 = (fma.f64 #s(literal -1/2 binary64) %367 %503)
%634 = (fma.f64 #s(literal -1/2 binary64) %367 %505)
%635 = (fma.f64 #s(literal -1/2 binary64) %358 %14)
%636 = (fma.f64 %358 #s(literal -1 binary64) %501)
%637 = (fma.f64 %358 #s(literal -1 binary64) %503)
%638 = (fma.f64 %358 #s(literal -1 binary64) %505)
%639 = (fma.f64 #s(literal 1/4 binary64) %372 %501)
%640 = (fma.f64 #s(literal 1/4 binary64) %372 %503)
%641 = (fma.f64 #s(literal 1/4 binary64) %372 %505)
%642 = (fma.f64 #s(literal 1/4 binary64) %371 %501)
%643 = (fma.f64 #s(literal 1/4 binary64) %371 %503)
%644 = (fma.f64 #s(literal 1/4 binary64) %371 %505)
%645 = (fma.f64 #s(literal 2 binary64) %376 %501)
%646 = (fma.f64 #s(literal 2 binary64) %376 %503)
%647 = (fma.f64 #s(literal 2 binary64) %376 %505)
%648 = (fma.f64 #s(literal 2 binary64) %379 %501)
%649 = (fma.f64 #s(literal 2 binary64) %379 %503)
%650 = (fma.f64 #s(literal 2 binary64) %379 %505)
%651 = (fma.f64 #s(literal 2 binary64) %381 %501)
%652 = (fma.f64 #s(literal 2 binary64) %381 %503)
%653 = (fma.f64 #s(literal 2 binary64) %381 %505)
%654 = (fma.f64 #s(literal 2 binary64) %383 %501)
%655 = (fma.f64 #s(literal 2 binary64) %383 %503)
%656 = (fma.f64 #s(literal 2 binary64) %383 %505)
%657 = (fma.f64 #s(literal 2 binary64) %14 %501)
%658 = (fma.f64 #s(literal 2 binary64) %14 %503)
%659 = (fma.f64 #s(literal 2 binary64) %14 %505)
%660 = (fma.f64 #s(literal 1/2 binary64) %387 %501)
%661 = (fma.f64 #s(literal 1/2 binary64) %387 %503)
%662 = (fma.f64 #s(literal 1/2 binary64) %387 %505)
%663 = (fma.f64 #s(literal 1/2 binary64) %389 %501)
%664 = (fma.f64 #s(literal 1/2 binary64) %389 %503)
%665 = (fma.f64 #s(literal 1/2 binary64) %389 %505)
%666 = (fma.f64 #s(literal 1/2 binary64) %393 %501)
%667 = (fma.f64 #s(literal 1/2 binary64) %393 %503)
%668 = (fma.f64 #s(literal 1/2 binary64) %393 %505)
%669 = (fma.f64 #s(literal 1/2 binary64) %396 %501)
%670 = (fma.f64 #s(literal 1/2 binary64) %396 %503)
%671 = (fma.f64 #s(literal 1/2 binary64) %396 %505)
%672 = (fma.f64 #s(literal 1/2 binary64) %399 %501)
%673 = (fma.f64 #s(literal 1/2 binary64) %399 %503)
%674 = (fma.f64 #s(literal 1/2 binary64) %399 %505)
%675 = (fma.f64 #s(literal 1/2 binary64) %339 %501)
%676 = (fma.f64 #s(literal 1/2 binary64) %339 %503)
%677 = (fma.f64 #s(literal 1/2 binary64) %339 %505)
%678 = (fma.f64 #s(literal 1/2 binary64) %392 %501)
%679 = (fma.f64 #s(literal 1/2 binary64) %392 %503)
%680 = (fma.f64 #s(literal 1/2 binary64) %392 %505)
%681 = (fma.f64 #s(literal 1/2 binary64) %395 %501)
%682 = (fma.f64 #s(literal 1/2 binary64) %395 %503)
%683 = (fma.f64 #s(literal 1/2 binary64) %395 %505)
%684 = (fma.f64 #s(literal 1/2 binary64) %398 %501)
%685 = (fma.f64 #s(literal 1/2 binary64) %398 %503)
%686 = (fma.f64 #s(literal 1/2 binary64) %398 %505)
%687 = (fma.f64 #s(literal 1/2 binary64) %5 %14)
%688 = (fma.f64 #s(literal -1 binary64) %358 %501)
%689 = (fma.f64 #s(literal -1 binary64) %358 %503)
%690 = (fma.f64 #s(literal -1 binary64) %358 %505)
%691 = (fma.f64 %5 #s(literal 1/2 binary64) %14)
%692 = (fma.f64 %5 #s(literal 1 binary64) %501)
%693 = (fma.f64 %5 #s(literal 1 binary64) %503)
%694 = (fma.f64 %5 #s(literal 1 binary64) %505)
%695 = (fma.f64 %4 %3 %501)
%696 = (fma.f64 %4 %3 %503)
%697 = (fma.f64 %4 %3 %505)
%698 = (fma.f64 %3 %4 %501)
%699 = (fma.f64 %3 %4 %503)
%700 = (fma.f64 %3 %4 %505)
%701 = (fma.f64 #s(literal 1 binary64) %14 %14)
%702 = (fma.f64 #s(literal 1 binary64) %5 %501)
%703 = (fma.f64 #s(literal 1 binary64) %5 %503)
%704 = (fma.f64 #s(literal 1 binary64) %5 %505)
%705 = (sqrt.f64 %415)
%706 = (*.f64 %127 %4)
%707 = (neg.f64 %706)
%709 = (fabs.f64 (neg.f64 %707))
%710 = (*.f64 %706 #s(literal 1 binary64))
%712 = (fabs.f64 (neg.f64 %710))
%713 = (*.f64 %4 y)
%714 = (*.f64 %713 #s(literal 1 binary64))
%716 = (fabs.f64 (neg.f64 %714))
%717 = (*.f64 %27 %127)
%719 = (fabs.f64 (neg.f64 %717))
%720 = (*.f64 %27 y)
%722 = (fabs.f64 (neg.f64 %720))
%723 = (*.f64 %127 %27)
%725 = (fabs.f64 (neg.f64 %723))
%726 = (*.f64 y %27)
%728 = (fabs.f64 (neg.f64 %726))
%729 = (/.f64 %713 #s(literal -1 binary64))
%731 = (fabs.f64 (neg.f64 %729))
%732 = (/.f64 %713 #s(literal 1 binary64))
%734 = (fabs.f64 (neg.f64 %732))
%736 = (fabs.f64 (/.f64 %707 #s(literal 1 binary64)))
%738 = (fabs.f64 (/.f64 %710 #s(literal -1 binary64)))
%740 = (fabs.f64 (/.f64 %710 #s(literal 1 binary64)))
%742 = (fabs.f64 (/.f64 %714 #s(literal -1 binary64)))
%744 = (fabs.f64 (/.f64 %714 #s(literal 1 binary64)))
%746 = (fabs.f64 (/.f64 %717 #s(literal -1 binary64)))
%748 = (fabs.f64 (/.f64 %717 #s(literal 1 binary64)))
%750 = (fabs.f64 (/.f64 %720 #s(literal -1 binary64)))
%752 = (fabs.f64 (/.f64 %720 #s(literal 1 binary64)))
%754 = (fabs.f64 (/.f64 %723 #s(literal -1 binary64)))
%756 = (fabs.f64 (/.f64 %723 #s(literal 1 binary64)))
%758 = (fabs.f64 (/.f64 %726 #s(literal -1 binary64)))
%760 = (fabs.f64 (/.f64 %726 #s(literal 1 binary64)))
%762 = (fabs.f64 (/.f64 %729 #s(literal -1 binary64)))
%764 = (fabs.f64 (/.f64 %729 #s(literal 1 binary64)))
%766 = (fabs.f64 (/.f64 %732 #s(literal -1 binary64)))
%768 = (fabs.f64 (/.f64 %732 #s(literal 1 binary64)))
%770 = (fabs.f64 (/.f64 %28 %109))
%772 = (fabs.f64 (/.f64 %28 %112))
%774 = (fabs.f64 (/.f64 %28 %49))
%776 = (fabs.f64 (/.f64 %30 %109))
%778 = (fabs.f64 (/.f64 %30 %112))
%780 = (fabs.f64 (/.f64 %30 %49))
%782 = (fabs.f64 (/.f64 %27 %109))
%784 = (fabs.f64 (/.f64 %27 %112))
%786 = (fabs.f64 (/.f64 %27 %49))
%788 = (fabs.f64 (/.f64 %4 %109))
%790 = (fabs.f64 (/.f64 %4 %112))
%792 = (fabs.f64 (/.f64 %84 %80))
%794 = (fabs.f64 (/.f64 %84 %89))
%796 = (fabs.f64 (/.f64 %103 %80))
%798 = (fabs.f64 (/.f64 %103 %89))
%800 = (fabs.f64 (/.f64 %106 %80))
%802 = (fabs.f64 (/.f64 %106 %89))
%804 = (fabs.f64 (/.f64 %127 %80))
%806 = (fabs.f64 (/.f64 %127 %89))
%808 = (fabs.f64 (/.f64 %3 %80))
%810 = (fabs.f64 (/.f64 y %80))
%812 = (fabs.f64 (/.f64 y %89))
%813 = (/.f64 #s(literal -1 binary64) %713)
%815 = (fabs.f64 (/.f64 #s(literal -1 binary64) %813))
%816 = (/.f64 #s(literal 1 binary64) %713)
%818 = (fabs.f64 (/.f64 #s(literal -1 binary64) %816))
%819 = (fabs.f64 %707)
%820 = (fabs.f64 %710)
%821 = (fabs.f64 %714)
%822 = (fabs.f64 %717)
%823 = (fabs.f64 %720)
%824 = (fabs.f64 %723)
%825 = (fabs.f64 %726)
%826 = (fabs.f64 %729)
%827 = (fabs.f64 %732)
%828 = (fabs.f64 %358)
%829 = (fabs.f64 %706)
%830 = (fabs.f64 %713)
%831 = (fabs.f64 %5)
%832 = (+.f64 %14 %14)
%833 = (+.f64 %5 %501)
%834 = (+.f64 %5 %503)
%835 = (+.f64 %5 %505)
%836 = (*.f64 %4 x)
%837 = (*.f64 %836 #s(literal 1/2 binary64))
%839 = (*.f64 #s(literal 2 binary64) %836)
%840 = (/.f64 %839 #s(literal 1/2 binary64))
%842 = (/.f64 %836 #s(literal 1/2 binary64))
%844 = (/.f64 x #s(literal 1/2 binary64))
%846 = (/.f64 x #s(literal 2 binary64))
%848 = (/.f64 %836 #s(literal 2 binary64))
%853 = (*.f64 %27 x)
%855 = (*.f64 #s(literal 1/2 binary64) %836)
%884 = (*.f64 %836 #s(literal 0 binary64))
%886 = (*.f64 #s(literal 0 binary64) %836)
%928 = (/.f64 %59 #s(literal 2 binary64))
%929 = (/.f64 %63 #s(literal 1/2 binary64))
%931 = (/.f64 %59 #s(literal 1/2 binary64))
%932 = (/.f64 %63 #s(literal 2 binary64))
%934 = (/.f64 %59 #s(literal 1 binary64))
%935 = (/.f64 %63 #s(literal 1 binary64))
%937 = (/.f64 %66 #s(literal 2 binary64))
%938 = (/.f64 %70 #s(literal 1/2 binary64))
%940 = (/.f64 %66 #s(literal 1/2 binary64))
%941 = (/.f64 %70 #s(literal 2 binary64))
%943 = (/.f64 %66 #s(literal 1 binary64))
%944 = (/.f64 %70 #s(literal 1 binary64))
%946 = (/.f64 %391 #s(literal -2 binary64))
%948 = (/.f64 #s(literal 2 binary64) %5)
%950 = (/.f64 %370 #s(literal -2 binary64))
%954 = (*.f64 #s(literal 1/2 binary64) %391)
%956 = (/.f64 %391 #s(literal 2 binary64))
%959 = (/.f64 %391 #s(literal 1/2 binary64))
%961 = (/.f64 #s(literal -2 binary64) %5)
%970 = (/.f64 #s(literal 2 binary64) %14)
%975 = (/.f64 %391 #s(literal -1/2 binary64))
%977 = (/.f64 #s(literal 1 binary64) %14)
%983 = (/.f64 %370 #s(literal -1/2 binary64))
%996 = (*.f64 %59 #s(literal 1/2 binary64))
%999 = (*.f64 %66 #s(literal 1/2 binary64))
%1033 = (*.f64 #s(literal 2 binary64) %358)
%1048 = (/.f64 #s(literal 0 binary64) %5)
%1184 = (/.f64 x %5)
%1185 = (fma.f64 %4 x %1184)
%1190 = (/.f64 %1185 #s(literal -1 binary64))
%1192 = (/.f64 %1185 #s(literal 1 binary64))
%1195 = (*.f64 (fma.f64 y y #s(literal 1 binary64)) x)
%1196 = (neg.f64 %1195)
%1202 = (*.f64 %45 x)
%1203 = (*.f64 #s(literal 2 binary64) %1202)
%1208 = (/.f64 %836 %59)
%1214 = (/.f64 %836 %66)
%1225 = (*.f64 #s(literal 2 binary64) %853)
%1244 = (*.f64 x #s(literal 2 binary64))
%1245 = (*.f64 %1244 %391)
%1246 = (neg.f64 x)
%1247 = (*.f64 %27 %1246)
%1255 = (*.f64 %1246 %45)
%1261 = (*.f64 x %391)
%1267 = (/.f64 %1185 %59)
%1270 = (/.f64 %1185 %66)
%1273 = (/.f64 %1185 #s(literal 2 binary64))
%1280 = (fma.f64 x %391 %853)
%1283 = (neg.f64 %1185)
%1337 = (*.f64 %3 x)
%1342 = (*.f64 %836 %3)
x
#s(literal 1 binary64)
y
(*.f64 %6 %7)
(*.f64 (sqrt.f64 %11) (sqrt.f64 %14))
(*.f64 %17 (sqrt.f64 (fabs.f64 (*.f64 %14 %4))))
(*.f64 %23 %23)
(*.f64 %25 %25)
(*.f64 %28 %28)
(*.f64 %30 %30)
(*.f64 %7 %6)
(*.f64 %27 %27)
(*.f64 #s(literal 2 binary64) %35)
(*.f64 #s(literal 2 binary64) %34)
(*.f64 #s(literal 1/2 binary64) %39)
(*.f64 #s(literal 1/2 binary64) %38)
(*.f64 %4 %4)
(*.f64 %3 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %46 #s(literal 1/4 binary64))
(pow.f64 %49 #s(literal -1 binary64))
(pow.f64 %27 #s(literal 2 binary64))
(pow.f64 %45 #s(literal 1/2 binary64))
(pow.f64 %4 #s(literal 2 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 %55 #s(literal -2 binary64))
(/.f64 %39 #s(literal 2 binary64))
(/.f64 (sqrt.f64 (fabs.f64 %60)) (sqrt.f64 %63))
(/.f64 (sqrt.f64 (fabs.f64 %67)) (sqrt.f64 %70))
(/.f64 (sqrt.f64 %73) (sqrt.f64 %75))
(/.f64 %78 #s(literal -1 binary64))
(/.f64 %23 %80)
(/.f64 %25 %80)
(/.f64 %38 #s(literal 2 binary64))
(/.f64 %84 #s(literal -1 binary64))
(/.f64 %7 (sqrt.f64 %86))
(/.f64 %27 %90)
(/.f64 #s(literal -1 binary64) %92)
(/.f64 #s(literal -1 binary64) %94)
(/.f64 %4 %89)
(/.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %49)
(neg.f64 %78)
(sqrt.f64 %45)
(fabs.f64 %101)
(fabs.f64 (neg.f64 %103))
(fabs.f64 (neg.f64 %106))
(fabs.f64 (/.f64 #s(literal -1 binary64) %109))
(fabs.f64 (/.f64 #s(literal -1 binary64) %112))
(fabs.f64 (/.f64 #s(literal 1 binary64) %112))
(fabs.f64 (/.f64 %84 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %103 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %103 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %106 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %106 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %127 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %127 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %3 #s(literal -1 binary64)))
(fabs.f64 (/.f64 y #s(literal -1 binary64)))
(fabs.f64 (/.f64 y #s(literal 1 binary64)))
(fabs.f64 (/.f64 %28 %80))
(fabs.f64 (/.f64 %28 %89))
(fabs.f64 (/.f64 %30 %80))
(fabs.f64 (/.f64 %30 %89))
(fabs.f64 (/.f64 %27 %80))
(fabs.f64 (/.f64 %27 %89))
(fabs.f64 (/.f64 %4 %80))
(fabs.f64 (/.f64 #s(literal -1 binary64) %49))
(fabs.f64 %78)
(fabs.f64 %84)
(fabs.f64 %103)
(fabs.f64 %106)
(fabs.f64 %127)
(fabs.f64 %3)
%3
(*.f64 %160 %160)
(*.f64 %163 #s(literal 2 binary64))
(*.f64 %165 %166)
(*.f64 %11 #s(literal 1/2 binary64))
(*.f64 %17 %169)
(*.f64 %10 #s(literal 1/2 binary64))
(*.f64 %162 #s(literal 2 binary64))
(*.f64 %7 %7)
(*.f64 #s(literal 2 binary64) %175)
(*.f64 #s(literal 2 binary64) %174)
(*.f64 #s(literal 1/2 binary64) %179)
(*.f64 #s(literal 1/2 binary64) %178)
(*.f64 %4 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %7 #s(literal 2 binary64))
(pow.f64 %46 #s(literal 1/8 binary64))
(pow.f64 %89 #s(literal -1 binary64))
(pow.f64 %45 #s(literal 1/4 binary64))
(pow.f64 %4 #s(literal 1 binary64))
(pow.f64 %3 #s(literal 1/2 binary64))
(/.f64 (neg.f64 %10) #s(literal -2 binary64))
(/.f64 %193 #s(literal -2 binary64))
(/.f64 %166 %17)
(/.f64 %11 #s(literal 2 binary64))
(/.f64 %179 #s(literal 2 binary64))
(/.f64 %10 #s(literal 2 binary64))
(/.f64 %23 #s(literal -1 binary64))
(/.f64 %25 #s(literal -1 binary64))
(/.f64 %178 #s(literal 2 binary64))
(/.f64 %27 #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) %90)
(/.f64 #s(literal -1 binary64) %80)
(/.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %89)
(neg.f64 %23)
(neg.f64 %25)
(fma.f64 %160 %160 %210)
(fma.f64 %160 %160 %212)
(fma.f64 %163 #s(literal 2 binary64) %210)
(fma.f64 %163 #s(literal 2 binary64) %212)
(fma.f64 %165 %166 %210)
(fma.f64 %165 %166 %212)
(fma.f64 %11 #s(literal 1/2 binary64) %210)
(fma.f64 %11 #s(literal 1/2 binary64) %212)
(fma.f64 %17 %169 %210)
(fma.f64 %17 %169 %212)
(fma.f64 %10 #s(literal 1/2 binary64) %210)
(fma.f64 %10 #s(literal 1/2 binary64) %212)
(fma.f64 %162 #s(literal 2 binary64) %210)
(fma.f64 %162 #s(literal 2 binary64) %212)
(fma.f64 %7 %7 %210)
(fma.f64 %7 %7 %212)
(fma.f64 #s(literal 2 binary64) %175 %210)
(fma.f64 #s(literal 2 binary64) %175 %212)
(fma.f64 #s(literal 2 binary64) %174 %210)
(fma.f64 #s(literal 2 binary64) %174 %212)
(fma.f64 #s(literal 1/2 binary64) %179 %210)
(fma.f64 #s(literal 1/2 binary64) %179 %212)
(fma.f64 #s(literal 1/2 binary64) %178 %210)
(fma.f64 #s(literal 1/2 binary64) %178 %212)
(fma.f64 #s(literal 1/2 binary64) %4 %174)
(fma.f64 %4 #s(literal 1/2 binary64) %162)
(fma.f64 %4 #s(literal 1 binary64) %210)
(fma.f64 %4 #s(literal 1 binary64) %212)
(fma.f64 #s(literal 1 binary64) %4 %210)
(fma.f64 #s(literal 1 binary64) %4 %212)
%4
(fabs.f64 (neg.f64 %28))
(fabs.f64 (neg.f64 %30))
(fabs.f64 (/.f64 %28 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %28 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %30 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %30 #s(literal 1 binary64)))
(fabs.f64 %23)
(fabs.f64 %25)
(fabs.f64 %256)
(fabs.f64 %28)
(fabs.f64 %30)
(fabs.f64 %27)
(fabs.f64 %4)
(+.f64 %162 %162)
(+.f64 %174 %174)
(+.f64 %4 %210)
(+.f64 %4 %212)
%270
%275
%281
%282
%287
%288
%293
%298
%303
%306
%311
%314
%317
%318
%322
%326
%328
%330
%332
%335
%336
%338
%340
%341
%342
%343
%344
%345
%346
%347
%349
%350
%354
%355
%356
%357
%360
%362
%364
%366
%368
%369
%373
%374
%377
%380
%382
%384
%385
%388
%390
%394
%397
%400
%401
%402
%403
%404
%405
%406
%5
%407
%408
%410
%412
%414
%416
%418
%419
%420
%421
%423
%425
%428
%431
%433
%435
%438
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%458
%459
%460
%463
%466
%468
%470
%472
%473
%474
%475
%477
%479
%481
%483
%485
%487
%488
%489
%490
%491
%492
%493
%494
%495
%497
%499
%500
%502
%504
%506
%507
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%563
%565
%566
%567
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%709
%712
%716
%719
%722
%725
%728
%731
%734
%736
%738
%740
%742
%744
%746
%748
%750
%752
%754
%756
%758
%760
%762
%764
%766
%768
%770
%772
%774
%776
%778
%780
%782
%784
%786
%788
%790
%792
%794
%796
%798
%800
%802
%804
%806
%808
%810
%812
%815
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
#s(literal -1 binary64)
(*.f64 %837 #s(literal 2 binary64))
(*.f64 %840 #s(literal 1/4 binary64))
(*.f64 %842 #s(literal 1/2 binary64))
(*.f64 %844 %73)
(*.f64 %333 %846)
(*.f64 %848 #s(literal 2 binary64))
(*.f64 %73 %844)
(*.f64 %846 %333)
(*.f64 %839 #s(literal 1/2 binary64))
(*.f64 %853 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) %855)
(*.f64 #s(literal 2 binary64) %848)
(*.f64 #s(literal 1/2 binary64) %842)
(*.f64 #s(literal 1/2 binary64) %839)
(*.f64 %836 #s(literal 1 binary64))
%836
(*.f64 #s(literal 1 binary64) %836)
(*.f64 x %4)
(pow.f64 %836 #s(literal 1 binary64))
(/.f64 (neg.f64 %842) #s(literal -2 binary64))
(/.f64 (neg.f64 %848) #s(literal -1/2 binary64))
(/.f64 (*.f64 %853 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %853) #s(literal 1 binary64))
(/.f64 (neg.f64 %839) #s(literal -2 binary64))
(/.f64 %842 #s(literal 2 binary64))
(/.f64 %848 #s(literal 1/2 binary64))
(/.f64 %839 #s(literal 2 binary64))
(/.f64 %853 #s(literal -1 binary64))
(/.f64 %836 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %836))
(/.f64 #s(literal 1 binary64) (pow.f64 %836 #s(literal -1 binary64)))
(neg.f64 %853)
(fma.f64 %837 #s(literal 2 binary64) %884)
(fma.f64 %837 #s(literal 2 binary64) %886)
(fma.f64 %840 #s(literal 1/4 binary64) %884)
(fma.f64 %840 #s(literal 1/4 binary64) %886)
(fma.f64 %842 #s(literal 1/2 binary64) %884)
(fma.f64 %842 #s(literal 1/2 binary64) %886)
(fma.f64 %844 %73 %884)
(fma.f64 %844 %73 %886)
(fma.f64 %333 %846 %884)
(fma.f64 %333 %846 %886)
(fma.f64 %848 #s(literal 2 binary64) %884)
(fma.f64 %848 #s(literal 2 binary64) %886)
(fma.f64 %73 %844 %884)
(fma.f64 %73 %844 %886)
(fma.f64 %846 %333 %884)
(fma.f64 %846 %333 %886)
(fma.f64 %839 #s(literal 1/2 binary64) %884)
(fma.f64 %839 #s(literal 1/2 binary64) %886)
(fma.f64 %853 #s(literal -1 binary64) %884)
(fma.f64 %853 #s(literal -1 binary64) %886)
(fma.f64 #s(literal 2 binary64) %855 %884)
(fma.f64 #s(literal 2 binary64) %855 %886)
(fma.f64 #s(literal 2 binary64) %848 %884)
(fma.f64 #s(literal 2 binary64) %848 %886)
(fma.f64 #s(literal 1/2 binary64) %842 %884)
(fma.f64 #s(literal 1/2 binary64) %842 %886)
(fma.f64 #s(literal 1/2 binary64) %839 %884)
(fma.f64 #s(literal 1/2 binary64) %839 %886)
(fma.f64 #s(literal 1/2 binary64) %836 %855)
(fma.f64 %836 #s(literal 1/2 binary64) %837)
(fma.f64 %836 #s(literal 1 binary64) %884)
(fma.f64 %836 #s(literal 1 binary64) %886)
(fma.f64 %4 x %884)
(fma.f64 %4 x %886)
(fma.f64 #s(literal 1 binary64) %836 %884)
(fma.f64 #s(literal 1 binary64) %836 %886)
(fma.f64 x %4 %884)
(fma.f64 x %4 %886)
(+.f64 %837 %837)
(+.f64 %855 %855)
(+.f64 %836 %884)
(+.f64 %836 %886)
(*.f64 %928 %929)
(*.f64 %931 %932)
(*.f64 %934 %935)
(*.f64 %937 %938)
(*.f64 %940 %941)
(*.f64 %943 %944)
(*.f64 %946 #s(literal 2 binary64))
(*.f64 %948 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %950)
(*.f64 %89 %49)
(*.f64 %49 %89)
(*.f64 #s(literal -2 binary64) %954)
(*.f64 #s(literal -2 binary64) %956)
(*.f64 #s(literal -2 binary64) %370)
(*.f64 #s(literal -1/2 binary64) %959)
(*.f64 #s(literal -1/2 binary64) %961)
(*.f64 %63 %59)
(*.f64 %59 %935)
(*.f64 %59 %63)
(*.f64 %70 %66)
(*.f64 %66 %944)
(*.f64 %66 %70)
(*.f64 %75 #s(literal 2 binary64))
(*.f64 #s(literal 1/4 binary64) %970)
(*.f64 #s(literal 2 binary64) %946)
(*.f64 #s(literal 2 binary64) %75)
(*.f64 %391 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %975)
(*.f64 #s(literal 1/2 binary64) %977)
(*.f64 #s(literal 1/2 binary64) %948)
(*.f64 #s(literal 1/2 binary64) %464)
(*.f64 %86 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %391)
(*.f64 #s(literal 1 binary64) %983)
(*.f64 #s(literal 1 binary64) %86)
(pow.f64 %89 #s(literal 3 binary64))
(pow.f64 %415 #s(literal -1/2 binary64))
(pow.f64 %45 #s(literal -3/4 binary64))
(pow.f64 %86 #s(literal 1 binary64))
(pow.f64 %5 #s(literal -1 binary64))
(pow.f64 %4 #s(literal -3 binary64))
(pow.f64 %3 #s(literal -3/2 binary64))
(/.f64 (neg.f64 %996) %84)
(/.f64 (neg.f64 %999) %27)
(/.f64 (neg.f64 %956) #s(literal 1/2 binary64))
(/.f64 (neg.f64 %975) #s(literal -2 binary64))
(/.f64 (neg.f64 %946) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %90) %101)
(/.f64 (neg.f64 %94) %28)
(/.f64 %478 #s(literal 2 binary64))
(/.f64 %465 #s(literal -2 binary64))
(/.f64 %996 %3)
(/.f64 %999 %4)
(/.f64 (neg.f64 %59) %55)
(/.f64 (neg.f64 %66) %193)
(/.f64 %956 #s(literal -1/2 binary64))
(/.f64 %975 #s(literal 2 binary64))
(/.f64 %946 #s(literal 1/2 binary64))
(/.f64 %92 %23)
(/.f64 %92 %25)
(/.f64 %469 #s(literal -2 binary64))
(/.f64 %464 #s(literal 2 binary64))
(/.f64 %90 %84)
(/.f64 %94 %27)
(/.f64 %80 %78)
(/.f64 %89 %3)
(/.f64 %49 %4)
(/.f64 #s(literal -2 binary64) %434)
(/.f64 #s(literal -2 binary64) %1033)
(/.f64 #s(literal -1/2 binary64) %378)
(/.f64 #s(literal -1/2 binary64) %359)
(/.f64 #s(literal -1/2 binary64) %363)
(/.f64 %59 %38)
(/.f64 %66 %178)
(/.f64 #s(literal 2 binary64) (neg.f64 %1033))
(/.f64 #s(literal 2 binary64) %398)
(/.f64 %391 #s(literal -1 binary64))
(/.f64 #s(literal 1/2 binary64) %14)
(/.f64 %86 #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) %358)
%86
(neg.f64 %391)
(fma.f64 %928 %929 %1048)
(fma.f64 %931 %932 %1048)
(fma.f64 %934 %935 %1048)
(fma.f64 %937 %938 %1048)
(fma.f64 %940 %941 %1048)
(fma.f64 %943 %944 %1048)
(fma.f64 %946 #s(literal 2 binary64) %1048)
(fma.f64 %948 #s(literal 1/2 binary64) %1048)
(fma.f64 #s(literal 4 binary64) %950 %1048)
(fma.f64 %89 %49 %1048)
(fma.f64 %49 %89 %1048)
(fma.f64 #s(literal -2 binary64) %954 %1048)
(fma.f64 #s(literal -2 binary64) %956 %1048)
(fma.f64 #s(literal -2 binary64) %370 %1048)
(fma.f64 #s(literal -1/2 binary64) %959 %1048)
(fma.f64 #s(literal -1/2 binary64) %961 %1048)
(fma.f64 #s(literal -1/2 binary64) %391 %75)
(fma.f64 %63 %59 %1048)
(fma.f64 %59 %935 %1048)
(fma.f64 %59 %63 %1048)
(fma.f64 %70 %66 %1048)
(fma.f64 %66 %944 %1048)
(fma.f64 %66 %70 %1048)
(fma.f64 %75 #s(literal 2 binary64) %1048)
(fma.f64 %75 #s(literal 1 binary64) %75)
(fma.f64 #s(literal 1/4 binary64) %970 %1048)
(fma.f64 #s(literal 2 binary64) %946 %1048)
(fma.f64 #s(literal 2 binary64) %75 %1048)
(fma.f64 %391 #s(literal -1 binary64) %1048)
(fma.f64 #s(literal 1/2 binary64) %975 %1048)
(fma.f64 #s(literal 1/2 binary64) %977 %1048)
(fma.f64 #s(literal 1/2 binary64) %948 %1048)
(fma.f64 #s(literal 1/2 binary64) %464 %1048)
(fma.f64 #s(literal 1/2 binary64) %86 %75)
(fma.f64 %86 #s(literal 1 binary64) %1048)
(fma.f64 #s(literal -1 binary64) %391 %1048)
(fma.f64 #s(literal 1 binary64) %983 %1048)
(fma.f64 #s(literal 1 binary64) %75 %75)
(fma.f64 #s(literal 1 binary64) %86 %1048)
(sqrt.f64 (*.f64 %813 %813))
(sqrt.f64 (*.f64 %816 %816))
(sqrt.f64 (/.f64 #s(literal 1 binary64) %415))
(fabs.f64 (neg.f64 %813))
(fabs.f64 (neg.f64 %816))
(fabs.f64 (/.f64 %80 %84))
(fabs.f64 (/.f64 %80 %103))
(fabs.f64 (/.f64 %80 %106))
(fabs.f64 (/.f64 %80 %127))
(fabs.f64 (/.f64 %80 y))
(fabs.f64 (/.f64 %89 %103))
(fabs.f64 (/.f64 %89 %106))
(fabs.f64 (/.f64 %89 %127))
(fabs.f64 (/.f64 %89 y))
(fabs.f64 (/.f64 %109 %28))
(fabs.f64 (/.f64 %109 %30))
(fabs.f64 (/.f64 %109 %27))
(fabs.f64 (/.f64 %109 %4))
(fabs.f64 (/.f64 %112 %28))
(fabs.f64 (/.f64 %112 %30))
(fabs.f64 (/.f64 %112 %27))
(fabs.f64 (/.f64 %112 %4))
(fabs.f64 (/.f64 %49 %28))
(fabs.f64 (/.f64 %49 %30))
(fabs.f64 (/.f64 %813 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %813 #s(literal 1 binary64)))
(fabs.f64 (/.f64 %816 #s(literal -1 binary64)))
(fabs.f64 (/.f64 %816 #s(literal 1 binary64)))
(fabs.f64 (/.f64 #s(literal -1 binary64) %710))
(fabs.f64 (/.f64 #s(literal -1 binary64) %714))
(fabs.f64 (/.f64 #s(literal -1 binary64) %717))
(fabs.f64 (/.f64 #s(literal -1 binary64) %720))
(fabs.f64 (/.f64 #s(literal -1 binary64) %723))
(fabs.f64 (/.f64 #s(literal -1 binary64) %726))
(fabs.f64 (/.f64 #s(literal -1 binary64) %729))
(fabs.f64 (/.f64 #s(literal -1 binary64) %732))
(fabs.f64 (/.f64 #s(literal 1 binary64) %707))
(fabs.f64 (/.f64 #s(literal 1 binary64) %710))
(fabs.f64 (/.f64 #s(literal 1 binary64) %714))
(fabs.f64 (/.f64 #s(literal 1 binary64) %717))
(fabs.f64 (/.f64 #s(literal 1 binary64) %720))
(fabs.f64 (/.f64 #s(literal 1 binary64) %723))
(fabs.f64 (/.f64 #s(literal 1 binary64) %726))
(fabs.f64 (/.f64 #s(literal 1 binary64) %729))
(fabs.f64 (/.f64 #s(literal 1 binary64) %732))
(fabs.f64 %813)
(fabs.f64 %816)
(fabs.f64 %391)
(fabs.f64 %86)
(+.f64 %75 %75)
(+.f64 %86 %1048)
%270
%275
%281
%282
%287
%288
%293
%298
%303
%306
%311
%314
%317
%318
%322
%326
%328
%330
%332
%335
%336
%338
%340
%341
%342
%343
%344
%345
%346
%347
%349
%350
%354
%355
%356
%357
%360
%362
%364
%366
%368
%369
%373
%374
%377
%380
%382
%384
%385
%388
%390
%394
%397
%400
%401
%402
%403
%404
%405
%406
%5
%407
%408
%410
%412
%414
%416
%418
%419
%420
%421
%423
%425
%428
%431
%433
%435
%438
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%458
%459
%460
%463
%466
%468
%470
%472
%473
%474
%475
%477
%479
%481
%483
%485
%487
%488
%489
%490
%491
%492
%493
%494
%495
%497
%499
%500
%502
%504
%506
%507
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%563
%565
%566
%567
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%709
%712
%716
%719
%722
%725
%728
%731
%734
%736
%738
%740
%742
%744
%746
%748
%750
%752
%754
%756
%758
%760
%762
%764
%766
%768
%770
%772
%774
%776
%778
%780
%782
%784
%786
%788
%790
%792
%794
%796
%798
%800
%802
%804
%806
%808
%810
%812
%815
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
(*.f64 (/.f64 %1185 %89) %3)
(*.f64 (/.f64 %1185 %49) %4)
(*.f64 %1190 %358)
(*.f64 %1192 %5)
%1195
(*.f64 %1196 #s(literal -1 binary64))
(*.f64 %1185 %5)
(*.f64 %1195 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %1195)
(pow.f64 %1195 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %1203 #s(literal -1 binary64)) (*.f64 #s(literal 2 binary64) x)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %1208 #s(literal -1 binary64)) (*.f64 %63 x)) (*.f64 %63 #s(literal -1 binary64)))
(/.f64 (-.f64 (*.f64 %1214 #s(literal -1 binary64)) (*.f64 %70 x)) (*.f64 %70 #s(literal -1 binary64)))
(/.f64 (-.f64 (*.f64 %848 #s(literal -1 binary64)) (*.f64 %75 x)) (*.f64 %75 #s(literal -1 binary64)))
(/.f64 (-.f64 (*.f64 %1225 #s(literal -1 binary64)) (*.f64 %469 x)) (*.f64 %469 #s(literal -1 binary64)))
(/.f64 (-.f64 (*.f64 %839 #s(literal -1 binary64)) (*.f64 %464 x)) (*.f64 %464 #s(literal -1 binary64)))
(/.f64 (-.f64 %836 (*.f64 %391 x)) %86)
(/.f64 (-.f64 (*.f64 %1202 #s(literal -1 binary64)) x) #s(literal -1 binary64))
(/.f64 (-.f64 %853 %1184) %391)
(/.f64 (-.f64 %1245 (*.f64 #s(literal 2 binary64) %1247)) %469)
(/.f64 (-.f64 (*.f64 %1244 %86) %1225) %464)
(/.f64 (-.f64 (*.f64 %1244 #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) %1255)) #s(literal 2 binary64))
(/.f64 (-.f64 %1245 %839) %469)
(/.f64 (-.f64 %1261 (*.f64 #s(literal 1 binary64) %1247)) %391)
(/.f64 (-.f64 %1261 %836) %391)
(/.f64 (neg.f64 %1267) %427)
(/.f64 (neg.f64 %1270) %430)
(/.f64 (neg.f64 %1273) %471)
(/.f64 (neg.f64 %1190) %86)
(/.f64 (neg.f64 %1192) %391)
(/.f64 (neg.f64 %1280) %86)
(/.f64 (neg.f64 %1283) %86)
(/.f64 %1267 %63)
(/.f64 %1270 %70)
(/.f64 %1273 %75)
(/.f64 %1190 %391)
(/.f64 %1192 %86)
(/.f64 %1280 %391)
(/.f64 %1283 %391)
(/.f64 %1185 %86)
(/.f64 %1195 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %86 %1185))
(/.f64 #s(literal 1 binary64) (pow.f64 %1195 #s(literal -1 binary64)))
(neg.f64 %1196)
(neg.f64 (-.f64 %1255 x))
(fma.f64 (*.f64 %5 %839) #s(literal 1/2 binary64) x)
(fma.f64 (/.f64 %836 %89) %3 x)
(fma.f64 (/.f64 %836 %49) %4 x)
(fma.f64 (/.f64 %839 %59) %268 x)
(fma.f64 (/.f64 %839 %66) %273 x)
(fma.f64 (/.f64 %839 #s(literal -1 binary64)) %363 x)
(fma.f64 %1208 %304 x)
(fma.f64 %1214 %312 x)
(fma.f64 %848 %395 x)
(fma.f64 %60 (/.f64 x %63) x)
(fma.f64 %67 (/.f64 x %70) x)
(fma.f64 %73 (/.f64 x %75) x)
(fma.f64 %256 (/.f64 x %391) x)
(fma.f64 %299 (/.f64 %836 %63) x)
(fma.f64 %307 (/.f64 %836 %70) x)
(fma.f64 (/.f64 x %59) (/.f64 %4 %63) x)
(fma.f64 (/.f64 x %66) (/.f64 %4 %70) x)
(fma.f64 %846 (/.f64 %4 %75) x)
(fma.f64 %1337 %3 x)
(fma.f64 %839 %14 x)
(fma.f64 %853 %358 x)
(fma.f64 %1255 #s(literal -1 binary64) x)
(fma.f64 %1342 %4 x)
(fma.f64 #s(literal 2 binary64) (*.f64 %14 %836) x)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %1202) x)
(fma.f64 %1246 (/.f64 %4 %391) x)
(fma.f64 %45 x x)
(fma.f64 #s(literal 1/2 binary64) %1203 x)
(fma.f64 #s(literal 1/2 binary64) (/.f64 %836 %75) x)
(fma.f64 %1202 #s(literal 1 binary64) x)
(fma.f64 %836 %5 x)
(fma.f64 #s(literal -1 binary64) %1255 x)
(fma.f64 %5 %836 x)
(fma.f64 %4 %1342 x)
(fma.f64 %3 %1337 x)
(fma.f64 #s(literal 1 binary64) %1202 x)
(fma.f64 x %45 x)
(-.f64 %1202 %1246)
(-.f64 x %1255)
(+.f64 (/.f64 %1184 %86) %1202)
(+.f64 %1202 x)
(+.f64 x (*.f64 %28 %1342))
(+.f64 x %1202)
reconstruct85.0ms (5.6%)
Counts
1 299 → 157
Compiler
Compiled 1 299 to 1 418 computations (-9.2% saved)
eval15.0ms (1.0%)
Compiler
Compiled 154 to 613 computations (-298.1% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (1 fresh and 6 done)
PrunedKeptTotal
New1531154
Fresh000
Picked101
Done066
Total1547161
Accuracy
100.0%
Counts
161 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.4%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 (*.f64 %16 x) (*.f64 %16 %15) x)
98.4%
%16 = (sqrt.f64 (fabs.f64 y))
(fma.f64 (*.f64 %16 x) (fabs.f64 (/.f64 y (/.f64 #s(literal -1 binary64) %16))) x)
✓99.8%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 %16 (*.f64 %16 (*.f64 %15 x)) x)
✓99.9%
(fma.f64 y (*.f64 y x) x)
✓95.5%
(fma.f64 x (*.f64 y y) x)
✓95.5%
(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal 1 binary64))))
✓51.1%
(*.f64 x (approx (+ 1 (* y y)) #s(literal 1 binary64)))
Compiler
Compiled 7 to 24 computations (-242.9% saved)
regimes26.0ms (1.7%)
Accuracy
Total 0.0b remaining (0.1%)
Threshold costs 0.0b (0.1%)
0.0b0.0%
0.0b100.0%
0.0b0%
Counts
1 → 1
2 → 1
3 → 1
Calls
Call 1
Inputs
(*.f64 x (approx (+ 1 (* y y)) #s(literal 1 binary64)))
Outputs
(*.f64 x (approx (+ 1 (* y y)) #s(literal 1 binary64)))
Call 2
Inputs
(*.f64 x (approx (+ 1 (* y y)) #s(literal 1 binary64)))
(fma.f64 x (*.f64 y y) x)
Outputs
(fma.f64 x (*.f64 y y) x)
Call 3
Inputs
(*.f64 x (approx (+ 1 (* y y)) #s(literal 1 binary64)))
(fma.f64 x (*.f64 y y) x)
(fma.f64 y (*.f64 y x) x)
Outputs
(fma.f64 y (*.f64 y x) x)
Calls
5 calls:
7.0ms
(*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 y y)))
5.0ms
x
5.0ms
y
4.0ms
(*.f64 y y)
4.0ms
(+.f64 #s(literal 1 binary64) (*.f64 y y))
Results
AccuracySegmentsBranch
51.1%1
y
51.1%1
x
51.1%1
(*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 y y)))
51.1%1
(+.f64 #s(literal 1 binary64) (*.f64 y y))
51.1%1
(*.f64 y y)
Compiler
Compiled 15 to 41 computations (-173.3% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations42.0ms (2.8%)
Stop Event
1×fuel
Compiler
Compiled 3 to 8 computations (-166.7% saved)
preprocess16.0ms (1.0%)
Compiler
Compiled 16 to 58 computations (-262.5% saved)
end0.0ms (0.0%)
gc367ms (24.3%)
Allocations
AllocatedPercentPhase
447.4 MiB30.1%reconstruct
425.1 MiB28.6%rewrite
300.2 MiB20.2%sample
104.0 MiB7.0%series
58.2 MiB3.9%eval
54.6 MiB3.7%regimes
44.4 MiB3.0%preprocess
30.6 MiB2.1%derivations
21.4 MiB1.4%prune
0.5 MiB0.0%bsearch
0.1 MiB0.0%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
1 486.6 MiB100.0%total
Profiling
Loading profile data...