Data.HyperLogLog.Config:hll from hyperloglog-0.3.4

Time bar (total: 2.3s)

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 7 to 6 computations (14.3% saved)

sample220.0ms (9.4%)

Samples
160.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 5.0ms
Mul: 5.0ms (100.8% of total, 0.0 MiB)
Bogosity

preprocess79.0ms (3.4%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01432
15232
211132
321632
450132
5222032
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.8%
(*.f64 (*.f64 x y) y)
Symmetry

(abs y)

(negabs x)

Compiler

Compiled 2 to 8 computations (-300.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series8.0ms (0.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01327
Stop Event
1×iter-limit
Counts
4 → 5
Calls
Call 1
Inputs
%2 = (*.f64 x y)
x
y
%2
(*.f64 %2 y)
Outputs
%5 = (* x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 (*.f64 x y))
(approx (* %5 y) (*.f64 x (pow.f64 y #s(literal 2 binary64))))
(approx y y)
Calls
6 calls:
TimeVariablePoint
2.0ms
x
inf
2.0ms
y
inf
1.0ms
x
-inf
1.0ms
y
-inf
0.0ms
x
0
rewrite113.0ms (4.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0410
0610
11510
23110
38610
428210
5151710
0441810
0460110
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 28
Calls
Call 1
Inputs
%2 = (*.f64 x y)
x
y
%2
(*.f64 %2 y)
Outputs
%3 = (*.f64 y x)
%10 = (neg.f64 y)
%11 = (*.f64 %10 x)
%13 = (fabs.f64 y)
%14 = (*.f64 %13 x)
%15 = (sqrt.f64 %13)
%18 = (neg.f64 x)
%19 = (*.f64 %10 y)
%21 = (neg.f64 %13)
%22 = (*.f64 %21 x)
%32 = (*.f64 y y)
%34 = (*.f64 %3 y)
x
y
(*.f64 #s(literal 1 binary64) %3)
%3
(*.f64 x y)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %11)
(*.f64 (*.f64 %14 %15) %15)
(*.f64 %18 %19)
(*.f64 %22 %21)
(*.f64 %15 (*.f64 %15 %14))
(*.f64 %11 %10)
(*.f64 %14 %13)
(*.f64 %19 %18)
(*.f64 %21 %22)
(*.f64 %13 %14)
(*.f64 %10 %11)
(*.f64 %32 x)
(*.f64 #s(literal 1 binary64) %34)
%34
(*.f64 y %3)
(*.f64 x %32)
(pow.f64 %34 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %34 #s(literal -1 binary64)))
(neg.f64 (*.f64 %13 %22))
(neg.f64 (*.f64 %22 %13))
(neg.f64 (*.f64 %11 y))
reconstruct2.0ms (0.1%)
Counts
33 → 9
Compiler
Compiled 33 to 51 computations (-54.5% saved)
eval1.0ms (0.0%)
Compiler
Compiled 8 to 25 computations (-212.5% saved)
prune1.0ms (0.0%)
Pruning
4 alts after pruning (3 fresh and 1 done)
PrunedKeptTotal
New538
Fresh000
Picked011
Done000
Total549
Accuracy
100.0%
Counts
9 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.8%
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 y x) #s(literal -1 binary64))) y)
✓99.8%
(*.f64 (*.f64 x y) y)
▶99.6%
%4 = (fabs.f64 y)
%5 = (sqrt.f64 %4)
(*.f64 %5 (*.f64 %5 (*.f64 %4 x)))
▶91.1%
(*.f64 x (*.f64 y y))
Compiler
Compiled 4 to 17 computations (-325.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series16.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
082306
Stop Event
1×iter-limit
Counts
15 → 22
Calls
Call 1
Inputs
%3 = (*.f64 y x)
%5 = (pow.f64 %3 #s(literal -1 binary64))
%6 = (/.f64 #s(literal 1 binary64) %5)
%7 = (fabs.f64 y)
%8 = (*.f64 %7 x)
%9 = (sqrt.f64 %7)
%10 = (*.f64 %9 %8)
%12 = (*.f64 y y)
x
y
#s(literal 1 binary64)
%3
#s(literal -1 binary64)
%5
%6
%7
%8
%9
%10
(*.f64 %9 %10)
%12
(*.f64 x %12)
(*.f64 %6 y)
Outputs
%5 = (* y x)
%6 = (*.f64 x y)
%13 = (fabs y)
%14 = (* %13 x)
%15 = (fabs.f64 y)
%18 = (sqrt %13)
%19 = (* %18 %14)
%20 = (sqrt.f64 %15)
%24 = (* %18 %19)
%30 = (* y y)
%32 = (pow.f64 y #s(literal 2 binary64))
%40 = (fabs.f64 (/.f64 #s(literal 1 binary64) y))
%41 = (*.f64 %32 %40)
%45 = (sqrt.f64 %40)
%49 = (pow.f64 y #s(literal 3 binary64))
%55 = (pow.f64 y #s(literal 4 binary64))
%63 = (fabs.f64 (/.f64 #s(literal -1 binary64) y))
%64 = (*.f64 %32 %63)
%71 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %63))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx (pow %5 -1) (/.f64 #s(literal 1 binary64) %6))
(approx %14 (*.f64 x %15))
(approx %19 (*.f64 x (*.f64 %15 %20)))
(approx %24 (*.f64 x (*.f64 %15 (pow.f64 %20 #s(literal 2 binary64)))))
(approx (* x %30) (*.f64 x %32))
(approx y y)
(approx %13 %15)
(approx %18 %20)
(approx %30 %32)
(approx %13 %41)
(approx %14 (*.f64 x %41))
(approx %18 (*.f64 y %45))
(approx %19 (*.f64 x (*.f64 %49 (*.f64 %40 %45))))
(approx %24 (*.f64 x (*.f64 %55 (*.f64 %40 (pow.f64 %45 #s(literal 2 binary64))))))
(approx %13 (*.f64 #s(literal -1 binary64) %64))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x %64)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 y %71)))
(approx %19 (*.f64 x (*.f64 %49 (*.f64 %63 %71))))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 x (*.f64 %55 (*.f64 %63 (pow.f64 %71 #s(literal 2 binary64)))))))
Calls
6 calls:
TimeVariablePoint
4.0ms
y
inf
4.0ms
x
inf
2.0ms
x
0
2.0ms
y
-inf
1.0ms
y
0
rewrite109.0ms (4.7%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01565
02671
17948
225348
3142948
0484948
0509848
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
15 → 1 209
Calls
Call 1
Inputs
%3 = (*.f64 y x)
%5 = (pow.f64 %3 #s(literal -1 binary64))
%6 = (/.f64 #s(literal 1 binary64) %5)
%7 = (fabs.f64 y)
%8 = (*.f64 %7 x)
%9 = (sqrt.f64 %7)
%10 = (*.f64 %9 %8)
%12 = (*.f64 y y)
x
y
#s(literal 1 binary64)
%3
#s(literal -1 binary64)
%5
%6
%7
%8
%9
%10
(*.f64 %9 %10)
%12
(*.f64 x %12)
(*.f64 %6 y)
Outputs
%4 = (*.f64 x #s(literal 2 binary64))
%6 = (*.f64 #s(literal 1/2 binary64) y)
%7 = (*.f64 %4 %6)
%8 = (*.f64 y x)
%9 = (/.f64 %8 #s(literal 1/2 binary64))
%10 = (*.f64 %9 #s(literal 1/2 binary64))
%11 = (/.f64 x #s(literal 1/2 binary64))
%12 = (*.f64 %11 %6)
%13 = (/.f64 x #s(literal 2 binary64))
%14 = (/.f64 y #s(literal 1/2 binary64))
%15 = (*.f64 %13 %14)
%16 = (/.f64 #s(literal 2 binary64) y)
%17 = (/.f64 #s(literal 1/2 binary64) %16)
%18 = (/.f64 #s(literal 1/2 binary64) x)
%19 = (/.f64 #s(literal 2 binary64) %18)
%20 = (*.f64 %17 %19)
%21 = (/.f64 #s(literal 2 binary64) x)
%22 = (/.f64 #s(literal 1/2 binary64) %21)
%25 = (/.f64 #s(literal -1/2 binary64) y)
%26 = (/.f64 #s(literal -2 binary64) %25)
%27 = (*.f64 %22 %26)
%28 = (*.f64 %14 %13)
%29 = (/.f64 #s(literal 2 binary64) %16)
%30 = (/.f64 #s(literal 1/2 binary64) %18)
%31 = (*.f64 %29 %30)
%32 = (/.f64 #s(literal 2 binary64) %21)
%33 = (/.f64 #s(literal -1/2 binary64) %25)
%34 = (*.f64 %32 %33)
%35 = (/.f64 #s(literal 1 binary64) %21)
%37 = (/.f64 #s(literal -1 binary64) %25)
%38 = (*.f64 %35 %37)
%39 = (*.f64 %8 #s(literal 2 binary64))
%40 = (*.f64 %39 #s(literal 1/2 binary64))
%42 = (*.f64 #s(literal 1/2 binary64) %8)
%43 = (/.f64 %42 #s(literal 2 binary64))
%44 = (*.f64 #s(literal 4 binary64) %43)
%45 = (*.f64 %6 %11)
%46 = (/.f64 #s(literal 1 binary64) %18)
%47 = (*.f64 %6 %46)
%48 = (*.f64 %42 #s(literal 2 binary64))
%49 = (neg.f64 y)
%50 = (*.f64 %49 x)
%51 = (*.f64 #s(literal 1/2 binary64) %50)
%52 = (*.f64 #s(literal -2 binary64) %51)
%53 = (/.f64 %8 #s(literal -2 binary64))
%54 = (*.f64 #s(literal -2 binary64) %53)
%55 = (/.f64 #s(literal 1 binary64) %8)
%56 = (/.f64 #s(literal -1/2 binary64) %55)
%57 = (*.f64 #s(literal -2 binary64) %56)
%58 = (/.f64 %8 #s(literal -1/2 binary64))
%59 = (*.f64 #s(literal -1/2 binary64) %58)
%60 = (/.f64 #s(literal -2 binary64) %55)
%61 = (*.f64 #s(literal -1/2 binary64) %60)
%62 = (*.f64 %50 #s(literal -1 binary64))
%64 = (/.f64 #s(literal -1/2 binary64) %8)
%65 = (/.f64 #s(literal -2 binary64) %64)
%66 = (*.f64 #s(literal 1/4 binary64) %65)
%67 = (*.f64 #s(literal 1/2 binary64) %9)
%68 = (/.f64 #s(literal -1 binary64) %8)
%69 = (/.f64 #s(literal -2 binary64) %68)
%70 = (*.f64 #s(literal 1/2 binary64) %69)
%71 = (/.f64 #s(literal -1 binary64) %64)
%72 = (*.f64 #s(literal 1/2 binary64) %71)
%73 = (*.f64 #s(literal 2 binary64) %8)
%74 = (*.f64 #s(literal 1/2 binary64) %73)
%75 = (*.f64 #s(literal 2 binary64) %42)
%76 = (*.f64 #s(literal -1 binary64) %50)
%77 = (*.f64 %8 #s(literal 1 binary64))
%78 = (*.f64 #s(literal 1 binary64) %8)
%79 = (*.f64 x y)
%80 = (pow.f64 %55 #s(literal -1 binary64))
%81 = (pow.f64 %8 #s(literal 1 binary64))
%85 = (/.f64 (fma.f64 %17 %18 (*.f64 %18 %17)) (*.f64 %18 %18))
%86 = (/.f64 #s(literal 1/2 binary64) y)
%90 = (/.f64 (fma.f64 %17 %86 (*.f64 %18 %22)) (*.f64 %18 %86))
%93 = (*.f64 %18 #s(literal 1 binary64))
%94 = (/.f64 (fma.f64 %17 #s(literal 1 binary64) (*.f64 %18 %42)) %93)
%98 = (/.f64 (fma.f64 %17 %68 (*.f64 %18 #s(literal -1/2 binary64))) (*.f64 %18 %68))
%99 = (/.f64 #s(literal 1/2 binary64) %8)
%103 = (/.f64 (fma.f64 %17 %99 (*.f64 %18 #s(literal 1/4 binary64))) (*.f64 %18 %99))
%106 = (*.f64 %18 %55)
%107 = (/.f64 (fma.f64 %17 %55 (*.f64 %18 #s(literal 1/2 binary64))) %106)
%108 = (*.f64 #s(literal 2 binary64) %68)
%112 = (/.f64 (fma.f64 %17 %108 (*.f64 %18 #s(literal -1 binary64))) (*.f64 %18 %108))
%116 = (/.f64 (fma.f64 %17 #s(literal 2 binary64) (*.f64 %18 %8)) (*.f64 %18 #s(literal 2 binary64)))
%117 = (*.f64 #s(literal 2 binary64) %55)
%120 = (/.f64 (fma.f64 %17 %117 %93) (*.f64 %18 %117))
%124 = (/.f64 (fma.f64 %22 %18 (*.f64 %86 %17)) (*.f64 %86 %18))
%128 = (/.f64 (fma.f64 %22 %86 (*.f64 %86 %22)) (*.f64 %86 %86))
%131 = (*.f64 %86 #s(literal 1 binary64))
%132 = (/.f64 (fma.f64 %22 #s(literal 1 binary64) (*.f64 %86 %42)) %131)
%136 = (/.f64 (fma.f64 %22 %68 (*.f64 %86 #s(literal -1/2 binary64))) (*.f64 %86 %68))
%140 = (/.f64 (fma.f64 %22 %99 (*.f64 %86 #s(literal 1/4 binary64))) (*.f64 %86 %99))
%143 = (*.f64 %86 %55)
%144 = (/.f64 (fma.f64 %22 %55 (*.f64 %86 #s(literal 1/2 binary64))) %143)
%148 = (/.f64 (fma.f64 %22 %108 (*.f64 %86 #s(literal -1 binary64))) (*.f64 %86 %108))
%151 = (/.f64 #s(literal 1 binary64) y)
%152 = (/.f64 (fma.f64 %22 #s(literal 2 binary64) (*.f64 %86 %8)) %151)
%155 = (/.f64 (fma.f64 %22 %117 %131) (*.f64 %86 %117))
%158 = (/.f64 (fma.f64 %42 %18 (*.f64 #s(literal 1 binary64) %17)) %18)
%161 = (/.f64 (fma.f64 %42 %86 (*.f64 #s(literal 1 binary64) %22)) %86)
%163 = (/.f64 (fma.f64 %42 %68 #s(literal -1/2 binary64)) %68)
%165 = (/.f64 (fma.f64 %42 %99 #s(literal 1/4 binary64)) %99)
%167 = (/.f64 (fma.f64 %42 %55 #s(literal 1/2 binary64)) %55)
%170 = (/.f64 (fma.f64 %42 %108 #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) %108))
%173 = (/.f64 (fma.f64 %42 %117 #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) %117))
%177 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %18 (*.f64 %68 %17)) (*.f64 %68 %18))
%181 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %86 (*.f64 %68 %22)) (*.f64 %68 %86))
%184 = (/.f64 (+.f64 #s(literal -1/2 binary64) (*.f64 %68 %42)) %68)
%188 = (/.f64 (+.f64 %99 (*.f64 %68 #s(literal -1/2 binary64))) (*.f64 %68 %68))
%192 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %99 (*.f64 %68 #s(literal 1/4 binary64))) (*.f64 %68 %99))
%195 = (*.f64 %68 %55)
%196 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %55 (*.f64 %68 #s(literal 1/2 binary64))) %195)
%199 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %108 %55) (*.f64 %68 %108))
%202 = (*.f64 %68 #s(literal 2 binary64))
%203 = (/.f64 (+.f64 #s(literal -1 binary64) (*.f64 %68 %8)) %202)
%206 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %117 %68) (*.f64 %68 %117))
%210 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %18 (*.f64 %99 %17)) (*.f64 %99 %18))
%214 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %86 (*.f64 %99 %22)) (*.f64 %99 %86))
%217 = (/.f64 (+.f64 #s(literal 1/4 binary64) (*.f64 %99 %42)) %99)
%221 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %68 (*.f64 %99 #s(literal -1/2 binary64))) (*.f64 %99 %68))
%225 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %99 (*.f64 %99 #s(literal 1/4 binary64))) (*.f64 %99 %99))
%228 = (*.f64 %99 %55)
%229 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %55 (*.f64 %99 #s(literal 1/2 binary64))) %228)
%233 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %108 (*.f64 %99 #s(literal -1 binary64))) (*.f64 %99 %108))
%236 = (/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 %99 %8)) %55)
%239 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %117 %99) (*.f64 %99 %117))
%243 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %18 (*.f64 %55 %17)) (*.f64 %55 %18))
%247 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %86 (*.f64 %55 %22)) (*.f64 %55 %86))
%250 = (/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 %55 %42)) %55)
%254 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %68 (*.f64 %55 #s(literal -1/2 binary64))) (*.f64 %55 %68))
%258 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %99 (*.f64 %55 #s(literal 1/4 binary64))) (*.f64 %55 %99))
%261 = (*.f64 %55 %55)
%262 = (/.f64 (+.f64 %99 (*.f64 %55 #s(literal 1/2 binary64))) %261)
%265 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %108 %68) (*.f64 %55 %108))
%268 = (*.f64 %55 #s(literal 2 binary64))
%269 = (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 %55 %8)) %268)
%272 = (/.f64 (+.f64 %55 %55) (*.f64 %55 %117))
%276 = (/.f64 (fma.f64 #s(literal -1 binary64) %18 (*.f64 %108 %17)) (*.f64 %108 %18))
%280 = (/.f64 (fma.f64 #s(literal -1 binary64) %86 (*.f64 %108 %22)) (*.f64 %108 %86))
%283 = (*.f64 %108 #s(literal 1 binary64))
%284 = (/.f64 (+.f64 #s(literal -1 binary64) (*.f64 %108 %42)) %283)
%288 = (/.f64 (+.f64 %55 (*.f64 %108 #s(literal -1/2 binary64))) (*.f64 %108 %68))
%292 = (/.f64 (fma.f64 #s(literal -1 binary64) %99 (*.f64 %108 #s(literal 1/4 binary64))) (*.f64 %108 %99))
%295 = (*.f64 %108 %55)
%296 = (/.f64 (+.f64 %68 (*.f64 %108 #s(literal 1/2 binary64))) %295)
%300 = (/.f64 (fma.f64 #s(literal -1 binary64) %108 (*.f64 %108 #s(literal -1 binary64))) (*.f64 %108 %108))
%304 = (/.f64 (+.f64 #s(literal -2 binary64) (*.f64 %108 %8)) (*.f64 %108 #s(literal 2 binary64)))
%307 = (/.f64 (fma.f64 #s(literal -1 binary64) %117 %283) (*.f64 %108 %117))
%310 = (/.f64 #s(literal 1 binary64) x)
%311 = (/.f64 (fma.f64 %8 %18 (*.f64 #s(literal 2 binary64) %17)) %310)
%314 = (/.f64 (fma.f64 %8 %86 (*.f64 #s(literal 2 binary64) %22)) %151)
%316 = (/.f64 (fma.f64 %8 %68 #s(literal -1 binary64)) %108)
%318 = (/.f64 (fma.f64 %8 %99 #s(literal 1/2 binary64)) %55)
%320 = (/.f64 (fma.f64 %8 %55 #s(literal 1 binary64)) %117)
%323 = (/.f64 (fma.f64 %8 %108 #s(literal -2 binary64)) (*.f64 #s(literal 2 binary64) %108))
%325 = (/.f64 (fma.f64 %8 #s(literal 2 binary64) %73) #s(literal 4 binary64))
%328 = (/.f64 (fma.f64 %8 %117 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %117))
%332 = (/.f64 (+.f64 %18 (*.f64 %117 %17)) (*.f64 %117 %18))
%336 = (/.f64 (+.f64 %86 (*.f64 %117 %22)) (*.f64 %117 %86))
%339 = (*.f64 %117 #s(literal 1 binary64))
%340 = (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 %117 %42)) %339)
%344 = (/.f64 (+.f64 %68 (*.f64 %117 #s(literal -1/2 binary64))) (*.f64 %117 %68))
%348 = (/.f64 (+.f64 %99 (*.f64 %117 #s(literal 1/4 binary64))) (*.f64 %117 %99))
%351 = (*.f64 %117 %55)
%352 = (/.f64 (+.f64 %55 (*.f64 %117 #s(literal 1/2 binary64))) %351)
%356 = (/.f64 (fma.f64 #s(literal 1 binary64) %108 (*.f64 %117 #s(literal -1 binary64))) (*.f64 %117 %108))
%360 = (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 %117 %8)) (*.f64 %117 #s(literal 2 binary64)))
%363 = (/.f64 (fma.f64 #s(literal 1 binary64) %117 %339) (*.f64 %117 %117))
%366 = (/.f64 (fma.f64 %9 %55 #s(literal 0 binary64)) %117)
%369 = (/.f64 (fma.f64 %6 %55 (*.f64 %18 #s(literal 0 binary64))) %106)
%372 = (/.f64 (fma.f64 %35 %55 (*.f64 %86 #s(literal 0 binary64))) %143)
%374 = (/.f64 (fma.f64 %39 %55 #s(literal 0 binary64)) %117)
%376 = (/.f64 (fma.f64 %73 %55 #s(literal 0 binary64)) %117)
%378 = (/.f64 (fma.f64 %42 %55 #s(literal 0 binary64)) %99)
%382 = (/.f64 (fma.f64 #s(literal -2 binary64) %55 (*.f64 %202 #s(literal 0 binary64))) (*.f64 %202 %55))
%385 = (/.f64 (fma.f64 #s(literal -2 binary64) %55 (*.f64 %108 #s(literal 0 binary64))) %295)
%387 = (/.f64 (fma.f64 %50 %55 #s(literal 0 binary64)) %68)
%391 = (/.f64 (fma.f64 #s(literal 2 binary64) %55 (*.f64 %268 #s(literal 0 binary64))) (*.f64 %268 %55))
%394 = (/.f64 (fma.f64 #s(literal 2 binary64) %55 (*.f64 %117 #s(literal 0 binary64))) %351)
%396 = (/.f64 (fma.f64 %8 %55 #s(literal 0 binary64)) %55)
%400 = (/.f64 (fma.f64 y %55 (*.f64 %310 #s(literal 0 binary64))) (*.f64 %310 %55))
%404 = (/.f64 (fma.f64 x %55 (*.f64 %151 #s(literal 0 binary64))) (*.f64 %151 %55))
%407 = (/.f64 (+.f64 %99 (*.f64 %99 #s(literal 0 binary64))) %228)
%410 = (/.f64 (+.f64 %55 (*.f64 %55 #s(literal 0 binary64))) %261)
%413 = (/.f64 (+.f64 %68 (*.f64 %68 #s(literal 0 binary64))) %195)
%414 = (fma.f64 y x %8)
%415 = (/.f64 %414 #s(literal 2 binary64))
%417 = (/.f64 (neg.f64 %9) #s(literal -2 binary64))
%419 = (neg.f64 %86)
%420 = (/.f64 (neg.f64 %35) %419)
%422 = (/.f64 (neg.f64 %39) #s(literal -2 binary64))
%423 = (neg.f64 %73)
%424 = (/.f64 %423 #s(literal -2 binary64))
%425 = (neg.f64 %42)
%426 = (/.f64 %425 #s(literal -1/2 binary64))
%427 = (neg.f64 %6)
%428 = (neg.f64 %18)
%429 = (/.f64 %427 %428)
%430 = (*.f64 #s(literal -1 binary64) x)
%431 = (/.f64 #s(literal -1 binary64) y)
%432 = (/.f64 %430 %431)
%433 = (/.f64 %51 #s(literal -1/2 binary64))
%434 = (/.f64 %9 #s(literal 2 binary64))
%435 = (/.f64 %35 %86)
%436 = (/.f64 %56 #s(literal -1/2 binary64))
%437 = (/.f64 %39 #s(literal 2 binary64))
%438 = (/.f64 %73 #s(literal 2 binary64))
%439 = (neg.f64 x)
%440 = (neg.f64 %151)
%441 = (/.f64 %439 %440)
%442 = (/.f64 %6 %18)
%443 = (/.f64 %42 #s(literal 1/2 binary64))
%445 = (/.f64 #s(literal -2 binary64) (neg.f64 %268))
%446 = (neg.f64 %117)
%447 = (/.f64 #s(literal -2 binary64) %446)
%448 = (/.f64 #s(literal -2 binary64) %202)
%449 = (/.f64 #s(literal -2 binary64) %108)
%450 = (neg.f64 %99)
%451 = (/.f64 #s(literal -1/2 binary64) %450)
%452 = (/.f64 #s(literal -1/2 binary64) %64)
%453 = (/.f64 %50 #s(literal -1 binary64))
%454 = (/.f64 #s(literal -1 binary64) x)
%455 = (/.f64 %49 %454)
%456 = (neg.f64 %310)
%457 = (/.f64 %49 %456)
%458 = (/.f64 #s(literal 1/2 binary64) %99)
%460 = (/.f64 #s(literal 2 binary64) (neg.f64 %202))
%461 = (neg.f64 %108)
%462 = (/.f64 #s(literal 2 binary64) %461)
%463 = (/.f64 #s(literal 2 binary64) %268)
%464 = (/.f64 #s(literal 2 binary64) %117)
%465 = (/.f64 #s(literal -1 binary64) %68)
%466 = (/.f64 %8 #s(literal 1 binary64))
%467 = (/.f64 #s(literal 1 binary64) %55)
%468 = (/.f64 y %310)
%469 = (/.f64 x %151)
%470 = (neg.f64 %50)
%471 = (*.f64 %8 #s(literal 0 binary64))
%472 = (fma.f64 %4 %6 %471)
%473 = (*.f64 #s(literal 0 binary64) %8)
%474 = (fma.f64 %4 %6 %473)
%475 = (/.f64 #s(literal 0 binary64) %68)
%476 = (fma.f64 %4 %6 %475)
%477 = (*.f64 #s(literal 1/2 binary64) x)
%478 = (fma.f64 %477 y %42)
%480 = (fma.f64 (/.f64 #s(literal -1/2 binary64) %431) x %42)
%482 = (fma.f64 (/.f64 #s(literal -1/2 binary64) %454) y %42)
%483 = (fma.f64 %9 #s(literal 1/2 binary64) %471)
%484 = (fma.f64 %9 #s(literal 1/2 binary64) %473)
%485 = (fma.f64 %9 #s(literal 1/2 binary64) %475)
%486 = (fma.f64 %11 %6 %471)
%487 = (fma.f64 %11 %6 %473)
%488 = (fma.f64 %11 %6 %475)
%489 = (fma.f64 %13 %14 %471)
%490 = (fma.f64 %13 %14 %473)
%491 = (fma.f64 %13 %14 %475)
%492 = (fma.f64 %17 %19 %471)
%493 = (fma.f64 %17 %19 %473)
%494 = (fma.f64 %17 %19 %475)
%495 = (fma.f64 %22 %26 %471)
%496 = (fma.f64 %22 %26 %473)
%497 = (fma.f64 %22 %26 %475)
%498 = (fma.f64 %14 %13 %471)
%499 = (fma.f64 %14 %13 %473)
%500 = (fma.f64 %14 %13 %475)
%501 = (fma.f64 %29 %30 %471)
%502 = (fma.f64 %29 %30 %473)
%503 = (fma.f64 %29 %30 %475)
%504 = (fma.f64 %32 %33 %471)
%505 = (fma.f64 %32 %33 %473)
%506 = (fma.f64 %32 %33 %475)
%507 = (fma.f64 %35 %37 %471)
%508 = (fma.f64 %35 %37 %473)
%509 = (fma.f64 %35 %37 %475)
%510 = (fma.f64 %56 #s(literal -1 binary64) %42)
%511 = (fma.f64 %39 #s(literal 1/2 binary64) %471)
%512 = (fma.f64 %39 #s(literal 1/2 binary64) %473)
%513 = (fma.f64 %39 #s(literal 1/2 binary64) %475)
%514 = (fma.f64 #s(literal 4 binary64) %43 %471)
%515 = (fma.f64 #s(literal 4 binary64) %43 %473)
%516 = (fma.f64 #s(literal 4 binary64) %43 %475)
%517 = (fma.f64 %6 %11 %471)
%518 = (fma.f64 %6 %11 %473)
%519 = (fma.f64 %6 %11 %475)
%520 = (fma.f64 %6 %46 %471)
%521 = (fma.f64 %6 %46 %473)
%522 = (fma.f64 %6 %46 %475)
%523 = (fma.f64 %6 x %42)
%524 = (fma.f64 %42 #s(literal 2 binary64) %471)
%525 = (fma.f64 %42 #s(literal 2 binary64) %473)
%526 = (fma.f64 %42 #s(literal 2 binary64) %475)
%527 = (fma.f64 %42 #s(literal 1 binary64) %42)
%528 = (fma.f64 #s(literal -2 binary64) %51 %471)
%529 = (fma.f64 #s(literal -2 binary64) %51 %473)
%530 = (fma.f64 #s(literal -2 binary64) %51 %475)
%531 = (fma.f64 #s(literal -2 binary64) %53 %471)
%532 = (fma.f64 #s(literal -2 binary64) %53 %473)
%533 = (fma.f64 #s(literal -2 binary64) %53 %475)
%534 = (fma.f64 #s(literal -2 binary64) %56 %471)
%535 = (fma.f64 #s(literal -2 binary64) %56 %473)
%536 = (fma.f64 #s(literal -2 binary64) %56 %475)
%537 = (fma.f64 #s(literal -1/2 binary64) %58 %471)
%538 = (fma.f64 #s(literal -1/2 binary64) %58 %473)
%539 = (fma.f64 #s(literal -1/2 binary64) %58 %475)
%540 = (fma.f64 #s(literal -1/2 binary64) %60 %471)
%541 = (fma.f64 #s(literal -1/2 binary64) %60 %473)
%542 = (fma.f64 #s(literal -1/2 binary64) %60 %475)
%543 = (fma.f64 #s(literal -1/2 binary64) %50 %42)
%544 = (fma.f64 %50 #s(literal -1 binary64) %471)
%545 = (fma.f64 %50 #s(literal -1 binary64) %473)
%546 = (fma.f64 %50 #s(literal -1 binary64) %475)
%547 = (fma.f64 #s(literal 1/4 binary64) %65 %471)
%548 = (fma.f64 #s(literal 1/4 binary64) %65 %473)
%549 = (fma.f64 #s(literal 1/4 binary64) %65 %475)
%550 = (fma.f64 #s(literal 1/2 binary64) %9 %471)
%551 = (fma.f64 #s(literal 1/2 binary64) %9 %473)
%552 = (fma.f64 #s(literal 1/2 binary64) %9 %475)
%553 = (fma.f64 #s(literal 1/2 binary64) %69 %471)
%554 = (fma.f64 #s(literal 1/2 binary64) %69 %473)
%555 = (fma.f64 #s(literal 1/2 binary64) %69 %475)
%556 = (fma.f64 #s(literal 1/2 binary64) %71 %471)
%557 = (fma.f64 #s(literal 1/2 binary64) %71 %473)
%558 = (fma.f64 #s(literal 1/2 binary64) %71 %475)
%559 = (fma.f64 #s(literal 1/2 binary64) %73 %471)
%560 = (fma.f64 #s(literal 1/2 binary64) %73 %473)
%561 = (fma.f64 #s(literal 1/2 binary64) %73 %475)
%562 = (fma.f64 #s(literal 1/2 binary64) %8 %42)
%563 = (fma.f64 #s(literal 2 binary64) %42 %471)
%564 = (fma.f64 #s(literal 2 binary64) %42 %473)
%565 = (fma.f64 #s(literal 2 binary64) %42 %475)
%566 = (fma.f64 #s(literal -1 binary64) %50 %471)
%567 = (fma.f64 #s(literal -1 binary64) %50 %473)
%568 = (fma.f64 #s(literal -1 binary64) %50 %475)
%569 = (fma.f64 %8 #s(literal 1/2 binary64) %42)
%570 = (fma.f64 %8 #s(literal 1 binary64) %471)
%571 = (fma.f64 %8 #s(literal 1 binary64) %473)
%572 = (fma.f64 %8 #s(literal 1 binary64) %475)
%573 = (fma.f64 #s(literal 1 binary64) %42 %42)
%574 = (fma.f64 #s(literal 1 binary64) %8 %471)
%575 = (fma.f64 #s(literal 1 binary64) %8 %473)
%576 = (fma.f64 #s(literal 1 binary64) %8 %475)
%577 = (fma.f64 y x %471)
%578 = (fma.f64 y x %473)
%579 = (fma.f64 y x %475)
%580 = (fma.f64 x y %471)
%581 = (fma.f64 x y %473)
%582 = (fma.f64 x y %475)
%583 = (+.f64 %42 %42)
%584 = (+.f64 %8 %471)
%585 = (+.f64 %8 %473)
%586 = (+.f64 %8 %475)
%587 = (/.f64 %16 #s(literal 1/2 binary64))
%588 = (/.f64 %18 #s(literal 2 binary64))
%590 = (/.f64 %16 #s(literal 2 binary64))
%591 = (/.f64 %18 #s(literal 1/2 binary64))
%593 = (/.f64 %21 #s(literal 1/2 binary64))
%594 = (/.f64 %86 #s(literal 2 binary64))
%596 = (/.f64 %21 #s(literal 2 binary64))
%597 = (/.f64 %86 #s(literal 1/2 binary64))
%599 = (/.f64 %21 #s(literal 1 binary64))
%601 = (/.f64 %68 #s(literal -2 binary64))
%603 = (/.f64 #s(literal 2 binary64) %8)
%605 = (/.f64 %64 #s(literal -2 binary64))
%609 = (*.f64 #s(literal 1/2 binary64) %68)
%611 = (/.f64 %68 #s(literal 2 binary64))
%614 = (/.f64 %68 #s(literal 1/2 binary64))
%616 = (/.f64 #s(literal -2 binary64) %8)
%620 = (/.f64 %18 #s(literal 1 binary64))
%625 = (/.f64 #s(literal 2 binary64) %42)
%628 = (/.f64 %68 #s(literal -1/2 binary64))
%631 = (/.f64 #s(literal 1 binary64) %42)
%638 = (/.f64 %64 #s(literal -1/2 binary64))
%652 = (*.f64 %50 y)
%664 = (*.f64 %50 %8)
%684 = (*.f64 y %50)
%691 = (*.f64 y y)
%701 = (*.f64 %691 x)
%726 = (*.f64 x %8)
%740 = (*.f64 %42 y)
%752 = (*.f64 %42 %8)
%783 = (*.f64 %73 #s(literal 1 binary64))
%799 = (*.f64 %73 %8)
%804 = (*.f64 %21 #s(literal 1/2 binary64))
%805 = (*.f64 y #s(literal 0 binary64))
%808 = (/.f64 %454 #s(literal -2 binary64))
%811 = (*.f64 %6 %8)
%813 = (/.f64 %454 #s(literal -1 binary64))
%834 = (*.f64 %49 %8)
%841 = (*.f64 #s(literal 2 binary64) %50)
%846 = (*.f64 #s(literal 2 binary64) x)
%851 = (*.f64 #s(literal 2 binary64) y)
%895 = (neg.f64 %851)
%907 = (*.f64 %49 #s(literal -1 binary64))
%927 = (/.f64 #s(literal 0 binary64) %8)
%970 = (fabs.f64 %14)
%972 = (fabs.f64 y)
%973 = (sqrt.f64 %972)
%974 = (neg.f64 %973)
%975 = (neg.f64 %974)
%976 = (neg.f64 %975)
%978 = (*.f64 y #s(literal 2 binary64))
%979 = (fabs.f64 %978)
%981 = (*.f64 #s(literal 1/2 binary64) %972)
%985 = (*.f64 %973 %972)
%986 = (sqrt.f64 %985)
%987 = (sqrt.f64 %973)
%989 = (sqrt.f64 #s(literal 2 binary64))
%990 = (*.f64 %6 y)
%991 = (fabs.f64 %990)
%1002 = (fabs.f64 %851)
%1013 = (fabs.f64 %981)
%1015 = (*.f64 %6 %6)
%1016 = (fabs.f64 %1015)
%1023 = (*.f64 %974 #s(literal 1 binary64))
%1027 = (pow.f64 y #s(literal 8 binary64))
%1031 = (*.f64 %691 %691)
%1049 = (neg.f64 %972)
%1064 = (*.f64 %1049 #s(literal 1 binary64))
%1072 = (*.f64 %973 x)
%1077 = (*.f64 %972 x)
%1083 = (neg.f64 %987)
%1128 = (*.f64 %973 %1077)
%1137 = (*.f64 (*.f64 %1077 %974) %974)
%1139 = (*.f64 (*.f64 x %1049) %1049)
%1140 = (*.f64 %978 %42)
%1141 = (/.f64 y %68)
%1142 = (*.f64 %1141 #s(literal -1 binary64))
%1143 = (/.f64 y %16)
%1144 = (*.f64 %1143 %46)
%1145 = (/.f64 y %21)
%1146 = (*.f64 %1145 %37)
%1147 = (*.f64 %29 %8)
%1149 = (*.f64 %32 (/.f64 %6 %86))
%1151 = (*.f64 %35 (/.f64 y %86))
%1152 = (*.f64 %39 %6)
%1154 = (*.f64 %6 (/.f64 y %18))
%1155 = (*.f64 %6 %71)
%1156 = (*.f64 %1072 %985)
%1158 = (*.f64 #s(literal -2 binary64) (/.f64 %6 %68))
%1159 = (*.f64 %50 %49)
%1161 = (*.f64 %1049 (*.f64 %1049 x))
%1163 = (*.f64 %974 (*.f64 %974 %1077))
%1164 = (*.f64 %985 %1072)
%1165 = (*.f64 %49 %50)
%1166 = (*.f64 #s(literal 2 binary64) %701)
%1167 = (*.f64 #s(literal 1/2 binary64) %1166)
%1169 = (*.f64 #s(literal 1/2 binary64) (/.f64 y %99))
%1170 = (*.f64 #s(literal 2 binary64) %740)
%1172 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %701))
%1173 = (*.f64 #s(literal 2 binary64) %811)
%1175 = (*.f64 #s(literal 2 binary64) (/.f64 %6 %55))
%1176 = (*.f64 %701 #s(literal 1 binary64))
%1177 = (*.f64 %1128 %973)
%1178 = (*.f64 %973 %1128)
%1179 = (*.f64 %1077 %972)
%1180 = (*.f64 %972 %1077)
%1181 = (*.f64 #s(literal -1 binary64) %652)
%1182 = (*.f64 #s(literal -1 binary64) %1141)
%1183 = (*.f64 %8 y)
%1184 = (*.f64 #s(literal 1 binary64) %701)
%1185 = (*.f64 y %8)
%1186 = (*.f64 x %691)
%1187 = (pow.f64 %701 #s(literal 1 binary64))
%1189 = (/.f64 (neg.f64 %1166) #s(literal -2 binary64))
%1191 = (/.f64 (neg.f64 %1143) %428)
%1193 = (/.f64 (neg.f64 %1145) %419)
%1194 = (*.f64 #s(literal 2 binary64) %49)
%1196 = (/.f64 (neg.f64 %1194) %461)
%1198 = (/.f64 (neg.f64 %701) #s(literal -1 binary64))
%1199 = (/.f64 %895 %446)
%1200 = (/.f64 %1166 #s(literal 2 binary64))
%1201 = (/.f64 %427 %450)
%1202 = (/.f64 %907 %55)
%1203 = (*.f64 %49 y)
%1204 = (*.f64 %1203 x)
%1205 = (/.f64 %1204 #s(literal -1 binary64))
%1206 = (*.f64 #s(literal -1 binary64) %701)
%1207 = (/.f64 %1206 #s(literal -1 binary64))
%1208 = (/.f64 %834 #s(literal -1 binary64))
%1210 = (/.f64 (*.f64 #s(literal 1/2 binary64) %49) %64)
%1211 = (/.f64 %652 #s(literal -1 binary64))
%1212 = (*.f64 %8 %49)
%1213 = (/.f64 %1212 #s(literal -1 binary64))
%1214 = (/.f64 %684 #s(literal -1 binary64))
%1215 = (*.f64 x %1203)
%1216 = (/.f64 %1215 #s(literal -1 binary64))
%1217 = (/.f64 %1141 #s(literal -1 binary64))
%1218 = (/.f64 %1143 %18)
%1219 = (/.f64 %1145 %86)
%1220 = (/.f64 %1194 %108)
%1221 = (/.f64 %851 %117)
%1222 = (/.f64 %6 %99)
%1223 = (/.f64 %49 %68)
%1224 = (/.f64 %701 #s(literal 1 binary64))
%1226 = (/.f64 #s(literal 1 binary64) (/.f64 %68 %49))
%1228 = (/.f64 #s(literal 1 binary64) (/.f64 %55 y))
%1230 = (/.f64 #s(literal 1 binary64) (pow.f64 %701 #s(literal -1 binary64)))
%1231 = (/.f64 y %55)
%1232 = (neg.f64 %1204)
%1233 = (neg.f64 %1206)
%1234 = (neg.f64 %834)
%1235 = (neg.f64 %652)
%1236 = (neg.f64 %1212)
%1237 = (neg.f64 %684)
%1238 = (neg.f64 %1215)
%1239 = (neg.f64 %1141)
%1246 = (*.f64 %974 %972)
%1288 = (*.f64 %1049 %972)
%1290 = (*.f64 %972 %1049)
%1296 = (*.f64 %49 %973)
%1297 = (*.f64 %974 %1296)
%1300 = (*.f64 %973 y)
%1301 = (*.f64 %974 %1300)
%1304 = (*.f64 %973 %1296)
%1307 = (*.f64 %973 %1300)
%1310 = (*.f64 %972 %49)
%1313 = (*.f64 %49 %972)
%1316 = (*.f64 y %972)
%1319 = (*.f64 %972 y)
%1322 = (*.f64 %974 %49)
%1329 = (*.f64 %974 y)
%1336 = (*.f64 %49 %974)
%1347 = (*.f64 y %974)
x
y
#s(literal 1 binary64)
%7
%10
%12
%15
%20
%27
%28
%31
%34
%38
%40
%44
%45
%47
%48
%52
%54
%57
%59
%61
%62
%66
%67
%70
%72
%74
%75
%76
%77
%78
%8
%79
%80
%81
%85
%90
%94
%98
%103
%107
%112
%116
%120
%124
%128
%132
%136
%140
%144
%148
%152
%155
%158
%161
%163
%165
%167
%170
%173
%177
%181
%184
%188
%192
%196
%199
%203
%206
%210
%214
%217
%221
%225
%229
%233
%236
%239
%243
%247
%250
%254
%258
%262
%265
%269
%272
%276
%280
%284
%288
%292
%296
%300
%304
%307
%311
%314
%316
%318
%320
%323
%325
%328
%332
%336
%340
%344
%348
%352
%356
%360
%363
%366
%369
%372
%374
%376
%378
%382
%385
%387
%391
%394
%396
%400
%404
%407
%410
%413
%415
%417
%420
%422
%424
%426
%429
%432
%433
%434
%435
%436
%437
%438
%441
%442
%443
%445
%447
%448
%449
%451
%452
%453
%455
%457
%458
%460
%462
%463
%464
%465
%466
%467
%468
%469
%470
%472
%474
%476
%478
%480
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%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
%562
%563
%564
%565
%566
%567
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
#s(literal -1 binary64)
(*.f64 %587 %588)
(*.f64 %590 %591)
(*.f64 %593 %594)
(*.f64 %596 %597)
(*.f64 %599 %86)
(*.f64 %601 #s(literal 2 binary64))
(*.f64 %603 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %605)
(*.f64 %151 %310)
(*.f64 %310 %151)
(*.f64 #s(literal -2 binary64) %609)
(*.f64 #s(literal -2 binary64) %611)
(*.f64 #s(literal -2 binary64) %64)
(*.f64 #s(literal -1/2 binary64) %614)
(*.f64 #s(literal -1/2 binary64) %616)
(*.f64 %99 #s(literal 2 binary64))
(*.f64 %18 %16)
(*.f64 %16 %620)
(*.f64 %16 %18)
(*.f64 %86 %21)
(*.f64 %21 %86)
(*.f64 #s(literal 1/4 binary64) %625)
(*.f64 %68 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %628)
(*.f64 #s(literal 1/2 binary64) %603)
(*.f64 #s(literal 1/2 binary64) %631)
(*.f64 #s(literal 1/2 binary64) %117)
(*.f64 #s(literal 2 binary64) %601)
(*.f64 #s(literal 2 binary64) %99)
(*.f64 %55 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %68)
(*.f64 #s(literal 1 binary64) %638)
(*.f64 #s(literal 1 binary64) %55)
(pow.f64 %55 #s(literal 1 binary64))
(pow.f64 %8 #s(literal -1 binary64))
(/.f64 (fma.f64 %477 y (*.f64 %50 #s(literal -1/2 binary64))) (*.f64 %50 %50))
(/.f64 (+.f64 #s(literal -1/2 binary64) (*.f64 %50 %99)) %50)
(/.f64 (fma.f64 #s(literal -1/2 binary64) y (*.f64 %50 %18)) %652)
(/.f64 (fma.f64 #s(literal -1/2 binary64) x (*.f64 %50 %86)) (*.f64 %50 x))
(/.f64 (fma.f64 #s(literal -1/2 binary64) %42 (*.f64 %50 #s(literal 1/4 binary64))) (*.f64 %50 %42))
(/.f64 (fma.f64 #s(literal -1/2 binary64) %8 (*.f64 %50 #s(literal 1/2 binary64))) %664)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %73 %50) (*.f64 %50 %73))
(/.f64 (fma.f64 %99 %50 #s(literal -1/2 binary64)) %50)
(/.f64 (fma.f64 %99 y %18) y)
(/.f64 (fma.f64 %99 x %86) x)
(/.f64 (fma.f64 %99 %42 #s(literal 1/4 binary64)) %42)
(/.f64 (fma.f64 %99 %8 #s(literal 1/2 binary64)) %8)
(/.f64 (fma.f64 %99 %73 #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) %73))
(/.f64 (fma.f64 %18 %50 (*.f64 y #s(literal -1/2 binary64))) %684)
(/.f64 (fma.f64 %18 #s(literal 1 binary64) (*.f64 y %99)) y)
(/.f64 (fma.f64 %18 y (*.f64 y %18)) %691)
(/.f64 (fma.f64 %18 x (*.f64 y %86)) %8)
(/.f64 (fma.f64 %18 %42 (*.f64 y #s(literal 1/4 binary64))) (*.f64 y %42))
(/.f64 (fma.f64 %18 %8 %6) %701)
(/.f64 (fma.f64 %18 %73 y) (*.f64 y %73))
(/.f64 (fma.f64 %86 %50 (*.f64 x #s(literal -1/2 binary64))) (*.f64 x %50))
(/.f64 (fma.f64 %86 #s(literal 1 binary64) (*.f64 x %99)) x)
(/.f64 (fma.f64 %86 y (*.f64 x %18)) %8)
(/.f64 (fma.f64 %86 x (*.f64 x %86)) (*.f64 x x))
(/.f64 (fma.f64 %86 %42 (*.f64 x #s(literal 1/4 binary64))) (*.f64 x %42))
(/.f64 (fma.f64 %86 %8 (*.f64 x #s(literal 1/2 binary64))) %726)
(/.f64 (fma.f64 %86 %73 x) (*.f64 x %73))
(/.f64 (fma.f64 #s(literal 1/4 binary64) %50 (*.f64 %42 #s(literal -1/2 binary64))) (*.f64 %42 %50))
(/.f64 (+.f64 #s(literal 1/4 binary64) (*.f64 %42 %99)) %42)
(/.f64 (fma.f64 #s(literal 1/4 binary64) y (*.f64 %42 %18)) %740)
(/.f64 (fma.f64 #s(literal 1/4 binary64) x (*.f64 %42 %86)) (*.f64 %42 x))
(/.f64 (fma.f64 #s(literal 1/4 binary64) %42 (*.f64 %42 #s(literal 1/4 binary64))) (*.f64 %42 %42))
(/.f64 (fma.f64 #s(literal 1/4 binary64) %8 (*.f64 %42 #s(literal 1/2 binary64))) %752)
(/.f64 (fma.f64 #s(literal 1/4 binary64) %73 %42) (*.f64 %42 %73))
(/.f64 (fma.f64 #s(literal 1/2 binary64) %50 (*.f64 %8 #s(literal -1/2 binary64))) (*.f64 %8 %50))
(/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 %8 %99)) %8)
(/.f64 (fma.f64 #s(literal 1/2 binary64) y (*.f64 %8 %18)) %701)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 %8 %86)) (*.f64 %8 x))
(/.f64 (fma.f64 #s(literal 1/2 binary64) %42 (*.f64 %8 #s(literal 1/4 binary64))) (*.f64 %8 %42))
(/.f64 %414 (*.f64 %8 %73))
(/.f64 (fma.f64 %439 y (*.f64 %73 #s(literal -1/2 binary64))) (*.f64 %73 %50))
(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 %73 %99)) %783)
(/.f64 (+.f64 y (*.f64 %73 %18)) (*.f64 %73 y))
(/.f64 (+.f64 x (*.f64 %73 %86)) (*.f64 %73 x))
(/.f64 (fma.f64 %477 y (*.f64 %73 #s(literal 1/4 binary64))) (*.f64 %73 %42))
(/.f64 (fma.f64 y x (*.f64 %73 #s(literal 1/2 binary64))) %799)
(/.f64 (fma.f64 #s(literal 1 binary64) %73 %783) (*.f64 %73 %73))
(/.f64 (fma.f64 %804 %8 %805) %701)
(/.f64 (fma.f64 %808 %8 (*.f64 %6 #s(literal 0 binary64))) %811)
(/.f64 (fma.f64 %813 %8 %805) %701)
(/.f64 (fma.f64 %611 %8 #s(literal 0 binary64)) (*.f64 #s(literal -1/2 binary64) %8))
(/.f64 (fma.f64 %601 %8 #s(literal 0 binary64)) %42)
(/.f64 (fma.f64 %628 %8 #s(literal 0 binary64)) %73)
(/.f64 (fma.f64 %108 %8 #s(literal 0 binary64)) (*.f64 #s(literal -2 binary64) %8))
(/.f64 (fma.f64 %117 %8 #s(literal 0 binary64)) %73)
(/.f64 (fma.f64 %440 %8 (*.f64 %439 #s(literal 0 binary64))) (*.f64 %439 %8))
(/.f64 (fma.f64 %456 %8 (*.f64 %49 #s(literal 0 binary64))) %834)
(/.f64 (fma.f64 %151 %8 (*.f64 x #s(literal 0 binary64))) %726)
(/.f64 (fma.f64 %310 %8 %805) %701)
(/.f64 (fma.f64 #s(literal -2 binary64) %8 (*.f64 %841 #s(literal 0 binary64))) (*.f64 %841 %8))
(/.f64 (fma.f64 %16 %8 (*.f64 %846 #s(literal 0 binary64))) (*.f64 %846 %8))
(/.f64 (fma.f64 %21 %8 (*.f64 %851 #s(literal 0 binary64))) (*.f64 %851 %8))
(/.f64 (fma.f64 %68 %8 #s(literal 0 binary64)) %50)
(/.f64 (fma.f64 %477 y (*.f64 %42 #s(literal 0 binary64))) %752)
(/.f64 (fma.f64 #s(literal 2 binary64) %8 (*.f64 %73 #s(literal 0 binary64))) %799)
(/.f64 (fma.f64 %55 %8 #s(literal 0 binary64)) %8)
(/.f64 (fma.f64 %439 y (*.f64 %50 #s(literal 0 binary64))) %664)
(/.f64 (neg.f64 %804) %49)
(/.f64 (neg.f64 %808) %427)
(/.f64 (neg.f64 %813) %49)
(/.f64 (neg.f64 %611) #s(literal 1/2 binary64))
(/.f64 (neg.f64 %601) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %628) #s(literal -2 binary64))
(/.f64 (neg.f64 %440) (neg.f64 %439))
(/.f64 (neg.f64 %456) y)
(/.f64 %461 #s(literal 2 binary64))
(/.f64 %446 #s(literal -2 binary64))
(/.f64 %804 y)
(/.f64 %808 %6)
(/.f64 %813 y)
(/.f64 (neg.f64 %16) (neg.f64 %846))
(/.f64 (neg.f64 %21) %895)
(/.f64 %454 %49)
(/.f64 %431 %430)
(/.f64 %611 #s(literal -1/2 binary64))
(/.f64 %601 #s(literal 1/2 binary64))
(/.f64 %628 #s(literal 2 binary64))
(/.f64 %108 #s(literal -2 binary64))
(/.f64 %117 #s(literal 2 binary64))
(/.f64 %440 %439)
(/.f64 %456 %49)
(/.f64 %151 x)
(/.f64 %310 %907)
(/.f64 %310 y)
(/.f64 #s(literal -2 binary64) %423)
(/.f64 #s(literal -2 binary64) %841)
(/.f64 #s(literal -1/2 binary64) %425)
(/.f64 #s(literal -1/2 binary64) %51)
(/.f64 #s(literal -1/2 binary64) %56)
(/.f64 %16 %846)
(/.f64 %21 %851)
(/.f64 %68 #s(literal -1 binary64))
(/.f64 #s(literal 1/2 binary64) %42)
(/.f64 #s(literal 2 binary64) (neg.f64 %841))
(/.f64 #s(literal 2 binary64) %73)
(/.f64 %55 #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) %50)
(/.f64 %8 (*.f64 %8 %8))
%55
(neg.f64 %68)
(fma.f64 %587 %588 %927)
(fma.f64 %590 %591 %927)
(fma.f64 %593 %594 %927)
(fma.f64 %596 %597 %927)
(fma.f64 %599 %86 %927)
(fma.f64 %601 #s(literal 2 binary64) %927)
(fma.f64 %603 #s(literal 1/2 binary64) %927)
(fma.f64 #s(literal 4 binary64) %605 %927)
(fma.f64 %151 %310 %927)
(fma.f64 %310 %151 %927)
(fma.f64 #s(literal -2 binary64) %609 %927)
(fma.f64 #s(literal -2 binary64) %611 %927)
(fma.f64 #s(literal -2 binary64) %64 %927)
(fma.f64 #s(literal -1/2 binary64) %614 %927)
(fma.f64 #s(literal -1/2 binary64) %616 %927)
(fma.f64 #s(literal -1/2 binary64) %68 %99)
(fma.f64 %99 #s(literal 2 binary64) %927)
(fma.f64 %99 #s(literal 1 binary64) %99)
(fma.f64 %18 %16 %927)
(fma.f64 %16 %620 %927)
(fma.f64 %16 %18 %927)
(fma.f64 %86 %21 %927)
(fma.f64 %21 %86 %927)
(fma.f64 #s(literal 1/4 binary64) %625 %927)
(fma.f64 %68 #s(literal -1 binary64) %927)
(fma.f64 #s(literal 1/2 binary64) %628 %927)
(fma.f64 #s(literal 1/2 binary64) %603 %927)
(fma.f64 #s(literal 1/2 binary64) %631 %927)
(fma.f64 #s(literal 1/2 binary64) %117 %927)
(fma.f64 #s(literal 1/2 binary64) %55 %99)
(fma.f64 #s(literal 2 binary64) %601 %927)
(fma.f64 #s(literal 2 binary64) %99 %927)
(fma.f64 %55 #s(literal 1 binary64) %927)
(fma.f64 #s(literal -1 binary64) %68 %927)
(fma.f64 #s(literal 1 binary64) %638 %927)
(fma.f64 #s(literal 1 binary64) %99 %99)
(fma.f64 #s(literal 1 binary64) %55 %927)
(+.f64 %99 %99)
(+.f64 %55 %927)
%7
%10
%12
%15
%20
%27
%28
%31
%34
%38
%40
%44
%45
%47
%48
%52
%54
%57
%59
%61
%62
%66
%67
%70
%72
%74
%75
%76
%77
%78
%8
%79
%80
%81
%85
%90
%94
%98
%103
%107
%112
%116
%120
%124
%128
%132
%136
%140
%144
%148
%152
%155
%158
%161
%163
%165
%167
%170
%173
%177
%181
%184
%188
%192
%196
%199
%203
%206
%210
%214
%217
%221
%225
%229
%233
%236
%239
%243
%247
%250
%254
%258
%262
%265
%269
%272
%276
%280
%284
%288
%292
%296
%300
%304
%307
%311
%314
%316
%318
%320
%323
%325
%328
%332
%336
%340
%344
%348
%352
%356
%360
%363
%366
%369
%372
%374
%376
%378
%382
%385
%387
%391
%394
%396
%400
%404
%407
%410
%413
%415
%417
%420
%422
%424
%426
%429
%432
%433
%434
%435
%436
%437
%438
%441
%442
%443
%445
%447
%448
%449
%451
%452
%453
%455
%457
%458
%460
%462
%463
%464
%465
%466
%467
%468
%469
%470
%472
%474
%476
%478
%480
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%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
%562
%563
%564
%565
%566
%567
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
(*.f64 (fabs.f64 (*.f64 y #s(literal -2 binary64))) #s(literal 1/2 binary64))
(*.f64 %970 #s(literal 1/2 binary64))
(*.f64 %976 %976)
(*.f64 (sqrt.f64 %979) (sqrt.f64 %981))
(*.f64 %979 #s(literal 1/2 binary64))
(*.f64 %986 %987)
(*.f64 %989 (sqrt.f64 %991))
(*.f64 %981 #s(literal 2 binary64))
(*.f64 %975 %975)
(*.f64 %987 %986)
(*.f64 #s(literal 4 binary64) (fabs.f64 (/.f64 %6 #s(literal 2 binary64))))
(*.f64 %974 %974)
(*.f64 #s(literal 1/2 binary64) %970)
(*.f64 #s(literal 1/2 binary64) %1002)
(*.f64 #s(literal 2 binary64) (fabs.f64 (*.f64 %6 #s(literal -1 binary64))))
(*.f64 #s(literal 2 binary64) (fabs.f64 (*.f64 #s(literal -1/2 binary64) y)))
(*.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 %6 #s(literal 1 binary64))))
(*.f64 #s(literal 2 binary64) %1013)
(*.f64 #s(literal 2 binary64) (sqrt.f64 %1016))
(*.f64 #s(literal 2 binary64) %981)
(*.f64 %973 %973)
(*.f64 %972 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %972)
(pow.f64 %1023 #s(literal 2 binary64))
(pow.f64 %975 #s(literal 2 binary64))
(pow.f64 %1027 #s(literal 1/8 binary64))
(pow.f64 %974 #s(literal 2 binary64))
(pow.f64 %1031 #s(literal 1/4 binary64))
(pow.f64 %691 #s(literal 1/2 binary64))
(pow.f64 %973 #s(literal 2 binary64))
(pow.f64 %972 #s(literal 1 binary64))
(/.f64 %970 #s(literal 2 binary64))
(/.f64 %1002 #s(literal 2 binary64))
(/.f64 %979 #s(literal 2 binary64))
(/.f64 %981 #s(literal 1/2 binary64))
(/.f64 %972 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %974 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %691 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %973 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %972 #s(literal -1 binary64)))
(neg.f64 %1049)
(sqrt.f64 %691)
(fabs.f64 (*.f64 %975 %973))
(fabs.f64 (*.f64 %973 %975))
(fabs.f64 (*.f64 %1049 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %972 #s(literal -1 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1049))
(fabs.f64 (*.f64 #s(literal -1 binary64) %972))
(fabs.f64 %1064)
(fabs.f64 %907)
(fabs.f64 %1049)
(fabs.f64 %49)
(fabs.f64 %972)
%972
(*.f64 (*.f64 x %974) %974)
(*.f64 %1072 %973)
(*.f64 %974 (*.f64 %974 x))
(*.f64 %973 %1072)
%1077
(*.f64 #s(literal 1 binary64) %1077)
(*.f64 x %972)
(pow.f64 %1077 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1077 #s(literal -1 binary64)))
(*.f64 %1083 %1083)
(*.f64 %989 (sqrt.f64 %1013))
(*.f64 %987 %987)
(*.f64 %973 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %973)
(pow.f64 %1027 #s(literal 1/16 binary64))
(pow.f64 %987 #s(literal 2 binary64))
(pow.f64 %1031 #s(literal 1/8 binary64))
(pow.f64 %691 #s(literal 1/4 binary64))
(pow.f64 %973 #s(literal 1 binary64))
(pow.f64 %972 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %972 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %973 #s(literal -1 binary64)))
%973
(fabs.f64 %976)
(fabs.f64 (*.f64 #s(literal -1 binary64) %975))
(fabs.f64 (*.f64 #s(literal -1 binary64) %974))
(fabs.f64 (*.f64 #s(literal -1 binary64) %973))
(fabs.f64 (*.f64 #s(literal 1 binary64) %975))
(fabs.f64 (*.f64 %975 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %975 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %974 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %973 #s(literal -1 binary64)))
(fabs.f64 %1023)
(fabs.f64 %975)
(fabs.f64 %974)
(fabs.f64 %973)
(*.f64 (*.f64 %1072 %974) %974)
(*.f64 %1072 %972)
(*.f64 %974 (*.f64 %974 %1072))
(*.f64 %985 x)
%1128
(*.f64 %1077 %973)
(*.f64 %972 %1072)
(*.f64 #s(literal 1 binary64) %1128)
(*.f64 x %985)
(pow.f64 %1128 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1128 #s(literal -1 binary64)))
%1137
%1139
%1140
%1142
%1144
%1146
%1147
%1149
%1151
%1152
%1154
%1155
%1156
%1158
%1159
%1161
%1163
%1164
%1165
%1167
%1169
%1170
%1172
%1173
%1175
%1176
%701
%1177
%1178
%1179
%1180
%1181
%1182
%1183
%1184
%1185
%1186
%1187
%1189
%1191
%1193
%1196
%1198
%1199
%1200
%1201
%1202
%1205
%1207
%1208
%1210
%1211
%1213
%1214
%1216
%1217
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1226
%1228
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
(*.f64 (fabs.f64 (*.f64 %49 #s(literal 2 binary64))) %981)
(*.f64 %979 %981)
(*.f64 %978 %6)
(*.f64 %907 %907)
(*.f64 %1246 %974)
(*.f64 #s(literal 4 binary64) %1016)
(*.f64 #s(literal 4 binary64) %1015)
(*.f64 %1049 %1049)
(*.f64 %974 %1246)
(*.f64 %985 %973)
(*.f64 %49 %49)
(*.f64 #s(literal 2 binary64) (fabs.f64 (*.f64 %6 %49)))
(*.f64 #s(literal 2 binary64) %991)
(*.f64 #s(literal 2 binary64) %990)
(*.f64 %691 #s(literal 1 binary64))
(*.f64 %973 %985)
(*.f64 %972 %972)
(*.f64 #s(literal 1 binary64) %691)
%691
(pow.f64 %1064 #s(literal 2 binary64))
(pow.f64 %1027 #s(literal 1/4 binary64))
(pow.f64 %1049 #s(literal 2 binary64))
(pow.f64 %974 #s(literal 4 binary64))
(pow.f64 %1031 #s(literal 1/2 binary64))
(pow.f64 %49 #s(literal 2 binary64))
(pow.f64 %691 #s(literal 1 binary64))
(pow.f64 %973 #s(literal 4 binary64))
(pow.f64 %972 #s(literal 2 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 %49 %431)
(/.f64 %49 %440)
(/.f64 #s(literal 1 binary64) (pow.f64 %1049 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %1031 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %49 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %972 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %691 #s(literal -1 binary64)))
(/.f64 y %151)
(neg.f64 %1288)
(neg.f64 %1290)
(neg.f64 %1203)
(sqrt.f64 (*.f64 %1031 #s(literal 1 binary64)))
(sqrt.f64 %1031)
(fabs.f64 (neg.f64 %1297))
(fabs.f64 (neg.f64 %1301))
(fabs.f64 (neg.f64 %1304))
(fabs.f64 (neg.f64 %1307))
(fabs.f64 (neg.f64 %1310))
(fabs.f64 (neg.f64 %1313))
(fabs.f64 (neg.f64 %1316))
(fabs.f64 (neg.f64 %1319))
(fabs.f64 (*.f64 %1322 %975))
(fabs.f64 (*.f64 %1322 %974))
(fabs.f64 (*.f64 %1322 %973))
(fabs.f64 (*.f64 %1329 %975))
(fabs.f64 (*.f64 %1329 %974))
(fabs.f64 (*.f64 %1329 %973))
(fabs.f64 (*.f64 %1336 %975))
(fabs.f64 (*.f64 %1336 %974))
(fabs.f64 (*.f64 %1336 %973))
(fabs.f64 (*.f64 %1246 %975))
(fabs.f64 (*.f64 %1246 %973))
(fabs.f64 (*.f64 %1347 %975))
(fabs.f64 (*.f64 %1347 %974))
(fabs.f64 (*.f64 %1347 %973))
(fabs.f64 (*.f64 %1296 %975))
(fabs.f64 (*.f64 %1300 %975))
(fabs.f64 (*.f64 %985 %975))
(fabs.f64 (*.f64 %1297 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %1297 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %1301 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %1301 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %1304 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %1304 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %1307 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %1307 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %1310 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %1310 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %1313 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %1313 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %1316 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %1316 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %1319 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %1319 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %1203 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %691 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %975 %1322))
(fabs.f64 (*.f64 %975 %1329))
(fabs.f64 (*.f64 %975 %1336))
(fabs.f64 (*.f64 %975 %1246))
(fabs.f64 (*.f64 %975 %1347))
(fabs.f64 (*.f64 %975 %1296))
(fabs.f64 (*.f64 %975 %1300))
(fabs.f64 (*.f64 %975 %985))
(fabs.f64 (*.f64 %974 %1322))
(fabs.f64 (*.f64 %974 %1329))
(fabs.f64 (*.f64 %974 %1336))
(fabs.f64 (*.f64 %974 %1347))
(fabs.f64 (*.f64 %973 %1322))
(fabs.f64 (*.f64 %973 %1329))
(fabs.f64 (*.f64 %973 %1336))
(fabs.f64 (*.f64 %973 %1246))
(fabs.f64 (*.f64 %973 %1347))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1297))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1301))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1304))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1307))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1310))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1313))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1316))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1319))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1203))
(fabs.f64 (*.f64 #s(literal -1 binary64) %691))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1297))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1301))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1304))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1307))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1310))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1313))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1316))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1319))
(fabs.f64 (*.f64 %1296 %974))
(fabs.f64 (*.f64 %1300 %974))
(fabs.f64 (*.f64 %985 %974))
(fabs.f64 (*.f64 %1296 %973))
(fabs.f64 (*.f64 %1300 %973))
(fabs.f64 (*.f64 %974 %985))
(fabs.f64 (*.f64 %1049 %49))
(fabs.f64 %1288)
(fabs.f64 (*.f64 %1049 y))
(fabs.f64 (*.f64 %49 %1049))
(fabs.f64 %1290)
(fabs.f64 (*.f64 y %1049))
(fabs.f64 %1297)
(fabs.f64 %1301)
(fabs.f64 %1304)
(fabs.f64 %1307)
(fabs.f64 %1310)
(fabs.f64 %1313)
(fabs.f64 %1316)
(fabs.f64 %1319)
(fabs.f64 %1203)
(fabs.f64 %691)
%1137
%1139
%1140
%1142
%1144
%1146
%1147
%1149
%1151
%1152
%1154
%1155
%1156
%1158
%1159
%1161
%1163
%1164
%1165
%1167
%1169
%1170
%1172
%1173
%1175
%1176
%701
%1177
%1178
%1179
%1180
%1181
%1182
%1183
%1184
%1185
%1186
%1187
%1189
%1191
%1193
%1196
%1198
%1199
%1200
%1201
%1202
%1205
%1207
%1208
%1210
%1211
%1213
%1214
%1216
%1217
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1226
%1228
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
%1137
%1139
%1140
%1142
%1144
%1146
%1147
%1149
%1151
%1152
%1154
%1155
%1156
%1158
%1159
%1161
%1163
%1164
%1165
%1167
%1169
%1170
%1172
%1173
%1175
%1176
%701
%1177
%1178
%1179
%1180
%1181
%1182
%1183
%1184
%1185
%1186
%1187
%1189
%1191
%1193
%1196
%1198
%1199
%1200
%1201
%1202
%1205
%1207
%1208
%1210
%1211
%1213
%1214
%1216
%1217
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1226
%1228
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
reconstruct28.0ms (1.2%)
Counts
1 231 → 246
Compiler
Compiled 1 231 to 1 536 computations (-24.8% saved)
eval32.0ms (1.4%)
Compiler
Compiled 203 to 812 computations (-300.0% saved)
prune7.0ms (0.3%)
Pruning
12 alts after pruning (10 fresh and 2 done)
PrunedKeptTotal
New19310203
Fresh000
Picked213
Done011
Total19512207
Accuracy
100.0%
Counts
207 → 12
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶91.0%
(/.f64 (/.f64 y (/.f64 #s(literal 2 binary64) y)) (/.f64 #s(literal 1/2 binary64) x))
▶99.7%
(/.f64 (/.f64 y (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1/2 binary64) y))
▶99.7%
(/.f64 y (/.f64 #s(literal 1 binary64) (*.f64 y x)))
▶98.8%
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 y x)) y))
▶99.8%
(*.f64 (/.f64 x (/.f64 #s(literal 1 binary64) y)) y)
▶99.7%
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) y)) y)
▶96.4%
%7 = (fabs.f64 y)
%8 = (sqrt.f64 %7)
(*.f64 (*.f64 %8 x) (*.f64 %8 %7))
✓99.8%
(*.f64 (*.f64 x y) y)
▶99.6%
%7 = (fabs.f64 y)
%8 = (sqrt.f64 %7)
(*.f64 %8 (*.f64 %7 (*.f64 %8 x)))
▶91.0%
(*.f64 x (/.f64 y (/.f64 #s(literal 1 binary64) y)))
✓91.1%
(*.f64 x (*.f64 y y))
▶90.9%
%1 = (fabs y)
%2 = (sqrt %1)
%7 = (fabs.f64 y)
(approx (* %2 (* %2 (* %1 x))) (*.f64 x (*.f64 %7 (pow.f64 (sqrt.f64 %7) #s(literal 2 binary64)))))
Compiler
Compiled 12 to 41 computations (-241.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series47.0ms (2.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0115564
Stop Event
1×iter-limit
Counts
38 → 40
Calls
Call 1
Inputs
%4 = (*.f64 y x)
%5 = (fabs.f64 y)
%6 = (sqrt.f64 %5)
%7 = (pow.f64 %6 #s(literal 2 binary64))
%8 = (*.f64 %5 %7)
%9 = (*.f64 x %8)
%10 = (fabs y)
%11 = (sqrt %10)
%16 = (/.f64 #s(literal 1 binary64) y)
%18 = (/.f64 #s(literal 2 binary64) y)
%19 = (/.f64 #s(literal 1/2 binary64) x)
%20 = (/.f64 #s(literal 2 binary64) x)
%21 = (/.f64 #s(literal 1 binary64) %4)
%22 = (/.f64 #s(literal 1/2 binary64) y)
%23 = (/.f64 #s(literal 1 binary64) x)
%24 = (/.f64 x %16)
%25 = (/.f64 %23 y)
%26 = (*.f64 %6 %5)
%27 = (*.f64 %6 x)
%28 = (*.f64 %5 %27)
%29 = (/.f64 y %18)
%30 = (/.f64 y %20)
%34 = (/.f64 %21 y)
%37 = (/.f64 y %16)
%38 = (/.f64 #s(literal 1 binary64) %25)
x
y
#s(literal 2 binary64)
#s(literal 1 binary64)
%4
%5
%6
%7
%8
%9
(approx (* %11 (* %11 (* %10 x))) %9)
%16
#s(literal 1/2 binary64)
%18
%19
%20
%21
%22
%23
%24
%25
%26
%27
%28
%29
%30
(*.f64 %27 %26)
(/.f64 %29 %19)
(/.f64 %30 %22)
%34
(/.f64 #s(literal 1 binary64) %34)
(/.f64 y %21)
%37
%38
(*.f64 %38 y)
(*.f64 %24 y)
(*.f64 %6 %28)
(*.f64 x %37)
Outputs
%5 = (* y x)
%6 = (*.f64 x y)
%8 = (fabs y)
%9 = (sqrt %8)
%11 = (pow %9 2)
%12 = (* %8 %11)
%13 = (* x %12)
%14 = (fabs.f64 y)
%15 = (sqrt.f64 %14)
%17 = (pow.f64 %15 #s(literal 2 binary64))
%18 = (*.f64 %14 %17)
%22 = (/ 1/2 x)
%26 = (/ 2 x)
%30 = (/ 1 %5)
%37 = (* %9 x)
%40 = (* %8 %37)
%41 = (*.f64 %14 %15)
%47 = (/ 2 y)
%48 = (/ y %47)
%50 = (pow.f64 y #s(literal 2 binary64))
%51 = (*.f64 x %50)
%61 = (/ 1 y)
%62 = (/.f64 #s(literal 1 binary64) y)
%69 = (* %9 %8)
%75 = (fabs.f64 %62)
%78 = (sqrt.f64 %75)
%79 = (*.f64 y %78)
%81 = (pow.f64 %78 #s(literal 2 binary64))
%85 = (pow.f64 y #s(literal 4 binary64))
%87 = (*.f64 %85 (*.f64 %75 %81))
%92 = (pow.f64 y #s(literal 3 binary64))
%94 = (*.f64 %92 (*.f64 %75 %78))
%102 = (fabs.f64 (/.f64 #s(literal -1 binary64) y))
%107 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %102))
%108 = (*.f64 y %107)
%111 = (pow.f64 %107 #s(literal 2 binary64))
%115 = (*.f64 %85 (*.f64 %102 %111))
%122 = (*.f64 %92 (*.f64 %102 %107))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %13 (*.f64 x %18))
(approx %22 (/.f64 #s(literal 1/2 binary64) x))
(approx %26 (/.f64 #s(literal 2 binary64) x))
(approx %30 (/.f64 #s(literal 1 binary64) %6))
(approx (/ 1 x) (/.f64 #s(literal 1 binary64) x))
(approx %37 (*.f64 x %15))
(approx %40 (*.f64 x %41))
(approx (/ y %26) (*.f64 #s(literal 1/2 binary64) %6))
(approx (/ %48 %22) %51)
(approx (/ %30 y) (/.f64 #s(literal 1 binary64) %51))
(approx y y)
(approx %8 %14)
(approx %9 %15)
(approx %11 %17)
(approx %12 %18)
(approx %61 %62)
(approx %47 (/.f64 #s(literal 2 binary64) y))
(approx (/ 1/2 y) (/.f64 #s(literal 1/2 binary64) y))
(approx %69 %41)
(approx %48 (*.f64 #s(literal 1/2 binary64) %50))
(approx (/ y %61) %50)
(approx %8 (*.f64 %50 %75))
(approx %9 %79)
(approx %11 (*.f64 %50 %81))
(approx %12 %87)
(approx %13 (*.f64 x %87))
(approx %69 %94)
(approx %37 (*.f64 x %79))
(approx %40 (*.f64 x %94))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 %50 %102)))
(approx %9 (*.f64 #s(literal -1 binary64) %108))
(approx %11 (*.f64 %50 %111))
(approx %12 (*.f64 #s(literal -1 binary64) %115))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x %115)))
(approx %69 %122)
(approx %37 (*.f64 #s(literal -1 binary64) (*.f64 x %108)))
(approx %40 (*.f64 x %122))
Calls
6 calls:
TimeVariablePoint
8.0ms
y
0
7.0ms
y
inf
7.0ms
x
inf
7.0ms
x
0
4.0ms
y
-inf
rewrite122.0ms (5.2%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
043221
077180
1293148
21057146
04134146
04483146
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
38 → 2 169
Calls
Call 1
Inputs
%4 = (*.f64 y x)
%5 = (fabs.f64 y)
%6 = (sqrt.f64 %5)
%7 = (pow.f64 %6 #s(literal 2 binary64))
%8 = (*.f64 %5 %7)
%9 = (*.f64 x %8)
%10 = (fabs y)
%11 = (sqrt %10)
%16 = (/.f64 #s(literal 1 binary64) y)
%18 = (/.f64 #s(literal 2 binary64) y)
%19 = (/.f64 #s(literal 1/2 binary64) x)
%20 = (/.f64 #s(literal 2 binary64) x)
%21 = (/.f64 #s(literal 1 binary64) %4)
%22 = (/.f64 #s(literal 1/2 binary64) y)
%23 = (/.f64 #s(literal 1 binary64) x)
%24 = (/.f64 x %16)
%25 = (/.f64 %23 y)
%26 = (*.f64 %6 %5)
%27 = (*.f64 %6 x)
%28 = (*.f64 %5 %27)
%29 = (/.f64 y %18)
%30 = (/.f64 y %20)
%34 = (/.f64 %21 y)
%37 = (/.f64 y %16)
%38 = (/.f64 #s(literal 1 binary64) %25)
x
y
#s(literal 2 binary64)
#s(literal 1 binary64)
%4
%5
%6
%7
%8
%9
(approx (* %11 (* %11 (* %10 x))) %9)
%16
#s(literal 1/2 binary64)
%18
%19
%20
%21
%22
%23
%24
%25
%26
%27
%28
%29
%30
(*.f64 %27 %26)
(/.f64 %29 %19)
(/.f64 %30 %22)
%34
(/.f64 #s(literal 1 binary64) %34)
(/.f64 y %21)
%37
%38
(*.f64 %38 y)
(*.f64 %24 y)
(*.f64 %6 %28)
(*.f64 x %37)
Outputs
%4 = (neg.f64 x)
%5 = (*.f64 %4 y)
%7 = (*.f64 %5 #s(literal -1 binary64))
%8 = (*.f64 y x)
%9 = (*.f64 #s(literal 2 binary64) %8)
%11 = (*.f64 %9 #s(literal 1/2 binary64))
%12 = (*.f64 #s(literal 1/2 binary64) y)
%13 = (+.f64 x x)
%14 = (*.f64 %12 %13)
%15 = (*.f64 #s(literal 1/2 binary64) x)
%16 = (+.f64 y y)
%17 = (*.f64 %15 %16)
%18 = (*.f64 %16 %15)
%19 = (*.f64 %13 %12)
%21 = (*.f64 #s(literal -1/2 binary64) x)
%22 = (*.f64 %21 y)
%24 = (*.f64 %22 #s(literal -2 binary64))
%25 = (/.f64 #s(literal 2 binary64) %8)
%26 = (neg.f64 %25)
%27 = (/.f64 #s(literal 1 binary64) %26)
%28 = (*.f64 #s(literal -2 binary64) %27)
%29 = (neg.f64 y)
%30 = (*.f64 %4 %29)
%31 = (*.f64 %29 %4)
%32 = (*.f64 #s(literal -1 binary64) %5)
%33 = (*.f64 %8 #s(literal 1/2 binary64))
%34 = (*.f64 %33 #s(literal 2 binary64))
%35 = (*.f64 %8 #s(literal 1 binary64))
%36 = (*.f64 #s(literal 1 binary64) %8)
%37 = (*.f64 #s(literal 1/2 binary64) %8)
%38 = (*.f64 #s(literal 2 binary64) %37)
%39 = (*.f64 #s(literal 2 binary64) %33)
%40 = (*.f64 x y)
%41 = (/.f64 #s(literal 1 binary64) %8)
%42 = (pow.f64 %41 #s(literal -1 binary64))
%43 = (pow.f64 %8 #s(literal 1 binary64))
%44 = (/.f64 #s(literal -1/2 binary64) y)
%45 = (/.f64 %21 %44)
%46 = (*.f64 #s(literal -1/2 binary64) y)
%47 = (/.f64 #s(literal -1/2 binary64) x)
%48 = (/.f64 %46 %47)
%49 = (/.f64 %5 #s(literal -1 binary64))
%50 = (neg.f64 %9)
%51 = (/.f64 %50 #s(literal -2 binary64))
%52 = (/.f64 %9 #s(literal 2 binary64))
%53 = (neg.f64 %16)
%54 = (/.f64 #s(literal -2 binary64) x)
%55 = (/.f64 %53 %54)
%56 = (/.f64 #s(literal 1/2 binary64) x)
%57 = (/.f64 %12 %56)
%58 = (/.f64 #s(literal 1/2 binary64) y)
%59 = (/.f64 %15 %58)
%60 = (/.f64 #s(literal 2 binary64) x)
%61 = (/.f64 %16 %60)
%62 = (/.f64 #s(literal 2 binary64) y)
%63 = (/.f64 %13 %62)
%64 = (/.f64 %22 #s(literal -1/2 binary64))
%65 = (/.f64 #s(literal -2 binary64) %26)
%66 = (/.f64 #s(literal -1 binary64) y)
%67 = (/.f64 %4 %66)
%68 = (/.f64 #s(literal -1 binary64) x)
%69 = (/.f64 %29 %68)
%70 = (/.f64 #s(literal -1 binary64) %8)
%71 = (/.f64 #s(literal -1 binary64) %70)
%72 = (/.f64 %33 #s(literal 1/2 binary64))
%73 = (/.f64 %8 #s(literal 1 binary64))
%75 = (/.f64 #s(literal 1 binary64) (/.f64 %56 %12))
%77 = (/.f64 #s(literal 1 binary64) (/.f64 %58 %15))
%78 = (/.f64 #s(literal 1 binary64) %41)
%79 = (/.f64 #s(literal 2 binary64) %25)
%80 = (/.f64 #s(literal 1 binary64) x)
%81 = (/.f64 y %80)
%82 = (/.f64 #s(literal 1 binary64) y)
%83 = (/.f64 x %82)
%85 = (neg.f64 (/.f64 %12 %47))
%87 = (neg.f64 (/.f64 %15 %44))
%88 = (neg.f64 %5)
%89 = (fma.f64 %46 %4 %33)
%91 = (/.f64 #s(literal 0 binary64) %41)
%92 = (fma.f64 %5 #s(literal -1 binary64) %91)
%93 = (fma.f64 %9 #s(literal 1/2 binary64) %91)
%94 = (fma.f64 %12 %13 %91)
%95 = (fma.f64 %12 x %33)
%96 = (fma.f64 %15 %16 %91)
%97 = (fma.f64 %15 y %33)
%98 = (fma.f64 %16 %15 %91)
%99 = (fma.f64 %13 %12 %91)
%100 = (fma.f64 %22 #s(literal -2 binary64) %91)
%101 = (fma.f64 #s(literal -2 binary64) %27 %91)
%102 = (fma.f64 %4 %29 %91)
%103 = (fma.f64 %29 %21 %33)
%104 = (fma.f64 %29 %4 %91)
%105 = (fma.f64 #s(literal -1 binary64) %5 %91)
%106 = (fma.f64 %33 #s(literal 2 binary64) %91)
%107 = (fma.f64 #s(literal 1/2 binary64) %8 %37)
%108 = (fma.f64 %8 #s(literal 1/2 binary64) %33)
%109 = (fma.f64 %8 #s(literal 1 binary64) %91)
%110 = (fma.f64 #s(literal 1 binary64) %8 %91)
%111 = (fma.f64 #s(literal 2 binary64) %37 %91)
%112 = (fma.f64 #s(literal 2 binary64) %33 %91)
%113 = (fma.f64 y %15 %33)
%114 = (fma.f64 y x %91)
%115 = (fma.f64 x %12 %33)
%116 = (fma.f64 x y %91)
%118 = (-.f64 %33 (/.f64 #s(literal -1 binary64) %25))
%119 = (/.f64 #s(literal -1 binary64) %26)
%120 = (+.f64 %119 %119)
%121 = (+.f64 %37 %37)
%122 = (+.f64 %33 %33)
%123 = (+.f64 %8 %91)
%124 = (fabs.f64 y)
%125 = (sqrt.f64 %124)
%126 = (neg.f64 %125)
%127 = (neg.f64 %126)
%128 = (*.f64 %127 %127)
%129 = (fabs.f64 %12)
%131 = (fabs.f64 %16)
%133 = (*.f64 (sqrt.f64 %129) (sqrt.f64 %131))
%134 = (*.f64 %129 #s(literal 2 binary64))
%135 = (*.f64 %125 %124)
%136 = (sqrt.f64 %135)
%137 = (sqrt.f64 %125)
%138 = (*.f64 %136 %137)
%139 = (*.f64 %12 y)
%140 = (fabs.f64 %139)
%141 = (sqrt.f64 %140)
%143 = (*.f64 %141 (sqrt.f64 #s(literal 2 binary64)))
%144 = (*.f64 %126 %126)
%145 = (*.f64 %137 %136)
%146 = (*.f64 %125 %125)
%147 = (*.f64 %124 #s(literal 1 binary64))
%148 = (*.f64 #s(literal 1 binary64) %124)
%149 = (*.f64 #s(literal 2 binary64) %129)
%150 = (pow.f64 %126 #s(literal 2 binary64))
%151 = (*.f64 y y)
%152 = (*.f64 %151 %151)
%154 = (pow.f64 %152 #s(literal 1/4 binary64))
%155 = (pow.f64 %151 #s(literal 1/2 binary64))
%156 = (pow.f64 %125 #s(literal 2 binary64))
%157 = (pow.f64 %124 #s(literal 1 binary64))
%158 = (/.f64 %131 #s(literal 2 binary64))
%159 = (/.f64 %129 #s(literal 1/2 binary64))
%160 = (*.f64 %46 y)
%161 = (fabs.f64 %160)
%163 = (sqrt.f64 #s(literal 1/2 binary64))
%164 = (/.f64 (sqrt.f64 %161) %163)
%165 = (/.f64 %141 %163)
%166 = (fabs.f64 %66)
%168 = (/.f64 %125 (sqrt.f64 %166))
%169 = (fabs.f64 %82)
%171 = (/.f64 %125 (sqrt.f64 %169))
%172 = (/.f64 %124 #s(literal 1 binary64))
%173 = (/.f64 #s(literal 1 binary64) %166)
%174 = (/.f64 #s(literal 1 binary64) %169)
%176 = (/.f64 #s(literal 1 binary64) (pow.f64 %151 #s(literal -1/2 binary64)))
%178 = (/.f64 #s(literal 1 binary64) (pow.f64 %125 #s(literal -2 binary64)))
%180 = (/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -1 binary64)))
%182 = (/.f64 #s(literal 2 binary64) (fabs.f64 %62))
%183 = (neg.f64 %124)
%184 = (neg.f64 %183)
%185 = (sqrt.f64 %151)
%186 = (fabs.f64 %183)
%187 = (fabs.f64 %29)
%188 = (fabs.f64 %124)
%189 = (neg.f64 %137)
%205 = (*.f64 %12 %12)
%207 = (*.f64 %205 #s(literal 4 binary64))
%208 = (*.f64 %129 %131)
%209 = (*.f64 %140 #s(literal 2 binary64))
%210 = (*.f64 %183 %183)
%211 = (*.f64 #s(literal 4 binary64) %205)
%212 = (*.f64 %12 %16)
%213 = (*.f64 %160 #s(literal -2 binary64))
%214 = (*.f64 %29 %29)
%215 = (*.f64 %151 #s(literal 1 binary64))
%216 = (*.f64 %139 #s(literal 2 binary64))
%217 = (*.f64 %135 %125)
%218 = (*.f64 %125 %135)
%219 = (*.f64 %124 %124)
%220 = (*.f64 #s(literal 1 binary64) %151)
%222 = (pow.f64 (*.f64 %62 %58) #s(literal -1 binary64))
%223 = (/.f64 #s(literal 1 binary64) %151)
%224 = (pow.f64 %223 #s(literal -1 binary64))
%225 = (pow.f64 %183 #s(literal 2 binary64))
%226 = (pow.f64 %152 #s(literal 1/2 binary64))
%227 = (pow.f64 %29 #s(literal 2 binary64))
%228 = (pow.f64 %151 #s(literal 1 binary64))
%229 = (pow.f64 %82 #s(literal -2 binary64))
%230 = (pow.f64 %125 #s(literal 4 binary64))
%231 = (pow.f64 %124 #s(literal 2 binary64))
%232 = (pow.f64 y #s(literal 2 binary64))
%233 = (/.f64 %161 #s(literal 1/2 binary64))
%234 = (/.f64 %140 #s(literal 1/2 binary64))
%235 = (*.f64 %29 y)
%236 = (/.f64 %235 #s(literal -1 binary64))
%237 = (/.f64 %12 %58)
%238 = (/.f64 %160 #s(literal -1/2 binary64))
%239 = (/.f64 %29 %66)
%240 = (/.f64 %151 #s(literal 1 binary64))
%241 = (/.f64 %139 #s(literal 1/2 binary64))
%242 = (/.f64 %124 %166)
%243 = (/.f64 %124 %169)
%245 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1/2 binary64) %160))
%247 = (/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -2 binary64)))
%248 = (/.f64 #s(literal 1 binary64) %223)
%250 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %139))
%251 = (/.f64 y %82)
%253 = (neg.f64 (*.f64 %160 #s(literal 2 binary64)))
%255 = (neg.f64 (/.f64 %151 #s(literal -1 binary64)))
%257 = (neg.f64 (*.f64 %183 %124))
%259 = (neg.f64 (*.f64 %124 %183))
%260 = (/.f64 %235 #s(literal 1 binary64))
%261 = (neg.f64 %260)
%262 = (neg.f64 %235)
%263 = (sqrt.f64 %152)
%264 = (*.f64 %125 %29)
%266 = (fabs.f64 (*.f64 %264 %126))
%268 = (fabs.f64 (*.f64 %264 %125))
%269 = (*.f64 %125 y)
%271 = (fabs.f64 (*.f64 %269 %126))
%273 = (fabs.f64 (*.f64 %269 %125))
%274 = (*.f64 %29 %125)
%276 = (fabs.f64 (*.f64 %274 %126))
%278 = (fabs.f64 (*.f64 %274 %125))
%279 = (*.f64 y %125)
%281 = (fabs.f64 (*.f64 %279 %126))
%283 = (fabs.f64 (*.f64 %279 %125))
%285 = (fabs.f64 (*.f64 %126 %264))
%287 = (fabs.f64 (*.f64 %126 %269))
%289 = (fabs.f64 (*.f64 %126 %274))
%291 = (fabs.f64 (*.f64 %126 %279))
%293 = (fabs.f64 (*.f64 %125 %264))
%295 = (fabs.f64 (*.f64 %125 %269))
%297 = (fabs.f64 (*.f64 %125 %274))
%299 = (fabs.f64 (*.f64 %125 %279))
%301 = (fabs.f64 (*.f64 %29 %124))
%303 = (fabs.f64 (*.f64 %124 %29))
%304 = (fabs.f64 %260)
%306 = (fabs.f64 (*.f64 y %124))
%308 = (fabs.f64 (*.f64 %124 y))
%309 = (fabs.f64 %235)
%310 = (fabs.f64 %151)
%311 = (*.f64 %33 #s(literal 1 binary64))
%312 = (*.f64 %311 %16)
%313 = (*.f64 %139 #s(literal 1 binary64))
%314 = (*.f64 %313 %13)
%315 = (*.f64 %33 y)
%316 = (*.f64 %315 #s(literal 2 binary64))
%317 = (*.f64 %29 %16)
%318 = (*.f64 %317 %21)
%319 = (*.f64 y %16)
%320 = (*.f64 %319 %15)
%321 = (*.f64 %139 x)
%322 = (*.f64 %321 #s(literal 2 binary64))
%323 = (*.f64 %29 %13)
%324 = (*.f64 %323 %46)
%325 = (*.f64 y %13)
%326 = (*.f64 %325 %12)
%327 = (*.f64 %8 y)
%328 = (*.f64 #s(literal 2 binary64) %327)
%329 = (*.f64 %328 #s(literal 1/2 binary64))
%330 = (*.f64 %5 %29)
%331 = (*.f64 %9 %12)
%332 = (*.f64 %53 %27)
%333 = (*.f64 %235 %4)
%334 = (*.f64 %12 %325)
%335 = (*.f64 x %16)
%336 = (*.f64 %12 %335)
%337 = (*.f64 %16 %33)
%338 = (*.f64 %13 %139)
%339 = (*.f64 %22 %53)
%340 = (/.f64 #s(literal 2 binary64) %327)
%341 = (neg.f64 %340)
%342 = (/.f64 #s(literal 1 binary64) %341)
%343 = (*.f64 #s(literal -2 binary64) %342)
%344 = (neg.f64 %13)
%345 = (*.f64 %160 %344)
%346 = (*.f64 %29 %5)
%347 = (*.f64 %5 y)
%348 = (*.f64 #s(literal -1 binary64) %347)
%349 = (*.f64 %151 x)
%350 = (*.f64 %327 #s(literal 1 binary64))
%351 = (*.f64 %33 %16)
%352 = (*.f64 %139 %13)
%353 = (*.f64 %125 x)
%354 = (*.f64 %353 %124)
%355 = (*.f64 %354 %125)
%356 = (*.f64 %353 %135)
%357 = (*.f64 %135 %353)
%358 = (*.f64 %124 x)
%359 = (*.f64 %358 %124)
%360 = (*.f64 %125 %354)
%361 = (*.f64 %124 %358)
%362 = (*.f64 #s(literal 1 binary64) %327)
%363 = (/.f64 #s(literal 1 binary64) %340)
%364 = (*.f64 #s(literal 2 binary64) %363)
%365 = (*.f64 #s(literal 1/2 binary64) %327)
%366 = (*.f64 #s(literal 2 binary64) %365)
%367 = (*.f64 y %8)
%368 = (*.f64 x %151)
%369 = (pow.f64 %327 #s(literal 1 binary64))
%370 = (/.f64 #s(literal 1 binary64) %327)
%371 = (pow.f64 %370 #s(literal -1 binary64))
%373 = (/.f64 (neg.f64 %311) %44)
%375 = (/.f64 (neg.f64 %313) %47)
%377 = (/.f64 (neg.f64 %315) #s(literal -1/2 binary64))
%379 = (/.f64 (neg.f64 %317) %60)
%381 = (/.f64 (neg.f64 %321) #s(literal -1/2 binary64))
%383 = (/.f64 (neg.f64 %323) %62)
%384 = (neg.f64 %328)
%385 = (/.f64 %384 #s(literal -2 binary64))
%386 = (/.f64 %311 %58)
%387 = (/.f64 %313 %56)
%388 = (/.f64 %315 #s(literal 1/2 binary64))
%389 = (/.f64 %317 %54)
%390 = (/.f64 %319 %60)
%391 = (/.f64 %321 #s(literal 1/2 binary64))
%392 = (/.f64 #s(literal -2 binary64) y)
%393 = (/.f64 %323 %392)
%394 = (/.f64 %325 %62)
%395 = (/.f64 %328 #s(literal 2 binary64))
%396 = (/.f64 %347 #s(literal -1 binary64))
%397 = (/.f64 %5 %66)
%398 = (/.f64 %9 %62)
%399 = (/.f64 %53 %26)
%400 = (/.f64 %235 %68)
%401 = (/.f64 %16 %25)
%402 = (/.f64 %22 %44)
%403 = (/.f64 #s(literal -2 binary64) %341)
%404 = (/.f64 %160 %47)
%405 = (/.f64 %29 %70)
%406 = (/.f64 #s(literal -1 binary64) %327)
%407 = (/.f64 #s(literal -1 binary64) %406)
%408 = (/.f64 %151 %80)
%409 = (/.f64 %327 #s(literal 1 binary64))
%410 = (/.f64 %33 %58)
%411 = (/.f64 %139 %56)
%412 = (/.f64 %8 %82)
%413 = (/.f64 #s(literal 1 binary64) %370)
%414 = (/.f64 #s(literal 2 binary64) %340)
%415 = (/.f64 y %41)
%416 = (/.f64 x %223)
%417 = (neg.f64 %347)
%418 = (/.f64 #s(literal 0 binary64) %370)
%419 = (fma.f64 %311 %16 %418)
%420 = (fma.f64 %313 %13 %418)
%421 = (fma.f64 %315 #s(literal 2 binary64) %418)
%422 = (fma.f64 %317 %21 %418)
%423 = (fma.f64 %319 %15 %418)
%424 = (fma.f64 %321 #s(literal 2 binary64) %418)
%425 = (fma.f64 %323 %46 %418)
%426 = (fma.f64 %325 %12 %418)
%427 = (fma.f64 %328 #s(literal 1/2 binary64) %418)
%428 = (fma.f64 %5 %29 %418)
%429 = (fma.f64 %9 %12 %418)
%430 = (fma.f64 %53 %27 %418)
%431 = (fma.f64 %235 %4 %418)
%432 = (fma.f64 %12 %325 %418)
%433 = (fma.f64 %12 %335 %418)
%434 = (fma.f64 %16 %33 %418)
%435 = (fma.f64 %13 %139 %418)
%436 = (fma.f64 %22 %53 %418)
%437 = (fma.f64 #s(literal -2 binary64) %342 %418)
%438 = (fma.f64 %160 %344 %418)
%439 = (fma.f64 %29 %5 %418)
%440 = (fma.f64 #s(literal -1 binary64) %347 %418)
%441 = (fma.f64 %151 x %418)
%442 = (fma.f64 %327 #s(literal 1 binary64) %418)
%443 = (fma.f64 %33 %16 %418)
%444 = (fma.f64 %139 %13 %418)
%445 = (fma.f64 %354 %125 %418)
%446 = (fma.f64 %353 %135 %418)
%447 = (fma.f64 %135 %353 %418)
%448 = (fma.f64 #s(literal 1/2 binary64) %327 %365)
%449 = (fma.f64 %358 %124 %418)
%450 = (fma.f64 %125 %354 %418)
%451 = (fma.f64 %124 %358 %418)
%452 = (fma.f64 %8 y %418)
%453 = (fma.f64 #s(literal 1 binary64) %327 %418)
%454 = (fma.f64 #s(literal 2 binary64) %363 %418)
%455 = (fma.f64 #s(literal 2 binary64) %365 %418)
%456 = (fma.f64 y %8 %418)
%457 = (fma.f64 x %151 %418)
%459 = (-.f64 %363 (/.f64 #s(literal -1 binary64) %340))
%460 = (/.f64 #s(literal -1 binary64) %341)
%461 = (+.f64 %460 %460)
%462 = (+.f64 %363 %363)
%463 = (+.f64 %365 %365)
%464 = (+.f64 %327 %418)
%467 = (approx (* (* y x) y) %327)
%489 = (/.f64 #s(literal 0 binary64) y)
%500 = (/.f64 #s(literal -1 binary64) %53)
%521 = (*.f64 %53 %53)
%526 = (*.f64 %53 #s(literal 2 binary64))
%529 = (*.f64 %53 y)
%531 = (*.f64 #s(literal 2 binary64) %53)
%533 = (*.f64 %53 %16)
%537 = (*.f64 %29 #s(literal 2 binary64))
%548 = (*.f64 y %53)
%555 = (*.f64 %16 %53)
%559 = (*.f64 %16 %29)
%563 = (*.f64 %16 #s(literal 2 binary64))
%565 = (fma.f64 #s(literal 2 binary64) y %16)
%566 = (*.f64 %53 %29)
%570 = (*.f64 %16 y)
%573 = (*.f64 #s(literal 2 binary64) %16)
%575 = (*.f64 %16 %16)
%669 = (*.f64 %344 %344)
%673 = (*.f64 %344 #s(literal 2 binary64))
%676 = (*.f64 %344 x)
%678 = (*.f64 #s(literal 2 binary64) %344)
%680 = (*.f64 %344 %13)
%684 = (*.f64 %4 #s(literal 2 binary64))
%686 = (+.f64 %4 %4)
%692 = (*.f64 %4 %13)
%699 = (*.f64 x %344)
%706 = (*.f64 %13 %344)
%710 = (*.f64 %13 %4)
%714 = (*.f64 %13 #s(literal 2 binary64))
%716 = (fma.f64 #s(literal 2 binary64) x %13)
%717 = (*.f64 %344 %4)
%723 = (*.f64 %13 x)
%725 = (*.f64 #s(literal 2 binary64) %13)
%727 = (*.f64 %13 %13)
%800 = (*.f64 %25 #s(literal 1/2 binary64))
%801 = (*.f64 %54 %44)
%802 = (*.f64 %68 %66)
%803 = (*.f64 %66 %68)
%804 = (/.f64 #s(literal 1 binary64) %50)
%805 = (*.f64 #s(literal -2 binary64) %804)
%806 = (*.f64 #s(literal -1 binary64) %70)
%807 = (*.f64 %80 %82)
%808 = (*.f64 %58 %60)
%809 = (*.f64 %41 #s(literal 1 binary64))
%810 = (*.f64 %60 %58)
%811 = (*.f64 %56 %62)
%812 = (*.f64 %62 %56)
%813 = (*.f64 %82 %80)
%814 = (*.f64 #s(literal 1 binary64) %41)
%815 = (/.f64 #s(literal 1 binary64) %9)
%816 = (*.f64 #s(literal 2 binary64) %815)
%817 = (*.f64 %82 %56)
%818 = (*.f64 #s(literal 2 binary64) %817)
%819 = (*.f64 %80 %58)
%820 = (*.f64 #s(literal 2 binary64) %819)
%821 = (/.f64 #s(literal 1/2 binary64) %8)
%822 = (*.f64 #s(literal 2 binary64) %821)
%823 = (pow.f64 %41 #s(literal 1 binary64))
%824 = (pow.f64 %8 #s(literal -1 binary64))
%825 = (/.f64 %26 #s(literal -2 binary64))
%826 = (/.f64 %25 #s(literal 2 binary64))
%827 = (/.f64 %54 %53)
%828 = (/.f64 #s(literal -1/2 binary64) %22)
%829 = (/.f64 %68 %29)
%830 = (/.f64 %70 #s(literal -1 binary64))
%831 = (/.f64 %66 %4)
%832 = (/.f64 #s(literal -2 binary64) %50)
%833 = (/.f64 %392 %344)
%834 = (/.f64 #s(literal -1 binary64) %5)
%835 = (/.f64 %80 y)
%836 = (/.f64 %41 #s(literal 1 binary64))
%837 = (/.f64 %60 %16)
%838 = (/.f64 %62 %13)
%839 = (/.f64 #s(literal 1/2 binary64) %33)
%840 = (/.f64 %82 x)
%841 = (/.f64 #s(literal 2 binary64) %9)
%842 = (neg.f64 %70)
%843 = (/.f64 #s(literal 0 binary64) %8)
%844 = (fma.f64 %25 #s(literal 1/2 binary64) %843)
%845 = (fma.f64 %54 %44 %843)
%846 = (fma.f64 %68 %66 %843)
%847 = (fma.f64 %66 %68 %843)
%848 = (fma.f64 #s(literal -2 binary64) %804 %843)
%849 = (fma.f64 #s(literal -1 binary64) %70 %843)
%850 = (fma.f64 %80 %82 %843)
%851 = (fma.f64 %58 %60 %843)
%852 = (fma.f64 %41 #s(literal 1 binary64) %843)
%853 = (fma.f64 %60 %58 %843)
%854 = (fma.f64 %56 %62 %843)
%855 = (fma.f64 %62 %56 %843)
%856 = (fma.f64 #s(literal 1/2 binary64) %41 %821)
%857 = (fma.f64 %82 %80 %843)
%858 = (fma.f64 #s(literal 1 binary64) %41 %843)
%859 = (fma.f64 #s(literal 2 binary64) %815 %843)
%860 = (fma.f64 #s(literal 2 binary64) %817 %843)
%861 = (fma.f64 #s(literal 2 binary64) %819 %843)
%862 = (fma.f64 #s(literal 2 binary64) %821 %843)
%864 = (-.f64 %815 (/.f64 #s(literal -1 binary64) %9))
%865 = (/.f64 #s(literal -1 binary64) %50)
%866 = (+.f64 %865 %865)
%867 = (/.f64 %80 %16)
%868 = (+.f64 %867 %867)
%869 = (/.f64 %82 %13)
%870 = (+.f64 %869 %869)
%871 = (+.f64 %815 %815)
%872 = (+.f64 %821 %821)
%873 = (+.f64 %41 %843)
%901 = (/.f64 #s(literal 0 binary64) x)
%913 = (/.f64 #s(literal -1 binary64) %344)
%917 = (*.f64 %137 %126)
%919 = (*.f64 %137 %125)
%921 = (*.f64 %126 %137)
%923 = (*.f64 %125 %137)
%926 = (pow.f64 %137 #s(literal 3 binary64))
%929 = (*.f64 %151 %124)
%1041 = (/.f64 #s(literal 1 binary64) %235)
%1050 = (/.f64 #s(literal 1 binary64) %328)
%1052 = (/.f64 #s(literal 1/2 binary64) %327)
%1087 = (/.f64 #s(literal 0 binary64) %327)
x
y
#s(literal 2 binary64)
#s(literal 1 binary64)
%7
%11
%14
%17
%18
%19
%24
%28
%30
%31
%32
%34
%35
%36
%38
%39
%8
%40
%42
%43
%45
%48
%49
%51
%52
%55
%57
%59
%61
%63
%64
%65
%67
%69
%71
%72
%73
%75
%77
%78
%79
%81
%83
%85
%87
%88
%89
%92
%93
%94
%95
%96
%97
%98
%99
%100
%101
%102
%103
%104
%105
%106
%107
%108
%109
%110
%111
%112
%113
%114
%115
%116
%118
%120
%121
%122
%123
%128
%133
%134
%138
%143
%144
%145
%146
%147
%148
%149
%150
%154
%155
%156
%157
%158
%159
%164
%165
%168
%171
%172
%173
%174
%176
%178
%180
%182
%184
%185
%186
%187
%188
%124
(*.f64 %189 %189)
(*.f64 %137 %137)
(pow.f64 %152 #s(literal 1/8 binary64))
(pow.f64 %137 #s(literal 2 binary64))
(pow.f64 %151 #s(literal 1/4 binary64))
(pow.f64 %125 #s(literal 1 binary64))
(pow.f64 %124 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %125 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -1/2 binary64)))
%125
(fabs.f64 %127)
(fabs.f64 %126)
(fabs.f64 %125)
%128
%133
%134
%138
%143
%144
%145
%146
%147
%148
%149
%150
%154
%155
%156
%157
%158
%159
%164
%165
%168
%171
%172
%173
%174
%176
%178
%180
%182
%184
%185
%186
%187
%188
%124
%207
%208
%209
%210
%211
%212
%213
%214
%215
%216
%217
%218
%219
%220
%151
%222
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%236
%237
%238
%239
%240
%241
%242
%243
%245
%247
%248
%250
%251
%253
%255
%257
%259
%261
%262
%263
%266
%268
%271
%273
%276
%278
%281
%283
%285
%287
%289
%291
%293
%295
%297
%299
%301
%303
%304
%306
%308
%309
%310
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
(pow.f64 %467 #s(literal 1 binary64))
%467
(/.f64 #s(literal 1 binary64) (pow.f64 %467 #s(literal -1 binary64)))
(*.f64 #s(literal -2 binary64) %44)
(*.f64 #s(literal -1 binary64) %66)
(*.f64 %62 #s(literal 1/2 binary64))
(*.f64 %82 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %82)
(*.f64 #s(literal 2 binary64) %58)
(pow.f64 %82 #s(literal 1 binary64))
(pow.f64 y #s(literal -1 binary64))
(/.f64 %66 #s(literal -1 binary64))
(/.f64 #s(literal -2 binary64) %53)
(/.f64 %392 #s(literal -2 binary64))
(/.f64 #s(literal -1 binary64) %29)
(/.f64 %62 #s(literal 2 binary64))
(/.f64 #s(literal 1/2 binary64) %12)
(/.f64 %82 #s(literal 1 binary64))
%82
(/.f64 #s(literal 2 binary64) %16)
(neg.f64 %66)
(fma.f64 #s(literal -1/2 binary64) %66 %58)
(fma.f64 #s(literal -2 binary64) %44 %489)
(fma.f64 #s(literal -1 binary64) %66 %489)
(fma.f64 %62 #s(literal 1/2 binary64) %489)
(fma.f64 #s(literal 1/2 binary64) %82 %58)
(fma.f64 %82 #s(literal 1/2 binary64) %58)
(fma.f64 %82 #s(literal 1 binary64) %489)
(fma.f64 #s(literal 1 binary64) %82 %489)
(fma.f64 #s(literal 2 binary64) %58 %489)
(-.f64 %58 (/.f64 #s(literal -1 binary64) %16))
(+.f64 %500 %500)
(+.f64 %58 %58)
(+.f64 %82 %489)
#s(literal 1/2 binary64)
(*.f64 %66 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %66)
(*.f64 %58 #s(literal 4 binary64))
(*.f64 %82 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %62)
(*.f64 #s(literal 2 binary64) %82)
(pow.f64 %62 #s(literal 1 binary64))
(/.f64 (fma.f64 %82 %53 #s(literal -2 binary64)) %53)
(/.f64 (fma.f64 %82 %29 #s(literal -1 binary64)) %29)
(/.f64 (fma.f64 %82 y #s(literal 1 binary64)) y)
(/.f64 (fma.f64 %82 %16 #s(literal 2 binary64)) %16)
(/.f64 (fma.f64 #s(literal -2 binary64) %53 (*.f64 #s(literal -2 binary64) %53)) %521)
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 %62 %53)) %526)
(/.f64 (fma.f64 #s(literal -2 binary64) y %53) %529)
(/.f64 (fma.f64 #s(literal -2 binary64) %16 %531) %533)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 %62 %29)) %537)
(/.f64 (+.f64 %29 %29) %235)
(/.f64 (fma.f64 #s(literal -1 binary64) %16 %53) %317)
(/.f64 (fma.f64 %62 #s(literal 2 binary64) (*.f64 %62 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %29 (*.f64 #s(literal -2 binary64) y)) %548)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 %62 y)) %16)
(/.f64 (fma.f64 #s(literal 2 binary64) %53 (*.f64 #s(literal -2 binary64) %16)) %555)
(/.f64 (fma.f64 #s(literal 2 binary64) %29 (*.f64 #s(literal -1 binary64) %16)) %559)
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 %62 %16)) %563)
(/.f64 %565 %566)
(/.f64 %565 (*.f64 %29 %53))
(/.f64 %565 %570)
(/.f64 %565 %319)
(/.f64 (fma.f64 #s(literal 2 binary64) %16 %573) %575)
(/.f64 (+.f64 %62 %62) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) %53 (*.f64 %53 #s(literal -2 binary64))) %521)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 %53 #s(literal -1 binary64))) %566)
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 %53 %62)) %526)
(/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 %53 #s(literal 1 binary64))) %529)
(/.f64 (fma.f64 #s(literal -2 binary64) %16 %526) %533)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 %29 %62)) %537)
(/.f64 (fma.f64 #s(literal -1 binary64) %16 %537) %317)
(/.f64 (fma.f64 %62 %53 #s(literal -4 binary64)) %531)
(/.f64 (fma.f64 %62 %29 #s(literal -2 binary64)) %53)
(/.f64 (fma.f64 %62 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %62)) #s(literal 4 binary64))
(/.f64 (fma.f64 %62 y #s(literal 2 binary64)) %16)
(/.f64 (fma.f64 %62 %16 #s(literal 4 binary64)) %573)
(/.f64 (fma.f64 #s(literal 2 binary64) %29 (*.f64 y #s(literal -2 binary64))) %548)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 y %62)) %16)
(/.f64 (fma.f64 #s(literal 2 binary64) %53 (*.f64 %16 #s(literal -2 binary64))) %555)
(/.f64 (fma.f64 #s(literal 2 binary64) %29 (*.f64 %16 #s(literal -1 binary64))) %559)
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 %16 %62)) %563)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 %16 #s(literal 1 binary64))) %570)
(/.f64 (fma.f64 #s(literal 2 binary64) %16 %563) %575)
(/.f64 #s(literal -4 binary64) %53)
(/.f64 #s(literal 4 binary64) %16)
(/.f64 %16 %151)
(/.f64 #s(literal -2 binary64) %29)
(/.f64 %82 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) %12)
%62
(neg.f64 %392)
(fma.f64 #s(literal -2 binary64) %44 %82)
(fma.f64 #s(literal -1 binary64) %66 %82)
(fma.f64 %62 #s(literal 1/2 binary64) %82)
(fma.f64 %82 #s(literal 1 binary64) %82)
(fma.f64 #s(literal 1 binary64) %82 %82)
(fma.f64 #s(literal 2 binary64) %58 %82)
(-.f64 %82 %66)
(+.f64 %82 %82)
(*.f64 #s(literal -1/2 binary64) %68)
(*.f64 %80 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %80)
(pow.f64 %56 #s(literal 1 binary64))
(/.f64 #s(literal -1/2 binary64) %4)
(/.f64 %80 #s(literal 2 binary64))
%56
(/.f64 #s(literal 1 binary64) %13)
(neg.f64 %47)
(*.f64 %68 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %68)
(*.f64 %80 #s(literal 2 binary64))
(*.f64 %56 #s(literal 4 binary64))
(*.f64 #s(literal 1 binary64) %60)
(*.f64 #s(literal 2 binary64) %80)
(pow.f64 %60 #s(literal 1 binary64))
(/.f64 (fma.f64 %80 %344 #s(literal -2 binary64)) %344)
(/.f64 (fma.f64 %80 %4 #s(literal -1 binary64)) %4)
(/.f64 (fma.f64 %80 x #s(literal 1 binary64)) x)
(/.f64 (fma.f64 %80 %13 #s(literal 2 binary64)) %13)
(/.f64 (fma.f64 #s(literal -2 binary64) %344 (*.f64 #s(literal -2 binary64) %344)) %669)
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 %60 %344)) %673)
(/.f64 (fma.f64 #s(literal -2 binary64) x %344) %676)
(/.f64 (fma.f64 #s(literal -2 binary64) %13 %678) %680)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 %60 %4)) %684)
(/.f64 %686 (*.f64 %4 x))
(/.f64 %686 (*.f64 x %4))
(/.f64 (fma.f64 #s(literal -1 binary64) %13 %344) %692)
(/.f64 (fma.f64 %60 #s(literal 2 binary64) (*.f64 %60 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %4 (*.f64 #s(literal -2 binary64) x)) %699)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 %60 x)) %13)
(/.f64 (fma.f64 #s(literal 2 binary64) %344 (*.f64 #s(literal -2 binary64) %13)) %706)
(/.f64 (fma.f64 #s(literal 2 binary64) %4 (*.f64 #s(literal -1 binary64) %13)) %710)
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 %60 %13)) %714)
(/.f64 %716 %717)
(/.f64 %716 (*.f64 %4 %344))
(/.f64 %716 (*.f64 x %13))
(/.f64 %716 %723)
(/.f64 (fma.f64 #s(literal 2 binary64) %13 %725) %727)
(/.f64 (+.f64 %60 %60) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) %344 (*.f64 %344 #s(literal -2 binary64))) %669)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %344 #s(literal -1 binary64))) %717)
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 %344 %60)) %673)
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 %344 #s(literal 1 binary64))) %676)
(/.f64 (fma.f64 #s(literal -2 binary64) %13 %673) %680)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 %4 %60)) %684)
(/.f64 (fma.f64 #s(literal -1 binary64) %13 %684) %692)
(/.f64 (fma.f64 %60 %344 #s(literal -4 binary64)) %678)
(/.f64 (fma.f64 %60 %4 #s(literal -2 binary64)) %344)
(/.f64 (fma.f64 %60 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %60)) #s(literal 4 binary64))
(/.f64 (fma.f64 %60 x #s(literal 2 binary64)) %13)
(/.f64 (fma.f64 %60 %13 #s(literal 4 binary64)) %725)
(/.f64 (fma.f64 #s(literal 2 binary64) %4 (*.f64 x #s(literal -2 binary64))) %699)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 x %60)) %13)
(/.f64 (fma.f64 #s(literal 2 binary64) %344 (*.f64 %13 #s(literal -2 binary64))) %706)
(/.f64 (fma.f64 #s(literal 2 binary64) %4 (*.f64 %13 #s(literal -1 binary64))) %710)
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 %13 %60)) %714)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %13 #s(literal 1 binary64))) %723)
(/.f64 (fma.f64 #s(literal 2 binary64) %13 %714) %727)
(/.f64 #s(literal -4 binary64) %344)
(/.f64 #s(literal 4 binary64) %13)
(/.f64 %13 (*.f64 %4 %4))
(/.f64 %13 (*.f64 x x))
(/.f64 #s(literal -2 binary64) %4)
(/.f64 %80 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) %15)
%60
(neg.f64 %54)
(fma.f64 %68 #s(literal -1 binary64) %80)
(fma.f64 #s(literal -2 binary64) %47 %80)
(fma.f64 #s(literal -1 binary64) %68 %80)
(fma.f64 %80 #s(literal 1 binary64) %80)
(fma.f64 %60 #s(literal 1/2 binary64) %80)
(fma.f64 #s(literal 1 binary64) %80 %80)
(fma.f64 #s(literal 2 binary64) %56 %80)
(-.f64 %80 %68)
(+.f64 %80 %80)
%800
%801
%802
%803
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%816
%818
%820
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%41
%841
%842
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%864
%866
%868
%870
%871
%872
%873
(*.f64 #s(literal -1/2 binary64) %66)
(*.f64 #s(literal 1/2 binary64) %82)
(*.f64 %82 #s(literal 1/2 binary64))
(pow.f64 %58 #s(literal 1 binary64))
(/.f64 #s(literal -1/2 binary64) %29)
%58
(/.f64 %82 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %16)
(neg.f64 %44)
(*.f64 %68 #s(literal -1 binary64))
(*.f64 #s(literal -2 binary64) %47)
(*.f64 #s(literal -1 binary64) %68)
(*.f64 %80 #s(literal 1 binary64))
(*.f64 %60 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %80)
(*.f64 #s(literal 2 binary64) %56)
(pow.f64 %80 #s(literal 1 binary64))
(pow.f64 x #s(literal -1 binary64))
(/.f64 %54 #s(literal -2 binary64))
(/.f64 %68 #s(literal -1 binary64))
(/.f64 #s(literal -2 binary64) %344)
(/.f64 #s(literal -1 binary64) %4)
(/.f64 %80 #s(literal 1 binary64))
(/.f64 %60 #s(literal 2 binary64))
(/.f64 #s(literal 1/2 binary64) %15)
%80
(/.f64 #s(literal 2 binary64) %13)
(neg.f64 %68)
(fma.f64 #s(literal -1/2 binary64) %68 %56)
(fma.f64 %68 #s(literal -1 binary64) %901)
(fma.f64 #s(literal -2 binary64) %47 %901)
(fma.f64 #s(literal -1 binary64) %68 %901)
(fma.f64 %80 #s(literal 1/2 binary64) %56)
(fma.f64 %80 #s(literal 1 binary64) %901)
(fma.f64 %60 #s(literal 1/2 binary64) %901)
(fma.f64 #s(literal 1/2 binary64) %80 %56)
(fma.f64 #s(literal 1 binary64) %80 %901)
(fma.f64 #s(literal 2 binary64) %56 %901)
(-.f64 %56 (/.f64 #s(literal -1 binary64) %13))
(+.f64 %913 %913)
(+.f64 %80 %901)
(+.f64 %56 %56)
%7
%11
%14
%17
%18
%19
%24
%28
%30
%31
%32
%34
%35
%36
%38
%39
%8
%40
%42
%43
%45
%48
%49
%51
%52
%55
%57
%59
%61
%63
%64
%65
%67
%69
%71
%72
%73
%75
%77
%78
%79
%81
%83
%85
%87
%88
%89
%92
%93
%94
%95
%96
%97
%98
%99
%100
%101
%102
%103
%104
%105
%106
%107
%108
%109
%110
%111
%112
%113
%114
%115
%116
%118
%120
%121
%122
%123
%800
%801
%802
%803
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%816
%818
%820
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%41
%841
%842
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%864
%866
%868
%870
%871
%872
%873
(*.f64 %917 %917)
(*.f64 %919 %919)
(*.f64 %921 %921)
(*.f64 %923 %923)
(*.f64 %926 %926)
%135
(*.f64 %124 %125)
(pow.f64 %929 #s(literal 1/2 binary64))
(pow.f64 %151 #s(literal 3/4 binary64))
(pow.f64 %135 #s(literal 1 binary64))
(pow.f64 %125 #s(literal 3 binary64))
(pow.f64 %124 #s(literal 3/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %135 #s(literal -1 binary64)))
(sqrt.f64 %929)
(fabs.f64 (neg.f64 %264))
(fabs.f64 (neg.f64 %274))
(fabs.f64 (*.f64 %126 %29))
(fabs.f64 (*.f64 %126 %124))
(fabs.f64 (*.f64 %126 y))
(fabs.f64 (*.f64 %29 %126))
(fabs.f64 (*.f64 %124 %126))
(fabs.f64 (*.f64 y %126))
(fabs.f64 %264)
(fabs.f64 %269)
(fabs.f64 %274)
(fabs.f64 %279)
(fabs.f64 %135)
%353
(*.f64 x %125)
(pow.f64 %353 #s(literal 1 binary64))
(/.f64 %125 %80)
(/.f64 #s(literal 1 binary64) (pow.f64 %353 #s(literal -1 binary64)))
%354
(*.f64 %135 x)
(*.f64 %358 %125)
(*.f64 %125 %358)
(*.f64 %124 %353)
(*.f64 x %135)
(pow.f64 %354 #s(literal 1 binary64))
(/.f64 %135 %80)
(/.f64 #s(literal 1 binary64) (pow.f64 %354 #s(literal -1 binary64)))
(*.f64 %46 %29)
%139
(*.f64 %29 %46)
(*.f64 %151 #s(literal 1/2 binary64))
(*.f64 y %12)
(pow.f64 (*.f64 %62 %82) #s(literal -1 binary64))
(pow.f64 (*.f64 %82 %62) #s(literal -1 binary64))
(pow.f64 %139 #s(literal 1 binary64))
(/.f64 %46 %66)
(/.f64 %235 #s(literal -2 binary64))
(/.f64 %12 %82)
(/.f64 %29 %392)
(/.f64 %151 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %82 %12))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %151))
(/.f64 #s(literal 1 binary64) (pow.f64 %139 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %392 %29))
(/.f64 #s(literal 1 binary64) (/.f64 %62 y))
(/.f64 y %62)
(neg.f64 %160)
(*.f64 %46 %4)
(*.f64 %12 x)
(*.f64 %15 y)
(*.f64 %29 %21)
%33
(*.f64 y %15)
(*.f64 x %12)
(pow.f64 (*.f64 %62 %80) #s(literal -1 binary64))
(pow.f64 (*.f64 %60 %82) #s(literal -1 binary64))
(pow.f64 (*.f64 %82 %60) #s(literal -1 binary64))
(pow.f64 (*.f64 %80 %62) #s(literal -1 binary64))
(pow.f64 %33 #s(literal 1 binary64))
(/.f64 %21 %66)
(/.f64 %46 %68)
(/.f64 %5 #s(literal -2 binary64))
(/.f64 %12 %80)
(/.f64 %15 %82)
(/.f64 %29 %54)
(/.f64 %8 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %82 %15))
(/.f64 #s(literal 1 binary64) (/.f64 %80 %12))
(/.f64 #s(literal 1 binary64) (pow.f64 %33 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %54 %29))
(/.f64 #s(literal 1 binary64) %25)
(/.f64 #s(literal 1 binary64) (/.f64 %60 y))
(/.f64 y %60)
(/.f64 x %62)
(neg.f64 (/.f64 %15 %66))
(neg.f64 %22)
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
(*.f64 %223 %80)
(*.f64 %25 %58)
(*.f64 %68 %1041)
(*.f64 %70 %66)
(*.f64 %66 %70)
(*.f64 #s(literal -1 binary64) %406)
(*.f64 %80 %223)
(*.f64 %41 %82)
(*.f64 %82 %41)
(*.f64 #s(literal 1 binary64) %370)
(*.f64 #s(literal 2 binary64) %1050)
(*.f64 #s(literal 2 binary64) %1052)
(pow.f64 %327 #s(literal -1 binary64))
(pow.f64 %370 #s(literal 1 binary64))
(/.f64 (neg.f64 %223) %4)
(/.f64 %223 x)
(/.f64 %341 #s(literal -2 binary64))
(/.f64 %340 #s(literal 2 binary64))
(/.f64 %26 %53)
(/.f64 %25 %16)
(/.f64 %406 #s(literal -1 binary64))
(/.f64 %54 %317)
(/.f64 %44 %22)
(/.f64 %68 %235)
(/.f64 %70 %29)
(/.f64 %66 %5)
(/.f64 #s(literal -2 binary64) %384)
(/.f64 %392 %323)
(/.f64 %47 %160)
(/.f64 #s(literal -1 binary64) %347)
(/.f64 %370 #s(literal 1 binary64))
(/.f64 %80 %151)
(/.f64 %58 %311)
(/.f64 %58 %33)
(/.f64 %41 y)
(/.f64 %60 %319)
(/.f64 %56 %313)
(/.f64 %56 %139)
(/.f64 %62 %325)
(/.f64 #s(literal 1/2 binary64) %315)
(/.f64 #s(literal 1/2 binary64) %321)
(/.f64 %82 %8)
%370
(/.f64 #s(literal 2 binary64) %328)
(neg.f64 %406)
(fma.f64 %223 %80 %1087)
(fma.f64 %25 %58 %1087)
(fma.f64 %68 %1041 %1087)
(fma.f64 %70 %66 %1087)
(fma.f64 %66 %70 %1087)
(fma.f64 #s(literal -1 binary64) %406 %1087)
(fma.f64 %80 %223 %1087)
(fma.f64 %41 %82 %1087)
(fma.f64 #s(literal 1/2 binary64) %370 %1052)
(fma.f64 %82 %41 %1087)
(fma.f64 #s(literal 1 binary64) %370 %1087)
(fma.f64 #s(literal 2 binary64) %1050 %1087)
(fma.f64 #s(literal 2 binary64) %1052 %1087)
(-.f64 %1050 (/.f64 #s(literal -1 binary64) %328))
(+.f64 %1050 %1050)
(+.f64 %1052 %1052)
(+.f64 %370 %1087)
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
%207
%208
%209
%210
%211
%212
%213
%214
%215
%216
%217
%218
%219
%220
%151
%222
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%236
%237
%238
%239
%240
%241
%242
%243
%245
%247
%248
%250
%251
%253
%255
%257
%259
%261
%262
%263
%266
%268
%271
%273
%276
%278
%281
%283
%285
%287
%289
%291
%293
%295
%297
%299
%301
%303
%304
%306
%308
%309
%310
%7
%11
%14
%17
%18
%19
%24
%28
%30
%31
%32
%34
%35
%36
%38
%39
%8
%40
%42
%43
%45
%48
%49
%51
%52
%55
%57
%59
%61
%63
%64
%65
%67
%69
%71
%72
%73
%75
%77
%78
%79
%81
%83
%85
%87
%88
%89
%92
%93
%94
%95
%96
%97
%98
%99
%100
%101
%102
%103
%104
%105
%106
%107
%108
%109
%110
%111
%112
%113
%114
%115
%116
%118
%120
%121
%122
%123
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
%312
%314
%316
%318
%320
%322
%324
%326
%329
%330
%331
%332
%333
%334
%336
%337
%338
%339
%343
%345
%346
%348
%349
%350
%351
%352
%355
%356
%357
%359
%360
%361
%327
%362
%364
%366
%367
%368
%369
%371
%373
%375
%377
%379
%381
%383
%385
%386
%387
%388
%389
%390
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%459
%461
%462
%463
%464
reconstruct267.0ms (11.5%)
Counts
2 209 → 474
Compiler
Compiled 2 209 to 1 142 computations (48.3% saved)
eval22.0ms (0.9%)
Compiler
Compiled 317 to 747 computations (-135.6% saved)
prune5.0ms (0.2%)
Pruning
10 alts after pruning (3 fresh and 7 done)
PrunedKeptTotal
New3143317
Fresh000
Picked5510
Done022
Total31910329
Accuracy
100.0%
Counts
329 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶91.0%
(/.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) x))
▶99.8%
(/.f64 (*.f64 y x) (/.f64 #s(literal 1 binary64) y))
✓99.7%
(/.f64 y (/.f64 #s(literal 1 binary64) (*.f64 y x)))
▶90.5%
(/.f64 x (/.f64 #s(literal 1 binary64) (*.f64 y y)))
✓99.8%
(*.f64 (/.f64 x (/.f64 #s(literal 1 binary64) y)) y)
✓96.4%
%8 = (fabs.f64 y)
%9 = (sqrt.f64 %8)
(*.f64 (*.f64 %9 x) (*.f64 %9 %8))
✓99.8%
(*.f64 (*.f64 x y) y)
✓99.6%
%8 = (fabs.f64 y)
%9 = (sqrt.f64 %8)
(*.f64 %9 (*.f64 %8 (*.f64 %9 x)))
✓91.0%
(*.f64 x (/.f64 y (/.f64 #s(literal 1 binary64) y)))
✓91.1%
(*.f64 x (*.f64 y y))
Compiler
Compiled 10 to 27 computations (-170.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series8.0ms (0.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02461
Stop Event
1×iter-limit
Counts
11 → 9
Calls
Call 1
Inputs
%3 = (*.f64 y x)
%4 = (*.f64 y y)
%5 = (/.f64 #s(literal 1 binary64) y)
%6 = (/.f64 #s(literal 1 binary64) x)
%7 = (/.f64 #s(literal 1 binary64) %4)
x
y
#s(literal 1 binary64)
%3
%4
%5
%6
%7
(/.f64 %4 %6)
(/.f64 %3 %5)
(/.f64 x %7)
Outputs
%9 = (/ 1 x)
%13 = (* y y)
%16 = (pow.f64 y #s(literal 2 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* y x) (*.f64 x y))
(approx %9 (/.f64 #s(literal 1 binary64) x))
(approx (/ %13 %9) (*.f64 x %16))
(approx y y)
(approx %13 %16)
(approx (/ 1 y) (/.f64 #s(literal 1 binary64) y))
(approx (/ 1 %13) (/.f64 #s(literal 1 binary64) %16))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
-inf
1.0ms
y
0
1.0ms
y
inf
1.0ms
x
inf
1.0ms
y
-inf
rewrite85.0ms (3.6%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01141
01941
19133
236733
3306133
0404333
0440533
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 1 408
Calls
Call 1
Inputs
%3 = (*.f64 y x)
%4 = (*.f64 y y)
%5 = (/.f64 #s(literal 1 binary64) y)
%6 = (/.f64 #s(literal 1 binary64) x)
%7 = (/.f64 #s(literal 1 binary64) %4)
x
y
#s(literal 1 binary64)
%3
%4
%5
%6
%7
(/.f64 %4 %6)
(/.f64 %3 %5)
(/.f64 x %7)
Outputs
%3 = (*.f64 y x)
%5 = (/.f64 %3 #s(literal 1/2 binary64))
%8 = (/.f64 #s(literal 1 binary64) y)
%9 = (/.f64 #s(literal 2 binary64) %8)
%10 = (*.f64 #s(literal 1/2 binary64) x)
%13 = (/.f64 x #s(literal -2 binary64))
%15 = (/.f64 y #s(literal -1/2 binary64))
%17 = (*.f64 #s(literal 1/2 binary64) y)
%18 = (/.f64 %17 #s(literal 2 binary64))
%19 = (*.f64 #s(literal 2 binary64) x)
%20 = (/.f64 %19 #s(literal 1/2 binary64))
%22 = (/.f64 %10 #s(literal 2 binary64))
%23 = (*.f64 #s(literal 2 binary64) y)
%24 = (/.f64 %23 #s(literal 1/2 binary64))
%26 = (/.f64 #s(literal 1 binary64) x)
%27 = (/.f64 #s(literal 2 binary64) %26)
%29 = (neg.f64 x)
%30 = (/.f64 %29 #s(literal 2 binary64))
%32 = (/.f64 %29 #s(literal 1/2 binary64))
%33 = (/.f64 y #s(literal -2 binary64))
%35 = (*.f64 %3 #s(literal 2 binary64))
%37 = (*.f64 %17 x)
%39 = (/.f64 #s(literal 1/2 binary64) y)
%40 = (/.f64 %29 %39)
%42 = (neg.f64 y)
%43 = (/.f64 #s(literal 1/2 binary64) x)
%44 = (/.f64 %42 %43)
%47 = (/.f64 x #s(literal -1/2 binary64))
%51 = (*.f64 %19 #s(literal 1 binary64))
%53 = (/.f64 %19 #s(literal 1 binary64))
%57 = (*.f64 %23 #s(literal 1 binary64))
%59 = (/.f64 %23 #s(literal 1 binary64))
%64 = (/.f64 #s(literal -1 binary64) x)
%65 = (/.f64 %17 %64)
%67 = (/.f64 #s(literal -1 binary64) y)
%68 = (/.f64 %10 %67)
%70 = (/.f64 x %39)
%72 = (/.f64 y %43)
%74 = (*.f64 %29 y)
%78 = (/.f64 %17 %26)
%80 = (/.f64 %10 %8)
%86 = (*.f64 %67 %64)
%101 = (/.f64 %74 #s(literal 2 binary64))
%107 = (*.f64 #s(literal -1 binary64) %10)
%108 = (*.f64 %67 #s(literal 1/2 binary64))
%110 = (*.f64 %10 #s(literal -1 binary64))
%111 = (/.f64 #s(literal -1/2 binary64) y)
%113 = (*.f64 %29 #s(literal 2 binary64))
%114 = (*.f64 %67 #s(literal 2 binary64))
%121 = (*.f64 %8 #s(literal 2 binary64))
%124 = (*.f64 %26 #s(literal 2 binary64))
%130 = (*.f64 %67 %26)
%152 = (*.f64 %3 #s(literal 0 binary64))
%154 = (*.f64 #s(literal 0 binary64) %3)
%218 = (*.f64 #s(literal 1/2 binary64) %3)
%249 = (fabs.f64 y)
%250 = (neg.f64 %249)
%251 = (*.f64 #s(literal -1 binary64) %250)
%253 = (*.f64 %250 #s(literal 1 binary64))
%255 = (/.f64 %249 #s(literal -2 binary64))
%256 = (/.f64 %250 #s(literal 1/2 binary64))
%258 = (*.f64 %249 #s(literal 1/2 binary64))
%259 = (/.f64 %258 #s(literal 2 binary64))
%260 = (*.f64 %249 #s(literal 2 binary64))
%261 = (/.f64 %260 #s(literal 1/2 binary64))
%263 = (/.f64 %33 #s(literal 2 binary64))
%264 = (/.f64 %15 #s(literal 1/2 binary64))
%266 = (/.f64 %250 #s(literal 2 binary64))
%268 = (/.f64 %249 #s(literal -1/2 binary64))
%271 = (/.f64 %250 #s(literal 1 binary64))
%272 = (/.f64 %249 #s(literal -1 binary64))
%275 = (*.f64 y y)
%276 = (/.f64 %275 #s(literal 1/2 binary64))
%278 = (/.f64 #s(literal 2 binary64) %249)
%279 = (/.f64 #s(literal 1/2 binary64) %278)
%280 = (/.f64 #s(literal 1/2 binary64) %249)
%281 = (/.f64 #s(literal 2 binary64) %280)
%283 = (/.f64 #s(literal -2 binary64) y)
%284 = (/.f64 #s(literal 1/2 binary64) %283)
%285 = (/.f64 #s(literal 2 binary64) %111)
%287 = (/.f64 #s(literal 2 binary64) y)
%288 = (/.f64 #s(literal 1/2 binary64) %287)
%289 = (/.f64 #s(literal 2 binary64) %39)
%291 = (/.f64 #s(literal 2 binary64) %278)
%292 = (/.f64 #s(literal 1/2 binary64) %280)
%294 = (/.f64 #s(literal 1 binary64) %275)
%295 = (/.f64 #s(literal 2 binary64) %294)
%300 = (/.f64 #s(literal 1/2 binary64) %275)
%301 = (/.f64 #s(literal 2 binary64) %300)
%303 = (*.f64 %275 #s(literal 2 binary64))
%306 = (*.f64 %17 y)
%307 = (/.f64 %306 #s(literal 2 binary64))
%309 = (*.f64 %17 %17)
%311 = (*.f64 #s(literal -1 binary64) %249)
%313 = (neg.f64 %250)
%316 = (fabs.f64 %258)
%317 = (fabs.f64 %260)
%319 = (fabs.f64 %33)
%320 = (fabs.f64 %15)
%322 = (fabs.f64 %17)
%323 = (fabs.f64 %23)
%326 = (neg.f64 %275)
%327 = (/.f64 %326 #s(literal 1/2 binary64))
%329 = (/.f64 #s(literal -1 binary64) %275)
%330 = (/.f64 #s(literal 2 binary64) %329)
%332 = (/.f64 %42 %39)
%335 = (*.f64 %260 #s(literal 1 binary64))
%337 = (/.f64 %260 #s(literal 1 binary64))
%341 = (*.f64 %15 #s(literal 1 binary64))
%343 = (/.f64 %15 #s(literal 1 binary64))
%351 = (/.f64 #s(literal 1/2 binary64) %111)
%358 = (*.f64 #s(literal 1/2 binary64) %326)
%360 = (/.f64 #s(literal -1/2 binary64) %294)
%362 = (/.f64 %326 #s(literal 2 binary64))
%364 = (/.f64 %17 %67)
%366 = (/.f64 #s(literal 1/2 binary64) %329)
%370 = (/.f64 #s(literal 1 binary64) %300)
%372 = (/.f64 y %39)
%374 = (*.f64 #s(literal 2 binary64) %275)
%380 = (fabs.f64 %306)
%388 = (*.f64 %275 %275)
%390 = (fabs.f64 %329)
%408 = (*.f64 %326 #s(literal 2 binary64))
%412 = (*.f64 #s(literal 2 binary64) %326)
%430 = (/.f64 #s(literal 1 binary64) %249)
%433 = (*.f64 %294 #s(literal 2 binary64))
%435 = (*.f64 #s(literal 2 binary64) %294)
%442 = (*.f64 %275 #s(literal 0 binary64))
%444 = (*.f64 #s(literal 0 binary64) %275)
%446 = (/.f64 #s(literal 0 binary64) %294)
%684 = (/.f64 #s(literal 2 binary64) %17)
%700 = (*.f64 #s(literal 2 binary64) %42)
%709 = (*.f64 %8 #s(literal 0 binary64))
%711 = (*.f64 #s(literal 0 binary64) %8)
%713 = (/.f64 #s(literal 0 binary64) y)
%755 = (/.f64 #s(literal 1 binary64) %10)
%757 = (/.f64 #s(literal 2 binary64) x)
%759 = (/.f64 #s(literal 2 binary64) %10)
%763 = (/.f64 #s(literal 2 binary64) %29)
%765 = (/.f64 #s(literal 1/2 binary64) %29)
%767 = (*.f64 #s(literal 1/2 binary64) %64)
%771 = (*.f64 #s(literal 2 binary64) %26)
%791 = (*.f64 %26 #s(literal 0 binary64))
%793 = (*.f64 #s(literal 0 binary64) %26)
%795 = (/.f64 #s(literal 0 binary64) x)
%852 = (/.f64 #s(literal 1 binary64) %306)
%854 = (/.f64 %8 #s(literal 2 binary64))
%856 = (/.f64 #s(literal 1/2 binary64) %258)
%857 = (/.f64 #s(literal 2 binary64) %260)
%859 = (/.f64 #s(literal 1/2 binary64) %33)
%860 = (/.f64 #s(literal 2 binary64) %15)
%862 = (/.f64 #s(literal -2 binary64) %249)
%863 = (/.f64 #s(literal 1/2 binary64) %250)
%865 = (/.f64 #s(literal 2 binary64) %258)
%866 = (/.f64 #s(literal 1/2 binary64) %260)
%868 = (/.f64 #s(literal 2 binary64) %33)
%869 = (/.f64 #s(literal 1/2 binary64) %15)
%871 = (/.f64 #s(literal 1/2 binary64) %23)
%873 = (/.f64 #s(literal 2 binary64) %275)
%875 = (/.f64 #s(literal 2 binary64) %250)
%876 = (/.f64 #s(literal -1/2 binary64) %249)
%880 = (/.f64 #s(literal 1 binary64) %250)
%881 = (/.f64 #s(literal -1 binary64) %249)
%884 = (/.f64 #s(literal 2 binary64) %306)
%888 = (*.f64 %39 %39)
%892 = (/.f64 #s(literal 2 binary64) %326)
%894 = (/.f64 %67 %17)
%897 = (*.f64 %280 #s(literal 1 binary64))
%901 = (*.f64 %111 #s(literal 1 binary64))
%906 = (/.f64 %39 %42)
%908 = (/.f64 #s(literal 1/2 binary64) %326)
%910 = (*.f64 #s(literal 1/2 binary64) %329)
%913 = (/.f64 %8 %17)
%923 = (/.f64 %39 %17)
%971 = (*.f64 %294 #s(literal 0 binary64))
%973 = (*.f64 #s(literal 0 binary64) %294)
%975 = (/.f64 #s(literal 0 binary64) %275)
%1125 = (*.f64 (*.f64 %29 %250) %249)
%1127 = (*.f64 (*.f64 x %258) %260)
%1129 = (*.f64 (*.f64 x %33) %15)
%1131 = (*.f64 (*.f64 x %250) %250)
%1133 = (*.f64 (*.f64 %29 %249) %250)
%1134 = (*.f64 %275 x)
%1135 = (/.f64 %1134 #s(literal 2 binary64))
%1136 = (*.f64 %1135 #s(literal 2 binary64))
%1138 = (*.f64 (/.f64 x %430) %249)
%1139 = (*.f64 %249 x)
%1140 = (/.f64 %1139 #s(literal 2 binary64))
%1141 = (*.f64 %1140 %260)
%1142 = (/.f64 %1139 #s(literal 1/2 binary64))
%1143 = (*.f64 %1142 %258)
%1144 = (*.f64 %101 %15)
%1145 = (/.f64 %74 #s(literal 1/2 binary64))
%1146 = (*.f64 %1145 %33)
%1147 = (*.f64 %5 %17)
%1149 = (*.f64 (/.f64 %258 %26) %337)
%1151 = (*.f64 (/.f64 %33 %26) %343)
%1152 = (*.f64 %78 %59)
%1153 = (*.f64 %80 %59)
%1156 = (*.f64 (/.f64 #s(literal -1 binary64) %278) (/.f64 %29 %280))
%1159 = (*.f64 (/.f64 #s(literal -1 binary64) %283) (/.f64 %29 %111))
%1161 = (*.f64 (/.f64 #s(literal -1 binary64) %287) %40)
%1162 = (/.f64 x %278)
%1163 = (*.f64 %1162 %260)
%1164 = (/.f64 x %283)
%1165 = (*.f64 %1164 %15)
%1166 = (/.f64 x %287)
%1167 = (*.f64 %1166 %23)
%1170 = (*.f64 (/.f64 %258 #s(literal -1 binary64)) (/.f64 %260 %64))
%1173 = (*.f64 (/.f64 %33 #s(literal -1 binary64)) (/.f64 %15 %64))
%1174 = (/.f64 %17 #s(literal -1 binary64))
%1176 = (*.f64 %1174 (/.f64 %23 %64))
%1178 = (*.f64 %1174 (/.f64 %19 %67))
%1181 = (*.f64 (/.f64 %10 #s(literal -1 binary64)) (/.f64 %23 %67))
%1182 = (/.f64 %250 %26)
%1183 = (*.f64 %1182 %271)
%1184 = (/.f64 %249 %64)
%1185 = (*.f64 %272 %1184)
%1186 = (*.f64 %272 %1182)
%1188 = (*.f64 %259 (/.f64 %260 %43))
%1190 = (*.f64 %263 (/.f64 %15 %43))
%1192 = (*.f64 %266 (/.f64 %250 %43))
%1193 = (*.f64 %271 %1184)
%1194 = (*.f64 %271 %1182)
%1195 = (*.f64 %362 %32)
%1196 = (*.f64 %327 %30)
%1197 = (*.f64 %276 %10)
%1199 = (*.f64 %291 (/.f64 %10 %280))
%1200 = (*.f64 %295 %10)
%1201 = (*.f64 %9 %80)
%1203 = (*.f64 %18 (/.f64 %23 %43))
%1205 = (*.f64 %18 (/.f64 %19 %39))
%1207 = (*.f64 %22 (/.f64 %23 %39))
%1208 = (*.f64 %27 %306)
%1209 = (*.f64 %30 %327)
%1210 = (*.f64 %30 %332)
%1211 = (*.f64 %32 %362)
%1212 = (*.f64 %35 %17)
%1213 = (*.f64 %303 %10)
%1214 = (*.f64 %306 %53)
%1215 = (*.f64 %306 %19)
%1216 = (*.f64 %37 %23)
%1218 = (*.f64 #s(literal -1/2 binary64) (/.f64 %326 %43))
%1220 = (*.f64 #s(literal -1/2 binary64) (/.f64 %29 %300))
%1221 = (*.f64 %260 %1140)
%1223 = (*.f64 %258 (*.f64 %260 x))
%1224 = (*.f64 %258 %1142)
%1226 = (*.f64 %258 (/.f64 x %280))
%1228 = (*.f64 %258 (/.f64 %260 %26))
%1230 = (*.f64 %258 (/.f64 %249 %43))
%1231 = (*.f64 %15 %101)
%1233 = (*.f64 %33 (*.f64 %15 x))
%1234 = (*.f64 %33 %1145)
%1236 = (*.f64 %33 (/.f64 x %111))
%1237 = (*.f64 %33 %40)
%1239 = (*.f64 %33 (/.f64 %15 %26))
%1240 = (*.f64 %33 %44)
%1241 = (*.f64 %19 %306)
%1243 = (*.f64 %17 (*.f64 %23 x))
%1245 = (*.f64 %17 (*.f64 %19 y))
%1246 = (*.f64 %17 %5)
%1247 = (*.f64 %17 %70)
%1249 = (*.f64 %17 (/.f64 %23 %26))
%1251 = (*.f64 %17 (/.f64 %19 %8))
%1252 = (*.f64 %17 %72)
%1253 = (*.f64 %23 %37)
%1255 = (*.f64 %10 (*.f64 %23 y))
%1257 = (*.f64 %10 (/.f64 %23 %8))
%1258 = (*.f64 %10 %276)
%1259 = (*.f64 %10 %370)
%1260 = (*.f64 %10 %372)
%1261 = (*.f64 %1139 %249)
%1263 = (*.f64 %42 (/.f64 %10 %111))
%1264 = (*.f64 %42 %74)
%1266 = (*.f64 %250 (*.f64 %250 x))
%1268 = (*.f64 %250 (*.f64 %249 %29))
%1269 = (*.f64 %250 %1184)
%1270 = (*.f64 %250 %1182)
%1272 = (*.f64 #s(literal -2 binary64) (/.f64 %306 %64))
%1274 = (*.f64 #s(literal -2 binary64) (/.f64 %10 %329))
%1276 = (*.f64 #s(literal 1/2 binary64) (/.f64 %275 %43))
%1278 = (*.f64 #s(literal 1/2 binary64) (/.f64 x %300))
%1279 = (*.f64 %74 %42)
%1280 = (*.f64 %29 %326)
%1281 = (*.f64 %326 %29)
%1283 = (*.f64 %249 (*.f64 %250 %29))
%1284 = (*.f64 %249 %1139)
%1285 = (*.f64 %42 %3)
%1286 = (*.f64 #s(literal -1 binary64) %1285)
%1288 = (*.f64 #s(literal 2 binary64) (*.f64 %17 %3))
%1290 = (*.f64 #s(literal 2 binary64) (/.f64 %306 %26))
%1292 = (*.f64 #s(literal 2 binary64) (/.f64 %10 %294))
%1293 = (*.f64 %306 x)
%1294 = (*.f64 #s(literal 2 binary64) %1293)
%1295 = (*.f64 %10 %275)
%1296 = (*.f64 #s(literal 2 binary64) %1295)
%1297 = (*.f64 %1134 #s(literal 1 binary64))
%1298 = (*.f64 %3 y)
%1299 = (*.f64 #s(literal 1 binary64) %1134)
%1300 = (*.f64 y %3)
%1301 = (*.f64 x %275)
%1302 = (*.f64 %329 %64)
%1304 = (pow.f64 (*.f64 %1302 #s(literal 1 binary64)) #s(literal -1 binary64))
%1306 = (pow.f64 (*.f64 %86 %8) #s(literal -1 binary64))
%1308 = (pow.f64 (*.f64 #s(literal 1 binary64) %1302) #s(literal -1 binary64))
%1310 = (pow.f64 (*.f64 %8 %86) #s(literal -1 binary64))
%1311 = (pow.f64 %1302 #s(literal -1 binary64))
%1312 = (pow.f64 %1134 #s(literal 1 binary64))
%1314 = (/.f64 (/.f64 %1134 #s(literal 1/2 binary64)) #s(literal 2 binary64))
%1315 = (/.f64 %1135 #s(literal 1/2 binary64))
%1316 = (/.f64 %1162 %280)
%1317 = (/.f64 %1164 %111)
%1318 = (/.f64 %1166 %39)
%1320 = (/.f64 (*.f64 %306 %10) #s(literal 1/4 binary64))
%1322 = (/.f64 (*.f64 %306 %29) #s(literal -1/2 binary64))
%1324 = (/.f64 (*.f64 %306 #s(literal -1 binary64)) %767)
%1325 = (/.f64 %1293 #s(literal 1/2 binary64))
%1327 = (/.f64 (*.f64 %326 %10) #s(literal -1/2 binary64))
%1329 = (/.f64 %107 (*.f64 %329 #s(literal 1/2 binary64)))
%1331 = (/.f64 (*.f64 %275 %10) #s(literal 1/2 binary64))
%1333 = (/.f64 (*.f64 %37 %42) #s(literal -1/2 binary64))
%1335 = (/.f64 (*.f64 %37 #s(literal -1 binary64)) %111)
%1337 = (/.f64 (*.f64 %37 y) #s(literal 1/2 binary64))
%1339 = (/.f64 (*.f64 %42 %37) #s(literal -1/2 binary64))
%1341 = (/.f64 (*.f64 #s(literal -1 binary64) %37) %108)
%1343 = (/.f64 (*.f64 y %37) #s(literal 1/2 binary64))
%1345 = (/.f64 (*.f64 %10 %306) #s(literal 1/4 binary64))
%1347 = (/.f64 (*.f64 %10 %326) #s(literal -1/2 binary64))
%1348 = (/.f64 %110 %910)
%1349 = (/.f64 %1295 #s(literal 1/2 binary64))
%1351 = (/.f64 (*.f64 %29 %306) #s(literal -1/2 binary64))
%1354 = (/.f64 (*.f64 #s(literal -1 binary64) %306) (*.f64 %64 #s(literal 1/2 binary64)))
%1356 = (/.f64 (*.f64 x %306) #s(literal 1/2 binary64))
%1357 = (/.f64 %306 %43)
%1358 = (/.f64 %37 %39)
%1359 = (/.f64 %1285 #s(literal -1 binary64))
%1360 = (/.f64 %10 %300)
%1361 = (/.f64 %42 %130)
%1362 = (/.f64 %74 %67)
%1363 = (/.f64 %29 %329)
%1364 = (/.f64 %326 %64)
%1366 = (/.f64 #s(literal -1 binary64) (*.f64 %329 %26))
%1367 = (/.f64 %1134 #s(literal 1 binary64))
%1368 = (/.f64 %275 %26)
%1369 = (/.f64 %3 %8)
%1371 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %1134))
%1372 = (/.f64 #s(literal 1 binary64) %1302)
%1374 = (/.f64 #s(literal 1 binary64) (/.f64 %64 %326))
%1376 = (/.f64 #s(literal 1 binary64) (/.f64 %329 %29))
%1378 = (/.f64 #s(literal 1 binary64) (/.f64 %67 %74))
%1380 = (/.f64 #s(literal 1 binary64) (/.f64 %8 %3))
%1382 = (/.f64 #s(literal 1 binary64) (/.f64 %294 x))
%1384 = (/.f64 #s(literal 1 binary64) (/.f64 %26 %275))
%1385 = (/.f64 y %86)
%1386 = (/.f64 x %294)
%1388 = (neg.f64 (/.f64 %1134 #s(literal -1 binary64)))
%1389 = (neg.f64 %1285)
x
y
#s(literal 1 binary64)
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %9 %10)
(*.f64 %13 %15)
(*.f64 %18 %20)
(*.f64 %22 %24)
(*.f64 %27 %17)
(*.f64 %30 %15)
(*.f64 %32 %33)
(*.f64 %35 #s(literal 1/2 binary64))
(*.f64 %37 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %40)
(*.f64 #s(literal -1/2 binary64) %44)
(*.f64 %15 %30)
(*.f64 %33 %47)
(*.f64 %33 %32)
(*.f64 %19 %17)
(*.f64 %17 %51)
(*.f64 %17 %53)
(*.f64 %17 %19)
(*.f64 %23 %10)
(*.f64 %10 %57)
(*.f64 %10 %59)
(*.f64 %10 %23)
(*.f64 %42 %29)
(*.f64 #s(literal -2 binary64) %65)
(*.f64 #s(literal -2 binary64) %68)
(*.f64 #s(literal 1/2 binary64) %70)
(*.f64 #s(literal 1/2 binary64) %72)
(*.f64 %74 #s(literal -1 binary64))
(*.f64 %29 %42)
(*.f64 #s(literal -1 binary64) %74)
(*.f64 #s(literal 2 binary64) %78)
(*.f64 #s(literal 2 binary64) %80)
(*.f64 #s(literal 2 binary64) %37)
(*.f64 %3 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %3)
%3
(*.f64 x y)
(pow.f64 (*.f64 %86 #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) %86) #s(literal -1 binary64))
(pow.f64 %86 #s(literal -1 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (*.f64 %42 %10) #s(literal -1/2 binary64))
(/.f64 (*.f64 y %19) #s(literal 2 binary64))
(/.f64 (*.f64 x %23) #s(literal 2 binary64))
(/.f64 (*.f64 %10 %42) #s(literal -1/2 binary64))
(/.f64 %101 #s(literal -1/2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 (*.f64 %74 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 %35 #s(literal 2 binary64))
(/.f64 %107 %108)
(/.f64 %110 %111)
(/.f64 %113 %114)
(/.f64 (neg.f64 %37) #s(literal -1/2 binary64))
(/.f64 %37 #s(literal 1/2 binary64))
(/.f64 %15 (*.f64 %64 #s(literal 2 binary64)))
(/.f64 %19 %121)
(/.f64 %17 %43)
(/.f64 %23 %124)
(/.f64 %10 %39)
(/.f64 %42 %64)
(/.f64 %74 #s(literal -1 binary64))
(/.f64 %29 %67)
(/.f64 #s(literal -1 binary64) %130)
(/.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %37))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %74))
(/.f64 #s(literal 1 binary64) (/.f64 %67 %29))
(/.f64 #s(literal 1 binary64) (/.f64 %64 %42))
(/.f64 #s(literal 1 binary64) %86)
(/.f64 #s(literal 1 binary64) (/.f64 %8 x))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %3))
(/.f64 #s(literal 1 binary64) (/.f64 %26 y))
(/.f64 y %26)
(/.f64 x %8)
(neg.f64 %74)
(fma.f64 %5 #s(literal 1/2 binary64) %152)
(fma.f64 %5 #s(literal 1/2 binary64) %154)
(fma.f64 %9 %10 %152)
(fma.f64 %9 %10 %154)
(fma.f64 %13 %15 %152)
(fma.f64 %13 %15 %154)
(fma.f64 %18 %20 %152)
(fma.f64 %18 %20 %154)
(fma.f64 %18 %53 %37)
(fma.f64 %22 %24 %152)
(fma.f64 %22 %24 %154)
(fma.f64 %22 %59 %37)
(fma.f64 %27 %17 %152)
(fma.f64 %27 %17 %154)
(fma.f64 %30 %15 %152)
(fma.f64 %30 %15 %154)
(fma.f64 %30 %42 %37)
(fma.f64 %32 %33 %152)
(fma.f64 %32 %33 %154)
(fma.f64 %35 #s(literal 1/2 binary64) %152)
(fma.f64 %35 #s(literal 1/2 binary64) %154)
(fma.f64 %37 #s(literal 2 binary64) %152)
(fma.f64 %37 #s(literal 2 binary64) %154)
(fma.f64 %37 #s(literal 1 binary64) %37)
(fma.f64 #s(literal -1/2 binary64) %40 %152)
(fma.f64 #s(literal -1/2 binary64) %40 %154)
(fma.f64 #s(literal -1/2 binary64) %44 %152)
(fma.f64 #s(literal -1/2 binary64) %44 %154)
(fma.f64 %15 %30 %152)
(fma.f64 %15 %30 %154)
(fma.f64 %33 %47 %152)
(fma.f64 %33 %47 %154)
(fma.f64 %33 %32 %152)
(fma.f64 %33 %32 %154)
(fma.f64 %33 %29 %37)
(fma.f64 %19 %17 %152)
(fma.f64 %19 %17 %154)
(fma.f64 %17 %51 %152)
(fma.f64 %17 %51 %154)
(fma.f64 %17 %53 %152)
(fma.f64 %17 %53 %154)
(fma.f64 %17 %19 %152)
(fma.f64 %17 %19 %154)
(fma.f64 %17 x %37)
(fma.f64 %23 %10 %152)
(fma.f64 %23 %10 %154)
(fma.f64 %10 %57 %152)
(fma.f64 %10 %57 %154)
(fma.f64 %10 %59 %152)
(fma.f64 %10 %59 %154)
(fma.f64 %10 %23 %152)
(fma.f64 %10 %23 %154)
(fma.f64 %10 y %37)
(fma.f64 %42 %30 %37)
(fma.f64 %42 %29 %152)
(fma.f64 %42 %29 %154)
(fma.f64 #s(literal -2 binary64) %65 %152)
(fma.f64 #s(literal -2 binary64) %65 %154)
(fma.f64 #s(literal -2 binary64) %68 %152)
(fma.f64 #s(literal -2 binary64) %68 %154)
(fma.f64 #s(literal 1/2 binary64) %70 %152)
(fma.f64 #s(literal 1/2 binary64) %70 %154)
(fma.f64 #s(literal 1/2 binary64) %72 %152)
(fma.f64 #s(literal 1/2 binary64) %72 %154)
(fma.f64 #s(literal 1/2 binary64) %3 %218)
(fma.f64 %74 #s(literal -1 binary64) %152)
(fma.f64 %74 #s(literal -1 binary64) %154)
(fma.f64 %29 %33 %37)
(fma.f64 %29 %42 %152)
(fma.f64 %29 %42 %154)
(fma.f64 #s(literal -1 binary64) %74 %152)
(fma.f64 #s(literal -1 binary64) %74 %154)
(fma.f64 #s(literal 2 binary64) %78 %152)
(fma.f64 #s(literal 2 binary64) %78 %154)
(fma.f64 #s(literal 2 binary64) %80 %152)
(fma.f64 #s(literal 2 binary64) %80 %154)
(fma.f64 #s(literal 2 binary64) %37 %152)
(fma.f64 #s(literal 2 binary64) %37 %154)
(fma.f64 %3 #s(literal 1/2 binary64) %37)
(fma.f64 %3 #s(literal 1 binary64) %152)
(fma.f64 %3 #s(literal 1 binary64) %154)
(fma.f64 #s(literal 1 binary64) %37 %37)
(fma.f64 #s(literal 1 binary64) %3 %152)
(fma.f64 #s(literal 1 binary64) %3 %154)
(fma.f64 y %10 %37)
(fma.f64 y x %152)
(fma.f64 y x %154)
(fma.f64 x %17 %37)
(fma.f64 x y %152)
(fma.f64 x y %154)
(+.f64 %218 %218)
(+.f64 %37 %37)
(+.f64 %3 %152)
(+.f64 %3 %154)
(*.f64 %251 %249)
(*.f64 %253 %253)
(*.f64 %255 %256)
(*.f64 %259 %261)
(*.f64 %263 %264)
(*.f64 %256 %266)
(*.f64 %266 %268)
(*.f64 %266 %256)
(*.f64 %271 %272)
(*.f64 %271 %271)
(*.f64 %276 #s(literal 1/2 binary64))
(*.f64 %279 %281)
(*.f64 %284 %285)
(*.f64 %288 %289)
(*.f64 %291 %292)
(*.f64 %295 #s(literal 1/2 binary64))
(*.f64 %9 %17)
(*.f64 %18 %24)
(*.f64 #s(literal 1/4 binary64) %301)
(*.f64 %303 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %307)
(*.f64 #s(literal 4 binary64) %309)
(*.f64 %311 %250)
(*.f64 %313 %313)
(*.f64 %313 %249)
(*.f64 %316 %317)
(*.f64 %319 %320)
(*.f64 %322 %323)
(*.f64 %306 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %327)
(*.f64 #s(literal -1/2 binary64) %330)
(*.f64 #s(literal -1/2 binary64) %332)
(*.f64 %260 %258)
(*.f64 %258 %335)
(*.f64 %258 %337)
(*.f64 %258 %260)
(*.f64 %15 %33)
(*.f64 %33 %341)
(*.f64 %33 %343)
(*.f64 %33 %15)
(*.f64 %17 %57)
(*.f64 %17 %9)
(*.f64 %17 %59)
(*.f64 %17 %23)
(*.f64 %23 %17)
(*.f64 %42 %351)
(*.f64 %42 %42)
(*.f64 %250 %253)
(*.f64 %250 %272)
(*.f64 %250 %271)
(*.f64 %250 %250)
(*.f64 #s(literal -2 binary64) %358)
(*.f64 #s(literal -2 binary64) %360)
(*.f64 #s(literal -2 binary64) %362)
(*.f64 #s(literal -2 binary64) %364)
(*.f64 #s(literal -2 binary64) %366)
(*.f64 #s(literal 1/2 binary64) %276)
(*.f64 #s(literal 1/2 binary64) %295)
(*.f64 #s(literal 1/2 binary64) %370)
(*.f64 #s(literal 1/2 binary64) %372)
(*.f64 #s(literal 1/2 binary64) %374)
(*.f64 %326 #s(literal -1 binary64))
(*.f64 %249 %313)
(*.f64 %249 %249)
(*.f64 #s(literal -1 binary64) %326)
(*.f64 #s(literal 2 binary64) %380)
(*.f64 #s(literal 2 binary64) %306)
(*.f64 %275 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %275)
%275
(pow.f64 %253 #s(literal 2 binary64))
(pow.f64 %271 #s(literal 2 binary64))
(pow.f64 %313 #s(literal 2 binary64))
(pow.f64 %388 #s(literal 1/2 binary64))
(pow.f64 %390 #s(literal -1 binary64))
(pow.f64 %42 #s(literal 2 binary64))
(pow.f64 %250 #s(literal 2 binary64))
(pow.f64 %67 #s(literal -2 binary64))
(pow.f64 %249 #s(literal 2 binary64))
(pow.f64 %294 #s(literal -1 binary64))
(pow.f64 %8 #s(literal -2 binary64))
(pow.f64 %275 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 (*.f64 %249 %260) #s(literal 2 binary64))
(/.f64 (*.f64 %42 %15) #s(literal 2 binary64))
(/.f64 (*.f64 y %23) #s(literal 2 binary64))
(/.f64 %362 #s(literal -1/2 binary64))
(/.f64 %276 #s(literal 2 binary64))
(/.f64 %408 #s(literal -2 binary64))
(/.f64 %303 #s(literal 2 binary64))
(/.f64 %374 #s(literal 2 binary64))
(/.f64 %412 #s(literal -2 binary64))
(/.f64 (neg.f64 %306) #s(literal -1/2 binary64))
(/.f64 %380 #s(literal 1/2 binary64))
(/.f64 %306 #s(literal 1/2 binary64))
(/.f64 %258 %280)
(/.f64 %33 %111)
(/.f64 %17 %39)
(/.f64 %23 %121)
(/.f64 %23 %287)
(/.f64 %42 %67)
(/.f64 #s(literal -2 binary64) (*.f64 %329 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %329))
(/.f64 #s(literal 1/2 binary64) %300)
(/.f64 %326 #s(literal -1 binary64))
(/.f64 %249 %430)
(/.f64 #s(literal -1 binary64) %329)
(/.f64 #s(literal 2 binary64) %433)
(/.f64 #s(literal 2 binary64) %435)
(/.f64 %275 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %390)
(/.f64 #s(literal 1 binary64) %294)
(/.f64 y %8)
(neg.f64 %326)
(fma.f64 %251 %249 %442)
(fma.f64 %251 %249 %444)
(fma.f64 %251 %249 %446)
(fma.f64 (/.f64 #s(literal 1/2 binary64) %430) %249 %306)
(fma.f64 %253 %253 %442)
(fma.f64 %253 %253 %444)
(fma.f64 %253 %253 %446)
(fma.f64 %255 %256 %442)
(fma.f64 %255 %256 %444)
(fma.f64 %255 %256 %446)
(fma.f64 %259 %261 %442)
(fma.f64 %259 %261 %444)
(fma.f64 %259 %261 %446)
(fma.f64 %259 %337 %306)
(fma.f64 %263 %264 %442)
(fma.f64 %263 %264 %444)
(fma.f64 %263 %264 %446)
(fma.f64 %263 %343 %306)
(fma.f64 %256 %266 %442)
(fma.f64 %256 %266 %444)
(fma.f64 %256 %266 %446)
(fma.f64 %266 %268 %442)
(fma.f64 %266 %268 %444)
(fma.f64 %266 %268 %446)
(fma.f64 %266 %256 %442)
(fma.f64 %266 %256 %444)
(fma.f64 %266 %256 %446)
(fma.f64 %266 %271 %306)
(fma.f64 %271 %272 %442)
(fma.f64 %271 %272 %444)
(fma.f64 %271 %272 %446)
(fma.f64 %271 %271 %442)
(fma.f64 %271 %271 %444)
(fma.f64 %271 %271 %446)
(fma.f64 %276 #s(literal 1/2 binary64) %442)
(fma.f64 %276 #s(literal 1/2 binary64) %444)
(fma.f64 %276 #s(literal 1/2 binary64) %446)
(fma.f64 %279 %281 %442)
(fma.f64 %279 %281 %444)
(fma.f64 %279 %281 %446)
(fma.f64 %284 %285 %442)
(fma.f64 %284 %285 %444)
(fma.f64 %284 %285 %446)
(fma.f64 %288 %289 %442)
(fma.f64 %288 %289 %444)
(fma.f64 %288 %289 %446)
(fma.f64 %291 %292 %442)
(fma.f64 %291 %292 %444)
(fma.f64 %291 %292 %446)
(fma.f64 %295 #s(literal 1/2 binary64) %442)
(fma.f64 %295 #s(literal 1/2 binary64) %444)
(fma.f64 %295 #s(literal 1/2 binary64) %446)
(fma.f64 %9 %17 %442)
(fma.f64 %9 %17 %444)
(fma.f64 %9 %17 %446)
(fma.f64 %18 %24 %442)
(fma.f64 %18 %24 %444)
(fma.f64 %18 %24 %446)
(fma.f64 %18 %59 %306)
(fma.f64 (/.f64 #s(literal 1/2 binary64) %67) %42 %306)
(fma.f64 #s(literal 1/4 binary64) %301 %442)
(fma.f64 #s(literal 1/4 binary64) %301 %444)
(fma.f64 #s(literal 1/4 binary64) %301 %446)
(fma.f64 %303 #s(literal 1/2 binary64) %442)
(fma.f64 %303 #s(literal 1/2 binary64) %444)
(fma.f64 %303 #s(literal 1/2 binary64) %446)
(fma.f64 #s(literal 4 binary64) %307 %442)
(fma.f64 #s(literal 4 binary64) %307 %444)
(fma.f64 #s(literal 4 binary64) %307 %446)
(fma.f64 #s(literal 4 binary64) %309 %442)
(fma.f64 #s(literal 4 binary64) %309 %444)
(fma.f64 #s(literal 4 binary64) %309 %446)
(fma.f64 %311 %250 %442)
(fma.f64 %311 %250 %444)
(fma.f64 %311 %250 %446)
(fma.f64 %313 %313 %442)
(fma.f64 %313 %313 %444)
(fma.f64 %313 %313 %446)
(fma.f64 %313 %249 %442)
(fma.f64 %313 %249 %444)
(fma.f64 %313 %249 %446)
(fma.f64 %316 %317 %442)
(fma.f64 %316 %317 %444)
(fma.f64 %316 %317 %446)
(fma.f64 %319 %320 %442)
(fma.f64 %319 %320 %444)
(fma.f64 %319 %320 %446)
(fma.f64 %322 %323 %442)
(fma.f64 %322 %323 %444)
(fma.f64 %322 %323 %446)
(fma.f64 %306 #s(literal 2 binary64) %442)
(fma.f64 %306 #s(literal 2 binary64) %444)
(fma.f64 %306 #s(literal 2 binary64) %446)
(fma.f64 %306 #s(literal 1 binary64) %306)
(fma.f64 #s(literal -1/2 binary64) %327 %442)
(fma.f64 #s(literal -1/2 binary64) %327 %444)
(fma.f64 #s(literal -1/2 binary64) %327 %446)
(fma.f64 #s(literal -1/2 binary64) %330 %442)
(fma.f64 #s(literal -1/2 binary64) %330 %444)
(fma.f64 #s(literal -1/2 binary64) %330 %446)
(fma.f64 #s(literal -1/2 binary64) %332 %442)
(fma.f64 #s(literal -1/2 binary64) %332 %444)
(fma.f64 #s(literal -1/2 binary64) %332 %446)
(fma.f64 #s(literal -1/2 binary64) %326 %306)
(fma.f64 %260 %258 %442)
(fma.f64 %260 %258 %444)
(fma.f64 %260 %258 %446)
(fma.f64 %258 %335 %442)
(fma.f64 %258 %335 %444)
(fma.f64 %258 %335 %446)
(fma.f64 %258 %337 %442)
(fma.f64 %258 %337 %444)
(fma.f64 %258 %337 %446)
(fma.f64 %258 %260 %442)
(fma.f64 %258 %260 %444)
(fma.f64 %258 %260 %446)
(fma.f64 %258 %249 %306)
(fma.f64 %15 %33 %442)
(fma.f64 %15 %33 %444)
(fma.f64 %15 %33 %446)
(fma.f64 %33 %341 %442)
(fma.f64 %33 %341 %444)
(fma.f64 %33 %341 %446)
(fma.f64 %33 %343 %442)
(fma.f64 %33 %343 %444)
(fma.f64 %33 %343 %446)
(fma.f64 %33 %15 %442)
(fma.f64 %33 %15 %444)
(fma.f64 %33 %15 %446)
(fma.f64 %33 %42 %306)
(fma.f64 %17 %57 %442)
(fma.f64 %17 %57 %444)
(fma.f64 %17 %57 %446)
(fma.f64 %17 %9 %442)
(fma.f64 %17 %9 %444)
(fma.f64 %17 %9 %446)
(fma.f64 %17 %59 %442)
(fma.f64 %17 %59 %444)
(fma.f64 %17 %59 %446)
(fma.f64 %17 %23 %442)
(fma.f64 %17 %23 %444)
(fma.f64 %17 %23 %446)
(fma.f64 %17 y %306)
(fma.f64 %23 %17 %442)
(fma.f64 %23 %17 %444)
(fma.f64 %23 %17 %446)
(fma.f64 %42 %351 %442)
(fma.f64 %42 %351 %444)
(fma.f64 %42 %351 %446)
(fma.f64 %42 %33 %306)
(fma.f64 %42 %42 %442)
(fma.f64 %42 %42 %444)
(fma.f64 %42 %42 %446)
(fma.f64 %250 %253 %442)
(fma.f64 %250 %253 %444)
(fma.f64 %250 %253 %446)
(fma.f64 %250 %272 %442)
(fma.f64 %250 %272 %444)
(fma.f64 %250 %272 %446)
(fma.f64 %250 %266 %306)
(fma.f64 %250 %271 %442)
(fma.f64 %250 %271 %444)
(fma.f64 %250 %271 %446)
(fma.f64 %250 %250 %442)
(fma.f64 %250 %250 %444)
(fma.f64 %250 %250 %446)
(fma.f64 #s(literal -2 binary64) %358 %442)
(fma.f64 #s(literal -2 binary64) %358 %444)
(fma.f64 #s(literal -2 binary64) %358 %446)
(fma.f64 #s(literal -2 binary64) %360 %442)
(fma.f64 #s(literal -2 binary64) %360 %444)
(fma.f64 #s(literal -2 binary64) %360 %446)
(fma.f64 #s(literal -2 binary64) %362 %442)
(fma.f64 #s(literal -2 binary64) %362 %444)
(fma.f64 #s(literal -2 binary64) %362 %446)
(fma.f64 #s(literal -2 binary64) %364 %442)
(fma.f64 #s(literal -2 binary64) %364 %444)
(fma.f64 #s(literal -2 binary64) %364 %446)
(fma.f64 #s(literal -2 binary64) %366 %442)
(fma.f64 #s(literal -2 binary64) %366 %444)
(fma.f64 #s(literal -2 binary64) %366 %446)
(fma.f64 #s(literal 1/2 binary64) %276 %442)
(fma.f64 #s(literal 1/2 binary64) %276 %444)
(fma.f64 #s(literal 1/2 binary64) %276 %446)
(fma.f64 #s(literal 1/2 binary64) %295 %442)
(fma.f64 #s(literal 1/2 binary64) %295 %444)
(fma.f64 #s(literal 1/2 binary64) %295 %446)
(fma.f64 #s(literal 1/2 binary64) %370 %442)
(fma.f64 #s(literal 1/2 binary64) %370 %444)
(fma.f64 #s(literal 1/2 binary64) %370 %446)
(fma.f64 #s(literal 1/2 binary64) %372 %442)
(fma.f64 #s(literal 1/2 binary64) %372 %444)
(fma.f64 #s(literal 1/2 binary64) %372 %446)
(fma.f64 #s(literal 1/2 binary64) %374 %442)
(fma.f64 #s(literal 1/2 binary64) %374 %444)
(fma.f64 #s(literal 1/2 binary64) %374 %446)
(fma.f64 #s(literal 1/2 binary64) %275 %306)
(fma.f64 %326 #s(literal -1 binary64) %442)
(fma.f64 %326 #s(literal -1 binary64) %444)
(fma.f64 %326 #s(literal -1 binary64) %446)
(fma.f64 %249 %313 %442)
(fma.f64 %249 %313 %444)
(fma.f64 %249 %313 %446)
(fma.f64 %249 %258 %306)
(fma.f64 %249 %249 %442)
(fma.f64 %249 %249 %444)
(fma.f64 %249 %249 %446)
(fma.f64 #s(literal -1 binary64) %362 %306)
(fma.f64 #s(literal -1 binary64) %326 %442)
(fma.f64 #s(literal -1 binary64) %326 %444)
(fma.f64 #s(literal -1 binary64) %326 %446)
(fma.f64 #s(literal 2 binary64) %307 %306)
(fma.f64 #s(literal 2 binary64) %380 %442)
(fma.f64 #s(literal 2 binary64) %380 %444)
(fma.f64 #s(literal 2 binary64) %380 %446)
(fma.f64 #s(literal 2 binary64) %306 %442)
(fma.f64 #s(literal 2 binary64) %306 %444)
(fma.f64 #s(literal 2 binary64) %306 %446)
(fma.f64 %275 #s(literal 1/2 binary64) %306)
(fma.f64 %275 #s(literal 1 binary64) %442)
(fma.f64 %275 #s(literal 1 binary64) %444)
(fma.f64 %275 #s(literal 1 binary64) %446)
(fma.f64 #s(literal 1 binary64) %306 %306)
(fma.f64 #s(literal 1 binary64) %275 %442)
(fma.f64 #s(literal 1 binary64) %275 %444)
(fma.f64 #s(literal 1 binary64) %275 %446)
(fma.f64 y %17 %306)
(fma.f64 y y %442)
(fma.f64 y y %444)
(fma.f64 y y %446)
(sqrt.f64 %388)
(fabs.f64 %326)
(fabs.f64 %275)
(+.f64 %306 %306)
(+.f64 %275 %442)
(+.f64 %275 %444)
(+.f64 %275 %446)
(*.f64 #s(literal 1/4 binary64) %684)
(*.f64 %121 #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) %283)
(*.f64 %39 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %111)
(*.f64 #s(literal 1/2 binary64) %287)
(*.f64 %67 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %67)
(*.f64 #s(literal 2 binary64) %39)
(*.f64 %8 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %8)
(pow.f64 %8 #s(literal 1 binary64))
(pow.f64 y #s(literal -1 binary64))
(/.f64 %121 #s(literal 2 binary64))
(/.f64 %287 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %700)
(/.f64 #s(literal -2 binary64) %15)
(/.f64 #s(literal 1/2 binary64) %17)
(/.f64 %67 #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) %42)
(/.f64 #s(literal 2 binary64) %23)
(/.f64 %8 #s(literal 1 binary64))
%8
(neg.f64 %67)
(fma.f64 #s(literal 1/4 binary64) %684 %709)
(fma.f64 #s(literal 1/4 binary64) %684 %711)
(fma.f64 #s(literal 1/4 binary64) %684 %713)
(fma.f64 %121 #s(literal 1/2 binary64) %709)
(fma.f64 %121 #s(literal 1/2 binary64) %711)
(fma.f64 %121 #s(literal 1/2 binary64) %713)
(fma.f64 #s(literal -1/2 binary64) %283 %709)
(fma.f64 #s(literal -1/2 binary64) %283 %711)
(fma.f64 #s(literal -1/2 binary64) %283 %713)
(fma.f64 #s(literal -1/2 binary64) %67 %39)
(fma.f64 %111 #s(literal -1 binary64) %39)
(fma.f64 %39 #s(literal 2 binary64) %709)
(fma.f64 %39 #s(literal 2 binary64) %711)
(fma.f64 %39 #s(literal 2 binary64) %713)
(fma.f64 %39 #s(literal 1 binary64) %39)
(fma.f64 #s(literal -2 binary64) %111 %709)
(fma.f64 #s(literal -2 binary64) %111 %711)
(fma.f64 #s(literal -2 binary64) %111 %713)
(fma.f64 #s(literal 1/2 binary64) %287 %709)
(fma.f64 #s(literal 1/2 binary64) %287 %711)
(fma.f64 #s(literal 1/2 binary64) %287 %713)
(fma.f64 #s(literal 1/2 binary64) %8 %39)
(fma.f64 %67 #s(literal -1 binary64) %709)
(fma.f64 %67 #s(literal -1 binary64) %711)
(fma.f64 %67 #s(literal -1 binary64) %713)
(fma.f64 #s(literal -1 binary64) %67 %709)
(fma.f64 #s(literal -1 binary64) %67 %711)
(fma.f64 #s(literal -1 binary64) %67 %713)
(fma.f64 #s(literal 2 binary64) %39 %709)
(fma.f64 #s(literal 2 binary64) %39 %711)
(fma.f64 #s(literal 2 binary64) %39 %713)
(fma.f64 %8 #s(literal 1/2 binary64) %39)
(fma.f64 %8 #s(literal 1 binary64) %709)
(fma.f64 %8 #s(literal 1 binary64) %711)
(fma.f64 %8 #s(literal 1 binary64) %713)
(fma.f64 #s(literal 1 binary64) %39 %39)
(fma.f64 #s(literal 1 binary64) %8 %709)
(fma.f64 #s(literal 1 binary64) %8 %711)
(fma.f64 #s(literal 1 binary64) %8 %713)
(+.f64 %39 %39)
(+.f64 %8 %709)
(+.f64 %8 %711)
(+.f64 %8 %713)
(*.f64 %755 #s(literal 1/2 binary64))
(*.f64 %757 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %759)
(*.f64 %124 #s(literal 1/2 binary64))
(*.f64 %43 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %763)
(*.f64 #s(literal -2 binary64) %765)
(*.f64 #s(literal -2 binary64) %767)
(*.f64 #s(literal 1/2 binary64) %755)
(*.f64 #s(literal 1/2 binary64) %757)
(*.f64 #s(literal 1/2 binary64) %771)
(*.f64 %64 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %64)
(*.f64 #s(literal 2 binary64) %43)
(*.f64 %26 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %26)
(pow.f64 %26 #s(literal 1 binary64))
(pow.f64 x #s(literal -1 binary64))
(/.f64 %771 #s(literal 2 binary64))
(/.f64 %124 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %29))
(/.f64 #s(literal -2 binary64) %113)
(/.f64 #s(literal 1/2 binary64) %10)
(/.f64 %64 #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) %29)
(/.f64 #s(literal 2 binary64) %19)
(/.f64 %26 #s(literal 1 binary64))
%26
(neg.f64 %64)
(fma.f64 %755 #s(literal 1/2 binary64) %791)
(fma.f64 %755 #s(literal 1/2 binary64) %793)
(fma.f64 %755 #s(literal 1/2 binary64) %795)
(fma.f64 %757 #s(literal 1/2 binary64) %791)
(fma.f64 %757 #s(literal 1/2 binary64) %793)
(fma.f64 %757 #s(literal 1/2 binary64) %795)
(fma.f64 %765 #s(literal -1 binary64) %43)
(fma.f64 #s(literal 1/4 binary64) %759 %791)
(fma.f64 #s(literal 1/4 binary64) %759 %793)
(fma.f64 #s(literal 1/4 binary64) %759 %795)
(fma.f64 %124 #s(literal 1/2 binary64) %791)
(fma.f64 %124 #s(literal 1/2 binary64) %793)
(fma.f64 %124 #s(literal 1/2 binary64) %795)
(fma.f64 %43 #s(literal 2 binary64) %791)
(fma.f64 %43 #s(literal 2 binary64) %793)
(fma.f64 %43 #s(literal 2 binary64) %795)
(fma.f64 %43 #s(literal 1 binary64) %43)
(fma.f64 #s(literal -1/2 binary64) %763 %791)
(fma.f64 #s(literal -1/2 binary64) %763 %793)
(fma.f64 #s(literal -1/2 binary64) %763 %795)
(fma.f64 #s(literal -1/2 binary64) %64 %43)
(fma.f64 #s(literal -2 binary64) %765 %791)
(fma.f64 #s(literal -2 binary64) %765 %793)
(fma.f64 #s(literal -2 binary64) %765 %795)
(fma.f64 #s(literal -2 binary64) %767 %791)
(fma.f64 #s(literal -2 binary64) %767 %793)
(fma.f64 #s(literal -2 binary64) %767 %795)
(fma.f64 #s(literal 1/2 binary64) %755 %791)
(fma.f64 #s(literal 1/2 binary64) %755 %793)
(fma.f64 #s(literal 1/2 binary64) %755 %795)
(fma.f64 #s(literal 1/2 binary64) %757 %791)
(fma.f64 #s(literal 1/2 binary64) %757 %793)
(fma.f64 #s(literal 1/2 binary64) %757 %795)
(fma.f64 #s(literal 1/2 binary64) %771 %791)
(fma.f64 #s(literal 1/2 binary64) %771 %793)
(fma.f64 #s(literal 1/2 binary64) %771 %795)
(fma.f64 #s(literal 1/2 binary64) %26 %43)
(fma.f64 %64 #s(literal -1 binary64) %791)
(fma.f64 %64 #s(literal -1 binary64) %793)
(fma.f64 %64 #s(literal -1 binary64) %795)
(fma.f64 #s(literal -1 binary64) %64 %791)
(fma.f64 #s(literal -1 binary64) %64 %793)
(fma.f64 #s(literal -1 binary64) %64 %795)
(fma.f64 #s(literal 2 binary64) %43 %791)
(fma.f64 #s(literal 2 binary64) %43 %793)
(fma.f64 #s(literal 2 binary64) %43 %795)
(fma.f64 %26 #s(literal 1/2 binary64) %43)
(fma.f64 %26 #s(literal 1 binary64) %791)
(fma.f64 %26 #s(literal 1 binary64) %793)
(fma.f64 %26 #s(literal 1 binary64) %795)
(fma.f64 #s(literal 1 binary64) %43 %43)
(fma.f64 #s(literal 1 binary64) %26 %791)
(fma.f64 #s(literal 1 binary64) %26 %793)
(fma.f64 #s(literal 1 binary64) %26 %795)
(+.f64 %43 %43)
(+.f64 %26 %791)
(+.f64 %26 %793)
(+.f64 %26 %795)
(*.f64 %852 #s(literal 1/2 binary64))
(*.f64 %854 %287)
(*.f64 %856 %857)
(*.f64 %859 %860)
(*.f64 %862 %863)
(*.f64 %865 %866)
(*.f64 %868 %869)
(*.f64 %684 %871)
(*.f64 %873 #s(literal 1/2 binary64))
(*.f64 %875 %876)
(*.f64 %875 %863)
(*.f64 %863 %875)
(*.f64 %880 %881)
(*.f64 %880 %880)
(*.f64 #s(literal 1/4 binary64) %884)
(*.f64 %433 #s(literal 1/2 binary64))
(*.f64 %121 %39)
(*.f64 #s(literal 4 binary64) %888)
(*.f64 %430 %430)
(*.f64 %300 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %892)
(*.f64 #s(literal -1/2 binary64) %894)
(*.f64 %280 %278)
(*.f64 %278 %897)
(*.f64 %278 %280)
(*.f64 %111 %283)
(*.f64 %283 %901)
(*.f64 %283 %111)
(*.f64 %39 %287)
(*.f64 %287 %39)
(*.f64 #s(literal -2 binary64) %906)
(*.f64 #s(literal -2 binary64) %908)
(*.f64 #s(literal -2 binary64) %910)
(*.f64 #s(literal 1/2 binary64) %852)
(*.f64 #s(literal 1/2 binary64) %913)
(*.f64 #s(literal 1/2 binary64) %873)
(*.f64 #s(literal 1/2 binary64) %435)
(*.f64 %67 %67)
(*.f64 %329 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %329)
(*.f64 #s(literal 2 binary64) %300)
(*.f64 %294 #s(literal 1 binary64))
(*.f64 %8 %8)
(*.f64 #s(literal 1 binary64) %923)
(*.f64 #s(literal 1 binary64) %294)
(pow.f64 %880 #s(literal 2 binary64))
(pow.f64 %430 #s(literal 2 binary64))
(pow.f64 %42 #s(literal -2 binary64))
(pow.f64 %250 #s(literal -2 binary64))
(pow.f64 %67 #s(literal 2 binary64))
(pow.f64 %249 #s(literal -2 binary64))
(pow.f64 %294 #s(literal 1 binary64))
(pow.f64 %8 #s(literal 2 binary64))
(pow.f64 %275 #s(literal -1 binary64))
(pow.f64 y #s(literal -2 binary64))
(/.f64 (*.f64 %278 #s(literal 1/2 binary64)) %249)
(/.f64 (*.f64 %283 #s(literal 1/2 binary64)) %42)
(/.f64 (*.f64 %287 #s(literal 1/2 binary64)) y)
(/.f64 %854 %17)
(/.f64 %881 %250)
(/.f64 %880 %250)
(/.f64 %433 #s(literal 2 binary64))
(/.f64 %435 #s(literal 2 binary64))
(/.f64 (*.f64 %430 #s(literal 2 binary64)) %260)
(/.f64 %114 %15)
(/.f64 %121 %23)
(/.f64 (neg.f64 %430) %250)
(/.f64 %430 %249)
(/.f64 %278 (*.f64 #s(literal 2 binary64) %249))
(/.f64 %278 %260)
(/.f64 %283 %700)
(/.f64 %283 %15)
(/.f64 %287 %23)
(/.f64 #s(literal -2 binary64) %408)
(/.f64 #s(literal -2 binary64) %412)
(/.f64 #s(literal 1/2 binary64) %306)
(/.f64 %67 %42)
(/.f64 %329 #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) %326)
(/.f64 #s(literal 2 binary64) %303)
(/.f64 #s(literal 2 binary64) %374)
(/.f64 %294 #s(literal 1 binary64))
(/.f64 %8 y)
%294
(neg.f64 %329)
(fma.f64 %852 #s(literal 1/2 binary64) %971)
(fma.f64 %852 #s(literal 1/2 binary64) %973)
(fma.f64 %852 #s(literal 1/2 binary64) %975)
(fma.f64 %854 %287 %971)
(fma.f64 %854 %287 %973)
(fma.f64 %854 %287 %975)
(fma.f64 %856 %857 %971)
(fma.f64 %856 %857 %973)
(fma.f64 %856 %857 %975)
(fma.f64 %859 %860 %971)
(fma.f64 %859 %860 %973)
(fma.f64 %859 %860 %975)
(fma.f64 %862 %863 %971)
(fma.f64 %862 %863 %973)
(fma.f64 %862 %863 %975)
(fma.f64 %865 %866 %971)
(fma.f64 %865 %866 %973)
(fma.f64 %865 %866 %975)
(fma.f64 %868 %869 %971)
(fma.f64 %868 %869 %973)
(fma.f64 %868 %869 %975)
(fma.f64 %684 %871 %971)
(fma.f64 %684 %871 %973)
(fma.f64 %684 %871 %975)
(fma.f64 %873 #s(literal 1/2 binary64) %971)
(fma.f64 %873 #s(literal 1/2 binary64) %973)
(fma.f64 %873 #s(literal 1/2 binary64) %975)
(fma.f64 %875 %876 %971)
(fma.f64 %875 %876 %973)
(fma.f64 %875 %876 %975)
(fma.f64 %875 %863 %971)
(fma.f64 %875 %863 %973)
(fma.f64 %875 %863 %975)
(fma.f64 %863 %875 %971)
(fma.f64 %863 %875 %973)
(fma.f64 %863 %875 %975)
(fma.f64 %880 %881 %971)
(fma.f64 %880 %881 %973)
(fma.f64 %880 %881 %975)
(fma.f64 %880 %880 %971)
(fma.f64 %880 %880 %973)
(fma.f64 %880 %880 %975)
(fma.f64 %908 #s(literal -1 binary64) %300)
(fma.f64 #s(literal 1/4 binary64) %884 %971)
(fma.f64 #s(literal 1/4 binary64) %884 %973)
(fma.f64 #s(literal 1/4 binary64) %884 %975)
(fma.f64 %433 #s(literal 1/2 binary64) %971)
(fma.f64 %433 #s(literal 1/2 binary64) %973)
(fma.f64 %433 #s(literal 1/2 binary64) %975)
(fma.f64 %121 %39 %971)
(fma.f64 %121 %39 %973)
(fma.f64 %121 %39 %975)
(fma.f64 #s(literal 4 binary64) %888 %971)
(fma.f64 #s(literal 4 binary64) %888 %973)
(fma.f64 #s(literal 4 binary64) %888 %975)
(fma.f64 %430 %430 %971)
(fma.f64 %430 %430 %973)
(fma.f64 %430 %430 %975)
(fma.f64 %430 %280 %300)
(fma.f64 %300 #s(literal 2 binary64) %971)
(fma.f64 %300 #s(literal 2 binary64) %973)
(fma.f64 %300 #s(literal 2 binary64) %975)
(fma.f64 %300 #s(literal 1 binary64) %300)
(fma.f64 #s(literal -1/2 binary64) %892 %971)
(fma.f64 #s(literal -1/2 binary64) %892 %973)
(fma.f64 #s(literal -1/2 binary64) %892 %975)
(fma.f64 #s(literal -1/2 binary64) %894 %971)
(fma.f64 #s(literal -1/2 binary64) %894 %973)
(fma.f64 #s(literal -1/2 binary64) %894 %975)
(fma.f64 #s(literal -1/2 binary64) %329 %300)
(fma.f64 %280 %278 %971)
(fma.f64 %280 %278 %973)
(fma.f64 %280 %278 %975)
(fma.f64 %278 %897 %971)
(fma.f64 %278 %897 %973)
(fma.f64 %278 %897 %975)
(fma.f64 %278 %280 %971)
(fma.f64 %278 %280 %973)
(fma.f64 %278 %280 %975)
(fma.f64 %111 %283 %971)
(fma.f64 %111 %283 %973)
(fma.f64 %111 %283 %975)
(fma.f64 %283 %901 %971)
(fma.f64 %283 %901 %973)
(fma.f64 %283 %901 %975)
(fma.f64 %283 %111 %971)
(fma.f64 %283 %111 %973)
(fma.f64 %283 %111 %975)
(fma.f64 %39 %287 %971)
(fma.f64 %39 %287 %973)
(fma.f64 %39 %287 %975)
(fma.f64 %39 %8 %300)
(fma.f64 %287 %39 %971)
(fma.f64 %287 %39 %973)
(fma.f64 %287 %39 %975)
(fma.f64 #s(literal -2 binary64) %906 %971)
(fma.f64 #s(literal -2 binary64) %906 %973)
(fma.f64 #s(literal -2 binary64) %906 %975)
(fma.f64 #s(literal -2 binary64) %908 %971)
(fma.f64 #s(literal -2 binary64) %908 %973)
(fma.f64 #s(literal -2 binary64) %908 %975)
(fma.f64 #s(literal -2 binary64) %910 %971)
(fma.f64 #s(literal -2 binary64) %910 %973)
(fma.f64 #s(literal -2 binary64) %910 %975)
(fma.f64 #s(literal 1/2 binary64) %852 %971)
(fma.f64 #s(literal 1/2 binary64) %852 %973)
(fma.f64 #s(literal 1/2 binary64) %852 %975)
(fma.f64 #s(literal 1/2 binary64) %913 %971)
(fma.f64 #s(literal 1/2 binary64) %913 %973)
(fma.f64 #s(literal 1/2 binary64) %913 %975)
(fma.f64 #s(literal 1/2 binary64) %873 %971)
(fma.f64 #s(literal 1/2 binary64) %873 %973)
(fma.f64 #s(literal 1/2 binary64) %873 %975)
(fma.f64 #s(literal 1/2 binary64) %435 %971)
(fma.f64 #s(literal 1/2 binary64) %435 %973)
(fma.f64 #s(literal 1/2 binary64) %435 %975)
(fma.f64 #s(literal 1/2 binary64) %294 %300)
(fma.f64 %67 %111 %300)
(fma.f64 %67 %67 %971)
(fma.f64 %67 %67 %973)
(fma.f64 %67 %67 %975)
(fma.f64 %329 #s(literal -1 binary64) %971)
(fma.f64 %329 #s(literal -1 binary64) %973)
(fma.f64 %329 #s(literal -1 binary64) %975)
(fma.f64 #s(literal -1 binary64) %329 %971)
(fma.f64 #s(literal -1 binary64) %329 %973)
(fma.f64 #s(literal -1 binary64) %329 %975)
(fma.f64 #s(literal 2 binary64) %300 %971)
(fma.f64 #s(literal 2 binary64) %300 %973)
(fma.f64 #s(literal 2 binary64) %300 %975)
(fma.f64 %294 #s(literal 1/2 binary64) %300)
(fma.f64 %294 #s(literal 1 binary64) %971)
(fma.f64 %294 #s(literal 1 binary64) %973)
(fma.f64 %294 #s(literal 1 binary64) %975)
(fma.f64 %8 %39 %300)
(fma.f64 %8 %8 %971)
(fma.f64 %8 %8 %973)
(fma.f64 %8 %8 %975)
(fma.f64 #s(literal 1 binary64) %923 %971)
(fma.f64 #s(literal 1 binary64) %923 %973)
(fma.f64 #s(literal 1 binary64) %923 %975)
(fma.f64 #s(literal 1 binary64) %300 %300)
(fma.f64 #s(literal 1 binary64) %294 %971)
(fma.f64 #s(literal 1 binary64) %294 %973)
(fma.f64 #s(literal 1 binary64) %294 %975)
(fabs.f64 %294)
(+.f64 %300 %300)
(+.f64 %294 %971)
(+.f64 %294 %973)
(+.f64 %294 %975)
%1125
%1127
%1129
%1131
%1133
%1136
%1138
%1141
%1143
%1144
%1146
%1147
%1149
%1151
%1152
%1153
%1156
%1159
%1161
%1163
%1165
%1167
%1170
%1173
%1176
%1178
%1181
%1183
%1185
%1186
%1188
%1190
%1192
%1193
%1194
%1195
%1196
%1197
%1199
%1200
%1201
%1203
%1205
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1215
%1216
%1218
%1220
%1221
%1223
%1224
%1226
%1228
%1230
%1231
%1233
%1234
%1236
%1237
%1239
%1240
%1241
%1243
%1245
%1246
%1247
%1249
%1251
%1252
%1253
%1255
%1257
%1258
%1259
%1260
%1261
%1263
%1264
%1266
%1268
%1269
%1270
%1272
%1274
%1276
%1278
%1279
%1280
%1281
%1283
%1284
%1286
%1288
%1290
%1292
%1294
%1296
%1297
%1134
%1298
%1299
%1300
%1301
%1304
%1306
%1308
%1310
%1311
%1312
%1314
%1315
%1316
%1317
%1318
%1320
%1322
%1324
%1325
%1327
%1329
%1331
%1333
%1335
%1337
%1339
%1341
%1343
%1345
%1347
%1348
%1349
%1351
%1354
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1366
%1367
%1368
%1369
%1371
%1372
%1374
%1376
%1378
%1380
%1382
%1384
%1385
%1386
%1388
%1389
%1125
%1127
%1129
%1131
%1133
%1136
%1138
%1141
%1143
%1144
%1146
%1147
%1149
%1151
%1152
%1153
%1156
%1159
%1161
%1163
%1165
%1167
%1170
%1173
%1176
%1178
%1181
%1183
%1185
%1186
%1188
%1190
%1192
%1193
%1194
%1195
%1196
%1197
%1199
%1200
%1201
%1203
%1205
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1215
%1216
%1218
%1220
%1221
%1223
%1224
%1226
%1228
%1230
%1231
%1233
%1234
%1236
%1237
%1239
%1240
%1241
%1243
%1245
%1246
%1247
%1249
%1251
%1252
%1253
%1255
%1257
%1258
%1259
%1260
%1261
%1263
%1264
%1266
%1268
%1269
%1270
%1272
%1274
%1276
%1278
%1279
%1280
%1281
%1283
%1284
%1286
%1288
%1290
%1292
%1294
%1296
%1297
%1134
%1298
%1299
%1300
%1301
%1304
%1306
%1308
%1310
%1311
%1312
%1314
%1315
%1316
%1317
%1318
%1320
%1322
%1324
%1325
%1327
%1329
%1331
%1333
%1335
%1337
%1339
%1341
%1343
%1345
%1347
%1348
%1349
%1351
%1354
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1366
%1367
%1368
%1369
%1371
%1372
%1374
%1376
%1378
%1380
%1382
%1384
%1385
%1386
%1388
%1389
%1125
%1127
%1129
%1131
%1133
%1136
%1138
%1141
%1143
%1144
%1146
%1147
%1149
%1151
%1152
%1153
%1156
%1159
%1161
%1163
%1165
%1167
%1170
%1173
%1176
%1178
%1181
%1183
%1185
%1186
%1188
%1190
%1192
%1193
%1194
%1195
%1196
%1197
%1199
%1200
%1201
%1203
%1205
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1215
%1216
%1218
%1220
%1221
%1223
%1224
%1226
%1228
%1230
%1231
%1233
%1234
%1236
%1237
%1239
%1240
%1241
%1243
%1245
%1246
%1247
%1249
%1251
%1252
%1253
%1255
%1257
%1258
%1259
%1260
%1261
%1263
%1264
%1266
%1268
%1269
%1270
%1272
%1274
%1276
%1278
%1279
%1280
%1281
%1283
%1284
%1286
%1288
%1290
%1292
%1294
%1296
%1297
%1134
%1298
%1299
%1300
%1301
%1304
%1306
%1308
%1310
%1311
%1312
%1314
%1315
%1316
%1317
%1318
%1320
%1322
%1324
%1325
%1327
%1329
%1331
%1333
%1335
%1337
%1339
%1341
%1343
%1345
%1347
%1348
%1349
%1351
%1354
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1366
%1367
%1368
%1369
%1371
%1372
%1374
%1376
%1378
%1380
%1382
%1384
%1385
%1386
%1388
%1389
reconstruct113.0ms (4.8%)
Counts
1 417 → 157
Compiler
Compiled 1 417 to 1 392 computations (1.8% saved)
eval7.0ms (0.3%)
Compiler
Compiled 107 to 267 computations (-149.5% saved)
prune3.0ms (0.1%)
Pruning
11 alts after pruning (1 fresh and 10 done)
PrunedKeptTotal
New1061107
Fresh000
Picked033
Done077
Total10611117
Accuracy
100.0%
Counts
117 → 11
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓91.0%
(/.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) x))
✓99.8%
(/.f64 (*.f64 y x) (/.f64 #s(literal 1 binary64) y))
✓99.7%
(/.f64 y (/.f64 #s(literal 1 binary64) (*.f64 y x)))
90.7%
(/.f64 x (/.f64 (/.f64 #s(literal 1 binary64) y) y))
✓90.5%
(/.f64 x (/.f64 #s(literal 1 binary64) (*.f64 y y)))
✓99.8%
(*.f64 (/.f64 x (/.f64 #s(literal 1 binary64) y)) y)
✓96.4%
%8 = (fabs.f64 y)
%9 = (sqrt.f64 %8)
(*.f64 (*.f64 %9 x) (*.f64 %9 %8))
✓99.8%
(*.f64 (*.f64 x y) y)
✓99.6%
%8 = (fabs.f64 y)
%9 = (sqrt.f64 %8)
(*.f64 %9 (*.f64 %8 (*.f64 %9 x)))
✓91.0%
(*.f64 x (/.f64 y (/.f64 #s(literal 1 binary64) y)))
✓91.1%
(*.f64 x (*.f64 y y))
Compiler
Compiled 11 to 29 computations (-163.6% saved)
regimes27.0ms (1.2%)
Accuracy
Total 0.1b remaining (1.2%)
Threshold costs 0.1b (1.2%)
0.1b0.0%
0.0b0%
Counts
1 → 1
2 → 1
Calls
Call 1
Inputs
(*.f64 x (*.f64 y y))
Outputs
(*.f64 x (*.f64 y y))
Call 2
Inputs
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 x y) y)
Outputs
(*.f64 (*.f64 x y) y)
Calls
3 calls:
15.0ms
x
9.0ms
y
7.0ms
(*.f64 (*.f64 x y) y)
Results
AccuracySegmentsBranch
91.1%1
y
91.1%1
x
91.1%1
(*.f64 (*.f64 x y) y)
Compiler
Compiled 21 to 58 computations (-176.2% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations20.0ms (0.8%)
Stop Event
1×fuel
Compiler
Compiled 2 to 6 computations (-200.0% saved)
preprocess10.0ms (0.4%)
Compiler
Compiled 11 to 42 computations (-281.8% saved)
end0.0ms (0.0%)
gc980ms (42.0%)
Allocations
AllocatedPercentPhase
776.8 MiB36.4%reconstruct
594.8 MiB27.9%rewrite
420.0 MiB19.7%sample
165.8 MiB7.8%series
75.6 MiB3.5%eval
34.1 MiB1.6%preprocess
33.7 MiB1.6%regimes
31.1 MiB1.5%prune
3.2 MiB0.1%derivations
0.3 MiB0.0%bsearch
0.1 MiB0.0%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
2 135.5 MiB100.0%total
Profiling
Loading profile data...