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

%2 = (+.f64 y x)
%4 = (*.f64 %2 #s(literal 1/2 binary64))
%7 = (*.f64 #s(literal 2 binary64) %2)
%10 = (*.f64 #s(literal 1/2 binary64) %2)
%12 = (-.f64 x y)
%13 = (*.f64 %12 %2)
%15 = (/.f64 #s(literal 1 binary64) %12)
%17 = (neg.f64 %2)
%21 = (/.f64 %2 %12)
%25 = (*.f64 y #s(literal 2 binary64))
%27 = (-.f64 y x)
%28 = (*.f64 %27 x)
%31 = (*.f64 #s(literal 2 binary64) %12)
%34 = (*.f64 %12 x)
%37 = (*.f64 #s(literal 2 binary64) %27)
%39 = (*.f64 %27 y)
%40 = (*.f64 %39 %12)
%41 = (*.f64 %27 %28)
%43 = (*.f64 %27 %12)
%45 = (*.f64 %39 %27)
%46 = (*.f64 %27 %34)
%48 = (*.f64 %27 %27)
%50 = (*.f64 %12 y)
%51 = (*.f64 %50 %12)
%52 = (*.f64 %12 %28)
%55 = (*.f64 %50 %27)
%56 = (*.f64 %12 %34)
%59 = (*.f64 x #s(literal 2 binary64))
%60 = (*.f64 %59 %12)
%61 = (*.f64 #s(literal 2 binary64) %39)
%64 = (*.f64 %59 %27)
%65 = (*.f64 #s(literal 2 binary64) %50)
%68 = (*.f64 %28 %12)
%69 = (*.f64 %27 %39)
%72 = (*.f64 %28 %27)
%73 = (*.f64 %27 %50)
%76 = (*.f64 %34 %12)
%77 = (*.f64 %12 %39)
%80 = (*.f64 %34 %27)
%81 = (*.f64 %12 %50)
%84 = (neg.f64 %7)
%87 = (*.f64 %17 #s(literal 2 binary64))
%90 = (*.f64 %27 %2)
%93 = (/.f64 #s(literal -1 binary64) %12)
%94 = (*.f64 %93 %12)
%97 = (*.f64 %15 %27)
%104 = (/.f64 %90 %12)
%108 = (*.f64 %2 #s(literal 0 binary64))
%110 = (*.f64 #s(literal 0 binary64) %2)
%112 = (neg.f64 x)
%113 = (*.f64 x %112)
%114 = (/.f64 y %27)
%115 = (fma.f64 %114 x y)
%117 = (*.f64 %114 x)
%118 = (neg.f64 y)
%119 = (-.f64 %117 %118)
%121 = (*.f64 %118 %112)
%122 = (/.f64 x %12)
%123 = (fma.f64 %122 x y)
%125 = (*.f64 %122 x)
%126 = (-.f64 %125 %118)
%130 = (*.f64 %118 x)
%133 = (*.f64 x x)
%145 = (/.f64 x %27)
%148 = (/.f64 y %12)
%254 = (/.f64 #s(literal -1/2 binary64) %12)
%256 = (copysign.f64 #s(literal 1 binary64) %12)
%257 = (fabs.f64 %27)
%260 = (/.f64 %27 %12)
%261 = (/.f64 %2 %27)
%263 = (/.f64 #s(literal -1/2 binary64) %27)
%265 = (/.f64 #s(literal -1 binary64) %43)
%269 = (*.f64 #s(literal 2 binary64) %21)
%290 = (/.f64 %50 %257)
%291 = (*.f64 %290 %27)
%292 = (*.f64 %112 #s(literal -1 binary64))
%295 = (*.f64 %257 %27)
%300 = (*.f64 %257 %12)
%305 = (*.f64 %118 #s(literal -1 binary64))
%306 = (*.f64 %305 %27)
%307 = (*.f64 %12 %292)
%312 = (*.f64 %43 %27)
%316 = (*.f64 %43 %12)
%323 = (*.f64 %48 %27)
%327 = (*.f64 %48 %12)
%334 = (*.f64 %12 %43)
%336 = (/.f64 %34 %257)
%345 = (*.f64 %43 %43)
%348 = (*.f64 %48 %50)
%361 = (*.f64 %12 %48)
%384 = (*.f64 %292 %27)
%385 = (*.f64 %12 %305)
%388 = (*.f64 %336 %27)
%439 = (/.f64 %13 %257)
%443 = (fma.f64 %122 %48 %50)
%447 = (fma.f64 %34 %48 (*.f64 %50 %48))
%449 = (neg.f64 %345)
%451 = (fma.f64 %34 %48 %348)
%454 = (*.f64 #s(literal 2 binary64) %90)
%456 = (*.f64 #s(literal 2 binary64) %43)
%459 = (*.f64 #s(literal 2 binary64) %13)
%461 = (*.f64 #s(literal 2 binary64) %48)
%464 = (*.f64 #s(literal 2 binary64) %17)
%506 = (/.f64 x %257)
%508 = (/.f64 y %257)
x
y
(*.f64 %4 #s(literal 2 binary64))
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %7)
(*.f64 #s(literal 2 binary64) %10)
(*.f64 %13 %15)
(*.f64 %17 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %2)
(*.f64 %12 %21)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %25 %12) (*.f64 #s(literal 2 binary64) %28)) %31)
(/.f64 (-.f64 (*.f64 %25 %27) (*.f64 #s(literal 2 binary64) %34)) %37)
(/.f64 (-.f64 %40 %41) %43)
(/.f64 (-.f64 %45 %46) %48)
(/.f64 (-.f64 %51 %52) %48)
(/.f64 (-.f64 %55 %56) %43)
(/.f64 (-.f64 %60 %61) %31)
(/.f64 (-.f64 %64 %65) %37)
(/.f64 (-.f64 %68 %69) %43)
(/.f64 (-.f64 %72 %73) %48)
(/.f64 (-.f64 %76 %77) %48)
(/.f64 (-.f64 %80 %81) %43)
(/.f64 %84 #s(literal -2 binary64))
(/.f64 %87 #s(literal -2 binary64))
(/.f64 %7 #s(literal 2 binary64))
(/.f64 %90 %27)
(/.f64 %13 %12)
(/.f64 #s(literal 1 binary64) (pow.f64 %2 %94))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 %97))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %13))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %104)
(neg.f64 %17)
(fma.f64 %4 #s(literal 2 binary64) %108)
(fma.f64 %4 #s(literal 2 binary64) %110)
(fma.f64 %113 %93 %115)
(fma.f64 %113 %93 %119)
(fma.f64 %121 %93 %123)
(fma.f64 %121 %93 %126)
(fma.f64 %7 #s(literal 1/2 binary64) %108)
(fma.f64 %7 #s(literal 1/2 binary64) %110)
(fma.f64 %130 %15 %123)
(fma.f64 %130 %15 %126)
(fma.f64 %133 %15 %115)
(fma.f64 %133 %15 %119)
(fma.f64 #s(literal 1/2 binary64) %7 %108)
(fma.f64 #s(literal 1/2 binary64) %7 %110)
(fma.f64 #s(literal 1/2 binary64) %2 %10)
(fma.f64 #s(literal 2 binary64) %10 %108)
(fma.f64 #s(literal 2 binary64) %10 %110)
(fma.f64 %13 %15 %108)
(fma.f64 %13 %15 %110)
(fma.f64 %114 x %123)
(fma.f64 %114 x %126)
(fma.f64 %112 %145 %115)
(fma.f64 %112 %145 %119)
(fma.f64 %112 %148 %123)
(fma.f64 %112 %148 %126)
(fma.f64 %118 %122 %123)
(fma.f64 %118 %122 %126)
(fma.f64 %15 %130 %123)
(fma.f64 %15 %130 %126)
(fma.f64 %15 %133 %115)
(fma.f64 %15 %133 %119)
(fma.f64 %122 %118 %123)
(fma.f64 %122 %118 %126)
(fma.f64 %122 x %115)
(fma.f64 %122 x %119)
(fma.f64 %17 #s(literal -1 binary64) %108)
(fma.f64 %17 #s(literal -1 binary64) %110)
(fma.f64 #s(literal 1 binary64) %125 %115)
(fma.f64 #s(literal 1 binary64) %125 %119)
(fma.f64 #s(literal 1 binary64) %117 %123)
(fma.f64 #s(literal 1 binary64) %117 %126)
(fma.f64 #s(literal 1 binary64) %2 %108)
(fma.f64 #s(literal 1 binary64) %2 %110)
(fma.f64 %12 %21 %108)
(fma.f64 %12 %21 %110)
(fma.f64 %2 #s(literal 1/2 binary64) %4)
(fma.f64 %2 #s(literal 1 binary64) %108)
(fma.f64 %2 #s(literal 1 binary64) %110)
(fma.f64 x %114 %123)
(fma.f64 x %114 %126)
(fma.f64 x %122 %115)
(fma.f64 x %122 %119)
(-.f64 y %112)
(-.f64 x %118)
(+.f64 (+.f64 y %117) %125)
(+.f64 (+.f64 y %125) %117)
(+.f64 %4 %4)
(+.f64 %10 %10)
(+.f64 %125 %115)
(+.f64 %125 %119)
(+.f64 %117 %123)
(+.f64 %117 %126)
(+.f64 %2 %108)
(+.f64 %2 %110)
%2
(+.f64 x y)
(*.f64 #s(literal 1 binary64) %12)
(*.f64 %12 #s(literal 1 binary64))
(pow.f64 %12 #s(literal 1 binary64))
(/.f64 (-.f64 %40 %52) %48)
(/.f64 (-.f64 %45 %56) %43)
(/.f64 (-.f64 %51 %41) %43)
(/.f64 (-.f64 %55 %46) %48)
(/.f64 (-.f64 (*.f64 %59 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %25)) #s(literal 4 binary64))
(/.f64 (-.f64 %64 %61) %37)
(/.f64 (-.f64 %60 %65) %31)
(/.f64 (-.f64 (*.f64 %28 #s(literal 2 binary64)) (*.f64 %27 %25)) (*.f64 %27 #s(literal 2 binary64)))
(/.f64 (-.f64 %72 %69) %48)
(/.f64 (-.f64 %68 %73) %43)
(/.f64 (-.f64 (*.f64 %34 #s(literal 2 binary64)) (*.f64 %12 %25)) (*.f64 %12 #s(literal 2 binary64)))
(/.f64 (-.f64 %80 %77) %43)
(/.f64 (-.f64 %76 %81) %48)
(/.f64 #s(literal 1 binary64) (pow.f64 %12 %94))
(/.f64 #s(literal 1 binary64) (pow.f64 %12 %97))
(/.f64 #s(literal 1 binary64) %15)
(neg.f64 %27)
(fma.f64 (*.f64 y #s(literal -2 binary64)) #s(literal 1/2 binary64) x)
(fma.f64 %25 #s(literal -1/2 binary64) x)
(fma.f64 #s(literal -1 binary64) y x)
(fma.f64 %118 #s(literal 1 binary64) x)
(fma.f64 %15 %39 x)
(fma.f64 %148 %27 x)
(fma.f64 %27 %148 x)
(fma.f64 #s(literal 1 binary64) %118 x)
(fma.f64 y %97 x)
(fma.f64 y #s(literal -1 binary64) x)
(-.f64 %118 %112)
%12
(+.f64 %118 x)
(+.f64 x %118)
(*.f64 (*.f64 %15 %7) #s(literal 1/2 binary64))
(*.f64 %87 %254)
(*.f64 %256 (/.f64 %2 %257))
(*.f64 %260 %261)
(*.f64 %7 %263)
(*.f64 %265 %13)
(*.f64 %90 (/.f64 #s(literal -1 binary64) %48))
(*.f64 #s(literal 1/2 binary64) %269)
(*.f64 #s(literal 2 binary64) (*.f64 %254 %17))
(*.f64 #s(literal 2 binary64) (*.f64 %263 %2))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %21))
(*.f64 %93 %17)
(*.f64 %13 %265)
(*.f64 #s(literal -1 binary64) %261)
(*.f64 %15 %2)
(*.f64 %17 %93)
(*.f64 #s(literal 1 binary64) %21)
(*.f64 %21 #s(literal 1 binary64))
(*.f64 %12 (*.f64 %2 %265))
(*.f64 %12 (/.f64 %2 %48))
(*.f64 %2 %15)
(pow.f64 %21 #s(literal 1 binary64))
(/.f64 (-.f64 %291 (*.f64 %257 %292)) %295)
(/.f64 (-.f64 (*.f64 %290 %12) (*.f64 %257 %112)) %300)
(/.f64 (-.f64 %291 (*.f64 %257 x)) %295)
(/.f64 (-.f64 %306 %307) %43)
(/.f64 (-.f64 %45 (*.f64 %43 %292)) %312)
(/.f64 (-.f64 %40 (*.f64 %43 %112)) %316)
(/.f64 (-.f64 %45 (*.f64 %43 x)) %312)
(/.f64 (-.f64 %55 (*.f64 %48 %292)) %323)
(/.f64 (-.f64 %51 (*.f64 %48 %112)) %327)
(/.f64 (-.f64 %55 (*.f64 %48 x)) %323)
(/.f64 (-.f64 (*.f64 %292 %43) %81) %334)
(/.f64 (-.f64 (*.f64 %336 %43) (*.f64 %257 %50)) (*.f64 %257 %43))
(/.f64 (-.f64 (*.f64 %28 %43) (*.f64 %43 %50)) %345)
(/.f64 (-.f64 (*.f64 %34 %43) %348) (*.f64 %48 %43))
(/.f64 (-.f64 (*.f64 %112 %43) %73) (*.f64 %27 %43))
(/.f64 (-.f64 (*.f64 x %43) %81) %334)
(/.f64 (-.f64 (*.f64 %292 %48) %77) %361)
(/.f64 (-.f64 (*.f64 %336 %48) (*.f64 %257 %39)) (*.f64 %257 %48))
(/.f64 (-.f64 (*.f64 %28 %48) (*.f64 %43 %39)) (*.f64 %43 %48))
(/.f64 (-.f64 (*.f64 %34 %48) (*.f64 %48 %39)) %345)
(/.f64 (-.f64 (*.f64 %112 %48) %69) (*.f64 %27 %48))
(/.f64 (-.f64 (*.f64 x %48) %77) %361)
(/.f64 (-.f64 %384 %385) %43)
(/.f64 (-.f64 %388 (*.f64 %257 %305)) %295)
(/.f64 (-.f64 (*.f64 %336 %12) (*.f64 %257 %118)) %300)
(/.f64 (-.f64 %388 (*.f64 %257 y)) %295)
(/.f64 (-.f64 %72 (*.f64 %43 %305)) %312)
(/.f64 (-.f64 %68 (*.f64 %43 %118)) %316)
(/.f64 (-.f64 %72 (*.f64 %43 y)) %312)
(/.f64 (-.f64 %80 (*.f64 %48 %305)) %323)
(/.f64 (-.f64 %76 (*.f64 %48 %118)) %327)
(/.f64 (-.f64 %80 (*.f64 %48 y)) %323)
(/.f64 (-.f64 %384 %50) %43)
(/.f64 (-.f64 (*.f64 %292 %12) %39) %48)
(/.f64 (-.f64 %28 %385) %43)
(/.f64 (-.f64 %34 (*.f64 %27 %305)) %48)
(/.f64 (-.f64 %306 %34) %43)
(/.f64 (-.f64 (*.f64 %305 %12) %28) %48)
(/.f64 (-.f64 %39 %307) %43)
(/.f64 (-.f64 %50 (*.f64 %27 %292)) %48)
(/.f64 (neg.f64 %269) #s(literal -2 binary64))
(/.f64 (neg.f64 %439) (neg.f64 %257))
(/.f64 (neg.f64 %443) %43)
(/.f64 (neg.f64 %447) %449)
(/.f64 (neg.f64 %451) %449)
(/.f64 (neg.f64 %454) (neg.f64 %456))
(/.f64 (neg.f64 %459) (neg.f64 %461))
(/.f64 (neg.f64 %464) (neg.f64 %37))
(/.f64 %269 #s(literal 2 binary64))
(/.f64 %439 %257)
(/.f64 %84 (neg.f64 %31))
(/.f64 (*.f64 #s(literal -1 binary64) %17) %12)
(/.f64 %104 %27)
(/.f64 %443 %48)
(/.f64 %447 %345)
(/.f64 %451 %345)
(/.f64 %454 %456)
(/.f64 %459 %461)
(/.f64 %464 %37)
(/.f64 %7 %31)
(/.f64 %90 %43)
(/.f64 %13 %48)
(/.f64 %17 %27)
(/.f64 #s(literal 1 binary64) (pow.f64 %21 %94))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 %97))
(/.f64 #s(literal 1 binary64) (/.f64 %43 %90))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %48 %13))
(/.f64 #s(literal 1 binary64) (/.f64 %27 %17))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %2))
%21
(neg.f64 %261)
(fma.f64 (*.f64 %112 #s(literal 2 binary64)) %254 %148)
(fma.f64 (*.f64 %118 #s(literal 2 binary64)) %254 %122)
(fma.f64 %59 %263 %148)
(fma.f64 %25 %263 %122)
(fma.f64 %506 %256 %148)
(fma.f64 %508 %256 %122)
(fma.f64 %256 %506 %148)
(fma.f64 %256 %508 %122)
(fma.f64 %260 %145 %148)
(fma.f64 %260 %114 %122)
(fma.f64 #s(literal 2 binary64) (*.f64 %263 x) %148)
(fma.f64 #s(literal 2 binary64) (*.f64 %263 y) %122)
(fma.f64 %145 %260 %148)
(fma.f64 %93 %112 %148)
(fma.f64 %93 %118 %122)
(fma.f64 %50 %265 %122)
(fma.f64 %114 %260 %122)
(fma.f64 %34 %265 %148)
(fma.f64 %112 %93 %148)
(fma.f64 #s(literal -1 binary64) %145 %148)
(fma.f64 #s(literal -1 binary64) %114 %122)
(fma.f64 %118 %93 %122)
(fma.f64 %15 y %122)
(fma.f64 %15 x %148)
(fma.f64 %148 #s(literal 1 binary64) %122)
(fma.f64 %122 #s(literal 1 binary64) %148)
(fma.f64 #s(literal 1 binary64) %148 %122)
(fma.f64 #s(literal 1 binary64) %122 %148)
(fma.f64 %12 (/.f64 x %48) %148)
(fma.f64 %12 (/.f64 y %48) %122)
(fma.f64 %12 (/.f64 %145 %27) %148)
(fma.f64 y %15 %122)
(fma.f64 x %15 %148)
(-.f64 %148 %145)
(-.f64 %122 (/.f64 %39 %48))
(-.f64 %122 %114)
(+.f64 %148 %122)
(+.f64 %122 %148)

%2 = (+.f64 x y)
%3 = (-.f64 x y)
%4 = (+ x y)
%5 = (approx %4 y)
%7 = (- x y)
%8 = (/ %4 %7)
%11 = (/.f64 x y)
%12 = (*.f64 #s(literal -2 binary64) %11)
%14 = (-.f64 %12 #s(literal 1 binary64))
%17 = (/.f64 y x)
%19 = (*.f64 #s(literal 2 binary64) %17)
%20 = (+.f64 #s(literal 1 binary64) %19)
%22 = (-.f64 %11 #s(literal 1 binary64))
%23 = (*.f64 y %22)
%24 = (approx %7 %23)
%25 = (+.f64 y x)
%26 = (/.f64 #s(literal 1 binary64) %3)
%28 = (/.f64 %3 %25)
x
y
%2
%3
%5
#s(literal -1 binary64)
(approx %8 #s(literal -1 binary64))
#s(literal -2 binary64)
%11
%12
#s(literal 1 binary64)
%14
(approx %8 %14)
#s(literal 2 binary64)
%17
(approx %8 #s(literal 1 binary64))
%19
%20
(approx %8 %20)
%22
%23
%24
%25
%26
(*.f64 %25 %26)
%28
(/.f64 #s(literal 1 binary64) %28)
(/.f64 %5 %3)
(/.f64 %2 %24)

%2 = (+.f64 y x)
%4 = (*.f64 %2 #s(literal 1/2 binary64))
%6 = (*.f64 %4 #s(literal 2 binary64))
%7 = (*.f64 %2 #s(literal 2 binary64))
%8 = (*.f64 %7 #s(literal 1/2 binary64))
%9 = (*.f64 #s(literal 1/2 binary64) %7)
%11 = (*.f64 %2 #s(literal 1 binary64))
%12 = (*.f64 #s(literal 1/2 binary64) %2)
%13 = (*.f64 #s(literal 2 binary64) %12)
%14 = (*.f64 #s(literal 1 binary64) %2)
%15 = (pow.f64 %2 #s(literal 1 binary64))
%16 = (/.f64 %7 #s(literal 2 binary64))
%17 = (/.f64 #s(literal 1 binary64) %2)
%18 = (/.f64 #s(literal 1 binary64) %17)
%19 = (neg.f64 %2)
%20 = (neg.f64 %19)
%22 = (*.f64 %2 #s(literal 0 binary64))
%23 = (fma.f64 %4 #s(literal 2 binary64) %22)
%24 = (*.f64 #s(literal 0 binary64) %2)
%25 = (fma.f64 %4 #s(literal 2 binary64) %24)
%26 = (fma.f64 %7 #s(literal 1/2 binary64) %22)
%27 = (fma.f64 %7 #s(literal 1/2 binary64) %24)
%29 = (fma.f64 #s(literal -1/2 binary64) %19 %12)
%30 = (fma.f64 #s(literal 1/2 binary64) %7 %22)
%31 = (fma.f64 #s(literal 1/2 binary64) %7 %24)
%32 = (fma.f64 #s(literal 1/2 binary64) %2 %12)
%33 = (fma.f64 %2 #s(literal 1/2 binary64) %4)
%34 = (fma.f64 %2 #s(literal 1 binary64) %22)
%35 = (fma.f64 %2 #s(literal 1 binary64) %24)
%36 = (fma.f64 #s(literal 2 binary64) %12 %22)
%37 = (fma.f64 #s(literal 2 binary64) %12 %24)
%38 = (fma.f64 #s(literal 1 binary64) %2 %22)
%39 = (fma.f64 #s(literal 1 binary64) %2 %24)
%40 = (neg.f64 x)
%41 = (-.f64 y %40)
%42 = (neg.f64 y)
%43 = (-.f64 x %42)
%44 = (+.f64 %4 %4)
%45 = (+.f64 %12 %12)
%46 = (+.f64 %2 %22)
%47 = (+.f64 %2 %24)
%48 = (+.f64 x y)
%49 = (-.f64 x y)
%50 = (*.f64 %49 #s(literal 1/2 binary64))
%51 = (*.f64 %50 #s(literal 2 binary64))
%52 = (*.f64 %49 #s(literal 2 binary64))
%53 = (*.f64 %52 #s(literal 1/2 binary64))
%54 = (-.f64 y x)
%55 = (/.f64 %54 y)
%56 = (*.f64 %55 %42)
%57 = (*.f64 %42 %55)
%58 = (/.f64 %49 y)
%59 = (*.f64 %58 y)
%60 = (*.f64 #s(literal 1 binary64) %49)
%61 = (*.f64 %49 #s(literal 1 binary64))
%62 = (*.f64 y %58)
%63 = (pow.f64 %49 #s(literal 1 binary64))
%64 = (/.f64 %52 #s(literal 2 binary64))
%65 = (/.f64 #s(literal 1 binary64) %49)
%66 = (/.f64 #s(literal 1 binary64) %65)
%67 = (*.f64 %54 #s(literal 1 binary64))
%68 = (neg.f64 %67)
%70 = (*.f64 %49 #s(literal -1 binary64))
%71 = (neg.f64 %70)
%72 = (neg.f64 %54)
%73 = (/.f64 #s(literal 1 binary64) y)
%75 = (fma.f64 (*.f64 y %73) x %42)
%76 = (*.f64 %49 #s(literal 0 binary64))
%77 = (fma.f64 %50 #s(literal 2 binary64) %76)
%78 = (*.f64 #s(literal 0 binary64) %49)
%79 = (fma.f64 %50 #s(literal 2 binary64) %78)
%80 = (fma.f64 %52 #s(literal 1/2 binary64) %76)
%81 = (fma.f64 %52 #s(literal 1/2 binary64) %78)
%82 = (*.f64 %40 y)
%83 = (/.f64 #s(literal -1 binary64) y)
%84 = (fma.f64 %82 %83 %42)
%85 = (*.f64 y x)
%86 = (fma.f64 %85 %73 %42)
%88 = (*.f64 #s(literal -2 binary64) y)
%89 = (/.f64 x y)
%90 = (*.f64 %89 y)
%91 = (fma.f64 %88 #s(literal 1/2 binary64) %90)
%92 = (fma.f64 %88 #s(literal 1/2 binary64) x)
%93 = (+.f64 y y)
%94 = (fma.f64 %93 #s(literal -1/2 binary64) %90)
%95 = (fma.f64 %93 #s(literal -1/2 binary64) x)
%96 = (fma.f64 #s(literal 1/2 binary64) %88 %90)
%97 = (fma.f64 #s(literal 1/2 binary64) %88 x)
%98 = (*.f64 #s(literal 1/2 binary64) %49)
%99 = (fma.f64 #s(literal 1/2 binary64) %49 %98)
%100 = (fma.f64 %55 %42 %76)
%101 = (fma.f64 %55 %42 %78)
%102 = (fma.f64 %73 %85 %42)
%104 = (fma.f64 %40 (*.f64 %83 y) %42)
%105 = (fma.f64 %42 %55 %76)
%106 = (fma.f64 %42 %55 %78)
%107 = (fma.f64 %42 #s(literal 1 binary64) %90)
%108 = (fma.f64 %42 #s(literal 1 binary64) x)
%109 = (fma.f64 %58 y %76)
%110 = (fma.f64 %58 y %78)
%111 = (*.f64 #s(literal -1/2 binary64) y)
%112 = (fma.f64 #s(literal 2 binary64) %111 %90)
%113 = (fma.f64 #s(literal 2 binary64) %111 x)
%114 = (*.f64 #s(literal 1/2 binary64) %42)
%115 = (fma.f64 #s(literal 2 binary64) %114 %90)
%116 = (fma.f64 #s(literal 2 binary64) %114 x)
%117 = (fma.f64 #s(literal 1 binary64) %42 %90)
%118 = (fma.f64 #s(literal 1 binary64) %42 x)
%119 = (fma.f64 #s(literal 1 binary64) %49 %76)
%120 = (fma.f64 #s(literal 1 binary64) %49 %78)
%121 = (fma.f64 %89 y %42)
%122 = (*.f64 #s(literal 1/2 binary64) y)
%123 = (fma.f64 #s(literal -2 binary64) %122 %90)
%124 = (fma.f64 #s(literal -2 binary64) %122 x)
%125 = (fma.f64 #s(literal -1 binary64) y %90)
%126 = (fma.f64 #s(literal -1 binary64) y x)
%127 = (fma.f64 %49 #s(literal 1/2 binary64) %50)
%128 = (fma.f64 %49 #s(literal 1 binary64) %76)
%129 = (fma.f64 %49 #s(literal 1 binary64) %78)
%130 = (fma.f64 y %58 %76)
%131 = (fma.f64 y %58 %78)
%132 = (fma.f64 y %89 %42)
%133 = (fma.f64 y #s(literal -1 binary64) %90)
%134 = (fma.f64 y #s(literal -1 binary64) x)
%136 = (fma.f64 x (*.f64 %73 y) %42)
%138 = (-.f64 %90 (*.f64 %42 #s(literal -1 binary64)))
%139 = (-.f64 %90 y)
%140 = (-.f64 %42 %40)
%141 = (+.f64 %50 %50)
%142 = (+.f64 %98 %98)
%143 = (+.f64 %90 %42)
%144 = (+.f64 %42 %90)
%145 = (+.f64 %42 x)
%146 = (+.f64 %49 %76)
%147 = (+.f64 %49 %78)
%148 = (+.f64 x %42)
%149 = (+ y x)
%150 = (approx %149 y)
%151 = (*.f64 %150 #s(literal 2 binary64))
%153 = (*.f64 %150 #s(literal 1/2 binary64))
%161 = (neg.f64 %150)
%163 = (*.f64 %150 #s(literal 0 binary64))
%165 = (*.f64 #s(literal 0 binary64) %150)
%169 = (*.f64 #s(literal 1/2 binary64) %150)
%180 = (- x y)
%181 = (/ %149 %180)
%182 = (approx %181 #s(literal -1 binary64))
%187 = (+.f64 x x)
%188 = (/.f64 #s(literal 1/2 binary64) y)
%192 = (*.f64 %188 x)
%197 = (*.f64 x #s(literal -1 binary64))
%206 = (/.f64 y x)
%208 = (/.f64 %40 y)
%210 = (*.f64 #s(literal -2 binary64) x)
%211 = (*.f64 %210 #s(literal 2 binary64))
%213 = (*.f64 %210 #s(literal 1 binary64))
%216 = (/.f64 #s(literal -2 binary64) y)
%221 = (*.f64 %83 #s(literal -2 binary64))
%223 = (/.f64 #s(literal -2 binary64) %42)
%226 = (*.f64 %89 #s(literal -2 binary64))
%241 = (/.f64 %187 y)
%243 = (*.f64 %89 #s(literal -1 binary64))
%245 = (*.f64 #s(literal -1 binary64) %89)
%253 = (fma.f64 %89 #s(literal -2 binary64) #s(literal -1 binary64))
%267 = (+.f64 y %187)
%294 = (approx %181 %253)
%298 = (*.f64 %206 #s(literal 1/2 binary64))
%300 = (/.f64 #s(literal -1 binary64) x)
%302 = (/.f64 #s(literal 1/2 binary64) x)
%304 = (/.f64 %93 x)
%306 = (/.f64 #s(literal 1 binary64) x)
%308 = (*.f64 %300 #s(literal 1 binary64))
%313 = (*.f64 %302 y)
%315 = (*.f64 #s(literal 1/2 binary64) %206)
%321 = (*.f64 %40 #s(literal 2 binary64))
%329 = (/.f64 %42 x)
%334 = (*.f64 %329 #s(literal 1 binary64))
%336 = (*.f64 #s(literal -1 binary64) %206)
%339 = (*.f64 %206 #s(literal 0 binary64))
%341 = (*.f64 #s(literal 0 binary64) %206)
%373 = (approx %181 #s(literal 1 binary64))
%379 = (*.f64 %93 #s(literal 2 binary64))
%381 = (/.f64 #s(literal 2 binary64) x)
%385 = (*.f64 %40 %206)
%386 = (-.f64 %385 y)
%388 = (fma.f64 %206 x y)
%390 = (*.f64 %40 %88)
%391 = (*.f64 x x)
%392 = (/.f64 #s(literal 1 binary64) %391)
%394 = (*.f64 y %187)
%396 = (-.f64 %82 %85)
%397 = (*.f64 %40 x)
%398 = (/.f64 #s(literal 1 binary64) %397)
%402 = (*.f64 #s(literal 4 binary64) %206)
%405 = (*.f64 %300 #s(literal 2 binary64))
%407 = (/.f64 #s(literal 2 binary64) %40)
%409 = (+.f64 %300 %300)
%411 = (-.f64 %300 %306)
%415 = (*.f64 %302 %93)
%468 = (*.f64 %206 #s(literal -2 binary64))
%491 = (/.f64 %82 %397)
%494 = (/.f64 (*.f64 %40 %42) %391)
%496 = (/.f64 %85 %391)
%499 = (-.f64 %206 #s(literal -1/2 binary64))
%501 = (fma.f64 #s(literal 2 binary64) y x)
%503 = (*.f64 #s(literal 4 binary64) %499)
%505 = (*.f64 #s(literal 1 binary64) %499)
%508 = (fma.f64 %206 #s(literal 2 binary64) #s(literal 1 binary64))
%510 = (/.f64 %2 x)
%534 = (*.f64 #s(literal 2 binary64) %391)
%536 = (*.f64 %391 #s(literal 2 binary64))
%540 = (*.f64 #s(literal 2 binary64) %397)
%542 = (*.f64 %397 #s(literal 2 binary64))
%595 = (*.f64 #s(literal 2 binary64) %88)
%598 = (*.f64 #s(literal 2 binary64) %93)
%689 = (approx %181 %508)
%720 = (approx %180 %49)
%722 = (/.f64 #s(literal 1 binary64) %720)
%724 = (neg.f64 %720)
%726 = (*.f64 %65 #s(literal 2 binary64))
%728 = (/.f64 #s(literal -1/2 binary64) %54)
%730 = (/.f64 #s(literal 1 binary64) %54)
%732 = (*.f64 #s(literal 4 binary64) %728)
%734 = (/.f64 #s(literal 2 binary64) %49)
%739 = (*.f64 #s(literal 1/2 binary64) %730)
%741 = (/.f64 #s(literal 1/2 binary64) %54)
%743 = (*.f64 %730 #s(literal 1 binary64))
%750 = (*.f64 #s(literal 2 binary64) %49)
%757 = (/.f64 %49 #s(literal 1 binary64))
%759 = (*.f64 #s(literal 2 binary64) %54)
%761 = (*.f64 %54 #s(literal 2 binary64))
%768 = (*.f64 %65 #s(literal 0 binary64))
%770 = (*.f64 #s(literal 0 binary64) %65)
%772 = (/.f64 #s(literal 0 binary64) %49)
%816 = (*.f64 %65 %7)
%817 = (*.f64 %816 #s(literal 1/2 binary64))
%818 = (*.f64 #s(literal 1 binary64) %734)
%819 = (*.f64 %818 %12)
%820 = (/.f64 %2 %49)
%821 = (*.f64 %820 #s(literal 2 binary64))
%822 = (*.f64 %821 #s(literal 1/2 binary64))
%823 = (/.f64 %65 #s(literal -1 binary64))
%824 = (*.f64 %823 %19)
%825 = (/.f64 x %2)
%826 = (*.f64 %825 %2)
%827 = (-.f64 %826 y)
%828 = (/.f64 #s(literal 1 binary64) %827)
%829 = (*.f64 %828 %2)
%830 = (*.f64 %2 x)
%831 = (*.f64 %2 y)
%832 = (-.f64 %830 %831)
%833 = (/.f64 #s(literal 1 binary64) %832)
%834 = (*.f64 %2 %2)
%835 = (*.f64 %833 %834)
%836 = (/.f64 %65 #s(literal 2 binary64))
%837 = (/.f64 #s(literal 1/2 binary64) %2)
%838 = (/.f64 #s(literal 1 binary64) %837)
%839 = (*.f64 %836 %838)
%840 = (/.f64 %65 #s(literal 1 binary64))
%841 = (*.f64 %840 %2)
%842 = (/.f64 #s(literal 2 binary64) %17)
%843 = (*.f64 %842 %728)
%844 = (/.f64 #s(literal 2 binary64) %54)
%845 = (/.f64 #s(literal -1 binary64) %2)
%846 = (/.f64 #s(literal 1/2 binary64) %845)
%847 = (*.f64 %844 %846)
%848 = (/.f64 #s(literal -1/2 binary64) %17)
%849 = (*.f64 %844 %848)
%850 = (/.f64 #s(literal -2 binary64) %49)
%851 = (*.f64 %850 %846)
%852 = (/.f64 #s(literal 2 binary64) %845)
%853 = (*.f64 %741 %852)
%854 = (*.f64 %7 %728)
%855 = (*.f64 %728 %2)
%856 = (*.f64 %855 #s(literal 2 binary64))
%857 = (*.f64 %728 %842)
%858 = (/.f64 %730 %837)
%859 = (*.f64 #s(literal -1/2 binary64) %858)
%860 = (/.f64 %2 %54)
%861 = (*.f64 %860 #s(literal -1 binary64))
%862 = (/.f64 #s(literal -1 binary64) %17)
%863 = (*.f64 %730 %862)
%864 = (*.f64 %730 %19)
%865 = (/.f64 x %49)
%866 = (fma.f64 %865 %49 y)
%867 = (*.f64 %866 %65)
%868 = (*.f64 %49 %2)
%869 = (*.f64 %54 %54)
%870 = (/.f64 #s(literal 1 binary64) %869)
%871 = (*.f64 %868 %870)
%872 = (*.f64 %12 %734)
%873 = (*.f64 %12 #s(literal 1 binary64))
%874 = (*.f64 %734 %873)
%875 = (*.f64 %734 %12)
%876 = (*.f64 #s(literal 4 binary64) %855)
%877 = (*.f64 #s(literal 1/2 binary64) %876)
%878 = (*.f64 #s(literal 2 binary64) %820)
%879 = (*.f64 #s(literal 1/2 binary64) %878)
%880 = (/.f64 %49 %2)
%881 = (/.f64 #s(literal 2 binary64) %880)
%882 = (*.f64 #s(literal 1/2 binary64) %881)
%883 = (/.f64 %65 %837)
%884 = (*.f64 #s(literal 1/2 binary64) %883)
%885 = (*.f64 %19 %743)
%886 = (*.f64 %19 %730)
%887 = (/.f64 #s(literal -1 binary64) %845)
%888 = (*.f64 %65 %887)
%889 = (*.f64 %65 %2)
%890 = (*.f64 %2 %65)
%891 = (*.f64 #s(literal 2 binary64) %855)
%892 = (/.f64 %728 %837)
%893 = (*.f64 #s(literal 1 binary64) %892)
%894 = (*.f64 #s(literal 1 binary64) %820)
%895 = (*.f64 #s(literal 1/2 binary64) %860)
%896 = (*.f64 #s(literal -2 binary64) %895)
%897 = (/.f64 %54 %2)
%898 = (/.f64 #s(literal 1/2 binary64) %897)
%899 = (*.f64 #s(literal -2 binary64) %898)
%900 = (*.f64 %820 #s(literal 1 binary64))
%901 = (*.f64 %860 #s(literal 1 binary64))
%902 = (*.f64 #s(literal -1 binary64) %901)
%903 = (*.f64 #s(literal -1 binary64) %860)
%904 = (pow.f64 %880 #s(literal -1 binary64))
%905 = (pow.f64 %820 #s(literal 1 binary64))
%907 = (/.f64 (*.f64 %734 #s(literal 1/2 binary64)) %17)
%909 = (/.f64 (*.f64 #s(literal 1 binary64) %866) %49)
%911 = (/.f64 (*.f64 #s(literal 1 binary64) %868) %869)
%912 = (/.f64 %821 #s(literal 2 binary64))
%913 = (/.f64 %878 #s(literal 2 binary64))
%915 = (/.f64 (*.f64 %866 #s(literal 1 binary64)) %49)
%917 = (/.f64 (*.f64 %868 #s(literal 1 binary64)) %869)
%919 = (/.f64 (/.f64 %868 %49) %49)
%920 = (/.f64 y %49)
%922 = (/.f64 (fma.f64 %920 %54 %40) %54)
%924 = (/.f64 (fma.f64 %920 %49 x) %49)
%926 = (/.f64 (fma.f64 %865 %54 %42) %54)
%929 = (/.f64 (-.f64 (*.f64 %920 %49) %40) %49)
%932 = (/.f64 (fma.f64 %42 %54 (*.f64 %40 %54)) %869)
%935 = (*.f64 %54 %49)
%936 = (/.f64 (fma.f64 %42 %49 (*.f64 x %54)) %935)
%937 = (*.f64 %40 %49)
%939 = (*.f64 %49 %54)
%940 = (/.f64 (fma.f64 y %54 %937) %939)
%943 = (/.f64 (fma.f64 %40 %54 (*.f64 %42 %54)) %869)
%946 = (/.f64 (fma.f64 %40 %49 (*.f64 y %54)) %935)
%947 = (*.f64 %42 %49)
%949 = (/.f64 (fma.f64 x %54 %947) %939)
%950 = (/.f64 %836 %837)
%951 = (/.f64 %840 %17)
%952 = (*.f64 %54 %40)
%954 = (/.f64 (fma.f64 %42 %54 %952) %869)
%957 = (/.f64 (fma.f64 %42 %49 (*.f64 %54 x)) %935)
%958 = (*.f64 %49 %40)
%960 = (/.f64 (fma.f64 y %54 %958) %939)
%961 = (*.f64 %54 %42)
%963 = (/.f64 (fma.f64 %40 %54 %961) %869)
%966 = (/.f64 (fma.f64 %40 %49 (*.f64 %54 y)) %935)
%967 = (*.f64 %49 %42)
%969 = (/.f64 (fma.f64 x %54 %967) %939)
%971 = (/.f64 (-.f64 %947 %952) %935)
%972 = (*.f64 %49 y)
%974 = (/.f64 (-.f64 %972 %958) %869)
%976 = (/.f64 (-.f64 %937 %961) %935)
%977 = (*.f64 %49 x)
%979 = (/.f64 (-.f64 %977 %967) %869)
%981 = (/.f64 (*.f64 #s(literal 2 binary64) %866) %750)
%984 = (/.f64 (*.f64 #s(literal 2 binary64) %868) (*.f64 #s(literal 2 binary64) %869))
%986 = (/.f64 (*.f64 #s(literal 2 binary64) %19) %759)
%988 = (/.f64 (*.f64 %866 #s(literal 2 binary64)) %52)
%991 = (/.f64 (*.f64 %868 #s(literal 2 binary64)) (*.f64 %869 #s(literal 2 binary64)))
%993 = (/.f64 (*.f64 %19 #s(literal 2 binary64)) %761)
%995 = (/.f64 %726 (*.f64 %17 #s(literal 2 binary64)))
%997 = (/.f64 (neg.f64 %866) %54)
%1000 = (/.f64 (neg.f64 %868) (neg.f64 %869))
%1001 = (/.f64 %7 %750)
%1002 = (/.f64 %7 %52)
%1003 = (/.f64 %730 %845)
%1004 = (/.f64 %866 %49)
%1005 = (/.f64 %868 %869)
%1007 = (/.f64 %734 (*.f64 #s(literal 2 binary64) %17))
%1008 = (/.f64 %834 %832)
%1009 = (/.f64 %19 %54)
%1010 = (/.f64 %65 %17)
%1011 = (/.f64 %2 %827)
%1013 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %880))
%1015 = (/.f64 #s(literal 2 binary64) (*.f64 %880 #s(literal 2 binary64)))
%1017 = (/.f64 #s(literal 1 binary64) (/.f64 %49 %866))
%1019 = (/.f64 #s(literal 1 binary64) (/.f64 %869 %868))
%1021 = (/.f64 #s(literal 1 binary64) (/.f64 %17 %65))
%1023 = (/.f64 #s(literal 1 binary64) (pow.f64 %820 #s(literal -1 binary64)))
%1025 = (/.f64 #s(literal 1 binary64) (/.f64 %897 #s(literal -1 binary64)))
%1026 = (/.f64 #s(literal 1 binary64) %880)
%1028 = (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %897))
%1030 = (/.f64 #s(literal -2 binary64) (*.f64 %897 #s(literal 2 binary64)))
%1031 = (/.f64 #s(literal -1 binary64) %897)
%1032 = (neg.f64 %901)
%1034 = (neg.f64 (*.f64 %820 #s(literal -1 binary64)))
%1036 = (neg.f64 (/.f64 %866 %54))
%1037 = (neg.f64 %860)
%1038 = (*.f64 %820 #s(literal 0 binary64))
%1039 = (fma.f64 %816 #s(literal 1/2 binary64) %1038)
%1040 = (*.f64 #s(literal 0 binary64) %820)
%1041 = (fma.f64 %816 #s(literal 1/2 binary64) %1040)
%1042 = (/.f64 #s(literal 0 binary64) %880)
%1043 = (fma.f64 %816 #s(literal 1/2 binary64) %1042)
%1044 = (fma.f64 %818 %12 %1038)
%1045 = (fma.f64 %818 %12 %1040)
%1046 = (fma.f64 %818 %12 %1042)
%1047 = (fma.f64 %821 #s(literal 1/2 binary64) %1038)
%1048 = (fma.f64 %821 #s(literal 1/2 binary64) %1040)
%1049 = (fma.f64 %821 #s(literal 1/2 binary64) %1042)
%1051 = (fma.f64 (*.f64 #s(literal 1/2 binary64) %19) %730 %855)
%1053 = (fma.f64 (*.f64 %920 #s(literal 2 binary64)) #s(literal 1/2 binary64) %865)
%1055 = (fma.f64 (*.f64 %865 #s(literal 2 binary64)) #s(literal 1/2 binary64) %920)
%1056 = (fma.f64 %823 %19 %1038)
%1057 = (fma.f64 %823 %19 %1040)
%1058 = (fma.f64 %823 %19 %1042)
%1059 = (fma.f64 %828 %2 %1038)
%1060 = (fma.f64 %828 %2 %1040)
%1061 = (fma.f64 %828 %2 %1042)
%1062 = (fma.f64 %833 %834 %1038)
%1063 = (fma.f64 %833 %834 %1040)
%1064 = (fma.f64 %833 %834 %1042)
%1066 = (fma.f64 (/.f64 #s(literal 1/2 binary64) %827) %2 %855)
%1068 = (fma.f64 (/.f64 #s(literal 1/2 binary64) %832) %834 %855)
%1070 = (fma.f64 (*.f64 %920 #s(literal 1/2 binary64)) #s(literal 2 binary64) %865)
%1072 = (fma.f64 (*.f64 %865 #s(literal 1/2 binary64)) #s(literal 2 binary64) %920)
%1073 = (fma.f64 %739 %19 %855)
%1074 = (fma.f64 %836 %838 %1038)
%1075 = (fma.f64 %836 %838 %1040)
%1076 = (fma.f64 %836 %838 %1042)
%1077 = (fma.f64 %840 %2 %1038)
%1078 = (fma.f64 %840 %2 %1040)
%1079 = (fma.f64 %840 %2 %1042)
%1080 = (fma.f64 %842 %728 %1038)
%1081 = (fma.f64 %842 %728 %1040)
%1082 = (fma.f64 %842 %728 %1042)
%1083 = (fma.f64 %844 %846 %1038)
%1084 = (fma.f64 %844 %846 %1040)
%1085 = (fma.f64 %844 %846 %1042)
%1086 = (fma.f64 %844 %848 %1038)
%1087 = (fma.f64 %844 %848 %1040)
%1088 = (fma.f64 %844 %848 %1042)
%1089 = (fma.f64 %850 %846 %1038)
%1090 = (fma.f64 %850 %846 %1040)
%1091 = (fma.f64 %850 %846 %1042)
%1092 = (fma.f64 %741 %852 %1038)
%1093 = (fma.f64 %741 %852 %1040)
%1094 = (fma.f64 %741 %852 %1042)
%1095 = (fma.f64 %741 %19 %855)
%1096 = (fma.f64 %197 %730 %920)
%1097 = (fma.f64 %7 %728 %1038)
%1098 = (fma.f64 %7 %728 %1040)
%1099 = (fma.f64 %7 %728 %1042)
%1100 = (fma.f64 %855 #s(literal 2 binary64) %1038)
%1101 = (fma.f64 %855 #s(literal 2 binary64) %1040)
%1102 = (fma.f64 %855 #s(literal 2 binary64) %1042)
%1103 = (fma.f64 %855 #s(literal 1 binary64) %855)
%1104 = (fma.f64 %728 %842 %1038)
%1105 = (fma.f64 %728 %842 %1040)
%1106 = (fma.f64 %728 %842 %1042)
%1107 = (fma.f64 %728 %2 %855)
%1108 = (fma.f64 #s(literal -1/2 binary64) %858 %1038)
%1109 = (fma.f64 #s(literal -1/2 binary64) %858 %1040)
%1110 = (fma.f64 #s(literal -1/2 binary64) %858 %1042)
%1111 = (fma.f64 #s(literal -1/2 binary64) %860 %855)
%1112 = (fma.f64 %860 #s(literal -1 binary64) %1038)
%1113 = (fma.f64 %860 #s(literal -1 binary64) %1040)
%1114 = (fma.f64 %860 #s(literal -1 binary64) %1042)
%1115 = (fma.f64 %730 %862 %1038)
%1116 = (fma.f64 %730 %862 %1040)
%1117 = (fma.f64 %730 %862 %1042)
%1118 = (fma.f64 %730 %19 %1038)
%1119 = (fma.f64 %730 %19 %1040)
%1120 = (fma.f64 %730 %19 %1042)
%1121 = (*.f64 %730 %42)
%1122 = (fma.f64 %730 %40 %1121)
%1123 = (*.f64 %730 %40)
%1124 = (fma.f64 %730 %42 %1123)
%1125 = (fma.f64 %866 %65 %1038)
%1126 = (fma.f64 %866 %65 %1040)
%1127 = (fma.f64 %866 %65 %1042)
%1128 = (fma.f64 %868 %870 %1038)
%1129 = (fma.f64 %868 %870 %1040)
%1130 = (fma.f64 %868 %870 %1042)
%1131 = (fma.f64 %12 %734 %1038)
%1132 = (fma.f64 %12 %734 %1040)
%1133 = (fma.f64 %12 %734 %1042)
%1134 = (fma.f64 %12 %65 %855)
%1135 = (fma.f64 %734 %873 %1038)
%1136 = (fma.f64 %734 %873 %1040)
%1137 = (fma.f64 %734 %873 %1042)
%1138 = (fma.f64 %734 %12 %1038)
%1139 = (fma.f64 %734 %12 %1040)
%1140 = (fma.f64 %734 %12 %1042)
%1141 = (fma.f64 %187 %728 %920)
%1142 = (fma.f64 %93 %728 %865)
%1143 = (fma.f64 #s(literal 1/2 binary64) %876 %1038)
%1144 = (fma.f64 #s(literal 1/2 binary64) %876 %1040)
%1145 = (fma.f64 #s(literal 1/2 binary64) %876 %1042)
%1147 = (fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %920) %865)
%1149 = (fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %865) %920)
%1150 = (fma.f64 #s(literal 1/2 binary64) %878 %1038)
%1151 = (fma.f64 #s(literal 1/2 binary64) %878 %1040)
%1152 = (fma.f64 #s(literal 1/2 binary64) %878 %1042)
%1153 = (fma.f64 #s(literal 1/2 binary64) %881 %1038)
%1154 = (fma.f64 #s(literal 1/2 binary64) %881 %1040)
%1155 = (fma.f64 #s(literal 1/2 binary64) %881 %1042)
%1156 = (fma.f64 #s(literal 1/2 binary64) %883 %1038)
%1157 = (fma.f64 #s(literal 1/2 binary64) %883 %1040)
%1158 = (fma.f64 #s(literal 1/2 binary64) %883 %1042)
%1159 = (fma.f64 #s(literal 1/2 binary64) %820 %855)
%1160 = (fma.f64 %920 #s(literal 1 binary64) %865)
%1161 = (fma.f64 %865 #s(literal 1 binary64) %920)
%1162 = (fma.f64 %19 %743 %1038)
%1163 = (fma.f64 %19 %743 %1040)
%1164 = (fma.f64 %19 %743 %1042)
%1165 = (fma.f64 %19 %730 %1038)
%1166 = (fma.f64 %19 %730 %1040)
%1167 = (fma.f64 %19 %730 %1042)
%1168 = (fma.f64 %40 %730 %920)
%1169 = (fma.f64 %42 %730 %865)
%1170 = (fma.f64 %65 %887 %1038)
%1171 = (fma.f64 %65 %887 %1040)
%1172 = (fma.f64 %65 %887 %1042)
%1173 = (fma.f64 %65 %12 %855)
%1174 = (fma.f64 %65 %2 %1038)
%1175 = (fma.f64 %65 %2 %1040)
%1176 = (fma.f64 %65 %2 %1042)
%1177 = (fma.f64 %65 y %865)
%1178 = (fma.f64 %65 x %920)
%1179 = (fma.f64 %2 %65 %1038)
%1180 = (fma.f64 %2 %65 %1040)
%1181 = (fma.f64 %2 %65 %1042)
%1183 = (fma.f64 #s(literal 2 binary64) (*.f64 %728 x) %920)
%1185 = (fma.f64 #s(literal 2 binary64) (*.f64 %728 y) %865)
%1187 = (fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %920) %865)
%1189 = (fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %865) %920)
%1190 = (fma.f64 #s(literal 2 binary64) %855 %1038)
%1191 = (fma.f64 #s(literal 2 binary64) %855 %1040)
%1192 = (fma.f64 #s(literal 2 binary64) %855 %1042)
%1193 = (fma.f64 #s(literal 1 binary64) %892 %1038)
%1194 = (fma.f64 #s(literal 1 binary64) %892 %1040)
%1195 = (fma.f64 #s(literal 1 binary64) %892 %1042)
%1196 = (fma.f64 #s(literal 1 binary64) %855 %855)
%1197 = (fma.f64 #s(literal 1 binary64) %920 %865)
%1198 = (fma.f64 #s(literal 1 binary64) %865 %920)
%1199 = (fma.f64 #s(literal 1 binary64) %820 %1038)
%1200 = (fma.f64 #s(literal 1 binary64) %820 %1040)
%1201 = (fma.f64 #s(literal 1 binary64) %820 %1042)
%1202 = (fma.f64 #s(literal -2 binary64) %895 %1038)
%1203 = (fma.f64 #s(literal -2 binary64) %895 %1040)
%1204 = (fma.f64 #s(literal -2 binary64) %895 %1042)
%1205 = (fma.f64 #s(literal -2 binary64) %898 %1038)
%1206 = (fma.f64 #s(literal -2 binary64) %898 %1040)
%1207 = (fma.f64 #s(literal -2 binary64) %898 %1042)
%1208 = (fma.f64 %820 #s(literal 1/2 binary64) %855)
%1209 = (fma.f64 %820 #s(literal 1 binary64) %1038)
%1210 = (fma.f64 %820 #s(literal 1 binary64) %1040)
%1211 = (fma.f64 %820 #s(literal 1 binary64) %1042)
%1212 = (fma.f64 #s(literal -1 binary64) %901 %1038)
%1213 = (fma.f64 #s(literal -1 binary64) %901 %1040)
%1214 = (fma.f64 #s(literal -1 binary64) %901 %1042)
%1215 = (*.f64 %730 x)
%1216 = (fma.f64 #s(literal -1 binary64) %1215 %920)
%1217 = (*.f64 %730 y)
%1218 = (fma.f64 #s(literal -1 binary64) %1217 %865)
%1219 = (fma.f64 #s(literal -1 binary64) %860 %1038)
%1220 = (fma.f64 #s(literal -1 binary64) %860 %1040)
%1221 = (fma.f64 #s(literal -1 binary64) %860 %1042)
%1222 = (fma.f64 y %65 %865)
%1223 = (fma.f64 x %65 %920)
%1224 = (-.f64 %920 %1215)
%1226 = (-.f64 %920 (/.f64 x %54))
%1227 = (-.f64 %865 %1217)
%1228 = (/.f64 y %54)
%1230 = (-.f64 %865 (*.f64 %1228 #s(literal 1 binary64)))
%1232 = (-.f64 %865 (*.f64 #s(literal -1 binary64) %920))
%1233 = (-.f64 %865 %1228)
%1234 = (+.f64 %1123 %1121)
%1235 = (+.f64 %1121 %1123)
%1238 = (+.f64 (/.f64 (*.f64 %865 %49) %49) %920)
%1241 = (+.f64 (/.f64 %977 %869) (/.f64 %972 %869))
%1242 = (+.f64 %855 %855)
%1243 = (+.f64 %920 %865)
%1244 = (+.f64 %865 %920)
%1245 = (+.f64 %820 %1038)
%1246 = (+.f64 %820 %1040)
%1247 = (+.f64 %820 %1042)
%1248 = (/.f64 %49 %7)
%1279 = (*.f64 %19 %2)
%1285 = (*.f64 %19 %42)
%1288 = (*.f64 %2 %42)
%1314 = (*.f64 %17 %42)
%1316 = (/.f64 %42 %2)
%1328 = (/.f64 y %2)
%1343 = (/.f64 %150 %49)
%1349 = (*.f64 %730 %150)
%1367 = (/.f64 #s(literal 1/2 binary64) %720)
%1369 = (/.f64 #s(literal -1 binary64) %720)
%1371 = (/.f64 x %720)
%1372 = (fma.f64 %1371 %720 y)
%1374 = (*.f64 %720 %2)
%1375 = (*.f64 %720 %720)
%1380 = (/.f64 %2 %720)
%1389 = (/.f64 y %720)
%1404 = (*.f64 %724 %720)
%1406 = (*.f64 %40 %720)
%1408 = (*.f64 %720 %724)
%1416 = (*.f64 %42 %720)
%1419 = (*.f64 %724 %40)
%1425 = (*.f64 %720 %40)
%1428 = (*.f64 %724 %42)
%1434 = (*.f64 %720 %42)
%1439 = (*.f64 %720 y)
%1444 = (*.f64 %720 x)
x
y
%6
%8
%9
%11
%13
%14
%15
%16
%18
%20
%23
%25
%26
%27
%29
%30
%31
%32
%33
%34
%35
%36
%37
%38
%39
%41
%43
%44
%45
%46
%47
%2
%48
%51
%53
%56
%57
%59
%60
%61
%62
%63
%64
%66
%68
%71
%72
%75
%77
%79
%80
%81
%84
%86
%91
%92
%94
%95
%96
%97
%99
%100
%101
%102
%104
%105
%106
%107
%108
%109
%110
%112
%113
%115
%116
%117
%118
%119
%120
%121
%123
%124
%125
%126
%127
%128
%129
%130
%131
%132
%133
%134
%136
%138
%139
%140
%49
%141
%142
%143
%144
%145
%146
%147
%148
(*.f64 %151 #s(literal 1/2 binary64))
(*.f64 %153 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %150)
(*.f64 %150 #s(literal 1 binary64))
(pow.f64 %150 #s(literal 1 binary64))
%150
(/.f64 %151 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %150 #s(literal -1 binary64)))
(neg.f64 %161)
(fma.f64 %151 #s(literal 1/2 binary64) %163)
(fma.f64 %151 #s(literal 1/2 binary64) %165)
(fma.f64 %153 #s(literal 2 binary64) %163)
(fma.f64 %153 #s(literal 2 binary64) %165)
(fma.f64 #s(literal 1/2 binary64) %150 %169)
(fma.f64 #s(literal 1 binary64) %150 %163)
(fma.f64 #s(literal 1 binary64) %150 %165)
(fma.f64 %150 #s(literal 1/2 binary64) %153)
(fma.f64 %150 #s(literal 1 binary64) %163)
(fma.f64 %150 #s(literal 1 binary64) %165)
(+.f64 %153 %153)
(+.f64 %169 %169)
(+.f64 %150 %163)
(+.f64 %150 %165)
#s(literal -1 binary64)
(pow.f64 %182 #s(literal 1 binary64))
%182
(/.f64 #s(literal 1 binary64) (pow.f64 %182 #s(literal -1 binary64)))
#s(literal -2 binary64)
(*.f64 %83 %40)
(*.f64 %187 %188)
(*.f64 %73 x)
(*.f64 %40 %83)
(*.f64 #s(literal 2 binary64) %192)
(*.f64 #s(literal 1 binary64) %89)
(*.f64 x %73)
(pow.f64 %89 #s(literal 1 binary64))
(/.f64 %197 %42)
(/.f64 (*.f64 %40 #s(literal 1 binary64)) %42)
(/.f64 (*.f64 #s(literal -1 binary64) x) %42)
(/.f64 %40 %42)
(/.f64 #s(literal 1 binary64) (pow.f64 %89 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %206)
%89
(neg.f64 %208)
(*.f64 %211 %188)
(*.f64 %213 %73)
(*.f64 %210 %73)
(*.f64 %216 x)
(*.f64 %208 #s(literal 2 binary64))
(*.f64 %187 %83)
(*.f64 %73 %210)
(*.f64 %40 %221)
(*.f64 %40 %223)
(*.f64 #s(literal 2 binary64) %208)
%226
(*.f64 #s(literal -2 binary64) %89)
(*.f64 x %216)
(pow.f64 %226 #s(literal 1 binary64))
(/.f64 %213 y)
(/.f64 (*.f64 %210 #s(literal -1 binary64)) %42)
(/.f64 %210 y)
(/.f64 %187 %42)
(/.f64 #s(literal 1 binary64) (/.f64 %42 %187))
(/.f64 #s(literal 1 binary64) (pow.f64 %226 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %210))
(neg.f64 %241)
(fma.f64 %89 #s(literal -1 binary64) %243)
(fma.f64 #s(literal -1 binary64) %89 %245)
(+.f64 %243 %243)
(+.f64 %245 %245)
#s(literal 1 binary64)
(*.f64 #s(literal -2 binary64) (+.f64 %89 #s(literal 1/2 binary64)))
(*.f64 #s(literal -2 binary64) (+.f64 #s(literal 1/2 binary64) %89))
(pow.f64 %253 #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %42 %187) %42)
(/.f64 (+.f64 %42 %210) y)
(/.f64 (-.f64 (*.f64 %226 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %187 #s(literal 2 binary64)) %88) %88)
(/.f64 (-.f64 %211 %93) %93)
(/.f64 (neg.f64 %267) y)
(/.f64 %267 %42)
(/.f64 #s(literal 1 binary64) (pow.f64 %253 #s(literal -1 binary64)))
(neg.f64 (fma.f64 #s(literal 2 binary64) %89 #s(literal 1 binary64)))
(fma.f64 %211 %188 #s(literal -1 binary64))
(fma.f64 %213 %73 #s(literal -1 binary64))
(fma.f64 %210 %73 #s(literal -1 binary64))
(fma.f64 %216 x #s(literal -1 binary64))
(fma.f64 %208 #s(literal 2 binary64) #s(literal -1 binary64))
(fma.f64 %187 %83 #s(literal -1 binary64))
(fma.f64 %73 %210 #s(literal -1 binary64))
(fma.f64 %40 %221 #s(literal -1 binary64))
(fma.f64 %40 %223 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) %208 #s(literal -1 binary64))
%253
(fma.f64 #s(literal -2 binary64) %89 #s(literal -1 binary64))
(fma.f64 x %216 #s(literal -1 binary64))
(-.f64 (-.f64 %226 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %253 #s(literal 0 binary64))
(-.f64 %226 #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) %241)
(+.f64 %226 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) %226)
(pow.f64 %294 #s(literal 1 binary64))
%294
(/.f64 #s(literal 1 binary64) (pow.f64 %294 #s(literal -1 binary64)))
#s(literal 2 binary64)
(*.f64 %298 #s(literal 2 binary64))
(*.f64 %300 %42)
(*.f64 %93 %302)
(*.f64 #s(literal 1/2 binary64) %304)
(*.f64 %306 y)
(*.f64 %42 %308)
(*.f64 %42 %300)
(*.f64 %304 #s(literal 1/2 binary64))
(*.f64 %206 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %313)
(*.f64 #s(literal 2 binary64) %315)
(*.f64 #s(literal 1 binary64) %206)
(*.f64 y %306)
(pow.f64 %206 #s(literal 1 binary64))
(/.f64 %88 %210)
(/.f64 %88 %321)
(/.f64 %93 %187)
(/.f64 %42 %40)
(/.f64 %304 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %206 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %89)
%206
(neg.f64 (*.f64 #s(literal 1 binary64) %329))
(neg.f64 (*.f64 %206 #s(literal -1 binary64)))
(neg.f64 %334)
(neg.f64 %336)
(neg.f64 %329)
(fma.f64 %298 #s(literal 2 binary64) %339)
(fma.f64 %298 #s(literal 2 binary64) %341)
(fma.f64 %300 %42 %339)
(fma.f64 %300 %42 %341)
(fma.f64 %93 %302 %339)
(fma.f64 %93 %302 %341)
(fma.f64 #s(literal 1/2 binary64) %304 %339)
(fma.f64 #s(literal 1/2 binary64) %304 %341)
(fma.f64 #s(literal 1/2 binary64) %206 %315)
(fma.f64 %306 y %339)
(fma.f64 %306 y %341)
(fma.f64 %42 %308 %339)
(fma.f64 %42 %308 %341)
(fma.f64 %42 %300 %339)
(fma.f64 %42 %300 %341)
(fma.f64 %304 #s(literal 1/2 binary64) %339)
(fma.f64 %304 #s(literal 1/2 binary64) %341)
(fma.f64 %206 #s(literal 1/2 binary64) %298)
(fma.f64 %206 #s(literal 1 binary64) %339)
(fma.f64 %206 #s(literal 1 binary64) %341)
(fma.f64 #s(literal 2 binary64) %313 %339)
(fma.f64 #s(literal 2 binary64) %313 %341)
(fma.f64 #s(literal 2 binary64) %315 %339)
(fma.f64 #s(literal 2 binary64) %315 %341)
(fma.f64 #s(literal 1 binary64) %206 %339)
(fma.f64 #s(literal 1 binary64) %206 %341)
(fma.f64 y %306 %339)
(fma.f64 y %306 %341)
(+.f64 %298 %298)
(+.f64 %315 %315)
(+.f64 %206 %339)
(+.f64 %206 %341)
(pow.f64 %373 #s(literal 1 binary64))
%373
(/.f64 #s(literal 1 binary64) (pow.f64 %373 #s(literal -1 binary64)))
(*.f64 %298 #s(literal 4 binary64))
(*.f64 %379 %302)
(*.f64 %381 y)
(*.f64 %329 #s(literal -2 binary64))
(*.f64 %300 %88)
(*.f64 %386 %300)
(*.f64 %388 %306)
(*.f64 %390 %392)
(*.f64 %394 %392)
(*.f64 %396 %398)
(*.f64 %88 %300)
(*.f64 %93 %306)
(*.f64 #s(literal 1/2 binary64) %402)
(*.f64 %306 %93)
(*.f64 %42 %405)
(*.f64 %42 %407)
(*.f64 %42 %409)
(*.f64 %42 %411)
(*.f64 %304 #s(literal 1 binary64))
(*.f64 %206 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %415)
(*.f64 #s(literal 2 binary64) %206)
(*.f64 #s(literal 1 binary64) %304)
(*.f64 #s(literal -2 binary64) %329)
(*.f64 y %381)
(pow.f64 %304 #s(literal 1 binary64))
(/.f64 (*.f64 %93 #s(literal -1 binary64)) %40)
(/.f64 (*.f64 #s(literal 1 binary64) %93) x)
(/.f64 (*.f64 #s(literal -1 binary64) %93) %40)
(/.f64 (/.f64 %390 %40) %40)
(/.f64 (/.f64 %394 x) x)
(/.f64 (/.f64 %396 %40) x)
(/.f64 (/.f64 %396 x) %40)
(/.f64 (neg.f64 %386) x)
(/.f64 (neg.f64 %388) %40)
(/.f64 (neg.f64 %390) %397)
(/.f64 (neg.f64 %394) %397)
(/.f64 (neg.f64 %396) %391)
(/.f64 %386 %40)
(/.f64 %388 x)
(/.f64 %390 %391)
(/.f64 %394 %391)
(/.f64 %396 %397)
(/.f64 %88 %40)
%304
(/.f64 #s(literal 1 binary64) (/.f64 %40 %386))
(/.f64 #s(literal 1 binary64) (/.f64 x %388))
(/.f64 #s(literal 1 binary64) (/.f64 %391 %390))
(/.f64 #s(literal 1 binary64) (/.f64 %391 %394))
(/.f64 #s(literal 1 binary64) (/.f64 %397 %396))
(/.f64 #s(literal 1 binary64) (/.f64 %40 %88))
(/.f64 #s(literal 1 binary64) (pow.f64 %304 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %93))
(neg.f64 %468)
(fma.f64 %298 #s(literal 2 binary64) %206)
(fma.f64 %300 %42 %206)
(fma.f64 %93 %302 %206)
(fma.f64 #s(literal 1/2 binary64) %304 %206)
(fma.f64 %306 y %206)
(fma.f64 %42 %308 %206)
(fma.f64 %42 %300 %206)
(fma.f64 %304 #s(literal 1/2 binary64) %206)
(fma.f64 %206 #s(literal 1 binary64) %206)
(fma.f64 #s(literal 2 binary64) %313 %206)
(fma.f64 #s(literal 2 binary64) %315 %206)
(fma.f64 #s(literal 1 binary64) %206 %206)
(fma.f64 y %306 %206)
(-.f64 %206 %334)
(-.f64 %206 %336)
(-.f64 %206 %329)
(+.f64 (/.f64 %385 %40) %206)
(+.f64 (/.f64 (*.f64 %206 x) x) %206)
(+.f64 %491 %491)
(+.f64 %494 %494)
(+.f64 %496 %496)
(+.f64 %206 %206)
(*.f64 %499 #s(literal 2 binary64))
(*.f64 %501 %306)
(*.f64 #s(literal 1/2 binary64) %503)
(*.f64 #s(literal 2 binary64) %505)
(*.f64 #s(literal 2 binary64) %499)
(pow.f64 %508 #s(literal 1 binary64))
(/.f64 (fma.f64 %510 %40 %42) %40)
(/.f64 (fma.f64 %510 x y) x)
(/.f64 (fma.f64 %304 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 1 binary64) %40 %386) %40)
(/.f64 (+.f64 x %388) x)
(/.f64 (fma.f64 #s(literal 1 binary64) %391 %390) %391)
(/.f64 (fma.f64 #s(literal 1 binary64) %391 %394) %391)
(/.f64 (fma.f64 #s(literal 1 binary64) %397 %396) %397)
(/.f64 (fma.f64 #s(literal 1 binary64) %40 %88) %40)
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %40) %93) %40)
(/.f64 (fma.f64 %386 #s(literal 2 binary64) %210) %321)
(/.f64 (fma.f64 %390 #s(literal 2 binary64) %534) %536)
(/.f64 (fma.f64 %394 #s(literal 2 binary64) %534) %536)
(/.f64 (fma.f64 %396 #s(literal 2 binary64) %540) %542)
(/.f64 (fma.f64 %88 #s(literal 2 binary64) %210) %321)
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 %386 #s(literal 2 binary64))) %210)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %388 #s(literal 2 binary64))) %187)
(/.f64 (fma.f64 #s(literal 2 binary64) %391 (*.f64 %390 #s(literal 2 binary64))) %534)
(/.f64 (fma.f64 #s(literal 2 binary64) %391 (*.f64 %394 #s(literal 2 binary64))) %534)
(/.f64 (fma.f64 #s(literal 2 binary64) %397 (*.f64 %396 #s(literal 2 binary64))) %540)
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 %88 #s(literal 2 binary64))) %210)
(/.f64 (fma.f64 #s(literal 2 binary64) x %379) %187)
(/.f64 (fma.f64 %386 #s(literal 2 binary64) %321) %321)
(/.f64 (fma.f64 %388 #s(literal 2 binary64) %187) %187)
(/.f64 (fma.f64 %390 #s(literal 2 binary64) %536) %536)
(/.f64 (fma.f64 %394 #s(literal 2 binary64) %536) %536)
(/.f64 (fma.f64 %396 #s(literal 2 binary64) %542) %542)
(/.f64 (fma.f64 %88 #s(literal 2 binary64) %321) %321)
(/.f64 (fma.f64 %93 #s(literal 2 binary64) %187) %187)
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 2 binary64) %386)) %210)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %388)) %187)
(/.f64 (fma.f64 #s(literal 2 binary64) %391 (*.f64 #s(literal 2 binary64) %390)) %534)
(/.f64 (fma.f64 #s(literal 2 binary64) %391 (*.f64 #s(literal 2 binary64) %394)) %534)
(/.f64 (fma.f64 #s(literal 2 binary64) %397 (*.f64 #s(literal 2 binary64) %396)) %540)
(/.f64 (fma.f64 #s(literal -2 binary64) x %595) %210)
(/.f64 (fma.f64 #s(literal 2 binary64) x %598) %187)
(/.f64 (-.f64 %187 %595) %187)
(/.f64 (-.f64 %210 %598) %210)
(/.f64 (neg.f64 %501) %40)
(/.f64 %501 x)
(/.f64 #s(literal 1 binary64) (/.f64 x %501))
(/.f64 #s(literal 1 binary64) (pow.f64 %508 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) %499))
(neg.f64 (+.f64 #s(literal -1 binary64) %468))
(neg.f64 (-.f64 #s(literal -1 binary64) %304))
(neg.f64 (fma.f64 %206 #s(literal -2 binary64) #s(literal -1 binary64)))
(fma.f64 %298 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 %298 #s(literal 2 binary64) %510)
(fma.f64 %379 %302 #s(literal 1 binary64))
(fma.f64 %499 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %381 y #s(literal 1 binary64))
(fma.f64 %329 #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 %300 %88 #s(literal 1 binary64))
(fma.f64 %300 %42 %510)
(fma.f64 %501 %306 #s(literal 0 binary64))
(fma.f64 %386 %300 #s(literal 1 binary64))
(fma.f64 %388 %306 #s(literal 1 binary64))
(fma.f64 %390 %392 #s(literal 1 binary64))
(fma.f64 %394 %392 #s(literal 1 binary64))
(fma.f64 %396 %398 #s(literal 1 binary64))
(fma.f64 %88 %300 #s(literal 1 binary64))
(fma.f64 %93 %302 %510)
(fma.f64 %93 %306 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %503 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %402 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %304 %510)
(fma.f64 %306 %93 #s(literal 1 binary64))
(fma.f64 %306 y %510)
(fma.f64 %42 %308 %510)
(fma.f64 %42 %405 #s(literal 1 binary64))
(fma.f64 %42 %407 #s(literal 1 binary64))
(fma.f64 %42 %409 #s(literal 1 binary64))
(fma.f64 %42 %411 #s(literal 1 binary64))
(fma.f64 %42 %300 %510)
(fma.f64 %304 #s(literal 1/2 binary64) %510)
(fma.f64 %304 #s(literal 1 binary64) #s(literal 1 binary64))
%508
(fma.f64 %206 #s(literal 1 binary64) %510)
(fma.f64 #s(literal 2 binary64) %313 %510)
(fma.f64 #s(literal 2 binary64) %505 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %415 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %315 %510)
(fma.f64 #s(literal 2 binary64) %499 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %206 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %304 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %206 %510)
(fma.f64 #s(literal -2 binary64) %329 #s(literal 1 binary64))
(fma.f64 y %381 #s(literal 1 binary64))
(fma.f64 y %306 %510)
(-.f64 %510 %329)
(-.f64 %304 #s(literal -1 binary64))
(-.f64 %206 (-.f64 %329 #s(literal 1 binary64)))
(-.f64 %206 (+.f64 %329 #s(literal -1 binary64)))
(-.f64 %206 (neg.f64 %510))
(-.f64 #s(literal 1 binary64) %468)
(+.f64 (fma.f64 %381 y #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 (/.f64 x x) %304)
(+.f64 %510 %206)
(+.f64 %499 %499)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %304))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %468))
(+.f64 %508 #s(literal 0 binary64))
(+.f64 %304 #s(literal 1 binary64))
(+.f64 %206 %510)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %304))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %468))
(+.f64 #s(literal 1 binary64) %304)
(pow.f64 %689 #s(literal 1 binary64))
%689
(/.f64 #s(literal 1 binary64) (pow.f64 %689 #s(literal -1 binary64)))
(pow.f64 %58 #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %42 %40) %42)
(/.f64 (-.f64 %241 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %187 %93) %93)
(/.f64 (-.f64 %321 %88) %88)
(/.f64 %54 %42)
(/.f64 #s(literal 1 binary64) (pow.f64 %58 #s(literal -1 binary64)))
%58
(neg.f64 %55)
(fma.f64 %83 %40 #s(literal -1 binary64))
(fma.f64 %187 %188 #s(literal -1 binary64))
(fma.f64 %73 x #s(literal -1 binary64))
(fma.f64 %40 %83 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) %192 #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) %89 #s(literal -1 binary64))
(fma.f64 x %73 #s(literal -1 binary64))
(-.f64 (-.f64 %89 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %58 #s(literal 0 binary64))
(-.f64 %89 #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) %208)
(+.f64 %89 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) %89)
%51
%53
%56
%57
%59
%60
%61
%62
%63
%64
%66
%68
%71
%72
%75
%77
%79
%80
%81
%84
%86
%91
%92
%94
%95
%96
%97
%99
%100
%101
%102
%104
%105
%106
%107
%108
%109
%110
%112
%113
%115
%116
%117
%118
%119
%120
%121
%123
%124
%125
%126
%127
%128
%129
%130
%131
%132
%133
%134
%136
%138
%139
%140
%49
%141
%142
%143
%144
%145
%146
%147
%148
(pow.f64 %720 #s(literal 1 binary64))
%720
(/.f64 #s(literal 1 binary64) %722)
(neg.f64 %724)
%6
%8
%9
%11
%13
%14
%15
%16
%18
%20
%23
%25
%26
%27
%29
%30
%31
%32
%33
%34
%35
%36
%37
%38
%39
%41
%43
%44
%45
%46
%47
%2
%48
(*.f64 %726 #s(literal 1/2 binary64))
(*.f64 %728 #s(literal 2 binary64))
(*.f64 %730 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %732)
(*.f64 #s(literal 1/2 binary64) %734)
(*.f64 %65 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %728)
(*.f64 #s(literal 1 binary64) %65)
(*.f64 #s(literal -2 binary64) %739)
(*.f64 #s(literal -2 binary64) %741)
(*.f64 #s(literal -1 binary64) %743)
(*.f64 #s(literal -1 binary64) %730)
(pow.f64 %65 #s(literal 1 binary64))
(pow.f64 %49 #s(literal -1 binary64))
(/.f64 %726 #s(literal 2 binary64))
(/.f64 %734 #s(literal 2 binary64))
(/.f64 #s(literal 2 binary64) %750)
(/.f64 #s(literal 2 binary64) %52)
(/.f64 #s(literal 1 binary64) (pow.f64 %65 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %54 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %757)
%65
(/.f64 #s(literal -2 binary64) %759)
(/.f64 #s(literal -2 binary64) %761)
(/.f64 #s(literal -1 binary64) %54)
(neg.f64 %743)
(neg.f64 (*.f64 %65 #s(literal -1 binary64)))
(neg.f64 %730)
(fma.f64 %726 #s(literal 1/2 binary64) %768)
(fma.f64 %726 #s(literal 1/2 binary64) %770)
(fma.f64 %726 #s(literal 1/2 binary64) %772)
(fma.f64 %728 #s(literal 2 binary64) %768)
(fma.f64 %728 #s(literal 2 binary64) %770)
(fma.f64 %728 #s(literal 2 binary64) %772)
(fma.f64 %728 #s(literal 1 binary64) %728)
(fma.f64 #s(literal -1/2 binary64) %730 %728)
(fma.f64 %730 #s(literal -1 binary64) %768)
(fma.f64 %730 #s(literal -1 binary64) %770)
(fma.f64 %730 #s(literal -1 binary64) %772)
(fma.f64 #s(literal 1/2 binary64) %732 %768)
(fma.f64 #s(literal 1/2 binary64) %732 %770)
(fma.f64 #s(literal 1/2 binary64) %732 %772)
(fma.f64 #s(literal 1/2 binary64) %734 %768)
(fma.f64 #s(literal 1/2 binary64) %734 %770)
(fma.f64 #s(literal 1/2 binary64) %734 %772)
(fma.f64 #s(literal 1/2 binary64) %65 %728)
(fma.f64 %65 #s(literal 1/2 binary64) %728)
(fma.f64 %65 #s(literal 1 binary64) %768)
(fma.f64 %65 #s(literal 1 binary64) %770)
(fma.f64 %65 #s(literal 1 binary64) %772)
(fma.f64 #s(literal 2 binary64) %728 %768)
(fma.f64 #s(literal 2 binary64) %728 %770)
(fma.f64 #s(literal 2 binary64) %728 %772)
(fma.f64 #s(literal 1 binary64) %728 %728)
(fma.f64 #s(literal 1 binary64) %65 %768)
(fma.f64 #s(literal 1 binary64) %65 %770)
(fma.f64 #s(literal 1 binary64) %65 %772)
(fma.f64 #s(literal -2 binary64) %739 %768)
(fma.f64 #s(literal -2 binary64) %739 %770)
(fma.f64 #s(literal -2 binary64) %739 %772)
(fma.f64 #s(literal -2 binary64) %741 %768)
(fma.f64 #s(literal -2 binary64) %741 %770)
(fma.f64 #s(literal -2 binary64) %741 %772)
(fma.f64 #s(literal -1 binary64) %743 %768)
(fma.f64 #s(literal -1 binary64) %743 %770)
(fma.f64 #s(literal -1 binary64) %743 %772)
(fma.f64 #s(literal -1 binary64) %730 %768)
(fma.f64 #s(literal -1 binary64) %730 %770)
(fma.f64 #s(literal -1 binary64) %730 %772)
(+.f64 %728 %728)
(+.f64 %65 %768)
(+.f64 %65 %770)
(+.f64 %65 %772)
%817
%819
%822
%824
%829
%835
%839
%841
%843
%847
%849
%851
%853
%854
%856
%857
%859
%861
%863
%864
%867
%871
%872
%874
%875
%877
%879
%882
%884
%885
%886
%888
%889
%890
%891
%893
%894
%896
%899
%900
%902
%903
%904
%905
%907
%909
%911
%912
%913
%915
%917
%919
%922
%924
%926
%929
%932
%936
%940
%943
%946
%949
%950
%951
%954
%957
%960
%963
%966
%969
%971
%974
%976
%979
%981
%984
%986
%988
%991
%993
%995
%997
%1000
%1001
%1002
%1003
%1004
%1005
%1007
%1008
%1009
%1010
%1011
%820
%1013
%1015
%1017
%1019
%1021
%1023
%1025
%1026
%1028
%1030
%1031
%1032
%1034
%1036
%1037
%1039
%1041
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1051
%1053
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1066
%1068
%1070
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1115
%1116
%1117
%1118
%1119
%1120
%1122
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1140
%1141
%1142
%1143
%1144
%1145
%1147
%1149
%1150
%1151
%1152
%1153
%1154
%1155
%1156
%1157
%1158
%1159
%1160
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1183
%1185
%1187
%1189
%1190
%1191
%1192
%1193
%1194
%1195
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1216
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1226
%1227
%1230
%1232
%1233
%1234
%1235
%1238
%1241
%1242
%1243
%1244
%1245
%1246
%1247
(*.f64 %1248 #s(literal 2 binary64))
(*.f64 %52 %837)
(*.f64 %845 %54)
(*.f64 %827 %17)
(*.f64 %832 (/.f64 #s(literal 1 binary64) %834))
(*.f64 %17 %49)
(*.f64 %757 %17)
(*.f64 %54 %845)
(*.f64 %880 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %837 %49))
(*.f64 #s(literal 1 binary64) %880)
(*.f64 %49 %17)
(pow.f64 %880 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %49) %19)
(/.f64 (/.f64 %827 %7) #s(literal 1/2 binary64))
(/.f64 (/.f64 %827 #s(literal 1 binary64)) %2)
(/.f64 (/.f64 %832 %2) %2)
(/.f64 %67 %19)
(/.f64 %70 %19)
(/.f64 (-.f64 (*.f64 %825 %19) %42) %19)
(/.f64 (fma.f64 %40 %2 (*.f64 %42 %19)) %1279)
(/.f64 (fma.f64 %2 x (*.f64 %42 %2)) %834)
(/.f64 %1248 #s(literal 1/2 binary64))
(/.f64 (fma.f64 %40 %2 %1285) %1279)
(/.f64 (fma.f64 %2 x %1288) %834)
(/.f64 (-.f64 (*.f64 %40 %19) %1285) %834)
(/.f64 (-.f64 (*.f64 %40 %2) (*.f64 %19 y)) %1279)
(/.f64 (-.f64 (*.f64 x %19) %1288) (*.f64 %2 %19))
(/.f64 (neg.f64 %827) %19)
(/.f64 (neg.f64 %832) (neg.f64 %834))
(/.f64 %827 %2)
(/.f64 %832 %834)
(/.f64 %757 %2)
(/.f64 %54 %19)
(/.f64 %880 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %820)
%880
(neg.f64 %897)
(fma.f64 %187 %837 %1314)
(fma.f64 %187 %837 %1316)
(fma.f64 %17 %42 %825)
(fma.f64 %17 x %1314)
(fma.f64 %17 x %1316)
(fma.f64 %40 %845 %1314)
(fma.f64 %40 %845 %1316)
(fma.f64 %42 %17 %825)
(fma.f64 y %845 %825)
(fma.f64 x %17 %1314)
(fma.f64 x %17 %1316)
(-.f64 (/.f64 %826 %2) %1328)
(-.f64 (/.f64 %830 %834) (/.f64 %831 %834))
(-.f64 %1316 (/.f64 x %19))
(-.f64 %825 %1328)
(+.f64 %1314 %825)
(+.f64 %1316 %825)
(+.f64 %825 %1314)
(+.f64 %825 %1316)
%817
%819
%822
%824
%829
%835
%839
%841
%843
%847
%849
%851
%853
%854
%856
%857
%859
%861
%863
%864
%867
%871
%872
%874
%875
%877
%879
%882
%884
%885
%886
%888
%889
%890
%891
%893
%894
%896
%899
%900
%902
%903
%904
%905
%907
%909
%911
%912
%913
%915
%917
%919
%922
%924
%926
%929
%932
%936
%940
%943
%946
%949
%950
%951
%954
%957
%960
%963
%966
%969
%971
%974
%976
%979
%981
%984
%986
%988
%991
%993
%995
%997
%1000
%1001
%1002
%1003
%1004
%1005
%1007
%1008
%1009
%1010
%1011
%820
%1013
%1015
%1017
%1019
%1021
%1023
%1025
%1026
%1028
%1030
%1031
%1032
%1034
%1036
%1037
%1039
%1041
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1051
%1053
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1066
%1068
%1070
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1115
%1116
%1117
%1118
%1119
%1120
%1122
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1140
%1141
%1142
%1143
%1144
%1145
%1147
%1149
%1150
%1151
%1152
%1153
%1154
%1155
%1156
%1157
%1158
%1159
%1160
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1183
%1185
%1187
%1189
%1190
%1191
%1192
%1193
%1194
%1195
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1216
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1226
%1227
%1230
%1232
%1233
%1234
%1235
%1238
%1241
%1242
%1243
%1244
%1245
%1246
%1247
(*.f64 %151 %728)
(*.f64 %730 %161)
(*.f64 %161 %730)
(*.f64 %1343 #s(literal 1 binary64))
(*.f64 %65 %150)
(*.f64 #s(literal 2 binary64) (*.f64 %728 %150))
(*.f64 #s(literal 1 binary64) %1343)
(*.f64 #s(literal -1 binary64) %1349)
(*.f64 %150 %65)
(pow.f64 %1343 #s(literal 1 binary64))
(/.f64 (*.f64 %161 #s(literal 1 binary64)) %54)
(/.f64 %161 %54)
(/.f64 #s(literal 1 binary64) (pow.f64 %1343 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %54 %161))
(/.f64 #s(literal 1 binary64) (/.f64 %49 %150))
%1343
(neg.f64 %1349)
(neg.f64 (/.f64 %150 %54))
(*.f64 (*.f64 %722 %7) #s(literal 1/2 binary64))
(*.f64 %7 %1367)
(*.f64 %1369 %19)
(*.f64 %1372 %722)
(*.f64 %1374 (/.f64 #s(literal 1 binary64) %1375))
(*.f64 %722 %2)
(*.f64 %19 %1369)
(*.f64 %1380 #s(literal 1 binary64))
(*.f64 %2 %722)
(*.f64 #s(literal 2 binary64) (*.f64 %1367 %2))
(*.f64 #s(literal 1 binary64) %1380)
(pow.f64 %1380 #s(literal 1 binary64))
(/.f64 (/.f64 %1374 %720) %720)
(/.f64 (fma.f64 %1389 %724 %40) %724)
(/.f64 (fma.f64 %1389 %720 x) %720)
(/.f64 (fma.f64 %1371 %724 %42) %724)
(/.f64 (-.f64 (*.f64 %1389 %720) %40) %720)
(/.f64 (fma.f64 %42 %724 (*.f64 %40 %724)) %1375)
(/.f64 (fma.f64 %42 %720 (*.f64 x %724)) %1404)
(/.f64 (fma.f64 y %724 %1406) %1408)
(/.f64 (fma.f64 %40 %724 (*.f64 %42 %724)) %1375)
(/.f64 (fma.f64 %40 %720 (*.f64 y %724)) %1404)
(/.f64 (fma.f64 x %724 %1416) %1408)
(/.f64 (fma.f64 %42 %724 %1419) %1375)
(/.f64 (fma.f64 %42 %720 (*.f64 %724 x)) %1404)
(/.f64 (fma.f64 y %724 %1425) %1408)
(/.f64 (fma.f64 %40 %724 %1428) %1375)
(/.f64 (fma.f64 %40 %720 (*.f64 %724 y)) %1404)
(/.f64 (fma.f64 x %724 %1434) %1408)
(/.f64 (-.f64 %1416 %1419) %1404)
(/.f64 (-.f64 %1439 %1425) %1375)
(/.f64 (-.f64 %1406 %1428) %1404)
(/.f64 (-.f64 %1444 %1434) %1375)
(/.f64 (neg.f64 %1372) %724)
(/.f64 (neg.f64 %1374) (neg.f64 %1375))
(/.f64 %1372 %720)
(/.f64 %1374 %1375)
(/.f64 %19 %724)
%1380
(/.f64 #s(literal 1 binary64) (/.f64 %720 %1372))
(/.f64 #s(literal 1 binary64) (/.f64 %1375 %1374))
(/.f64 #s(literal 1 binary64) (pow.f64 %1380 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %724 %19))
(/.f64 #s(literal 1 binary64) (/.f64 %720 %2))
(neg.f64 (*.f64 %722 %19))
(neg.f64 (/.f64 %19 %720))
(fma.f64 %187 %1367 %1389)
(fma.f64 %93 %1367 %1371)
(fma.f64 %722 y %1371)
(fma.f64 %722 x %1389)
(fma.f64 %40 %1369 %1389)
(fma.f64 %42 %1369 %1371)
(fma.f64 y %722 %1371)
(fma.f64 x %722 %1389)
(-.f64 %1389 (/.f64 %40 %720))
(-.f64 %1371 (/.f64 %42 %720))
(+.f64 (/.f64 (*.f64 %1371 %720) %720) %1389)
(+.f64 (/.f64 %1444 %1375) (/.f64 %1439 %1375))
(+.f64 %1389 %1371)
(+.f64 %1371 %1389)

%4 = (/.f64 x y)
%7 = (/.f64 y x)
%8 = (fma.f64 %4 #s(literal -2 binary64) #s(literal -1 binary64))
%10 = (- x y)
%11 = (/ (+ y x) %10)
%13 = (fma.f64 #s(literal 2 binary64) y x)
%14 = (fma.f64 %7 #s(literal 2 binary64) #s(literal 1 binary64))
%15 = (/.f64 %13 x)
x
y
#s(literal -1 binary64)
#s(literal -2 binary64)
%4
#s(literal 1 binary64)
#s(literal 2 binary64)
%7
%8
(approx %11 %8)
%13
%14
%15
(approx %11 %14)
(approx (/ (+ x y) %10) %15)

%4 = (/.f64 #s(literal -1 binary64) y)
%5 = (neg.f64 x)
%8 = (*.f64 #s(literal 2 binary64) x)
%10 = (/.f64 #s(literal 1/2 binary64) y)
%13 = (/.f64 #s(literal 1 binary64) y)
%18 = (/.f64 x y)
%22 = (*.f64 #s(literal -1 binary64) x)
%23 = (neg.f64 y)
%25 = (*.f64 x #s(literal -1 binary64))
%30 = (/.f64 y x)
%34 = (*.f64 %30 #s(literal 1/2 binary64))
%36 = (*.f64 %30 x)
%37 = (/.f64 #s(literal 1 binary64) x)
%39 = (/.f64 #s(literal -1 binary64) x)
%41 = (+.f64 y y)
%42 = (/.f64 %41 x)
%47 = (/.f64 #s(literal 1/2 binary64) x)
%50 = (*.f64 %47 y)
%52 = (*.f64 #s(literal 1/2 binary64) %30)
%56 = (*.f64 %37 %30)
%59 = (*.f64 %5 %30)
%62 = (*.f64 %23 #s(literal 1 binary64))
%65 = (*.f64 %30 %5)
%70 = (*.f64 %5 %23)
%72 = (*.f64 x x)
%73 = (neg.f64 %72)
%75 = (*.f64 %5 y)
%77 = (*.f64 %5 x)
%78 = (neg.f64 %77)
%80 = (*.f64 x %23)
%82 = (*.f64 x %5)
%83 = (neg.f64 %82)
%85 = (*.f64 x y)
%88 = (*.f64 %23 %5)
%89 = (neg.f64 %88)
%91 = (*.f64 %23 x)
%92 = (neg.f64 %91)
%94 = (*.f64 y %5)
%95 = (neg.f64 %94)
%97 = (*.f64 y x)
%98 = (neg.f64 %97)
%112 = (*.f64 #s(literal -2 binary64) y)
%113 = (*.f64 #s(literal 2 binary64) %5)
%115 = (*.f64 %5 #s(literal 2 binary64))
%117 = (*.f64 #s(literal -2 binary64) x)
%119 = (*.f64 %30 #s(literal -2 binary64))
%131 = (/.f64 %23 x)
%138 = (*.f64 %30 #s(literal 0 binary64))
%140 = (*.f64 #s(literal 0 binary64) %30)
%174 = (fma.f64 #s(literal -2 binary64) x %23)
%179 = (fma.f64 %18 #s(literal -2 binary64) #s(literal -1 binary64))
%185 = (/.f64 #s(literal -2 binary64) y)
%189 = (fma.f64 #s(literal -1 binary64) %23 %8)
%192 = (*.f64 %18 #s(literal -2 binary64))
%194 = (-.f64 (*.f64 %192 %5) %5)
%198 = (-.f64 (*.f64 %192 #s(literal 2 binary64)) #s(literal 2 binary64))
%202 = (-.f64 (*.f64 %192 x) x)
%206 = (-.f64 (*.f64 %8 %5) %88)
%210 = (-.f64 (*.f64 %8 #s(literal 2 binary64)) %112)
%214 = (-.f64 (*.f64 %8 x) %91)
%218 = (-.f64 (*.f64 %117 %5) %94)
%221 = (*.f64 %117 #s(literal 2 binary64))
%222 = (-.f64 %221 %41)
%226 = (-.f64 (*.f64 %117 x) %97)
%229 = (neg.f64 %174)
%248 = (*.f64 #s(literal 2 binary64) %18)
%279 = (/ (+ y x) (- x y))
%280 = (approx %279 %179)
%285 = (fma.f64 #s(literal 2 binary64) y x)
%286 = (*.f64 %285 #s(literal 2 binary64))
%288 = (*.f64 %285 x)
%290 = (*.f64 %285 #s(literal 1/2 binary64))
%292 = (/.f64 %285 x)
%297 = (*.f64 %285 %5)
%309 = (-.f64 %112 x)
%310 = (*.f64 %309 #s(literal 1 binary64))
%312 = (*.f64 %285 #s(literal -1 binary64))
%315 = (+.f64 y x)
%320 = (*.f64 %285 #s(literal 0 binary64))
%322 = (*.f64 #s(literal 0 binary64) %285)
%335 = (*.f64 #s(literal 1/2 binary64) %285)
%351 = (/.f64 #s(literal 2 binary64) x)
%369 = (*.f64 %286 %47)
%370 = (-.f64 %30 #s(literal -1/2 binary64))
%371 = (*.f64 %370 #s(literal 2 binary64))
%372 = (*.f64 %39 %309)
%373 = (*.f64 x %285)
%374 = (/.f64 #s(literal 1 binary64) %72)
%375 = (*.f64 %373 %374)
%376 = (*.f64 #s(literal 4 binary64) %370)
%377 = (*.f64 #s(literal 1/2 binary64) %376)
%378 = (*.f64 %37 %285)
%379 = (*.f64 %309 %39)
%380 = (*.f64 %285 %37)
%381 = (*.f64 %47 %285)
%382 = (*.f64 #s(literal 2 binary64) %381)
%383 = (*.f64 #s(literal 2 binary64) %370)
%384 = (*.f64 #s(literal 1 binary64) %292)
%385 = (pow.f64 %292 #s(literal 1 binary64))
%386 = (*.f64 #s(literal -1 binary64) %285)
%388 = (/.f64 (neg.f64 %386) x)
%389 = (/.f64 %373 x)
%391 = (/.f64 (neg.f64 %389) %5)
%392 = (fma.f64 %42 %5 %5)
%394 = (/.f64 (neg.f64 %392) x)
%395 = (fma.f64 %42 #s(literal 2 binary64) #s(literal 2 binary64))
%397 = (/.f64 (neg.f64 %395) #s(literal -2 binary64))
%398 = (fma.f64 %112 #s(literal 2 binary64) %113)
%400 = (/.f64 (neg.f64 %398) %8)
%401 = (fma.f64 %112 x %82)
%403 = (/.f64 (neg.f64 %401) %78)
%404 = (fma.f64 %41 %5 %77)
%406 = (/.f64 (neg.f64 %404) %83)
%407 = (fma.f64 %41 #s(literal 2 binary64) %8)
%409 = (/.f64 (neg.f64 %407) %117)
%411 = (fma.f64 x x (*.f64 %112 %5))
%413 = (/.f64 (neg.f64 %411) %73)
%415 = (fma.f64 %5 x (*.f64 %41 %5))
%417 = (/.f64 (neg.f64 %415) %78)
%419 = (fma.f64 #s(literal 2 binary64) %5 (*.f64 %112 #s(literal 2 binary64)))
%421 = (/.f64 (neg.f64 %419) %8)
%422 = (*.f64 %41 #s(literal 2 binary64))
%423 = (fma.f64 #s(literal 2 binary64) x %422)
%425 = (/.f64 (neg.f64 %423) %117)
%426 = (*.f64 %112 x)
%427 = (fma.f64 x %5 %426)
%429 = (/.f64 (neg.f64 %427) %83)
%430 = (fma.f64 %112 %5 %72)
%432 = (/.f64 (neg.f64 %430) %73)
%433 = (fma.f64 %112 #s(literal 2 binary64) %115)
%435 = (/.f64 (neg.f64 %433) %8)
%436 = (fma.f64 %112 x %77)
%438 = (/.f64 (neg.f64 %436) %78)
%439 = (fma.f64 %41 %5 %82)
%441 = (/.f64 (neg.f64 %439) %83)
%443 = (fma.f64 x x (*.f64 %5 %112))
%445 = (/.f64 (neg.f64 %443) %73)
%447 = (fma.f64 %5 x (*.f64 %5 %41))
%449 = (/.f64 (neg.f64 %447) %78)
%451 = (fma.f64 #s(literal 2 binary64) %5 (*.f64 #s(literal 2 binary64) %112))
%453 = (/.f64 (neg.f64 %451) %8)
%455 = (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %41))
%457 = (/.f64 (neg.f64 %455) %117)
%459 = (fma.f64 x %5 (*.f64 x %112))
%461 = (/.f64 (neg.f64 %459) %83)
%462 = (-.f64 %426 %72)
%464 = (/.f64 (neg.f64 %462) %78)
%465 = (*.f64 %41 x)
%466 = (-.f64 %465 %82)
%468 = (/.f64 (neg.f64 %466) %73)
%469 = (neg.f64 %373)
%472 = (/.f64 (neg.f64 %469) (neg.f64 %73))
%473 = (/.f64 %386 %5)
%474 = (/.f64 %389 x)
%475 = (/.f64 %310 %22)
%476 = (/.f64 %310 %25)
%477 = (/.f64 %310 %5)
%478 = (/.f64 %312 %22)
%479 = (/.f64 %312 %25)
%480 = (/.f64 %312 %5)
%481 = (/.f64 %392 %5)
%482 = (/.f64 %395 #s(literal 2 binary64))
%483 = (/.f64 %398 %115)
%484 = (/.f64 %401 %77)
%485 = (/.f64 %404 %82)
%486 = (/.f64 %407 %8)
%487 = (/.f64 %411 %72)
%488 = (/.f64 %415 %77)
%489 = (/.f64 %419 %113)
%490 = (/.f64 %423 %8)
%491 = (/.f64 %427 %82)
%492 = (/.f64 %430 %72)
%493 = (/.f64 %433 %115)
%494 = (/.f64 %436 %77)
%495 = (/.f64 %439 %82)
%496 = (/.f64 %443 %72)
%497 = (/.f64 %447 %77)
%498 = (/.f64 %451 %113)
%499 = (/.f64 %455 %8)
%500 = (/.f64 %459 %82)
%501 = (/.f64 %462 %77)
%502 = (/.f64 %466 %72)
%503 = (/.f64 %469 %73)
%504 = (/.f64 %373 %72)
%505 = (/.f64 %309 %22)
%506 = (/.f64 %309 %25)
%507 = (/.f64 %309 %5)
%509 = (/.f64 #s(literal 1 binary64) (/.f64 %72 %373))
%511 = (/.f64 #s(literal 1 binary64) (/.f64 %5 %309))
%513 = (/.f64 #s(literal 1 binary64) (pow.f64 %292 #s(literal -1 binary64)))
%515 = (/.f64 #s(literal 1 binary64) (/.f64 x %285))
%517 = (neg.f64 (*.f64 %39 %285))
%519 = (neg.f64 (*.f64 #s(literal -2 binary64) %370))
%521 = (neg.f64 (*.f64 %37 %309))
%523 = (neg.f64 (fma.f64 %30 #s(literal -2 binary64) #s(literal -1 binary64)))
%524 = (fma.f64 %286 %47 #s(literal 0 binary64))
%525 = (fma.f64 %34 #s(literal 4 binary64) #s(literal 1 binary64))
%526 = (+.f64 %30 #s(literal 1 binary64))
%527 = (fma.f64 %34 #s(literal 2 binary64) %526)
%528 = (-.f64 %30 #s(literal -1 binary64))
%529 = (fma.f64 %34 #s(literal 2 binary64) %528)
%530 = (*.f64 %37 %315)
%531 = (fma.f64 %34 #s(literal 2 binary64) %530)
%532 = (*.f64 %315 %37)
%533 = (fma.f64 %34 #s(literal 2 binary64) %532)
%534 = (/.f64 %315 x)
%535 = (fma.f64 %34 #s(literal 2 binary64) %534)
%536 = (fma.f64 %36 %37 %526)
%537 = (fma.f64 %36 %37 %528)
%538 = (fma.f64 %36 %37 %530)
%539 = (fma.f64 %36 %37 %532)
%540 = (fma.f64 %36 %37 %534)
%541 = (fma.f64 %422 %47 #s(literal 1 binary64))
%542 = (fma.f64 %112 %39 #s(literal 1 binary64))
%543 = (fma.f64 %351 y #s(literal 1 binary64))
%544 = (fma.f64 %370 #s(literal 2 binary64) #s(literal 0 binary64))
%545 = (fma.f64 %39 %112 #s(literal 1 binary64))
%546 = (fma.f64 %39 %309 #s(literal 0 binary64))
%547 = (fma.f64 %39 %23 %526)
%548 = (fma.f64 %39 %23 %528)
%549 = (fma.f64 %39 %23 %530)
%550 = (fma.f64 %39 %23 %532)
%551 = (fma.f64 %39 %23 %534)
%552 = (fma.f64 %373 %374 #s(literal 0 binary64))
%553 = (fma.f64 #s(literal 1/2 binary64) %376 #s(literal 0 binary64))
%555 = (fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %30) #s(literal 1 binary64))
%556 = (fma.f64 #s(literal 1/2 binary64) %42 %526)
%557 = (fma.f64 #s(literal 1/2 binary64) %42 %528)
%558 = (fma.f64 #s(literal 1/2 binary64) %42 %530)
%559 = (fma.f64 #s(literal 1/2 binary64) %42 %532)
%560 = (fma.f64 #s(literal 1/2 binary64) %42 %534)
%561 = (fma.f64 %37 %41 #s(literal 1 binary64))
%562 = (fma.f64 %37 %315 %30)
%563 = (fma.f64 %37 %285 #s(literal 0 binary64))
%564 = (fma.f64 %37 y %526)
%565 = (fma.f64 %37 y %528)
%566 = (fma.f64 %37 y %530)
%567 = (fma.f64 %37 y %532)
%568 = (fma.f64 %37 y %534)
%569 = (fma.f64 %309 %39 #s(literal 0 binary64))
%571 = (fma.f64 %23 (+.f64 %39 %39) #s(literal 1 binary64))
%573 = (fma.f64 %23 (*.f64 %39 #s(literal 2 binary64)) #s(literal 1 binary64))
%575 = (fma.f64 %23 (/.f64 #s(literal -2 binary64) x) #s(literal 1 binary64))
%576 = (fma.f64 %23 %39 %526)
%577 = (fma.f64 %23 %39 %528)
%578 = (fma.f64 %23 %39 %530)
%579 = (fma.f64 %23 %39 %532)
%580 = (fma.f64 %23 %39 %534)
%581 = (fma.f64 %42 #s(literal 1/2 binary64) %526)
%582 = (fma.f64 %42 #s(literal 1/2 binary64) %528)
%583 = (fma.f64 %42 #s(literal 1/2 binary64) %530)
%584 = (fma.f64 %42 #s(literal 1/2 binary64) %532)
%585 = (fma.f64 %42 #s(literal 1/2 binary64) %534)
%586 = (fma.f64 %42 #s(literal 1 binary64) #s(literal 1 binary64))
%587 = (fma.f64 %41 %47 %526)
%588 = (fma.f64 %41 %47 %528)
%589 = (fma.f64 %41 %47 %530)
%590 = (fma.f64 %41 %47 %532)
%591 = (fma.f64 %41 %47 %534)
%592 = (fma.f64 %41 %37 #s(literal 1 binary64))
%593 = (fma.f64 %315 %37 %30)
%594 = (fma.f64 %285 %37 #s(literal 0 binary64))
%595 = (fma.f64 %30 #s(literal 2 binary64) #s(literal 1 binary64))
%596 = (fma.f64 %30 #s(literal 1 binary64) %526)
%597 = (fma.f64 %30 #s(literal 1 binary64) %528)
%598 = (fma.f64 %30 #s(literal 1 binary64) %530)
%599 = (fma.f64 %30 #s(literal 1 binary64) %532)
%600 = (fma.f64 %30 #s(literal 1 binary64) %534)
%601 = (fma.f64 #s(literal 2 binary64) %381 #s(literal 0 binary64))
%602 = (fma.f64 #s(literal 2 binary64) %50 %526)
%603 = (fma.f64 #s(literal 2 binary64) %50 %528)
%604 = (fma.f64 #s(literal 2 binary64) %50 %530)
%605 = (fma.f64 #s(literal 2 binary64) %50 %532)
%606 = (fma.f64 #s(literal 2 binary64) %50 %534)
%607 = (fma.f64 #s(literal 2 binary64) %52 %526)
%608 = (fma.f64 #s(literal 2 binary64) %52 %528)
%609 = (fma.f64 #s(literal 2 binary64) %52 %530)
%610 = (fma.f64 #s(literal 2 binary64) %52 %532)
%611 = (fma.f64 #s(literal 2 binary64) %52 %534)
%612 = (fma.f64 #s(literal 2 binary64) %370 #s(literal 0 binary64))
%613 = (fma.f64 #s(literal 2 binary64) %30 #s(literal 1 binary64))
%614 = (fma.f64 #s(literal 1 binary64) %370 %370)
%615 = (fma.f64 #s(literal 1 binary64) %42 #s(literal 1 binary64))
%616 = (fma.f64 #s(literal 1 binary64) %292 #s(literal 0 binary64))
%617 = (fma.f64 #s(literal 1 binary64) %30 %526)
%618 = (fma.f64 #s(literal 1 binary64) %30 %528)
%619 = (fma.f64 #s(literal 1 binary64) %30 %530)
%620 = (fma.f64 #s(literal 1 binary64) %30 %532)
%621 = (fma.f64 #s(literal 1 binary64) %30 %534)
%622 = (fma.f64 y %351 #s(literal 1 binary64))
%623 = (fma.f64 y %37 %526)
%624 = (fma.f64 y %37 %528)
%625 = (fma.f64 y %37 %530)
%626 = (fma.f64 y %37 %532)
%627 = (fma.f64 y %37 %534)
%628 = (fma.f64 x %56 %526)
%629 = (fma.f64 x %56 %528)
%630 = (fma.f64 x %56 %530)
%631 = (fma.f64 x %56 %532)
%632 = (fma.f64 x %56 %534)
%633 = (-.f64 %42 #s(literal -1 binary64))
%634 = (-.f64 #s(literal 1 binary64) %119)
%636 = (+.f64 (fma.f64 %351 y #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
%638 = (+.f64 (+.f64 #s(literal 1 binary64) %30) %30)
%639 = (+.f64 %530 %30)
%640 = (+.f64 %532 %30)
%642 = (+.f64 (/.f64 %465 %72) #s(literal 1 binary64))
%643 = (+.f64 %534 %30)
%644 = (+.f64 %370 %370)
%646 = (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %42))
%648 = (+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %119))
%649 = (+.f64 %42 #s(literal 1 binary64))
%650 = (+.f64 %292 #s(literal 0 binary64))
%651 = (+.f64 %30 %526)
%652 = (+.f64 %30 %528)
%653 = (+.f64 %30 %530)
%654 = (+.f64 %30 %532)
%655 = (+.f64 %30 %534)
%657 = (+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %42))
%659 = (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %119))
%660 = (+.f64 #s(literal 1 binary64) %42)
%661 = (approx %279 %292)
%662 = (*.f64 #s(literal 1 binary64) %661)
%663 = (pow.f64 %661 #s(literal 1 binary64))
%665 = (/.f64 #s(literal 1 binary64) (pow.f64 %661 #s(literal -1 binary64)))
x
y
#s(literal -1 binary64)
#s(literal -2 binary64)
(*.f64 %4 %5)
(*.f64 %8 %10)
(*.f64 %13 x)
(*.f64 %5 %4)
(*.f64 #s(literal 2 binary64) (*.f64 %10 x))
(*.f64 #s(literal 1 binary64) %18)
(*.f64 x %13)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 %22 %23)
(/.f64 %25 %23)
(/.f64 %5 %23)
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %30)
%18
(neg.f64 (/.f64 %5 y))
#s(literal 1 binary64)
#s(literal 2 binary64)
(*.f64 %34 #s(literal 2 binary64))
(*.f64 %36 %37)
(*.f64 %39 %23)
(*.f64 #s(literal 1/2 binary64) %42)
(*.f64 %37 y)
(*.f64 %23 %39)
(*.f64 %42 #s(literal 1/2 binary64))
(*.f64 %41 %47)
(*.f64 %30 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %50)
(*.f64 #s(literal 2 binary64) %52)
(*.f64 #s(literal 1 binary64) %30)
(*.f64 y %37)
(*.f64 x %56)
(pow.f64 %30 #s(literal 1 binary64))
(/.f64 (neg.f64 %59) x)
(/.f64 (neg.f64 %62) x)
(/.f64 (neg.f64 %65) x)
(/.f64 (neg.f64 %36) %5)
(/.f64 (neg.f64 %70) %73)
(/.f64 (neg.f64 %75) %78)
(/.f64 (neg.f64 %80) %83)
(/.f64 (neg.f64 %85) %73)
(/.f64 %89 %73)
(/.f64 %92 %78)
(/.f64 %95 %83)
(/.f64 %98 %73)
(/.f64 %59 %5)
(/.f64 %62 %5)
(/.f64 %65 %5)
(/.f64 %36 x)
(/.f64 %70 %72)
(/.f64 %75 %77)
(/.f64 %80 %82)
(/.f64 %85 %72)
(/.f64 %88 %72)
(/.f64 %91 %77)
(/.f64 %94 %82)
(/.f64 %97 %72)
(/.f64 %112 %113)
(/.f64 %112 %115)
(/.f64 %112 %117)
(/.f64 %119 #s(literal -2 binary64))
(/.f64 %23 %22)
(/.f64 %23 %25)
(/.f64 %23 %5)
(/.f64 %42 #s(literal 2 binary64))
(/.f64 %41 %8)
(/.f64 #s(literal 1 binary64) (pow.f64 %30 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %18)
%30
(neg.f64 (*.f64 %30 #s(literal -1 binary64)))
(neg.f64 (*.f64 %131 #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %30))
(neg.f64 %131)
(fma.f64 %34 #s(literal 2 binary64) %138)
(fma.f64 %34 #s(literal 2 binary64) %140)
(fma.f64 %36 %37 %138)
(fma.f64 %36 %37 %140)
(fma.f64 %39 %23 %138)
(fma.f64 %39 %23 %140)
(fma.f64 #s(literal 1/2 binary64) %42 %138)
(fma.f64 #s(literal 1/2 binary64) %42 %140)
(fma.f64 #s(literal 1/2 binary64) %30 %52)
(fma.f64 %37 y %138)
(fma.f64 %37 y %140)
(fma.f64 %23 %39 %138)
(fma.f64 %23 %39 %140)
(fma.f64 %42 #s(literal 1/2 binary64) %138)
(fma.f64 %42 #s(literal 1/2 binary64) %140)
(fma.f64 %41 %47 %138)
(fma.f64 %41 %47 %140)
(fma.f64 %30 #s(literal 1/2 binary64) %34)
(fma.f64 %30 #s(literal 1 binary64) %138)
(fma.f64 %30 #s(literal 1 binary64) %140)
(fma.f64 #s(literal 2 binary64) %50 %138)
(fma.f64 #s(literal 2 binary64) %50 %140)
(fma.f64 #s(literal 2 binary64) %52 %138)
(fma.f64 #s(literal 2 binary64) %52 %140)
(fma.f64 #s(literal 1 binary64) %30 %138)
(fma.f64 #s(literal 1 binary64) %30 %140)
(fma.f64 y %37 %138)
(fma.f64 y %37 %140)
(fma.f64 x %56 %138)
(fma.f64 x %56 %140)
(+.f64 %34 %34)
(+.f64 %52 %52)
(+.f64 %30 %138)
(+.f64 %30 %140)
(*.f64 %174 %13)
(*.f64 #s(literal 2 binary64) (-.f64 #s(literal -1/2 binary64) %18))
(*.f64 #s(literal 1 binary64) %179)
(*.f64 #s(literal -2 binary64) (+.f64 %18 #s(literal 1/2 binary64)))
(*.f64 #s(literal -2 binary64) (+.f64 #s(literal 1/2 binary64) %18))
(*.f64 x (-.f64 %185 %37))
(pow.f64 %179 #s(literal 1 binary64))
(/.f64 (neg.f64 %189) y)
(/.f64 (neg.f64 %194) x)
(/.f64 (neg.f64 %198) #s(literal -2 binary64))
(/.f64 (neg.f64 %202) %5)
(/.f64 (neg.f64 %206) %89)
(/.f64 (neg.f64 %210) %41)
(/.f64 (neg.f64 %214) %92)
(/.f64 (neg.f64 %218) %95)
(/.f64 (neg.f64 %222) %112)
(/.f64 (neg.f64 %226) %98)
(/.f64 (neg.f64 %229) y)
(/.f64 %189 %23)
(/.f64 %194 %5)
(/.f64 %198 #s(literal 2 binary64))
(/.f64 %202 x)
(/.f64 %206 %88)
(/.f64 %210 %112)
(/.f64 %214 %91)
(/.f64 %218 %94)
(/.f64 %222 %41)
(/.f64 %226 %97)
(/.f64 %229 %23)
(/.f64 %174 y)
(/.f64 #s(literal 1 binary64) (/.f64 y %174))
(/.f64 #s(literal 1 binary64) (pow.f64 %179 #s(literal -1 binary64)))
(neg.f64 (-.f64 %248 #s(literal -1 binary64)))
(neg.f64 (/.f64 (-.f64 y %117) y))
(fma.f64 (*.f64 %117 #s(literal 1 binary64)) %13 #s(literal -1 binary64))
(fma.f64 %221 %10 #s(literal -1 binary64))
(fma.f64 %185 x #s(literal -1 binary64))
(fma.f64 %8 %4 #s(literal -1 binary64))
(fma.f64 %117 %13 #s(literal -1 binary64))
(fma.f64 %13 %117 #s(literal -1 binary64))
(fma.f64 %5 (*.f64 %4 #s(literal -2 binary64)) #s(literal -1 binary64))
(fma.f64 %5 (/.f64 #s(literal 2 binary64) y) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) %192 #s(literal -1 binary64))
%179
(fma.f64 #s(literal -2 binary64) %18 #s(literal -1 binary64))
(fma.f64 x %185 #s(literal -1 binary64))
(-.f64 (-.f64 %192 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %192 #s(literal 1 binary64))
(-.f64 %179 #s(literal 0 binary64))
(-.f64 #s(literal -1 binary64) %248)
(+.f64 (/.f64 %23 y) %192)
(+.f64 %192 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) %192)
(*.f64 #s(literal 1 binary64) %280)
(pow.f64 %280 #s(literal 1 binary64))
%280
(/.f64 #s(literal 1 binary64) (pow.f64 %280 #s(literal -1 binary64)))
(*.f64 %286 #s(literal 1/2 binary64))
(*.f64 %288 %37)
(*.f64 %290 #s(literal 2 binary64))
(*.f64 %292 x)
(*.f64 %285 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %285)
(pow.f64 %285 #s(literal 1 binary64))
(/.f64 (neg.f64 %297) x)
(/.f64 (neg.f64 %286) #s(literal -2 binary64))
(/.f64 (neg.f64 %288) %5)
(/.f64 %297 %5)
(/.f64 %286 #s(literal 2 binary64))
(/.f64 %288 x)
(/.f64 #s(literal 1 binary64) (pow.f64 %285 #s(literal -1 binary64)))
(neg.f64 %310)
(neg.f64 %312)
(neg.f64 %309)
(fma.f64 (*.f64 %315 #s(literal 2 binary64)) #s(literal 1/2 binary64) y)
(fma.f64 (*.f64 %315 x) %37 y)
(fma.f64 %286 #s(literal 1/2 binary64) %320)
(fma.f64 %286 #s(literal 1/2 binary64) %322)
(fma.f64 %288 %37 %320)
(fma.f64 %288 %37 %322)
(fma.f64 (*.f64 y #s(literal 1/2 binary64)) #s(literal 4 binary64) x)
(fma.f64 (*.f64 %315 #s(literal 1/2 binary64)) #s(literal 2 binary64) y)
(fma.f64 %290 #s(literal 2 binary64) %320)
(fma.f64 %290 #s(literal 2 binary64) %322)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) y) x)
(fma.f64 #s(literal 1/2 binary64) %285 %335)
(fma.f64 %42 x x)
(fma.f64 %41 #s(literal 1 binary64) x)
(fma.f64 %315 #s(literal 1 binary64) y)
(fma.f64 %292 x %320)
(fma.f64 %292 x %322)
(fma.f64 %285 #s(literal 1/2 binary64) %290)
(fma.f64 %285 #s(literal 1 binary64) %320)
(fma.f64 %285 #s(literal 1 binary64) %322)
(fma.f64 %30 %8 x)
(fma.f64 #s(literal 2 binary64) %36 x)
%285
(fma.f64 #s(literal 1 binary64) %41 x)
(fma.f64 #s(literal 1 binary64) %315 y)
(fma.f64 #s(literal 1 binary64) %285 %320)
(fma.f64 #s(literal 1 binary64) %285 %322)
(fma.f64 y (*.f64 %351 x) x)
(fma.f64 y #s(literal 2 binary64) x)
(fma.f64 x %42 x)
(-.f64 %41 %5)
(-.f64 %315 %23)
(-.f64 y (neg.f64 %315))
(-.f64 x %112)
(+.f64 %290 %290)
(+.f64 %335 %335)
(+.f64 %41 x)
(+.f64 %315 y)
(+.f64 %285 %320)
(+.f64 %285 %322)
(+.f64 y %315)
(+.f64 x %41)
%369
%371
%372
%375
%377
%378
%379
%380
%382
%383
%384
%385
%388
%391
%394
%397
%400
%403
%406
%409
%413
%417
%421
%425
%429
%432
%435
%438
%441
%445
%449
%453
%457
%461
%464
%468
%472
%473
%474
%475
%476
%477
%478
%479
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%506
%507
%292
%509
%511
%513
%515
%517
%519
%521
%523
%524
%525
%527
%529
%531
%533
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%565
%566
%567
%568
%569
%571
%573
%575
%576
%577
%578
%579
%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
%629
%630
%631
%632
%633
%634
%636
%638
%639
%640
%642
%643
%644
%646
%648
%649
%650
%651
%652
%653
%654
%655
%657
%659
%660
%369
%371
%372
%375
%377
%378
%379
%380
%382
%383
%384
%385
%388
%391
%394
%397
%400
%403
%406
%409
%413
%417
%421
%425
%429
%432
%435
%438
%441
%445
%449
%453
%457
%461
%464
%468
%472
%473
%474
%475
%476
%477
%478
%479
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%506
%507
%292
%509
%511
%513
%515
%517
%519
%521
%523
%524
%525
%527
%529
%531
%533
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%565
%566
%567
%568
%569
%571
%573
%575
%576
%577
%578
%579
%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
%629
%630
%631
%632
%633
%634
%636
%638
%639
%640
%642
%643
%644
%646
%648
%649
%650
%651
%652
%653
%654
%655
%657
%659
%660
%662
%663
%661
%665
%662
%663
%661
%665