%2 = (*.f64 x y)
%5 = (*.f64 z t)
%7 = (/.f64 %5 #s(literal 16 binary64))
%8 = (+.f64 %2 %7)
%11 = (*.f64 a b)
%13 = (/.f64 %11 #s(literal 4 binary64))
%14 = (-.f64 %8 %13)
x
y
%2
z
t
%5
#s(literal 16 binary64)
%7
%8
a
b
%11
#s(literal 4 binary64)
%13
%14
c
(+.f64 %14 c)

%2 = (*.f64 y x)
%11 = (*.f64 t z)
%16 = (neg.f64 z)
%17 = (neg.f64 %16)
%19 = (neg.f64 t)
%20 = (neg.f64 %19)
%36 = (neg.f64 %11)
%40 = (*.f64 #s(literal 1/16 binary64) t)
%42 = (*.f64 #s(literal 1/16 binary64) z)
%43 = (*.f64 %42 t)
%45 = (*.f64 t #s(literal -1/16 binary64))
%48 = (*.f64 z #s(literal -1/16 binary64))
%51 = (/.f64 z #s(literal -16 binary64))
%58 = (*.f64 %16 #s(literal -1/16 binary64))
%63 = (*.f64 %36 #s(literal 1 binary64))
%67 = (*.f64 %11 #s(literal -1 binary64))
%70 = (*.f64 #s(literal -1 binary64) %11)
%79 = (*.f64 #s(literal 4 binary64) %63)
%82 = (*.f64 #s(literal 4 binary64) %67)
%84 = (*.f64 #s(literal 4 binary64) %70)
%86 = (*.f64 #s(literal 16 binary64) %63)
%89 = (*.f64 #s(literal 16 binary64) %67)
%91 = (*.f64 #s(literal 16 binary64) %70)
%102 = (*.f64 #s(literal 16 binary64) %36)
%104 = (*.f64 #s(literal 16 binary64) %11)
%108 = (*.f64 #s(literal -4 binary64) %11)
%110 = (*.f64 #s(literal 4 binary64) %11)
%121 = (*.f64 %45 z)
%123 = (fma.f64 #s(literal 16 binary64) %2 %11)
%124 = (*.f64 %123 #s(literal 1 binary64))
%126 = (*.f64 #s(literal -16 binary64) %2)
%127 = (-.f64 %126 %11)
%131 = (fma.f64 %42 t %2)
%133 = (*.f64 #s(literal -16 binary64) %63)
%142 = (*.f64 #s(literal -16 binary64) %36)
%145 = (*.f64 #s(literal -16 binary64) %11)
%148 = (*.f64 #s(literal 16 binary64) %2)
%155 = (*.f64 #s(literal -16 binary64) %126)
%158 = (*.f64 #s(literal -16 binary64) %148)
%179 = (*.f64 %126 #s(literal -16 binary64))
%180 = (*.f64 %36 #s(literal -1 binary64))
%184 = (*.f64 %126 #s(literal 16 binary64))
%191 = (*.f64 %148 #s(literal -16 binary64))
%195 = (*.f64 %148 #s(literal 16 binary64))
%202 = (*.f64 %123 #s(literal -1 binary64))
%207 = (*.f64 %2 #s(literal 1 binary64))
%208 = (fma.f64 %207 #s(literal -16 binary64) %36)
%211 = (fma.f64 %207 #s(literal 16 binary64) %11)
%215 = (fma.f64 %148 #s(literal -16 binary64) (*.f64 %36 #s(literal 16 binary64)))
%219 = (fma.f64 %148 #s(literal 16 binary64) (*.f64 %11 #s(literal 16 binary64)))
%222 = (fma.f64 %148 #s(literal -16 binary64) %102)
%225 = (fma.f64 %148 #s(literal 16 binary64) %104)
%244 = (-.f64 %121 %2)
%246 = (neg.f64 y)
%248 = (*.f64 (neg.f64 %246) x)
%252 = (*.f64 (neg.f64 (neg.f64 x)) y)
%254 = (neg.f64 %2)
%255 = (neg.f64 %254)
%304 = (/.f64 %2 #s(literal 16 binary64))
%328 = (/.f64 (*.f64 x #s(literal -16 binary64)) #s(literal -16 binary64))
%332 = (/.f64 (*.f64 y #s(literal -16 binary64)) #s(literal -16 binary64))
%347 = (*.f64 b a)
%350 = (neg.f64 a)
%351 = (neg.f64 %350)
%353 = (neg.f64 b)
%354 = (neg.f64 %353)
%370 = (neg.f64 %347)
%373 = (*.f64 #s(literal 1/4 binary64) b)
%375 = (*.f64 #s(literal 1/4 binary64) a)
%376 = (*.f64 %375 b)
%378 = (*.f64 b #s(literal -1/4 binary64))
%381 = (*.f64 a #s(literal -1/4 binary64))
%383 = (/.f64 a #s(literal -4 binary64))
%395 = (*.f64 %370 #s(literal 1 binary64))
%399 = (*.f64 %347 #s(literal -1 binary64))
%402 = (*.f64 #s(literal -1 binary64) %347)
%410 = (*.f64 #s(literal 4 binary64) %395)
%412 = (*.f64 #s(literal 4 binary64) %399)
%414 = (*.f64 #s(literal 4 binary64) %402)
%416 = (*.f64 #s(literal 16 binary64) %395)
%418 = (*.f64 #s(literal 16 binary64) %399)
%420 = (*.f64 #s(literal 16 binary64) %402)
%431 = (*.f64 #s(literal 4 binary64) %370)
%433 = (*.f64 #s(literal 4 binary64) %347)
%435 = (*.f64 %347 #s(literal 16 binary64))
%437 = (*.f64 #s(literal -16 binary64) %347)
%447 = (*.f64 %378 a)
%449 = (*.f64 %123 #s(literal 1/4 binary64))
%450 = (-.f64 %449 %347)
%451 = (*.f64 %450 #s(literal 1 binary64))
%453 = (fma.f64 %123 #s(literal -4 binary64) %435)
%456 = (fma.f64 %123 #s(literal 4 binary64) %437)
%459 = (fma.f64 %123 #s(literal -1/4 binary64) %347)
%463 = (fma.f64 %378 a %2)
%464 = (fma.f64 %42 t %463)
%466 = (fma.f64 %2 #s(literal 4 binary64) %370)
%477 = (fma.f64 %2 #s(literal -4 binary64) %347)
%478 = (*.f64 #s(literal -4 binary64) %63)
%481 = (*.f64 #s(literal -4 binary64) %67)
%484 = (*.f64 #s(literal -4 binary64) %70)
%492 = (-.f64 (*.f64 %2 #s(literal -4 binary64)) %370)
%504 = (-.f64 (*.f64 %2 #s(literal 4 binary64)) %347)
%515 = (*.f64 %123 #s(literal -1/4 binary64))
%516 = (*.f64 %370 #s(literal -1 binary64))
%520 = (*.f64 #s(literal -4 binary64) %395)
%523 = (*.f64 #s(literal -4 binary64) %370)
%526 = (*.f64 #s(literal -4 binary64) %347)
%529 = (*.f64 %123 #s(literal 4 binary64))
%533 = (*.f64 #s(literal 64 binary64) %395)
%536 = (*.f64 #s(literal 64 binary64) %370)
%539 = (*.f64 #s(literal 64 binary64) %347)
%551 = (fma.f64 #s(literal -4 binary64) %11 %435)
%552 = (/.f64 %551 #s(literal -16 binary64))
%556 = (/.f64 %551 #s(literal -4 binary64))
%560 = (/.f64 %551 #s(literal 16 binary64))
%564 = (fma.f64 #s(literal 4 binary64) %11 %437)
%565 = (/.f64 %564 #s(literal -16 binary64))
%569 = (/.f64 %564 #s(literal 4 binary64))
%573 = (/.f64 %564 #s(literal 16 binary64))
%585 = (fma.f64 %11 #s(literal -1/4 binary64) %347)
%586 = (neg.f64 %585)
%591 = (-.f64 (*.f64 %11 #s(literal 1/4 binary64)) %347)
%592 = (neg.f64 %591)
%596 = (neg.f64 %551)
%600 = (neg.f64 %564)
%652 = (*.f64 #s(literal -4 binary64) %202)
%655 = (*.f64 #s(literal -4 binary64) %124)
%658 = (*.f64 #s(literal -4 binary64) %208)
%661 = (*.f64 #s(literal -4 binary64) %211)
%664 = (*.f64 #s(literal -4 binary64) %215)
%667 = (*.f64 #s(literal -4 binary64) %219)
%670 = (*.f64 #s(literal -4 binary64) %222)
%673 = (*.f64 #s(literal -4 binary64) %225)
%676 = (*.f64 #s(literal -4 binary64) %127)
%679 = (*.f64 %123 #s(literal -4 binary64))
%682 = (*.f64 #s(literal 4 binary64) %202)
%685 = (*.f64 #s(literal 4 binary64) %124)
%688 = (*.f64 #s(literal 4 binary64) %208)
%691 = (*.f64 #s(literal 4 binary64) %211)
%694 = (*.f64 #s(literal 4 binary64) %215)
%697 = (*.f64 #s(literal 4 binary64) %219)
%700 = (*.f64 #s(literal 4 binary64) %222)
%703 = (*.f64 #s(literal 4 binary64) %225)
%706 = (*.f64 #s(literal 4 binary64) %127)
%711 = (*.f64 #s(literal 16 binary64) b)
%714 = (*.f64 #s(literal -16 binary64) b)
%745 = (*.f64 #s(literal -16 binary64) %516)
%748 = (*.f64 #s(literal -16 binary64) %395)
%755 = (*.f64 #s(literal 16 binary64) %516)
%780 = (*.f64 #s(literal -256 binary64) %516)
%783 = (*.f64 #s(literal -256 binary64) %395)
%786 = (*.f64 #s(literal -256 binary64) %370)
%789 = (*.f64 #s(literal -256 binary64) %347)
%792 = (*.f64 #s(literal 256 binary64) %516)
%795 = (*.f64 #s(literal 256 binary64) %395)
%798 = (*.f64 #s(literal 256 binary64) %370)
%801 = (*.f64 #s(literal 256 binary64) %347)
%828 = (*.f64 #s(literal -16 binary64) %466)
%831 = (*.f64 #s(literal -16 binary64) %477)
%834 = (*.f64 #s(literal -16 binary64) %492)
%837 = (*.f64 #s(literal -16 binary64) %504)
%881 = (*.f64 %466 #s(literal -16 binary64))
%882 = (*.f64 #s(literal 4 binary64) %180)
%885 = (*.f64 %466 #s(literal 16 binary64))
%892 = (*.f64 %477 #s(literal -16 binary64))
%893 = (*.f64 #s(literal -4 binary64) %180)
%896 = (*.f64 %477 #s(literal 16 binary64))
%903 = (*.f64 %492 #s(literal -16 binary64))
%906 = (*.f64 %492 #s(literal 16 binary64))
%913 = (*.f64 %504 #s(literal -16 binary64))
%916 = (*.f64 %504 #s(literal 16 binary64))
%935 = (*.f64 %515 #s(literal -4 binary64))
%949 = (*.f64 %529 #s(literal -4 binary64))
%963 = (*.f64 %449 #s(literal -4 binary64))
%982 = (*.f64 %202 #s(literal -4 binary64))
%985 = (*.f64 #s(literal -16 binary64) %399)
%988 = (*.f64 #s(literal -16 binary64) %402)
%996 = (*.f64 %124 #s(literal -4 binary64))
%1008 = (*.f64 %208 #s(literal -4 binary64))
%1020 = (*.f64 %211 #s(literal -4 binary64))
%1032 = (*.f64 %215 #s(literal -4 binary64))
%1035 = (*.f64 #s(literal -256 binary64) %399)
%1038 = (*.f64 #s(literal -256 binary64) %402)
%1046 = (*.f64 %219 #s(literal -4 binary64))
%1049 = (*.f64 #s(literal 256 binary64) %399)
%1052 = (*.f64 #s(literal 256 binary64) %402)
%1060 = (*.f64 %222 #s(literal -4 binary64))
%1072 = (*.f64 %225 #s(literal -4 binary64))
%1084 = (*.f64 %127 #s(literal -4 binary64))
%1097 = (fma.f64 %711 a %679)
%1102 = (*.f64 %450 #s(literal -1 binary64))
%1107 = (/.f64 %453 #s(literal -4 binary64))
%1110 = (/.f64 %456 #s(literal 4 binary64))
%1113 = (fma.f64 %447 #s(literal -16 binary64) %127)
%1116 = (fma.f64 %447 #s(literal 16 binary64) %123)
%1119 = (fma.f64 %2 #s(literal -4 binary64) %585)
%1122 = (fma.f64 %2 #s(literal 4 binary64) %591)
%1125 = (fma.f64 %2 #s(literal -64 binary64) %551)
%1128 = (fma.f64 %2 #s(literal 64 binary64) %564)
%1131 = (*.f64 %131 #s(literal 1 binary64))
%1133 = (-.f64 (*.f64 %1131 #s(literal -4 binary64)) %370)
%1137 = (-.f64 (*.f64 %1131 #s(literal 4 binary64)) %347)
%1140 = (*.f64 %127 #s(literal 4 binary64))
%1141 = (fma.f64 %711 a %1140)
%1144 = (fma.f64 %714 a %1084)
%1147 = (fma.f64 %127 #s(literal -4 binary64) %437)
%1150 = (fma.f64 %711 a %706)
%1153 = (fma.f64 %714 a %676)
%1156 = (fma.f64 %127 #s(literal 4 binary64) %435)
%1159 = (-.f64 %963 %431)
%1163 = (-.f64 (*.f64 %449 #s(literal 4 binary64)) %433)
%1166 = (-.f64 %1140 %437)
%1169 = (-.f64 %1084 %435)
%1172 = (/.f64 %453 #s(literal 16 binary64))
%1175 = (/.f64 %453 #s(literal -16 binary64))
%1178 = (/.f64 %456 #s(literal 16 binary64))
%1181 = (*.f64 %347 #s(literal 4 binary64))
%1182 = (-.f64 %1181 %123)
%1183 = (neg.f64 %1182)
%1223 = (fma.f64 %714 a %529)
%1238 = (-.f64 %376 %131)
%1262 = (fma.f64 %42 t %447)
%1271 = (*.f64 %350 #s(literal 1/4 binary64))
%1274 = (neg.f64 %375)
%1298 = (-.f64 %376 %2)
%1300 = (fma.f64 %375 b %121)
%1313 = (fma.f64 c #s(literal 4 binary64) %450)
%1315 = (fma.f64 #s(literal -1/4 binary64) %347 c)
%1316 = (fma.f64 y x %1315)
%1317 = (fma.f64 %42 t %1316)
%1319 = (*.f64 c #s(literal 4 binary64))
%1419 = (fma.f64 c #s(literal -16 binary64) %127)
%1428 = (fma.f64 c #s(literal 16 binary64) %123)
%1438 = (-.f64 (*.f64 c #s(literal -4 binary64)) %370)
%1459 = (-.f64 %1319 %347)
%1480 = (*.f64 #s(literal -4 binary64) %1419)
%1483 = (*.f64 #s(literal -4 binary64) %1428)
%1486 = (*.f64 #s(literal 4 binary64) %1419)
%1489 = (*.f64 #s(literal 4 binary64) %1428)
%1500 = (*.f64 #s(literal -16 binary64) %1438)
%1503 = (*.f64 #s(literal -16 binary64) %1459)
%1506 = (*.f64 #s(literal 16 binary64) %1438)
%1509 = (*.f64 #s(literal 16 binary64) %1459)
%1520 = (*.f64 #s(literal -256 binary64) %1438)
%1523 = (*.f64 #s(literal -256 binary64) %1459)
%1526 = (*.f64 #s(literal 256 binary64) %1438)
%1529 = (*.f64 #s(literal 256 binary64) %1459)
%1548 = (*.f64 %1419 #s(literal -4 binary64))
%1560 = (*.f64 %1428 #s(literal -4 binary64))
%1584 = (fma.f64 y x c)
%1585 = (fma.f64 %1584 #s(literal -4 binary64) %585)
%1588 = (fma.f64 %1584 #s(literal 4 binary64) %591)
%1591 = (fma.f64 %1584 #s(literal -64 binary64) %551)
%1594 = (fma.f64 %1584 #s(literal 64 binary64) %564)
%1597 = (-.f64 %1584 %121)
%1598 = (fma.f64 %1597 #s(literal 4 binary64) %370)
%1601 = (fma.f64 %1597 #s(literal -4 binary64) %347)
%1604 = (fma.f64 c #s(literal -64 binary64) %453)
%1607 = (fma.f64 c #s(literal 64 binary64) %456)
%1610 = (fma.f64 c #s(literal -4 binary64) %459)
%1614 = (-.f64 (*.f64 %1597 #s(literal -4 binary64)) %370)
%1618 = (-.f64 (*.f64 %1597 #s(literal 4 binary64)) %347)
%1622 = (-.f64 (*.f64 c #s(literal 16 binary64)) %1182)
%1626 = (-.f64 (*.f64 c #s(literal -64 binary64)) %1223)
%1630 = (-.f64 (*.f64 c #s(literal 64 binary64)) %1097)
%1633 = (neg.f64 %1313)
%1656 = (neg.f64 c)
%1659 = (-.f64 %376 c)
%1666 = (fma.f64 %45 z %1659)
%1673 = (-.f64 %131 %1656)
%1677 = (-.f64 %2 %1656)
%1711 = (fma.f64 %42 t %1315)
%1737 = (neg.f64 %1666)
%1745 = (-.f64 c %1298)
x
y
%2
(*.f64 x y)
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
z
t
(*.f64 (*.f64 %11 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %17 t)
(*.f64 %20 z)
(*.f64 %16 %19)
(*.f64 %19 %16)
(*.f64 #s(literal 1 binary64) %11)
(*.f64 %11 #s(literal 1 binary64))
(*.f64 t (*.f64 z #s(literal 1 binary64)))
(*.f64 t %17)
%11
(*.f64 z (*.f64 t #s(literal 1 binary64)))
(*.f64 z %20)
(*.f64 z t)
(pow.f64 %11 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(neg.f64 %36)
#s(literal 16 binary64)
(*.f64 %17 %40)
%43
(*.f64 %16 %45)
(*.f64 #s(literal -1/16 binary64) %36)
(*.f64 %19 %48)
(*.f64 %19 %51)
(*.f64 %40 z)
(*.f64 #s(literal 1/16 binary64) %11)
(*.f64 %36 #s(literal -1/16 binary64))
(*.f64 #s(literal 1 binary64) %43)
(*.f64 %11 #s(literal 1/16 binary64))
(*.f64 t %58)
(*.f64 t %42)
(*.f64 z %40)
(pow.f64 %43 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %63) #s(literal -32 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %67) #s(literal -32 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %70) #s(literal -32 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %36) #s(literal -32 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %11) #s(literal 32 binary64))
(/.f64 %79 #s(literal -64 binary64))
(/.f64 %82 #s(literal -64 binary64))
(/.f64 %84 #s(literal -64 binary64))
(/.f64 %86 #s(literal -256 binary64))
(/.f64 %89 #s(literal -256 binary64))
(/.f64 %91 #s(literal -256 binary64))
(/.f64 (neg.f64 %63) #s(literal 16 binary64))
(/.f64 (neg.f64 %67) #s(literal 16 binary64))
(/.f64 (neg.f64 %70) #s(literal 16 binary64))
(/.f64 %63 #s(literal -16 binary64))
(/.f64 %67 #s(literal -16 binary64))
(/.f64 %70 #s(literal -16 binary64))
(/.f64 %102 #s(literal -256 binary64))
(/.f64 %104 #s(literal 256 binary64))
(/.f64 %108 #s(literal -64 binary64))
(/.f64 %110 #s(literal 64 binary64))
(/.f64 %36 #s(literal -16 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %43 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %36))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %11))
(/.f64 %11 #s(literal 16 binary64))
(neg.f64 %121)
(*.f64 %124 #s(literal 1/16 binary64))
(*.f64 %127 #s(literal -1/16 binary64))
(*.f64 #s(literal 1/16 binary64) %123)
(*.f64 %123 #s(literal 1/16 binary64))
(pow.f64 %131 #s(literal 1 binary64))
(/.f64 (fma.f64 %126 #s(literal -16 binary64) %133) #s(literal 256 binary64))
(/.f64 (fma.f64 %126 #s(literal -16 binary64) (*.f64 #s(literal -16 binary64) %67)) #s(literal 256 binary64))
(/.f64 (fma.f64 %126 #s(literal -16 binary64) (*.f64 #s(literal -16 binary64) %70)) #s(literal 256 binary64))
(/.f64 (fma.f64 %126 #s(literal -16 binary64) %142) #s(literal 256 binary64))
(/.f64 (fma.f64 %126 #s(literal 16 binary64) %145) #s(literal -256 binary64))
(/.f64 (fma.f64 %148 #s(literal -16 binary64) %86) #s(literal -256 binary64))
(/.f64 (fma.f64 %148 #s(literal -16 binary64) %89) #s(literal -256 binary64))
(/.f64 (fma.f64 %148 #s(literal -16 binary64) %91) #s(literal -256 binary64))
(/.f64 (fma.f64 %63 #s(literal -16 binary64) %155) #s(literal 256 binary64))
(/.f64 (fma.f64 %63 #s(literal 16 binary64) %158) #s(literal -256 binary64))
(/.f64 (fma.f64 %67 #s(literal -16 binary64) %155) #s(literal 256 binary64))
(/.f64 (fma.f64 %67 #s(literal 16 binary64) %158) #s(literal -256 binary64))
(/.f64 (fma.f64 %70 #s(literal -16 binary64) %155) #s(literal 256 binary64))
(/.f64 (fma.f64 %70 #s(literal 16 binary64) %158) #s(literal -256 binary64))
(/.f64 (fma.f64 %36 #s(literal -16 binary64) %155) #s(literal 256 binary64))
(/.f64 (fma.f64 %36 #s(literal 16 binary64) %158) #s(literal -256 binary64))
(/.f64 (fma.f64 %11 #s(literal -16 binary64) (*.f64 #s(literal 16 binary64) %126)) #s(literal -256 binary64))
(/.f64 (fma.f64 %11 #s(literal 16 binary64) (*.f64 #s(literal 16 binary64) %148)) #s(literal 256 binary64))
(/.f64 (-.f64 %179 (*.f64 #s(literal -16 binary64) %180)) #s(literal 256 binary64))
(/.f64 (-.f64 %184 %133) #s(literal -256 binary64))
(/.f64 (-.f64 %184 %142) #s(literal -256 binary64))
(/.f64 (-.f64 %179 %145) #s(literal 256 binary64))
(/.f64 (-.f64 %191 (*.f64 #s(literal 16 binary64) %180)) #s(literal -256 binary64))
(/.f64 (-.f64 %195 %86) #s(literal 256 binary64))
(/.f64 (-.f64 %195 %102) #s(literal 256 binary64))
(/.f64 (-.f64 %191 %104) #s(literal -256 binary64))
(/.f64 (neg.f64 %202) #s(literal 16 binary64))
(/.f64 (neg.f64 %124) #s(literal -16 binary64))
(/.f64 (neg.f64 %208) #s(literal 16 binary64))
(/.f64 (neg.f64 %211) #s(literal -16 binary64))
(/.f64 (neg.f64 %215) #s(literal 256 binary64))
(/.f64 (neg.f64 %219) #s(literal -256 binary64))
(/.f64 (neg.f64 %222) #s(literal 256 binary64))
(/.f64 (neg.f64 %225) #s(literal -256 binary64))
(/.f64 %202 #s(literal -16 binary64))
(/.f64 %124 #s(literal 16 binary64))
(/.f64 %208 #s(literal -16 binary64))
(/.f64 %211 #s(literal 16 binary64))
(/.f64 %215 #s(literal -256 binary64))
(/.f64 %219 #s(literal 256 binary64))
(/.f64 %222 #s(literal -256 binary64))
(/.f64 %225 #s(literal 256 binary64))
(/.f64 %127 #s(literal -16 binary64))
(/.f64 %123 #s(literal 16 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %131 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %127))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %123))
(neg.f64 %244)
(fma.f64 %17 %40 %248)
(fma.f64 %17 %40 %252)
(fma.f64 %17 %40 %255)
(fma.f64 %17 %40 %207)
(fma.f64 %17 %40 %2)
(fma.f64 %42 t %248)
(fma.f64 %42 t %252)
(fma.f64 %42 t %255)
(fma.f64 %42 t %207)
%131
(fma.f64 %16 %45 %248)
(fma.f64 %16 %45 %252)
(fma.f64 %16 %45 %255)
(fma.f64 %16 %45 %207)
(fma.f64 %16 %45 %2)
(fma.f64 #s(literal -1/16 binary64) %36 %248)
(fma.f64 #s(literal -1/16 binary64) %36 %252)
(fma.f64 #s(literal -1/16 binary64) %36 %255)
(fma.f64 #s(literal -1/16 binary64) %36 %207)
(fma.f64 #s(literal -1/16 binary64) %36 %2)
(fma.f64 %19 %48 %248)
(fma.f64 %19 %48 %252)
(fma.f64 %19 %48 %255)
(fma.f64 %19 %48 %207)
(fma.f64 %19 %48 %2)
(fma.f64 %19 %51 %248)
(fma.f64 %19 %51 %252)
(fma.f64 %19 %51 %255)
(fma.f64 %19 %51 %207)
(fma.f64 %19 %51 %2)
(fma.f64 %40 z %248)
(fma.f64 %40 z %252)
(fma.f64 %40 z %255)
(fma.f64 %40 z %207)
(fma.f64 %40 z %2)
(fma.f64 #s(literal 1/16 binary64) %11 %248)
(fma.f64 #s(literal 1/16 binary64) %11 %252)
(fma.f64 #s(literal 1/16 binary64) %11 %255)
(fma.f64 #s(literal 1/16 binary64) %11 %207)
(fma.f64 #s(literal 1/16 binary64) %11 %2)
(fma.f64 %148 #s(literal 1/16 binary64) %43)
(fma.f64 %36 #s(literal -1/16 binary64) %248)
(fma.f64 %36 #s(literal -1/16 binary64) %252)
(fma.f64 %36 #s(literal -1/16 binary64) %255)
(fma.f64 %36 #s(literal -1/16 binary64) %207)
(fma.f64 %36 #s(literal -1/16 binary64) %2)
(fma.f64 #s(literal 1 binary64) %43 %248)
(fma.f64 #s(literal 1 binary64) %43 %252)
(fma.f64 #s(literal 1 binary64) %43 %255)
(fma.f64 #s(literal 1 binary64) %43 %207)
(fma.f64 #s(literal 1 binary64) %43 %2)
(fma.f64 #s(literal 16 binary64) %304 %43)
(fma.f64 %11 #s(literal 1/16 binary64) %248)
(fma.f64 %11 #s(literal 1/16 binary64) %252)
(fma.f64 %11 #s(literal 1/16 binary64) %255)
(fma.f64 %11 #s(literal 1/16 binary64) %207)
(fma.f64 %11 #s(literal 1/16 binary64) %2)
(fma.f64 t %58 %248)
(fma.f64 t %58 %252)
(fma.f64 t %58 %255)
(fma.f64 t %58 %207)
(fma.f64 t %58 %2)
(fma.f64 t %42 %248)
(fma.f64 t %42 %252)
(fma.f64 t %42 %255)
(fma.f64 t %42 %207)
(fma.f64 t %42 %2)
(fma.f64 z %40 %248)
(fma.f64 z %40 %252)
(fma.f64 z %40 %255)
(fma.f64 z %40 %207)
(fma.f64 z %40 %2)
(fma.f64 %2 #s(literal 1 binary64) %43)
(fma.f64 y %328 %43)
(fma.f64 y x %43)
(fma.f64 x %332 %43)
(fma.f64 x y %43)
(-.f64 %207 %121)
(-.f64 %43 %254)
(-.f64 %2 %121)
(+.f64 %207 %43)
(+.f64 %43 %248)
(+.f64 %43 %252)
(+.f64 %43 %255)
(+.f64 %43 %207)
(+.f64 %43 %2)
(+.f64 %2 %43)
a
b
(*.f64 (*.f64 %347 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %351 b)
(*.f64 %354 a)
(*.f64 %350 %353)
(*.f64 %353 %350)
(*.f64 #s(literal 1 binary64) %347)
(*.f64 %347 #s(literal 1 binary64))
(*.f64 b (*.f64 a #s(literal 1 binary64)))
(*.f64 b %351)
%347
(*.f64 a (*.f64 b #s(literal 1 binary64)))
(*.f64 a %354)
(*.f64 a b)
(pow.f64 %347 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %347 #s(literal -1 binary64)))
(neg.f64 %370)
#s(literal 4 binary64)
(*.f64 %351 %373)
%376
(*.f64 %350 %378)
(*.f64 #s(literal -1/4 binary64) %370)
(*.f64 %353 %381)
(*.f64 %353 %383)
(*.f64 %373 a)
(*.f64 #s(literal 1/4 binary64) %347)
(*.f64 %370 #s(literal -1/4 binary64))
(*.f64 #s(literal 1 binary64) %376)
(*.f64 %347 #s(literal 1/4 binary64))
(*.f64 b (*.f64 %350 #s(literal -1/4 binary64)))
(*.f64 b %375)
(*.f64 a %373)
(pow.f64 %376 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %395) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %399) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %402) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %370) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %347) #s(literal 8 binary64))
(/.f64 %410 #s(literal -16 binary64))
(/.f64 %412 #s(literal -16 binary64))
(/.f64 %414 #s(literal -16 binary64))
(/.f64 %416 #s(literal -64 binary64))
(/.f64 %418 #s(literal -64 binary64))
(/.f64 %420 #s(literal -64 binary64))
(/.f64 (neg.f64 %395) #s(literal 4 binary64))
(/.f64 (neg.f64 %399) #s(literal 4 binary64))
(/.f64 (neg.f64 %402) #s(literal 4 binary64))
(/.f64 %395 #s(literal -4 binary64))
(/.f64 %399 #s(literal -4 binary64))
(/.f64 %402 #s(literal -4 binary64))
(/.f64 %431 #s(literal -16 binary64))
(/.f64 %433 #s(literal 16 binary64))
(/.f64 %435 #s(literal 64 binary64))
(/.f64 %437 #s(literal -64 binary64))
(/.f64 %370 #s(literal -4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %376 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %370))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %347))
(/.f64 %347 #s(literal 4 binary64))
(neg.f64 %447)
(*.f64 %451 #s(literal 1/4 binary64))
(*.f64 %453 #s(literal -1/64 binary64))
(*.f64 %456 #s(literal 1/64 binary64))
(*.f64 %459 #s(literal -1/4 binary64))
(*.f64 #s(literal 1/4 binary64) %450)
(*.f64 %450 #s(literal 1/4 binary64))
(pow.f64 %464 #s(literal 1 binary64))
(/.f64 (fma.f64 %466 #s(literal -16 binary64) %79) #s(literal -64 binary64))
(/.f64 (fma.f64 %466 #s(literal -16 binary64) %82) #s(literal -64 binary64))
(/.f64 (fma.f64 %466 #s(literal -16 binary64) %84) #s(literal -64 binary64))
(/.f64 (fma.f64 %466 #s(literal -16 binary64) %108) #s(literal -64 binary64))
(/.f64 (fma.f64 %466 #s(literal 16 binary64) %110) #s(literal 64 binary64))
(/.f64 (fma.f64 %477 #s(literal -16 binary64) %478) #s(literal 64 binary64))
(/.f64 (fma.f64 %477 #s(literal -16 binary64) %481) #s(literal 64 binary64))
(/.f64 (fma.f64 %477 #s(literal -16 binary64) %484) #s(literal 64 binary64))
(/.f64 (fma.f64 %477 #s(literal -16 binary64) %110) #s(literal 64 binary64))
(/.f64 (fma.f64 %477 #s(literal 16 binary64) %108) #s(literal -64 binary64))
(/.f64 (fma.f64 %492 #s(literal -16 binary64) %478) #s(literal 64 binary64))
(/.f64 (fma.f64 %492 #s(literal -16 binary64) %481) #s(literal 64 binary64))
(/.f64 (fma.f64 %492 #s(literal -16 binary64) %484) #s(literal 64 binary64))
(/.f64 (fma.f64 %492 #s(literal -16 binary64) %110) #s(literal 64 binary64))
(/.f64 (fma.f64 %492 #s(literal 16 binary64) %108) #s(literal -64 binary64))
(/.f64 (fma.f64 %504 #s(literal -16 binary64) %79) #s(literal -64 binary64))
(/.f64 (fma.f64 %504 #s(literal -16 binary64) %82) #s(literal -64 binary64))
(/.f64 (fma.f64 %504 #s(literal -16 binary64) %84) #s(literal -64 binary64))
(/.f64 (fma.f64 %504 #s(literal -16 binary64) %108) #s(literal -64 binary64))
(/.f64 (fma.f64 %504 #s(literal 16 binary64) %110) #s(literal 64 binary64))
(/.f64 (fma.f64 %515 #s(literal -4 binary64) (*.f64 #s(literal -4 binary64) %516)) #s(literal 16 binary64))
(/.f64 (fma.f64 %515 #s(literal 4 binary64) %520) #s(literal -16 binary64))
(/.f64 (fma.f64 %515 #s(literal 4 binary64) %523) #s(literal -16 binary64))
(/.f64 (fma.f64 %515 #s(literal -4 binary64) %526) #s(literal 16 binary64))
(/.f64 (fma.f64 %529 #s(literal -4 binary64) (*.f64 #s(literal 64 binary64) %516)) #s(literal -256 binary64))
(/.f64 (fma.f64 %529 #s(literal 4 binary64) %533) #s(literal 256 binary64))
(/.f64 (fma.f64 %529 #s(literal 4 binary64) %536) #s(literal 256 binary64))
(/.f64 (fma.f64 %529 #s(literal -4 binary64) %539) #s(literal -256 binary64))
(/.f64 (fma.f64 %449 #s(literal -4 binary64) (*.f64 #s(literal 4 binary64) %516)) #s(literal -16 binary64))
(/.f64 (fma.f64 %449 #s(literal 4 binary64) %410) #s(literal 16 binary64))
(/.f64 (fma.f64 %449 #s(literal 4 binary64) %431) #s(literal 16 binary64))
(/.f64 (fma.f64 %449 #s(literal -4 binary64) %433) #s(literal -16 binary64))
(/.f64 (fma.f64 %126 #s(literal 4 binary64) (*.f64 #s(literal -16 binary64) %552)) #s(literal -64 binary64))
(/.f64 (fma.f64 %126 #s(literal 16 binary64) (*.f64 #s(literal -16 binary64) %556)) #s(literal -256 binary64))
(/.f64 (fma.f64 %126 #s(literal -4 binary64) (*.f64 #s(literal -16 binary64) %560)) #s(literal 64 binary64))
(/.f64 (fma.f64 %126 #s(literal -4 binary64) (*.f64 #s(literal -16 binary64) %565)) #s(literal 64 binary64))
(/.f64 (fma.f64 %126 #s(literal 16 binary64) (*.f64 #s(literal -16 binary64) %569)) #s(literal -256 binary64))
(/.f64 (fma.f64 %126 #s(literal 4 binary64) (*.f64 #s(literal -16 binary64) %573)) #s(literal -64 binary64))
(/.f64 (fma.f64 %126 #s(literal -64 binary64) (*.f64 #s(literal -16 binary64) %551)) #s(literal 1024 binary64))
(/.f64 (fma.f64 %126 #s(literal 64 binary64) (*.f64 #s(literal -16 binary64) %564)) #s(literal -1024 binary64))
(/.f64 (fma.f64 %126 #s(literal 4 binary64) (*.f64 #s(literal -16 binary64) %586)) #s(literal -64 binary64))
(/.f64 (fma.f64 %126 #s(literal -4 binary64) (*.f64 #s(literal -16 binary64) %592)) #s(literal 64 binary64))
(/.f64 (fma.f64 %126 #s(literal 64 binary64) (*.f64 #s(literal -16 binary64) %596)) #s(literal -1024 binary64))
(/.f64 (fma.f64 %126 #s(literal -64 binary64) (*.f64 #s(literal -16 binary64) %600)) #s(literal 1024 binary64))
(/.f64 (fma.f64 %126 #s(literal -4 binary64) (*.f64 #s(literal -16 binary64) %585)) #s(literal 64 binary64))
(/.f64 (fma.f64 %126 #s(literal 4 binary64) (*.f64 #s(literal -16 binary64) %591)) #s(literal -64 binary64))
(/.f64 (fma.f64 %148 #s(literal 4 binary64) (*.f64 #s(literal 16 binary64) %552)) #s(literal 64 binary64))
(/.f64 (fma.f64 %148 #s(literal 16 binary64) (*.f64 #s(literal 16 binary64) %556)) #s(literal 256 binary64))
(/.f64 (fma.f64 %148 #s(literal -4 binary64) (*.f64 #s(literal 16 binary64) %560)) #s(literal -64 binary64))
(/.f64 (fma.f64 %148 #s(literal -4 binary64) (*.f64 #s(literal 16 binary64) %565)) #s(literal -64 binary64))
(/.f64 (fma.f64 %148 #s(literal 16 binary64) (*.f64 #s(literal 16 binary64) %569)) #s(literal 256 binary64))
(/.f64 (fma.f64 %148 #s(literal 4 binary64) (*.f64 #s(literal 16 binary64) %573)) #s(literal 64 binary64))
(/.f64 (fma.f64 %148 #s(literal -64 binary64) (*.f64 #s(literal 16 binary64) %551)) #s(literal -1024 binary64))
(/.f64 (fma.f64 %148 #s(literal 64 binary64) (*.f64 #s(literal 16 binary64) %564)) #s(literal 1024 binary64))
(/.f64 (fma.f64 %148 #s(literal 4 binary64) (*.f64 #s(literal 16 binary64) %586)) #s(literal 64 binary64))
(/.f64 (fma.f64 %148 #s(literal -4 binary64) (*.f64 #s(literal 16 binary64) %592)) #s(literal -64 binary64))
(/.f64 (fma.f64 %148 #s(literal 64 binary64) (*.f64 #s(literal 16 binary64) %596)) #s(literal 1024 binary64))
(/.f64 (fma.f64 %148 #s(literal -64 binary64) (*.f64 #s(literal 16 binary64) %600)) #s(literal -1024 binary64))
(/.f64 (fma.f64 %148 #s(literal -4 binary64) (*.f64 #s(literal 16 binary64) %585)) #s(literal -64 binary64))
(/.f64 (fma.f64 %148 #s(literal 4 binary64) (*.f64 #s(literal 16 binary64) %591)) #s(literal 64 binary64))
(/.f64 (fma.f64 %516 #s(literal -16 binary64) %652) #s(literal 64 binary64))
(/.f64 (fma.f64 %516 #s(literal 16 binary64) %655) #s(literal -64 binary64))
(/.f64 (fma.f64 %516 #s(literal -16 binary64) %658) #s(literal 64 binary64))
(/.f64 (fma.f64 %516 #s(literal 16 binary64) %661) #s(literal -64 binary64))
(/.f64 (fma.f64 %516 #s(literal -256 binary64) %664) #s(literal 1024 binary64))
(/.f64 (fma.f64 %516 #s(literal 256 binary64) %667) #s(literal -1024 binary64))
(/.f64 (fma.f64 %516 #s(literal -256 binary64) %670) #s(literal 1024 binary64))
(/.f64 (fma.f64 %516 #s(literal 256 binary64) %673) #s(literal -1024 binary64))
(/.f64 (fma.f64 %516 #s(literal -16 binary64) %676) #s(literal 64 binary64))
(/.f64 (fma.f64 %516 #s(literal 16 binary64) %679) #s(literal -64 binary64))
(/.f64 (fma.f64 %395 #s(literal -16 binary64) %682) #s(literal -64 binary64))
(/.f64 (fma.f64 %395 #s(literal 16 binary64) %685) #s(literal 64 binary64))
(/.f64 (fma.f64 %395 #s(literal -16 binary64) %688) #s(literal -64 binary64))
(/.f64 (fma.f64 %395 #s(literal 16 binary64) %691) #s(literal 64 binary64))
(/.f64 (fma.f64 %395 #s(literal -256 binary64) %694) #s(literal -1024 binary64))
(/.f64 (fma.f64 %395 #s(literal 256 binary64) %697) #s(literal 1024 binary64))
(/.f64 (fma.f64 %395 #s(literal -256 binary64) %700) #s(literal -1024 binary64))
(/.f64 (fma.f64 %395 #s(literal 256 binary64) %703) #s(literal 1024 binary64))
(/.f64 (fma.f64 %395 #s(literal -16 binary64) %706) #s(literal -64 binary64))
(/.f64 (fma.f64 %395 #s(literal 16 binary64) %529) #s(literal 64 binary64))
(/.f64 (fma.f64 %711 a %682) #s(literal -64 binary64))
(/.f64 (fma.f64 %714 a %685) #s(literal 64 binary64))
(/.f64 (fma.f64 %711 a %688) #s(literal -64 binary64))
(/.f64 (fma.f64 %714 a %691) #s(literal 64 binary64))
(/.f64 (fma.f64 %370 #s(literal -256 binary64) %694) #s(literal -1024 binary64))
(/.f64 (fma.f64 %370 #s(literal 256 binary64) %697) #s(literal 1024 binary64))
(/.f64 (fma.f64 %370 #s(literal -256 binary64) %700) #s(literal -1024 binary64))
(/.f64 (fma.f64 %370 #s(literal 256 binary64) %703) #s(literal 1024 binary64))
(/.f64 (fma.f64 %714 a %652) #s(literal 64 binary64))
(/.f64 (fma.f64 %711 a %655) #s(literal -64 binary64))
(/.f64 (fma.f64 %714 a %658) #s(literal 64 binary64))
(/.f64 (fma.f64 %711 a %661) #s(literal -64 binary64))
(/.f64 (fma.f64 %347 #s(literal -256 binary64) %664) #s(literal 1024 binary64))
(/.f64 (fma.f64 %347 #s(literal 256 binary64) %667) #s(literal -1024 binary64))
(/.f64 (fma.f64 %347 #s(literal -256 binary64) %670) #s(literal 1024 binary64))
(/.f64 (fma.f64 %347 #s(literal 256 binary64) %673) #s(literal -1024 binary64))
(/.f64 (fma.f64 %202 #s(literal -4 binary64) %745) #s(literal 64 binary64))
(/.f64 (fma.f64 %202 #s(literal 4 binary64) %748) #s(literal -64 binary64))
(/.f64 (fma.f64 %202 #s(literal 4 binary64) %435) #s(literal -64 binary64))
(/.f64 (fma.f64 %202 #s(literal -4 binary64) %437) #s(literal 64 binary64))
(/.f64 (fma.f64 %124 #s(literal -4 binary64) %755) #s(literal -64 binary64))
(/.f64 (fma.f64 %124 #s(literal 4 binary64) %416) #s(literal 64 binary64))
(/.f64 (fma.f64 %124 #s(literal 4 binary64) %437) #s(literal 64 binary64))
(/.f64 (fma.f64 %124 #s(literal -4 binary64) %435) #s(literal -64 binary64))
(/.f64 (fma.f64 %208 #s(literal -4 binary64) %745) #s(literal 64 binary64))
(/.f64 (fma.f64 %208 #s(literal 4 binary64) %748) #s(literal -64 binary64))
(/.f64 (fma.f64 %208 #s(literal 4 binary64) %435) #s(literal -64 binary64))
(/.f64 (fma.f64 %208 #s(literal -4 binary64) %437) #s(literal 64 binary64))
(/.f64 (fma.f64 %211 #s(literal -4 binary64) %755) #s(literal -64 binary64))
(/.f64 (fma.f64 %211 #s(literal 4 binary64) %416) #s(literal 64 binary64))
(/.f64 (fma.f64 %211 #s(literal 4 binary64) %437) #s(literal 64 binary64))
(/.f64 (fma.f64 %211 #s(literal -4 binary64) %435) #s(literal -64 binary64))
(/.f64 (fma.f64 %215 #s(literal -4 binary64) %780) #s(literal 1024 binary64))
(/.f64 (fma.f64 %215 #s(literal 4 binary64) %783) #s(literal -1024 binary64))
(/.f64 (fma.f64 %215 #s(literal 4 binary64) %786) #s(literal -1024 binary64))
(/.f64 (fma.f64 %215 #s(literal -4 binary64) %789) #s(literal 1024 binary64))
(/.f64 (fma.f64 %219 #s(literal -4 binary64) %792) #s(literal -1024 binary64))
(/.f64 (fma.f64 %219 #s(literal 4 binary64) %795) #s(literal 1024 binary64))
(/.f64 (fma.f64 %219 #s(literal 4 binary64) %798) #s(literal 1024 binary64))
(/.f64 (fma.f64 %219 #s(literal -4 binary64) %801) #s(literal -1024 binary64))
(/.f64 (fma.f64 %222 #s(literal -4 binary64) %780) #s(literal 1024 binary64))
(/.f64 (fma.f64 %222 #s(literal 4 binary64) %783) #s(literal -1024 binary64))
(/.f64 (fma.f64 %222 #s(literal 4 binary64) %786) #s(literal -1024 binary64))
(/.f64 (fma.f64 %222 #s(literal -4 binary64) %789) #s(literal 1024 binary64))
(/.f64 (fma.f64 %225 #s(literal -4 binary64) %792) #s(literal -1024 binary64))
(/.f64 (fma.f64 %225 #s(literal 4 binary64) %795) #s(literal 1024 binary64))
(/.f64 (fma.f64 %225 #s(literal 4 binary64) %798) #s(literal 1024 binary64))
(/.f64 (fma.f64 %225 #s(literal -4 binary64) %801) #s(literal -1024 binary64))
(/.f64 (fma.f64 %127 #s(literal -4 binary64) %745) #s(literal 64 binary64))
(/.f64 (fma.f64 %127 #s(literal 4 binary64) %748) #s(literal -64 binary64))
(/.f64 (fma.f64 %123 #s(literal -4 binary64) %755) #s(literal -64 binary64))
(/.f64 (fma.f64 %123 #s(literal 4 binary64) %416) #s(literal 64 binary64))
(/.f64 (fma.f64 %63 #s(literal 4 binary64) %828) #s(literal -64 binary64))
(/.f64 (fma.f64 %63 #s(literal -4 binary64) %831) #s(literal 64 binary64))
(/.f64 (fma.f64 %63 #s(literal -4 binary64) %834) #s(literal 64 binary64))
(/.f64 (fma.f64 %63 #s(literal 4 binary64) %837) #s(literal -64 binary64))
(/.f64 (fma.f64 %67 #s(literal 4 binary64) %828) #s(literal -64 binary64))
(/.f64 (fma.f64 %67 #s(literal -4 binary64) %831) #s(literal 64 binary64))
(/.f64 (fma.f64 %67 #s(literal -4 binary64) %834) #s(literal 64 binary64))
(/.f64 (fma.f64 %67 #s(literal 4 binary64) %837) #s(literal -64 binary64))
(/.f64 (fma.f64 %70 #s(literal 4 binary64) %828) #s(literal -64 binary64))
(/.f64 (fma.f64 %70 #s(literal -4 binary64) %831) #s(literal 64 binary64))
(/.f64 (fma.f64 %70 #s(literal -4 binary64) %834) #s(literal 64 binary64))
(/.f64 (fma.f64 %70 #s(literal 4 binary64) %837) #s(literal -64 binary64))
(/.f64 (fma.f64 #s(literal -4 binary64) %11 %828) #s(literal -64 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) %11 %831) #s(literal 64 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) %11 %834) #s(literal 64 binary64))
(/.f64 (fma.f64 #s(literal -4 binary64) %11 %837) #s(literal -64 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) %11 (*.f64 #s(literal 16 binary64) %466)) #s(literal 64 binary64))
(/.f64 (fma.f64 #s(literal -4 binary64) %11 (*.f64 #s(literal 16 binary64) %477)) #s(literal -64 binary64))
(/.f64 (fma.f64 #s(literal -4 binary64) %11 (*.f64 #s(literal 16 binary64) %492)) #s(literal -64 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) %11 (*.f64 #s(literal 16 binary64) %504)) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %679 #s(literal -64 binary64)) (*.f64 #s(literal -64 binary64) %437)) #s(literal 4096 binary64))
(/.f64 (-.f64 %881 %882) #s(literal -64 binary64))
(/.f64 (-.f64 %885 %79) #s(literal 64 binary64))
(/.f64 (-.f64 %885 %108) #s(literal 64 binary64))
(/.f64 (-.f64 %881 %110) #s(literal -64 binary64))
(/.f64 (-.f64 %892 %893) #s(literal 64 binary64))
(/.f64 (-.f64 %896 %478) #s(literal -64 binary64))
(/.f64 (-.f64 %896 %110) #s(literal -64 binary64))
(/.f64 (-.f64 %892 %108) #s(literal 64 binary64))
(/.f64 (-.f64 %903 %893) #s(literal 64 binary64))
(/.f64 (-.f64 %906 %478) #s(literal -64 binary64))
(/.f64 (-.f64 %906 %110) #s(literal -64 binary64))
(/.f64 (-.f64 %903 %108) #s(literal 64 binary64))
(/.f64 (-.f64 %913 %882) #s(literal -64 binary64))
(/.f64 (-.f64 %916 %79) #s(literal 64 binary64))
(/.f64 (-.f64 %916 %108) #s(literal 64 binary64))
(/.f64 (-.f64 %913 %110) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 %515 #s(literal 64 binary64)) (*.f64 #s(literal -4 binary64) %435)) #s(literal -256 binary64))
(/.f64 (-.f64 (*.f64 %529 #s(literal 64 binary64)) (*.f64 #s(literal 64 binary64) %435)) #s(literal 4096 binary64))
(/.f64 (-.f64 (*.f64 %449 #s(literal 64 binary64)) (*.f64 #s(literal 4 binary64) %435)) #s(literal 256 binary64))
(/.f64 (-.f64 %935 %520) #s(literal 16 binary64))
(/.f64 (-.f64 %935 (*.f64 #s(literal -4 binary64) %399)) #s(literal 16 binary64))
(/.f64 (-.f64 %935 (*.f64 #s(literal -4 binary64) %402)) #s(literal 16 binary64))
(/.f64 (-.f64 %935 %523) #s(literal 16 binary64))
(/.f64 (-.f64 (*.f64 %515 #s(literal 4 binary64)) %526) #s(literal -16 binary64))
(/.f64 (-.f64 %949 %533) #s(literal -256 binary64))
(/.f64 (-.f64 %949 (*.f64 #s(literal 64 binary64) %399)) #s(literal -256 binary64))
(/.f64 (-.f64 %949 (*.f64 #s(literal 64 binary64) %402)) #s(literal -256 binary64))
(/.f64 (-.f64 %949 %536) #s(literal -256 binary64))
(/.f64 (-.f64 (*.f64 %529 #s(literal 4 binary64)) %539) #s(literal 256 binary64))
(/.f64 (-.f64 %963 %410) #s(literal -16 binary64))
(/.f64 (-.f64 %963 %412) #s(literal -16 binary64))
(/.f64 (-.f64 %963 %414) #s(literal -16 binary64))
(/.f64 (-.f64 (*.f64 %516 #s(literal 16 binary64)) %676) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 %516 #s(literal -16 binary64)) %679) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %395 #s(literal 16 binary64)) %706) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %395 #s(literal -16 binary64)) %529) #s(literal -64 binary64))
(/.f64 (-.f64 %982 %748) #s(literal 64 binary64))
(/.f64 (-.f64 %982 %985) #s(literal 64 binary64))
(/.f64 (-.f64 %982 %988) #s(literal 64 binary64))
(/.f64 (-.f64 %982 %435) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %202 #s(literal 4 binary64)) %437) #s(literal -64 binary64))
(/.f64 (-.f64 %996 %416) #s(literal -64 binary64))
(/.f64 (-.f64 %996 %418) #s(literal -64 binary64))
(/.f64 (-.f64 %996 %420) #s(literal -64 binary64))
(/.f64 (-.f64 %996 %437) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 %124 #s(literal 4 binary64)) %435) #s(literal 64 binary64))
(/.f64 (-.f64 %1008 %748) #s(literal 64 binary64))
(/.f64 (-.f64 %1008 %985) #s(literal 64 binary64))
(/.f64 (-.f64 %1008 %988) #s(literal 64 binary64))
(/.f64 (-.f64 %1008 %435) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %208 #s(literal 4 binary64)) %437) #s(literal -64 binary64))
(/.f64 (-.f64 %1020 %416) #s(literal -64 binary64))
(/.f64 (-.f64 %1020 %418) #s(literal -64 binary64))
(/.f64 (-.f64 %1020 %420) #s(literal -64 binary64))
(/.f64 (-.f64 %1020 %437) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 %211 #s(literal 4 binary64)) %435) #s(literal 64 binary64))
(/.f64 (-.f64 %1032 %783) #s(literal 1024 binary64))
(/.f64 (-.f64 %1032 %1035) #s(literal 1024 binary64))
(/.f64 (-.f64 %1032 %1038) #s(literal 1024 binary64))
(/.f64 (-.f64 %1032 %786) #s(literal 1024 binary64))
(/.f64 (-.f64 (*.f64 %215 #s(literal 4 binary64)) %789) #s(literal -1024 binary64))
(/.f64 (-.f64 %1046 %795) #s(literal -1024 binary64))
(/.f64 (-.f64 %1046 %1049) #s(literal -1024 binary64))
(/.f64 (-.f64 %1046 %1052) #s(literal -1024 binary64))
(/.f64 (-.f64 %1046 %798) #s(literal -1024 binary64))
(/.f64 (-.f64 (*.f64 %219 #s(literal 4 binary64)) %801) #s(literal 1024 binary64))
(/.f64 (-.f64 %1060 %783) #s(literal 1024 binary64))
(/.f64 (-.f64 %1060 %1035) #s(literal 1024 binary64))
(/.f64 (-.f64 %1060 %1038) #s(literal 1024 binary64))
(/.f64 (-.f64 %1060 %786) #s(literal 1024 binary64))
(/.f64 (-.f64 (*.f64 %222 #s(literal 4 binary64)) %789) #s(literal -1024 binary64))
(/.f64 (-.f64 %1072 %795) #s(literal -1024 binary64))
(/.f64 (-.f64 %1072 %1049) #s(literal -1024 binary64))
(/.f64 (-.f64 %1072 %1052) #s(literal -1024 binary64))
(/.f64 (-.f64 %1072 %798) #s(literal -1024 binary64))
(/.f64 (-.f64 (*.f64 %225 #s(literal 4 binary64)) %801) #s(literal 1024 binary64))
(/.f64 (-.f64 %1084 %748) #s(literal 64 binary64))
(/.f64 (-.f64 %1084 %985) #s(literal 64 binary64))
(/.f64 (-.f64 %1084 %988) #s(literal 64 binary64))
(/.f64 (-.f64 %679 %416) #s(literal -64 binary64))
(/.f64 (-.f64 %679 %418) #s(literal -64 binary64))
(/.f64 (-.f64 %679 %420) #s(literal -64 binary64))
(/.f64 (*.f64 %1097 #s(literal -1 binary64)) #s(literal 64 binary64))
(/.f64 (*.f64 %1097 #s(literal 1 binary64)) #s(literal -64 binary64))
(/.f64 (neg.f64 %1102) #s(literal 4 binary64))
(/.f64 (neg.f64 %451) #s(literal -4 binary64))
(/.f64 (neg.f64 %1107) #s(literal -16 binary64))
(/.f64 (neg.f64 %1110) #s(literal -16 binary64))
(/.f64 (neg.f64 %1113) #s(literal 16 binary64))
(/.f64 (neg.f64 %1116) #s(literal -16 binary64))
(/.f64 (neg.f64 %1119) #s(literal 4 binary64))
(/.f64 (neg.f64 %1122) #s(literal -4 binary64))
(/.f64 (neg.f64 %1125) #s(literal 64 binary64))
(/.f64 (neg.f64 %1128) #s(literal -64 binary64))
(/.f64 (neg.f64 %1133) #s(literal 4 binary64))
(/.f64 (neg.f64 %1137) #s(literal -4 binary64))
(/.f64 (neg.f64 %1141) #s(literal 64 binary64))
(/.f64 (neg.f64 %1144) #s(literal -64 binary64))
(/.f64 (neg.f64 %1147) #s(literal -64 binary64))
(/.f64 (neg.f64 %1150) #s(literal 64 binary64))
(/.f64 (neg.f64 %1153) #s(literal -64 binary64))
(/.f64 (neg.f64 %1156) #s(literal 64 binary64))
(/.f64 (neg.f64 %1159) #s(literal 16 binary64))
(/.f64 (neg.f64 %1163) #s(literal -16 binary64))
(/.f64 (neg.f64 %1166) #s(literal 64 binary64))
(/.f64 (neg.f64 %1169) #s(literal -64 binary64))
(/.f64 (neg.f64 %1172) #s(literal 4 binary64))
(/.f64 (neg.f64 %1175) #s(literal -4 binary64))
(/.f64 (neg.f64 %1178) #s(literal -4 binary64))
(/.f64 (neg.f64 %1183) #s(literal -16 binary64))
(/.f64 %1102 #s(literal -4 binary64))
(/.f64 %451 #s(literal 4 binary64))
(/.f64 %1175 #s(literal 4 binary64))
(/.f64 %1107 #s(literal 16 binary64))
(/.f64 %1172 #s(literal -4 binary64))
(/.f64 %1110 #s(literal 16 binary64))
(/.f64 %1178 #s(literal 4 binary64))
(/.f64 (-.f64 %123 %1181) #s(literal 16 binary64))
(/.f64 (-.f64 %370 %515) #s(literal 4 binary64))
(/.f64 %1113 #s(literal -16 binary64))
(/.f64 %1116 #s(literal 16 binary64))
(/.f64 %1119 #s(literal -4 binary64))
(/.f64 %1122 #s(literal 4 binary64))
(/.f64 %1125 #s(literal -64 binary64))
(/.f64 %1128 #s(literal 64 binary64))
(/.f64 %1133 #s(literal -4 binary64))
(/.f64 %1137 #s(literal 4 binary64))
(/.f64 %1141 #s(literal -64 binary64))
(/.f64 %1144 #s(literal 64 binary64))
(/.f64 %1147 #s(literal 64 binary64))
(/.f64 %1150 #s(literal -64 binary64))
(/.f64 %1153 #s(literal 64 binary64))
(/.f64 %1156 #s(literal -64 binary64))
(/.f64 %1159 #s(literal -16 binary64))
(/.f64 %1163 #s(literal 16 binary64))
(/.f64 %1166 #s(literal -64 binary64))
(/.f64 %1169 #s(literal 64 binary64))
(/.f64 (-.f64 %435 %676) #s(literal -64 binary64))
(/.f64 (-.f64 %437 %706) #s(literal 64 binary64))
(/.f64 %1183 #s(literal 16 binary64))
(/.f64 %1182 #s(literal -16 binary64))
(/.f64 %453 #s(literal -64 binary64))
(/.f64 %456 #s(literal 64 binary64))
(/.f64 %1223 #s(literal 64 binary64))
(/.f64 %1097 #s(literal -64 binary64))
(/.f64 %459 #s(literal -4 binary64))
(/.f64 %450 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %464 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -64 binary64) %453))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 64 binary64) %456))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %459))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %450))
(neg.f64 %1238)
(fma.f64 %124 #s(literal 1/16 binary64) %447)
(fma.f64 %395 #s(literal 1/4 binary64) %131)
(fma.f64 %17 %40 %463)
(fma.f64 %551 #s(literal -1/64 binary64) %2)
(fma.f64 %564 #s(literal 1/64 binary64) %2)
%464
(fma.f64 %378 a %131)
(fma.f64 %16 %45 %463)
(fma.f64 %350 %373 %131)
(fma.f64 #s(literal -1/16 binary64) %36 %463)
(fma.f64 #s(literal -1/4 binary64) %347 %131)
(fma.f64 %585 #s(literal -1/4 binary64) %2)
(fma.f64 %591 #s(literal 1/4 binary64) %2)
(fma.f64 %353 %375 %131)
(fma.f64 %19 %48 %463)
(fma.f64 %19 %51 %463)
(fma.f64 %127 #s(literal -1/16 binary64) %447)
(fma.f64 %40 z %463)
(fma.f64 %373 %350 %131)
(fma.f64 #s(literal 1/16 binary64) %123 %447)
(fma.f64 #s(literal 1/16 binary64) %11 %463)
(fma.f64 #s(literal 1/4 binary64) %370 %131)
(fma.f64 %123 #s(literal 1/16 binary64) %447)
(fma.f64 %148 #s(literal 1/16 binary64) %1262)
(fma.f64 %449 #s(literal 1/4 binary64) %447)
(fma.f64 %36 #s(literal -1/16 binary64) %463)
(fma.f64 %370 #s(literal 1/4 binary64) %131)
(fma.f64 #s(literal 1 binary64) %43 %463)
(fma.f64 #s(literal 4 binary64) (/.f64 %131 #s(literal 4 binary64)) %447)
(fma.f64 %347 #s(literal -1/4 binary64) %131)
(fma.f64 b %1271 %131)
(fma.f64 b %381 %131)
(fma.f64 b %1274 %131)
(fma.f64 b %383 %131)
(fma.f64 a %378 %131)
(fma.f64 %131 #s(literal 1 binary64) %447)
(fma.f64 #s(literal 16 binary64) %304 %1262)
(fma.f64 %11 #s(literal 1/16 binary64) %463)
(fma.f64 t %58 %463)
(fma.f64 t %42 %463)
(fma.f64 z %40 %463)
(fma.f64 %2 #s(literal 1 binary64) %1262)
(fma.f64 y %328 %1262)
(fma.f64 y x %1262)
(fma.f64 x %332 %1262)
(fma.f64 x y %1262)
(-.f64 %463 %121)
(-.f64 %1131 %376)
(-.f64 %1262 %254)
(-.f64 %447 %244)
(-.f64 %131 %376)
(-.f64 %43 (-.f64 %254 %447))
(-.f64 %43 (fma.f64 %246 x %376))
(-.f64 %43 %1298)
(-.f64 %2 %1300)
(+.f64 (fma.f64 %378 a %207) %43)
(+.f64 %463 %43)
(+.f64 %1131 %447)
(+.f64 %207 %1262)
(+.f64 %1262 %2)
(+.f64 %447 %131)
(+.f64 %131 %447)
(+.f64 %43 %463)
(+.f64 %2 %1262)
c
(*.f64 %1313 #s(literal 1/4 binary64))
(pow.f64 %1317 #s(literal 1 binary64))
(/.f64 (fma.f64 %1319 #s(literal -4 binary64) (*.f64 #s(literal 4 binary64) %1102)) #s(literal -16 binary64))
(/.f64 (fma.f64 %1319 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %451)) #s(literal 16 binary64))
(/.f64 (fma.f64 %1319 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %1175)) #s(literal 16 binary64))
(/.f64 (fma.f64 %1319 #s(literal 16 binary64) (*.f64 #s(literal 4 binary64) %1107)) #s(literal 64 binary64))
(/.f64 (fma.f64 %1319 #s(literal -4 binary64) (*.f64 #s(literal 4 binary64) %1172)) #s(literal -16 binary64))
(/.f64 (fma.f64 %1319 #s(literal 16 binary64) (*.f64 #s(literal 4 binary64) %1110)) #s(literal 64 binary64))
(/.f64 (fma.f64 %1319 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %1178)) #s(literal 16 binary64))
(/.f64 (fma.f64 %1319 #s(literal -16 binary64) (*.f64 #s(literal 4 binary64) %1113)) #s(literal -64 binary64))
(/.f64 (fma.f64 %1319 #s(literal 16 binary64) (*.f64 #s(literal 4 binary64) %1116)) #s(literal 64 binary64))
(/.f64 (fma.f64 %1319 #s(literal -4 binary64) (*.f64 #s(literal 4 binary64) %1119)) #s(literal -16 binary64))
(/.f64 (fma.f64 %1319 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %1122)) #s(literal 16 binary64))
(/.f64 (fma.f64 %1319 #s(literal -64 binary64) (*.f64 #s(literal 4 binary64) %1125)) #s(literal -256 binary64))
(/.f64 (fma.f64 %1319 #s(literal 64 binary64) (*.f64 #s(literal 4 binary64) %1128)) #s(literal 256 binary64))
(/.f64 (fma.f64 %1319 #s(literal -4 binary64) (*.f64 #s(literal 4 binary64) %1133)) #s(literal -16 binary64))
(/.f64 (fma.f64 %1319 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %1137)) #s(literal 16 binary64))
(/.f64 (fma.f64 %1319 #s(literal -64 binary64) (*.f64 #s(literal 4 binary64) %1141)) #s(literal -256 binary64))
(/.f64 (fma.f64 %1319 #s(literal 64 binary64) (*.f64 #s(literal 4 binary64) %1144)) #s(literal 256 binary64))
(/.f64 (fma.f64 %1319 #s(literal 64 binary64) (*.f64 #s(literal 4 binary64) %1147)) #s(literal 256 binary64))
(/.f64 (fma.f64 %1319 #s(literal -64 binary64) (*.f64 #s(literal 4 binary64) %1150)) #s(literal -256 binary64))
(/.f64 (fma.f64 %1319 #s(literal 64 binary64) (*.f64 #s(literal 4 binary64) %1153)) #s(literal 256 binary64))
(/.f64 (fma.f64 %1319 #s(literal -64 binary64) (*.f64 #s(literal 4 binary64) %1156)) #s(literal -256 binary64))
(/.f64 (fma.f64 %1319 #s(literal -16 binary64) (*.f64 #s(literal 4 binary64) %1159)) #s(literal -64 binary64))
(/.f64 (fma.f64 %1319 #s(literal 16 binary64) (*.f64 #s(literal 4 binary64) %1163)) #s(literal 64 binary64))
(/.f64 (fma.f64 %1319 #s(literal -64 binary64) (*.f64 #s(literal 4 binary64) %1166)) #s(literal -256 binary64))
(/.f64 (fma.f64 %1319 #s(literal 64 binary64) (*.f64 #s(literal 4 binary64) %1169)) #s(literal 256 binary64))
(/.f64 (fma.f64 %1319 #s(literal 16 binary64) (*.f64 #s(literal 4 binary64) %1183)) #s(literal 64 binary64))
(/.f64 (fma.f64 %1319 #s(literal -16 binary64) (*.f64 #s(literal 4 binary64) %1182)) #s(literal -64 binary64))
(/.f64 (fma.f64 %1319 #s(literal -64 binary64) (*.f64 #s(literal 4 binary64) %453)) #s(literal -256 binary64))
(/.f64 (fma.f64 %1319 #s(literal 64 binary64) (*.f64 #s(literal 4 binary64) %456)) #s(literal 256 binary64))
(/.f64 (fma.f64 %1319 #s(literal 64 binary64) (*.f64 #s(literal 4 binary64) %1223)) #s(literal 256 binary64))
(/.f64 (fma.f64 %1319 #s(literal -64 binary64) (*.f64 #s(literal 4 binary64) %1097)) #s(literal -256 binary64))
(/.f64 (fma.f64 %1319 #s(literal -4 binary64) (*.f64 #s(literal 4 binary64) %459)) #s(literal -16 binary64))
(/.f64 (fma.f64 %1319 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %450)) #s(literal 16 binary64))
(/.f64 (fma.f64 %1419 #s(literal -4 binary64) %745) #s(literal 64 binary64))
(/.f64 (fma.f64 %1419 #s(literal 4 binary64) %748) #s(literal -64 binary64))
(/.f64 (fma.f64 %1419 #s(literal 4 binary64) %435) #s(literal -64 binary64))
(/.f64 (fma.f64 %1419 #s(literal -4 binary64) %437) #s(literal 64 binary64))
(/.f64 (fma.f64 %1428 #s(literal -4 binary64) %755) #s(literal -64 binary64))
(/.f64 (fma.f64 %1428 #s(literal 4 binary64) %416) #s(literal 64 binary64))
(/.f64 (fma.f64 %1428 #s(literal 4 binary64) %437) #s(literal 64 binary64))
(/.f64 (fma.f64 %1428 #s(literal -4 binary64) %435) #s(literal -64 binary64))
(/.f64 (fma.f64 %1438 #s(literal -16 binary64) %652) #s(literal 64 binary64))
(/.f64 (fma.f64 %1438 #s(literal 16 binary64) %655) #s(literal -64 binary64))
(/.f64 (fma.f64 %1438 #s(literal -16 binary64) %658) #s(literal 64 binary64))
(/.f64 (fma.f64 %1438 #s(literal 16 binary64) %661) #s(literal -64 binary64))
(/.f64 (fma.f64 %1438 #s(literal -256 binary64) %664) #s(literal 1024 binary64))
(/.f64 (fma.f64 %1438 #s(literal 256 binary64) %667) #s(literal -1024 binary64))
(/.f64 (fma.f64 %1438 #s(literal -256 binary64) %670) #s(literal 1024 binary64))
(/.f64 (fma.f64 %1438 #s(literal 256 binary64) %673) #s(literal -1024 binary64))
(/.f64 (fma.f64 %1438 #s(literal -16 binary64) %676) #s(literal 64 binary64))
(/.f64 (fma.f64 %1438 #s(literal 16 binary64) %679) #s(literal -64 binary64))
(/.f64 (fma.f64 %1459 #s(literal -16 binary64) %682) #s(literal -64 binary64))
(/.f64 (fma.f64 %1459 #s(literal 16 binary64) %685) #s(literal 64 binary64))
(/.f64 (fma.f64 %1459 #s(literal -16 binary64) %688) #s(literal -64 binary64))
(/.f64 (fma.f64 %1459 #s(literal 16 binary64) %691) #s(literal 64 binary64))
(/.f64 (fma.f64 %1459 #s(literal -256 binary64) %694) #s(literal -1024 binary64))
(/.f64 (fma.f64 %1459 #s(literal 256 binary64) %697) #s(literal 1024 binary64))
(/.f64 (fma.f64 %1459 #s(literal -256 binary64) %700) #s(literal -1024 binary64))
(/.f64 (fma.f64 %1459 #s(literal 256 binary64) %703) #s(literal 1024 binary64))
(/.f64 (fma.f64 %1459 #s(literal -16 binary64) %706) #s(literal -64 binary64))
(/.f64 (fma.f64 %1459 #s(literal 16 binary64) %529) #s(literal 64 binary64))
(/.f64 (fma.f64 %516 #s(literal -16 binary64) %1480) #s(literal 64 binary64))
(/.f64 (fma.f64 %516 #s(literal 16 binary64) %1483) #s(literal -64 binary64))
(/.f64 (fma.f64 %395 #s(literal -16 binary64) %1486) #s(literal -64 binary64))
(/.f64 (fma.f64 %395 #s(literal 16 binary64) %1489) #s(literal 64 binary64))
(/.f64 (fma.f64 %711 a %1486) #s(literal -64 binary64))
(/.f64 (fma.f64 %714 a %1489) #s(literal 64 binary64))
(/.f64 (fma.f64 %714 a %1480) #s(literal 64 binary64))
(/.f64 (fma.f64 %711 a %1483) #s(literal -64 binary64))
(/.f64 (fma.f64 %202 #s(literal -4 binary64) %1500) #s(literal 64 binary64))
(/.f64 (fma.f64 %202 #s(literal 4 binary64) %1503) #s(literal -64 binary64))
(/.f64 (fma.f64 %124 #s(literal -4 binary64) %1506) #s(literal -64 binary64))
(/.f64 (fma.f64 %124 #s(literal 4 binary64) %1509) #s(literal 64 binary64))
(/.f64 (fma.f64 %208 #s(literal -4 binary64) %1500) #s(literal 64 binary64))
(/.f64 (fma.f64 %208 #s(literal 4 binary64) %1503) #s(literal -64 binary64))
(/.f64 (fma.f64 %211 #s(literal -4 binary64) %1506) #s(literal -64 binary64))
(/.f64 (fma.f64 %211 #s(literal 4 binary64) %1509) #s(literal 64 binary64))
(/.f64 (fma.f64 %215 #s(literal -4 binary64) %1520) #s(literal 1024 binary64))
(/.f64 (fma.f64 %215 #s(literal 4 binary64) %1523) #s(literal -1024 binary64))
(/.f64 (fma.f64 %219 #s(literal -4 binary64) %1526) #s(literal -1024 binary64))
(/.f64 (fma.f64 %219 #s(literal 4 binary64) %1529) #s(literal 1024 binary64))
(/.f64 (fma.f64 %222 #s(literal -4 binary64) %1520) #s(literal 1024 binary64))
(/.f64 (fma.f64 %222 #s(literal 4 binary64) %1523) #s(literal -1024 binary64))
(/.f64 (fma.f64 %225 #s(literal -4 binary64) %1526) #s(literal -1024 binary64))
(/.f64 (fma.f64 %225 #s(literal 4 binary64) %1529) #s(literal 1024 binary64))
(/.f64 (fma.f64 %127 #s(literal -4 binary64) %1500) #s(literal 64 binary64))
(/.f64 (fma.f64 %127 #s(literal 4 binary64) %1503) #s(literal -64 binary64))
(/.f64 (fma.f64 %123 #s(literal -4 binary64) %1506) #s(literal -64 binary64))
(/.f64 (fma.f64 %123 #s(literal 4 binary64) %1509) #s(literal 64 binary64))
(/.f64 (-.f64 %1548 %748) #s(literal 64 binary64))
(/.f64 (-.f64 %1548 %985) #s(literal 64 binary64))
(/.f64 (-.f64 %1548 %988) #s(literal 64 binary64))
(/.f64 (-.f64 %1548 %435) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %1419 #s(literal 4 binary64)) %437) #s(literal -64 binary64))
(/.f64 (-.f64 %1560 %416) #s(literal -64 binary64))
(/.f64 (-.f64 %1560 %418) #s(literal -64 binary64))
(/.f64 (-.f64 %1560 %420) #s(literal -64 binary64))
(/.f64 (-.f64 %1560 %437) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 %1428 #s(literal 4 binary64)) %435) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %1438 #s(literal 16 binary64)) %676) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 %1438 #s(literal -16 binary64)) %679) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %1459 #s(literal 16 binary64)) %706) #s(literal 64 binary64))
(/.f64 (-.f64 (*.f64 %1459 #s(literal -16 binary64)) %529) #s(literal -64 binary64))
(/.f64 (neg.f64 %1585) #s(literal 4 binary64))
(/.f64 (neg.f64 %1588) #s(literal -4 binary64))
(/.f64 (neg.f64 %1591) #s(literal 64 binary64))
(/.f64 (neg.f64 %1594) #s(literal -64 binary64))
(/.f64 (neg.f64 %1598) #s(literal -4 binary64))
(/.f64 (neg.f64 %1601) #s(literal 4 binary64))
(/.f64 (neg.f64 %1604) #s(literal 64 binary64))
(/.f64 (neg.f64 %1607) #s(literal -64 binary64))
(/.f64 (neg.f64 %1610) #s(literal 4 binary64))
(/.f64 (neg.f64 %1614) #s(literal 4 binary64))
(/.f64 (neg.f64 %1618) #s(literal -4 binary64))
(/.f64 (neg.f64 %1622) #s(literal -16 binary64))
(/.f64 (neg.f64 %1626) #s(literal 64 binary64))
(/.f64 (neg.f64 %1630) #s(literal -64 binary64))
(/.f64 (neg.f64 %1633) #s(literal 4 binary64))
(/.f64 %1585 #s(literal -4 binary64))
(/.f64 %1588 #s(literal 4 binary64))
(/.f64 %1591 #s(literal -64 binary64))
(/.f64 %1594 #s(literal 64 binary64))
(/.f64 %1598 #s(literal 4 binary64))
(/.f64 %1601 #s(literal -4 binary64))
(/.f64 %1604 #s(literal -64 binary64))
(/.f64 %1607 #s(literal 64 binary64))
(/.f64 %1610 #s(literal -4 binary64))
(/.f64 %1614 #s(literal -4 binary64))
(/.f64 %1618 #s(literal 4 binary64))
(/.f64 %1622 #s(literal 16 binary64))
(/.f64 %1626 #s(literal -64 binary64))
(/.f64 %1630 #s(literal 64 binary64))
(/.f64 %1633 #s(literal -4 binary64))
(/.f64 %1313 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1317 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %1313))
(neg.f64 (+.f64 %1238 %1656))
(neg.f64 (+.f64 %244 %1659))
(neg.f64 (/.f64 %1313 #s(literal -4 binary64)))
(neg.f64 (-.f64 %1238 c))
(neg.f64 (-.f64 %1666 %2))
(neg.f64 (neg.f64 %1317))
(fma.f64 %124 #s(literal 1/16 binary64) %1315)
(fma.f64 %451 #s(literal 1/4 binary64) c)
(fma.f64 %395 #s(literal 1/4 binary64) %1673)
(fma.f64 %395 #s(literal 1/4 binary64) %1597)
(fma.f64 %17 %40 %1316)
(fma.f64 %551 #s(literal -1/64 binary64) %1677)
(fma.f64 %551 #s(literal -1/64 binary64) %1584)
(fma.f64 %564 #s(literal 1/64 binary64) %1677)
(fma.f64 %564 #s(literal 1/64 binary64) %1584)
%1317
(fma.f64 %378 a %1673)
(fma.f64 %378 a %1597)
(fma.f64 %16 %45 %1316)
(fma.f64 %350 %373 %1673)
(fma.f64 %350 %373 %1597)
(fma.f64 #s(literal -1/16 binary64) %36 %1316)
(fma.f64 #s(literal -1/4 binary64) %347 %1673)
(fma.f64 #s(literal -1/4 binary64) %347 %1597)
(fma.f64 %585 #s(literal -1/4 binary64) %1677)
(fma.f64 %585 #s(literal -1/4 binary64) %1584)
(fma.f64 %591 #s(literal 1/4 binary64) %1677)
(fma.f64 %591 #s(literal 1/4 binary64) %1584)
(fma.f64 %453 #s(literal -1/64 binary64) c)
(fma.f64 %456 #s(literal 1/64 binary64) c)
(fma.f64 %353 %375 %1673)
(fma.f64 %353 %375 %1597)
(fma.f64 %19 %48 %1316)
(fma.f64 %19 %51 %1316)
(fma.f64 %127 #s(literal -1/16 binary64) %1315)
(fma.f64 %459 #s(literal -1/4 binary64) c)
(fma.f64 %40 z %1316)
(fma.f64 %373 %350 %1673)
(fma.f64 %373 %350 %1597)
(fma.f64 #s(literal 1/16 binary64) %123 %1315)
(fma.f64 #s(literal 1/16 binary64) %11 %1316)
(fma.f64 #s(literal 1/4 binary64) %450 c)
(fma.f64 #s(literal 1/4 binary64) %370 %1673)
(fma.f64 #s(literal 1/4 binary64) %370 %1597)
(fma.f64 %123 #s(literal 1/16 binary64) %1315)
(fma.f64 %148 #s(literal 1/16 binary64) %1711)
(fma.f64 %450 #s(literal 1/4 binary64) c)
(fma.f64 %36 #s(literal -1/16 binary64) %1316)
(fma.f64 %370 #s(literal 1/4 binary64) %1673)
(fma.f64 %370 #s(literal 1/4 binary64) %1597)
(fma.f64 #s(literal 1 binary64) %43 %1316)
(fma.f64 %347 #s(literal -1/4 binary64) %1673)
(fma.f64 %347 #s(literal -1/4 binary64) %1597)
(fma.f64 b %1271 %1673)
(fma.f64 b %1271 %1597)
(fma.f64 b %381 %1673)
(fma.f64 b %381 %1597)
(fma.f64 b %1274 %1673)
(fma.f64 b %1274 %1597)
(fma.f64 b %383 %1673)
(fma.f64 b %383 %1597)
(fma.f64 a %378 %1673)
(fma.f64 a %378 %1597)
(fma.f64 #s(literal 16 binary64) %304 %1711)
(fma.f64 %11 #s(literal 1/16 binary64) %1316)
(fma.f64 t %58 %1316)
(fma.f64 t %42 %1316)
(fma.f64 z %40 %1316)
(fma.f64 %2 #s(literal 1 binary64) %1711)
(fma.f64 y %328 %1711)
(fma.f64 y x %1737)
(fma.f64 y x %1711)
(fma.f64 x %332 %1711)
(fma.f64 x y %1737)
(fma.f64 x y %1711)
(-.f64 (+.f64 c %1131) %376)
(-.f64 %1745 %121)
(-.f64 %1584 %1300)
(-.f64 %1597 %376)
(-.f64 %1315 %244)
(-.f64 %1131 %1659)
(-.f64 c %1238)
(-.f64 %464 %1656)
(-.f64 %131 %1659)
(-.f64 %43 (-.f64 %254 %1315))
(-.f64 %43 (fma.f64 %246 x %1659))
(-.f64 %43 (neg.f64 %1316))
(-.f64 %2 %1666)
(+.f64 (+.f64 c %43) %463)
(+.f64 %1745 %43)
(+.f64 (-.f64 c %1300) %2)
(+.f64 (/.f64 %1319 #s(literal 4 binary64)) %464)
(+.f64 %1584 %1262)
(+.f64 %1597 %447)
(+.f64 %1711 %2)
(+.f64 %1316 %43)
(+.f64 %1315 %131)
(+.f64 %207 %1711)
(+.f64 %1262 %1677)
(+.f64 %1262 %1584)
(+.f64 %447 %1673)
(+.f64 %447 %1597)
(+.f64 c %464)
(+.f64 %464 c)
(+.f64 %131 %1315)
(+.f64 %43 %1316)
(+.f64 %2 %1737)
(+.f64 %2 %1711)

%2 = (*.f64 x y)
%7 = (*.f64 a b)
%10 = (*.f64 t z)
%11 = (*.f64 #s(literal 1/16 binary64) %10)
%12 = (fma.f64 #s(literal 1/16 binary64) %10 %2)
%14 = (*.f64 #s(literal 1/4 binary64) %7)
%15 = (-.f64 %11 %14)
%24 = (- (+ (* x y) (/ (* z t) 16)) (/ (* a b) 4))
%25 = (approx %24 %15)
%26 = (+.f64 c %12)
%27 = (-.f64 %2 %14)
%28 = (approx %24 %27)
%32 = (*.f64 #s(literal -1/4 binary64) %7)
%33 = (approx %24 %32)
%34 = (*.f64 b a)
%35 = (fma.f64 %10 #s(literal -1/4 binary64) %34)
%36 = (fma.f64 y x c)
x
y
%2
z
t
a
b
%7
c
#s(literal 1/16 binary64)
%10
%11
%12
#s(literal 1/4 binary64)
%14
%15
%25
%26
%27
%28
#s(literal -1/4 binary64)
(approx (+ %24 c) %26)
%32
%33
%34
%35
%36
(fma.f64 %35 #s(literal -1/4 binary64) %36)
(+.f64 %28 c)
(+.f64 %25 c)
(+.f64 %33 c)

%2 = (neg.f64 y)
%3 = (neg.f64 %2)
%5 = (neg.f64 x)
%8 = (*.f64 y x)
%16 = (neg.f64 %8)
%22 = (*.f64 b a)
%24 = (*.f64 %22 #s(literal 2 binary64))
%26 = (*.f64 %24 #s(literal 1/2 binary64))
%27 = (*.f64 #s(literal 1 binary64) b)
%28 = (*.f64 %27 a)
%29 = (neg.f64 a)
%30 = (neg.f64 %29)
%31 = (*.f64 %30 b)
%32 = (*.f64 #s(literal 1/2 binary64) %22)
%33 = (*.f64 #s(literal 2 binary64) %32)
%34 = (neg.f64 b)
%35 = (*.f64 %29 %34)
%36 = (*.f64 %34 %29)
%37 = (*.f64 #s(literal 1 binary64) %22)
%38 = (*.f64 %22 #s(literal 1 binary64))
%39 = (*.f64 b %30)
%40 = (*.f64 b #s(literal 1 binary64))
%41 = (*.f64 a %40)
%42 = (*.f64 a b)
%43 = (pow.f64 %22 #s(literal 1 binary64))
%45 = (/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))
%46 = (neg.f64 %22)
%47 = (neg.f64 %46)
%50 = (*.f64 t z)
%55 = (neg.f64 z)
%56 = (neg.f64 %55)
%58 = (neg.f64 t)
%59 = (neg.f64 %58)
%75 = (neg.f64 %50)
%78 = (*.f64 #s(literal -1/4 binary64) t)
%79 = (*.f64 #s(literal -1/4 binary64) %78)
%81 = (*.f64 #s(literal -1/4 binary64) z)
%82 = (*.f64 #s(literal -1/4 binary64) %81)
%84 = (*.f64 #s(literal 1/16 binary64) t)
%87 = (*.f64 #s(literal 1/16 binary64) z)
%90 = (*.f64 #s(literal -1/16 binary64) t)
%94 = (*.f64 z #s(literal -1/16 binary64))
%97 = (/.f64 z #s(literal -16 binary64))
%103 = (*.f64 %50 #s(literal 1/16 binary64))
%105 = (*.f64 #s(literal -1/4 binary64) %50)
%109 = (*.f64 %55 #s(literal -1/16 binary64))
%111 = (*.f64 %81 #s(literal -1/4 binary64))
%114 = (*.f64 %78 #s(literal -1/4 binary64))
%147 = (*.f64 #s(literal 1/4 binary64) %50)
%150 = (*.f64 #s(literal 1/4 binary64) %105)
%152 = (*.f64 %147 #s(literal -1/4 binary64))
%155 = (*.f64 (*.f64 #s(literal -1/16 binary64) z) t)
%157 = (fma.f64 #s(literal 16 binary64) %8 %50)
%158 = (*.f64 %157 #s(literal 1 binary64))
%161 = (-.f64 (*.f64 #s(literal -16 binary64) %8) %50)
%165 = (fma.f64 %50 #s(literal 1/16 binary64) %8)
%170 = (*.f64 %8 #s(literal 1 binary64))
%175 = (*.f64 #s(literal 16 binary64) %8)
%198 = (-.f64 %155 %8)
%238 = (/.f64 %8 #s(literal 16 binary64))
%254 = (*.f64 #s(literal 16 binary64) x)
%255 = (/.f64 %254 #s(literal 16 binary64))
%259 = (/.f64 (*.f64 #s(literal 16 binary64) y) #s(literal 16 binary64))
%270 = (*.f64 #s(literal 1/4 binary64) b)
%272 = (*.f64 #s(literal -1/4 binary64) b)
%275 = (*.f64 #s(literal 1/4 binary64) a)
%277 = (*.f64 #s(literal -1/4 binary64) a)
%282 = (*.f64 #s(literal 1/4 binary64) %22)
%289 = (*.f64 %46 #s(literal -1 binary64))
%291 = (*.f64 %46 #s(literal 1 binary64))
%293 = (*.f64 %22 #s(literal -1 binary64))
%295 = (*.f64 #s(literal -1 binary64) %22)
%305 = (*.f64 #s(literal -1/4 binary64) %22)
%307 = (-.f64 %147 %22)
%309 = (*.f64 #s(literal 16 binary64) %22)
%310 = (fma.f64 #s(literal -4 binary64) %50 %309)
%313 = (*.f64 #s(literal -16 binary64) %22)
%314 = (fma.f64 #s(literal 4 binary64) %50 %313)
%317 = (fma.f64 #s(literal -1/4 binary64) %50 %22)
%318 = (*.f64 %317 #s(literal -1/4 binary64))
%350 = (fma.f64 %22 #s(literal -4 binary64) %50)
%353 = (*.f64 %22 #s(literal 4 binary64))
%354 = (-.f64 %353 %50)
%364 = (*.f64 #s(literal 16 binary64) b)
%365 = (*.f64 #s(literal -4 binary64) %50)
%368 = (*.f64 #s(literal -16 binary64) b)
%369 = (*.f64 #s(literal 4 binary64) %50)
%383 = (*.f64 %350 #s(literal -1/16 binary64))
%387 = (*.f64 #s(literal 1/4 binary64) %34)
%444 = (+ (* (* t z) 1/16) (* y x))
%447 = (* 1/4 (* b a))
%448 = (- %444 %447)
%449 = (approx %448 %318)
%453 = (fma.f64 #s(literal 16 binary64) c %157)
%455 = (fma.f64 y x c)
%456 = (fma.f64 %87 t %455)
%464 = (*.f64 #s(literal -16 binary64) c)
%465 = (-.f64 %464 %50)
%468 = (fma.f64 #s(literal 16 binary64) c %50)
%486 = (neg.f64 %455)
%493 = (neg.f64 c)
%496 = (-.f64 %155 c)
%499 = (-.f64 %155 %455)
%504 = (fma.f64 %84 z c)
%554 = (*.f64 #s(literal 16 binary64) c)
%564 = (fma.f64 #s(literal -4 binary64) %8 %22)
%566 = (*.f64 #s(literal 4 binary64) %8)
%567 = (-.f64 %566 %22)
%569 = (fma.f64 %272 a %8)
%583 = (-.f64 %282 %8)
%615 = (approx %448 %569)
%621 = (approx (- (+ %444 c) %447) %456)
%658 = (approx %448 %305)
%666 = (*.f64 %59 %81)
%728 = (-.f64 (*.f64 #s(literal 4 binary64) %165) %22)
%729 = (fma.f64 #s(literal 4 binary64) c %728)
%731 = (fma.f64 %272 a %455)
%732 = (fma.f64 %87 t %731)
%746 = (fma.f64 %157 #s(literal -4 binary64) %309)
%749 = (fma.f64 %157 #s(literal 4 binary64) %313)
%752 = (fma.f64 %157 #s(literal -1/4 binary64) %22)
%793 = (-.f64 %282 %165)
%796 = (-.f64 %282 c)
%803 = (fma.f64 %277 b c)
%804 = (fma.f64 y x %803)
%805 = (neg.f64 %804)
%814 = (+.f64 %455 %305)
%817 = (-.f64 %455 %282)
%819 = (-.f64 %305 %486)
%821 = (neg.f64 %805)
%835 = (-.f64 %504 %282)
%837 = (fma.f64 %87 t %803)
%1016 = (*.f64 %165 #s(literal 1 binary64))
%1019 = (-.f64 c %583)
%1027 = (fma.f64 %272 a %165)
%1074 = (+.f64 %615 c)
%1078 = (neg.f64 %615)
%1088 = (+.f64 %449 c)
%1092 = (neg.f64 %449)
%1102 = (+.f64 %658 c)
%1106 = (neg.f64 %658)
x
y
(*.f64 %3 x)
(*.f64 %2 %5)
(*.f64 %5 %2)
%8
(*.f64 x %3)
(*.f64 x y)
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(neg.f64 %16)
z
t
a
b
%26
%28
%31
%33
%35
%36
%37
%38
%39
%22
%41
%42
%43
%45
%47
c
#s(literal 1/16 binary64)
(*.f64 (*.f64 %50 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 #s(literal 1 binary64) z) t)
(*.f64 %56 t)
(*.f64 %59 z)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %50))
(*.f64 %55 %58)
(*.f64 %58 %55)
(*.f64 #s(literal 1 binary64) %50)
(*.f64 %50 #s(literal 1 binary64))
(*.f64 t (*.f64 z #s(literal 1 binary64)))
(*.f64 t %56)
%50
(*.f64 z %59)
(*.f64 z t)
(pow.f64 %50 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %50 #s(literal -1 binary64)))
(neg.f64 %75)
(*.f64 %79 z)
(*.f64 %82 t)
(*.f64 %56 %84)
(*.f64 %78 %81)
(*.f64 %87 t)
(*.f64 %90 %55)
(*.f64 %55 %90)
(*.f64 #s(literal -1/16 binary64) %75)
(*.f64 %58 %94)
(*.f64 %58 %97)
(*.f64 %81 %78)
(*.f64 %84 %56)
(*.f64 %84 z)
(*.f64 %75 #s(literal -1/16 binary64))
(*.f64 #s(literal 1 binary64) %103)
(*.f64 %105 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %105)
%103
(*.f64 #s(literal 1/16 binary64) %50)
(*.f64 t %109)
(*.f64 t %111)
(*.f64 t %87)
(*.f64 z %114)
(*.f64 z %84)
(pow.f64 %103 #s(literal 1 binary64))
(/.f64 (*.f64 %105 #s(literal -1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %105 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %75 #s(literal 1 binary64)) #s(literal -16 binary64))
(/.f64 (*.f64 %50 #s(literal -1 binary64)) #s(literal -16 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %105) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %105) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %50) #s(literal -16 binary64))
(/.f64 %75 #s(literal -16 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %103 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %75))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %50))
(/.f64 %105 #s(literal -4 binary64))
(/.f64 %50 #s(literal 16 binary64))
(neg.f64 (*.f64 %105 #s(literal 1/4 binary64)))
(neg.f64 (*.f64 #s(literal -1/4 binary64) %147))
(neg.f64 %150)
(neg.f64 %152)
(neg.f64 %155)
(*.f64 %158 #s(literal 1/16 binary64))
(*.f64 %161 #s(literal -1/16 binary64))
(*.f64 %157 #s(literal 1/16 binary64))
(*.f64 #s(literal 1/16 binary64) %157)
(pow.f64 %165 #s(literal 1 binary64))
(/.f64 (*.f64 %157 #s(literal -1 binary64)) #s(literal -16 binary64))
(/.f64 %158 #s(literal 16 binary64))
(/.f64 (fma.f64 %170 #s(literal -16 binary64) %75) #s(literal -16 binary64))
(/.f64 (fma.f64 %170 #s(literal 16 binary64) %50) #s(literal 16 binary64))
(/.f64 (fma.f64 %175 #s(literal -16 binary64) (*.f64 %75 #s(literal 16 binary64))) #s(literal -256 binary64))
(/.f64 (fma.f64 %175 #s(literal 16 binary64) (*.f64 %50 #s(literal 16 binary64))) #s(literal 256 binary64))
(/.f64 (fma.f64 %175 #s(literal -16 binary64) (*.f64 #s(literal 16 binary64) %75)) #s(literal -256 binary64))
(/.f64 (fma.f64 %175 #s(literal 16 binary64) (*.f64 #s(literal 16 binary64) %50)) #s(literal 256 binary64))
(/.f64 %161 #s(literal -16 binary64))
(/.f64 %157 #s(literal 16 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %165 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %161))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %157))
(neg.f64 %198)
(fma.f64 %79 z %170)
(fma.f64 %79 z %8)
(fma.f64 %82 t %170)
(fma.f64 %82 t %8)
(fma.f64 %3 x %103)
(fma.f64 %56 %84 %170)
(fma.f64 %56 %84 %8)
(fma.f64 %78 %81 %170)
(fma.f64 %78 %81 %8)
(fma.f64 %87 t %170)
(fma.f64 %87 t %8)
(fma.f64 %90 %55 %170)
(fma.f64 %90 %55 %8)
(fma.f64 %2 %5 %103)
(fma.f64 %55 %90 %170)
(fma.f64 %55 %90 %8)
(fma.f64 #s(literal -1/16 binary64) %75 %170)
(fma.f64 #s(literal -1/16 binary64) %75 %8)
(fma.f64 %58 %94 %170)
(fma.f64 %58 %94 %8)
(fma.f64 %58 %97 %170)
(fma.f64 %58 %97 %8)
(fma.f64 %81 %78 %170)
(fma.f64 %81 %78 %8)
(fma.f64 %84 %56 %170)
(fma.f64 %84 %56 %8)
(fma.f64 %84 z %170)
(fma.f64 %84 z %8)
(fma.f64 %5 %2 %103)
(fma.f64 %175 #s(literal 1/16 binary64) %103)
(fma.f64 %75 #s(literal -1/16 binary64) %170)
(fma.f64 %75 #s(literal -1/16 binary64) %8)
(fma.f64 #s(literal 1 binary64) %103 %170)
(fma.f64 #s(literal 1 binary64) %103 %8)
(fma.f64 %105 #s(literal -1/4 binary64) %170)
(fma.f64 %105 #s(literal -1/4 binary64) %8)
(fma.f64 #s(literal -1/4 binary64) %105 %170)
(fma.f64 #s(literal -1/4 binary64) %105 %8)
(fma.f64 #s(literal 16 binary64) %238 %103)
(fma.f64 %50 #s(literal 1/16 binary64) %170)
%165
(fma.f64 #s(literal 1/16 binary64) %50 %170)
(fma.f64 #s(literal 1/16 binary64) %50 %8)
(fma.f64 t %109 %170)
(fma.f64 t %109 %8)
(fma.f64 t %111 %170)
(fma.f64 t %111 %8)
(fma.f64 t %87 %170)
(fma.f64 t %87 %8)
(fma.f64 z %114 %170)
(fma.f64 z %114 %8)
(fma.f64 z %84 %170)
(fma.f64 z %84 %8)
(fma.f64 %8 #s(literal 1 binary64) %103)
(fma.f64 y %255 %103)
(fma.f64 y x %103)
(fma.f64 x %259 %103)
(fma.f64 x %3 %103)
(fma.f64 x y %103)
(-.f64 %170 %155)
(-.f64 %103 %16)
(-.f64 %8 %155)
(+.f64 %170 %103)
(+.f64 %103 %170)
(+.f64 %103 %8)
(+.f64 %8 %103)
#s(literal 1/4 binary64)
(*.f64 %30 %270)
(*.f64 %272 %29)
(*.f64 %29 %272)
(*.f64 %275 b)
(*.f64 %277 %34)
(*.f64 %270 a)
(*.f64 %34 %277)
(*.f64 %46 #s(literal -1/4 binary64))
(*.f64 #s(literal 1 binary64) %282)
(*.f64 #s(literal -1/4 binary64) %46)
%282
(*.f64 %22 #s(literal 1/4 binary64))
(*.f64 b %275)
(*.f64 a %270)
(pow.f64 %282 #s(literal 1 binary64))
(/.f64 %289 #s(literal 4 binary64))
(/.f64 %291 #s(literal -4 binary64))
(/.f64 %293 #s(literal -4 binary64))
(/.f64 %295 #s(literal -4 binary64))
(/.f64 %46 #s(literal -4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %282 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %46))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %22))
(/.f64 %22 #s(literal 4 binary64))
(neg.f64 %305)
(*.f64 %307 #s(literal 1/4 binary64))
(*.f64 %310 #s(literal -1/64 binary64))
(*.f64 %314 #s(literal 1/64 binary64))
%318
(*.f64 #s(literal -1/4 binary64) %317)
(*.f64 #s(literal 1/4 binary64) %307)
(pow.f64 %318 #s(literal 1 binary64))
(/.f64 (*.f64 %317 #s(literal -1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %317 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %317) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %317) #s(literal -4 binary64))
(/.f64 (/.f64 %310 #s(literal -16 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %310 #s(literal -4 binary64)) #s(literal 16 binary64))
(/.f64 (/.f64 %310 #s(literal 4 binary64)) #s(literal -16 binary64))
(/.f64 (/.f64 %310 #s(literal 16 binary64)) #s(literal -4 binary64))
(/.f64 (/.f64 %314 #s(literal -16 binary64)) #s(literal -4 binary64))
(/.f64 (/.f64 %314 #s(literal -4 binary64)) #s(literal -16 binary64))
(/.f64 (/.f64 %314 #s(literal 4 binary64)) #s(literal 16 binary64))
(/.f64 (/.f64 %314 #s(literal 16 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %305 #s(literal -16 binary64) %75) #s(literal -16 binary64))
(/.f64 (fma.f64 %305 #s(literal 16 binary64) %50) #s(literal 16 binary64))
(/.f64 (neg.f64 %350) #s(literal -16 binary64))
(/.f64 (neg.f64 %354) #s(literal 16 binary64))
(/.f64 %307 #s(literal 4 binary64))
(/.f64 %350 #s(literal 16 binary64))
(/.f64 %354 #s(literal -16 binary64))
(/.f64 %310 #s(literal -64 binary64))
(/.f64 %314 #s(literal 64 binary64))
(/.f64 (fma.f64 %364 a %365) #s(literal -64 binary64))
(/.f64 (fma.f64 %368 a %369) #s(literal 64 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %318 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %317))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %307))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -64 binary64) %310))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 64 binary64) %314))
(/.f64 %317 #s(literal -4 binary64))
(neg.f64 %383)
(fma.f64 %79 z %305)
(fma.f64 %82 t %305)
(fma.f64 %387 a %103)
(fma.f64 %291 #s(literal 1/4 binary64) %103)
(fma.f64 %56 %84 %305)
(fma.f64 %78 %81 %305)
(fma.f64 %87 t %305)
(fma.f64 %90 %55 %305)
(fma.f64 %272 a %103)
(fma.f64 %55 %90 %305)
(fma.f64 %29 %270 %103)
(fma.f64 #s(literal -1/16 binary64) %75 %305)
(fma.f64 %58 %94 %305)
(fma.f64 %58 %97 %305)
(fma.f64 %275 %34 %103)
(fma.f64 %277 b %103)
(fma.f64 %81 %78 %305)
(fma.f64 %84 %56 %305)
(fma.f64 %84 z %305)
(fma.f64 %270 %29 %103)
(fma.f64 %34 %275 %103)
(fma.f64 %75 #s(literal -1/16 binary64) %305)
(fma.f64 %46 #s(literal 1/4 binary64) %103)
(fma.f64 #s(literal 1 binary64) %305 %103)
(fma.f64 #s(literal 1 binary64) %103 %305)
(fma.f64 %105 #s(literal -1/4 binary64) %305)
(fma.f64 #s(literal -1/4 binary64) %105 %305)
(fma.f64 #s(literal -1/4 binary64) %22 %103)
(fma.f64 #s(literal 1/4 binary64) %46 %103)
(fma.f64 %50 #s(literal 1/16 binary64) %305)
(fma.f64 #s(literal 1/16 binary64) %50 %305)
(fma.f64 %22 #s(literal -1/4 binary64) %103)
(fma.f64 b %277 %103)
(fma.f64 a %387 %103)
(fma.f64 a %272 %103)
(fma.f64 t %109 %305)
(fma.f64 t %111 %305)
(fma.f64 t %87 %305)
(fma.f64 z %114 %305)
(fma.f64 z %84 %305)
(-.f64 (/.f64 %147 #s(literal 4 binary64)) %282)
(-.f64 (/.f64 %365 #s(literal -64 binary64)) (/.f64 %313 #s(literal -64 binary64)))
(-.f64 (/.f64 %369 #s(literal 64 binary64)) (/.f64 %309 #s(literal 64 binary64)))
(-.f64 %305 %150)
(-.f64 %305 %152)
(-.f64 %305 %155)
(-.f64 %103 %282)
(+.f64 %305 %103)
(+.f64 %103 %305)
(pow.f64 %449 #s(literal 1 binary64))
%449
(/.f64 #s(literal 1 binary64) (pow.f64 %449 #s(literal -1 binary64)))
(*.f64 %453 #s(literal 1/16 binary64))
(pow.f64 %456 #s(literal 1 binary64))
(/.f64 (fma.f64 %455 #s(literal -16 binary64) %75) #s(literal -16 binary64))
(/.f64 (fma.f64 %455 #s(literal 16 binary64) %50) #s(literal 16 binary64))
(/.f64 (fma.f64 #s(literal -16 binary64) c %161) #s(literal -16 binary64))
(/.f64 (fma.f64 #s(literal -16 binary64) %8 %465) #s(literal -16 binary64))
(/.f64 (fma.f64 %254 y %468) #s(literal 16 binary64))
(/.f64 (-.f64 (*.f64 %455 #s(literal 16 binary64)) %75) #s(literal 16 binary64))
(/.f64 (-.f64 (*.f64 %455 #s(literal -16 binary64)) %50) #s(literal -16 binary64))
(/.f64 (-.f64 %464 %157) #s(literal -16 binary64))
(/.f64 (neg.f64 %453) #s(literal -16 binary64))
(/.f64 %453 #s(literal 16 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %456 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %453))
(neg.f64 (-.f64 %486 %103))
(neg.f64 (+.f64 %486 %155))
(neg.f64 (/.f64 %453 #s(literal -16 binary64)))
(neg.f64 (-.f64 %493 %165))
(neg.f64 (-.f64 %496 %8))
(neg.f64 %499)
(fma.f64 %79 z %455)
(fma.f64 %82 t %455)
(fma.f64 %158 #s(literal 1/16 binary64) c)
(fma.f64 %3 x %504)
(fma.f64 %56 %84 %455)
(fma.f64 %78 %81 %455)
%456
(fma.f64 %90 %55 %455)
(fma.f64 %2 %5 %504)
(fma.f64 %55 %90 %455)
(fma.f64 #s(literal -1/16 binary64) %75 %455)
(fma.f64 %465 #s(literal -1/16 binary64) %8)
(fma.f64 %468 #s(literal 1/16 binary64) %8)
(fma.f64 %58 %94 %455)
(fma.f64 %58 %97 %455)
(fma.f64 %161 #s(literal -1/16 binary64) c)
(fma.f64 %81 %78 %455)
(fma.f64 %84 %56 %455)
(fma.f64 %84 z %455)
(fma.f64 %5 %2 %504)
(fma.f64 %157 #s(literal 1/16 binary64) c)
(fma.f64 %175 #s(literal 1/16 binary64) %504)
(fma.f64 %75 #s(literal -1/16 binary64) %455)
(fma.f64 #s(literal 1 binary64) %103 %455)
(fma.f64 %105 #s(literal -1/4 binary64) %455)
(fma.f64 #s(literal -1/4 binary64) %105 %455)
(fma.f64 #s(literal 16 binary64) %238 %504)
(fma.f64 %50 #s(literal 1/16 binary64) %455)
(fma.f64 #s(literal 1/16 binary64) %157 c)
(fma.f64 #s(literal 1/16 binary64) %50 %455)
(fma.f64 t %109 %455)
(fma.f64 t %111 %455)
(fma.f64 t %87 %455)
(fma.f64 z %114 %455)
(fma.f64 z %84 %455)
(fma.f64 %8 #s(literal 1 binary64) %504)
(fma.f64 y %255 %504)
(fma.f64 y x %504)
(fma.f64 x %259 %504)
(fma.f64 x %3 %504)
(fma.f64 x y %504)
(-.f64 %504 %16)
(-.f64 %455 %155)
(-.f64 %165 %493)
(-.f64 %103 %486)
(-.f64 c %198)
(-.f64 %8 (+.f64 %493 %155))
(-.f64 %8 (-.f64 %493 %103))
(-.f64 %8 %496)
(+.f64 (+.f64 c %170) %103)
(+.f64 (/.f64 %554 #s(literal 16 binary64)) %165)
(+.f64 %170 %504)
(+.f64 %504 %8)
(+.f64 %455 %103)
(+.f64 %165 c)
(+.f64 %103 %455)
(+.f64 c %165)
(+.f64 %8 %504)
(*.f64 %564 #s(literal -1/4 binary64))
(*.f64 %567 #s(literal 1/4 binary64))
(pow.f64 %569 #s(literal 1 binary64))
(/.f64 (neg.f64 %564) #s(literal 4 binary64))
(/.f64 (neg.f64 %567) #s(literal -4 binary64))
(/.f64 %564 #s(literal -4 binary64))
(/.f64 %567 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %569 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %564))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %567))
(neg.f64 %583)
(fma.f64 %387 a %8)
(fma.f64 %291 #s(literal 1/4 binary64) %8)
(fma.f64 %3 x %305)
%569
(fma.f64 %2 %5 %305)
(fma.f64 %29 %270 %8)
(fma.f64 %275 %34 %8)
(fma.f64 %277 b %8)
(fma.f64 %270 %29 %8)
(fma.f64 %34 %275 %8)
(fma.f64 %5 %2 %305)
(fma.f64 %46 #s(literal 1/4 binary64) %8)
(fma.f64 #s(literal 1 binary64) %305 %8)
(fma.f64 #s(literal -1/4 binary64) %22 %8)
(fma.f64 #s(literal 1/4 binary64) %46 %8)
(fma.f64 %22 #s(literal -1/4 binary64) %8)
(fma.f64 b %277 %8)
(fma.f64 a %387 %8)
(fma.f64 a %272 %8)
(fma.f64 y x %305)
(fma.f64 x %3 %305)
(fma.f64 x y %305)
(-.f64 (/.f64 (*.f64 #s(literal -4 binary64) %8) #s(literal -4 binary64)) %282)
(-.f64 (/.f64 %566 #s(literal 4 binary64)) %282)
(-.f64 %305 %16)
(-.f64 %8 %282)
(+.f64 %305 %8)
(+.f64 %8 %305)
(pow.f64 %615 #s(literal 1 binary64))
%615
(/.f64 #s(literal 1 binary64) (pow.f64 %615 #s(literal -1 binary64)))
#s(literal -1/4 binary64)
(pow.f64 %621 #s(literal 1 binary64))
%621
(/.f64 #s(literal 1 binary64) (pow.f64 %621 #s(literal -1 binary64)))
(*.f64 %387 a)
(*.f64 %291 #s(literal 1/4 binary64))
(*.f64 %272 a)
(*.f64 %29 %270)
(*.f64 %275 %34)
(*.f64 %277 b)
(*.f64 %270 %29)
(*.f64 %34 %275)
(*.f64 %46 #s(literal 1/4 binary64))
(*.f64 #s(literal 1 binary64) %305)
%305
(*.f64 #s(literal 1/4 binary64) %46)
(*.f64 %22 #s(literal -1/4 binary64))
(*.f64 b %277)
(*.f64 a %387)
(*.f64 a %272)
(pow.f64 %305 #s(literal 1 binary64))
(/.f64 %289 #s(literal -4 binary64))
(/.f64 %291 #s(literal 4 binary64))
(/.f64 %293 #s(literal 4 binary64))
(/.f64 %295 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %46) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %46) #s(literal 4 binary64))
(/.f64 %46 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %305 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %46))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %22))
(/.f64 %22 #s(literal -4 binary64))
(neg.f64 %282)
(pow.f64 %658 #s(literal 1 binary64))
%658
(/.f64 #s(literal 1 binary64) (pow.f64 %658 #s(literal -1 binary64)))
%26
%28
%31
%33
%35
%36
%37
%38
%39
%22
%41
%42
%43
%45
%47
(pow.f64 %317 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %317 #s(literal -1 binary64)))
(neg.f64 %307)
(fma.f64 %24 #s(literal 1/2 binary64) %666)
(fma.f64 %24 #s(literal 1/2 binary64) %105)
(fma.f64 %27 a %666)
(fma.f64 %27 a %105)
(fma.f64 %30 b %666)
(fma.f64 %30 b %105)
(fma.f64 %78 z %22)
(fma.f64 %87 (*.f64 t #s(literal -4 binary64)) %22)
(fma.f64 #s(literal 2 binary64) %32 %666)
(fma.f64 #s(literal 2 binary64) %32 %105)
(fma.f64 %29 %34 %666)
(fma.f64 %29 %34 %105)
(fma.f64 %81 t %22)
(fma.f64 %84 (*.f64 z #s(literal -4 binary64)) %22)
(fma.f64 %34 %29 %666)
(fma.f64 %34 %29 %105)
(fma.f64 %75 #s(literal 1/4 binary64) %22)
(fma.f64 #s(literal -4 binary64) %103 %22)
(fma.f64 #s(literal 1 binary64) %22 %666)
(fma.f64 #s(literal 1 binary64) %22 %105)
%317
(fma.f64 #s(literal 1/4 binary64) %75 %22)
(fma.f64 %103 #s(literal -4 binary64) %22)
(fma.f64 %50 #s(literal -1/4 binary64) %22)
(fma.f64 #s(literal 1/16 binary64) %365 %22)
(fma.f64 %22 #s(literal 1 binary64) %666)
(fma.f64 %22 #s(literal 1 binary64) %105)
(fma.f64 b %30 %666)
(fma.f64 b %30 %105)
(fma.f64 b a %666)
(fma.f64 b a %105)
(fma.f64 a %40 %666)
(fma.f64 a %40 %105)
(fma.f64 a b %666)
(fma.f64 a b %105)
(fma.f64 t (*.f64 %87 #s(literal -4 binary64)) %22)
(fma.f64 t %81 %22)
(fma.f64 z (*.f64 %84 #s(literal -4 binary64)) %22)
(fma.f64 z %78 %22)
(-.f64 %105 %46)
(-.f64 %22 %147)
(+.f64 %105 %22)
(+.f64 %22 %666)
(+.f64 %22 %105)
(pow.f64 %455 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %455 #s(literal -1 binary64)))
(neg.f64 %486)
(fma.f64 %3 x c)
(fma.f64 %2 %5 c)
(fma.f64 %5 %2 c)
%455
(fma.f64 x %3 c)
(fma.f64 x y c)
(-.f64 c %16)
(-.f64 %8 %493)
(+.f64 c %8)
(+.f64 %8 c)
(*.f64 %729 #s(literal 1/4 binary64))
(pow.f64 %732 #s(literal 1 binary64))
(/.f64 (fma.f64 %455 #s(literal -4 binary64) %317) #s(literal -4 binary64))
(/.f64 (fma.f64 %455 #s(literal 4 binary64) %307) #s(literal 4 binary64))
(/.f64 (fma.f64 %455 #s(literal -64 binary64) %310) #s(literal -64 binary64))
(/.f64 (fma.f64 %455 #s(literal 64 binary64) %314) #s(literal 64 binary64))
(/.f64 (fma.f64 %456 #s(literal 4 binary64) %46) #s(literal 4 binary64))
(/.f64 (fma.f64 %456 #s(literal -4 binary64) %22) #s(literal -4 binary64))
(/.f64 (fma.f64 c #s(literal -64 binary64) %746) #s(literal -64 binary64))
(/.f64 (fma.f64 c #s(literal 64 binary64) %749) #s(literal 64 binary64))
(/.f64 (fma.f64 c #s(literal -4 binary64) %752) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %456 #s(literal -4 binary64)) %46) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %456 #s(literal 4 binary64)) %22) #s(literal 4 binary64))
(/.f64 (-.f64 %554 (-.f64 %353 %157)) #s(literal 16 binary64))
(/.f64 (-.f64 (*.f64 c #s(literal -64 binary64)) (fma.f64 %368 a (*.f64 %157 #s(literal 4 binary64)))) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 c #s(literal 64 binary64)) (fma.f64 %364 a (*.f64 %157 #s(literal -4 binary64)))) #s(literal 64 binary64))
(/.f64 (fma.f64 %453 #s(literal 4 binary64) %313) #s(literal 64 binary64))
(/.f64 (fma.f64 %453 #s(literal -4 binary64) %309) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 %453 #s(literal -4 binary64)) %313) #s(literal -64 binary64))
(/.f64 (-.f64 (*.f64 %453 #s(literal 4 binary64)) %309) #s(literal 64 binary64))
(/.f64 (neg.f64 %729) #s(literal -4 binary64))
(/.f64 %729 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %732 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %729))
(neg.f64 (+.f64 %499 %282))
(neg.f64 (+.f64 %793 %493))
(neg.f64 (+.f64 %198 %796))
(neg.f64 (fma.f64 %350 #s(literal -1/16 binary64) %486))
(neg.f64 (/.f64 %729 #s(literal -4 binary64)))
(neg.f64 (-.f64 %805 %103))
(neg.f64 (-.f64 %793 c))
(neg.f64 (-.f64 %383 %455))
(neg.f64 (-.f64 %282 %456))
(fma.f64 %79 z %814)
(fma.f64 %79 z %731)
(fma.f64 %79 z %817)
(fma.f64 %79 z %819)
(fma.f64 %79 z %821)
(fma.f64 %79 z %804)
(fma.f64 %82 t %814)
(fma.f64 %82 t %731)
(fma.f64 %82 t %817)
(fma.f64 %82 t %819)
(fma.f64 %82 t %821)
(fma.f64 %82 t %804)
(fma.f64 %387 a %456)
(fma.f64 (*.f64 %728 #s(literal 1 binary64)) #s(literal 1/4 binary64) c)
(fma.f64 %158 #s(literal 1/16 binary64) %803)
(fma.f64 %291 #s(literal 1/4 binary64) %456)
(fma.f64 %3 x %835)
(fma.f64 %3 x %837)
(fma.f64 %56 %84 %814)
(fma.f64 %56 %84 %731)
(fma.f64 %56 %84 %817)
(fma.f64 %56 %84 %819)
(fma.f64 %56 %84 %821)
(fma.f64 %56 %84 %804)
(fma.f64 %78 %81 %814)
(fma.f64 %78 %81 %731)
(fma.f64 %78 %81 %817)
(fma.f64 %78 %81 %819)
(fma.f64 %78 %81 %821)
(fma.f64 %78 %81 %804)
(fma.f64 %87 t %814)
%732
(fma.f64 %87 t %817)
(fma.f64 %87 t %819)
(fma.f64 %87 t %821)
(fma.f64 %87 t %804)
(fma.f64 %90 %55 %814)
(fma.f64 %90 %55 %731)
(fma.f64 %90 %55 %817)
(fma.f64 %90 %55 %819)
(fma.f64 %90 %55 %821)
(fma.f64 %90 %55 %804)
(fma.f64 %272 a %456)
(fma.f64 %2 %5 %835)
(fma.f64 %2 %5 %837)
(fma.f64 %55 %90 %814)
(fma.f64 %55 %90 %731)
(fma.f64 %55 %90 %817)
(fma.f64 %55 %90 %819)
(fma.f64 %55 %90 %821)
(fma.f64 %55 %90 %804)
(fma.f64 %29 %270 %456)
(fma.f64 %307 #s(literal 1/4 binary64) %455)
(fma.f64 #s(literal -1/16 binary64) %75 %814)
(fma.f64 #s(literal -1/16 binary64) %75 %731)
(fma.f64 #s(literal -1/16 binary64) %75 %817)
(fma.f64 #s(literal -1/16 binary64) %75 %819)
(fma.f64 #s(literal -1/16 binary64) %75 %821)
(fma.f64 #s(literal -1/16 binary64) %75 %804)
(fma.f64 %453 #s(literal 1/16 binary64) %305)
(fma.f64 %465 #s(literal -1/16 binary64) %569)
(fma.f64 %468 #s(literal 1/16 binary64) %569)
(fma.f64 %310 #s(literal -1/64 binary64) %455)
(fma.f64 %314 #s(literal 1/64 binary64) %455)
(fma.f64 %746 #s(literal -1/64 binary64) c)
(fma.f64 %749 #s(literal 1/64 binary64) c)
(fma.f64 %58 %94 %814)
(fma.f64 %58 %94 %731)
(fma.f64 %58 %94 %817)
(fma.f64 %58 %94 %819)
(fma.f64 %58 %94 %821)
(fma.f64 %58 %94 %804)
(fma.f64 %58 %97 %814)
(fma.f64 %58 %97 %731)
(fma.f64 %58 %97 %817)
(fma.f64 %58 %97 %819)
(fma.f64 %58 %97 %821)
(fma.f64 %58 %97 %804)
(fma.f64 %752 #s(literal -1/4 binary64) c)
(fma.f64 %161 #s(literal -1/16 binary64) %803)
(fma.f64 %275 %34 %456)
(fma.f64 %277 b %456)
(fma.f64 %81 %78 %814)
(fma.f64 %81 %78 %731)
(fma.f64 %81 %78 %817)
(fma.f64 %81 %78 %819)
(fma.f64 %81 %78 %821)
(fma.f64 %81 %78 %804)
(fma.f64 %84 %56 %814)
(fma.f64 %84 %56 %731)
(fma.f64 %84 %56 %817)
(fma.f64 %84 %56 %819)
(fma.f64 %84 %56 %821)
(fma.f64 %84 %56 %804)
(fma.f64 %84 z %814)
(fma.f64 %84 z %731)
(fma.f64 %84 z %817)
(fma.f64 %84 z %819)
(fma.f64 %84 z %821)
(fma.f64 %84 z %804)
(fma.f64 %270 %29 %456)
(fma.f64 %34 %275 %456)
(fma.f64 %5 %2 %835)
(fma.f64 %5 %2 %837)
(fma.f64 %157 #s(literal 1/16 binary64) %803)
(fma.f64 %175 #s(literal 1/16 binary64) %837)
(fma.f64 %728 #s(literal 1/4 binary64) c)
(fma.f64 %75 #s(literal -1/16 binary64) %814)
(fma.f64 %75 #s(literal -1/16 binary64) %731)
(fma.f64 %75 #s(literal -1/16 binary64) %817)
(fma.f64 %75 #s(literal -1/16 binary64) %819)
(fma.f64 %75 #s(literal -1/16 binary64) %821)
(fma.f64 %75 #s(literal -1/16 binary64) %804)
(fma.f64 %46 #s(literal 1/4 binary64) %456)
(fma.f64 #s(literal 1 binary64) %305 %456)
(fma.f64 #s(literal 1 binary64) %103 %814)
(fma.f64 #s(literal 1 binary64) %103 %731)
(fma.f64 #s(literal 1 binary64) %103 %817)
(fma.f64 #s(literal 1 binary64) %103 %819)
(fma.f64 #s(literal 1 binary64) %103 %821)
(fma.f64 #s(literal 1 binary64) %103 %804)
(fma.f64 %105 #s(literal -1/4 binary64) %814)
(fma.f64 %105 #s(literal -1/4 binary64) %731)
(fma.f64 %105 #s(literal -1/4 binary64) %817)
(fma.f64 %105 #s(literal -1/4 binary64) %819)
(fma.f64 %105 #s(literal -1/4 binary64) %821)
(fma.f64 %105 #s(literal -1/4 binary64) %804)
(fma.f64 %317 #s(literal -1/4 binary64) %455)
(fma.f64 #s(literal -1/4 binary64) %105 %814)
(fma.f64 #s(literal -1/4 binary64) %105 %731)
(fma.f64 #s(literal -1/4 binary64) %105 %817)
(fma.f64 #s(literal -1/4 binary64) %105 %819)
(fma.f64 #s(literal -1/4 binary64) %105 %821)
(fma.f64 #s(literal -1/4 binary64) %105 %804)
(fma.f64 #s(literal -1/4 binary64) %317 %455)
(fma.f64 #s(literal -1/4 binary64) %22 %456)
(fma.f64 #s(literal 16 binary64) %238 %837)
(fma.f64 #s(literal 1/4 binary64) %307 %455)
(fma.f64 #s(literal 1/4 binary64) %728 c)
(fma.f64 #s(literal 1/4 binary64) %46 %456)
(fma.f64 %50 #s(literal 1/16 binary64) %814)
(fma.f64 %50 #s(literal 1/16 binary64) %731)
(fma.f64 %50 #s(literal 1/16 binary64) %817)
(fma.f64 %50 #s(literal 1/16 binary64) %819)
(fma.f64 %50 #s(literal 1/16 binary64) %821)
(fma.f64 %50 #s(literal 1/16 binary64) %804)
(fma.f64 #s(literal 1/16 binary64) %157 %803)
(fma.f64 #s(literal 1/16 binary64) %50 %814)
(fma.f64 #s(literal 1/16 binary64) %50 %731)
(fma.f64 #s(literal 1/16 binary64) %50 %817)
(fma.f64 #s(literal 1/16 binary64) %50 %819)
(fma.f64 #s(literal 1/16 binary64) %50 %821)
(fma.f64 #s(literal 1/16 binary64) %50 %804)
(fma.f64 %22 #s(literal -1/4 binary64) %456)
(fma.f64 b %277 %456)
(fma.f64 a %387 %456)
(fma.f64 a %272 %456)
(fma.f64 t %109 %814)
(fma.f64 t %109 %731)
(fma.f64 t %109 %817)
(fma.f64 t %109 %819)
(fma.f64 t %109 %821)
(fma.f64 t %109 %804)
(fma.f64 t %111 %814)
(fma.f64 t %111 %731)
(fma.f64 t %111 %817)
(fma.f64 t %111 %819)
(fma.f64 t %111 %821)
(fma.f64 t %111 %804)
(fma.f64 t %87 %814)
(fma.f64 t %87 %731)
(fma.f64 t %87 %817)
(fma.f64 t %87 %819)
(fma.f64 t %87 %821)
(fma.f64 t %87 %804)
(fma.f64 z %114 %814)
(fma.f64 z %114 %731)
(fma.f64 z %114 %817)
(fma.f64 z %114 %819)
(fma.f64 z %114 %821)
(fma.f64 z %114 %804)
(fma.f64 z %84 %814)
(fma.f64 z %84 %731)
(fma.f64 z %84 %817)
(fma.f64 z %84 %819)
(fma.f64 z %84 %821)
(fma.f64 z %84 %804)
(fma.f64 %8 #s(literal 1 binary64) %837)
(fma.f64 y %255 %837)
(fma.f64 y x %835)
(fma.f64 y x %837)
(fma.f64 x %259 %837)
(fma.f64 x %3 %835)
(fma.f64 x %3 %837)
(fma.f64 x y %835)
(fma.f64 x y %837)
(-.f64 (+.f64 c %1016) %282)
(-.f64 %1019 %155)
(-.f64 %837 %16)
(-.f64 %803 %198)
(-.f64 %1016 %796)
(-.f64 %504 %583)
(-.f64 %455 %383)
(-.f64 %456 %282)
(-.f64 %1027 %493)
(-.f64 %165 (-.f64 %493 %305))
(-.f64 %165 %796)
(-.f64 %318 %486)
(-.f64 %103 (-.f64 %486 %305))
(-.f64 %103 (+.f64 %486 %282))
(-.f64 %103 %805)
(-.f64 c (-.f64 %198 %305))
(-.f64 c (-.f64 %16 %318))
(-.f64 c %793)
(-.f64 %8 (-.f64 %496 %305))
(-.f64 %8 (+.f64 %496 %282))
(-.f64 %8 (fma.f64 %90 z %796))
(+.f64 %814 %103)
(+.f64 %1019 %103)
(+.f64 (/.f64 (*.f64 #s(literal 4 binary64) c) #s(literal 4 binary64)) %1027)
(+.f64 %837 %8)
(+.f64 %804 %103)
(+.f64 %803 %165)
(+.f64 %170 %837)
(+.f64 %504 %569)
(+.f64 %455 %318)
(+.f64 %305 %456)
(+.f64 %456 %305)
(+.f64 %1027 c)
(+.f64 %165 %803)
(+.f64 %318 %455)
(+.f64 %103 %814)
(+.f64 %103 %731)
(+.f64 %103 %817)
(+.f64 %103 %819)
(+.f64 %103 %821)
(+.f64 %103 %804)
(+.f64 c %1027)
(+.f64 %8 %835)
(+.f64 %8 %837)
(pow.f64 %1074 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1074 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1078 c))
(neg.f64 (neg.f64 %1074))
(-.f64 %615 %493)
(-.f64 c %1078)
%1074
(+.f64 c (neg.f64 %1078))
(+.f64 c %615)
(pow.f64 %1088 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1088 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1092 c))
(neg.f64 (neg.f64 %1088))
(-.f64 %449 %493)
(-.f64 c %1092)
%1088
(+.f64 c (neg.f64 %1092))
(+.f64 c %449)
(pow.f64 %1102 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1102 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1106 c))
(neg.f64 (neg.f64 %1102))
(-.f64 %658 %493)
(-.f64 c %1106)
%1102
(+.f64 c (neg.f64 %1106))
(+.f64 c %658)

%6 = (*.f64 a b)
%9 = (*.f64 t z)
%10 = (*.f64 #s(literal 1/16 binary64) %9)
%12 = (*.f64 #s(literal 1/16 binary64) z)
%13 = (*.f64 b a)
%14 = (fma.f64 %9 #s(literal -1/4 binary64) %13)
%15 = (fma.f64 y x c)
%17 = (* t z)
%19 = (* x y)
%21 = (approx (+ (* 1/16 %17) %19) %10)
%22 = (* y x)
%24 = (approx (+ %22 c) c)
%27 = (* b a)
%29 = (approx (+ (* %17 -1/4) %27) %6)
%30 = (fma.f64 %12 t %15)
%38 = (+.f64 c %21)
x
y
z
t
a
b
%6
c
#s(literal 1/16 binary64)
%9
%10
#s(literal -1/4 binary64)
%12
%13
%14
%15
%21
%24
%29
%30
(approx (- (+ (+ (* %17 1/16) %22) c) (* 1/4 %27)) %30)
%38
(approx (+ (- (+ %19 (/ (* z t) 16)) (/ (* a b) 4)) c) %38)
(fma.f64 %29 #s(literal -1/4 binary64) %15)
(fma.f64 %14 #s(literal -1/4 binary64) %24)

%6 = (*.f64 b a)
%8 = (*.f64 %6 #s(literal 2 binary64))
%10 = (*.f64 %8 #s(literal 1/2 binary64))
%12 = (*.f64 #s(literal 1 binary64) a)
%13 = (*.f64 %12 b)
%14 = (neg.f64 a)
%15 = (neg.f64 %14)
%16 = (*.f64 %15 b)
%17 = (*.f64 #s(literal 1/2 binary64) %6)
%18 = (*.f64 #s(literal 2 binary64) %17)
%19 = (neg.f64 b)
%20 = (*.f64 %14 %19)
%21 = (*.f64 %19 %14)
%22 = (*.f64 #s(literal 1 binary64) %6)
%23 = (*.f64 %6 #s(literal 1 binary64))
%24 = (*.f64 a #s(literal 1 binary64))
%25 = (*.f64 b %24)
%26 = (*.f64 b %15)
%27 = (*.f64 a b)
%28 = (pow.f64 %6 #s(literal 1 binary64))
%31 = (/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
%32 = (neg.f64 %6)
%33 = (neg.f64 %32)
%36 = (*.f64 t z)
%39 = (neg.f64 z)
%40 = (neg.f64 %39)
%42 = (neg.f64 t)
%43 = (neg.f64 %42)
%57 = (neg.f64 %36)
%60 = (*.f64 #s(literal -1/4 binary64) t)
%61 = (*.f64 #s(literal -1/4 binary64) %60)
%63 = (*.f64 #s(literal -1/4 binary64) z)
%64 = (*.f64 #s(literal -1/4 binary64) %63)
%66 = (*.f64 #s(literal 1/16 binary64) t)
%68 = (*.f64 #s(literal 1/16 binary64) z)
%72 = (*.f64 #s(literal -1/16 binary64) t)
%74 = (*.f64 #s(literal -1/16 binary64) z)
%83 = (*.f64 %36 #s(literal 1/16 binary64))
%85 = (*.f64 #s(literal -1/4 binary64) %36)
%91 = (*.f64 %39 #s(literal -1/16 binary64))
%93 = (*.f64 %63 #s(literal -1/4 binary64))
%96 = (*.f64 %60 #s(literal -1/4 binary64))
%130 = (*.f64 #s(literal 1/4 binary64) %36)
%137 = (*.f64 %72 z)
%153 = (fma.f64 #s(literal -1/4 binary64) %36 %6)
%157 = (-.f64 %130 %6)
%159 = (*.f64 %43 %63)
%208 = (fma.f64 y x c)
%212 = (neg.f64 %208)
%214 = (neg.f64 x)
%215 = (neg.f64 y)
%219 = (*.f64 y x)
%220 = (neg.f64 c)
%222 = (neg.f64 %219)
%226 = (* y x)
%227 = (* t z)
%231 = (approx (+ %226 (* %227 1/16)) %83)
%235 = (neg.f64 %231)
%238 = (approx (+ %226 c) c)
%242 = (neg.f64 %238)
%244 = (* b a)
%248 = (approx (- %244 (/ %227 4)) %6)
%252 = (*.f64 #s(literal -16 binary64) %208)
%253 = (-.f64 %252 %36)
%255 = (fma.f64 #s(literal 16 binary64) %208 %36)
%257 = (fma.f64 #s(literal 16 binary64) %219 %36)
%258 = (fma.f64 #s(literal 16 binary64) c %257)
%260 = (fma.f64 %68 t %208)
%263 = (-.f64 (*.f64 #s(literal -16 binary64) %219) %36)
%301 = (fma.f64 %66 z c)
%332 = (fma.f64 %68 t %219)
%340 = (*.f64 %219 #s(literal 1 binary64))
%363 = (- (- c (/ %227 -16)) (- (/ %244 4) %226))
%364 = (approx %363 %260)
%368 = (+.f64 %231 c)
%379 = (approx %363 %368)
%383 = (fma.f64 %248 #s(literal -1/4 binary64) %208)
%389 = (fma.f64 %248 #s(literal -1/4 binary64) c)
%390 = (neg.f64 %389)
%393 = (*.f64 #s(literal 1/4 binary64) %248)
%398 = (neg.f64 %248)
%400 = (neg.f64 %390)
%412 = (fma.f64 %248 #s(literal -1/4 binary64) %219)
%414 = (*.f64 %248 #s(literal -1/4 binary64))
%434 = (fma.f64 %153 #s(literal -1/4 binary64) %238)
%440 = (*.f64 #s(literal 1/4 binary64) %153)
%445 = (*.f64 #s(literal -1/4 binary64) a)
%446 = (fma.f64 %445 b %238)
%448 = (*.f64 #s(literal -1/4 binary64) %6)
%449 = (-.f64 %448 %242)
%453 = (*.f64 #s(literal 1/4 binary64) %14)
%454 = (fma.f64 %66 z %238)
%456 = (-.f64 %83 %242)
%458 = (*.f64 %14 #s(literal 1/4 binary64))
%461 = (*.f64 %32 #s(literal 1 binary64))
%476 = (*.f64 #s(literal 1/4 binary64) a)
%479 = (*.f64 #s(literal -1/4 binary64) b)
%488 = (*.f64 #s(literal 1/4 binary64) b)
%542 = (/.f64 %14 #s(literal 4 binary64))
%545 = (/.f64 a #s(literal -4 binary64))
%562 = (*.f64 %153 #s(literal -1/4 binary64))
x
y
z
t
a
b
%10
%13
%16
%18
%20
%21
%22
%23
%25
%26
%6
%27
%28
%31
%33
c
#s(literal 1/16 binary64)
(*.f64 (*.f64 %36 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %40 t)
(*.f64 %43 z)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %36))
(*.f64 %39 %42)
(*.f64 %42 %39)
(*.f64 #s(literal 1 binary64) %36)
(*.f64 %36 #s(literal 1 binary64))
(*.f64 t %40)
%36
(*.f64 z %43)
(*.f64 z t)
(pow.f64 %36 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %36 #s(literal -1 binary64)))
(neg.f64 %57)
(*.f64 %61 z)
(*.f64 %64 t)
(*.f64 %40 %66)
(*.f64 %43 %68)
(*.f64 %60 %63)
(*.f64 %72 %39)
(*.f64 %74 %42)
(*.f64 %39 %72)
(*.f64 #s(literal -1/16 binary64) %57)
(*.f64 %42 %74)
(*.f64 %63 %60)
(*.f64 %66 %40)
(*.f64 %66 z)
(*.f64 %57 #s(literal -1/16 binary64))
(*.f64 #s(literal 1 binary64) %83)
(*.f64 %85 #s(literal -1/4 binary64))
(*.f64 %68 %43)
(*.f64 %68 t)
(*.f64 #s(literal -1/4 binary64) %85)
%83
(*.f64 #s(literal 1/16 binary64) %36)
(*.f64 t %91)
(*.f64 t %93)
(*.f64 t %68)
(*.f64 z %96)
(*.f64 z %66)
(pow.f64 %83 #s(literal 1 binary64))
(/.f64 (*.f64 %85 #s(literal -1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %85 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %57 #s(literal 1 binary64)) #s(literal -16 binary64))
(/.f64 (*.f64 %36 #s(literal -1 binary64)) #s(literal -16 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %85) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %85) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %36) #s(literal -16 binary64))
(/.f64 %57 #s(literal -16 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %83 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %57))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %36))
(/.f64 %85 #s(literal -4 binary64))
(/.f64 %36 #s(literal 16 binary64))
(neg.f64 (*.f64 %85 #s(literal 1/4 binary64)))
(neg.f64 (*.f64 #s(literal -1/4 binary64) %130))
(neg.f64 (*.f64 #s(literal 1/4 binary64) %85))
(neg.f64 (*.f64 %130 #s(literal -1/4 binary64)))
(neg.f64 %137)
#s(literal -1/4 binary64)
(*.f64 #s(literal 1 binary64) %68)
%68
(*.f64 z #s(literal 1/16 binary64))
(pow.f64 %68 #s(literal 1 binary64))
(/.f64 (*.f64 z #s(literal -1 binary64)) #s(literal -16 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) z) #s(literal -16 binary64))
(/.f64 %39 #s(literal -16 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %68 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) z))
(/.f64 z #s(literal 16 binary64))
(neg.f64 %74)
%10
%13
%16
%18
%20
%21
%22
%23
%25
%26
%6
%27
%28
%31
%33
(pow.f64 %153 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %153 #s(literal -1 binary64)))
(neg.f64 %157)
(fma.f64 %8 #s(literal 1/2 binary64) %159)
(fma.f64 %8 #s(literal 1/2 binary64) %85)
(fma.f64 %12 b %159)
(fma.f64 %12 b %85)
(fma.f64 %15 b %159)
(fma.f64 %15 b %85)
(fma.f64 %60 z %6)
(fma.f64 #s(literal 2 binary64) %17 %159)
(fma.f64 #s(literal 2 binary64) %17 %85)
(fma.f64 %14 %19 %159)
(fma.f64 %14 %19 %85)
(fma.f64 %63 t %6)
(fma.f64 %66 (*.f64 z #s(literal -4 binary64)) %6)
(fma.f64 %19 %14 %159)
(fma.f64 %19 %14 %85)
(fma.f64 #s(literal -4 binary64) %83 %6)
(fma.f64 %57 #s(literal 1/4 binary64) %6)
(fma.f64 #s(literal 1 binary64) %6 %159)
(fma.f64 #s(literal 1 binary64) %6 %85)
(fma.f64 #s(literal 1/4 binary64) %57 %6)
(fma.f64 %68 (*.f64 t #s(literal -4 binary64)) %6)
%153
(fma.f64 %83 #s(literal -4 binary64) %6)
(fma.f64 %36 #s(literal -1/4 binary64) %6)
(fma.f64 #s(literal 1/16 binary64) (*.f64 #s(literal -4 binary64) %36) %6)
(fma.f64 %6 #s(literal 1 binary64) %159)
(fma.f64 %6 #s(literal 1 binary64) %85)
(fma.f64 b %24 %159)
(fma.f64 b %24 %85)
(fma.f64 b %15 %159)
(fma.f64 b %15 %85)
(fma.f64 b a %159)
(fma.f64 b a %85)
(fma.f64 a b %159)
(fma.f64 a b %85)
(fma.f64 t (*.f64 %68 #s(literal -4 binary64)) %6)
(fma.f64 t %63 %6)
(fma.f64 z (*.f64 %66 #s(literal -4 binary64)) %6)
(fma.f64 z %60 %6)
(-.f64 %85 %32)
(-.f64 %6 %130)
(+.f64 %85 %6)
(+.f64 %6 %159)
(+.f64 %6 %85)
(pow.f64 %208 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %208 #s(literal -1 binary64)))
(neg.f64 %212)
(fma.f64 %214 %215 c)
(fma.f64 %215 %214 c)
%208
(fma.f64 x y c)
(-.f64 %219 %220)
(-.f64 c %222)
(+.f64 %219 c)
(+.f64 c %219)
(pow.f64 %231 #s(literal 1 binary64))
%231
(/.f64 #s(literal 1 binary64) (pow.f64 %231 #s(literal -1 binary64)))
(neg.f64 %235)
(pow.f64 %238 #s(literal 1 binary64))
%238
(/.f64 #s(literal 1 binary64) (pow.f64 %238 #s(literal -1 binary64)))
(neg.f64 %242)
(pow.f64 %248 #s(literal 1 binary64))
%248
(/.f64 #s(literal 1 binary64) (pow.f64 %248 #s(literal -1 binary64)))
(*.f64 %253 #s(literal -1/16 binary64))
(*.f64 %255 #s(literal 1/16 binary64))
(*.f64 %258 #s(literal 1/16 binary64))
(pow.f64 %260 #s(literal 1 binary64))
(/.f64 (fma.f64 c #s(literal -16 binary64) %263) #s(literal -16 binary64))
(/.f64 (neg.f64 %253) #s(literal 16 binary64))
(/.f64 (neg.f64 %255) #s(literal -16 binary64))
(/.f64 (neg.f64 %258) #s(literal -16 binary64))
(/.f64 %253 #s(literal -16 binary64))
(/.f64 %255 #s(literal 16 binary64))
(/.f64 %258 #s(literal 16 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %260 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %253))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %255))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %258))
(neg.f64 (-.f64 %137 %208))
(fma.f64 %61 z %208)
(fma.f64 %64 t %208)
(fma.f64 (*.f64 %257 #s(literal 1 binary64)) #s(literal 1/16 binary64) c)
(fma.f64 %40 %66 %208)
(fma.f64 %43 %68 %208)
(fma.f64 %60 %63 %208)
(fma.f64 %72 %39 %208)
(fma.f64 %74 %42 %208)
(fma.f64 %39 %72 %208)
(fma.f64 #s(literal -1/16 binary64) %57 %208)
(fma.f64 %42 %74 %208)
(fma.f64 %263 #s(literal -1/16 binary64) c)
(fma.f64 %63 %60 %208)
(fma.f64 %66 %40 %208)
(fma.f64 %66 z %208)
(fma.f64 %214 %215 %301)
(fma.f64 %215 %214 %301)
(fma.f64 %257 #s(literal 1/16 binary64) c)
(fma.f64 (*.f64 #s(literal 16 binary64) %219) #s(literal 1/16 binary64) %301)
(fma.f64 %57 #s(literal -1/16 binary64) %208)
(fma.f64 #s(literal 1 binary64) %83 %208)
(fma.f64 %85 #s(literal -1/4 binary64) %208)
(fma.f64 #s(literal 16 binary64) (/.f64 %219 #s(literal 16 binary64)) %301)
(fma.f64 %219 #s(literal 1 binary64) %301)
(fma.f64 %68 %43 %208)
%260
(fma.f64 #s(literal -1/4 binary64) %85 %208)
(fma.f64 %36 #s(literal 1/16 binary64) %208)
(fma.f64 #s(literal 1/16 binary64) %257 c)
(fma.f64 #s(literal 1/16 binary64) %36 %208)
(fma.f64 t %91 %208)
(fma.f64 t %93 %208)
(fma.f64 t %68 %208)
(fma.f64 z %96 %208)
(fma.f64 z %66 %208)
(fma.f64 y (/.f64 (*.f64 #s(literal 16 binary64) x) #s(literal 16 binary64)) %301)
(fma.f64 y x %301)
(fma.f64 x (/.f64 (*.f64 #s(literal 16 binary64) y) #s(literal 16 binary64)) %301)
(fma.f64 x y %301)
(-.f64 %301 %222)
(-.f64 %332 %220)
(-.f64 %219 (-.f64 %137 c))
(-.f64 %208 %137)
(-.f64 %83 %212)
(-.f64 c (-.f64 %137 %219))
(+.f64 (+.f64 c %340) %83)
(+.f64 (/.f64 %252 #s(literal -16 binary64)) %83)
(+.f64 (/.f64 (*.f64 #s(literal 16 binary64) %208) #s(literal 16 binary64)) %83)
(+.f64 (/.f64 (*.f64 #s(literal 16 binary64) c) #s(literal 16 binary64)) %332)
(+.f64 %301 %219)
(+.f64 %340 %301)
(+.f64 %332 c)
(+.f64 %219 %301)
(+.f64 %208 %83)
(+.f64 %83 %208)
(+.f64 c %332)
(pow.f64 %364 #s(literal 1 binary64))
%364
(/.f64 #s(literal 1 binary64) (pow.f64 %364 #s(literal -1 binary64)))
(pow.f64 %368 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %368 #s(literal -1 binary64)))
(neg.f64 (-.f64 %220 %231))
(neg.f64 (neg.f64 %368))
(-.f64 %231 %220)
(-.f64 c %235)
%368
(+.f64 c %231)
(pow.f64 %379 #s(literal 1 binary64))
%379
(/.f64 #s(literal 1 binary64) (pow.f64 %379 #s(literal -1 binary64)))
(pow.f64 %383 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %383 #s(literal -1 binary64)))
(neg.f64 (fma.f64 #s(literal 1/4 binary64) %248 %212))
(neg.f64 (-.f64 %390 %219))
(neg.f64 (-.f64 %393 %208))
(neg.f64 (neg.f64 %383))
(fma.f64 %398 #s(literal 1/4 binary64) %208)
(fma.f64 %214 %215 %400)
(fma.f64 %214 %215 %389)
(fma.f64 %215 %214 %400)
(fma.f64 %215 %214 %389)
(fma.f64 #s(literal 1/4 binary64) %398 %208)
%383
(fma.f64 #s(literal -1/4 binary64) %248 %208)
(fma.f64 y x %400)
(fma.f64 y x %389)
(fma.f64 x y %400)
(fma.f64 x y %389)
(-.f64 %389 %222)
(-.f64 %412 %220)
(-.f64 %414 %212)
(-.f64 %219 %390)
(-.f64 %208 %393)
(-.f64 c (fma.f64 %214 y %393))
(-.f64 c (-.f64 %222 %414))
(-.f64 c (neg.f64 %412))
(+.f64 %389 %219)
(+.f64 %412 c)
(+.f64 %414 %208)
(+.f64 %219 %400)
(+.f64 %219 %389)
(+.f64 %208 (*.f64 (neg.f64 %398) #s(literal -1/4 binary64)))
(+.f64 %208 %414)
(+.f64 c %412)
(pow.f64 %434 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %434 #s(literal -1 binary64)))
(neg.f64 (fma.f64 #s(literal 1/4 binary64) %153 %242))
(neg.f64 (-.f64 %440 %238))
(neg.f64 (neg.f64 %434))
(fma.f64 %61 z %446)
(fma.f64 %61 z %449)
(fma.f64 %64 t %446)
(fma.f64 %64 t %449)
(fma.f64 %453 b %454)
(fma.f64 %453 b %456)
(fma.f64 %458 b %454)
(fma.f64 %458 b %456)
(fma.f64 %461 #s(literal 1/4 binary64) %454)
(fma.f64 %461 #s(literal 1/4 binary64) %456)
(fma.f64 %40 %66 %446)
(fma.f64 %40 %66 %449)
(fma.f64 (fma.f64 #s(literal 4 binary64) %36 (*.f64 #s(literal -16 binary64) %6)) #s(literal 1/64 binary64) %238)
(fma.f64 %43 %68 %446)
(fma.f64 %43 %68 %449)
(fma.f64 %445 b %454)
(fma.f64 %445 b %456)
(fma.f64 %60 %63 %446)
(fma.f64 %60 %63 %449)
(fma.f64 %476 %19 %454)
(fma.f64 %476 %19 %456)
(fma.f64 %479 a %454)
(fma.f64 %479 a %456)
(fma.f64 %72 %39 %446)
(fma.f64 %72 %39 %449)
(fma.f64 %74 %42 %446)
(fma.f64 %74 %42 %449)
(fma.f64 %39 %72 %446)
(fma.f64 %39 %72 %449)
(fma.f64 %14 %488 %454)
(fma.f64 %14 %488 %456)
(fma.f64 %157 #s(literal 1/4 binary64) %238)
(fma.f64 #s(literal -1/16 binary64) %57 %446)
(fma.f64 #s(literal -1/16 binary64) %57 %449)
(fma.f64 (fma.f64 #s(literal -4 binary64) %36 (*.f64 #s(literal 16 binary64) %6)) #s(literal -1/64 binary64) %238)
(fma.f64 %42 %74 %446)
(fma.f64 %42 %74 %449)
(fma.f64 %63 %60 %446)
(fma.f64 %63 %60 %449)
(fma.f64 %488 %14 %454)
(fma.f64 %488 %14 %456)
(fma.f64 %66 %40 %446)
(fma.f64 %66 %40 %449)
(fma.f64 %66 z %446)
(fma.f64 %66 z %449)
(fma.f64 %19 %476 %454)
(fma.f64 %19 %476 %456)
(fma.f64 %32 #s(literal 1/4 binary64) %454)
(fma.f64 %32 #s(literal 1/4 binary64) %456)
(fma.f64 %57 #s(literal -1/16 binary64) %446)
(fma.f64 %57 #s(literal -1/16 binary64) %449)
(fma.f64 #s(literal 1 binary64) %448 %454)
(fma.f64 #s(literal 1 binary64) %448 %456)
(fma.f64 #s(literal 1 binary64) %83 %446)
(fma.f64 #s(literal 1 binary64) %83 %449)
(fma.f64 %85 #s(literal -1/4 binary64) %446)
(fma.f64 %85 #s(literal -1/4 binary64) %449)
(fma.f64 #s(literal 1/4 binary64) %157 %238)
(fma.f64 #s(literal 1/4 binary64) %32 %454)
(fma.f64 #s(literal 1/4 binary64) %32 %456)
%434
(fma.f64 %68 %43 %446)
(fma.f64 %68 %43 %449)
(fma.f64 %68 t %446)
(fma.f64 %68 t %449)
(fma.f64 #s(literal -1/4 binary64) %85 %446)
(fma.f64 #s(literal -1/4 binary64) %85 %449)
(fma.f64 #s(literal -1/4 binary64) %153 %238)
(fma.f64 #s(literal -1/4 binary64) %6 %454)
(fma.f64 #s(literal -1/4 binary64) %6 %456)
(fma.f64 %36 #s(literal 1/16 binary64) %446)
(fma.f64 %36 #s(literal 1/16 binary64) %449)
(fma.f64 #s(literal 1/16 binary64) %36 %446)
(fma.f64 #s(literal 1/16 binary64) %36 %449)
(fma.f64 %6 #s(literal -1/4 binary64) %454)
(fma.f64 %6 #s(literal -1/4 binary64) %456)
(fma.f64 b %453 %454)
(fma.f64 b %453 %456)
(fma.f64 b %458 %454)
(fma.f64 b %458 %456)
(fma.f64 b %542 %454)
(fma.f64 b %542 %456)
(fma.f64 b %545 %454)
(fma.f64 b %545 %456)
(fma.f64 b %445 %454)
(fma.f64 b %445 %456)
(fma.f64 a %479 %454)
(fma.f64 a %479 %456)
(fma.f64 t %91 %446)
(fma.f64 t %91 %449)
(fma.f64 t %93 %446)
(fma.f64 t %93 %449)
(fma.f64 t %68 %446)
(fma.f64 t %68 %449)
(fma.f64 z %96 %446)
(fma.f64 z %96 %449)
(fma.f64 z %66 %446)
(fma.f64 z %66 %449)
(-.f64 %562 %242)
(-.f64 %238 %440)
(+.f64 (+.f64 %238 %83) %448)
(+.f64 (+.f64 %238 %448) %83)
(+.f64 %562 %238)
(+.f64 %448 %454)
(+.f64 %448 %456)
(+.f64 %238 %562)
(+.f64 %83 %446)
(+.f64 %83 %449)

%2 = (*.f64 x y)
%7 = (*.f64 a b)
%11 = (*.f64 #s(literal -1/4 binary64) %7)
%12 = (*.f64 #s(literal 1/16 binary64) z)
%13 = (* y x)
%14 = (+ %13 c)
%15 = (approx %14 c)
%16 = (* t z)
%19 = (* b a)
%21 = (approx (+ (* %16 -1/4) %19) %7)
%22 = (approx %14 %2)
%29 = (- (+ (+ (* %16 1/16) %13) c) (* 1/4 %19))
%32 = (fma.f64 %12 t %22)
%35 = (fma.f64 %12 t %15)
x
y
%2
z
t
a
b
%7
c
#s(literal 1/16 binary64)
#s(literal -1/4 binary64)
%11
%12
%15
%21
%22
(approx %29 %11)
(fma.f64 %21 #s(literal -1/4 binary64) %15)
%32
(approx %29 %32)
(fma.f64 %21 #s(literal -1/4 binary64) %22)
%35
(approx %29 %35)

%2 = (neg.f64 x)
%3 = (neg.f64 y)
%7 = (*.f64 y x)
%20 = (neg.f64 a)
%21 = (neg.f64 b)
%24 = (*.f64 b a)
%30 = (neg.f64 %24)
%35 = (*.f64 #s(literal -1/4 binary64) b)
%36 = (*.f64 %35 a)
%38 = (*.f64 #s(literal 1/4 binary64) a)
%40 = (*.f64 #s(literal 1/4 binary64) b)
%42 = (*.f64 #s(literal -1/4 binary64) a)
%58 = (neg.f64 z)
%62 = (*.f64 #s(literal 1/16 binary64) z)
%68 = (*.f64 #s(literal -1/16 binary64) z)
%70 = (* y x)
%71 = (+ %70 c)
%72 = (approx %71 c)
%77 = (neg.f64 %72)
%79 = (* b a)
%80 = (* t z)
%84 = (approx (+ %79 (* %80 -1/4)) %24)
%89 = (neg.f64 %84)
%91 = (approx %71 %7)
%96 = (neg.f64 %91)
%104 = (- (+ (* %80 1/16) c) (- (* 1/4 %79) %70))
%105 = (approx %104 %36)
%110 = (fma.f64 %84 #s(literal -1/4 binary64) %72)
%115 = (*.f64 #s(literal 1/4 binary64) %84)
%119 = (*.f64 %84 #s(literal -1/4 binary64))
%128 = (*.f64 t z)
%129 = (fma.f64 %128 #s(literal 1/16 binary64) %91)
%134 = (*.f64 #s(literal -1/16 binary64) t)
%135 = (*.f64 %134 z)
%140 = (*.f64 #s(literal 1/16 binary64) t)
%142 = (neg.f64 t)
%143 = (*.f64 %142 z)
%148 = (*.f64 %128 #s(literal 1/16 binary64))
%159 = (approx %104 %129)
%164 = (fma.f64 %84 #s(literal -1/4 binary64) %91)
%180 = (fma.f64 %128 #s(literal 1/16 binary64) %72)
%204 = (approx %104 %180)
x
y
(*.f64 %2 %3)
(*.f64 %3 %2)
(*.f64 #s(literal 1 binary64) %7)
%7
(*.f64 x y)
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 (*.f64 %3 x))
z
t
a
b
(*.f64 %20 %21)
(*.f64 %21 %20)
(*.f64 #s(literal 1 binary64) %24)
%24
(*.f64 a b)
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(neg.f64 %30)
c
#s(literal 1/16 binary64)
#s(literal -1/4 binary64)
%36
(*.f64 %38 %21)
(*.f64 %20 %40)
(*.f64 %42 b)
(*.f64 %40 %20)
(*.f64 %21 %38)
(*.f64 %30 #s(literal 1/4 binary64))
(*.f64 #s(literal 1 binary64) %36)
(*.f64 #s(literal 1/4 binary64) %30)
(*.f64 %24 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %24)
(*.f64 b %42)
(*.f64 a %35)
(pow.f64 %36 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %36 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal 1/4 binary64) %24))
(*.f64 %58 #s(literal -1/16 binary64))
(*.f64 #s(literal -1/16 binary64) %58)
(*.f64 #s(literal 1 binary64) %62)
%62
(*.f64 z #s(literal 1/16 binary64))
(pow.f64 %62 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %62 #s(literal -1 binary64)))
(neg.f64 %68)
(*.f64 #s(literal 1 binary64) %72)
(pow.f64 %72 #s(literal 1 binary64))
%72
(/.f64 #s(literal 1 binary64) (pow.f64 %72 #s(literal -1 binary64)))
(neg.f64 %77)
(*.f64 #s(literal 1 binary64) %84)
(pow.f64 %84 #s(literal 1 binary64))
%84
(/.f64 #s(literal 1 binary64) (pow.f64 %84 #s(literal -1 binary64)))
(neg.f64 %89)
(*.f64 #s(literal 1 binary64) %91)
(pow.f64 %91 #s(literal 1 binary64))
%91
(/.f64 #s(literal 1 binary64) (pow.f64 %91 #s(literal -1 binary64)))
(neg.f64 %96)
(*.f64 #s(literal 1 binary64) %105)
(pow.f64 %105 #s(literal 1 binary64))
%105
(/.f64 #s(literal 1 binary64) (pow.f64 %105 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %110)
(pow.f64 %110 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %110 #s(literal -1 binary64)))
(neg.f64 (-.f64 %115 %72))
(fma.f64 %89 #s(literal 1/4 binary64) %72)
(fma.f64 #s(literal 1 binary64) %119 %72)
(fma.f64 #s(literal 1 binary64) %72 %119)
(fma.f64 #s(literal 1/4 binary64) %89 %72)
%110
(fma.f64 #s(literal -1/4 binary64) %84 %72)
(-.f64 %119 %77)
(-.f64 %72 %115)
(+.f64 %119 %72)
(+.f64 %72 %119)
(*.f64 #s(literal 1 binary64) %129)
(pow.f64 %129 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %129 #s(literal -1 binary64)))
(neg.f64 (-.f64 %135 %91))
(fma.f64 %134 %58 %91)
(fma.f64 %58 %134 %91)
(fma.f64 %140 z %91)
(fma.f64 %143 #s(literal -1/16 binary64) %91)
(fma.f64 %68 %142 %91)
(fma.f64 #s(literal -1/16 binary64) %143 %91)
(fma.f64 %142 %68 %91)
(fma.f64 #s(literal 1 binary64) %148 %91)
(fma.f64 #s(literal 1 binary64) %91 %148)
%129
(fma.f64 %62 t %91)
(fma.f64 #s(literal 1/16 binary64) %128 %91)
(fma.f64 t %62 %91)
(fma.f64 z %140 %91)
(-.f64 %148 %96)
(-.f64 %91 %135)
(+.f64 %148 %91)
(+.f64 %91 %148)
(*.f64 #s(literal 1 binary64) %159)
(pow.f64 %159 #s(literal 1 binary64))
%159
(/.f64 #s(literal 1 binary64) (pow.f64 %159 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %164)
(pow.f64 %164 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %164 #s(literal -1 binary64)))
(neg.f64 (-.f64 %115 %91))
(fma.f64 %89 #s(literal 1/4 binary64) %91)
(fma.f64 #s(literal 1 binary64) %119 %91)
(fma.f64 #s(literal 1 binary64) %91 %119)
(fma.f64 #s(literal 1/4 binary64) %89 %91)
%164
(fma.f64 #s(literal -1/4 binary64) %84 %91)
(-.f64 %119 %96)
(-.f64 %91 %115)
(+.f64 %119 %91)
(+.f64 %91 %119)
(*.f64 #s(literal 1 binary64) %180)
(pow.f64 %180 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %180 #s(literal -1 binary64)))
(neg.f64 (-.f64 %135 %72))
(fma.f64 %134 %58 %72)
(fma.f64 %58 %134 %72)
(fma.f64 %140 z %72)
(fma.f64 %143 #s(literal -1/16 binary64) %72)
(fma.f64 %68 %142 %72)
(fma.f64 #s(literal -1/16 binary64) %143 %72)
(fma.f64 %142 %68 %72)
(fma.f64 #s(literal 1 binary64) %148 %72)
(fma.f64 #s(literal 1 binary64) %72 %148)
%180
(fma.f64 %62 t %72)
(fma.f64 #s(literal 1/16 binary64) %128 %72)
(fma.f64 t %62 %72)
(fma.f64 z %140 %72)
(-.f64 %148 %77)
(-.f64 %72 %135)
(+.f64 %148 %72)
(+.f64 %72 %148)
(*.f64 #s(literal 1 binary64) %204)
(pow.f64 %204 #s(literal 1 binary64))
%204
(/.f64 #s(literal 1 binary64) (pow.f64 %204 #s(literal -1 binary64)))