%2 = (+.f64 x y)
%3 = (+.f64 y y)
x
y
%2
%3
(/.f64 %2 %3)

%2 = (+.f64 y x)
%4 = (*.f64 %2 #s(literal 2 binary64))
%7 = (neg.f64 %2)
%20 = (*.f64 #s(literal 1/2 binary64) %2)
%25 = (*.f64 x #s(literal 2 binary64))
%28 = (*.f64 y #s(literal 1 binary64))
%30 = (/.f64 %25 #s(literal 2 binary64))
%32 = (/.f64 %25 y)
%33 = (*.f64 y #s(literal 1/2 binary64))
%35 = (*.f64 x y)
%37 = (neg.f64 y)
%38 = (/.f64 #s(literal 2 binary64) %37)
%40 = (/.f64 %35 #s(literal 2 binary64))
%41 = (/.f64 #s(literal 2 binary64) y)
%43 = (/.f64 %35 y)
%45 = (+.f64 y y)
%46 = (/.f64 %45 #s(literal -2 binary64))
%47 = (/.f64 x %37)
%49 = (/.f64 %45 y)
%50 = (*.f64 x #s(literal 1/2 binary64))
%52 = (/.f64 %45 #s(literal 2 binary64))
%53 = (/.f64 x y)
%55 = (neg.f64 x)
%58 = (/.f64 x %45)
%59 = (*.f64 %58 #s(literal 2 binary64))
%62 = (*.f64 #s(literal 0 binary64) %2)
%65 = (*.f64 %58 y)
%68 = (*.f64 x #s(literal -1/2 binary64))
%69 = (/.f64 %45 %37)
%71 = (/.f64 #s(literal -1/2 binary64) y)
%72 = (*.f64 %71 x)
%73 = (*.f64 #s(literal -2 binary64) y)
%75 = (*.f64 %73 x)
%77 = (*.f64 %50 %45)
%78 = (/.f64 #s(literal 1 binary64) y)
%80 = (neg.f64 %55)
%87 = (*.f64 %45 x)
%88 = (/.f64 #s(literal 1/2 binary64) y)
%91 = (/.f64 %2 #s(literal 4 binary64))
%102 = (*.f64 %80 #s(literal 1 binary64))
%104 = (*.f64 x #s(literal 1 binary64))
%129 = (*.f64 #s(literal 1 binary64) y)
%132 = (*.f64 %37 #s(literal 1 binary64))
%134 = (*.f64 y #s(literal -1 binary64))
%143 = (*.f64 #s(literal 2 binary64) %45)
%144 = (/.f64 %45 %143)
%145 = (/.f64 %2 y)
%147 = (/.f64 %45 #s(literal 4 binary64))
%148 = (*.f64 y y)
%151 = (/.f64 %45 %148)
%153 = (fabs.f64 %45)
%154 = (/.f64 %45 %153)
%157 = (*.f64 %45 y)
%158 = (/.f64 %45 %157)
%160 = (/.f64 %45 %73)
%161 = (fma.f64 %71 x #s(literal -1/2 binary64))
%163 = (/.f64 %45 %45)
%164 = (fma.f64 %53 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
%170 = (/.f64 #s(literal -1 binary64) y)
%171 = (*.f64 %2 #s(literal -1/2 binary64))
%177 = (-.f64 #s(literal -1 binary64) %53)
%179 = (fma.f64 x #s(literal 1 binary64) y)
%180 = (*.f64 %179 #s(literal 1/2 binary64))
%182 = (/.f64 %179 y)
%185 = (/.f64 #s(literal 1 binary64) %37)
%187 = (fma.f64 #s(literal 1/2 binary64) y %50)
%189 = (*.f64 #s(literal 1/2 binary64) %73)
%190 = (-.f64 %189 x)
%192 = (fma.f64 #s(literal 1/2 binary64) %45 x)
%194 = (*.f64 %33 %73)
%195 = (-.f64 %194 %35)
%196 = (*.f64 %148 #s(literal -2 binary64))
%197 = (/.f64 #s(literal 1 binary64) %196)
%199 = (fma.f64 %33 %45 %35)
%200 = (/.f64 #s(literal 1 binary64) %157)
%202 = (*.f64 %50 %73)
%203 = (fma.f64 %37 y %202)
%205 = (fma.f64 y y %77)
%207 = (*.f64 y %20)
%208 = (/.f64 #s(literal 1 binary64) %148)
%210 = (fma.f64 %55 y %194)
%212 = (*.f64 %33 %45)
%213 = (fma.f64 x y %212)
%217 = (*.f64 y %50)
%218 = (fma.f64 %33 y %217)
%220 = (*.f64 y %55)
%221 = (fma.f64 %33 %73 %220)
%223 = (*.f64 y x)
%224 = (fma.f64 %33 %45 %223)
%226 = (*.f64 %73 %50)
%227 = (fma.f64 %37 y %226)
%229 = (*.f64 %45 %50)
%230 = (fma.f64 y y %229)
%232 = (*.f64 y %33)
%233 = (fma.f64 %50 y %232)
%235 = (-.f64 %202 %148)
%237 = (*.f64 %73 %33)
%238 = (fma.f64 %55 y %237)
%240 = (*.f64 %45 %33)
%241 = (fma.f64 x y %240)
%243 = (fma.f64 %50 %45 %148)
%246 = (*.f64 x #s(literal -1 binary64))
%247 = (-.f64 %246 y)
%249 = (*.f64 %73 %2)
%251 = (*.f64 #s(literal -4 binary64) %148)
%258 = (*.f64 %45 %2)
%260 = (*.f64 (/.f64 #s(literal 1/2 binary64) %148) #s(literal 1/2 binary64))
%262 = (fma.f64 y #s(literal 1 binary64) x)
%264 = (+.f64 x %28)
%266 = (-.f64 %28 %55)
%274 = (/.f64 %25 %45)
%275 = (*.f64 %274 #s(literal 1/2 binary64))
%276 = (*.f64 #s(literal 4 binary64) %148)
%287 = (*.f64 y #s(literal -1/2 binary64))
%297 = (*.f64 %276 %276)
%299 = (*.f64 %246 %73)
%302 = (*.f64 %104 %73)
%305 = (*.f64 %53 %73)
%307 = (*.f64 %73 #s(literal 2 binary64))
%309 = (*.f64 %68 %73)
%312 = (*.f64 %80 %73)
%321 = (*.f64 %246 #s(literal 2 binary64))
%323 = (*.f64 #s(literal 2 binary64) %73)
%325 = (*.f64 %104 #s(literal 2 binary64))
%328 = (*.f64 %53 #s(literal 2 binary64))
%331 = (*.f64 %68 #s(literal 2 binary64))
%334 = (*.f64 %80 #s(literal 2 binary64))
%337 = (*.f64 %50 #s(literal 2 binary64))
%340 = (*.f64 %55 #s(literal 2 binary64))
%343 = (*.f64 %246 %45)
%346 = (*.f64 %104 %45)
%349 = (*.f64 %53 %45)
%352 = (*.f64 %68 %45)
%355 = (*.f64 %80 %45)
%362 = (*.f64 %53 %37)
%365 = (*.f64 %68 %37)
%368 = (*.f64 %246 %37)
%371 = (*.f64 %104 %37)
%374 = (*.f64 %80 %37)
%377 = (*.f64 %50 %37)
%379 = (*.f64 %37 y)
%381 = (*.f64 %55 %37)
%384 = (*.f64 x %37)
%387 = (*.f64 %246 y)
%390 = (*.f64 %104 y)
%393 = (*.f64 %53 y)
%396 = (*.f64 %68 y)
%399 = (*.f64 %80 y)
%420 = (*.f64 %134 %73)
%423 = (*.f64 #s(literal 1 binary64) %73)
%426 = (*.f64 %28 %73)
%429 = (*.f64 %287 %73)
%438 = (*.f64 %134 %45)
%443 = (*.f64 %28 %45)
%446 = (*.f64 %287 %45)
%532 = (*.f64 #s(literal 2 binary64) x)
%540 = (*.f64 %73 %246)
%543 = (*.f64 %73 %104)
%546 = (*.f64 %73 %53)
%549 = (*.f64 %73 %68)
%552 = (*.f64 %73 %80)
%575 = (*.f64 #s(literal 2 binary64) %55)
%578 = (*.f64 %45 %246)
%581 = (*.f64 %45 %104)
%584 = (*.f64 %45 %53)
%587 = (*.f64 %45 %68)
%590 = (*.f64 %45 %80)
%615 = (*.f64 %37 %55)
%618 = (*.f64 %37 x)
%656 = (*.f64 %73 %134)
%659 = (*.f64 %73 #s(literal 1 binary64))
%662 = (*.f64 %73 %28)
%665 = (*.f64 %73 %287)
%670 = (*.f64 %45 %134)
%673 = (*.f64 %45 #s(literal 1 binary64))
%676 = (*.f64 %45 %28)
%679 = (*.f64 %45 %287)
%694 = (*.f64 #s(literal 2 binary64) %287)
%697 = (*.f64 #s(literal 2 binary64) %33)
%706 = (*.f64 %37 %287)
%715 = (*.f64 %37 %33)
%738 = (*.f64 y %287)
%775 = (*.f64 %73 #s(literal -1 binary64))
%786 = (*.f64 %45 #s(literal -1 binary64))
%830 = (*.f64 %50 y)
%837 = (*.f64 %55 y)
%1052 = (*.f64 %163 #s(literal 1/2 binary64))
%1055 = (/.f64 y %148)
%1058 = (/.f64 y #s(literal 4 binary64))
%1061 = (/.f64 y %153)
%1071 = (/.f64 #s(literal 2 binary64) %148)
%1076 = (/.f64 #s(literal 2 binary64) %153)
%1079 = (/.f64 #s(literal 2 binary64) %73)
%1081 = (/.f64 x %143)
%1083 = (/.f64 x #s(literal 4 binary64))
%1085 = (/.f64 x %148)
%1087 = (/.f64 x %153)
%1089 = (/.f64 x %157)
%1091 = (/.f64 %148 y)
%1093 = (/.f64 %148 %148)
%1095 = (/.f64 %148 #s(literal 4 binary64))
%1097 = (/.f64 %148 %153)
%1099 = (/.f64 %148 #s(literal 2 binary64))
%1100 = (/.f64 #s(literal 2 binary64) %157)
%1102 = (/.f64 %148 %73)
%1104 = (/.f64 %148 %45)
%1105 = (/.f64 #s(literal 2 binary64) %45)
%1107 = (/.f64 %148 %143)
%1109 = (/.f64 y %143)
%1114 = (/.f64 y %157)
%1128 = (/.f64 %58 y)
%1130 = (/.f64 %58 #s(literal 2 binary64))
%1164 = (/.f64 %65 y)
%1166 = (/.f64 %148 %157)
%1168 = (/.f64 %35 %157)
%1178 = (*.f64 %1052 #s(literal 1 binary64))
%1198 = (/.f64 %77 %157)
%1211 = (*.f64 %58 #s(literal 1 binary64))
%1223 = (/.f64 (*.f64 %33 y) %148)
%1226 = (/.f64 %830 %148)
%1228 = (/.f64 %194 %196)
%1231 = (/.f64 %837 %196)
%1233 = (/.f64 %212 %157)
%1237 = (/.f64 %379 %196)
%1240 = (/.f64 %202 %196)
x
y
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %7 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %2)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %7)
(fma.f64 (/.f64 %4 #s(literal 1/2 binary64)) #s(literal 1/8 binary64) %20)
(fma.f64 (/.f64 %2 #s(literal 1/2 binary64)) #s(literal 1/4 binary64) %20)
(fma.f64 (/.f64 %25 #s(literal -2 binary64)) #s(literal -1 binary64) %28)
(fma.f64 %30 #s(literal 1 binary64) %28)
(fma.f64 %32 %33 %28)
(fma.f64 (/.f64 %35 #s(literal -2 binary64)) %38 %28)
(fma.f64 %40 %41 %28)
(fma.f64 %43 #s(literal 1 binary64) %28)
(fma.f64 %46 %47 %28)
(fma.f64 %49 %50 %28)
(fma.f64 %52 %53 %28)
(fma.f64 (/.f64 %55 y) %46 %28)
(fma.f64 %59 y %28)
(fma.f64 %4 #s(literal 1/2 binary64) %62)
(fma.f64 %53 %52 %28)
(fma.f64 %65 #s(literal 2 binary64) %28)
(fma.f64 %68 %69 %28)
(fma.f64 %72 %73 %28)
(fma.f64 %75 %71 %28)
(fma.f64 %77 %78 %28)
(fma.f64 %80 #s(literal 1 binary64) %28)
(fma.f64 %20 #s(literal 1 binary64) %20)
(fma.f64 %50 %49 %28)
(fma.f64 #s(literal 1/2 binary64) (/.f64 %2 #s(literal 1 binary64)) %20)
(fma.f64 #s(literal 1/2 binary64) %2 %20)
(fma.f64 %87 %88 %28)
(fma.f64 #s(literal 2 binary64) %91 %20)
(fma.f64 %58 %45 %28)
(fma.f64 %7 #s(literal -1/2 binary64) %20)
(fma.f64 %7 #s(literal -1 binary64) %62)
(fma.f64 #s(literal 1 binary64) %2 %62)
(fma.f64 %45 %58 %28)
(fma.f64 %2 #s(literal 1/2 binary64) %20)
(fma.f64 %2 #s(literal 1 binary64) %62)
(fma.f64 y (fma.f64 %53 #s(literal 1/2 binary64) %58) %28)
(fma.f64 y #s(literal 1 binary64) %102)
(fma.f64 y #s(literal 1 binary64) %104)
(fma.f64 x #s(literal 1 binary64) %28)
(-.f64 %80 %37)
(-.f64 y (neg.f64 %80))
(-.f64 y %55)
(-.f64 x %37)
(+.f64 %102 %28)
(+.f64 %28 %102)
(+.f64 %28 %104)
(+.f64 %80 y)
(+.f64 %20 %20)
(+.f64 %104 %28)
(+.f64 %2 %62)
(+.f64 y %80)
%2
(+.f64 x y)
(*.f64 #s(literal -2 binary64) %37)
(*.f64 #s(literal 2 binary64) y)
(*.f64 %37 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %45)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %45 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %88)
(neg.f64 %73)
(fma.f64 #s(literal 1 binary64) y %129)
(fma.f64 y #s(literal 1 binary64) %28)
(-.f64 %28 %132)
(-.f64 %28 %134)
(-.f64 %129 (*.f64 #s(literal -1 binary64) y))
(-.f64 %129 (neg.f64 %129))
(-.f64 y %37)
(+.f64 %28 %28)
(+.f64 %129 %129)
%45
(*.f64 %144 %145)
(*.f64 %147 (/.f64 %2 %148))
(*.f64 %151 %91)
(*.f64 %154 (/.f64 %2 %153))
(*.f64 %158 %20)
(*.f64 %160 %161)
(*.f64 %163 %164)
(*.f64 (/.f64 %4 #s(literal -2 binary64)) %71)
(*.f64 (/.f64 %4 y) #s(literal 1/4 binary64))
(*.f64 %170 %171)
(*.f64 %49 (/.f64 %2 %143))
(*.f64 %52 (/.f64 %2 %157))
(*.f64 %177 #s(literal -1/2 binary64))
(*.f64 %180 %78)
(*.f64 %182 #s(literal 1/2 binary64))
(*.f64 %171 %170)
(*.f64 %171 %185)
(*.f64 %187 %78)
(*.f64 %190 %71)
(*.f64 %192 %88)
(*.f64 %195 %197)
(*.f64 %199 %200)
(*.f64 %203 %197)
(*.f64 %205 %200)
(*.f64 %207 %208)
(*.f64 %210 %197)
(*.f64 %213 %200)
(*.f64 %78 %20)
(*.f64 %145 #s(literal 1/2 binary64))
(*.f64 %218 %208)
(*.f64 %221 %197)
(*.f64 %224 %200)
(*.f64 %227 %197)
(*.f64 %230 %200)
(*.f64 %233 %208)
(*.f64 %235 %197)
(*.f64 %238 %197)
(*.f64 %241 %200)
(*.f64 %243 %200)
(*.f64 #s(literal -1/2 binary64) %177)
(*.f64 %247 %71)
(*.f64 %249 (/.f64 #s(literal 1 binary64) %251))
(*.f64 %20 %78)
(*.f64 #s(literal 1/2 binary64) %145)
(*.f64 %71 %7)
(*.f64 %179 %88)
(*.f64 %258 %260)
(*.f64 %88 %262)
(*.f64 %88 %264)
(*.f64 %88 %266)
(*.f64 %88 %179)
(*.f64 %88 %2)
(*.f64 %7 %71)
(*.f64 #s(literal 1 binary64) %164)
(*.f64 %2 %88)
(pow.f64 %164 #s(literal 1 binary64))
(/.f64 (fma.f64 %275 %276 %157) %276)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %73 %246) %73)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %45 %104) %45)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %37 %68) %37)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %45 %80) %45)
(/.f64 (fma.f64 %58 %37 %287) %37)
(/.f64 (-.f64 (*.f64 %58 %37) %33) %37)
(/.f64 (fma.f64 #s(literal 2 binary64) y %25) %143)
(/.f64 (fma.f64 %87 %276 (*.f64 %157 %276)) %297)
(/.f64 (fma.f64 %134 %73 %299) %276)
(/.f64 (fma.f64 %134 %45 %302) %251)
(/.f64 (fma.f64 %134 #s(literal 2 binary64) %305) %307)
(/.f64 (fma.f64 %134 %37 %309) %157)
(/.f64 (fma.f64 %134 %45 %312) %251)
(/.f64 (fma.f64 %134 y %202) %196)
(/.f64 (fma.f64 %134 %73 %87) %276)
(/.f64 (fma.f64 %134 %45 %75) %251)
(/.f64 (fma.f64 #s(literal 1 binary64) %73 %321) %323)
(/.f64 (fma.f64 #s(literal 2 binary64) y %325) %143)
(/.f64 (+.f64 #s(literal 2 binary64) %328) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 1 binary64) %37 %331) %73)
(/.f64 (fma.f64 #s(literal 2 binary64) y %334) %143)
(/.f64 (fma.f64 #s(literal 1 binary64) y %337) %45)
(/.f64 (fma.f64 #s(literal 1 binary64) %73 %340) %323)
(/.f64 (fma.f64 %28 %73 %343) %251)
(/.f64 (fma.f64 %28 %45 %346) %276)
(/.f64 (fma.f64 %28 #s(literal 2 binary64) %349) %143)
(/.f64 (fma.f64 %28 %37 %352) %196)
(/.f64 (fma.f64 %28 %45 %355) %276)
(/.f64 (fma.f64 %28 y %77) %157)
(/.f64 (fma.f64 %28 %73 %75) %251)
(/.f64 (fma.f64 %287 #s(literal 2 binary64) %362) %73)
(/.f64 (fma.f64 %287 %37 %365) %148)
(/.f64 (fma.f64 %287 %73 %368) %157)
(/.f64 (fma.f64 %287 %45 %371) %196)
(/.f64 (fma.f64 %287 %45 %374) %196)
(/.f64 (fma.f64 %287 y %377) %379)
(/.f64 (fma.f64 %287 %73 %381) %157)
(/.f64 (fma.f64 %287 %45 %384) %196)
(/.f64 (fma.f64 %33 %73 %387) %196)
(/.f64 (fma.f64 %33 %45 %390) %157)
(/.f64 (fma.f64 %33 #s(literal 2 binary64) %393) %45)
(/.f64 (fma.f64 %33 %37 %396) %379)
(/.f64 (fma.f64 %33 %45 %399) %157)
(/.f64 (fma.f64 %45 y %299) %276)
(/.f64 (fma.f64 %148 #s(literal -2 binary64) %302) %251)
(/.f64 (fma.f64 #s(literal -2 binary64) y %305) %307)
(/.f64 (fma.f64 y y %309) %157)
(/.f64 (fma.f64 %148 #s(literal -2 binary64) %312) %251)
(/.f64 (fma.f64 %148 #s(literal -2 binary64) %343) %251)
(/.f64 (fma.f64 %45 y %346) %276)
(/.f64 (fma.f64 #s(literal 2 binary64) y %349) %143)
(/.f64 (fma.f64 %37 y %352) %196)
(/.f64 (fma.f64 %246 %73 %420) %276)
(/.f64 (fma.f64 %246 #s(literal 2 binary64) %423) %307)
(/.f64 (fma.f64 %246 %45 %426) %251)
(/.f64 (fma.f64 %246 %37 %429) %157)
(/.f64 (fma.f64 %246 y %194) %196)
(/.f64 (fma.f64 %246 %73 %157) %276)
(/.f64 (fma.f64 %246 %45 %196) %251)
(/.f64 (fma.f64 %104 %73 %438) %251)
(/.f64 (fma.f64 %104 #s(literal 2 binary64) %45) %143)
(/.f64 (fma.f64 %104 %45 %443) %276)
(/.f64 (fma.f64 %104 %37 %446) %196)
(/.f64 (fma.f64 %104 y %212) %157)
(/.f64 (fma.f64 %104 %73 %196) %251)
(/.f64 (fma.f64 %53 %73 (*.f64 %134 #s(literal 2 binary64))) %323)
(/.f64 (fma.f64 %53 %45 (*.f64 %28 #s(literal 2 binary64))) %143)
(/.f64 (fma.f64 %53 %37 (*.f64 %287 #s(literal 2 binary64))) %73)
(/.f64 (fma.f64 %53 y (*.f64 %33 #s(literal 2 binary64))) %45)
(/.f64 (fma.f64 %68 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %37)) %73)
(/.f64 (fma.f64 %68 %37 (*.f64 %287 %37)) %148)
(/.f64 (fma.f64 %68 %73 (*.f64 %134 %37)) %157)
(/.f64 (fma.f64 %68 %45 (*.f64 %28 %37)) %196)
(/.f64 (fma.f64 %68 y (*.f64 %33 %37)) %379)
(/.f64 (fma.f64 %68 %45 %379) %196)
(/.f64 (fma.f64 %80 %73 %438) %251)
(/.f64 (fma.f64 %80 #s(literal 2 binary64) %45) %143)
(/.f64 (fma.f64 %80 %45 %443) %276)
(/.f64 (fma.f64 %80 %37 %446) %196)
(/.f64 (fma.f64 %80 y %212) %157)
(/.f64 (fma.f64 %80 %73 %196) %251)
(/.f64 (fma.f64 %50 %73 (*.f64 %134 y)) %196)
(/.f64 (fma.f64 %50 #s(literal 2 binary64) %129) %45)
(/.f64 (fma.f64 %50 %45 (*.f64 %28 y)) %157)
(/.f64 (fma.f64 %50 %37 (*.f64 %287 y)) %379)
(/.f64 (fma.f64 %45 x %420) %276)
(/.f64 (fma.f64 %55 #s(literal 2 binary64) %423) %307)
(/.f64 (fma.f64 %73 x %426) %251)
(/.f64 (fma.f64 %55 %37 %429) %157)
(/.f64 (fma.f64 %73 x %438) %251)
(/.f64 (fma.f64 %45 x %443) %276)
(/.f64 (fma.f64 x %37 %446) %196)
(/.f64 (fma.f64 y #s(literal 1 binary64) %80) %45)
(/.f64 (fma.f64 y #s(literal -1 binary64) %55) %73)
(/.f64 %262 %45)
(/.f64 (+.f64 %55 %134) %73)
(/.f64 (+.f64 %80 %28) %45)
(/.f64 %264 %45)
(/.f64 (-.f64 %134 x) %73)
(/.f64 %266 %45)
(/.f64 (fma.f64 #s(literal 2 binary64) y %532) %143)
(/.f64 (fma.f64 x #s(literal 2 binary64) %45) %143)
(/.f64 (fma.f64 %87 %276 (*.f64 %276 %157)) %297)
(/.f64 (fma.f64 %134 %73 %540) %276)
(/.f64 (fma.f64 %134 %45 %543) %251)
(/.f64 (fma.f64 %134 #s(literal 2 binary64) %546) %307)
(/.f64 (fma.f64 %134 %37 %549) %157)
(/.f64 (fma.f64 %134 %45 %552) %251)
(/.f64 (fma.f64 %134 y %226) %196)
(/.f64 (fma.f64 #s(literal 1 binary64) %73 (*.f64 #s(literal 2 binary64) %246)) %323)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 2 binary64) %104)) %143)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %53)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 1 binary64) %37 (*.f64 #s(literal 2 binary64) %68)) %73)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 2 binary64) %80)) %143)
(/.f64 (fma.f64 #s(literal 1 binary64) y (*.f64 #s(literal 2 binary64) %50)) %45)
(/.f64 (fma.f64 #s(literal 1 binary64) %73 %575) %323)
(/.f64 (fma.f64 %28 %73 %578) %251)
(/.f64 (fma.f64 %28 %45 %581) %276)
(/.f64 (fma.f64 %28 #s(literal 2 binary64) %584) %143)
(/.f64 (fma.f64 %28 %37 %587) %196)
(/.f64 (fma.f64 %28 %45 %590) %276)
(/.f64 (fma.f64 %28 y %229) %157)
(/.f64 (fma.f64 %28 %45 %87) %276)
(/.f64 (fma.f64 %287 #s(literal 2 binary64) (*.f64 %37 %53)) %73)
(/.f64 (fma.f64 %287 %37 (*.f64 %37 %68)) %148)
(/.f64 (fma.f64 %287 %73 (*.f64 %37 %246)) %157)
(/.f64 (fma.f64 %287 %45 (*.f64 %37 %104)) %196)
(/.f64 (fma.f64 %287 %45 (*.f64 %37 %80)) %196)
(/.f64 (fma.f64 %287 y (*.f64 %37 %50)) %379)
(/.f64 (fma.f64 %287 %73 %615) %157)
(/.f64 (fma.f64 %287 %45 %618) %196)
(/.f64 (fma.f64 %33 %73 (*.f64 y %246)) %196)
(/.f64 (fma.f64 %33 %45 (*.f64 y %104)) %157)
(/.f64 (fma.f64 %33 #s(literal 2 binary64) (*.f64 y %53)) %45)
(/.f64 (fma.f64 %33 %37 (*.f64 y %68)) %379)
(/.f64 (fma.f64 %33 %45 (*.f64 y %80)) %157)
(/.f64 (fma.f64 %45 y %540) %276)
(/.f64 (fma.f64 %148 #s(literal -2 binary64) %543) %251)
(/.f64 (fma.f64 #s(literal -2 binary64) y %546) %307)
(/.f64 (fma.f64 y y %549) %157)
(/.f64 (fma.f64 %148 #s(literal -2 binary64) %552) %251)
(/.f64 (fma.f64 %148 #s(literal -2 binary64) %578) %251)
(/.f64 (fma.f64 %45 y %581) %276)
(/.f64 (fma.f64 #s(literal 2 binary64) y %584) %143)
(/.f64 (fma.f64 %37 y %587) %196)
(/.f64 (fma.f64 %45 y %590) %276)
(/.f64 (fma.f64 %246 %73 %656) %276)
(/.f64 (fma.f64 %246 #s(literal 2 binary64) %659) %307)
(/.f64 (fma.f64 %246 %45 %662) %251)
(/.f64 (fma.f64 %246 %37 %665) %157)
(/.f64 (fma.f64 %246 y %237) %196)
(/.f64 (fma.f64 %104 %73 %670) %251)
(/.f64 (fma.f64 %104 #s(literal 2 binary64) %673) %143)
(/.f64 (fma.f64 %104 %45 %676) %276)
(/.f64 (fma.f64 %104 %37 %679) %196)
(/.f64 (fma.f64 %104 y %240) %157)
(/.f64 (fma.f64 %104 %45 %157) %276)
(/.f64 (fma.f64 %53 %73 (*.f64 #s(literal 2 binary64) %134)) %323)
(/.f64 (fma.f64 %53 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %53 %45 (*.f64 #s(literal 2 binary64) %28)) %143)
(/.f64 (fma.f64 %53 %37 %694) %73)
(/.f64 (fma.f64 %53 y %697) %45)
(/.f64 (fma.f64 %53 %73 %73) %323)
(/.f64 (fma.f64 %53 %45 %45) %143)
(/.f64 (fma.f64 %68 #s(literal 2 binary64) %132) %73)
(/.f64 (fma.f64 %68 %37 %706) %148)
(/.f64 (fma.f64 %68 %73 (*.f64 %37 %134)) %157)
(/.f64 (fma.f64 %68 %45 (*.f64 %37 %28)) %196)
(/.f64 (fma.f64 %68 y %715) %379)
(/.f64 (fma.f64 %68 %73 %148) %157)
(/.f64 (fma.f64 %80 %73 %670) %251)
(/.f64 (fma.f64 %80 #s(literal 2 binary64) %673) %143)
(/.f64 (fma.f64 %80 %45 %676) %276)
(/.f64 (fma.f64 %80 %37 %679) %196)
(/.f64 (fma.f64 %80 y %240) %157)
(/.f64 (fma.f64 %50 %73 (*.f64 y %134)) %196)
(/.f64 (fma.f64 %50 #s(literal 2 binary64) %28) %45)
(/.f64 (fma.f64 %50 %45 (*.f64 y %28)) %157)
(/.f64 (fma.f64 %50 %37 %738) %379)
(/.f64 (fma.f64 %45 x %656) %276)
(/.f64 (fma.f64 %55 #s(literal 2 binary64) %659) %307)
(/.f64 (fma.f64 %73 x %662) %251)
(/.f64 (fma.f64 %55 %37 %665) %157)
(/.f64 (fma.f64 %73 x %670) %251)
(/.f64 (fma.f64 x #s(literal 2 binary64) %673) %143)
(/.f64 (fma.f64 %45 x %676) %276)
(/.f64 (fma.f64 x %37 %679) %196)
(/.f64 (-.f64 %45 %575) %143)
(/.f64 (-.f64 %420 %75) %276)
(/.f64 (-.f64 %423 %532) %323)
(/.f64 (-.f64 %426 %87) %251)
(/.f64 (-.f64 %429 %618) %157)
(/.f64 (-.f64 %194 %223) %196)
(/.f64 (-.f64 %438 %87) %251)
(/.f64 (-.f64 %443 %75) %276)
(/.f64 (-.f64 %446 %615) %196)
(/.f64 (-.f64 %321 %775) %307)
(/.f64 (-.f64 %387 %665) %196)
(/.f64 (-.f64 %368 %237) %157)
(/.f64 (-.f64 %343 %157) %251)
(/.f64 (-.f64 %299 %196) %276)
(/.f64 (-.f64 %325 %786) %143)
(/.f64 (-.f64 %390 %679) %157)
(/.f64 (-.f64 %371 %240) %196)
(/.f64 (-.f64 %346 %196) %276)
(/.f64 (-.f64 %302 %157) %251)
(/.f64 (-.f64 %328 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %393 %694) %45)
(/.f64 (-.f64 %362 %697) %73)
(/.f64 (-.f64 %349 %73) %143)
(/.f64 (-.f64 %305 %45) %323)
(/.f64 (-.f64 %331 (*.f64 %37 #s(literal -1 binary64))) %73)
(/.f64 (-.f64 %365 %715) %148)
(/.f64 (-.f64 %396 %706) %379)
(/.f64 (-.f64 %352 %148) %196)
(/.f64 (-.f64 %309 %379) %157)
(/.f64 (-.f64 %334 %786) %143)
(/.f64 (-.f64 %399 %679) %157)
(/.f64 (-.f64 %374 %240) %196)
(/.f64 (-.f64 %355 %196) %276)
(/.f64 (-.f64 %312 %157) %251)
(/.f64 (-.f64 %337 %134) %45)
(/.f64 (-.f64 %830 %738) %148)
(/.f64 (-.f64 %377 %232) %379)
(/.f64 (-.f64 %340 %775) %307)
(/.f64 (-.f64 %837 %665) %196)
(/.f64 (-.f64 %381 %237) %157)
(/.f64 (-.f64 %25 %786) %143)
(/.f64 (-.f64 %35 %679) %157)
(/.f64 (-.f64 %384 %240) %196)
(/.f64 (*.f64 #s(literal 2 binary64) %180) %45)
(/.f64 (*.f64 #s(literal 2 binary64) %182) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %171) %73)
(/.f64 (*.f64 #s(literal 2 binary64) %187) %45)
(/.f64 (*.f64 #s(literal 2 binary64) %190) %323)
(/.f64 (*.f64 #s(literal 2 binary64) %192) %143)
(/.f64 (*.f64 #s(literal 2 binary64) %195) %251)
(/.f64 (*.f64 #s(literal 2 binary64) %199) %276)
(/.f64 (*.f64 #s(literal 2 binary64) %203) %251)
(/.f64 (*.f64 #s(literal 2 binary64) %258) (*.f64 #s(literal 2 binary64) %276))
(/.f64 (*.f64 #s(literal 2 binary64) %205) %276)
(/.f64 (*.f64 #s(literal 2 binary64) %207) %157)
(/.f64 (*.f64 #s(literal 2 binary64) %210) %251)
(/.f64 (*.f64 #s(literal 2 binary64) %249) (*.f64 #s(literal 2 binary64) %251))
(/.f64 (*.f64 #s(literal 2 binary64) %213) %276)
(/.f64 (*.f64 #s(literal 2 binary64) %145) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %218) %157)
(/.f64 (*.f64 #s(literal 2 binary64) %221) %251)
(/.f64 (*.f64 #s(literal 2 binary64) %224) %276)
(/.f64 (*.f64 #s(literal 2 binary64) %227) %251)
(/.f64 (*.f64 #s(literal 2 binary64) %230) %276)
(/.f64 (*.f64 #s(literal 2 binary64) %233) %157)
(/.f64 (*.f64 #s(literal 2 binary64) %235) %251)
(/.f64 (*.f64 #s(literal 2 binary64) %238) %251)
(/.f64 (*.f64 #s(literal 2 binary64) %241) %276)
(/.f64 (*.f64 #s(literal 2 binary64) %243) %276)
(/.f64 (*.f64 #s(literal 2 binary64) %247) %323)
(/.f64 (*.f64 #s(literal 2 binary64) %20) %45)
(/.f64 (*.f64 #s(literal 2 binary64) %179) %143)
(/.f64 (*.f64 #s(literal 2 binary64) %7) %323)
(/.f64 (*.f64 #s(literal 2 binary64) %2) %143)
(/.f64 (neg.f64 %180) %37)
(/.f64 (neg.f64 %182) #s(literal -2 binary64))
(/.f64 (neg.f64 %187) %37)
(/.f64 (neg.f64 %190) %45)
(/.f64 (neg.f64 %192) %73)
(/.f64 (neg.f64 %195) %157)
(/.f64 (neg.f64 %199) %196)
(/.f64 (neg.f64 %205) %196)
(/.f64 (neg.f64 %207) %379)
(/.f64 (neg.f64 %210) %157)
(/.f64 (neg.f64 %213) %196)
(/.f64 (neg.f64 %218) %379)
(/.f64 (neg.f64 %221) %157)
(/.f64 (neg.f64 %224) %196)
(/.f64 (neg.f64 %227) %157)
(/.f64 (neg.f64 %230) %196)
(/.f64 (neg.f64 %233) %379)
(/.f64 (neg.f64 %235) %157)
(/.f64 (neg.f64 %238) %157)
(/.f64 (neg.f64 %241) %196)
(/.f64 (neg.f64 %243) %196)
(/.f64 %177 #s(literal -2 binary64))
(/.f64 %180 y)
(/.f64 %182 #s(literal 2 binary64))
(/.f64 %171 %37)
(/.f64 %187 y)
(/.f64 %190 %73)
(/.f64 %192 %45)
(/.f64 %195 %196)
(/.f64 %199 %157)
(/.f64 %203 %196)
(/.f64 %205 %157)
(/.f64 %207 %148)
(/.f64 %210 %196)
(/.f64 %213 %157)
(/.f64 %145 #s(literal 2 binary64))
(/.f64 %218 %148)
(/.f64 %221 %196)
(/.f64 %224 %157)
(/.f64 %227 %196)
(/.f64 %230 %157)
(/.f64 %233 %148)
(/.f64 %235 %196)
(/.f64 %238 %196)
(/.f64 %241 %157)
(/.f64 %243 %157)
(/.f64 %247 %73)
(/.f64 %249 %251)
(/.f64 %20 y)
(/.f64 %179 %45)
(/.f64 %258 %276)
(/.f64 %7 %73)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %182))
(/.f64 #s(literal 1 binary64) (/.f64 %37 %171))
(/.f64 #s(literal 1 binary64) (/.f64 y %187))
(/.f64 #s(literal 1 binary64) (/.f64 %73 %190))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %192))
(/.f64 #s(literal 1 binary64) (/.f64 y %180))
(/.f64 #s(literal 1 binary64) (/.f64 %196 %195))
(/.f64 #s(literal 1 binary64) (/.f64 %157 %199))
(/.f64 #s(literal 1 binary64) (/.f64 %196 %203))
(/.f64 #s(literal 1 binary64) (/.f64 %157 %205))
(/.f64 #s(literal 1 binary64) (/.f64 %148 %207))
(/.f64 #s(literal 1 binary64) (/.f64 %196 %210))
(/.f64 #s(literal 1 binary64) (/.f64 %157 %213))
(/.f64 #s(literal 1 binary64) (/.f64 %251 %249))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %145))
(/.f64 #s(literal 1 binary64) (/.f64 %148 %218))
(/.f64 #s(literal 1 binary64) (/.f64 %196 %221))
(/.f64 #s(literal 1 binary64) (/.f64 %157 %224))
(/.f64 #s(literal 1 binary64) (/.f64 %196 %227))
(/.f64 #s(literal 1 binary64) (/.f64 %157 %230))
(/.f64 #s(literal 1 binary64) (/.f64 %148 %233))
(/.f64 #s(literal 1 binary64) (/.f64 %196 %235))
(/.f64 #s(literal 1 binary64) (/.f64 %196 %238))
(/.f64 #s(literal 1 binary64) (/.f64 %157 %241))
(/.f64 #s(literal 1 binary64) (/.f64 %157 %243))
(/.f64 #s(literal 1 binary64) (/.f64 %73 %247))
(/.f64 #s(literal 1 binary64) (pow.f64 %164 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %20))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %179))
(/.f64 #s(literal 1 binary64) (/.f64 %276 %258))
(/.f64 #s(literal 1 binary64) (/.f64 %73 %7))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %2))
(/.f64 %2 %45)
(neg.f64 %161)
(fma.f64 (/.f64 %25 %143) #s(literal 1 binary64) %1052)
(fma.f64 (/.f64 %25 #s(literal 4 binary64)) %1055 %1052)
(fma.f64 (/.f64 %25 %148) %1058 %1052)
(fma.f64 (/.f64 %25 %153) %1061 %1052)
(fma.f64 (/.f64 %25 %157) %33 %1052)
(fma.f64 (/.f64 %25 %73) #s(literal -1/2 binary64) %1052)
(fma.f64 %274 #s(literal 1/2 binary64) %1052)
(fma.f64 (/.f64 %35 %143) %41 %1052)
(fma.f64 (/.f64 %35 #s(literal 4 binary64)) %1071 %1052)
(fma.f64 (/.f64 %35 %148) #s(literal 1/2 binary64) %1052)
(fma.f64 (/.f64 %35 %153) %1076 %1052)
(fma.f64 (/.f64 %35 %73) %1079 %1052)
(fma.f64 %1081 %49 %1052)
(fma.f64 %1083 %151 %1052)
(fma.f64 %1085 %147 %1052)
(fma.f64 %1087 %154 %1052)
(fma.f64 %1089 %52 %1052)
(fma.f64 %1091 %88 %275)
(fma.f64 %1093 #s(literal 1/2 binary64) %275)
(fma.f64 %1095 %1071 %275)
(fma.f64 %1097 %1076 %275)
(fma.f64 %1099 %1100 %275)
(fma.f64 %1102 %1079 %275)
(fma.f64 %1104 %1105 %275)
(fma.f64 %1107 %41 %275)
(fma.f64 %1109 %49 %275)
(fma.f64 %1058 %151 %275)
(fma.f64 %1055 %147 %275)
(fma.f64 %1061 %154 %275)
(fma.f64 %1114 %52 %275)
(fma.f64 (/.f64 %59 #s(literal -2 binary64)) #s(literal -1 binary64) #s(literal 1/2 binary64))
(fma.f64 (/.f64 %59 #s(literal 2 binary64)) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 (/.f64 %59 y) %33 #s(literal 1/2 binary64))
(fma.f64 (/.f64 %65 #s(literal -2 binary64)) %38 #s(literal 1/2 binary64))
(fma.f64 (/.f64 %65 #s(literal 2 binary64)) %41 #s(literal 1/2 binary64))
(fma.f64 (/.f64 %58 #s(literal -2 binary64)) %69 #s(literal 1/2 binary64))
(fma.f64 %1128 %52 #s(literal 1/2 binary64))
(fma.f64 %1130 %49 #s(literal 1/2 binary64))
(fma.f64 %144 %53 %1052)
(fma.f64 %144 #s(literal 1 binary64) %275)
(fma.f64 %147 %1085 %1052)
(fma.f64 %147 %1055 %275)
(fma.f64 %151 %1083 %1052)
(fma.f64 %151 %1058 %275)
(fma.f64 %154 %1087 %1052)
(fma.f64 %154 %1061 %275)
(fma.f64 %158 %33 %275)
(fma.f64 %158 %50 %1052)
(fma.f64 %160 %72 %1052)
(fma.f64 %160 #s(literal -1/2 binary64) %275)
(fma.f64 %163 #s(literal 1/2 binary64) %275)
(fma.f64 %163 %58 %1052)
(fma.f64 %30 %1114 %1052)
(fma.f64 %32 %1109 %1052)
(fma.f64 %40 %1100 %1052)
(fma.f64 %43 %88 %1052)
(fma.f64 %47 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 %46 (/.f64 %58 %37) #s(literal 1/2 binary64))
(fma.f64 %49 %1081 %1052)
(fma.f64 %49 %1109 %275)
(fma.f64 %49 %1130 #s(literal 1/2 binary64))
(fma.f64 %52 %1089 %1052)
(fma.f64 %52 %1114 %275)
(fma.f64 %52 %1128 #s(literal 1/2 binary64))
(fma.f64 %1071 %1095 %275)
(fma.f64 %1076 %1097 %275)
(fma.f64 %1100 %1099 %275)
(fma.f64 %1079 %1102 %275)
(fma.f64 %1105 %1104 %275)
(fma.f64 %1164 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 %1166 #s(literal 1 binary64) %275)
(fma.f64 %1168 #s(literal 1 binary64) %1052)
(fma.f64 (/.f64 %35 %45) %1105 %1052)
(fma.f64 %246 %71 #s(literal 1/2 binary64))
(fma.f64 %53 %144 %1052)
%164
(fma.f64 %68 %170 #s(literal 1/2 binary64))
(fma.f64 %68 %185 #s(literal 1/2 binary64))
(fma.f64 %41 %1107 %275)
(fma.f64 %72 %160 %1052)
(fma.f64 %275 #s(literal 1 binary64) %1178)
(fma.f64 %80 %88 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) %160 %275)
(fma.f64 %33 %158 %275)
(fma.f64 %50 %158 %1052)
(fma.f64 %50 %78 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %1093 %275)
(fma.f64 #s(literal 1/2 binary64) %163 %275)
(fma.f64 %104 %88 #s(literal 1/2 binary64))
(fma.f64 %157 %260 %275)
(fma.f64 %87 %260 %1052)
(fma.f64 %55 %71 #s(literal 1/2 binary64))
(fma.f64 %88 %1091 %275)
(fma.f64 %88 x #s(literal 1/2 binary64))
(fma.f64 %58 %163 %1052)
(fma.f64 %58 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %144 %275)
(fma.f64 #s(literal 1 binary64) %1166 %275)
(fma.f64 x %88 #s(literal 1/2 binary64))
(-.f64 %1198 (/.f64 %379 %157))
(-.f64 %275 (/.f64 %157 %251))
(-.f64 %275 (neg.f64 %1052))
(-.f64 %275 (/.f64 %196 %276))
(-.f64 #s(literal 1/2 binary64) %72)
(-.f64 %58 #s(literal -1/2 binary64))
(+.f64 (*.f64 %275 #s(literal 1 binary64)) %1178)
(+.f64 %1211 #s(literal 1/2 binary64))
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) y) y) %58)
(+.f64 (/.f64 %189 %73) %58)
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) %45) %45) %58)
(+.f64 %1164 #s(literal 1/2 binary64))
(+.f64 %1223 (/.f64 %217 %148))
(+.f64 %1223 %1226)
(+.f64 %1228 (/.f64 %220 %196))
(+.f64 %1228 %1231)
(+.f64 %1233 (/.f64 %223 %157))
(+.f64 %1233 %1168)
(+.f64 %1237 (/.f64 %226 %196))
(+.f64 %1237 %1240)
(+.f64 %1226 %1223)
(+.f64 %1226 (/.f64 %232 %148))
(+.f64 %1240 %1237)
(+.f64 %1166 (/.f64 %229 %157))
(+.f64 %1166 %1198)
(+.f64 %1198 %1166)
(+.f64 %1231 %1228)
(+.f64 %1231 (/.f64 %237 %196))
(+.f64 %1168 %1233)
(+.f64 %1168 (/.f64 %240 %157))
(+.f64 %1052 %275)
(+.f64 %275 %1052)
(+.f64 #s(literal 1/2 binary64) %1211)
(+.f64 #s(literal 1/2 binary64) %58)
(+.f64 %58 #s(literal 1/2 binary64))

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

%5 = (/ (+ y x) (+ y y))
%6 = (approx %5 #s(literal 1/2 binary64))
%12 = (/.f64 #s(literal -1 binary64) y)
%13 = (neg.f64 x)
%15 = (/.f64 #s(literal 1 binary64) y)
%18 = (/.f64 x y)
%23 = (*.f64 x #s(literal -1 binary64))
%24 = (*.f64 #s(literal 2 binary64) %23)
%26 = (*.f64 #s(literal -2 binary64) y)
%28 = (*.f64 #s(literal -1 binary64) x)
%31 = (*.f64 %13 #s(literal 1 binary64))
%32 = (*.f64 #s(literal 2 binary64) %31)
%34 = (neg.f64 %23)
%38 = (neg.f64 %31)
%40 = (neg.f64 y)
%43 = (*.f64 #s(literal 2 binary64) %13)
%45 = (*.f64 #s(literal 2 binary64) x)
%46 = (+.f64 y y)
%56 = (/.f64 %13 y)
%58 = (*.f64 #s(literal 1/2 binary64) x)
%59 = (*.f64 %58 #s(literal 1 binary64))
%63 = (*.f64 #s(literal -1/2 binary64) x)
%68 = (/.f64 #s(literal 1/2 binary64) y)
%70 = (/.f64 #s(literal -1/2 binary64) y)
%75 = (/.f64 x %46)
%77 = (*.f64 #s(literal 1 binary64) %13)
%83 = (*.f64 %40 #s(literal -2 binary64))
%91 = (*.f64 %31 #s(literal -1 binary64))
%108 = (*.f64 %13 #s(literal -1 binary64))
%111 = (*.f64 #s(literal -1 binary64) %13)
%114 = (*.f64 %58 #s(literal -1 binary64))
%119 = (*.f64 %18 #s(literal 1 binary64))
%131 = (*.f64 #s(literal -1/2 binary64) %13)
%155 = (*.f64 %70 x)
%158 = (/.f64 (*.f64 y %75) %46)
%160 = (*.f64 %75 y)
%161 = (/.f64 %160 %46)
%163 = (approx %5 %75)
%167 = (+.f64 y x)
%168 = (neg.f64 %167)
%170 = (*.f64 %167 #s(literal 1/2 binary64))
%172 = (*.f64 %46 %167)
%174 = (*.f64 y y)
%175 = (*.f64 #s(literal 4 binary64) %174)
%178 = (/.f64 %167 y)
%182 = (fma.f64 %68 x #s(literal 1/2 binary64))
%187 = (/.f64 y #s(literal -2 binary64))
%190 = (*.f64 #s(literal 1/2 binary64) y)
%191 = (neg.f64 %190)
%212 = (*.f64 y #s(literal -1 binary64))
%223 = (*.f64 y #s(literal 1 binary64))
%252 = (/.f64 %40 y)
%271 = (*.f64 %56 #s(literal 1 binary64))
%282 = (*.f64 %46 x)
%283 = (*.f64 %46 y)
%288 = (*.f64 %26 %114)
%290 = (*.f64 %26 %40)
%292 = (*.f64 %26 %59)
%294 = (*.f64 %26 y)
%296 = (*.f64 %26 %119)
%298 = (*.f64 %26 #s(literal 2 binary64))
%300 = (*.f64 %26 %23)
%303 = (*.f64 %26 %31)
%306 = (*.f64 %26 %77)
%309 = (*.f64 %26 %63)
%312 = (*.f64 %26 %58)
%315 = (*.f64 %26 %13)
%318 = (*.f64 %26 %18)
%321 = (*.f64 %26 x)
%323 = (*.f64 %26 %46)
%325 = (*.f64 %40 %114)
%328 = (*.f64 %40 %59)
%330 = (*.f64 %40 y)
%332 = (*.f64 %40 %119)
%335 = (*.f64 %40 %23)
%337 = (*.f64 %40 %26)
%339 = (*.f64 %40 %31)
%342 = (*.f64 %40 %77)
%345 = (*.f64 %40 %63)
%348 = (*.f64 %40 %58)
%351 = (*.f64 %40 %13)
%354 = (*.f64 %40 %18)
%357 = (*.f64 %40 x)
%359 = (*.f64 %40 %46)
%361 = (*.f64 %46 %114)
%363 = (*.f64 %46 %40)
%365 = (*.f64 %46 %59)
%368 = (*.f64 %46 %119)
%370 = (*.f64 %46 #s(literal 2 binary64))
%372 = (*.f64 %46 %23)
%374 = (*.f64 %46 %26)
%376 = (*.f64 %46 %31)
%379 = (*.f64 %46 %77)
%382 = (*.f64 %46 %63)
%385 = (*.f64 %46 %58)
%388 = (*.f64 %46 %13)
%391 = (*.f64 %46 %18)
%420 = (*.f64 y %40)
%430 = (*.f64 y %26)
%469 = (*.f64 %40 %212)
%472 = (*.f64 %40 %187)
%475 = (*.f64 %40 %223)
%478 = (*.f64 %40 %191)
%481 = (*.f64 %40 %190)
%488 = (*.f64 y %212)
%491 = (*.f64 y %187)
%494 = (*.f64 y %223)
%497 = (*.f64 y %191)
%500 = (*.f64 y %190)
%507 = (*.f64 #s(literal 2 binary64) %212)
%509 = (*.f64 #s(literal 2 binary64) %26)
%511 = (*.f64 #s(literal 2 binary64) %187)
%514 = (*.f64 #s(literal 2 binary64) %223)
%516 = (*.f64 #s(literal 2 binary64) %46)
%518 = (*.f64 #s(literal 2 binary64) %191)
%521 = (*.f64 #s(literal 2 binary64) %190)
%528 = (*.f64 %26 %212)
%531 = (*.f64 %26 %187)
%534 = (*.f64 %26 %223)
%537 = (*.f64 %26 %191)
%540 = (*.f64 %26 %190)
%616 = (*.f64 %46 %187)
%622 = (*.f64 %46 %191)
%625 = (*.f64 %40 #s(literal -1 binary64))
%628 = (*.f64 %40 #s(literal 1 binary64))
%640 = (*.f64 %26 #s(literal -1 binary64))
%642 = (*.f64 %26 #s(literal -2 binary64))
%644 = (*.f64 %26 #s(literal 1 binary64))
%665 = (*.f64 %46 #s(literal -1 binary64))
%667 = (*.f64 %46 #s(literal -2 binary64))
%680 = (*.f64 #s(literal -2 binary64) %26)
%688 = (*.f64 #s(literal -2 binary64) %63)
%691 = (*.f64 #s(literal -2 binary64) %58)
%694 = (*.f64 #s(literal -2 binary64) %13)
%700 = (*.f64 #s(literal -2 binary64) x)
%702 = (*.f64 #s(literal -2 binary64) %46)
%723 = (*.f64 %212 #s(literal 2 binary64))
%724 = (*.f64 %26 %271)
%727 = (*.f64 %212 %40)
%728 = (*.f64 %26 %131)
%731 = (*.f64 %26 %56)
%745 = (*.f64 %187 #s(literal 2 binary64))
%746 = (*.f64 %40 %271)
%749 = (*.f64 %187 %40)
%750 = (*.f64 %40 %131)
%753 = (*.f64 %40 %56)
%767 = (*.f64 %223 #s(literal 2 binary64))
%768 = (*.f64 %46 %271)
%771 = (*.f64 %223 %40)
%772 = (*.f64 %46 %131)
%775 = (*.f64 %46 %56)
%789 = (*.f64 %191 #s(literal 2 binary64))
%792 = (*.f64 %191 %40)
%808 = (*.f64 %190 #s(literal 2 binary64))
%812 = (*.f64 %190 %40)
%819 = (*.f64 %190 y)
%820 = (*.f64 y %63)
%823 = (*.f64 y %58)
%826 = (*.f64 %190 %46)
%827 = (*.f64 y %13)
%830 = (*.f64 %190 %26)
%831 = (*.f64 y x)
%858 = (*.f64 %114 #s(literal 2 binary64))
%859 = (*.f64 %40 %252)
%862 = (*.f64 %114 y)
%876 = (*.f64 %59 #s(literal 2 binary64))
%877 = (*.f64 y %252)
%880 = (*.f64 %59 y)
%894 = (*.f64 %119 #s(literal 2 binary64))
%895 = (*.f64 #s(literal 2 binary64) %252)
%898 = (*.f64 %119 y)
%912 = (*.f64 %23 #s(literal 2 binary64))
%913 = (*.f64 %26 %252)
%916 = (*.f64 %23 y)
%930 = (*.f64 %31 #s(literal 2 binary64))
%933 = (*.f64 %31 y)
%947 = (*.f64 %77 #s(literal 2 binary64))
%950 = (*.f64 %77 y)
%964 = (*.f64 %63 #s(literal 2 binary64))
%967 = (*.f64 %63 y)
%975 = (*.f64 %63 %26)
%978 = (*.f64 %58 #s(literal 2 binary64))
%981 = (*.f64 %58 y)
%989 = (*.f64 %13 #s(literal 2 binary64))
%992 = (*.f64 %13 y)
%1000 = (*.f64 %13 %26)
%1003 = (*.f64 %18 #s(literal 2 binary64))
%1006 = (*.f64 %18 y)
%1020 = (*.f64 x #s(literal 2 binary64))
%1024 = (*.f64 x y)
%1030 = (*.f64 %46 %190)
%1033 = (*.f64 x %26)
%1089 = (*.f64 %46 #s(literal 1 binary64))
%1095 = (*.f64 #s(literal -1 binary64) %40)
%1116 = (*.f64 #s(literal 1 binary64) %40)
%1123 = (*.f64 #s(literal 1 binary64) y)
%1124 = (*.f64 #s(literal 2 binary64) %63)
%1127 = (*.f64 #s(literal 2 binary64) %58)
%1130 = (*.f64 #s(literal 1 binary64) %46)
%1133 = (*.f64 #s(literal 1 binary64) %26)
%1136 = (*.f64 %58 %26)
%1145 = (*.f64 %178 #s(literal 1 binary64))
%1148 = (*.f64 %167 #s(literal -1 binary64))
%1151 = (*.f64 #s(literal 1 binary64) %178)
%1154 = (*.f64 #s(literal -1 binary64) %167)
%1157 = (/.f64 %172 %46)
%1160 = (*.f64 %168 #s(literal 1 binary64))
%1163 = (/.f64 %167 #s(literal -2 binary64))
%1166 = (fma.f64 %75 y %190)
%1169 = (fma.f64 %75 %26 %40)
%1172 = (fma.f64 %75 #s(literal 2 binary64) #s(literal 1 binary64))
%1175 = (fma.f64 #s(literal 1/2 binary64) %40 %63)
%1178 = (fma.f64 #s(literal 1/2 binary64) %26 %13)
%1181 = (fma.f64 #s(literal 1/2 binary64) %46 x)
%1184 = (fma.f64 %190 %40 %967)
%1186 = (*.f64 #s(literal 2 binary64) %420)
%1188 = (fma.f64 %190 y %981)
%1191 = (fma.f64 %190 %26 %992)
%1193 = (*.f64 #s(literal 2 binary64) %430)
%1195 = (fma.f64 %190 %46 %1024)
%1198 = (fma.f64 y y %975)
%1200 = (*.f64 #s(literal 2 binary64) %290)
%1202 = (fma.f64 %40 y %1136)
%1204 = (*.f64 #s(literal 2 binary64) %294)
%1206 = (fma.f64 %40 %26 %1000)
%1208 = (*.f64 #s(literal 2 binary64) %175)
%1210 = (fma.f64 %40 %46 %1033)
%1212 = (*.f64 #s(literal 2 binary64) %323)
%1214 = (*.f64 %63 %46)
%1215 = (fma.f64 y %40 %1214)
%1217 = (*.f64 #s(literal 2 binary64) %363)
%1219 = (*.f64 %58 %46)
%1220 = (fma.f64 y y %1219)
%1223 = (*.f64 %13 %46)
%1224 = (fma.f64 y %26 %1223)
%1226 = (*.f64 #s(literal 2 binary64) %374)
%1228 = (fma.f64 %63 y %812)
%1230 = (*.f64 #s(literal 2 binary64) %330)
%1232 = (fma.f64 %63 %46 %420)
%1234 = (*.f64 #s(literal 2 binary64) %359)
%1236 = (fma.f64 %58 y %819)
%1239 = (fma.f64 %58 %26 %330)
%1242 = (fma.f64 %13 y %830)
%1245 = (fma.f64 %13 %26 %337)
%1248 = (fma.f64 %13 %46 %430)
%1251 = (fma.f64 x y %826)
%1254 = (fma.f64 x %26 %359)
%1257 = (fma.f64 %63 #s(literal 2 binary64) %1116)
%1260 = (fma.f64 %58 #s(literal 2 binary64) %1123)
%1263 = (fma.f64 %13 #s(literal 2 binary64) %1133)
%1265 = (*.f64 #s(literal 2 binary64) %298)
%1267 = (fma.f64 x #s(literal 2 binary64) %1130)
%1269 = (*.f64 #s(literal 2 binary64) %370)
%1271 = (fma.f64 #s(literal 1 binary64) %40 %964)
%1274 = (fma.f64 #s(literal 1 binary64) y %978)
%1277 = (fma.f64 #s(literal 1 binary64) %26 %989)
%1279 = (*.f64 #s(literal 2 binary64) %509)
%1281 = (fma.f64 #s(literal 1 binary64) %46 %1020)
%1283 = (*.f64 #s(literal 2 binary64) %516)
%1285 = (fma.f64 %190 %40 %820)
%1288 = (fma.f64 %190 y %823)
%1291 = (fma.f64 %190 %26 %827)
%1294 = (fma.f64 %190 %46 %831)
%1297 = (fma.f64 y y %309)
%1300 = (fma.f64 %40 y %312)
%1303 = (fma.f64 %40 %26 %315)
%1306 = (fma.f64 %40 %46 %321)
%1309 = (fma.f64 y %40 %382)
%1312 = (fma.f64 y y %385)
%1315 = (fma.f64 y %26 %388)
%1318 = (fma.f64 %63 y %481)
%1321 = (fma.f64 %63 %26 %174)
%1325 = (fma.f64 %63 %46 %330)
%1328 = (fma.f64 %58 y %500)
%1331 = (fma.f64 %58 %26 %420)
%1334 = (fma.f64 %58 %46 %174)
%1337 = (fma.f64 %13 y %540)
%1340 = (fma.f64 %13 %26 %290)
%1343 = (fma.f64 %13 %46 %294)
%1346 = (fma.f64 x y %1030)
%1349 = (fma.f64 x %26 %363)
%1352 = (fma.f64 %63 #s(literal 2 binary64) %628)
%1355 = (fma.f64 %58 #s(literal 2 binary64) %223)
%1358 = (fma.f64 %13 #s(literal 2 binary64) %644)
%1361 = (fma.f64 x #s(literal 2 binary64) %1089)
%1364 = (fma.f64 #s(literal 1 binary64) %40 %1124)
%1367 = (fma.f64 #s(literal 1 binary64) y %1127)
%1370 = (fma.f64 #s(literal 1 binary64) %26 %43)
%1373 = (fma.f64 #s(literal 1 binary64) %46 %45)
%1376 = (-.f64 %1214 %174)
%1379 = (-.f64 %1219 %420)
%1382 = (-.f64 %1223 %290)
%1385 = (-.f64 %282 %363)
%1388 = (neg.f64 %170)
%1391 = (neg.f64 %172)
%1393 = (neg.f64 %175)
%1406 = (fma.f64 #s(literal 1 binary64) %40 %13)
%1409 = (fma.f64 #s(literal 1 binary64) y x)
%1447 = (neg.f64 %420)
%1450 = (neg.f64 %174)
%1455 = (neg.f64 %283)
%1458 = (neg.f64 %290)
%1467 = (neg.f64 %363)
%1474 = (neg.f64 %330)
%1477 = (neg.f64 %359)
%1498 = (neg.f64 %298)
%1501 = (neg.f64 %370)
%1508 = (neg.f64 %509)
%1511 = (neg.f64 %516)
%1717 = (/.f64 %812 %420)
%1722 = (/.f64 %819 %174)
%1725 = (/.f64 %981 %174)
%1727 = (/.f64 %830 %430)
%1732 = (/.f64 %826 %283)
%1735 = (/.f64 %1024 %283)
%1737 = (/.f64 %174 %290)
%1742 = (/.f64 %330 %294)
%1747 = (/.f64 %337 %175)
%1750 = (/.f64 %1000 %175)
%1752 = (/.f64 %359 %323)
%1755 = (/.f64 %282 %175)
%1757 = (/.f64 %420 %363)
%1762 = (/.f64 %967 %330)
%1770 = (/.f64 %1214 %359)
%1778 = (/.f64 %1136 %430)
%1783 = (/.f64 %174 %283)
%1786 = (/.f64 %1219 %283)
%1789 = (/.f64 %992 %294)
%1798 = (/.f64 %283 %175)
%1803 = (/.f64 %964 %26)
%1804 = (/.f64 %1116 %26)
%1807 = (/.f64 %978 %46)
%1808 = (/.f64 %1123 %46)
%1811 = (/.f64 %989 %298)
%1816 = (/.f64 %1020 %370)
%1827 = (/.f64 %1133 %509)
%1832 = (/.f64 %1130 %516)
x
y
#s(literal 1/2 binary64)
(pow.f64 %6 #s(literal 1 binary64))
%6
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(*.f64 %12 %13)
(*.f64 %15 x)
(*.f64 %13 %12)
(*.f64 #s(literal 1 binary64) %18)
(*.f64 x %15)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 %24 %26)
(/.f64 (*.f64 #s(literal 2 binary64) %28) %26)
(/.f64 %32 %26)
(/.f64 %34 y)
(/.f64 (neg.f64 %28) y)
(/.f64 %38 y)
(/.f64 %23 %40)
(/.f64 %28 %40)
(/.f64 %43 %26)
(/.f64 %45 %46)
(/.f64 %31 %40)
(/.f64 %13 %40)
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %40 %13))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
%18
(neg.f64 %56)
(*.f64 %59 %15)
(*.f64 %56 #s(literal -1/2 binary64))
(*.f64 %63 %12)
(*.f64 %58 %15)
(*.f64 #s(literal -1/2 binary64) %56)
(*.f64 %15 %58)
(*.f64 %68 x)
(*.f64 %13 %70)
(*.f64 %18 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %18)
(*.f64 x %68)
(pow.f64 %75 #s(literal 1 binary64))
(/.f64 (*.f64 %77 #s(literal -1 binary64)) %46)
(/.f64 (*.f64 %77 #s(literal 1 binary64)) %26)
(/.f64 (*.f64 %23 #s(literal -1 binary64)) %83)
(/.f64 (*.f64 %23 #s(literal 1 binary64)) %26)
(/.f64 (*.f64 %28 #s(literal -1 binary64)) %83)
(/.f64 (*.f64 %28 #s(literal 1 binary64)) %26)
(/.f64 %91 %83)
(/.f64 %91 %46)
(/.f64 (*.f64 %31 #s(literal 1 binary64)) %26)
(/.f64 (*.f64 #s(literal -1 binary64) %23) %46)
(/.f64 (*.f64 #s(literal -1 binary64) %28) %46)
(/.f64 (*.f64 #s(literal -1 binary64) %31) %46)
(/.f64 (*.f64 #s(literal 1 binary64) %23) %26)
(/.f64 (*.f64 #s(literal 1 binary64) %28) %26)
(/.f64 (*.f64 #s(literal 1 binary64) %31) %26)
(/.f64 %108 %83)
(/.f64 %108 %46)
(/.f64 %111 %83)
(/.f64 %111 %46)
(/.f64 (neg.f64 %114) y)
(/.f64 (neg.f64 %59) %40)
(/.f64 (neg.f64 %119) #s(literal -2 binary64))
(/.f64 (neg.f64 %77) %46)
(/.f64 %34 %46)
(/.f64 %38 %46)
(/.f64 %114 %40)
(/.f64 %59 y)
(/.f64 %119 #s(literal 2 binary64))
(/.f64 %23 %26)
(/.f64 %28 %26)
(/.f64 %131 y)
(/.f64 (*.f64 %13 #s(literal -1/2 binary64)) y)
(/.f64 (*.f64 %75 %26) %26)
(/.f64 %31 %26)
(/.f64 %77 %26)
(/.f64 %56 #s(literal -2 binary64))
(/.f64 %63 %40)
(/.f64 %58 y)
(/.f64 %13 %26)
(/.f64 #s(literal 1 binary64) (pow.f64 %75 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %40 %63))
(/.f64 #s(literal 1 binary64) (/.f64 %26 %13))
(/.f64 #s(literal 1 binary64) (/.f64 %46 x))
(/.f64 #s(literal 1 binary64) (/.f64 y %58))
(/.f64 %18 #s(literal 2 binary64))
(/.f64 x %83)
%75
(neg.f64 %155)
(+.f64 %158 %158)
(+.f64 %161 %161)
(pow.f64 %163 #s(literal 1 binary64))
%163
(/.f64 #s(literal 1 binary64) (pow.f64 %163 #s(literal -1 binary64)))
(*.f64 %70 %168)
(*.f64 %170 %15)
(*.f64 %172 (/.f64 #s(literal 1 binary64) %175))
(*.f64 %178 #s(literal 1/2 binary64))
(*.f64 %68 %167)
(*.f64 %168 %70)
(*.f64 #s(literal 1 binary64) %182)
(*.f64 %167 %68)
(*.f64 #s(literal 1/2 binary64) %178)
(pow.f64 %182 #s(literal 1 binary64))
(/.f64 (+.f64 %187 %114) %40)
(/.f64 (+.f64 %191 %114) %40)
(/.f64 (fma.f64 #s(literal 1/2 binary64) y %59) y)
(/.f64 (fma.f64 y #s(literal -1 binary64) %23) %26)
(/.f64 (+.f64 %40 %23) %26)
(/.f64 (fma.f64 y #s(literal -1 binary64) %31) %26)
(/.f64 (+.f64 %40 %31) %26)
(/.f64 (fma.f64 y #s(literal -1 binary64) %77) %26)
(/.f64 (+.f64 %40 %77) %26)
(/.f64 (fma.f64 y #s(literal -1 binary64) %13) %26)
(/.f64 (fma.f64 y #s(literal 1 binary64) x) %46)
(/.f64 (fma.f64 x #s(literal -1 binary64) %212) %26)
(/.f64 (fma.f64 %13 #s(literal 1 binary64) %212) %26)
(/.f64 (fma.f64 #s(literal 1 binary64) %13 %212) %26)
(/.f64 (+.f64 %13 %212) %26)
(/.f64 (fma.f64 %58 #s(literal -1 binary64) %187) %40)
(/.f64 (+.f64 x %223) %46)
(/.f64 (fma.f64 %58 #s(literal -1 binary64) %191) %40)
(/.f64 (fma.f64 %58 #s(literal 1 binary64) %190) y)
(/.f64 (fma.f64 x #s(literal -1 binary64) %40) %26)
(/.f64 (fma.f64 %13 #s(literal 1 binary64) %40) %26)
(/.f64 (fma.f64 #s(literal 1 binary64) %13 %40) %26)
(/.f64 (fma.f64 %18 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 1 binary64) %119) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -1/2 binary64) x %191) %40)
(/.f64 (+.f64 %191 %63) %40)
(/.f64 (-.f64 %187 %131) %40)
(/.f64 (-.f64 %191 %131) %40)
(/.f64 (-.f64 %223 %13) %46)
(/.f64 (-.f64 %212 x) %26)
(/.f64 (-.f64 %119 %252) #s(literal 2 binary64))
(/.f64 (-.f64 %18 %252) #s(literal 2 binary64))
(/.f64 (-.f64 %59 %187) y)
(/.f64 (-.f64 %59 %191) y)
(/.f64 (-.f64 %114 %190) %40)
(/.f64 (-.f64 %23 y) %26)
(/.f64 (-.f64 %31 y) %26)
(/.f64 (-.f64 %77 y) %26)
(/.f64 (-.f64 %119 #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 1 binary64) %271) #s(literal 2 binary64))
(/.f64 (-.f64 %58 %191) y)
(/.f64 (-.f64 %63 %190) %40)
(/.f64 (-.f64 %187 %58) %40)
(/.f64 (-.f64 %191 %58) %40)
(/.f64 (fma.f64 %282 %175 (*.f64 %175 %283)) (*.f64 %175 %175))
(/.f64 (fma.f64 %212 %40 %288) %290)
(/.f64 (fma.f64 %212 y %292) %294)
(/.f64 (fma.f64 %212 #s(literal 2 binary64) %296) %298)
(/.f64 (fma.f64 %212 %26 %300) %175)
(/.f64 (fma.f64 %212 %26 %303) %175)
(/.f64 (fma.f64 %212 %26 %306) %175)
(/.f64 (fma.f64 %212 %40 %309) %290)
(/.f64 (fma.f64 %212 y %312) %294)
(/.f64 (fma.f64 %212 %26 %315) %175)
(/.f64 (fma.f64 %212 #s(literal 2 binary64) %318) %298)
(/.f64 (fma.f64 %212 %46 %321) %323)
(/.f64 (fma.f64 %187 %40 %325) %174)
(/.f64 (fma.f64 %187 y %328) %330)
(/.f64 (fma.f64 %187 #s(literal 2 binary64) %332) %26)
(/.f64 (fma.f64 %187 %26 %335) %337)
(/.f64 (fma.f64 %187 %26 %339) %337)
(/.f64 (fma.f64 %187 %26 %342) %337)
(/.f64 (fma.f64 %187 %40 %345) %174)
(/.f64 (fma.f64 %187 y %348) %330)
(/.f64 (fma.f64 %187 %26 %351) %337)
(/.f64 (fma.f64 %187 #s(literal 2 binary64) %354) %26)
(/.f64 (fma.f64 %187 %46 %357) %359)
(/.f64 (fma.f64 %223 %40 %361) %363)
(/.f64 (fma.f64 %223 y %365) %283)
(/.f64 (fma.f64 %223 #s(literal 2 binary64) %368) %370)
(/.f64 (fma.f64 %223 %26 %372) %374)
(/.f64 (fma.f64 %223 %26 %376) %374)
(/.f64 (fma.f64 %223 %26 %379) %374)
(/.f64 (fma.f64 %223 %40 %382) %363)
(/.f64 (fma.f64 %223 y %385) %283)
(/.f64 (fma.f64 %223 %26 %388) %374)
(/.f64 (fma.f64 %223 #s(literal 2 binary64) %391) %370)
(/.f64 (fma.f64 %223 %46 %282) %175)
(/.f64 (fma.f64 %191 %40 %325) %174)
(/.f64 (fma.f64 %191 y %328) %330)
(/.f64 (fma.f64 %191 #s(literal 2 binary64) %332) %26)
(/.f64 (fma.f64 %191 %26 %335) %337)
(/.f64 (fma.f64 %191 %26 %339) %337)
(/.f64 (fma.f64 %191 %26 %342) %337)
(/.f64 (fma.f64 %191 %40 %345) %174)
(/.f64 (fma.f64 %191 y %348) %330)
(/.f64 (fma.f64 %191 %26 %351) %337)
(/.f64 (fma.f64 %191 #s(literal 2 binary64) %354) %26)
(/.f64 (fma.f64 %191 %46 %357) %359)
(/.f64 (fma.f64 %190 %40 (*.f64 y %114)) %420)
(/.f64 (fma.f64 %190 y (*.f64 y %59)) %174)
(/.f64 (fma.f64 %190 #s(literal 2 binary64) (*.f64 y %119)) %46)
(/.f64 (fma.f64 %190 %26 (*.f64 y %23)) %430)
(/.f64 (fma.f64 %190 %26 (*.f64 y %31)) %430)
(/.f64 (fma.f64 %190 %26 (*.f64 y %77)) %430)
(/.f64 (fma.f64 %190 #s(literal 2 binary64) (*.f64 y %18)) %46)
(/.f64 (fma.f64 y y %288) %290)
(/.f64 (fma.f64 %40 y %292) %294)
(/.f64 (fma.f64 #s(literal -2 binary64) y %296) %298)
(/.f64 (fma.f64 %40 %26 %300) %175)
(/.f64 (fma.f64 %40 %26 %303) %175)
(/.f64 (fma.f64 %40 %26 %306) %175)
(/.f64 (fma.f64 #s(literal -2 binary64) y %318) %298)
(/.f64 (fma.f64 y %40 %361) %363)
(/.f64 (fma.f64 y y %365) %283)
(/.f64 (fma.f64 #s(literal 2 binary64) y %368) %370)
(/.f64 (fma.f64 y %26 %372) %374)
(/.f64 (fma.f64 y %26 %376) %374)
(/.f64 (fma.f64 y %26 %379) %374)
(/.f64 (fma.f64 #s(literal 2 binary64) y %391) %370)
(/.f64 (fma.f64 %114 %26 %469) %337)
(/.f64 (fma.f64 %114 %40 %472) %174)
(/.f64 (fma.f64 %114 %46 %475) %359)
(/.f64 (fma.f64 %114 %40 %478) %174)
(/.f64 (fma.f64 %114 y %481) %330)
(/.f64 (fma.f64 %114 %26 %174) %337)
(/.f64 (fma.f64 %114 %46 %330) %359)
(/.f64 (fma.f64 %59 %26 %488) %430)
(/.f64 (fma.f64 %59 %40 %491) %420)
(/.f64 (fma.f64 %59 %46 %494) %283)
(/.f64 (fma.f64 %59 %40 %497) %420)
(/.f64 (fma.f64 %59 y %500) %174)
(/.f64 (fma.f64 %59 %26 %420) %430)
(/.f64 (fma.f64 %59 %46 %174) %283)
(/.f64 (fma.f64 %119 %26 %507) %509)
(/.f64 (fma.f64 %119 %40 %511) %26)
(/.f64 (fma.f64 %119 %46 %514) %516)
(/.f64 (fma.f64 %119 %40 %518) %26)
(/.f64 (fma.f64 %119 y %521) %46)
(/.f64 (fma.f64 %119 %26 %26) %509)
(/.f64 (fma.f64 %119 %46 %46) %516)
(/.f64 (fma.f64 %23 %26 %528) %175)
(/.f64 (fma.f64 %23 %40 %531) %290)
(/.f64 (fma.f64 %23 %46 %534) %323)
(/.f64 (fma.f64 %23 %40 %537) %290)
(/.f64 (fma.f64 %23 y %540) %294)
(/.f64 (fma.f64 %23 %26 %290) %175)
(/.f64 (fma.f64 %23 %46 %294) %323)
(/.f64 (fma.f64 %31 %26 %528) %175)
(/.f64 (fma.f64 %31 %40 %531) %290)
(/.f64 (fma.f64 %31 %46 %534) %323)
(/.f64 (fma.f64 %31 %40 %537) %290)
(/.f64 (fma.f64 %31 y %540) %294)
(/.f64 (fma.f64 %31 %26 %290) %175)
(/.f64 (fma.f64 %31 %46 %294) %323)
(/.f64 (fma.f64 %77 %26 %528) %175)
(/.f64 (fma.f64 %77 %40 %531) %290)
(/.f64 (fma.f64 %77 %46 %534) %323)
(/.f64 (fma.f64 %77 %40 %537) %290)
(/.f64 (fma.f64 %77 y %540) %294)
(/.f64 (fma.f64 %77 %26 %290) %175)
(/.f64 (fma.f64 %77 %46 %294) %323)
(/.f64 (fma.f64 %63 %26 %469) %337)
(/.f64 (fma.f64 %63 %40 %472) %174)
(/.f64 (fma.f64 %63 %46 %475) %359)
(/.f64 (fma.f64 %63 %40 %478) %174)
(/.f64 (fma.f64 %58 %26 %488) %430)
(/.f64 (fma.f64 %58 %40 %491) %420)
(/.f64 (fma.f64 %58 %46 %494) %283)
(/.f64 (fma.f64 %58 %40 %497) %420)
(/.f64 (fma.f64 %13 %26 %528) %175)
(/.f64 (fma.f64 %13 %40 %531) %290)
(/.f64 (fma.f64 %13 %46 %534) %323)
(/.f64 (fma.f64 %13 %40 %537) %290)
(/.f64 (fma.f64 %18 %26 %507) %509)
(/.f64 (fma.f64 %18 %40 %511) %26)
(/.f64 (fma.f64 %18 %46 %514) %516)
(/.f64 (fma.f64 %18 %40 %518) %26)
(/.f64 (fma.f64 %18 y %521) %46)
(/.f64 (fma.f64 %18 %26 %26) %509)
(/.f64 (fma.f64 %18 %46 %46) %516)
(/.f64 (fma.f64 x %26 (*.f64 %46 %212)) %374)
(/.f64 (fma.f64 x %40 %616) %363)
(/.f64 (fma.f64 %46 x (*.f64 %46 %223)) %175)
(/.f64 (fma.f64 x %40 %622) %363)
(/.f64 (fma.f64 %114 #s(literal -2 binary64) %625) %83)
(/.f64 (fma.f64 %114 #s(literal 2 binary64) %628) %26)
(/.f64 (fma.f64 %59 #s(literal -2 binary64) %212) %26)
(/.f64 (fma.f64 %59 #s(literal 2 binary64) %223) %46)
(/.f64 (fma.f64 %119 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %119 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %23 #s(literal -2 binary64) %640) %642)
(/.f64 (fma.f64 %23 #s(literal 2 binary64) %644) %298)
(/.f64 (fma.f64 %31 #s(literal -2 binary64) %640) %642)
(/.f64 (fma.f64 %31 #s(literal 2 binary64) %644) %298)
(/.f64 (fma.f64 %77 #s(literal -2 binary64) %640) %642)
(/.f64 (fma.f64 %77 #s(literal 2 binary64) %644) %298)
(/.f64 (fma.f64 %63 #s(literal -2 binary64) %625) %83)
(/.f64 (fma.f64 %58 #s(literal -2 binary64) %212) %26)
(/.f64 (fma.f64 %13 #s(literal -2 binary64) %640) %642)
(/.f64 (fma.f64 %18 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal -2 binary64) %665) %667)
(/.f64 (fma.f64 #s(literal -1 binary64) %40 (*.f64 #s(literal -2 binary64) %114)) %46)
(/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -2 binary64) %59)) %26)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %119)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %26 (*.f64 #s(literal -2 binary64) %23)) %680)
(/.f64 (fma.f64 #s(literal -1 binary64) %26 (*.f64 #s(literal -2 binary64) %31)) %680)
(/.f64 (fma.f64 #s(literal -1 binary64) %26 (*.f64 #s(literal -2 binary64) %77)) %680)
(/.f64 (fma.f64 #s(literal -1 binary64) %40 %688) %46)
(/.f64 (fma.f64 #s(literal -1 binary64) y %691) %26)
(/.f64 (fma.f64 #s(literal -1 binary64) %26 %694) %680)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %18)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %46 %700) %702)
(/.f64 (fma.f64 #s(literal 1 binary64) %40 (*.f64 #s(literal 2 binary64) %114)) %26)
(/.f64 (fma.f64 #s(literal 1 binary64) y (*.f64 #s(literal 2 binary64) %59)) %46)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %119)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 1 binary64) %26 %24) %509)
(/.f64 (fma.f64 #s(literal 1 binary64) %26 %32) %509)
(/.f64 (fma.f64 #s(literal 1 binary64) %26 (*.f64 #s(literal 2 binary64) %77)) %509)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %18)) #s(literal 4 binary64))
(/.f64 (-.f64 %723 %724) %298)
(/.f64 (-.f64 %727 %728) %290)
(/.f64 (-.f64 %723 %731) %298)
(/.f64 (-.f64 (*.f64 %212 y) %309) %294)
(/.f64 (-.f64 %727 %312) %290)
(/.f64 (-.f64 (*.f64 %212 %46) %315) %323)
(/.f64 (-.f64 (*.f64 %212 %26) %321) %175)
(/.f64 (-.f64 %745 %746) %26)
(/.f64 (-.f64 %749 %750) %174)
(/.f64 (-.f64 %745 %753) %26)
(/.f64 (-.f64 (*.f64 %187 y) %345) %330)
(/.f64 (-.f64 %749 %348) %174)
(/.f64 (-.f64 (*.f64 %187 %46) %351) %359)
(/.f64 (-.f64 (*.f64 %187 %26) %357) %337)
(/.f64 (-.f64 %767 %768) %370)
(/.f64 (-.f64 %771 %772) %363)
(/.f64 (-.f64 %767 %775) %370)
(/.f64 (-.f64 (*.f64 %223 y) %382) %283)
(/.f64 (-.f64 %771 %385) %363)
(/.f64 (-.f64 (*.f64 %223 %46) %388) %175)
(/.f64 (-.f64 (*.f64 %223 %26) %282) %374)
(/.f64 (-.f64 %789 %746) %26)
(/.f64 (-.f64 %792 %750) %174)
(/.f64 (-.f64 %789 %753) %26)
(/.f64 (-.f64 (*.f64 %191 y) %345) %330)
(/.f64 (-.f64 %792 %348) %174)
(/.f64 (-.f64 (*.f64 %191 %46) %351) %359)
(/.f64 (-.f64 (*.f64 %191 %26) %357) %337)
(/.f64 (-.f64 %808 (*.f64 y %271)) %46)
(/.f64 (-.f64 %812 (*.f64 y %131)) %420)
(/.f64 (-.f64 %808 (*.f64 y %56)) %46)
(/.f64 (-.f64 %819 %820) %174)
(/.f64 (-.f64 %812 %823) %420)
(/.f64 (-.f64 %826 %827) %283)
(/.f64 (-.f64 %830 %831) %430)
(/.f64 (-.f64 %26 %724) %298)
(/.f64 (-.f64 %174 %728) %290)
(/.f64 (-.f64 %26 %731) %298)
(/.f64 (-.f64 %330 %309) %294)
(/.f64 (-.f64 %359 %315) %323)
(/.f64 (-.f64 %337 %321) %175)
(/.f64 (-.f64 %46 %768) %370)
(/.f64 (-.f64 %420 %772) %363)
(/.f64 (-.f64 %46 %775) %370)
(/.f64 (-.f64 %420 %385) %363)
(/.f64 (-.f64 %283 %388) %175)
(/.f64 (-.f64 %430 %282) %374)
(/.f64 (-.f64 %858 %859) %26)
(/.f64 (-.f64 %862 %472) %330)
(/.f64 (-.f64 %862 %478) %330)
(/.f64 (-.f64 (*.f64 %114 %40) %481) %174)
(/.f64 (-.f64 (*.f64 %114 %46) %174) %359)
(/.f64 (-.f64 (*.f64 %114 %26) %330) %337)
(/.f64 (-.f64 %876 %877) %46)
(/.f64 (-.f64 %880 %491) %174)
(/.f64 (-.f64 %880 %497) %174)
(/.f64 (-.f64 (*.f64 %59 %40) %500) %420)
(/.f64 (-.f64 (*.f64 %59 %46) %420) %283)
(/.f64 (-.f64 (*.f64 %59 %26) %174) %430)
(/.f64 (-.f64 %894 %895) #s(literal 4 binary64))
(/.f64 (-.f64 %898 %511) %46)
(/.f64 (-.f64 %898 %518) %46)
(/.f64 (-.f64 (*.f64 %119 %40) %521) %26)
(/.f64 (-.f64 (*.f64 %119 %46) %26) %516)
(/.f64 (-.f64 (*.f64 %119 %26) %46) %509)
(/.f64 (-.f64 %912 %913) %298)
(/.f64 (-.f64 %916 %531) %294)
(/.f64 (-.f64 %916 %537) %294)
(/.f64 (-.f64 (*.f64 %23 %40) %540) %290)
(/.f64 (-.f64 (*.f64 %23 %46) %290) %323)
(/.f64 (-.f64 (*.f64 %23 %26) %294) %175)
(/.f64 (-.f64 %930 %913) %298)
(/.f64 (-.f64 %933 %531) %294)
(/.f64 (-.f64 %933 %537) %294)
(/.f64 (-.f64 (*.f64 %31 %40) %540) %290)
(/.f64 (-.f64 (*.f64 %31 %46) %290) %323)
(/.f64 (-.f64 (*.f64 %31 %26) %294) %175)
(/.f64 (-.f64 %947 %913) %298)
(/.f64 (-.f64 %950 %531) %294)
(/.f64 (-.f64 %950 %537) %294)
(/.f64 (-.f64 (*.f64 %77 %40) %540) %290)
(/.f64 (-.f64 (*.f64 %77 %46) %290) %323)
(/.f64 (-.f64 (*.f64 %77 %26) %294) %175)
(/.f64 (-.f64 %964 %859) %26)
(/.f64 (-.f64 %967 %472) %330)
(/.f64 (-.f64 %967 %478) %330)
(/.f64 (-.f64 (*.f64 %63 %40) %481) %174)
(/.f64 (-.f64 %975 %330) %337)
(/.f64 (-.f64 %978 %877) %46)
(/.f64 (-.f64 %981 %491) %174)
(/.f64 (-.f64 %981 %497) %174)
(/.f64 (-.f64 (*.f64 %58 %40) %500) %420)
(/.f64 (-.f64 %989 %913) %298)
(/.f64 (-.f64 %992 %531) %294)
(/.f64 (-.f64 %992 %537) %294)
(/.f64 (-.f64 (*.f64 %13 %40) %540) %290)
(/.f64 (-.f64 %1000 %294) %175)
(/.f64 (-.f64 %1003 %895) #s(literal 4 binary64))
(/.f64 (-.f64 %1006 %511) %46)
(/.f64 (-.f64 %1006 %518) %46)
(/.f64 (-.f64 (*.f64 %18 %40) %521) %26)
(/.f64 (-.f64 (*.f64 %18 %46) %26) %516)
(/.f64 (-.f64 (*.f64 %18 %26) %46) %509)
(/.f64 (-.f64 %1020 (*.f64 %46 %252)) %370)
(/.f64 (-.f64 %1024 %616) %283)
(/.f64 (-.f64 %1024 %622) %283)
(/.f64 (-.f64 (*.f64 x %40) %1030) %363)
(/.f64 (-.f64 %1033 %283) %374)
(/.f64 (-.f64 %858 %625) %26)
(/.f64 (-.f64 (*.f64 %114 #s(literal -2 binary64)) %628) %83)
(/.f64 (-.f64 %876 %212) %46)
(/.f64 (-.f64 (*.f64 %59 #s(literal -2 binary64)) %223) %26)
(/.f64 (-.f64 %894 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %119 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %912 %640) %298)
(/.f64 (-.f64 (*.f64 %23 #s(literal -2 binary64)) %644) %642)
(/.f64 (-.f64 %930 %640) %298)
(/.f64 (-.f64 (*.f64 %31 #s(literal -2 binary64)) %644) %642)
(/.f64 (-.f64 %947 %640) %298)
(/.f64 (-.f64 (*.f64 %77 #s(literal -2 binary64)) %644) %642)
(/.f64 (-.f64 %964 %625) %26)
(/.f64 (-.f64 (*.f64 %63 #s(literal -2 binary64)) %628) %83)
(/.f64 (-.f64 %978 %212) %46)
(/.f64 (-.f64 (*.f64 %58 #s(literal -2 binary64)) %223) %26)
(/.f64 (-.f64 %989 %640) %298)
(/.f64 (-.f64 (*.f64 %13 #s(literal -2 binary64)) %644) %642)
(/.f64 (-.f64 %1003 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %18 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %1020 %665) %370)
(/.f64 (-.f64 (*.f64 x #s(literal -2 binary64)) %1089) %667)
(/.f64 (-.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %271)) #s(literal -4 binary64))
(/.f64 (-.f64 %1095 (*.f64 #s(literal -2 binary64) %131)) %46)
(/.f64 (-.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %56)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) y) %688) %26)
(/.f64 (-.f64 %1095 %691) %46)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %46) %694) %702)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %26) %700) %680)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %271)) #s(literal 4 binary64))
(/.f64 (-.f64 %1116 (*.f64 #s(literal 2 binary64) %131)) %26)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %56)) #s(literal 4 binary64))
(/.f64 (-.f64 %1123 %1124) %46)
(/.f64 (-.f64 %1116 %1127) %26)
(/.f64 (-.f64 %1130 %43) %516)
(/.f64 (-.f64 %1133 %45) %509)
(/.f64 (-.f64 %1136 %174) %430)
(/.f64 (-.f64 %174 %382) %283)
(/.f64 (-.f64 %174 %312) %290)
(/.f64 (*.f64 %168 #s(literal -1 binary64)) %46)
(/.f64 (*.f64 #s(literal 2 binary64) %1145) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %1148) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1151) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %1154) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1157) %516)
(/.f64 (*.f64 #s(literal 2 binary64) %1160) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1163) %26)
(/.f64 (*.f64 #s(literal 2 binary64) %1166) %46)
(/.f64 (*.f64 #s(literal 2 binary64) %1169) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1172) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %1175) %26)
(/.f64 (*.f64 #s(literal 2 binary64) %1178) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1181) %516)
(/.f64 (*.f64 #s(literal 2 binary64) %1184) %1186)
(/.f64 (*.f64 #s(literal 2 binary64) %1188) %283)
(/.f64 (*.f64 #s(literal 2 binary64) %1191) %1193)
(/.f64 (*.f64 #s(literal 2 binary64) %1195) %175)
(/.f64 (*.f64 #s(literal 2 binary64) %1198) %1200)
(/.f64 (*.f64 #s(literal 2 binary64) %1202) %1204)
(/.f64 (*.f64 #s(literal 2 binary64) %1206) %1208)
(/.f64 (*.f64 #s(literal 2 binary64) %1210) %1212)
(/.f64 (*.f64 #s(literal 2 binary64) %1215) %1217)
(/.f64 (*.f64 #s(literal 2 binary64) %1220) %175)
(/.f64 (*.f64 #s(literal 2 binary64) %1224) %1226)
(/.f64 (*.f64 #s(literal 2 binary64) %1228) %1230)
(/.f64 (*.f64 #s(literal 2 binary64) %1232) %1234)
(/.f64 (*.f64 #s(literal 2 binary64) %1236) %283)
(/.f64 (*.f64 #s(literal 2 binary64) %1239) %1193)
(/.f64 (*.f64 #s(literal 2 binary64) %1242) %1204)
(/.f64 (*.f64 #s(literal 2 binary64) %1245) %1208)
(/.f64 (*.f64 #s(literal 2 binary64) %1248) %1212)
(/.f64 (*.f64 #s(literal 2 binary64) %1251) %175)
(/.f64 (*.f64 #s(literal 2 binary64) %1254) %1226)
(/.f64 (*.f64 #s(literal 2 binary64) %1257) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1260) %516)
(/.f64 (*.f64 #s(literal 2 binary64) %1263) %1265)
(/.f64 (*.f64 #s(literal 2 binary64) %1267) %1269)
(/.f64 (*.f64 #s(literal 2 binary64) %1271) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1274) %516)
(/.f64 (*.f64 #s(literal 2 binary64) %1277) %1279)
(/.f64 (*.f64 #s(literal 2 binary64) %1281) %1283)
(/.f64 (*.f64 #s(literal 2 binary64) %1285) %1186)
(/.f64 (*.f64 #s(literal 2 binary64) %1288) %283)
(/.f64 (*.f64 #s(literal 2 binary64) %1291) %1193)
(/.f64 (*.f64 #s(literal 2 binary64) %1294) %175)
(/.f64 (*.f64 #s(literal 2 binary64) %1297) %1200)
(/.f64 (*.f64 #s(literal 2 binary64) %1300) %1204)
(/.f64 (*.f64 #s(literal 2 binary64) %1303) %1208)
(/.f64 (*.f64 #s(literal 2 binary64) %1306) %1212)
(/.f64 (*.f64 #s(literal 2 binary64) %1309) %1217)
(/.f64 (*.f64 #s(literal 2 binary64) %1312) %175)
(/.f64 (*.f64 #s(literal 2 binary64) %1315) %1226)
(/.f64 (*.f64 #s(literal 2 binary64) %1318) %1230)
(/.f64 (*.f64 #s(literal 2 binary64) %1321) (*.f64 #s(literal 2 binary64) %337))
(/.f64 (*.f64 #s(literal 2 binary64) %1325) %1234)
(/.f64 (*.f64 #s(literal 2 binary64) %1328) %283)
(/.f64 (*.f64 #s(literal 2 binary64) %1331) %1193)
(/.f64 (*.f64 #s(literal 2 binary64) %1334) %175)
(/.f64 (*.f64 #s(literal 2 binary64) %1337) %1204)
(/.f64 (*.f64 #s(literal 2 binary64) %1340) %1208)
(/.f64 (*.f64 #s(literal 2 binary64) %1343) %1212)
(/.f64 (*.f64 #s(literal 2 binary64) %1346) %175)
(/.f64 (*.f64 #s(literal 2 binary64) %1349) %1226)
(/.f64 (*.f64 #s(literal 2 binary64) %1352) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1355) %516)
(/.f64 (*.f64 #s(literal 2 binary64) %1358) %1265)
(/.f64 (*.f64 #s(literal 2 binary64) %1361) %1269)
(/.f64 (*.f64 #s(literal 2 binary64) %1364) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %1367) %516)
(/.f64 (*.f64 #s(literal 2 binary64) %1370) %1279)
(/.f64 (*.f64 #s(literal 2 binary64) %1373) %1283)
(/.f64 (*.f64 #s(literal 2 binary64) %1376) %1234)
(/.f64 (*.f64 #s(literal 2 binary64) %1379) %175)
(/.f64 (*.f64 #s(literal 2 binary64) %1382) %1212)
(/.f64 (*.f64 #s(literal 2 binary64) %1385) %1208)
(/.f64 (*.f64 #s(literal 2 binary64) %1388) %26)
(/.f64 (*.f64 #s(literal 2 binary64) %1391) (*.f64 #s(literal 2 binary64) %1393))
(/.f64 (*.f64 #s(literal 2 binary64) %170) %46)
(/.f64 (*.f64 #s(literal 2 binary64) %172) %1208)
(/.f64 (*.f64 #s(literal 2 binary64) %178) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %168) %509)
(/.f64 (*.f64 #s(literal 2 binary64) %167) %516)
(/.f64 (*.f64 #s(literal -1 binary64) %1406) %46)
(/.f64 (*.f64 #s(literal -1 binary64) %1409) %26)
(/.f64 (*.f64 #s(literal 1 binary64) %1406) %26)
(/.f64 (*.f64 #s(literal 1 binary64) %1409) %46)
(/.f64 (*.f64 %1406 #s(literal -1 binary64)) %83)
(/.f64 (*.f64 %1406 #s(literal 1 binary64)) %26)
(/.f64 (*.f64 %1409 #s(literal -1 binary64)) %26)
(/.f64 (*.f64 %1409 #s(literal 1 binary64)) %46)
(/.f64 (neg.f64 %1145) #s(literal -2 binary64))
(/.f64 (neg.f64 %1148) %46)
(/.f64 (neg.f64 %1151) #s(literal -2 binary64))
(/.f64 (neg.f64 %1154) %46)
(/.f64 (neg.f64 %1157) %26)
(/.f64 (neg.f64 %1166) %40)
(/.f64 (neg.f64 %1169) %46)
(/.f64 (neg.f64 %1172) #s(literal -2 binary64))
(/.f64 (neg.f64 %1175) y)
(/.f64 (neg.f64 %1178) %46)
(/.f64 (neg.f64 %1181) %26)
(/.f64 (neg.f64 %1184) %1447)
(/.f64 (neg.f64 %1188) %1450)
(/.f64 (neg.f64 %1191) %283)
(/.f64 (neg.f64 %1195) %1455)
(/.f64 (neg.f64 %1198) %1458)
(/.f64 (neg.f64 %1202) %283)
(/.f64 (neg.f64 %1206) %1393)
(/.f64 (neg.f64 %1210) %175)
(/.f64 (neg.f64 %1215) %1467)
(/.f64 (neg.f64 %1220) %1455)
(/.f64 (neg.f64 %1224) %175)
(/.f64 (neg.f64 %1228) %1474)
(/.f64 (neg.f64 %1232) %1477)
(/.f64 (neg.f64 %1236) %1450)
(/.f64 (neg.f64 %1239) %283)
(/.f64 (neg.f64 %1242) %283)
(/.f64 (neg.f64 %1245) %1393)
(/.f64 (neg.f64 %1248) %175)
(/.f64 (neg.f64 %1251) %1455)
(/.f64 (neg.f64 %1254) %175)
(/.f64 (neg.f64 %1257) %46)
(/.f64 (neg.f64 %1260) %26)
(/.f64 (neg.f64 %1263) %1498)
(/.f64 (neg.f64 %1267) %1501)
(/.f64 (neg.f64 %1271) %46)
(/.f64 (neg.f64 %1274) %26)
(/.f64 (neg.f64 %1277) %1508)
(/.f64 (neg.f64 %1281) %1511)
(/.f64 (neg.f64 %1285) %1447)
(/.f64 (neg.f64 %1288) %1450)
(/.f64 (neg.f64 %1291) %283)
(/.f64 (neg.f64 %1294) %1455)
(/.f64 (neg.f64 %1297) %1458)
(/.f64 (neg.f64 %1300) %283)
(/.f64 (neg.f64 %1303) %1393)
(/.f64 (neg.f64 %1306) %175)
(/.f64 (neg.f64 %1309) %1467)
(/.f64 (neg.f64 %1312) %1455)
(/.f64 (neg.f64 %1315) %175)
(/.f64 (neg.f64 %1318) %1474)
(/.f64 (neg.f64 %1321) (neg.f64 %337))
(/.f64 (neg.f64 %1325) %1477)
(/.f64 (neg.f64 %1328) %1450)
(/.f64 (neg.f64 %1331) %283)
(/.f64 (neg.f64 %1334) %1455)
(/.f64 (neg.f64 %1337) %283)
(/.f64 (neg.f64 %1340) %1393)
(/.f64 (neg.f64 %1343) %175)
(/.f64 (neg.f64 %1346) %1455)
(/.f64 (neg.f64 %1349) %175)
(/.f64 (neg.f64 %1352) %46)
(/.f64 (neg.f64 %1355) %26)
(/.f64 (neg.f64 %1358) %1498)
(/.f64 (neg.f64 %1361) %1501)
(/.f64 (neg.f64 %1364) %46)
(/.f64 (neg.f64 %1367) %26)
(/.f64 (neg.f64 %1370) %1508)
(/.f64 (neg.f64 %1373) %1511)
(/.f64 (neg.f64 %1376) %1477)
(/.f64 (neg.f64 %1379) %1455)
(/.f64 (neg.f64 %1382) %175)
(/.f64 (neg.f64 %1385) %1393)
(/.f64 (neg.f64 %1388) y)
(/.f64 (neg.f64 %1391) (neg.f64 %1393))
(/.f64 (neg.f64 %178) #s(literal -2 binary64))
(/.f64 %1145 #s(literal 2 binary64))
(/.f64 %1148 %26)
(/.f64 %1151 #s(literal 2 binary64))
(/.f64 %1154 %26)
(/.f64 %1157 %46)
(/.f64 %1160 %26)
(/.f64 %1163 %40)
(/.f64 (-.f64 #s(literal -1 binary64) %18) #s(literal -2 binary64))
(/.f64 %1166 y)
(/.f64 %1169 %26)
(/.f64 %1172 #s(literal 2 binary64))
(/.f64 %1175 %40)
(/.f64 %1178 %26)
(/.f64 %1181 %46)
(/.f64 %1184 %420)
(/.f64 %1188 %174)
(/.f64 %1191 %430)
(/.f64 %1195 %283)
(/.f64 %1198 %290)
(/.f64 %1202 %294)
(/.f64 %1206 %175)
(/.f64 %1210 %323)
(/.f64 %1215 %363)
(/.f64 %1220 %283)
(/.f64 %1224 %374)
(/.f64 %1228 %330)
(/.f64 %1232 %359)
(/.f64 %1236 %174)
(/.f64 %1239 %430)
(/.f64 %1242 %294)
(/.f64 %1245 %175)
(/.f64 %1248 %323)
(/.f64 %1251 %283)
(/.f64 %1254 %374)
(/.f64 %1257 %26)
(/.f64 %1260 %46)
(/.f64 %1263 %298)
(/.f64 %1267 %370)
(/.f64 %1271 %26)
(/.f64 %1274 %46)
(/.f64 %1277 %509)
(/.f64 %1281 %516)
(/.f64 %1285 %420)
(/.f64 %1288 %174)
(/.f64 %1291 %430)
(/.f64 %1294 %283)
(/.f64 %1297 %290)
(/.f64 %1300 %294)
(/.f64 %1303 %175)
(/.f64 %1306 %323)
(/.f64 %1309 %363)
(/.f64 %1312 %283)
(/.f64 %1315 %374)
(/.f64 %1318 %330)
(/.f64 %1321 %337)
(/.f64 %1325 %359)
(/.f64 %1328 %174)
(/.f64 %1331 %430)
(/.f64 %1334 %283)
(/.f64 %1337 %294)
(/.f64 %1340 %175)
(/.f64 %1343 %323)
(/.f64 %1346 %283)
(/.f64 %1349 %374)
(/.f64 %1352 %26)
(/.f64 %1355 %46)
(/.f64 %1358 %298)
(/.f64 %1361 %370)
(/.f64 %1364 %26)
(/.f64 %1367 %46)
(/.f64 %1370 %509)
(/.f64 %1373 %516)
(/.f64 %1376 %359)
(/.f64 %1379 %283)
(/.f64 %1382 %323)
(/.f64 %1385 %175)
(/.f64 %1388 %40)
(/.f64 %1391 %1393)
(/.f64 %170 y)
(/.f64 %172 %175)
(/.f64 %178 #s(literal 2 binary64))
(/.f64 %168 %26)
(/.f64 #s(literal 1 binary64) (pow.f64 %182 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %170))
(/.f64 #s(literal 1 binary64) (/.f64 %175 %172))
(/.f64 #s(literal 1 binary64) (/.f64 %26 %168))
(/.f64 #s(literal 1 binary64) (/.f64 %46 %167))
(/.f64 %167 %46)
(neg.f64 (*.f64 #s(literal -1/2 binary64) %178))
(neg.f64 (*.f64 %178 #s(literal -1/2 binary64)))
(neg.f64 (*.f64 %68 %168))
(neg.f64 (fma.f64 %70 x #s(literal -1/2 binary64)))
(fma.f64 %59 %15 #s(literal 1/2 binary64))
(fma.f64 %56 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 %63 %12 #s(literal 1/2 binary64))
(fma.f64 %58 %15 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) %56 #s(literal 1/2 binary64))
(fma.f64 %15 %58 #s(literal 1/2 binary64))
%182
(fma.f64 %13 %70 #s(literal 1/2 binary64))
(fma.f64 %18 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %18 #s(literal 1/2 binary64))
(fma.f64 x %68 #s(literal 1/2 binary64))
(-.f64 %75 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %155)
(+.f64 (/.f64 %160 y) #s(literal 1/2 binary64))
(+.f64 (/.f64 (*.f64 %75 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) %40) %40) %75)
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) %26) %26) %75)
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) %46) %46) %75)
(+.f64 %1717 (/.f64 %967 %420))
(+.f64 %1717 (/.f64 %820 %420))
(+.f64 %1722 (/.f64 %823 %174))
(+.f64 %1722 %1725)
(+.f64 %1727 (/.f64 %992 %430))
(+.f64 %1727 (/.f64 %827 %430))
(+.f64 %1732 (/.f64 %831 %283))
(+.f64 %1732 %1735)
(+.f64 %1737 (/.f64 %975 %290))
(+.f64 %1737 (/.f64 %309 %290))
(+.f64 %1742 (/.f64 %1136 %294))
(+.f64 %1742 (/.f64 %312 %294))
(+.f64 %1747 (/.f64 %315 %175))
(+.f64 %1747 %1750)
(+.f64 %1752 (/.f64 %321 %323))
(+.f64 %1752 %1755)
(+.f64 %1757 (/.f64 %1214 %363))
(+.f64 %1757 (/.f64 %382 %363))
(+.f64 %1762 (/.f64 %812 %330))
(+.f64 %1762 (/.f64 %481 %330))
(+.f64 (/.f64 %975 %337) (/.f64 %174 %337))
(+.f64 %1770 (/.f64 %420 %359))
(+.f64 %1770 (/.f64 %330 %359))
(+.f64 %1725 %1722)
(+.f64 %1725 (/.f64 %500 %174))
(+.f64 %1778 (/.f64 %330 %430))
(+.f64 %1778 (/.f64 %420 %430))
(+.f64 %1783 (/.f64 %385 %283))
(+.f64 %1783 %1786)
(+.f64 %1786 %1783)
(+.f64 %1789 (/.f64 %830 %294))
(+.f64 %1789 (/.f64 %540 %294))
(+.f64 %1750 %1747)
(+.f64 %1750 (/.f64 %290 %175))
(+.f64 (/.f64 %1223 %323) %1798)
(+.f64 %1735 %1732)
(+.f64 %1735 (/.f64 %1030 %283))
(+.f64 %1803 %1804)
(+.f64 %1803 #s(literal 1/2 binary64))
(+.f64 %1807 %1808)
(+.f64 %1807 #s(literal 1/2 binary64))
(+.f64 %1811 (/.f64 %1133 %298))
(+.f64 %1811 (/.f64 %644 %298))
(+.f64 %1816 (/.f64 %1130 %370))
(+.f64 %1816 (/.f64 %1089 %370))
(+.f64 %1804 %1803)
(+.f64 %1804 (/.f64 %1124 %26))
(+.f64 %1808 %1807)
(+.f64 %1808 (/.f64 %1127 %46))
(+.f64 %1827 (/.f64 %989 %509))
(+.f64 %1827 (/.f64 %43 %509))
(+.f64 %1832 (/.f64 %1020 %516))
(+.f64 %1832 (/.f64 %45 %516))
(+.f64 %1798 (/.f64 %1223 %374))
(+.f64 %1798 (/.f64 %388 %374))
(+.f64 %1798 %1755)
(+.f64 %1755 (/.f64 %359 %374))
(+.f64 %1755 (/.f64 %363 %374))
(+.f64 %1755 %1798)
(+.f64 %75 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %75)

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

%3 = (neg.f64 y)
%8 = (+.f64 y y)
%12 = (/.f64 #s(literal 1/2 binary64) y)
%14 = (*.f64 #s(literal -2 binary64) y)
%16 = (*.f64 y y)
%18 = (/.f64 #s(literal 2 binary64) %3)
%19 = (*.f64 #s(literal 1 binary64) y)
%21 = (/.f64 %16 y)
%23 = (/.f64 %16 #s(literal 2 binary64))
%24 = (/.f64 #s(literal 2 binary64) y)
%26 = (/.f64 %8 #s(literal -2 binary64))
%27 = (/.f64 %3 y)
%29 = (/.f64 %8 #s(literal 2 binary64))
%31 = (/.f64 %8 y)
%32 = (*.f64 y #s(literal 1/2 binary64))
%37 = (/.f64 y #s(literal -2 binary64))
%38 = (/.f64 %8 %3)
%53 = (*.f64 x #s(literal 2 binary64))
%54 = (*.f64 %8 #s(literal 2 binary64))
%56 = (*.f64 (/.f64 %53 %54) #s(literal 1 binary64))
%59 = (/.f64 y #s(literal 4 binary64))
%60 = (*.f64 (/.f64 %53 %16) %59)
%61 = (fabs.f64 %8)
%63 = (/.f64 y %61)
%64 = (*.f64 (/.f64 %53 %61) %63)
%65 = (*.f64 %8 y)
%67 = (*.f64 (/.f64 %53 %65) %32)
%70 = (*.f64 (/.f64 %53 %14) #s(literal -1/2 binary64))
%72 = (*.f64 (/.f64 %53 %8) #s(literal 1/2 binary64))
%73 = (*.f64 x y)
%75 = (*.f64 (/.f64 %73 %54) %24)
%77 = (/.f64 #s(literal 2 binary64) %16)
%78 = (*.f64 (/.f64 %73 #s(literal 4 binary64)) %77)
%80 = (*.f64 (/.f64 %73 %16) #s(literal 1/2 binary64))
%82 = (/.f64 #s(literal 2 binary64) %61)
%83 = (*.f64 (/.f64 %73 %61) %82)
%85 = (/.f64 #s(literal 2 binary64) %65)
%86 = (*.f64 (/.f64 %73 #s(literal 2 binary64)) %85)
%88 = (/.f64 #s(literal -1 binary64) y)
%89 = (*.f64 (/.f64 %73 %14) %88)
%91 = (*.f64 (/.f64 %73 y) %12)
%93 = (*.f64 (/.f64 x %54) %31)
%94 = (/.f64 x %16)
%95 = (/.f64 %8 #s(literal 4 binary64))
%96 = (*.f64 %94 %95)
%97 = (/.f64 x %61)
%98 = (/.f64 %8 %61)
%99 = (*.f64 %97 %98)
%100 = (/.f64 x %65)
%101 = (*.f64 %100 %29)
%102 = (*.f64 #s(literal 2 binary64) x)
%104 = (*.f64 %59 (/.f64 %102 %16))
%105 = (/.f64 y %16)
%107 = (*.f64 %105 (/.f64 %102 #s(literal 4 binary64)))
%109 = (*.f64 %63 (/.f64 %102 %61))
%110 = (/.f64 x %8)
%111 = (*.f64 %110 #s(literal 2 binary64))
%113 = (*.f64 (/.f64 %111 #s(literal -2 binary64)) %27)
%115 = (*.f64 (/.f64 %111 #s(literal 2 binary64)) #s(literal 1 binary64))
%117 = (*.f64 (/.f64 %111 y) %32)
%118 = (*.f64 %110 y)
%120 = (*.f64 (/.f64 %118 #s(literal -2 binary64)) %18)
%122 = (*.f64 (/.f64 %118 #s(literal 2 binary64)) %24)
%123 = (*.f64 #s(literal 1/2 binary64) x)
%125 = (/.f64 #s(literal 1 binary64) y)
%126 = (*.f64 %125 %8)
%128 = (*.f64 (/.f64 %123 #s(literal -2 binary64)) (/.f64 %126 %3))
%131 = (*.f64 (/.f64 %123 #s(literal 2 binary64)) (/.f64 %126 y))
%133 = (*.f64 %8 x)
%135 = (*.f64 (/.f64 %12 #s(literal -2 binary64)) (/.f64 %133 %3))
%138 = (*.f64 (/.f64 %12 #s(literal 2 binary64)) (/.f64 %133 y))
%141 = (*.f64 (/.f64 %12 y) (/.f64 %133 #s(literal 2 binary64)))
%143 = (*.f64 (/.f64 %110 #s(literal -2 binary64)) %38)
%144 = (/.f64 %110 #s(literal 2 binary64))
%145 = (*.f64 %144 %31)
%146 = (/.f64 %110 y)
%147 = (*.f64 %146 %29)
%148 = (*.f64 %95 %94)
%149 = (/.f64 %8 %16)
%150 = (/.f64 x #s(literal 4 binary64))
%151 = (*.f64 %149 %150)
%152 = (*.f64 %98 %97)
%153 = (neg.f64 x)
%154 = (*.f64 %153 #s(literal 2 binary64))
%155 = (*.f64 %8 #s(literal -2 binary64))
%157 = (*.f64 (/.f64 %154 %155) #s(literal 1 binary64))
%159 = (*.f64 (/.f64 %154 %54) %27)
%160 = (*.f64 %14 #s(literal 2 binary64))
%162 = (*.f64 (/.f64 %154 %160) #s(literal 1 binary64))
%164 = (/.f64 y %65)
%165 = (*.f64 (/.f64 %154 #s(literal -2 binary64)) %164)
%166 = (*.f64 #s(literal -2 binary64) %16)
%168 = (*.f64 (/.f64 %154 %166) %32)
%169 = (/.f64 %154 #s(literal 2 binary64))
%170 = (*.f64 %3 %8)
%172 = (*.f64 %169 (/.f64 y %170))
%173 = (/.f64 y %166)
%174 = (*.f64 %169 %173)
%176 = (*.f64 (/.f64 %154 %14) #s(literal 1/2 binary64))
%178 = (*.f64 (/.f64 %154 %8) #s(literal -1/2 binary64))
%180 = (*.f64 #s(literal 2 binary64) %14)
%182 = (*.f64 (/.f64 %154 y) (/.f64 y %180))
%183 = (*.f64 %153 y)
%185 = (*.f64 (/.f64 %183 %155) %24)
%187 = (*.f64 (/.f64 %183 %54) %18)
%189 = (*.f64 (/.f64 %183 %160) %24)
%191 = (*.f64 (/.f64 %183 #s(literal -2 binary64)) %85)
%192 = (/.f64 %183 #s(literal 2 binary64))
%194 = (*.f64 %192 (/.f64 #s(literal 2 binary64) %170))
%195 = (/.f64 #s(literal 2 binary64) %166)
%196 = (*.f64 %192 %195)
%198 = (*.f64 (/.f64 %183 %8) %88)
%200 = (/.f64 #s(literal -1/2 binary64) y)
%201 = (*.f64 (/.f64 %183 y) %200)
%203 = (*.f64 (/.f64 %153 %155) %31)
%205 = (*.f64 (/.f64 %153 %54) %38)
%207 = (*.f64 (/.f64 %153 %160) %31)
%208 = (/.f64 %8 %65)
%209 = (*.f64 %208 %123)
%210 = (/.f64 %153 %166)
%211 = (*.f64 %210 %29)
%212 = (/.f64 %125 #s(literal 1/2 binary64))
%213 = (*.f64 %212 %150)
%214 = (*.f64 y x)
%216 = (*.f64 %77 (/.f64 %214 #s(literal 4 binary64)))
%218 = (*.f64 %82 (/.f64 %214 %61))
%220 = (*.f64 %85 (/.f64 %214 #s(literal 2 binary64)))
%222 = (*.f64 (/.f64 %53 #s(literal -2 binary64)) %200)
%223 = (/.f64 %53 y)
%224 = (*.f64 #s(literal 2 binary64) %8)
%226 = (*.f64 %223 (/.f64 y %224))
%228 = (*.f64 %223 #s(literal 1/4 binary64))
%229 = (/.f64 %53 #s(literal 2 binary64))
%230 = (*.f64 %229 %164)
%231 = (*.f64 %229 %12)
%232 = (*.f64 %150 %149)
%234 = (/.f64 #s(literal 1/2 binary64) %8)
%235 = (*.f64 (/.f64 x #s(literal 1/2 binary64)) %234)
%237 = (*.f64 y %153)
%238 = (/.f64 %237 y)
%239 = (*.f64 (/.f64 #s(literal 2 binary64) %155) %238)
%241 = (*.f64 (/.f64 #s(literal 2 binary64) %160) %238)
%243 = (*.f64 %195 (/.f64 %237 #s(literal 2 binary64)))
%245 = (*.f64 %164 (/.f64 %102 #s(literal 2 binary64)))
%247 = (/.f64 %153 y)
%248 = (*.f64 (/.f64 %8 %155) %247)
%250 = (/.f64 x y)
%251 = (*.f64 (/.f64 %8 %54) %250)
%253 = (*.f64 (/.f64 %8 %160) %247)
%255 = (*.f64 %26 (/.f64 %110 %3))
%257 = (*.f64 %26 (/.f64 %153 %65))
%258 = (/.f64 %8 %166)
%259 = (/.f64 x #s(literal -2 binary64))
%260 = (*.f64 %258 %259)
%261 = (*.f64 %29 %100)
%262 = (*.f64 %29 %146)
%264 = (*.f64 %29 (/.f64 %153 %170))
%265 = (*.f64 %29 %210)
%266 = (/.f64 %8 %14)
%267 = (*.f64 %250 #s(literal -1/2 binary64))
%268 = (*.f64 %266 %267)
%269 = (/.f64 %8 %8)
%270 = (*.f64 %269 %110)
%272 = (*.f64 %31 (/.f64 x %224))
%273 = (*.f64 %31 %144)
%275 = (*.f64 %31 (/.f64 %153 %180))
%277 = (*.f64 #s(literal 2 binary64) %153)
%278 = (/.f64 %277 y)
%279 = (*.f64 (/.f64 y %155) %278)
%280 = (/.f64 y %54)
%282 = (*.f64 %280 (/.f64 %102 y))
%284 = (*.f64 %280 (/.f64 %277 %3))
%286 = (*.f64 (/.f64 y %160) %278)
%288 = (*.f64 %173 (/.f64 %277 #s(literal 2 binary64)))
%290 = (*.f64 (/.f64 %183 %14) %125)
%292 = (*.f64 (/.f64 %73 %8) %125)
%294 = (*.f64 (/.f64 %118 y) #s(literal 1 binary64))
%296 = (*.f64 (/.f64 %183 %166) #s(literal 1 binary64))
%298 = (*.f64 (/.f64 %73 %65) #s(literal 1 binary64))
%300 = (*.f64 %250 %8)
%302 = (*.f64 #s(literal -1/4 binary64) (/.f64 %300 %3))
%303 = (*.f64 %200 %8)
%305 = (*.f64 %247 (/.f64 %303 #s(literal 2 binary64)))
%307 = (*.f64 %247 (/.f64 %8 %180))
%308 = (*.f64 %247 #s(literal -1/2 binary64))
%310 = (*.f64 %259 (/.f64 %303 y))
%312 = (*.f64 %259 (/.f64 %8 %170))
%313 = (*.f64 %259 %258)
%314 = (*.f64 %259 %88)
%316 = (*.f64 %37 (/.f64 %277 %65))
%318 = (*.f64 #s(literal 1/4 binary64) (/.f64 %300 y))
%320 = (*.f64 %24 (/.f64 %214 %224))
%322 = (*.f64 %24 (/.f64 %237 %180))
%324 = (*.f64 %250 (/.f64 %8 %224))
%325 = (*.f64 %250 #s(literal 1/2 binary64))
%326 = (*.f64 #s(literal -1/2 binary64) x)
%327 = (*.f64 %326 %88)
%329 = (*.f64 %32 (/.f64 %102 %65))
%331 = (*.f64 %32 (/.f64 %277 %170))
%333 = (*.f64 %32 (/.f64 %277 %166))
%334 = (*.f64 %123 %105)
%336 = (*.f64 %123 (/.f64 %303 %3))
%337 = (*.f64 %123 %208)
%338 = (/.f64 %125 #s(literal 1 binary64))
%339 = (*.f64 %123 %338)
%340 = (*.f64 %123 %125)
%341 = (*.f64 %200 %153)
%343 = (*.f64 %88 (/.f64 %214 %14))
%345 = (*.f64 %88 (/.f64 %237 %8))
%346 = (*.f64 %88 %259)
%347 = (*.f64 %267 %266)
%349 = (*.f64 #s(literal -1 binary64) (/.f64 %237 %65))
%351 = (*.f64 #s(literal 2 binary64) (/.f64 %250 #s(literal 4 binary64)))
%353 = (*.f64 %12 (/.f64 %214 y))
%355 = (*.f64 %12 (/.f64 %300 #s(literal 2 binary64)))
%357 = (*.f64 %12 (/.f64 %237 %3))
%359 = (*.f64 %12 (/.f64 x #s(literal 1 binary64)))
%360 = (*.f64 %12 x)
%362 = (*.f64 %125 (/.f64 %237 %14))
%364 = (*.f64 %125 (/.f64 %214 %8))
%365 = (*.f64 %125 %123)
%366 = (*.f64 %153 %200)
%368 = (*.f64 #s(literal -1/2 binary64) (/.f64 %102 %14))
%370 = (*.f64 #s(literal -1/2 binary64) (/.f64 %277 %8))
%372 = (*.f64 #s(literal -1/2 binary64) (*.f64 %88 x))
%373 = (*.f64 #s(literal -1/2 binary64) %247)
%375 = (*.f64 #s(literal 1 binary64) (/.f64 %237 %170))
%377 = (*.f64 #s(literal 1 binary64) (/.f64 %237 %166))
%379 = (*.f64 #s(literal 1 binary64) (/.f64 %214 %65))
%380 = (*.f64 #s(literal 1 binary64) %110)
%382 = (*.f64 %110 (/.f64 %126 #s(literal 2 binary64)))
%383 = (*.f64 %110 %269)
%385 = (*.f64 #s(literal 1/2 binary64) (/.f64 %214 %16))
%387 = (*.f64 #s(literal 1/2 binary64) (/.f64 %250 #s(literal 1 binary64)))
%389 = (*.f64 #s(literal 1/2 binary64) (/.f64 %277 %14))
%390 = (*.f64 #s(literal 1/2 binary64) %250)
%391 = (*.f64 x %12)
%392 = (pow.f64 %110 #s(literal 1 binary64))
%393 = (*.f64 #s(literal -1 binary64) x)
%395 = (*.f64 %3 #s(literal -2 binary64))
%396 = (/.f64 (*.f64 %393 #s(literal -1 binary64)) %395)
%398 = (/.f64 (*.f64 %393 #s(literal 1 binary64)) %14)
%400 = (/.f64 (*.f64 #s(literal -1 binary64) %153) %395)
%402 = (/.f64 (*.f64 #s(literal 1 binary64) %153) %14)
%403 = (*.f64 %123 #s(literal -1 binary64))
%405 = (/.f64 (*.f64 #s(literal 2 binary64) %403) %14)
%406 = (*.f64 x #s(literal -1 binary64))
%408 = (/.f64 (*.f64 #s(literal 2 binary64) %406) %180)
%409 = (*.f64 %153 #s(literal 1 binary64))
%411 = (/.f64 (*.f64 #s(literal 2 binary64) %409) %180)
%413 = (/.f64 (*.f64 #s(literal 2 binary64) %259) %14)
%415 = (/.f64 (*.f64 #s(literal 2 binary64) %250) #s(literal 4 binary64))
%417 = (/.f64 (*.f64 #s(literal 2 binary64) %326) %14)
%419 = (/.f64 (*.f64 #s(literal 2 binary64) %123) %8)
%421 = (/.f64 (*.f64 #s(literal 2 binary64) %393) %180)
%423 = (/.f64 (*.f64 #s(literal -1 binary64) %393) %8)
%425 = (/.f64 (*.f64 #s(literal 1 binary64) %393) %14)
%427 = (/.f64 (neg.f64 %403) y)
%429 = (/.f64 (neg.f64 %406) %8)
%431 = (/.f64 (neg.f64 %393) %8)
%433 = (/.f64 (neg.f64 %409) %8)
%435 = (/.f64 (neg.f64 %259) y)
%436 = (/.f64 %277 %180)
%437 = (/.f64 %102 %224)
%438 = (/.f64 %403 %3)
%439 = (/.f64 %406 %14)
%441 = (/.f64 (*.f64 %153 #s(literal -1 binary64)) %8)
%442 = (/.f64 %409 %14)
%443 = (/.f64 %393 %14)
%445 = (/.f64 (neg.f64 %250) #s(literal -2 binary64))
%447 = (/.f64 (*.f64 %267 %8) %14)
%448 = (*.f64 %153 %8)
%450 = (*.f64 #s(literal 4 binary64) %16)
%451 = (/.f64 (neg.f64 %448) %450)
%453 = (/.f64 (*.f64 %110 %14) %14)
%454 = (/.f64 %259 %3)
%456 = (neg.f64 %450)
%457 = (/.f64 (*.f64 %14 x) %456)
%459 = (/.f64 (*.f64 %153 %14) %450)
%461 = (/.f64 (*.f64 x %14) %456)
%463 = (/.f64 (*.f64 %14 %153) %450)
%464 = (/.f64 %250 #s(literal 2 binary64))
%465 = (/.f64 %326 %3)
%466 = (/.f64 %123 y)
%467 = (/.f64 %448 %456)
%468 = (/.f64 %133 %450)
%469 = (/.f64 %153 %14)
%471 = (/.f64 #s(literal 1 binary64) (pow.f64 %110 #s(literal -1 binary64)))
%473 = (/.f64 #s(literal 1 binary64) (/.f64 %3 %326))
%475 = (/.f64 #s(literal 1 binary64) (/.f64 %14 %153))
%477 = (/.f64 #s(literal 1 binary64) (/.f64 y %123))
%479 = (/.f64 #s(literal 1 binary64) (/.f64 %8 x))
%480 = (neg.f64 %267)
%481 = (/.f64 %214 %450)
%482 = (+.f64 %481 %481)
%483 = (/.f64 %73 %450)
%484 = (+.f64 %483 %483)
%486 = (/.f64 (*.f64 y %110) %8)
%487 = (+.f64 %486 %486)
%488 = (/.f64 %118 %8)
%489 = (+.f64 %488 %488)
%490 = (/.f64 %183 %456)
%491 = (+.f64 %490 %490)
%492 = (/.f64 %237 %456)
%493 = (+.f64 %492 %492)
%496 = (/.f64 #s(literal -2 binary64) y)
%499 = (/.f64 %12 #s(literal 4 binary64))
%503 = (/.f64 %88 #s(literal 4 binary64))
%510 = (/.f64 %88 #s(literal 1 binary64))
%513 = (/.f64 %12 #s(literal 1 binary64))
%550 = (/.f64 #s(literal 0 binary64) %8)
%587 = (approx (/ (+ y x) (+ y y)) %110)
%588 = (pow.f64 %587 #s(literal 1 binary64))
%590 = (/.f64 #s(literal 1 binary64) (pow.f64 %587 #s(literal -1 binary64)))
x
y
(*.f64 #s(literal -2 binary64) %3)
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %12)
(neg.f64 %14)
(fma.f64 (/.f64 %16 #s(literal -2 binary64)) %18 %19)
(fma.f64 %21 #s(literal 1 binary64) %19)
(fma.f64 %23 %24 %19)
(fma.f64 %26 %27 %19)
(fma.f64 %29 #s(literal 1 binary64) %19)
(fma.f64 %31 %32 %19)
(fma.f64 %27 %26 %19)
(fma.f64 (*.f64 #s(literal 1/2 binary64) y) #s(literal 2 binary64) %19)
(fma.f64 %37 %38 %19)
(fma.f64 %24 %23 %19)
(fma.f64 %32 %31 %19)
(fma.f64 #s(literal -1 binary64) (/.f64 %16 %3) %19)
(fma.f64 #s(literal 1 binary64) %21 %19)
(fma.f64 #s(literal 1 binary64) %29 %19)
(fma.f64 #s(literal 1 binary64) y %19)
(fma.f64 %8 #s(literal 1/2 binary64) %19)
(fma.f64 #s(literal 1/2 binary64) %8 %19)
(fma.f64 y #s(literal 1 binary64) %19)
(-.f64 y %3)
(+.f64 %19 %19)
%8
#s(literal 1/2 binary64)
%56
%60
%64
%67
%70
%72
%75
%78
%80
%83
%86
%89
%91
%93
%96
%99
%101
%104
%107
%109
%113
%115
%117
%120
%122
%128
%131
%135
%138
%141
%143
%145
%147
%148
%151
%152
%157
%159
%162
%165
%168
%172
%174
%176
%178
%182
%185
%187
%189
%191
%194
%196
%198
%201
%203
%205
%207
%209
%211
%213
%216
%218
%220
%222
%226
%228
%230
%231
%232
%235
%239
%241
%243
%245
%248
%251
%253
%255
%257
%260
%261
%262
%264
%265
%268
%270
%272
%273
%275
%279
%282
%284
%286
%288
%290
%292
%294
%296
%298
%302
%305
%307
%308
%310
%312
%313
%314
%316
%318
%320
%322
%324
%325
%327
%329
%331
%333
%334
%336
%337
%339
%340
%341
%343
%345
%346
%347
%349
%351
%353
%355
%357
%359
%360
%362
%364
%365
%366
%368
%370
%372
%373
%375
%377
%379
%380
%382
%383
%385
%387
%389
%390
%391
%392
%396
%398
%400
%402
%405
%408
%411
%413
%415
%417
%419
%421
%423
%425
%427
%429
%431
%433
%435
%436
%437
%438
%439
%441
%442
%443
%445
%447
%451
%453
%454
%457
%459
%461
%463
%464
%465
%466
%467
%468
%469
%471
%473
%475
%477
%479
%110
%480
%482
%484
%487
%489
%491
%493
(*.f64 %212 #s(literal 1/4 binary64))
(*.f64 %18 #s(literal -1/4 binary64))
(*.f64 %496 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %18)
(*.f64 #s(literal 4 binary64) %499)
(*.f64 #s(literal 1/4 binary64) %24)
(*.f64 %24 #s(literal 1/4 binary64))
(*.f64 #s(literal -2 binary64) %503)
(*.f64 %88 #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) %200)
(*.f64 #s(literal 2 binary64) %234)
(*.f64 %12 #s(literal 1 binary64))
(*.f64 %125 #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) %510)
(*.f64 #s(literal -1/2 binary64) %88)
(*.f64 #s(literal 1 binary64) %513)
(*.f64 #s(literal 1 binary64) %12)
(*.f64 #s(literal 1/2 binary64) %338)
(*.f64 #s(literal 1/2 binary64) %125)
(pow.f64 %12 #s(literal 1 binary64))
(pow.f64 %8 #s(literal -1 binary64))
(/.f64 (*.f64 %125 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %125) #s(literal 4 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %8))
(/.f64 #s(literal -2 binary64) %160)
(/.f64 #s(literal -2 binary64) %180)
(/.f64 %88 #s(literal -2 binary64))
(/.f64 #s(literal -1 binary64) %14)
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %14))
(/.f64 #s(literal 2 binary64) %54)
(/.f64 #s(literal 2 binary64) %224)
(/.f64 %125 #s(literal 2 binary64))
(/.f64 #s(literal -1/2 binary64) %3)
(/.f64 #s(literal 1 binary64) %395)
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %14 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %8 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %3 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) %8)
%12
(neg.f64 %200)
(fma.f64 %212 #s(literal 1/4 binary64) %550)
(fma.f64 %18 #s(literal -1/4 binary64) %550)
(fma.f64 %496 #s(literal -1/4 binary64) %550)
(fma.f64 #s(literal -1/4 binary64) %18 %550)
(fma.f64 #s(literal -1/4 binary64) %88 %234)
(fma.f64 #s(literal 4 binary64) %499 %550)
(fma.f64 #s(literal 1/4 binary64) %24 %550)
(fma.f64 #s(literal 1/4 binary64) %125 %234)
(fma.f64 %24 #s(literal 1/8 binary64) %234)
(fma.f64 %24 #s(literal 1/4 binary64) %550)
(fma.f64 #s(literal -2 binary64) %503 %550)
(fma.f64 %88 #s(literal -1/2 binary64) %550)
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal 1/4 binary64) %3) %234)
(fma.f64 #s(literal -1 binary64) %200 %550)
(fma.f64 #s(literal 2 binary64) %234 %550)
(fma.f64 %12 #s(literal 1 binary64) %550)
(fma.f64 %12 #s(literal 1/2 binary64) %234)
(fma.f64 %125 #s(literal 1/4 binary64) %234)
(fma.f64 %125 #s(literal 1/2 binary64) %550)
(fma.f64 #s(literal -1/2 binary64) %510 %550)
(fma.f64 #s(literal -1/2 binary64) %200 %234)
(fma.f64 #s(literal -1/2 binary64) %88 %550)
(fma.f64 #s(literal 1 binary64) %513 %550)
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/4 binary64) y) %234)
(fma.f64 #s(literal 1 binary64) %12 %550)
(fma.f64 #s(literal 1/2 binary64) %338 %550)
(fma.f64 #s(literal 1/2 binary64) %12 %234)
(fma.f64 #s(literal 1/2 binary64) %125 %550)
(+.f64 %234 %234)
(+.f64 %12 %550)
%56
%60
%64
%67
%70
%72
%75
%78
%80
%83
%86
%89
%91
%93
%96
%99
%101
%104
%107
%109
%113
%115
%117
%120
%122
%128
%131
%135
%138
%141
%143
%145
%147
%148
%151
%152
%157
%159
%162
%165
%168
%172
%174
%176
%178
%182
%185
%187
%189
%191
%194
%196
%198
%201
%203
%205
%207
%209
%211
%213
%216
%218
%220
%222
%226
%228
%230
%231
%232
%235
%239
%241
%243
%245
%248
%251
%253
%255
%257
%260
%261
%262
%264
%265
%268
%270
%272
%273
%275
%279
%282
%284
%286
%288
%290
%292
%294
%296
%298
%302
%305
%307
%308
%310
%312
%313
%314
%316
%318
%320
%322
%324
%325
%327
%329
%331
%333
%334
%336
%337
%339
%340
%341
%343
%345
%346
%347
%349
%351
%353
%355
%357
%359
%360
%362
%364
%365
%366
%368
%370
%372
%373
%375
%377
%379
%380
%382
%383
%385
%387
%389
%390
%391
%392
%396
%398
%400
%402
%405
%408
%411
%413
%415
%417
%419
%421
%423
%425
%427
%429
%431
%433
%435
%436
%437
%438
%439
%441
%442
%443
%445
%447
%451
%453
%454
%457
%459
%461
%463
%464
%465
%466
%467
%468
%469
%471
%473
%475
%477
%479
%110
%480
%482
%484
%487
%489
%491
%493
%588
%587
%590
%588
%587
%590