%2 = (-.f64 x y)
%4 = (*.f64 x #s(literal 2 binary64))
%5 = (*.f64 %4 y)
x
y
%2
#s(literal 2 binary64)
%4
%5
(/.f64 %2 %5)

%2 = (-.f64 x y)
%14 = (-.f64 y x)
%15 = (*.f64 %14 #s(literal 1 binary64))
%18 = (neg.f64 y)
%19 = (neg.f64 x)
%21 = (neg.f64 %19)
%26 = (+.f64 x x)
%32 = (/.f64 #s(literal 1/2 binary64) x)
%36 = (*.f64 #s(literal -1 binary64) x)
%39 = (+.f64 y y)
%42 = (*.f64 #s(literal -2 binary64) x)
%43 = (neg.f64 %42)
%45 = (*.f64 y x)
%47 = (*.f64 #s(literal -2 binary64) y)
%52 = (*.f64 %26 y)
%54 = (*.f64 #s(literal 1 binary64) %45)
%59 = (neg.f64 %47)
%63 = (/.f64 #s(literal 1/2 binary64) %45)
%65 = (*.f64 #s(literal -2 binary64) %45)
%67 = (*.f64 %45 #s(literal 1 binary64))
%75 = (/.f64 %2 %45)
%77 = (/.f64 %2 %39)
%78 = (/.f64 #s(literal 1 binary64) x)
%80 = (/.f64 %2 y)
%82 = (*.f64 %2 #s(literal 1/2 binary64))
%85 = (/.f64 %2 x)
%86 = (/.f64 #s(literal 1/2 binary64) y)
%88 = (/.f64 #s(literal 1 binary64) y)
%89 = (/.f64 y %26)
%90 = (-.f64 #s(literal 1/2 binary64) %89)
%92 = (neg.f64 %63)
%94 = (*.f64 x x)
%95 = (*.f64 %65 y)
%96 = (fma.f64 %94 %39 %95)
%97 = (*.f64 %45 %45)
%99 = (*.f64 %97 #s(literal 4 binary64))
%102 = (-.f64 %89 #s(literal 1/2 binary64))
%108 = (-.f64 %86 %32)
%112 = (*.f64 %52 x)
%114 = (*.f64 %52 y)
%122 = (*.f64 #s(literal 2 binary64) %65)
%127 = (*.f64 x %65)
%129 = (/.f64 %18 y)
%131 = (*.f64 %26 x)
%133 = (*.f64 %26 %65)
%135 = (/.f64 %18 x)
%138 = (*.f64 %39 %65)
%142 = (*.f64 %45 x)
%144 = (*.f64 %45 %65)
%146 = (/.f64 y x)
%147 = (neg.f64 %146)
%152 = (*.f64 %18 x)
%154 = (*.f64 %18 %65)
%156 = (/.f64 y %42)
%159 = (*.f64 y %65)
%161 = (*.f64 #s(literal -1 binary64) %65)
%165 = (*.f64 %52 %65)
%167 = (*.f64 #s(literal 1 binary64) %65)
%168 = (*.f64 %42 x)
%170 = (*.f64 %42 %65)
%172 = (*.f64 %65 x)
%175 = (*.f64 x #s(literal -1 binary64))
%176 = (*.f64 %175 %65)
%177 = (*.f64 y #s(literal -1 binary64))
%178 = (*.f64 %65 %177)
%181 = (*.f64 %175 #s(literal 2 binary64))
%182 = (/.f64 %146 y)
%183 = (*.f64 %65 %182)
%185 = (*.f64 %65 #s(literal 2 binary64))
%187 = (/.f64 y %45)
%188 = (*.f64 %65 %187)
%191 = (*.f64 %175 x)
%192 = (/.f64 y %39)
%193 = (*.f64 %65 %192)
%197 = (/.f64 y #s(literal 2 binary64))
%198 = (*.f64 %65 %197)
%200 = (*.f64 %65 %45)
%202 = (*.f64 %175 %42)
%203 = (*.f64 %65 %129)
%205 = (*.f64 %65 %42)
%207 = (*.f64 %175 %47)
%208 = (*.f64 %65 %135)
%210 = (*.f64 %65 %47)
%212 = (*.f64 %65 %147)
%215 = (*.f64 %65 %78)
%219 = (*.f64 %65 %146)
%221 = (*.f64 %65 %39)
%224 = (*.f64 %65 %89)
%228 = (*.f64 %65 %156)
%230 = (*.f64 %65 %18)
%232 = (*.f64 %65 #s(literal 1/2 binary64))
%235 = (*.f64 %65 #s(literal -1 binary64))
%241 = (*.f64 %65 #s(literal 1 binary64))
%243 = (*.f64 %65 %26)
%247 = (*.f64 %65 %52)
%249 = (/.f64 x y)
%250 = (/.f64 %249 #s(literal 2 binary64))
%251 = (*.f64 %250 %65)
%252 = (*.f64 x %177)
%255 = (*.f64 %250 #s(literal 2 binary64))
%256 = (*.f64 x %182)
%259 = (*.f64 x %187)
%262 = (*.f64 %250 x)
%263 = (*.f64 x %192)
%267 = (*.f64 x %197)
%269 = (*.f64 x %45)
%271 = (*.f64 %250 %42)
%272 = (*.f64 x %129)
%274 = (*.f64 x %42)
%276 = (*.f64 %250 %47)
%277 = (*.f64 x %135)
%280 = (*.f64 x %147)
%286 = (*.f64 x %146)
%290 = (*.f64 x %89)
%294 = (*.f64 x %156)
%296 = (*.f64 x %18)
%298 = (*.f64 x #s(literal 1/2 binary64))
%307 = (*.f64 x %26)
%312 = (/.f64 %249 x)
%313 = (*.f64 %312 %65)
%314 = (*.f64 #s(literal 2 binary64) %177)
%317 = (*.f64 %312 #s(literal 2 binary64))
%318 = (*.f64 #s(literal 2 binary64) %182)
%321 = (*.f64 #s(literal 2 binary64) %187)
%324 = (*.f64 %312 x)
%325 = (*.f64 #s(literal 2 binary64) %192)
%329 = (*.f64 #s(literal 2 binary64) %197)
%332 = (*.f64 %312 %42)
%333 = (*.f64 #s(literal 2 binary64) %129)
%335 = (*.f64 #s(literal 2 binary64) %42)
%337 = (*.f64 %312 %47)
%338 = (*.f64 #s(literal 2 binary64) %135)
%340 = (*.f64 #s(literal 2 binary64) %47)
%342 = (*.f64 #s(literal 2 binary64) %147)
%345 = (*.f64 #s(literal 2 binary64) %78)
%349 = (*.f64 #s(literal 2 binary64) %146)
%351 = (*.f64 #s(literal 2 binary64) %39)
%354 = (*.f64 #s(literal 2 binary64) %89)
%358 = (*.f64 #s(literal 2 binary64) %156)
%369 = (*.f64 #s(literal 2 binary64) %26)
%373 = (*.f64 #s(literal 2 binary64) %52)
%375 = (/.f64 %19 y)
%376 = (*.f64 %375 %65)
%377 = (*.f64 %42 %177)
%380 = (*.f64 %375 #s(literal 2 binary64))
%381 = (*.f64 %42 %182)
%383 = (*.f64 %42 #s(literal 2 binary64))
%385 = (*.f64 %42 %187)
%388 = (*.f64 %375 x)
%389 = (*.f64 %42 %192)
%393 = (*.f64 %42 %197)
%395 = (*.f64 %42 %45)
%397 = (*.f64 %375 %42)
%398 = (*.f64 %42 %129)
%400 = (*.f64 %26 %26)
%402 = (*.f64 %375 %47)
%403 = (*.f64 %42 %135)
%405 = (*.f64 %42 %47)
%407 = (*.f64 %42 %147)
%410 = (*.f64 %42 %78)
%414 = (*.f64 %42 %146)
%416 = (*.f64 %42 %39)
%419 = (*.f64 %42 %89)
%423 = (*.f64 %42 %156)
%426 = (*.f64 %42 #s(literal 1/2 binary64))
%429 = (*.f64 %42 #s(literal -1 binary64))
%435 = (*.f64 %42 #s(literal 1 binary64))
%437 = (*.f64 %42 %26)
%441 = (*.f64 %42 %52)
%443 = (/.f64 %19 x)
%444 = (*.f64 %443 %65)
%445 = (*.f64 %47 %177)
%447 = (*.f64 %47 %65)
%449 = (*.f64 %443 #s(literal 2 binary64))
%450 = (*.f64 %47 %182)
%452 = (*.f64 %47 #s(literal 2 binary64))
%454 = (*.f64 %47 %187)
%457 = (*.f64 %443 x)
%458 = (*.f64 %47 %192)
%462 = (*.f64 %47 %197)
%464 = (*.f64 %47 %45)
%466 = (*.f64 %443 %42)
%467 = (*.f64 %47 %129)
%469 = (*.f64 %47 %42)
%471 = (*.f64 %443 %47)
%472 = (*.f64 %47 %135)
%474 = (*.f64 %39 %39)
%476 = (*.f64 %47 %147)
%479 = (*.f64 %47 %78)
%483 = (*.f64 %47 %146)
%485 = (*.f64 %47 %39)
%488 = (*.f64 %47 %89)
%490 = (*.f64 %47 y)
%493 = (*.f64 %47 %156)
%495 = (*.f64 %47 %18)
%497 = (*.f64 %47 #s(literal 1/2 binary64))
%500 = (*.f64 %47 #s(literal -1 binary64))
%506 = (*.f64 %47 #s(literal 1 binary64))
%508 = (*.f64 %47 %26)
%512 = (*.f64 %47 %52)
%514 = (/.f64 x %45)
%515 = (*.f64 %514 %65)
%518 = (*.f64 %514 #s(literal 2 binary64))
%523 = (*.f64 %514 x)
%529 = (*.f64 %514 %42)
%532 = (*.f64 %514 %47)
%560 = (/.f64 x %39)
%561 = (*.f64 %560 %65)
%564 = (*.f64 %560 #s(literal 2 binary64))
%569 = (*.f64 %560 x)
%575 = (*.f64 %560 %42)
%578 = (*.f64 %560 %47)
%606 = (/.f64 %19 %26)
%607 = (*.f64 %606 %65)
%608 = (*.f64 %18 %177)
%611 = (*.f64 %606 #s(literal 2 binary64))
%612 = (*.f64 %18 %182)
%615 = (*.f64 %18 %187)
%618 = (*.f64 %606 x)
%619 = (*.f64 %18 %192)
%623 = (*.f64 %18 %197)
%625 = (*.f64 %18 %45)
%627 = (*.f64 %606 %42)
%628 = (*.f64 %18 %129)
%631 = (*.f64 %606 %47)
%632 = (*.f64 %18 %135)
%634 = (*.f64 %18 %47)
%636 = (*.f64 %18 %147)
%639 = (*.f64 %18 %78)
%643 = (*.f64 %18 %146)
%645 = (*.f64 %18 %39)
%648 = (*.f64 %18 %89)
%650 = (*.f64 %18 y)
%653 = (*.f64 %18 %156)
%655 = (*.f64 y y)
%657 = (*.f64 %18 #s(literal 1/2 binary64))
%660 = (*.f64 %18 #s(literal -1 binary64))
%666 = (*.f64 %18 #s(literal 1 binary64))
%671 = (*.f64 %18 %52)
%673 = (/.f64 x #s(literal 2 binary64))
%674 = (*.f64 %673 %65)
%678 = (*.f64 %673 #s(literal 2 binary64))
%685 = (*.f64 %673 x)
%693 = (*.f64 %673 %42)
%696 = (*.f64 %45 %42)
%698 = (*.f64 %673 %47)
%701 = (*.f64 %45 %47)
%716 = (*.f64 %45 y)
%721 = (*.f64 %45 %18)
%738 = (neg.f64 %249)
%739 = (*.f64 %738 %65)
%742 = (*.f64 %738 #s(literal 2 binary64))
%747 = (*.f64 %738 x)
%753 = (*.f64 %738 %42)
%756 = (*.f64 %738 %47)
%785 = (*.f64 #s(literal -1/2 binary64) %65)
%792 = (*.f64 #s(literal -1/2 binary64) x)
%798 = (*.f64 #s(literal -1/2 binary64) %42)
%801 = (*.f64 #s(literal -1/2 binary64) %47)
%829 = (*.f64 %21 %65)
%830 = (*.f64 %52 %177)
%833 = (*.f64 %21 #s(literal 2 binary64))
%834 = (*.f64 %52 %182)
%836 = (*.f64 %52 #s(literal 2 binary64))
%838 = (*.f64 %52 %187)
%841 = (*.f64 %21 x)
%842 = (*.f64 %52 %192)
%846 = (*.f64 %52 %197)
%848 = (*.f64 %52 %45)
%850 = (*.f64 %21 %42)
%851 = (*.f64 %52 %129)
%853 = (*.f64 %52 %42)
%855 = (*.f64 %21 %47)
%856 = (*.f64 %52 %135)
%858 = (*.f64 %52 %47)
%860 = (*.f64 %52 %147)
%863 = (*.f64 %52 %78)
%867 = (*.f64 %52 %89)
%871 = (*.f64 %52 %156)
%873 = (*.f64 %52 %18)
%875 = (*.f64 %52 #s(literal 1/2 binary64))
%878 = (*.f64 %52 #s(literal -1 binary64))
%885 = (*.f64 %52 %26)
%890 = (*.f64 %249 %65)
%894 = (*.f64 %249 #s(literal 2 binary64))
%897 = (*.f64 %26 #s(literal 2 binary64))
%902 = (*.f64 %249 x)
%910 = (*.f64 %249 %42)
%913 = (*.f64 %26 %42)
%915 = (*.f64 %249 %47)
%918 = (*.f64 %26 %47)
%935 = (*.f64 %88 %65)
%938 = (*.f64 %88 #s(literal 2 binary64))
%943 = (*.f64 %88 x)
%949 = (*.f64 %88 %42)
%952 = (*.f64 %88 %47)
%980 = (*.f64 #s(literal 1/2 binary64) %65)
%990 = (*.f64 #s(literal 1/2 binary64) x)
%999 = (*.f64 #s(literal 1/2 binary64) %42)
%1003 = (*.f64 #s(literal 1/2 binary64) %47)
%1006 = (*.f64 y %47)
%1014 = (*.f64 y %18)
%1021 = (*.f64 %19 %65)
%1028 = (*.f64 %19 x)
%1034 = (*.f64 %19 %42)
%1057 = (*.f64 #s(literal -1 binary64) %42)
%1060 = (*.f64 #s(literal -1 binary64) %47)
%1093 = (*.f64 %39 #s(literal 2 binary64))
%1104 = (*.f64 #s(literal 1 binary64) %42)
%1107 = (*.f64 %39 %42)
%1109 = (*.f64 #s(literal 1 binary64) %47)
%1112 = (*.f64 %39 %47)
%1123 = (*.f64 %39 %18)
%1159 = (*.f64 %90 #s(literal 1 binary64))
%1162 = (*.f64 %2 #s(literal -1 binary64))
%1165 = (*.f64 %82 %88)
%1168 = (*.f64 %85 %88)
%1171 = (*.f64 %78 %2)
%1174 = (*.f64 %88 %2)
%1177 = (*.f64 #s(literal -1 binary64) %2)
%1180 = (/.f64 %14 y)
%1181 = (/.f64 %1180 #s(literal -2 binary64))
%1184 = (/.f64 %80 x)
%1187 = (/.f64 %85 y)
%1190 = (/.f64 %96 %52)
%1194 = (-.f64 (*.f64 %86 %26) #s(literal 1 binary64))
%1198 = (-.f64 (*.f64 %86 %39) %146)
%1202 = (-.f64 (*.f64 %86 y) %89)
%1206 = (-.f64 (*.f64 %86 %65) %18)
%1209 = (fma.f64 #s(literal 1 binary64) %52 %645)
%1211 = (*.f64 %39 %52)
%1212 = (neg.f64 %1211)
%1214 = (fma.f64 #s(literal 1/2 binary64) %52 %650)
%1216 = (neg.f64 %114)
%1218 = (fma.f64 %19 %52 %154)
%1220 = (neg.f64 %247)
%1222 = (fma.f64 %307 y %671)
%1224 = (neg.f64 %99)
%1230 = (fma.f64 %249 %52 %65)
%1232 = (*.f64 %26 %52)
%1233 = (neg.f64 %1232)
%1235 = (fma.f64 #s(literal 1 binary64) %52 %1123)
%1238 = (fma.f64 #s(literal 1/2 binary64) %52 %1014)
%1241 = (fma.f64 %19 %52 %230)
%1244 = (fma.f64 %307 y %873)
%1248 = (-.f64 (*.f64 %249 %26) %26)
%1254 = (-.f64 (*.f64 %249 %39) (*.f64 %26 %146))
%1256 = (*.f64 %26 %39)
%1261 = (-.f64 (*.f64 %249 y) (*.f64 %26 %89))
%1264 = (-.f64 %890 %65)
%1269 = (-.f64 (*.f64 %249 %52) %52)
%1272 = (-.f64 %26 %39)
%1274 = (*.f64 %39 %26)
%1279 = (-.f64 (*.f64 #s(literal 1 binary64) %39) (*.f64 %39 %146))
%1284 = (-.f64 y (*.f64 %39 %89))
%1286 = (*.f64 %39 y)
%1289 = (-.f64 %167 %1123)
%1294 = (-.f64 (*.f64 #s(literal 1 binary64) %52) %1286)
%1299 = (-.f64 (*.f64 #s(literal 1/2 binary64) %39) (*.f64 y %146))
%1301 = (*.f64 y %39)
%1306 = (-.f64 (*.f64 #s(literal 1/2 binary64) y) (*.f64 y %89))
%1310 = (-.f64 %980 %1014)
%1315 = (-.f64 (*.f64 #s(literal 1/2 binary64) %52) %655)
%1319 = (-.f64 (*.f64 %19 %26) %241)
%1323 = (-.f64 %65 %219)
%1328 = (-.f64 (*.f64 %19 y) %224)
%1332 = (-.f64 %1021 %230)
%1336 = (-.f64 (*.f64 %19 %52) %95)
%1340 = (-.f64 %52 (*.f64 %52 %146))
%1342 = (*.f64 %52 %39)
%1345 = (-.f64 %45 %867)
%1348 = (-.f64 %127 %873)
%1352 = (*.f64 %82 #s(literal 1 binary64))
%1354 = (neg.f64 %45)
%1356 = (*.f64 %85 #s(literal 1 binary64))
%1359 = (neg.f64 %80)
%1362 = (neg.f64 %96)
%1366 = (*.f64 %14 %88)
%1370 = (-.f64 (*.f64 #s(literal 1/2 binary64) %26) y)
%1373 = (-.f64 %307 %52)
%1377 = (neg.f64 %85)
%1475 = (*.f64 %63 %18)
%1477 = (neg.f64 %32)
x
y
(*.f64 (*.f64 %2 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %2)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %15)
(neg.f64 %14)
(-.f64 %18 %19)
%2
(+.f64 %21 %18)
(+.f64 %18 %21)
(+.f64 %18 x)
(+.f64 x %18)
#s(literal 2 binary64)
(*.f64 #s(literal 1 binary64) %26)
(*.f64 %26 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %26 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %32)
(-.f64 x (*.f64 %19 #s(literal 1 binary64)))
(-.f64 x %36)
(-.f64 x %19)
%26
(*.f64 %21 %39)
(*.f64 %43 y)
(*.f64 %45 #s(literal 2 binary64))
(*.f64 %19 %47)
(*.f64 %42 %18)
(*.f64 %39 x)
(*.f64 %18 %42)
(*.f64 %52 #s(literal 1 binary64))
%52
(*.f64 #s(literal 2 binary64) %54)
(*.f64 #s(literal 2 binary64) %45)
(*.f64 y %43)
(*.f64 y %26)
(*.f64 x %59)
(*.f64 x %39)
(pow.f64 %52 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %63)
(neg.f64 %65)
(fma.f64 %45 #s(literal 1 binary64) %67)
(fma.f64 #s(literal 1 binary64) %45 %54)
(fma.f64 y x %45)
(fma.f64 x y %45)
(+.f64 %67 %67)
(+.f64 %54 %54)
(+.f64 %45 %45)
(*.f64 %75 #s(literal 1/2 binary64))
(*.f64 %77 %78)
(*.f64 %80 %32)
(*.f64 %82 (/.f64 #s(literal 1 binary64) %45))
(*.f64 %85 %86)
(*.f64 %88 %90)
(*.f64 %92 %14)
(*.f64 %96 (/.f64 #s(literal 1 binary64) %99))
(*.f64 %102 (/.f64 #s(literal -1 binary64) y))
(*.f64 %90 %88)
(*.f64 %63 %2)
(*.f64 %14 %92)
(*.f64 #s(literal 1 binary64) %108)
(*.f64 %2 %63)
(pow.f64 %108 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %112 %99) (*.f64 %99 %114)) (*.f64 %99 %99))
(/.f64 (-.f64 (*.f64 (/.f64 %18 %45) %65) %26) %122)
(/.f64 (-.f64 (*.f64 (/.f64 y %47) %65) %94) %127)
(/.f64 (-.f64 (*.f64 %129 %65) %131) %133)
(/.f64 (-.f64 (*.f64 %135 %65) %52) %138)
(/.f64 (-.f64 (*.f64 (/.f64 y #s(literal -2 binary64)) %65) %142) %144)
(/.f64 (-.f64 (*.f64 %147 %65) %52) %138)
(/.f64 (-.f64 (*.f64 %89 %65) %152) %154)
(/.f64 (-.f64 (*.f64 %156 %65) %45) %159)
(/.f64 (-.f64 %161 %131) %133)
(/.f64 (-.f64 %154 %112) %165)
(/.f64 (-.f64 %167 %168) %170)
(/.f64 (-.f64 %159 %172) %99)
(/.f64 (-.f64 %176 %178) %99)
(/.f64 (-.f64 %181 %183) %185)
(/.f64 (-.f64 %181 %188) %185)
(/.f64 (-.f64 %191 %193) %172)
(/.f64 (-.f64 (*.f64 %175 %45) %198) %200)
(/.f64 (-.f64 %202 %203) %205)
(/.f64 (-.f64 %207 %208) %210)
(/.f64 (-.f64 %207 %212) %210)
(/.f64 (-.f64 %181 %215) %185)
(/.f64 (-.f64 (*.f64 %175 %39) %219) %221)
(/.f64 (-.f64 (*.f64 %175 y) %224) %95)
(/.f64 (-.f64 (*.f64 %175 %18) %228) %230)
(/.f64 (-.f64 %191 %232) %172)
(/.f64 (-.f64 %202 %235) %205)
(/.f64 (-.f64 %176 %230) %99)
(/.f64 (-.f64 (*.f64 %175 %26) %241) %243)
(/.f64 (-.f64 (*.f64 %175 %52) %95) %247)
(/.f64 (-.f64 %251 %252) %127)
(/.f64 (-.f64 %255 %256) %26)
(/.f64 (-.f64 %255 %259) %26)
(/.f64 (-.f64 %262 %263) %94)
(/.f64 (-.f64 (*.f64 %250 %45) %267) %269)
(/.f64 (-.f64 %271 %272) %274)
(/.f64 (-.f64 %276 %277) %65)
(/.f64 (-.f64 %276 %280) %65)
(/.f64 (-.f64 %255 #s(literal 1 binary64)) %26)
(/.f64 (-.f64 (*.f64 %250 %39) %286) %52)
(/.f64 (-.f64 (*.f64 %250 y) %290) %45)
(/.f64 (-.f64 (*.f64 %250 %18) %294) %296)
(/.f64 (-.f64 %262 %298) %94)
(/.f64 (-.f64 %271 %175) %274)
(/.f64 (-.f64 %251 %296) %127)
(/.f64 (-.f64 (*.f64 %250 %26) x) %307)
(/.f64 (-.f64 (*.f64 %250 %52) %45) %112)
(/.f64 (-.f64 %313 %314) %122)
(/.f64 (-.f64 %317 %318) #s(literal 4 binary64))
(/.f64 (-.f64 %317 %321) #s(literal 4 binary64))
(/.f64 (-.f64 %324 %325) %26)
(/.f64 (-.f64 (*.f64 %312 %45) %329) %52)
(/.f64 (-.f64 %332 %333) %335)
(/.f64 (-.f64 %337 %338) %340)
(/.f64 (-.f64 %337 %342) %340)
(/.f64 (-.f64 %317 %345) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %312 %39) %349) %351)
(/.f64 (-.f64 (*.f64 %312 y) %354) %39)
(/.f64 (-.f64 (*.f64 %312 %18) %358) %47)
(/.f64 (-.f64 %324 #s(literal 1 binary64)) %26)
(/.f64 (-.f64 %332 #s(literal -2 binary64)) %335)
(/.f64 (-.f64 %313 %47) %122)
(/.f64 (-.f64 (*.f64 %312 %26) #s(literal 2 binary64)) %369)
(/.f64 (-.f64 (*.f64 %312 %52) %39) %373)
(/.f64 (-.f64 %376 %377) %170)
(/.f64 (-.f64 %380 %381) %383)
(/.f64 (-.f64 %380 %385) %383)
(/.f64 (-.f64 %388 %389) %168)
(/.f64 (-.f64 (*.f64 %375 %45) %393) %395)
(/.f64 (-.f64 %397 %398) %400)
(/.f64 (-.f64 %402 %403) %405)
(/.f64 (-.f64 %402 %407) %405)
(/.f64 (-.f64 %380 %410) %383)
(/.f64 (-.f64 (*.f64 %375 %39) %414) %416)
(/.f64 (-.f64 (*.f64 %375 y) %419) %65)
(/.f64 (-.f64 (*.f64 %375 %18) %423) %52)
(/.f64 (-.f64 %388 %426) %168)
(/.f64 (-.f64 %397 %429) %400)
(/.f64 (-.f64 %376 %52) %170)
(/.f64 (-.f64 (*.f64 %375 %26) %435) %437)
(/.f64 (-.f64 (*.f64 %375 %52) %65) %441)
(/.f64 (-.f64 %444 %445) %447)
(/.f64 (-.f64 %449 %450) %452)
(/.f64 (-.f64 %449 %454) %452)
(/.f64 (-.f64 %457 %458) %65)
(/.f64 (-.f64 (*.f64 %443 %45) %462) %464)
(/.f64 (-.f64 %466 %467) %469)
(/.f64 (-.f64 %471 %472) %474)
(/.f64 (-.f64 %471 %476) %474)
(/.f64 (-.f64 %449 %479) %452)
(/.f64 (-.f64 (*.f64 %443 %39) %483) %485)
(/.f64 (-.f64 (*.f64 %443 y) %488) %490)
(/.f64 (-.f64 (*.f64 %443 %18) %493) %495)
(/.f64 (-.f64 %457 %497) %65)
(/.f64 (-.f64 %466 %500) %469)
(/.f64 (-.f64 %444 %495) %447)
(/.f64 (-.f64 (*.f64 %443 %26) %506) %508)
(/.f64 (-.f64 (*.f64 %443 %52) %490) %512)
(/.f64 (-.f64 %515 %314) %122)
(/.f64 (-.f64 %518 %318) #s(literal 4 binary64))
(/.f64 (-.f64 %518 %321) #s(literal 4 binary64))
(/.f64 (-.f64 %523 %325) %26)
(/.f64 (-.f64 (*.f64 %514 %45) %329) %52)
(/.f64 (-.f64 %529 %333) %335)
(/.f64 (-.f64 %532 %338) %340)
(/.f64 (-.f64 %532 %342) %340)
(/.f64 (-.f64 %518 %345) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %514 %39) %349) %351)
(/.f64 (-.f64 (*.f64 %514 y) %354) %39)
(/.f64 (-.f64 (*.f64 %514 %18) %358) %47)
(/.f64 (-.f64 %523 #s(literal 1 binary64)) %26)
(/.f64 (-.f64 %529 #s(literal -2 binary64)) %335)
(/.f64 (-.f64 %515 %47) %122)
(/.f64 (-.f64 (*.f64 %514 %26) #s(literal 2 binary64)) %369)
(/.f64 (-.f64 (*.f64 %514 %52) %39) %373)
(/.f64 (-.f64 %561 %252) %127)
(/.f64 (-.f64 %564 %256) %26)
(/.f64 (-.f64 %564 %259) %26)
(/.f64 (-.f64 %569 %263) %94)
(/.f64 (-.f64 (*.f64 %560 %45) %267) %269)
(/.f64 (-.f64 %575 %272) %274)
(/.f64 (-.f64 %578 %277) %65)
(/.f64 (-.f64 %578 %280) %65)
(/.f64 (-.f64 %564 #s(literal 1 binary64)) %26)
(/.f64 (-.f64 (*.f64 %560 %39) %286) %52)
(/.f64 (-.f64 (*.f64 %560 y) %290) %45)
(/.f64 (-.f64 (*.f64 %560 %18) %294) %296)
(/.f64 (-.f64 %569 %298) %94)
(/.f64 (-.f64 %575 %175) %274)
(/.f64 (-.f64 %561 %296) %127)
(/.f64 (-.f64 (*.f64 %560 %26) x) %307)
(/.f64 (-.f64 (*.f64 %560 %52) %45) %112)
(/.f64 (-.f64 %607 %608) %154)
(/.f64 (-.f64 %611 %612) %47)
(/.f64 (-.f64 %611 %615) %47)
(/.f64 (-.f64 %618 %619) %152)
(/.f64 (-.f64 (*.f64 %606 %45) %623) %625)
(/.f64 (-.f64 %627 %628) %52)
(/.f64 (-.f64 %631 %632) %634)
(/.f64 (-.f64 %631 %636) %634)
(/.f64 (-.f64 %611 %639) %47)
(/.f64 (-.f64 (*.f64 %606 %39) %643) %645)
(/.f64 (-.f64 (*.f64 %606 y) %648) %650)
(/.f64 (-.f64 (*.f64 %606 %18) %653) %655)
(/.f64 (-.f64 %618 %657) %152)
(/.f64 (-.f64 %627 %660) %52)
(/.f64 (-.f64 %607 %655) %154)
(/.f64 (-.f64 (*.f64 %606 %26) %666) %65)
(/.f64 (-.f64 (*.f64 %606 %52) %650) %671)
(/.f64 (-.f64 %674 (*.f64 %45 %177)) %144)
(/.f64 (-.f64 %678 (*.f64 %45 %182)) %52)
(/.f64 (-.f64 %678 (*.f64 %45 %187)) %52)
(/.f64 (-.f64 %685 (*.f64 %45 %192)) %142)
(/.f64 (-.f64 (*.f64 %673 %45) (*.f64 %45 %197)) %97)
(/.f64 (-.f64 %693 (*.f64 %45 %129)) %696)
(/.f64 (-.f64 %698 (*.f64 %45 %135)) %701)
(/.f64 (-.f64 %698 (*.f64 %45 %147)) %701)
(/.f64 (-.f64 %678 (*.f64 %45 %78)) %52)
(/.f64 (-.f64 (*.f64 %673 %39) (*.f64 %45 %146)) %114)
(/.f64 (-.f64 (*.f64 %673 y) (*.f64 %45 %89)) %716)
(/.f64 (-.f64 (*.f64 %673 %18) (*.f64 %45 %156)) %721)
(/.f64 (-.f64 %685 (*.f64 %45 #s(literal 1/2 binary64))) %142)
(/.f64 (-.f64 %693 (*.f64 %45 #s(literal -1 binary64))) %696)
(/.f64 (-.f64 %674 %721) %144)
(/.f64 (-.f64 (*.f64 %673 %26) %67) %112)
(/.f64 (-.f64 (*.f64 %673 %52) %716) (*.f64 %45 %52))
(/.f64 (-.f64 %739 %377) %170)
(/.f64 (-.f64 %742 %381) %383)
(/.f64 (-.f64 %742 %385) %383)
(/.f64 (-.f64 %747 %389) %168)
(/.f64 (-.f64 (*.f64 %738 %45) %393) %395)
(/.f64 (-.f64 %753 %398) %400)
(/.f64 (-.f64 %756 %403) %405)
(/.f64 (-.f64 %756 %407) %405)
(/.f64 (-.f64 %742 %410) %383)
(/.f64 (-.f64 (*.f64 %738 %39) %414) %416)
(/.f64 (-.f64 (*.f64 %738 y) %419) %65)
(/.f64 (-.f64 (*.f64 %738 %18) %423) %52)
(/.f64 (-.f64 %747 %426) %168)
(/.f64 (-.f64 %753 %429) %400)
(/.f64 (-.f64 %739 %52) %170)
(/.f64 (-.f64 (*.f64 %738 %26) %435) %437)
(/.f64 (-.f64 (*.f64 %738 %52) %65) %441)
(/.f64 (-.f64 %785 %608) %154)
(/.f64 (-.f64 #s(literal -1 binary64) %612) %47)
(/.f64 (-.f64 #s(literal -1 binary64) %615) %47)
(/.f64 (-.f64 %792 %619) %152)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %45) %623) %625)
(/.f64 (-.f64 %798 %628) %52)
(/.f64 (-.f64 %801 %632) %634)
(/.f64 (-.f64 %801 %636) %634)
(/.f64 (-.f64 #s(literal -1 binary64) %639) %47)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %39) %643) %645)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) y) %648) %650)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %18) %653) %655)
(/.f64 (-.f64 %792 %657) %152)
(/.f64 (-.f64 %798 %660) %52)
(/.f64 (-.f64 %785 %655) %154)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %26) %666) %65)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %52) %650) %671)
(/.f64 (-.f64 %829 %830) %165)
(/.f64 (-.f64 %833 %834) %836)
(/.f64 (-.f64 %833 %838) %836)
(/.f64 (-.f64 %841 %842) %112)
(/.f64 (-.f64 (*.f64 %21 %45) %846) %848)
(/.f64 (-.f64 %850 %851) %853)
(/.f64 (-.f64 %855 %856) %858)
(/.f64 (-.f64 %855 %860) %858)
(/.f64 (-.f64 %833 %863) %836)
(/.f64 (-.f64 (*.f64 %21 y) %867) %114)
(/.f64 (-.f64 (*.f64 %21 %18) %871) %873)
(/.f64 (-.f64 %841 %875) %112)
(/.f64 (-.f64 %850 %878) %853)
(/.f64 (-.f64 %829 %873) %165)
(/.f64 (-.f64 (*.f64 %21 %26) %52) %885)
(/.f64 (-.f64 (*.f64 %21 %52) %114) %99)
(/.f64 (-.f64 %890 (*.f64 %26 %177)) %133)
(/.f64 (-.f64 %894 (*.f64 %26 %182)) %897)
(/.f64 (-.f64 %894 (*.f64 %26 %187)) %897)
(/.f64 (-.f64 %902 (*.f64 %26 %192)) %131)
(/.f64 (-.f64 (*.f64 %249 %45) (*.f64 %26 %197)) %112)
(/.f64 (-.f64 %910 (*.f64 %26 %129)) %913)
(/.f64 (-.f64 %915 (*.f64 %26 %135)) %918)
(/.f64 (-.f64 %915 (*.f64 %26 %147)) %918)
(/.f64 (-.f64 %894 (*.f64 %26 %78)) %897)
(/.f64 (-.f64 (*.f64 %249 %18) (*.f64 %26 %156)) %65)
(/.f64 (-.f64 %902 x) %131)
(/.f64 (-.f64 %910 (*.f64 %26 #s(literal -1 binary64))) %913)
(/.f64 (-.f64 %935 %314) %122)
(/.f64 (-.f64 %938 %318) #s(literal 4 binary64))
(/.f64 (-.f64 %938 %321) #s(literal 4 binary64))
(/.f64 (-.f64 %943 %325) %26)
(/.f64 (-.f64 (*.f64 %88 %45) %329) %52)
(/.f64 (-.f64 %949 %333) %335)
(/.f64 (-.f64 %952 %338) %340)
(/.f64 (-.f64 %952 %342) %340)
(/.f64 (-.f64 %938 %345) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %88 %39) %349) %351)
(/.f64 (-.f64 (*.f64 %88 y) %354) %39)
(/.f64 (-.f64 (*.f64 %88 %18) %358) %47)
(/.f64 (-.f64 %943 #s(literal 1 binary64)) %26)
(/.f64 (-.f64 %949 #s(literal -2 binary64)) %335)
(/.f64 (-.f64 %935 %47) %122)
(/.f64 (-.f64 (*.f64 %88 %26) #s(literal 2 binary64)) %369)
(/.f64 (-.f64 (*.f64 %88 %52) %39) %373)
(/.f64 (-.f64 %980 (*.f64 y %177)) %159)
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 y %182)) %39)
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 y %187)) %39)
(/.f64 (-.f64 %990 (*.f64 y %192)) %45)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %45) (*.f64 y %197)) (*.f64 y %45))
(/.f64 (-.f64 %999 (*.f64 y %129)) %65)
(/.f64 (-.f64 %1003 (*.f64 y %135)) %1006)
(/.f64 (-.f64 %1003 (*.f64 y %147)) %1006)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %18) (*.f64 y %156)) %1014)
(/.f64 (-.f64 %990 (*.f64 y #s(literal 1/2 binary64))) %45)
(/.f64 (-.f64 %999 %177) %65)
(/.f64 (-.f64 %1021 %178) %99)
(/.f64 (-.f64 %42 %183) %185)
(/.f64 (-.f64 %42 %188) %185)
(/.f64 (-.f64 %1028 %193) %172)
(/.f64 (-.f64 (*.f64 %19 %45) %198) %200)
(/.f64 (-.f64 %1034 %203) %205)
(/.f64 (-.f64 %42 %215) %185)
(/.f64 (-.f64 (*.f64 %19 %18) %228) %230)
(/.f64 (-.f64 %1028 %232) %172)
(/.f64 (-.f64 %1034 %235) %205)
(/.f64 (-.f64 %161 %445) %447)
(/.f64 (-.f64 #s(literal -2 binary64) %450) %452)
(/.f64 (-.f64 #s(literal -2 binary64) %454) %452)
(/.f64 (-.f64 %36 %458) %65)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %45) %462) %464)
(/.f64 (-.f64 %1057 %467) %469)
(/.f64 (-.f64 %1060 %472) %474)
(/.f64 (-.f64 %1060 %476) %474)
(/.f64 (-.f64 #s(literal -2 binary64) %479) %452)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %39) %483) %485)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) y) %488) %490)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %18) %493) %495)
(/.f64 (-.f64 %36 %497) %65)
(/.f64 (-.f64 %1057 %500) %469)
(/.f64 (-.f64 %161 %495) %447)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %26) %506) %508)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %52) %490) %512)
(/.f64 (-.f64 %167 (*.f64 %39 %177)) %138)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 %39 %182)) %1093)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 %39 %187)) %1093)
(/.f64 (-.f64 x (*.f64 %39 %192)) %52)
(/.f64 (-.f64 %54 (*.f64 %39 %197)) %114)
(/.f64 (-.f64 %1104 (*.f64 %39 %129)) %1107)
(/.f64 (-.f64 %1109 (*.f64 %39 %135)) %1112)
(/.f64 (-.f64 %1109 (*.f64 %39 %147)) %1112)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 %39 %78)) %1093)
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %18) (*.f64 %39 %156)) %1123)
(/.f64 (-.f64 x (*.f64 %39 #s(literal 1/2 binary64))) %52)
(/.f64 (-.f64 %1104 (*.f64 %39 #s(literal -1 binary64))) %1107)
(/.f64 (-.f64 %127 %830) %165)
(/.f64 (-.f64 %26 %834) %836)
(/.f64 (-.f64 %26 %838) %836)
(/.f64 (-.f64 %94 %842) %112)
(/.f64 (-.f64 %269 %846) %848)
(/.f64 (-.f64 %274 %851) %853)
(/.f64 (-.f64 %65 %856) %858)
(/.f64 (-.f64 %65 %860) %858)
(/.f64 (-.f64 %26 %863) %836)
(/.f64 (-.f64 %296 %871) %873)
(/.f64 (-.f64 %94 %875) %112)
(/.f64 (-.f64 %274 %878) %853)
(/.f64 (-.f64 %52 %208) %210)
(/.f64 (-.f64 %52 %212) %210)
(/.f64 (neg.f64 %1159) %18)
(/.f64 (neg.f64 %1162) %52)
(/.f64 (neg.f64 %1165) %19)
(/.f64 (neg.f64 %1168) #s(literal -2 binary64))
(/.f64 (neg.f64 %1171) %47)
(/.f64 (neg.f64 %1174) %42)
(/.f64 (neg.f64 %1177) %52)
(/.f64 (neg.f64 %1181) %19)
(/.f64 (neg.f64 %1184) #s(literal -2 binary64))
(/.f64 (neg.f64 %1187) #s(literal -2 binary64))
(/.f64 (neg.f64 %1190) %65)
(/.f64 (neg.f64 %1194) %42)
(/.f64 (neg.f64 %1198) %47)
(/.f64 (neg.f64 %1202) %18)
(/.f64 (neg.f64 %1206) %52)
(/.f64 (neg.f64 %1209) %1212)
(/.f64 (neg.f64 %1214) %1216)
(/.f64 (neg.f64 %1218) %1220)
(/.f64 (neg.f64 %1222) %1224)
(/.f64 (neg.f64 %75) #s(literal -2 binary64))
(/.f64 (neg.f64 %77) %19)
(/.f64 (neg.f64 %1230) %1233)
(/.f64 (neg.f64 %1235) %1212)
(/.f64 (neg.f64 %1238) %1216)
(/.f64 (neg.f64 %1241) %1220)
(/.f64 (neg.f64 %1244) %1224)
(/.f64 (neg.f64 %1248) (neg.f64 %400))
(/.f64 (neg.f64 %1254) (neg.f64 %1256))
(/.f64 (neg.f64 %1261) %65)
(/.f64 (neg.f64 %1264) (neg.f64 %133))
(/.f64 (neg.f64 %1269) %1233)
(/.f64 (neg.f64 %1272) (neg.f64 %1274))
(/.f64 (neg.f64 %1279) (neg.f64 %474))
(/.f64 (neg.f64 %1284) (neg.f64 %1286))
(/.f64 (neg.f64 %1289) (neg.f64 %138))
(/.f64 (neg.f64 %1294) %1212)
(/.f64 (neg.f64 %1299) (neg.f64 %1301))
(/.f64 (neg.f64 %1306) (neg.f64 %655))
(/.f64 (neg.f64 %1310) (neg.f64 %159))
(/.f64 (neg.f64 %1315) %1216)
(/.f64 (neg.f64 %1319) (neg.f64 %243))
(/.f64 (neg.f64 %1323) (neg.f64 %221))
(/.f64 (neg.f64 %1328) (neg.f64 %95))
(/.f64 (neg.f64 %1332) %1224)
(/.f64 (neg.f64 %1336) %1220)
(/.f64 (neg.f64 %1340) (neg.f64 %1342))
(/.f64 (neg.f64 %1345) %1216)
(/.f64 (neg.f64 %1348) (neg.f64 %165))
(/.f64 (neg.f64 %1352) %1354)
(/.f64 (neg.f64 %1356) %47)
(/.f64 (neg.f64 %1359) %43)
(/.f64 (neg.f64 %1362) (neg.f64 %1224))
(/.f64 (neg.f64 %1366) %43)
(/.f64 (neg.f64 %1370) %65)
(/.f64 (neg.f64 %1373) (neg.f64 %885))
(/.f64 (neg.f64 %1377) %59)
(/.f64 %1159 y)
(/.f64 %1162 %65)
(/.f64 %1165 x)
(/.f64 %1168 #s(literal 2 binary64))
(/.f64 %1366 %42)
(/.f64 %1171 %39)
(/.f64 %1174 %26)
(/.f64 %1177 %65)
(/.f64 %1181 x)
(/.f64 %1184 #s(literal 2 binary64))
(/.f64 %1187 #s(literal 2 binary64))
(/.f64 %1190 %52)
(/.f64 %1180 %42)
(/.f64 (/.f64 %14 x) %47)
(/.f64 %1370 %52)
(/.f64 %1194 %26)
(/.f64 %1198 %39)
(/.f64 %1202 y)
(/.f64 %1206 %65)
(/.f64 %1209 %1211)
(/.f64 %1214 %114)
(/.f64 %1218 %247)
(/.f64 %1222 %99)
(/.f64 %75 #s(literal 2 binary64))
(/.f64 %77 x)
(/.f64 %1230 %1232)
(/.f64 %1235 %1211)
(/.f64 %1238 %114)
(/.f64 %1241 %247)
(/.f64 %1244 %99)
(/.f64 (-.f64 (*.f64 %146 %65) %65) %447)
(/.f64 %1373 %885)
(/.f64 %1248 %400)
(/.f64 %1254 %1256)
(/.f64 %1261 %52)
(/.f64 %1264 %133)
(/.f64 %1269 %1232)
(/.f64 %1272 %1274)
(/.f64 %1279 %474)
(/.f64 %1284 %1286)
(/.f64 %1289 %138)
(/.f64 %1294 %1211)
(/.f64 %1299 %1301)
(/.f64 %1306 %655)
(/.f64 %1310 %159)
(/.f64 %1315 %114)
(/.f64 %1319 %243)
(/.f64 %1323 %221)
(/.f64 %1328 %95)
(/.f64 %1332 %99)
(/.f64 %1336 %247)
(/.f64 %1340 %1342)
(/.f64 %1345 %114)
(/.f64 %1348 %165)
(/.f64 %1352 %45)
(/.f64 %1356 %39)
(/.f64 %15 %65)
(/.f64 %1359 %42)
(/.f64 %1362 %1224)
(/.f64 (neg.f64 %82) %1354)
(/.f64 %1377 %47)
(/.f64 %80 %43)
(/.f64 %80 %26)
(/.f64 %82 %45)
(/.f64 %85 %59)
(/.f64 %85 %39)
(/.f64 %96 %99)
(/.f64 %102 %18)
(/.f64 %90 y)
(/.f64 %14 %65)
(/.f64 #s(literal 1 binary64) (pow.f64 %108 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %26 %80))
(/.f64 #s(literal 1 binary64) (/.f64 %39 %85))
(/.f64 #s(literal 1 binary64) (/.f64 %99 %96))
(/.f64 #s(literal 1 binary64) (/.f64 %18 %102))
(/.f64 #s(literal 1 binary64) (/.f64 y %90))
(/.f64 #s(literal 1 binary64) (/.f64 %65 %14))
(/.f64 #s(literal 1 binary64) (/.f64 %52 %2))
(/.f64 %2 %52)
(neg.f64 (*.f64 %102 %88))
(neg.f64 (-.f64 %32 %86))
(fma.f64 %249 %32 %1475)
(fma.f64 %249 %32 %1477)
(fma.f64 #s(literal 1/2 binary64) %88 %1475)
(fma.f64 #s(literal 1/2 binary64) %88 %1477)
(fma.f64 %19 %92 %1475)
(fma.f64 %19 %92 %1477)
(fma.f64 %18 %63 %86)
(fma.f64 %63 %18 %86)
(fma.f64 %63 x %1475)
(fma.f64 %63 x %1477)
(fma.f64 #s(literal 1 binary64) %86 %1475)
(fma.f64 #s(literal 1 binary64) %86 %1477)
(fma.f64 y %92 %86)
(fma.f64 x %63 %1475)
(fma.f64 x %63 %1477)
(-.f64 (/.f64 %112 %99) (/.f64 %114 %99))
(-.f64 %1477 (/.f64 x %65))
%108
(+.f64 %1475 %86)
(+.f64 %1477 %86)
(+.f64 %86 %1475)
(+.f64 %86 %1477)

%2 = (-.f64 x y)
%4 = (/.f64 #s(literal -1/2 binary64) x)
%9 = (/ (- x y) (* (* x 2) y))
%12 = (/.f64 #s(literal 1/2 binary64) y)
%14 = (+.f64 x x)
%15 = (/.f64 #s(literal 1/2 binary64) x)
%16 = (/.f64 %2 y)
%17 = (/.f64 y %14)
%18 = (-.f64 #s(literal 1/2 binary64) %17)
x
y
%2
#s(literal -1/2 binary64)
%4
(approx %9 %4)
#s(literal 1/2 binary64)
%12
(approx %9 %12)
%14
%15
%16
%17
%18
(-.f64 %12 %15)
(/.f64 %16 %14)
(/.f64 %18 y)

%2 = (-.f64 x y)
%6 = (neg.f64 y)
%7 = (*.f64 %2 %6)
%9 = (*.f64 %2 y)
%11 = (-.f64 y x)
%13 = (neg.f64 x)
%19 = (/.f64 #s(literal 2 binary64) %13)
%23 = (/.f64 #s(literal 2 binary64) x)
%26 = (/.f64 y #s(literal -2 binary64))
%27 = (*.f64 y x)
%28 = (/.f64 #s(literal 1 binary64) %27)
%30 = (/.f64 y %13)
%32 = (/.f64 #s(literal 1/2 binary64) y)
%36 = (/.f64 y x)
%37 = (/.f64 #s(literal 1 binary64) y)
%38 = (/.f64 %37 #s(literal -2 binary64))
%41 = (/.f64 #s(literal -1 binary64) x)
%43 = (/.f64 #s(literal 1/2 binary64) x)
%45 = (/.f64 #s(literal -1/2 binary64) x)
%46 = (*.f64 %45 y)
%48 = (/.f64 #s(literal 1 binary64) x)
%51 = (*.f64 #s(literal 1/2 binary64) y)
%52 = (/.f64 %37 %13)
%54 = (/.f64 #s(literal 1/2 binary64) %27)
%57 = (+.f64 x x)
%58 = (/.f64 y %57)
%59 = (/.f64 #s(literal -1 binary64) y)
%61 = (*.f64 #s(literal -2 binary64) x)
%62 = (/.f64 #s(literal 2 binary64) %61)
%65 = (/.f64 #s(literal 1/2 binary64) %61)
%69 = (/.f64 %45 y)
%73 = (+.f64 y y)
%78 = (/.f64 %6 x)
%80 = (neg.f64 %36)
%82 = (*.f64 #s(literal -2 binary64) y)
%85 = (*.f64 #s(literal -1/2 binary64) y)
%90 = (*.f64 %73 x)
%105 = (*.f64 %82 x)
%112 = (+ (/ 1/2 y) (/ -1/2 x))
%113 = (approx %112 %45)
%115 = (/.f64 x y)
%118 = (*.f64 %32 x)
%121 = (*.f64 #s(literal 1/2 binary64) x)
%126 = (/.f64 x %27)
%128 = (/.f64 %37 #s(literal 1 binary64))
%130 = (/.f64 %115 x)
%150 = (*.f64 x #s(literal -1 binary64))
%155 = (*.f64 #s(literal -1/2 binary64) x)
%158 = (*.f64 %13 y)
%192 = (/.f64 x %105)
%194 = (/.f64 %115 %61)
%196 = (/.f64 #s(literal -1/2 binary64) y)
%198 = (approx %112 %32)
%256 = (*.f64 %6 %36)
%257 = (*.f64 %6 %73)
%259 = (*.f64 %6 %46)
%260 = (*.f64 y y)
%262 = (*.f64 y %36)
%263 = (*.f64 y %73)
%265 = (*.f64 y %46)
%266 = (*.f64 y %6)
%278 = (*.f64 y %105)
%282 = (*.f64 #s(literal 1 binary64) %6)
%286 = (*.f64 #s(literal 1 binary64) y)
%288 = (*.f64 %6 #s(literal -1 binary64))
%290 = (*.f64 %6 %48)
%292 = (*.f64 %6 #s(literal 1 binary64))
%294 = (*.f64 y #s(literal -1 binary64))
%300 = (*.f64 y %58)
%302 = (*.f64 %6 y)
%303 = (*.f64 %6 %90)
%307 = (*.f64 %6 %105)
%309 = (*.f64 y %90)
%315 = (*.f64 %13 %6)
%346 = (*.f64 y %2)
%347 = (/.f64 #s(literal 1 binary64) %260)
%351 = (/.f64 %2 y)
%355 = (*.f64 %351 %6)
%357 = (*.f64 %351 y)
%361 = (*.f64 %115 %6)
%374 = (*.f64 #s(literal -1 binary64) %2)
%376 = (*.f64 #s(literal 1 binary64) %2)
%378 = (*.f64 %346 %6)
%379 = (*.f64 %260 %6)
%381 = (*.f64 %346 #s(literal 1 binary64))
%383 = (*.f64 %346 y)
%384 = (*.f64 %260 y)
%386 = (*.f64 %11 %6)
%388 = (*.f64 %11 y)
%390 = (*.f64 %2 #s(literal -1 binary64))
%404 = (/.f64 %11 y)
%405 = (*.f64 %404 #s(literal 1 binary64))
%409 = (*.f64 %37 %6)
%435 = (*.f64 %46 y)
%467 = (/.f64 %2 x)
%469 = (*.f64 #s(literal 1/2 binary64) %2)
%472 = (fma.f64 %45 y #s(literal 1/2 binary64))
%475 = (+.f64 %32 %45)
%482 = (*.f64 %469 #s(literal 1 binary64))
%487 = (*.f64 %57 #s(literal 2 binary64))
%489 = (*.f64 #s(literal 1 binary64) %61)
%491 = (*.f64 %61 #s(literal 2 binary64))
%494 = (*.f64 #s(literal 2 binary64) %57)
%496 = (/.f64 %11 x)
%498 = (/.f64 %11 #s(literal 2 binary64))
%504 = (*.f64 #s(literal 2 binary64) %61)
%507 = (*.f64 %57 %57)
%510 = (*.f64 %57 %61)
%522 = (*.f64 x x)
%525 = (*.f64 %57 x)
%527 = (*.f64 %57 %36)
%530 = (*.f64 x %61)
%533 = (*.f64 x %57)
%536 = (*.f64 %467 #s(literal 1 binary64))
%540 = (*.f64 %2 %36)
%543 = (*.f64 %2 %46)
%546 = (*.f64 %2 %58)
%548 = (*.f64 %2 #s(literal -1/2 binary64))
%559 = (neg.f64 %467)
%561 = (*.f64 #s(literal 1/2 binary64) %11)
%576 = (fma.f64 %36 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%577 = (*.f64 %576 #s(literal 1 binary64))
%589 = (/.f64 %59 #s(literal 2 binary64))
%590 = (*.f64 %496 %589)
%591 = (*.f64 %496 %38)
%592 = (*.f64 %496 %196)
%594 = (/.f64 %59 x)
%595 = (*.f64 (/.f64 %2 #s(literal -2 binary64)) %594)
%597 = (*.f64 (/.f64 %2 %13) %589)
%598 = (*.f64 %498 %594)
%599 = (*.f64 %498 %52)
%600 = (/.f64 %2 %27)
%601 = (*.f64 %600 #s(literal 1/2 binary64))
%602 = (fma.f64 %32 x #s(literal -1/2 binary64))
%603 = (*.f64 %602 %48)
%605 = (*.f64 %561 (/.f64 #s(literal 1 binary64) %158))
%606 = (*.f64 %32 %90)
%607 = (-.f64 %606 y)
%608 = (*.f64 %607 %54)
%609 = (*.f64 %28 %469)
%610 = (*.f64 %467 %32)
%611 = (*.f64 %105 y)
%612 = (fma.f64 x %90 %611)
%613 = (*.f64 %27 %27)
%614 = (*.f64 %613 #s(literal 4 binary64))
%616 = (*.f64 %612 (/.f64 #s(literal 1 binary64) %614))
%617 = (*.f64 y %472)
%618 = (*.f64 %617 %347)
%619 = (fma.f64 #s(literal -1/2 binary64) y %300)
%621 = (*.f64 %619 (/.f64 #s(literal 1 binary64) %302))
%622 = (*.f64 #s(literal 1/2 binary64) %404)
%623 = (*.f64 %622 %41)
%624 = (*.f64 %54 %2)
%625 = (*.f64 %43 %351)
%626 = (*.f64 %37 %472)
%628 = (*.f64 %469 (/.f64 #s(literal 1 binary64) %315))
%629 = (*.f64 %469 %28)
%630 = (*.f64 %576 %59)
%631 = (*.f64 %404 %45)
%632 = (*.f64 %11 %69)
%633 = (*.f64 %472 %37)
%634 = (*.f64 %351 %43)
%635 = (*.f64 %32 %467)
%637 = (*.f64 #s(literal 1/2 binary64) (+.f64 %41 %37))
%638 = (*.f64 #s(literal 1/2 binary64) %600)
%640 = (*.f64 #s(literal -1/2 binary64) (+.f64 %59 %48))
%642 = (*.f64 #s(literal -1/2 binary64) (-.f64 %59 %41))
%643 = (-.f64 %48 %37)
%644 = (*.f64 #s(literal -1/2 binary64) %643)
%645 = (*.f64 %2 %54)
%646 = (pow.f64 %475 #s(literal 1 binary64))
%648 = (/.f64 (*.f64 %43 %346) %260)
%650 = (/.f64 (*.f64 %43 %11) %6)
%652 = (/.f64 (*.f64 %351 %36) %73)
%654 = (/.f64 (*.f64 %351 #s(literal -1 binary64)) %61)
%656 = (/.f64 (*.f64 %351 %46) %6)
%657 = (/.f64 %355 %105)
%659 = (/.f64 (*.f64 %351 %58) y)
%661 = (/.f64 (*.f64 %351 #s(literal -1/2 binary64)) %13)
%662 = (/.f64 %357 %90)
%664 = (/.f64 (*.f64 %602 #s(literal -1 binary64)) %13)
%666 = (/.f64 (*.f64 %602 #s(literal 1 binary64)) x)
%667 = (/.f64 %482 %27)
%669 = (/.f64 (*.f64 %472 #s(literal -1 binary64)) %6)
%671 = (/.f64 (*.f64 %43 %2) y)
%673 = (/.f64 (*.f64 %36 %351) %73)
%675 = (/.f64 (*.f64 #s(literal -1 binary64) %351) %61)
%677 = (/.f64 (*.f64 %46 %351) %6)
%679 = (/.f64 (*.f64 %48 %351) #s(literal 2 binary64))
%681 = (/.f64 (*.f64 %6 %351) %105)
%683 = (/.f64 (*.f64 #s(literal 1 binary64) %351) %57)
%685 = (/.f64 (*.f64 %58 %351) y)
%687 = (/.f64 (*.f64 #s(literal -1/2 binary64) %351) %13)
%689 = (/.f64 (*.f64 y %351) %90)
%691 = (/.f64 (*.f64 %346 %43) %260)
%693 = (/.f64 (*.f64 #s(literal -1 binary64) %472) %6)
%695 = (/.f64 (*.f64 #s(literal 1 binary64) %472) y)
%697 = (/.f64 (*.f64 %467 %37) #s(literal 2 binary64))
%699 = (/.f64 (/.f64 %607 %73) x)
%701 = (/.f64 (/.f64 %607 %27) #s(literal 2 binary64))
%703 = (/.f64 (/.f64 %607 %57) y)
%705 = (/.f64 (/.f64 %607 #s(literal 2 binary64)) %27)
%707 = (/.f64 (/.f64 %607 y) %57)
%709 = (/.f64 (/.f64 %607 x) %73)
%711 = (/.f64 (/.f64 %467 y) #s(literal 2 binary64))
%713 = (/.f64 (/.f64 %612 %90) %90)
%715 = (/.f64 (/.f64 %617 y) y)
%717 = (/.f64 (/.f64 %619 %6) y)
%718 = (/.f64 %405 %61)
%719 = (/.f64 %577 %6)
%721 = (/.f64 (/.f64 %404 #s(literal 2 binary64)) %13)
%723 = (/.f64 (/.f64 %404 x) #s(literal -2 binary64))
%725 = (/.f64 (fma.f64 %45 %6 #s(literal -1/2 binary64)) %6)
%728 = (/.f64 (-.f64 (*.f64 %118 #s(literal 2 binary64)) #s(literal 1 binary64)) %57)
%731 = (/.f64 (-.f64 (*.f64 %32 %27) %51) %27)
%734 = (/.f64 (-.f64 (*.f64 %32 %73) %36) %73)
%737 = (/.f64 (-.f64 (*.f64 %32 %61) #s(literal -1 binary64)) %61)
%740 = (/.f64 (-.f64 (*.f64 %32 %6) %46) %6)
%743 = (/.f64 (-.f64 (*.f64 %32 #s(literal 2 binary64)) %48) #s(literal 2 binary64))
%746 = (/.f64 (-.f64 (*.f64 %32 %105) %6) %105)
%749 = (/.f64 (-.f64 (*.f64 %32 %57) #s(literal 1 binary64)) %57)
%751 = (*.f64 %73 %90)
%752 = (/.f64 (fma.f64 #s(literal 1 binary64) %90 %257) %751)
%754 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %90 %302) %309)
%756 = (*.f64 %105 %90)
%757 = (/.f64 (fma.f64 %13 %90 %307) %756)
%759 = (/.f64 (fma.f64 x %90 %303) %614)
%760 = (*.f64 #s(literal 1/2 binary64) %73)
%762 = (/.f64 (fma.f64 #s(literal 1 binary64) %13 %760) %105)
%763 = (*.f64 #s(literal -1/2 binary64) %73)
%765 = (/.f64 (+.f64 x %763) %90)
%767 = (/.f64 (fma.f64 %115 x %13) %525)
%768 = (*.f64 #s(literal 1/2 binary64) %105)
%770 = (*.f64 %105 %13)
%771 = (/.f64 (fma.f64 %13 %13 %768) %770)
%772 = (*.f64 #s(literal -1/2 binary64) %105)
%774 = (*.f64 %105 x)
%775 = (/.f64 (fma.f64 %13 x %772) %774)
%776 = (*.f64 #s(literal 1/2 binary64) %90)
%778 = (*.f64 %90 %13)
%779 = (/.f64 (fma.f64 x %13 %776) %778)
%780 = (*.f64 #s(literal -1/2 binary64) %90)
%782 = (*.f64 %90 x)
%783 = (/.f64 (fma.f64 x x %780) %782)
%785 = (/.f64 (fma.f64 #s(literal 1/2 binary64) y %435) %260)
%788 = (/.f64 (fma.f64 #s(literal -1/2 binary64) y (*.f64 %46 %6)) %302)
%789 = (/.f64 %496 %82)
%790 = (*.f64 %73 %6)
%792 = (/.f64 (fma.f64 #s(literal 1 binary64) %90 %790) %751)
%794 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %90 %266) %309)
%796 = (*.f64 %57 %90)
%797 = (/.f64 (fma.f64 %115 %90 %105) %796)
%798 = (*.f64 %105 %6)
%800 = (/.f64 (fma.f64 %13 %90 %798) %756)
%801 = (*.f64 %90 %6)
%803 = (/.f64 (fma.f64 x %90 %801) %614)
%804 = (*.f64 %73 #s(literal 1/2 binary64))
%806 = (/.f64 (fma.f64 #s(literal 1 binary64) %13 %804) %105)
%807 = (*.f64 %73 #s(literal -1/2 binary64))
%809 = (/.f64 (+.f64 x %807) %90)
%811 = (*.f64 %57 %13)
%812 = (/.f64 (fma.f64 %115 %13 x) %811)
%813 = (*.f64 %57 #s(literal -1/2 binary64))
%815 = (/.f64 (fma.f64 %115 x %813) %525)
%816 = (*.f64 %105 #s(literal 1/2 binary64))
%818 = (/.f64 (fma.f64 %13 %13 %816) %770)
%819 = (*.f64 %105 #s(literal -1/2 binary64))
%821 = (/.f64 (fma.f64 %13 x %819) %774)
%822 = (*.f64 %90 #s(literal 1/2 binary64))
%824 = (/.f64 (fma.f64 x %13 %822) %778)
%825 = (*.f64 %90 #s(literal -1/2 binary64))
%827 = (/.f64 (fma.f64 x x %825) %782)
%829 = (/.f64 (fma.f64 #s(literal 1/2 binary64) y %265) %260)
%831 = (/.f64 (fma.f64 #s(literal -1/2 binary64) y %259) %302)
%836 = (/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %73) (*.f64 %73 %36)) (*.f64 %73 %73))
%840 = (/.f64 (-.f64 %489 (*.f64 %73 #s(literal -1 binary64))) (*.f64 %73 %61))
%843 = (/.f64 (-.f64 %282 (*.f64 %73 %46)) %790)
%847 = (/.f64 (-.f64 #s(literal 2 binary64) (*.f64 %73 %48)) (*.f64 %73 #s(literal 2 binary64)))
%851 = (/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %105) %790) (*.f64 %73 %105))
%855 = (/.f64 (-.f64 %57 (*.f64 %73 #s(literal 1 binary64))) (*.f64 %73 %57))
%858 = (*.f64 %73 y)
%859 = (/.f64 (-.f64 %286 (*.f64 %73 %58)) %858)
%861 = (/.f64 (-.f64 x %804) %90)
%864 = (/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %13) %807) %105)
%867 = (/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %90) %858) %751)
%869 = (/.f64 (-.f64 %85 %265) %266)
%873 = (/.f64 (-.f64 (*.f64 %115 %73) %527) (*.f64 %57 %73))
%877 = (/.f64 (-.f64 (*.f64 %115 %61) (*.f64 %57 #s(literal -1 binary64))) %510)
%880 = (/.f64 (-.f64 %361 (*.f64 %57 %46)) %105)
%884 = (/.f64 (-.f64 (*.f64 %115 #s(literal 2 binary64)) (*.f64 %57 %48)) %487)
%888 = (/.f64 (-.f64 (*.f64 %115 %105) %105) (*.f64 %57 %105))
%891 = (/.f64 (-.f64 (*.f64 %115 %57) %57) %507)
%894 = (/.f64 (-.f64 x (*.f64 %57 %58)) %90)
%897 = (/.f64 (-.f64 (*.f64 %115 x) x) %525)
%900 = (/.f64 (-.f64 (*.f64 %115 %13) %813) %811)
%903 = (/.f64 (-.f64 (*.f64 %115 %90) %90) %796)
%907 = (/.f64 (-.f64 %105 (*.f64 %105 %36)) (*.f64 %105 %73))
%912 = (/.f64 (-.f64 (*.f64 %13 %61) (*.f64 %105 #s(literal -1 binary64))) (*.f64 %105 %61))
%915 = (/.f64 (-.f64 %315 (*.f64 %105 %46)) %798)
%919 = (/.f64 (-.f64 %61 (*.f64 %105 %48)) (*.f64 %105 #s(literal 2 binary64)))
%922 = (/.f64 (-.f64 (*.f64 %13 %105) %798) %614)
%927 = (/.f64 (-.f64 (*.f64 %13 %57) (*.f64 %105 #s(literal 1 binary64))) (*.f64 %105 %57))
%930 = (/.f64 (-.f64 %158 (*.f64 %105 %58)) %611)
%933 = (/.f64 (-.f64 (*.f64 %13 x) %816) %774)
%936 = (/.f64 (-.f64 (*.f64 %13 %13) %819) %770)
%939 = (/.f64 (-.f64 (*.f64 %13 %90) %611) %756)
%943 = (/.f64 (-.f64 %90 (*.f64 %90 %36)) (*.f64 %90 %73))
%947 = (/.f64 (-.f64 %530 (*.f64 %90 #s(literal -1 binary64))) (*.f64 %90 %61))
%950 = (/.f64 (-.f64 %158 (*.f64 %90 %46)) %801)
%954 = (/.f64 (-.f64 %57 (*.f64 %90 %48)) (*.f64 %90 #s(literal 2 binary64)))
%955 = (*.f64 x %105)
%958 = (/.f64 (-.f64 %955 %801) (*.f64 %90 %105))
%962 = (/.f64 (-.f64 %533 (*.f64 %90 #s(literal 1 binary64))) (*.f64 %90 %57))
%965 = (*.f64 %90 y)
%966 = (/.f64 (-.f64 %27 (*.f64 %90 %58)) %965)
%968 = (/.f64 (-.f64 %522 %822) %782)
%969 = (*.f64 x %13)
%971 = (/.f64 (-.f64 %969 %825) %778)
%975 = (/.f64 (-.f64 (*.f64 %118 %73) (*.f64 x %36)) %90)
%978 = (/.f64 (-.f64 (*.f64 %118 %61) %150) %530)
%982 = (/.f64 (-.f64 (*.f64 %118 %6) (*.f64 x %46)) %158)
%985 = (/.f64 (-.f64 (*.f64 %118 %105) %158) %955)
%988 = (/.f64 (-.f64 (*.f64 %118 %57) x) %533)
%992 = (/.f64 (-.f64 (*.f64 %118 y) (*.f64 x %58)) %27)
%995 = (/.f64 (-.f64 (*.f64 %118 x) %121) %522)
%998 = (/.f64 (-.f64 (*.f64 %118 %13) %155) %969)
%1001 = (*.f64 x %90)
%1002 = (/.f64 (-.f64 (*.f64 %118 %90) %27) %1001)
%1006 = (/.f64 (-.f64 (*.f64 %121 %27) (*.f64 %27 %51)) %613)
%1008 = (/.f64 (-.f64 %760 %262) %263)
%1010 = (/.f64 (-.f64 %13 %294) %105)
%1012 = (/.f64 (-.f64 %768 %266) %278)
%1014 = (/.f64 (-.f64 %776 %260) %309)
%1016 = (/.f64 (-.f64 %763 %256) %257)
%1018 = (/.f64 (-.f64 x %288) %90)
%1020 = (/.f64 (-.f64 %51 %259) %260)
%1022 = (/.f64 (-.f64 #s(literal -1 binary64) %290) %82)
%1024 = (/.f64 (-.f64 %772 %260) %307)
%1026 = (/.f64 (-.f64 %13 %292) %105)
%1028 = (/.f64 (-.f64 %780 %302) %303)
%1030 = (/.f64 (*.f64 %469 #s(literal -1 binary64)) %158)
%1032 = (/.f64 (*.f64 %467 #s(literal -1 binary64)) %82)
%1033 = (/.f64 %536 %73)
%1036 = (/.f64 (*.f64 %36 %346) (*.f64 %73 %260))
%1038 = (/.f64 (*.f64 %36 %11) %790)
%1040 = (/.f64 (*.f64 %36 %2) %858)
%1043 = (/.f64 (*.f64 #s(literal -1 binary64) %346) (*.f64 %61 %260))
%1044 = (/.f64 %374 %105)
%1047 = (/.f64 (*.f64 %46 %346) (*.f64 %6 %260))
%1049 = (/.f64 (*.f64 %46 %11) %260)
%1051 = (/.f64 (*.f64 %46 %2) %302)
%1054 = (/.f64 (*.f64 %48 %346) (*.f64 #s(literal 2 binary64) %260))
%1056 = (/.f64 (*.f64 %48 %11) %82)
%1058 = (/.f64 (*.f64 %48 %2) %73)
%1061 = (/.f64 (*.f64 %6 %346) (*.f64 %105 %260))
%1063 = (/.f64 (*.f64 %6 %11) %798)
%1065 = (/.f64 (*.f64 %6 %2) %611)
%1068 = (/.f64 (*.f64 #s(literal 1 binary64) %346) (*.f64 %57 %260))
%1069 = (/.f64 %376 %90)
%1072 = (/.f64 (*.f64 %58 %346) (*.f64 y %260))
%1074 = (/.f64 (*.f64 %58 %11) %266)
%1076 = (/.f64 (*.f64 %58 %2) %260)
%1079 = (/.f64 (*.f64 #s(literal 1/2 binary64) %346) (*.f64 x %260))
%1082 = (/.f64 (*.f64 #s(literal -1/2 binary64) %346) (*.f64 %13 %260))
%1084 = (/.f64 (*.f64 #s(literal -1/2 binary64) %11) %315)
%1086 = (/.f64 (*.f64 #s(literal -1/2 binary64) %2) %158)
%1089 = (/.f64 (*.f64 y %346) (*.f64 %90 %260))
%1091 = (/.f64 (*.f64 y %11) %801)
%1094 = (/.f64 (*.f64 %346 %36) (*.f64 %260 %73))
%1097 = (/.f64 (*.f64 %346 #s(literal -1 binary64)) (*.f64 %260 %61))
%1099 = (/.f64 (*.f64 %346 %46) %379)
%1102 = (/.f64 (*.f64 %346 %48) (*.f64 %260 #s(literal 2 binary64)))
%1104 = (/.f64 %378 (*.f64 %260 %105))
%1105 = (*.f64 %260 %57)
%1106 = (/.f64 %381 %1105)
%1108 = (/.f64 (*.f64 %346 %58) %384)
%1111 = (/.f64 (*.f64 %346 #s(literal 1/2 binary64)) (*.f64 %260 x))
%1114 = (/.f64 (*.f64 %346 #s(literal -1/2 binary64)) (*.f64 %260 %13))
%1116 = (/.f64 %383 (*.f64 %260 %90))
%1118 = (/.f64 (*.f64 %11 %36) %257)
%1120 = (/.f64 (*.f64 %11 #s(literal -1 binary64)) %90)
%1122 = (/.f64 (*.f64 %11 %46) %260)
%1124 = (/.f64 (*.f64 %11 %48) %82)
%1125 = (/.f64 %386 %307)
%1127 = (/.f64 (*.f64 %11 %58) %302)
%1129 = (/.f64 (*.f64 %11 #s(literal 1/2 binary64)) %158)
%1131 = (/.f64 (*.f64 %11 #s(literal -1/2 binary64)) %315)
%1132 = (/.f64 %388 %303)
%1133 = (/.f64 %540 %263)
%1134 = (/.f64 %390 %105)
%1135 = (/.f64 %543 %266)
%1136 = (/.f64 %7 %278)
%1137 = (/.f64 %546 %260)
%1138 = (/.f64 %548 %158)
%1139 = (/.f64 %9 %309)
%1141 = (/.f64 (*.f64 #s(literal -1 binary64) %469) %158)
%1143 = (/.f64 (*.f64 #s(literal -1 binary64) %467) %82)
%1145 = (/.f64 (*.f64 #s(literal -1 binary64) %11) %90)
%1147 = (/.f64 (*.f64 #s(literal 1 binary64) %469) %27)
%1149 = (/.f64 (*.f64 #s(literal 1 binary64) %467) %73)
%1151 = (/.f64 (*.f64 #s(literal 1 binary64) %11) %105)
%1153 = (/.f64 (neg.f64 %607) %105)
%1156 = (/.f64 (neg.f64 %612) (neg.f64 %614))
%1157 = (/.f64 %559 %82)
%1159 = (/.f64 (neg.f64 %617) %302)
%1162 = (/.f64 (neg.f64 %619) (neg.f64 %302))
%1163 = (/.f64 %600 #s(literal 2 binary64))
%1164 = (/.f64 %602 x)
%1165 = (/.f64 %643 #s(literal -2 binary64))
%1167 = (/.f64 %561 (neg.f64 %315))
%1168 = (/.f64 %561 %158)
%1169 = (/.f64 %607 %90)
%1170 = (/.f64 %467 %73)
%1171 = (/.f64 %612 %614)
%1172 = (/.f64 %617 %260)
%1173 = (/.f64 %619 %302)
%1174 = (/.f64 %346 %1105)
%1175 = (/.f64 %346 %965)
%1176 = (/.f64 %622 %13)
%1177 = (/.f64 %469 %315)
%1178 = (/.f64 %469 %27)
%1179 = (/.f64 %576 %6)
%1180 = (/.f64 %404 %61)
%1181 = (/.f64 %11 %105)
%1183 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %600))
%1185 = (/.f64 #s(literal 1 binary64) (/.f64 %90 %607))
%1187 = (/.f64 #s(literal 1 binary64) (/.f64 %73 %467))
%1189 = (/.f64 #s(literal 1 binary64) (/.f64 %614 %612))
%1191 = (/.f64 #s(literal 1 binary64) (/.f64 %158 %561))
%1193 = (/.f64 #s(literal 1 binary64) (/.f64 %315 %469))
%1195 = (/.f64 #s(literal 1 binary64) (/.f64 %260 %617))
%1197 = (/.f64 #s(literal 1 binary64) (/.f64 %302 %619))
%1199 = (/.f64 #s(literal 1 binary64) (/.f64 %13 %622))
%1201 = (/.f64 #s(literal 1 binary64) (/.f64 %61 %404))
%1203 = (/.f64 #s(literal 1 binary64) (/.f64 %105 %11))
%1205 = (/.f64 #s(literal 1 binary64) (/.f64 %6 %576))
%1207 = (/.f64 #s(literal 1 binary64) (/.f64 x %602))
%1209 = (/.f64 #s(literal 1 binary64) (/.f64 %27 %469))
%1211 = (/.f64 #s(literal 1 binary64) (/.f64 %90 %2))
%1213 = (/.f64 #s(literal 1 binary64) (/.f64 y %472))
%1215 = (/.f64 #s(literal 1 binary64) (/.f64 %57 %351))
%1216 = (/.f64 %475 #s(literal 1 binary64))
%1217 = (/.f64 %472 y)
%1218 = (/.f64 %351 %57)
%1219 = (/.f64 %2 %90)
%1221 = (neg.f64 (*.f64 %45 %351))
%1223 = (neg.f64 (*.f64 %43 %404))
%1225 = (neg.f64 (-.f64 %43 %32))
%1226 = (fma.f64 %19 #s(literal 1/4 binary64) %32)
%1227 = (fma.f64 #s(literal -1/4 binary64) %23 %32)
%1228 = (fma.f64 %26 %28 %32)
%1229 = (fma.f64 %30 %32 %32)
%1230 = (fma.f64 %23 #s(literal -1/4 binary64) %32)
%1231 = (fma.f64 #s(literal 1/4 binary64) %19 %32)
%1232 = (fma.f64 %36 %38 %32)
%1233 = (fma.f64 %41 #s(literal 1/2 binary64) %32)
%1234 = (fma.f64 #s(literal -1 binary64) %43 %32)
%1235 = (fma.f64 %46 %37 %32)
%1236 = (*.f64 %54 x)
%1237 = (fma.f64 %54 %6 %1236)
%1238 = (*.f64 %54 %6)
%1239 = (fma.f64 %54 x %1238)
%1240 = (fma.f64 %48 #s(literal -1/2 binary64) %32)
%1241 = (fma.f64 %43 #s(literal -1 binary64) %32)
%1242 = (*.f64 %37 %46)
%1243 = (fma.f64 %43 %115 %1242)
%1244 = (fma.f64 %43 %115 %45)
%1245 = (fma.f64 %37 %46 %32)
%1246 = (fma.f64 %37 #s(literal 1/2 binary64) %1242)
%1247 = (fma.f64 %37 #s(literal 1/2 binary64) %45)
%1248 = (fma.f64 %118 %48 %1242)
%1249 = (fma.f64 %118 %48 %45)
%1250 = (fma.f64 %115 %43 %1242)
%1251 = (fma.f64 %115 %43 %45)
%1252 = (fma.f64 %51 %52 %32)
%1253 = (fma.f64 %121 %28 %1242)
%1254 = (fma.f64 %121 %28 %45)
%1255 = (fma.f64 %13 %69 %1242)
%1256 = (fma.f64 %13 %69 %45)
%1257 = (fma.f64 %6 %54 %32)
%1258 = (fma.f64 #s(literal 1 binary64) %32 %1242)
%1259 = (fma.f64 #s(literal 1 binary64) %32 %45)
%1260 = (fma.f64 #s(literal 1 binary64) %45 %32)
%1261 = (fma.f64 %58 %59 %32)
%1262 = (fma.f64 %32 #s(literal 1 binary64) %1242)
%1263 = (fma.f64 %32 #s(literal 1 binary64) %45)
%1264 = (fma.f64 #s(literal 1/2 binary64) %126 %1242)
%1265 = (fma.f64 #s(literal 1/2 binary64) %126 %45)
%1266 = (fma.f64 #s(literal 1/2 binary64) %62 %32)
%1267 = (fma.f64 #s(literal 1/2 binary64) %128 %1242)
%1268 = (fma.f64 #s(literal 1/2 binary64) %128 %45)
%1269 = (fma.f64 #s(literal 1/2 binary64) %130 %1242)
%1270 = (fma.f64 #s(literal 1/2 binary64) %130 %45)
%1271 = (fma.f64 #s(literal 1/2 binary64) %41 %32)
%1272 = (fma.f64 #s(literal 1/2 binary64) %37 %1242)
%1273 = (fma.f64 #s(literal 1/2 binary64) %37 %45)
%1274 = (fma.f64 #s(literal 2 binary64) %65 %32)
%1275 = (fma.f64 %45 #s(literal 1 binary64) %32)
%1276 = (fma.f64 #s(literal -1/2 binary64) %59 %1242)
%1277 = (fma.f64 #s(literal -1/2 binary64) %59 %45)
%1278 = (fma.f64 #s(literal -1/2 binary64) %48 %32)
%1279 = (fma.f64 y %69 %32)
%1280 = (fma.f64 x %54 %1242)
%1281 = (fma.f64 x %54 %45)
%1283 = (-.f64 (/.f64 %606 %90) %43)
%1286 = (-.f64 (/.f64 %1001 %614) (/.f64 %965 %614))
%1288 = (-.f64 (/.f64 %121 %315) %43)
%1290 = (-.f64 (/.f64 %51 %260) %43)
%1292 = (-.f64 (/.f64 %85 %302) %43)
%1293 = (-.f64 %32 %43)
%1294 = (-.f64 %45 %192)
%1295 = (-.f64 %45 %194)
%1296 = (-.f64 %45 %196)
%1297 = (+.f64 %1238 %1236)
%1298 = (+.f64 %1236 %1238)
%1299 = (+.f64 %1242 %32)
%1300 = (+.f64 %32 %1242)
%1301 = (+.f64 %45 %32)
x
y
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 %7 %6)
(/.f64 %9 y)
(neg.f64 %11)
(-.f64 %6 %13)
%2
(+.f64 %6 x)
(+.f64 x %6)
#s(literal -1/2 binary64)
(*.f64 %19 #s(literal 1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %23)
(*.f64 %26 %28)
(*.f64 %30 %32)
(*.f64 %23 #s(literal -1/4 binary64))
(*.f64 #s(literal 1/4 binary64) %19)
(*.f64 %36 %38)
(*.f64 %41 #s(literal 1/2 binary64))
(*.f64 #s(literal -1 binary64) %43)
(*.f64 %46 %37)
(*.f64 %48 #s(literal -1/2 binary64))
(*.f64 %43 #s(literal -1 binary64))
(*.f64 %51 %52)
(*.f64 %6 %54)
(*.f64 #s(literal 1 binary64) %45)
(*.f64 %58 %59)
(*.f64 #s(literal 1/2 binary64) %62)
(*.f64 #s(literal 1/2 binary64) %41)
(*.f64 #s(literal 2 binary64) %65)
(*.f64 %45 #s(literal 1 binary64))
(*.f64 #s(literal -1/2 binary64) %48)
(*.f64 y %69)
(pow.f64 %61 #s(literal -1 binary64))
(pow.f64 %45 #s(literal 1 binary64))
(/.f64 (/.f64 %6 %73) x)
(/.f64 (/.f64 %6 %27) #s(literal 2 binary64))
(/.f64 %78 %73)
(/.f64 %80 %73)
(/.f64 %36 %82)
(/.f64 %41 #s(literal 2 binary64))
(/.f64 %85 %27)
(/.f64 #s(literal -1 binary64) %57)
(/.f64 %46 y)
(/.f64 %48 #s(literal -2 binary64))
(/.f64 %6 %90)
(/.f64 #s(literal 1 binary64) (/.f64 %90 %6))
(/.f64 #s(literal 1 binary64) (/.f64 %61 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %46))
(/.f64 #s(literal 1 binary64) (/.f64 %13 #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) %61)
(/.f64 %58 %6)
(/.f64 #s(literal 1/2 binary64) %13)
%45
(/.f64 y %105)
(neg.f64 %43)
(pow.f64 %113 #s(literal 1 binary64))
%113
#s(literal 1/2 binary64)
(*.f64 %43 %115)
(*.f64 %37 #s(literal 1/2 binary64))
(*.f64 %118 %48)
(*.f64 %115 %43)
(*.f64 %121 %28)
(*.f64 %13 %69)
(*.f64 #s(literal 1 binary64) %32)
(*.f64 %32 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %126)
(*.f64 #s(literal 1/2 binary64) %128)
(*.f64 #s(literal 1/2 binary64) %130)
(*.f64 #s(literal 1/2 binary64) %37)
(*.f64 #s(literal -1/2 binary64) %59)
(*.f64 x %54)
(pow.f64 %32 #s(literal 1 binary64))
(/.f64 (*.f64 %37 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %13 x) %82)
(/.f64 (/.f64 x %73) x)
(/.f64 %126 #s(literal 2 binary64))
(/.f64 (/.f64 %13 %57) %6)
(/.f64 (/.f64 %13 y) %61)
(/.f64 (/.f64 %115 #s(literal 2 binary64)) x)
(/.f64 %130 #s(literal 2 binary64))
(/.f64 %150 %105)
(/.f64 (neg.f64 %115) %61)
(/.f64 %59 #s(literal -2 binary64))
(/.f64 (/.f64 %155 y) %13)
(/.f64 %155 %158)
(/.f64 #s(literal -1 binary64) %82)
(/.f64 %37 #s(literal 2 binary64))
(/.f64 %118 x)
(/.f64 %115 %57)
(/.f64 %121 %27)
(/.f64 %13 %105)
(/.f64 #s(literal 1 binary64) (/.f64 %73 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %57 %115))
(/.f64 #s(literal 1 binary64) (/.f64 %105 %13))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %37))
(/.f64 #s(literal 1 binary64) (/.f64 x %118))
(/.f64 #s(literal 1 binary64) (/.f64 %27 %121))
(/.f64 #s(literal 1 binary64) (/.f64 %6 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %90 x))
(/.f64 #s(literal 1 binary64) %73)
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1/2 binary64)))
(/.f64 %32 #s(literal 1 binary64))
%32
(/.f64 #s(literal -1/2 binary64) %6)
(/.f64 x %90)
(neg.f64 (/.f64 %155 %27))
(neg.f64 (/.f64 %13 %90))
(neg.f64 %192)
(neg.f64 %194)
(neg.f64 %196)
(pow.f64 %198 #s(literal 1 binary64))
%198
(*.f64 #s(literal -2 binary64) %13)
(*.f64 %121 #s(literal 4 binary64))
(*.f64 %13 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %57)
(*.f64 %57 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 2 binary64) x %57))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %57 #s(literal 1 binary64))
(neg.f64 %61)
(-.f64 x (*.f64 %155 #s(literal 2 binary64)))
(-.f64 x (*.f64 %61 #s(literal 1/2 binary64)))
(-.f64 x (*.f64 %13 #s(literal 1 binary64)))
(-.f64 x (*.f64 #s(literal -1 binary64) x))
(-.f64 x %13)
%57
(*.f64 %23 #s(literal 1/4 binary64))
(*.f64 #s(literal 1/4 binary64) %23)
(*.f64 %36 %32)
(*.f64 %41 #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) %45)
(*.f64 %46 %59)
(*.f64 %48 #s(literal 1/2 binary64))
(*.f64 %43 #s(literal 1 binary64))
(*.f64 %51 %28)
(*.f64 %6 %69)
(*.f64 #s(literal 1 binary64) %43)
(*.f64 %58 %37)
(*.f64 %32 %36)
(*.f64 #s(literal 1/2 binary64) (/.f64 %48 #s(literal 1 binary64)))
(*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 2 binary64) %57))
(*.f64 #s(literal 1/2 binary64) %48)
(*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %57))
(*.f64 #s(literal -1/2 binary64) %41)
(*.f64 y %54)
(pow.f64 %43 #s(literal 1 binary64))
(pow.f64 %57 #s(literal -1 binary64))
(/.f64 (*.f64 %48 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %58 #s(literal -1 binary64)) %6)
(/.f64 (*.f64 %58 #s(literal 1 binary64)) y)
(/.f64 (*.f64 %51 %37) x)
(/.f64 (*.f64 %36 %37) #s(literal 2 binary64))
(/.f64 %78 %82)
(/.f64 %256 %257)
(/.f64 %259 %260)
(/.f64 %262 %263)
(/.f64 %265 %266)
(/.f64 (*.f64 %51 #s(literal -1 binary64)) %158)
(/.f64 (*.f64 %51 #s(literal 1 binary64)) %27)
(/.f64 (*.f64 %36 #s(literal -1 binary64)) %82)
(/.f64 (*.f64 %36 #s(literal 1 binary64)) %73)
(/.f64 (*.f64 #s(literal 1 binary64) %36) %73)
(/.f64 %266 %278)
(/.f64 (*.f64 #s(literal 1 binary64) %46) %6)
(/.f64 %282 %105)
(/.f64 (*.f64 #s(literal 1 binary64) %58) y)
(/.f64 %286 %90)
(/.f64 %288 %90)
(/.f64 %290 %82)
(/.f64 %292 %105)
(/.f64 %294 %105)
(/.f64 %80 %82)
(/.f64 %36 %73)
(/.f64 %41 #s(literal -2 binary64))
(/.f64 %85 %158)
(/.f64 %300 %260)
(/.f64 %302 %303)
(/.f64 (/.f64 %260 %61) %302)
(/.f64 %260 %307)
(/.f64 %260 %309)
(/.f64 #s(literal -1 binary64) %61)
(/.f64 %46 %6)
(/.f64 %48 #s(literal 2 binary64))
(/.f64 %43 #s(literal 1 binary64))
(/.f64 %51 %315)
(/.f64 %51 %27)
(/.f64 %6 %105)
(/.f64 #s(literal 1 binary64) (/.f64 %27 %51))
(/.f64 #s(literal 1 binary64) (/.f64 %73 %36))
(/.f64 #s(literal 1 binary64) (/.f64 %61 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %6 %46))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %48))
(/.f64 #s(literal 1 binary64) (/.f64 %105 %6))
(/.f64 #s(literal 1 binary64) (/.f64 %13 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %57 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %90 y))
(/.f64 #s(literal 1 binary64) (/.f64 y %58))
(/.f64 #s(literal 1 binary64) (/.f64 x #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) %57)
(/.f64 %58 y)
%43
(/.f64 #s(literal -1/2 binary64) %13)
(/.f64 y %90)
(neg.f64 %45)
(*.f64 %346 %347)
(*.f64 %37 %2)
(*.f64 %11 %59)
(*.f64 %351 #s(literal 1 binary64))
(*.f64 %2 %37)
(pow.f64 %351 #s(literal 1 binary64))
(/.f64 %355 %6)
(/.f64 %357 y)
(/.f64 (/.f64 %346 y) y)
(/.f64 (-.f64 %361 %6) %6)
(/.f64 (fma.f64 %13 y %260) %302)
(/.f64 (fma.f64 y x %266) %260)
(/.f64 (-.f64 %315 %260) %260)
(/.f64 (-.f64 %158 %302) %302)
(/.f64 (-.f64 %158 %266) %266)
(/.f64 %374 %6)
(/.f64 %376 y)
(/.f64 %378 %379)
(/.f64 %381 %260)
(/.f64 %383 %384)
(/.f64 %386 %260)
(/.f64 %388 %302)
(/.f64 %390 %6)
(/.f64 %7 %266)
(/.f64 %9 %260)
(/.f64 (neg.f64 %346) %302)
(/.f64 %346 %260)
(/.f64 %11 %6)
(/.f64 #s(literal 1 binary64) (/.f64 %260 %346))
(/.f64 #s(literal 1 binary64) (/.f64 %6 %11))
(/.f64 #s(literal 1 binary64) (/.f64 y %2))
%351
(neg.f64 %405)
(neg.f64 %404)
(fma.f64 %37 %6 %115)
(fma.f64 %37 x %409)
(fma.f64 %37 x #s(literal -1 binary64))
(fma.f64 %13 %59 %409)
(fma.f64 %13 %59 #s(literal -1 binary64))
(fma.f64 x %37 %409)
(fma.f64 x %37 #s(literal -1 binary64))
(-.f64 (/.f64 %27 %260) (/.f64 %260 %260))
(-.f64 #s(literal -1 binary64) (/.f64 x %6))
(-.f64 %115 #s(literal 1 binary64))
(+.f64 %409 %115)
(+.f64 #s(literal -1 binary64) %115)
(+.f64 %115 %409)
(+.f64 %115 #s(literal -1 binary64))
(*.f64 %36 #s(literal 1/2 binary64))
(*.f64 %43 y)
(*.f64 %51 %48)
(*.f64 %6 %45)
(*.f64 y %43)
(pow.f64 %58 #s(literal 1 binary64))
(/.f64 %78 #s(literal -2 binary64))
(/.f64 (*.f64 %36 y) %73)
(/.f64 %435 %6)
(/.f64 (*.f64 %48 y) #s(literal 2 binary64))
(/.f64 (*.f64 %58 y) y)
(/.f64 %262 %73)
(/.f64 %265 %6)
(/.f64 (*.f64 #s(literal -1 binary64) y) %61)
(/.f64 %266 %105)
(/.f64 %286 %57)
(/.f64 %292 %61)
(/.f64 %294 %61)
(/.f64 %80 #s(literal -2 binary64))
(/.f64 %36 #s(literal 2 binary64))
(/.f64 %85 %13)
(/.f64 %300 y)
(/.f64 %302 %105)
(/.f64 %260 %90)
(/.f64 %51 x)
(/.f64 %6 %61)
(/.f64 #s(literal 1 binary64) (/.f64 x %51))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %36))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %6))
(/.f64 #s(literal 1 binary64) (/.f64 %57 y))
(/.f64 %58 #s(literal 1 binary64))
%58
(neg.f64 %46)
(*.f64 %467 #s(literal 1/2 binary64))
(*.f64 %469 %48)
(*.f64 %11 %45)
(*.f64 %472 #s(literal 1 binary64))
(*.f64 %2 %43)
(*.f64 y %475)
(pow.f64 %472 #s(literal 1 binary64))
(/.f64 (*.f64 %472 %6) %6)
(/.f64 (*.f64 %472 y) y)
(/.f64 %482 x)
(/.f64 (fma.f64 %46 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) y %57) %487)
(/.f64 (fma.f64 #s(literal 2 binary64) y %489) %491)
(/.f64 (fma.f64 #s(literal 2 binary64) x %82) %494)
(/.f64 %496 #s(literal -2 binary64))
(/.f64 %498 %13)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 %61 #s(literal 1 binary64))) %491)
(/.f64 (fma.f64 #s(literal 1 binary64) %61 %73) %504)
(/.f64 (fma.f64 x %57 %105) %507)
(/.f64 (fma.f64 x %61 %90) %510)
(/.f64 (-.f64 x (*.f64 #s(literal 2 binary64) %51)) %57)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %36)) #s(literal 4 binary64))
(/.f64 (-.f64 %57 %73) %494)
(/.f64 (-.f64 %489 %82) %504)
(/.f64 (-.f64 %522 (*.f64 %57 %51)) %525)
(/.f64 (-.f64 %57 %527) %487)
(/.f64 (-.f64 %530 %105) %510)
(/.f64 (-.f64 %533 %90) %507)
(/.f64 %536 #s(literal 2 binary64))
(/.f64 %386 %90)
(/.f64 %388 %105)
(/.f64 %540 %73)
(/.f64 %390 %61)
(/.f64 %543 %6)
(/.f64 %7 %105)
(/.f64 %546 y)
(/.f64 %548 %13)
(/.f64 %9 %90)
(/.f64 (*.f64 %469 %6) %158)
(/.f64 (*.f64 %469 y) %27)
(/.f64 (*.f64 %467 %6) %82)
(/.f64 (*.f64 %467 y) %73)
(/.f64 %559 #s(literal -2 binary64))
(/.f64 %561 %13)
(/.f64 %467 #s(literal 2 binary64))
(/.f64 %469 x)
(/.f64 %11 %61)
(/.f64 #s(literal 1 binary64) (/.f64 %61 %11))
(/.f64 #s(literal 1 binary64) (/.f64 x %469))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %467))
(/.f64 #s(literal 1 binary64) (/.f64 %57 %2))
(/.f64 %472 #s(literal 1 binary64))
(/.f64 %2 %57)
(neg.f64 %577)
(neg.f64 %576)
(fma.f64 %43 %6 #s(literal 1/2 binary64))
(fma.f64 %6 %43 #s(literal 1/2 binary64))
%472
(fma.f64 y %45 #s(literal 1/2 binary64))
(-.f64 %46 (/.f64 x %61))
(-.f64 %46 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %58)
(+.f64 %46 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %46)
%590
%591
%592
%595
%597
%598
%599
%601
%603
%605
%608
%609
%610
%616
%618
%621
%623
%624
%625
%626
%628
%629
%630
%631
%632
%633
%634
%635
%637
%638
%640
%642
%644
%645
%646
%648
%650
%652
%654
%656
%657
%659
%661
%662
%664
%666
%667
%669
%671
%673
%675
%677
%679
%681
%683
%685
%687
%689
%691
%693
%695
%697
%699
%701
%703
%705
%707
%709
%711
%713
%715
%717
%718
%719
%721
%723
%725
%728
%731
%734
%737
%740
%743
%746
%749
%752
%754
%757
%759
%762
%765
%767
%771
%775
%779
%783
%785
%788
%789
%792
%794
%797
%800
%803
%806
%809
%812
%815
%818
%821
%824
%827
%829
%831
%836
%840
%843
%847
%851
%855
%859
%861
%864
%867
%869
%873
%877
%880
%884
%888
%891
%894
%897
%900
%903
%907
%912
%915
%919
%922
%927
%930
%933
%936
%939
%943
%947
%950
%954
%958
%962
%966
%968
%971
%975
%978
%982
%985
%988
%992
%995
%998
%1002
%1006
%1008
%1010
%1012
%1014
%1016
%1018
%1020
%1022
%1024
%1026
%1028
%1030
%1032
%1033
%1036
%1038
%1040
%1043
%1044
%1047
%1049
%1051
%1054
%1056
%1058
%1061
%1063
%1065
%1068
%1069
%1072
%1074
%1076
%1079
%1082
%1084
%1086
%1089
%1091
%1094
%1097
%1099
%1102
%1104
%1106
%1108
%1111
%1114
%1116
%1118
%1120
%1122
%1124
%1125
%1127
%1129
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1141
%1143
%1145
%1147
%1149
%1151
%1153
%1156
%1157
%1159
%1162
%1163
%1164
%1165
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1183
%1185
%1187
%1189
%1191
%1193
%1195
%1197
%1199
%1201
%1203
%1205
%1207
%1209
%1211
%1213
%1215
%1216
%1217
%1218
%1219
%1221
%1223
%1225
%1226
%1227
%1228
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1237
%1239
%1240
%1241
%1243
%1244
%1245
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1260
%1261
%1262
%1263
%1264
%1265
%1266
%1267
%1268
%1269
%1270
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1283
%1286
%1288
%1290
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%475
%1301
%590
%591
%592
%595
%597
%598
%599
%601
%603
%605
%608
%609
%610
%616
%618
%621
%623
%624
%625
%626
%628
%629
%630
%631
%632
%633
%634
%635
%637
%638
%640
%642
%644
%645
%646
%648
%650
%652
%654
%656
%657
%659
%661
%662
%664
%666
%667
%669
%671
%673
%675
%677
%679
%681
%683
%685
%687
%689
%691
%693
%695
%697
%699
%701
%703
%705
%707
%709
%711
%713
%715
%717
%718
%719
%721
%723
%725
%728
%731
%734
%737
%740
%743
%746
%749
%752
%754
%757
%759
%762
%765
%767
%771
%775
%779
%783
%785
%788
%789
%792
%794
%797
%800
%803
%806
%809
%812
%815
%818
%821
%824
%827
%829
%831
%836
%840
%843
%847
%851
%855
%859
%861
%864
%867
%869
%873
%877
%880
%884
%888
%891
%894
%897
%900
%903
%907
%912
%915
%919
%922
%927
%930
%933
%936
%939
%943
%947
%950
%954
%958
%962
%966
%968
%971
%975
%978
%982
%985
%988
%992
%995
%998
%1002
%1006
%1008
%1010
%1012
%1014
%1016
%1018
%1020
%1022
%1024
%1026
%1028
%1030
%1032
%1033
%1036
%1038
%1040
%1043
%1044
%1047
%1049
%1051
%1054
%1056
%1058
%1061
%1063
%1065
%1068
%1069
%1072
%1074
%1076
%1079
%1082
%1084
%1086
%1089
%1091
%1094
%1097
%1099
%1102
%1104
%1106
%1108
%1111
%1114
%1116
%1118
%1120
%1122
%1124
%1125
%1127
%1129
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1141
%1143
%1145
%1147
%1149
%1151
%1153
%1156
%1157
%1159
%1162
%1163
%1164
%1165
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1183
%1185
%1187
%1189
%1191
%1193
%1195
%1197
%1199
%1201
%1203
%1205
%1207
%1209
%1211
%1213
%1215
%1216
%1217
%1218
%1219
%1221
%1223
%1225
%1226
%1227
%1228
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1237
%1239
%1240
%1241
%1243
%1244
%1245
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1260
%1261
%1262
%1263
%1264
%1265
%1266
%1267
%1268
%1269
%1270
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1283
%1286
%1288
%1290
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%475
%1301
%590
%591
%592
%595
%597
%598
%599
%601
%603
%605
%608
%609
%610
%616
%618
%621
%623
%624
%625
%626
%628
%629
%630
%631
%632
%633
%634
%635
%637
%638
%640
%642
%644
%645
%646
%648
%650
%652
%654
%656
%657
%659
%661
%662
%664
%666
%667
%669
%671
%673
%675
%677
%679
%681
%683
%685
%687
%689
%691
%693
%695
%697
%699
%701
%703
%705
%707
%709
%711
%713
%715
%717
%718
%719
%721
%723
%725
%728
%731
%734
%737
%740
%743
%746
%749
%752
%754
%757
%759
%762
%765
%767
%771
%775
%779
%783
%785
%788
%789
%792
%794
%797
%800
%803
%806
%809
%812
%815
%818
%821
%824
%827
%829
%831
%836
%840
%843
%847
%851
%855
%859
%861
%864
%867
%869
%873
%877
%880
%884
%888
%891
%894
%897
%900
%903
%907
%912
%915
%919
%922
%927
%930
%933
%936
%939
%943
%947
%950
%954
%958
%962
%966
%968
%971
%975
%978
%982
%985
%988
%992
%995
%998
%1002
%1006
%1008
%1010
%1012
%1014
%1016
%1018
%1020
%1022
%1024
%1026
%1028
%1030
%1032
%1033
%1036
%1038
%1040
%1043
%1044
%1047
%1049
%1051
%1054
%1056
%1058
%1061
%1063
%1065
%1068
%1069
%1072
%1074
%1076
%1079
%1082
%1084
%1086
%1089
%1091
%1094
%1097
%1099
%1102
%1104
%1106
%1108
%1111
%1114
%1116
%1118
%1120
%1122
%1124
%1125
%1127
%1129
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1141
%1143
%1145
%1147
%1149
%1151
%1153
%1156
%1157
%1159
%1162
%1163
%1164
%1165
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1183
%1185
%1187
%1189
%1191
%1193
%1195
%1197
%1199
%1201
%1203
%1205
%1207
%1209
%1211
%1213
%1215
%1216
%1217
%1218
%1219
%1221
%1223
%1225
%1226
%1227
%1228
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1237
%1239
%1240
%1241
%1243
%1244
%1245
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1260
%1261
%1262
%1263
%1264
%1265
%1266
%1267
%1268
%1269
%1270
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1283
%1286
%1288
%1290
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%475
%1301

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

%4 = (neg.f64 x)
%5 = (/.f64 %4 x)
%6 = (/.f64 #s(literal -1/2 binary64) y)
%7 = (*.f64 %5 %6)
%8 = (/.f64 %4 y)
%9 = (/.f64 #s(literal -1/2 binary64) x)
%10 = (*.f64 %8 %9)
%11 = (*.f64 %6 %5)
%13 = (/.f64 #s(literal -1 binary64) y)
%14 = (*.f64 %13 #s(literal -1/2 binary64))
%15 = (/.f64 x y)
%16 = (/.f64 #s(literal 1/2 binary64) x)
%17 = (*.f64 %15 %16)
%18 = (*.f64 #s(literal -1/2 binary64) x)
%19 = (*.f64 y x)
%20 = (/.f64 #s(literal -1 binary64) %19)
%21 = (*.f64 %18 %20)
%22 = (*.f64 %6 x)
%23 = (/.f64 #s(literal -1 binary64) x)
%24 = (*.f64 %22 %23)
%25 = (*.f64 #s(literal 1/2 binary64) x)
%27 = (/.f64 #s(literal 1 binary64) %19)
%28 = (*.f64 %25 %27)
%29 = (*.f64 %27 %25)
%30 = (/.f64 #s(literal 1/2 binary64) %19)
%31 = (*.f64 %30 x)
%32 = (/.f64 #s(literal 1 binary64) x)
%33 = (/.f64 #s(literal 1/2 binary64) y)
%34 = (*.f64 %33 x)
%35 = (*.f64 %32 %34)
%36 = (/.f64 #s(literal 1 binary64) y)
%37 = (*.f64 %36 #s(literal 1/2 binary64))
%38 = (*.f64 %16 %15)
%39 = (*.f64 %9 %8)
%40 = (/.f64 #s(literal -1/2 binary64) %19)
%41 = (*.f64 %4 %40)
%42 = (*.f64 #s(literal 1 binary64) %33)
%43 = (*.f64 %34 %32)
%44 = (*.f64 %33 #s(literal 1 binary64))
%45 = (*.f64 %15 %32)
%46 = (*.f64 #s(literal 1/2 binary64) %45)
%47 = (*.f64 #s(literal 1/2 binary64) %36)
%48 = (*.f64 %20 x)
%49 = (*.f64 #s(literal -1/2 binary64) %48)
%50 = (*.f64 %13 #s(literal 1 binary64))
%51 = (*.f64 #s(literal -1/2 binary64) %50)
%52 = (/.f64 %4 %19)
%53 = (*.f64 #s(literal -1/2 binary64) %52)
%54 = (*.f64 #s(literal -1/2 binary64) %13)
%55 = (*.f64 x %30)
%56 = (+.f64 y y)
%57 = (pow.f64 %56 #s(literal -1 binary64))
%58 = (pow.f64 %33 #s(literal 1 binary64))
%59 = (*.f64 %34 #s(literal -1 binary64))
%61 = (/.f64 (neg.f64 %59) x)
%62 = (*.f64 x #s(literal -1 binary64))
%64 = (+.f64 x x)
%65 = (*.f64 %64 y)
%66 = (/.f64 (neg.f64 %62) %65)
%67 = (*.f64 %18 %32)
%69 = (/.f64 (neg.f64 %67) y)
%70 = (*.f64 %16 x)
%72 = (neg.f64 y)
%73 = (/.f64 (neg.f64 %70) %72)
%75 = (/.f64 %15 #s(literal 2 binary64))
%77 = (/.f64 (neg.f64 %75) %4)
%80 = (*.f64 #s(literal -2 binary64) x)
%81 = (neg.f64 %80)
%82 = (/.f64 (neg.f64 %8) %81)
%84 = (*.f64 #s(literal -2 binary64) y)
%85 = (neg.f64 %84)
%86 = (/.f64 (neg.f64 %5) %85)
%87 = (/.f64 x %56)
%89 = (/.f64 (neg.f64 %87) %4)
%90 = (/.f64 x %80)
%92 = (/.f64 (neg.f64 %90) y)
%93 = (*.f64 %18 #s(literal -1 binary64))
%95 = (*.f64 %4 y)
%96 = (/.f64 (neg.f64 %93) %95)
%97 = (*.f64 %18 #s(literal 1 binary64))
%99 = (/.f64 (neg.f64 %97) %19)
%100 = (neg.f64 %15)
%102 = (/.f64 (neg.f64 %100) %81)
%103 = (*.f64 %25 #s(literal -1 binary64))
%105 = (/.f64 (neg.f64 %103) %19)
%106 = (/.f64 x #s(literal 2 binary64))
%108 = (/.f64 (neg.f64 %106) %95)
%109 = (/.f64 %59 %4)
%110 = (*.f64 #s(literal -2 binary64) %19)
%111 = (/.f64 %62 %110)
%112 = (/.f64 %67 %72)
%113 = (/.f64 %70 y)
%114 = (/.f64 %75 x)
%115 = (/.f64 %87 x)
%117 = (/.f64 (*.f64 %4 %6) x)
%118 = (/.f64 %18 x)
%119 = (/.f64 %118 %72)
%120 = (/.f64 %5 %84)
%121 = (/.f64 %8 %80)
%122 = (/.f64 %106 %19)
%123 = (/.f64 %90 %72)
%124 = (/.f64 %93 %19)
%125 = (/.f64 %97 %95)
%126 = (/.f64 %103 %95)
%127 = (/.f64 %100 %80)
%128 = (/.f64 %13 #s(literal -2 binary64))
%129 = (/.f64 %15 %64)
%130 = (/.f64 %18 %95)
%131 = (/.f64 %22 %4)
%132 = (/.f64 #s(literal -1 binary64) %84)
%133 = (/.f64 %25 %19)
%134 = (/.f64 %36 #s(literal 2 binary64))
%135 = (/.f64 %4 %110)
%137 = (/.f64 #s(literal 1 binary64) (pow.f64 %33 #s(literal -1 binary64)))
%138 = (/.f64 #s(literal 1 binary64) %85)
%140 = (/.f64 #s(literal 1 binary64) (/.f64 %95 %18))
%142 = (/.f64 #s(literal 1 binary64) (/.f64 %4 %22))
%144 = (/.f64 #s(literal 1 binary64) (/.f64 %64 %15))
%146 = (/.f64 #s(literal 1 binary64) (/.f64 %56 #s(literal 1 binary64)))
%148 = (/.f64 #s(literal 1 binary64) (/.f64 %110 %4))
%150 = (/.f64 #s(literal 1 binary64) (/.f64 x %34))
%152 = (/.f64 #s(literal 1 binary64) (/.f64 %65 x))
%154 = (/.f64 #s(literal 1 binary64) (/.f64 %72 #s(literal -1/2 binary64)))
%156 = (/.f64 #s(literal 1 binary64) (/.f64 %19 %25))
%157 = (/.f64 #s(literal 1 binary64) %56)
%159 = (/.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1/2 binary64)))
%160 = (/.f64 %34 x)
%161 = (/.f64 #s(literal -1/2 binary64) %72)
%162 = (/.f64 x %65)
%163 = (*.f64 #s(literal 1 binary64) %6)
%164 = (neg.f64 %163)
%165 = (*.f64 x %40)
%166 = (neg.f64 %165)
%167 = (/.f64 %18 %19)
%168 = (neg.f64 %167)
%169 = (*.f64 %18 %27)
%170 = (neg.f64 %169)
%171 = (*.f64 %40 x)
%172 = (neg.f64 %171)
%173 = (*.f64 %6 #s(literal 1 binary64))
%174 = (neg.f64 %173)
%175 = (/.f64 %22 x)
%176 = (neg.f64 %175)
%177 = (/.f64 x %110)
%178 = (neg.f64 %177)
%179 = (neg.f64 %6)
%217 = (*.f64 %33 #s(literal -1 binary64))
%220 = (*.f64 %32 #s(literal 1/2 binary64))
%270 = (fma.f64 %33 x #s(literal -1/2 binary64))
%273 = (*.f64 #s(literal -1/2 binary64) y)
%274 = (fma.f64 #s(literal 1/2 binary64) x %273)
%278 = (-.f64 x y)
%279 = (/.f64 %278 y)
%282 = (*.f64 %34 x)
%285 = (*.f64 %274 #s(literal 1 binary64))
%286 = (neg.f64 %285)
%288 = (neg.f64 %274)
%289 = (neg.f64 %288)
%291 = (*.f64 %22 x)
%292 = (-.f64 %291 %18)
%295 = (*.f64 x %270)
%296 = (neg.f64 %295)
%298 = (*.f64 #s(literal -1/2 binary64) %278)
%299 = (neg.f64 %298)
%309 = (fma.f64 %6 x #s(literal 1/2 binary64))
%310 = (*.f64 %309 #s(literal 1 binary64))
%317 = (*.f64 x x)
%333 = (/.f64 y %64)
%334 = (-.f64 #s(literal 1/2 binary64) %333)
%335 = (*.f64 %334 #s(literal 1 binary64))
%337 = (/.f64 %278 %56)
%339 = (/.f64 %278 %19)
%341 = (*.f64 %278 #s(literal 1/2 binary64))
%344 = (/.f64 %278 x)
%346 = (-.f64 y x)
%353 = (*.f64 x %64)
%354 = (*.f64 %110 y)
%355 = (fma.f64 %353 y %354)
%358 = (*.f64 #s(literal 4 binary64) (*.f64 %19 %19))
%361 = (-.f64 %333 #s(literal 1/2 binary64))
%369 = (-.f64 %9 %6)
%381 = (/.f64 y %80)
%384 = (*.f64 y #s(literal -1 binary64))
%389 = (/.f64 y x)
%393 = (/.f64 y %56)
%403 = (/.f64 y #s(literal 2 binary64))
%408 = (/.f64 %72 x)
%413 = (/.f64 %72 y)
%418 = (neg.f64 %389)
%448 = (-.f64 (*.f64 #s(literal 1/2 binary64) %64) y)
%451 = (*.f64 %334 #s(literal -1 binary64))
%456 = (*.f64 %32 %274)
%459 = (*.f64 %270 #s(literal -1 binary64))
%462 = (*.f64 %341 %36)
%465 = (*.f64 %344 %36)
%468 = (*.f64 %346 %36)
%471 = (*.f64 #s(literal -1 binary64) %278)
%474 = (*.f64 %32 %278)
%477 = (*.f64 %36 %278)
%480 = (*.f64 #s(literal -1 binary64) %270)
%483 = (*.f64 %274 %32)
%486 = (/.f64 %274 x)
%489 = (/.f64 %299 x)
%492 = (/.f64 %298 y)
%495 = (/.f64 %298 x)
%498 = (/.f64 %346 y)
%499 = (/.f64 %498 #s(literal -2 binary64))
%502 = (/.f64 %279 x)
%505 = (/.f64 %344 y)
%508 = (/.f64 %355 %65)
%511 = (fma.f64 %9 %95 %18)
%514 = (fma.f64 %9 %4 %22)
%517 = (fma.f64 %9 %19 %25)
%520 = (fma.f64 %9 x %34)
%523 = (fma.f64 %9 y #s(literal 1/2 binary64))
%526 = (fma.f64 %9 %72 #s(literal -1/2 binary64))
%530 = (-.f64 (*.f64 %33 %64) #s(literal 1 binary64))
%534 = (-.f64 (*.f64 %33 %56) %389)
%538 = (-.f64 (*.f64 %33 y) %333)
%542 = (-.f64 (*.f64 %33 %110) %72)
%546 = (fma.f64 #s(literal 1/2 binary64) %95 (*.f64 %18 %4))
%548 = (*.f64 %4 %95)
%549 = (neg.f64 %548)
%552 = (fma.f64 #s(literal -1/2 binary64) x (*.f64 %22 %4))
%554 = (neg.f64 %317)
%557 = (fma.f64 #s(literal 1/2 binary64) %19 (*.f64 %25 %4))
%559 = (*.f64 %4 %19)
%560 = (neg.f64 %559)
%563 = (fma.f64 #s(literal 1/2 binary64) x (*.f64 %34 %4))
%565 = (*.f64 %4 x)
%566 = (neg.f64 %565)
%568 = (*.f64 %18 x)
%569 = (fma.f64 #s(literal -1/2 binary64) %95 %568)
%571 = (*.f64 x %95)
%572 = (neg.f64 %571)
%574 = (fma.f64 #s(literal 1/2 binary64) x %291)
%576 = (*.f64 x %4)
%577 = (neg.f64 %576)
%579 = (*.f64 %25 x)
%580 = (fma.f64 #s(literal -1/2 binary64) %19 %579)
%582 = (*.f64 x %19)
%583 = (neg.f64 %582)
%585 = (*.f64 #s(literal 1/2 binary64) y)
%586 = (fma.f64 #s(literal -1/2 binary64) x %585)
%590 = (fma.f64 %18 %4 (*.f64 #s(literal 1/2 binary64) %95))
%592 = (*.f64 %95 %4)
%593 = (neg.f64 %592)
%596 = (fma.f64 %18 x (*.f64 #s(literal -1/2 binary64) %95))
%598 = (*.f64 %95 x)
%599 = (neg.f64 %598)
%602 = (fma.f64 %25 %4 (*.f64 #s(literal 1/2 binary64) %19))
%604 = (*.f64 %19 %4)
%605 = (neg.f64 %604)
%608 = (fma.f64 %25 x (*.f64 #s(literal -1/2 binary64) %19))
%610 = (*.f64 %19 x)
%611 = (neg.f64 %610)
%614 = (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) %72))
%618 = (fma.f64 #s(literal 1 binary64) %65 (*.f64 %72 %56))
%620 = (*.f64 %56 %65)
%621 = (neg.f64 %620)
%624 = (fma.f64 #s(literal 1/2 binary64) %65 (*.f64 %72 y))
%626 = (*.f64 %56 %19)
%627 = (neg.f64 %626)
%630 = (fma.f64 %4 %65 (*.f64 %72 %110))
%632 = (*.f64 %110 %65)
%633 = (neg.f64 %632)
%636 = (fma.f64 %353 y (*.f64 %72 %65))
%638 = (neg.f64 %358)
%644 = (fma.f64 #s(literal 1/2 binary64) y %18)
%648 = (fma.f64 #s(literal 1/2 binary64) %95 (*.f64 %4 %18))
%652 = (fma.f64 #s(literal -1/2 binary64) x (*.f64 %4 %22))
%656 = (fma.f64 #s(literal 1/2 binary64) %19 (*.f64 %4 %25))
%660 = (fma.f64 #s(literal 1/2 binary64) x (*.f64 %4 %34))
%664 = (fma.f64 #s(literal -1/2 binary64) %95 (*.f64 x %18))
%668 = (fma.f64 #s(literal 1/2 binary64) x (*.f64 x %22))
%672 = (fma.f64 #s(literal -1/2 binary64) %19 (*.f64 x %25))
%675 = (fma.f64 #s(literal 1/2 binary64) %72 %25)
%678 = (*.f64 y #s(literal 1/2 binary64))
%679 = (fma.f64 #s(literal -1/2 binary64) x %678)
%682 = (*.f64 %95 #s(literal 1/2 binary64))
%683 = (fma.f64 %18 %4 %682)
%687 = (fma.f64 %18 x (*.f64 %95 #s(literal -1/2 binary64)))
%690 = (fma.f64 %22 %4 %18)
%693 = (fma.f64 %22 x %25)
%696 = (*.f64 %19 #s(literal 1/2 binary64))
%697 = (fma.f64 %25 %4 %696)
%701 = (fma.f64 %25 x (*.f64 %19 #s(literal -1/2 binary64)))
%704 = (fma.f64 %34 %4 %25)
%707 = (*.f64 %72 #s(literal 1/2 binary64))
%708 = (fma.f64 #s(literal 1/2 binary64) x %707)
%711 = (fma.f64 %15 %65 %110)
%713 = (*.f64 %64 %65)
%714 = (neg.f64 %713)
%716 = (*.f64 %56 %72)
%717 = (fma.f64 #s(literal 1 binary64) %65 %716)
%720 = (*.f64 y %72)
%721 = (fma.f64 #s(literal 1/2 binary64) %65 %720)
%724 = (*.f64 %110 %72)
%725 = (fma.f64 %4 %65 %724)
%728 = (*.f64 %65 %72)
%729 = (fma.f64 %353 y %728)
%732 = (-.f64 %353 %65)
%734 = (*.f64 %65 %64)
%737 = (-.f64 %568 %682)
%742 = (-.f64 %579 %696)
%745 = (-.f64 %25 %678)
%748 = (-.f64 %18 %707)
%752 = (-.f64 (*.f64 %15 %64) %64)
%754 = (*.f64 %64 %64)
%759 = (-.f64 (*.f64 %15 %56) (*.f64 %64 %389))
%761 = (*.f64 %64 %56)
%766 = (-.f64 (*.f64 %15 y) (*.f64 %64 %333))
%770 = (-.f64 (*.f64 %15 %110) %110)
%772 = (*.f64 %64 %110)
%776 = (-.f64 (*.f64 %15 %65) %65)
%779 = (-.f64 %64 %56)
%781 = (*.f64 %56 %64)
%786 = (-.f64 (*.f64 #s(literal 1 binary64) %56) (*.f64 %56 %389))
%788 = (*.f64 %56 %56)
%792 = (-.f64 y (*.f64 %56 %333))
%794 = (*.f64 %56 y)
%798 = (-.f64 (*.f64 #s(literal 1 binary64) %110) %716)
%800 = (*.f64 %56 %110)
%804 = (-.f64 (*.f64 #s(literal 1 binary64) %65) %794)
%809 = (-.f64 (*.f64 #s(literal 1/2 binary64) %56) (*.f64 y %389))
%811 = (*.f64 y %56)
%815 = (-.f64 %585 (*.f64 y %333))
%817 = (*.f64 y y)
%821 = (-.f64 (*.f64 #s(literal 1/2 binary64) %110) %720)
%823 = (*.f64 y %110)
%827 = (-.f64 (*.f64 #s(literal 1/2 binary64) %65) %817)
%832 = (-.f64 (*.f64 %4 %64) (*.f64 %110 #s(literal 1 binary64)))
%834 = (*.f64 %110 %64)
%838 = (-.f64 %110 (*.f64 %110 %389))
%840 = (*.f64 %110 %56)
%844 = (-.f64 %95 (*.f64 %110 %333))
%849 = (-.f64 (*.f64 %4 %110) %724)
%853 = (-.f64 (*.f64 %4 %65) %354)
%857 = (-.f64 %65 (*.f64 %65 %389))
%859 = (*.f64 %65 %56)
%863 = (-.f64 %19 (*.f64 %65 %333))
%867 = (-.f64 (*.f64 x %110) %728)
%869 = (*.f64 %65 %110)
%872 = (*.f64 %341 #s(literal -1 binary64))
%875 = (*.f64 %341 #s(literal 1 binary64))
%878 = (*.f64 %344 #s(literal -1 binary64))
%881 = (*.f64 %344 #s(literal 1 binary64))
%884 = (*.f64 %346 #s(literal -1 binary64))
%887 = (*.f64 %278 #s(literal -1 binary64))
%890 = (*.f64 #s(literal -1 binary64) %274)
%893 = (*.f64 #s(literal 1 binary64) %274)
%896 = (*.f64 %274 #s(literal -1 binary64))
%905 = (neg.f64 %279)
%908 = (neg.f64 %355)
%912 = (neg.f64 %344)
%1094 = (*.f64 %30 %72)
%1096 = (/.f64 %273 %19)
%1207 = (approx (- (/ -1/2 x) (/ -1/2 y)) %33)
x
y
#s(literal -1/2 binary64)
#s(literal 1/2 binary64)
%7
%10
%11
%14
%17
%21
%24
%28
%29
%31
%35
%37
%38
%39
%41
%42
%43
%44
%46
%47
%49
%51
%53
%54
%55
%57
%58
%61
%66
%69
%73
%77
%82
%86
%89
%92
%96
%99
%102
%105
%108
%109
%111
%112
%113
%114
%115
%117
%119
%120
%121
%122
%123
%124
%125
%126
%127
%128
%129
%130
%131
%132
%133
%134
%135
%137
%138
%140
%142
%144
%146
%148
%150
%152
%154
%156
%157
%159
%160
%33
%161
%162
%164
%166
%168
%170
%172
%174
%176
%178
%179
(*.f64 %4 %72)
(*.f64 %72 %4)
%19
(*.f64 x y)
(pow.f64 %19 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %27)
(neg.f64 %95)
(*.f64 (/.f64 #s(literal 2 binary64) %56) %16)
(*.f64 (/.f64 #s(literal 2 binary64) %19) #s(literal 1/4 binary64))
(*.f64 (/.f64 #s(literal 2 binary64) %64) %33)
(*.f64 (/.f64 #s(literal 2 binary64) y) (/.f64 #s(literal 1/2 binary64) %64))
(*.f64 (/.f64 #s(literal 2 binary64) x) (/.f64 #s(literal 1/2 binary64) %56))
(*.f64 %6 %23)
(*.f64 %20 #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) %40)
(*.f64 %27 #s(literal 1/2 binary64))
(*.f64 %30 #s(literal 1 binary64))
(*.f64 %32 %33)
(*.f64 %36 %16)
(*.f64 %16 %36)
(*.f64 #s(literal 1 binary64) %30)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %30))
(*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %65))
(*.f64 %33 %32)
(*.f64 #s(literal 1/2 binary64) %27)
(*.f64 #s(literal -1/2 binary64) %20)
(pow.f64 %30 #s(literal 1 binary64))
(pow.f64 %65 #s(literal -1 binary64))
(/.f64 (neg.f64 %217) x)
(/.f64 (neg.f64 %220) %72)
(/.f64 %217 %4)
(/.f64 %220 y)
(/.f64 %163 %4)
(/.f64 %165 %4)
(/.f64 %118 %95)
(/.f64 %167 %4)
(/.f64 %169 %4)
(/.f64 %171 %4)
(/.f64 %173 %4)
(/.f64 %175 %4)
(/.f64 %177 %4)
(/.f64 %6 %4)
(/.f64 %20 #s(literal -2 binary64))
(/.f64 %23 %84)
(/.f64 %13 %80)
(/.f64 #s(literal -1 binary64) %110)
(/.f64 %27 #s(literal 2 binary64))
(/.f64 %32 %85)
(/.f64 %32 %56)
(/.f64 %36 %81)
(/.f64 %36 %64)
(/.f64 %16 y)
(/.f64 %9 %72)
(/.f64 #s(literal 1 binary64) (pow.f64 %30 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %16))
(/.f64 #s(literal 1 binary64) (/.f64 %4 %6))
(/.f64 #s(literal 1 binary64) (/.f64 %110 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %56 %32))
(/.f64 #s(literal 1 binary64) (/.f64 %64 %36))
(/.f64 #s(literal 1 binary64) (/.f64 x %33))
(/.f64 #s(literal 1 binary64) (/.f64 %95 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %65 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %19 #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) %65)
(/.f64 %33 x)
%30
(/.f64 #s(literal -1/2 binary64) %95)
(neg.f64 %40)
%7
%10
%11
%14
%17
%21
%24
%28
%29
%31
%35
%37
%38
%39
%41
%42
%43
%44
%46
%47
%49
%51
%53
%54
%55
%57
%58
%61
%66
%69
%73
%77
%82
%86
%89
%92
%96
%99
%102
%105
%108
%109
%111
%112
%113
%114
%115
%117
%119
%120
%121
%122
%123
%124
%125
%126
%127
%128
%129
%130
%131
%132
%133
%134
%135
%137
%138
%140
%142
%144
%146
%148
%150
%152
%154
%156
%157
%159
%160
%33
%161
%162
%164
%166
%168
%170
%172
%174
%176
%178
%179
(*.f64 (*.f64 %270 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %274 %36)
(*.f64 #s(literal 1 binary64) %270)
(*.f64 %270 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %279)
(pow.f64 %270 #s(literal 1 binary64))
(/.f64 (-.f64 %282 %106) x)
(/.f64 %286 %72)
(/.f64 %289 y)
(/.f64 %292 %4)
(/.f64 %285 y)
(/.f64 %296 %4)
(/.f64 %299 y)
(/.f64 %288 %72)
(/.f64 %274 y)
(/.f64 %295 x)
(/.f64 %298 %72)
(/.f64 #s(literal 1 binary64) (pow.f64 %270 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %274))
(neg.f64 %310)
(neg.f64 %309)
(fma.f64 %15 %70 #s(literal -1/2 binary64))
(fma.f64 %15 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 %18 %13 #s(literal -1/2 binary64))
(fma.f64 %25 %36 #s(literal -1/2 binary64))
(fma.f64 %30 %317 #s(literal -1/2 binary64))
(fma.f64 %36 %25 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) %34 #s(literal -1/2 binary64))
(fma.f64 %34 #s(literal 1 binary64) #s(literal -1/2 binary64))
%270
(fma.f64 #s(literal 1/2 binary64) %15 #s(literal -1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) (*.f64 %13 x) #s(literal -1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) %8 #s(literal -1/2 binary64))
(fma.f64 x %33 #s(literal -1/2 binary64))
(-.f64 %34 #s(literal 1/2 binary64))
(-.f64 #s(literal -1/2 binary64) %22)
(+.f64 (/.f64 %273 y) %34)
(+.f64 %34 #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) %34)
(*.f64 %335 %36)
(*.f64 %337 %32)
(*.f64 %339 #s(literal 1/2 binary64))
(*.f64 %341 %27)
(*.f64 %279 %16)
(*.f64 %344 %33)
(*.f64 %40 %346)
(*.f64 %23 %309)
(*.f64 %274 %27)
(*.f64 %295 (/.f64 #s(literal 1 binary64) %317))
(*.f64 %298 %20)
(*.f64 %355 (/.f64 #s(literal 1 binary64) %358))
(*.f64 %361 %13)
(*.f64 %334 %36)
(*.f64 %30 %278)
(*.f64 %32 %270)
(*.f64 %36 %334)
(*.f64 %346 %40)
(*.f64 %309 %23)
(*.f64 #s(literal 1 binary64) %369)
(*.f64 %278 %30)
(*.f64 %270 %32)
(*.f64 #s(literal -1/2 binary64) (+.f64 %32 %13))
(*.f64 #s(literal -1/2 binary64) (+.f64 %13 %32))
(pow.f64 %369 #s(literal 1 binary64))
(/.f64 (-.f64 (/.f64 y %84) %22) x)
(/.f64 (-.f64 %381 #s(literal -1/2 binary64)) y)
(/.f64 (-.f64 %62 %384) %110)
(/.f64 (-.f64 %4 %384) %110)
(/.f64 (-.f64 %36 (/.f64 %389 y)) #s(literal 2 binary64))
(/.f64 (-.f64 %75 %393) x)
(/.f64 (-.f64 %87 %393) x)
(/.f64 (-.f64 %34 %393) x)
(/.f64 (-.f64 %36 (/.f64 y %19)) #s(literal 2 binary64))
(/.f64 (-.f64 %93 %403) %19)
(/.f64 (-.f64 %25 %403) %19)
(/.f64 (-.f64 %5 %408) %84)
(/.f64 (-.f64 #s(literal -1 binary64) %408) %84)
(/.f64 (-.f64 %8 %413) %80)
(/.f64 (-.f64 %100 %413) %80)
(/.f64 (-.f64 %5 %418) %84)
(/.f64 (-.f64 #s(literal -1 binary64) %418) %84)
(/.f64 (-.f64 %70 %333) y)
(/.f64 (-.f64 %67 %381) %72)
(/.f64 (-.f64 %118 %381) %72)
(/.f64 (-.f64 %90 %381) %72)
(/.f64 (-.f64 #s(literal -1/2 binary64) %381) %72)
(/.f64 (-.f64 %8 #s(literal -1 binary64)) %80)
(/.f64 (-.f64 %100 #s(literal -1 binary64)) %80)
(/.f64 (-.f64 %36 %32) #s(literal 2 binary64))
(/.f64 (-.f64 %62 %72) %110)
(/.f64 (-.f64 %75 #s(literal 1/2 binary64)) x)
(/.f64 (-.f64 %87 #s(literal 1/2 binary64)) x)
(/.f64 (-.f64 %59 #s(literal -1/2 binary64)) %4)
(/.f64 (neg.f64 %448) %110)
(/.f64 (neg.f64 %451) y)
(/.f64 (neg.f64 %335) %72)
(/.f64 (neg.f64 %456) %72)
(/.f64 (neg.f64 %459) x)
(/.f64 (neg.f64 %462) %4)
(/.f64 (neg.f64 %465) #s(literal -2 binary64))
(/.f64 (neg.f64 %468) %81)
(/.f64 (neg.f64 %471) %65)
(/.f64 (neg.f64 %474) %84)
(/.f64 (neg.f64 %477) %80)
(/.f64 (neg.f64 %480) x)
(/.f64 (neg.f64 %483) %72)
(/.f64 (neg.f64 %486) %72)
(/.f64 (neg.f64 %489) %72)
(/.f64 (neg.f64 %492) x)
(/.f64 (neg.f64 %495) y)
(/.f64 (neg.f64 %499) %4)
(/.f64 (neg.f64 %502) #s(literal -2 binary64))
(/.f64 (neg.f64 %505) #s(literal -2 binary64))
(/.f64 (neg.f64 %508) %110)
(/.f64 (neg.f64 %511) %19)
(/.f64 (neg.f64 %514) x)
(/.f64 (neg.f64 %517) %95)
(/.f64 (neg.f64 %520) %4)
(/.f64 (neg.f64 %523) %72)
(/.f64 (neg.f64 %526) y)
(/.f64 (neg.f64 %530) %80)
(/.f64 (neg.f64 %534) %84)
(/.f64 (neg.f64 %538) %72)
(/.f64 (neg.f64 %542) %65)
(/.f64 (neg.f64 %546) %549)
(/.f64 (neg.f64 %552) %554)
(/.f64 (neg.f64 %557) %560)
(/.f64 (neg.f64 %563) %566)
(/.f64 (neg.f64 %569) %572)
(/.f64 (neg.f64 %574) %577)
(/.f64 (neg.f64 %580) %583)
(/.f64 (neg.f64 %586) %19)
(/.f64 (neg.f64 %590) %593)
(/.f64 (neg.f64 %596) %599)
(/.f64 (neg.f64 %602) %605)
(/.f64 (neg.f64 %608) %611)
(/.f64 (neg.f64 %614) %95)
(/.f64 (neg.f64 %618) %621)
(/.f64 (neg.f64 %624) %627)
(/.f64 (neg.f64 %630) %633)
(/.f64 (neg.f64 %636) %638)
(/.f64 (neg.f64 %337) %4)
(/.f64 (neg.f64 %339) #s(literal -2 binary64))
(/.f64 (neg.f64 %644) %19)
(/.f64 (neg.f64 %648) %549)
(/.f64 (neg.f64 %652) %554)
(/.f64 (neg.f64 %656) %560)
(/.f64 (neg.f64 %660) %566)
(/.f64 (neg.f64 %664) %572)
(/.f64 (neg.f64 %668) %577)
(/.f64 (neg.f64 %672) %583)
(/.f64 (neg.f64 %675) %95)
(/.f64 (neg.f64 %679) %19)
(/.f64 (neg.f64 %683) %593)
(/.f64 (neg.f64 %687) %599)
(/.f64 (neg.f64 %690) %554)
(/.f64 (neg.f64 %693) %566)
(/.f64 (neg.f64 %697) %605)
(/.f64 (neg.f64 %701) %611)
(/.f64 (neg.f64 %704) %577)
(/.f64 (neg.f64 %708) %95)
(/.f64 (neg.f64 %711) %714)
(/.f64 (neg.f64 %717) %621)
(/.f64 (neg.f64 %721) %627)
(/.f64 (neg.f64 %725) %633)
(/.f64 (neg.f64 %729) %638)
(/.f64 (neg.f64 %732) (neg.f64 %734))
(/.f64 (neg.f64 %737) %599)
(/.f64 (neg.f64 %292) %566)
(/.f64 (neg.f64 %742) %611)
(/.f64 (neg.f64 %745) %95)
(/.f64 (neg.f64 %748) %19)
(/.f64 (neg.f64 %752) (neg.f64 %754))
(/.f64 (neg.f64 %759) (neg.f64 %761))
(/.f64 (neg.f64 %766) %110)
(/.f64 (neg.f64 %770) (neg.f64 %772))
(/.f64 (neg.f64 %776) %714)
(/.f64 (neg.f64 %779) (neg.f64 %781))
(/.f64 (neg.f64 %786) (neg.f64 %788))
(/.f64 (neg.f64 %792) (neg.f64 %794))
(/.f64 (neg.f64 %798) (neg.f64 %800))
(/.f64 (neg.f64 %804) %621)
(/.f64 (neg.f64 %809) (neg.f64 %811))
(/.f64 (neg.f64 %815) (neg.f64 %817))
(/.f64 (neg.f64 %821) (neg.f64 %823))
(/.f64 (neg.f64 %827) %627)
(/.f64 (neg.f64 %832) (neg.f64 %834))
(/.f64 (neg.f64 %838) (neg.f64 %840))
(/.f64 (neg.f64 %844) (neg.f64 %354))
(/.f64 (neg.f64 %849) %638)
(/.f64 (neg.f64 %853) %633)
(/.f64 (neg.f64 %857) (neg.f64 %859))
(/.f64 (neg.f64 %863) %627)
(/.f64 (neg.f64 %867) (neg.f64 %869))
(/.f64 (neg.f64 %872) %19)
(/.f64 (neg.f64 %875) %95)
(/.f64 (neg.f64 %878) %85)
(/.f64 (neg.f64 %881) %84)
(/.f64 (neg.f64 %884) %110)
(/.f64 (neg.f64 %887) %65)
(/.f64 (neg.f64 %890) %19)
(/.f64 (neg.f64 %893) %95)
(/.f64 (neg.f64 %896) %19)
(/.f64 %286 %95)
(/.f64 (neg.f64 %296) (neg.f64 %554))
(/.f64 (neg.f64 %299) %95)
(/.f64 (neg.f64 %905) %81)
(/.f64 (neg.f64 %908) (neg.f64 %638))
(/.f64 (neg.f64 %912) %85)
(/.f64 %289 %19)
(/.f64 %451 %72)
(/.f64 %335 y)
(/.f64 %456 y)
(/.f64 %459 %4)
(/.f64 %462 x)
(/.f64 %465 #s(literal 2 binary64))
(/.f64 %468 %80)
(/.f64 %471 %110)
(/.f64 %474 %56)
(/.f64 %477 %64)
(/.f64 %480 %4)
(/.f64 %483 y)
(/.f64 %486 y)
(/.f64 %489 y)
(/.f64 %492 %4)
(/.f64 %495 %72)
(/.f64 %499 x)
(/.f64 %502 #s(literal 2 binary64))
(/.f64 %505 #s(literal 2 binary64))
(/.f64 %508 %65)
(/.f64 %310 %4)
(/.f64 (/.f64 %346 #s(literal 2 binary64)) %95)
(/.f64 (/.f64 %346 x) %84)
(/.f64 %498 %80)
(/.f64 %511 %95)
(/.f64 %514 %4)
(/.f64 %517 %19)
(/.f64 %520 x)
(/.f64 %523 y)
(/.f64 %526 %72)
(/.f64 %448 %65)
(/.f64 %530 %64)
(/.f64 %534 %56)
(/.f64 %538 y)
(/.f64 %542 %110)
(/.f64 %546 %548)
(/.f64 %552 %317)
(/.f64 %557 %559)
(/.f64 %563 %565)
(/.f64 %569 %571)
(/.f64 %574 %576)
(/.f64 %580 %582)
(/.f64 %586 %95)
(/.f64 %590 %592)
(/.f64 %596 %598)
(/.f64 %602 %604)
(/.f64 %608 %610)
(/.f64 %614 %19)
(/.f64 %618 %620)
(/.f64 %624 %626)
(/.f64 %630 %632)
(/.f64 %636 %358)
(/.f64 %337 x)
(/.f64 %339 #s(literal 2 binary64))
(/.f64 %644 %95)
(/.f64 %648 %548)
(/.f64 %652 %317)
(/.f64 %656 %559)
(/.f64 %660 %565)
(/.f64 %664 %571)
(/.f64 %668 %576)
(/.f64 %672 %582)
(/.f64 %675 %19)
(/.f64 %679 %95)
(/.f64 %683 %592)
(/.f64 %687 %598)
(/.f64 %690 %317)
(/.f64 %693 %565)
(/.f64 %697 %604)
(/.f64 %701 %610)
(/.f64 %704 %576)
(/.f64 %708 %19)
(/.f64 %711 %713)
(/.f64 %717 %620)
(/.f64 %721 %626)
(/.f64 %725 %632)
(/.f64 %729 %358)
(/.f64 %732 %734)
(/.f64 %737 %598)
(/.f64 %292 %565)
(/.f64 %742 %610)
(/.f64 %745 %19)
(/.f64 %748 %95)
(/.f64 %752 %754)
(/.f64 %759 %761)
(/.f64 %766 %65)
(/.f64 %770 %772)
(/.f64 %776 %713)
(/.f64 %779 %781)
(/.f64 %786 %788)
(/.f64 %792 %794)
(/.f64 %798 %800)
(/.f64 %804 %620)
(/.f64 %809 %811)
(/.f64 %815 %817)
(/.f64 %821 %823)
(/.f64 %827 %626)
(/.f64 %832 %834)
(/.f64 %838 %840)
(/.f64 %844 %354)
(/.f64 %849 %358)
(/.f64 %853 %632)
(/.f64 %857 %859)
(/.f64 %863 %626)
(/.f64 %867 %869)
(/.f64 %872 %95)
(/.f64 %875 %19)
(/.f64 %878 %84)
(/.f64 %881 %56)
(/.f64 %884 %65)
(/.f64 (*.f64 %346 #s(literal 1 binary64)) %110)
(/.f64 %887 %110)
(/.f64 %890 %95)
(/.f64 %893 %19)
(/.f64 %896 %95)
(/.f64 %285 %19)
(/.f64 %296 %554)
(/.f64 %299 %19)
(/.f64 %288 %95)
(/.f64 %905 %80)
(/.f64 %908 %638)
(/.f64 (neg.f64 %341) %95)
(/.f64 %912 %84)
(/.f64 %341 %19)
(/.f64 %279 %81)
(/.f64 %279 %64)
(/.f64 %344 %85)
(/.f64 %344 %56)
(/.f64 %274 %19)
(/.f64 %295 %317)
(/.f64 %298 %95)
(/.f64 %355 %358)
(/.f64 %361 %72)
(/.f64 %334 y)
(/.f64 %346 %110)
(/.f64 %309 %4)
(/.f64 #s(literal 1 binary64) (pow.f64 %369 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %19 %274))
(/.f64 #s(literal 1 binary64) (/.f64 %317 %295))
(/.f64 #s(literal 1 binary64) (/.f64 %95 %298))
(/.f64 #s(literal 1 binary64) (/.f64 %64 %279))
(/.f64 #s(literal 1 binary64) (/.f64 %56 %344))
(/.f64 #s(literal 1 binary64) (/.f64 %358 %355))
(/.f64 #s(literal 1 binary64) (/.f64 %72 %361))
(/.f64 #s(literal 1 binary64) (/.f64 %4 %309))
(/.f64 #s(literal 1 binary64) (/.f64 y %334))
(/.f64 #s(literal 1 binary64) (/.f64 %110 %346))
(/.f64 #s(literal 1 binary64) (/.f64 %65 %278))
(/.f64 #s(literal 1 binary64) (/.f64 x %270))
(/.f64 %278 %65)
(/.f64 %270 x)
(neg.f64 (*.f64 %361 %36))
(neg.f64 (*.f64 %32 %309))
(neg.f64 (+.f64 %6 %16))
(neg.f64 (/.f64 %298 %19))
(neg.f64 (-.f64 %16 %33))
(fma.f64 %5 %6 %1094)
(fma.f64 %5 %6 %1096)
(fma.f64 %5 %6 %9)
(fma.f64 %8 %9 %1094)
(fma.f64 %8 %9 %1096)
(fma.f64 %8 %9 %9)
(fma.f64 %6 %5 %1094)
(fma.f64 %6 %5 %1096)
(fma.f64 %6 %5 %9)
(fma.f64 %13 #s(literal -1/2 binary64) %1094)
(fma.f64 %13 #s(literal -1/2 binary64) %1096)
(fma.f64 %13 #s(literal -1/2 binary64) %9)
(fma.f64 %15 %16 %1094)
(fma.f64 %15 %16 %1096)
(fma.f64 %15 %16 %9)
(fma.f64 %18 %20 %1094)
(fma.f64 %18 %20 %1096)
(fma.f64 %18 %20 %9)
(fma.f64 %22 %23 %1094)
(fma.f64 %22 %23 %1096)
(fma.f64 %22 %23 %9)
(fma.f64 %25 %27 %1094)
(fma.f64 %25 %27 %1096)
(fma.f64 %25 %27 %9)
(fma.f64 %27 %25 %1094)
(fma.f64 %27 %25 %1096)
(fma.f64 %27 %25 %9)
(fma.f64 %30 %72 %33)
(fma.f64 %30 x %1094)
(fma.f64 %30 x %1096)
(fma.f64 %30 x %9)
(fma.f64 %32 %34 %1094)
(fma.f64 %32 %34 %1096)
(fma.f64 %32 %34 %9)
(fma.f64 %32 #s(literal -1/2 binary64) %33)
(fma.f64 %36 #s(literal 1/2 binary64) %1094)
(fma.f64 %36 #s(literal 1/2 binary64) %1096)
(fma.f64 %36 #s(literal 1/2 binary64) %9)
(fma.f64 %16 %15 %1094)
(fma.f64 %16 %15 %1096)
(fma.f64 %16 %15 %9)
(fma.f64 %9 %8 %1094)
(fma.f64 %9 %8 %1096)
(fma.f64 %9 %8 %9)
(fma.f64 %4 %40 %1094)
(fma.f64 %4 %40 %1096)
(fma.f64 %4 %40 %9)
(fma.f64 %72 %30 %33)
(fma.f64 #s(literal 1 binary64) %33 %1094)
(fma.f64 #s(literal 1 binary64) %33 %1096)
(fma.f64 #s(literal 1 binary64) %33 %9)
(fma.f64 %34 %32 %1094)
(fma.f64 %34 %32 %1096)
(fma.f64 %34 %32 %9)
(fma.f64 %33 #s(literal 1 binary64) %1094)
(fma.f64 %33 #s(literal 1 binary64) %1096)
(fma.f64 %33 #s(literal 1 binary64) %9)
(fma.f64 #s(literal 1/2 binary64) %45 %1094)
(fma.f64 #s(literal 1/2 binary64) %45 %1096)
(fma.f64 #s(literal 1/2 binary64) %45 %9)
(fma.f64 #s(literal 1/2 binary64) %23 %33)
(fma.f64 #s(literal 1/2 binary64) %36 %1094)
(fma.f64 #s(literal 1/2 binary64) %36 %1096)
(fma.f64 #s(literal 1/2 binary64) %36 %9)
(fma.f64 #s(literal -1/2 binary64) %48 %1094)
(fma.f64 #s(literal -1/2 binary64) %48 %1096)
(fma.f64 #s(literal -1/2 binary64) %48 %9)
(fma.f64 #s(literal -1/2 binary64) %50 %1094)
(fma.f64 #s(literal -1/2 binary64) %50 %1096)
(fma.f64 #s(literal -1/2 binary64) %50 %9)
(fma.f64 #s(literal -1/2 binary64) %52 %1094)
(fma.f64 #s(literal -1/2 binary64) %52 %1096)
(fma.f64 #s(literal -1/2 binary64) %52 %9)
(fma.f64 #s(literal -1/2 binary64) %13 %1094)
(fma.f64 #s(literal -1/2 binary64) %13 %1096)
(fma.f64 #s(literal -1/2 binary64) %13 %9)
(fma.f64 #s(literal -1/2 binary64) %32 %33)
(fma.f64 y %40 %33)
(fma.f64 x %30 %1094)
(fma.f64 x %30 %1096)
(fma.f64 x %30 %9)
(-.f64 (/.f64 (*.f64 %65 x) %358) (/.f64 %626 %358))
(-.f64 %9 %169)
(-.f64 %9 %171)
(-.f64 %9 %173)
(-.f64 %9 (*.f64 %100 %16))
(-.f64 %9 (*.f64 #s(literal -1 binary64) %33))
(-.f64 %9 (*.f64 %22 %32))
(-.f64 %9 (*.f64 %4 %30))
(-.f64 %9 %175)
(-.f64 %9 %177)
%369
(-.f64 %33 %16)
(+.f64 %1094 %33)
(+.f64 (/.f64 %282 %317) (/.f64 %18 %317))
(+.f64 %9 %33)
(+.f64 %33 %1094)
(+.f64 %33 %1096)
(+.f64 %33 %9)
(pow.f64 %1207 #s(literal 1 binary64))
%1207
(/.f64 #s(literal 1 binary64) (pow.f64 %1207 #s(literal -1 binary64)))