%1 = (*.f64 x x)
%4 = (*.f64 y #s(literal 4 binary64))
%5 = (*.f64 %4 y)
%6 = (-.f64 %1 %5)
%7 = (+.f64 %1 %5)
x
%1
y
#s(literal 4 binary64)
%4
%5
%6
%7
(/.f64 %6 %7)

%1 = (fabs.f64 x)
%2 = (sqrt.f64 %1)
%3 = (*.f64 %1 %2)
%5 = (*.f64 x x)
%7 = (*.f64 %5 #s(literal 2 binary64))
%10 = (*.f64 %5 #s(literal 1/2 binary64))
%12 = (neg.f64 %1)
%14 = (*.f64 %12 #s(literal 1 binary64))
%18 = (*.f64 #s(literal 4 binary64) y)
%19 = (fma.f64 %18 y %5)
%20 = (*.f64 %12 %19)
%21 = (*.f64 y y)
%23 = (*.f64 %21 #s(literal -4 binary64))
%24 = (-.f64 %23 %5)
%25 = (/.f64 %1 %24)
%27 = (*.f64 %1 %19)
%28 = (/.f64 %1 %19)
%30 = (neg.f64 x)
%31 = (*.f64 %30 %19)
%32 = (/.f64 x %24)
%34 = (*.f64 %19 x)
%35 = (/.f64 x %19)
%37 = (*.f64 %1 #s(literal 1 binary64))
%40 = (*.f64 %30 #s(literal 1 binary64))
%43 = (*.f64 x #s(literal 1 binary64))
%46 = (*.f64 %32 x)
%48 = (*.f64 %24 %5)
%50 = (/.f64 #s(literal -1 binary64) %19)
%52 = (*.f64 %2 %37)
%54 = (*.f64 %2 %1)
%59 = (*.f64 %19 %5)
%60 = (/.f64 #s(literal 1 binary64) %19)
%62 = (*.f64 %30 x)
%63 = (*.f64 %50 %19)
%65 = (/.f64 %19 %24)
%67 = (*.f64 %25 %19)
%70 = (/.f64 %20 %19)
%74 = (/.f64 %5 %19)
%82 = (/.f64 %19 %19)
%86 = (*.f64 %5 %5)
%110 = (*.f64 %62 #s(literal 1 binary64))
%113 = (*.f64 %74 %21)
%114 = (*.f64 %74 %5)
%116 = (neg.f64 y)
%117 = (*.f64 %74 %116)
%118 = (*.f64 #s(literal -4 binary64) y)
%120 = (*.f64 %74 %118)
%122 = (*.f64 %74 %18)
%124 = (*.f64 %74 #s(literal 4 binary64))
%126 = (*.f64 %74 y)
%128 = (*.f64 %74 %12)
%129 = (*.f64 %18 y)
%130 = (/.f64 %129 %19)
%131 = (*.f64 %130 %5)
%133 = (*.f64 %74 %1)
%135 = (*.f64 %74 %30)
%137 = (*.f64 %74 x)
%140 = (*.f64 %5 #s(literal 0 binary64))
%142 = (*.f64 #s(literal 0 binary64) %5)
%148 = (*.f64 %129 %28)
%150 = (*.f64 %5 %28)
%152 = (*.f64 %129 %1)
%154 = (*.f64 %5 %1)
%156 = (*.f64 %129 x)
%158 = (*.f64 %5 x)
%160 = (*.f64 %129 %35)
%162 = (*.f64 %5 %35)
%164 = (*.f64 %129 %32)
%166 = (*.f64 %5 %32)
%168 = (*.f64 %129 %30)
%170 = (*.f64 %5 %30)
%172 = (*.f64 %129 %12)
%174 = (*.f64 %5 %12)
%178 = (*.f64 %129 %62)
%180 = (*.f64 %5 %62)
%202 = (*.f64 %129 %5)
%213 = (*.f64 #s(literal 4 binary64) %74)
%215 = (*.f64 %1 %129)
%217 = (*.f64 %1 %5)
%221 = (*.f64 %30 %129)
%223 = (*.f64 %30 %5)
%227 = (*.f64 x %129)
%229 = (*.f64 x %5)
%233 = (*.f64 #s(literal 1/2 binary64) %5)
%235 = (*.f64 %118 %74)
%244 = (/.f64 y %19)
%245 = (*.f64 %244 y)
%246 = (*.f64 %245 #s(literal -4 binary64))
%248 = (*.f64 %25 %129)
%250 = (*.f64 %12 %74)
%252 = (*.f64 %25 %5)
%262 = (*.f64 %116 %74)
%273 = (*.f64 %1 %74)
%275 = (*.f64 %28 %129)
%277 = (*.f64 %28 %5)
%283 = (*.f64 %30 %74)
%285 = (*.f64 %32 %129)
%287 = (*.f64 %32 %5)
%298 = (*.f64 y %74)
%300 = (*.f64 %21 %74)
%302 = (*.f64 %18 %74)
%311 = (*.f64 x %74)
%313 = (*.f64 %35 %129)
%315 = (*.f64 %35 %5)
%359 = (*.f64 y #s(literal 2 binary64))
%363 = (*.f64 #s(literal 2 binary64) y)
%374 = (fabs.f64 y)
%375 = (*.f64 #s(literal 4 binary64) %374)
%377 = (*.f64 %129 #s(literal 2 binary64))
%379 = (*.f64 %21 #s(literal 2 binary64))
%381 = (*.f64 %129 #s(literal 1/2 binary64))
%383 = (*.f64 %374 #s(literal 2 binary64))
%385 = (*.f64 %116 #s(literal 2 binary64))
%388 = (*.f64 #s(literal 2 binary64) %374)
%390 = (*.f64 #s(literal 2 binary64) %116)
%393 = (*.f64 %116 y)
%395 = (*.f64 %374 #s(literal 4 binary64))
%397 = (/.f64 #s(literal 4 binary64) %19)
%398 = (*.f64 %397 %19)
%402 = (*.f64 (*.f64 %19 #s(literal 4 binary64)) y)
%404 = (/.f64 %18 %19)
%405 = (*.f64 %19 y)
%408 = (*.f64 #s(literal -4 binary64) %244)
%409 = (*.f64 %408 %19)
%411 = (*.f64 %118 #s(literal 1 binary64))
%414 = (/.f64 y %24)
%415 = (*.f64 %414 %19)
%417 = (*.f64 %116 #s(literal 1 binary64))
%421 = (*.f64 %19 %129)
%425 = (*.f64 #s(literal 2 binary64) %21)
%429 = (*.f64 %244 %19)
%431 = (*.f64 y #s(literal 1 binary64))
%433 = (*.f64 %245 %19)
%435 = (*.f64 %21 #s(literal 1 binary64))
%438 = (*.f64 %404 %19)
%440 = (*.f64 %18 #s(literal 1 binary64))
%446 = (*.f64 (*.f64 %19 #s(literal -4 binary64)) %21)
%451 = (*.f64 %23 #s(literal 1 binary64))
%456 = (*.f64 %129 #s(literal 0 binary64))
%458 = (*.f64 #s(literal 0 binary64) %129)
%460 = (*.f64 %130 %129)
%462 = (*.f64 %129 %130)
%531 = (*.f64 #s(literal 1/2 binary64) %129)
%623 = (-.f64 %129 %5)
%625 = (*.f64 %623 #s(literal -2 binary64))
%627 = (fma.f64 %21 #s(literal -4 binary64) %5)
%628 = (*.f64 %627 #s(literal 1/2 binary64))
%630 = (*.f64 %623 #s(literal 2 binary64))
%633 = (*.f64 #s(literal 2 binary64) %627)
%636 = (*.f64 %19 %627)
%641 = (*.f64 #s(literal 1/2 binary64) %627)
%646 = (*.f64 %19 %623)
%654 = (*.f64 %627 #s(literal 0 binary64))
%656 = (*.f64 #s(literal 0 binary64) %627)
%660 = (fma.f64 %137 x %23)
%662 = (-.f64 %114 %129)
%674 = (fma.f64 %113 #s(literal 4 binary64) %23)
%676 = (-.f64 %131 %129)
%684 = (*.f64 #s(literal 1 binary64) %23)
%1087 = (*.f64 #s(literal 1 binary64) %636)
%1088 = (pow.f64 %19 #s(literal -2 binary64))
%1090 = (/.f64 #s(literal -1/2 binary64) %19)
%1092 = (/.f64 #s(literal 1/2 binary64) %19)
%1094 = (*.f64 %24 %19)
%1098 = (/.f64 %627 %19)
%1099 = (*.f64 #s(literal 2 binary64) %1098)
%1103 = (/.f64 %623 %19)
%1118 = (*.f64 %19 %19)
%1124 = (fabs.f64 %19)
%1167 = (*.f64 %28 %2)
%1168 = (/.f64 %421 %1094)
%1170 = (/.f64 %446 %1118)
%1175 = (*.f64 %62 #s(literal 2 binary64))
%1194 = (/.f64 %12 %1124)
%1195 = (/.f64 %20 %1124)
%1199 = (/.f64 %1 %1124)
%1200 = (/.f64 %27 %1124)
%1204 = (/.f64 %30 %1124)
%1205 = (/.f64 %31 %1124)
%1209 = (/.f64 %19 %1124)
%1210 = (/.f64 %5 %1124)
%1223 = (/.f64 x %1124)
%1224 = (/.f64 %34 %1124)
%1236 = (/.f64 %27 %24)
%1249 = (*.f64 %2 %28)
%1296 = (/.f64 %20 %1118)
%1320 = (/.f64 %27 %1118)
%1327 = (/.f64 %31 %1118)
%1338 = (*.f64 %1092 %5)
%1344 = (/.f64 %5 %1118)
%1348 = (/.f64 %74 %19)
%1369 = (/.f64 %19 %1118)
%1376 = (/.f64 %34 %1118)
x
(*.f64 %3 %2)
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 %10 #s(literal 2 binary64))
(*.f64 %14 %14)
(*.f64 %20 %25)
(*.f64 %27 %28)
(*.f64 %31 %32)
(*.f64 %34 %35)
(*.f64 %37 %37)
(*.f64 %37 %1)
(*.f64 %40 %40)
(*.f64 %40 %30)
(*.f64 %43 %43)
(*.f64 %43 x)
(*.f64 %46 %24)
(*.f64 %48 %50)
(*.f64 %2 %52)
(*.f64 %2 %54)
(*.f64 %28 %27)
(*.f64 %32 %31)
(*.f64 %35 %34)
(*.f64 %59 %60)
(*.f64 %62 %63)
(*.f64 %62 %65)
(*.f64 %12 %67)
(*.f64 %12 %14)
(*.f64 %12 %70)
(*.f64 %12 %12)
(*.f64 %60 %59)
(*.f64 %74 %19)
(*.f64 %1 %37)
(*.f64 %1 %1)
(*.f64 %30 %40)
(*.f64 %30 %30)
(*.f64 #s(literal 1 binary64) %5)
(*.f64 %19 %74)
(*.f64 %5 %82)
(*.f64 %5 #s(literal 1 binary64))
(*.f64 x %43)
%5
(pow.f64 %86 #s(literal 1/2 binary64))
(pow.f64 %12 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %30 #s(literal 2 binary64))
(pow.f64 %5 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 %7 #s(literal 2 binary64))
(/.f64 %48 %24)
(/.f64 %59 %19)
(/.f64 #s(literal 1 binary64) (/.f64 %24 %48))
(/.f64 #s(literal 1 binary64) (/.f64 %19 %59))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(neg.f64 (*.f64 %19 %46))
(neg.f64 (*.f64 x %40))
(neg.f64 (*.f64 %30 %43))
(neg.f64 (*.f64 %46 %19))
(neg.f64 %110)
(neg.f64 %62)
(fma.f64 %113 #s(literal 4 binary64) %114)
(fma.f64 %117 %118 %114)
(fma.f64 %120 %116 %114)
(fma.f64 %122 y %114)
(fma.f64 %124 %21 %114)
(fma.f64 %126 %18 %114)
(fma.f64 %128 %12 %131)
(fma.f64 %133 %1 %131)
(fma.f64 %135 %30 %131)
(fma.f64 %137 x %131)
(fma.f64 %3 %2 %140)
(fma.f64 %3 %2 %142)
(fma.f64 %7 #s(literal 1/2 binary64) %140)
(fma.f64 %7 #s(literal 1/2 binary64) %142)
(fma.f64 %10 #s(literal 2 binary64) %140)
(fma.f64 %10 #s(literal 2 binary64) %142)
(fma.f64 %148 %1 %114)
(fma.f64 %150 %1 %131)
(fma.f64 %152 %28 %114)
(fma.f64 %154 %28 %131)
(fma.f64 %156 %35 %114)
(fma.f64 %158 %35 %131)
(fma.f64 %160 x %114)
(fma.f64 %162 x %131)
(fma.f64 %164 %30 %114)
(fma.f64 %166 %30 %131)
(fma.f64 %168 %32 %114)
(fma.f64 %170 %32 %131)
(fma.f64 %172 %25 %114)
(fma.f64 %174 %25 %131)
(fma.f64 %14 %14 %140)
(fma.f64 %14 %14 %142)
(fma.f64 %178 %50 %114)
(fma.f64 %180 %50 %131)
(fma.f64 %20 %25 %140)
(fma.f64 %20 %25 %142)
(fma.f64 %27 %28 %140)
(fma.f64 %27 %28 %142)
(fma.f64 %31 %32 %140)
(fma.f64 %31 %32 %142)
(fma.f64 %34 %35 %140)
(fma.f64 %34 %35 %142)
(fma.f64 %37 %37 %140)
(fma.f64 %37 %37 %142)
(fma.f64 %37 %1 %140)
(fma.f64 %37 %1 %142)
(fma.f64 %40 %40 %140)
(fma.f64 %40 %40 %142)
(fma.f64 %40 %30 %140)
(fma.f64 %40 %30 %142)
(fma.f64 %43 %43 %140)
(fma.f64 %43 %43 %142)
(fma.f64 %43 x %140)
(fma.f64 %43 x %142)
(fma.f64 %202 %60 %114)
(fma.f64 %46 %24 %140)
(fma.f64 %46 %24 %142)
(fma.f64 %48 %50 %140)
(fma.f64 %48 %50 %142)
(fma.f64 %86 %60 %131)
(fma.f64 %2 %52 %140)
(fma.f64 %2 %52 %142)
(fma.f64 %2 %54 %140)
(fma.f64 %2 %54 %142)
(fma.f64 %21 %213 %114)
(fma.f64 %28 %215 %114)
(fma.f64 %28 %217 %131)
(fma.f64 %28 %27 %140)
(fma.f64 %28 %27 %142)
(fma.f64 %32 %221 %114)
(fma.f64 %32 %223 %131)
(fma.f64 %32 %31 %140)
(fma.f64 %32 %31 %142)
(fma.f64 %35 %227 %114)
(fma.f64 %35 %229 %131)
(fma.f64 %35 %34 %140)
(fma.f64 %35 %34 %142)
(fma.f64 #s(literal 1/2 binary64) %5 %233)
(fma.f64 %116 %235 %114)
(fma.f64 %59 %60 %140)
(fma.f64 %59 %60 %142)
(fma.f64 %62 %63 %140)
(fma.f64 %62 %63 %142)
(fma.f64 %62 %65 %140)
(fma.f64 %62 %65 %142)
(fma.f64 %62 %46 %131)
(fma.f64 %62 %246 %114)
(fma.f64 %12 %248 %114)
(fma.f64 %12 %250 %131)
(fma.f64 %12 %252 %131)
(fma.f64 %12 %67 %140)
(fma.f64 %12 %67 %142)
(fma.f64 %12 %14 %140)
(fma.f64 %12 %14 %142)
(fma.f64 %12 %70 %140)
(fma.f64 %12 %70 %142)
(fma.f64 %12 %12 %140)
(fma.f64 %12 %12 %142)
(fma.f64 %118 %262 %114)
(fma.f64 %60 %202 %114)
(fma.f64 %60 %86 %131)
(fma.f64 %60 %59 %140)
(fma.f64 %60 %59 %142)
(fma.f64 %130 %5 %114)
(fma.f64 %74 %19 %140)
(fma.f64 %74 %19 %142)
(fma.f64 %74 %129 %114)
(fma.f64 %74 %5 %131)
(fma.f64 %1 %273 %131)
(fma.f64 %1 %275 %114)
(fma.f64 %1 %277 %131)
(fma.f64 %1 %37 %140)
(fma.f64 %1 %37 %142)
(fma.f64 %1 %1 %140)
(fma.f64 %1 %1 %142)
(fma.f64 %30 %283 %131)
(fma.f64 %30 %285 %114)
(fma.f64 %30 %287 %131)
(fma.f64 %30 %40 %140)
(fma.f64 %30 %40 %142)
(fma.f64 %30 %30 %140)
(fma.f64 %30 %30 %142)
(fma.f64 #s(literal 1 binary64) %5 %140)
(fma.f64 #s(literal 1 binary64) %5 %142)
(fma.f64 %19 %74 %140)
(fma.f64 %19 %74 %142)
(fma.f64 %129 %74 %114)
(fma.f64 %18 %298 %114)
(fma.f64 #s(literal 4 binary64) %300 %114)
(fma.f64 y %302 %114)
(fma.f64 %5 %82 %140)
(fma.f64 %5 %82 %142)
(fma.f64 %5 #s(literal 1/2 binary64) %10)
(fma.f64 %5 %130 %114)
(fma.f64 %5 %74 %131)
(fma.f64 %5 #s(literal 1 binary64) %140)
(fma.f64 %5 #s(literal 1 binary64) %142)
(fma.f64 x %311 %131)
(fma.f64 x %313 %114)
(fma.f64 x %315 %131)
(fma.f64 x %43 %140)
(fma.f64 x %43 %142)
(fma.f64 x x %140)
(fma.f64 x x %142)
(-.f64 %131 (*.f64 %46 %5))
(-.f64 %131 (*.f64 %62 %74))
(-.f64 %131 (neg.f64 %114))
(-.f64 %114 (*.f64 %46 %129))
(-.f64 %114 (*.f64 %23 %74))
(-.f64 %114 (neg.f64 %131))
(sqrt.f64 %86)
(fabs.f64 %110)
(fabs.f64 (*.f64 %30 %12))
(fabs.f64 (*.f64 x %12))
(fabs.f64 (*.f64 %30 %1))
(fabs.f64 (*.f64 x %1))
(fabs.f64 (*.f64 %12 %30))
(fabs.f64 (*.f64 %1 %30))
(fabs.f64 (*.f64 %12 x))
(fabs.f64 (*.f64 %1 x))
(fabs.f64 %62)
(fabs.f64 %5)
(+.f64 %10 %10)
(+.f64 %233 %233)
(+.f64 %131 %114)
(+.f64 %114 %131)
(+.f64 %5 %140)
(+.f64 %5 %142)
y
#s(literal 4 binary64)
(*.f64 %359 #s(literal 2 binary64))
(*.f64 #s(literal -4 binary64) %116)
(*.f64 %116 #s(literal -4 binary64))
(*.f64 #s(literal 2 binary64) %363)
%18
(*.f64 y #s(literal 4 binary64))
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(neg.f64 %118)
(fma.f64 #s(literal 2 binary64) y %363)
(fma.f64 y #s(literal 2 binary64) %359)
(+.f64 %359 %359)
(+.f64 %363 %363)
(*.f64 %375 %374)
(*.f64 %377 #s(literal 1/2 binary64))
(*.f64 %379 #s(literal 2 binary64))
(*.f64 %381 #s(literal 2 binary64))
(*.f64 %383 %383)
(*.f64 %385 %385)
(*.f64 %359 %359)
(*.f64 %388 %388)
(*.f64 %390 %390)
(*.f64 %363 %363)
(*.f64 %393 #s(literal -4 binary64))
(*.f64 %374 %395)
(*.f64 %21 %398)
(*.f64 %21 #s(literal 4 binary64))
(*.f64 %244 %402)
(*.f64 %404 %405)
(*.f64 #s(literal -4 binary64) %393)
(*.f64 %116 %409)
(*.f64 %116 %411)
(*.f64 %116 %118)
(*.f64 %118 %415)
(*.f64 %118 %417)
(*.f64 %118 %116)
(*.f64 %23 %63)
(*.f64 %60 %421)
(*.f64 %130 %19)
(*.f64 #s(literal 1 binary64) %129)
(*.f64 #s(literal 2 binary64) %425)
(*.f64 %19 %130)
(*.f64 %129 #s(literal 1 binary64))
(*.f64 %18 %429)
(*.f64 %18 %431)
%129
(*.f64 #s(literal 4 binary64) %433)
(*.f64 #s(literal 4 binary64) %435)
(*.f64 #s(literal 4 binary64) %21)
(*.f64 y %438)
(*.f64 y %440)
(*.f64 y %18)
(pow.f64 %129 #s(literal 1 binary64))
(/.f64 %377 #s(literal 2 binary64))
(/.f64 %446 %24)
(/.f64 %421 %19)
(/.f64 #s(literal 1 binary64) (pow.f64 %129 #s(literal -1 binary64)))
(neg.f64 %451)
(neg.f64 (*.f64 %246 %19))
(neg.f64 %23)
(fma.f64 %375 %374 %456)
(fma.f64 %375 %374 %458)
(fma.f64 %113 #s(literal 4 binary64) %460)
(fma.f64 %113 #s(literal 4 binary64) %462)
(fma.f64 %117 %118 %460)
(fma.f64 %117 %118 %462)
(fma.f64 %120 %116 %460)
(fma.f64 %120 %116 %462)
(fma.f64 %122 y %460)
(fma.f64 %122 y %462)
(fma.f64 %124 %21 %460)
(fma.f64 %124 %21 %462)
(fma.f64 %126 %18 %460)
(fma.f64 %126 %18 %462)
(fma.f64 %377 #s(literal 1/2 binary64) %456)
(fma.f64 %377 #s(literal 1/2 binary64) %458)
(fma.f64 %379 #s(literal 2 binary64) %456)
(fma.f64 %379 #s(literal 2 binary64) %458)
(fma.f64 %381 #s(literal 2 binary64) %456)
(fma.f64 %381 #s(literal 2 binary64) %458)
(fma.f64 %148 %1 %460)
(fma.f64 %148 %1 %462)
(fma.f64 %152 %28 %460)
(fma.f64 %152 %28 %462)
(fma.f64 %156 %35 %460)
(fma.f64 %156 %35 %462)
(fma.f64 %160 x %460)
(fma.f64 %160 x %462)
(fma.f64 %164 %30 %460)
(fma.f64 %164 %30 %462)
(fma.f64 %168 %32 %460)
(fma.f64 %168 %32 %462)
(fma.f64 %172 %25 %460)
(fma.f64 %172 %25 %462)
(fma.f64 %383 %383 %456)
(fma.f64 %383 %383 %458)
(fma.f64 %385 %385 %456)
(fma.f64 %385 %385 %458)
(fma.f64 %359 %359 %456)
(fma.f64 %359 %359 %458)
(fma.f64 %388 %388 %456)
(fma.f64 %388 %388 %458)
(fma.f64 %390 %390 %456)
(fma.f64 %390 %390 %458)
(fma.f64 %363 %363 %456)
(fma.f64 %363 %363 %458)
(fma.f64 %178 %50 %460)
(fma.f64 %178 %50 %462)
(fma.f64 %202 %60 %460)
(fma.f64 %202 %60 %462)
(fma.f64 %393 #s(literal -4 binary64) %456)
(fma.f64 %393 #s(literal -4 binary64) %458)
(fma.f64 %374 %395 %456)
(fma.f64 %374 %395 %458)
(fma.f64 %21 %398 %456)
(fma.f64 %21 %398 %458)
(fma.f64 %21 %213 %460)
(fma.f64 %21 %213 %462)
(fma.f64 %21 #s(literal 2 binary64) %379)
(fma.f64 %21 #s(literal 4 binary64) %456)
(fma.f64 %21 #s(literal 4 binary64) %458)
(fma.f64 %28 %215 %460)
(fma.f64 %28 %215 %462)
(fma.f64 %32 %221 %460)
(fma.f64 %32 %221 %462)
(fma.f64 %35 %227 %460)
(fma.f64 %35 %227 %462)
(fma.f64 %244 %402 %456)
(fma.f64 %244 %402 %458)
(fma.f64 %404 %405 %456)
(fma.f64 %404 %405 %458)
(fma.f64 #s(literal 1/2 binary64) %129 %531)
(fma.f64 #s(literal -4 binary64) %393 %456)
(fma.f64 #s(literal -4 binary64) %393 %458)
(fma.f64 %116 %409 %456)
(fma.f64 %116 %409 %458)
(fma.f64 %116 %235 %460)
(fma.f64 %116 %235 %462)
(fma.f64 %116 %411 %456)
(fma.f64 %116 %411 %458)
(fma.f64 %116 %118 %456)
(fma.f64 %116 %118 %458)
(fma.f64 %62 %246 %460)
(fma.f64 %62 %246 %462)
(fma.f64 %12 %248 %460)
(fma.f64 %12 %248 %462)
(fma.f64 %118 %415 %456)
(fma.f64 %118 %415 %458)
(fma.f64 %118 %262 %460)
(fma.f64 %118 %262 %462)
(fma.f64 %118 %417 %456)
(fma.f64 %118 %417 %458)
(fma.f64 %118 %116 %456)
(fma.f64 %118 %116 %458)
(fma.f64 %23 %63 %456)
(fma.f64 %23 %63 %458)
(fma.f64 %60 %202 %460)
(fma.f64 %60 %202 %462)
(fma.f64 %60 %421 %456)
(fma.f64 %60 %421 %458)
(fma.f64 %130 %19 %456)
(fma.f64 %130 %19 %458)
(fma.f64 %130 %129 %131)
(fma.f64 %130 %5 %460)
(fma.f64 %130 %5 %462)
(fma.f64 %74 %129 %460)
(fma.f64 %74 %129 %462)
(fma.f64 %1 %275 %460)
(fma.f64 %1 %275 %462)
(fma.f64 %30 %285 %460)
(fma.f64 %30 %285 %462)
(fma.f64 #s(literal 1 binary64) %129 %456)
(fma.f64 #s(literal 1 binary64) %129 %458)
(fma.f64 #s(literal 2 binary64) %425 %456)
(fma.f64 #s(literal 2 binary64) %425 %458)
(fma.f64 #s(literal 2 binary64) %21 %425)
(fma.f64 %19 %130 %456)
(fma.f64 %19 %130 %458)
(fma.f64 %129 #s(literal 1/2 binary64) %381)
(fma.f64 %129 %130 %131)
(fma.f64 %129 %74 %460)
(fma.f64 %129 %74 %462)
(fma.f64 %129 #s(literal 1 binary64) %456)
(fma.f64 %129 #s(literal 1 binary64) %458)
(fma.f64 %18 %429 %456)
(fma.f64 %18 %429 %458)
(fma.f64 %18 %298 %460)
(fma.f64 %18 %298 %462)
(fma.f64 %18 %431 %456)
(fma.f64 %18 %431 %458)
(fma.f64 %18 y %456)
(fma.f64 %18 y %458)
(fma.f64 #s(literal 4 binary64) %433 %456)
(fma.f64 #s(literal 4 binary64) %433 %458)
(fma.f64 #s(literal 4 binary64) %300 %460)
(fma.f64 #s(literal 4 binary64) %300 %462)
(fma.f64 #s(literal 4 binary64) %435 %456)
(fma.f64 #s(literal 4 binary64) %435 %458)
(fma.f64 #s(literal 4 binary64) %21 %456)
(fma.f64 #s(literal 4 binary64) %21 %458)
(fma.f64 y %438 %456)
(fma.f64 y %438 %458)
(fma.f64 y %302 %460)
(fma.f64 y %302 %462)
(fma.f64 y %440 %456)
(fma.f64 y %440 %458)
(fma.f64 y %18 %456)
(fma.f64 y %18 %458)
(fma.f64 %5 %130 %460)
(fma.f64 %5 %130 %462)
(fma.f64 x %313 %460)
(fma.f64 x %313 %462)
(+.f64 %379 %379)
(+.f64 %460 %131)
(+.f64 %381 %381)
(+.f64 %425 %425)
(+.f64 %462 %131)
(+.f64 %531 %531)
(+.f64 %131 %460)
(+.f64 %131 %462)
(+.f64 %129 %456)
(+.f64 %129 %458)
(*.f64 %625 #s(literal 1/2 binary64))
(*.f64 %628 #s(literal 2 binary64))
(*.f64 %630 #s(literal -1/2 binary64))
(*.f64 %633 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %633)
(*.f64 %636 %60)
(*.f64 #s(literal -1 binary64) %623)
(*.f64 %623 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %627)
(*.f64 #s(literal 2 binary64) %641)
(*.f64 %627 #s(literal 1 binary64))
(pow.f64 %627 #s(literal 1 binary64))
(/.f64 %633 #s(literal 2 binary64))
(/.f64 %646 %24)
(/.f64 %636 %19)
(/.f64 #s(literal 1 binary64) (/.f64 %19 %636))
(/.f64 #s(literal 1 binary64) (pow.f64 %627 #s(literal -1 binary64)))
(neg.f64 %623)
(fma.f64 %625 #s(literal 1/2 binary64) %654)
(fma.f64 %625 #s(literal 1/2 binary64) %656)
(fma.f64 (*.f64 %129 #s(literal -2 binary64)) #s(literal 1/2 binary64) %5)
(fma.f64 %113 #s(literal 4 binary64) %660)
(fma.f64 %113 #s(literal 4 binary64) %662)
(fma.f64 %117 %118 %660)
(fma.f64 %117 %118 %662)
(fma.f64 %120 %116 %660)
(fma.f64 %120 %116 %662)
(fma.f64 %122 y %660)
(fma.f64 %122 y %662)
(fma.f64 %124 %21 %660)
(fma.f64 %124 %21 %662)
(fma.f64 %126 %18 %660)
(fma.f64 %126 %18 %662)
(fma.f64 %128 %12 %674)
(fma.f64 %128 %12 %676)
(fma.f64 %133 %1 %674)
(fma.f64 %133 %1 %676)
(fma.f64 %135 %30 %674)
(fma.f64 %135 %30 %676)
(fma.f64 %137 x %674)
(fma.f64 %137 x %676)
(fma.f64 %3 %2 %684)
(fma.f64 %3 %2 %451)
(fma.f64 %3 %2 %23)
(fma.f64 (*.f64 #s(literal -4 binary64) %374) %374 %5)
(fma.f64 %7 #s(literal 1/2 binary64) %684)
(fma.f64 %7 #s(literal 1/2 binary64) %451)
(fma.f64 %7 #s(literal 1/2 binary64) %23)
(fma.f64 %377 #s(literal -1/2 binary64) %5)
(fma.f64 %628 #s(literal 2 binary64) %654)
(fma.f64 %628 #s(literal 2 binary64) %656)
(fma.f64 %10 #s(literal 2 binary64) %684)
(fma.f64 %10 #s(literal 2 binary64) %451)
(fma.f64 %10 #s(literal 2 binary64) %23)
(fma.f64 (*.f64 %393 #s(literal 2 binary64)) #s(literal 2 binary64) %5)
(fma.f64 %148 %1 %660)
(fma.f64 %148 %1 %662)
(fma.f64 %150 %1 %674)
(fma.f64 %150 %1 %676)
(fma.f64 %152 %28 %660)
(fma.f64 %152 %28 %662)
(fma.f64 %154 %28 %674)
(fma.f64 %154 %28 %676)
(fma.f64 %156 %35 %660)
(fma.f64 %156 %35 %662)
(fma.f64 %158 %35 %674)
(fma.f64 %158 %35 %676)
(fma.f64 %160 x %660)
(fma.f64 %160 x %662)
(fma.f64 %162 x %674)
(fma.f64 %162 x %676)
(fma.f64 %164 %30 %660)
(fma.f64 %164 %30 %662)
(fma.f64 %166 %30 %674)
(fma.f64 %166 %30 %676)
(fma.f64 %168 %32 %660)
(fma.f64 %168 %32 %662)
(fma.f64 %170 %32 %674)
(fma.f64 %170 %32 %676)
(fma.f64 %172 %25 %660)
(fma.f64 %172 %25 %662)
(fma.f64 %174 %25 %674)
(fma.f64 %174 %25 %676)
(fma.f64 %630 #s(literal -1/2 binary64) %654)
(fma.f64 %630 #s(literal -1/2 binary64) %656)
(fma.f64 %14 %14 %684)
(fma.f64 %14 %14 %451)
(fma.f64 %14 %14 %23)
(fma.f64 %178 %50 %660)
(fma.f64 %178 %50 %662)
(fma.f64 %180 %50 %674)
(fma.f64 %180 %50 %676)
(fma.f64 %633 #s(literal 1/2 binary64) %654)
(fma.f64 %633 #s(literal 1/2 binary64) %656)
(fma.f64 %20 %25 %684)
(fma.f64 %20 %25 %451)
(fma.f64 %20 %25 %23)
(fma.f64 %27 %28 %684)
(fma.f64 %27 %28 %451)
(fma.f64 %27 %28 %23)
(fma.f64 %31 %32 %684)
(fma.f64 %31 %32 %451)
(fma.f64 %31 %32 %23)
(fma.f64 %34 %35 %684)
(fma.f64 %34 %35 %451)
(fma.f64 %34 %35 %23)
(fma.f64 %37 %37 %684)
(fma.f64 %37 %37 %451)
(fma.f64 %37 %37 %23)
(fma.f64 %37 %1 %684)
(fma.f64 %37 %1 %451)
(fma.f64 %37 %1 %23)
(fma.f64 %40 %40 %684)
(fma.f64 %40 %40 %451)
(fma.f64 %40 %40 %23)
(fma.f64 %40 %30 %684)
(fma.f64 %40 %30 %451)
(fma.f64 %40 %30 %23)
(fma.f64 %43 %43 %684)
(fma.f64 %43 %43 %451)
(fma.f64 %43 %43 %23)
(fma.f64 %43 x %684)
(fma.f64 %43 x %451)
(fma.f64 %43 x %23)
(fma.f64 %202 %60 %660)
(fma.f64 %202 %60 %662)
(fma.f64 %393 #s(literal 4 binary64) %5)
(fma.f64 %46 %24 %684)
(fma.f64 %46 %24 %451)
(fma.f64 %46 %24 %23)
(fma.f64 %48 %50 %684)
(fma.f64 %48 %50 %451)
(fma.f64 %48 %50 %23)
(fma.f64 %374 (*.f64 %374 #s(literal -4 binary64)) %5)
(fma.f64 %86 %60 %674)
(fma.f64 %86 %60 %676)
(fma.f64 %2 %52 %684)
(fma.f64 %2 %52 %451)
(fma.f64 %2 %52 %23)
(fma.f64 %2 %54 %684)
(fma.f64 %2 %54 %451)
(fma.f64 %2 %54 %23)
(fma.f64 %21 %213 %660)
(fma.f64 %21 %213 %662)
(fma.f64 %21 (*.f64 %397 %24) %5)
%627
(fma.f64 %28 %215 %660)
(fma.f64 %28 %215 %662)
(fma.f64 %28 %217 %674)
(fma.f64 %28 %217 %676)
(fma.f64 %28 %27 %684)
(fma.f64 %28 %27 %451)
(fma.f64 %28 %27 %23)
(fma.f64 %32 %221 %660)
(fma.f64 %32 %221 %662)
(fma.f64 %32 %223 %674)
(fma.f64 %32 %223 %676)
(fma.f64 %32 %31 %684)
(fma.f64 %32 %31 %451)
(fma.f64 %32 %31 %23)
(fma.f64 %35 %227 %660)
(fma.f64 %35 %227 %662)
(fma.f64 %35 %229 %674)
(fma.f64 %35 %229 %676)
(fma.f64 %35 %34 %684)
(fma.f64 %35 %34 %451)
(fma.f64 %35 %34 %23)
(fma.f64 %244 (*.f64 %18 %24) %5)
(fma.f64 %404 (*.f64 y %24) %5)
(fma.f64 #s(literal 1/2 binary64) %633 %654)
(fma.f64 #s(literal 1/2 binary64) %633 %656)
(fma.f64 #s(literal 1/2 binary64) %627 %641)
(fma.f64 #s(literal -4 binary64) %21 %5)
(fma.f64 %116 (*.f64 %118 #s(literal -1 binary64)) %5)
(fma.f64 %116 %235 %660)
(fma.f64 %116 %235 %662)
(fma.f64 %116 (*.f64 %408 %24) %5)
(fma.f64 %116 %18 %5)
(fma.f64 %636 %60 %654)
(fma.f64 %636 %60 %656)
(fma.f64 %59 %60 %684)
(fma.f64 %59 %60 %451)
(fma.f64 %59 %60 %23)
(fma.f64 %62 %63 %684)
(fma.f64 %62 %63 %451)
(fma.f64 %62 %63 %23)
(fma.f64 %62 %65 %684)
(fma.f64 %62 %65 %451)
(fma.f64 %62 %65 %23)
(fma.f64 %62 %46 %674)
(fma.f64 %62 %46 %676)
(fma.f64 %62 %246 %660)
(fma.f64 %62 %246 %662)
(fma.f64 %12 %248 %660)
(fma.f64 %12 %248 %662)
(fma.f64 %12 %250 %674)
(fma.f64 %12 %250 %676)
(fma.f64 %12 %252 %674)
(fma.f64 %12 %252 %676)
(fma.f64 %12 %67 %684)
(fma.f64 %12 %67 %451)
(fma.f64 %12 %67 %23)
(fma.f64 %12 %14 %684)
(fma.f64 %12 %14 %451)
(fma.f64 %12 %14 %23)
(fma.f64 %12 %70 %684)
(fma.f64 %12 %70 %451)
(fma.f64 %12 %70 %23)
(fma.f64 %12 %12 %684)
(fma.f64 %12 %12 %451)
(fma.f64 %12 %12 %23)
(fma.f64 #s(literal -1 binary64) %623 %654)
(fma.f64 #s(literal -1 binary64) %623 %656)
(fma.f64 #s(literal -1 binary64) %129 %5)
(fma.f64 %118 (*.f64 %116 #s(literal -1 binary64)) %5)
(fma.f64 %118 %262 %660)
(fma.f64 %118 %262 %662)
(fma.f64 %118 (*.f64 %414 %24) %5)
(fma.f64 %118 y %5)
(fma.f64 %23 (*.f64 %50 %24) %5)
(fma.f64 %23 #s(literal 1 binary64) %5)
(fma.f64 %60 %202 %660)
(fma.f64 %60 %202 %662)
(fma.f64 %60 %446 %5)
(fma.f64 %60 %86 %674)
(fma.f64 %60 %86 %676)
(fma.f64 %60 %59 %684)
(fma.f64 %60 %59 %451)
(fma.f64 %60 %59 %23)
(fma.f64 %130 %24 %5)
(fma.f64 %130 %5 %660)
(fma.f64 %130 %5 %662)
(fma.f64 %74 %19 %684)
(fma.f64 %74 %19 %451)
(fma.f64 %74 %19 %23)
(fma.f64 %74 %129 %660)
(fma.f64 %74 %129 %662)
(fma.f64 %74 %5 %674)
(fma.f64 %74 %5 %676)
(fma.f64 %24 %130 %5)
(fma.f64 %623 #s(literal -1 binary64) %654)
(fma.f64 %623 #s(literal -1 binary64) %656)
(fma.f64 %1 %273 %674)
(fma.f64 %1 %273 %676)
(fma.f64 %1 %275 %660)
(fma.f64 %1 %275 %662)
(fma.f64 %1 %277 %674)
(fma.f64 %1 %277 %676)
(fma.f64 %1 %37 %684)
(fma.f64 %1 %37 %451)
(fma.f64 %1 %37 %23)
(fma.f64 %1 %1 %684)
(fma.f64 %1 %1 %451)
(fma.f64 %1 %1 %23)
(fma.f64 %30 %283 %674)
(fma.f64 %30 %283 %676)
(fma.f64 %30 %285 %660)
(fma.f64 %30 %285 %662)
(fma.f64 %30 %287 %674)
(fma.f64 %30 %287 %676)
(fma.f64 %30 %40 %684)
(fma.f64 %30 %40 %451)
(fma.f64 %30 %40 %23)
(fma.f64 %30 %30 %684)
(fma.f64 %30 %30 %451)
(fma.f64 %30 %30 %23)
(fma.f64 #s(literal 1 binary64) %23 %5)
(fma.f64 #s(literal 1 binary64) %627 %654)
(fma.f64 #s(literal 1 binary64) %627 %656)
(fma.f64 #s(literal 1 binary64) %5 %684)
(fma.f64 #s(literal 1 binary64) %5 %451)
(fma.f64 #s(literal 1 binary64) %5 %23)
(fma.f64 #s(literal 2 binary64) %641 %654)
(fma.f64 #s(literal 2 binary64) %641 %656)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %393) %5)
(fma.f64 %19 %74 %684)
(fma.f64 %19 %74 %451)
(fma.f64 %19 %74 %23)
(fma.f64 %627 #s(literal 1/2 binary64) %628)
(fma.f64 %627 #s(literal 1 binary64) %654)
(fma.f64 %627 #s(literal 1 binary64) %656)
(fma.f64 %129 (*.f64 %60 %24) %5)
(fma.f64 %129 #s(literal -1 binary64) %5)
(fma.f64 %129 %74 %660)
(fma.f64 %129 %74 %662)
(fma.f64 %18 %298 %660)
(fma.f64 %18 %298 %662)
(fma.f64 %18 (*.f64 %244 %24) %5)
(fma.f64 %18 (*.f64 y #s(literal -1 binary64)) %5)
(fma.f64 %18 %116 %5)
(fma.f64 #s(literal 4 binary64) %300 %660)
(fma.f64 #s(literal 4 binary64) %300 %662)
(fma.f64 #s(literal 4 binary64) (*.f64 %245 %24) %5)
(fma.f64 #s(literal 4 binary64) (*.f64 %21 #s(literal -1 binary64)) %5)
(fma.f64 #s(literal 4 binary64) %393 %5)
(fma.f64 y %302 %660)
(fma.f64 y %302 %662)
(fma.f64 y (*.f64 %404 %24) %5)
(fma.f64 y (*.f64 %18 #s(literal -1 binary64)) %5)
(fma.f64 y %118 %5)
(fma.f64 %5 %82 %684)
(fma.f64 %5 %82 %451)
(fma.f64 %5 %82 %23)
(fma.f64 %5 %130 %660)
(fma.f64 %5 %130 %662)
(fma.f64 %5 %74 %674)
(fma.f64 %5 %74 %676)
(fma.f64 %5 #s(literal 1 binary64) %684)
(fma.f64 %5 #s(literal 1 binary64) %451)
(fma.f64 %5 #s(literal 1 binary64) %23)
(fma.f64 x %311 %674)
(fma.f64 x %311 %676)
(fma.f64 x %313 %660)
(fma.f64 x %313 %662)
(fma.f64 x %315 %674)
(fma.f64 x %315 %676)
(fma.f64 x %43 %684)
(fma.f64 x %43 %451)
(fma.f64 x %43 %23)
(fma.f64 x x %684)
(fma.f64 x x %451)
(fma.f64 x x %23)
(-.f64 %23 %62)
(-.f64 %5 %129)
(+.f64 %684 %5)
(+.f64 %628 %628)
(+.f64 %641 %641)
(+.f64 %451 %5)
(+.f64 %131 %660)
(+.f64 %131 %662)
(+.f64 %114 %674)
(+.f64 %114 %676)
(+.f64 %23 %5)
(+.f64 %627 %654)
(+.f64 %627 %656)
(+.f64 %5 %684)
(+.f64 %5 %451)
(+.f64 %5 %23)
(pow.f64 %19 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %60)
(neg.f64 %24)
(fma.f64 %375 %374 %5)
(fma.f64 %3 %2 %129)
(fma.f64 %7 #s(literal 1/2 binary64) %129)
(fma.f64 %377 #s(literal 1/2 binary64) %5)
(fma.f64 %10 #s(literal 2 binary64) %129)
(fma.f64 %379 #s(literal 2 binary64) %5)
(fma.f64 %381 #s(literal 2 binary64) %5)
(fma.f64 %14 %14 %129)
(fma.f64 %383 %383 %5)
(fma.f64 %385 %385 %5)
(fma.f64 %359 %359 %5)
(fma.f64 %388 %388 %5)
(fma.f64 %390 %390 %5)
(fma.f64 %363 %363 %5)
(fma.f64 %20 %25 %129)
(fma.f64 %27 %28 %129)
(fma.f64 %31 %32 %129)
(fma.f64 %34 %35 %129)
(fma.f64 %37 %37 %129)
(fma.f64 %37 %1 %129)
(fma.f64 %40 %40 %129)
(fma.f64 %40 %30 %129)
(fma.f64 %43 %43 %129)
(fma.f64 %43 x %129)
(fma.f64 %393 #s(literal -4 binary64) %5)
(fma.f64 %46 %24 %129)
(fma.f64 %48 %50 %129)
(fma.f64 %374 %395 %5)
(fma.f64 %2 %52 %129)
(fma.f64 %2 %54 %129)
(fma.f64 %21 %398 %5)
(fma.f64 %21 #s(literal 4 binary64) %5)
(fma.f64 %28 %27 %129)
(fma.f64 %32 %31 %129)
(fma.f64 %35 %34 %129)
(fma.f64 %244 %402 %5)
(fma.f64 %404 %405 %5)
(fma.f64 #s(literal -4 binary64) %393 %5)
(fma.f64 %116 %409 %5)
(fma.f64 %116 %411 %5)
(fma.f64 %116 %118 %5)
(fma.f64 %59 %60 %129)
(fma.f64 %62 %63 %129)
(fma.f64 %62 %65 %129)
(fma.f64 %12 %67 %129)
(fma.f64 %12 %14 %129)
(fma.f64 %12 %70 %129)
(fma.f64 %12 %12 %129)
(fma.f64 %118 %415 %5)
(fma.f64 %118 %417 %5)
(fma.f64 %118 %116 %5)
(fma.f64 %23 %63 %5)
(fma.f64 %60 %421 %5)
(fma.f64 %60 %59 %129)
(fma.f64 %130 %19 %5)
(fma.f64 %74 %19 %129)
(fma.f64 %1 %37 %129)
(fma.f64 %1 %1 %129)
(fma.f64 %30 %40 %129)
(fma.f64 %30 %30 %129)
(fma.f64 #s(literal 1 binary64) %129 %5)
(fma.f64 #s(literal 1 binary64) %5 %129)
(fma.f64 #s(literal 2 binary64) %425 %5)
(fma.f64 %19 %130 %5)
(fma.f64 %19 %74 %129)
(fma.f64 %129 #s(literal 1 binary64) %5)
(fma.f64 %18 %429 %5)
(fma.f64 %18 %431 %5)
%19
(fma.f64 #s(literal 4 binary64) %433 %5)
(fma.f64 #s(literal 4 binary64) %435 %5)
(fma.f64 #s(literal 4 binary64) %21 %5)
(fma.f64 y %438 %5)
(fma.f64 y %440 %5)
(fma.f64 y %18 %5)
(fma.f64 %5 %82 %129)
(fma.f64 %5 #s(literal 1 binary64) %129)
(fma.f64 x %43 %129)
(fma.f64 x x %129)
(-.f64 %129 %62)
(-.f64 %5 %23)
(+.f64 %129 %5)
(+.f64 %5 %129)
(*.f64 (*.f64 %60 %633) #s(literal 1/2 binary64))
(*.f64 %1087 %1088)
(*.f64 %630 %1090)
(*.f64 %633 %1092)
(*.f64 %646 (/.f64 #s(literal 1 binary64) %1094))
(*.f64 %1088 %636)
(*.f64 #s(literal 1/2 binary64) %1099)
(*.f64 %50 %623)
(*.f64 %636 %1088)
(*.f64 #s(literal -1 binary64) %1103)
(*.f64 %60 %627)
(*.f64 %623 %50)
(*.f64 #s(literal 1 binary64) %1098)
(*.f64 #s(literal 2 binary64) (*.f64 %1090 %623))
(*.f64 #s(literal 2 binary64) (*.f64 %1092 %627))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %1098))
(*.f64 %1098 #s(literal 1 binary64))
(*.f64 %627 %60)
(pow.f64 %1098 #s(literal 1 binary64))
(/.f64 (*.f64 %636 #s(literal 1 binary64)) %1118)
(/.f64 (*.f64 #s(literal 1 binary64) %646) %1094)
(/.f64 %1087 %1118)
(/.f64 %1099 #s(literal 2 binary64))
(/.f64 (/.f64 %636 %1124) %1124)
(/.f64 (fma.f64 %246 %24 %62) %24)
(/.f64 (fma.f64 %246 %19 %5) %19)
(/.f64 (-.f64 (*.f64 %74 %1118) %421) %1118)
(/.f64 (-.f64 (*.f64 %246 %24) %5) %24)
(/.f64 (-.f64 (*.f64 %59 %1118) (*.f64 %1118 %421)) (*.f64 %1118 %1118))
(/.f64 (*.f64 #s(literal 2 binary64) %646) (*.f64 #s(literal 2 binary64) %1094))
(/.f64 (*.f64 #s(literal 2 binary64) %636) (*.f64 #s(literal 2 binary64) %1118))
(/.f64 (*.f64 #s(literal 2 binary64) %623) (*.f64 #s(literal 2 binary64) %24))
(/.f64 %633 (*.f64 #s(literal 2 binary64) %19))
(/.f64 %646 %1094)
(/.f64 %636 %1118)
(/.f64 %623 %24)
(/.f64 #s(literal 1 binary64) (/.f64 %1094 %646))
(/.f64 #s(literal 1 binary64) (pow.f64 %1098 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %1118 %636))
(/.f64 #s(literal 1 binary64) (/.f64 %24 %623))
(/.f64 #s(literal 1 binary64) (/.f64 %19 %627))
%1098
(neg.f64 %1103)
(fma.f64 %1167 %2 %1168)
(fma.f64 %1167 %2 %1170)
(fma.f64 %1167 %2 %246)
(fma.f64 (*.f64 %23 #s(literal 2 binary64)) %1092 %74)
(fma.f64 %1175 %1090 %1168)
(fma.f64 %1175 %1090 %1170)
(fma.f64 %1175 %1090 %246)
(fma.f64 (*.f64 %60 %393) #s(literal 4 binary64) %74)
(fma.f64 (*.f64 %60 #s(literal -4 binary64)) %21 %74)
(fma.f64 (*.f64 %60 %116) %18 %74)
(fma.f64 (*.f64 %60 %118) y %74)
(fma.f64 %7 %1092 %1168)
(fma.f64 %7 %1092 %1170)
(fma.f64 %7 %1092 %246)
(fma.f64 %377 %1090 %74)
(fma.f64 (*.f64 %23 #s(literal -1 binary64)) %50 %74)
(fma.f64 %451 %60 %74)
(fma.f64 %1194 %1195 %1168)
(fma.f64 %1194 %1195 %1170)
(fma.f64 %1194 %1195 %246)
(fma.f64 %1199 %1200 %1168)
(fma.f64 %1199 %1200 %1170)
(fma.f64 %1199 %1200 %246)
(fma.f64 %1204 %1205 %1168)
(fma.f64 %1204 %1205 %1170)
(fma.f64 %1204 %1205 %246)
(fma.f64 %1209 %1210 %1168)
(fma.f64 %1209 %1210 %1170)
(fma.f64 %1209 %1210 %246)
(fma.f64 %1210 %1209 %1168)
(fma.f64 %1210 %1209 %1170)
(fma.f64 %1210 %1209 %246)
(fma.f64 %65 %46 %1168)
(fma.f64 %65 %46 %1170)
(fma.f64 %65 %46 %246)
(fma.f64 %82 %74 %1168)
(fma.f64 %82 %74 %1170)
(fma.f64 %82 %74 %246)
(fma.f64 %1223 %1224 %1168)
(fma.f64 %1223 %1224 %1170)
(fma.f64 %1223 %1224 %246)
(fma.f64 %110 %50 %1168)
(fma.f64 %110 %50 %1170)
(fma.f64 %110 %50 %246)
(fma.f64 %245 #s(literal -4 binary64) %74)
(fma.f64 %397 %393 %74)
(fma.f64 %25 %70 %1168)
(fma.f64 %25 %70 %1170)
(fma.f64 %25 %70 %246)
(fma.f64 %25 %1236 %1168)
(fma.f64 %25 %1236 %1170)
(fma.f64 %25 %1236 %246)
(fma.f64 %25 %12 %1168)
(fma.f64 %25 %12 %1170)
(fma.f64 %25 %12 %246)
(fma.f64 %414 %18 %74)
(fma.f64 %408 y %74)
(fma.f64 %393 %397 %74)
(fma.f64 %46 %65 %1168)
(fma.f64 %46 %65 %1170)
(fma.f64 %46 %65 %246)
(fma.f64 %2 %1249 %1168)
(fma.f64 %2 %1249 %1170)
(fma.f64 %2 %1249 %246)
(fma.f64 %21 (neg.f64 %397) %74)
(fma.f64 %21 (*.f64 #s(literal -4 binary64) %60) %74)
(fma.f64 %21 (*.f64 #s(literal 4 binary64) %50) %74)
(fma.f64 %21 (/.f64 #s(literal -4 binary64) %19) %74)
(fma.f64 %21 (/.f64 #s(literal 4 binary64) %24) %74)
(fma.f64 %28 %37 %1168)
(fma.f64 %28 %37 %1170)
(fma.f64 %28 %37 %246)
(fma.f64 %28 %1 %1168)
(fma.f64 %28 %1 %1170)
(fma.f64 %28 %1 %246)
(fma.f64 %32 %40 %1168)
(fma.f64 %32 %40 %1170)
(fma.f64 %32 %40 %246)
(fma.f64 %32 %30 %1168)
(fma.f64 %32 %30 %1170)
(fma.f64 %32 %30 %246)
(fma.f64 %35 %43 %1168)
(fma.f64 %35 %43 %1170)
(fma.f64 %35 %43 %246)
(fma.f64 %35 x %1168)
(fma.f64 %35 x %1170)
(fma.f64 %35 x %246)
(fma.f64 %244 %118 %74)
(fma.f64 %404 %116 %74)
(fma.f64 #s(literal -4 binary64) %245 %74)
(fma.f64 %116 %404 %74)
(fma.f64 %50 %62 %1168)
(fma.f64 %50 %62 %1170)
(fma.f64 %50 %62 %246)
(fma.f64 %50 %129 %74)
(fma.f64 %246 #s(literal 1 binary64) %74)
(fma.f64 %59 %1088 %1168)
(fma.f64 %59 %1088 %1170)
(fma.f64 %59 %1088 %246)
(fma.f64 %62 %50 %1168)
(fma.f64 %62 %50 %1170)
(fma.f64 %62 %50 %246)
(fma.f64 %12 %1296 %1168)
(fma.f64 %12 %1296 %1170)
(fma.f64 %12 %1296 %246)
(fma.f64 %12 %25 %1168)
(fma.f64 %12 %25 %1170)
(fma.f64 %12 %25 %246)
(fma.f64 #s(literal -1 binary64) %46 %1168)
(fma.f64 #s(literal -1 binary64) %46 %1170)
(fma.f64 #s(literal -1 binary64) %46 %246)
(fma.f64 #s(literal -1 binary64) %130 %74)
(fma.f64 %118 %244 %74)
(fma.f64 %23 %60 %74)
(fma.f64 %60 %684 %74)
(fma.f64 %60 %23 %74)
(fma.f64 %60 %5 %1168)
(fma.f64 %60 %5 %1170)
(fma.f64 %60 %5 %246)
(fma.f64 %74 %82 %1168)
(fma.f64 %74 %82 %1170)
(fma.f64 %74 %82 %246)
(fma.f64 %74 #s(literal 1 binary64) %1168)
(fma.f64 %74 #s(literal 1 binary64) %1170)
(fma.f64 %74 #s(literal 1 binary64) %246)
(fma.f64 %1 %1320 %1168)
(fma.f64 %1 %1320 %1170)
(fma.f64 %1 %1320 %246)
(fma.f64 %1 %28 %1168)
(fma.f64 %1 %28 %1170)
(fma.f64 %1 %28 %246)
(fma.f64 %30 %1327 %1168)
(fma.f64 %30 %1327 %1170)
(fma.f64 %30 %1327 %246)
(fma.f64 %30 %32 %1168)
(fma.f64 %30 %32 %1170)
(fma.f64 %30 %32 %246)
(fma.f64 #s(literal 1 binary64) %246 %74)
(fma.f64 #s(literal 1 binary64) %74 %1168)
(fma.f64 #s(literal 1 binary64) %74 %1170)
(fma.f64 #s(literal 1 binary64) %74 %246)
(fma.f64 #s(literal 2 binary64) %1338 %1168)
(fma.f64 #s(literal 2 binary64) %1338 %1170)
(fma.f64 #s(literal 2 binary64) %1338 %246)
(fma.f64 #s(literal 2 binary64) (*.f64 %1092 %23) %74)
(fma.f64 %19 %1344 %1168)
(fma.f64 %19 %1344 %1170)
(fma.f64 %19 %1344 %246)
(fma.f64 %19 %1348 %1168)
(fma.f64 %19 %1348 %1170)
(fma.f64 %19 %1348 %246)
(fma.f64 %129 %50 %74)
(fma.f64 %18 %414 %74)
(fma.f64 #s(literal 4 binary64) (*.f64 %116 %244) %74)
(fma.f64 #s(literal 4 binary64) (*.f64 %393 %60) %74)
(fma.f64 #s(literal 4 binary64) (/.f64 %393 %19) %74)
(fma.f64 #s(literal 4 binary64) (neg.f64 %245) %74)
(fma.f64 #s(literal 4 binary64) (*.f64 y %414) %74)
(fma.f64 #s(literal 4 binary64) (*.f64 %21 %50) %74)
(fma.f64 #s(literal 4 binary64) (/.f64 %21 %24) %74)
(fma.f64 y %408 %74)
(fma.f64 %5 %1369 %1168)
(fma.f64 %5 %1369 %1170)
(fma.f64 %5 %1369 %246)
(fma.f64 %5 %60 %1168)
(fma.f64 %5 %60 %1170)
(fma.f64 %5 %60 %246)
(fma.f64 x %1376 %1168)
(fma.f64 x %1376 %1170)
(fma.f64 x %1376 %246)
(fma.f64 x %35 %1168)
(fma.f64 x %35 %1170)
(fma.f64 x %35 %246)
(-.f64 %246 %46)
(-.f64 %74 %130)
(+.f64 %246 %74)
(+.f64 %74 %1168)
(+.f64 %74 %1170)
(+.f64 %74 %246)

%1 = (*.f64 x x)
%4 = (*.f64 y #s(literal 4 binary64))
%5 = (*.f64 %4 y)
%6 = (-.f64 %1 %5)
%7 = (+.f64 %1 %5)
%10 = (* x x)
%13 = (* (* y 4) y)
%16 = (/ (- %10 %13) (+ %10 %13))
%20 = (*.f64 #s(literal 4 binary64) y)
%21 = (fma.f64 %20 y %1)
%22 = (*.f64 y y)
%23 = (*.f64 #s(literal -4 binary64) y)
%24 = (*.f64 %20 y)
%25 = (fma.f64 %22 #s(literal -4 binary64) %1)
%26 = (fma.f64 y %23 %1)
%27 = (fma.f64 x x %24)
x
%1
y
#s(literal 4 binary64)
%4
%5
%6
%7
#s(literal -4 binary64)
#s(literal -1 binary64)
(approx %16 #s(literal -1 binary64))
#s(literal 1 binary64)
(approx %16 #s(literal 1 binary64))
%20
%21
%22
%23
%24
%25
%26
%27
(/.f64 %25 %21)
(/.f64 %26 %7)
(/.f64 %6 %27)

%1 = (fabs.f64 x)
%2 = (neg.f64 %1)
%3 = (neg.f64 %2)
%4 = (neg.f64 %3)
%11 = (neg.f64 x)
%14 = (*.f64 x x)
%18 = (*.f64 %14 %14)
%29 = (*.f64 %11 x)
%52 = (neg.f64 y)
%54 = (*.f64 %52 #s(literal -4 binary64))
%55 = (*.f64 #s(literal 4 binary64) y)
%56 = (*.f64 #s(literal 1 binary64) %55)
%57 = (*.f64 #s(literal -4 binary64) %52)
%58 = (*.f64 y #s(literal 4 binary64))
%59 = (pow.f64 %55 #s(literal 1 binary64))
%61 = (/.f64 #s(literal 1 binary64) (pow.f64 %55 #s(literal -1 binary64)))
%62 = (*.f64 #s(literal -4 binary64) y)
%63 = (neg.f64 %62)
%64 = (fabs.f64 y)
%65 = (neg.f64 %64)
%66 = (neg.f64 %65)
%67 = (*.f64 %66 #s(literal 2 binary64))
%68 = (*.f64 %67 %67)
%69 = (*.f64 %65 #s(literal 2 binary64))
%70 = (*.f64 %69 %69)
%71 = (*.f64 %64 #s(literal 2 binary64))
%72 = (*.f64 %71 %71)
%73 = (*.f64 %52 #s(literal 2 binary64))
%74 = (*.f64 %73 %73)
%75 = (*.f64 y #s(literal 2 binary64))
%76 = (*.f64 %75 %75)
%77 = (*.f64 #s(literal 2 binary64) %66)
%78 = (*.f64 %77 %77)
%79 = (*.f64 #s(literal 2 binary64) %65)
%80 = (*.f64 %79 %79)
%81 = (*.f64 #s(literal 2 binary64) %64)
%82 = (*.f64 %81 %81)
%83 = (*.f64 #s(literal 2 binary64) %52)
%84 = (*.f64 %83 %83)
%85 = (*.f64 #s(literal 2 binary64) y)
%86 = (*.f64 %85 %85)
%87 = (*.f64 #s(literal 4 binary64) %65)
%88 = (*.f64 %87 %65)
%89 = (*.f64 %64 #s(literal -4 binary64))
%90 = (*.f64 %89 %65)
%91 = (*.f64 %64 #s(literal 4 binary64))
%92 = (*.f64 %91 %64)
%93 = (*.f64 %52 y)
%94 = (*.f64 %93 #s(literal -4 binary64))
%95 = (*.f64 %65 #s(literal 4 binary64))
%96 = (*.f64 %65 %95)
%97 = (*.f64 %65 %89)
%98 = (*.f64 %64 %91)
%99 = (*.f64 %52 %62)
%100 = (*.f64 %62 %52)
%101 = (*.f64 y y)
%102 = (*.f64 %101 #s(literal 4 binary64))
%103 = (*.f64 %55 y)
%104 = (*.f64 #s(literal 1 binary64) %102)
%105 = (*.f64 #s(literal -4 binary64) %93)
%106 = (*.f64 #s(literal 4 binary64) %101)
%107 = (*.f64 y %55)
%108 = (pow.f64 %102 #s(literal 1 binary64))
%110 = (/.f64 #s(literal 1 binary64) (pow.f64 %102 #s(literal -1 binary64)))
%111 = (*.f64 %62 y)
%112 = (neg.f64 %111)
%113 = (fma.f64 %62 y %14)
%114 = (/.f64 %113 #s(literal 1/2 binary64))
%115 = (*.f64 %114 #s(literal 1/2 binary64))
%116 = (/.f64 %113 #s(literal 4 binary64))
%117 = (*.f64 %116 #s(literal 4 binary64))
%118 = (*.f64 %113 #s(literal 2 binary64))
%119 = (*.f64 %118 #s(literal 1/2 binary64))
%120 = (*.f64 %113 #s(literal 1/2 binary64))
%121 = (*.f64 %120 #s(literal 2 binary64))
%122 = (*.f64 %113 #s(literal 1 binary64))
%123 = (*.f64 #s(literal 1 binary64) %113)
%124 = (pow.f64 %113 #s(literal 1 binary64))
%126 = (*.f64 #s(literal -2 binary64) %118)
%127 = (/.f64 %126 #s(literal -4 binary64))
%128 = (*.f64 #s(literal 2 binary64) %118)
%129 = (/.f64 %128 #s(literal 4 binary64))
%130 = (*.f64 #s(literal 1 binary64) %118)
%131 = (/.f64 %130 #s(literal 2 binary64))
%132 = (*.f64 %118 #s(literal -2 binary64))
%133 = (/.f64 %132 #s(literal -4 binary64))
%134 = (*.f64 %118 #s(literal 2 binary64))
%135 = (/.f64 %134 #s(literal 4 binary64))
%136 = (*.f64 %118 #s(literal 1 binary64))
%137 = (/.f64 %136 #s(literal 2 binary64))
%139 = (/.f64 (neg.f64 %118) #s(literal -2 binary64))
%140 = (/.f64 %118 #s(literal 2 binary64))
%141 = (/.f64 %113 #s(literal 1 binary64))
%143 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %118))
%145 = (/.f64 #s(literal 1 binary64) (pow.f64 %113 #s(literal -1 binary64)))
%146 = (-.f64 %102 %14)
%147 = (*.f64 %146 #s(literal 1 binary64))
%148 = (neg.f64 %147)
%149 = (neg.f64 %146)
%151 = (*.f64 %113 #s(literal 0 binary64))
%152 = (fma.f64 %114 #s(literal 1/2 binary64) %151)
%153 = (*.f64 #s(literal 0 binary64) %113)
%154 = (fma.f64 %114 #s(literal 1/2 binary64) %153)
%155 = (fma.f64 %116 #s(literal 4 binary64) %151)
%156 = (fma.f64 %116 #s(literal 4 binary64) %153)
%157 = (fma.f64 %4 %4 %111)
%159 = (fma.f64 (*.f64 #s(literal -4 binary64) %65) %65 %14)
%160 = (fma.f64 %118 #s(literal 1/2 binary64) %151)
%161 = (fma.f64 %118 #s(literal 1/2 binary64) %153)
%162 = (fma.f64 %120 #s(literal 2 binary64) %151)
%163 = (fma.f64 %120 #s(literal 2 binary64) %153)
%164 = (fma.f64 %3 %3 %111)
%165 = (fma.f64 %3 %1 %111)
%166 = (fma.f64 %89 %64 %14)
%167 = (fma.f64 %91 %65 %14)
%168 = (fma.f64 %93 #s(literal 4 binary64) %14)
%170 = (fma.f64 %65 (*.f64 %65 #s(literal -4 binary64)) %14)
%171 = (fma.f64 %2 %2 %111)
%172 = (*.f64 #s(literal 1/2 binary64) %113)
%173 = (fma.f64 #s(literal 1/2 binary64) %113 %172)
%174 = (fma.f64 %64 %89 %14)
%175 = (fma.f64 %1 %3 %111)
%176 = (fma.f64 %1 %1 %111)
%177 = (fma.f64 %52 %55 %14)
%178 = (fma.f64 %11 %11 %111)
%179 = (fma.f64 %113 #s(literal 1/2 binary64) %120)
%180 = (fma.f64 %113 #s(literal 1 binary64) %151)
%181 = (fma.f64 %113 #s(literal 1 binary64) %153)
%182 = (fma.f64 %101 #s(literal -4 binary64) %14)
%183 = (fma.f64 %55 %52 %14)
%184 = (fma.f64 #s(literal 1 binary64) %111 %14)
%185 = (fma.f64 #s(literal 1 binary64) %113 %151)
%186 = (fma.f64 #s(literal 1 binary64) %113 %153)
%187 = (fma.f64 #s(literal 1 binary64) %14 %111)
%188 = (fma.f64 #s(literal -4 binary64) %101 %14)
%189 = (fma.f64 #s(literal 4 binary64) %93 %14)
%190 = (fma.f64 y %62 %14)
%191 = (fma.f64 x x %111)
%193 = (-.f64 %120 (neg.f64 %120))
%195 = (-.f64 %172 (neg.f64 %172))
%196 = (-.f64 %111 %29)
%198 = (-.f64 %113 (neg.f64 %151))
%200 = (-.f64 %113 (neg.f64 %153))
%201 = (-.f64 %14 %102)
%202 = (+.f64 %120 %120)
%203 = (+.f64 %172 %172)
%204 = (+.f64 %111 %14)
%205 = (+.f64 %113 %151)
%206 = (+.f64 %113 %153)
%207 = (+.f64 %14 %111)
%208 = (fma.f64 %101 #s(literal 4 binary64) %14)
%209 = (*.f64 #s(literal 1 binary64) %208)
%210 = (pow.f64 %208 #s(literal 1 binary64))
%211 = (/.f64 #s(literal 1 binary64) %208)
%212 = (/.f64 #s(literal 1 binary64) %211)
%213 = (-.f64 %111 %14)
%214 = (neg.f64 %213)
%215 = (fma.f64 %67 %67 %14)
%216 = (fma.f64 %69 %69 %14)
%217 = (fma.f64 %71 %71 %14)
%218 = (fma.f64 %73 %73 %14)
%219 = (fma.f64 %75 %75 %14)
%220 = (fma.f64 %77 %77 %14)
%221 = (fma.f64 %79 %79 %14)
%222 = (fma.f64 %81 %81 %14)
%223 = (fma.f64 %83 %83 %14)
%224 = (fma.f64 %85 %85 %14)
%225 = (fma.f64 %4 %4 %102)
%226 = (fma.f64 %87 %65 %14)
%227 = (fma.f64 %3 %3 %102)
%228 = (fma.f64 %3 %1 %102)
%229 = (fma.f64 %89 %65 %14)
%230 = (fma.f64 %91 %64 %14)
%231 = (fma.f64 %93 #s(literal -4 binary64) %14)
%232 = (fma.f64 %65 %95 %14)
%233 = (fma.f64 %65 %89 %14)
%234 = (fma.f64 %2 %2 %102)
%235 = (fma.f64 %64 %91 %14)
%236 = (fma.f64 %1 %3 %102)
%237 = (fma.f64 %1 %1 %102)
%238 = (fma.f64 %52 %62 %14)
%239 = (fma.f64 %11 %11 %102)
%240 = (fma.f64 %62 %52 %14)
%241 = (fma.f64 %55 y %14)
%242 = (fma.f64 #s(literal 1 binary64) %102 %14)
%243 = (fma.f64 #s(literal 1 binary64) %14 %102)
%244 = (fma.f64 #s(literal -4 binary64) %93 %14)
%245 = (fma.f64 #s(literal 4 binary64) %101 %14)
%246 = (fma.f64 y %55 %14)
%247 = (fma.f64 x x %102)
%248 = (-.f64 %102 %29)
%249 = (-.f64 %14 %111)
%250 = (+.f64 %102 %14)
%251 = (+.f64 %14 %102)
%255 = (* x x)
%261 = (/ (- (* (* y y) 4) %255) (- (* (* -4 y) y) %255))
%262 = (approx %261 #s(literal -1 binary64))
%267 = (approx %261 #s(literal 1 binary64))
%272 = (neg.f64 %66)
%280 = (*.f64 %101 %101)
%317 = (fabs.f64 %208)
%318 = (/.f64 %208 %317)
%319 = (/.f64 %113 %317)
%320 = (*.f64 %318 %319)
%321 = (/.f64 %208 %213)
%322 = (/.f64 %113 %213)
%323 = (*.f64 %321 %322)
%324 = (/.f64 %208 %208)
%325 = (/.f64 %113 %208)
%326 = (*.f64 %324 %325)
%327 = (*.f64 %113 #s(literal -1 binary64))
%328 = (/.f64 #s(literal -1 binary64) %208)
%329 = (*.f64 %327 %328)
%330 = (/.f64 #s(literal 1/2 binary64) %208)
%331 = (*.f64 %118 %330)
%332 = (*.f64 #s(literal -1 binary64) %113)
%333 = (*.f64 %332 %328)
%334 = (*.f64 %147 %328)
%335 = (*.f64 %14 %213)
%336 = (fma.f64 %208 %102 %335)
%337 = (*.f64 %213 %208)
%338 = (/.f64 #s(literal 1 binary64) %337)
%339 = (*.f64 %336 %338)
%340 = (/.f64 %111 %208)
%342 = (-.f64 (*.f64 %340 %213) %14)
%343 = (*.f64 %342 %328)
%344 = (/.f64 %14 %208)
%345 = (fma.f64 %344 %213 %102)
%346 = (*.f64 %345 %328)
%347 = (*.f64 %102 %213)
%348 = (fma.f64 %29 %213 %347)
%349 = (pow.f64 %208 #s(literal -2 binary64))
%350 = (*.f64 %348 %349)
%351 = (*.f64 %111 %213)
%352 = (fma.f64 %29 %208 %351)
%353 = (*.f64 %352 %338)
%354 = (*.f64 %29 %213)
%355 = (fma.f64 %102 %213 %354)
%356 = (*.f64 %355 %349)
%357 = (*.f64 %208 %14)
%358 = (-.f64 %351 %357)
%359 = (*.f64 %208 %213)
%360 = (/.f64 #s(literal 1 binary64) %359)
%361 = (*.f64 %358 %360)
%362 = (*.f64 %213 %102)
%363 = (fma.f64 %29 %213 %362)
%364 = (*.f64 %363 %349)
%365 = (*.f64 %213 %111)
%366 = (fma.f64 %29 %208 %365)
%367 = (*.f64 %366 %338)
%368 = (*.f64 %208 %102)
%369 = (fma.f64 %14 %213 %368)
%370 = (*.f64 %369 %360)
%371 = (*.f64 %213 %29)
%372 = (fma.f64 %102 %213 %371)
%373 = (*.f64 %372 %349)
%374 = (-.f64 %354 %365)
%375 = (*.f64 %374 %349)
%376 = (*.f64 %29 %208)
%377 = (-.f64 %376 %362)
%378 = (*.f64 %377 %338)
%379 = (-.f64 %368 %371)
%380 = (*.f64 %379 %338)
%381 = (*.f64 %111 %208)
%382 = (*.f64 %208 %29)
%383 = (-.f64 %381 %382)
%384 = (*.f64 %383 %349)
%385 = (fma.f64 %111 #s(literal 1 binary64) %14)
%386 = (neg.f64 %385)
%387 = (*.f64 %386 %328)
%388 = (fma.f64 %14 #s(literal 1 binary64) %111)
%389 = (neg.f64 %388)
%390 = (*.f64 %389 %328)
%391 = (*.f64 %208 %113)
%392 = (neg.f64 %391)
%393 = (*.f64 %208 %208)
%394 = (neg.f64 %393)
%395 = (/.f64 #s(literal 1 binary64) %394)
%396 = (*.f64 %392 %395)
%397 = (*.f64 %328 %146)
%398 = (*.f64 %385 %211)
%399 = (*.f64 %388 %211)
%400 = (*.f64 %391 %349)
%401 = (*.f64 %211 %113)
%402 = (*.f64 %146 %328)
%403 = (*.f64 %330 %113)
%404 = (*.f64 #s(literal 2 binary64) %403)
%405 = (*.f64 %113 %211)
%406 = (*.f64 #s(literal 1 binary64) %325)
%407 = (pow.f64 %325 #s(literal 1 binary64))
%408 = (/.f64 %381 %393)
%410 = (/.f64 (fma.f64 %408 %393 %357) %393)
%411 = (*.f64 %111 #s(literal -1 binary64))
%413 = (/.f64 (fma.f64 %344 %213 %411) %213)
%414 = (*.f64 %14 #s(literal -1 binary64))
%416 = (/.f64 (fma.f64 %340 %213 %414) %213)
%417 = (/.f64 %357 %393)
%420 = (/.f64 (-.f64 (*.f64 %417 %393) %368) %393)
%422 = (*.f64 %102 #s(literal -1 binary64))
%424 = (/.f64 (-.f64 (*.f64 %344 %213) %422) %213)
%425 = (*.f64 %357 %393)
%427 = (*.f64 %393 %393)
%428 = (/.f64 (fma.f64 %381 %393 %425) %427)
%429 = (*.f64 %14 #s(literal 1 binary64))
%430 = (*.f64 %111 #s(literal 1 binary64))
%431 = (*.f64 %430 %208)
%433 = (/.f64 (fma.f64 %429 %208 %431) %393)
%434 = (*.f64 %411 %208)
%436 = (/.f64 (fma.f64 %429 %213 %434) %359)
%437 = (*.f64 %430 %213)
%439 = (/.f64 (fma.f64 %414 %208 %437) %337)
%440 = (*.f64 %411 %213)
%442 = (/.f64 (fma.f64 %414 %213 %440) %393)
%444 = (/.f64 (fma.f64 %414 %208 %351) %337)
%446 = (/.f64 (fma.f64 %414 %213 %347) %393)
%448 = (/.f64 (fma.f64 %29 %208 %437) %337)
%450 = (/.f64 (fma.f64 %29 %213 %440) %393)
%451 = (*.f64 %208 x)
%453 = (/.f64 (fma.f64 %451 x %431) %393)
%455 = (/.f64 (fma.f64 %14 %213 %434) %359)
%456 = (*.f64 %429 %208)
%458 = (/.f64 (fma.f64 %430 %208 %456) %393)
%459 = (*.f64 %414 %208)
%461 = (/.f64 (fma.f64 %430 %213 %459) %359)
%463 = (/.f64 (fma.f64 %430 %213 %376) %359)
%464 = (*.f64 %429 %213)
%466 = (/.f64 (fma.f64 %411 %208 %464) %337)
%467 = (*.f64 %414 %213)
%469 = (/.f64 (fma.f64 %411 %213 %467) %393)
%471 = (/.f64 (fma.f64 %411 %213 %354) %393)
%473 = (/.f64 (fma.f64 %411 %208 %335) %337)
%475 = (/.f64 (fma.f64 %111 %208 %456) %393)
%477 = (/.f64 (fma.f64 %111 %213 %459) %359)
%478 = (*.f64 %208 %101)
%480 = (/.f64 (fma.f64 %478 #s(literal 4 binary64) %464) %337)
%482 = (/.f64 (fma.f64 %102 %213 %467) %393)
%484 = (/.f64 (fma.f64 %14 #s(literal -1 binary64) %411) %213)
%486 = (/.f64 (fma.f64 %11 x %411) %213)
%488 = (/.f64 (fma.f64 %14 #s(literal -1 binary64) %102) %213)
%490 = (/.f64 (fma.f64 %111 #s(literal -1 binary64) %414) %213)
%492 = (/.f64 (fma.f64 %101 #s(literal 4 binary64) %414) %213)
%494 = (/.f64 (fma.f64 %111 #s(literal -1 binary64) %29) %213)
%495 = (*.f64 %102 #s(literal 1 binary64))
%497 = (/.f64 (-.f64 %429 %495) %208)
%499 = (/.f64 (-.f64 %14 %495) %208)
%501 = (/.f64 (-.f64 %414 %422) %213)
%503 = (/.f64 (-.f64 %29 %422) %213)
%505 = (/.f64 (-.f64 %414 %111) %213)
%507 = (/.f64 (-.f64 %411 %14) %213)
%510 = (/.f64 (fma.f64 %381 %393 (*.f64 %393 %357)) %427)
%511 = (*.f64 %208 %430)
%513 = (/.f64 (fma.f64 %429 %208 %511) %393)
%514 = (*.f64 %208 %411)
%516 = (/.f64 (fma.f64 %429 %213 %514) %359)
%518 = (/.f64 (fma.f64 %429 %208 %381) %393)
%520 = (/.f64 (fma.f64 %429 %213 %368) %359)
%521 = (*.f64 %213 %430)
%523 = (/.f64 (fma.f64 %414 %208 %521) %337)
%524 = (*.f64 %213 %411)
%526 = (/.f64 (fma.f64 %414 %213 %524) %393)
%528 = (/.f64 (fma.f64 %414 %208 %365) %337)
%530 = (/.f64 (fma.f64 %414 %213 %362) %393)
%532 = (/.f64 (fma.f64 %29 %208 %521) %337)
%534 = (/.f64 (fma.f64 %29 %213 %524) %393)
%536 = (/.f64 (fma.f64 %451 x %511) %393)
%538 = (/.f64 (fma.f64 %14 %213 %514) %359)
%539 = (*.f64 %208 %429)
%541 = (/.f64 (fma.f64 %430 %208 %539) %393)
%542 = (*.f64 %208 %414)
%544 = (/.f64 (fma.f64 %430 %213 %542) %359)
%546 = (/.f64 (fma.f64 %430 %213 %382) %359)
%548 = (/.f64 (fma.f64 %430 %208 %357) %393)
%549 = (*.f64 %213 %429)
%551 = (/.f64 (fma.f64 %411 %208 %549) %337)
%552 = (*.f64 %213 %414)
%554 = (/.f64 (fma.f64 %411 %213 %552) %393)
%556 = (/.f64 (fma.f64 %411 %213 %371) %393)
%557 = (*.f64 %213 %14)
%559 = (/.f64 (fma.f64 %411 %208 %557) %337)
%561 = (/.f64 (fma.f64 %111 %208 %539) %393)
%563 = (/.f64 (fma.f64 %111 %213 %542) %359)
%565 = (/.f64 (fma.f64 %478 #s(literal 4 binary64) %549) %337)
%567 = (/.f64 (fma.f64 %102 %213 %552) %393)
%570 = (/.f64 (-.f64 %425 (*.f64 %393 %368)) %427)
%571 = (*.f64 %208 %495)
%573 = (/.f64 (-.f64 %456 %571) %393)
%574 = (*.f64 %208 %422)
%576 = (/.f64 (-.f64 %464 %574) %359)
%578 = (/.f64 (-.f64 %464 %381) %359)
%580 = (/.f64 (-.f64 %456 %368) %393)
%581 = (*.f64 %213 %495)
%583 = (/.f64 (-.f64 %459 %581) %337)
%584 = (*.f64 %213 %422)
%586 = (/.f64 (-.f64 %467 %584) %393)
%588 = (/.f64 (-.f64 %467 %365) %393)
%590 = (/.f64 (-.f64 %459 %362) %337)
%592 = (/.f64 (-.f64 %376 %581) %337)
%594 = (/.f64 (-.f64 %354 %584) %393)
%596 = (/.f64 (-.f64 %357 %571) %393)
%598 = (/.f64 (-.f64 %335 %574) %359)
%600 = (/.f64 (-.f64 %431 %382) %393)
%602 = (/.f64 (-.f64 %437 %357) %359)
%604 = (/.f64 (-.f64 %434 %371) %337)
%606 = (/.f64 (-.f64 %440 %557) %393)
%608 = (/.f64 (-.f64 %347 %557) %393)
%609 = (/.f64 #s(literal 2 binary64) %208)
%611 = (/.f64 (*.f64 %609 %118) #s(literal 4 binary64))
%614 = (/.f64 (*.f64 #s(literal -1 binary64) %118) (*.f64 %213 #s(literal 2 binary64)))
%616 = (/.f64 (*.f64 %118 %609) #s(literal 4 binary64))
%618 = (*.f64 #s(literal 2 binary64) %213)
%619 = (/.f64 (*.f64 %118 #s(literal -1 binary64)) %618)
%621 = (*.f64 #s(literal -2 binary64) %213)
%622 = (/.f64 (*.f64 #s(literal -2 binary64) %327) %621)
%624 = (/.f64 (*.f64 #s(literal -2 binary64) %332) %621)
%626 = (/.f64 (*.f64 #s(literal -2 binary64) %147) %621)
%628 = (/.f64 (*.f64 #s(literal -2 binary64) %342) %621)
%630 = (/.f64 (*.f64 #s(literal -2 binary64) %345) %621)
%632 = (*.f64 #s(literal -2 binary64) %393)
%633 = (/.f64 (*.f64 #s(literal -2 binary64) %348) %632)
%635 = (*.f64 #s(literal -2 binary64) %337)
%636 = (/.f64 (*.f64 #s(literal -2 binary64) %352) %635)
%638 = (/.f64 (*.f64 #s(literal -2 binary64) %355) %632)
%640 = (/.f64 (*.f64 #s(literal -2 binary64) %336) %635)
%642 = (*.f64 #s(literal -2 binary64) %359)
%643 = (/.f64 (*.f64 #s(literal -2 binary64) %358) %642)
%645 = (/.f64 (*.f64 #s(literal -2 binary64) %363) %632)
%647 = (/.f64 (*.f64 #s(literal -2 binary64) %366) %635)
%649 = (/.f64 (*.f64 #s(literal -2 binary64) %369) %642)
%651 = (/.f64 (*.f64 #s(literal -2 binary64) %372) %632)
%653 = (/.f64 (*.f64 #s(literal -2 binary64) %374) %632)
%655 = (/.f64 (*.f64 #s(literal -2 binary64) %377) %635)
%657 = (/.f64 (*.f64 #s(literal -2 binary64) %379) %635)
%659 = (/.f64 (*.f64 #s(literal -2 binary64) %383) %632)
%661 = (/.f64 (*.f64 #s(literal -2 binary64) %386) %621)
%663 = (/.f64 (*.f64 #s(literal -2 binary64) %389) %621)
%666 = (/.f64 (*.f64 #s(literal -2 binary64) %392) (*.f64 #s(literal -2 binary64) %394))
%668 = (*.f64 #s(literal -2 binary64) %208)
%669 = (/.f64 (*.f64 #s(literal -2 binary64) %385) %668)
%671 = (/.f64 (*.f64 #s(literal -2 binary64) %388) %668)
%673 = (/.f64 (*.f64 #s(literal -2 binary64) %391) %632)
%675 = (/.f64 (*.f64 #s(literal -2 binary64) %146) %621)
%677 = (/.f64 (*.f64 #s(literal -2 binary64) %113) %668)
%679 = (/.f64 (*.f64 #s(literal 2 binary64) %327) %618)
%681 = (/.f64 (*.f64 #s(literal 2 binary64) %332) %618)
%683 = (/.f64 (*.f64 #s(literal 2 binary64) %147) %618)
%685 = (/.f64 (*.f64 #s(literal 2 binary64) %342) %618)
%687 = (/.f64 (*.f64 #s(literal 2 binary64) %345) %618)
%689 = (*.f64 #s(literal 2 binary64) %393)
%690 = (/.f64 (*.f64 #s(literal 2 binary64) %348) %689)
%692 = (*.f64 #s(literal 2 binary64) %337)
%693 = (/.f64 (*.f64 #s(literal 2 binary64) %352) %692)
%695 = (/.f64 (*.f64 #s(literal 2 binary64) %355) %689)
%697 = (/.f64 (*.f64 #s(literal 2 binary64) %336) %692)
%699 = (*.f64 #s(literal 2 binary64) %359)
%700 = (/.f64 (*.f64 #s(literal 2 binary64) %358) %699)
%702 = (/.f64 (*.f64 #s(literal 2 binary64) %363) %689)
%704 = (/.f64 (*.f64 #s(literal 2 binary64) %366) %692)
%706 = (/.f64 (*.f64 #s(literal 2 binary64) %369) %699)
%708 = (/.f64 (*.f64 #s(literal 2 binary64) %372) %689)
%710 = (/.f64 (*.f64 #s(literal 2 binary64) %374) %689)
%712 = (/.f64 (*.f64 #s(literal 2 binary64) %377) %692)
%714 = (/.f64 (*.f64 #s(literal 2 binary64) %379) %692)
%716 = (/.f64 (*.f64 #s(literal 2 binary64) %383) %689)
%718 = (/.f64 (*.f64 #s(literal 2 binary64) %386) %618)
%720 = (/.f64 (*.f64 #s(literal 2 binary64) %389) %618)
%723 = (/.f64 (*.f64 #s(literal 2 binary64) %392) (*.f64 #s(literal 2 binary64) %394))
%725 = (*.f64 #s(literal 2 binary64) %208)
%726 = (/.f64 (*.f64 #s(literal 2 binary64) %385) %725)
%728 = (/.f64 (*.f64 #s(literal 2 binary64) %388) %725)
%730 = (/.f64 (*.f64 #s(literal 2 binary64) %391) %689)
%732 = (/.f64 (*.f64 #s(literal 2 binary64) %146) %618)
%734 = (/.f64 (*.f64 #s(literal 2 binary64) %113) %725)
%736 = (/.f64 (*.f64 #s(literal 1 binary64) %327) %213)
%738 = (/.f64 (*.f64 #s(literal 1 binary64) %332) %213)
%740 = (/.f64 (*.f64 #s(literal 1 binary64) %147) %213)
%742 = (/.f64 (*.f64 #s(literal 1 binary64) %342) %213)
%744 = (/.f64 (*.f64 #s(literal 1 binary64) %345) %213)
%746 = (/.f64 (*.f64 #s(literal 1 binary64) %348) %393)
%748 = (*.f64 #s(literal 1 binary64) %337)
%749 = (/.f64 (*.f64 #s(literal 1 binary64) %352) %748)
%751 = (/.f64 (*.f64 #s(literal 1 binary64) %355) %393)
%753 = (/.f64 (*.f64 #s(literal 1 binary64) %336) %748)
%755 = (*.f64 #s(literal 1 binary64) %359)
%756 = (/.f64 (*.f64 #s(literal 1 binary64) %358) %755)
%758 = (/.f64 (*.f64 #s(literal 1 binary64) %363) %393)
%760 = (/.f64 (*.f64 #s(literal 1 binary64) %366) %748)
%762 = (/.f64 (*.f64 #s(literal 1 binary64) %369) %755)
%764 = (/.f64 (*.f64 #s(literal 1 binary64) %372) %393)
%766 = (/.f64 (*.f64 #s(literal 1 binary64) %374) %393)
%768 = (/.f64 (*.f64 #s(literal 1 binary64) %377) %748)
%770 = (/.f64 (*.f64 #s(literal 1 binary64) %379) %748)
%772 = (/.f64 (*.f64 #s(literal 1 binary64) %383) %393)
%774 = (/.f64 (*.f64 #s(literal 1 binary64) %386) %213)
%776 = (/.f64 (*.f64 #s(literal 1 binary64) %389) %213)
%779 = (/.f64 (*.f64 #s(literal 1 binary64) %392) (*.f64 #s(literal 1 binary64) %394))
%781 = (/.f64 %126 (*.f64 %618 #s(literal 2 binary64)))
%783 = (/.f64 %128 (*.f64 %725 #s(literal 2 binary64)))
%785 = (/.f64 %130 (*.f64 %208 #s(literal 2 binary64)))
%787 = (/.f64 %132 (*.f64 #s(literal 2 binary64) %618))
%789 = (/.f64 %134 (*.f64 #s(literal 2 binary64) %725))
%790 = (/.f64 %136 %725)
%792 = (/.f64 (neg.f64 %327) %208)
%794 = (/.f64 (neg.f64 %332) %208)
%796 = (/.f64 (neg.f64 %342) %208)
%798 = (/.f64 (neg.f64 %345) %208)
%800 = (/.f64 (neg.f64 %348) %394)
%802 = (/.f64 (neg.f64 %352) %393)
%804 = (/.f64 (neg.f64 %355) %394)
%806 = (/.f64 (neg.f64 %358) %393)
%808 = (/.f64 (neg.f64 %363) %394)
%810 = (/.f64 (neg.f64 %366) %393)
%812 = (/.f64 (neg.f64 %369) %393)
%814 = (/.f64 (neg.f64 %372) %394)
%816 = (/.f64 (neg.f64 %374) %394)
%818 = (/.f64 (neg.f64 %377) %393)
%820 = (/.f64 (neg.f64 %379) %393)
%822 = (/.f64 (neg.f64 %383) %394)
%824 = (/.f64 (neg.f64 %386) %208)
%826 = (/.f64 (neg.f64 %389) %208)
%829 = (/.f64 (neg.f64 %392) (neg.f64 %394))
%830 = (/.f64 %327 %213)
%831 = (/.f64 %332 %213)
%832 = (/.f64 %147 %213)
%833 = (/.f64 %336 %337)
%834 = (/.f64 %336 %359)
%836 = (/.f64 (-.f64 %102 %429) %213)
%837 = (/.f64 %342 %213)
%838 = (/.f64 %345 %213)
%839 = (/.f64 %348 %393)
%840 = (/.f64 %352 %337)
%841 = (/.f64 %355 %393)
%842 = (/.f64 %358 %359)
%843 = (/.f64 %363 %393)
%844 = (/.f64 %366 %337)
%845 = (/.f64 %369 %359)
%846 = (/.f64 %372 %393)
%847 = (/.f64 %374 %393)
%848 = (/.f64 %377 %337)
%849 = (/.f64 %379 %337)
%850 = (/.f64 %383 %393)
%851 = (/.f64 %386 %213)
%852 = (/.f64 %389 %213)
%853 = (/.f64 %392 %394)
%854 = (/.f64 %385 %208)
%855 = (/.f64 %388 %208)
%856 = (/.f64 %391 %393)
%857 = (/.f64 %146 %213)
%859 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %327))
%861 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %332))
%863 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %147))
%865 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %342))
%867 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %345))
%869 = (/.f64 #s(literal 1 binary64) (/.f64 %393 %348))
%871 = (/.f64 #s(literal 1 binary64) (/.f64 %337 %352))
%873 = (/.f64 #s(literal 1 binary64) (/.f64 %393 %355))
%875 = (/.f64 #s(literal 1 binary64) (/.f64 %337 %336))
%877 = (/.f64 #s(literal 1 binary64) (/.f64 %359 %358))
%879 = (/.f64 #s(literal 1 binary64) (/.f64 %393 %363))
%881 = (/.f64 #s(literal 1 binary64) (/.f64 %337 %366))
%883 = (/.f64 #s(literal 1 binary64) (/.f64 %359 %369))
%885 = (/.f64 #s(literal 1 binary64) (/.f64 %393 %372))
%887 = (/.f64 #s(literal 1 binary64) (/.f64 %393 %374))
%889 = (/.f64 #s(literal 1 binary64) (/.f64 %337 %377))
%891 = (/.f64 #s(literal 1 binary64) (/.f64 %337 %379))
%893 = (/.f64 #s(literal 1 binary64) (/.f64 %393 %383))
%895 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %386))
%897 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %389))
%899 = (/.f64 #s(literal 1 binary64) (/.f64 %394 %392))
%901 = (/.f64 #s(literal 1 binary64) (pow.f64 %325 #s(literal -1 binary64)))
%903 = (/.f64 #s(literal 1 binary64) (/.f64 %208 %385))
%905 = (/.f64 #s(literal 1 binary64) (/.f64 %208 %388))
%907 = (/.f64 #s(literal 1 binary64) (/.f64 %393 %391))
%909 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %146))
%911 = (/.f64 #s(literal 1 binary64) (/.f64 %208 %113))
%913 = (neg.f64 (/.f64 %385 %213))
%914 = (neg.f64 %322)
%916 = (*.f64 %64 %208)
%918 = (fma.f64 (/.f64 %89 %317) (/.f64 %916 %317) %417)
%920 = (*.f64 %89 %208)
%922 = (fma.f64 (/.f64 %64 %317) (/.f64 %920 %317) %417)
%924 = (*.f64 %55 %208)
%926 = (fma.f64 (/.f64 %52 %317) (/.f64 %924 %317) %417)
%928 = (*.f64 y %208)
%930 = (fma.f64 (/.f64 %62 %317) (/.f64 %928 %317) %417)
%932 = (*.f64 #s(literal -4 binary64) %208)
%934 = (fma.f64 (/.f64 %101 %317) (/.f64 %932 %317) %417)
%936 = (*.f64 %52 %208)
%938 = (fma.f64 (/.f64 %55 %317) (/.f64 %936 %317) %417)
%940 = (*.f64 %101 %208)
%942 = (fma.f64 (/.f64 #s(literal -4 binary64) %317) (/.f64 %940 %317) %417)
%943 = (/.f64 %111 %317)
%944 = (fma.f64 %943 %318 %417)
%946 = (*.f64 %93 %208)
%948 = (fma.f64 (/.f64 #s(literal 4 binary64) %317) (/.f64 %946 %317) %417)
%950 = (*.f64 %62 %208)
%952 = (fma.f64 (/.f64 y %317) (/.f64 %950 %317) %417)
%953 = (*.f64 %208 %2)
%954 = (/.f64 %953 %317)
%955 = (/.f64 %2 %317)
%956 = (/.f64 %365 %337)
%957 = (fma.f64 %954 %955 %956)
%958 = (/.f64 %362 %393)
%959 = (fma.f64 %954 %955 %958)
%960 = (fma.f64 %954 %955 %408)
%961 = (/.f64 %953 %213)
%962 = (/.f64 %1 %208)
%963 = (fma.f64 %961 %962 %956)
%964 = (fma.f64 %961 %962 %958)
%965 = (fma.f64 %961 %962 %408)
%966 = (/.f64 %953 %208)
%967 = (/.f64 %1 %213)
%968 = (fma.f64 %966 %967 %956)
%969 = (fma.f64 %966 %967 %958)
%970 = (fma.f64 %966 %967 %408)
%971 = (*.f64 %208 %1)
%972 = (/.f64 %971 %317)
%973 = (/.f64 %1 %317)
%974 = (fma.f64 %972 %973 %956)
%975 = (fma.f64 %972 %973 %958)
%976 = (fma.f64 %972 %973 %408)
%977 = (/.f64 %971 %213)
%978 = (fma.f64 %977 %967 %956)
%979 = (fma.f64 %977 %967 %958)
%980 = (fma.f64 %977 %967 %408)
%981 = (/.f64 %971 %208)
%982 = (fma.f64 %981 %962 %956)
%983 = (fma.f64 %981 %962 %958)
%984 = (fma.f64 %981 %962 %408)
%985 = (*.f64 %208 %11)
%986 = (/.f64 %985 %317)
%987 = (/.f64 %11 %317)
%988 = (fma.f64 %986 %987 %956)
%989 = (fma.f64 %986 %987 %958)
%990 = (fma.f64 %986 %987 %408)
%991 = (/.f64 %985 %213)
%992 = (/.f64 x %208)
%993 = (fma.f64 %991 %992 %956)
%994 = (fma.f64 %991 %992 %958)
%995 = (fma.f64 %991 %992 %408)
%996 = (/.f64 %985 %208)
%997 = (/.f64 x %213)
%998 = (fma.f64 %996 %997 %956)
%999 = (fma.f64 %996 %997 %958)
%1000 = (fma.f64 %996 %997 %408)
%1001 = (/.f64 %451 %317)
%1002 = (/.f64 x %317)
%1003 = (fma.f64 %1001 %1002 %956)
%1004 = (fma.f64 %1001 %1002 %958)
%1005 = (fma.f64 %1001 %1002 %408)
%1006 = (/.f64 %451 %213)
%1007 = (fma.f64 %1006 %997 %956)
%1008 = (fma.f64 %1006 %997 %958)
%1009 = (fma.f64 %1006 %997 %408)
%1010 = (/.f64 %451 %208)
%1011 = (fma.f64 %1010 %992 %956)
%1012 = (fma.f64 %1010 %992 %958)
%1013 = (fma.f64 %1010 %992 %408)
%1014 = (*.f64 %2 %208)
%1015 = (/.f64 %1014 %317)
%1016 = (fma.f64 %955 %1015 %956)
%1017 = (fma.f64 %955 %1015 %958)
%1018 = (fma.f64 %955 %1015 %408)
%1019 = (*.f64 %1 %208)
%1020 = (/.f64 %1019 %317)
%1021 = (fma.f64 %973 %1020 %956)
%1022 = (fma.f64 %973 %1020 %958)
%1023 = (fma.f64 %973 %1020 %408)
%1024 = (*.f64 %11 %208)
%1025 = (/.f64 %1024 %317)
%1026 = (fma.f64 %987 %1025 %956)
%1027 = (fma.f64 %987 %1025 %958)
%1028 = (fma.f64 %987 %1025 %408)
%1029 = (/.f64 %151 %208)
%1030 = (fma.f64 %318 %319 %1029)
%1031 = (/.f64 %153 %208)
%1032 = (fma.f64 %318 %319 %1031)
%1033 = (fma.f64 %318 %943 %417)
%1034 = (/.f64 %14 %317)
%1035 = (fma.f64 %318 %1034 %956)
%1036 = (fma.f64 %318 %1034 %958)
%1037 = (fma.f64 %318 %1034 %408)
%1038 = (fma.f64 %1034 %318 %956)
%1039 = (fma.f64 %1034 %318 %958)
%1040 = (fma.f64 %1034 %318 %408)
%1041 = (fma.f64 %321 %322 %1029)
%1042 = (fma.f64 %321 %322 %1031)
%1043 = (*.f64 x %997)
%1044 = (fma.f64 %321 %1043 %956)
%1045 = (fma.f64 %321 %1043 %958)
%1046 = (fma.f64 %321 %1043 %408)
%1047 = (/.f64 %102 %208)
%1048 = (fma.f64 %321 %1047 %417)
%1049 = (fma.f64 %324 %344 %956)
%1050 = (fma.f64 %324 %344 %958)
%1051 = (fma.f64 %324 %344 %408)
%1052 = (fma.f64 %324 %340 %417)
%1053 = (fma.f64 %324 %325 %1029)
%1054 = (fma.f64 %324 %325 %1031)
%1055 = (*.f64 x %208)
%1056 = (/.f64 %1055 %317)
%1057 = (fma.f64 %1002 %1056 %956)
%1058 = (fma.f64 %1002 %1056 %958)
%1059 = (fma.f64 %1002 %1056 %408)
%1061 = (fma.f64 (*.f64 %14 #s(literal 2 binary64)) %330 %340)
%1063 = (fma.f64 (*.f64 %111 #s(literal 2 binary64)) %330 %344)
%1064 = (fma.f64 %327 %328 %1029)
%1065 = (fma.f64 %327 %328 %1031)
%1066 = (fma.f64 %414 %328 %340)
%1067 = (fma.f64 %118 %330 %1029)
%1068 = (fma.f64 %118 %330 %1031)
%1069 = (fma.f64 %411 %328 %344)
%1070 = (fma.f64 %332 %328 %1029)
%1071 = (fma.f64 %332 %328 %1031)
%1072 = (/.f64 %89 %208)
%1074 = (fma.f64 %1072 (/.f64 %916 %208) %417)
%1077 = (fma.f64 (/.f64 %91 %208) (/.f64 %916 %213) %417)
%1080 = (fma.f64 (/.f64 %64 %213) (/.f64 %920 %213) %417)
%1081 = (/.f64 %64 %208)
%1083 = (fma.f64 %1081 (/.f64 %920 %208) %417)
%1084 = (/.f64 y %213)
%1086 = (fma.f64 %1084 (/.f64 %924 %208) %417)
%1088 = (fma.f64 %1084 (/.f64 %950 %213) %417)
%1089 = (/.f64 %1014 %208)
%1090 = (fma.f64 %967 %1089 %956)
%1091 = (fma.f64 %967 %1089 %958)
%1092 = (fma.f64 %967 %1089 %408)
%1093 = (/.f64 %1019 %213)
%1094 = (fma.f64 %967 %1093 %956)
%1095 = (fma.f64 %967 %1093 %958)
%1096 = (fma.f64 %967 %1093 %408)
%1097 = (fma.f64 %147 %328 %1029)
%1098 = (fma.f64 %147 %328 %1031)
%1099 = (/.f64 %101 %213)
%1101 = (fma.f64 %1099 (/.f64 %932 %213) %417)
%1102 = (/.f64 #s(literal 4 binary64) %208)
%1104 = (fma.f64 %1102 (/.f64 %940 %213) %417)
%1106 = (fma.f64 %1102 (/.f64 %946 %208) %417)
%1107 = (fma.f64 %336 %338 %1029)
%1108 = (fma.f64 %336 %338 %1031)
%1109 = (fma.f64 %342 %328 %1029)
%1110 = (fma.f64 %342 %328 %1031)
%1111 = (fma.f64 %345 %328 %1029)
%1112 = (fma.f64 %345 %328 %1031)
%1113 = (fma.f64 %348 %349 %1029)
%1114 = (fma.f64 %348 %349 %1031)
%1115 = (fma.f64 %352 %338 %1029)
%1116 = (fma.f64 %352 %338 %1031)
%1117 = (fma.f64 %355 %349 %1029)
%1118 = (fma.f64 %355 %349 %1031)
%1119 = (fma.f64 %358 %360 %1029)
%1120 = (fma.f64 %358 %360 %1031)
%1121 = (fma.f64 %363 %349 %1029)
%1122 = (fma.f64 %363 %349 %1031)
%1123 = (fma.f64 %366 %338 %1029)
%1124 = (fma.f64 %366 %338 %1031)
%1125 = (fma.f64 %369 %360 %1029)
%1126 = (fma.f64 %369 %360 %1031)
%1127 = (fma.f64 %372 %349 %1029)
%1128 = (fma.f64 %372 %349 %1031)
%1129 = (fma.f64 %374 %349 %1029)
%1130 = (fma.f64 %374 %349 %1031)
%1131 = (fma.f64 %377 %338 %1029)
%1132 = (fma.f64 %377 %338 %1031)
%1133 = (fma.f64 %379 %338 %1029)
%1134 = (fma.f64 %379 %338 %1031)
%1135 = (fma.f64 %383 %349 %1029)
%1136 = (fma.f64 %383 %349 %1031)
%1137 = (fma.f64 %386 %328 %1029)
%1138 = (fma.f64 %386 %328 %1031)
%1139 = (fma.f64 %389 %328 %1029)
%1140 = (fma.f64 %389 %328 %1031)
%1141 = (fma.f64 %392 %395 %1029)
%1142 = (fma.f64 %392 %395 %1031)
%1143 = (fma.f64 %89 %1081 %344)
%1144 = (/.f64 %1014 %213)
%1145 = (fma.f64 %962 %1144 %956)
%1146 = (fma.f64 %962 %1144 %958)
%1147 = (fma.f64 %962 %1144 %408)
%1148 = (/.f64 %1019 %208)
%1149 = (fma.f64 %962 %1148 %956)
%1150 = (fma.f64 %962 %1148 %958)
%1151 = (fma.f64 %962 %1148 %408)
%1152 = (fma.f64 %962 %1 %340)
%1153 = (/.f64 %1024 %208)
%1154 = (fma.f64 %997 %1153 %956)
%1155 = (fma.f64 %997 %1153 %958)
%1156 = (fma.f64 %997 %1153 %408)
%1157 = (/.f64 %1055 %213)
%1158 = (fma.f64 %997 %1157 %956)
%1159 = (fma.f64 %997 %1157 %958)
%1160 = (fma.f64 %997 %1157 %408)
%1161 = (fma.f64 %997 %11 %340)
%1162 = (/.f64 %1024 %213)
%1163 = (fma.f64 %992 %1162 %956)
%1164 = (fma.f64 %992 %1162 %958)
%1165 = (fma.f64 %992 %1162 %408)
%1166 = (/.f64 %1055 %208)
%1167 = (fma.f64 %992 %1166 %956)
%1168 = (fma.f64 %992 %1166 %958)
%1169 = (fma.f64 %992 %1166 %408)
%1170 = (fma.f64 %992 x %340)
%1171 = (/.f64 y %208)
%1172 = (*.f64 #s(literal 4 binary64) %1171)
%1174 = (fma.f64 %1172 (/.f64 %928 %213) %417)
%1176 = (fma.f64 %1172 (/.f64 %936 %208) %417)
%1178 = (fma.f64 %1171 (/.f64 %924 %213) %417)
%1180 = (fma.f64 %1171 (/.f64 %950 %208) %417)
%1181 = (fma.f64 %1171 %62 %344)
%1182 = (/.f64 #s(literal -4 binary64) %208)
%1184 = (fma.f64 %1182 (/.f64 %940 %208) %417)
%1186 = (fma.f64 %1182 (/.f64 %946 %213) %417)
%1187 = (fma.f64 %1182 %101 %344)
%1188 = (/.f64 %101 %208)
%1190 = (fma.f64 %1188 (/.f64 %932 %208) %417)
%1191 = (fma.f64 %1188 #s(literal -4 binary64) %344)
%1192 = (/.f64 %62 %208)
%1194 = (fma.f64 %1192 (/.f64 %928 %208) %417)
%1196 = (fma.f64 %1192 (/.f64 %936 %213) %417)
%1197 = (fma.f64 %1192 y %344)
%1198 = (fma.f64 %328 %146 %1029)
%1199 = (fma.f64 %328 %146 %1031)
%1200 = (fma.f64 %385 %211 %1029)
%1201 = (fma.f64 %385 %211 %1031)
%1202 = (fma.f64 %430 %211 %344)
%1203 = (fma.f64 %388 %211 %1029)
%1204 = (fma.f64 %388 %211 %1031)
%1205 = (fma.f64 %429 %211 %340)
%1206 = (fma.f64 %391 %349 %1029)
%1207 = (fma.f64 %391 %349 %1031)
%1208 = (fma.f64 %1043 %321 %956)
%1209 = (fma.f64 %1043 %321 %958)
%1210 = (fma.f64 %1043 %321 %408)
%1211 = (fma.f64 %381 %349 %417)
%1212 = (fma.f64 %357 %349 %956)
%1213 = (fma.f64 %357 %349 %958)
%1214 = (fma.f64 %357 %349 %408)
%1216 = (fma.f64 %65 (*.f64 %65 %1182) %344)
%1217 = (fma.f64 %2 %967 %340)
%1218 = (fma.f64 %29 %328 %340)
%1219 = (fma.f64 %211 %111 %344)
%1220 = (fma.f64 %211 %113 %1029)
%1221 = (fma.f64 %211 %113 %1031)
%1222 = (fma.f64 %211 %14 %340)
%1223 = (fma.f64 %1047 %321 %417)
%1224 = (fma.f64 %344 %324 %956)
%1225 = (fma.f64 %344 %324 %958)
%1226 = (fma.f64 %344 %324 %408)
%1227 = (fma.f64 %340 %324 %417)
%1228 = (fma.f64 %146 %328 %1029)
%1229 = (fma.f64 %146 %328 %1031)
%1231 = (fma.f64 %64 (*.f64 %64 %1182) %344)
%1232 = (fma.f64 %64 %1072 %344)
%1233 = (fma.f64 %1 %962 %340)
%1235 = (fma.f64 %52 (*.f64 %52 %1182) %344)
%1236 = (fma.f64 %52 %1172 %344)
%1237 = (fma.f64 %11 %997 %340)
%1238 = (fma.f64 #s(literal 2 binary64) %403 %1029)
%1239 = (fma.f64 #s(literal 2 binary64) %403 %1031)
%1240 = (fma.f64 %111 %211 %344)
%1241 = (fma.f64 %113 %211 %1029)
%1242 = (fma.f64 %113 %211 %1031)
%1243 = (fma.f64 %62 %1171 %344)
%1244 = (fma.f64 %101 %1182 %344)
%1245 = (fma.f64 %55 %1084 %344)
%1247 = (fma.f64 %55 (neg.f64 %1171) %344)
%1248 = (fma.f64 #s(literal 1 binary64) %344 %340)
%1249 = (fma.f64 #s(literal 1 binary64) %340 %344)
%1250 = (fma.f64 #s(literal 1 binary64) %325 %1029)
%1251 = (fma.f64 #s(literal 1 binary64) %325 %1031)
%1252 = (fma.f64 #s(literal -4 binary64) %1188 %344)
%1253 = (fma.f64 %102 %328 %344)
%1255 = (fma.f64 #s(literal 4 binary64) (*.f64 %52 %1171) %344)
%1257 = (fma.f64 #s(literal 4 binary64) (neg.f64 %1188) %344)
%1258 = (fma.f64 #s(literal 4 binary64) %1099 %344)
%1259 = (fma.f64 y %1192 %344)
%1260 = (fma.f64 %14 %211 %340)
%1261 = (fma.f64 x %992 %340)
%1262 = (/.f64 %354 %393)
%1264 = (-.f64 %1262 (/.f64 %365 %393))
%1266 = (-.f64 %417 (/.f64 %381 %359))
%1268 = (-.f64 %417 (/.f64 %368 %393))
%1270 = (-.f64 %408 (neg.f64 %417))
%1272 = (-.f64 %408 (/.f64 %371 %337))
%1274 = (-.f64 %408 (/.f64 %382 %393))
%1277 = (-.f64 %408 (/.f64 (neg.f64 %357) %393))
%1279 = (-.f64 %408 (/.f64 %376 %393))
%1281 = (-.f64 %408 (/.f64 %557 %393))
%1283 = (-.f64 %344 (*.f64 %93 %1182))
%1284 = (-.f64 %344 %1047)
%1285 = (-.f64 %340 %1043)
%1286 = (/.f64 %347 %393)
%1287 = (+.f64 %1262 %1286)
%1288 = (+.f64 %1262 %958)
%1289 = (+.f64 %1286 %1262)
%1291 = (+.f64 %1286 (/.f64 %371 %393))
%1292 = (/.f64 %120 %208)
%1293 = (+.f64 %1292 %1292)
%1294 = (/.f64 %172 %208)
%1295 = (+.f64 %1294 %1294)
%1296 = (+.f64 %417 %956)
%1297 = (+.f64 %417 %958)
%1298 = (+.f64 %417 %408)
%1299 = (+.f64 %408 %417)
%1300 = (+.f64 %344 %340)
%1301 = (+.f64 %340 %344)
%1302 = (+.f64 %325 %1029)
%1303 = (+.f64 %325 %1031)
x
(*.f64 %4 %4)
(*.f64 %3 %3)
(*.f64 %3 %1)
(*.f64 %2 %2)
(*.f64 %1 %3)
(*.f64 %1 %1)
(*.f64 %11 %11)
(*.f64 #s(literal 1 binary64) %14)
%14
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %18 #s(literal 1/2 binary64))
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %11 #s(literal 2 binary64))
(pow.f64 %14 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
(neg.f64 %29)
(sqrt.f64 %18)
(fabs.f64 (*.f64 %11 %2))
(fabs.f64 (*.f64 x %2))
(fabs.f64 (*.f64 %11 %1))
(fabs.f64 (*.f64 x %1))
(fabs.f64 (*.f64 %2 %11))
(fabs.f64 (*.f64 %1 %11))
(fabs.f64 (*.f64 %2 x))
(fabs.f64 (*.f64 %1 x))
(fabs.f64 %29)
(fabs.f64 %14)
y
#s(literal 4 binary64)
%54
%56
%57
%55
%58
%59
%61
%63
%68
%70
%72
%74
%76
%78
%80
%82
%84
%86
%88
%90
%92
%94
%96
%97
%98
%99
%100
%102
%103
%104
%105
%106
%107
%108
%110
%112
%115
%117
%119
%121
%122
%123
%124
%127
%129
%131
%133
%135
%137
%139
%140
%141
%143
%145
%148
%149
%152
%154
%155
%156
%157
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%170
%171
%173
%174
%175
%176
%177
%178
%179
%180
%181
%113
%182
%183
%184
%185
%186
%187
%188
%189
%190
%191
%193
%195
%196
%198
%200
%201
%202
%203
%204
%205
%206
%207
%209
%210
%212
%214
%215
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%208
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
#s(literal -4 binary64)
#s(literal -1 binary64)
(*.f64 #s(literal 1 binary64) %262)
(pow.f64 %262 #s(literal 1 binary64))
%262
(/.f64 #s(literal 1 binary64) (pow.f64 %262 #s(literal -1 binary64)))
#s(literal 1 binary64)
(*.f64 #s(literal 1 binary64) %267)
(pow.f64 %267 #s(literal 1 binary64))
%267
(/.f64 #s(literal 1 binary64) (pow.f64 %267 #s(literal -1 binary64)))
%54
%56
%57
%55
%58
%59
%61
%63
%209
%210
%212
%214
%215
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%208
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
(*.f64 %272 %272)
(*.f64 %66 %66)
(*.f64 %65 %65)
(*.f64 %64 %64)
(*.f64 %52 %52)
(*.f64 #s(literal 1 binary64) %101)
%101
(pow.f64 %66 #s(literal 2 binary64))
(pow.f64 %280 #s(literal 1/2 binary64))
(pow.f64 %65 #s(literal 2 binary64))
(pow.f64 %64 #s(literal 2 binary64))
(pow.f64 %52 #s(literal 2 binary64))
(pow.f64 %101 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %101 #s(literal -1 binary64)))
(neg.f64 %93)
(sqrt.f64 %280)
(fabs.f64 (*.f64 %52 %65))
(fabs.f64 (*.f64 y %65))
(fabs.f64 (*.f64 %52 %64))
(fabs.f64 (*.f64 y %64))
(fabs.f64 (*.f64 %65 %52))
(fabs.f64 (*.f64 %64 %52))
(fabs.f64 (*.f64 %65 y))
(fabs.f64 (*.f64 %64 y))
(fabs.f64 %93)
(fabs.f64 %101)
(*.f64 %52 #s(literal 4 binary64))
(*.f64 #s(literal 1 binary64) %62)
%62
(*.f64 #s(literal 4 binary64) %52)
(*.f64 y #s(literal -4 binary64))
(pow.f64 %62 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %62 #s(literal -1 binary64)))
(neg.f64 %55)
%68
%70
%72
%74
%76
%78
%80
%82
%84
%86
%88
%90
%92
%94
%96
%97
%98
%99
%100
%102
%103
%104
%105
%106
%107
%108
%110
%112
%115
%117
%119
%121
%122
%123
%124
%127
%129
%131
%133
%135
%137
%139
%140
%141
%143
%145
%148
%149
%152
%154
%155
%156
%157
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%170
%171
%173
%174
%175
%176
%177
%178
%179
%180
%181
%113
%182
%183
%184
%185
%186
%187
%188
%189
%190
%191
%193
%195
%196
%198
%200
%201
%202
%203
%204
%205
%206
%207
%115
%117
%119
%121
%122
%123
%124
%127
%129
%131
%133
%135
%137
%139
%140
%141
%143
%145
%148
%149
%152
%154
%155
%156
%157
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%170
%171
%173
%174
%175
%176
%177
%178
%179
%180
%181
%113
%182
%183
%184
%185
%186
%187
%188
%189
%190
%191
%193
%195
%196
%198
%200
%201
%202
%203
%204
%205
%206
%207
%209
%210
%212
%214
%215
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%208
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
%320
%323
%326
%329
%331
%333
%334
%339
%343
%346
%350
%353
%356
%361
%364
%367
%370
%373
%375
%378
%380
%384
%387
%390
%396
%397
%398
%399
%400
%401
%402
%404
%405
%406
%407
%410
%413
%416
%420
%424
%428
%433
%436
%439
%442
%444
%446
%448
%450
%453
%455
%458
%461
%463
%466
%469
%471
%473
%475
%477
%480
%482
%484
%486
%488
%490
%492
%494
%497
%499
%501
%503
%505
%507
%510
%513
%516
%518
%520
%523
%526
%528
%530
%532
%534
%536
%538
%541
%544
%546
%548
%551
%554
%556
%559
%561
%563
%565
%567
%570
%573
%576
%578
%580
%583
%586
%588
%590
%592
%594
%596
%598
%600
%602
%604
%606
%608
%611
%614
%616
%619
%622
%624
%626
%628
%630
%633
%636
%638
%640
%643
%645
%647
%649
%651
%653
%655
%657
%659
%661
%663
%666
%669
%671
%673
%675
%677
%679
%681
%683
%685
%687
%690
%693
%695
%697
%700
%702
%704
%706
%708
%710
%712
%714
%716
%718
%720
%723
%726
%728
%730
%732
%734
%736
%738
%740
%742
%744
%746
%749
%751
%753
%756
%758
%760
%762
%764
%766
%768
%770
%772
%774
%776
%779
%781
%783
%785
%787
%789
%790
%792
%794
%796
%798
%800
%802
%804
%806
%808
%810
%812
%814
%816
%818
%820
%822
%824
%826
%829
%830
%831
%832
%833
%834
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%325
%859
%861
%863
%865
%867
%869
%871
%873
%875
%877
%879
%881
%883
%885
%887
%889
%891
%893
%895
%897
%899
%901
%903
%905
%907
%909
%911
%913
%914
%918
%922
%926
%930
%934
%938
%942
%944
%948
%952
%957
%959
%960
%963
%964
%965
%968
%969
%970
%974
%975
%976
%978
%979
%980
%982
%983
%984
%988
%989
%990
%993
%994
%995
%998
%999
%1000
%1003
%1004
%1005
%1007
%1008
%1009
%1011
%1012
%1013
%1016
%1017
%1018
%1021
%1022
%1023
%1026
%1027
%1028
%1030
%1032
%1033
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1044
%1045
%1046
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1057
%1058
%1059
%1061
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1074
%1077
%1080
%1083
%1086
%1088
%1090
%1091
%1092
%1094
%1095
%1096
%1097
%1098
%1101
%1104
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1115
%1116
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1140
%1141
%1142
%1143
%1145
%1146
%1147
%1149
%1150
%1151
%1152
%1154
%1155
%1156
%1158
%1159
%1160
%1161
%1163
%1164
%1165
%1167
%1168
%1169
%1170
%1174
%1176
%1178
%1180
%1181
%1184
%1186
%1187
%1190
%1191
%1194
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1216
%1217
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1225
%1226
%1227
%1228
%1229
%1231
%1232
%1233
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1243
%1244
%1245
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1255
%1257
%1258
%1259
%1260
%1261
%1264
%1266
%1268
%1270
%1272
%1274
%1277
%1279
%1281
%1283
%1284
%1285
%1287
%1288
%1289
%1291
%1293
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%320
%323
%326
%329
%331
%333
%334
%339
%343
%346
%350
%353
%356
%361
%364
%367
%370
%373
%375
%378
%380
%384
%387
%390
%396
%397
%398
%399
%400
%401
%402
%404
%405
%406
%407
%410
%413
%416
%420
%424
%428
%433
%436
%439
%442
%444
%446
%448
%450
%453
%455
%458
%461
%463
%466
%469
%471
%473
%475
%477
%480
%482
%484
%486
%488
%490
%492
%494
%497
%499
%501
%503
%505
%507
%510
%513
%516
%518
%520
%523
%526
%528
%530
%532
%534
%536
%538
%541
%544
%546
%548
%551
%554
%556
%559
%561
%563
%565
%567
%570
%573
%576
%578
%580
%583
%586
%588
%590
%592
%594
%596
%598
%600
%602
%604
%606
%608
%611
%614
%616
%619
%622
%624
%626
%628
%630
%633
%636
%638
%640
%643
%645
%647
%649
%651
%653
%655
%657
%659
%661
%663
%666
%669
%671
%673
%675
%677
%679
%681
%683
%685
%687
%690
%693
%695
%697
%700
%702
%704
%706
%708
%710
%712
%714
%716
%718
%720
%723
%726
%728
%730
%732
%734
%736
%738
%740
%742
%744
%746
%749
%751
%753
%756
%758
%760
%762
%764
%766
%768
%770
%772
%774
%776
%779
%781
%783
%785
%787
%789
%790
%792
%794
%796
%798
%800
%802
%804
%806
%808
%810
%812
%814
%816
%818
%820
%822
%824
%826
%829
%830
%831
%832
%833
%834
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%325
%859
%861
%863
%865
%867
%869
%871
%873
%875
%877
%879
%881
%883
%885
%887
%889
%891
%893
%895
%897
%899
%901
%903
%905
%907
%909
%911
%913
%914
%918
%922
%926
%930
%934
%938
%942
%944
%948
%952
%957
%959
%960
%963
%964
%965
%968
%969
%970
%974
%975
%976
%978
%979
%980
%982
%983
%984
%988
%989
%990
%993
%994
%995
%998
%999
%1000
%1003
%1004
%1005
%1007
%1008
%1009
%1011
%1012
%1013
%1016
%1017
%1018
%1021
%1022
%1023
%1026
%1027
%1028
%1030
%1032
%1033
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1044
%1045
%1046
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1057
%1058
%1059
%1061
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1074
%1077
%1080
%1083
%1086
%1088
%1090
%1091
%1092
%1094
%1095
%1096
%1097
%1098
%1101
%1104
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1115
%1116
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1140
%1141
%1142
%1143
%1145
%1146
%1147
%1149
%1150
%1151
%1152
%1154
%1155
%1156
%1158
%1159
%1160
%1161
%1163
%1164
%1165
%1167
%1168
%1169
%1170
%1174
%1176
%1178
%1180
%1181
%1184
%1186
%1187
%1190
%1191
%1194
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1216
%1217
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1225
%1226
%1227
%1228
%1229
%1231
%1232
%1233
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1243
%1244
%1245
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1255
%1257
%1258
%1259
%1260
%1261
%1264
%1266
%1268
%1270
%1272
%1274
%1277
%1279
%1281
%1283
%1284
%1285
%1287
%1288
%1289
%1291
%1293
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%320
%323
%326
%329
%331
%333
%334
%339
%343
%346
%350
%353
%356
%361
%364
%367
%370
%373
%375
%378
%380
%384
%387
%390
%396
%397
%398
%399
%400
%401
%402
%404
%405
%406
%407
%410
%413
%416
%420
%424
%428
%433
%436
%439
%442
%444
%446
%448
%450
%453
%455
%458
%461
%463
%466
%469
%471
%473
%475
%477
%480
%482
%484
%486
%488
%490
%492
%494
%497
%499
%501
%503
%505
%507
%510
%513
%516
%518
%520
%523
%526
%528
%530
%532
%534
%536
%538
%541
%544
%546
%548
%551
%554
%556
%559
%561
%563
%565
%567
%570
%573
%576
%578
%580
%583
%586
%588
%590
%592
%594
%596
%598
%600
%602
%604
%606
%608
%611
%614
%616
%619
%622
%624
%626
%628
%630
%633
%636
%638
%640
%643
%645
%647
%649
%651
%653
%655
%657
%659
%661
%663
%666
%669
%671
%673
%675
%677
%679
%681
%683
%685
%687
%690
%693
%695
%697
%700
%702
%704
%706
%708
%710
%712
%714
%716
%718
%720
%723
%726
%728
%730
%732
%734
%736
%738
%740
%742
%744
%746
%749
%751
%753
%756
%758
%760
%762
%764
%766
%768
%770
%772
%774
%776
%779
%781
%783
%785
%787
%789
%790
%792
%794
%796
%798
%800
%802
%804
%806
%808
%810
%812
%814
%816
%818
%820
%822
%824
%826
%829
%830
%831
%832
%833
%834
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%325
%859
%861
%863
%865
%867
%869
%871
%873
%875
%877
%879
%881
%883
%885
%887
%889
%891
%893
%895
%897
%899
%901
%903
%905
%907
%909
%911
%913
%914
%918
%922
%926
%930
%934
%938
%942
%944
%948
%952
%957
%959
%960
%963
%964
%965
%968
%969
%970
%974
%975
%976
%978
%979
%980
%982
%983
%984
%988
%989
%990
%993
%994
%995
%998
%999
%1000
%1003
%1004
%1005
%1007
%1008
%1009
%1011
%1012
%1013
%1016
%1017
%1018
%1021
%1022
%1023
%1026
%1027
%1028
%1030
%1032
%1033
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1044
%1045
%1046
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1057
%1058
%1059
%1061
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1074
%1077
%1080
%1083
%1086
%1088
%1090
%1091
%1092
%1094
%1095
%1096
%1097
%1098
%1101
%1104
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1115
%1116
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1140
%1141
%1142
%1143
%1145
%1146
%1147
%1149
%1150
%1151
%1152
%1154
%1155
%1156
%1158
%1159
%1160
%1161
%1163
%1164
%1165
%1167
%1168
%1169
%1170
%1174
%1176
%1178
%1180
%1181
%1184
%1186
%1187
%1190
%1191
%1194
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1216
%1217
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1225
%1226
%1227
%1228
%1229
%1231
%1232
%1233
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1243
%1244
%1245
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1255
%1257
%1258
%1259
%1260
%1261
%1264
%1266
%1268
%1270
%1272
%1274
%1277
%1279
%1281
%1283
%1284
%1285
%1287
%1288
%1289
%1291
%1293
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303

%1 = (*.f64 x x)
%5 = (*.f64 #s(literal 4 binary64) y)
%6 = (fma.f64 %5 y %1)
%7 = (*.f64 y y)
%8 = (*.f64 #s(literal -4 binary64) y)
%9 = (*.f64 %7 #s(literal 4 binary64))
%10 = (fma.f64 %7 #s(literal -4 binary64) %1)
%11 = (fma.f64 y %8 %1)
%12 = (fma.f64 x x %9)
x
%1
y
#s(literal 4 binary64)
#s(literal -4 binary64)
%5
%6
%7
%8
%9
%10
%11
%12
(/.f64 %10 %12)
(/.f64 %11 %6)

%1 = (fabs.f64 x)
%2 = (neg.f64 %1)
%4 = (*.f64 %2 #s(literal 1 binary64))
%6 = (*.f64 %1 #s(literal 1 binary64))
%8 = (neg.f64 x)
%9 = (*.f64 %8 #s(literal 1 binary64))
%11 = (*.f64 x #s(literal 1 binary64))
%16 = (*.f64 x x)
%18 = (*.f64 %16 %16)
%32 = (*.f64 %8 x)
%33 = (*.f64 %32 #s(literal 1 binary64))
%37 = (*.f64 %16 #s(literal 0 binary64))
%42 = (*.f64 #s(literal 1/2 binary64) %16)
%47 = (*.f64 #s(literal 0 binary64) %16)
%49 = (*.f64 %16 #s(literal 1/2 binary64))
%75 = (*.f64 #s(literal 1 binary64) %16)
%81 = (neg.f64 y)
%84 = (*.f64 #s(literal 4 binary64) y)
%89 = (*.f64 #s(literal -4 binary64) y)
%91 = (*.f64 #s(literal 2 binary64) y)
%93 = (*.f64 y #s(literal 2 binary64))
%97 = (*.f64 y y)
%98 = (fma.f64 %97 #s(literal 4 binary64) %16)
%99 = (pow.f64 %98 #s(literal 1 binary64))
%100 = (/.f64 #s(literal 1 binary64) %98)
%101 = (/.f64 #s(literal 1 binary64) %100)
%102 = (*.f64 %89 y)
%103 = (-.f64 %102 %16)
%104 = (neg.f64 %103)
%105 = (fabs.f64 y)
%106 = (neg.f64 %105)
%107 = (*.f64 %106 #s(literal 2 binary64))
%108 = (fma.f64 %107 %107 %16)
%109 = (*.f64 %105 #s(literal 2 binary64))
%110 = (fma.f64 %109 %109 %16)
%111 = (*.f64 %81 #s(literal 2 binary64))
%112 = (fma.f64 %111 %111 %16)
%113 = (fma.f64 %93 %93 %16)
%114 = (*.f64 #s(literal 2 binary64) %106)
%115 = (fma.f64 %114 %114 %16)
%116 = (*.f64 #s(literal 2 binary64) %105)
%117 = (fma.f64 %116 %116 %16)
%118 = (*.f64 #s(literal 2 binary64) %81)
%119 = (fma.f64 %118 %118 %16)
%120 = (fma.f64 %91 %91 %16)
%121 = (*.f64 %97 #s(literal 4 binary64))
%122 = (fma.f64 %4 %4 %121)
%123 = (fma.f64 %6 %6 %121)
%124 = (fma.f64 %9 %9 %121)
%125 = (fma.f64 %11 %11 %121)
%126 = (*.f64 %105 #s(literal 4 binary64))
%127 = (fma.f64 %126 %105 %16)
%128 = (*.f64 %105 #s(literal -4 binary64))
%129 = (fma.f64 %128 %106 %16)
%130 = (fma.f64 %2 %2 %121)
%131 = (fma.f64 %106 %128 %16)
%132 = (*.f64 %81 y)
%133 = (fma.f64 %132 #s(literal -4 binary64) %16)
%134 = (/.f64 %102 %98)
%135 = (fma.f64 %134 %103 %16)
%136 = (fma.f64 %1 %1 %121)
%137 = (fma.f64 %105 %126 %16)
%138 = (fma.f64 %8 %8 %121)
%139 = (fma.f64 %81 %89 %16)
%140 = (fma.f64 %102 #s(literal -1 binary64) %16)
%141 = (fma.f64 %89 %81 %16)
%142 = (fma.f64 %84 y %16)
%143 = (fma.f64 #s(literal -4 binary64) %132 %16)
%144 = (fma.f64 #s(literal 4 binary64) %97 %16)
%145 = (fma.f64 y %84 %16)
%146 = (fma.f64 %16 #s(literal 1 binary64) %121)
%147 = (fma.f64 x x %121)
%148 = (-.f64 %121 %32)
%149 = (-.f64 %16 %102)
%150 = (+.f64 %121 %16)
%151 = (+.f64 %16 %121)
%155 = (*.f64 %97 %97)
%217 = (*.f64 %121 %98)
%219 = (*.f64 %102 %98)
%226 = (*.f64 %102 %134)
%228 = (*.f64 %134 %102)
%230 = (*.f64 %134 %32)
%232 = (*.f64 #s(literal 2 binary64) %97)
%234 = (*.f64 %32 %134)
%236 = (*.f64 %97 #s(literal 2 binary64))
%244 = (fma.f64 %89 y %16)
%245 = (*.f64 %244 #s(literal 2 binary64))
%246 = (*.f64 %245 #s(literal 1/2 binary64))
%247 = (*.f64 %98 %244)
%248 = (*.f64 %247 %100)
%249 = (-.f64 %121 %16)
%250 = (*.f64 %249 #s(literal -1 binary64))
%251 = (*.f64 #s(literal 1 binary64) %244)
%252 = (/.f64 %244 %98)
%253 = (*.f64 %98 %252)
%254 = (*.f64 %244 #s(literal 1 binary64))
%255 = (pow.f64 %244 #s(literal 1 binary64))
%257 = (/.f64 (*.f64 %245 #s(literal 1 binary64)) #s(literal 2 binary64))
%258 = (*.f64 #s(literal 2 binary64) %244)
%259 = (/.f64 %258 #s(literal 2 binary64))
%260 = (/.f64 %245 #s(literal 2 binary64))
%261 = (*.f64 %103 %244)
%262 = (/.f64 %261 %103)
%263 = (/.f64 %247 %98)
%265 = (/.f64 #s(literal 1 binary64) (/.f64 %98 %247))
%267 = (/.f64 #s(literal 1 binary64) (pow.f64 %244 #s(literal -1 binary64)))
%268 = (/.f64 %247 %103)
%269 = (neg.f64 %268)
%270 = (neg.f64 %249)
%271 = (fma.f64 %4 %4 %102)
%272 = (fma.f64 %6 %6 %102)
%273 = (fma.f64 %9 %9 %102)
%274 = (fma.f64 %11 %11 %102)
%275 = (*.f64 %244 #s(literal 0 binary64))
%276 = (fma.f64 %245 #s(literal 1/2 binary64) %275)
%277 = (*.f64 #s(literal 0 binary64) %244)
%278 = (fma.f64 %245 #s(literal 1/2 binary64) %277)
%279 = (/.f64 y %98)
%280 = (*.f64 %279 %84)
%281 = (/.f64 %16 %98)
%282 = (*.f64 %281 %98)
%283 = (fma.f64 %280 %103 %282)
%284 = (fma.f64 %280 %103 %16)
%285 = (/.f64 #s(literal -1 binary64) %98)
%286 = (fma.f64 %217 %285 %282)
%287 = (fma.f64 %217 %285 %16)
%288 = (fma.f64 %126 %106 %282)
%289 = (fma.f64 %126 %106 %16)
%290 = (*.f64 %105 %98)
%291 = (/.f64 %290 %98)
%292 = (fma.f64 %128 %291 %282)
%293 = (fma.f64 %128 %291 %16)
%294 = (fma.f64 %128 %105 %282)
%295 = (fma.f64 %128 %105 %16)
%296 = (*.f64 #s(literal 1/2 binary64) %244)
%297 = (fma.f64 #s(literal 1/2 binary64) %244 %296)
%298 = (fma.f64 %247 %100 %275)
%299 = (fma.f64 %247 %100 %277)
%300 = (fma.f64 %219 %100 %282)
%301 = (fma.f64 %219 %100 %16)
%302 = (/.f64 %98 %103)
%303 = (fma.f64 %121 %302 %282)
%304 = (fma.f64 %121 %302 %16)
%305 = (fma.f64 %2 %2 %102)
%306 = (fma.f64 %106 %126 %282)
%307 = (fma.f64 %106 %126 %16)
%308 = (*.f64 #s(literal 4 binary64) %98)
%309 = (/.f64 %308 %98)
%310 = (fma.f64 %132 %309 %282)
%311 = (fma.f64 %132 %309 %16)
%312 = (fma.f64 %132 #s(literal 4 binary64) %282)
%313 = (fma.f64 %132 #s(literal 4 binary64) %16)
%314 = (fma.f64 %134 %98 %282)
%315 = (fma.f64 %134 %98 %16)
%316 = (fma.f64 %281 %98 %102)
%317 = (fma.f64 %249 #s(literal -1 binary64) %275)
%318 = (fma.f64 %249 #s(literal -1 binary64) %277)
%319 = (fma.f64 %1 %1 %102)
%320 = (*.f64 %128 %98)
%321 = (/.f64 %320 %98)
%322 = (fma.f64 %105 %321 %282)
%323 = (fma.f64 %105 %321 %16)
%324 = (fma.f64 %105 %128 %282)
%325 = (fma.f64 %105 %128 %16)
%326 = (fma.f64 %8 %8 %102)
%327 = (*.f64 %84 %98)
%328 = (/.f64 %327 %98)
%329 = (fma.f64 %81 %328 %282)
%330 = (fma.f64 %81 %328 %16)
%331 = (fma.f64 %81 %84 %282)
%332 = (fma.f64 %81 %84 %16)
%333 = (fma.f64 #s(literal 1 binary64) %102 %75)
%334 = (fma.f64 #s(literal 1 binary64) %244 %275)
%335 = (fma.f64 #s(literal 1 binary64) %244 %277)
%336 = (*.f64 #s(literal 1 binary64) %102)
%337 = (fma.f64 #s(literal 1 binary64) %16 %336)
%338 = (/.f64 %98 %98)
%339 = (fma.f64 %102 %338 %282)
%340 = (fma.f64 %102 %338 %16)
%341 = (fma.f64 %102 #s(literal 1 binary64) %282)
%342 = (fma.f64 %102 #s(literal 1 binary64) %16)
%343 = (fma.f64 %98 %134 %282)
%344 = (fma.f64 %98 %134 %16)
%345 = (fma.f64 %98 %252 %275)
%346 = (fma.f64 %98 %252 %277)
%347 = (*.f64 %244 #s(literal 1/2 binary64))
%348 = (fma.f64 %244 #s(literal 1/2 binary64) %347)
%349 = (fma.f64 %244 #s(literal 1 binary64) %275)
%350 = (fma.f64 %244 #s(literal 1 binary64) %277)
%351 = (*.f64 %279 %98)
%352 = (fma.f64 %89 %351 %282)
%353 = (fma.f64 %89 %351 %16)
%354 = (fma.f64 %89 y %282)
%355 = (/.f64 #s(literal -4 binary64) %98)
%356 = (*.f64 %355 %98)
%357 = (fma.f64 %97 %356 %282)
%358 = (fma.f64 %97 %356 %16)
%359 = (fma.f64 %97 #s(literal -4 binary64) %282)
%360 = (fma.f64 %97 #s(literal -4 binary64) %16)
%361 = (*.f64 %81 %98)
%362 = (/.f64 %361 %98)
%363 = (fma.f64 %84 %362 %282)
%364 = (fma.f64 %84 %362 %16)
%365 = (fma.f64 %84 %81 %282)
%366 = (fma.f64 %84 %81 %16)
%367 = (/.f64 %97 %98)
%368 = (*.f64 %367 %98)
%369 = (fma.f64 #s(literal -4 binary64) %368 %282)
%370 = (fma.f64 #s(literal -4 binary64) %368 %16)
%371 = (fma.f64 #s(literal -4 binary64) %97 %282)
%372 = (fma.f64 #s(literal -4 binary64) %97 %16)
%373 = (*.f64 %132 %98)
%374 = (/.f64 %373 %98)
%375 = (fma.f64 #s(literal 4 binary64) %374 %282)
%376 = (fma.f64 #s(literal 4 binary64) %374 %16)
%377 = (fma.f64 #s(literal 4 binary64) %132 %282)
%378 = (fma.f64 #s(literal 4 binary64) %132 %16)
%379 = (/.f64 %89 %98)
%380 = (*.f64 %379 %98)
%381 = (fma.f64 y %380 %282)
%382 = (fma.f64 y %380 %16)
%383 = (fma.f64 y %89 %282)
%384 = (fma.f64 y %89 %16)
%385 = (fma.f64 %16 #s(literal 1 binary64) %102)
%386 = (fma.f64 x x %102)
%387 = (-.f64 %282 %121)
%389 = (-.f64 %102 (*.f64 %281 %103))
%390 = (-.f64 %102 %32)
%392 = (-.f64 %16 (*.f64 %121 #s(literal 1 binary64)))
%394 = (-.f64 %16 (*.f64 %103 %134))
%396 = (-.f64 %16 (*.f64 %84 %351))
%398 = (-.f64 %16 (*.f64 %132 %356))
%400 = (-.f64 %16 (*.f64 #s(literal 4 binary64) %368))
%402 = (-.f64 %16 (*.f64 %81 %380))
%404 = (-.f64 %16 (*.f64 %280 %98))
%405 = (-.f64 %16 %121)
%406 = (+.f64 %347 %347)
%407 = (+.f64 %296 %296)
%408 = (+.f64 %336 %75)
%409 = (+.f64 %75 %336)
%410 = (+.f64 %282 %102)
%411 = (+.f64 %102 %282)
%412 = (+.f64 %102 %16)
%413 = (+.f64 %244 %275)
%414 = (+.f64 %244 %277)
%415 = (+.f64 %16 %102)
%416 = (fabs.f64 %98)
%417 = (/.f64 %98 %416)
%419 = (*.f64 %417 (/.f64 %244 %416))
%420 = (/.f64 %244 %103)
%421 = (*.f64 %302 %420)
%422 = (*.f64 %338 %252)
%424 = (*.f64 %245 (/.f64 #s(literal 1/2 binary64) %98))
%425 = (fma.f64 %281 %103 %121)
%426 = (*.f64 %425 %285)
%427 = (*.f64 %103 %98)
%429 = (*.f64 %261 (/.f64 #s(literal 1 binary64) %427))
%430 = (*.f64 %285 %249)
%432 = (pow.f64 %98 #s(literal -2 binary64))
%433 = (*.f64 %247 %432)
%434 = (*.f64 #s(literal -1 binary64) %420)
%435 = (*.f64 %100 %244)
%436 = (*.f64 %249 %285)
%437 = (*.f64 #s(literal 1 binary64) %252)
%438 = (*.f64 %98 %98)
%440 = (*.f64 %98 (/.f64 %244 %438))
%441 = (*.f64 %244 %100)
%442 = (pow.f64 %252 #s(literal 1 binary64))
%444 = (/.f64 (*.f64 %247 #s(literal 1 binary64)) %438)
%446 = (/.f64 (*.f64 #s(literal 1 binary64) %425) %103)
%448 = (/.f64 (*.f64 #s(literal 1 binary64) %261) %427)
%450 = (/.f64 (*.f64 #s(literal 1 binary64) %247) %438)
%452 = (/.f64 (*.f64 #s(literal 2 binary64) %252) #s(literal 2 binary64))
%454 = (/.f64 (/.f64 %261 %98) %103)
%456 = (/.f64 (/.f64 %247 %416) %416)
%458 = (/.f64 (*.f64 #s(literal -1 binary64) %249) %98)
%459 = (/.f64 %268 %103)
%460 = (*.f64 %98 %16)
%462 = (/.f64 (fma.f64 %134 %438 %460) %438)
%465 = (*.f64 %438 %438)
%466 = (/.f64 (fma.f64 %219 %438 (*.f64 %460 %438)) %465)
%469 = (/.f64 (fma.f64 %219 %438 (*.f64 %438 %460)) %465)
%471 = (*.f64 #s(literal 2 binary64) %103)
%472 = (/.f64 (*.f64 #s(literal 2 binary64) %425) %471)
%475 = (/.f64 (*.f64 #s(literal 2 binary64) %247) (*.f64 #s(literal 2 binary64) %438))
%478 = (/.f64 (*.f64 #s(literal 2 binary64) %261) (*.f64 #s(literal 2 binary64) %427))
%480 = (/.f64 (*.f64 #s(literal 2 binary64) %249) %471)
%482 = (/.f64 %258 (*.f64 #s(literal 2 binary64) %98))
%484 = (/.f64 (neg.f64 %425) %98)
%485 = (/.f64 %425 %103)
%486 = (/.f64 %261 %427)
%487 = (/.f64 %247 %438)
%488 = (/.f64 %249 %103)
%490 = (/.f64 #s(literal 1 binary64) (/.f64 %103 %425))
%492 = (/.f64 #s(literal 1 binary64) (/.f64 %427 %261))
%494 = (/.f64 #s(literal 1 binary64) (pow.f64 %252 #s(literal -1 binary64)))
%496 = (/.f64 #s(literal 1 binary64) (/.f64 %438 %247))
%498 = (/.f64 #s(literal 1 binary64) (/.f64 %103 %249))
%500 = (/.f64 #s(literal 1 binary64) (/.f64 %98 %244))
%501 = (neg.f64 %420)
%502 = (/.f64 %128 %416)
%503 = (/.f64 %290 %416)
%504 = (/.f64 %460 %438)
%505 = (fma.f64 %502 %503 %504)
%506 = (fma.f64 %502 %503 %281)
%507 = (/.f64 %132 %416)
%508 = (/.f64 %308 %416)
%509 = (fma.f64 %507 %508 %504)
%510 = (fma.f64 %507 %508 %281)
%511 = (/.f64 %105 %416)
%512 = (/.f64 %320 %416)
%513 = (fma.f64 %511 %512 %504)
%514 = (fma.f64 %511 %512 %281)
%515 = (/.f64 %81 %416)
%516 = (/.f64 %327 %416)
%517 = (fma.f64 %515 %516 %504)
%518 = (fma.f64 %515 %516 %281)
%519 = (/.f64 %102 %416)
%520 = (fma.f64 %519 %417 %504)
%521 = (fma.f64 %519 %417 %281)
%522 = (/.f64 %89 %416)
%523 = (*.f64 y %98)
%524 = (/.f64 %523 %416)
%525 = (fma.f64 %522 %524 %504)
%526 = (fma.f64 %522 %524 %281)
%527 = (/.f64 %97 %416)
%528 = (*.f64 #s(literal -4 binary64) %98)
%529 = (/.f64 %528 %416)
%530 = (fma.f64 %527 %529 %504)
%531 = (fma.f64 %527 %529 %281)
%532 = (/.f64 %84 %416)
%533 = (/.f64 %361 %416)
%534 = (fma.f64 %532 %533 %504)
%535 = (fma.f64 %532 %533 %281)
%536 = (/.f64 #s(literal -4 binary64) %416)
%537 = (*.f64 %97 %98)
%538 = (/.f64 %537 %416)
%539 = (fma.f64 %536 %538 %504)
%540 = (fma.f64 %536 %538 %281)
%541 = (/.f64 #s(literal 4 binary64) %416)
%542 = (/.f64 %373 %416)
%543 = (fma.f64 %541 %542 %504)
%544 = (fma.f64 %541 %542 %281)
%545 = (/.f64 y %416)
%546 = (*.f64 %89 %98)
%547 = (/.f64 %546 %416)
%548 = (fma.f64 %545 %547 %504)
%549 = (fma.f64 %545 %547 %281)
%550 = (*.f64 %98 %2)
%552 = (/.f64 %2 %416)
%553 = (fma.f64 (/.f64 %550 %416) %552 %134)
%555 = (/.f64 %1 %98)
%556 = (fma.f64 (/.f64 %550 %103) %555 %134)
%558 = (/.f64 %1 %103)
%559 = (fma.f64 (/.f64 %550 %98) %558 %134)
%560 = (*.f64 %98 %1)
%562 = (/.f64 %1 %416)
%563 = (fma.f64 (/.f64 %560 %416) %562 %134)
%565 = (fma.f64 (/.f64 %560 %103) %558 %134)
%567 = (fma.f64 (/.f64 %560 %98) %555 %134)
%568 = (*.f64 %98 %8)
%570 = (/.f64 %8 %416)
%571 = (fma.f64 (/.f64 %568 %416) %570 %134)
%573 = (/.f64 x %98)
%574 = (fma.f64 (/.f64 %568 %103) %573 %134)
%576 = (/.f64 x %103)
%577 = (fma.f64 (/.f64 %568 %98) %576 %134)
%578 = (*.f64 %98 x)
%580 = (/.f64 x %416)
%581 = (fma.f64 (/.f64 %578 %416) %580 %134)
%583 = (fma.f64 (/.f64 %578 %103) %576 %134)
%585 = (fma.f64 (/.f64 %578 %98) %573 %134)
%586 = (*.f64 %2 %98)
%588 = (fma.f64 %552 (/.f64 %586 %416) %134)
%589 = (*.f64 %1 %98)
%591 = (fma.f64 %562 (/.f64 %589 %416) %134)
%592 = (*.f64 %8 %98)
%594 = (fma.f64 %570 (/.f64 %592 %416) %134)
%595 = (/.f64 %16 %416)
%596 = (fma.f64 %595 %417 %134)
%597 = (*.f64 x %98)
%599 = (fma.f64 %580 (/.f64 %597 %416) %134)
%600 = (fma.f64 %417 %519 %504)
%601 = (fma.f64 %417 %519 %281)
%602 = (fma.f64 %417 %595 %134)
%603 = (fma.f64 %302 %280 %504)
%604 = (fma.f64 %302 %280 %281)
%605 = (*.f64 %576 x)
%606 = (fma.f64 %302 %605 %134)
%607 = (fma.f64 %338 %134 %504)
%608 = (fma.f64 %338 %134 %281)
%609 = (fma.f64 %338 %281 %134)
%611 = (fma.f64 %550 (/.f64 %2 %438) %134)
%613 = (fma.f64 %560 (/.f64 %1 %438) %134)
%615 = (fma.f64 %568 (/.f64 %8 %438) %134)
%617 = (fma.f64 %578 (/.f64 x %438) %134)
%618 = (/.f64 %126 %98)
%619 = (/.f64 %290 %103)
%620 = (fma.f64 %618 %619 %504)
%621 = (fma.f64 %618 %619 %281)
%622 = (*.f64 %105 %355)
%623 = (fma.f64 %622 %291 %504)
%624 = (fma.f64 %622 %291 %281)
%625 = (/.f64 %105 %103)
%626 = (/.f64 %320 %103)
%627 = (fma.f64 %625 %626 %504)
%628 = (fma.f64 %625 %626 %281)
%629 = (/.f64 %105 %98)
%630 = (fma.f64 %629 %321 %504)
%631 = (fma.f64 %629 %321 %281)
%632 = (/.f64 y %103)
%633 = (fma.f64 %632 %328 %504)
%634 = (fma.f64 %632 %328 %281)
%635 = (/.f64 %546 %103)
%636 = (fma.f64 %632 %635 %504)
%637 = (fma.f64 %632 %635 %281)
%639 = (fma.f64 %558 (/.f64 %586 %98) %134)
%641 = (fma.f64 %558 (/.f64 %589 %103) %134)
%642 = (/.f64 #s(literal 4 binary64) %98)
%643 = (/.f64 %537 %103)
%644 = (fma.f64 %642 %643 %504)
%645 = (fma.f64 %642 %643 %281)
%646 = (fma.f64 %642 %374 %504)
%647 = (fma.f64 %642 %374 %281)
%648 = (*.f64 y %632)
%649 = (fma.f64 %648 %309 %504)
%650 = (fma.f64 %648 %309 %281)
%651 = (/.f64 %528 %103)
%652 = (fma.f64 %648 %651 %504)
%653 = (fma.f64 %648 %651 %281)
%654 = (*.f64 #s(literal 4 binary64) %279)
%655 = (/.f64 %523 %103)
%656 = (fma.f64 %654 %655 %504)
%657 = (fma.f64 %654 %655 %281)
%658 = (fma.f64 %654 %362 %504)
%659 = (fma.f64 %654 %362 %281)
%660 = (fma.f64 %280 %302 %504)
%661 = (fma.f64 %280 %302 %281)
%662 = (fma.f64 %126 %625 %504)
%663 = (fma.f64 %126 %625 %281)
%664 = (/.f64 %290 %438)
%665 = (fma.f64 %128 %664 %504)
%666 = (fma.f64 %128 %664 %281)
%667 = (fma.f64 %128 %629 %504)
%668 = (fma.f64 %128 %629 %281)
%669 = (fma.f64 %279 %380 %504)
%670 = (fma.f64 %279 %380 %281)
%671 = (fma.f64 %279 %89 %504)
%672 = (fma.f64 %279 %89 %281)
%673 = (fma.f64 %355 %368 %504)
%674 = (fma.f64 %355 %368 %281)
%675 = (fma.f64 %355 %97 %504)
%676 = (fma.f64 %355 %97 %281)
%677 = (fma.f64 %367 %356 %504)
%678 = (fma.f64 %367 %356 %281)
%679 = (fma.f64 %367 #s(literal -4 binary64) %504)
%680 = (fma.f64 %367 #s(literal -4 binary64) %281)
%681 = (fma.f64 %379 %351 %504)
%682 = (fma.f64 %379 %351 %281)
%683 = (fma.f64 %379 y %504)
%684 = (fma.f64 %379 y %281)
%686 = (fma.f64 %555 (/.f64 %586 %103) %134)
%688 = (fma.f64 %555 (/.f64 %589 %98) %134)
%689 = (fma.f64 %555 %1 %134)
%691 = (fma.f64 %576 (/.f64 %592 %98) %134)
%693 = (fma.f64 %576 (/.f64 %597 %103) %134)
%694 = (fma.f64 %576 %8 %134)
%696 = (fma.f64 %573 (/.f64 %592 %103) %134)
%698 = (fma.f64 %573 (/.f64 %597 %98) %134)
%699 = (fma.f64 %573 x %134)
%700 = (*.f64 %285 %32)
%701 = (fma.f64 %285 %121 %700)
%702 = (*.f64 %285 %121)
%703 = (fma.f64 %285 %32 %702)
%704 = (fma.f64 %460 %432 %134)
%705 = (fma.f64 %605 %302 %134)
%706 = (fma.f64 %219 %432 %504)
%707 = (fma.f64 %219 %432 %281)
%708 = (fma.f64 %121 %285 %504)
%709 = (fma.f64 %121 %285 %281)
%711 = (fma.f64 %2 (/.f64 %586 %438) %134)
%712 = (fma.f64 %2 %558 %134)
%713 = (fma.f64 %106 %618 %504)
%714 = (fma.f64 %106 %618 %281)
%715 = (/.f64 %308 %438)
%716 = (fma.f64 %132 %715 %504)
%717 = (fma.f64 %132 %715 %281)
%718 = (fma.f64 %132 %642 %504)
%719 = (fma.f64 %132 %642 %281)
%720 = (fma.f64 %32 %285 %134)
%721 = (fma.f64 %100 %102 %504)
%722 = (fma.f64 %100 %102 %281)
%723 = (fma.f64 %100 %16 %134)
%724 = (fma.f64 %134 %338 %504)
%725 = (fma.f64 %134 %338 %281)
%726 = (*.f64 %504 #s(literal 1 binary64))
%727 = (fma.f64 %134 #s(literal 1 binary64) %726)
%728 = (*.f64 %281 #s(literal 1 binary64))
%729 = (fma.f64 %134 #s(literal 1 binary64) %728)
%730 = (fma.f64 %281 %338 %134)
%731 = (*.f64 %134 #s(literal 1 binary64))
%732 = (fma.f64 %281 #s(literal 1 binary64) %731)
%734 = (fma.f64 %1 (/.f64 %589 %438) %134)
%735 = (fma.f64 %1 %555 %134)
%736 = (/.f64 %320 %438)
%737 = (fma.f64 %105 %736 %504)
%738 = (fma.f64 %105 %736 %281)
%739 = (fma.f64 %105 %622 %504)
%740 = (fma.f64 %105 %622 %281)
%742 = (fma.f64 %8 (/.f64 %592 %438) %134)
%743 = (fma.f64 %8 %576 %134)
%744 = (/.f64 %327 %438)
%745 = (fma.f64 %81 %744 %504)
%746 = (fma.f64 %81 %744 %281)
%747 = (fma.f64 %81 %654 %504)
%748 = (fma.f64 %81 %654 %281)
%749 = (*.f64 #s(literal 1 binary64) %504)
%750 = (fma.f64 #s(literal 1 binary64) %134 %749)
%751 = (*.f64 #s(literal 1 binary64) %281)
%752 = (fma.f64 #s(literal 1 binary64) %134 %751)
%753 = (*.f64 #s(literal 1 binary64) %134)
%754 = (fma.f64 #s(literal 1 binary64) %281 %753)
%755 = (/.f64 %98 %438)
%756 = (fma.f64 %102 %755 %504)
%757 = (fma.f64 %102 %755 %281)
%758 = (fma.f64 %102 %100 %504)
%759 = (fma.f64 %102 %100 %281)
%760 = (/.f64 %102 %438)
%761 = (fma.f64 %98 %760 %504)
%762 = (fma.f64 %98 %760 %281)
%764 = (fma.f64 %98 (/.f64 %16 %438) %134)
%765 = (/.f64 %134 %98)
%766 = (fma.f64 %98 %765 %504)
%767 = (fma.f64 %98 %765 %281)
%768 = (/.f64 %523 %438)
%769 = (fma.f64 %89 %768 %504)
%770 = (fma.f64 %89 %768 %281)
%771 = (/.f64 %351 %98)
%772 = (fma.f64 %89 %771 %504)
%773 = (fma.f64 %89 %771 %281)
%774 = (fma.f64 %89 %279 %504)
%775 = (fma.f64 %89 %279 %281)
%776 = (/.f64 %528 %438)
%777 = (fma.f64 %97 %776 %504)
%778 = (fma.f64 %97 %776 %281)
%779 = (/.f64 %356 %98)
%780 = (fma.f64 %97 %779 %504)
%781 = (fma.f64 %97 %779 %281)
%782 = (fma.f64 %97 %355 %504)
%783 = (fma.f64 %97 %355 %281)
%784 = (/.f64 %361 %438)
%785 = (fma.f64 %84 %784 %504)
%786 = (fma.f64 %84 %784 %281)
%787 = (fma.f64 %84 %632 %504)
%788 = (fma.f64 %84 %632 %281)
%789 = (/.f64 %537 %438)
%790 = (fma.f64 #s(literal -4 binary64) %789 %504)
%791 = (fma.f64 #s(literal -4 binary64) %789 %281)
%792 = (/.f64 %368 %98)
%793 = (fma.f64 #s(literal -4 binary64) %792 %504)
%794 = (fma.f64 #s(literal -4 binary64) %792 %281)
%795 = (fma.f64 #s(literal -4 binary64) %367 %504)
%796 = (fma.f64 #s(literal -4 binary64) %367 %281)
%797 = (/.f64 %373 %438)
%798 = (fma.f64 #s(literal 4 binary64) %797 %504)
%799 = (fma.f64 #s(literal 4 binary64) %797 %281)
%800 = (fma.f64 #s(literal 4 binary64) %648 %504)
%801 = (fma.f64 #s(literal 4 binary64) %648 %281)
%802 = (/.f64 %546 %438)
%803 = (fma.f64 y %802 %504)
%804 = (fma.f64 y %802 %281)
%805 = (/.f64 %380 %98)
%806 = (fma.f64 y %805 %504)
%807 = (fma.f64 y %805 %281)
%808 = (fma.f64 y %379 %504)
%809 = (fma.f64 y %379 %281)
%810 = (fma.f64 %16 %755 %134)
%811 = (fma.f64 %16 %100 %134)
%813 = (fma.f64 x (/.f64 %597 %438) %134)
%814 = (fma.f64 x %573 %134)
%816 = (-.f64 %134 (/.f64 %460 %427))
%818 = (-.f64 %134 (neg.f64 %504))
%821 = (-.f64 %134 (/.f64 (*.f64 %103 %16) %438))
%822 = (-.f64 %134 %605)
%823 = (-.f64 %281 %280)
%824 = (+.f64 %702 %700)
%825 = (+.f64 %700 %702)
%826 = (+.f64 %753 %749)
%827 = (+.f64 %753 %751)
%828 = (+.f64 %751 %753)
%829 = (+.f64 %731 %726)
%830 = (+.f64 %731 %728)
%831 = (+.f64 %728 %731)
%832 = (+.f64 %504 %134)
%833 = (+.f64 %134 %504)
%834 = (+.f64 %134 %281)
%835 = (+.f64 %281 %134)
x
(*.f64 %4 %4)
(*.f64 %6 %6)
(*.f64 %9 %9)
(*.f64 %11 %11)
(*.f64 %2 %2)
(*.f64 %1 %1)
(*.f64 %8 %8)
(*.f64 %16 #s(literal 1 binary64))
%16
(pow.f64 %18 #s(literal 1/2 binary64))
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %8 #s(literal 2 binary64))
(pow.f64 %16 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 (*.f64 %16 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64)))
(neg.f64 %33)
(neg.f64 %32)
(fma.f64 %4 %4 %37)
(fma.f64 %6 %6 %37)
(fma.f64 %9 %9 %37)
(fma.f64 %11 %11 %37)
(fma.f64 #s(literal 1/2 binary64) %16 %42)
(fma.f64 %2 %2 %37)
(fma.f64 %1 %1 %37)
(fma.f64 %8 %8 %37)
(fma.f64 #s(literal 1 binary64) %16 %47)
(fma.f64 %16 #s(literal 1/2 binary64) %49)
(fma.f64 %16 #s(literal 1 binary64) %37)
(fma.f64 x x %37)
(sqrt.f64 %18)
(fabs.f64 %33)
(fabs.f64 (*.f64 %8 %2))
(fabs.f64 (*.f64 x %2))
(fabs.f64 (*.f64 %8 %1))
(fabs.f64 (*.f64 x %1))
(fabs.f64 (*.f64 %2 %8))
(fabs.f64 (*.f64 %1 %8))
(fabs.f64 (*.f64 %2 x))
(fabs.f64 (*.f64 %1 x))
(fabs.f64 %32)
(fabs.f64 %16)
(+.f64 %49 %49)
(+.f64 %42 %42)
(+.f64 %75 %47)
(+.f64 %16 %37)
y
#s(literal 4 binary64)
#s(literal -4 binary64)
(*.f64 %81 #s(literal -4 binary64))
(*.f64 #s(literal -4 binary64) %81)
%84
(*.f64 y #s(literal 4 binary64))
(pow.f64 %84 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %84 #s(literal -1 binary64)))
(neg.f64 %89)
(fma.f64 #s(literal 2 binary64) y %91)
(fma.f64 y #s(literal 2 binary64) %93)
(+.f64 %93 %93)
(+.f64 %91 %91)
%99
%101
%104
%108
%110
%112
%113
%115
%117
%119
%120
%122
%123
%124
%125
%127
%129
%130
%131
%133
%135
%136
%137
%138
%139
%140
%141
%98
%142
%143
%144
%145
%146
%147
%148
%149
%150
%151
(*.f64 %106 %106)
(*.f64 %105 %105)
(*.f64 %81 %81)
%97
(pow.f64 %155 #s(literal 1/2 binary64))
(pow.f64 %106 #s(literal 2 binary64))
(pow.f64 %105 #s(literal 2 binary64))
(pow.f64 %81 #s(literal 2 binary64))
(pow.f64 %97 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %97 #s(literal -1 binary64)))
(neg.f64 %132)
(sqrt.f64 %155)
(fabs.f64 (*.f64 %81 %106))
(fabs.f64 (*.f64 y %106))
(fabs.f64 (*.f64 %81 %105))
(fabs.f64 (*.f64 y %105))
(fabs.f64 (*.f64 %106 %81))
(fabs.f64 (*.f64 %105 %81))
(fabs.f64 (*.f64 %106 y))
(fabs.f64 (*.f64 %105 y))
(fabs.f64 %132)
(fabs.f64 %97)
(*.f64 %81 #s(literal 4 binary64))
%89
(*.f64 #s(literal 4 binary64) %81)
(*.f64 y #s(literal -4 binary64))
(pow.f64 %89 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %89 #s(literal -1 binary64)))
(neg.f64 %84)
(fma.f64 %81 #s(literal 2 binary64) %111)
(fma.f64 #s(literal 2 binary64) %81 %118)
(+.f64 %111 %111)
(+.f64 %118 %118)
(*.f64 %107 %107)
(*.f64 %109 %109)
(*.f64 %111 %111)
(*.f64 %93 %93)
(*.f64 %114 %114)
(*.f64 %116 %116)
(*.f64 %118 %118)
(*.f64 %91 %91)
(*.f64 %126 %105)
(*.f64 %128 %106)
(*.f64 %106 %128)
(*.f64 %132 #s(literal -4 binary64))
(*.f64 %134 %103)
(*.f64 %105 %126)
(*.f64 %81 %89)
(*.f64 %102 #s(literal -1 binary64))
(*.f64 %89 %81)
%121
(*.f64 %84 y)
(*.f64 #s(literal -4 binary64) %132)
(*.f64 #s(literal 4 binary64) %97)
(*.f64 y %84)
(pow.f64 %121 #s(literal 1 binary64))
(/.f64 %217 %98)
(/.f64 %219 %103)
(/.f64 #s(literal 1 binary64) (pow.f64 %121 #s(literal -1 binary64)))
(neg.f64 (*.f64 %121 #s(literal -1 binary64)))
(neg.f64 %102)
(fma.f64 %32 %134 %226)
(fma.f64 %134 %32 %228)
(fma.f64 %134 %102 %230)
(fma.f64 #s(literal 2 binary64) %97 %232)
(fma.f64 %102 %134 %234)
(fma.f64 %97 #s(literal 2 binary64) %236)
(+.f64 %236 %236)
(+.f64 %232 %232)
(+.f64 %230 %228)
(+.f64 %228 %230)
(+.f64 %234 %226)
(+.f64 %226 %234)
%246
%248
%250
%251
%253
%254
%255
%257
%259
%260
%262
%263
%265
%267
%269
%270
%271
%272
%273
%274
%276
%278
%283
%284
%286
%287
%288
%289
%292
%293
%294
%295
%297
%298
%299
%300
%301
%303
%304
%305
%306
%307
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%322
%323
%324
%325
%326
%329
%330
%331
%332
%333
%334
%335
%337
%339
%340
%341
%342
%343
%344
%345
%346
%348
%349
%350
%352
%353
%354
%244
%357
%358
%359
%360
%363
%364
%365
%366
%369
%370
%371
%372
%375
%376
%377
%378
%381
%382
%383
%384
%385
%386
%387
%389
%390
%392
%394
%396
%398
%400
%402
%404
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%246
%248
%250
%251
%253
%254
%255
%257
%259
%260
%262
%263
%265
%267
%269
%270
%271
%272
%273
%274
%276
%278
%283
%284
%286
%287
%288
%289
%292
%293
%294
%295
%297
%298
%299
%300
%301
%303
%304
%305
%306
%307
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%322
%323
%324
%325
%326
%329
%330
%331
%332
%333
%334
%335
%337
%339
%340
%341
%342
%343
%344
%345
%346
%348
%349
%350
%352
%353
%354
%244
%357
%358
%359
%360
%363
%364
%365
%366
%369
%370
%371
%372
%375
%376
%377
%378
%381
%382
%383
%384
%385
%386
%387
%389
%390
%392
%394
%396
%398
%400
%402
%404
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%99
%101
%104
%108
%110
%112
%113
%115
%117
%119
%120
%122
%123
%124
%125
%127
%129
%130
%131
%133
%135
%136
%137
%138
%139
%140
%141
%98
%142
%143
%144
%145
%146
%147
%148
%149
%150
%151
%419
%421
%422
%424
%426
%429
%430
%433
%434
%435
%436
%437
%440
%441
%442
%444
%446
%448
%450
%452
%454
%456
%458
%459
%462
%466
%469
%472
%475
%478
%480
%482
%484
%485
%486
%487
%488
%490
%492
%494
%496
%498
%500
%252
%501
%505
%506
%509
%510
%513
%514
%517
%518
%520
%521
%525
%526
%530
%531
%534
%535
%539
%540
%543
%544
%548
%549
%553
%556
%559
%563
%565
%567
%571
%574
%577
%581
%583
%585
%588
%591
%594
%596
%599
%600
%601
%602
%603
%604
%606
%607
%608
%609
%611
%613
%615
%617
%620
%621
%623
%624
%627
%628
%630
%631
%633
%634
%636
%637
%639
%641
%644
%645
%646
%647
%649
%650
%652
%653
%656
%657
%658
%659
%660
%661
%662
%663
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%686
%688
%689
%691
%693
%694
%696
%698
%699
%701
%703
%704
%705
%706
%707
%708
%709
%711
%712
%713
%714
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%727
%729
%730
%732
%734
%735
%737
%738
%739
%740
%742
%743
%745
%746
%747
%748
%750
%752
%754
%756
%757
%758
%759
%761
%762
%764
%766
%767
%769
%770
%772
%773
%774
%775
%777
%778
%780
%781
%782
%783
%785
%786
%787
%788
%790
%791
%793
%794
%795
%796
%798
%799
%800
%801
%803
%804
%806
%807
%808
%809
%810
%811
%813
%814
%816
%818
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%419
%421
%422
%424
%426
%429
%430
%433
%434
%435
%436
%437
%440
%441
%442
%444
%446
%448
%450
%452
%454
%456
%458
%459
%462
%466
%469
%472
%475
%478
%480
%482
%484
%485
%486
%487
%488
%490
%492
%494
%496
%498
%500
%252
%501
%505
%506
%509
%510
%513
%514
%517
%518
%520
%521
%525
%526
%530
%531
%534
%535
%539
%540
%543
%544
%548
%549
%553
%556
%559
%563
%565
%567
%571
%574
%577
%581
%583
%585
%588
%591
%594
%596
%599
%600
%601
%602
%603
%604
%606
%607
%608
%609
%611
%613
%615
%617
%620
%621
%623
%624
%627
%628
%630
%631
%633
%634
%636
%637
%639
%641
%644
%645
%646
%647
%649
%650
%652
%653
%656
%657
%658
%659
%660
%661
%662
%663
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%686
%688
%689
%691
%693
%694
%696
%698
%699
%701
%703
%704
%705
%706
%707
%708
%709
%711
%712
%713
%714
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%727
%729
%730
%732
%734
%735
%737
%738
%739
%740
%742
%743
%745
%746
%747
%748
%750
%752
%754
%756
%757
%758
%759
%761
%762
%764
%766
%767
%769
%770
%772
%773
%774
%775
%777
%778
%780
%781
%782
%783
%785
%786
%787
%788
%790
%791
%793
%794
%795
%796
%798
%799
%800
%801
%803
%804
%806
%807
%808
%809
%810
%811
%813
%814
%816
%818
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835