%2 = (*.f64 x #s(literal 3 binary64))
%4 = (*.f64 %2 y)
x
#s(literal 3 binary64)
%2
y
%4
(*.f64 %4 y)

%3 = (*.f64 #s(literal 3 binary64) x)
%12 = (*.f64 x #s(literal 1 binary64))
%14 = (*.f64 x #s(literal 2 binary64))
%18 = (*.f64 #s(literal 2 binary64) x)
%22 = (*.f64 y x)
%24 = (*.f64 y #s(literal 3 binary64))
%26 = (*.f64 y %3)
%35 = (*.f64 #s(literal -3 binary64) %22)
%37 = (*.f64 %22 #s(literal 1 binary64))
%39 = (*.f64 %22 #s(literal 2 binary64))
%42 = (*.f64 #s(literal 2 binary64) %22)
%50 = (fabs.f64 y)
%51 = (*.f64 %50 %3)
%52 = (sqrt.f64 %50)
%55 = (neg.f64 %3)
%56 = (neg.f64 y)
%57 = (*.f64 %56 y)
%59 = (neg.f64 %50)
%60 = (*.f64 %59 #s(literal 3 binary64))
%61 = (*.f64 %59 x)
%64 = (*.f64 %59 %3)
%68 = (*.f64 %50 #s(literal 3 binary64))
%69 = (*.f64 %50 x)
%71 = (*.f64 #s(literal -3 binary64) y)
%72 = (*.f64 %56 x)
%81 = (*.f64 y y)
%82 = (*.f64 %81 #s(literal 3 binary64))
%84 = (*.f64 %81 x)
%90 = (*.f64 %26 y)
%106 = (*.f64 #s(literal 2 binary64) %84)
%108 = (neg.f64 x)
%118 = (*.f64 %84 #s(literal 1 binary64))
%120 = (*.f64 %84 #s(literal 2 binary64))
x
#s(literal 3 binary64)
(*.f64 #s(literal 1 binary64) %3)
%3
(*.f64 x #s(literal 3 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(fma.f64 #s(literal 2 binary64) x x)
(fma.f64 x #s(literal 2 binary64) %12)
(fma.f64 x #s(literal 1 binary64) %14)
(+.f64 %14 %12)
(+.f64 %12 %14)
(+.f64 %18 x)
(+.f64 x %18)
y
(*.f64 %22 #s(literal 3 binary64))
(*.f64 %24 x)
(*.f64 #s(literal 1 binary64) %26)
%26
(*.f64 %3 y)
(*.f64 #s(literal 3 binary64) %22)
(*.f64 x %24)
(pow.f64 %26 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %26 #s(literal -1 binary64)))
(neg.f64 %35)
(fma.f64 %22 #s(literal 2 binary64) %37)
(fma.f64 %22 #s(literal 1 binary64) %39)
(fma.f64 #s(literal 2 binary64) %22 %22)
(fma.f64 #s(literal 1 binary64) %22 %42)
(fma.f64 y x %42)
(fma.f64 x y %42)
(+.f64 %39 %37)
(+.f64 %37 %39)
(+.f64 %42 %22)
(+.f64 %22 %42)
(*.f64 (*.f64 %51 %52) %52)
(*.f64 %55 %57)
(*.f64 %60 %61)
(*.f64 %61 %60)
(*.f64 %64 %59)
(*.f64 %52 (*.f64 %52 %51))
(*.f64 %68 %69)
(*.f64 %71 %72)
(*.f64 %69 %68)
(*.f64 %72 %71)
(*.f64 %51 %50)
(*.f64 %35 %56)
(*.f64 %57 %55)
(*.f64 %59 %64)
(*.f64 %22 %24)
(*.f64 %82 x)
(*.f64 %84 #s(literal 3 binary64))
(*.f64 %50 %51)
(*.f64 %56 %35)
(*.f64 %81 %3)
(*.f64 %24 %22)
(*.f64 #s(literal 1 binary64) %90)
%90
(*.f64 y %26)
(*.f64 %3 %81)
(*.f64 #s(literal 3 binary64) %84)
(*.f64 x %82)
(pow.f64 %90 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %90 #s(literal -1 binary64)))
(neg.f64 (*.f64 %50 %64))
(neg.f64 (*.f64 %64 %50))
(neg.f64 (*.f64 %71 %22))
(fma.f64 (*.f64 %69 %52) %52 %106)
(fma.f64 %108 %57 %106)
(fma.f64 %61 %59 %106)
(fma.f64 %52 (*.f64 %52 %69) %106)
(fma.f64 %69 %50 %106)
(fma.f64 %72 %56 %106)
(fma.f64 %57 %108 %106)
(fma.f64 %59 %61 %106)
(fma.f64 %22 y %106)
(fma.f64 %84 #s(literal 2 binary64) %118)
(fma.f64 %84 #s(literal 1 binary64) %120)
(fma.f64 %50 %69 %106)
(fma.f64 %56 %72 %106)
(fma.f64 #s(literal 2 binary64) %84 %84)
(fma.f64 %81 x %106)
(fma.f64 #s(literal 1 binary64) %84 %106)
(fma.f64 y %22 %106)
(fma.f64 x %81 %106)
(+.f64 %120 %118)
(+.f64 %118 %120)
(+.f64 %106 %84)
(+.f64 %84 %106)

%3 = (*.f64 #s(literal 3 binary64) x)
%5 = (*.f64 y x)
%6 = (*.f64 y #s(literal 3 binary64))
%7 = (fabs.f64 y)
%8 = (*.f64 %7 %3)
%9 = (sqrt.f64 %7)
%10 = (*.f64 %9 %8)
%12 = (*.f64 y y)
%13 = (*.f64 %12 x)
%17 = (*.f64 #s(literal 2 binary64) %13)
x
#s(literal 3 binary64)
y
%3
#s(literal 2 binary64)
%5
%6
%7
%8
%9
%10
(*.f64 %9 %10)
%12
%13
(*.f64 %6 %5)
(*.f64 %3 %12)
(*.f64 #s(literal 3 binary64) %13)
%17
(fma.f64 y %5 %17)

%3 = (*.f64 #s(literal 3 binary64) x)
%10 = (+.f64 x x)
%11 = (*.f64 x #s(literal 1 binary64))
%13 = (*.f64 #s(literal 1 binary64) x)
%28 = (*.f64 y x)
%33 = (*.f64 y #s(literal 3 binary64))
%38 = (+.f64 y y)
%39 = (*.f64 y #s(literal 1 binary64))
%41 = (*.f64 #s(literal 1 binary64) y)
%55 = (fabs.f64 y)
%56 = (sqrt.f64 %55)
%57 = (neg.f64 %56)
%58 = (neg.f64 %57)
%59 = (neg.f64 %58)
%61 = (*.f64 %56 %55)
%62 = (sqrt.f64 %61)
%63 = (sqrt.f64 %56)
%71 = (pow.f64 y #s(literal 8 binary64))
%75 = (*.f64 y y)
%76 = (*.f64 %75 %75)
%96 = (neg.f64 %55)
%99 = (*.f64 %58 %56)
%101 = (*.f64 %56 %58)
%104 = (neg.f64 y)
%109 = (*.f64 %56 x)
%110 = (*.f64 %109 #s(literal 3 binary64))
%112 = (*.f64 %55 x)
%116 = (*.f64 %55 #s(literal 3 binary64))
%119 = (*.f64 %55 %3)
%126 = (*.f64 %112 #s(literal 1 binary64))
%128 = (*.f64 #s(literal 1 binary64) %112)
%130 = (*.f64 %112 #s(literal 2 binary64))
%133 = (*.f64 #s(literal 2 binary64) %112)
%138 = (neg.f64 %63)
%162 = (*.f64 %116 %56)
%164 = (*.f64 %61 x)
%168 = (*.f64 #s(literal 3 binary64) %56)
%174 = (*.f64 %56 %119)
%178 = (*.f64 %112 %56)
%185 = (*.f64 %164 #s(literal 1 binary64))
%187 = (*.f64 #s(literal 1 binary64) %164)
%189 = (*.f64 %164 #s(literal 2 binary64))
%192 = (*.f64 #s(literal 2 binary64) %164)
%198 = (*.f64 (*.f64 %119 %57) %57)
%200 = (*.f64 (*.f64 %3 %96) %96)
%201 = (*.f64 %162 %109)
%202 = (*.f64 %164 %168)
%203 = (*.f64 %110 %61)
%204 = (*.f64 %104 #s(literal 3 binary64))
%205 = (*.f64 %204 x)
%206 = (*.f64 %205 %104)
%207 = (neg.f64 x)
%208 = (*.f64 %207 y)
%209 = (*.f64 %204 %208)
%210 = (*.f64 %112 %116)
%211 = (*.f64 %208 %204)
%213 = (*.f64 %96 (*.f64 %96 %3))
%215 = (*.f64 %57 (*.f64 %57 %119))
%216 = (*.f64 %33 x)
%217 = (*.f64 %216 y)
%218 = (*.f64 %116 %112)
%219 = (*.f64 %75 #s(literal 3 binary64))
%220 = (*.f64 %219 x)
%221 = (*.f64 %61 %110)
%222 = (*.f64 %104 %205)
%223 = (*.f64 %75 x)
%224 = (*.f64 %223 #s(literal 3 binary64))
%226 = (*.f64 %75 (fma.f64 #s(literal 2 binary64) x x))
%228 = (*.f64 %75 (+.f64 x %10))
%229 = (*.f64 %75 %3)
%230 = (*.f64 %174 %56)
%231 = (*.f64 %56 %174)
%232 = (*.f64 %119 %55)
%233 = (*.f64 %55 %119)
%234 = (*.f64 %33 %28)
%236 = (*.f64 %28 (fma.f64 #s(literal 2 binary64) y y))
%238 = (*.f64 %28 (+.f64 y %38))
%239 = (*.f64 %28 %33)
%240 = (*.f64 %3 %75)
%242 = (*.f64 y (fma.f64 %38 x %28))
%243 = (*.f64 %38 x)
%245 = (*.f64 y (fma.f64 y x %243))
%246 = (*.f64 y %216)
%247 = (*.f64 #s(literal 3 binary64) %223)
%248 = (*.f64 x %219)
%249 = (pow.f64 %224 #s(literal 1 binary64))
%251 = (/.f64 #s(literal 1 binary64) (pow.f64 %224 #s(literal -1 binary64)))
%253 = (neg.f64 (*.f64 y %205))
%254 = (*.f64 %104 y)
%256 = (neg.f64 (*.f64 %254 %3))
%258 = (neg.f64 (*.f64 %205 y))
%260 = (neg.f64 (*.f64 %3 %254))
%262 = (neg.f64 (neg.f64 %224))
%263 = (*.f64 %10 %96)
%264 = (*.f64 %207 %254)
%265 = (fma.f64 %263 %96 %264)
%267 = (*.f64 (neg.f64 %208) y)
%268 = (fma.f64 %263 %96 %267)
%269 = (neg.f64 %207)
%270 = (*.f64 %269 %75)
%271 = (fma.f64 %263 %96 %270)
%272 = (fma.f64 %263 %96 %223)
%273 = (*.f64 %10 %104)
%274 = (fma.f64 %273 %104 %264)
%275 = (fma.f64 %273 %104 %267)
%276 = (fma.f64 %273 %104 %270)
%277 = (fma.f64 %273 %104 %223)
%278 = (*.f64 %10 %55)
%279 = (fma.f64 %278 %55 %264)
%280 = (fma.f64 %278 %55 %267)
%281 = (fma.f64 %278 %55 %270)
%282 = (fma.f64 %278 %55 %223)
%283 = (*.f64 #s(literal 2 binary64) %208)
%284 = (fma.f64 %283 %104 %264)
%285 = (fma.f64 %283 %104 %267)
%286 = (fma.f64 %283 %104 %270)
%287 = (fma.f64 %283 %104 %223)
%288 = (*.f64 #s(literal -2 binary64) y)
%289 = (*.f64 x %288)
%290 = (fma.f64 %289 %104 %264)
%291 = (fma.f64 %289 %104 %267)
%292 = (fma.f64 %289 %104 %270)
%293 = (fma.f64 %289 %104 %223)
%294 = (*.f64 %55 #s(literal 2 binary64))
%295 = (*.f64 x %294)
%296 = (fma.f64 %295 %55 %264)
%297 = (fma.f64 %295 %55 %267)
%298 = (fma.f64 %295 %55 %270)
%299 = (fma.f64 %295 %55 %223)
%300 = (*.f64 #s(literal 1 binary64) %208)
%301 = (*.f64 %243 y)
%302 = (fma.f64 %300 %104 %301)
%303 = (*.f64 %112 %57)
%304 = (fma.f64 %303 %57 %301)
%305 = (*.f64 x %96)
%306 = (fma.f64 %305 %96 %301)
%307 = (fma.f64 %178 %56 %301)
%308 = (*.f64 #s(literal 1 binary64) %104)
%309 = (fma.f64 %308 %208 %301)
%310 = (fma.f64 %41 %28 %301)
%311 = (fma.f64 %128 %55 %301)
%312 = (fma.f64 %133 %55 %264)
%313 = (fma.f64 %133 %55 %267)
%314 = (fma.f64 %133 %55 %270)
%315 = (fma.f64 %133 %55 %223)
%316 = (*.f64 #s(literal 1 binary64) %75)
%317 = (fma.f64 %316 x %301)
%318 = (*.f64 #s(literal 1 binary64) %55)
%319 = (fma.f64 %318 %112 %301)
%320 = (*.f64 #s(literal 1 binary64) %28)
%321 = (fma.f64 %320 y %301)
%322 = (fma.f64 %13 %75 %301)
%323 = (*.f64 #s(literal -2 binary64) x)
%324 = (*.f64 %323 y)
%325 = (fma.f64 %324 %104 %264)
%326 = (fma.f64 %324 %104 %267)
%327 = (fma.f64 %324 %104 %270)
%328 = (fma.f64 %324 %104 %223)
%329 = (fma.f64 %323 %254 %264)
%330 = (fma.f64 %323 %254 %267)
%331 = (fma.f64 %323 %254 %270)
%332 = (fma.f64 %323 %254 %223)
%333 = (fma.f64 %288 %208 %264)
%334 = (fma.f64 %288 %208 %267)
%335 = (fma.f64 %288 %208 %270)
%336 = (fma.f64 %288 %208 %223)
%337 = (fma.f64 %294 %112 %264)
%338 = (fma.f64 %294 %112 %267)
%339 = (fma.f64 %294 %112 %270)
%340 = (fma.f64 %294 %112 %223)
%341 = (fma.f64 %243 y %264)
%342 = (fma.f64 %243 y %267)
%343 = (fma.f64 %243 y %270)
%344 = (fma.f64 %243 y %223)
%345 = (fma.f64 %38 %28 %264)
%346 = (fma.f64 %38 %28 %267)
%347 = (fma.f64 %38 %28 %270)
%348 = (fma.f64 %38 %28 %223)
%349 = (fma.f64 %10 %75 %264)
%350 = (fma.f64 %10 %75 %267)
%351 = (fma.f64 %10 %75 %270)
%352 = (fma.f64 %10 %75 %223)
%353 = (*.f64 %55 #s(literal 1 binary64))
%354 = (fma.f64 %112 %353 %301)
%355 = (fma.f64 %112 %294 %264)
%356 = (fma.f64 %112 %294 %267)
%357 = (fma.f64 %112 %294 %270)
%358 = (fma.f64 %112 %294 %223)
%359 = (fma.f64 %112 %55 %301)
%360 = (*.f64 #s(literal -2 binary64) %75)
%361 = (fma.f64 %360 %207 %264)
%362 = (fma.f64 %360 %207 %267)
%363 = (fma.f64 %360 %207 %270)
%364 = (fma.f64 %360 %207 %223)
%365 = (*.f64 %104 #s(literal 1 binary64))
%366 = (fma.f64 %208 %365 %301)
%367 = (fma.f64 %208 %288 %264)
%368 = (fma.f64 %208 %288 %267)
%369 = (fma.f64 %208 %288 %270)
%370 = (fma.f64 %208 %288 %223)
%371 = (fma.f64 %208 %104 %301)
%372 = (*.f64 %254 x)
%373 = (fma.f64 %372 #s(literal -2 binary64) %264)
%374 = (fma.f64 %372 #s(literal -2 binary64) %267)
%375 = (fma.f64 %372 #s(literal -2 binary64) %270)
%376 = (fma.f64 %372 #s(literal -2 binary64) %223)
%377 = (*.f64 %96 %10)
%378 = (fma.f64 %96 %377 %264)
%379 = (fma.f64 %96 %377 %267)
%380 = (fma.f64 %96 %377 %270)
%381 = (fma.f64 %96 %377 %223)
%382 = (*.f64 %96 x)
%383 = (fma.f64 %96 %382 %301)
%384 = (*.f64 %57 %112)
%385 = (fma.f64 %57 %384 %301)
%386 = (*.f64 %38 y)
%387 = (fma.f64 %386 %269 %264)
%388 = (fma.f64 %386 %269 %267)
%389 = (fma.f64 %386 %269 %270)
%390 = (fma.f64 %386 %269 %223)
%391 = (fma.f64 %386 x %264)
%392 = (fma.f64 %386 x %267)
%393 = (fma.f64 %386 x %270)
%394 = (fma.f64 %386 x %223)
%395 = (fma.f64 #s(literal -2 binary64) %372 %264)
%396 = (fma.f64 #s(literal -2 binary64) %372 %267)
%397 = (fma.f64 #s(literal -2 binary64) %372 %270)
%398 = (fma.f64 #s(literal -2 binary64) %372 %223)
%399 = (*.f64 %208 #s(literal 2 binary64))
%400 = (fma.f64 %104 %399 %264)
%401 = (fma.f64 %104 %399 %267)
%402 = (fma.f64 %104 %399 %270)
%403 = (fma.f64 %104 %399 %223)
%404 = (*.f64 %104 %10)
%405 = (fma.f64 %104 %404 %264)
%406 = (fma.f64 %104 %404 %267)
%407 = (fma.f64 %104 %404 %270)
%408 = (fma.f64 %104 %404 %223)
%409 = (*.f64 %208 #s(literal 1 binary64))
%410 = (fma.f64 %104 %409 %301)
%411 = (-.f64 %208 %28)
%412 = (fma.f64 %104 %411 %264)
%413 = (fma.f64 %104 %411 %267)
%414 = (fma.f64 %104 %411 %270)
%415 = (fma.f64 %104 %411 %223)
%416 = (fma.f64 %207 y %208)
%417 = (fma.f64 %104 %416 %264)
%418 = (fma.f64 %104 %416 %267)
%419 = (fma.f64 %104 %416 %270)
%420 = (fma.f64 %104 %416 %223)
%421 = (fma.f64 %104 %208 %301)
%422 = (fma.f64 #s(literal 1 binary64) %301 %264)
%423 = (fma.f64 #s(literal 1 binary64) %301 %267)
%424 = (fma.f64 #s(literal 1 binary64) %301 %270)
%425 = (fma.f64 #s(literal 1 binary64) %301 %223)
%426 = (fma.f64 #s(literal 1 binary64) %223 %301)
%427 = (fma.f64 %301 #s(literal 1 binary64) %264)
%428 = (fma.f64 %301 #s(literal 1 binary64) %267)
%429 = (fma.f64 %301 #s(literal 1 binary64) %270)
%430 = (fma.f64 %301 #s(literal 1 binary64) %223)
%431 = (fma.f64 %301 #s(literal 1/2 binary64) %301)
%432 = (fma.f64 %223 #s(literal 1 binary64) %301)
%433 = (fma.f64 %223 #s(literal 2 binary64) %264)
%434 = (fma.f64 %223 #s(literal 2 binary64) %267)
%435 = (fma.f64 %223 #s(literal 2 binary64) %270)
%436 = (fma.f64 %223 #s(literal 2 binary64) %223)
%437 = (fma.f64 %75 %11 %301)
%438 = (fma.f64 %75 %10 %264)
%439 = (fma.f64 %75 %10 %267)
%440 = (fma.f64 %75 %10 %270)
%441 = (fma.f64 %75 %10 %223)
%442 = (fma.f64 %75 x %301)
%443 = (fma.f64 %56 %164 %301)
%444 = (*.f64 %55 %10)
%445 = (fma.f64 %55 %444 %264)
%446 = (fma.f64 %55 %444 %267)
%447 = (fma.f64 %55 %444 %270)
%448 = (fma.f64 %55 %444 %223)
%449 = (fma.f64 %55 %126 %301)
%450 = (fma.f64 %55 %130 %264)
%451 = (fma.f64 %55 %130 %267)
%452 = (fma.f64 %55 %130 %270)
%453 = (fma.f64 %55 %130 %223)
%454 = (fma.f64 %55 x %112)
%455 = (fma.f64 %55 %454 %264)
%456 = (fma.f64 %55 %454 %267)
%457 = (fma.f64 %55 %454 %270)
%458 = (fma.f64 %55 %454 %223)
%459 = (fma.f64 %55 %112 %301)
%460 = (fma.f64 %28 %39 %301)
%461 = (fma.f64 %28 %38 %264)
%462 = (fma.f64 %28 %38 %267)
%463 = (fma.f64 %28 %38 %270)
%464 = (fma.f64 %28 %38 %223)
%465 = (fma.f64 %28 y %301)
%466 = (*.f64 #s(literal 1/2 binary64) %223)
%467 = (fma.f64 #s(literal 2 binary64) %466 %301)
%468 = (fma.f64 #s(literal 2 binary64) %223 %264)
%469 = (fma.f64 #s(literal 2 binary64) %223 %267)
%470 = (fma.f64 #s(literal 2 binary64) %223 %270)
%471 = (fma.f64 #s(literal 2 binary64) %223 %223)
%472 = (*.f64 %28 #s(literal 1 binary64))
%473 = (fma.f64 y %472 %301)
%474 = (fma.f64 y %243 %264)
%475 = (fma.f64 y %243 %267)
%476 = (fma.f64 y %243 %270)
%477 = (fma.f64 y %243 %223)
%478 = (fma.f64 y %28 %301)
%479 = (*.f64 %75 #s(literal 1 binary64))
%480 = (fma.f64 x %479 %301)
%481 = (fma.f64 x %386 %264)
%482 = (fma.f64 x %386 %267)
%483 = (fma.f64 x %386 %270)
%484 = (fma.f64 x %386 %223)
%485 = (fma.f64 x %75 %301)
%486 = (neg.f64 %267)
%487 = (-.f64 %301 %486)
%488 = (neg.f64 %270)
%489 = (-.f64 %301 %488)
%490 = (-.f64 %301 %372)
%491 = (*.f64 #s(literal -2 binary64) %223)
%492 = (-.f64 %223 %491)
%493 = (+.f64 %301 %264)
%494 = (+.f64 %301 %267)
%495 = (+.f64 %301 %270)
%496 = (+.f64 %301 %223)
%497 = (+.f64 %223 %301)
%500 = (*.f64 %57 %55)
%532 = (*.f64 %104 %56)
%533 = (*.f64 %57 %532)
%536 = (*.f64 %56 y)
%537 = (*.f64 %57 %536)
%540 = (*.f64 %56 %532)
%543 = (*.f64 %56 %536)
%546 = (*.f64 %55 %104)
%549 = (*.f64 %104 %55)
%552 = (*.f64 y %55)
%555 = (*.f64 %55 y)
%558 = (neg.f64 %532)
%565 = (*.f64 %57 %104)
%572 = (*.f64 %57 y)
%579 = (*.f64 %104 %57)
%590 = (*.f64 y %57)
%712 = (*.f64 %223 #s(literal 1/2 binary64))
x
#s(literal 3 binary64)
y
%3
(*.f64 x #s(literal 3 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(fma.f64 %10 #s(literal 1 binary64) %11)
(fma.f64 %10 #s(literal 1 binary64) %13)
(fma.f64 #s(literal 2 binary64) %13 %11)
(fma.f64 #s(literal 2 binary64) %13 %13)
(fma.f64 #s(literal 2 binary64) x %11)
(fma.f64 #s(literal 2 binary64) x %13)
(fma.f64 x #s(literal 2 binary64) %11)
(fma.f64 x #s(literal 2 binary64) %13)
(-.f64 %10 (neg.f64 %11))
(-.f64 %10 (neg.f64 %13))
(+.f64 %10 %11)
(+.f64 %10 %13)
#s(literal 2 binary64)
%28
(*.f64 x y)
(pow.f64 %28 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
%33
(*.f64 #s(literal 3 binary64) y)
(pow.f64 %33 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %33 #s(literal -1 binary64)))
(fma.f64 %38 #s(literal 1 binary64) %39)
(fma.f64 %38 #s(literal 1 binary64) %41)
(fma.f64 #s(literal 2 binary64) %41 %39)
(fma.f64 #s(literal 2 binary64) %41 %41)
(fma.f64 #s(literal 2 binary64) y %39)
(fma.f64 #s(literal 2 binary64) y %41)
(fma.f64 y #s(literal 2 binary64) %39)
(fma.f64 y #s(literal 2 binary64) %41)
(-.f64 %38 (neg.f64 %39))
(-.f64 %38 (neg.f64 %41))
(+.f64 %38 %39)
(+.f64 %38 %41)
(*.f64 %59 %59)
(*.f64 %62 %63)
(*.f64 %58 %58)
(*.f64 %63 %62)
(*.f64 %57 %57)
(*.f64 %56 %56)
(pow.f64 %58 #s(literal 2 binary64))
(pow.f64 %71 #s(literal 1/8 binary64))
(pow.f64 %57 #s(literal 2 binary64))
(pow.f64 %76 #s(literal 1/4 binary64))
(pow.f64 %75 #s(literal 1/2 binary64))
(pow.f64 %56 #s(literal 2 binary64))
(pow.f64 %55 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %57 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %76 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %75 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %55 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %56 #s(literal -2 binary64)))
(neg.f64 %96)
(sqrt.f64 %75)
(fabs.f64 %99)
(fabs.f64 %101)
(fabs.f64 %96)
(fabs.f64 %104)
(fabs.f64 %55)
%55
(*.f64 (*.f64 %3 %57) %57)
(*.f64 %110 %56)
(*.f64 %112 #s(literal 3 binary64))
(*.f64 %57 (*.f64 %57 %3))
(*.f64 %116 x)
(*.f64 %56 %110)
%119
(*.f64 %3 %55)
(*.f64 #s(literal 3 binary64) %112)
(*.f64 x %116)
(pow.f64 %119 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %119 #s(literal -1 binary64)))
(fma.f64 %112 #s(literal 2 binary64) %126)
(fma.f64 #s(literal 2 binary64) %112 %128)
(-.f64 %130 (neg.f64 %126))
(-.f64 %133 (neg.f64 %128))
(+.f64 %130 %126)
(+.f64 %133 %128)
(*.f64 %138 %138)
(*.f64 %63 %63)
(pow.f64 %71 #s(literal 1/16 binary64))
(pow.f64 %63 #s(literal 2 binary64))
(pow.f64 %76 #s(literal 1/8 binary64))
(pow.f64 %75 #s(literal 1/4 binary64))
(pow.f64 %56 #s(literal 1 binary64))
(pow.f64 %55 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %75 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %56 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %55 #s(literal -1/2 binary64)))
%56
(fabs.f64 %59)
(fabs.f64 %58)
(fabs.f64 %57)
(fabs.f64 %56)
(*.f64 (*.f64 %110 %57) %57)
(*.f64 (*.f64 %56 #s(literal 3 binary64)) %112)
(*.f64 %162 x)
(*.f64 %164 #s(literal 3 binary64))
(*.f64 %110 %55)
(*.f64 %109 %116)
(*.f64 %112 %168)
(*.f64 %57 (*.f64 %57 %110))
(*.f64 %116 %109)
(*.f64 %61 %3)
%174
(*.f64 %119 %56)
(*.f64 %55 %110)
(*.f64 %3 %61)
(*.f64 #s(literal 3 binary64) %178)
(*.f64 #s(literal 3 binary64) %164)
(*.f64 x %162)
(pow.f64 %174 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %174 #s(literal -1 binary64)))
(fma.f64 %164 #s(literal 2 binary64) %185)
(fma.f64 #s(literal 2 binary64) %164 %187)
(-.f64 %189 (neg.f64 %185))
(-.f64 %192 (neg.f64 %187))
(+.f64 %189 %185)
(+.f64 %192 %187)
%198
%200
%201
%202
%203
%206
%209
%210
%211
%213
%215
%217
%218
%220
%221
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%236
%238
%239
%240
%242
%245
%246
%247
%248
%249
%251
%253
%256
%258
%260
%262
%265
%268
%271
%272
%274
%275
%276
%277
%279
%280
%281
%282
%284
%285
%286
%287
%290
%291
%292
%293
%296
%297
%298
%299
%302
%304
%306
%307
%309
%310
%311
%312
%313
%314
%315
%317
%319
%321
%322
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%354
%355
%356
%357
%358
%359
%361
%362
%363
%364
%366
%367
%368
%369
%370
%371
%373
%374
%375
%376
%378
%379
%380
%381
%383
%385
%387
%388
%389
%390
%391
%392
%393
%394
%395
%396
%397
%398
%400
%401
%402
%403
%405
%406
%407
%408
%410
%412
%413
%414
%415
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%445
%446
%447
%448
%449
%450
%451
%452
%453
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%467
%468
%469
%470
%471
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%487
%489
%490
%492
%493
%494
%495
%496
%497
(*.f64 %99 %99)
(*.f64 %101 %101)
(*.f64 %500 %57)
(*.f64 %96 %96)
(*.f64 %57 %500)
(*.f64 %61 %56)
(*.f64 %104 %104)
(*.f64 %56 %61)
(*.f64 %55 %55)
%75
(pow.f64 %71 #s(literal 1/4 binary64))
(pow.f64 %96 #s(literal 2 binary64))
(pow.f64 %57 #s(literal 4 binary64))
(pow.f64 %76 #s(literal 1/2 binary64))
(pow.f64 %104 #s(literal 2 binary64))
(pow.f64 %75 #s(literal 1 binary64))
(pow.f64 %56 #s(literal 4 binary64))
(pow.f64 %55 #s(literal 2 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %96 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %76 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %75 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %104 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %55 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(neg.f64 %254)
(sqrt.f64 %76)
(fabs.f64 (neg.f64 %533))
(fabs.f64 (neg.f64 %537))
(fabs.f64 (neg.f64 %540))
(fabs.f64 (neg.f64 %543))
(fabs.f64 (neg.f64 %546))
(fabs.f64 (neg.f64 %549))
(fabs.f64 (neg.f64 %552))
(fabs.f64 (neg.f64 %555))
(fabs.f64 (*.f64 %558 %58))
(fabs.f64 (*.f64 %558 %57))
(fabs.f64 (*.f64 %558 %56))
(fabs.f64 (*.f64 %565 %58))
(fabs.f64 (*.f64 %565 %57))
(fabs.f64 (*.f64 %565 %56))
(fabs.f64 (*.f64 %572 %58))
(fabs.f64 (*.f64 %572 %57))
(fabs.f64 (*.f64 %572 %56))
(fabs.f64 (*.f64 %579 %58))
(fabs.f64 (*.f64 %579 %57))
(fabs.f64 (*.f64 %579 %56))
(fabs.f64 (*.f64 %500 %58))
(fabs.f64 (*.f64 %500 %56))
(fabs.f64 (*.f64 %590 %58))
(fabs.f64 (*.f64 %590 %57))
(fabs.f64 (*.f64 %590 %56))
(fabs.f64 (*.f64 %532 %58))
(fabs.f64 (*.f64 %536 %58))
(fabs.f64 (*.f64 %61 %58))
(fabs.f64 (*.f64 %58 %558))
(fabs.f64 (*.f64 %58 %565))
(fabs.f64 (*.f64 %58 %572))
(fabs.f64 (*.f64 %58 %579))
(fabs.f64 (*.f64 %58 %500))
(fabs.f64 (*.f64 %58 %590))
(fabs.f64 (*.f64 %58 %532))
(fabs.f64 (*.f64 %58 %536))
(fabs.f64 (*.f64 %58 %61))
(fabs.f64 (*.f64 %57 %558))
(fabs.f64 (*.f64 %57 %565))
(fabs.f64 (*.f64 %57 %572))
(fabs.f64 (*.f64 %57 %579))
(fabs.f64 (*.f64 %57 %590))
(fabs.f64 (*.f64 %56 %558))
(fabs.f64 (*.f64 %56 %565))
(fabs.f64 (*.f64 %56 %572))
(fabs.f64 (*.f64 %56 %579))
(fabs.f64 (*.f64 %56 %500))
(fabs.f64 (*.f64 %56 %590))
(fabs.f64 (*.f64 %532 %57))
(fabs.f64 (*.f64 %536 %57))
(fabs.f64 (*.f64 %61 %57))
(fabs.f64 (*.f64 %532 %56))
(fabs.f64 (*.f64 %536 %56))
(fabs.f64 (*.f64 %57 %61))
(fabs.f64 (*.f64 %96 %104))
(fabs.f64 (*.f64 %96 y))
(fabs.f64 (*.f64 %104 %96))
(fabs.f64 (*.f64 y %96))
(fabs.f64 %533)
(fabs.f64 %537)
(fabs.f64 %540)
(fabs.f64 %543)
(fabs.f64 %546)
(fabs.f64 %549)
(fabs.f64 %552)
(fabs.f64 %555)
(fabs.f64 %254)
(fabs.f64 %75)
(*.f64 %300 %104)
(*.f64 %303 %57)
(*.f64 %305 %96)
(*.f64 %178 %56)
(*.f64 %308 %208)
(*.f64 %41 %28)
(*.f64 %128 %55)
(*.f64 %316 x)
(*.f64 %318 %112)
(*.f64 %320 y)
(*.f64 %13 %75)
(*.f64 %112 %353)
(*.f64 %112 %55)
(*.f64 %208 %365)
(*.f64 %208 %104)
(*.f64 %96 %382)
(*.f64 %57 %384)
(*.f64 %104 %409)
(*.f64 %104 %208)
(*.f64 #s(literal 1 binary64) %223)
(*.f64 %301 #s(literal 1/2 binary64))
(*.f64 %223 #s(literal 1 binary64))
(*.f64 %75 %11)
%223
(*.f64 %56 %164)
(*.f64 %55 %126)
(*.f64 %55 %112)
(*.f64 %28 %39)
(*.f64 %28 y)
(*.f64 #s(literal 2 binary64) %466)
(*.f64 y %472)
(*.f64 y %28)
(*.f64 x %479)
(*.f64 x %75)
(pow.f64 %223 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %223 #s(literal -1 binary64)))
(/.f64 %301 #s(literal 2 binary64))
(neg.f64 %372)
(fma.f64 #s(literal 1/2 binary64) %223 %466)
(fma.f64 %223 #s(literal 1/2 binary64) %712)
(-.f64 %712 (neg.f64 %712))
(-.f64 %466 (neg.f64 %466))
(+.f64 %712 %712)
(+.f64 %466 %466)
%198
%200
%201
%202
%203
%206
%209
%210
%211
%213
%215
%217
%218
%220
%221
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%236
%238
%239
%240
%242
%245
%246
%247
%248
%249
%251
%253
%256
%258
%260
%262
%265
%268
%271
%272
%274
%275
%276
%277
%279
%280
%281
%282
%284
%285
%286
%287
%290
%291
%292
%293
%296
%297
%298
%299
%302
%304
%306
%307
%309
%310
%311
%312
%313
%314
%315
%317
%319
%321
%322
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%354
%355
%356
%357
%358
%359
%361
%362
%363
%364
%366
%367
%368
%369
%370
%371
%373
%374
%375
%376
%378
%379
%380
%381
%383
%385
%387
%388
%389
%390
%391
%392
%393
%394
%395
%396
%397
%398
%400
%401
%402
%403
%405
%406
%407
%408
%410
%412
%413
%414
%415
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%445
%446
%447
%448
%449
%450
%451
%452
%453
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%467
%468
%469
%470
%471
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%487
%489
%490
%492
%493
%494
%495
%496
%497
%198
%200
%201
%202
%203
%206
%209
%210
%211
%213
%215
%217
%218
%220
%221
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%236
%238
%239
%240
%242
%245
%246
%247
%248
%249
%251
%253
%256
%258
%260
%262
%265
%268
%271
%272
%274
%275
%276
%277
%279
%280
%281
%282
%284
%285
%286
%287
%290
%291
%292
%293
%296
%297
%298
%299
%302
%304
%306
%307
%309
%310
%311
%312
%313
%314
%315
%317
%319
%321
%322
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%354
%355
%356
%357
%358
%359
%361
%362
%363
%364
%366
%367
%368
%369
%370
%371
%373
%374
%375
%376
%378
%379
%380
%381
%383
%385
%387
%388
%389
%390
%391
%392
%393
%394
%395
%396
%397
%398
%400
%401
%402
%403
%405
%406
%407
%408
%410
%412
%413
%414
%415
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%445
%446
%447
%448
%449
%450
%451
%452
%453
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%467
%468
%469
%470
%471
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%487
%489
%490
%492
%493
%494
%495
%496
%497
%198
%200
%201
%202
%203
%206
%209
%210
%211
%213
%215
%217
%218
%220
%221
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%236
%238
%239
%240
%242
%245
%246
%247
%248
%249
%251
%253
%256
%258
%260
%262
%265
%268
%271
%272
%274
%275
%276
%277
%279
%280
%281
%282
%284
%285
%286
%287
%290
%291
%292
%293
%296
%297
%298
%299
%302
%304
%306
%307
%309
%310
%311
%312
%313
%314
%315
%317
%319
%321
%322
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%354
%355
%356
%357
%358
%359
%361
%362
%363
%364
%366
%367
%368
%369
%370
%371
%373
%374
%375
%376
%378
%379
%380
%381
%383
%385
%387
%388
%389
%390
%391
%392
%393
%394
%395
%396
%397
%398
%400
%401
%402
%403
%405
%406
%407
%408
%410
%412
%413
%414
%415
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%445
%446
%447
%448
%449
%450
%451
%452
%453
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%467
%468
%469
%470
%471
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%487
%489
%490
%492
%493
%494
%495
%496
%497
(*.f64 %263 %96)
(*.f64 %273 %104)
(*.f64 %278 %55)
(*.f64 %283 %104)
(*.f64 %289 %104)
(*.f64 %295 %55)
(*.f64 %133 %55)
(*.f64 %324 %104)
(*.f64 %323 %254)
(*.f64 %288 %208)
(*.f64 %294 %112)
%301
(*.f64 %38 %28)
(*.f64 %10 %75)
(*.f64 %112 %294)
(*.f64 %360 %207)
(*.f64 %208 %288)
(*.f64 %372 #s(literal -2 binary64))
(*.f64 %96 %377)
(*.f64 %386 %269)
(*.f64 %386 x)
(*.f64 #s(literal -2 binary64) %372)
(*.f64 %104 %399)
(*.f64 %104 %404)
(*.f64 %104 %411)
(*.f64 %104 %416)
(*.f64 #s(literal 1 binary64) %301)
(*.f64 %301 #s(literal 1 binary64))
(*.f64 %223 #s(literal 2 binary64))
(*.f64 %75 %10)
(*.f64 %55 %444)
(*.f64 %55 %130)
(*.f64 %55 %454)
(*.f64 %28 %38)
(*.f64 #s(literal 2 binary64) %223)
(*.f64 y %243)
(*.f64 x %386)
(pow.f64 %301 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %301 #s(literal -1 binary64)))
(neg.f64 %491)
(fma.f64 %300 %104 %264)
(fma.f64 %300 %104 %267)
(fma.f64 %300 %104 %270)
(fma.f64 %300 %104 %223)
(fma.f64 %303 %57 %264)
(fma.f64 %303 %57 %267)
(fma.f64 %303 %57 %270)
(fma.f64 %303 %57 %223)
(fma.f64 %305 %96 %264)
(fma.f64 %305 %96 %267)
(fma.f64 %305 %96 %270)
(fma.f64 %305 %96 %223)
(fma.f64 %178 %56 %264)
(fma.f64 %178 %56 %267)
(fma.f64 %178 %56 %270)
(fma.f64 %178 %56 %223)
(fma.f64 %308 %208 %264)
(fma.f64 %308 %208 %267)
(fma.f64 %308 %208 %270)
(fma.f64 %308 %208 %223)
(fma.f64 %41 %28 %264)
(fma.f64 %41 %28 %267)
(fma.f64 %41 %28 %270)
(fma.f64 %41 %28 %223)
(fma.f64 %128 %55 %264)
(fma.f64 %128 %55 %267)
(fma.f64 %128 %55 %270)
(fma.f64 %128 %55 %223)
(fma.f64 %316 x %264)
(fma.f64 %316 x %267)
(fma.f64 %316 x %270)
(fma.f64 %316 x %223)
(fma.f64 %318 %112 %264)
(fma.f64 %318 %112 %267)
(fma.f64 %318 %112 %270)
(fma.f64 %318 %112 %223)
(fma.f64 %320 y %264)
(fma.f64 %320 y %267)
(fma.f64 %320 y %270)
(fma.f64 %320 y %223)
(fma.f64 %13 %75 %264)
(fma.f64 %13 %75 %267)
(fma.f64 %13 %75 %270)
(fma.f64 %13 %75 %223)
(fma.f64 %112 %353 %264)
(fma.f64 %112 %353 %267)
(fma.f64 %112 %353 %270)
(fma.f64 %112 %353 %223)
(fma.f64 %112 %55 %264)
(fma.f64 %112 %55 %267)
(fma.f64 %112 %55 %270)
(fma.f64 %112 %55 %223)
(fma.f64 %208 %365 %264)
(fma.f64 %208 %365 %267)
(fma.f64 %208 %365 %270)
(fma.f64 %208 %365 %223)
(fma.f64 %208 %104 %264)
(fma.f64 %208 %104 %267)
(fma.f64 %208 %104 %270)
(fma.f64 %208 %104 %223)
(fma.f64 %96 %382 %264)
(fma.f64 %96 %382 %267)
(fma.f64 %96 %382 %270)
(fma.f64 %96 %382 %223)
(fma.f64 %57 %384 %264)
(fma.f64 %57 %384 %267)
(fma.f64 %57 %384 %270)
(fma.f64 %57 %384 %223)
(fma.f64 %104 %409 %264)
(fma.f64 %104 %409 %267)
(fma.f64 %104 %409 %270)
(fma.f64 %104 %409 %223)
(fma.f64 %104 %208 %264)
(fma.f64 %104 %208 %267)
(fma.f64 %104 %208 %270)
(fma.f64 %104 %208 %223)
(fma.f64 #s(literal 1 binary64) %223 %264)
(fma.f64 #s(literal 1 binary64) %223 %267)
(fma.f64 #s(literal 1 binary64) %223 %270)
(fma.f64 #s(literal 1 binary64) %223 %223)
(fma.f64 %301 #s(literal 1/2 binary64) %264)
(fma.f64 %301 #s(literal 1/2 binary64) %267)
(fma.f64 %301 #s(literal 1/2 binary64) %270)
(fma.f64 %301 #s(literal 1/2 binary64) %223)
(fma.f64 %223 #s(literal 1 binary64) %264)
(fma.f64 %223 #s(literal 1 binary64) %267)
(fma.f64 %223 #s(literal 1 binary64) %270)
(fma.f64 %223 #s(literal 1 binary64) %223)
(fma.f64 %75 %11 %264)
(fma.f64 %75 %11 %267)
(fma.f64 %75 %11 %270)
(fma.f64 %75 %11 %223)
(fma.f64 %75 x %264)
(fma.f64 %75 x %267)
(fma.f64 %75 x %270)
(fma.f64 %75 x %223)
(fma.f64 %56 %164 %264)
(fma.f64 %56 %164 %267)
(fma.f64 %56 %164 %270)
(fma.f64 %56 %164 %223)
(fma.f64 %55 %126 %264)
(fma.f64 %55 %126 %267)
(fma.f64 %55 %126 %270)
(fma.f64 %55 %126 %223)
(fma.f64 %55 %112 %264)
(fma.f64 %55 %112 %267)
(fma.f64 %55 %112 %270)
(fma.f64 %55 %112 %223)
(fma.f64 %28 %39 %264)
(fma.f64 %28 %39 %267)
(fma.f64 %28 %39 %270)
(fma.f64 %28 %39 %223)
(fma.f64 %28 y %264)
(fma.f64 %28 y %267)
(fma.f64 %28 y %270)
(fma.f64 %28 y %223)
(fma.f64 #s(literal 2 binary64) %466 %264)
(fma.f64 #s(literal 2 binary64) %466 %267)
(fma.f64 #s(literal 2 binary64) %466 %270)
(fma.f64 #s(literal 2 binary64) %466 %223)
(fma.f64 y %472 %264)
(fma.f64 y %472 %267)
(fma.f64 y %472 %270)
(fma.f64 y %472 %223)
(fma.f64 y %28 %264)
(fma.f64 y %28 %267)
(fma.f64 y %28 %270)
(fma.f64 y %28 %223)
(fma.f64 x %479 %264)
(fma.f64 x %479 %267)
(fma.f64 x %479 %270)
(fma.f64 x %479 %223)
(fma.f64 x %75 %264)
(fma.f64 x %75 %267)
(fma.f64 x %75 %270)
(fma.f64 x %75 %223)
(-.f64 %223 %486)
(-.f64 %223 %488)
(-.f64 %223 (*.f64 %372 #s(literal 1 binary64)))
(-.f64 %223 (*.f64 #s(literal -1 binary64) %223))
(-.f64 %223 %372)
(+.f64 %223 %264)
(+.f64 %223 %267)
(+.f64 %223 %270)
(+.f64 %223 %223)
%198
%200
%201
%202
%203
%206
%209
%210
%211
%213
%215
%217
%218
%220
%221
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%236
%238
%239
%240
%242
%245
%246
%247
%248
%249
%251
%253
%256
%258
%260
%262
%265
%268
%271
%272
%274
%275
%276
%277
%279
%280
%281
%282
%284
%285
%286
%287
%290
%291
%292
%293
%296
%297
%298
%299
%302
%304
%306
%307
%309
%310
%311
%312
%313
%314
%315
%317
%319
%321
%322
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%354
%355
%356
%357
%358
%359
%361
%362
%363
%364
%366
%367
%368
%369
%370
%371
%373
%374
%375
%376
%378
%379
%380
%381
%383
%385
%387
%388
%389
%390
%391
%392
%393
%394
%395
%396
%397
%398
%400
%401
%402
%403
%405
%406
%407
%408
%410
%412
%413
%414
%415
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%445
%446
%447
%448
%449
%450
%451
%452
%453
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%467
%468
%469
%470
%471
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%487
%489
%490
%492
%493
%494
%495
%496
%497

%3 = (*.f64 y x)
%4 = (+.f64 y y)
%5 = (*.f64 %4 x)
%6 = (*.f64 %5 y)
%8 = (*.f64 y %3)
x
#s(literal 3 binary64)
y
%3
%4
%5
%6
(fma.f64 y %3 %6)
%8
(*.f64 #s(literal 3 binary64) %8)

%4 = (+.f64 y y)
%5 = (*.f64 %4 x)
%7 = (neg.f64 x)
%8 = (neg.f64 y)
%11 = (*.f64 y x)
%12 = (*.f64 #s(literal 1/2 binary64) %11)
%26 = (*.f64 %5 #s(literal 4 binary64))
%31 = (+.f64 x x)
%36 = (*.f64 #s(literal 4 binary64) %5)
%38 = (*.f64 #s(literal 2 binary64) %5)
%40 = (*.f64 %5 #s(literal 2 binary64))
%42 = (*.f64 #s(literal -2 binary64) x)
%43 = (*.f64 %42 y)
%56 = (*.f64 %8 #s(literal 1 binary64))
%59 = (*.f64 %8 x)
%66 = (*.f64 y #s(literal 4 binary64))
%68 = (*.f64 %4 #s(literal 2 binary64))
%70 = (*.f64 #s(literal 1/2 binary64) y)
%74 = (*.f64 #s(literal 4 binary64) y)
%86 = (*.f64 #s(literal 2 binary64) %4)
%130 = (*.f64 #s(literal -2 binary64) y)
%133 = (*.f64 %4 #s(literal 0 binary64))
%135 = (*.f64 #s(literal 0 binary64) %4)
%176 = (*.f64 #s(literal -1 binary64) y)
%183 = (*.f64 %11 #s(literal 4 binary64))
%209 = (*.f64 %31 #s(literal 2 binary64))
%236 = (*.f64 %56 %7)
%263 = (*.f64 %59 #s(literal 1 binary64))
%266 = (neg.f64 %263)
%270 = (fabs.f64 y)
%271 = (*.f64 %270 x)
%272 = (*.f64 #s(literal 2 binary64) %271)
%274 = (*.f64 %11 y)
%275 = (*.f64 %274 #s(literal 4 binary64))
%277 = (neg.f64 %270)
%278 = (*.f64 %31 %277)
%280 = (*.f64 %31 %270)
%282 = (*.f64 #s(literal 1/2 binary64) %274)
%284 = (fabs.f64 %4)
%287 = (+.f64 %270 %270)
%290 = (*.f64 %8 y)
%292 = (*.f64 y y)
%293 = (*.f64 #s(literal -2 binary64) %292)
%295 = (*.f64 %8 %11)
%298 = (*.f64 %4 y)
%300 = (*.f64 #s(literal 4 binary64) %274)
%306 = (*.f64 %271 #s(literal 2 binary64))
%308 = (fma.f64 %270 x %271)
%314 = (*.f64 %5 y)
%323 = (*.f64 %314 #s(literal 2 binary64))
%328 = (*.f64 #s(literal 2 binary64) %314)
%333 = (*.f64 #s(literal 4 binary64) %314)
%341 = (*.f64 %314 #s(literal 4 binary64))
%354 = (*.f64 %42 %292)
%356 = (*.f64 %270 %7)
%357 = (*.f64 %277 %7)
%358 = (*.f64 %270 %357)
%360 = (*.f64 %56 %59)
%362 = (*.f64 %7 %277)
%364 = (*.f64 (neg.f64 %362) %277)
%366 = (*.f64 %362 %270)
%368 = (neg.f64 %277)
%369 = (*.f64 %368 %357)
%371 = (*.f64 %368 %271)
%373 = (*.f64 %277 %356)
%384 = (*.f64 %277 x)
%505 = (*.f64 %56 %11)
%507 = (*.f64 %368 %384)
%509 = (*.f64 #s(literal -1/2 binary64) %314)
%511 = (*.f64 #s(literal -2 binary64) %282)
%513 = (*.f64 #s(literal -1 binary64) %274)
%515 = (*.f64 %295 #s(literal 1 binary64))
%526 = (*.f64 #s(literal 3 binary64) x)
%527 = (*.f64 %526 %277)
%528 = (*.f64 %527 %277)
%530 = (*.f64 (*.f64 #s(literal 3 binary64) %271) %270)
%531 = (*.f64 %270 #s(literal 3 binary64))
%533 = (*.f64 (*.f64 x %531) %270)
%534 = (*.f64 %271 %531)
%535 = (*.f64 %531 %271)
%536 = (*.f64 %8 #s(literal 3 binary64))
%537 = (*.f64 %536 %59)
%538 = (*.f64 %526 %270)
%539 = (*.f64 %538 %270)
%540 = (*.f64 %526 %8)
%541 = (*.f64 %540 %8)
%543 = (*.f64 %277 (*.f64 %277 %526))
%544 = (*.f64 y #s(literal 3 binary64))
%545 = (*.f64 %544 y)
%546 = (*.f64 %545 x)
%547 = (*.f64 %526 %292)
%548 = (*.f64 %544 x)
%549 = (*.f64 %548 y)
%550 = (*.f64 %59 %536)
%551 = (*.f64 %270 %538)
%552 = (*.f64 %544 %11)
%553 = (*.f64 %292 %526)
%554 = (*.f64 %8 %540)
%555 = (*.f64 #s(literal 1 binary64) %546)
%556 = (*.f64 %274 #s(literal 3 binary64))
%557 = (*.f64 %11 %544)
%558 = (*.f64 y %548)
%559 = (*.f64 #s(literal 3 binary64) %274)
%560 = (*.f64 x %545)
%561 = (pow.f64 %546 #s(literal 1 binary64))
%563 = (/.f64 (fma.f64 %314 #s(literal 2 binary64) %314) #s(literal 2 binary64))
%566 = (/.f64 (*.f64 %314 #s(literal 6 binary64)) #s(literal 4 binary64))
%568 = (/.f64 (*.f64 #s(literal 6 binary64) %314) #s(literal 4 binary64))
%570 = (/.f64 #s(literal 1 binary64) (pow.f64 %546 #s(literal -1 binary64)))
%572 = (neg.f64 (*.f64 %527 %270))
%574 = (neg.f64 (*.f64 %548 %56))
%577 = (neg.f64 (*.f64 x (*.f64 %290 #s(literal 3 binary64))))
%580 = (neg.f64 (*.f64 #s(literal -3 binary64) %274))
%581 = (fma.f64 %272 %270 %358)
%582 = (fma.f64 %272 %270 %360)
%583 = (fma.f64 %272 %270 %364)
%584 = (fma.f64 %272 %270 %366)
%585 = (fma.f64 %272 %270 %369)
%586 = (fma.f64 %272 %270 %371)
%587 = (fma.f64 %272 %270 %373)
%588 = (fma.f64 %272 %270 %274)
%589 = (fma.f64 %275 #s(literal 1/2 binary64) %358)
%590 = (fma.f64 %275 #s(literal 1/2 binary64) %360)
%591 = (fma.f64 %275 #s(literal 1/2 binary64) %364)
%592 = (fma.f64 %275 #s(literal 1/2 binary64) %366)
%593 = (fma.f64 %275 #s(literal 1/2 binary64) %369)
%594 = (fma.f64 %275 #s(literal 1/2 binary64) %371)
%595 = (fma.f64 %275 #s(literal 1/2 binary64) %373)
%596 = (fma.f64 %275 #s(literal 1/2 binary64) %274)
%597 = (fma.f64 %278 %277 %358)
%598 = (fma.f64 %278 %277 %360)
%599 = (fma.f64 %278 %277 %364)
%600 = (fma.f64 %278 %277 %366)
%601 = (fma.f64 %278 %277 %369)
%602 = (fma.f64 %278 %277 %371)
%603 = (fma.f64 %278 %277 %373)
%604 = (fma.f64 %278 %277 %274)
%605 = (fma.f64 %280 %270 %358)
%606 = (fma.f64 %280 %270 %360)
%607 = (fma.f64 %280 %270 %364)
%608 = (fma.f64 %280 %270 %366)
%609 = (fma.f64 %280 %270 %369)
%610 = (fma.f64 %280 %270 %371)
%611 = (fma.f64 %280 %270 %373)
%612 = (fma.f64 %280 %270 %274)
%613 = (fma.f64 %282 #s(literal 4 binary64) %358)
%614 = (fma.f64 %282 #s(literal 4 binary64) %360)
%615 = (fma.f64 %282 #s(literal 4 binary64) %364)
%616 = (fma.f64 %282 #s(literal 4 binary64) %366)
%617 = (fma.f64 %282 #s(literal 4 binary64) %369)
%618 = (fma.f64 %282 #s(literal 4 binary64) %371)
%619 = (fma.f64 %282 #s(literal 4 binary64) %373)
%620 = (fma.f64 %282 #s(literal 4 binary64) %274)
%621 = (fma.f64 %284 %271 %358)
%622 = (fma.f64 %284 %271 %360)
%623 = (fma.f64 %284 %271 %364)
%624 = (fma.f64 %284 %271 %366)
%625 = (fma.f64 %284 %271 %369)
%626 = (fma.f64 %284 %271 %371)
%627 = (fma.f64 %284 %271 %373)
%628 = (fma.f64 %284 %271 %274)
%629 = (*.f64 %56 %43)
%630 = (fma.f64 %356 %277 %629)
%633 = (*.f64 (neg.f64 (*.f64 #s(literal -2 binary64) %271)) %270)
%634 = (fma.f64 %356 %277 %633)
%637 = (*.f64 (neg.f64 (*.f64 #s(literal -2 binary64) %270)) %271)
%638 = (fma.f64 %356 %277 %637)
%639 = (neg.f64 %278)
%640 = (*.f64 %639 %270)
%641 = (fma.f64 %356 %277 %640)
%642 = (*.f64 #s(literal 1/2 binary64) %295)
%643 = (*.f64 #s(literal -4 binary64) %642)
%644 = (fma.f64 %356 %277 %643)
%646 = (*.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 4 binary64) %295))
%647 = (fma.f64 %356 %277 %646)
%648 = (*.f64 #s(literal -1 binary64) %354)
%649 = (fma.f64 %356 %277 %648)
%650 = (*.f64 %295 #s(literal -2 binary64))
%651 = (fma.f64 %356 %277 %650)
%652 = (fma.f64 %356 %277 %314)
%653 = (fma.f64 %271 %284 %358)
%654 = (fma.f64 %271 %284 %360)
%655 = (fma.f64 %271 %284 %364)
%656 = (fma.f64 %271 %284 %366)
%657 = (fma.f64 %271 %284 %369)
%658 = (fma.f64 %271 %284 %371)
%659 = (fma.f64 %271 %284 %373)
%660 = (fma.f64 %271 %284 %274)
%661 = (fma.f64 %271 %287 %358)
%662 = (fma.f64 %271 %287 %360)
%663 = (fma.f64 %271 %287 %364)
%664 = (fma.f64 %271 %287 %366)
%665 = (fma.f64 %271 %287 %369)
%666 = (fma.f64 %271 %287 %371)
%667 = (fma.f64 %271 %287 %373)
%668 = (fma.f64 %271 %287 %274)
%669 = (fma.f64 %271 %270 %629)
%670 = (fma.f64 %271 %270 %633)
%671 = (fma.f64 %271 %270 %637)
%672 = (fma.f64 %271 %270 %640)
%673 = (fma.f64 %271 %270 %643)
%674 = (fma.f64 %271 %270 %646)
%675 = (fma.f64 %271 %270 %648)
%676 = (fma.f64 %271 %270 %650)
%677 = (fma.f64 %271 %270 %314)
%678 = (fma.f64 #s(literal 4 binary64) %282 %358)
%679 = (fma.f64 #s(literal 4 binary64) %282 %360)
%680 = (fma.f64 #s(literal 4 binary64) %282 %364)
%681 = (fma.f64 #s(literal 4 binary64) %282 %366)
%682 = (fma.f64 #s(literal 4 binary64) %282 %369)
%683 = (fma.f64 #s(literal 4 binary64) %282 %371)
%684 = (fma.f64 #s(literal 4 binary64) %282 %373)
%685 = (fma.f64 #s(literal 4 binary64) %282 %274)
%686 = (fma.f64 %42 %290 %358)
%687 = (fma.f64 %42 %290 %360)
%688 = (fma.f64 %42 %290 %364)
%689 = (fma.f64 %42 %290 %366)
%690 = (fma.f64 %42 %290 %369)
%691 = (fma.f64 %42 %290 %371)
%692 = (fma.f64 %42 %290 %373)
%693 = (fma.f64 %42 %290 %274)
%694 = (fma.f64 %293 %7 %358)
%695 = (fma.f64 %293 %7 %360)
%696 = (fma.f64 %293 %7 %364)
%697 = (fma.f64 %293 %7 %366)
%698 = (fma.f64 %293 %7 %369)
%699 = (fma.f64 %293 %7 %371)
%700 = (fma.f64 %293 %7 %373)
%701 = (fma.f64 %293 %7 %274)
%702 = (fma.f64 #s(literal -2 binary64) %295 %358)
%703 = (fma.f64 #s(literal -2 binary64) %295 %360)
%704 = (fma.f64 #s(literal -2 binary64) %295 %364)
%705 = (fma.f64 #s(literal -2 binary64) %295 %366)
%706 = (fma.f64 #s(literal -2 binary64) %295 %369)
%707 = (fma.f64 #s(literal -2 binary64) %295 %371)
%708 = (fma.f64 #s(literal -2 binary64) %295 %373)
%709 = (fma.f64 #s(literal -2 binary64) %295 %274)
%710 = (fma.f64 %277 %384 %629)
%711 = (fma.f64 %277 %384 %633)
%712 = (fma.f64 %277 %384 %637)
%713 = (fma.f64 %277 %384 %640)
%714 = (fma.f64 %277 %384 %643)
%715 = (fma.f64 %277 %384 %646)
%716 = (fma.f64 %277 %384 %648)
%717 = (fma.f64 %277 %384 %650)
%718 = (fma.f64 %277 %384 %314)
%719 = (fma.f64 %31 %292 %358)
%720 = (fma.f64 %31 %292 %360)
%721 = (fma.f64 %31 %292 %364)
%722 = (fma.f64 %31 %292 %366)
%723 = (fma.f64 %31 %292 %369)
%724 = (fma.f64 %31 %292 %371)
%725 = (fma.f64 %31 %292 %373)
%726 = (fma.f64 %31 %292 %274)
%727 = (fma.f64 %298 x %358)
%728 = (fma.f64 %298 x %360)
%729 = (fma.f64 %298 x %364)
%730 = (fma.f64 %298 x %366)
%731 = (fma.f64 %298 x %369)
%732 = (fma.f64 %298 x %371)
%733 = (fma.f64 %298 x %373)
%734 = (fma.f64 %298 x %274)
%735 = (fma.f64 #s(literal 1/2 binary64) %300 %358)
%736 = (fma.f64 #s(literal 1/2 binary64) %300 %360)
%737 = (fma.f64 #s(literal 1/2 binary64) %300 %364)
%738 = (fma.f64 #s(literal 1/2 binary64) %300 %366)
%739 = (fma.f64 #s(literal 1/2 binary64) %300 %369)
%740 = (fma.f64 #s(literal 1/2 binary64) %300 %371)
%741 = (fma.f64 #s(literal 1/2 binary64) %300 %373)
%742 = (fma.f64 #s(literal 1/2 binary64) %300 %274)
%743 = (fma.f64 #s(literal 1/2 binary64) %314 %629)
%744 = (fma.f64 #s(literal 1/2 binary64) %314 %633)
%745 = (fma.f64 #s(literal 1/2 binary64) %314 %637)
%746 = (fma.f64 #s(literal 1/2 binary64) %314 %640)
%747 = (fma.f64 #s(literal 1/2 binary64) %314 %643)
%748 = (fma.f64 #s(literal 1/2 binary64) %314 %646)
%749 = (fma.f64 #s(literal 1/2 binary64) %314 %648)
%750 = (fma.f64 #s(literal 1/2 binary64) %314 %650)
%751 = (fma.f64 #s(literal 1/2 binary64) %314 %314)
%752 = (fma.f64 %7 %293 %358)
%753 = (fma.f64 %7 %293 %360)
%754 = (fma.f64 %7 %293 %364)
%755 = (fma.f64 %7 %293 %366)
%756 = (fma.f64 %7 %293 %369)
%757 = (fma.f64 %7 %293 %371)
%758 = (fma.f64 %7 %293 %373)
%759 = (fma.f64 %7 %293 %274)
%760 = (fma.f64 %7 %290 %629)
%761 = (fma.f64 %7 %290 %633)
%762 = (fma.f64 %7 %290 %637)
%763 = (fma.f64 %7 %290 %640)
%764 = (fma.f64 %7 %290 %643)
%765 = (fma.f64 %7 %290 %646)
%766 = (fma.f64 %7 %290 %648)
%767 = (fma.f64 %7 %290 %650)
%768 = (fma.f64 %7 %290 %314)
%769 = (fma.f64 %130 %59 %358)
%770 = (fma.f64 %130 %59 %360)
%771 = (fma.f64 %130 %59 %364)
%772 = (fma.f64 %130 %59 %366)
%773 = (fma.f64 %130 %59 %369)
%774 = (fma.f64 %130 %59 %371)
%775 = (fma.f64 %130 %59 %373)
%776 = (fma.f64 %130 %59 %274)
%777 = (fma.f64 %290 %42 %358)
%778 = (fma.f64 %290 %42 %360)
%779 = (fma.f64 %290 %42 %364)
%780 = (fma.f64 %290 %42 %366)
%781 = (fma.f64 %290 %42 %369)
%782 = (fma.f64 %290 %42 %371)
%783 = (fma.f64 %290 %42 %373)
%784 = (fma.f64 %290 %42 %274)
%785 = (fma.f64 %290 %7 %629)
%786 = (fma.f64 %290 %7 %633)
%787 = (fma.f64 %290 %7 %637)
%788 = (fma.f64 %290 %7 %640)
%789 = (fma.f64 %290 %7 %643)
%790 = (fma.f64 %290 %7 %646)
%791 = (fma.f64 %290 %7 %648)
%792 = (fma.f64 %290 %7 %650)
%793 = (fma.f64 %290 %7 %314)
%794 = (fma.f64 %59 %130 %358)
%795 = (fma.f64 %59 %130 %360)
%796 = (fma.f64 %59 %130 %364)
%797 = (fma.f64 %59 %130 %366)
%798 = (fma.f64 %59 %130 %369)
%799 = (fma.f64 %59 %130 %371)
%800 = (fma.f64 %59 %130 %373)
%801 = (fma.f64 %59 %130 %274)
%802 = (fma.f64 %59 %8 %629)
%803 = (fma.f64 %59 %8 %633)
%804 = (fma.f64 %59 %8 %637)
%805 = (fma.f64 %59 %8 %640)
%806 = (fma.f64 %59 %8 %643)
%807 = (fma.f64 %59 %8 %646)
%808 = (fma.f64 %59 %8 %648)
%809 = (fma.f64 %59 %8 %650)
%810 = (fma.f64 %59 %8 %314)
%811 = (fma.f64 %270 %306 %358)
%812 = (fma.f64 %270 %306 %360)
%813 = (fma.f64 %270 %306 %364)
%814 = (fma.f64 %270 %306 %366)
%815 = (fma.f64 %270 %306 %369)
%816 = (fma.f64 %270 %306 %371)
%817 = (fma.f64 %270 %306 %373)
%818 = (fma.f64 %270 %306 %274)
%819 = (fma.f64 %270 %308 %358)
%820 = (fma.f64 %270 %308 %360)
%821 = (fma.f64 %270 %308 %364)
%822 = (fma.f64 %270 %308 %366)
%823 = (fma.f64 %270 %308 %369)
%824 = (fma.f64 %270 %308 %371)
%825 = (fma.f64 %270 %308 %373)
%826 = (fma.f64 %270 %308 %274)
%827 = (fma.f64 %270 %271 %629)
%828 = (fma.f64 %270 %271 %633)
%829 = (fma.f64 %270 %271 %637)
%830 = (fma.f64 %270 %271 %640)
%831 = (fma.f64 %270 %271 %643)
%832 = (fma.f64 %270 %271 %646)
%833 = (fma.f64 %270 %271 %648)
%834 = (fma.f64 %270 %271 %650)
%835 = (fma.f64 %270 %271 %314)
%836 = (fma.f64 %292 %31 %358)
%837 = (fma.f64 %292 %31 %360)
%838 = (fma.f64 %292 %31 %364)
%839 = (fma.f64 %292 %31 %366)
%840 = (fma.f64 %292 %31 %369)
%841 = (fma.f64 %292 %31 %371)
%842 = (fma.f64 %292 %31 %373)
%843 = (fma.f64 %292 %31 %274)
%844 = (fma.f64 %292 x %629)
%845 = (fma.f64 %292 x %633)
%846 = (fma.f64 %292 x %637)
%847 = (fma.f64 %292 x %640)
%848 = (fma.f64 %292 x %643)
%849 = (fma.f64 %292 x %646)
%850 = (fma.f64 %292 x %648)
%851 = (fma.f64 %292 x %650)
%852 = (fma.f64 %292 x %314)
%853 = (fma.f64 #s(literal 2 binary64) %282 %629)
%854 = (fma.f64 #s(literal 2 binary64) %282 %633)
%855 = (fma.f64 #s(literal 2 binary64) %282 %637)
%856 = (fma.f64 #s(literal 2 binary64) %282 %640)
%857 = (fma.f64 #s(literal 2 binary64) %282 %643)
%858 = (fma.f64 #s(literal 2 binary64) %282 %646)
%859 = (fma.f64 #s(literal 2 binary64) %282 %648)
%860 = (fma.f64 #s(literal 2 binary64) %282 %650)
%861 = (fma.f64 #s(literal 2 binary64) %282 %314)
%862 = (fma.f64 #s(literal 2 binary64) %274 %358)
%863 = (fma.f64 #s(literal 2 binary64) %274 %360)
%864 = (fma.f64 #s(literal 2 binary64) %274 %364)
%865 = (fma.f64 #s(literal 2 binary64) %274 %366)
%866 = (fma.f64 #s(literal 2 binary64) %274 %369)
%867 = (fma.f64 #s(literal 2 binary64) %274 %371)
%868 = (fma.f64 #s(literal 2 binary64) %274 %373)
%869 = (fma.f64 #s(literal 2 binary64) %274 %274)
%870 = (fma.f64 %43 %8 %358)
%871 = (fma.f64 %43 %8 %360)
%872 = (fma.f64 %43 %8 %364)
%873 = (fma.f64 %43 %8 %366)
%874 = (fma.f64 %43 %8 %369)
%875 = (fma.f64 %43 %8 %371)
%876 = (fma.f64 %43 %8 %373)
%877 = (fma.f64 %43 %8 %274)
%878 = (fma.f64 %8 %59 %629)
%879 = (fma.f64 %8 %59 %633)
%880 = (fma.f64 %8 %59 %637)
%881 = (fma.f64 %8 %59 %640)
%882 = (fma.f64 %8 %59 %643)
%883 = (fma.f64 %8 %59 %646)
%884 = (fma.f64 %8 %59 %648)
%885 = (fma.f64 %8 %59 %650)
%886 = (fma.f64 %8 %59 %314)
%887 = (fma.f64 %8 %43 %358)
%888 = (fma.f64 %8 %43 %360)
%889 = (fma.f64 %8 %43 %364)
%890 = (fma.f64 %8 %43 %366)
%891 = (fma.f64 %8 %43 %369)
%892 = (fma.f64 %8 %43 %371)
%893 = (fma.f64 %8 %43 %373)
%894 = (fma.f64 %8 %43 %274)
%895 = (fma.f64 #s(literal 1 binary64) %274 %629)
%896 = (fma.f64 #s(literal 1 binary64) %274 %633)
%897 = (fma.f64 #s(literal 1 binary64) %274 %637)
%898 = (fma.f64 #s(literal 1 binary64) %274 %640)
%899 = (fma.f64 #s(literal 1 binary64) %274 %643)
%900 = (fma.f64 #s(literal 1 binary64) %274 %646)
%901 = (fma.f64 #s(literal 1 binary64) %274 %648)
%902 = (fma.f64 #s(literal 1 binary64) %274 %650)
%903 = (fma.f64 #s(literal 1 binary64) %274 %314)
%904 = (fma.f64 #s(literal 1 binary64) %314 %358)
%905 = (fma.f64 #s(literal 1 binary64) %314 %360)
%906 = (fma.f64 #s(literal 1 binary64) %314 %364)
%907 = (fma.f64 #s(literal 1 binary64) %314 %366)
%908 = (fma.f64 #s(literal 1 binary64) %314 %369)
%909 = (fma.f64 #s(literal 1 binary64) %314 %371)
%910 = (fma.f64 #s(literal 1 binary64) %314 %373)
%911 = (fma.f64 #s(literal 1 binary64) %314 %274)
%912 = (fma.f64 %274 #s(literal 2 binary64) %358)
%913 = (fma.f64 %274 #s(literal 2 binary64) %360)
%914 = (fma.f64 %274 #s(literal 2 binary64) %364)
%915 = (fma.f64 %274 #s(literal 2 binary64) %366)
%916 = (fma.f64 %274 #s(literal 2 binary64) %369)
%917 = (fma.f64 %274 #s(literal 2 binary64) %371)
%918 = (fma.f64 %274 #s(literal 2 binary64) %373)
%919 = (fma.f64 %274 #s(literal 2 binary64) %274)
%920 = (fma.f64 %274 #s(literal 1 binary64) %629)
%921 = (fma.f64 %274 #s(literal 1 binary64) %633)
%922 = (fma.f64 %274 #s(literal 1 binary64) %637)
%923 = (fma.f64 %274 #s(literal 1 binary64) %640)
%924 = (fma.f64 %274 #s(literal 1 binary64) %643)
%925 = (fma.f64 %274 #s(literal 1 binary64) %646)
%926 = (fma.f64 %274 #s(literal 1 binary64) %648)
%927 = (fma.f64 %274 #s(literal 1 binary64) %650)
%928 = (fma.f64 %274 #s(literal 1 binary64) %314)
%929 = (fma.f64 %314 #s(literal 1/2 binary64) %629)
%930 = (fma.f64 %314 #s(literal 1/2 binary64) %633)
%931 = (fma.f64 %314 #s(literal 1/2 binary64) %637)
%932 = (fma.f64 %314 #s(literal 1/2 binary64) %640)
%933 = (fma.f64 %314 #s(literal 1/2 binary64) %643)
%934 = (fma.f64 %314 #s(literal 1/2 binary64) %646)
%935 = (fma.f64 %314 #s(literal 1/2 binary64) %648)
%936 = (fma.f64 %314 #s(literal 1/2 binary64) %650)
%937 = (fma.f64 %314 #s(literal 1/2 binary64) %314)
%938 = (fma.f64 %314 #s(literal 1 binary64) %358)
%939 = (fma.f64 %314 #s(literal 1 binary64) %360)
%940 = (fma.f64 %314 #s(literal 1 binary64) %364)
%941 = (fma.f64 %314 #s(literal 1 binary64) %366)
%942 = (fma.f64 %314 #s(literal 1 binary64) %369)
%943 = (fma.f64 %314 #s(literal 1 binary64) %371)
%944 = (fma.f64 %314 #s(literal 1 binary64) %373)
%945 = (fma.f64 %314 #s(literal 1 binary64) %274)
%946 = (fma.f64 %5 y %358)
%947 = (fma.f64 %5 y %360)
%948 = (fma.f64 %5 y %364)
%949 = (fma.f64 %5 y %366)
%950 = (fma.f64 %5 y %369)
%951 = (fma.f64 %5 y %371)
%952 = (fma.f64 %5 y %373)
%953 = (fma.f64 %5 y %274)
%954 = (fma.f64 %4 %11 %358)
%955 = (fma.f64 %4 %11 %360)
%956 = (fma.f64 %4 %11 %364)
%957 = (fma.f64 %4 %11 %366)
%958 = (fma.f64 %4 %11 %369)
%959 = (fma.f64 %4 %11 %371)
%960 = (fma.f64 %4 %11 %373)
%961 = (fma.f64 %4 %11 %274)
%962 = (fma.f64 %11 %4 %358)
%963 = (fma.f64 %11 %4 %360)
%964 = (fma.f64 %11 %4 %364)
%965 = (fma.f64 %11 %4 %366)
%966 = (fma.f64 %11 %4 %369)
%967 = (fma.f64 %11 %4 %371)
%968 = (fma.f64 %11 %4 %373)
%969 = (fma.f64 %11 %4 %274)
%970 = (fma.f64 %11 y %629)
%971 = (fma.f64 %11 y %633)
%972 = (fma.f64 %11 y %637)
%973 = (fma.f64 %11 y %640)
%974 = (fma.f64 %11 y %643)
%975 = (fma.f64 %11 y %646)
%976 = (fma.f64 %11 y %648)
%977 = (fma.f64 %11 y %650)
%978 = (fma.f64 %11 y %314)
%979 = (fma.f64 y %5 %358)
%980 = (fma.f64 y %5 %360)
%981 = (fma.f64 y %5 %364)
%982 = (fma.f64 y %5 %366)
%983 = (fma.f64 y %5 %369)
%984 = (fma.f64 y %5 %371)
%985 = (fma.f64 y %5 %373)
%986 = (fma.f64 y %5 %274)
%987 = (fma.f64 y %11 %629)
%988 = (fma.f64 y %11 %633)
%989 = (fma.f64 y %11 %637)
%990 = (fma.f64 y %11 %640)
%991 = (fma.f64 y %11 %643)
%992 = (fma.f64 y %11 %646)
%993 = (fma.f64 y %11 %648)
%994 = (fma.f64 y %11 %650)
%995 = (fma.f64 y %11 %314)
%996 = (fma.f64 x %298 %358)
%997 = (fma.f64 x %298 %360)
%998 = (fma.f64 x %298 %364)
%999 = (fma.f64 x %298 %366)
%1000 = (fma.f64 x %298 %369)
%1001 = (fma.f64 x %298 %371)
%1002 = (fma.f64 x %298 %373)
%1003 = (fma.f64 x %298 %274)
%1004 = (fma.f64 x %292 %629)
%1005 = (fma.f64 x %292 %633)
%1006 = (fma.f64 x %292 %637)
%1007 = (fma.f64 x %292 %640)
%1008 = (fma.f64 x %292 %643)
%1009 = (fma.f64 x %292 %646)
%1010 = (fma.f64 x %292 %648)
%1011 = (fma.f64 x %292 %650)
%1012 = (fma.f64 x %292 %314)
%1014 = (-.f64 %274 (*.f64 %56 %5))
%1017 = (-.f64 %274 (*.f64 (neg.f64 %272) %270))
%1020 = (-.f64 %274 (*.f64 (neg.f64 %275) #s(literal 1/2 binary64)))
%1022 = (-.f64 %274 (*.f64 %642 #s(literal 4 binary64)))
%1024 = (-.f64 %274 (*.f64 %639 %277))
%1027 = (-.f64 %274 (*.f64 (neg.f64 %284) %271))
%1029 = (-.f64 %274 (*.f64 %356 %284))
%1031 = (-.f64 %274 (*.f64 %356 %287))
%1033 = (-.f64 %274 (*.f64 #s(literal -4 binary64) %282))
%1035 = (-.f64 %274 (*.f64 #s(literal -1/2 binary64) %300))
%1037 = (-.f64 %274 (*.f64 %277 %306))
%1039 = (-.f64 %274 (*.f64 %277 %308))
%1041 = (-.f64 %274 (*.f64 #s(literal -1 binary64) %314))
%1042 = (-.f64 %274 %354)
%1043 = (-.f64 %314 %505)
%1044 = (-.f64 %314 %507)
%1045 = (-.f64 %314 %509)
%1046 = (-.f64 %314 %511)
%1047 = (-.f64 %314 %513)
%1048 = (-.f64 %314 %515)
%1049 = (-.f64 %314 %295)
%1050 = (+.f64 %274 %629)
%1051 = (+.f64 %274 %633)
%1052 = (+.f64 %274 %637)
%1053 = (+.f64 %274 %640)
%1054 = (+.f64 %274 %643)
%1055 = (+.f64 %274 %646)
%1056 = (+.f64 %274 %648)
%1057 = (+.f64 %274 %650)
%1058 = (+.f64 %274 %314)
%1059 = (+.f64 %314 %358)
%1060 = (+.f64 %314 %360)
%1061 = (+.f64 %314 %364)
%1062 = (+.f64 %314 %366)
%1063 = (+.f64 %314 %369)
%1064 = (+.f64 %314 %371)
%1065 = (+.f64 %314 %373)
%1066 = (+.f64 %314 %274)
x
#s(literal 3 binary64)
y
(*.f64 #s(literal 1/2 binary64) %5)
(*.f64 %7 %8)
(*.f64 #s(literal 2 binary64) %12)
(*.f64 %8 %7)
(*.f64 #s(literal 1 binary64) %11)
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %11 #s(literal 1 binary64))
%11
(*.f64 x y)
(pow.f64 %11 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %5) #s(literal -4 binary64))
(/.f64 %26 #s(literal 8 binary64))
(/.f64 (*.f64 %5 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %4 %31) #s(literal 4 binary64))
(/.f64 (*.f64 %31 %4) #s(literal 4 binary64))
(/.f64 %36 #s(literal 8 binary64))
(/.f64 %38 #s(literal 4 binary64))
(/.f64 %40 #s(literal 4 binary64))
(/.f64 %43 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %5))
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %11 #s(literal 1 binary64))
(neg.f64 (*.f64 #s(literal 1/2 binary64) %43))
(neg.f64 (*.f64 %11 #s(literal -1 binary64)))
(neg.f64 (*.f64 x %56))
(neg.f64 %59)
(fma.f64 #s(literal 1/2 binary64) %11 %12)
(fma.f64 %11 #s(literal 1/2 binary64) %12)
(-.f64 %12 (*.f64 %59 #s(literal 1/2 binary64)))
(+.f64 %12 %12)
(*.f64 %66 #s(literal 1/2 binary64))
(*.f64 %68 #s(literal 1/2 binary64))
(*.f64 %70 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %70)
(*.f64 #s(literal -2 binary64) %8)
(*.f64 #s(literal 1/2 binary64) %74)
(*.f64 #s(literal 2 binary64) y)
(*.f64 %8 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %4)
(*.f64 %4 #s(literal 1 binary64))
(*.f64 y #s(literal 2 binary64))
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) %68) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %4) #s(literal 2 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) %86) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %4) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %68) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %68) #s(literal -4 binary64))
(/.f64 (*.f64 %68 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %68 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %4 #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) %68) #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %68) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %68) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %4) #s(literal 4 binary64))
(/.f64 %86 #s(literal 2 binary64))
(/.f64 (*.f64 %68 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %68 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %4 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %68) #s(literal -2 binary64))
(/.f64 %66 #s(literal 2 binary64))
(/.f64 %68 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %68))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(/.f64 %4 #s(literal 1 binary64))
(/.f64 y #s(literal 1/2 binary64))
(neg.f64 (*.f64 #s(literal 2 binary64) %56))
(neg.f64 (fma.f64 %8 #s(literal 1 binary64) %8))
(neg.f64 %130)
(fma.f64 %66 #s(literal 1/2 binary64) %133)
(fma.f64 %66 #s(literal 1/2 binary64) %135)
(fma.f64 %68 #s(literal 1/2 binary64) %133)
(fma.f64 %68 #s(literal 1/2 binary64) %135)
(fma.f64 %70 #s(literal 4 binary64) %133)
(fma.f64 %70 #s(literal 4 binary64) %135)
(fma.f64 #s(literal 4 binary64) %70 %133)
(fma.f64 #s(literal 4 binary64) %70 %135)
(fma.f64 #s(literal -2 binary64) %8 %133)
(fma.f64 #s(literal -2 binary64) %8 %135)
(fma.f64 #s(literal 1/2 binary64) %74 %133)
(fma.f64 #s(literal 1/2 binary64) %74 %135)
(fma.f64 #s(literal 2 binary64) y %133)
(fma.f64 #s(literal 2 binary64) y %135)
(fma.f64 %8 #s(literal -2 binary64) %133)
(fma.f64 %8 #s(literal -2 binary64) %135)
(fma.f64 #s(literal 1 binary64) %4 %133)
(fma.f64 #s(literal 1 binary64) %4 %135)
(fma.f64 %4 #s(literal 1 binary64) %133)
(fma.f64 %4 #s(literal 1 binary64) %135)
(fma.f64 y #s(literal 2 binary64) %133)
(fma.f64 y #s(literal 2 binary64) %135)
(-.f64 %4 (*.f64 %130 #s(literal 0 binary64)))
(-.f64 %4 (neg.f64 %135))
(-.f64 %4 %133)
(-.f64 %4 %135)
(-.f64 y (*.f64 %56 #s(literal 1 binary64)))
(-.f64 y (*.f64 (*.f64 #s(literal 1/2 binary64) %8) #s(literal 2 binary64)))
(-.f64 y (*.f64 #s(literal -1/2 binary64) %4))
(-.f64 y (*.f64 #s(literal -2 binary64) %70))
(-.f64 y (*.f64 %130 #s(literal 1/2 binary64)))
(-.f64 y %56)
(-.f64 y %176)
(-.f64 y %8)
(+.f64 %4 %133)
(+.f64 %4 %135)
(+.f64 y (neg.f64 %176))
%4
(*.f64 %183 #s(literal 1/2 binary64))
(*.f64 %12 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %12)
(*.f64 %42 %8)
(*.f64 #s(literal -2 binary64) %59)
(*.f64 %31 y)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %11))
(*.f64 %7 %130)
(*.f64 %130 %7)
(*.f64 %59 #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) %11)
(*.f64 %8 %42)
(*.f64 #s(literal 1 binary64) %5)
(*.f64 %5 #s(literal 1 binary64))
%5
(*.f64 %11 #s(literal 2 binary64))
(*.f64 y %31)
(*.f64 x %4)
(pow.f64 %5 #s(literal 1 binary64))
(/.f64 (fma.f64 %5 #s(literal 2 binary64) %40) #s(literal 4 binary64))
(/.f64 (fma.f64 %31 y %5) #s(literal 2 binary64))
(/.f64 (fma.f64 %5 #s(literal 2 binary64) %38) #s(literal 4 binary64))
(/.f64 (*.f64 %209 %4) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %5) #s(literal 8 binary64))
(/.f64 (*.f64 %68 %31) #s(literal 4 binary64))
(/.f64 (*.f64 %5 #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %4 %209) #s(literal 4 binary64))
(/.f64 (*.f64 %31 %68) #s(literal 4 binary64))
(/.f64 %26 #s(literal 4 binary64))
(/.f64 %36 #s(literal 4 binary64))
(/.f64 %38 #s(literal 2 binary64))
(/.f64 %40 #s(literal 2 binary64))
(/.f64 %183 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(/.f64 %5 #s(literal 1 binary64))
(/.f64 %11 #s(literal 1/2 binary64))
(neg.f64 (*.f64 %31 %56))
(neg.f64 (*.f64 %5 #s(literal -1 binary64)))
(neg.f64 %43)
(fma.f64 #s(literal 1/2 binary64) %5 %236)
(fma.f64 #s(literal 1/2 binary64) %5 %11)
(fma.f64 %7 %8 %236)
(fma.f64 %7 %8 %11)
(fma.f64 #s(literal 2 binary64) %12 %236)
(fma.f64 #s(literal 2 binary64) %12 %11)
(fma.f64 %8 %7 %236)
(fma.f64 %8 %7 %11)
(fma.f64 #s(literal 1 binary64) %11 %236)
(fma.f64 #s(literal 1 binary64) %11 %11)
(fma.f64 %5 #s(literal 1/2 binary64) %236)
(fma.f64 %5 #s(literal 1/2 binary64) %11)
(fma.f64 %11 #s(literal 1 binary64) %236)
(fma.f64 %11 #s(literal 1 binary64) %11)
(fma.f64 y x %236)
(fma.f64 y x %11)
(fma.f64 x y %236)
(fma.f64 x y %11)
(-.f64 %11 (*.f64 %56 x))
(-.f64 %11 (*.f64 #s(literal -1/2 binary64) %5))
(-.f64 %11 (*.f64 #s(literal -2 binary64) %12))
(-.f64 %11 (*.f64 #s(literal -1 binary64) %11))
(-.f64 %11 %263)
(-.f64 %11 %59)
(+.f64 %266 %266)
(+.f64 %11 %236)
(+.f64 %11 %11)
(*.f64 %272 %270)
(*.f64 %275 #s(literal 1/2 binary64))
(*.f64 %278 %277)
(*.f64 %280 %270)
(*.f64 %282 #s(literal 4 binary64))
(*.f64 %284 %271)
(*.f64 %271 %284)
(*.f64 %271 %287)
(*.f64 #s(literal 4 binary64) %282)
(*.f64 %42 %290)
(*.f64 %293 %7)
(*.f64 #s(literal -2 binary64) %295)
(*.f64 %31 %292)
(*.f64 %298 x)
(*.f64 #s(literal 1/2 binary64) %300)
(*.f64 %7 %293)
(*.f64 %130 %59)
(*.f64 %290 %42)
(*.f64 %59 %130)
(*.f64 %270 %306)
(*.f64 %270 %308)
(*.f64 %292 %31)
(*.f64 #s(literal 2 binary64) %274)
(*.f64 %43 %8)
(*.f64 %8 %43)
(*.f64 #s(literal 1 binary64) %314)
(*.f64 %274 #s(literal 2 binary64))
(*.f64 %314 #s(literal 1 binary64))
%314
(*.f64 %4 %11)
(*.f64 %11 %4)
(*.f64 y %5)
(*.f64 x %298)
(pow.f64 %314 #s(literal 1 binary64))
(/.f64 (fma.f64 %314 #s(literal 2 binary64) %323) #s(literal 4 binary64))
(/.f64 (fma.f64 %31 %292 %314) #s(literal 2 binary64))
(/.f64 (fma.f64 %314 #s(literal 2 binary64) %328) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %314) #s(literal 8 binary64))
(/.f64 %333 #s(literal 4 binary64))
(/.f64 (*.f64 %314 #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %68 %5) #s(literal 4 binary64))
(/.f64 (*.f64 %5 %68) #s(literal 4 binary64))
(/.f64 %341 #s(literal 4 binary64))
(/.f64 %323 #s(literal 2 binary64))
(/.f64 %328 #s(literal 2 binary64))
(/.f64 %275 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %314 #s(literal -1 binary64)))
(/.f64 %274 #s(literal 1/2 binary64))
(/.f64 %314 #s(literal 1 binary64))
(neg.f64 (*.f64 %314 #s(literal -1 binary64)))
(neg.f64 (*.f64 %5 %56))
(neg.f64 %354)
(fma.f64 %356 %277 %358)
(fma.f64 %356 %277 %360)
(fma.f64 %356 %277 %364)
(fma.f64 %356 %277 %366)
(fma.f64 %356 %277 %369)
(fma.f64 %356 %277 %371)
(fma.f64 %356 %277 %373)
(fma.f64 %356 %277 %274)
(fma.f64 %271 %270 %358)
(fma.f64 %271 %270 %360)
(fma.f64 %271 %270 %364)
(fma.f64 %271 %270 %366)
(fma.f64 %271 %270 %369)
(fma.f64 %271 %270 %371)
(fma.f64 %271 %270 %373)
(fma.f64 %271 %270 %274)
(fma.f64 %277 %384 %358)
(fma.f64 %277 %384 %360)
(fma.f64 %277 %384 %364)
(fma.f64 %277 %384 %366)
(fma.f64 %277 %384 %369)
(fma.f64 %277 %384 %371)
(fma.f64 %277 %384 %373)
(fma.f64 %277 %384 %274)
(fma.f64 #s(literal 1/2 binary64) %314 %358)
(fma.f64 #s(literal 1/2 binary64) %314 %360)
(fma.f64 #s(literal 1/2 binary64) %314 %364)
(fma.f64 #s(literal 1/2 binary64) %314 %366)
(fma.f64 #s(literal 1/2 binary64) %314 %369)
(fma.f64 #s(literal 1/2 binary64) %314 %371)
(fma.f64 #s(literal 1/2 binary64) %314 %373)
(fma.f64 #s(literal 1/2 binary64) %314 %274)
(fma.f64 %7 %290 %358)
(fma.f64 %7 %290 %360)
(fma.f64 %7 %290 %364)
(fma.f64 %7 %290 %366)
(fma.f64 %7 %290 %369)
(fma.f64 %7 %290 %371)
(fma.f64 %7 %290 %373)
(fma.f64 %7 %290 %274)
(fma.f64 %290 %7 %358)
(fma.f64 %290 %7 %360)
(fma.f64 %290 %7 %364)
(fma.f64 %290 %7 %366)
(fma.f64 %290 %7 %369)
(fma.f64 %290 %7 %371)
(fma.f64 %290 %7 %373)
(fma.f64 %290 %7 %274)
(fma.f64 %59 %8 %358)
(fma.f64 %59 %8 %360)
(fma.f64 %59 %8 %364)
(fma.f64 %59 %8 %366)
(fma.f64 %59 %8 %369)
(fma.f64 %59 %8 %371)
(fma.f64 %59 %8 %373)
(fma.f64 %59 %8 %274)
(fma.f64 %270 %271 %358)
(fma.f64 %270 %271 %360)
(fma.f64 %270 %271 %364)
(fma.f64 %270 %271 %366)
(fma.f64 %270 %271 %369)
(fma.f64 %270 %271 %371)
(fma.f64 %270 %271 %373)
(fma.f64 %270 %271 %274)
(fma.f64 %292 x %358)
(fma.f64 %292 x %360)
(fma.f64 %292 x %364)
(fma.f64 %292 x %366)
(fma.f64 %292 x %369)
(fma.f64 %292 x %371)
(fma.f64 %292 x %373)
(fma.f64 %292 x %274)
(fma.f64 #s(literal 2 binary64) %282 %358)
(fma.f64 #s(literal 2 binary64) %282 %360)
(fma.f64 #s(literal 2 binary64) %282 %364)
(fma.f64 #s(literal 2 binary64) %282 %366)
(fma.f64 #s(literal 2 binary64) %282 %369)
(fma.f64 #s(literal 2 binary64) %282 %371)
(fma.f64 #s(literal 2 binary64) %282 %373)
(fma.f64 #s(literal 2 binary64) %282 %274)
(fma.f64 %8 %59 %358)
(fma.f64 %8 %59 %360)
(fma.f64 %8 %59 %364)
(fma.f64 %8 %59 %366)
(fma.f64 %8 %59 %369)
(fma.f64 %8 %59 %371)
(fma.f64 %8 %59 %373)
(fma.f64 %8 %59 %274)
(fma.f64 #s(literal 1 binary64) %274 %358)
(fma.f64 #s(literal 1 binary64) %274 %360)
(fma.f64 #s(literal 1 binary64) %274 %364)
(fma.f64 #s(literal 1 binary64) %274 %366)
(fma.f64 #s(literal 1 binary64) %274 %369)
(fma.f64 #s(literal 1 binary64) %274 %371)
(fma.f64 #s(literal 1 binary64) %274 %373)
(fma.f64 #s(literal 1 binary64) %274 %274)
(fma.f64 %274 #s(literal 1 binary64) %358)
(fma.f64 %274 #s(literal 1 binary64) %360)
(fma.f64 %274 #s(literal 1 binary64) %364)
(fma.f64 %274 #s(literal 1 binary64) %366)
(fma.f64 %274 #s(literal 1 binary64) %369)
(fma.f64 %274 #s(literal 1 binary64) %371)
(fma.f64 %274 #s(literal 1 binary64) %373)
(fma.f64 %274 #s(literal 1 binary64) %274)
(fma.f64 %314 #s(literal 1/2 binary64) %358)
(fma.f64 %314 #s(literal 1/2 binary64) %360)
(fma.f64 %314 #s(literal 1/2 binary64) %364)
(fma.f64 %314 #s(literal 1/2 binary64) %366)
(fma.f64 %314 #s(literal 1/2 binary64) %369)
(fma.f64 %314 #s(literal 1/2 binary64) %371)
(fma.f64 %314 #s(literal 1/2 binary64) %373)
(fma.f64 %314 #s(literal 1/2 binary64) %274)
(fma.f64 %11 y %358)
(fma.f64 %11 y %360)
(fma.f64 %11 y %364)
(fma.f64 %11 y %366)
(fma.f64 %11 y %369)
(fma.f64 %11 y %371)
(fma.f64 %11 y %373)
(fma.f64 %11 y %274)
(fma.f64 y %11 %358)
(fma.f64 y %11 %360)
(fma.f64 y %11 %364)
(fma.f64 y %11 %366)
(fma.f64 y %11 %369)
(fma.f64 y %11 %371)
(fma.f64 y %11 %373)
(fma.f64 y %11 %274)
(fma.f64 x %292 %358)
(fma.f64 x %292 %360)
(fma.f64 x %292 %364)
(fma.f64 x %292 %366)
(fma.f64 x %292 %369)
(fma.f64 x %292 %371)
(fma.f64 x %292 %373)
(fma.f64 x %292 %274)
(-.f64 %274 %505)
(-.f64 %274 %507)
(-.f64 %274 %509)
(-.f64 %274 %511)
(-.f64 %274 %513)
(-.f64 %274 %515)
(-.f64 %274 %295)
(+.f64 %274 %358)
(+.f64 %274 %360)
(+.f64 %274 %364)
(+.f64 %274 %366)
(+.f64 %274 %369)
(+.f64 %274 %371)
(+.f64 %274 %373)
(+.f64 %274 %274)
%528
%530
%533
%534
%535
%537
%539
%541
%543
%546
%547
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%563
%566
%568
%570
%572
%574
%577
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%630
%634
%638
%641
%644
%647
%649
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%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
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%932
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%999
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1007
%1008
%1009
%1010
%1011
%1012
%1014
%1017
%1020
%1022
%1024
%1027
%1029
%1031
%1033
%1035
%1037
%1039
%1041
%1042
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1065
%1066
(*.f64 %356 %277)
(*.f64 %271 %270)
(*.f64 %277 %384)
(*.f64 #s(literal 1/2 binary64) %314)
(*.f64 %7 %290)
(*.f64 %290 %7)
(*.f64 %59 %8)
(*.f64 %270 %271)
(*.f64 %292 x)
(*.f64 #s(literal 2 binary64) %282)
(*.f64 %8 %59)
(*.f64 #s(literal 1 binary64) %274)
(*.f64 %274 #s(literal 1 binary64))
(*.f64 %314 #s(literal 1/2 binary64))
%274
(*.f64 y %11)
(*.f64 x %292)
(pow.f64 %274 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %314) #s(literal -4 binary64))
(/.f64 (*.f64 %314 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %5 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %5) #s(literal 4 binary64))
(/.f64 %333 #s(literal 8 binary64))
(/.f64 %341 #s(literal 8 binary64))
(/.f64 %323 #s(literal 4 binary64))
(/.f64 %328 #s(literal 4 binary64))
(/.f64 %354 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %314))
(/.f64 #s(literal 1 binary64) (pow.f64 %274 #s(literal -1 binary64)))
(/.f64 %274 #s(literal 1 binary64))
(/.f64 %314 #s(literal 2 binary64))
(neg.f64 (*.f64 #s(literal 1/2 binary64) %354))
(neg.f64 (*.f64 %274 #s(literal -1 binary64)))
(neg.f64 (*.f64 %11 %56))
(neg.f64 %295)
(fma.f64 #s(literal 1/2 binary64) %274 %282)
(fma.f64 %274 #s(literal 1/2 binary64) %282)
(-.f64 %282 (/.f64 %295 #s(literal 2 binary64)))
(+.f64 %282 %282)
%528
%530
%533
%534
%535
%537
%539
%541
%543
%546
%547
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%563
%566
%568
%570
%572
%574
%577
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%630
%634
%638
%641
%644
%647
%649
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%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
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%932
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%999
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1007
%1008
%1009
%1010
%1011
%1012
%1014
%1017
%1020
%1022
%1024
%1027
%1029
%1031
%1033
%1035
%1037
%1039
%1041
%1042
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1065
%1066