%1 = (*.f64 x x)
%3 = (*.f64 y y)
%4 = (+.f64 %1 %3)
%6 = (*.f64 z z)
%7 = (+.f64 %4 %6)
%9 = (/.f64 %7 #s(literal 3 binary64))
x
%1
y
%3
%4
z
%6
%7
#s(literal 3 binary64)
%9
(sqrt.f64 %9)

%1 = (fabs.f64 x)
%2 = (neg.f64 %1)
%3 = (neg.f64 %2)
%4 = (neg.f64 %3)
%9 = (neg.f64 x)
%11 = (*.f64 x x)
%14 = (*.f64 %11 %11)
%26 = (*.f64 %9 x)
%48 = (fabs.f64 y)
%49 = (neg.f64 %48)
%50 = (neg.f64 %49)
%51 = (neg.f64 %50)
%58 = (neg.f64 y)
%60 = (*.f64 y y)
%62 = (*.f64 %60 %60)
%71 = (*.f64 %58 y)
%92 = (fma.f64 y y %11)
%102 = (neg.f64 %92)
%104 = (*.f64 %3 %1)
%132 = (fabs.f64 z)
%133 = (neg.f64 %132)
%134 = (neg.f64 %133)
%135 = (neg.f64 %134)
%142 = (neg.f64 z)
%144 = (*.f64 z z)
%146 = (*.f64 %144 %144)
%155 = (*.f64 %142 z)
%176 = (fma.f64 z z %92)
%177 = (*.f64 %176 #s(literal 2 binary64))
%184 = (neg.f64 %176)
%185 = (*.f64 %184 #s(literal 1 binary64))
%188 = (fma.f64 z z %11)
%190 = (fma.f64 z z %60)
%215 = (-.f64 %26 %144)
%223 = (neg.f64 %190)
%232 = (sqrt.f64 #s(literal 3 binary64))
%236 = (/.f64 %176 %232)
%238 = (sqrt.f64 #s(literal 1/3 binary64))
%240 = (*.f64 #s(literal 1/3 binary64) %176)
%241 = (fabs.f64 %176)
%243 = (sqrt.f64 (*.f64 %240 %241))
%245 = (*.f64 %92 #s(literal 1 binary64))
%246 = (fma.f64 z z %245)
%247 = (fabs.f64 %246)
%249 = (*.f64 #s(literal 3 binary64) %241)
%255 = (*.f64 #s(literal 3 binary64) %176)
%257 = (sqrt.f64 %240)
%258 = (neg.f64 %257)
%261 = (*.f64 %176 #s(literal -1/3 binary64))
%265 = (sqrt.f64 %241)
%267 = (sqrt.f64 (*.f64 #s(literal 1/3 binary64) %240))
%273 = (*.f64 %176 %176)
%275 = (/.f64 %273 #s(literal 9 binary64))
%280 = (*.f64 #s(literal 3 binary64) %92)
%281 = (*.f64 #s(literal 3 binary64) %144)
%291 = (*.f64 %60 #s(literal 3 binary64))
%300 = (*.f64 %26 #s(literal 3 binary64))
%303 = (*.f64 %11 #s(literal 3 binary64))
%306 = (*.f64 %188 #s(literal -3 binary64))
%309 = (*.f64 %188 #s(literal 3 binary64))
%321 = (*.f64 %144 #s(literal -1 binary64))
%322 = (*.f64 %92 #s(literal -1 binary64))
%323 = (*.f64 %322 #s(literal -3 binary64))
%326 = (*.f64 %60 #s(literal 1/3 binary64))
%327 = (fma.f64 %326 #s(literal 3 binary64) %11)
%328 = (*.f64 %327 #s(literal -3 binary64))
%331 = (*.f64 %11 #s(literal 1/3 binary64))
%332 = (fma.f64 %331 #s(literal 3 binary64) %60)
%333 = (*.f64 %332 #s(literal -3 binary64))
%336 = (*.f64 %331 #s(literal 3 binary64))
%337 = (-.f64 %336 %71)
%338 = (*.f64 %337 #s(literal -3 binary64))
%341 = (fma.f64 %60 #s(literal 3 binary64) %303)
%342 = (*.f64 %341 #s(literal -3 binary64))
%346 = (fma.f64 %11 #s(literal 3 binary64) %291)
%347 = (*.f64 %346 #s(literal -3 binary64))
%350 = (*.f64 #s(literal 3 binary64) %11)
%351 = (fma.f64 %60 #s(literal 3 binary64) %350)
%352 = (*.f64 %351 #s(literal -3 binary64))
%355 = (*.f64 #s(literal 3 binary64) %60)
%356 = (fma.f64 %11 #s(literal 3 binary64) %355)
%357 = (*.f64 %356 #s(literal -3 binary64))
%360 = (*.f64 #s(literal 3 binary64) %71)
%361 = (-.f64 %303 %360)
%362 = (*.f64 %361 #s(literal -3 binary64))
%365 = (*.f64 %245 #s(literal -3 binary64))
%368 = (*.f64 %102 #s(literal -3 binary64))
%371 = (*.f64 %92 #s(literal -3 binary64))
%374 = (*.f64 %144 #s(literal 1 binary64))
%375 = (*.f64 %322 #s(literal 3 binary64))
%378 = (*.f64 %327 #s(literal 3 binary64))
%381 = (*.f64 %332 #s(literal 3 binary64))
%384 = (*.f64 %337 #s(literal 3 binary64))
%387 = (*.f64 %341 #s(literal 3 binary64))
%391 = (*.f64 %346 #s(literal 3 binary64))
%394 = (*.f64 %351 #s(literal 3 binary64))
%397 = (*.f64 %356 #s(literal 3 binary64))
%400 = (*.f64 %361 #s(literal 3 binary64))
%403 = (*.f64 %245 #s(literal 3 binary64))
%406 = (*.f64 %102 #s(literal 3 binary64))
%431 = (*.f64 #s(literal 3 binary64) z)
%450 = (*.f64 %321 #s(literal -3 binary64))
%453 = (*.f64 %374 #s(literal -3 binary64))
%456 = (*.f64 %155 #s(literal -3 binary64))
%459 = (*.f64 %144 #s(literal -3 binary64))
%462 = (*.f64 %321 #s(literal 3 binary64))
%465 = (*.f64 %374 #s(literal 3 binary64))
%468 = (*.f64 %155 #s(literal 3 binary64))
%483 = (*.f64 %321 #s(literal 9 binary64))
%486 = (*.f64 %374 #s(literal 9 binary64))
%489 = (*.f64 %155 #s(literal 9 binary64))
%492 = (*.f64 %144 #s(literal 9 binary64))
%621 = (*.f64 #s(literal -3 binary64) %223)
%627 = (*.f64 #s(literal 3 binary64) %223)
%630 = (*.f64 #s(literal -3 binary64) %322)
%633 = (*.f64 #s(literal -3 binary64) %327)
%636 = (*.f64 #s(literal -3 binary64) %332)
%639 = (*.f64 #s(literal -3 binary64) %337)
%642 = (*.f64 #s(literal -3 binary64) %341)
%645 = (*.f64 #s(literal -3 binary64) %346)
%648 = (*.f64 #s(literal -3 binary64) %351)
%651 = (*.f64 #s(literal -3 binary64) %356)
%654 = (*.f64 #s(literal -3 binary64) %361)
%657 = (*.f64 #s(literal -3 binary64) %245)
%660 = (*.f64 #s(literal -3 binary64) %102)
%663 = (*.f64 #s(literal -3 binary64) %92)
%666 = (*.f64 #s(literal 3 binary64) %322)
%669 = (*.f64 #s(literal 3 binary64) %327)
%672 = (*.f64 #s(literal 3 binary64) %332)
%675 = (*.f64 #s(literal 3 binary64) %337)
%678 = (*.f64 #s(literal 3 binary64) %341)
%681 = (*.f64 #s(literal 3 binary64) %346)
%684 = (*.f64 #s(literal 3 binary64) %351)
%687 = (*.f64 #s(literal 3 binary64) %356)
%690 = (*.f64 #s(literal 3 binary64) %361)
%693 = (*.f64 #s(literal 3 binary64) %245)
%696 = (*.f64 #s(literal 3 binary64) %102)
%741 = (*.f64 #s(literal -3 binary64) %321)
%744 = (*.f64 #s(literal -3 binary64) %374)
%747 = (*.f64 #s(literal -3 binary64) %155)
%750 = (*.f64 #s(literal -3 binary64) %144)
%753 = (*.f64 #s(literal 3 binary64) %321)
%756 = (*.f64 #s(literal 3 binary64) %374)
%759 = (*.f64 #s(literal 3 binary64) %155)
%780 = (*.f64 #s(literal 9 binary64) %321)
%783 = (*.f64 #s(literal 9 binary64) %374)
%786 = (*.f64 #s(literal 9 binary64) %155)
%789 = (*.f64 #s(literal 9 binary64) %144)
%908 = (*.f64 %176 #s(literal -1 binary64))
%911 = (neg.f64 %265)
%912 = (*.f64 %257 %911)
%914 = (neg.f64 %232)
%915 = (neg.f64 %914)
%919 = (*.f64 #s(literal -1 binary64) %176)
%922 = (*.f64 %911 %257)
%926 = (sqrt.f64 (*.f64 %241 %240))
%929 = (/.f64 %255 #s(literal 3 binary64))
%932 = (fma.f64 %331 #s(literal 3 binary64) %190)
%935 = (*.f64 z #s(literal 1/3 binary64))
%936 = (*.f64 %935 z)
%937 = (fma.f64 %936 #s(literal -3 binary64) %102)
%940 = (fma.f64 %936 #s(literal 3 binary64) %92)
%943 = (*.f64 #s(literal 1/3 binary64) %92)
%944 = (fma.f64 %943 #s(literal -3 binary64) %155)
%947 = (*.f64 %190 #s(literal 3 binary64))
%948 = (fma.f64 %11 #s(literal 3 binary64) %947)
%951 = (fma.f64 %155 #s(literal -3 binary64) %368)
%954 = (fma.f64 %155 #s(literal 3 binary64) %371)
%957 = (fma.f64 %144 #s(literal -3 binary64) %406)
%960 = (fma.f64 %102 #s(literal -3 binary64) %456)
%963 = (fma.f64 %102 #s(literal 3 binary64) %459)
%966 = (fma.f64 %92 #s(literal -3 binary64) %468)
%969 = (*.f64 #s(literal 3 binary64) %190)
%970 = (fma.f64 %11 #s(literal 3 binary64) %969)
%973 = (fma.f64 %155 #s(literal -3 binary64) %660)
%976 = (fma.f64 %155 #s(literal 3 binary64) %663)
%979 = (fma.f64 %144 #s(literal -3 binary64) %696)
%982 = (fma.f64 %102 #s(literal -3 binary64) %747)
%985 = (fma.f64 %102 #s(literal 3 binary64) %750)
%988 = (fma.f64 %92 #s(literal -3 binary64) %759)
%991 = (-.f64 %406 %747)
%994 = (-.f64 %280 %759)
%997 = (*.f64 %911 %265)
%999 = (*.f64 %914 %232)
%1002 = (*.f64 %265 %911)
%1004 = (*.f64 %232 %914)
%1007 = (neg.f64 %246)
%1010 = (neg.f64 %255)
%1013 = (neg.f64 %241)
%1016 = (fabs.f64 %908)
%1018 = (fabs.f64 %919)
%1020 = (fabs.f64 %929)
%1022 = (fabs.f64 %932)
%1024 = (fabs.f64 %937)
%1026 = (fabs.f64 %940)
%1028 = (fabs.f64 %944)
%1030 = (fabs.f64 %948)
%1032 = (fabs.f64 %951)
%1034 = (fabs.f64 %954)
%1036 = (fabs.f64 %957)
%1038 = (fabs.f64 %960)
%1040 = (fabs.f64 %963)
%1042 = (fabs.f64 %966)
%1044 = (fabs.f64 %970)
%1046 = (fabs.f64 %973)
%1048 = (fabs.f64 %976)
%1050 = (fabs.f64 %979)
%1052 = (fabs.f64 %982)
%1054 = (fabs.f64 %985)
%1056 = (fabs.f64 %988)
%1058 = (fabs.f64 %991)
%1060 = (fabs.f64 %994)
%1114 = (*.f64 #s(literal 1/3 binary64) %184)
%1116 = (/.f64 %246 #s(literal -3 binary64))
%1118 = (/.f64 %241 #s(literal -3 binary64))
%1121 = (/.f64 %943 %232)
%1122 = (/.f64 #s(literal 3 binary64) %232)
%1124 = (/.f64 %49 %232)
%1125 = (*.f64 %188 #s(literal 1/3 binary64))
%1127 = (/.f64 %188 #s(literal 3 binary64))
%1129 = (/.f64 %50 %232)
%1132 = (/.f64 %48 %232)
%1139 = (/.f64 %58 %232)
%1142 = (/.f64 y %232)
%1148 = (/.f64 %3 %232)
%1149 = (*.f64 %190 #s(literal 1/3 binary64))
%1151 = (/.f64 %2 %232)
%1153 = (/.f64 %1 %232)
%1155 = (/.f64 %9 %232)
%1157 = (/.f64 x %232)
%1159 = (*.f64 #s(literal 3 binary64) %133)
%1160 = (/.f64 %1159 #s(literal -3 binary64))
%1161 = (*.f64 %132 #s(literal 1/3 binary64))
%1162 = (/.f64 %663 #s(literal -9 binary64))
%1164 = (/.f64 %696 #s(literal -9 binary64))
%1166 = (*.f64 %943 #s(literal 1 binary64))
%1168 = (/.f64 %1159 #s(literal 3 binary64))
%1169 = (/.f64 %132 #s(literal -3 binary64))
%1173 = (*.f64 #s(literal 3 binary64) %132)
%1174 = (/.f64 %1173 #s(literal -3 binary64))
%1178 = (/.f64 %1173 #s(literal 3 binary64))
%1182 = (*.f64 #s(literal 3 binary64) %142)
%1183 = (/.f64 %1182 #s(literal -3 binary64))
%1187 = (/.f64 %1182 #s(literal 3 binary64))
%1188 = (/.f64 z #s(literal -3 binary64))
%1192 = (/.f64 %431 #s(literal -3 binary64))
%1196 = (/.f64 %431 #s(literal 3 binary64))
%1202 = (/.f64 %133 %232)
%1204 = (/.f64 %134 %232)
%1206 = (/.f64 %132 %232)
%1210 = (/.f64 %142 %232)
%1212 = (/.f64 z %232)
%1215 = (*.f64 %133 #s(literal 3 binary64))
%1216 = (/.f64 %1215 #s(literal 3 binary64))
%1220 = (*.f64 %132 #s(literal 3 binary64))
%1221 = (/.f64 %1220 #s(literal -3 binary64))
%1225 = (/.f64 %92 #s(literal -3 binary64))
%1226 = (*.f64 %144 #s(literal -1/3 binary64))
%1227 = (*.f64 %1226 #s(literal -1 binary64))
%1230 = (/.f64 %1215 #s(literal -3 binary64))
%1234 = (/.f64 %1220 #s(literal 3 binary64))
%1239 = (*.f64 %142 #s(literal 3 binary64))
%1240 = (/.f64 %1239 #s(literal 3 binary64))
%1244 = (*.f64 z #s(literal 3 binary64))
%1245 = (/.f64 %1244 #s(literal -3 binary64))
%1250 = (/.f64 %1239 #s(literal -3 binary64))
%1254 = (/.f64 %1244 #s(literal 3 binary64))
%1269 = (/.f64 %48 #s(literal -3 binary64))
%1278 = (*.f64 #s(literal 1/3 binary64) %60)
%1280 = (*.f64 #s(literal 1/3 binary64) %11)
%1284 = (*.f64 #s(literal 1/3 binary64) %188)
%1286 = (*.f64 #s(literal 1/3 binary64) %190)
%1292 = (/.f64 %48 #s(literal 3 binary64))
%1301 = (/.f64 y #s(literal -3 binary64))
%1316 = (/.f64 y #s(literal 3 binary64))
%1341 = (neg.f64 %1149)
%1345 = (*.f64 %102 #s(literal 1/3 binary64))
%1347 = (neg.f64 %943)
%1362 = (*.f64 %258 %257)
%1365 = (*.f64 %257 %258)
%1395 = (/.f64 %456 #s(literal 9 binary64))
%1398 = (/.f64 %368 #s(literal 9 binary64))
%1405 = (/.f64 %303 #s(literal 9 binary64))
%1426 = (sqrt.f64 %257)
%1427 = (neg.f64 %1426)
%1429 = (sqrt.f64 %243)
%1436 = (sqrt.f64 %247)
%1438 = (sqrt.f64 %249)
%1450 = (neg.f64 %911)
%1460 = (sqrt.f64 %232)
x
(*.f64 %4 %4)
(*.f64 %3 %3)
(*.f64 %2 %2)
(*.f64 %1 %1)
(*.f64 %9 %9)
%11
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %14 #s(literal 1/2 binary64))
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %9 #s(literal 2 binary64))
(pow.f64 %11 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(neg.f64 %26)
(sqrt.f64 %14)
(fabs.f64 (*.f64 %9 %2))
(fabs.f64 (*.f64 x %2))
(fabs.f64 (*.f64 %9 %1))
(fabs.f64 (*.f64 x %1))
(fabs.f64 (*.f64 %2 %9))
(fabs.f64 (*.f64 %1 %9))
(fabs.f64 (*.f64 %2 x))
(fabs.f64 (*.f64 %1 x))
(fabs.f64 %26)
(fabs.f64 %11)
y
(*.f64 %51 %51)
(*.f64 %50 %50)
(*.f64 %50 %48)
(*.f64 %49 %49)
(*.f64 %48 %50)
(*.f64 %48 %48)
(*.f64 %58 %58)
%60
(pow.f64 %50 #s(literal 2 binary64))
(pow.f64 %62 #s(literal 1/2 binary64))
(pow.f64 %49 #s(literal 2 binary64))
(pow.f64 %48 #s(literal 2 binary64))
(pow.f64 %58 #s(literal 2 binary64))
(pow.f64 %60 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %60 #s(literal -1 binary64)))
(neg.f64 %71)
(sqrt.f64 %62)
(fabs.f64 (*.f64 %58 %49))
(fabs.f64 (*.f64 y %49))
(fabs.f64 (*.f64 %58 %48))
(fabs.f64 (*.f64 y %48))
(fabs.f64 (*.f64 %49 %58))
(fabs.f64 (*.f64 %48 %58))
(fabs.f64 (*.f64 %49 y))
(fabs.f64 (*.f64 %48 y))
(fabs.f64 %71)
(fabs.f64 %60)
(pow.f64 %92 #s(literal 1 binary64))
(/.f64 (-.f64 %62 %14) (-.f64 %60 %11))
(/.f64 (-.f64 %14 %62) (-.f64 %11 %60))
(/.f64 #s(literal 1 binary64) (pow.f64 %92 #s(literal -1 binary64)))
(neg.f64 %102)
(fma.f64 %51 %51 %104)
(fma.f64 %51 %51 %11)
(fma.f64 %4 %4 %60)
(fma.f64 %50 %50 %104)
(fma.f64 %50 %50 %11)
(fma.f64 %50 %48 %104)
(fma.f64 %50 %48 %11)
(fma.f64 %3 %3 %60)
(fma.f64 %2 %2 %60)
(fma.f64 %49 %49 %104)
(fma.f64 %49 %49 %11)
(fma.f64 %48 %50 %104)
(fma.f64 %48 %50 %11)
(fma.f64 %48 %48 %104)
(fma.f64 %48 %48 %11)
(fma.f64 %1 %1 %60)
(fma.f64 %58 %58 %104)
(fma.f64 %58 %58 %11)
(fma.f64 %9 %9 %60)
(fma.f64 y y %104)
%92
(fma.f64 x x %60)
(-.f64 %60 %26)
(-.f64 %11 %71)
(+.f64 %60 %104)
(+.f64 %60 %11)
(+.f64 %11 %60)
z
(*.f64 %135 %135)
(*.f64 %134 %134)
(*.f64 %134 %132)
(*.f64 %133 %133)
(*.f64 %132 %134)
(*.f64 %132 %132)
(*.f64 %142 %142)
%144
(pow.f64 %134 #s(literal 2 binary64))
(pow.f64 %146 #s(literal 1/2 binary64))
(pow.f64 %133 #s(literal 2 binary64))
(pow.f64 %132 #s(literal 2 binary64))
(pow.f64 %142 #s(literal 2 binary64))
(pow.f64 %144 #s(literal 1 binary64))
(pow.f64 z #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %144 #s(literal -1 binary64)))
(neg.f64 %155)
(sqrt.f64 %146)
(fabs.f64 (*.f64 %142 %133))
(fabs.f64 (*.f64 z %133))
(fabs.f64 (*.f64 %142 %132))
(fabs.f64 (*.f64 z %132))
(fabs.f64 (*.f64 %133 %142))
(fabs.f64 (*.f64 %132 %142))
(fabs.f64 (*.f64 %133 z))
(fabs.f64 (*.f64 %132 z))
(fabs.f64 %155)
(fabs.f64 %144)
(*.f64 %177 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %176)
(*.f64 %176 #s(literal 1 binary64))
(pow.f64 %176 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %176 #s(literal -1 binary64)))
(neg.f64 %185)
(neg.f64 %184)
(fma.f64 %51 %51 %188)
(fma.f64 %4 %4 %190)
(fma.f64 %135 %135 %92)
(fma.f64 %50 %50 %188)
(fma.f64 %50 %48 %188)
(fma.f64 %3 %3 %190)
(fma.f64 %134 %134 %92)
(fma.f64 %134 %132 %92)
(fma.f64 %133 %133 %92)
(fma.f64 %2 %2 %190)
(fma.f64 %49 %49 %188)
(fma.f64 %48 %50 %188)
(fma.f64 %48 %48 %188)
(fma.f64 %132 %134 %92)
(fma.f64 %132 %132 %92)
(fma.f64 %1 %1 %190)
(fma.f64 %58 %58 %188)
(fma.f64 %142 %142 %92)
(fma.f64 %9 %9 %190)
%176
(fma.f64 y y %188)
(fma.f64 x x %190)
(-.f64 %188 %71)
(-.f64 %190 %26)
(-.f64 %144 %102)
(-.f64 %92 %155)
(-.f64 %60 %215)
(-.f64 %60 (fma.f64 %9 x %155))
(-.f64 %60 (-.f64 %155 %11))
(-.f64 %60 (neg.f64 %188))
(-.f64 %11 %223)
(+.f64 %188 %60)
(+.f64 %190 %11)
(+.f64 %144 %92)
(+.f64 %92 %144)
(+.f64 %60 %188)
(+.f64 %11 %190)
#s(literal 3 binary64)
(*.f64 (/.f64 %177 %232) (/.f64 #s(literal 1/2 binary64) %232))
(*.f64 %236 %238)
(*.f64 %243 %238)
(*.f64 %247 #s(literal 1/3 binary64))
(*.f64 %249 #s(literal 1/9 binary64))
(*.f64 #s(literal -1/3 binary64) %184)
(*.f64 %246 #s(literal 1/3 binary64))
(*.f64 %255 #s(literal 1/9 binary64))
(*.f64 %258 %258)
(*.f64 %238 %236)
(*.f64 #s(literal -1 binary64) %261)
(*.f64 #s(literal 1/3 binary64) %241)
%240
(*.f64 %184 #s(literal -1/3 binary64))
(*.f64 %265 %267)
(*.f64 %241 #s(literal 1/3 binary64))
(*.f64 #s(literal 1 binary64) %240)
(*.f64 %257 %257)
(*.f64 %176 #s(literal 1/3 binary64))
(pow.f64 %275 #s(literal 1/2 binary64))
(pow.f64 %258 #s(literal 2 binary64))
(pow.f64 %257 #s(literal 2 binary64))
(pow.f64 %240 #s(literal 1 binary64))
(/.f64 (fma.f64 %280 #s(literal 9 binary64) (*.f64 %281 #s(literal 9 binary64))) #s(literal 81 binary64))
(/.f64 (fma.f64 %188 #s(literal -3 binary64) (*.f64 %71 #s(literal 3 binary64))) #s(literal -9 binary64))
(/.f64 (fma.f64 %188 #s(literal 3 binary64) %291) #s(literal 9 binary64))
(/.f64 (fma.f64 %223 #s(literal -3 binary64) (*.f64 %26 #s(literal -3 binary64))) #s(literal 9 binary64))
(/.f64 (fma.f64 %223 #s(literal 3 binary64) (*.f64 %11 #s(literal -3 binary64))) #s(literal -9 binary64))
(/.f64 (fma.f64 %190 #s(literal -3 binary64) %300) #s(literal -9 binary64))
(/.f64 (fma.f64 %190 #s(literal 3 binary64) %303) #s(literal 9 binary64))
(/.f64 (fma.f64 %71 #s(literal 3 binary64) %306) #s(literal -9 binary64))
(/.f64 (fma.f64 %60 #s(literal 3 binary64) %309) #s(literal 9 binary64))
(/.f64 (fma.f64 %26 #s(literal -3 binary64) (*.f64 %223 #s(literal -3 binary64))) #s(literal 9 binary64))
(/.f64 (fma.f64 %26 #s(literal 3 binary64) (*.f64 %190 #s(literal -3 binary64))) #s(literal -9 binary64))
(/.f64 (fma.f64 %11 #s(literal -3 binary64) (*.f64 %223 #s(literal 3 binary64))) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal -3 binary64) %323) #s(literal 9 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %328) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %333) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %338) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %342) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %347) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %352) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %357) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %362) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %365) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal -3 binary64) %368) #s(literal 9 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %371) #s(literal -9 binary64))
(/.f64 (fma.f64 %374 #s(literal -3 binary64) %375) #s(literal -9 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %378) #s(literal 9 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %381) #s(literal 9 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %384) #s(literal 9 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %387) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %391) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %394) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %397) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %400) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %403) #s(literal 9 binary64))
(/.f64 (fma.f64 %374 #s(literal -3 binary64) %406) #s(literal -9 binary64))
(/.f64 (fma.f64 %155 #s(literal -3 binary64) %323) #s(literal 9 binary64))
(/.f64 (fma.f64 %155 #s(literal 3 binary64) %328) #s(literal -9 binary64))
(/.f64 (fma.f64 %155 #s(literal 3 binary64) %333) #s(literal -9 binary64))
(/.f64 (fma.f64 %155 #s(literal 3 binary64) %338) #s(literal -9 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %342) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %347) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %352) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %357) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %362) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 3 binary64) %365) #s(literal -9 binary64))
(/.f64 (fma.f64 %144 #s(literal -3 binary64) %375) #s(literal -9 binary64))
(/.f64 (fma.f64 %431 z %378) #s(literal 9 binary64))
(/.f64 (fma.f64 %431 z %381) #s(literal 9 binary64))
(/.f64 (fma.f64 %431 z %384) #s(literal 9 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %387) #s(literal 27 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %391) #s(literal 27 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %394) #s(literal 27 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %397) #s(literal 27 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %400) #s(literal 27 binary64))
(/.f64 (fma.f64 %431 z %403) #s(literal 9 binary64))
(/.f64 (fma.f64 %322 #s(literal -3 binary64) %450) #s(literal 9 binary64))
(/.f64 (fma.f64 %322 #s(literal 3 binary64) %453) #s(literal -9 binary64))
(/.f64 (fma.f64 %322 #s(literal -3 binary64) %456) #s(literal 9 binary64))
(/.f64 (fma.f64 %322 #s(literal 3 binary64) %459) #s(literal -9 binary64))
(/.f64 (fma.f64 %327 #s(literal -3 binary64) %462) #s(literal -9 binary64))
(/.f64 (fma.f64 %327 #s(literal 3 binary64) %465) #s(literal 9 binary64))
(/.f64 (fma.f64 %327 #s(literal -3 binary64) %468) #s(literal -9 binary64))
(/.f64 (fma.f64 %332 #s(literal -3 binary64) %462) #s(literal -9 binary64))
(/.f64 (fma.f64 %332 #s(literal 3 binary64) %465) #s(literal 9 binary64))
(/.f64 (fma.f64 %332 #s(literal -3 binary64) %468) #s(literal -9 binary64))
(/.f64 (fma.f64 %337 #s(literal -3 binary64) %462) #s(literal -9 binary64))
(/.f64 (fma.f64 %337 #s(literal 3 binary64) %465) #s(literal 9 binary64))
(/.f64 (fma.f64 %337 #s(literal -3 binary64) %468) #s(literal -9 binary64))
(/.f64 (fma.f64 %341 #s(literal -3 binary64) %483) #s(literal -27 binary64))
(/.f64 (fma.f64 %341 #s(literal 3 binary64) %486) #s(literal 27 binary64))
(/.f64 (fma.f64 %341 #s(literal -3 binary64) %489) #s(literal -27 binary64))
(/.f64 (fma.f64 %341 #s(literal 3 binary64) %492) #s(literal 27 binary64))
(/.f64 (fma.f64 %346 #s(literal -3 binary64) %483) #s(literal -27 binary64))
(/.f64 (fma.f64 %346 #s(literal 3 binary64) %486) #s(literal 27 binary64))
(/.f64 (fma.f64 %346 #s(literal -3 binary64) %489) #s(literal -27 binary64))
(/.f64 (fma.f64 %346 #s(literal 3 binary64) %492) #s(literal 27 binary64))
(/.f64 (fma.f64 %351 #s(literal -3 binary64) %483) #s(literal -27 binary64))
(/.f64 (fma.f64 %351 #s(literal 3 binary64) %486) #s(literal 27 binary64))
(/.f64 (fma.f64 %351 #s(literal -3 binary64) %489) #s(literal -27 binary64))
(/.f64 (fma.f64 %351 #s(literal 3 binary64) %492) #s(literal 27 binary64))
(/.f64 (fma.f64 %356 #s(literal -3 binary64) %483) #s(literal -27 binary64))
(/.f64 (fma.f64 %356 #s(literal 3 binary64) %486) #s(literal 27 binary64))
(/.f64 (fma.f64 %356 #s(literal -3 binary64) %489) #s(literal -27 binary64))
(/.f64 (fma.f64 %356 #s(literal 3 binary64) %492) #s(literal 27 binary64))
(/.f64 (fma.f64 %361 #s(literal -3 binary64) %483) #s(literal -27 binary64))
(/.f64 (fma.f64 %361 #s(literal 3 binary64) %486) #s(literal 27 binary64))
(/.f64 (fma.f64 %361 #s(literal -3 binary64) %489) #s(literal -27 binary64))
(/.f64 (fma.f64 %361 #s(literal 3 binary64) %492) #s(literal 27 binary64))
(/.f64 (fma.f64 %245 #s(literal -3 binary64) %462) #s(literal -9 binary64))
(/.f64 (fma.f64 %245 #s(literal 3 binary64) %465) #s(literal 9 binary64))
(/.f64 (fma.f64 %245 #s(literal -3 binary64) %468) #s(literal -9 binary64))
(/.f64 (fma.f64 %102 #s(literal -3 binary64) %450) #s(literal 9 binary64))
(/.f64 (fma.f64 %102 #s(literal 3 binary64) %453) #s(literal -9 binary64))
(/.f64 (fma.f64 %92 #s(literal -3 binary64) %462) #s(literal -9 binary64))
(/.f64 (fma.f64 #s(literal 3 binary64) %92 %465) #s(literal 9 binary64))
(/.f64 (fma.f64 %144 #s(literal -1 binary64) %322) #s(literal -3 binary64))
(/.f64 (fma.f64 %142 z %322) #s(literal -3 binary64))
(/.f64 (fma.f64 %144 #s(literal 1 binary64) %327) #s(literal 3 binary64))
(/.f64 (fma.f64 z z %327) #s(literal 3 binary64))
(/.f64 (fma.f64 %144 #s(literal 1 binary64) %332) #s(literal 3 binary64))
(/.f64 (fma.f64 z z %332) #s(literal 3 binary64))
(/.f64 (fma.f64 %144 #s(literal 1 binary64) %337) #s(literal 3 binary64))
(/.f64 (fma.f64 z z %337) #s(literal 3 binary64))
(/.f64 (fma.f64 %144 #s(literal 1 binary64) %245) #s(literal 3 binary64))
(/.f64 (fma.f64 %144 #s(literal -1 binary64) %102) #s(literal -3 binary64))
(/.f64 (fma.f64 %144 #s(literal 1 binary64) %92) #s(literal 3 binary64))
(/.f64 (fma.f64 %92 #s(literal -1 binary64) %321) #s(literal -3 binary64))
(/.f64 (+.f64 %102 %321) #s(literal -3 binary64))
(/.f64 (+.f64 %327 %374) #s(literal 3 binary64))
(/.f64 (+.f64 %332 %374) #s(literal 3 binary64))
(/.f64 (+.f64 %337 %374) #s(literal 3 binary64))
(/.f64 (fma.f64 %92 #s(literal 1 binary64) %374) #s(literal 3 binary64))
(/.f64 (+.f64 %92 %374) #s(literal 3 binary64))
(/.f64 (fma.f64 %92 #s(literal -1 binary64) %155) #s(literal -3 binary64))
(/.f64 (+.f64 %327 %144) #s(literal 3 binary64))
(/.f64 (+.f64 %332 %144) #s(literal 3 binary64))
(/.f64 (+.f64 %337 %144) #s(literal 3 binary64))
(/.f64 (-.f64 %321 %92) #s(literal -3 binary64))
(/.f64 (-.f64 %374 %102) #s(literal 3 binary64))
(/.f64 (-.f64 %327 %155) #s(literal 3 binary64))
(/.f64 (-.f64 %332 %155) #s(literal 3 binary64))
(/.f64 (-.f64 %337 %155) #s(literal 3 binary64))
(/.f64 (-.f64 %322 %144) #s(literal -3 binary64))
(/.f64 (fma.f64 %280 #s(literal 9 binary64) (*.f64 #s(literal 9 binary64) %281)) #s(literal 81 binary64))
(/.f64 (fma.f64 %188 #s(literal -3 binary64) %360) #s(literal -9 binary64))
(/.f64 (fma.f64 %188 #s(literal 3 binary64) %355) #s(literal 9 binary64))
(/.f64 (fma.f64 %223 #s(literal -3 binary64) (*.f64 #s(literal -3 binary64) %26)) #s(literal 9 binary64))
(/.f64 (fma.f64 %223 #s(literal 3 binary64) (*.f64 #s(literal -3 binary64) %11)) #s(literal -9 binary64))
(/.f64 (fma.f64 %190 #s(literal -3 binary64) (*.f64 #s(literal 3 binary64) %26)) #s(literal -9 binary64))
(/.f64 (fma.f64 %190 #s(literal 3 binary64) %350) #s(literal 9 binary64))
(/.f64 (fma.f64 %71 #s(literal 3 binary64) (*.f64 #s(literal -3 binary64) %188)) #s(literal -9 binary64))
(/.f64 (fma.f64 %60 #s(literal 3 binary64) (*.f64 #s(literal 3 binary64) %188)) #s(literal 9 binary64))
(/.f64 (fma.f64 %26 #s(literal -3 binary64) %621) #s(literal 9 binary64))
(/.f64 (fma.f64 %26 #s(literal 3 binary64) (*.f64 #s(literal -3 binary64) %190)) #s(literal -9 binary64))
(/.f64 (fma.f64 %11 #s(literal -3 binary64) %627) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal -3 binary64) %630) #s(literal 9 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %633) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %636) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %639) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %642) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %645) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %648) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %651) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 9 binary64) %654) #s(literal -27 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %657) #s(literal -9 binary64))
(/.f64 (fma.f64 %321 #s(literal -3 binary64) %660) #s(literal 9 binary64))
(/.f64 (fma.f64 %321 #s(literal 3 binary64) %663) #s(literal -9 binary64))
(/.f64 (fma.f64 %374 #s(literal -3 binary64) %666) #s(literal -9 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %669) #s(literal 9 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %672) #s(literal 9 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %675) #s(literal 9 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %678) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %681) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %684) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %687) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 9 binary64) %690) #s(literal 27 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %693) #s(literal 9 binary64))
(/.f64 (fma.f64 %374 #s(literal -3 binary64) %696) #s(literal -9 binary64))
(/.f64 (fma.f64 %374 #s(literal 3 binary64) %280) #s(literal 9 binary64))
(/.f64 (fma.f64 %155 #s(literal -3 binary64) %630) #s(literal 9 binary64))
(/.f64 (fma.f64 %155 #s(literal 3 binary64) %633) #s(literal -9 binary64))
(/.f64 (fma.f64 %155 #s(literal 3 binary64) %636) #s(literal -9 binary64))
(/.f64 (fma.f64 %155 #s(literal 3 binary64) %639) #s(literal -9 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %642) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %645) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %648) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %651) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 9 binary64) %654) #s(literal -27 binary64))
(/.f64 (fma.f64 %155 #s(literal 3 binary64) %657) #s(literal -9 binary64))
(/.f64 (fma.f64 %144 #s(literal -3 binary64) %666) #s(literal -9 binary64))
(/.f64 (fma.f64 %431 z %669) #s(literal 9 binary64))
(/.f64 (fma.f64 %431 z %672) #s(literal 9 binary64))
(/.f64 (fma.f64 %431 z %675) #s(literal 9 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %678) #s(literal 27 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %681) #s(literal 27 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %684) #s(literal 27 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %687) #s(literal 27 binary64))
(/.f64 (fma.f64 %144 #s(literal 9 binary64) %690) #s(literal 27 binary64))
(/.f64 (fma.f64 %431 z %693) #s(literal 9 binary64))
(/.f64 (fma.f64 %322 #s(literal -3 binary64) %741) #s(literal 9 binary64))
(/.f64 (fma.f64 %322 #s(literal 3 binary64) %744) #s(literal -9 binary64))
(/.f64 (fma.f64 %322 #s(literal -3 binary64) %747) #s(literal 9 binary64))
(/.f64 (fma.f64 %322 #s(literal 3 binary64) %750) #s(literal -9 binary64))
(/.f64 (fma.f64 %327 #s(literal -3 binary64) %753) #s(literal -9 binary64))
(/.f64 (fma.f64 %327 #s(literal 3 binary64) %756) #s(literal 9 binary64))
(/.f64 (fma.f64 %327 #s(literal -3 binary64) %759) #s(literal -9 binary64))
(/.f64 (fma.f64 %327 #s(literal 3 binary64) %281) #s(literal 9 binary64))
(/.f64 (fma.f64 %332 #s(literal -3 binary64) %753) #s(literal -9 binary64))
(/.f64 (fma.f64 %332 #s(literal 3 binary64) %756) #s(literal 9 binary64))
(/.f64 (fma.f64 %332 #s(literal -3 binary64) %759) #s(literal -9 binary64))
(/.f64 (fma.f64 %332 #s(literal 3 binary64) %281) #s(literal 9 binary64))
(/.f64 (fma.f64 %337 #s(literal -3 binary64) %753) #s(literal -9 binary64))
(/.f64 (fma.f64 %337 #s(literal 3 binary64) %756) #s(literal 9 binary64))
(/.f64 (fma.f64 %337 #s(literal -3 binary64) %759) #s(literal -9 binary64))
(/.f64 (fma.f64 %337 #s(literal 3 binary64) %281) #s(literal 9 binary64))
(/.f64 (fma.f64 %341 #s(literal -3 binary64) %780) #s(literal -27 binary64))
(/.f64 (fma.f64 %341 #s(literal 3 binary64) %783) #s(literal 27 binary64))
(/.f64 (fma.f64 %341 #s(literal -3 binary64) %786) #s(literal -27 binary64))
(/.f64 (fma.f64 %341 #s(literal 3 binary64) %789) #s(literal 27 binary64))
(/.f64 (fma.f64 %346 #s(literal -3 binary64) %780) #s(literal -27 binary64))
(/.f64 (fma.f64 %346 #s(literal 3 binary64) %783) #s(literal 27 binary64))
(/.f64 (fma.f64 %346 #s(literal -3 binary64) %786) #s(literal -27 binary64))
(/.f64 (fma.f64 %346 #s(literal 3 binary64) %789) #s(literal 27 binary64))
(/.f64 (fma.f64 %351 #s(literal -3 binary64) %780) #s(literal -27 binary64))
(/.f64 (fma.f64 %351 #s(literal 3 binary64) %783) #s(literal 27 binary64))
(/.f64 (fma.f64 %351 #s(literal -3 binary64) %786) #s(literal -27 binary64))
(/.f64 (fma.f64 %351 #s(literal 3 binary64) %789) #s(literal 27 binary64))
(/.f64 (fma.f64 %356 #s(literal -3 binary64) %780) #s(literal -27 binary64))
(/.f64 (fma.f64 %356 #s(literal 3 binary64) %783) #s(literal 27 binary64))
(/.f64 (fma.f64 %356 #s(literal -3 binary64) %786) #s(literal -27 binary64))
(/.f64 (fma.f64 %356 #s(literal 3 binary64) %789) #s(literal 27 binary64))
(/.f64 (fma.f64 %361 #s(literal -3 binary64) %780) #s(literal -27 binary64))
(/.f64 (fma.f64 %361 #s(literal 3 binary64) %783) #s(literal 27 binary64))
(/.f64 (fma.f64 %361 #s(literal -3 binary64) %786) #s(literal -27 binary64))
(/.f64 (fma.f64 %361 #s(literal 3 binary64) %789) #s(literal 27 binary64))
(/.f64 (fma.f64 %245 #s(literal -3 binary64) %753) #s(literal -9 binary64))
(/.f64 (fma.f64 %245 #s(literal 3 binary64) %756) #s(literal 9 binary64))
(/.f64 (fma.f64 %245 #s(literal -3 binary64) %759) #s(literal -9 binary64))
(/.f64 (fma.f64 %245 #s(literal 3 binary64) %281) #s(literal 9 binary64))
(/.f64 (fma.f64 %102 #s(literal -3 binary64) %741) #s(literal 9 binary64))
(/.f64 (fma.f64 %102 #s(literal 3 binary64) %744) #s(literal -9 binary64))
(/.f64 (fma.f64 %92 #s(literal -3 binary64) %753) #s(literal -9 binary64))
(/.f64 (fma.f64 #s(literal 3 binary64) %92 %756) #s(literal 9 binary64))
(/.f64 (-.f64 %309 %360) #s(literal 9 binary64))
(/.f64 (-.f64 %306 %355) #s(literal -9 binary64))
(/.f64 (-.f64 %300 %621) #s(literal -9 binary64))
(/.f64 (-.f64 %303 %627) #s(literal 9 binary64))
(/.f64 (-.f64 %450 %663) #s(literal 9 binary64))
(/.f64 (-.f64 %453 %280) #s(literal -9 binary64))
(/.f64 (-.f64 %456 %663) #s(literal 9 binary64))
(/.f64 (-.f64 %459 %280) #s(literal -9 binary64))
(/.f64 (-.f64 %462 %660) #s(literal -9 binary64))
(/.f64 (-.f64 %465 %696) #s(literal 9 binary64))
(/.f64 (-.f64 %468 %660) #s(literal -9 binary64))
(/.f64 (-.f64 %281 %696) #s(literal 9 binary64))
(/.f64 (-.f64 %375 %747) #s(literal -9 binary64))
(/.f64 (-.f64 %323 %750) #s(literal 9 binary64))
(/.f64 (-.f64 %378 %759) #s(literal 9 binary64))
(/.f64 (-.f64 %328 %281) #s(literal -9 binary64))
(/.f64 (-.f64 %381 %759) #s(literal 9 binary64))
(/.f64 (-.f64 %333 %281) #s(literal -9 binary64))
(/.f64 (-.f64 %384 %759) #s(literal 9 binary64))
(/.f64 (-.f64 %338 %281) #s(literal -9 binary64))
(/.f64 (-.f64 %387 %786) #s(literal 27 binary64))
(/.f64 (-.f64 %342 %789) #s(literal -27 binary64))
(/.f64 (-.f64 %391 %786) #s(literal 27 binary64))
(/.f64 (-.f64 %347 %789) #s(literal -27 binary64))
(/.f64 (-.f64 %394 %786) #s(literal 27 binary64))
(/.f64 (-.f64 %352 %789) #s(literal -27 binary64))
(/.f64 (-.f64 %397 %786) #s(literal 27 binary64))
(/.f64 (-.f64 %357 %789) #s(literal -27 binary64))
(/.f64 (-.f64 %400 %786) #s(literal 27 binary64))
(/.f64 (-.f64 %362 %789) #s(literal -27 binary64))
(/.f64 (-.f64 %403 %759) #s(literal 9 binary64))
(/.f64 (-.f64 %365 %281) #s(literal -9 binary64))
(/.f64 (-.f64 %368 %750) #s(literal 9 binary64))
(/.f64 (-.f64 %371 %281) #s(literal -9 binary64))
(/.f64 (neg.f64 %908) #s(literal 3 binary64))
(/.f64 (neg.f64 %912) %915)
(/.f64 (neg.f64 %243) %914)
(/.f64 (neg.f64 %919) #s(literal 3 binary64))
(/.f64 (neg.f64 %922) %915)
(/.f64 (neg.f64 %926) %914)
(/.f64 (neg.f64 %929) #s(literal -3 binary64))
(/.f64 (neg.f64 %932) #s(literal -3 binary64))
(/.f64 (neg.f64 %937) #s(literal 3 binary64))
(/.f64 (neg.f64 %940) #s(literal -3 binary64))
(/.f64 (neg.f64 %944) #s(literal 3 binary64))
(/.f64 (neg.f64 %948) #s(literal -9 binary64))
(/.f64 (neg.f64 %951) #s(literal -9 binary64))
(/.f64 (neg.f64 %954) #s(literal 9 binary64))
(/.f64 (neg.f64 %957) #s(literal 9 binary64))
(/.f64 (neg.f64 %960) #s(literal -9 binary64))
(/.f64 (neg.f64 %963) #s(literal 9 binary64))
(/.f64 (neg.f64 %966) #s(literal 9 binary64))
(/.f64 (neg.f64 %970) #s(literal -9 binary64))
(/.f64 (neg.f64 %973) #s(literal -9 binary64))
(/.f64 (neg.f64 %976) #s(literal 9 binary64))
(/.f64 (neg.f64 %979) #s(literal 9 binary64))
(/.f64 (neg.f64 %982) #s(literal -9 binary64))
(/.f64 (neg.f64 %985) #s(literal 9 binary64))
(/.f64 (neg.f64 %988) #s(literal 9 binary64))
(/.f64 (neg.f64 %991) #s(literal 9 binary64))
(/.f64 (neg.f64 %994) #s(literal -9 binary64))
(/.f64 (neg.f64 %997) (neg.f64 %999))
(/.f64 (neg.f64 %1002) (neg.f64 %1004))
(/.f64 (neg.f64 %1007) #s(literal 3 binary64))
(/.f64 (neg.f64 %1010) #s(literal 9 binary64))
(/.f64 (neg.f64 %1013) #s(literal 3 binary64))
(/.f64 %1016 #s(literal 3 binary64))
(/.f64 %1018 #s(literal 3 binary64))
(/.f64 %1020 #s(literal 3 binary64))
(/.f64 %1022 #s(literal 3 binary64))
(/.f64 %1024 #s(literal 3 binary64))
(/.f64 %1026 #s(literal 3 binary64))
(/.f64 %1028 #s(literal 3 binary64))
(/.f64 %1030 #s(literal 9 binary64))
(/.f64 %1032 #s(literal 9 binary64))
(/.f64 %1034 #s(literal 9 binary64))
(/.f64 %1036 #s(literal 9 binary64))
(/.f64 %1038 #s(literal 9 binary64))
(/.f64 %1040 #s(literal 9 binary64))
(/.f64 %1042 #s(literal 9 binary64))
(/.f64 %1044 #s(literal 9 binary64))
(/.f64 %1046 #s(literal 9 binary64))
(/.f64 %1048 #s(literal 9 binary64))
(/.f64 %1050 #s(literal 9 binary64))
(/.f64 %1052 #s(literal 9 binary64))
(/.f64 %1054 #s(literal 9 binary64))
(/.f64 %1056 #s(literal 9 binary64))
(/.f64 %1058 #s(literal 9 binary64))
(/.f64 %1060 #s(literal 9 binary64))
(/.f64 %908 #s(literal -3 binary64))
(/.f64 %912 %914)
(/.f64 %243 %232)
(/.f64 %919 #s(literal -3 binary64))
(/.f64 %922 %914)
(/.f64 %926 %232)
(/.f64 %929 #s(literal 3 binary64))
(/.f64 %185 #s(literal -3 binary64))
(/.f64 %932 #s(literal 3 binary64))
(/.f64 %937 #s(literal -3 binary64))
(/.f64 %940 #s(literal 3 binary64))
(/.f64 %944 #s(literal -3 binary64))
(/.f64 %948 #s(literal 9 binary64))
(/.f64 %951 #s(literal 9 binary64))
(/.f64 %954 #s(literal -9 binary64))
(/.f64 %957 #s(literal -9 binary64))
(/.f64 %960 #s(literal 9 binary64))
(/.f64 %963 #s(literal -9 binary64))
(/.f64 %966 #s(literal -9 binary64))
(/.f64 %970 #s(literal 9 binary64))
(/.f64 %973 #s(literal 9 binary64))
(/.f64 %976 #s(literal -9 binary64))
(/.f64 %979 #s(literal -9 binary64))
(/.f64 %982 #s(literal 9 binary64))
(/.f64 %985 #s(literal -9 binary64))
(/.f64 %988 #s(literal -9 binary64))
(/.f64 %991 #s(literal -9 binary64))
(/.f64 %994 #s(literal 9 binary64))
(/.f64 %997 %999)
(/.f64 %1002 %1004)
(/.f64 %1007 #s(literal -3 binary64))
(/.f64 %1010 #s(literal -9 binary64))
(/.f64 %1013 #s(literal -3 binary64))
(/.f64 %247 #s(literal 3 binary64))
(/.f64 %249 #s(literal 9 binary64))
(/.f64 %246 #s(literal 3 binary64))
(/.f64 %255 #s(literal 9 binary64))
(/.f64 %184 #s(literal -3 binary64))
(/.f64 %241 #s(literal 3 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %240 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) %246))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 9 binary64) %255))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) %241))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3 binary64) %184))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) %176))
(/.f64 %176 #s(literal 3 binary64))
(neg.f64 %1114)
(neg.f64 %1116)
(neg.f64 %1118)
(neg.f64 %261)
(fma.f64 %1121 %1122 %936)
(fma.f64 %1124 %1124 %1125)
(fma.f64 %1124 %1124 %1127)
(fma.f64 %1129 %1129 %1125)
(fma.f64 %1129 %1129 %1127)
(fma.f64 %1129 %1132 %1125)
(fma.f64 %1129 %1132 %1127)
(fma.f64 %1132 %1129 %1125)
(fma.f64 %1132 %1129 %1127)
(fma.f64 %1132 %1132 %1125)
(fma.f64 %1132 %1132 %1127)
(fma.f64 %1139 %1139 %1125)
(fma.f64 %1139 %1139 %1127)
(fma.f64 %1142 %1142 %1125)
(fma.f64 %1142 %1142 %1127)
(fma.f64 %1122 %1121 %936)
(fma.f64 (/.f64 %92 %232) %238 %936)
(fma.f64 %1148 %1148 %1149)
(fma.f64 %1151 %1151 %1149)
(fma.f64 %1153 %1153 %1149)
(fma.f64 %1155 %1155 %1149)
(fma.f64 %1157 %1157 %1149)
(fma.f64 %1160 %1161 %1162)
(fma.f64 %1160 %1161 %1164)
(fma.f64 %1160 %1161 %1166)
(fma.f64 %1168 %1169 %1162)
(fma.f64 %1168 %1169 %1164)
(fma.f64 %1168 %1169 %1166)
(fma.f64 %1174 %1169 %1162)
(fma.f64 %1174 %1169 %1164)
(fma.f64 %1174 %1169 %1166)
(fma.f64 %1178 %1161 %1162)
(fma.f64 %1178 %1161 %1164)
(fma.f64 %1178 %1161 %1166)
(fma.f64 %1183 %935 %1162)
(fma.f64 %1183 %935 %1164)
(fma.f64 %1183 %935 %1166)
(fma.f64 %1187 %1188 %1162)
(fma.f64 %1187 %1188 %1164)
(fma.f64 %1187 %1188 %1166)
(fma.f64 %1192 %1188 %1162)
(fma.f64 %1192 %1188 %1164)
(fma.f64 %1192 %1188 %1166)
(fma.f64 %1196 %935 %1162)
(fma.f64 %1196 %935 %1164)
(fma.f64 %1196 %935 %1166)
(fma.f64 (/.f64 %144 %232) %238 %943)
(fma.f64 %1202 %1202 %943)
(fma.f64 %1204 %1204 %943)
(fma.f64 %1204 %1206 %943)
(fma.f64 %1206 %1204 %943)
(fma.f64 %1206 %1206 %943)
(fma.f64 %1210 %1210 %943)
(fma.f64 %1212 %1212 %943)
(fma.f64 %374 #s(literal 1/3 binary64) %943)
(fma.f64 %1169 %1216 %1162)
(fma.f64 %1169 %1216 %1164)
(fma.f64 %1169 %1216 %1166)
(fma.f64 %1169 %1221 %1162)
(fma.f64 %1169 %1221 %1164)
(fma.f64 %1169 %1221 %1166)
(fma.f64 %1225 #s(literal -1 binary64) %1227)
(fma.f64 %188 #s(literal 1/3 binary64) %326)
(fma.f64 %1161 %1230 %1162)
(fma.f64 %1161 %1230 %1164)
(fma.f64 %1161 %1230 %1166)
(fma.f64 %1161 %1234 %1162)
(fma.f64 %1161 %1234 %1164)
(fma.f64 %1161 %1234 %1166)
(fma.f64 %1161 %132 %943)
(fma.f64 %1188 %1240 %1162)
(fma.f64 %1188 %1240 %1164)
(fma.f64 %1188 %1240 %1166)
(fma.f64 %1188 %1245 %1162)
(fma.f64 %1188 %1245 %1164)
(fma.f64 %1188 %1245 %1166)
(fma.f64 %1188 %142 %943)
(fma.f64 %935 %1250 %1162)
(fma.f64 %935 %1250 %1164)
(fma.f64 %935 %1250 %1166)
(fma.f64 %935 %1254 %1162)
(fma.f64 %935 %1254 %1164)
(fma.f64 %935 %1254 %1166)
(fma.f64 %935 z %943)
(fma.f64 %245 #s(literal 1/3 binary64) %936)
(fma.f64 %1226 #s(literal -1 binary64) %1162)
(fma.f64 %1226 #s(literal -1 binary64) %1164)
(fma.f64 %1226 #s(literal -1 binary64) %1166)
(fma.f64 %102 #s(literal -1/3 binary64) %936)
(fma.f64 %133 (*.f64 %133 #s(literal 1/3 binary64)) %943)
(fma.f64 %133 %1169 %943)
(fma.f64 %2 (/.f64 %1 #s(literal -3 binary64)) %1149)
(fma.f64 %49 %1269 %1125)
(fma.f64 %49 %1269 %1127)
(fma.f64 #s(literal -1 binary64) %1225 %1227)
(fma.f64 #s(literal -1 binary64) %1226 %1162)
(fma.f64 #s(literal -1 binary64) %1226 %1164)
(fma.f64 #s(literal -1 binary64) %1226 %1166)
(fma.f64 %190 #s(literal 1/3 binary64) %331)
(fma.f64 %155 #s(literal -1/3 binary64) %943)
(fma.f64 #s(literal 1/3 binary64) %188 %1278)
(fma.f64 #s(literal 1/3 binary64) %190 %1280)
(fma.f64 #s(literal 1/3 binary64) %144 %943)
(fma.f64 #s(literal 1/3 binary64) %92 %936)
(fma.f64 #s(literal 1/3 binary64) %60 %1284)
(fma.f64 #s(literal 1/3 binary64) %11 %1286)
(fma.f64 %936 #s(literal 1 binary64) %1162)
(fma.f64 %936 #s(literal 1 binary64) %1164)
(fma.f64 %936 #s(literal 1 binary64) %1166)
(fma.f64 %943 #s(literal 1 binary64) %1227)
(fma.f64 %48 %1292 %1125)
(fma.f64 %48 %1292 %1127)
(fma.f64 %132 (fabs.f64 (neg.f64 %1161)) %943)
(fma.f64 %132 %1161 %943)
(fma.f64 %1 (/.f64 %1 #s(literal 3 binary64)) %1149)
(fma.f64 %58 %1301 %1125)
(fma.f64 %58 %1301 %1127)
(fma.f64 %142 %1188 %943)
(fma.f64 %9 (/.f64 x #s(literal -3 binary64)) %1149)
(fma.f64 #s(literal 1 binary64) %936 %1162)
(fma.f64 #s(literal 1 binary64) %936 %1164)
(fma.f64 #s(literal 1 binary64) %936 %1166)
(fma.f64 #s(literal 1 binary64) %943 %1227)
(fma.f64 %144 #s(literal 1/3 binary64) %943)
(fma.f64 z %935 %943)
(fma.f64 %92 #s(literal 1/3 binary64) %936)
(fma.f64 %60 #s(literal 1/3 binary64) %1125)
(fma.f64 %60 #s(literal 1/3 binary64) %1127)
(fma.f64 y %1316 %1125)
(fma.f64 y %1316 %1127)
(fma.f64 %11 #s(literal 1/3 binary64) %1149)
(fma.f64 x (/.f64 x #s(literal 3 binary64)) %1149)
(-.f64 %1166 (/.f64 %747 #s(literal -9 binary64)))
(-.f64 %1166 (/.f64 %759 #s(literal 9 binary64)))
(-.f64 %1166 (/.f64 (neg.f64 %281) #s(literal 9 binary64)))
(-.f64 %1166 (/.f64 %468 #s(literal 9 binary64)))
(-.f64 %1166 (/.f64 %750 #s(literal 9 binary64)))
(-.f64 %1127 (/.f64 %60 #s(literal -3 binary64)))
(-.f64 %1149 (/.f64 %11 #s(literal -3 binary64)))
(-.f64 %326 (/.f64 %215 #s(literal 3 binary64)))
(-.f64 %326 (/.f64 %188 #s(literal -3 binary64)))
(-.f64 %331 %1341)
(-.f64 %331 (/.f64 %190 #s(literal -3 binary64)))
(-.f64 %936 %1345)
(-.f64 %936 %1347)
(-.f64 %936 %1225)
(-.f64 %943 %1226)
(sqrt.f64 (*.f64 %273 #s(literal 1/9 binary64)))
(sqrt.f64 (*.f64 #s(literal 1 binary64) %275))
(sqrt.f64 %275)
(fabs.f64 (-.f64 %1341 %331))
(fabs.f64 (-.f64 %1345 %936))
(fabs.f64 (-.f64 %1347 %936))
(fabs.f64 (neg.f64 %1362))
(fabs.f64 (neg.f64 %1365))
(fabs.f64 (*.f64 %241 #s(literal -1/3 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1362))
(fabs.f64 (*.f64 #s(literal -1 binary64) %1365))
(fabs.f64 (*.f64 #s(literal -1 binary64) %240))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1362))
(fabs.f64 (*.f64 #s(literal 1 binary64) %1365))
(fabs.f64 (*.f64 #s(literal 1 binary64) %261))
(fabs.f64 %1114)
(fabs.f64 %1116)
(fabs.f64 %1118)
(fabs.f64 %1362)
(fabs.f64 %1365)
(fabs.f64 %261)
(fabs.f64 %240)
(+.f64 (/.f64 (*.f64 %936 #s(literal -3 binary64)) #s(literal -3 binary64)) %943)
(+.f64 (/.f64 (*.f64 %936 #s(literal 3 binary64)) #s(literal 3 binary64)) %943)
(+.f64 %1395 (/.f64 %660 #s(literal 9 binary64)))
(+.f64 %1395 %1398)
(+.f64 %1398 %1395)
(+.f64 %1398 (/.f64 %747 #s(literal 9 binary64)))
(+.f64 (/.f64 %336 #s(literal 3 binary64)) %1149)
(+.f64 %1405 (/.f64 %947 #s(literal 9 binary64)))
(+.f64 %1405 (/.f64 %969 #s(literal 9 binary64)))
(+.f64 %1284 %1278)
(+.f64 %1278 %1284)
(+.f64 %1286 %1280)
(+.f64 %1280 %1286)
(+.f64 %1125 %326)
(+.f64 %1227 %1162)
(+.f64 %1227 %1164)
(+.f64 %1227 %1166)
(+.f64 %1166 %1227)
(+.f64 %1127 %326)
(+.f64 %1149 %331)
(+.f64 %326 %1125)
(+.f64 %326 %1127)
(+.f64 %331 %1149)
(+.f64 %936 %943)
(+.f64 %943 %936)
(*.f64 %1427 %1427)
(*.f64 %1429 (sqrt.f64 %238))
(*.f64 (sqrt.f64 %265) (sqrt.f64 %267))
(*.f64 %1426 %1426)
(*.f64 %1436 %238)
(*.f64 %1438 #s(literal 1/3 binary64))
(*.f64 %911 (/.f64 #s(literal -1 binary64) %232))
(*.f64 %238 %265)
(*.f64 %265 %238)
(*.f64 #s(literal 1 binary64) %257)
(pow.f64 %1426 #s(literal 2 binary64))
(pow.f64 %275 #s(literal 1/4 binary64))
(pow.f64 %257 #s(literal 1 binary64))
(pow.f64 %240 #s(literal 1/2 binary64))
(/.f64 (neg.f64 %1450) (neg.f64 %915))
(/.f64 (neg.f64 %1436) %914)
(/.f64 (neg.f64 %1438) #s(literal -3 binary64))
(/.f64 (sqrt.f64 %1016) %232)
(/.f64 %1429 %1460)
(/.f64 (sqrt.f64 %1018) %232)
(/.f64 (sqrt.f64 %926) %1460)
(/.f64 (sqrt.f64 %1020) %232)
(/.f64 (sqrt.f64 %1022) %232)
(/.f64 (sqrt.f64 %1024) %232)
(/.f64 (sqrt.f64 %1026) %232)
(/.f64 (sqrt.f64 %1028) %232)
(/.f64 (sqrt.f64 %1030) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1032) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1034) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1036) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1038) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1040) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1042) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1044) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1046) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1048) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1050) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1052) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1054) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1056) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1058) #s(literal 3 binary64))
(/.f64 (sqrt.f64 %1060) #s(literal 3 binary64))
(/.f64 %1450 %915)
(/.f64 %1436 %232)
(/.f64 %1438 #s(literal 3 binary64))
(/.f64 %911 %914)
(/.f64 %265 %232)
(/.f64 #s(literal 1 binary64) (pow.f64 %257 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %914 %911))
(/.f64 #s(literal 1 binary64) (/.f64 %232 %265))
(neg.f64 %258)
%257
(fabs.f64 (*.f64 %238 %911))
(fabs.f64 %258)
(fabs.f64 %257)

%1 = (*.f64 x x)
%6 = (sqrt.f64 #s(literal 1/3 binary64))
%7 = (*.f64 x %6)
%15 = (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3))
%18 = (*.f64 #s(literal -1 binary64) %7)
%20 = (*.f64 y %6)
%22 = (*.f64 #s(literal -1 binary64) %20)
%24 = (*.f64 z %6)
%26 = (*.f64 #s(literal -1 binary64) %24)
%28 = (fma.f64 y y %1)
%29 = (fma.f64 z z %28)
%30 = (sqrt.f64 #s(literal 3 binary64))
%31 = (*.f64 #s(literal 1/3 binary64) %29)
%32 = (fabs.f64 %29)
%34 = (sqrt.f64 %32)
%35 = (*.f64 z #s(literal 1/3 binary64))
%36 = (*.f64 #s(literal 1/3 binary64) %28)
%37 = (/.f64 %29 #s(literal 3 binary64))
%38 = (fma.f64 z %35 %36)
x
%1
y
z
#s(literal 3 binary64)
#s(literal 1/3 binary64)
%6
%7
(approx %15 %7)
#s(literal -1 binary64)
%18
(approx %15 %18)
%20
(approx %15 %20)
%22
(approx %15 %22)
%24
(approx %15 %24)
%26
(approx %15 %26)
%28
%29
%30
%31
%32
(sqrt.f64 %31)
%34
%35
%36
%37
%38
(/.f64 %34 %30)
(sqrt.f64 %38)
(sqrt.f64 %37)

%2 = (fabs.f64 x)
%3 = (neg.f64 %2)
%4 = (*.f64 #s(literal 1 binary64) %3)
%6 = (*.f64 x x)
%8 = (*.f64 %6 #s(literal 2 binary64))
%11 = (neg.f64 x)
%12 = (*.f64 #s(literal 1 binary64) %11)
%14 = (neg.f64 %3)
%17 = (*.f64 %3 #s(literal 1 binary64))
%20 = (*.f64 %11 x)
%25 = (*.f64 %11 #s(literal 1 binary64))
%29 = (*.f64 #s(literal 1/2 binary64) %6)
%33 = (*.f64 %6 %6)
%54 = (sqrt.f64 #s(literal 1/3 binary64))
%55 = (sqrt.f64 %54)
%60 = (sqrt.f64 #s(literal 3 binary64))
%63 = (neg.f64 %54)
%79 = (neg.f64 %60)
%89 = (*.f64 %54 x)
%104 = (sqrt (/ (+ (+ (* y y) (* x x)) (* z z)) 3))
%105 = (approx %104 %89)
%112 = (neg.f64 %89)
%127 = (approx %104 %112)
%131 = (*.f64 %54 y)
%135 = (neg.f64 y)
%140 = (approx %104 %131)
%144 = (*.f64 %135 #s(literal 1 binary64))
%148 = (neg.f64 %131)
%156 = (*.f64 #s(literal 1 binary64) %135)
%164 = (approx %104 %148)
%168 = (*.f64 %54 z)
%172 = (neg.f64 z)
%177 = (approx %104 %168)
%181 = (*.f64 %172 #s(literal 1 binary64))
%185 = (neg.f64 %168)
%193 = (*.f64 #s(literal 1 binary64) %172)
%201 = (approx %104 %185)
%205 = (fma.f64 y y %6)
%206 = (*.f64 %205 #s(literal 2 binary64))
%209 = (*.f64 #s(literal 1/2 binary64) %205)
%211 = (*.f64 %205 #s(literal 1/3 binary64))
%214 = (*.f64 %205 #s(literal 3 binary64))
%218 = (neg.f64 %205)
%219 = (*.f64 %218 #s(literal 3 binary64))
%232 = (*.f64 y y)
%234 = (*.f64 %232 #s(literal 2 binary64))
%236 = (fabs.f64 y)
%237 = (neg.f64 %236)
%238 = (*.f64 #s(literal 1 binary64) %237)
%243 = (neg.f64 %237)
%248 = (*.f64 %237 #s(literal 1 binary64))
%254 = (*.f64 %135 y)
%267 = (*.f64 #s(literal 1/2 binary64) %232)
%278 = (fma.f64 z z %205)
%288 = (neg.f64 %278)
%289 = (*.f64 %288 #s(literal 1 binary64))
%294 = (*.f64 z z)
%298 = (fabs.f64 z)
%299 = (neg.f64 %298)
%302 = (fma.f64 z z %232)
%303 = (*.f64 #s(literal 1 binary64) %302)
%305 = (*.f64 %302 #s(literal 1 binary64))
%308 = (fma.f64 z z %6)
%309 = (*.f64 #s(literal 1 binary64) %308)
%311 = (*.f64 %308 #s(literal 1 binary64))
%327 = (neg.f64 %299)
%343 = (*.f64 %298 #s(literal 1/3 binary64))
%347 = (*.f64 #s(literal -1/3 binary64) z)
%369 = (*.f64 %172 z)
%425 = (*.f64 #s(literal 1/3 binary64) z)
%426 = (*.f64 %425 z)
%444 = (*.f64 %294 #s(literal 3 binary64))
%465 = (neg.f64 %308)
%467 = (neg.f64 %302)
%483 = (sqrt.f64 %60)
%492 = (*.f64 %278 #s(literal 1/3 binary64))
%493 = (sqrt.f64 %492)
%495 = (fabs.f64 %278)
%496 = (sqrt.f64 %495)
%497 = (*.f64 (*.f64 %493 %54) %496)
%499 = (*.f64 (*.f64 #s(literal 1/3 binary64) %496) %496)
%500 = (neg.f64 %496)
%501 = (*.f64 %493 %500)
%502 = (*.f64 %501 %63)
%503 = (*.f64 %493 %496)
%504 = (*.f64 %503 %54)
%505 = (*.f64 %495 #s(literal 1 binary64))
%506 = (*.f64 %505 #s(literal 1/3 binary64))
%507 = (*.f64 #s(literal 3 binary64) %278)
%508 = (*.f64 %507 #s(literal 1/9 binary64))
%509 = (neg.f64 %495)
%510 = (*.f64 %509 #s(literal -1/3 binary64))
%511 = (neg.f64 %493)
%512 = (*.f64 %511 %511)
%513 = (*.f64 #s(literal -1/3 binary64) %288)
%515 = (*.f64 %500 (*.f64 %63 %493))
%516 = (*.f64 %288 #s(literal -1/3 binary64))
%517 = (*.f64 #s(literal 1 binary64) %492)
%519 = (*.f64 %496 (*.f64 %54 %493))
%521 = (*.f64 %496 (*.f64 %496 #s(literal 1/3 binary64)))
%523 = (*.f64 %496 (/.f64 %496 #s(literal 3 binary64)))
%524 = (*.f64 %495 #s(literal 1/3 binary64))
%525 = (*.f64 %493 %493)
%526 = (*.f64 %496 %493)
%527 = (*.f64 %54 %526)
%528 = (*.f64 #s(literal 1/3 binary64) %495)
%529 = (*.f64 #s(literal 1/3 binary64) %278)
%530 = (*.f64 %278 %278)
%531 = (*.f64 #s(literal 1/9 binary64) %530)
%533 = (pow.f64 (*.f64 #s(literal 1 binary64) %531) #s(literal 1/2 binary64))
%534 = (pow.f64 %531 #s(literal 1/2 binary64))
%535 = (pow.f64 %511 #s(literal 2 binary64))
%536 = (pow.f64 %492 #s(literal 1 binary64))
%537 = (pow.f64 %493 #s(literal 2 binary64))
%539 = (/.f64 (*.f64 %288 #s(literal -1 binary64)) #s(literal 3 binary64))
%541 = (/.f64 (*.f64 %278 #s(literal -1 binary64)) #s(literal -3 binary64))
%542 = (/.f64 %501 %79)
%543 = (/.f64 %503 %60)
%545 = (/.f64 (*.f64 %495 #s(literal -1 binary64)) #s(literal -3 binary64))
%547 = (/.f64 (*.f64 #s(literal -1 binary64) %278) #s(literal -3 binary64))
%549 = (/.f64 (*.f64 %500 %493) %79)
%550 = (/.f64 %526 %60)
%551 = (*.f64 #s(literal 1 binary64) %495)
%552 = (/.f64 %551 #s(literal 3 binary64))
%554 = (/.f64 (*.f64 #s(literal -1 binary64) %495) #s(literal -3 binary64))
%556 = (/.f64 (/.f64 %507 #s(literal 3 binary64)) #s(literal 3 binary64))
%557 = (/.f64 %289 #s(literal -3 binary64))
%558 = (*.f64 %302 #s(literal 1/3 binary64))
%560 = (/.f64 (fma.f64 %558 #s(literal 3 binary64) %6) #s(literal 3 binary64))
%561 = (*.f64 #s(literal 1/3 binary64) %6)
%563 = (/.f64 (fma.f64 %561 #s(literal 3 binary64) %302) #s(literal 3 binary64))
%565 = (/.f64 (fma.f64 %426 #s(literal -3 binary64) %218) #s(literal -3 binary64))
%567 = (/.f64 (fma.f64 %211 #s(literal -3 binary64) %369) #s(literal -3 binary64))
%568 = (*.f64 %6 #s(literal 3 binary64))
%570 = (/.f64 (fma.f64 %302 #s(literal 3 binary64) %568) #s(literal 9 binary64))
%573 = (/.f64 (fma.f64 %6 #s(literal 3 binary64) (*.f64 %302 #s(literal 3 binary64))) #s(literal 9 binary64))
%576 = (/.f64 (fma.f64 %369 #s(literal -3 binary64) (*.f64 %218 #s(literal -3 binary64))) #s(literal 9 binary64))
%580 = (/.f64 (fma.f64 %369 #s(literal 3 binary64) (*.f64 %205 #s(literal -3 binary64))) #s(literal -9 binary64))
%582 = (/.f64 (fma.f64 %294 #s(literal -3 binary64) %219) #s(literal -9 binary64))
%585 = (/.f64 (fma.f64 %218 #s(literal -3 binary64) (*.f64 %369 #s(literal -3 binary64))) #s(literal 9 binary64))
%588 = (/.f64 (fma.f64 %218 #s(literal 3 binary64) (*.f64 %294 #s(literal -3 binary64))) #s(literal -9 binary64))
%589 = (*.f64 %369 #s(literal 3 binary64))
%591 = (/.f64 (fma.f64 %205 #s(literal -3 binary64) %589) #s(literal -9 binary64))
%592 = (*.f64 #s(literal 3 binary64) %6)
%594 = (/.f64 (fma.f64 %302 #s(literal 3 binary64) %592) #s(literal 9 binary64))
%597 = (/.f64 (fma.f64 %6 #s(literal 3 binary64) (*.f64 #s(literal 3 binary64) %302)) #s(literal 9 binary64))
%598 = (*.f64 #s(literal -3 binary64) %218)
%600 = (/.f64 (fma.f64 %369 #s(literal -3 binary64) %598) #s(literal 9 binary64))
%603 = (/.f64 (fma.f64 %369 #s(literal 3 binary64) (*.f64 #s(literal -3 binary64) %205)) #s(literal -9 binary64))
%604 = (*.f64 #s(literal 3 binary64) %218)
%606 = (/.f64 (fma.f64 %294 #s(literal -3 binary64) %604) #s(literal -9 binary64))
%607 = (*.f64 #s(literal -3 binary64) %369)
%609 = (/.f64 (fma.f64 %218 #s(literal -3 binary64) %607) #s(literal 9 binary64))
%612 = (/.f64 (fma.f64 %218 #s(literal 3 binary64) (*.f64 #s(literal -3 binary64) %294)) #s(literal -9 binary64))
%613 = (*.f64 #s(literal 3 binary64) %369)
%615 = (/.f64 (fma.f64 %205 #s(literal -3 binary64) %613) #s(literal -9 binary64))
%617 = (/.f64 (-.f64 %589 %598) #s(literal -9 binary64))
%619 = (/.f64 (-.f64 %444 %604) #s(literal 9 binary64))
%621 = (/.f64 (-.f64 %219 %607) #s(literal -9 binary64))
%623 = (/.f64 (-.f64 %214 %613) #s(literal 9 binary64))
%625 = (/.f64 (neg.f64 %507) #s(literal -9 binary64))
%627 = (/.f64 (neg.f64 %509) #s(literal 3 binary64))
%628 = (/.f64 %505 #s(literal 3 binary64))
%629 = (fabs.f64 %507)
%630 = (/.f64 %629 #s(literal 9 binary64))
%631 = (/.f64 %507 #s(literal 9 binary64))
%633 = (/.f64 %509 (*.f64 %79 %60))
%635 = (/.f64 %509 (*.f64 %60 %79))
%636 = (/.f64 %509 #s(literal -3 binary64))
%637 = (/.f64 %288 #s(literal -3 binary64))
%639 = (/.f64 #s(literal 1 binary64) (pow.f64 %492 #s(literal -1 binary64)))
%641 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 9 binary64) %507))
%643 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3 binary64) %509))
%645 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3 binary64) %288))
%647 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) %495))
%649 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) %278))
%650 = (/.f64 %495 #s(literal 3 binary64))
%651 = (/.f64 %278 #s(literal 3 binary64))
%653 = (neg.f64 (/.f64 %509 #s(literal 3 binary64)))
%654 = (*.f64 %511 %493)
%655 = (neg.f64 %654)
%656 = (*.f64 %493 %511)
%657 = (neg.f64 %656)
%658 = (*.f64 #s(literal -1/3 binary64) %495)
%659 = (neg.f64 %658)
%660 = (*.f64 #s(literal -1/3 binary64) %278)
%661 = (neg.f64 %660)
%662 = (*.f64 %495 #s(literal -1/3 binary64))
%663 = (neg.f64 %662)
%664 = (/.f64 %495 #s(literal -3 binary64))
%665 = (neg.f64 %664)
%666 = (*.f64 %278 #s(literal -1/3 binary64))
%667 = (neg.f64 %666)
%669 = (fma.f64 (*.f64 %347 #s(literal -1 binary64)) z %211)
%671 = (fma.f64 (*.f64 #s(literal 1/3 binary64) %299) %299 %211)
%672 = (*.f64 #s(literal -1/3 binary64) y)
%673 = (*.f64 %672 #s(literal -1 binary64))
%674 = (*.f64 %308 #s(literal 1/3 binary64))
%675 = (fma.f64 %673 y %674)
%676 = (*.f64 #s(literal 1/3 binary64) %308)
%677 = (fma.f64 %673 y %676)
%678 = (*.f64 #s(literal 1/3 binary64) %237)
%679 = (fma.f64 %678 %237 %674)
%680 = (fma.f64 %678 %237 %676)
%681 = (*.f64 #s(literal -1/3 binary64) x)
%682 = (*.f64 %681 #s(literal -1 binary64))
%683 = (fma.f64 %682 x %558)
%684 = (*.f64 #s(literal 1/3 binary64) %3)
%685 = (fma.f64 %684 %3 %558)
%686 = (fma.f64 %305 #s(literal 1/3 binary64) %561)
%687 = (*.f64 %232 #s(literal 1/3 binary64))
%688 = (fma.f64 %308 #s(literal 1/3 binary64) %687)
%689 = (*.f64 %2 #s(literal 1/3 binary64))
%690 = (fma.f64 %689 %2 %558)
%691 = (fma.f64 %681 %11 %558)
%692 = (*.f64 #s(literal 1/3 binary64) x)
%693 = (fma.f64 %692 x %558)
%694 = (*.f64 %236 #s(literal 1/3 binary64))
%695 = (fma.f64 %694 %236 %674)
%696 = (fma.f64 %694 %236 %676)
%697 = (fma.f64 %672 %135 %674)
%698 = (fma.f64 %672 %135 %676)
%699 = (*.f64 #s(literal 1/3 binary64) y)
%700 = (fma.f64 %699 y %674)
%701 = (fma.f64 %699 y %676)
%702 = (fma.f64 %343 %298 %211)
%703 = (fma.f64 %347 %172 %211)
%704 = (*.f64 #s(literal -1/3 binary64) %294)
%705 = (fma.f64 %704 #s(literal -1 binary64) %211)
%706 = (*.f64 #s(literal -1/3 binary64) %6)
%707 = (fma.f64 %706 #s(literal -1 binary64) %558)
%708 = (*.f64 #s(literal -1/3 binary64) %232)
%709 = (fma.f64 %708 #s(literal -1 binary64) %674)
%710 = (fma.f64 %708 #s(literal -1 binary64) %676)
%711 = (*.f64 %237 #s(literal 1/3 binary64))
%712 = (fma.f64 %237 %711 %674)
%713 = (fma.f64 %237 %711 %676)
%714 = (/.f64 %237 #s(literal 3 binary64))
%715 = (fma.f64 %237 %714 %674)
%716 = (fma.f64 %237 %714 %676)
%717 = (*.f64 %3 #s(literal 1/3 binary64))
%718 = (fma.f64 %3 %717 %558)
%719 = (/.f64 %3 #s(literal 3 binary64))
%720 = (fma.f64 %3 %719 %558)
%722 = (fma.f64 %299 (*.f64 %299 #s(literal 1/3 binary64)) %211)
%724 = (fma.f64 %299 (/.f64 %299 #s(literal 3 binary64)) %211)
%726 = (fma.f64 %299 (/.f64 %298 #s(literal -3 binary64)) %211)
%727 = (fma.f64 %302 #s(literal 1/3 binary64) %561)
%728 = (/.f64 %444 #s(literal 9 binary64))
%729 = (fma.f64 #s(literal -1/3 binary64) %218 %728)
%730 = (fma.f64 #s(literal -1/3 binary64) %218 %426)
%731 = (fma.f64 %369 #s(literal -1/3 binary64) %211)
%732 = (fma.f64 %218 #s(literal -1/3 binary64) %728)
%733 = (fma.f64 %218 #s(literal -1/3 binary64) %426)
%734 = (fma.f64 %236 %694 %674)
%735 = (fma.f64 %236 %694 %676)
%736 = (fma.f64 %298 %343 %211)
%737 = (fma.f64 %2 %689 %558)
%738 = (fma.f64 %135 %672 %674)
%739 = (fma.f64 %135 %672 %676)
%740 = (fma.f64 %172 %347 %211)
%741 = (fma.f64 %11 %681 %558)
%742 = (fma.f64 #s(literal 1 binary64) %558 %561)
%743 = (fma.f64 #s(literal 1 binary64) %687 %674)
%744 = (fma.f64 #s(literal 1 binary64) %687 %676)
%745 = (fma.f64 #s(literal 1 binary64) %561 %558)
%746 = (fma.f64 #s(literal 1 binary64) %426 %211)
%747 = (fma.f64 #s(literal 1 binary64) %211 %728)
%748 = (fma.f64 #s(literal 1 binary64) %211 %426)
%749 = (fma.f64 %425 z %211)
%750 = (fma.f64 %205 #s(literal 1/3 binary64) %728)
%751 = (fma.f64 %205 #s(literal 1/3 binary64) %426)
%752 = (fma.f64 #s(literal -1 binary64) %704 %211)
%753 = (fma.f64 #s(literal -1 binary64) %706 %558)
%754 = (fma.f64 #s(literal -1 binary64) %708 %674)
%755 = (fma.f64 #s(literal -1 binary64) %708 %676)
%756 = (fma.f64 %294 #s(literal 1/3 binary64) %211)
%757 = (fma.f64 %232 #s(literal 1/3 binary64) %674)
%758 = (fma.f64 %232 #s(literal 1/3 binary64) %676)
%759 = (fma.f64 #s(literal 1/3 binary64) %308 %687)
%760 = (fma.f64 #s(literal 1/3 binary64) %302 %561)
%761 = (fma.f64 #s(literal 1/3 binary64) %205 %728)
%762 = (fma.f64 #s(literal 1/3 binary64) %205 %426)
%763 = (fma.f64 #s(literal 1/3 binary64) %294 %211)
%764 = (fma.f64 #s(literal 1/3 binary64) %232 %674)
%765 = (fma.f64 #s(literal 1/3 binary64) %232 %676)
%766 = (fma.f64 #s(literal 1/3 binary64) %6 %558)
%768 = (fma.f64 z (*.f64 #s(literal -1 binary64) %347) %211)
%769 = (fma.f64 z %425 %211)
%770 = (*.f64 #s(literal -1 binary64) %672)
%771 = (fma.f64 y %770 %674)
%772 = (fma.f64 y %770 %676)
%773 = (fma.f64 y %699 %674)
%774 = (fma.f64 y %699 %676)
%775 = (fma.f64 %6 #s(literal 1/3 binary64) %558)
%776 = (*.f64 #s(literal -1 binary64) %681)
%777 = (fma.f64 x %776 %558)
%778 = (fma.f64 x %692 %558)
%780 = (-.f64 (-.f64 %426 %706) %708)
%781 = (-.f64 %558 %706)
%782 = (-.f64 %676 %708)
%784 = (-.f64 %687 (-.f64 %706 %426))
%786 = (-.f64 %687 (fma.f64 %681 x %704))
%788 = (-.f64 %687 (neg.f64 %676))
%790 = (-.f64 %687 (/.f64 %465 #s(literal 3 binary64)))
%792 = (-.f64 %561 (-.f64 %708 %426))
%794 = (-.f64 %561 (fma.f64 %672 y %704))
%796 = (-.f64 %561 (*.f64 #s(literal -1/3 binary64) %302))
%798 = (-.f64 %561 (*.f64 %467 #s(literal 1/3 binary64)))
%800 = (-.f64 %561 (neg.f64 %558))
%802 = (-.f64 %561 (/.f64 %467 #s(literal 3 binary64)))
%803 = (*.f64 #s(literal -1/3 binary64) %205)
%804 = (-.f64 %426 %803)
%805 = (-.f64 %211 %704)
%807 = (sqrt.f64 (/.f64 %530 #s(literal 9 binary64)))
%808 = (sqrt.f64 %531)
%809 = (fabs.f64 %654)
%810 = (fabs.f64 %656)
%811 = (fabs.f64 %658)
%812 = (fabs.f64 %660)
%813 = (fabs.f64 %662)
%814 = (fabs.f64 %664)
%815 = (fabs.f64 %666)
%816 = (fabs.f64 %492)
%817 = (+.f64 %674 %687)
%818 = (+.f64 %728 %211)
%819 = (+.f64 %558 %561)
%820 = (+.f64 %676 %687)
%821 = (+.f64 %687 %674)
%822 = (+.f64 %687 %676)
%823 = (+.f64 %561 %558)
%824 = (+.f64 %426 %211)
%825 = (+.f64 %211 %728)
%826 = (+.f64 %211 %426)
%842 = (sqrt.f64 %493)
%843 = (*.f64 %842 %842)
%844 = (*.f64 %63 %500)
%845 = (*.f64 %500 %63)
%846 = (*.f64 #s(literal 1 binary64) %493)
%847 = (*.f64 %496 %54)
%848 = (*.f64 %54 %496)
%849 = (pow.f64 %531 #s(literal 1/4 binary64))
%850 = (pow.f64 %492 #s(literal 1/2 binary64))
%851 = (pow.f64 %493 #s(literal 1 binary64))
%853 = (/.f64 (*.f64 %496 #s(literal -1 binary64)) %79)
%855 = (/.f64 (*.f64 #s(literal -1 binary64) %496) %79)
%856 = (*.f64 %500 #s(literal 1 binary64))
%857 = (/.f64 %856 %79)
%859 = (/.f64 (sqrt.f64 %629) #s(literal 3 binary64))
%860 = (/.f64 %500 %79)
%862 = (/.f64 #s(literal 1 binary64) (pow.f64 %493 #s(literal -1 binary64)))
%864 = (/.f64 #s(literal 1 binary64) (/.f64 %79 %500))
%866 = (/.f64 #s(literal 1 binary64) (/.f64 %60 %496))
%867 = (/.f64 %496 %60)
%868 = (neg.f64 %511)
%869 = (fabs.f64 %511)
%870 = (fabs.f64 %493)
%873 = (sqrt.f64 %496)
x
(*.f64 %4 %3)
(*.f64 %8 #s(literal 1/2 binary64))
(*.f64 %12 %11)
(*.f64 %14 %14)
(*.f64 %14 %2)
(*.f64 %3 %17)
(*.f64 %3 %3)
(*.f64 %20 #s(literal -1 binary64))
(*.f64 %2 %14)
(*.f64 %2 %2)
(*.f64 %11 %25)
(*.f64 %11 %11)
(*.f64 #s(literal 1 binary64) %6)
(*.f64 #s(literal 2 binary64) %29)
(*.f64 #s(literal -1 binary64) %20)
(*.f64 %6 #s(literal 1 binary64))
%6
(pow.f64 %33 #s(literal 1/2 binary64))
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 %11 #s(literal 2 binary64))
(pow.f64 %6 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(neg.f64 (*.f64 %20 #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) %20))
(neg.f64 %20)
(sqrt.f64 %33)
(fabs.f64 %20)
(fabs.f64 %6)
y
z
#s(literal 3 binary64)
#s(literal 1/3 binary64)
(*.f64 %55 %55)
(*.f64 #s(literal 1 binary64) %54)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %54))
(*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %60))
(*.f64 #s(literal -1 binary64) %63)
(*.f64 %54 #s(literal 1 binary64))
(pow.f64 #s(literal 1/9 binary64) #s(literal 1/4 binary64))
(pow.f64 #s(literal 9 binary64) #s(literal -1/4 binary64))
(pow.f64 %60 #s(literal -1 binary64))
(pow.f64 %54 #s(literal 1 binary64))
(pow.f64 #s(literal 1/3 binary64) #s(literal 1/2 binary64))
(pow.f64 #s(literal 3 binary64) #s(literal -1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %54 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %79 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %60 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) %60)
(/.f64 #s(literal -1 binary64) %79)
(neg.f64 %63)
%54
(fabs.f64 %63)
(fabs.f64 %54)
(*.f64 #s(literal 1 binary64) %89)
%89
(*.f64 x %54)
(pow.f64 %89 #s(literal 1 binary64))
(/.f64 %11 %79)
(/.f64 #s(literal 1 binary64) (pow.f64 %89 #s(literal -1 binary64)))
(/.f64 x %60)
(pow.f64 %105 #s(literal 1 binary64))
%105
(/.f64 #s(literal 1 binary64) (pow.f64 %105 #s(literal -1 binary64)))
#s(literal -1 binary64)
(*.f64 %25 %54)
(*.f64 %63 x)
(*.f64 %11 %54)
(*.f64 #s(literal 1 binary64) %112)
(*.f64 #s(literal -1 binary64) %89)
(*.f64 %89 #s(literal -1 binary64))
(*.f64 %54 %11)
(*.f64 x %63)
(pow.f64 %112 #s(literal 1 binary64))
(/.f64 %25 %60)
(/.f64 %12 %60)
(/.f64 %11 %60)
(/.f64 #s(literal 1 binary64) (pow.f64 %112 #s(literal -1 binary64)))
(/.f64 x %79)
(neg.f64 (*.f64 %89 #s(literal 1 binary64)))
%112
(pow.f64 %127 #s(literal 1 binary64))
%127
(/.f64 #s(literal 1 binary64) (pow.f64 %127 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %131)
%131
(*.f64 y %54)
(pow.f64 %131 #s(literal 1 binary64))
(/.f64 %135 %79)
(/.f64 #s(literal 1 binary64) (pow.f64 %131 #s(literal -1 binary64)))
(/.f64 y %60)
(pow.f64 %140 #s(literal 1 binary64))
%140
(/.f64 #s(literal 1 binary64) (pow.f64 %140 #s(literal -1 binary64)))
(*.f64 %144 %54)
(*.f64 %63 y)
(*.f64 %135 %54)
(*.f64 #s(literal 1 binary64) %148)
(*.f64 %131 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %131)
(*.f64 %54 %135)
(*.f64 y %63)
(pow.f64 %148 #s(literal 1 binary64))
(/.f64 %144 %60)
(/.f64 %156 %60)
(/.f64 %135 %60)
(/.f64 #s(literal 1 binary64) (pow.f64 %148 #s(literal -1 binary64)))
(/.f64 y %79)
(neg.f64 (*.f64 %131 #s(literal 1 binary64)))
%148
(pow.f64 %164 #s(literal 1 binary64))
%164
(/.f64 #s(literal 1 binary64) (pow.f64 %164 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %168)
%168
(*.f64 z %54)
(pow.f64 %168 #s(literal 1 binary64))
(/.f64 %172 %79)
(/.f64 #s(literal 1 binary64) (pow.f64 %168 #s(literal -1 binary64)))
(/.f64 z %60)
(pow.f64 %177 #s(literal 1 binary64))
%177
(/.f64 #s(literal 1 binary64) (pow.f64 %177 #s(literal -1 binary64)))
(*.f64 %181 %54)
(*.f64 %63 z)
(*.f64 %172 %54)
(*.f64 #s(literal 1 binary64) %185)
(*.f64 %168 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %168)
(*.f64 %54 %172)
(*.f64 z %63)
(pow.f64 %185 #s(literal 1 binary64))
(/.f64 %181 %60)
(/.f64 %193 %60)
(/.f64 %172 %60)
(/.f64 #s(literal 1 binary64) (pow.f64 %185 #s(literal -1 binary64)))
(/.f64 z %79)
(neg.f64 (*.f64 %168 #s(literal 1 binary64)))
%185
(pow.f64 %201 #s(literal 1 binary64))
%201
(/.f64 #s(literal 1 binary64) (pow.f64 %201 #s(literal -1 binary64)))
(*.f64 %206 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %205)
(*.f64 #s(literal 2 binary64) %209)
(*.f64 %211 #s(literal 3 binary64))
(*.f64 %205 #s(literal 1 binary64))
(*.f64 #s(literal 1/3 binary64) %214)
(*.f64 #s(literal 3 binary64) %211)
(pow.f64 %205 #s(literal 1 binary64))
(/.f64 %219 #s(literal -3 binary64))
(/.f64 %214 #s(literal 3 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %205 #s(literal -1 binary64)))
(neg.f64 (*.f64 %218 #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) %218))
(neg.f64 (*.f64 %211 #s(literal -3 binary64)))
(neg.f64 %218)
(fma.f64 %4 %3 %232)
(fma.f64 %234 #s(literal 1/2 binary64) %6)
(fma.f64 %238 %237 %6)
(fma.f64 %8 #s(literal 1/2 binary64) %232)
(fma.f64 %12 %11 %232)
(fma.f64 %156 %135 %6)
(fma.f64 %243 %243 %6)
(fma.f64 %243 %236 %6)
(fma.f64 %14 %14 %232)
(fma.f64 %14 %2 %232)
(fma.f64 %237 %248 %6)
(fma.f64 %237 %237 %6)
(fma.f64 %3 %17 %232)
(fma.f64 %3 %3 %232)
(fma.f64 %20 #s(literal -1 binary64) %232)
(fma.f64 %254 #s(literal -1 binary64) %6)
(fma.f64 %236 %243 %6)
(fma.f64 %236 %236 %6)
(fma.f64 %2 %14 %232)
(fma.f64 %2 %2 %232)
(fma.f64 %135 %144 %6)
(fma.f64 %135 %135 %6)
(fma.f64 %11 %25 %232)
(fma.f64 %11 %11 %232)
(fma.f64 #s(literal 1 binary64) %232 %6)
(fma.f64 #s(literal 1 binary64) %6 %232)
(fma.f64 #s(literal 2 binary64) %29 %232)
(fma.f64 #s(literal 2 binary64) %267 %6)
(fma.f64 #s(literal -1 binary64) %20 %232)
(fma.f64 #s(literal -1 binary64) %254 %6)
(fma.f64 %232 #s(literal 1 binary64) %6)
%205
(fma.f64 %6 #s(literal 1 binary64) %232)
(fma.f64 x x %232)
(-.f64 %232 %20)
(-.f64 %6 %254)
(+.f64 %232 %6)
(+.f64 %6 %232)
(*.f64 (*.f64 %278 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %278)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %278))
(*.f64 %278 #s(literal 1 binary64))
(pow.f64 %278 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %278 #s(literal -1 binary64)))
(neg.f64 %289)
(neg.f64 (*.f64 #s(literal 1 binary64) %288))
(neg.f64 %288)
(fma.f64 (*.f64 %294 #s(literal 2 binary64)) #s(literal 1/2 binary64) %205)
(fma.f64 %206 #s(literal 1/2 binary64) %294)
(fma.f64 (*.f64 #s(literal 1 binary64) %299) %299 %205)
(fma.f64 %4 %3 %303)
(fma.f64 %4 %3 %305)
(fma.f64 %4 %3 %302)
(fma.f64 %234 #s(literal 1/2 binary64) %309)
(fma.f64 %234 #s(literal 1/2 binary64) %311)
(fma.f64 %234 #s(literal 1/2 binary64) %308)
(fma.f64 %238 %237 %309)
(fma.f64 %238 %237 %311)
(fma.f64 %238 %237 %308)
(fma.f64 %8 #s(literal 1/2 binary64) %303)
(fma.f64 %8 #s(literal 1/2 binary64) %305)
(fma.f64 %8 #s(literal 1/2 binary64) %302)
(fma.f64 %12 %11 %303)
(fma.f64 %12 %11 %305)
(fma.f64 %12 %11 %302)
(fma.f64 %156 %135 %309)
(fma.f64 %156 %135 %311)
(fma.f64 %156 %135 %308)
(fma.f64 %193 %172 %205)
(fma.f64 %327 %327 %205)
(fma.f64 %327 %298 %205)
(fma.f64 %243 %243 %309)
(fma.f64 %243 %243 %311)
(fma.f64 %243 %243 %308)
(fma.f64 %243 %236 %309)
(fma.f64 %243 %236 %311)
(fma.f64 %243 %236 %308)
(fma.f64 %14 %14 %303)
(fma.f64 %14 %14 %305)
(fma.f64 %14 %14 %302)
(fma.f64 %14 %2 %303)
(fma.f64 %14 %2 %305)
(fma.f64 %14 %2 %302)
(fma.f64 %308 #s(literal 1 binary64) %232)
(fma.f64 %343 (*.f64 %298 #s(literal 3 binary64)) %205)
(fma.f64 %347 (*.f64 %172 #s(literal 3 binary64)) %205)
(fma.f64 %237 %248 %309)
(fma.f64 %237 %248 %311)
(fma.f64 %237 %248 %308)
(fma.f64 %237 %237 %309)
(fma.f64 %237 %237 %311)
(fma.f64 %237 %237 %308)
(fma.f64 %3 %17 %303)
(fma.f64 %3 %17 %305)
(fma.f64 %3 %17 %302)
(fma.f64 %3 %3 %303)
(fma.f64 %3 %3 %305)
(fma.f64 %3 %3 %302)
(fma.f64 %299 (*.f64 %299 #s(literal 1 binary64)) %205)
(fma.f64 %299 %299 %205)
(fma.f64 %302 #s(literal 1 binary64) %6)
(fma.f64 %20 #s(literal -1 binary64) %303)
(fma.f64 %20 #s(literal -1 binary64) %305)
(fma.f64 %20 #s(literal -1 binary64) %302)
(fma.f64 %369 #s(literal -1 binary64) %205)
(fma.f64 %254 #s(literal -1 binary64) %309)
(fma.f64 %254 #s(literal -1 binary64) %311)
(fma.f64 %254 #s(literal -1 binary64) %308)
(fma.f64 %236 %243 %309)
(fma.f64 %236 %243 %311)
(fma.f64 %236 %243 %308)
(fma.f64 %236 %236 %309)
(fma.f64 %236 %236 %311)
(fma.f64 %236 %236 %308)
(fma.f64 %298 (*.f64 %343 #s(literal 3 binary64)) %205)
(fma.f64 %298 %327 %205)
(fma.f64 %298 %298 %205)
(fma.f64 %2 %14 %303)
(fma.f64 %2 %14 %305)
(fma.f64 %2 %14 %302)
(fma.f64 %2 %2 %303)
(fma.f64 %2 %2 %305)
(fma.f64 %2 %2 %302)
(fma.f64 %135 %144 %309)
(fma.f64 %135 %144 %311)
(fma.f64 %135 %144 %308)
(fma.f64 %135 %135 %309)
(fma.f64 %135 %135 %311)
(fma.f64 %135 %135 %308)
(fma.f64 %172 (*.f64 %347 #s(literal 3 binary64)) %205)
(fma.f64 %172 %181 %205)
(fma.f64 %172 %172 %205)
(fma.f64 %11 %25 %303)
(fma.f64 %11 %25 %305)
(fma.f64 %11 %25 %302)
(fma.f64 %11 %11 %303)
(fma.f64 %11 %11 %305)
(fma.f64 %11 %11 %302)
(fma.f64 #s(literal 1 binary64) %308 %232)
(fma.f64 #s(literal 1 binary64) %302 %6)
(fma.f64 #s(literal 1 binary64) %205 %294)
(fma.f64 #s(literal 1 binary64) %294 %205)
(fma.f64 #s(literal 1 binary64) %232 %309)
(fma.f64 #s(literal 1 binary64) %232 %311)
(fma.f64 #s(literal 1 binary64) %232 %308)
(fma.f64 #s(literal 1 binary64) %6 %303)
(fma.f64 #s(literal 1 binary64) %6 %305)
(fma.f64 #s(literal 1 binary64) %6 %302)
(fma.f64 #s(literal 2 binary64) %209 %294)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %294) %205)
(fma.f64 #s(literal 2 binary64) %29 %303)
(fma.f64 #s(literal 2 binary64) %29 %305)
(fma.f64 #s(literal 2 binary64) %29 %302)
(fma.f64 #s(literal 2 binary64) %267 %309)
(fma.f64 #s(literal 2 binary64) %267 %311)
(fma.f64 #s(literal 2 binary64) %267 %308)
(fma.f64 %426 #s(literal 3 binary64) %205)
(fma.f64 %211 #s(literal 3 binary64) %294)
(fma.f64 %425 (*.f64 z #s(literal 3 binary64)) %205)
(fma.f64 %205 #s(literal 1 binary64) %294)
(fma.f64 #s(literal -1 binary64) %20 %303)
(fma.f64 #s(literal -1 binary64) %20 %305)
(fma.f64 #s(literal -1 binary64) %20 %302)
(fma.f64 #s(literal -1 binary64) %369 %205)
(fma.f64 #s(literal -1 binary64) %254 %309)
(fma.f64 #s(literal -1 binary64) %254 %311)
(fma.f64 #s(literal -1 binary64) %254 %308)
(fma.f64 %294 #s(literal 1 binary64) %205)
(fma.f64 %232 #s(literal 1 binary64) %309)
(fma.f64 %232 #s(literal 1 binary64) %311)
(fma.f64 %232 #s(literal 1 binary64) %308)
(fma.f64 #s(literal 1/3 binary64) %214 %294)
(fma.f64 #s(literal 1/3 binary64) %444 %205)
(fma.f64 #s(literal 3 binary64) %426 %205)
(fma.f64 #s(literal 3 binary64) %211 %294)
(fma.f64 z (*.f64 %425 #s(literal 3 binary64)) %205)
%278
(fma.f64 y y %309)
(fma.f64 y y %311)
(fma.f64 y y %308)
(fma.f64 %6 #s(literal 1 binary64) %303)
(fma.f64 %6 #s(literal 1 binary64) %305)
(fma.f64 %6 #s(literal 1 binary64) %302)
(fma.f64 x x %303)
(fma.f64 x x %305)
(fma.f64 x x %302)
(-.f64 %308 %254)
(-.f64 %302 %20)
(-.f64 %205 %369)
(-.f64 %294 %218)
(-.f64 %232 (-.f64 %369 %6))
(-.f64 %232 %465)
(-.f64 %6 %467)
(+.f64 %309 %232)
(+.f64 %303 %6)
(+.f64 %311 %232)
(+.f64 %305 %6)
(+.f64 %308 %232)
(+.f64 %302 %6)
(+.f64 %205 %294)
(+.f64 %294 %205)
(+.f64 %232 %309)
(+.f64 %232 %311)
(+.f64 %232 %308)
(+.f64 %6 %303)
(+.f64 %6 %305)
(+.f64 %6 %302)
(*.f64 %483 %483)
(pow.f64 #s(literal 9 binary64) #s(literal 1/4 binary64))
(pow.f64 %60 #s(literal 1 binary64))
(pow.f64 #s(literal 3 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) %54)
(neg.f64 %79)
%60
(fabs.f64 %79)
(fabs.f64 %60)
%497
%499
%502
%504
%506
%508
%510
%512
%513
%515
%516
%517
%519
%521
%523
%524
%492
%525
%527
%528
%529
%533
%534
%535
%536
%537
%539
%541
%542
%543
%545
%547
%549
%550
%552
%554
%556
%557
%560
%563
%565
%567
%570
%573
%576
%580
%582
%585
%588
%591
%594
%597
%600
%603
%606
%609
%612
%615
%617
%619
%621
%623
%625
%627
%628
%630
%631
%633
%635
%636
%637
%639
%641
%643
%645
%647
%649
%650
%651
%653
%655
%657
%659
%661
%663
%665
%667
%669
%671
%675
%677
%679
%680
%683
%685
%686
%688
%690
%691
%693
%695
%696
%697
%698
%700
%701
%702
%703
%705
%707
%709
%710
%712
%713
%715
%716
%718
%720
%722
%724
%726
%727
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%768
%769
%771
%772
%773
%774
%775
%777
%778
%780
%781
%782
%784
%786
%788
%790
%792
%794
%796
%798
%800
%802
%804
%805
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
(*.f64 %500 %500)
(*.f64 %496 %496)
(pow.f64 (pow.f64 %278 #s(literal 4 binary64)) #s(literal 1/4 binary64))
(pow.f64 %500 #s(literal 2 binary64))
(pow.f64 %530 #s(literal 1/2 binary64))
(pow.f64 %496 #s(literal 2 binary64))
(pow.f64 %495 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %495 #s(literal -1 binary64)))
(sqrt.f64 %530)
(fabs.f64 %509)
(fabs.f64 %288)
(fabs.f64 %495)
%495
%843
%844
%845
%846
%847
%848
%849
%850
%851
%853
%855
%857
%859
%860
%862
%864
%866
%867
%868
%493
%869
%870
(*.f64 (*.f64 %496 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %873 %873)
(*.f64 #s(literal 1 binary64) %496)
(*.f64 %496 #s(literal 1 binary64))
(pow.f64 %551 #s(literal 1/2 binary64))
(pow.f64 %505 #s(literal 1/2 binary64))
(pow.f64 %530 #s(literal 1/4 binary64))
(pow.f64 %496 #s(literal 1 binary64))
(pow.f64 %495 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %496 #s(literal -1 binary64)))
(neg.f64 %500)
(sqrt.f64 %505)
%496
(fabs.f64 %856)
(fabs.f64 %500)
(fabs.f64 %496)
(*.f64 #s(literal 1 binary64) %425)
%425
(*.f64 z #s(literal 1/3 binary64))
(pow.f64 %425 #s(literal 1 binary64))
(/.f64 %172 #s(literal -3 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %425 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) z))
(/.f64 z #s(literal 3 binary64))
(neg.f64 %347)
(*.f64 #s(literal -1/3 binary64) %218)
(*.f64 %218 #s(literal -1/3 binary64))
(*.f64 #s(literal 1 binary64) %211)
%211
(*.f64 #s(literal 1/3 binary64) %205)
(pow.f64 %211 #s(literal 1 binary64))
(/.f64 (*.f64 %205 #s(literal -1 binary64)) #s(literal -3 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %205) #s(literal -3 binary64))
(/.f64 (fma.f64 %687 #s(literal 3 binary64) %6) #s(literal 3 binary64))
(/.f64 (fma.f64 %561 #s(literal 3 binary64) %232) #s(literal 3 binary64))
(/.f64 (-.f64 (*.f64 %687 #s(literal 3 binary64)) %20) #s(literal 3 binary64))
(/.f64 (-.f64 (*.f64 %561 #s(literal 3 binary64)) %254) #s(literal 3 binary64))
(/.f64 (fma.f64 %232 #s(literal 3 binary64) %592) #s(literal 9 binary64))
(/.f64 (fma.f64 %6 #s(literal 3 binary64) (*.f64 #s(literal 3 binary64) %232)) #s(literal 9 binary64))
(/.f64 (-.f64 (*.f64 %232 #s(literal 3 binary64)) (*.f64 #s(literal 3 binary64) %20)) #s(literal 9 binary64))
(/.f64 (-.f64 %568 (*.f64 #s(literal 3 binary64) %254)) #s(literal 9 binary64))
(/.f64 %214 #s(literal 9 binary64))
(/.f64 %218 #s(literal -3 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %211 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3 binary64) %218))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) %205))
(/.f64 %205 #s(literal 3 binary64))
(neg.f64 %803)
(fma.f64 %673 y %561)
(fma.f64 %678 %237 %561)
(fma.f64 %682 x %687)
(fma.f64 %684 %3 %687)
(fma.f64 %689 %2 %687)
(fma.f64 %681 %11 %687)
(fma.f64 %692 x %687)
(fma.f64 %694 %236 %561)
(fma.f64 %672 %135 %561)
(fma.f64 %699 y %561)
(fma.f64 %706 #s(literal -1 binary64) %687)
(fma.f64 %708 #s(literal -1 binary64) %561)
(fma.f64 %237 %711 %561)
(fma.f64 %237 %714 %561)
(fma.f64 %3 %717 %687)
(fma.f64 %3 %719 %687)
(fma.f64 %236 %694 %561)
(fma.f64 %2 %689 %687)
(fma.f64 %135 %672 %561)
(fma.f64 %11 %681 %687)
(fma.f64 #s(literal 1 binary64) %687 %561)
(fma.f64 #s(literal 1 binary64) %561 %687)
(fma.f64 #s(literal -1 binary64) %706 %687)
(fma.f64 #s(literal -1 binary64) %708 %561)
(fma.f64 %232 #s(literal 1/3 binary64) %561)
(fma.f64 #s(literal 1/3 binary64) %232 %561)
(fma.f64 #s(literal 1/3 binary64) %6 %687)
(fma.f64 y %770 %561)
(fma.f64 y %699 %561)
(fma.f64 %6 #s(literal 1/3 binary64) %687)
(fma.f64 x %776 %687)
(fma.f64 x %692 %687)
(-.f64 %687 %706)
(-.f64 %561 %708)
(+.f64 %687 %561)
(+.f64 %561 %687)
%497
%499
%502
%504
%506
%508
%510
%512
%513
%515
%516
%517
%519
%521
%523
%524
%492
%525
%527
%528
%529
%533
%534
%535
%536
%537
%539
%541
%542
%543
%545
%547
%549
%550
%552
%554
%556
%557
%560
%563
%565
%567
%570
%573
%576
%580
%582
%585
%588
%591
%594
%597
%600
%603
%606
%609
%612
%615
%617
%619
%621
%623
%625
%627
%628
%630
%631
%633
%635
%636
%637
%639
%641
%643
%645
%647
%649
%650
%651
%653
%655
%657
%659
%661
%663
%665
%667
%669
%671
%675
%677
%679
%680
%683
%685
%686
%688
%690
%691
%693
%695
%696
%697
%698
%700
%701
%702
%703
%705
%707
%709
%710
%712
%713
%715
%716
%718
%720
%722
%724
%726
%727
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%768
%769
%771
%772
%773
%774
%775
%777
%778
%780
%781
%782
%784
%786
%788
%790
%792
%794
%796
%798
%800
%802
%804
%805
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%497
%499
%502
%504
%506
%508
%510
%512
%513
%515
%516
%517
%519
%521
%523
%524
%492
%525
%527
%528
%529
%533
%534
%535
%536
%537
%539
%541
%542
%543
%545
%547
%549
%550
%552
%554
%556
%557
%560
%563
%565
%567
%570
%573
%576
%580
%582
%585
%588
%591
%594
%597
%600
%603
%606
%609
%612
%615
%617
%619
%621
%623
%625
%627
%628
%630
%631
%633
%635
%636
%637
%639
%641
%643
%645
%647
%649
%650
%651
%653
%655
%657
%659
%661
%663
%665
%667
%669
%671
%675
%677
%679
%680
%683
%685
%686
%688
%690
%691
%693
%695
%696
%697
%698
%700
%701
%702
%703
%705
%707
%709
%710
%712
%713
%715
%716
%718
%720
%722
%724
%726
%727
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%768
%769
%771
%772
%773
%774
%775
%777
%778
%780
%781
%782
%784
%786
%788
%790
%792
%794
%796
%798
%800
%802
%804
%805
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%843
%844
%845
%846
%847
%848
%849
%850
%851
%853
%855
%857
%859
%860
%862
%864
%866
%867
%868
%493
%869
%870
%843
%844
%845
%846
%847
%848
%849
%850
%851
%853
%855
%857
%859
%860
%862
%864
%866
%867
%868
%493
%869
%870
%843
%844
%845
%846
%847
%848
%849
%850
%851
%853
%855
%857
%859
%860
%862
%864
%866
%867
%868
%493
%869
%870

%1 = (*.f64 x x)
%6 = (approx x #s(literal 0 binary64))
%9 = (sqrt.f64 #s(literal 1/3 binary64))
%11 = (fma.f64 y y %1)
%12 = (fma.f64 z z %11)
%13 = (sqrt.f64 #s(literal 3 binary64))
%14 = (fabs.f64 %12)
%15 = (sqrt.f64 %14)
%16 = (neg.f64 %13)
%17 = (/.f64 y %13)
%18 = (/.f64 x %13)
%19 = (/.f64 z %13)
%22 = (* z z)
%23 = (* y y)
%24 = (* x x)
%25 = (+ %23 %24)
%31 = (/ (sqrt (fabs (+ %22 %25))) (sqrt 3))
%33 = (/.f64 #s(literal 1 binary64) %13)
%36 = (*.f64 %9 x)
%37 = (neg.f64 %36)
%38 = (/.f64 x %16)
%41 = (sqrt (/ (+ %25 %22) 3))
%43 = (*.f64 %9 y)
%44 = (neg.f64 %43)
%45 = (/.f64 y %16)
%47 = (*.f64 %9 z)
%48 = (neg.f64 %47)
%49 = (/.f64 z %16)
%54 = (sqrt (/ (+ (+ %24 %23) %22) 3))
%58 = (*.f64 %6 %9)
%60 = (*.f64 x #s(literal 1300077228592327/2251799813685248 binary64))
%61 = (*.f64 y #s(literal 1300077228592327/2251799813685248 binary64))
%62 = (*.f64 z #s(literal 1300077228592327/2251799813685248 binary64))
%66 = (*.f64 x %33)
%67 = (*.f64 #s(literal -1 binary64) %66)
%69 = (*.f64 y %33)
%70 = (*.f64 #s(literal -1 binary64) %69)
%72 = (*.f64 z %33)
%73 = (*.f64 #s(literal -1 binary64) %72)
x
%1
y
z
#s(literal 3 binary64)
#s(literal 0 binary64)
%6
#s(literal 1/3 binary64)
#s(literal 1 binary64)
%9
#s(literal -1 binary64)
%11
%12
%13
%14
%15
%16
%17
%18
%19
#s(literal 1300077228592327/2251799813685248 binary64)
#s(literal 3900231685776981/2251799813685248 binary64)
(approx %31 %18)
%33
(approx %31 %17)
(approx %31 %19)
%36
%37
%38
(approx %41 %37)
%43
%44
%45
(approx %41 %44)
%47
%48
%49
(approx %41 %48)
(approx %54 %38)
(approx %54 %49)
(approx %54 %45)
%58
(approx %54 %58)
%60
%61
%62
(approx %54 %60)
(approx %54 %61)
(approx %54 %62)
%66
%67
(approx %54 %67)
%69
%70
(approx %54 %70)
%72
%73
(approx %54 %73)
(approx %54 %66)
(approx %54 %69)
(/.f64 %15 #s(literal 3900231685776981/2251799813685248 binary64))

%1 = (+.f64 x x)
%2 = (*.f64 x %1)
%5 = (*.f64 %1 %1)
%8 = (fabs.f64 x)
%9 = (neg.f64 %8)
%10 = (neg.f64 %9)
%13 = (*.f64 #s(literal 1/2 binary64) x)
%16 = (neg.f64 x)
%17 = (*.f64 %16 x)
%25 = (*.f64 x x)
%54 = (approx x #s(literal 0 binary64))
%60 = (sqrt.f64 #s(literal 1/3 binary64))
%61 = (*.f64 %60 #s(literal 2 binary64))
%62 = (*.f64 %61 #s(literal 1/2 binary64))
%63 = (sqrt.f64 %60)
%64 = (*.f64 %63 %63)
%65 = (sqrt.f64 #s(literal 2 binary64))
%67 = (sqrt.f64 #s(literal 1/6 binary64))
%68 = (*.f64 %65 %67)
%69 = (*.f64 #s(literal 1/2 binary64) %60)
%70 = (*.f64 %69 #s(literal 2 binary64))
%72 = (sqrt.f64 #s(literal 3 binary64))
%73 = (/.f64 #s(literal -1/2 binary64) %72)
%74 = (*.f64 #s(literal -2 binary64) %73)
%75 = (neg.f64 %60)
%76 = (*.f64 %75 #s(literal -1 binary64))
%77 = (*.f64 #s(literal 2 binary64) %60)
%78 = (*.f64 #s(literal 1/2 binary64) %77)
%79 = (/.f64 #s(literal 2 binary64) %72)
%80 = (*.f64 #s(literal 1/2 binary64) %79)
%81 = (fabs.f64 %73)
%82 = (*.f64 #s(literal 2 binary64) %81)
%83 = (fabs.f64 %69)
%84 = (*.f64 #s(literal 2 binary64) %83)
%85 = (*.f64 #s(literal 2 binary64) %69)
%86 = (*.f64 #s(literal -1 binary64) %75)
%87 = (*.f64 %60 #s(literal 1 binary64))
%88 = (*.f64 #s(literal 1 binary64) %60)
%91 = (pow.f64 #s(literal 9 binary64) #s(literal -1/4 binary64))
%92 = (pow.f64 %72 #s(literal -1 binary64))
%93 = (pow.f64 %60 #s(literal 1 binary64))
%94 = (pow.f64 #s(literal 1/3 binary64) #s(literal 1/2 binary64))
%95 = (pow.f64 #s(literal 3 binary64) #s(literal -1/2 binary64))
%96 = (/.f64 %61 #s(literal 2 binary64))
%97 = (/.f64 %77 #s(literal 2 binary64))
%98 = (neg.f64 %72)
%99 = (*.f64 %98 #s(literal 2 binary64))
%100 = (/.f64 #s(literal -2 binary64) %99)
%101 = (*.f64 #s(literal 2 binary64) %98)
%102 = (/.f64 #s(literal -2 binary64) %101)
%103 = (*.f64 %72 #s(literal 2 binary64))
%104 = (/.f64 #s(literal 2 binary64) %103)
%105 = (*.f64 #s(literal 2 binary64) %72)
%106 = (/.f64 #s(literal 2 binary64) %105)
%107 = (/.f64 #s(literal -1 binary64) %98)
%109 = (/.f64 #s(literal 1 binary64) (pow.f64 #s(literal 1/3 binary64) #s(literal -1/2 binary64)))
%111 = (/.f64 #s(literal 1 binary64) (pow.f64 %60 #s(literal -1 binary64)))
%113 = (/.f64 #s(literal 1 binary64) (/.f64 %98 #s(literal -1 binary64)))
%115 = (/.f64 #s(literal 1 binary64) (/.f64 %72 #s(literal 1 binary64)))
%116 = (/.f64 #s(literal 1 binary64) %72)
%117 = (neg.f64 %75)
%118 = (*.f64 %60 #s(literal 0 binary64))
%119 = (fma.f64 %61 #s(literal 1/2 binary64) %118)
%120 = (*.f64 #s(literal 0 binary64) %60)
%121 = (fma.f64 %61 #s(literal 1/2 binary64) %120)
%122 = (/.f64 #s(literal 0 binary64) %72)
%123 = (fma.f64 %61 #s(literal 1/2 binary64) %122)
%124 = (fma.f64 %63 %63 %118)
%125 = (fma.f64 %63 %63 %120)
%126 = (fma.f64 %63 %63 %122)
%127 = (fma.f64 %65 %67 %118)
%128 = (fma.f64 %65 %67 %120)
%129 = (fma.f64 %65 %67 %122)
%130 = (fma.f64 %69 #s(literal 2 binary64) %118)
%131 = (fma.f64 %69 #s(literal 2 binary64) %120)
%132 = (fma.f64 %69 #s(literal 2 binary64) %122)
%133 = (fma.f64 %69 #s(literal 1 binary64) %69)
%134 = (fma.f64 #s(literal -2 binary64) %73 %118)
%135 = (fma.f64 #s(literal -2 binary64) %73 %120)
%136 = (fma.f64 #s(literal -2 binary64) %73 %122)
%137 = (fma.f64 #s(literal -1/2 binary64) %75 %69)
%138 = (fma.f64 %75 #s(literal -1 binary64) %118)
%139 = (fma.f64 %75 #s(literal -1 binary64) %120)
%140 = (fma.f64 %75 #s(literal -1 binary64) %122)
%141 = (fma.f64 #s(literal 1/2 binary64) %77 %118)
%142 = (fma.f64 #s(literal 1/2 binary64) %77 %120)
%143 = (fma.f64 #s(literal 1/2 binary64) %77 %122)
%144 = (fma.f64 #s(literal 1/2 binary64) %79 %118)
%145 = (fma.f64 #s(literal 1/2 binary64) %79 %120)
%146 = (fma.f64 #s(literal 1/2 binary64) %79 %122)
%147 = (fma.f64 #s(literal 1/2 binary64) %60 %69)
%148 = (fma.f64 #s(literal 2 binary64) %81 %118)
%149 = (fma.f64 #s(literal 2 binary64) %81 %120)
%150 = (fma.f64 #s(literal 2 binary64) %81 %122)
%151 = (fma.f64 #s(literal 2 binary64) %83 %118)
%152 = (fma.f64 #s(literal 2 binary64) %83 %120)
%153 = (fma.f64 #s(literal 2 binary64) %83 %122)
%154 = (fma.f64 #s(literal 2 binary64) %69 %118)
%155 = (fma.f64 #s(literal 2 binary64) %69 %120)
%156 = (fma.f64 #s(literal 2 binary64) %69 %122)
%157 = (fma.f64 #s(literal -1 binary64) %75 %118)
%158 = (fma.f64 #s(literal -1 binary64) %75 %120)
%159 = (fma.f64 #s(literal -1 binary64) %75 %122)
%160 = (fma.f64 %60 #s(literal 1/2 binary64) %69)
%161 = (fma.f64 %60 #s(literal 1 binary64) %118)
%162 = (fma.f64 %60 #s(literal 1 binary64) %120)
%163 = (fma.f64 %60 #s(literal 1 binary64) %122)
%164 = (fma.f64 #s(literal 1 binary64) %69 %69)
%165 = (fma.f64 #s(literal 1 binary64) %60 %118)
%166 = (fma.f64 #s(literal 1 binary64) %60 %120)
%167 = (fma.f64 #s(literal 1 binary64) %60 %122)
%168 = (fabs.f64 %75)
%169 = (fabs.f64 %60)
%170 = (+.f64 %69 %69)
%171 = (+.f64 %60 %118)
%172 = (+.f64 %60 %120)
%173 = (+.f64 %60 %122)
%174 = (fma.f64 y y %25)
%179 = (neg.f64 %174)
%181 = (+.f64 y y)
%182 = (*.f64 y %181)
%184 = (*.f64 y y)
%186 = (*.f64 %181 %181)
%189 = (fabs.f64 y)
%190 = (neg.f64 %189)
%191 = (neg.f64 %190)
%196 = (*.f64 #s(literal 1/2 binary64) y)
%201 = (neg.f64 y)
%202 = (*.f64 %201 y)
%222 = (fma.f64 z z %174)
%223 = (*.f64 %222 #s(literal 2 binary64))
%225 = (*.f64 %222 #s(literal 1/2 binary64))
%233 = (neg.f64 %222)
%239 = (+.f64 z z)
%242 = (fma.f64 z z %25)
%244 = (fma.f64 z z %184)
%246 = (*.f64 %222 #s(literal 0 binary64))
%248 = (*.f64 #s(literal 0 binary64) %222)
%258 = (fabs.f64 z)
%259 = (neg.f64 %258)
%260 = (neg.f64 %259)
%272 = (neg.f64 z)
%273 = (*.f64 %272 z)
%286 = (*.f64 #s(literal 1/2 binary64) %222)
%289 = (*.f64 z z)
%326 = (sqrt.f64 %72)
%336 = (fabs.f64 %222)
%337 = (sqrt.f64 %336)
%338 = (neg.f64 %337)
%342 = (*.f64 %222 %222)
%359 = (*.f64 %337 #s(literal 2 binary64))
%361 = (*.f64 %337 #s(literal 1/2 binary64))
%363 = (sqrt.f64 %337)
%376 = (*.f64 %337 #s(literal 0 binary64))
%378 = (*.f64 #s(literal 0 binary64) %337)
%384 = (*.f64 #s(literal 1/2 binary64) %337)
%393 = (*.f64 %338 #s(literal 1 binary64))
%404 = (*.f64 %60 %181)
%405 = (*.f64 %404 #s(literal 1/2 binary64))
%406 = (*.f64 %60 y)
%407 = (*.f64 %406 #s(literal 2 binary64))
%408 = (*.f64 %407 #s(literal 1/2 binary64))
%409 = (*.f64 %406 #s(literal 1/2 binary64))
%410 = (*.f64 %409 #s(literal 2 binary64))
%411 = (*.f64 %201 #s(literal 2 binary64))
%412 = (*.f64 %411 %73)
%413 = (*.f64 %181 %69)
%414 = (*.f64 %75 %201)
%415 = (*.f64 %201 %75)
%416 = (*.f64 #s(literal 2 binary64) %406)
%417 = (*.f64 #s(literal 1/2 binary64) %416)
%418 = (*.f64 %69 y)
%419 = (*.f64 #s(literal 2 binary64) %418)
%420 = (*.f64 #s(literal 1/2 binary64) %406)
%421 = (*.f64 #s(literal 2 binary64) %420)
%422 = (*.f64 %406 #s(literal 1 binary64))
%423 = (*.f64 %75 y)
%424 = (*.f64 %423 #s(literal -1 binary64))
%425 = (*.f64 #s(literal -1 binary64) %423)
%426 = (*.f64 #s(literal 1 binary64) %406)
%427 = (*.f64 y %60)
%428 = (pow.f64 %406 #s(literal 1 binary64))
%429 = (/.f64 %407 #s(literal 2 binary64))
%430 = (/.f64 %416 #s(literal 2 binary64))
%431 = (/.f64 %411 %99)
%433 = (/.f64 (*.f64 #s(literal 2 binary64) %201) %101)
%434 = (/.f64 %181 %103)
%435 = (/.f64 %181 %105)
%436 = (/.f64 %201 %98)
%438 = (/.f64 #s(literal 1 binary64) (pow.f64 %406 #s(literal -1 binary64)))
%440 = (/.f64 #s(literal 1 binary64) (/.f64 %98 %201))
%442 = (/.f64 #s(literal 1 binary64) (/.f64 %72 y))
%443 = (/.f64 y %72)
%444 = (neg.f64 %423)
%445 = (*.f64 %406 #s(literal 0 binary64))
%446 = (fma.f64 %404 #s(literal 1/2 binary64) %445)
%447 = (*.f64 #s(literal 0 binary64) %406)
%448 = (fma.f64 %404 #s(literal 1/2 binary64) %447)
%449 = (fma.f64 %407 #s(literal 1/2 binary64) %445)
%450 = (fma.f64 %407 #s(literal 1/2 binary64) %447)
%451 = (fma.f64 %409 #s(literal 2 binary64) %445)
%452 = (fma.f64 %409 #s(literal 2 binary64) %447)
%453 = (fma.f64 %411 %73 %445)
%454 = (fma.f64 %411 %73 %447)
%455 = (fma.f64 %181 %69 %445)
%456 = (fma.f64 %181 %69 %447)
%457 = (fma.f64 %75 %201 %445)
%458 = (fma.f64 %75 %201 %447)
%459 = (fma.f64 %201 %75 %445)
%460 = (fma.f64 %201 %75 %447)
%461 = (fma.f64 #s(literal 1/2 binary64) %416 %445)
%462 = (fma.f64 #s(literal 1/2 binary64) %416 %447)
%463 = (fma.f64 #s(literal 1/2 binary64) %406 %420)
%464 = (fma.f64 #s(literal 2 binary64) %418 %445)
%465 = (fma.f64 #s(literal 2 binary64) %418 %447)
%466 = (fma.f64 #s(literal 2 binary64) %420 %445)
%467 = (fma.f64 #s(literal 2 binary64) %420 %447)
%468 = (fma.f64 %406 #s(literal 1/2 binary64) %409)
%469 = (fma.f64 %406 #s(literal 1 binary64) %445)
%470 = (fma.f64 %406 #s(literal 1 binary64) %447)
%471 = (fma.f64 %423 #s(literal -1 binary64) %445)
%472 = (fma.f64 %423 #s(literal -1 binary64) %447)
%473 = (fma.f64 #s(literal -1 binary64) %423 %445)
%474 = (fma.f64 #s(literal -1 binary64) %423 %447)
%475 = (fma.f64 %60 y %445)
%476 = (fma.f64 %60 y %447)
%477 = (fma.f64 #s(literal 1 binary64) %406 %445)
%478 = (fma.f64 #s(literal 1 binary64) %406 %447)
%479 = (fma.f64 y %60 %445)
%480 = (fma.f64 y %60 %447)
%481 = (+.f64 %409 %409)
%482 = (+.f64 %420 %420)
%483 = (+.f64 %406 %445)
%484 = (+.f64 %406 %447)
%485 = (*.f64 %60 %1)
%486 = (*.f64 %485 #s(literal 1/2 binary64))
%487 = (*.f64 %60 x)
%488 = (*.f64 %487 #s(literal 2 binary64))
%489 = (*.f64 %488 #s(literal 1/2 binary64))
%490 = (*.f64 %487 #s(literal 1/2 binary64))
%491 = (*.f64 %490 #s(literal 2 binary64))
%492 = (*.f64 %16 #s(literal 2 binary64))
%493 = (*.f64 %492 %73)
%494 = (*.f64 %1 %69)
%495 = (*.f64 %75 %16)
%496 = (*.f64 %16 %75)
%497 = (*.f64 #s(literal 2 binary64) %487)
%498 = (*.f64 #s(literal 1/2 binary64) %497)
%499 = (*.f64 %69 x)
%500 = (*.f64 #s(literal 2 binary64) %499)
%501 = (*.f64 #s(literal 1/2 binary64) %487)
%502 = (*.f64 #s(literal 2 binary64) %501)
%503 = (*.f64 %487 #s(literal 1 binary64))
%504 = (*.f64 %75 x)
%505 = (*.f64 %504 #s(literal -1 binary64))
%506 = (*.f64 #s(literal -1 binary64) %504)
%507 = (*.f64 #s(literal 1 binary64) %487)
%508 = (*.f64 x %60)
%509 = (pow.f64 %487 #s(literal 1 binary64))
%510 = (/.f64 %488 #s(literal 2 binary64))
%511 = (/.f64 %497 #s(literal 2 binary64))
%513 = (/.f64 (*.f64 #s(literal 2 binary64) %16) %101)
%514 = (/.f64 %492 %99)
%515 = (/.f64 %1 %103)
%516 = (/.f64 %1 %105)
%517 = (/.f64 %16 %98)
%519 = (/.f64 #s(literal 1 binary64) (pow.f64 %487 #s(literal -1 binary64)))
%521 = (/.f64 #s(literal 1 binary64) (/.f64 %98 %16))
%523 = (/.f64 #s(literal 1 binary64) (/.f64 %72 x))
%524 = (/.f64 x %72)
%525 = (neg.f64 %504)
%526 = (*.f64 %487 #s(literal 0 binary64))
%527 = (fma.f64 %485 #s(literal 1/2 binary64) %526)
%528 = (*.f64 #s(literal 0 binary64) %487)
%529 = (fma.f64 %485 #s(literal 1/2 binary64) %528)
%530 = (fma.f64 %488 #s(literal 1/2 binary64) %526)
%531 = (fma.f64 %488 #s(literal 1/2 binary64) %528)
%532 = (fma.f64 %490 #s(literal 2 binary64) %526)
%533 = (fma.f64 %490 #s(literal 2 binary64) %528)
%534 = (fma.f64 %492 %73 %526)
%535 = (fma.f64 %492 %73 %528)
%536 = (fma.f64 %1 %69 %526)
%537 = (fma.f64 %1 %69 %528)
%538 = (fma.f64 %75 %16 %526)
%539 = (fma.f64 %75 %16 %528)
%540 = (fma.f64 %16 %75 %526)
%541 = (fma.f64 %16 %75 %528)
%542 = (fma.f64 #s(literal 1/2 binary64) %497 %526)
%543 = (fma.f64 #s(literal 1/2 binary64) %497 %528)
%544 = (fma.f64 #s(literal 1/2 binary64) %487 %501)
%545 = (fma.f64 #s(literal 2 binary64) %499 %526)
%546 = (fma.f64 #s(literal 2 binary64) %499 %528)
%547 = (fma.f64 #s(literal 2 binary64) %501 %526)
%548 = (fma.f64 #s(literal 2 binary64) %501 %528)
%549 = (fma.f64 %487 #s(literal 1/2 binary64) %490)
%550 = (fma.f64 %487 #s(literal 1 binary64) %526)
%551 = (fma.f64 %487 #s(literal 1 binary64) %528)
%552 = (fma.f64 %504 #s(literal -1 binary64) %526)
%553 = (fma.f64 %504 #s(literal -1 binary64) %528)
%554 = (fma.f64 #s(literal -1 binary64) %504 %526)
%555 = (fma.f64 #s(literal -1 binary64) %504 %528)
%556 = (fma.f64 %60 x %526)
%557 = (fma.f64 %60 x %528)
%558 = (fma.f64 #s(literal 1 binary64) %487 %526)
%559 = (fma.f64 #s(literal 1 binary64) %487 %528)
%560 = (fma.f64 x %60 %526)
%561 = (fma.f64 x %60 %528)
%562 = (+.f64 %490 %490)
%563 = (+.f64 %501 %501)
%564 = (+.f64 %487 %526)
%565 = (+.f64 %487 %528)
%566 = (*.f64 %60 %239)
%567 = (*.f64 %566 #s(literal 1/2 binary64))
%568 = (*.f64 %60 z)
%569 = (*.f64 %568 #s(literal 2 binary64))
%570 = (*.f64 %569 #s(literal 1/2 binary64))
%571 = (*.f64 %568 #s(literal 1/2 binary64))
%572 = (*.f64 %571 #s(literal 2 binary64))
%573 = (*.f64 %272 #s(literal 2 binary64))
%574 = (*.f64 %573 %73)
%575 = (*.f64 %239 %69)
%576 = (*.f64 %75 %272)
%577 = (*.f64 %272 %75)
%578 = (*.f64 #s(literal 2 binary64) %568)
%579 = (*.f64 #s(literal 1/2 binary64) %578)
%580 = (*.f64 %69 z)
%581 = (*.f64 #s(literal 2 binary64) %580)
%582 = (*.f64 #s(literal 1/2 binary64) %568)
%583 = (*.f64 #s(literal 2 binary64) %582)
%584 = (*.f64 %568 #s(literal 1 binary64))
%585 = (*.f64 %75 z)
%586 = (*.f64 %585 #s(literal -1 binary64))
%587 = (*.f64 #s(literal -1 binary64) %585)
%588 = (*.f64 #s(literal 1 binary64) %568)
%589 = (*.f64 z %60)
%590 = (pow.f64 %568 #s(literal 1 binary64))
%591 = (/.f64 %569 #s(literal 2 binary64))
%592 = (/.f64 %578 #s(literal 2 binary64))
%594 = (/.f64 (*.f64 #s(literal 2 binary64) %272) %101)
%595 = (/.f64 %573 %99)
%596 = (/.f64 %239 %103)
%597 = (/.f64 %239 %105)
%598 = (/.f64 %272 %98)
%600 = (/.f64 #s(literal 1 binary64) (pow.f64 %568 #s(literal -1 binary64)))
%602 = (/.f64 #s(literal 1 binary64) (/.f64 %98 %272))
%604 = (/.f64 #s(literal 1 binary64) (/.f64 %72 z))
%605 = (/.f64 z %72)
%606 = (neg.f64 %585)
%607 = (*.f64 %568 #s(literal 0 binary64))
%608 = (fma.f64 %566 #s(literal 1/2 binary64) %607)
%609 = (*.f64 #s(literal 0 binary64) %568)
%610 = (fma.f64 %566 #s(literal 1/2 binary64) %609)
%611 = (fma.f64 %569 #s(literal 1/2 binary64) %607)
%612 = (fma.f64 %569 #s(literal 1/2 binary64) %609)
%613 = (fma.f64 %571 #s(literal 2 binary64) %607)
%614 = (fma.f64 %571 #s(literal 2 binary64) %609)
%615 = (fma.f64 %573 %73 %607)
%616 = (fma.f64 %573 %73 %609)
%617 = (fma.f64 %239 %69 %607)
%618 = (fma.f64 %239 %69 %609)
%619 = (fma.f64 %75 %272 %607)
%620 = (fma.f64 %75 %272 %609)
%621 = (fma.f64 %272 %75 %607)
%622 = (fma.f64 %272 %75 %609)
%623 = (fma.f64 #s(literal 1/2 binary64) %578 %607)
%624 = (fma.f64 #s(literal 1/2 binary64) %578 %609)
%625 = (fma.f64 #s(literal 1/2 binary64) %568 %582)
%626 = (fma.f64 #s(literal 2 binary64) %580 %607)
%627 = (fma.f64 #s(literal 2 binary64) %580 %609)
%628 = (fma.f64 #s(literal 2 binary64) %582 %607)
%629 = (fma.f64 #s(literal 2 binary64) %582 %609)
%630 = (fma.f64 %568 #s(literal 1/2 binary64) %571)
%631 = (fma.f64 %568 #s(literal 1 binary64) %607)
%632 = (fma.f64 %568 #s(literal 1 binary64) %609)
%633 = (fma.f64 %585 #s(literal -1 binary64) %607)
%634 = (fma.f64 %585 #s(literal -1 binary64) %609)
%635 = (fma.f64 #s(literal -1 binary64) %585 %607)
%636 = (fma.f64 #s(literal -1 binary64) %585 %609)
%637 = (fma.f64 %60 z %607)
%638 = (fma.f64 %60 z %609)
%639 = (fma.f64 #s(literal 1 binary64) %568 %607)
%640 = (fma.f64 #s(literal 1 binary64) %568 %609)
%641 = (fma.f64 z %60 %607)
%642 = (fma.f64 z %60 %609)
%643 = (+.f64 %571 %571)
%644 = (+.f64 %582 %582)
%645 = (+.f64 %568 %607)
%646 = (+.f64 %568 %609)
%656 = (sqrt (/ (+ (+ (* y y) (* z z)) (* x x)) 3))
%657 = (approx %656 %487)
%658 = (*.f64 #s(literal 1 binary64) %657)
%659 = (pow.f64 %657 #s(literal 1 binary64))
%661 = (/.f64 #s(literal 1 binary64) (pow.f64 %657 #s(literal -1 binary64)))
%662 = (approx %656 %406)
%663 = (*.f64 #s(literal 1 binary64) %662)
%664 = (pow.f64 %662 #s(literal 1 binary64))
%666 = (/.f64 #s(literal 1 binary64) (pow.f64 %662 #s(literal -1 binary64)))
%667 = (approx %656 %568)
%673 = (*.f64 (*.f64 %75 %1) #s(literal 1/2 binary64))
%675 = (*.f64 (*.f64 %487 #s(literal -2 binary64)) #s(literal 1/2 binary64))
%676 = (*.f64 %488 #s(literal -1/2 binary64))
%677 = (*.f64 %492 %69)
%678 = (*.f64 %1 %73)
%679 = (*.f64 #s(literal -2 binary64) %501)
%680 = (*.f64 %16 %60)
%682 = (*.f64 #s(literal 2 binary64) (*.f64 %73 x))
%684 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) %487))
%686 = (*.f64 #s(literal 2 binary64) (*.f64 %69 %16))
%687 = (*.f64 %487 #s(literal -1 binary64))
%688 = (*.f64 %504 #s(literal 1 binary64))
%689 = (*.f64 #s(literal -1 binary64) %487)
%690 = (*.f64 %60 %16)
%691 = (*.f64 #s(literal 1 binary64) %504)
%692 = (*.f64 x %75)
%693 = (pow.f64 %504 #s(literal 1 binary64))
%694 = (/.f64 %16 %72)
%696 = (/.f64 #s(literal 1 binary64) (pow.f64 %504 #s(literal -1 binary64)))
%698 = (/.f64 #s(literal 1 binary64) (/.f64 %72 %16))
%700 = (/.f64 #s(literal 1 binary64) (/.f64 %98 x))
%701 = (/.f64 x %98)
%702 = (neg.f64 %487)
%703 = (approx %656 %504)
%704 = (*.f64 #s(literal 1 binary64) %703)
%705 = (pow.f64 %703 #s(literal 1 binary64))
%707 = (/.f64 #s(literal 1 binary64) (pow.f64 %703 #s(literal -1 binary64)))
%709 = (*.f64 (*.f64 %75 %181) #s(literal 1/2 binary64))
%711 = (*.f64 (*.f64 %406 #s(literal -2 binary64)) #s(literal 1/2 binary64))
%712 = (*.f64 %407 #s(literal -1/2 binary64))
%713 = (*.f64 %411 %69)
%714 = (*.f64 %181 %73)
%715 = (*.f64 #s(literal -2 binary64) %420)
%716 = (*.f64 %201 %60)
%718 = (*.f64 #s(literal 2 binary64) (*.f64 %73 y))
%720 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) %406))
%722 = (*.f64 #s(literal 2 binary64) (*.f64 %69 %201))
%723 = (*.f64 %406 #s(literal -1 binary64))
%724 = (*.f64 %423 #s(literal 1 binary64))
%725 = (*.f64 #s(literal -1 binary64) %406)
%726 = (*.f64 %60 %201)
%727 = (*.f64 #s(literal 1 binary64) %423)
%728 = (*.f64 y %75)
%729 = (pow.f64 %423 #s(literal 1 binary64))
%730 = (/.f64 %201 %72)
%732 = (/.f64 #s(literal 1 binary64) (pow.f64 %423 #s(literal -1 binary64)))
%734 = (/.f64 #s(literal 1 binary64) (/.f64 %72 %201))
%736 = (/.f64 #s(literal 1 binary64) (/.f64 %98 y))
%737 = (/.f64 y %98)
%738 = (neg.f64 %406)
%739 = (approx %656 %423)
%740 = (*.f64 #s(literal 1 binary64) %739)
%741 = (pow.f64 %739 #s(literal 1 binary64))
%743 = (/.f64 #s(literal 1 binary64) (pow.f64 %739 #s(literal -1 binary64)))
%745 = (*.f64 (*.f64 %75 %239) #s(literal 1/2 binary64))
%747 = (*.f64 (*.f64 %568 #s(literal -2 binary64)) #s(literal 1/2 binary64))
%748 = (*.f64 %569 #s(literal -1/2 binary64))
%749 = (*.f64 %573 %69)
%750 = (*.f64 %239 %73)
%751 = (*.f64 #s(literal -2 binary64) %582)
%752 = (*.f64 %272 %60)
%754 = (*.f64 #s(literal 2 binary64) (*.f64 %73 z))
%756 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) %568))
%758 = (*.f64 #s(literal 2 binary64) (*.f64 %69 %272))
%759 = (*.f64 %568 #s(literal -1 binary64))
%760 = (*.f64 %585 #s(literal 1 binary64))
%761 = (*.f64 #s(literal -1 binary64) %568)
%762 = (*.f64 %60 %272)
%763 = (*.f64 #s(literal 1 binary64) %585)
%764 = (*.f64 z %75)
%765 = (pow.f64 %585 #s(literal 1 binary64))
%766 = (/.f64 %272 %72)
%768 = (/.f64 #s(literal 1 binary64) (pow.f64 %585 #s(literal -1 binary64)))
%770 = (/.f64 #s(literal 1 binary64) (/.f64 %72 %272))
%772 = (/.f64 #s(literal 1 binary64) (/.f64 %98 z))
%773 = (/.f64 z %98)
%774 = (neg.f64 %568)
%775 = (approx %656 %585)
%776 = (*.f64 #s(literal 1 binary64) %775)
%777 = (pow.f64 %775 #s(literal 1 binary64))
%779 = (/.f64 #s(literal 1 binary64) (pow.f64 %775 #s(literal -1 binary64)))
%782 = (*.f64 %54 #s(literal -1 binary64))
%784 = (*.f64 %54 #s(literal 1 binary64))
%788 = (*.f64 %60 %54)
%790 = (*.f64 %75 %54)
%805 = (approx %656 %788)
%814 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) x)
%824 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) y)
%834 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) z)
%841 = (approx %656 %814)
%846 = (approx %656 %824)
%851 = (approx %656 %834)
%861 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) %337)
x
(*.f64 %2 #s(literal 1/2 binary64))
(*.f64 %5 #s(literal 1/4 binary64))
(*.f64 %10 %10)
(*.f64 %10 %8)
(*.f64 %1 %13)
(*.f64 %9 %9)
(*.f64 %17 #s(literal -1 binary64))
(*.f64 %8 %10)
(*.f64 %8 %8)
(*.f64 %16 %16)
(*.f64 #s(literal -1 binary64) %17)
(*.f64 #s(literal 1 binary64) %25)
(*.f64 %25 #s(literal 1 binary64))
%25
(pow.f64 %9 #s(literal 2 binary64))
(pow.f64 %8 #s(literal 2 binary64))
(pow.f64 %16 #s(literal 2 binary64))
(pow.f64 %25 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %25 #s(literal -1 binary64)))
(neg.f64 %17)
(sqrt.f64 (*.f64 %25 %25))
(fabs.f64 %17)
(fabs.f64 %25)
y
z
#s(literal 3 binary64)
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %54)
(pow.f64 %54 #s(literal 1 binary64))
%54
(/.f64 #s(literal 1 binary64) (pow.f64 %54 #s(literal -1 binary64)))
#s(literal 1/3 binary64)
#s(literal 1 binary64)
%62
%64
%68
%70
%74
%76
%78
%80
%82
%84
%85
%86
%87
%88
%91
%92
%93
%94
%95
%96
%97
%100
%102
%104
%106
%107
%109
%111
%113
%115
%116
%117
%119
%121
%123
%124
%125
%126
%127
%128
%129
%130
%131
%132
%133
%134
%135
%136
%137
%138
%139
%140
%141
%142
%143
%144
%145
%146
%147
%148
%149
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%60
%168
%169
%170
%171
%172
%173
#s(literal -1 binary64)
(*.f64 #s(literal 1 binary64) %174)
(pow.f64 %174 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %174 #s(literal -1 binary64)))
(neg.f64 %179)
(fma.f64 %182 #s(literal 1/2 binary64) %25)
(fma.f64 %2 #s(literal 1/2 binary64) %184)
(fma.f64 %186 #s(literal 1/4 binary64) %25)
(fma.f64 %5 #s(literal 1/4 binary64) %184)
(fma.f64 %191 %191 %25)
(fma.f64 %191 %189 %25)
(fma.f64 %10 %10 %184)
(fma.f64 %10 %8 %184)
(fma.f64 %181 %196 %25)
(fma.f64 %1 %13 %184)
(fma.f64 %190 %190 %25)
(fma.f64 %9 %9 %184)
(fma.f64 %202 #s(literal -1 binary64) %25)
(fma.f64 %17 #s(literal -1 binary64) %184)
(fma.f64 %8 %10 %184)
(fma.f64 %8 %8 %184)
(fma.f64 %189 %191 %25)
(fma.f64 %189 %189 %25)
(fma.f64 %16 %16 %184)
(fma.f64 %201 %201 %25)
(fma.f64 %184 #s(literal 1 binary64) %25)
(fma.f64 #s(literal -1 binary64) %202 %25)
(fma.f64 #s(literal -1 binary64) %17 %184)
(fma.f64 #s(literal 1 binary64) %184 %25)
(fma.f64 #s(literal 1 binary64) %25 %184)
%174
(fma.f64 %25 #s(literal 1 binary64) %184)
(fma.f64 x x %184)
(-.f64 %184 %17)
(-.f64 %25 %202)
(+.f64 %184 %25)
(+.f64 %25 %184)
(*.f64 %223 #s(literal 1/2 binary64))
(*.f64 %225 #s(literal 2 binary64))
(*.f64 %222 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %222)
(pow.f64 %222 #s(literal 1 binary64))
(/.f64 %223 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %222 #s(literal -1 binary64)))
(neg.f64 (*.f64 %233 #s(literal 1 binary64)))
(neg.f64 (*.f64 %222 #s(literal -1 binary64)))
(neg.f64 %233)
(fma.f64 (*.f64 z %239) #s(literal 1/2 binary64) %174)
(fma.f64 %182 #s(literal 1/2 binary64) %242)
(fma.f64 %2 #s(literal 1/2 binary64) %244)
(fma.f64 %223 #s(literal 1/2 binary64) %246)
(fma.f64 %223 #s(literal 1/2 binary64) %248)
(fma.f64 %225 #s(literal 2 binary64) %246)
(fma.f64 %225 #s(literal 2 binary64) %248)
(fma.f64 %186 #s(literal 1/4 binary64) %242)
(fma.f64 (*.f64 %239 %239) #s(literal 1/4 binary64) %174)
(fma.f64 %5 #s(literal 1/4 binary64) %244)
(fma.f64 %191 %191 %242)
(fma.f64 %191 %189 %242)
(fma.f64 %260 %260 %174)
(fma.f64 %260 %258 %174)
(fma.f64 %10 %10 %244)
(fma.f64 %10 %8 %244)
(fma.f64 %239 (*.f64 #s(literal 1/2 binary64) z) %174)
(fma.f64 %181 %196 %242)
(fma.f64 %1 %13 %244)
(fma.f64 %190 %190 %242)
(fma.f64 %9 %9 %244)
(fma.f64 %259 %259 %174)
(fma.f64 %273 #s(literal -1 binary64) %174)
(fma.f64 %202 #s(literal -1 binary64) %242)
(fma.f64 %17 #s(literal -1 binary64) %244)
(fma.f64 %8 %10 %244)
(fma.f64 %8 %8 %244)
(fma.f64 %258 %260 %174)
(fma.f64 %258 %258 %174)
(fma.f64 %189 %191 %242)
(fma.f64 %189 %189 %242)
(fma.f64 %16 %16 %244)
(fma.f64 %272 %272 %174)
(fma.f64 %201 %201 %242)
(fma.f64 #s(literal 1/2 binary64) %222 %286)
(fma.f64 %184 #s(literal 1 binary64) %242)
(fma.f64 %289 #s(literal 1 binary64) %174)
(fma.f64 %222 #s(literal 1/2 binary64) %225)
(fma.f64 %222 #s(literal 1 binary64) %246)
(fma.f64 %222 #s(literal 1 binary64) %248)
(fma.f64 #s(literal -1 binary64) %273 %174)
(fma.f64 #s(literal -1 binary64) %202 %242)
(fma.f64 #s(literal -1 binary64) %17 %244)
(fma.f64 #s(literal 1 binary64) %244 %25)
(fma.f64 #s(literal 1 binary64) %242 %184)
(fma.f64 #s(literal 1 binary64) %184 %242)
(fma.f64 #s(literal 1 binary64) %289 %174)
(fma.f64 #s(literal 1 binary64) %222 %246)
(fma.f64 #s(literal 1 binary64) %222 %248)
(fma.f64 #s(literal 1 binary64) %174 %289)
(fma.f64 #s(literal 1 binary64) %25 %244)
%222
(fma.f64 y y %242)
(fma.f64 %25 #s(literal 1 binary64) %244)
(fma.f64 x x %244)
(-.f64 %244 %17)
(-.f64 %242 %202)
(-.f64 %184 (neg.f64 %242))
(-.f64 %289 %179)
(-.f64 %174 %273)
(-.f64 %25 (neg.f64 %244))
(+.f64 %225 %225)
(+.f64 %286 %286)
(+.f64 %244 %25)
(+.f64 %242 %184)
(+.f64 %184 %242)
(+.f64 %289 %174)
(+.f64 %222 %246)
(+.f64 %222 %248)
(+.f64 %174 %289)
(+.f64 %25 %244)
(*.f64 %326 %326)
(*.f64 #s(literal 1 binary64) %72)
(pow.f64 #s(literal 9 binary64) #s(literal 1/4 binary64))
(pow.f64 %72 #s(literal 1 binary64))
(pow.f64 #s(literal 3 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) %60)
(neg.f64 %98)
%72
(fabs.f64 %98)
(fabs.f64 %72)
(*.f64 %338 %338)
(*.f64 %337 %337)
(*.f64 #s(literal 1 binary64) %336)
(pow.f64 (*.f64 %342 %342) #s(literal 1/4 binary64))
(pow.f64 %342 #s(literal 1/2 binary64))
(pow.f64 %337 #s(literal 2 binary64))
(pow.f64 %336 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %342 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %337 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %336 #s(literal -1 binary64)))
(sqrt.f64 %342)
(fabs.f64 (neg.f64 %336))
(fabs.f64 %233)
(fabs.f64 %336)
%336
(*.f64 %359 #s(literal 1/2 binary64))
(*.f64 %361 #s(literal 2 binary64))
(*.f64 %363 %363)
(*.f64 %337 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %337)
(pow.f64 %342 #s(literal 1/4 binary64))
(pow.f64 %337 #s(literal 1 binary64))
(pow.f64 %336 #s(literal 1/2 binary64))
(/.f64 %359 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %336 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %337 #s(literal -1 binary64)))
(neg.f64 %338)
(fma.f64 %359 #s(literal 1/2 binary64) %376)
(fma.f64 %359 #s(literal 1/2 binary64) %378)
(fma.f64 %361 #s(literal 2 binary64) %376)
(fma.f64 %361 #s(literal 2 binary64) %378)
(fma.f64 %363 %363 %376)
(fma.f64 %363 %363 %378)
(fma.f64 #s(literal 1/2 binary64) %337 %384)
(fma.f64 %337 #s(literal 1/2 binary64) %361)
(fma.f64 %337 #s(literal 1 binary64) %376)
(fma.f64 %337 #s(literal 1 binary64) %378)
(fma.f64 #s(literal 1 binary64) %337 %376)
(fma.f64 #s(literal 1 binary64) %337 %378)
(sqrt.f64 (*.f64 %336 #s(literal 1 binary64)))
%337
(fabs.f64 %393)
(fabs.f64 %338)
(fabs.f64 %337)
(+.f64 %361 %361)
(+.f64 %384 %384)
(+.f64 %337 %376)
(+.f64 %337 %378)
(*.f64 #s(literal 1 binary64) %98)
(pow.f64 %98 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %75)
%98
%405
%408
%410
%412
%413
%414
%415
%417
%419
%421
%422
%424
%425
%406
%426
%427
%428
%429
%430
%431
%433
%434
%435
%436
%438
%440
%442
%443
%444
%446
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%474
%475
%476
%477
%478
%479
%480
%481
%482
%483
%484
%486
%489
%491
%493
%494
%495
%496
%498
%500
%502
%503
%505
%506
%487
%507
%508
%509
%510
%511
%513
%514
%515
%516
%517
%519
%521
%523
%524
%525
%527
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%565
%567
%570
%572
%574
%575
%576
%577
%579
%581
%583
%584
%586
%587
%568
%588
%589
%590
%591
%592
%594
%595
%596
%597
%598
%600
%602
%604
%605
%606
%608
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
#s(literal 1300077228592327/2251799813685248 binary64)
#s(literal 3900231685776981/2251799813685248 binary64)
%658
%659
%657
%661
%62
%64
%68
%70
%74
%76
%78
%80
%82
%84
%85
%86
%87
%88
%91
%92
%93
%94
%95
%96
%97
%100
%102
%104
%106
%107
%109
%111
%113
%115
%116
%117
%119
%121
%123
%124
%125
%126
%127
%128
%129
%130
%131
%132
%133
%134
%135
%136
%137
%138
%139
%140
%141
%142
%143
%144
%145
%146
%147
%148
%149
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%60
%168
%169
%170
%171
%172
%173
%663
%664
%662
%666
(*.f64 #s(literal 1 binary64) %667)
(pow.f64 %667 #s(literal 1 binary64))
%667
(/.f64 #s(literal 1 binary64) (pow.f64 %667 #s(literal -1 binary64)))
%486
%489
%491
%493
%494
%495
%496
%498
%500
%502
%503
%505
%506
%487
%507
%508
%509
%510
%511
%513
%514
%515
%516
%517
%519
%521
%523
%524
%525
%527
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%565
%673
%675
%676
%677
%678
%679
%504
%680
%682
%684
%686
%687
%688
%689
%690
%691
%692
%693
%694
%696
%698
%700
%701
%702
%673
%675
%676
%677
%678
%679
%504
%680
%682
%684
%686
%687
%688
%689
%690
%691
%692
%693
%694
%696
%698
%700
%701
%702
%704
%705
%703
%707
%405
%408
%410
%412
%413
%414
%415
%417
%419
%421
%422
%424
%425
%406
%426
%427
%428
%429
%430
%431
%433
%434
%435
%436
%438
%440
%442
%443
%444
%446
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%474
%475
%476
%477
%478
%479
%480
%481
%482
%483
%484
%709
%711
%712
%713
%714
%715
%423
%716
%718
%720
%722
%723
%724
%725
%726
%727
%728
%729
%730
%732
%734
%736
%737
%738
%709
%711
%712
%713
%714
%715
%423
%716
%718
%720
%722
%723
%724
%725
%726
%727
%728
%729
%730
%732
%734
%736
%737
%738
%740
%741
%739
%743
%567
%570
%572
%574
%575
%576
%577
%579
%581
%583
%584
%586
%587
%568
%588
%589
%590
%591
%592
%594
%595
%596
%597
%598
%600
%602
%604
%605
%606
%608
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%745
%747
%748
%749
%750
%751
%585
%752
%754
%756
%758
%759
%760
%761
%762
%763
%764
%765
%766
%768
%770
%772
%773
%774
%745
%747
%748
%749
%750
%751
%585
%752
%754
%756
%758
%759
%760
%761
%762
%763
%764
%765
%766
%768
%770
%772
%773
%774
%776
%777
%775
%779
%704
%705
%703
%707
%776
%777
%775
%779
%740
%741
%739
%743
(*.f64 (*.f64 %54 #s(literal 2 binary64)) %69)
(*.f64 %782 %75)
(*.f64 %784 %60)
(*.f64 #s(literal 2 binary64) (*.f64 %69 %54))
(*.f64 %788 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %790)
%788
(*.f64 #s(literal 1 binary64) %788)
(*.f64 %54 %60)
(pow.f64 %788 #s(literal 1 binary64))
(/.f64 %782 %98)
(/.f64 %784 %72)
(/.f64 (*.f64 #s(literal -1 binary64) %54) %98)
(/.f64 #s(literal 1 binary64) (pow.f64 %788 #s(literal -1 binary64)))
(/.f64 %54 %72)
(neg.f64 %790)
(neg.f64 (*.f64 %54 %75))
(*.f64 #s(literal 1 binary64) %805)
(pow.f64 %805 #s(literal 1 binary64))
%805
(/.f64 #s(literal 1 binary64) (pow.f64 %805 #s(literal -1 binary64)))
(*.f64 (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) %1) #s(literal 1/2 binary64))
(*.f64 %1 #s(literal 1300077228592327/4503599627370496 binary64))
(*.f64 %814 #s(literal 1 binary64))
%814
(*.f64 #s(literal 1 binary64) %814)
(*.f64 x #s(literal 1300077228592327/2251799813685248 binary64))
(pow.f64 %814 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %814 #s(literal -1 binary64)))
(*.f64 (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) %181) #s(literal 1/2 binary64))
(*.f64 %181 #s(literal 1300077228592327/4503599627370496 binary64))
(*.f64 %824 #s(literal 1 binary64))
%824
(*.f64 #s(literal 1 binary64) %824)
(*.f64 y #s(literal 1300077228592327/2251799813685248 binary64))
(pow.f64 %824 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %824 #s(literal -1 binary64)))
(*.f64 (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) %239) #s(literal 1/2 binary64))
(*.f64 %239 #s(literal 1300077228592327/4503599627370496 binary64))
(*.f64 %834 #s(literal 1 binary64))
%834
(*.f64 #s(literal 1 binary64) %834)
(*.f64 z #s(literal 1300077228592327/2251799813685248 binary64))
(pow.f64 %834 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %834 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %841)
(pow.f64 %841 #s(literal 1 binary64))
%841
(/.f64 #s(literal 1 binary64) (pow.f64 %841 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %846)
(pow.f64 %846 #s(literal 1 binary64))
%846
(/.f64 #s(literal 1 binary64) (pow.f64 %846 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %851)
(pow.f64 %851 #s(literal 1 binary64))
%851
(/.f64 #s(literal 1 binary64) (pow.f64 %851 #s(literal -1 binary64)))
%486
%489
%491
%493
%494
%495
%496
%498
%500
%502
%503
%505
%506
%487
%507
%508
%509
%510
%511
%513
%514
%515
%516
%517
%519
%521
%523
%524
%525
%527
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%565
%673
%675
%676
%677
%678
%679
%504
%680
%682
%684
%686
%687
%688
%689
%690
%691
%692
%693
%694
%696
%698
%700
%701
%702
%704
%705
%703
%707
%405
%408
%410
%412
%413
%414
%415
%417
%419
%421
%422
%424
%425
%406
%426
%427
%428
%429
%430
%431
%433
%434
%435
%436
%438
%440
%442
%443
%444
%446
%448
%449
%450
%451
%452
%453
%454
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
%473
%474
%475
%476
%477
%478
%479
%480
%481
%482
%483
%484
%709
%711
%712
%713
%714
%715
%423
%716
%718
%720
%722
%723
%724
%725
%726
%727
%728
%729
%730
%732
%734
%736
%737
%738
%740
%741
%739
%743
%567
%570
%572
%574
%575
%576
%577
%579
%581
%583
%584
%586
%587
%568
%588
%589
%590
%591
%592
%594
%595
%596
%597
%598
%600
%602
%604
%605
%606
%608
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%745
%747
%748
%749
%750
%751
%585
%752
%754
%756
%758
%759
%760
%761
%762
%763
%764
%765
%766
%768
%770
%772
%773
%774
%776
%777
%775
%779
%658
%659
%657
%661
%663
%664
%662
%666
(*.f64 %359 #s(literal 1125899906842624/3900231685776981 binary64))
(*.f64 #s(literal -2251799813685248/3900231685776981 binary64) %338)
%861
(*.f64 %338 #s(literal -2251799813685248/3900231685776981 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1125899906842624/3900231685776981 binary64) %337))
(*.f64 %337 #s(literal 2251799813685248/3900231685776981 binary64))
(*.f64 #s(literal 1 binary64) %861)
(pow.f64 %861 #s(literal 1 binary64))
(/.f64 %393 #s(literal -3900231685776981/2251799813685248 binary64))
(/.f64 %338 #s(literal -3900231685776981/2251799813685248 binary64))
(/.f64 %337 #s(literal 3900231685776981/2251799813685248 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %861 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3900231685776981/2251799813685248 binary64) %338))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3900231685776981/2251799813685248 binary64) %337))
(neg.f64 (*.f64 %337 #s(literal -2251799813685248/3900231685776981 binary64)))

%1 = (*.f64 x x)
%5 = (fma.f64 y y %1)
%6 = (fma.f64 z z %5)
%7 = (sqrt.f64 #s(literal 3 binary64))
%8 = (fabs.f64 %6)
%9 = (sqrt.f64 %8)
%10 = (sqrt.f64 %7)
%13 = (*.f64 %10 %10)
%15 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) x)
%17 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) x)
%18 = (* z z)
%19 = (* y y)
%20 = (* x x)
%21 = (+ %19 %20)
%24 = (sqrt (fabs (+ %18 %21)))
%26 = (/ %24 3900231685776981/2251799813685248)
%29 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) x)
%31 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) y)
%32 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) y)
%34 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) y)
%36 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) z)
%37 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) z)
%39 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) z)
%42 = (neg.f64 %15)
%46 = (sqrt (/ (+ %21 %18) 3))
%48 = (neg.f64 %31)
%50 = (neg.f64 %36)
%52 = (/.f64 x #s(literal -3900231685776981/2251799813685248 binary64))
%56 = (sqrt (/ (+ (+ %20 %19) %18) 3))
%58 = (/.f64 y #s(literal -3900231685776981/2251799813685248 binary64))
%60 = (/.f64 z #s(literal -3900231685776981/2251799813685248 binary64))
%62 = (neg.f64 %13)
%63 = (/.f64 z %62)
%65 = (/.f64 x #s(literal 3900231685776981/2251799813685248 binary64))
%67 = (/ %24 (sqrt 3))
%69 = (/.f64 y #s(literal 3900231685776981/2251799813685248 binary64))
%71 = (/.f64 z #s(literal 3900231685776981/2251799813685248 binary64))
x
%1
y
z
#s(literal 3 binary64)
%5
%6
%7
%8
%9
%10
#s(literal 1300077228592327/2251799813685248 binary64)
#s(literal 3900231685776981/2251799813685248 binary64)
%13
#s(literal -3900231685776981/2251799813685248 binary64)
%15
#s(literal 2251799813685248/3900231685776981 binary64)
%17
(approx %26 %17)
#s(literal -2251799813685248/3900231685776981 binary64)
%29
(approx %26 %29)
%31
%32
(approx %26 %32)
%34
(approx %26 %34)
%36
%37
(approx %26 %37)
%39
(approx %26 %39)
(*.f64 #s(literal 2251799813685248/3900231685776981 binary64) %9)
%42
(approx %46 %42)
%48
(approx %46 %48)
%50
(approx %46 %50)
%52
(approx %56 %52)
%58
(approx %56 %58)
%60
(approx %56 %60)
%62
%63
(approx %56 %63)
%65
(approx %67 %65)
%69
(approx %67 %69)
%71
(approx %67 %71)

%1 = (fabs.f64 x)
%2 = (neg.f64 %1)
%3 = (neg.f64 %2)
%9 = (neg.f64 x)
%11 = (*.f64 x x)
%22 = (*.f64 %9 x)
%31 = (fma.f64 y y %11)
%35 = (neg.f64 %31)
%37 = (*.f64 y y)
%40 = (fabs.f64 y)
%41 = (neg.f64 %40)
%42 = (neg.f64 %41)
%51 = (neg.f64 y)
%56 = (*.f64 %51 y)
%60 = (fma.f64 z z %31)
%61 = (*.f64 %60 #s(literal 2 binary64))
%70 = (neg.f64 %60)
%74 = (fabs.f64 z)
%75 = (neg.f64 %74)
%76 = (neg.f64 %75)
%79 = (fma.f64 z z %37)
%82 = (fma.f64 z z %11)
%95 = (neg.f64 z)
%98 = (*.f64 #s(literal 1/2 binary64) %60)
%100 = (*.f64 %60 #s(literal 1/2 binary64))
%108 = (*.f64 z z)
%122 = (sqrt.f64 #s(literal 3 binary64))
%123 = (sqrt.f64 %122)
%124 = (sqrt.f64 %123)
%126 = (*.f64 (*.f64 %123 %124) %124)
%129 = (sqrt.f64 (sqrt.f64 (*.f64 %122 #s(literal 3 binary64))))
%130 = (*.f64 %129 %124)
%132 = (*.f64 %124 (*.f64 %124 %123))
%133 = (*.f64 %124 %129)
%134 = (neg.f64 %123)
%135 = (*.f64 %134 %134)
%136 = (*.f64 %123 %123)
%139 = (pow.f64 #s(literal 9 binary64) #s(literal 1/4 binary64))
%140 = (pow.f64 %134 #s(literal 2 binary64))
%141 = (pow.f64 %123 #s(literal 2 binary64))
%142 = (pow.f64 %122 #s(literal 1 binary64))
%143 = (pow.f64 #s(literal 3 binary64) #s(literal 1/2 binary64))
%145 = (sqrt.f64 #s(literal 1/3 binary64))
%146 = (/.f64 #s(literal 1 binary64) %145)
%147 = (neg.f64 %122)
%148 = (neg.f64 %147)
%149 = (fabs.f64 %147)
%150 = (fabs.f64 %122)
%151 = (fabs.f64 %60)
%152 = (sqrt.f64 %151)
%153 = (neg.f64 %152)
%156 = (*.f64 %60 %60)
%169 = (*.f64 %152 #s(literal 2 binary64))
%171 = (sqrt.f64 %152)
%174 = (*.f64 #s(literal 1/2 binary64) %152)
%187 = (*.f64 %152 #s(literal 1/2 binary64))
%193 = (neg.f64 %124)
%202 = (/.f64 #s(literal 1 binary64) %123)
%210 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) x)
%216 = (*.f64 %9 #s(literal 1 binary64))
%218 = (*.f64 %216 #s(literal -2251799813685248/3900231685776981 binary64))
%219 = (*.f64 %9 #s(literal -2251799813685248/3900231685776981 binary64))
%220 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) x)
%221 = (*.f64 #s(literal 1 binary64) %220)
%222 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) %9)
%223 = (*.f64 x #s(literal 2251799813685248/3900231685776981 binary64))
%224 = (pow.f64 %220 #s(literal 1 binary64))
%225 = (*.f64 %9 #s(literal -1 binary64))
%226 = (/.f64 %225 #s(literal 3900231685776981/2251799813685248 binary64))
%227 = (/.f64 %216 #s(literal -3900231685776981/2251799813685248 binary64))
%228 = (*.f64 x #s(literal -1 binary64))
%229 = (/.f64 %228 #s(literal -3900231685776981/2251799813685248 binary64))
%230 = (*.f64 #s(literal -1 binary64) x)
%231 = (/.f64 %230 #s(literal -3900231685776981/2251799813685248 binary64))
%232 = (/.f64 %9 #s(literal -3900231685776981/2251799813685248 binary64))
%234 = (/.f64 #s(literal 1 binary64) (pow.f64 %220 #s(literal -1 binary64)))
%236 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3900231685776981/2251799813685248 binary64) %9))
%238 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3900231685776981/2251799813685248 binary64) x))
%239 = (/.f64 x #s(literal 3900231685776981/2251799813685248 binary64))
%240 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) x)
%241 = (neg.f64 %240)
%246 = (+ (+ (* y y) (* z z)) (* x x))
%250 = (/ (sqrt (fabs %246)) 3900231685776981/2251799813685248)
%251 = (approx %250 %220)
%255 = (*.f64 %216 #s(literal 2251799813685248/3900231685776981 binary64))
%256 = (*.f64 %9 #s(literal 2251799813685248/3900231685776981 binary64))
%257 = (*.f64 #s(literal 1 binary64) %240)
%258 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) %9)
%259 = (*.f64 x #s(literal -2251799813685248/3900231685776981 binary64))
%260 = (pow.f64 %240 #s(literal 1 binary64))
%261 = (/.f64 %225 #s(literal -3900231685776981/2251799813685248 binary64))
%262 = (/.f64 %216 #s(literal 3900231685776981/2251799813685248 binary64))
%263 = (/.f64 %228 #s(literal 3900231685776981/2251799813685248 binary64))
%264 = (/.f64 %230 #s(literal 3900231685776981/2251799813685248 binary64))
%265 = (/.f64 %9 #s(literal 3900231685776981/2251799813685248 binary64))
%267 = (/.f64 #s(literal 1 binary64) (pow.f64 %240 #s(literal -1 binary64)))
%269 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3900231685776981/2251799813685248 binary64) %9))
%271 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3900231685776981/2251799813685248 binary64) x))
%272 = (/.f64 x #s(literal -3900231685776981/2251799813685248 binary64))
%273 = (neg.f64 %220)
%274 = (approx %250 %240)
%278 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) y)
%283 = (*.f64 %51 #s(literal 1 binary64))
%284 = (*.f64 %283 #s(literal -2251799813685248/3900231685776981 binary64))
%285 = (*.f64 %51 #s(literal -2251799813685248/3900231685776981 binary64))
%286 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) y)
%287 = (*.f64 #s(literal 1 binary64) %286)
%288 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) %51)
%289 = (*.f64 y #s(literal 2251799813685248/3900231685776981 binary64))
%290 = (pow.f64 %286 #s(literal 1 binary64))
%291 = (*.f64 %51 #s(literal -1 binary64))
%292 = (/.f64 %291 #s(literal 3900231685776981/2251799813685248 binary64))
%293 = (/.f64 %283 #s(literal -3900231685776981/2251799813685248 binary64))
%294 = (*.f64 y #s(literal -1 binary64))
%295 = (/.f64 %294 #s(literal -3900231685776981/2251799813685248 binary64))
%296 = (*.f64 #s(literal -1 binary64) y)
%297 = (/.f64 %296 #s(literal -3900231685776981/2251799813685248 binary64))
%298 = (/.f64 %51 #s(literal -3900231685776981/2251799813685248 binary64))
%300 = (/.f64 #s(literal 1 binary64) (pow.f64 %286 #s(literal -1 binary64)))
%302 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3900231685776981/2251799813685248 binary64) %51))
%304 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3900231685776981/2251799813685248 binary64) y))
%305 = (/.f64 y #s(literal 3900231685776981/2251799813685248 binary64))
%306 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) y)
%307 = (neg.f64 %306)
%308 = (approx %250 %286)
%312 = (*.f64 %283 #s(literal 2251799813685248/3900231685776981 binary64))
%313 = (*.f64 %51 #s(literal 2251799813685248/3900231685776981 binary64))
%314 = (*.f64 #s(literal 1 binary64) %306)
%315 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) %51)
%316 = (*.f64 y #s(literal -2251799813685248/3900231685776981 binary64))
%317 = (pow.f64 %306 #s(literal 1 binary64))
%318 = (/.f64 %291 #s(literal -3900231685776981/2251799813685248 binary64))
%319 = (/.f64 %283 #s(literal 3900231685776981/2251799813685248 binary64))
%320 = (/.f64 %294 #s(literal 3900231685776981/2251799813685248 binary64))
%321 = (/.f64 %296 #s(literal 3900231685776981/2251799813685248 binary64))
%322 = (/.f64 %51 #s(literal 3900231685776981/2251799813685248 binary64))
%324 = (/.f64 #s(literal 1 binary64) (pow.f64 %306 #s(literal -1 binary64)))
%326 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3900231685776981/2251799813685248 binary64) %51))
%328 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3900231685776981/2251799813685248 binary64) y))
%329 = (/.f64 y #s(literal -3900231685776981/2251799813685248 binary64))
%330 = (neg.f64 %286)
%331 = (approx %250 %306)
%335 = (*.f64 #s(literal 1300077228592327/2251799813685248 binary64) z)
%340 = (*.f64 %95 #s(literal 1 binary64))
%341 = (*.f64 %340 #s(literal -2251799813685248/3900231685776981 binary64))
%342 = (*.f64 %95 #s(literal -2251799813685248/3900231685776981 binary64))
%343 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) z)
%344 = (*.f64 #s(literal 1 binary64) %343)
%345 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) %95)
%346 = (*.f64 z #s(literal 2251799813685248/3900231685776981 binary64))
%347 = (pow.f64 %343 #s(literal 1 binary64))
%348 = (*.f64 %95 #s(literal -1 binary64))
%349 = (/.f64 %348 #s(literal 3900231685776981/2251799813685248 binary64))
%350 = (/.f64 %340 #s(literal -3900231685776981/2251799813685248 binary64))
%351 = (*.f64 z #s(literal -1 binary64))
%352 = (/.f64 %351 #s(literal -3900231685776981/2251799813685248 binary64))
%353 = (*.f64 #s(literal -1 binary64) z)
%354 = (/.f64 %353 #s(literal -3900231685776981/2251799813685248 binary64))
%355 = (/.f64 %95 #s(literal -3900231685776981/2251799813685248 binary64))
%357 = (/.f64 #s(literal 1 binary64) (pow.f64 %343 #s(literal -1 binary64)))
%359 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3900231685776981/2251799813685248 binary64) %95))
%361 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3900231685776981/2251799813685248 binary64) z))
%362 = (/.f64 z #s(literal 3900231685776981/2251799813685248 binary64))
%363 = (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) z)
%364 = (neg.f64 %363)
%365 = (approx %250 %343)
%369 = (*.f64 %340 #s(literal 2251799813685248/3900231685776981 binary64))
%370 = (*.f64 %95 #s(literal 2251799813685248/3900231685776981 binary64))
%371 = (*.f64 #s(literal 1 binary64) %363)
%372 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) %95)
%373 = (*.f64 z #s(literal -2251799813685248/3900231685776981 binary64))
%374 = (pow.f64 %363 #s(literal 1 binary64))
%375 = (/.f64 %348 #s(literal -3900231685776981/2251799813685248 binary64))
%376 = (/.f64 %340 #s(literal 3900231685776981/2251799813685248 binary64))
%377 = (/.f64 %351 #s(literal 3900231685776981/2251799813685248 binary64))
%378 = (/.f64 %353 #s(literal 3900231685776981/2251799813685248 binary64))
%379 = (/.f64 %95 #s(literal 3900231685776981/2251799813685248 binary64))
%381 = (/.f64 #s(literal 1 binary64) (pow.f64 %363 #s(literal -1 binary64)))
%383 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3900231685776981/2251799813685248 binary64) %95))
%385 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3900231685776981/2251799813685248 binary64) z))
%386 = (/.f64 z #s(literal -3900231685776981/2251799813685248 binary64))
%387 = (neg.f64 %343)
%388 = (approx %250 %363)
%392 = (*.f64 %153 #s(literal 1 binary64))
%395 = (*.f64 #s(literal 2251799813685248/3900231685776981 binary64) %152)
%420 = (*.f64 #s(literal -1300077228592327/2251799813685248 binary64) x)
%430 = (sqrt (/ %246 3))
%431 = (approx %430 %420)
%435 = (*.f64 #s(literal -1300077228592327/2251799813685248 binary64) y)
%443 = (approx %430 %435)
%447 = (*.f64 #s(literal -1300077228592327/2251799813685248 binary64) z)
%455 = (approx %430 %447)
%459 = (approx %430 %240)
%463 = (approx %430 %306)
%467 = (approx %430 %363)
%478 = (neg.f64 %145)
%481 = (/.f64 %95 %123)
%483 = (/.f64 z %123)
%484 = (/.f64 #s(literal -1 binary64) %123)
%486 = (*.f64 %145 %95)
%524 = (approx %430 %486)
%528 = (approx %430 %220)
%532 = (approx %430 %286)
%536 = (approx %430 %343)
x
(*.f64 %3 %3)
(*.f64 %3 %1)
(*.f64 %2 %2)
(*.f64 %1 %3)
(*.f64 %1 %1)
(*.f64 %9 %9)
%11
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %9 #s(literal 2 binary64))
(pow.f64 %11 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(neg.f64 %22)
(sqrt.f64 (*.f64 %11 %11))
(fabs.f64 %22)
(fabs.f64 %11)
y
z
#s(literal 3 binary64)
(pow.f64 %31 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %31 #s(literal -1 binary64)))
(neg.f64 %35)
(fma.f64 %3 %3 %37)
(fma.f64 %3 %1 %37)
(fma.f64 %42 %42 %11)
(fma.f64 %42 %40 %11)
(fma.f64 %2 %2 %37)
(fma.f64 %41 %41 %11)
(fma.f64 %40 %42 %11)
(fma.f64 %40 %40 %11)
(fma.f64 %1 %3 %37)
(fma.f64 %1 %1 %37)
(fma.f64 %51 %51 %11)
(fma.f64 %9 %9 %37)
%31
(fma.f64 x x %37)
(-.f64 %37 %22)
(-.f64 %11 %56)
(+.f64 %37 %11)
(+.f64 %11 %37)
(*.f64 %61 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %60)
(*.f64 %60 #s(literal 1 binary64))
(pow.f64 %60 #s(literal 1 binary64))
(/.f64 %61 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %60 #s(literal -1 binary64)))
(neg.f64 (*.f64 %70 #s(literal 1 binary64)))
(neg.f64 %70)
(fma.f64 %76 %76 %31)
(fma.f64 %76 %74 %31)
(fma.f64 %3 %3 %79)
(fma.f64 %3 %1 %79)
(fma.f64 %42 %42 %82)
(fma.f64 %42 %40 %82)
(fma.f64 %75 %75 %31)
(fma.f64 %2 %2 %79)
(fma.f64 %41 %41 %82)
(fma.f64 %40 %42 %82)
(fma.f64 %40 %40 %82)
(fma.f64 %74 %76 %31)
(fma.f64 %74 %74 %31)
(fma.f64 %1 %3 %79)
(fma.f64 %1 %1 %79)
(fma.f64 %51 %51 %82)
(fma.f64 %95 %95 %31)
(fma.f64 %9 %9 %79)
(fma.f64 #s(literal 1/2 binary64) %60 %98)
(fma.f64 %60 #s(literal 1/2 binary64) %100)
%60
(fma.f64 y y %82)
(fma.f64 x x %79)
(-.f64 %79 %22)
(-.f64 %82 %56)
(-.f64 %37 (neg.f64 %82))
(-.f64 %108 %35)
(-.f64 %31 (*.f64 %95 z))
(-.f64 %11 (neg.f64 %79))
(+.f64 %100 %100)
(+.f64 %98 %98)
(+.f64 %79 %11)
(+.f64 %82 %37)
(+.f64 %37 %82)
(+.f64 %108 %31)
(+.f64 %31 %108)
(+.f64 %11 %79)
%126
%130
%132
%133
%135
%136
%139
%140
%141
%142
%143
%146
%148
%122
%149
%150
(*.f64 %153 %153)
(*.f64 %152 %152)
(pow.f64 (*.f64 %156 %156) #s(literal 1/4 binary64))
(pow.f64 %156 #s(literal 1/2 binary64))
(pow.f64 %152 #s(literal 2 binary64))
(pow.f64 %151 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %151 #s(literal -1 binary64)))
(sqrt.f64 %156)
(fabs.f64 (neg.f64 %151))
(fabs.f64 %70)
(fabs.f64 %151)
%151
(*.f64 %169 #s(literal 1/2 binary64))
(*.f64 %171 %171)
(*.f64 #s(literal 1 binary64) %152)
(*.f64 #s(literal 2 binary64) %174)
(*.f64 %152 #s(literal 1 binary64))
(pow.f64 %156 #s(literal 1/4 binary64))
(pow.f64 %152 #s(literal 1 binary64))
(pow.f64 %151 #s(literal 1/2 binary64))
(/.f64 %169 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %152) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %152 #s(literal -1 binary64)))
(neg.f64 %153)
(fma.f64 #s(literal 1/2 binary64) %152 %174)
(fma.f64 %152 #s(literal 1/2 binary64) %187)
%152
(fabs.f64 %153)
(fabs.f64 %152)
(+.f64 %187 %187)
(+.f64 %174 %174)
(*.f64 %193 %193)
(*.f64 %124 %124)
(pow.f64 %124 #s(literal 2 binary64))
(pow.f64 #s(literal 9 binary64) #s(literal 1/8 binary64))
(pow.f64 %123 #s(literal 1 binary64))
(pow.f64 %122 #s(literal 1/2 binary64))
(pow.f64 #s(literal 3 binary64) #s(literal 1/4 binary64))
(/.f64 #s(literal 1 binary64) %202)
(neg.f64 %134)
%123
(fabs.f64 %134)
(fabs.f64 %123)
#s(literal 1300077228592327/2251799813685248 binary64)
#s(literal 3900231685776981/2251799813685248 binary64)
%126
%130
%132
%133
%135
%136
%139
%140
%141
%142
%143
%146
%148
%122
%149
%150
#s(literal -3900231685776981/2251799813685248 binary64)
%210
(*.f64 x #s(literal 1300077228592327/2251799813685248 binary64))
(pow.f64 %210 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %210 #s(literal -1 binary64)))
#s(literal 2251799813685248/3900231685776981 binary64)
%218
%219
%221
%222
%220
%223
%224
%226
%227
%229
%231
%232
%234
%236
%238
%239
%241
(pow.f64 %251 #s(literal 1 binary64))
%251
(/.f64 #s(literal 1 binary64) (pow.f64 %251 #s(literal -1 binary64)))
#s(literal -2251799813685248/3900231685776981 binary64)
%255
%256
%257
%240
%258
%259
%260
%261
%262
%263
%264
%265
%267
%269
%271
%272
%273
(pow.f64 %274 #s(literal 1 binary64))
%274
(/.f64 #s(literal 1 binary64) (pow.f64 %274 #s(literal -1 binary64)))
%278
(*.f64 y #s(literal 1300077228592327/2251799813685248 binary64))
(pow.f64 %278 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %278 #s(literal -1 binary64)))
%284
%285
%287
%288
%286
%289
%290
%292
%293
%295
%297
%298
%300
%302
%304
%305
%307
(pow.f64 %308 #s(literal 1 binary64))
%308
(/.f64 #s(literal 1 binary64) (pow.f64 %308 #s(literal -1 binary64)))
%312
%313
%314
%306
%315
%316
%317
%318
%319
%320
%321
%322
%324
%326
%328
%329
%330
(pow.f64 %331 #s(literal 1 binary64))
%331
(/.f64 #s(literal 1 binary64) (pow.f64 %331 #s(literal -1 binary64)))
%335
(*.f64 z #s(literal 1300077228592327/2251799813685248 binary64))
(pow.f64 %335 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %335 #s(literal -1 binary64)))
%341
%342
%344
%345
%343
%346
%347
%349
%350
%352
%354
%355
%357
%359
%361
%362
%364
(pow.f64 %365 #s(literal 1 binary64))
%365
(/.f64 #s(literal 1 binary64) (pow.f64 %365 #s(literal -1 binary64)))
%369
%370
%371
%363
%372
%373
%374
%375
%376
%377
%378
%379
%381
%383
%385
%386
%387
(pow.f64 %388 #s(literal 1 binary64))
%388
(/.f64 #s(literal 1 binary64) (pow.f64 %388 #s(literal -1 binary64)))
(*.f64 %392 #s(literal -2251799813685248/3900231685776981 binary64))
(*.f64 %153 #s(literal -2251799813685248/3900231685776981 binary64))
(*.f64 #s(literal 1 binary64) %395)
(*.f64 #s(literal -2251799813685248/3900231685776981 binary64) %153)
%395
(*.f64 %152 #s(literal 2251799813685248/3900231685776981 binary64))
(pow.f64 %395 #s(literal 1 binary64))
(/.f64 (*.f64 %153 #s(literal -1 binary64)) #s(literal 3900231685776981/2251799813685248 binary64))
(/.f64 %392 #s(literal -3900231685776981/2251799813685248 binary64))
(/.f64 (*.f64 %152 #s(literal -1 binary64)) #s(literal -3900231685776981/2251799813685248 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %152) #s(literal -3900231685776981/2251799813685248 binary64))
(/.f64 %153 #s(literal -3900231685776981/2251799813685248 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %395 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -3900231685776981/2251799813685248 binary64) %153))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 3900231685776981/2251799813685248 binary64) %152))
(/.f64 %152 #s(literal 3900231685776981/2251799813685248 binary64))
(neg.f64 (*.f64 #s(literal -2251799813685248/3900231685776981 binary64) %152))
(neg.f64 (*.f64 %152 #s(literal -2251799813685248/3900231685776981 binary64)))
%420
(*.f64 %9 #s(literal 1300077228592327/2251799813685248 binary64))
(*.f64 #s(literal 1300077228592327/2251799813685248 binary64) %9)
(*.f64 x #s(literal -1300077228592327/2251799813685248 binary64))
(pow.f64 %420 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %420 #s(literal -1 binary64)))
(neg.f64 %210)
(pow.f64 %431 #s(literal 1 binary64))
%431
(/.f64 #s(literal 1 binary64) (pow.f64 %431 #s(literal -1 binary64)))
%435
(*.f64 %51 #s(literal 1300077228592327/2251799813685248 binary64))
(*.f64 #s(literal 1300077228592327/2251799813685248 binary64) %51)
(*.f64 y #s(literal -1300077228592327/2251799813685248 binary64))
(pow.f64 %435 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %435 #s(literal -1 binary64)))
(neg.f64 %278)
(pow.f64 %443 #s(literal 1 binary64))
%443
(/.f64 #s(literal 1 binary64) (pow.f64 %443 #s(literal -1 binary64)))
%447
(*.f64 %95 #s(literal 1300077228592327/2251799813685248 binary64))
(*.f64 #s(literal 1300077228592327/2251799813685248 binary64) %95)
(*.f64 z #s(literal -1300077228592327/2251799813685248 binary64))
(pow.f64 %447 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %447 #s(literal -1 binary64)))
(neg.f64 %335)
(pow.f64 %455 #s(literal 1 binary64))
%455
(/.f64 #s(literal 1 binary64) (pow.f64 %455 #s(literal -1 binary64)))
%255
%256
%257
%240
%258
%259
%260
%261
%262
%263
%264
%265
%267
%269
%271
%272
%273
(pow.f64 %459 #s(literal 1 binary64))
%459
(/.f64 #s(literal 1 binary64) (pow.f64 %459 #s(literal -1 binary64)))
%312
%313
%314
%306
%315
%316
%317
%318
%319
%320
%321
%322
%324
%326
%328
%329
%330
(pow.f64 %463 #s(literal 1 binary64))
%463
(/.f64 #s(literal 1 binary64) (pow.f64 %463 #s(literal -1 binary64)))
%369
%370
%371
%363
%372
%373
%374
%375
%376
%377
%378
%379
%381
%383
%385
%386
%387
(pow.f64 %467 #s(literal 1 binary64))
%467
(/.f64 #s(literal 1 binary64) (pow.f64 %467 #s(literal -1 binary64)))
(*.f64 (*.f64 %134 %124) %124)
(*.f64 %124 (*.f64 %124 %134))
(*.f64 %134 %123)
(*.f64 %123 %134)
(pow.f64 %147 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %478)
%147
(*.f64 %340 %145)
(*.f64 %481 %202)
(*.f64 %483 %484)
%486
(*.f64 %478 z)
(*.f64 %95 %145)
(*.f64 #s(literal 1 binary64) %486)
(*.f64 z %478)
(pow.f64 %486 #s(literal 1 binary64))
(/.f64 (*.f64 %95 %484) %134)
(/.f64 (*.f64 %95 %202) %123)
(/.f64 %348 %147)
(/.f64 %340 %122)
(/.f64 %351 %122)
(/.f64 (*.f64 %484 z) %123)
(/.f64 (*.f64 %202 z) %134)
(/.f64 %353 %122)
(/.f64 (/.f64 %481 %124) %124)
(/.f64 (neg.f64 %481) %134)
(/.f64 %481 %123)
(/.f64 %483 %134)
(/.f64 %95 %122)
(/.f64 #s(literal 1 binary64) (pow.f64 %486 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %123 %481))
(/.f64 #s(literal 1 binary64) (/.f64 %134 %483))
(/.f64 #s(literal 1 binary64) (/.f64 %122 %95))
(/.f64 #s(literal 1 binary64) (/.f64 %147 z))
(/.f64 z %147)
(neg.f64 (*.f64 %145 z))
(pow.f64 %524 #s(literal 1 binary64))
%524
(/.f64 #s(literal 1 binary64) (pow.f64 %524 #s(literal -1 binary64)))
%218
%219
%221
%222
%220
%223
%224
%226
%227
%229
%231
%232
%234
%236
%238
%239
%241
(pow.f64 %528 #s(literal 1 binary64))
%528
(/.f64 #s(literal 1 binary64) (pow.f64 %528 #s(literal -1 binary64)))
%284
%285
%287
%288
%286
%289
%290
%292
%293
%295
%297
%298
%300
%302
%304
%305
%307
(pow.f64 %532 #s(literal 1 binary64))
%532
(/.f64 #s(literal 1 binary64) (pow.f64 %532 #s(literal -1 binary64)))
%341
%342
%344
%345
%343
%346
%347
%349
%350
%352
%354
%355
%357
%359
%361
%362
%364
(pow.f64 %536 #s(literal 1 binary64))
%536
(/.f64 #s(literal 1 binary64) (pow.f64 %536 #s(literal -1 binary64)))