%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 y x)
%14 = (neg.f64 %2)
%15 = (*.f64 %14 #s(literal 1 binary64))
%18 = (neg.f64 x)
%20 = (neg.f64 y)
%22 = (neg.f64 %18)
%26 = (+.f64 x x)
%32 = (/.f64 #s(literal 1/2 binary64) x)
%36 = (*.f64 #s(literal -1 binary64) x)
%40 = (*.f64 #s(literal -2 binary64) x)
%41 = (neg.f64 %40)
%43 = (+.f64 y y)
%45 = (*.f64 y x)
%48 = (*.f64 #s(literal -2 binary64) y)
%52 = (*.f64 %26 y)
%54 = (*.f64 #s(literal 1 binary64) %45)
%59 = (neg.f64 %48)
%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 %43)
%78 = (/.f64 #s(literal 1 binary64) x)
%80 = (*.f64 %2 #s(literal 1/2 binary64))
%83 = (/.f64 %2 y)
%85 = (/.f64 %2 x)
%86 = (/.f64 #s(literal 1/2 binary64) y)
%88 = (/.f64 #s(literal 1 binary64) y)
%89 = (fma.f64 y %32 #s(literal 1/2 binary64))
%91 = (neg.f64 %63)
%93 = (*.f64 %52 %2)
%94 = (*.f64 %45 %45)
%96 = (*.f64 %94 #s(literal 4 binary64))
%99 = (/.f64 %2 %40)
%105 = (+.f64 %32 %86)
%109 = (*.f64 y #s(literal -1 binary64))
%111 = (*.f64 %65 x)
%114 = (/.f64 y x)
%115 = (/.f64 %114 y)
%118 = (*.f64 #s(literal 2 binary64) %65)
%120 = (/.f64 y %45)
%124 = (/.f64 y %43)
%126 = (*.f64 x x)
%128 = (*.f64 x %65)
%130 = (/.f64 %20 x)
%133 = (*.f64 %48 %65)
%135 = (/.f64 %20 y)
%137 = (*.f64 %40 x)
%139 = (*.f64 %40 %65)
%141 = (/.f64 y #s(literal 2 binary64))
%143 = (*.f64 %45 x)
%145 = (*.f64 %45 %65)
%147 = (neg.f64 %114)
%154 = (*.f64 %114 %65)
%156 = (*.f64 %43 %65)
%158 = (/.f64 y %40)
%160 = (*.f64 %20 x)
%162 = (*.f64 %20 %65)
%164 = (/.f64 y %26)
%165 = (*.f64 %164 %65)
%167 = (*.f64 y %65)
%169 = (*.f64 #s(literal 1/2 binary64) %65)
%172 = (*.f64 #s(literal -1 binary64) %65)
%177 = (*.f64 #s(literal 1 binary64) %65)
%178 = (*.f64 %26 x)
%180 = (*.f64 %26 %65)
%182 = (*.f64 %52 x)
%184 = (*.f64 %52 %65)
%187 = (*.f64 %65 %18)
%189 = (*.f64 %65 %52)
%193 = (*.f64 #s(literal 2 binary64) %52)
%199 = (*.f64 x %18)
%203 = (*.f64 %48 %18)
%205 = (*.f64 %48 %52)
%208 = (*.f64 %40 %18)
%210 = (*.f64 %40 %52)
%215 = (*.f64 %45 %52)
%223 = (*.f64 %114 %52)
%225 = (*.f64 %43 %52)
%230 = (*.f64 %20 %52)
%232 = (*.f64 %164 %52)
%233 = (*.f64 y %18)
%235 = (*.f64 %52 y)
%237 = (*.f64 #s(literal 1/2 binary64) %52)
%240 = (*.f64 #s(literal -1 binary64) %52)
%245 = (*.f64 #s(literal 1 binary64) %52)
%246 = (*.f64 %26 %18)
%248 = (*.f64 %26 %52)
%250 = (*.f64 %52 %18)
%253 = (*.f64 x #s(literal -1 binary64))
%255 = (/.f64 %20 %45)
%256 = (*.f64 %65 %255)
%258 = (*.f64 %65 #s(literal 2 binary64))
%261 = (/.f64 y %48)
%262 = (*.f64 %65 %261)
%266 = (/.f64 y #s(literal -2 binary64))
%267 = (*.f64 %65 %266)
%269 = (*.f64 %65 %45)
%271 = (*.f64 %253 %43)
%272 = (*.f64 %65 %130)
%274 = (*.f64 %65 %43)
%276 = (*.f64 %253 %26)
%277 = (*.f64 %65 %135)
%279 = (*.f64 %65 %26)
%281 = (*.f64 %65 %147)
%285 = (*.f64 %65 %114)
%287 = (*.f64 %65 %48)
%290 = (*.f64 %65 %158)
%292 = (*.f64 %65 y)
%295 = (*.f64 %65 %164)
%297 = (*.f64 %65 %20)
%299 = (*.f64 %65 #s(literal -1 binary64))
%306 = (*.f64 %65 #s(literal 1 binary64))
%308 = (*.f64 %65 %40)
%313 = (/.f64 x y)
%314 = (/.f64 %313 #s(literal 2 binary64))
%316 = (*.f64 x %255)
%320 = (*.f64 x %261)
%324 = (*.f64 x %266)
%326 = (*.f64 x %45)
%328 = (*.f64 %314 %43)
%329 = (*.f64 x %130)
%332 = (*.f64 %314 %26)
%333 = (*.f64 x %135)
%335 = (*.f64 x %26)
%337 = (*.f64 x %147)
%341 = (*.f64 x %114)
%345 = (*.f64 x %158)
%349 = (*.f64 x %164)
%351 = (*.f64 x %20)
%360 = (*.f64 x %40)
%365 = (/.f64 %313 x)
%367 = (*.f64 #s(literal 2 binary64) %255)
%371 = (*.f64 #s(literal 2 binary64) %261)
%375 = (*.f64 #s(literal 2 binary64) %266)
%378 = (*.f64 %365 %43)
%379 = (*.f64 #s(literal 2 binary64) %130)
%381 = (*.f64 #s(literal 2 binary64) %43)
%383 = (*.f64 %365 %26)
%384 = (*.f64 #s(literal 2 binary64) %135)
%386 = (*.f64 #s(literal 2 binary64) %26)
%388 = (*.f64 #s(literal 2 binary64) %147)
%392 = (*.f64 #s(literal 2 binary64) %114)
%394 = (*.f64 #s(literal 2 binary64) %48)
%397 = (*.f64 #s(literal 2 binary64) %158)
%401 = (*.f64 #s(literal 2 binary64) %164)
%411 = (*.f64 #s(literal 2 binary64) %40)
%416 = (/.f64 x %45)
%426 = (*.f64 %416 %43)
%429 = (*.f64 %416 %26)
%454 = (/.f64 x %43)
%464 = (*.f64 %454 %43)
%467 = (*.f64 %454 %26)
%492 = (/.f64 %18 %26)
%494 = (*.f64 %20 %255)
%498 = (*.f64 %20 %261)
%502 = (*.f64 %20 %266)
%504 = (*.f64 %20 %45)
%506 = (*.f64 %492 %43)
%507 = (*.f64 %20 %130)
%509 = (*.f64 %20 %43)
%511 = (*.f64 %492 %26)
%512 = (*.f64 %20 %135)
%515 = (*.f64 %20 %147)
%519 = (*.f64 %20 %114)
%521 = (*.f64 %20 %48)
%524 = (*.f64 %20 %158)
%526 = (*.f64 %20 y)
%529 = (*.f64 %20 %164)
%531 = (*.f64 y y)
%533 = (*.f64 %20 #s(literal -1 binary64))
%540 = (*.f64 %20 #s(literal 1 binary64))
%546 = (/.f64 %18 x)
%548 = (*.f64 %48 %255)
%550 = (*.f64 %48 #s(literal 2 binary64))
%553 = (*.f64 %48 %261)
%557 = (*.f64 %48 %266)
%559 = (*.f64 %48 %45)
%561 = (*.f64 %546 %43)
%562 = (*.f64 %48 %130)
%564 = (*.f64 %48 %43)
%566 = (*.f64 %546 %26)
%567 = (*.f64 %48 %135)
%569 = (*.f64 %48 %26)
%571 = (*.f64 %48 %147)
%575 = (*.f64 %48 %114)
%577 = (*.f64 %43 %43)
%580 = (*.f64 %48 %158)
%582 = (*.f64 %48 y)
%585 = (*.f64 %48 %164)
%587 = (*.f64 %48 %20)
%589 = (*.f64 %48 #s(literal -1 binary64))
%596 = (*.f64 %48 #s(literal 1 binary64))
%598 = (*.f64 %48 %40)
%603 = (/.f64 %18 y)
%605 = (*.f64 %40 %255)
%607 = (*.f64 %40 #s(literal 2 binary64))
%610 = (*.f64 %40 %261)
%614 = (*.f64 %40 %266)
%616 = (*.f64 %40 %45)
%618 = (*.f64 %603 %43)
%619 = (*.f64 %40 %130)
%621 = (*.f64 %40 %43)
%623 = (*.f64 %603 %26)
%624 = (*.f64 %40 %135)
%626 = (*.f64 %40 %26)
%628 = (*.f64 %40 %147)
%632 = (*.f64 %40 %114)
%634 = (*.f64 %40 %48)
%637 = (*.f64 %40 %158)
%641 = (*.f64 %40 %164)
%644 = (*.f64 %40 #s(literal -1 binary64))
%651 = (*.f64 %40 #s(literal 1 binary64))
%653 = (*.f64 %26 %26)
%658 = (/.f64 x #s(literal 2 binary64))
%671 = (*.f64 %658 %43)
%675 = (*.f64 %658 %26)
%690 = (*.f64 %45 y)
%695 = (*.f64 %45 %20)
%710 = (neg.f64 %313)
%720 = (*.f64 %710 %43)
%723 = (*.f64 %710 %26)
%757 = (*.f64 #s(literal -1/2 binary64) %43)
%760 = (*.f64 #s(literal -1/2 binary64) %26)
%786 = (*.f64 %52 %255)
%788 = (*.f64 %52 #s(literal 2 binary64))
%791 = (*.f64 %52 %261)
%795 = (*.f64 %52 %266)
%797 = (*.f64 %52 %45)
%799 = (*.f64 %22 %26)
%800 = (*.f64 %52 %135)
%802 = (*.f64 %52 %26)
%805 = (*.f64 %52 %114)
%807 = (*.f64 %52 %48)
%810 = (*.f64 %52 %158)
%814 = (*.f64 %52 %164)
%816 = (*.f64 %52 %20)
%818 = (*.f64 %52 #s(literal -1 binary64))
%826 = (*.f64 %52 %40)
%844 = (*.f64 %313 %43)
%847 = (*.f64 %26 %43)
%849 = (*.f64 %313 %26)
%857 = (*.f64 %26 %114)
%861 = (*.f64 %313 y)
%866 = (*.f64 %26 %164)
%876 = (*.f64 %313 %65)
%888 = (*.f64 %88 %43)
%891 = (*.f64 %88 %26)
%928 = (*.f64 #s(literal 1/2 binary64) %43)
%931 = (*.f64 y %43)
%933 = (*.f64 #s(literal 1/2 binary64) %26)
%941 = (*.f64 y %114)
%945 = (*.f64 #s(literal 1/2 binary64) y)
%950 = (*.f64 y %164)
%952 = (*.f64 y %20)
%971 = (*.f64 %18 %26)
%978 = (*.f64 %18 y)
%989 = (*.f64 %18 %65)
%999 = (*.f64 #s(literal -1 binary64) %43)
%1002 = (*.f64 #s(literal -1 binary64) %26)
%1035 = (*.f64 #s(literal 1 binary64) %43)
%1041 = (*.f64 %43 %26)
%1047 = (*.f64 %43 %114)
%1053 = (*.f64 %43 y)
%1056 = (*.f64 %43 %164)
%1058 = (*.f64 %43 %20)
%1077 = (*.f64 %52 %43)
%1096 = (*.f64 %89 #s(literal 1 binary64))
%1099 = (*.f64 %2 #s(literal -1 binary64))
%1102 = (*.f64 %80 %88)
%1105 = (*.f64 %85 %88)
%1108 = (*.f64 %14 %88)
%1111 = (*.f64 %78 %2)
%1114 = (*.f64 %88 %2)
%1117 = (*.f64 #s(literal -1 binary64) %2)
%1120 = (/.f64 %83 #s(literal 2 binary64))
%1123 = (/.f64 %83 x)
%1126 = (/.f64 %85 y)
%1129 = (/.f64 %93 %52)
%1132 = (fma.f64 %32 %43 #s(literal 1 binary64))
%1135 = (fma.f64 %32 y #s(literal 1/2 binary64))
%1138 = (fma.f64 %32 %65 %18)
%1141 = (fma.f64 %32 %52 x)
%1144 = (fma.f64 %86 %26 #s(literal 1 binary64))
%1147 = (fma.f64 %86 %43 %114)
%1150 = (fma.f64 %86 y %164)
%1153 = (fma.f64 %86 %65 %20)
%1156 = (fma.f64 #s(literal 2 binary64) x %849)
%1158 = (neg.f64 %653)
%1160 = (+.f64 y %933)
%1163 = (fma.f64 #s(literal 1 binary64) %65 %971)
%1165 = (neg.f64 %180)
%1167 = (fma.f64 #s(literal 1 binary64) %52 %335)
%1169 = (neg.f64 %248)
%1171 = (fma.f64 %114 %26 %844)
%1173 = (neg.f64 %1041)
%1175 = (fma.f64 %114 %43 %1035)
%1177 = (neg.f64 %577)
%1179 = (fma.f64 %114 y %928)
%1181 = (neg.f64 %1053)
%1183 = (fma.f64 %114 %65 %65)
%1185 = (neg.f64 %156)
%1187 = (fma.f64 %164 %26 %861)
%1190 = (fma.f64 %164 %43 y)
%1192 = (neg.f64 %931)
%1194 = (fma.f64 %164 y %945)
%1196 = (neg.f64 %531)
%1198 = (fma.f64 %164 %65 %978)
%1200 = (neg.f64 %167)
%1202 = (fma.f64 %164 %52 %45)
%1204 = (neg.f64 %235)
%1206 = (fma.f64 #s(literal -2 binary64) %45 %876)
%1208 = (neg.f64 %279)
%1210 = (fma.f64 %20 %43 %177)
%1212 = (neg.f64 %274)
%1214 = (fma.f64 %20 y %169)
%1216 = (neg.f64 %292)
%1218 = (fma.f64 %20 %65 %989)
%1220 = (neg.f64 %96)
%1222 = (fma.f64 %20 %52 %128)
%1224 = (neg.f64 %189)
%1226 = (*.f64 %313 %52)
%1227 = (fma.f64 %43 x %1226)
%1229 = (neg.f64 %802)
%1231 = (fma.f64 y %43 %245)
%1233 = (neg.f64 %1077)
%1235 = (fma.f64 y y %237)
%1238 = (*.f64 %18 %52)
%1239 = (fma.f64 y %65 %1238)
%1241 = (neg.f64 %184)
%1244 = (fma.f64 %313 %43 (*.f64 %114 %26))
%1246 = (neg.f64 %847)
%1249 = (fma.f64 %313 y (*.f64 %164 %26))
%1252 = (fma.f64 #s(literal 2 binary64) x %1035)
%1256 = (fma.f64 #s(literal 1 binary64) %43 (*.f64 %114 %43))
%1260 = (+.f64 y (*.f64 %164 %43))
%1263 = (fma.f64 #s(literal 1 binary64) %65 %509)
%1266 = (fma.f64 #s(literal 1 binary64) %52 %931)
%1268 = (neg.f64 %225)
%1271 = (fma.f64 #s(literal 1/2 binary64) %43 (*.f64 %114 y))
%1275 = (fma.f64 #s(literal 1/2 binary64) y (*.f64 %164 y))
%1278 = (fma.f64 #s(literal 1/2 binary64) %65 %526)
%1281 = (fma.f64 %18 %26 %177)
%1284 = (fma.f64 #s(literal -2 binary64) %45 %154)
%1287 = (fma.f64 %18 y %165)
%1290 = (fma.f64 %18 %65 %162)
%1293 = (fma.f64 %18 %52 %167)
%1296 = (fma.f64 x %26 %245)
%1299 = (fma.f64 %43 x %223)
%1302 = (fma.f64 y x %232)
%1305 = (fma.f64 x %65 %230)
%1313 = (fma.f64 #s(literal 2 binary64) x (*.f64 %26 %313))
%1316 = (fma.f64 #s(literal 1 binary64) %43 %26)
%1319 = (fma.f64 #s(literal 1 binary64) %65 %246)
%1322 = (fma.f64 #s(literal 1 binary64) %52 %178)
%1326 = (fma.f64 %114 %26 (*.f64 %43 %313))
%1329 = (fma.f64 %114 %43 %43)
%1333 = (fma.f64 %114 y (*.f64 %43 #s(literal 1/2 binary64)))
%1336 = (fma.f64 %114 %52 %52)
%1340 = (fma.f64 %164 %26 (*.f64 y %313))
%1344 = (fma.f64 %164 y (*.f64 y #s(literal 1/2 binary64)))
%1347 = (fma.f64 %164 %65 %233)
%1351 = (fma.f64 #s(literal -2 binary64) %45 (*.f64 %65 %313))
%1354 = (fma.f64 %20 %43 %306)
%1358 = (fma.f64 %20 y (*.f64 %65 #s(literal 1/2 binary64)))
%1361 = (fma.f64 %20 %65 %187)
%1364 = (fma.f64 %20 %52 %111)
%1368 = (fma.f64 %43 x (*.f64 %52 %313))
%1371 = (fma.f64 y %43 %52)
%1375 = (fma.f64 y y (*.f64 %52 #s(literal 1/2 binary64)))
%1378 = (fma.f64 y %65 %250)
%1381 = (fma.f64 %313 %26 %26)
%1384 = (fma.f64 %313 %43 %857)
%1387 = (fma.f64 %313 y %866)
%1390 = (fma.f64 %313 %65 %65)
%1393 = (fma.f64 %313 %52 %52)
%1396 = (fma.f64 #s(literal 2 binary64) x %43)
%1399 = (fma.f64 #s(literal 1 binary64) %43 %1047)
%1402 = (+.f64 y %1056)
%1405 = (fma.f64 #s(literal 1 binary64) %65 %1058)
%1408 = (fma.f64 #s(literal 1 binary64) %52 %1053)
%1411 = (fma.f64 #s(literal 1/2 binary64) %43 %941)
%1414 = (fma.f64 #s(literal 1/2 binary64) y %950)
%1417 = (fma.f64 #s(literal 1/2 binary64) %65 %952)
%1420 = (fma.f64 #s(literal 1/2 binary64) %52 %531)
%1423 = (fma.f64 %18 %26 %306)
%1426 = (fma.f64 #s(literal -2 binary64) %45 %285)
%1429 = (fma.f64 %18 y %295)
%1432 = (fma.f64 %18 %65 %297)
%1435 = (fma.f64 %18 %52 %292)
%1438 = (fma.f64 %43 x %805)
%1441 = (fma.f64 y x %814)
%1444 = (fma.f64 x %65 %816)
%1447 = (-.f64 %1226 %65)
%1450 = (-.f64 %245 %1058)
%1453 = (-.f64 %237 %952)
%1456 = (-.f64 %1238 %297)
%1459 = (-.f64 %182 %816)
%1462 = (*.f64 %80 #s(literal 1 binary64))
%1464 = (neg.f64 %45)
%1466 = (*.f64 %85 #s(literal 1 binary64))
%1469 = (neg.f64 %83)
%1472 = (neg.f64 %93)
%1476 = (fma.f64 #s(literal 1/2 binary64) %26 y)
%1479 = (fma.f64 x %26 %52)
%1482 = (neg.f64 %85)
%1637 = (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 y %18)
(-.f64 x %20)
(+.f64 %22 y)
(+.f64 y %22)
%2
(+.f64 x y)
#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 %18 #s(literal 1 binary64)))
(-.f64 x %36)
(-.f64 x %18)
%26
(*.f64 %41 y)
(*.f64 %22 %43)
(*.f64 %45 #s(literal 2 binary64))
(*.f64 %40 %20)
(*.f64 %18 %48)
(*.f64 %43 x)
(*.f64 %20 %40)
(*.f64 %52 #s(literal 1 binary64))
%52
(*.f64 #s(literal 2 binary64) %54)
(*.f64 #s(literal 2 binary64) %45)
(*.f64 y %41)
(*.f64 y %26)
(*.f64 x %59)
(*.f64 x %43)
(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 (/.f64 #s(literal 1 binary64) %45))
(*.f64 %83 %32)
(*.f64 %85 %86)
(*.f64 %88 %89)
(*.f64 %91 %14)
(*.f64 %93 (/.f64 #s(literal 1 binary64) %96))
(*.f64 %99 (/.f64 #s(literal -1 binary64) y))
(*.f64 %89 %88)
(*.f64 %63 %2)
(*.f64 %14 %91)
(*.f64 #s(literal 1 binary64) %105)
(*.f64 %2 %63)
(pow.f64 %105 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %109 %65) %111) %96)
(/.f64 (-.f64 (*.f64 %115 %65) %26) %118)
(/.f64 (-.f64 (*.f64 %120 %65) %26) %118)
(/.f64 (-.f64 (*.f64 %124 %65) %126) %128)
(/.f64 (-.f64 (*.f64 %130 %65) %65) %133)
(/.f64 (-.f64 (*.f64 %135 %65) %137) %139)
(/.f64 (-.f64 (*.f64 %141 %65) %143) %145)
(/.f64 (-.f64 (*.f64 %147 %65) %65) %133)
(/.f64 (-.f64 (*.f64 %78 %65) %26) %118)
(/.f64 (-.f64 %154 %52) %156)
(/.f64 (-.f64 (*.f64 %158 %65) %160) %162)
(/.f64 (-.f64 %165 %45) %167)
(/.f64 (-.f64 %169 %126) %128)
(/.f64 (-.f64 %172 %137) %139)
(/.f64 (-.f64 %162 %111) %96)
(/.f64 (-.f64 %177 %178) %180)
(/.f64 (-.f64 %167 %182) %184)
(/.f64 (-.f64 (*.f64 %109 %52) %187) %189)
(/.f64 (-.f64 (*.f64 %115 %52) %40) %193)
(/.f64 (-.f64 (*.f64 %120 %52) %40) %193)
(/.f64 (-.f64 (*.f64 %124 %52) %199) %182)
(/.f64 (-.f64 (*.f64 %130 %52) %203) %205)
(/.f64 (-.f64 (*.f64 %135 %52) %208) %210)
(/.f64 (-.f64 (*.f64 %141 %52) (*.f64 %45 %18)) %215)
(/.f64 (-.f64 (*.f64 %147 %52) %203) %205)
(/.f64 (-.f64 (*.f64 %78 %52) %40) %193)
(/.f64 (-.f64 %223 %65) %225)
(/.f64 (-.f64 (*.f64 %158 %52) (*.f64 %20 %18)) %230)
(/.f64 (-.f64 %232 %233) %235)
(/.f64 (-.f64 %237 %199) %182)
(/.f64 (-.f64 %240 %208) %210)
(/.f64 (-.f64 %230 %187) %189)
(/.f64 (-.f64 %245 %246) %248)
(/.f64 (-.f64 %235 %250) %96)
(/.f64 (-.f64 (*.f64 %253 #s(literal 2 binary64)) %256) %258)
(/.f64 (-.f64 (*.f64 %253 x) %262) %111)
(/.f64 (-.f64 (*.f64 %253 %45) %267) %269)
(/.f64 (-.f64 %271 %272) %274)
(/.f64 (-.f64 %276 %277) %279)
(/.f64 (-.f64 %271 %281) %274)
(/.f64 (-.f64 (*.f64 %253 %48) %285) %287)
(/.f64 (-.f64 (*.f64 %253 y) %290) %292)
(/.f64 (-.f64 (*.f64 %253 %20) %295) %297)
(/.f64 (-.f64 %276 %299) %279)
(/.f64 (-.f64 (*.f64 %253 %52) %297) %189)
(/.f64 (-.f64 (*.f64 %253 %40) %306) %308)
(/.f64 (-.f64 (*.f64 %253 %65) %292) %96)
(/.f64 (-.f64 (*.f64 %314 #s(literal 2 binary64)) %316) %26)
(/.f64 (-.f64 (*.f64 %314 x) %320) %126)
(/.f64 (-.f64 (*.f64 %314 %45) %324) %326)
(/.f64 (-.f64 %328 %329) %52)
(/.f64 (-.f64 %332 %333) %335)
(/.f64 (-.f64 %328 %337) %52)
(/.f64 (-.f64 (*.f64 %314 %48) %341) %65)
(/.f64 (-.f64 (*.f64 %314 y) %345) %45)
(/.f64 (-.f64 (*.f64 %314 %20) %349) %351)
(/.f64 (-.f64 %332 %253) %335)
(/.f64 (-.f64 (*.f64 %314 %52) %351) %182)
(/.f64 (-.f64 (*.f64 %314 %40) x) %360)
(/.f64 (-.f64 (*.f64 %314 %65) %45) %128)
(/.f64 (-.f64 (*.f64 %365 #s(literal 2 binary64)) %367) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %365 x) %371) %26)
(/.f64 (-.f64 (*.f64 %365 %45) %375) %52)
(/.f64 (-.f64 %378 %379) %381)
(/.f64 (-.f64 %383 %384) %386)
(/.f64 (-.f64 %378 %388) %381)
(/.f64 (-.f64 (*.f64 %365 %48) %392) %394)
(/.f64 (-.f64 (*.f64 %365 y) %397) %43)
(/.f64 (-.f64 (*.f64 %365 %20) %401) %48)
(/.f64 (-.f64 %383 #s(literal -2 binary64)) %386)
(/.f64 (-.f64 (*.f64 %365 %52) %48) %193)
(/.f64 (-.f64 (*.f64 %365 %40) #s(literal 2 binary64)) %411)
(/.f64 (-.f64 (*.f64 %365 %65) %43) %118)
(/.f64 (-.f64 (*.f64 %416 #s(literal 2 binary64)) %367) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %416 x) %371) %26)
(/.f64 (-.f64 (*.f64 %416 %45) %375) %52)
(/.f64 (-.f64 %426 %379) %381)
(/.f64 (-.f64 %429 %384) %386)
(/.f64 (-.f64 %426 %388) %381)
(/.f64 (-.f64 (*.f64 %416 %48) %392) %394)
(/.f64 (-.f64 (*.f64 %416 y) %397) %43)
(/.f64 (-.f64 (*.f64 %416 %20) %401) %48)
(/.f64 (-.f64 %429 #s(literal -2 binary64)) %386)
(/.f64 (-.f64 (*.f64 %416 %52) %48) %193)
(/.f64 (-.f64 (*.f64 %416 %40) #s(literal 2 binary64)) %411)
(/.f64 (-.f64 (*.f64 %416 %65) %43) %118)
(/.f64 (-.f64 (*.f64 %454 #s(literal 2 binary64)) %316) %26)
(/.f64 (-.f64 (*.f64 %454 x) %320) %126)
(/.f64 (-.f64 (*.f64 %454 %45) %324) %326)
(/.f64 (-.f64 %464 %329) %52)
(/.f64 (-.f64 %467 %333) %335)
(/.f64 (-.f64 %464 %337) %52)
(/.f64 (-.f64 (*.f64 %454 %48) %341) %65)
(/.f64 (-.f64 (*.f64 %454 y) %345) %45)
(/.f64 (-.f64 (*.f64 %454 %20) %349) %351)
(/.f64 (-.f64 %467 %253) %335)
(/.f64 (-.f64 (*.f64 %454 %52) %351) %182)
(/.f64 (-.f64 (*.f64 %454 %40) x) %360)
(/.f64 (-.f64 (*.f64 %454 %65) %45) %128)
(/.f64 (-.f64 (*.f64 %492 #s(literal 2 binary64)) %494) %48)
(/.f64 (-.f64 (*.f64 %492 x) %498) %160)
(/.f64 (-.f64 (*.f64 %492 %45) %502) %504)
(/.f64 (-.f64 %506 %507) %509)
(/.f64 (-.f64 %511 %512) %65)
(/.f64 (-.f64 %506 %515) %509)
(/.f64 (-.f64 (*.f64 %492 %48) %519) %521)
(/.f64 (-.f64 (*.f64 %492 y) %524) %526)
(/.f64 (-.f64 (*.f64 %492 %20) %529) %531)
(/.f64 (-.f64 %511 %533) %65)
(/.f64 (-.f64 (*.f64 %492 %52) %531) %230)
(/.f64 (-.f64 (*.f64 %492 %40) %540) %52)
(/.f64 (-.f64 (*.f64 %492 %65) %526) %162)
(/.f64 (-.f64 (*.f64 %546 #s(literal 2 binary64)) %548) %550)
(/.f64 (-.f64 (*.f64 %546 x) %553) %65)
(/.f64 (-.f64 (*.f64 %546 %45) %557) %559)
(/.f64 (-.f64 %561 %562) %564)
(/.f64 (-.f64 %566 %567) %569)
(/.f64 (-.f64 %561 %571) %564)
(/.f64 (-.f64 (*.f64 %546 %48) %575) %577)
(/.f64 (-.f64 (*.f64 %546 y) %580) %582)
(/.f64 (-.f64 (*.f64 %546 %20) %585) %587)
(/.f64 (-.f64 %566 %589) %569)
(/.f64 (-.f64 (*.f64 %546 %52) %587) %205)
(/.f64 (-.f64 (*.f64 %546 %40) %596) %598)
(/.f64 (-.f64 (*.f64 %546 %65) %582) %133)
(/.f64 (-.f64 (*.f64 %603 #s(literal 2 binary64)) %605) %607)
(/.f64 (-.f64 (*.f64 %603 x) %610) %137)
(/.f64 (-.f64 (*.f64 %603 %45) %614) %616)
(/.f64 (-.f64 %618 %619) %621)
(/.f64 (-.f64 %623 %624) %626)
(/.f64 (-.f64 %618 %628) %621)
(/.f64 (-.f64 (*.f64 %603 %48) %632) %634)
(/.f64 (-.f64 (*.f64 %603 y) %637) %65)
(/.f64 (-.f64 (*.f64 %603 %20) %641) %52)
(/.f64 (-.f64 %623 %644) %626)
(/.f64 (-.f64 (*.f64 %603 %52) %52) %210)
(/.f64 (-.f64 (*.f64 %603 %40) %651) %653)
(/.f64 (-.f64 (*.f64 %603 %65) %65) %139)
(/.f64 (-.f64 (*.f64 %658 #s(literal 2 binary64)) (*.f64 %45 %255)) %52)
(/.f64 (-.f64 (*.f64 %658 x) (*.f64 %45 %261)) %143)
(/.f64 (-.f64 (*.f64 %658 %45) (*.f64 %45 %266)) %94)
(/.f64 (-.f64 %671 (*.f64 %45 %130)) %235)
(/.f64 (-.f64 %675 (*.f64 %45 %135)) %182)
(/.f64 (-.f64 %671 (*.f64 %45 %147)) %235)
(/.f64 (-.f64 (*.f64 %658 %48) (*.f64 %45 %114)) (*.f64 %45 %48))
(/.f64 (-.f64 (*.f64 %658 y) (*.f64 %45 %158)) %690)
(/.f64 (-.f64 (*.f64 %658 %20) (*.f64 %45 %164)) %695)
(/.f64 (-.f64 %675 (*.f64 %45 #s(literal -1 binary64))) %182)
(/.f64 (-.f64 (*.f64 %658 %52) %695) %215)
(/.f64 (-.f64 (*.f64 %658 %40) %67) (*.f64 %45 %40))
(/.f64 (-.f64 (*.f64 %658 %65) %690) %145)
(/.f64 (-.f64 (*.f64 %710 #s(literal 2 binary64)) %605) %607)
(/.f64 (-.f64 (*.f64 %710 x) %610) %137)
(/.f64 (-.f64 (*.f64 %710 %45) %614) %616)
(/.f64 (-.f64 %720 %619) %621)
(/.f64 (-.f64 %723 %624) %626)
(/.f64 (-.f64 %720 %628) %621)
(/.f64 (-.f64 (*.f64 %710 %48) %632) %634)
(/.f64 (-.f64 (*.f64 %710 y) %637) %65)
(/.f64 (-.f64 (*.f64 %710 %20) %641) %52)
(/.f64 (-.f64 %723 %644) %626)
(/.f64 (-.f64 (*.f64 %710 %52) %52) %210)
(/.f64 (-.f64 (*.f64 %710 %40) %651) %653)
(/.f64 (-.f64 (*.f64 %710 %65) %65) %139)
(/.f64 (-.f64 #s(literal -1 binary64) %494) %48)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) x) %498) %160)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %45) %502) %504)
(/.f64 (-.f64 %757 %507) %509)
(/.f64 (-.f64 %760 %512) %65)
(/.f64 (-.f64 %757 %515) %509)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %48) %519) %521)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) y) %524) %526)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %20) %529) %531)
(/.f64 (-.f64 %760 %533) %65)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %52) %531) %230)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %40) %540) %52)
(/.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) %65) %526) %162)
(/.f64 (-.f64 (*.f64 %22 #s(literal 2 binary64)) %786) %788)
(/.f64 (-.f64 (*.f64 %22 x) %791) %182)
(/.f64 (-.f64 (*.f64 %22 %45) %795) %797)
(/.f64 (-.f64 %799 %800) %802)
(/.f64 (-.f64 (*.f64 %22 %48) %805) %807)
(/.f64 (-.f64 (*.f64 %22 y) %810) %235)
(/.f64 (-.f64 (*.f64 %22 %20) %814) %816)
(/.f64 (-.f64 %799 %818) %802)
(/.f64 (-.f64 (*.f64 %22 %52) %816) %96)
(/.f64 (-.f64 (*.f64 %22 %40) %52) %826)
(/.f64 (-.f64 (*.f64 %22 %65) %235) %184)
(/.f64 (-.f64 (*.f64 %313 #s(literal 2 binary64)) (*.f64 %26 %255)) (*.f64 %26 #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 %313 x) (*.f64 %26 %261)) %178)
(/.f64 (-.f64 (*.f64 %313 %45) (*.f64 %26 %266)) %182)
(/.f64 (-.f64 %844 (*.f64 %26 %130)) %847)
(/.f64 (-.f64 %849 (*.f64 %26 %135)) %653)
(/.f64 (-.f64 %844 (*.f64 %26 %147)) %847)
(/.f64 (-.f64 (*.f64 %313 %48) %857) (*.f64 %26 %48))
(/.f64 (-.f64 %861 (*.f64 %26 %158)) %52)
(/.f64 (-.f64 (*.f64 %313 %20) %866) %65)
(/.f64 (-.f64 %849 (*.f64 %26 #s(literal -1 binary64))) %653)
(/.f64 (-.f64 (*.f64 %313 %40) %26) (*.f64 %26 %40))
(/.f64 (-.f64 %876 %52) %180)
(/.f64 (-.f64 (*.f64 %88 #s(literal 2 binary64)) %367) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %88 x) %371) %26)
(/.f64 (-.f64 (*.f64 %88 %45) %375) %52)
(/.f64 (-.f64 %888 %379) %381)
(/.f64 (-.f64 %891 %384) %386)
(/.f64 (-.f64 %888 %388) %381)
(/.f64 (-.f64 (*.f64 %88 %48) %392) %394)
(/.f64 (-.f64 (*.f64 %88 y) %397) %43)
(/.f64 (-.f64 (*.f64 %88 %20) %401) %48)
(/.f64 (-.f64 %891 #s(literal -2 binary64)) %386)
(/.f64 (-.f64 (*.f64 %88 %52) %48) %193)
(/.f64 (-.f64 (*.f64 %88 %40) #s(literal 2 binary64)) %411)
(/.f64 (-.f64 (*.f64 %88 %65) %43) %118)
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 y %255)) %43)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) x) (*.f64 y %261)) %45)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %45) (*.f64 y %266)) (*.f64 y %45))
(/.f64 (-.f64 %928 (*.f64 y %130)) %931)
(/.f64 (-.f64 %933 (*.f64 y %135)) %52)
(/.f64 (-.f64 %928 (*.f64 y %147)) %931)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %48) %941) (*.f64 y %48))
(/.f64 (-.f64 %945 (*.f64 y %158)) %531)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %20) %950) %952)
(/.f64 (-.f64 %933 %109) %52)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %40) y) %65)
(/.f64 (-.f64 %169 %531) %167)
(/.f64 (-.f64 %40 %256) %258)
(/.f64 (-.f64 (*.f64 %18 x) %262) %111)
(/.f64 (-.f64 (*.f64 %18 %45) %267) %269)
(/.f64 (-.f64 %65 %272) %274)
(/.f64 (-.f64 %971 %277) %279)
(/.f64 (-.f64 %65 %281) %274)
(/.f64 (-.f64 %52 %285) %287)
(/.f64 (-.f64 %978 %290) %292)
(/.f64 (-.f64 (*.f64 %18 %20) %295) %297)
(/.f64 (-.f64 %971 %299) %279)
(/.f64 (-.f64 (*.f64 %18 %40) %306) %308)
(/.f64 (-.f64 %989 %292) %96)
(/.f64 (-.f64 #s(literal -2 binary64) %548) %550)
(/.f64 (-.f64 %36 %553) %65)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %45) %557) %559)
(/.f64 (-.f64 %999 %562) %564)
(/.f64 (-.f64 %1002 %567) %569)
(/.f64 (-.f64 %999 %571) %564)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %48) %575) %577)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) y) %580) %582)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %20) %585) %587)
(/.f64 (-.f64 %1002 %589) %569)
(/.f64 (-.f64 %240 %587) %205)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %40) %596) %598)
(/.f64 (-.f64 %172 %582) %133)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 %43 %255)) (*.f64 %43 #s(literal 2 binary64)))
(/.f64 (-.f64 x (*.f64 %43 %261)) %52)
(/.f64 (-.f64 %54 (*.f64 %43 %266)) %235)
(/.f64 (-.f64 %1035 (*.f64 %43 %130)) %577)
(/.f64 (-.f64 %26 (*.f64 %43 %135)) %1041)
(/.f64 (-.f64 %1035 (*.f64 %43 %147)) %577)
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %48) %1047) (*.f64 %43 %48))
(/.f64 (-.f64 y (*.f64 %43 %158)) %1053)
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %20) %1056) %1058)
(/.f64 (-.f64 %26 (*.f64 %43 #s(literal -1 binary64))) %1041)
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %40) %43) (*.f64 %43 %40))
(/.f64 (-.f64 %177 %1053) %156)
(/.f64 (-.f64 %26 %786) %788)
(/.f64 (-.f64 %126 %791) %182)
(/.f64 (-.f64 %326 %795) %797)
(/.f64 (-.f64 %52 (*.f64 %52 %130)) %1077)
(/.f64 (-.f64 %335 %800) %802)
(/.f64 (-.f64 %52 (*.f64 %52 %147)) %1077)
(/.f64 (-.f64 %65 %805) %807)
(/.f64 (-.f64 %45 %810) %235)
(/.f64 (-.f64 %351 %814) %816)
(/.f64 (-.f64 %335 %818) %802)
(/.f64 (-.f64 %360 %52) %826)
(/.f64 (-.f64 %128 %235) %184)
(/.f64 (neg.f64 %1096) %20)
(/.f64 (neg.f64 %1099) %52)
(/.f64 (neg.f64 %1102) %18)
(/.f64 (neg.f64 %1105) #s(literal -2 binary64))
(/.f64 (neg.f64 %1108) %41)
(/.f64 (neg.f64 %1111) %48)
(/.f64 (neg.f64 %1114) %40)
(/.f64 (neg.f64 %1117) %52)
(/.f64 (neg.f64 %1120) %18)
(/.f64 (neg.f64 %1123) #s(literal -2 binary64))
(/.f64 (neg.f64 %1126) #s(literal -2 binary64))
(/.f64 (neg.f64 %1129) %65)
(/.f64 (neg.f64 %1132) %48)
(/.f64 (neg.f64 %1135) %20)
(/.f64 (neg.f64 %1138) %52)
(/.f64 (neg.f64 %1141) %65)
(/.f64 (neg.f64 %1144) %40)
(/.f64 (neg.f64 %1147) %48)
(/.f64 (neg.f64 %1150) %20)
(/.f64 (neg.f64 %1153) %52)
(/.f64 (neg.f64 %1156) %1158)
(/.f64 (neg.f64 %1160) %65)
(/.f64 (neg.f64 %1163) %1165)
(/.f64 (neg.f64 %1167) %1169)
(/.f64 (neg.f64 %1171) %1173)
(/.f64 (neg.f64 %1175) %1177)
(/.f64 (neg.f64 %1179) %1181)
(/.f64 (neg.f64 %1183) %1185)
(/.f64 (neg.f64 %1187) %65)
(/.f64 (neg.f64 %1190) %1192)
(/.f64 (neg.f64 %1194) %1196)
(/.f64 (neg.f64 %1198) %1200)
(/.f64 (neg.f64 %1202) %1204)
(/.f64 (neg.f64 %1206) %1208)
(/.f64 (neg.f64 %1210) %1212)
(/.f64 (neg.f64 %1214) %1216)
(/.f64 (neg.f64 %1218) %1220)
(/.f64 (neg.f64 %1222) %1224)
(/.f64 (neg.f64 %1227) %1229)
(/.f64 (neg.f64 %1231) %1233)
(/.f64 (neg.f64 %1235) %1204)
(/.f64 (neg.f64 %1239) %1241)
(/.f64 (neg.f64 %1244) %1246)
(/.f64 (neg.f64 %1249) %65)
(/.f64 (neg.f64 %1252) %1173)
(/.f64 (neg.f64 %1256) %1177)
(/.f64 (neg.f64 %1260) %1181)
(/.f64 (neg.f64 %1263) %1185)
(/.f64 (neg.f64 %1266) %1268)
(/.f64 (neg.f64 %1271) %1192)
(/.f64 (neg.f64 %1275) %1196)
(/.f64 (neg.f64 %1278) %1200)
(/.f64 (neg.f64 %1281) %1208)
(/.f64 (neg.f64 %1284) %1212)
(/.f64 (neg.f64 %1287) %1216)
(/.f64 (neg.f64 %1290) %1220)
(/.f64 (neg.f64 %1293) %1224)
(/.f64 (neg.f64 %1296) %1229)
(/.f64 (neg.f64 %1299) %1233)
(/.f64 (neg.f64 %1302) %1204)
(/.f64 (neg.f64 %1305) %1241)
(/.f64 (neg.f64 %75) #s(literal -2 binary64))
(/.f64 (neg.f64 %77) %18)
(/.f64 (neg.f64 %1313) %1158)
(/.f64 (neg.f64 %1316) %1246)
(/.f64 (neg.f64 %1319) %1165)
(/.f64 (neg.f64 %1322) %1169)
(/.f64 (neg.f64 %1326) %1173)
(/.f64 (neg.f64 %1329) %1177)
(/.f64 (neg.f64 %1333) %1181)
(/.f64 (neg.f64 %1336) %1268)
(/.f64 (neg.f64 %1340) %65)
(/.f64 (neg.f64 %1344) %1196)
(/.f64 (neg.f64 %1347) %1200)
(/.f64 (neg.f64 %1351) %1208)
(/.f64 (neg.f64 %1354) %1212)
(/.f64 (neg.f64 %1358) %1216)
(/.f64 (neg.f64 %1361) %1220)
(/.f64 (neg.f64 %1364) %1224)
(/.f64 (neg.f64 %1368) %1229)
(/.f64 (neg.f64 %1371) %1233)
(/.f64 (neg.f64 %1375) %1204)
(/.f64 (neg.f64 %1378) %1241)
(/.f64 (neg.f64 %1381) %1158)
(/.f64 (neg.f64 %1384) %1246)
(/.f64 (neg.f64 %1387) %65)
(/.f64 (neg.f64 %1390) %1165)
(/.f64 (neg.f64 %1393) %1169)
(/.f64 (neg.f64 %1396) %1173)
(/.f64 (neg.f64 %1399) %1177)
(/.f64 (neg.f64 %1402) %1181)
(/.f64 (neg.f64 %1405) %1185)
(/.f64 (neg.f64 %1408) %1268)
(/.f64 (neg.f64 %1411) %1192)
(/.f64 (neg.f64 %1414) %1196)
(/.f64 (neg.f64 %1417) %1200)
(/.f64 (neg.f64 %1420) %1204)
(/.f64 (neg.f64 %1423) %1208)
(/.f64 (neg.f64 %1426) %1212)
(/.f64 (neg.f64 %1429) %1216)
(/.f64 (neg.f64 %1432) %1220)
(/.f64 (neg.f64 %1435) %1224)
(/.f64 (neg.f64 %1438) %1233)
(/.f64 (neg.f64 %1441) %1204)
(/.f64 (neg.f64 %1444) %1241)
(/.f64 (neg.f64 %1447) %1169)
(/.f64 (neg.f64 %1450) %1268)
(/.f64 (neg.f64 %1453) %1204)
(/.f64 (neg.f64 %1456) %1224)
(/.f64 (neg.f64 %1459) %1220)
(/.f64 (neg.f64 %1462) %1464)
(/.f64 (neg.f64 %1466) %48)
(/.f64 (neg.f64 %1469) %41)
(/.f64 (neg.f64 %1472) (neg.f64 %1220))
(/.f64 (neg.f64 %1476) %65)
(/.f64 (neg.f64 %1479) %1229)
(/.f64 (neg.f64 %1482) %59)
(/.f64 %1096 y)
(/.f64 %1099 %65)
(/.f64 %1102 x)
(/.f64 %1105 #s(literal 2 binary64))
(/.f64 %1108 %40)
(/.f64 %1111 %43)
(/.f64 %1114 %26)
(/.f64 %1117 %65)
(/.f64 %1120 x)
(/.f64 %1123 #s(literal 2 binary64))
(/.f64 %1126 #s(literal 2 binary64))
(/.f64 %1129 %52)
(/.f64 (/.f64 %14 x) %48)
(/.f64 (/.f64 %14 y) %40)
(/.f64 %1132 %43)
(/.f64 %1135 y)
(/.f64 %1138 %65)
(/.f64 %1141 %52)
(/.f64 %1144 %26)
(/.f64 %1147 %43)
(/.f64 %1150 y)
(/.f64 %1153 %65)
(/.f64 %1476 %52)
(/.f64 %1156 %653)
(/.f64 %1160 %52)
(/.f64 %1163 %180)
(/.f64 %1167 %248)
(/.f64 %1171 %1041)
(/.f64 %1175 %577)
(/.f64 %1179 %1053)
(/.f64 %1183 %156)
(/.f64 %1187 %52)
(/.f64 %1190 %931)
(/.f64 %1194 %531)
(/.f64 %1198 %167)
(/.f64 %1202 %235)
(/.f64 %1206 %279)
(/.f64 %1210 %274)
(/.f64 %1214 %292)
(/.f64 %1218 %96)
(/.f64 %1222 %189)
(/.f64 %1227 %802)
(/.f64 %1231 %1077)
(/.f64 %1235 %235)
(/.f64 %1239 %184)
(/.f64 %1244 %847)
(/.f64 %1249 %52)
(/.f64 %1252 %1041)
(/.f64 %1256 %577)
(/.f64 %1260 %1053)
(/.f64 %1263 %156)
(/.f64 %1266 %225)
(/.f64 %1271 %931)
(/.f64 %1275 %531)
(/.f64 %1278 %167)
(/.f64 %1281 %279)
(/.f64 %1284 %274)
(/.f64 %1287 %292)
(/.f64 %1290 %96)
(/.f64 %1293 %189)
(/.f64 %1296 %802)
(/.f64 %1299 %1077)
(/.f64 %1302 %235)
(/.f64 %1305 %184)
(/.f64 %75 #s(literal 2 binary64))
(/.f64 %77 x)
(/.f64 %1313 %653)
(/.f64 %1316 %847)
(/.f64 %1319 %180)
(/.f64 %1322 %248)
(/.f64 %1326 %1041)
(/.f64 %1329 %577)
(/.f64 %1333 %1053)
(/.f64 %1336 %225)
(/.f64 %1340 %52)
(/.f64 %1344 %531)
(/.f64 %1347 %167)
(/.f64 %1351 %279)
(/.f64 %1354 %274)
(/.f64 %1358 %292)
(/.f64 %1361 %96)
(/.f64 %1364 %189)
(/.f64 %1368 %802)
(/.f64 %1371 %1077)
(/.f64 %1375 %235)
(/.f64 %1378 %184)
(/.f64 %1381 %653)
(/.f64 %1384 %847)
(/.f64 %1387 %52)
(/.f64 %1390 %180)
(/.f64 %1393 %248)
(/.f64 %1396 %1041)
(/.f64 %1399 %577)
(/.f64 %1402 %1053)
(/.f64 %1405 %156)
(/.f64 %1408 %225)
(/.f64 %1411 %931)
(/.f64 %1414 %531)
(/.f64 %1417 %167)
(/.f64 %1420 %235)
(/.f64 %1423 %279)
(/.f64 %1426 %274)
(/.f64 %1429 %292)
(/.f64 %1432 %96)
(/.f64 %1435 %189)
(/.f64 %1438 %1077)
(/.f64 %1441 %235)
(/.f64 %1444 %184)
(/.f64 %1479 %802)
(/.f64 %1447 %248)
(/.f64 %1450 %225)
(/.f64 %1453 %235)
(/.f64 %1456 %189)
(/.f64 %1459 %96)
(/.f64 %1462 %45)
(/.f64 %1466 %43)
(/.f64 %15 %65)
(/.f64 (neg.f64 %80) %1464)
(/.f64 %1469 %40)
(/.f64 %1482 %48)
(/.f64 %1472 %1220)
(/.f64 %80 %45)
(/.f64 %83 %41)
(/.f64 %83 %26)
(/.f64 %85 %59)
(/.f64 %85 %43)
(/.f64 %93 %96)
(/.f64 %99 %20)
(/.f64 %89 y)
(/.f64 %14 %65)
(/.f64 #s(literal 1 binary64) (pow.f64 %105 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %26 %83))
(/.f64 #s(literal 1 binary64) (/.f64 %43 %85))
(/.f64 #s(literal 1 binary64) (/.f64 %96 %93))
(/.f64 #s(literal 1 binary64) (/.f64 %20 %99))
(/.f64 #s(literal 1 binary64) (/.f64 y %89))
(/.f64 #s(literal 1 binary64) (/.f64 %65 %14))
(/.f64 #s(literal 1 binary64) (/.f64 %52 %2))
(/.f64 %2 %52)
(neg.f64 (*.f64 %63 %14))
(neg.f64 (-.f64 %1637 %86))
(fma.f64 (/.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64) %86)
(fma.f64 %313 %32 %32)
(fma.f64 %114 %86 %86)
(fma.f64 %164 %88 %86)
(fma.f64 #s(literal 1/2 binary64) %88 %32)
(fma.f64 %18 %91 %32)
(fma.f64 %20 %91 %86)
(fma.f64 %63 y %86)
(fma.f64 %63 x %32)
(fma.f64 #s(literal 1 binary64) %32 %86)
(fma.f64 #s(literal 1 binary64) %86 %32)
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %26) %86)
(fma.f64 y %63 %86)
(fma.f64 x %63 %32)
(-.f64 %32 (*.f64 %18 %63))
(-.f64 %32 (neg.f64 %86))
(-.f64 %32 (/.f64 x %65))
(-.f64 %86 %1637)
(+.f64 (/.f64 %182 %96) (/.f64 %235 %96))
%105
(+.f64 %86 %32)

%3 = (/.f64 #s(literal 1/2 binary64) x)
%8 = (/ (+ x y) (* (* x 2) y))
%10 = (/.f64 #s(literal 1/2 binary64) y)
%12 = (+.f64 y x)
%13 = (+.f64 x x)
%14 = (*.f64 %13 y)
%15 = (fma.f64 y %3 #s(literal 1/2 binary64))
x
y
#s(literal 1/2 binary64)
%3
(approx %8 %3)
%10
(approx %8 %10)
%12
%13
%14
%15
(+.f64 %3 %10)
(/.f64 %15 y)
(/.f64 %12 %14)

%4 = (/.f64 #s(literal 2 binary64) x)
%7 = (/.f64 y x)
%8 = (/.f64 #s(literal 1/2 binary64) y)
%11 = (/.f64 #s(literal -1 binary64) x)
%14 = (/.f64 #s(literal -1/2 binary64) x)
%15 = (*.f64 %14 y)
%16 = (/.f64 #s(literal -1 binary64) y)
%19 = (/.f64 #s(literal 1 binary64) x)
%21 = (*.f64 y x)
%22 = (/.f64 #s(literal 1/2 binary64) %21)
%24 = (/.f64 #s(literal 1 binary64) y)
%25 = (+.f64 x x)
%26 = (/.f64 y %25)
%28 = (/.f64 #s(literal 1/2 binary64) x)
%30 = (*.f64 #s(literal 1/2 binary64) y)
%31 = (/.f64 #s(literal 1 binary64) %21)
%33 = (neg.f64 y)
%34 = (/.f64 %14 y)
%36 = (*.f64 %11 #s(literal 1 binary64))
%42 = (/.f64 #s(literal 1/2 binary64) %25)
%44 = (*.f64 %7 %24)
%46 = (/.f64 %7 y)
%48 = (/.f64 y %21)
%56 = (*.f64 #s(literal -1/2 binary64) y)
%58 = (neg.f64 x)
%65 = (+.f64 y y)
%73 = (/.f64 %33 x)
%75 = (*.f64 #s(literal -2 binary64) y)
%78 = (*.f64 #s(literal -2 binary64) x)
%83 = (*.f64 #s(literal -2 binary64) %21)
%88 = (*.f64 %58 y)
%115 = (*.f64 %25 y)
%125 = (*.f64 %14 #s(literal 1 binary64))
%132 = (- (/ 1/2 x) (/ -1/2 y))
%133 = (approx %132 %28)
%137 = (/.f64 x y)
%142 = (*.f64 #s(literal 1/2 binary64) x)
%149 = (/.f64 x %21)
%162 = (/.f64 #s(literal -1/2 binary64) y)
%171 = (/.f64 %142 x)
%181 = (*.f64 #s(literal -1/2 binary64) x)
%182 = (/.f64 %181 y)
%211 = (approx %132 %8)
%215 = (+.f64 y x)
%223 = (neg.f64 %215)
%224 = (*.f64 %223 #s(literal 1 binary64))
%248 = (*.f64 #s(literal 1 binary64) %21)
%258 = (*.f64 %21 #s(literal 1 binary64))
%269 = (fma.f64 %7 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
%272 = (/.f64 %215 x)
%274 = (*.f64 %215 #s(literal 1/2 binary64))
%283 = (fma.f64 %14 y #s(literal -1/2 binary64))
%284 = (*.f64 %283 #s(literal 1 binary64))
%286 = (/.f64 %223 x)
%288 = (/.f64 %215 #s(literal -2 binary64))
%290 = (fma.f64 #s(literal 1/2 binary64) %25 y)
%292 = (*.f64 #s(literal 1/2 binary64) %25)
%295 = (*.f64 x %25)
%297 = (*.f64 %25 %25)
%299 = (*.f64 %25 x)
%302 = (fma.f64 x %25 %115)
%304 = (*.f64 %25 %58)
%309 = (*.f64 %274 #s(literal 1 binary64))
%312 = (neg.f64 %272)
%315 = (*.f64 #s(literal -1/2 binary64) %215)
%343 = (*.f64 %11 y)
%362 = (/.f64 %215 %65)
%363 = (*.f64 %362 %19)
%364 = (/.f64 %215 y)
%365 = (*.f64 %364 %28)
%366 = (*.f64 %272 %8)
%367 = (/.f64 %215 %21)
%368 = (*.f64 %367 #s(literal 1/2 binary64))
%369 = (*.f64 %34 %223)
%370 = (*.f64 %31 %274)
%371 = (*.f64 %16 %283)
%372 = (-.f64 %182 #s(literal 1/2 binary64))
%373 = (*.f64 %372 %11)
%374 = (fma.f64 %8 x #s(literal 1/2 binary64))
%375 = (*.f64 %374 %19)
%376 = (*.f64 %115 %215)
%378 = (*.f64 %21 %21)
%379 = (*.f64 #s(literal 4 binary64) %378)
%381 = (*.f64 %376 (/.f64 #s(literal 1 binary64) %379))
%383 = (fma.f64 #s(literal -1/2 binary64) y (*.f64 y %15))
%384 = (*.f64 y y)
%386 = (*.f64 %383 (/.f64 #s(literal -1 binary64) %384))
%387 = (*.f64 y %269)
%389 = (*.f64 %387 (/.f64 #s(literal 1 binary64) %384))
%391 = (*.f64 %315 (/.f64 #s(literal -1 binary64) %21))
%392 = (*.f64 %22 %215)
%393 = (*.f64 %24 %269)
%394 = (*.f64 %274 %31)
%395 = (*.f64 %28 %364)
%396 = (*.f64 %283 %16)
%397 = (*.f64 %223 %34)
%399 = (*.f64 #s(literal -1/2 binary64) (+.f64 %16 %11))
%401 = (*.f64 #s(literal -1/2 binary64) (+.f64 %11 %16))
%403 = (*.f64 #s(literal -1/2 binary64) (-.f64 %16 %19))
%405 = (*.f64 #s(literal -1/2 binary64) (-.f64 %11 %24))
%406 = (-.f64 %28 %162)
%407 = (*.f64 #s(literal 1 binary64) %406)
%408 = (*.f64 %269 %24)
%409 = (*.f64 %215 %22)
%410 = (*.f64 %8 %272)
%412 = (*.f64 #s(literal 1/2 binary64) (*.f64 %215 %31))
%413 = (*.f64 #s(literal 1/2 binary64) %367)
%414 = (pow.f64 %406 #s(literal 1 binary64))
%416 = (/.f64 (*.f64 %24 %274) x)
%418 = (/.f64 (*.f64 %269 #s(literal -1 binary64)) %33)
%420 = (/.f64 (*.f64 #s(literal -1 binary64) %269) %33)
%422 = (/.f64 (*.f64 %274 %24) x)
%424 = (/.f64 (*.f64 %272 %24) #s(literal 2 binary64))
%426 = (/.f64 (*.f64 %223 %24) %78)
%428 = (/.f64 (*.f64 #s(literal -1 binary64) %215) %83)
%430 = (/.f64 (*.f64 %19 %215) %65)
%432 = (/.f64 (*.f64 %24 %215) %25)
%434 = (/.f64 (/.f64 %364 #s(literal 2 binary64)) x)
%436 = (/.f64 (/.f64 %364 x) #s(literal 2 binary64))
%438 = (/.f64 (/.f64 %376 %115) %115)
%440 = (/.f64 (/.f64 %383 y) %33)
%442 = (/.f64 (/.f64 %387 y) y)
%444 = (/.f64 (/.f64 %315 y) %58)
%446 = (/.f64 (/.f64 %274 y) x)
%447 = (/.f64 %284 %33)
%448 = (/.f64 %286 %75)
%450 = (/.f64 (/.f64 %223 y) %78)
%451 = (/.f64 %288 %88)
%452 = (/.f64 %290 %115)
%454 = (/.f64 (fma.f64 %28 %21 %142) %21)
%456 = (/.f64 (fma.f64 %8 %33 %15) %33)
%458 = (/.f64 (fma.f64 %8 %21 %30) %21)
%460 = (/.f64 (fma.f64 %8 y %26) y)
%462 = (/.f64 (fma.f64 %8 %65 %7) %65)
%464 = (/.f64 (fma.f64 %8 %25 #s(literal 1 binary64)) %25)
%466 = (/.f64 (fma.f64 %8 %83 %33) %83)
%468 = (/.f64 (fma.f64 %28 %65 #s(literal 1 binary64)) %65)
%470 = (/.f64 (fma.f64 %28 %83 %58) %83)
%473 = (*.f64 %33 %21)
%474 = (/.f64 (fma.f64 %15 %21 (*.f64 %142 %33)) %473)
%477 = (/.f64 (fma.f64 %30 %21 (*.f64 %142 %21)) %378)
%480 = (*.f64 y %21)
%481 = (/.f64 (fma.f64 %26 %21 (*.f64 %142 y)) %480)
%483 = (/.f64 (fma.f64 %15 %33 %30) %384)
%485 = (*.f64 %33 y)
%486 = (/.f64 (fma.f64 %15 y %56) %485)
%489 = (*.f64 %21 %33)
%490 = (/.f64 (fma.f64 %30 %33 (*.f64 #s(literal -1/2 binary64) %21)) %489)
%493 = (*.f64 %21 y)
%494 = (/.f64 (fma.f64 %30 y (*.f64 #s(literal 1/2 binary64) %21)) %493)
%495 = (*.f64 %15 %33)
%497 = (/.f64 (fma.f64 #s(literal 1/2 binary64) y %495) %384)
%498 = (*.f64 %30 %33)
%500 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %21 %498) %473)
%501 = (*.f64 %15 y)
%503 = (/.f64 (fma.f64 #s(literal -1/2 binary64) y %501) %485)
%504 = (*.f64 %30 y)
%506 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %21 %504) %480)
%509 = (*.f64 %25 %65)
%510 = (/.f64 (fma.f64 %137 %65 (*.f64 %7 %25)) %509)
%512 = (/.f64 (fma.f64 %137 y y) %115)
%515 = (*.f64 %65 %65)
%516 = (/.f64 (fma.f64 #s(literal 1 binary64) %65 (*.f64 %7 %65)) %515)
%517 = (*.f64 #s(literal 1 binary64) %65)
%519 = (*.f64 %65 %25)
%520 = (/.f64 (fma.f64 #s(literal 2 binary64) x %517) %519)
%523 = (*.f64 %65 y)
%524 = (/.f64 (+.f64 y (*.f64 %26 %65)) %523)
%527 = (*.f64 %65 %83)
%528 = (/.f64 (fma.f64 #s(literal 1 binary64) %83 (*.f64 %33 %65)) %527)
%529 = (*.f64 y %65)
%531 = (*.f64 %65 %115)
%532 = (/.f64 (fma.f64 #s(literal 1 binary64) %115 %529) %531)
%535 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %65 (*.f64 %7 y)) %529)
%538 = (*.f64 %83 %65)
%539 = (/.f64 (fma.f64 #s(literal -2 binary64) %21 (*.f64 %7 %83)) %538)
%540 = (*.f64 #s(literal 1 binary64) %83)
%542 = (*.f64 %83 %25)
%543 = (/.f64 (fma.f64 %58 %25 %540) %542)
%546 = (*.f64 %83 y)
%547 = (/.f64 (fma.f64 %58 y (*.f64 %26 %83)) %546)
%550 = (/.f64 (fma.f64 %58 %83 (*.f64 %33 %83)) %379)
%551 = (*.f64 y %83)
%553 = (*.f64 %83 %115)
%554 = (/.f64 (fma.f64 %58 %115 %551) %553)
%555 = (*.f64 %7 %115)
%557 = (*.f64 %115 %65)
%558 = (/.f64 (fma.f64 %65 x %555) %557)
%559 = (*.f64 #s(literal 1 binary64) %115)
%561 = (*.f64 %115 %25)
%562 = (/.f64 (fma.f64 x %25 %559) %561)
%563 = (*.f64 %26 %115)
%565 = (*.f64 %384 %25)
%566 = (/.f64 (fma.f64 y x %563) %565)
%567 = (*.f64 %33 %115)
%569 = (*.f64 %115 %83)
%570 = (/.f64 (fma.f64 x %83 %567) %569)
%573 = (/.f64 (fma.f64 %7 %25 (*.f64 %137 %65)) %519)
%575 = (/.f64 (fma.f64 %7 %65 %517) %515)
%578 = (/.f64 (fma.f64 %7 y (*.f64 #s(literal 1/2 binary64) %65)) %523)
%580 = (/.f64 (fma.f64 %7 %83 %83) %527)
%583 = (/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %137 %25)) %297)
%585 = (/.f64 (+.f64 y %292) %115)
%588 = (*.f64 %25 %83)
%589 = (/.f64 (fma.f64 #s(literal 1 binary64) %83 (*.f64 %58 %25)) %588)
%591 = (*.f64 %25 %115)
%592 = (/.f64 (fma.f64 #s(literal 1 binary64) %115 %295) %591)
%595 = (/.f64 (+.f64 y (*.f64 %137 y)) %115)
%597 = (/.f64 (fma.f64 %26 %83 %88) %551)
%600 = (/.f64 (fma.f64 #s(literal -2 binary64) %21 (*.f64 %137 %83)) %542)
%602 = (/.f64 (fma.f64 %33 %65 %540) %538)
%605 = (/.f64 (fma.f64 %33 y (*.f64 #s(literal 1/2 binary64) %83)) %546)
%608 = (/.f64 (fma.f64 %33 %83 (*.f64 %58 %83)) %379)
%611 = (/.f64 (fma.f64 %33 %115 (*.f64 x %83)) %553)
%612 = (*.f64 %137 %115)
%614 = (/.f64 (fma.f64 %65 x %612) %561)
%616 = (/.f64 (fma.f64 y %65 %559) %557)
%617 = (*.f64 #s(literal 1/2 binary64) %115)
%619 = (/.f64 (fma.f64 y y %617) %565)
%620 = (*.f64 %58 %115)
%622 = (/.f64 (fma.f64 y %83 %620) %569)
%623 = (/.f64 %362 x)
%624 = (/.f64 %302 %561)
%627 = (/.f64 (fma.f64 %15 %21 (*.f64 %33 %142)) %473)
%630 = (/.f64 (fma.f64 %30 %21 (*.f64 %21 %142)) %378)
%633 = (/.f64 (fma.f64 %26 %21 (*.f64 y %142)) %480)
%634 = (*.f64 %21 #s(literal -1/2 binary64))
%636 = (/.f64 (fma.f64 %30 %33 %634) %489)
%637 = (*.f64 %21 #s(literal 1/2 binary64))
%639 = (/.f64 (fma.f64 %30 y %637) %493)
%642 = (/.f64 (fma.f64 #s(literal 1/2 binary64) y (*.f64 %33 %15)) %384)
%645 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %21 (*.f64 %33 %30)) %473)
%648 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %21 (*.f64 y %30)) %480)
%651 = (/.f64 (fma.f64 %137 %65 (*.f64 %25 %7)) %509)
%653 = (/.f64 (fma.f64 %137 %25 %25) %297)
%656 = (/.f64 (fma.f64 %137 y (*.f64 %25 %26)) %115)
%658 = (/.f64 (fma.f64 %137 %83 %83) %588)
%660 = (/.f64 (fma.f64 %137 %115 %115) %591)
%663 = (/.f64 (fma.f64 #s(literal 1 binary64) %65 (*.f64 %65 %7)) %515)
%665 = (/.f64 (fma.f64 #s(literal 2 binary64) x %65) %519)
%668 = (/.f64 (+.f64 y (*.f64 %65 %26)) %523)
%669 = (*.f64 %65 %33)
%671 = (/.f64 (fma.f64 #s(literal 1 binary64) %83 %669) %527)
%673 = (/.f64 (fma.f64 #s(literal 1 binary64) %115 %523) %531)
%676 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %65 (*.f64 y %7)) %529)
%678 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %83 %485) %551)
%680 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %115 %384) %565)
%683 = (/.f64 (fma.f64 #s(literal -2 binary64) %21 (*.f64 %83 %7)) %538)
%684 = (*.f64 %83 #s(literal 1 binary64))
%686 = (/.f64 (fma.f64 %58 %25 %684) %542)
%689 = (/.f64 (fma.f64 %58 y (*.f64 %83 %26)) %546)
%690 = (*.f64 %83 %33)
%692 = (/.f64 (fma.f64 %58 %83 %690) %379)
%694 = (/.f64 (fma.f64 %58 %115 %546) %553)
%697 = (/.f64 (fma.f64 %65 x (*.f64 %115 %7)) %557)
%700 = (/.f64 (fma.f64 y x (*.f64 %115 %26)) %565)
%701 = (*.f64 %115 %33)
%703 = (/.f64 (fma.f64 x %83 %701) %569)
%706 = (/.f64 (fma.f64 %7 %25 (*.f64 %65 %137)) %519)
%708 = (/.f64 (fma.f64 %7 %65 %65) %515)
%711 = (/.f64 (fma.f64 %7 y (*.f64 %65 #s(literal 1/2 binary64))) %523)
%713 = (/.f64 (fma.f64 %7 %115 %115) %531)
%716 = (/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %25 %137)) %297)
%718 = (/.f64 (fma.f64 #s(literal 1 binary64) %65 %25) %509)
%720 = (/.f64 (fma.f64 #s(literal 1 binary64) %83 %304) %588)
%722 = (/.f64 (fma.f64 #s(literal 1 binary64) %115 %299) %591)
%725 = (/.f64 (+.f64 y (*.f64 y %137)) %115)
%727 = (/.f64 (fma.f64 %26 %65 y) %529)
%729 = (/.f64 (fma.f64 %26 %115 %21) %565)
%732 = (/.f64 (fma.f64 #s(literal -2 binary64) %21 (*.f64 %83 %137)) %542)
%734 = (/.f64 (fma.f64 %33 %65 %684) %538)
%737 = (/.f64 (fma.f64 %33 y (*.f64 %83 #s(literal 1/2 binary64))) %546)
%738 = (*.f64 %83 %58)
%740 = (/.f64 (fma.f64 %33 %83 %738) %379)
%743 = (/.f64 (fma.f64 %33 %115 (*.f64 %83 x)) %553)
%746 = (/.f64 (fma.f64 %65 x (*.f64 %115 %137)) %561)
%748 = (/.f64 (fma.f64 y %65 %115) %557)
%751 = (/.f64 (fma.f64 y y (*.f64 %115 #s(literal 1/2 binary64))) %565)
%752 = (*.f64 %115 %58)
%754 = (/.f64 (fma.f64 y %83 %752) %569)
%756 = (/.f64 (-.f64 %612 %83) %591)
%758 = (/.f64 (-.f64 %559 %669) %531)
%760 = (/.f64 (-.f64 %617 %485) %565)
%762 = (/.f64 (-.f64 %620 %690) %553)
%763 = (*.f64 %21 %25)
%765 = (/.f64 (-.f64 %763 %701) %379)
%767 = (/.f64 (-.f64 %555 %83) %531)
%769 = (/.f64 (-.f64 %559 %304) %591)
%771 = (/.f64 (-.f64 %563 %88) %565)
%773 = (/.f64 (-.f64 %567 %738) %553)
%775 = (/.f64 (-.f64 %565 %752) %379)
%777 = (/.f64 (-.f64 %501 %30) %485)
%779 = (/.f64 (-.f64 %495 %56) %384)
%781 = (/.f64 (-.f64 %504 %634) %493)
%783 = (/.f64 (-.f64 %498 %637) %489)
%785 = (/.f64 (*.f64 #s(literal -1 binary64) %274) %88)
%787 = (/.f64 (*.f64 #s(literal 1 binary64) %274) %21)
%789 = (/.f64 (*.f64 %274 #s(literal -1 binary64)) %88)
%790 = (/.f64 %309 %21)
%792 = (/.f64 (*.f64 %272 #s(literal -1 binary64)) %75)
%794 = (/.f64 (*.f64 %272 #s(literal 1 binary64)) %65)
%796 = (/.f64 (*.f64 %223 #s(literal -1 binary64)) %115)
%797 = (/.f64 %224 %83)
%799 = (/.f64 (*.f64 %215 #s(literal -1 binary64)) %83)
%801 = (/.f64 (neg.f64 %364) %78)
%802 = (/.f64 %312 %75)
%805 = (/.f64 (neg.f64 %376) (neg.f64 %379))
%807 = (/.f64 (neg.f64 %372) x)
%809 = (/.f64 (neg.f64 %374) %58)
%812 = (/.f64 (neg.f64 %383) (neg.f64 %485))
%814 = (/.f64 (neg.f64 %387) %485)
%815 = (/.f64 %364 %25)
%816 = (/.f64 %272 %65)
%817 = (/.f64 %367 #s(literal 2 binary64))
%818 = (/.f64 %372 %58)
%819 = (/.f64 %374 x)
%820 = (/.f64 %376 %379)
%821 = (/.f64 %383 %485)
%822 = (/.f64 %387 %384)
%823 = (/.f64 %315 %88)
%824 = (/.f64 %274 %21)
%825 = (/.f64 %283 %33)
%826 = (/.f64 %223 %83)
%828 = (/.f64 #s(literal 1 binary64) (pow.f64 %406 #s(literal -1 binary64)))
%830 = (/.f64 #s(literal 1 binary64) (/.f64 %25 %364))
%832 = (/.f64 #s(literal 1 binary64) (/.f64 %65 %272))
%834 = (/.f64 #s(literal 1 binary64) (/.f64 %379 %376))
%836 = (/.f64 #s(literal 1 binary64) (/.f64 %58 %372))
%838 = (/.f64 #s(literal 1 binary64) (/.f64 x %374))
%840 = (/.f64 #s(literal 1 binary64) (/.f64 %485 %383))
%842 = (/.f64 #s(literal 1 binary64) (/.f64 %384 %387))
%844 = (/.f64 #s(literal 1 binary64) (/.f64 %88 %315))
%846 = (/.f64 #s(literal 1 binary64) (/.f64 %83 %223))
%848 = (/.f64 #s(literal 1 binary64) (/.f64 %21 %274))
%850 = (/.f64 #s(literal 1 binary64) (/.f64 %33 %283))
%852 = (/.f64 #s(literal 1 binary64) (/.f64 y %269))
%854 = (/.f64 #s(literal 1 binary64) (/.f64 %115 %215))
%855 = (/.f64 %269 y)
%856 = (/.f64 %215 %115)
%858 = (neg.f64 (*.f64 %24 %283))
%860 = (neg.f64 (*.f64 %22 %223))
%862 = (neg.f64 (/.f64 %372 x))
%864 = (neg.f64 (-.f64 %14 %8))
%865 = (fma.f64 %4 #s(literal 1/4 binary64) %8)
%866 = (fma.f64 %137 %28 %28)
%867 = (fma.f64 %7 %8 %8)
%868 = (fma.f64 %16 #s(literal -1/2 binary64) %28)
%869 = (fma.f64 %11 #s(literal -1/2 binary64) %8)
%870 = (fma.f64 %15 %16 %8)
%871 = (fma.f64 %19 #s(literal 1/2 binary64) %8)
%872 = (fma.f64 %22 y %8)
%873 = (fma.f64 %22 x %28)
%874 = (fma.f64 %24 %26 %8)
%875 = (fma.f64 %24 #s(literal 1/2 binary64) %28)
%876 = (fma.f64 %142 %31 %28)
%877 = (fma.f64 %28 %137 %28)
%878 = (fma.f64 %28 #s(literal 1 binary64) %8)
%879 = (fma.f64 %30 %31 %8)
%880 = (fma.f64 %58 %34 %28)
%881 = (fma.f64 %33 %34 %8)
%882 = (fma.f64 #s(literal -1/2 binary64) %36 %8)
%883 = (fma.f64 #s(literal -1/2 binary64) %16 %28)
%884 = (fma.f64 #s(literal -1/2 binary64) %11 %8)
%885 = (fma.f64 #s(literal 1 binary64) %28 %8)
%886 = (fma.f64 #s(literal 1 binary64) %8 %28)
%887 = (fma.f64 %26 %24 %8)
%888 = (fma.f64 %8 %7 %8)
%889 = (fma.f64 %8 #s(literal 1 binary64) %28)
%890 = (fma.f64 #s(literal 2 binary64) %42 %8)
%891 = (fma.f64 #s(literal 1/2 binary64) %44 %8)
%892 = (fma.f64 #s(literal 1/2 binary64) %46 %8)
%893 = (fma.f64 #s(literal 1/2 binary64) %48 %8)
%894 = (fma.f64 #s(literal 1/2 binary64) %149 %28)
%895 = (fma.f64 #s(literal 1/2 binary64) %19 %8)
%896 = (fma.f64 #s(literal 1/2 binary64) %24 %28)
%897 = (fma.f64 y %22 %8)
%898 = (fma.f64 x %22 %28)
%900 = (-.f64 %28 (/.f64 %181 %21))
%901 = (-.f64 %8 %125)
%903 = (-.f64 %8 (*.f64 %15 %24))
%904 = (-.f64 %8 %14)
%905 = (/.f64 %763 %379)
%906 = (/.f64 %565 %379)
%907 = (+.f64 %905 %906)
%908 = (+.f64 %906 %905)
%912 = (+.f64 (/.f64 (*.f64 %26 y) %384) (/.f64 %30 %384))
%913 = (+.f64 %28 %8)
%914 = (+.f64 %8 %28)
x
y
#s(literal 1/2 binary64)
(*.f64 %4 #s(literal 1/4 binary64))
(*.f64 %7 %8)
(*.f64 %11 #s(literal -1/2 binary64))
(*.f64 %15 %16)
(*.f64 %19 #s(literal 1/2 binary64))
(*.f64 %22 y)
(*.f64 %24 %26)
(*.f64 %28 #s(literal 1 binary64))
(*.f64 %30 %31)
(*.f64 %33 %34)
(*.f64 #s(literal -1/2 binary64) %36)
(*.f64 #s(literal -1/2 binary64) %11)
(*.f64 #s(literal 1 binary64) %28)
(*.f64 %26 %24)
(*.f64 %8 %7)
(*.f64 #s(literal 2 binary64) %42)
(*.f64 #s(literal 1/2 binary64) %44)
(*.f64 #s(literal 1/2 binary64) %46)
(*.f64 #s(literal 1/2 binary64) %48)
(*.f64 #s(literal 1/2 binary64) %19)
(*.f64 y %22)
(pow.f64 %28 #s(literal 1 binary64))
(pow.f64 %25 #s(literal -1 binary64))
(/.f64 (*.f64 %26 #s(literal -1 binary64)) %33)
(/.f64 (*.f64 %56 %24) %58)
(/.f64 (*.f64 %30 %24) x)
(/.f64 (/.f64 %30 y) x)
(/.f64 %46 #s(literal 2 binary64))
(/.f64 (/.f64 y %65) x)
(/.f64 %48 #s(literal 2 binary64))
(/.f64 (*.f64 %14 %33) y)
(/.f64 (*.f64 %33 %14) y)
(/.f64 %73 %75)
(/.f64 (/.f64 %33 y) %78)
(/.f64 (/.f64 y #s(literal 2 binary64)) %21)
(/.f64 (*.f64 y #s(literal -1 binary64)) %83)
(/.f64 (*.f64 %56 #s(literal -1 binary64)) %21)
(/.f64 (*.f64 %30 #s(literal -1 binary64)) %88)
(/.f64 (neg.f64 %7) %75)
(/.f64 %7 %65)
(/.f64 %11 #s(literal -2 binary64))
(/.f64 %56 %88)
(/.f64 %15 %33)
(/.f64 #s(literal -1 binary64) %78)
(/.f64 %19 #s(literal 2 binary64))
(/.f64 %30 %21)
(/.f64 %33 %83)
(/.f64 #s(literal -1/2 binary64) %58)
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %15))
(/.f64 #s(literal 1 binary64) (/.f64 %21 %30))
(/.f64 #s(literal 1 binary64) (/.f64 %65 %7))
(/.f64 #s(literal 1 binary64) (/.f64 %25 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %83 %33))
(/.f64 #s(literal 1 binary64) (/.f64 y %26))
(/.f64 #s(literal 1 binary64) (/.f64 %115 y))
(/.f64 #s(literal 1 binary64) (/.f64 %58 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) %25)
(/.f64 %26 y)
%28
(/.f64 y %115)
(neg.f64 %125)
(neg.f64 %14)
(pow.f64 %133 #s(literal 1 binary64))
%133
(/.f64 #s(literal 1 binary64) (pow.f64 %133 #s(literal -1 binary64)))
(*.f64 %137 %28)
(*.f64 %16 #s(literal -1/2 binary64))
(*.f64 %22 x)
(*.f64 %24 #s(literal 1/2 binary64))
(*.f64 %142 %31)
(*.f64 %28 %137)
(*.f64 %58 %34)
(*.f64 #s(literal -1/2 binary64) %16)
(*.f64 #s(literal 1 binary64) %8)
(*.f64 %8 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %149)
(*.f64 #s(literal 1/2 binary64) %24)
(*.f64 x %22)
(pow.f64 %65 #s(literal -1 binary64))
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 (/.f64 %137 #s(literal 2 binary64)) x)
(/.f64 (/.f64 %137 x) #s(literal 2 binary64))
(/.f64 (/.f64 x %65) x)
(/.f64 %149 #s(literal 2 binary64))
(/.f64 (*.f64 %162 %58) x)
(/.f64 (*.f64 %162 x) %58)
(/.f64 (/.f64 %58 x) %75)
(/.f64 (/.f64 %58 y) %78)
(/.f64 %171 y)
(/.f64 (/.f64 x #s(literal 2 binary64)) %21)
(/.f64 (*.f64 x #s(literal -1 binary64)) %83)
(/.f64 (neg.f64 %137) %78)
(/.f64 %137 %25)
(/.f64 %16 #s(literal -2 binary64))
(/.f64 %182 %58)
(/.f64 (*.f64 %8 x) x)
(/.f64 %181 %88)
(/.f64 #s(literal -1 binary64) %75)
(/.f64 %24 #s(literal 2 binary64))
(/.f64 %142 %21)
(/.f64 %58 %83)
(/.f64 #s(literal -1/2 binary64) %33)
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %25 %137))
(/.f64 #s(literal 1 binary64) (/.f64 %65 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %83 %58))
(/.f64 #s(literal 1 binary64) (/.f64 %21 %142))
(/.f64 #s(literal 1 binary64) (/.f64 %115 x))
(/.f64 #s(literal 1 binary64) (/.f64 %33 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) %65)
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1/2 binary64)))
%8
(/.f64 x %115)
(neg.f64 %162)
(pow.f64 %211 #s(literal 1 binary64))
%211
(/.f64 #s(literal 1 binary64) (pow.f64 %211 #s(literal -1 binary64)))
(*.f64 (*.f64 %215 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %215)
(*.f64 %215 #s(literal 1 binary64))
(pow.f64 %215 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %215 #s(literal -1 binary64)))
(neg.f64 %224)
(neg.f64 %223)
(-.f64 y %58)
(-.f64 x %33)
%215
(+.f64 x y)
(*.f64 #s(literal 1 binary64) %25)
(*.f64 %25 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %25 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %28)
(neg.f64 %78)
(-.f64 x (*.f64 #s(literal -1 binary64) x))
(-.f64 x (*.f64 %58 #s(literal 1 binary64)))
(-.f64 x %58)
%25
(*.f64 %78 %33)
(*.f64 %65 x)
(*.f64 %21 #s(literal 2 binary64))
(*.f64 %58 %75)
(*.f64 %33 %78)
(*.f64 %115 #s(literal 1 binary64))
%115
(*.f64 #s(literal 2 binary64) %248)
(*.f64 #s(literal 2 binary64) %21)
(*.f64 y %25)
(*.f64 x (neg.f64 %75))
(*.f64 x %65)
(pow.f64 %115 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %22)
(neg.f64 %83)
(fma.f64 %21 #s(literal 1 binary64) %258)
(fma.f64 %58 %33 %21)
(fma.f64 %33 %58 %21)
(fma.f64 #s(literal 1 binary64) %21 %248)
(fma.f64 y x %21)
(fma.f64 x y %21)
(-.f64 %21 %88)
(+.f64 %258 %258)
(+.f64 %248 %248)
(+.f64 %21 %21)
(*.f64 (*.f64 %269 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %272 #s(literal 1/2 binary64))
(*.f64 %274 %19)
(*.f64 %28 %215)
(*.f64 %223 %14)
(*.f64 #s(literal 1 binary64) %269)
(*.f64 %269 #s(literal 1 binary64))
(*.f64 %215 %28)
(*.f64 #s(literal 1/2 binary64) %272)
(pow.f64 %269 #s(literal 1 binary64))
(/.f64 %284 #s(literal -1 binary64))
(/.f64 %286 #s(literal -2 binary64))
(/.f64 %288 %58)
(/.f64 %290 %25)
(/.f64 (-.f64 %292 %33) %25)
(/.f64 (fma.f64 %65 x %295) %297)
(/.f64 (fma.f64 %65 x %299) %297)
(/.f64 %302 %297)
(/.f64 (-.f64 %115 %304) %297)
(/.f64 (-.f64 %295 %83) %297)
(/.f64 %309 x)
(/.f64 %224 %78)
(/.f64 %312 #s(literal -2 binary64))
(/.f64 %272 #s(literal 2 binary64))
(/.f64 %315 %58)
(/.f64 %274 x)
(/.f64 %283 #s(literal -1 binary64))
(/.f64 %223 %78)
(/.f64 #s(literal 1 binary64) (pow.f64 %269 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %274))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %272))
(/.f64 #s(literal 1 binary64) (/.f64 %78 %223))
(/.f64 #s(literal 1 binary64) (/.f64 %25 %215))
(/.f64 %269 #s(literal 1 binary64))
(/.f64 %215 %25)
(neg.f64 %284)
(neg.f64 %283)
(fma.f64 %7 #s(literal 1/2 binary64) %171)
%269
(fma.f64 %56 %11 %171)
(fma.f64 %56 %11 #s(literal 1/2 binary64))
(fma.f64 %19 %30 %171)
(fma.f64 %19 %30 #s(literal 1/2 binary64))
(fma.f64 %28 y %171)
(fma.f64 %28 y #s(literal 1/2 binary64))
(fma.f64 %30 %19 %171)
(fma.f64 %30 %19 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) %343 %171)
(fma.f64 #s(literal -1/2 binary64) %343 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) %73 %171)
(fma.f64 #s(literal -1/2 binary64) %73 #s(literal 1/2 binary64))
(fma.f64 %26 #s(literal 1 binary64) %171)
(fma.f64 %26 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %7 %171)
(fma.f64 #s(literal 1/2 binary64) %7 #s(literal 1/2 binary64))
(fma.f64 y %28 %171)
(fma.f64 y %28 #s(literal 1/2 binary64))
(-.f64 %26 (/.f64 %181 x))
(-.f64 %26 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %15)
(+.f64 %171 %26)
(+.f64 %26 %171)
(+.f64 %26 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %26)
%363
%365
%366
%368
%369
%370
%371
%373
%375
%381
%386
%389
%391
%392
%393
%394
%395
%396
%397
%399
%401
%403
%405
%407
%408
%409
%410
%412
%413
%414
%416
%418
%420
%422
%424
%426
%428
%430
%432
%434
%436
%438
%440
%442
%444
%446
%447
%448
%450
%451
%452
%454
%456
%458
%460
%462
%464
%466
%468
%470
%474
%477
%481
%483
%486
%490
%494
%497
%500
%503
%506
%510
%512
%516
%520
%524
%528
%532
%535
%539
%543
%547
%550
%554
%558
%562
%566
%570
%573
%575
%578
%580
%583
%585
%589
%592
%595
%597
%600
%602
%605
%608
%611
%614
%616
%619
%622
%623
%624
%627
%630
%633
%636
%639
%642
%645
%648
%651
%653
%656
%658
%660
%663
%665
%668
%671
%673
%676
%678
%680
%683
%686
%689
%692
%694
%697
%700
%703
%706
%708
%711
%713
%716
%718
%720
%722
%725
%727
%729
%732
%734
%737
%740
%743
%746
%748
%751
%754
%756
%758
%760
%762
%765
%767
%769
%771
%773
%775
%777
%779
%781
%783
%785
%787
%789
%790
%792
%794
%796
%797
%799
%801
%802
%805
%807
%809
%812
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%828
%830
%832
%834
%836
%838
%840
%842
%844
%846
%848
%850
%852
%854
%855
%856
%858
%860
%862
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%900
%406
%901
%903
%904
%907
%908
%912
%913
%914
%363
%365
%366
%368
%369
%370
%371
%373
%375
%381
%386
%389
%391
%392
%393
%394
%395
%396
%397
%399
%401
%403
%405
%407
%408
%409
%410
%412
%413
%414
%416
%418
%420
%422
%424
%426
%428
%430
%432
%434
%436
%438
%440
%442
%444
%446
%447
%448
%450
%451
%452
%454
%456
%458
%460
%462
%464
%466
%468
%470
%474
%477
%481
%483
%486
%490
%494
%497
%500
%503
%506
%510
%512
%516
%520
%524
%528
%532
%535
%539
%543
%547
%550
%554
%558
%562
%566
%570
%573
%575
%578
%580
%583
%585
%589
%592
%595
%597
%600
%602
%605
%608
%611
%614
%616
%619
%622
%623
%624
%627
%630
%633
%636
%639
%642
%645
%648
%651
%653
%656
%658
%660
%663
%665
%668
%671
%673
%676
%678
%680
%683
%686
%689
%692
%694
%697
%700
%703
%706
%708
%711
%713
%716
%718
%720
%722
%725
%727
%729
%732
%734
%737
%740
%743
%746
%748
%751
%754
%756
%758
%760
%762
%765
%767
%769
%771
%773
%775
%777
%779
%781
%783
%785
%787
%789
%790
%792
%794
%796
%797
%799
%801
%802
%805
%807
%809
%812
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%828
%830
%832
%834
%836
%838
%840
%842
%844
%846
%848
%850
%852
%854
%855
%856
%858
%860
%862
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%900
%406
%901
%903
%904
%907
%908
%912
%913
%914
%363
%365
%366
%368
%369
%370
%371
%373
%375
%381
%386
%389
%391
%392
%393
%394
%395
%396
%397
%399
%401
%403
%405
%407
%408
%409
%410
%412
%413
%414
%416
%418
%420
%422
%424
%426
%428
%430
%432
%434
%436
%438
%440
%442
%444
%446
%447
%448
%450
%451
%452
%454
%456
%458
%460
%462
%464
%466
%468
%470
%474
%477
%481
%483
%486
%490
%494
%497
%500
%503
%506
%510
%512
%516
%520
%524
%528
%532
%535
%539
%543
%547
%550
%554
%558
%562
%566
%570
%573
%575
%578
%580
%583
%585
%589
%592
%595
%597
%600
%602
%605
%608
%611
%614
%616
%619
%622
%623
%624
%627
%630
%633
%636
%639
%642
%645
%648
%651
%653
%656
%658
%660
%663
%665
%668
%671
%673
%676
%678
%680
%683
%686
%689
%692
%694
%697
%700
%703
%706
%708
%711
%713
%716
%718
%720
%722
%725
%727
%729
%732
%734
%737
%740
%743
%746
%748
%751
%754
%756
%758
%760
%762
%765
%767
%769
%771
%773
%775
%777
%779
%781
%783
%785
%787
%789
%790
%792
%794
%796
%797
%799
%801
%802
%805
%807
%809
%812
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%828
%830
%832
%834
%836
%838
%840
%842
%844
%846
%848
%850
%852
%854
%855
%856
%858
%860
%862
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%900
%406
%901
%903
%904
%907
%908
%912
%913
%914