%2 = (+.f64 x y)
%5 = (/.f64 y z)
%6 = (-.f64 #s(literal 1 binary64) %5)
x
y
%2
#s(literal 1 binary64)
z
%5
%6
(/.f64 %2 %6)

%2 = (+.f64 y x)
%4 = (*.f64 %2 #s(literal 2 binary64))
%7 = (*.f64 %2 #s(literal 1/2 binary64))
%20 = (neg.f64 %2)
%21 = (*.f64 %20 #s(literal 1 binary64))
%25 = (*.f64 %2 #s(literal 0 binary64))
%27 = (*.f64 #s(literal 0 binary64) %2)
%31 = (*.f64 #s(literal 1/2 binary64) %2)
%38 = (neg.f64 x)
%40 = (neg.f64 y)
%44 = (neg.f64 %38)
%51 = (/.f64 y #s(literal 2 binary64))
%52 = (*.f64 #s(literal 1/2 binary64) z)
%55 = (/.f64 y #s(literal 1 binary64))
%56 = (/.f64 #s(literal 1 binary64) z)
%58 = (*.f64 y #s(literal 2 binary64))
%59 = (/.f64 #s(literal 1/2 binary64) z)
%61 = (/.f64 #s(literal -1 binary64) z)
%67 = (/.f64 y z)
%72 = (*.f64 %40 #s(literal 1 binary64))
%75 = (*.f64 #s(literal -1 binary64) y)
%79 = (neg.f64 %52)
%82 = (neg.f64 z)
%84 = (*.f64 y #s(literal -1 binary64))
%92 = (/.f64 %40 z)
%103 = (-.f64 z y)
%104 = (*.f64 %103 #s(literal 2 binary64))
%106 = (*.f64 %103 #s(literal 1 binary64))
%108 = (-.f64 y z)
%112 = (/.f64 %103 z)
%115 = (*.f64 %40 #s(literal -1 binary64))
%116 = (/.f64 z #s(literal 2 binary64))
%117 = (*.f64 %82 %116)
%119 = (*.f64 %82 %52)
%121 = (*.f64 %82 #s(literal -2 binary64))
%124 = (*.f64 %82 #s(literal 2 binary64))
%127 = (*.f64 z z)
%130 = (*.f64 %82 z)
%135 = (*.f64 z %116)
%137 = (*.f64 z %52)
%139 = (*.f64 z #s(literal -2 binary64))
%142 = (*.f64 z #s(literal 2 binary64))
%145 = (*.f64 z %82)
%152 = (/.f64 y #s(literal -2 binary64))
%155 = (*.f64 %52 %52)
%157 = (*.f64 %52 #s(literal -2 binary64))
%162 = (*.f64 %52 %82)
%165 = (*.f64 %52 z)
%170 = (/.f64 y #s(literal -1 binary64))
%212 = (*.f64 %103 #s(literal -1 binary64))
%213 = (*.f64 %82 #s(literal 0 binary64))
%216 = (*.f64 z #s(literal 0 binary64))
%219 = (/.f64 %108 #s(literal -2 binary64))
%223 = (/.f64 %108 #s(literal -1 binary64))
%226 = (fma.f64 %92 #s(literal 2 binary64) #s(literal 2 binary64))
%230 = (*.f64 #s(literal 2 binary64) z)
%231 = (fma.f64 %40 #s(literal 2 binary64) %230)
%232 = (*.f64 %142 #s(literal 0 binary64))
%234 = (*.f64 %142 #s(literal 2 binary64))
%236 = (*.f64 #s(literal 2 binary64) %82)
%237 = (fma.f64 y #s(literal 2 binary64) %236)
%238 = (*.f64 %124 #s(literal 0 binary64))
%240 = (*.f64 %124 #s(literal 2 binary64))
%242 = (*.f64 %40 #s(literal 2 binary64))
%243 = (fma.f64 #s(literal 2 binary64) z %242)
%244 = (*.f64 %230 #s(literal 0 binary64))
%246 = (*.f64 %230 #s(literal 2 binary64))
%248 = (fma.f64 #s(literal 2 binary64) %82 %58)
%249 = (*.f64 %236 #s(literal 0 binary64))
%251 = (*.f64 %236 #s(literal 2 binary64))
%253 = (fma.f64 %40 #s(literal 2 binary64) %142)
%256 = (fma.f64 y #s(literal 2 binary64) %124)
%259 = (*.f64 #s(literal 2 binary64) %40)
%260 = (fma.f64 #s(literal 2 binary64) z %259)
%263 = (*.f64 #s(literal 2 binary64) y)
%264 = (fma.f64 #s(literal 2 binary64) %82 %263)
%267 = (*.f64 z %40)
%268 = (-.f64 %145 %267)
%273 = (*.f64 z y)
%274 = (-.f64 %127 %273)
%279 = (-.f64 %236 %259)
%282 = (-.f64 %230 %263)
%294 = (*.f64 %52 %72)
%306 = (*.f64 %52 %40)
%309 = (*.f64 %52 y)
%314 = (*.f64 #s(literal -2 binary64) %82)
%316 = (*.f64 #s(literal -2 binary64) %72)
%318 = (*.f64 #s(literal -2 binary64) z)
%329 = (*.f64 #s(literal -2 binary64) %40)
%332 = (*.f64 #s(literal -2 binary64) y)
%338 = (*.f64 #s(literal 2 binary64) %72)
%353 = (*.f64 %82 %72)
%365 = (*.f64 %82 %40)
%371 = (*.f64 z %72)
%390 = (*.f64 #s(literal 1 binary64) %72)
%399 = (*.f64 %82 y)
%442 = (*.f64 %116 %82)
%455 = (*.f64 %116 z)
%568 = (neg.f64 %142)
%571 = (neg.f64 %124)
%574 = (neg.f64 %230)
%577 = (neg.f64 %236)
%617 = (/.f64 %108 z)
%620 = (/.f64 z %103)
%651 = (/.f64 %2 %103)
%656 = (*.f64 #s(literal 1/2 binary64) %620)
%658 = (fma.f64 x #s(literal 1 binary64) y)
%661 = (/.f64 %658 %103)
%663 = (/.f64 %2 %108)
%666 = (*.f64 z %2)
%668 = (*.f64 %651 z)
%669 = (/.f64 z %108)
%672 = (*.f64 %112 %2)
%673 = (*.f64 %108 %108)
%674 = (/.f64 %673 %127)
%686 = (*.f64 %112 x)
%687 = (*.f64 %112 y)
%692 = (*.f64 x #s(literal -1 binary64))
%693 = (*.f64 %617 %692)
%696 = (*.f64 x z)
%697 = (*.f64 %617 %696)
%699 = (*.f64 %617 %103)
%701 = (*.f64 x #s(literal 1 binary64))
%702 = (*.f64 %617 %701)
%704 = (*.f64 %617 %112)
%706 = (*.f64 %617 %44)
%709 = (/.f64 x %103)
%710 = (*.f64 %617 %709)
%712 = (*.f64 %617 %56)
%714 = (*.f64 %617 %38)
%717 = (*.f64 %617 x)
%720 = (*.f64 y z)
%723 = (*.f64 %103 %617)
%730 = (*.f64 %103 %112)
%738 = (*.f64 %103 %38)
%741 = (*.f64 %103 x)
%744 = (/.f64 y %103)
%747 = (*.f64 %56 %617)
%754 = (*.f64 %56 %112)
%761 = (*.f64 %61 %61)
%763 = (*.f64 %56 %38)
%766 = (*.f64 %56 x)
%781 = (*.f64 %112 %617)
%785 = (*.f64 %112 %103)
%795 = (*.f64 %112 %56)
%797 = (*.f64 %617 %84)
%800 = (*.f64 %617 %720)
%803 = (*.f64 %617 %744)
%806 = (*.f64 %617 %40)
%809 = (*.f64 %617 y)
%821 = (*.f64 %103 %40)
%824 = (*.f64 %103 y)
%827 = (*.f64 %112 %84)
%830 = (*.f64 %112 %720)
%833 = (*.f64 %112 %744)
%836 = (*.f64 %112 %40)
%894 = (*.f64 %40 %112)
%897 = (*.f64 %40 %617)
%900 = (*.f64 %112 %38)
%903 = (*.f64 y %617)
%907 = (/.f64 y %108)
%908 = (*.f64 %617 %907)
%928 = (*.f64 %112 %907)
%959 = (*.f64 %38 %617)
%965 = (*.f64 x %617)
%968 = (*.f64 %2 #s(literal -1 binary64))
%971 = (*.f64 %2 z)
%974 = (*.f64 #s(literal -1 binary64) %2)
%979 = (/.f64 %672 %112)
%984 = (*.f64 %744 z)
%985 = (fma.f64 %984 %617 %38)
%988 = (fma.f64 %984 %112 x)
%991 = (*.f64 %709 z)
%992 = (fma.f64 %991 %617 %40)
%995 = (fma.f64 %40 %617 %959)
%997 = (neg.f64 %674)
%999 = (fma.f64 %40 %112 %965)
%1002 = (*.f64 %38 %112)
%1003 = (fma.f64 y %617 %1002)
%1006 = (fma.f64 %38 %617 %897)
%1009 = (fma.f64 %38 %112 %903)
%1012 = (fma.f64 x %617 %894)
%1015 = (fma.f64 %40 %617 %714)
%1018 = (fma.f64 %40 %112 %717)
%1021 = (fma.f64 y %617 %900)
%1024 = (fma.f64 %38 %617 %806)
%1027 = (fma.f64 %38 %112 %809)
%1030 = (fma.f64 x %617 %836)
%1033 = (-.f64 %1002 %806)
%1036 = (-.f64 %686 %836)
%1039 = (neg.f64 %658)
%1042 = (neg.f64 %672)
x
y
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %7 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %2)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 (neg.f64 %4) #s(literal -2 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %21)
(neg.f64 %20)
(fma.f64 %4 #s(literal 1/2 binary64) %25)
(fma.f64 %4 #s(literal 1/2 binary64) %27)
(fma.f64 %7 #s(literal 2 binary64) %25)
(fma.f64 %7 #s(literal 2 binary64) %27)
(fma.f64 #s(literal 1/2 binary64) %2 %31)
(fma.f64 #s(literal 1 binary64) %2 %25)
(fma.f64 #s(literal 1 binary64) %2 %27)
(fma.f64 %2 #s(literal 1/2 binary64) %7)
(fma.f64 %2 #s(literal 1 binary64) %25)
(fma.f64 %2 #s(literal 1 binary64) %27)
(-.f64 y %38)
(-.f64 x %40)
(+.f64 %7 %7)
(+.f64 %31 %31)
(+.f64 %44 y)
(+.f64 %2 %25)
(+.f64 %2 %27)
(+.f64 y %44)
%2
(+.f64 x y)
#s(literal 1 binary64)
z
(*.f64 %51 (/.f64 #s(literal 1 binary64) %52))
(*.f64 %55 %56)
(*.f64 %58 %59)
(*.f64 %61 %40)
(*.f64 #s(literal 2 binary64) (*.f64 %59 y))
(*.f64 %56 y)
(*.f64 %40 %61)
(*.f64 %67 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %67)
(*.f64 y %56)
(pow.f64 %67 #s(literal 1 binary64))
(/.f64 (neg.f64 %72) z)
(/.f64 (neg.f64 %75) z)
(/.f64 (neg.f64 %51) %79)
(/.f64 (neg.f64 %55) %82)
(/.f64 (neg.f64 %84) z)
(/.f64 %72 %82)
(/.f64 %84 %82)
(/.f64 %75 %82)
(/.f64 %51 %52)
(/.f64 %55 z)
(/.f64 %92 #s(literal -1 binary64))
(/.f64 %40 %82)
(/.f64 %67 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %67 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %82 %40))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
%67
(neg.f64 %92)
(*.f64 %104 %59)
(*.f64 %106 %56)
(*.f64 %108 %61)
(*.f64 %56 %103)
(*.f64 %103 %56)
(*.f64 #s(literal 1 binary64) %112)
(pow.f64 %112 #s(literal 1 binary64))
(/.f64 (fma.f64 %115 %52 %117) %119)
(/.f64 (fma.f64 %115 #s(literal -2 binary64) %121) %121)
(/.f64 (fma.f64 %115 #s(literal 2 binary64) %124) %124)
(/.f64 (fma.f64 %115 %82 %127) %127)
(/.f64 (fma.f64 %115 z %130) %130)
(/.f64 (fma.f64 %115 #s(literal 1 binary64) %82) %82)
(/.f64 (fma.f64 %72 %52 %135) %137)
(/.f64 (fma.f64 %72 #s(literal -2 binary64) %139) %139)
(/.f64 (fma.f64 %72 #s(literal 2 binary64) %142) %142)
(/.f64 (fma.f64 %72 %82 %145) %145)
(/.f64 (fma.f64 %72 z %127) %127)
(/.f64 (fma.f64 %72 #s(literal 1 binary64) z) z)
(/.f64 (fma.f64 %152 %52 (*.f64 %52 %116)) %155)
(/.f64 (fma.f64 %152 #s(literal -2 binary64) %157) %157)
(/.f64 (fma.f64 %152 #s(literal 2 binary64) z) z)
(/.f64 (fma.f64 %152 %82 %162) %162)
(/.f64 (fma.f64 %152 z %165) %165)
(/.f64 (fma.f64 %152 #s(literal 1 binary64) %52) %52)
(/.f64 (fma.f64 %170 %52 %135) %137)
(/.f64 (fma.f64 %170 #s(literal -2 binary64) %139) %139)
(/.f64 (fma.f64 %170 #s(literal 2 binary64) %142) %142)
(/.f64 (fma.f64 %170 %82 %145) %145)
(/.f64 (fma.f64 %170 z %127) %127)
(/.f64 (fma.f64 %170 #s(literal 1 binary64) z) z)
(/.f64 (fma.f64 %92 %52 (*.f64 #s(literal 1 binary64) %116)) %52)
(/.f64 (fma.f64 %92 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %92 %82 %82) %82)
(/.f64 (fma.f64 %92 z z) z)
(/.f64 (fma.f64 %92 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %40 %52 %135) %137)
(/.f64 (fma.f64 %40 #s(literal -2 binary64) %139) %139)
(/.f64 (fma.f64 %40 %82 %145) %145)
(/.f64 (fma.f64 %40 z %127) %127)
(/.f64 (fma.f64 %40 #s(literal 1 binary64) z) z)
(/.f64 (fma.f64 y %52 %117) %119)
(/.f64 (fma.f64 y #s(literal -2 binary64) %121) %121)
(/.f64 (fma.f64 y %82 %127) %127)
(/.f64 (fma.f64 y z %130) %130)
(/.f64 (fma.f64 %212 #s(literal 2 binary64) %213) %124)
(/.f64 (fma.f64 %106 #s(literal 2 binary64) %216) %142)
(/.f64 (fma.f64 %219 #s(literal 2 binary64) (*.f64 %52 #s(literal 0 binary64))) z)
(/.f64 (fma.f64 %223 #s(literal 2 binary64) %216) %142)
(/.f64 (fma.f64 %226 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %231 #s(literal 2 binary64) %232) %234)
(/.f64 (fma.f64 %237 #s(literal 2 binary64) %238) %240)
(/.f64 (fma.f64 %243 #s(literal 2 binary64) %244) %246)
(/.f64 (fma.f64 %248 #s(literal 2 binary64) %249) %251)
(/.f64 (fma.f64 %253 #s(literal 2 binary64) %232) %234)
(/.f64 (fma.f64 %256 #s(literal 2 binary64) %238) %240)
(/.f64 (fma.f64 %260 #s(literal 2 binary64) %244) %246)
(/.f64 (fma.f64 %264 #s(literal 2 binary64) %249) %251)
(/.f64 (fma.f64 %268 #s(literal 2 binary64) (*.f64 %145 #s(literal 0 binary64))) (*.f64 %145 #s(literal 2 binary64)))
(/.f64 (fma.f64 %274 #s(literal 2 binary64) (*.f64 %127 #s(literal 0 binary64))) (*.f64 %127 #s(literal 2 binary64)))
(/.f64 (fma.f64 %279 #s(literal 2 binary64) %249) %251)
(/.f64 (fma.f64 %282 #s(literal 2 binary64) %244) %246)
(/.f64 (fma.f64 %108 #s(literal 2 binary64) %213) %124)
(/.f64 (fma.f64 %103 #s(literal 2 binary64) %216) %142)
(/.f64 (fma.f64 %112 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %116 %82 (*.f64 %52 %115)) %162)
(/.f64 (fma.f64 %116 z %294) %165)
(/.f64 (fma.f64 %116 %52 (*.f64 %52 %152)) %155)
(/.f64 (fma.f64 %116 z (*.f64 %52 %170)) %165)
(/.f64 (fma.f64 %116 #s(literal 1 binary64) (*.f64 %52 %92)) %52)
(/.f64 (fma.f64 %116 z %306) %165)
(/.f64 (fma.f64 %116 %82 %309) %162)
(/.f64 (fma.f64 #s(literal -2 binary64) %82 (*.f64 #s(literal -2 binary64) %115)) %314)
(/.f64 (fma.f64 #s(literal -2 binary64) z %316) %318)
(/.f64 (+.f64 %82 (*.f64 #s(literal -2 binary64) %152)) %82)
(/.f64 (fma.f64 #s(literal -2 binary64) z (*.f64 #s(literal -2 binary64) %170)) %318)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %92)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) z %329) %318)
(/.f64 (fma.f64 #s(literal -2 binary64) %82 %332) %314)
(/.f64 (fma.f64 #s(literal 2 binary64) %82 (*.f64 #s(literal 2 binary64) %115)) %236)
(/.f64 (fma.f64 #s(literal 2 binary64) z %338) %230)
(/.f64 (+.f64 z (*.f64 #s(literal 2 binary64) %152)) z)
(/.f64 (fma.f64 #s(literal 2 binary64) z (*.f64 #s(literal 2 binary64) %170)) %230)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %92)) #s(literal 2 binary64))
(/.f64 (fma.f64 z z (*.f64 %82 %115)) %127)
(/.f64 (fma.f64 %82 z %353) %130)
(/.f64 (fma.f64 %82 %52 (*.f64 %82 %152)) %119)
(/.f64 (fma.f64 %82 z (*.f64 %82 %170)) %130)
(/.f64 (+.f64 %82 (*.f64 %82 %92)) %82)
(/.f64 (fma.f64 %82 z %365) %130)
(/.f64 (fma.f64 z %82 (*.f64 z %115)) %145)
(/.f64 (fma.f64 z z %371) %127)
(/.f64 (fma.f64 z %52 (*.f64 z %152)) %137)
(/.f64 (fma.f64 z z (*.f64 z %170)) %127)
(/.f64 (+.f64 z (*.f64 z %92)) z)
(/.f64 (fma.f64 z z %267) %127)
(/.f64 (fma.f64 z %82 %273) %145)
(/.f64 (+.f64 %82 (*.f64 #s(literal 1 binary64) %115)) %82)
(/.f64 (+.f64 z %390) z)
(/.f64 (fma.f64 #s(literal 1/2 binary64) z (*.f64 #s(literal 1 binary64) %152)) %52)
(/.f64 (+.f64 z (*.f64 #s(literal 1 binary64) %170)) z)
(/.f64 (fma.f64 z z %399) %127)
(/.f64 (-.f64 (*.f64 %115 #s(literal 2 binary64)) %121) %124)
(/.f64 (-.f64 (*.f64 %115 #s(literal -2 binary64)) %124) %121)
(/.f64 (-.f64 (*.f64 %72 #s(literal 2 binary64)) %139) %142)
(/.f64 (-.f64 (*.f64 %72 #s(literal -2 binary64)) %142) %139)
(/.f64 (-.f64 (*.f64 %152 #s(literal 2 binary64)) %157) z)
(/.f64 (-.f64 (*.f64 %152 #s(literal -2 binary64)) z) %157)
(/.f64 (-.f64 (*.f64 %170 #s(literal 2 binary64)) %139) %142)
(/.f64 (-.f64 (*.f64 %170 #s(literal -2 binary64)) %142) %139)
(/.f64 (-.f64 (*.f64 %92 #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %92 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %242 %139) %142)
(/.f64 (-.f64 (*.f64 %40 #s(literal -2 binary64)) %142) %139)
(/.f64 (-.f64 %58 %121) %124)
(/.f64 (-.f64 (*.f64 y #s(literal -2 binary64)) %124) %121)
(/.f64 (-.f64 %442 %294) %162)
(/.f64 (-.f64 %442 (*.f64 %52 %84)) %162)
(/.f64 (-.f64 %442 (*.f64 %52 %75)) %162)
(/.f64 (-.f64 (*.f64 %116 %52) (*.f64 %52 %51)) %155)
(/.f64 (-.f64 %455 (*.f64 %52 %55)) %165)
(/.f64 (-.f64 %442 %306) %162)
(/.f64 (-.f64 (*.f64 %116 #s(literal 1 binary64)) (*.f64 %52 %67)) %52)
(/.f64 (-.f64 %455 %309) %165)
(/.f64 (-.f64 %314 %316) %314)
(/.f64 (-.f64 %314 (*.f64 #s(literal -2 binary64) %84)) %314)
(/.f64 (-.f64 %314 (*.f64 #s(literal -2 binary64) %75)) %314)
(/.f64 (-.f64 %82 (*.f64 #s(literal -2 binary64) %51)) %82)
(/.f64 (-.f64 %318 (*.f64 #s(literal -2 binary64) %55)) %318)
(/.f64 (-.f64 %314 %329) %314)
(/.f64 (-.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %67)) #s(literal -2 binary64))
(/.f64 (-.f64 %318 %332) %318)
(/.f64 (-.f64 %236 %338) %236)
(/.f64 (-.f64 %236 (*.f64 #s(literal 2 binary64) %84)) %236)
(/.f64 (-.f64 %236 (*.f64 #s(literal 2 binary64) %75)) %236)
(/.f64 (-.f64 z (*.f64 #s(literal 2 binary64) %51)) z)
(/.f64 (-.f64 %230 (*.f64 #s(literal 2 binary64) %55)) %230)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %67)) #s(literal 2 binary64))
(/.f64 (-.f64 %127 (*.f64 %82 %84)) %127)
(/.f64 (-.f64 %127 (*.f64 %82 %75)) %127)
(/.f64 (-.f64 %119 (*.f64 %82 %51)) %119)
(/.f64 (-.f64 %130 (*.f64 %82 %55)) %130)
(/.f64 (-.f64 %82 (*.f64 %82 %67)) %82)
(/.f64 (-.f64 %130 %399) %130)
(/.f64 (-.f64 %145 %371) %145)
(/.f64 (-.f64 %145 (*.f64 z %84)) %145)
(/.f64 (-.f64 %145 (*.f64 z %75)) %145)
(/.f64 (-.f64 %137 (*.f64 z %51)) %137)
(/.f64 (-.f64 %127 (*.f64 z %55)) %127)
(/.f64 (-.f64 z (*.f64 z %67)) z)
(/.f64 (-.f64 %82 %390) %82)
(/.f64 (-.f64 %82 (*.f64 #s(literal 1 binary64) %84)) %82)
(/.f64 (-.f64 %82 (*.f64 #s(literal 1 binary64) %75)) %82)
(/.f64 (-.f64 %52 (*.f64 #s(literal 1 binary64) %51)) %52)
(/.f64 (-.f64 z (*.f64 #s(literal 1 binary64) %55)) z)
(/.f64 (-.f64 %127 %353) %127)
(/.f64 (-.f64 %127 %365) %127)
(/.f64 (neg.f64 %212) z)
(/.f64 (neg.f64 %106) %82)
(/.f64 (neg.f64 %219) %79)
(/.f64 (neg.f64 %223) %82)
(/.f64 (neg.f64 %226) #s(literal -2 binary64))
(/.f64 (neg.f64 %231) %568)
(/.f64 (neg.f64 %237) %571)
(/.f64 (neg.f64 %243) %574)
(/.f64 (neg.f64 %248) %577)
(/.f64 (neg.f64 %253) %568)
(/.f64 (neg.f64 %256) %571)
(/.f64 (neg.f64 %260) %574)
(/.f64 (neg.f64 %264) %577)
(/.f64 (neg.f64 %268) (neg.f64 %145))
(/.f64 (neg.f64 %274) (neg.f64 %127))
(/.f64 (neg.f64 %279) %577)
(/.f64 (neg.f64 %282) %574)
(/.f64 %212 %82)
(/.f64 %106 z)
(/.f64 %219 %52)
(/.f64 %223 z)
(/.f64 (-.f64 %40 %82) z)
(/.f64 %226 #s(literal 2 binary64))
(/.f64 %231 %142)
(/.f64 %237 %124)
(/.f64 %243 %230)
(/.f64 %248 %236)
(/.f64 %253 %142)
(/.f64 %256 %124)
(/.f64 %260 %230)
(/.f64 %264 %236)
(/.f64 %268 %145)
(/.f64 %274 %127)
(/.f64 %279 %236)
(/.f64 %282 %230)
(/.f64 %108 %82)
%112
(/.f64 %617 #s(literal -1 binary64))
(/.f64 %112 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %620)
(neg.f64 %617)
(fma.f64 %104 %59 #s(literal 0 binary64))
(fma.f64 %72 %56 #s(literal 1 binary64))
(fma.f64 %106 %56 #s(literal 0 binary64))
(fma.f64 %242 %59 #s(literal 1 binary64))
(fma.f64 %61 y #s(literal 1 binary64))
(fma.f64 %108 %61 #s(literal 0 binary64))
(fma.f64 %56 %103 #s(literal 0 binary64))
(fma.f64 %56 %40 #s(literal 1 binary64))
(fma.f64 %103 %56 #s(literal 0 binary64))
(fma.f64 %40 %56 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %92 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %112 #s(literal 0 binary64))
(fma.f64 y %61 #s(literal 1 binary64))
(-.f64 %92 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %67)
(+.f64 (+.f64 %92 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %92))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %67))
(+.f64 %92 #s(literal 1 binary64))
(+.f64 %112 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %92))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %67))
(+.f64 #s(literal 1 binary64) %92)
(*.f64 (*.f64 %651 #s(literal 2 binary64)) %52)
(*.f64 (*.f64 %651 #s(literal 1 binary64)) z)
(*.f64 %4 %656)
(*.f64 (/.f64 %658 %108) %82)
(*.f64 %661 z)
(*.f64 %663 %82)
(*.f64 (/.f64 #s(literal -1 binary64) %108) %666)
%668
(*.f64 %669 %20)
(*.f64 %658 %620)
(*.f64 %672 (/.f64 #s(literal 1 binary64) %674))
(*.f64 #s(literal 2 binary64) (*.f64 %656 %2))
(*.f64 %620 %2)
(*.f64 %20 %669)
(*.f64 %668 #s(literal 1 binary64))
(*.f64 z %651)
(*.f64 #s(literal 1 binary64) %668)
(*.f64 %2 %620)
(pow.f64 %668 #s(literal 1 binary64))
(/.f64 (fma.f64 %686 %674 (*.f64 %674 %687)) (*.f64 %674 %674))
(/.f64 (fma.f64 %84 %617 %693) %674)
(/.f64 (fma.f64 %84 %103 %697) %699)
(/.f64 (fma.f64 %84 %112 %702) %704)
(/.f64 (fma.f64 %84 %112 %706) %704)
(/.f64 (fma.f64 %84 %56 %710) %712)
(/.f64 (fma.f64 %84 %617 %714) %674)
(/.f64 (fma.f64 %84 %112 %717) %704)
(/.f64 (fma.f64 %720 %617 (*.f64 %103 %692)) %723)
(/.f64 (fma.f64 %720 %103 (*.f64 %103 %696)) %673)
(/.f64 (fma.f64 %720 %112 (*.f64 %103 %701)) %730)
(/.f64 (fma.f64 %720 %112 (*.f64 %103 %44)) %730)
(/.f64 (fma.f64 %720 %56 (*.f64 %103 %709)) %112)
(/.f64 (fma.f64 %720 %617 %738) %723)
(/.f64 (fma.f64 %720 %112 %741) %730)
(/.f64 (fma.f64 %744 %617 (*.f64 %56 %692)) %747)
(/.f64 (fma.f64 %744 %103 (*.f64 %56 %696)) %112)
(/.f64 (fma.f64 %744 %112 (*.f64 %56 %701)) %754)
(/.f64 (fma.f64 %744 %112 (*.f64 %56 %44)) %754)
(/.f64 (fma.f64 %744 %56 (*.f64 %56 %709)) %761)
(/.f64 (fma.f64 %744 %617 %763) %747)
(/.f64 (fma.f64 %744 %112 %766) %754)
(/.f64 (fma.f64 %40 %617 %693) %674)
(/.f64 (fma.f64 %40 %103 %697) %699)
(/.f64 (fma.f64 %40 %112 %702) %704)
(/.f64 (fma.f64 %40 %112 %706) %704)
(/.f64 (+.f64 %92 %710) %712)
(/.f64 (fma.f64 y %617 (*.f64 %112 %692)) %781)
(/.f64 (fma.f64 y %103 (*.f64 %112 %696)) %785)
(/.f64 (fma.f64 %103 %67 (*.f64 %112 %701)) %674)
(/.f64 (fma.f64 %103 %67 (*.f64 %112 %44)) %674)
(/.f64 (+.f64 %67 (*.f64 %112 %709)) %795)
(/.f64 (fma.f64 %692 %617 %797) %674)
(/.f64 (fma.f64 %692 %103 %800) %699)
(/.f64 (fma.f64 %692 %56 %803) %712)
(/.f64 (fma.f64 %692 %617 %806) %674)
(/.f64 (fma.f64 %692 %112 %809) %704)
(/.f64 (fma.f64 %696 %617 (*.f64 %103 %84)) %723)
(/.f64 (fma.f64 %696 %103 (*.f64 %103 %720)) %673)
(/.f64 (fma.f64 %696 %56 (*.f64 %103 %744)) %112)
(/.f64 (fma.f64 %696 %617 %821) %723)
(/.f64 (fma.f64 %696 %112 %824) %730)
(/.f64 (fma.f64 %701 %617 %827) %781)
(/.f64 (fma.f64 %701 %103 %830) %785)
(/.f64 (fma.f64 %701 %56 %833) %795)
(/.f64 (fma.f64 %701 %617 %836) %781)
(/.f64 (fma.f64 %701 %112 %687) %674)
(/.f64 (fma.f64 %44 %617 %827) %781)
(/.f64 (fma.f64 %44 %103 %830) %785)
(/.f64 (fma.f64 %44 %56 %833) %795)
(/.f64 (fma.f64 %44 %617 %836) %781)
(/.f64 (fma.f64 %44 %112 %687) %674)
(/.f64 (fma.f64 %709 %617 (*.f64 %56 %84)) %747)
(/.f64 (fma.f64 %709 %103 (*.f64 %56 %720)) %112)
(/.f64 (fma.f64 %709 %56 (*.f64 %56 %744)) %761)
(/.f64 (fma.f64 %709 %617 %92) %747)
(/.f64 (fma.f64 %709 %112 %67) %754)
(/.f64 (fma.f64 %38 %617 %797) %674)
(/.f64 (fma.f64 %38 %103 %800) %699)
(/.f64 (fma.f64 %38 %56 %803) %712)
(/.f64 (fma.f64 x %617 %827) %781)
(/.f64 (fma.f64 x %103 %830) %785)
(/.f64 (fma.f64 x %56 %833) %795)
(/.f64 (-.f64 (*.f64 %84 %112) %714) %704)
(/.f64 (-.f64 (*.f64 %84 %617) %717) %674)
(/.f64 (-.f64 (*.f64 %720 %112) %738) %730)
(/.f64 (-.f64 (*.f64 %720 %617) %741) %723)
(/.f64 (-.f64 (*.f64 %744 %112) %763) %754)
(/.f64 (-.f64 (*.f64 %744 %617) %766) %747)
(/.f64 (-.f64 %894 %714) %704)
(/.f64 (-.f64 %897 %717) %674)
(/.f64 (-.f64 %687 %900) %674)
(/.f64 (-.f64 %903 %686) %781)
(/.f64 (-.f64 (*.f64 %692 %56) %908) %712)
(/.f64 (-.f64 (*.f64 %692 %112) %806) %704)
(/.f64 (-.f64 (*.f64 %692 %617) %809) %674)
(/.f64 (-.f64 (*.f64 %696 %56) (*.f64 %103 %907)) %112)
(/.f64 (-.f64 (*.f64 %696 %112) %821) %730)
(/.f64 (-.f64 (*.f64 %696 %617) %824) %723)
(/.f64 (-.f64 (*.f64 %701 %56) %928) %795)
(/.f64 (-.f64 (*.f64 %701 %112) %836) %674)
(/.f64 (-.f64 (*.f64 %701 %617) %687) %781)
(/.f64 (-.f64 (*.f64 %44 %56) %928) %795)
(/.f64 (-.f64 (*.f64 %44 %112) %836) %674)
(/.f64 (-.f64 (*.f64 %44 %617) %687) %781)
(/.f64 (-.f64 (*.f64 %709 %56) (*.f64 %56 %907)) %761)
(/.f64 (-.f64 (*.f64 %709 %112) %92) %754)
(/.f64 (-.f64 (*.f64 %709 %617) %67) %747)
(/.f64 (-.f64 (*.f64 %38 %56) %908) %712)
(/.f64 (-.f64 %959 %809) %674)
(/.f64 (-.f64 (*.f64 x %56) %928) %795)
(/.f64 (-.f64 %965 %687) %781)
(/.f64 (neg.f64 %968) %112)
(/.f64 (neg.f64 %971) %108)
(/.f64 (neg.f64 %974) %112)
(/.f64 (neg.f64 %666) %108)
(/.f64 (neg.f64 %979) %617)
(/.f64 (neg.f64 %661) %61)
(/.f64 (neg.f64 %985) %112)
(/.f64 (neg.f64 %988) %617)
(/.f64 (neg.f64 %992) %112)
(/.f64 (neg.f64 %995) %997)
(/.f64 (neg.f64 %999) %674)
(/.f64 (neg.f64 %1003) %674)
(/.f64 (neg.f64 %1006) %997)
(/.f64 (neg.f64 %1009) %674)
(/.f64 (neg.f64 %1012) %674)
(/.f64 (neg.f64 %1015) %997)
(/.f64 (neg.f64 %1018) %674)
(/.f64 (neg.f64 %1021) %674)
(/.f64 (neg.f64 %1024) %997)
(/.f64 (neg.f64 %1027) %674)
(/.f64 (neg.f64 %1030) %674)
(/.f64 (neg.f64 %1033) %674)
(/.f64 (neg.f64 %1036) %997)
(/.f64 (neg.f64 %1039) %112)
(/.f64 (neg.f64 %1042) (neg.f64 %997))
(/.f64 (neg.f64 %651) %61)
(/.f64 %968 %617)
(/.f64 %971 %103)
(/.f64 %974 %617)
(/.f64 %666 %103)
(/.f64 %979 %112)
(/.f64 %661 %56)
(/.f64 %21 %617)
(/.f64 %663 %61)
(/.f64 %985 %617)
(/.f64 %988 %112)
(/.f64 %992 %617)
(/.f64 %995 %674)
(/.f64 %999 %704)
(/.f64 %1003 %781)
(/.f64 %1006 %674)
(/.f64 %1009 %704)
(/.f64 %1012 %781)
(/.f64 %1015 %674)
(/.f64 %1018 %704)
(/.f64 %1021 %781)
(/.f64 %1024 %674)
(/.f64 %1027 %704)
(/.f64 %1030 %781)
(/.f64 %1033 %704)
(/.f64 %1036 %674)
(/.f64 %1039 %617)
(/.f64 %1042 %997)
(/.f64 %651 %56)
(/.f64 %658 %112)
(/.f64 %672 %674)
(/.f64 %20 %617)
(/.f64 #s(literal 1 binary64) (pow.f64 %668 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %112 %658))
(/.f64 #s(literal 1 binary64) (/.f64 %674 %672))
(/.f64 #s(literal 1 binary64) (/.f64 %617 %20))
(/.f64 #s(literal 1 binary64) (/.f64 %112 %2))
(/.f64 %2 %112)
(neg.f64 (*.f64 %669 %2))
(neg.f64 (*.f64 %620 %20))
(neg.f64 (/.f64 %658 %617))
(neg.f64 (*.f64 %2 %669))
(fma.f64 (*.f64 %709 #s(literal 2 binary64)) %52 %984)
(fma.f64 (*.f64 %709 #s(literal 1 binary64)) z %984)
(fma.f64 (*.f64 x #s(literal 2 binary64)) %656 %984)
(fma.f64 (*.f64 %744 #s(literal 2 binary64)) %52 %991)
(fma.f64 (*.f64 %744 #s(literal 1 binary64)) z %991)
(fma.f64 %701 %620 %984)
(fma.f64 %907 %82 %991)
(fma.f64 (/.f64 x %108) %82 %984)
(fma.f64 %58 %656 %991)
(fma.f64 %709 z %984)
(fma.f64 %744 z %991)
(fma.f64 %38 %669 %984)
(fma.f64 %620 y %991)
(fma.f64 %620 x %984)
(fma.f64 %984 #s(literal 1 binary64) %991)
(fma.f64 %991 #s(literal 1 binary64) %984)
(fma.f64 %40 %669 %991)
(fma.f64 z %709 %984)
(fma.f64 z %744 %991)
(fma.f64 #s(literal 1 binary64) %984 %991)
(fma.f64 #s(literal 1 binary64) %991 %984)
(fma.f64 y %620 %991)
(fma.f64 x %620 %984)
(-.f64 %984 (*.f64 (neg.f64 %709) z))
(-.f64 %984 (*.f64 %38 %620))
(-.f64 %984 (*.f64 x %669))
(-.f64 %991 (*.f64 %907 z))
(+.f64 (/.f64 %686 %674) (/.f64 %687 %674))
(+.f64 %984 %991)
(+.f64 %991 %984)

%2 = (+.f64 x y)
%5 = (/.f64 y z)
%6 = (-.f64 #s(literal 1 binary64) %5)
%7 = (+ x y)
%8 = (approx %7 y)
%9 = (/.f64 x %6)
%12 = (- 1 (/ y z))
%13 = (/ %7 %12)
%16 = (approx %12 #s(literal 1 binary64))
%17 = (*.f64 #s(literal -1 binary64) z)
%19 = (-.f64 z y)
%20 = (/.f64 %19 z)
%21 = (+.f64 y x)
%22 = (-.f64 y z)
%23 = (/.f64 z %19)
%24 = (/.f64 %21 %19)
%25 = (/.f64 #s(literal -1 binary64) %22)
%26 = (*.f64 z %21)
%31 = (/.f64 %20 %21)
x
y
%2
#s(literal 1 binary64)
z
%5
%6
%8
%9
(approx %13 %9)
#s(literal -1 binary64)
%16
%17
(approx %13 %17)
%19
%20
%21
%22
%23
%24
%25
%26
(*.f64 %25 %26)
(*.f64 z %24)
(*.f64 %21 %23)
(/.f64 %26 %19)
%31
(/.f64 #s(literal 1 binary64) %31)
(/.f64 %2 %16)
(/.f64 %8 %6)

%2 = (+.f64 y x)
%4 = (pow.f64 %2 #s(literal 1 binary64))
%5 = (/.f64 #s(literal 1 binary64) %2)
%6 = (/.f64 #s(literal 1 binary64) %5)
%7 = (neg.f64 %2)
%8 = (neg.f64 %7)
%9 = (neg.f64 x)
%10 = (neg.f64 %9)
%11 = (neg.f64 %10)
%12 = (-.f64 y %11)
%13 = (-.f64 y %9)
%14 = (neg.f64 y)
%15 = (neg.f64 %14)
%16 = (neg.f64 %15)
%17 = (-.f64 x %16)
%18 = (-.f64 x %14)
%19 = (+.f64 %10 %15)
%20 = (+.f64 %15 %10)
%21 = (+.f64 y %10)
%22 = (+.f64 x %15)
%23 = (+.f64 x y)
%27 = (/.f64 #s(literal 1 binary64) z)
%29 = (/.f64 %27 #s(literal 1/2 binary64))
%34 = (/.f64 %27 #s(literal -1/2 binary64))
%38 = (/.f64 %27 #s(literal -1 binary64))
%41 = (/.f64 #s(literal -1 binary64) z)
%42 = (/.f64 %41 #s(literal 1/2 binary64))
%44 = (/.f64 y #s(literal 2 binary64))
%45 = (*.f64 #s(literal 1/2 binary64) z)
%46 = (/.f64 #s(literal 1 binary64) %45)
%48 = (/.f64 %41 #s(literal -1/2 binary64))
%50 = (/.f64 y #s(literal -1 binary64))
%51 = (/.f64 %41 #s(literal 1 binary64))
%53 = (*.f64 y #s(literal 1 binary64))
%55 = (/.f64 y #s(literal 1 binary64))
%56 = (/.f64 %27 #s(literal 1 binary64))
%58 = (/.f64 %41 #s(literal -1 binary64))
%62 = (/.f64 %14 z)
%66 = (/.f64 y z)
%71 = (neg.f64 z)
%96 = (*.f64 %41 y)
%99 = (-.f64 z y)
%100 = (/.f64 %99 #s(literal -1 binary64))
%101 = (*.f64 %100 %51)
%102 = (-.f64 y z)
%104 = (*.f64 (/.f64 %102 #s(literal -2 binary64)) %29)
%106 = (*.f64 (/.f64 %102 #s(literal 2 binary64)) %34)
%108 = (*.f64 (/.f64 %99 #s(literal -2 binary64)) %42)
%109 = (/.f64 %99 #s(literal 2 binary64))
%110 = (*.f64 %109 %46)
%111 = (*.f64 %109 %48)
%112 = (/.f64 %102 #s(literal 1 binary64))
%113 = (*.f64 %112 %38)
%114 = (*.f64 z %71)
%115 = (*.f64 z %14)
%116 = (-.f64 %114 %115)
%118 = (*.f64 %116 (/.f64 #s(literal 1 binary64) %114))
%119 = (*.f64 z z)
%120 = (*.f64 z y)
%121 = (-.f64 %119 %120)
%123 = (*.f64 %121 (/.f64 #s(literal 1 binary64) %119))
%124 = (*.f64 %27 %99)
%125 = (/.f64 %102 z)
%126 = (*.f64 %125 #s(literal -1 binary64))
%127 = (*.f64 %102 %41)
%128 = (/.f64 %99 z)
%129 = (*.f64 %128 #s(literal 1 binary64))
%130 = (*.f64 %99 %56)
%131 = (*.f64 %99 %58)
%132 = (*.f64 %99 %27)
%133 = (pow.f64 %128 #s(literal 1 binary64))
%135 = (/.f64 (fma.f64 %62 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
%137 = (/.f64 (fma.f64 %62 %71 %71) %71)
%139 = (/.f64 (fma.f64 %62 z z) z)
%142 = (/.f64 (-.f64 (*.f64 %62 %71) z) %71)
%143 = (*.f64 #s(literal 2 binary64) %71)
%145 = (*.f64 %71 #s(literal 2 binary64))
%146 = (/.f64 (fma.f64 %15 #s(literal 2 binary64) %143) %145)
%148 = (*.f64 %71 z)
%149 = (/.f64 (fma.f64 %15 z %114) %148)
%150 = (*.f64 #s(literal 2 binary64) z)
%152 = (*.f64 z #s(literal 2 binary64))
%153 = (/.f64 (fma.f64 %14 #s(literal 2 binary64) %150) %152)
%155 = (/.f64 (fma.f64 %14 %71 %148) %114)
%157 = (/.f64 (fma.f64 y #s(literal 2 binary64) %143) %145)
%159 = (/.f64 (fma.f64 z y %114) %148)
%162 = (/.f64 (fma.f64 #s(literal 2 binary64) %71 (*.f64 %15 #s(literal 2 binary64))) %143)
%165 = (/.f64 (fma.f64 #s(literal 2 binary64) z (*.f64 %14 #s(literal 2 binary64))) %150)
%168 = (/.f64 (fma.f64 #s(literal 2 binary64) %71 (*.f64 y #s(literal 2 binary64))) %143)
%169 = (*.f64 %15 %71)
%171 = (/.f64 (fma.f64 z z %169) %119)
%172 = (*.f64 %14 %71)
%174 = (/.f64 (fma.f64 %71 z %172) %148)
%175 = (*.f64 y %71)
%177 = (/.f64 (fma.f64 z z %175) %119)
%180 = (/.f64 (fma.f64 z %71 (*.f64 %15 z)) %114)
%182 = (/.f64 (-.f64 z %53) z)
%184 = (/.f64 (-.f64 z %55) z)
%186 = (/.f64 (fma.f64 %15 #s(literal 2 binary64) %145) %145)
%188 = (/.f64 (fma.f64 %15 %71 %119) %119)
%190 = (/.f64 (fma.f64 %15 z %148) %148)
%192 = (/.f64 (fma.f64 %14 #s(literal 2 binary64) %152) %152)
%194 = (/.f64 (fma.f64 %14 %71 %114) %114)
%196 = (/.f64 (fma.f64 %14 z %119) %119)
%198 = (/.f64 (fma.f64 y #s(literal 2 binary64) %145) %145)
%200 = (/.f64 (fma.f64 y %71 %119) %119)
%202 = (/.f64 (fma.f64 z y %148) %148)
%203 = (*.f64 #s(literal 2 binary64) %15)
%205 = (/.f64 (fma.f64 #s(literal 2 binary64) %71 %203) %143)
%206 = (*.f64 #s(literal 2 binary64) %14)
%208 = (/.f64 (fma.f64 #s(literal 2 binary64) z %206) %150)
%209 = (*.f64 #s(literal 2 binary64) y)
%211 = (/.f64 (fma.f64 #s(literal 2 binary64) %71 %209) %143)
%212 = (*.f64 %71 %15)
%214 = (/.f64 (fma.f64 z z %212) %119)
%215 = (*.f64 %71 %14)
%217 = (/.f64 (fma.f64 %71 z %215) %148)
%218 = (*.f64 z %15)
%220 = (/.f64 (fma.f64 z %71 %218) %114)
%222 = (/.f64 (fma.f64 z %71 %120) %114)
%224 = (/.f64 (-.f64 %169 %148) %119)
%226 = (/.f64 (-.f64 %175 %148) %119)
%229 = (/.f64 (-.f64 %150 (*.f64 #s(literal 2 binary64) %53)) %150)
%232 = (/.f64 (-.f64 %150 (*.f64 #s(literal 2 binary64) %55)) %150)
%234 = (/.f64 (-.f64 %150 %203) %150)
%237 = (/.f64 (-.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %62)) #s(literal -2 binary64))
%239 = (/.f64 (-.f64 %143 %206) %143)
%241 = (/.f64 (-.f64 %150 %209) %150)
%244 = (/.f64 (-.f64 %148 (*.f64 %71 %53)) %148)
%247 = (/.f64 (-.f64 %148 (*.f64 %71 %55)) %148)
%249 = (/.f64 (-.f64 %148 %212) %148)
%252 = (/.f64 (-.f64 z (*.f64 %71 %62)) z)
%254 = (/.f64 (-.f64 %119 %215) %119)
%255 = (*.f64 %71 y)
%257 = (/.f64 (-.f64 %148 %255) %148)
%260 = (/.f64 (-.f64 %119 (*.f64 z %53)) %119)
%263 = (/.f64 (-.f64 %119 (*.f64 z %55)) %119)
%265 = (/.f64 (-.f64 %119 %218) %119)
%268 = (/.f64 (-.f64 %71 (*.f64 z %62)) %71)
%270 = (/.f64 (-.f64 %172 %119) %114)
%273 = (/.f64 (*.f64 %116 #s(literal 2 binary64)) (*.f64 %114 #s(literal 2 binary64)))
%276 = (/.f64 (*.f64 %116 %71) (*.f64 %114 %71))
%279 = (/.f64 (*.f64 %116 z) (*.f64 %114 z))
%282 = (/.f64 (*.f64 %121 #s(literal 2 binary64)) (*.f64 %119 #s(literal 2 binary64)))
%285 = (/.f64 (*.f64 %121 %71) (*.f64 %119 %71))
%288 = (/.f64 (*.f64 %121 z) (*.f64 %119 z))
%289 = (*.f64 %125 #s(literal 2 binary64))
%290 = (/.f64 %289 #s(literal -2 binary64))
%291 = (*.f64 %125 %71)
%292 = (*.f64 #s(literal -1 binary64) %71)
%293 = (/.f64 %291 %292)
%294 = (*.f64 %125 z)
%295 = (/.f64 %294 %71)
%296 = (*.f64 %102 #s(literal 2 binary64))
%297 = (/.f64 %296 %145)
%298 = (*.f64 %102 %71)
%299 = (/.f64 %298 %119)
%300 = (*.f64 %102 z)
%301 = (/.f64 %300 %148)
%302 = (*.f64 %99 #s(literal 2 binary64))
%303 = (/.f64 %302 %152)
%304 = (*.f64 %99 %71)
%305 = (/.f64 %304 %114)
%306 = (*.f64 %99 z)
%307 = (/.f64 %306 %119)
%309 = (/.f64 (neg.f64 %116) %119)
%311 = (/.f64 (neg.f64 %121) %114)
%312 = (/.f64 %116 %114)
%313 = (/.f64 %121 %119)
%314 = (/.f64 %125 #s(literal -1 binary64))
%315 = (/.f64 %102 %71)
%316 = (/.f64 %128 #s(literal 1 binary64))
%317 = (/.f64 z %99)
%318 = (/.f64 #s(literal 1 binary64) %317)
%320 = (neg.f64 (*.f64 %41 %99))
%322 = (neg.f64 (*.f64 %27 %102))
%323 = (*.f64 %125 #s(literal 1 binary64))
%324 = (neg.f64 %323)
%326 = (neg.f64 (*.f64 %128 #s(literal -1 binary64)))
%327 = (neg.f64 %125)
%328 = (fma.f64 %15 %41 #s(literal 1 binary64))
%329 = (fma.f64 %14 %27 #s(literal 1 binary64))
%330 = (fma.f64 y %41 #s(literal 1 binary64))
%331 = (*.f64 %71 %27)
%332 = (-.f64 %62 %331)
%333 = (-.f64 %62 #s(literal -1 binary64))
%335 = (-.f64 #s(literal 1 binary64) (/.f64 %115 %114))
%337 = (-.f64 #s(literal 1 binary64) (/.f64 %120 %119))
%338 = (-.f64 #s(literal 1 binary64) %66)
%339 = (+.f64 %62 #s(literal 1 binary64))
%340 = (+.f64 #s(literal 1 binary64) %96)
%341 = (+.f64 #s(literal 1 binary64) %62)
%342 = (+ y x)
%343 = (approx %342 y)
%347 = (/.f64 x %27)
%348 = (/.f64 #s(literal -1 binary64) %102)
%350 = (*.f64 x #s(literal 1 binary64))
%352 = (/.f64 x %102)
%355 = (/.f64 x %99)
%356 = (/.f64 #s(literal 1 binary64) %27)
%358 = (*.f64 %355 z)
%359 = (/.f64 z %102)
%385 = (*.f64 %352 z)
%387 = (*.f64 %359 x)
%389 = (*.f64 x %359)
%392 = (- z y)
%393 = (/ (* %342 z) %392)
%394 = (approx %393 %358)
%399 = (approx (/ %392 z) #s(literal 1 binary64))
%401 = (/.f64 #s(literal 1 binary64) %399)
%409 = (approx %393 %71)
%420 = (*.f64 %99 #s(literal -1 binary64))
%426 = (*.f64 #s(literal -2 binary64) %45)
%428 = (*.f64 %71 #s(literal 1 binary64))
%432 = (/.f64 %71 #s(literal -1 binary64))
%433 = (/.f64 %15 #s(literal -1 binary64))
%444 = (/.f64 #s(literal -1 binary64) %99)
%462 = (/.f64 %444 #s(literal 2 binary64))
%463 = (/.f64 #s(literal 1/2 binary64) z)
%464 = (/.f64 #s(literal -1 binary64) %463)
%466 = (/.f64 %444 #s(literal 1 binary64))
%467 = (/.f64 #s(literal -1 binary64) %27)
%469 = (/.f64 z %27)
%470 = (/.f64 %27 %99)
%472 = (/.f64 #s(literal 2 binary64) %27)
%473 = (/.f64 #s(literal -1/2 binary64) %102)
%475 = (/.f64 #s(literal 2 binary64) %102)
%476 = (/.f64 #s(literal -1/2 binary64) %27)
%478 = (/.f64 #s(literal 1/2 binary64) %41)
%481 = (/.f64 #s(literal -2 binary64) %99)
%484 = (/.f64 #s(literal -1/2 binary64) %99)
%485 = (/.f64 #s(literal 2 binary64) %41)
%487 = (/.f64 %444 %463)
%489 = (/.f64 %27 %41)
%491 = (/.f64 #s(literal 1/2 binary64) %27)
%492 = (/.f64 #s(literal 2 binary64) %99)
%495 = (/.f64 %348 %463)
%497 = (/.f64 %473 %27)
%499 = (*.f64 #s(literal 1/2 binary64) %317)
%504 = (/.f64 #s(literal -1 binary64) %41)
%508 = (/.f64 %27 %27)
%510 = (/.f64 %444 %27)
%514 = (/.f64 %473 %463)
%519 = (*.f64 #s(literal 2 binary64) %102)
%521 = (*.f64 #s(literal 2 binary64) %99)
%523 = (*.f64 %71 %99)
%525 = (*.f64 %71 %128)
%527 = (*.f64 #s(literal 2 binary64) %125)
%530 = (*.f64 #s(literal 2 binary64) %27)
%532 = (*.f64 z %102)
%535 = (*.f64 %71 %102)
%537 = (*.f64 z %99)
%540 = (*.f64 #s(literal 2 binary64) %128)
%543 = (*.f64 z %125)
%549 = (*.f64 %71 %125)
%551 = (*.f64 z %128)
%563 = (/.f64 #s(literal 0 binary64) %128)
%596 = (*.f64 %2 #s(literal -1 binary64))
%598 = (*.f64 %2 #s(literal 1 binary64))
%600 = (/.f64 y %99)
%601 = (fma.f64 %600 %99 x)
%603 = (*.f64 x %99)
%604 = (fma.f64 y %99 %603)
%605 = (*.f64 %102 %102)
%606 = (/.f64 #s(literal 1 binary64) %605)
%608 = (*.f64 %99 x)
%609 = (fma.f64 y %99 %608)
%614 = (/.f64 %2 %99)
%630 = (*.f64 %102 %99)
%632 = (*.f64 %14 %99)
%634 = (*.f64 %99 %102)
%636 = (*.f64 y %99)
%645 = (*.f64 %9 %99)
%648 = (*.f64 %102 %14)
%654 = (*.f64 %99 %14)
%660 = (*.f64 %102 %9)
%666 = (*.f64 %99 %9)
%680 = (neg.f64 %605)
%700 = (/.f64 %99 %2)
%716 = (/.f64 %2 %102)
%722 = (/.f64 y %102)
%728 = (/.f64 %636 %605)
%756 = (/.f64 #s(literal 0 binary64) %99)
%763 = (*.f64 %2 z)
%768 = (/.f64 #s(literal 1 binary64) %763)
%770 = (neg.f64 %763)
%772 = (*.f64 %10 z)
%774 = (*.f64 z x)
%784 = (*.f64 %9 z)
%786 = (*.f64 #s(literal -1 binary64) %120)
%788 = (*.f64 #s(literal -1 binary64) %774)
%791 = (*.f64 %120 #s(literal -1 binary64))
%793 = (*.f64 %774 #s(literal -1 binary64))
%801 = (/.f64 %71 #s(literal 1 binary64))
%802 = (/.f64 %444 %5)
%803 = (*.f64 %801 %802)
%804 = (/.f64 %7 #s(literal 1 binary64))
%805 = (*.f64 %804 %510)
%806 = (/.f64 %596 #s(literal 2 binary64))
%807 = (*.f64 %806 %487)
%808 = (/.f64 %596 #s(literal 1 binary64))
%809 = (*.f64 %808 %510)
%810 = (/.f64 %7 #s(literal 2 binary64))
%811 = (*.f64 %810 %487)
%812 = (/.f64 %2 %27)
%813 = (*.f64 %812 %348)
%814 = (/.f64 %2 #s(literal 2 binary64))
%815 = (*.f64 %814 %495)
%816 = (/.f64 %492 #s(literal 2 binary64))
%817 = (/.f64 #s(literal 1/2 binary64) %2)
%818 = (/.f64 %491 %817)
%819 = (*.f64 %816 %818)
%820 = (/.f64 %492 #s(literal 1 binary64))
%821 = (/.f64 %491 %5)
%822 = (*.f64 %820 %821)
%823 = (/.f64 %71 #s(literal 2 binary64))
%824 = (/.f64 %444 %817)
%825 = (*.f64 %823 %824)
%826 = (/.f64 %348 #s(literal 2 binary64))
%827 = (/.f64 %2 %463)
%828 = (*.f64 %826 %827)
%829 = (/.f64 z %817)
%830 = (*.f64 %826 %829)
%831 = (/.f64 %348 #s(literal 1 binary64))
%832 = (*.f64 %831 %812)
%833 = (/.f64 z %5)
%834 = (*.f64 %831 %833)
%835 = (/.f64 %27 %128)
%836 = (*.f64 %833 %835)
%837 = (/.f64 z %125)
%838 = (/.f64 #s(literal -1 binary64) %2)
%839 = (/.f64 %27 %838)
%840 = (*.f64 %837 %839)
%841 = (/.f64 z %128)
%842 = (/.f64 %27 %5)
%843 = (*.f64 %841 %842)
%844 = (/.f64 %71 %817)
%845 = (*.f64 %462 %844)
%846 = (/.f64 %71 %5)
%847 = (*.f64 %466 %846)
%848 = (/.f64 z #s(literal 2 binary64))
%849 = (/.f64 %348 %817)
%850 = (*.f64 %848 %849)
%851 = (/.f64 z #s(literal 1 binary64))
%852 = (/.f64 %348 %5)
%853 = (*.f64 %851 %852)
%854 = (*.f64 %356 %614)
%855 = (/.f64 #s(literal -2 binary64) %128)
%856 = (/.f64 #s(literal 1/2 binary64) %838)
%857 = (*.f64 %855 %856)
%858 = (/.f64 #s(literal 2 binary64) %5)
%859 = (*.f64 %858 %499)
%860 = (/.f64 #s(literal 2 binary64) %125)
%861 = (*.f64 %860 %856)
%862 = (/.f64 #s(literal -1/2 binary64) %5)
%863 = (*.f64 %860 %862)
%864 = (/.f64 #s(literal 1/2 binary64) %125)
%865 = (/.f64 #s(literal 2 binary64) %838)
%866 = (*.f64 %864 %865)
%867 = (*.f64 %598 %317)
%868 = (*.f64 #s(literal 1 binary64) %2)
%869 = (*.f64 %868 %317)
%870 = (/.f64 #s(literal 2 binary64) %768)
%871 = (*.f64 %473 %870)
%872 = (*.f64 %499 %858)
%873 = (/.f64 %359 %817)
%874 = (*.f64 #s(literal -1/2 binary64) %873)
%875 = (*.f64 %716 %71)
%876 = (/.f64 #s(literal -1 binary64) %5)
%877 = (*.f64 %359 %876)
%878 = (*.f64 %359 %7)
%879 = (/.f64 %2 #s(literal 1 binary64))
%880 = (*.f64 %879 %317)
%881 = (fma.f64 %358 %128 y)
%882 = (*.f64 %881 %317)
%883 = (*.f64 y %125)
%884 = (fma.f64 %9 %128 %883)
%885 = (/.f64 %630 %119)
%886 = (/.f64 #s(literal 1 binary64) %885)
%887 = (*.f64 %884 %886)
%888 = (*.f64 y %128)
%889 = (fma.f64 x %128 %888)
%890 = (/.f64 %605 %119)
%891 = (/.f64 #s(literal 1 binary64) %890)
%892 = (*.f64 %889 %891)
%893 = (*.f64 #s(literal 1/2 binary64) %2)
%894 = (*.f64 #s(literal 2 binary64) %317)
%895 = (*.f64 %893 %894)
%896 = (*.f64 %894 %893)
%897 = (/.f64 #s(literal 1/2 binary64) %768)
%898 = (*.f64 %492 %897)
%899 = (*.f64 %125 y)
%900 = (fma.f64 %9 %128 %899)
%901 = (*.f64 %900 %886)
%902 = (*.f64 %128 y)
%903 = (fma.f64 x %128 %902)
%904 = (*.f64 %903 %891)
%905 = (/.f64 %317 %817)
%906 = (*.f64 #s(literal 1/2 binary64) %905)
%907 = (/.f64 %499 %5)
%908 = (*.f64 #s(literal 2 binary64) %907)
%909 = (*.f64 %614 z)
%910 = (*.f64 #s(literal 1/2 binary64) %909)
%911 = (*.f64 #s(literal 2 binary64) %910)
%912 = (/.f64 %2 %41)
%913 = (*.f64 %444 %912)
%914 = (*.f64 %7 %359)
%915 = (*.f64 %770 %444)
%916 = (*.f64 %909 #s(literal 1 binary64))
%917 = (*.f64 %763 %348)
%918 = (*.f64 %348 %812)
%919 = (*.f64 %348 %763)
%920 = (*.f64 %614 %356)
%921 = (/.f64 %27 %768)
%922 = (*.f64 %317 %921)
%923 = (/.f64 #s(literal -1 binary64) %838)
%924 = (*.f64 %317 %923)
%925 = (*.f64 %317 %2)
%926 = (*.f64 %2 %317)
%927 = (/.f64 %359 %5)
%928 = (*.f64 #s(literal -1 binary64) %927)
%929 = (/.f64 %763 %102)
%930 = (*.f64 #s(literal -1 binary64) %929)
%931 = (*.f64 z %614)
%932 = (/.f64 %499 %817)
%933 = (*.f64 #s(literal 1 binary64) %932)
%934 = (*.f64 #s(literal 1 binary64) %909)
%935 = (/.f64 %99 %763)
%936 = (pow.f64 %935 #s(literal -1 binary64))
%937 = (pow.f64 %909 #s(literal 1 binary64))
%938 = (*.f64 %317 y)
%940 = (/.f64 (fma.f64 %938 %128 %350) %128)
%942 = (/.f64 (fma.f64 %938 %128 %10) %128)
%944 = (/.f64 (fma.f64 %938 %125 %9) %125)
%946 = (/.f64 (fma.f64 %938 %128 x) %128)
%947 = (/.f64 %120 %99)
%949 = (/.f64 (fma.f64 %947 %99 %774) %99)
%950 = (*.f64 %600 z)
%952 = (/.f64 (fma.f64 %950 %128 %350) %128)
%954 = (/.f64 (fma.f64 %950 %128 %10) %128)
%956 = (/.f64 (fma.f64 %950 %125 %9) %125)
%958 = (/.f64 (fma.f64 %950 %128 x) %128)
%960 = (/.f64 (fma.f64 %358 %125 %14) %125)
%963 = (/.f64 (-.f64 (*.f64 %950 %128) %9) %128)
%966 = (/.f64 (fma.f64 %120 %99 (*.f64 %774 %99)) %605)
%969 = (/.f64 (fma.f64 %14 %128 (*.f64 %350 %125)) %885)
%972 = (/.f64 (fma.f64 %14 %128 (*.f64 %10 %125)) %885)
%975 = (/.f64 (fma.f64 %14 %125 (*.f64 %9 %125)) %890)
%978 = (/.f64 (fma.f64 %14 %128 (*.f64 x %125)) %885)
%979 = (*.f64 %350 %128)
%981 = (/.f64 (fma.f64 y %128 %979) %890)
%982 = (*.f64 %10 %128)
%984 = (/.f64 (fma.f64 y %128 %982) %890)
%985 = (*.f64 %9 %128)
%987 = (*.f64 %128 %125)
%988 = (/.f64 (fma.f64 y %125 %985) %987)
%989 = (*.f64 x %128)
%991 = (/.f64 (fma.f64 y %128 %989) %890)
%992 = (*.f64 %14 %128)
%994 = (/.f64 (fma.f64 %350 %125 %992) %987)
%996 = (/.f64 (fma.f64 %350 %128 %888) %890)
%998 = (/.f64 (fma.f64 %10 %125 %992) %987)
%1000 = (/.f64 (fma.f64 %10 %128 %888) %890)
%1003 = (/.f64 (fma.f64 %9 %125 (*.f64 %14 %125)) %890)
%1005 = (/.f64 (fma.f64 x %125 %992) %987)
%1007 = (/.f64 (+.f64 y %350) %128)
%1009 = (/.f64 (fma.f64 x #s(literal 1 binary64) y) %128)
%1011 = (/.f64 (+.f64 %10 y) %128)
%1013 = (/.f64 (-.f64 %350 %14) %128)
%1015 = (/.f64 (-.f64 %10 %14) %128)
%1018 = (/.f64 (fma.f64 %120 %99 (*.f64 %99 %774)) %605)
%1021 = (/.f64 (fma.f64 %14 %128 (*.f64 %125 %350)) %885)
%1024 = (/.f64 (fma.f64 %14 %128 (*.f64 %125 %10)) %885)
%1025 = (*.f64 %125 %9)
%1027 = (/.f64 (fma.f64 %14 %125 %1025) %890)
%1030 = (/.f64 (fma.f64 %14 %128 (*.f64 %125 x)) %885)
%1033 = (/.f64 (fma.f64 y %128 (*.f64 %128 %350)) %890)
%1036 = (/.f64 (fma.f64 y %128 (*.f64 %128 %10)) %890)
%1037 = (*.f64 %128 %9)
%1039 = (/.f64 (fma.f64 y %125 %1037) %987)
%1042 = (/.f64 (fma.f64 y %128 (*.f64 %128 x)) %890)
%1043 = (*.f64 %128 %14)
%1045 = (/.f64 (fma.f64 %350 %125 %1043) %987)
%1047 = (/.f64 (fma.f64 %350 %128 %902) %890)
%1049 = (/.f64 (fma.f64 %10 %125 %1043) %987)
%1051 = (/.f64 (fma.f64 %10 %128 %902) %890)
%1052 = (*.f64 %125 %14)
%1054 = (/.f64 (fma.f64 %9 %125 %1052) %890)
%1056 = (/.f64 (fma.f64 x %125 %1043) %987)
%1058 = (/.f64 (-.f64 %992 %1025) %885)
%1060 = (/.f64 (-.f64 %888 %1037) %890)
%1062 = (/.f64 (-.f64 %979 %1043) %890)
%1064 = (/.f64 (-.f64 %982 %1043) %890)
%1066 = (/.f64 (-.f64 %985 %1052) %885)
%1068 = (/.f64 (-.f64 %989 %1043) %890)
%1070 = (*.f64 %128 #s(literal 2 binary64))
%1071 = (/.f64 (*.f64 %598 #s(literal 2 binary64)) %1070)
%1073 = (*.f64 %128 %71)
%1074 = (/.f64 (*.f64 %598 %71) %1073)
%1076 = (*.f64 %128 z)
%1077 = (/.f64 (*.f64 %598 z) %1076)
%1079 = (/.f64 (*.f64 %868 #s(literal 2 binary64)) %1070)
%1081 = (/.f64 (*.f64 %868 %71) %1073)
%1083 = (/.f64 (*.f64 %868 z) %1076)
%1085 = (/.f64 (*.f64 %881 #s(literal 2 binary64)) %1070)
%1087 = (/.f64 (*.f64 %881 %71) %1073)
%1089 = (/.f64 (*.f64 %881 z) %1076)
%1091 = (*.f64 %885 #s(literal 2 binary64))
%1092 = (/.f64 (*.f64 %884 #s(literal 2 binary64)) %1091)
%1094 = (*.f64 %885 %71)
%1095 = (/.f64 (*.f64 %884 %71) %1094)
%1097 = (*.f64 %885 z)
%1098 = (/.f64 (*.f64 %884 z) %1097)
%1100 = (*.f64 %890 #s(literal 2 binary64))
%1101 = (/.f64 (*.f64 %889 #s(literal 2 binary64)) %1100)
%1103 = (*.f64 %890 %71)
%1104 = (/.f64 (*.f64 %889 %71) %1103)
%1106 = (*.f64 %890 z)
%1107 = (/.f64 (*.f64 %889 z) %1106)
%1109 = (/.f64 (*.f64 %900 #s(literal 2 binary64)) %1091)
%1111 = (/.f64 (*.f64 %900 %71) %1094)
%1113 = (/.f64 (*.f64 %900 z) %1097)
%1115 = (/.f64 (*.f64 %903 #s(literal 2 binary64)) %1100)
%1117 = (/.f64 (*.f64 %903 %71) %1103)
%1119 = (/.f64 (*.f64 %903 z) %1106)
%1121 = (/.f64 (*.f64 %7 #s(literal 2 binary64)) %289)
%1122 = (*.f64 %7 %71)
%1123 = (/.f64 %1122 %291)
%1125 = (/.f64 (*.f64 %770 #s(literal 2 binary64)) %296)
%1127 = (/.f64 (*.f64 %770 %71) %298)
%1129 = (/.f64 (*.f64 %770 z) %300)
%1131 = (/.f64 (*.f64 %763 #s(literal 2 binary64)) %302)
%1133 = (/.f64 (*.f64 %763 %71) %304)
%1135 = (/.f64 (*.f64 %763 z) %306)
%1138 = (/.f64 (*.f64 %614 #s(literal 2 binary64)) (*.f64 %27 #s(literal 2 binary64)))
%1139 = (*.f64 %614 %71)
%1141 = (/.f64 %1139 (*.f64 %27 %71))
%1144 = (/.f64 (*.f64 %317 #s(literal 2 binary64)) (*.f64 %5 #s(literal 2 binary64)))
%1147 = (/.f64 (*.f64 %317 %71) (*.f64 %5 %71))
%1150 = (/.f64 (*.f64 %317 z) (*.f64 %5 z))
%1152 = (/.f64 (*.f64 %2 #s(literal 2 binary64)) %1070)
%1154 = (/.f64 (*.f64 #s(literal 2 binary64) %598) %540)
%1156 = (/.f64 (*.f64 #s(literal 2 binary64) %868) %540)
%1158 = (/.f64 (*.f64 #s(literal 2 binary64) %881) %540)
%1160 = (*.f64 #s(literal 2 binary64) %885)
%1161 = (/.f64 (*.f64 #s(literal 2 binary64) %884) %1160)
%1163 = (*.f64 #s(literal 2 binary64) %890)
%1164 = (/.f64 (*.f64 #s(literal 2 binary64) %889) %1163)
%1166 = (/.f64 (*.f64 #s(literal 2 binary64) %900) %1160)
%1168 = (/.f64 (*.f64 #s(literal 2 binary64) %903) %1163)
%1170 = (/.f64 (*.f64 #s(literal 2 binary64) %770) %519)
%1172 = (/.f64 (*.f64 #s(literal 2 binary64) %763) %521)
%1174 = (/.f64 (*.f64 #s(literal 2 binary64) %614) %530)
%1176 = (/.f64 (*.f64 %71 %598) %525)
%1178 = (/.f64 (*.f64 %71 %868) %525)
%1180 = (/.f64 (*.f64 %71 %881) %525)
%1182 = (*.f64 %71 %885)
%1183 = (/.f64 (*.f64 %71 %884) %1182)
%1185 = (*.f64 %71 %890)
%1186 = (/.f64 (*.f64 %71 %889) %1185)
%1188 = (/.f64 (*.f64 %71 %900) %1182)
%1190 = (/.f64 (*.f64 %71 %903) %1185)
%1192 = (/.f64 (*.f64 %71 %770) %535)
%1194 = (/.f64 (*.f64 %71 %763) %523)
%1195 = (*.f64 %71 %614)
%1196 = (/.f64 %1195 %331)
%1199 = (/.f64 (*.f64 %71 %317) (*.f64 %71 %5))
%1201 = (/.f64 (*.f64 z %598) %551)
%1203 = (/.f64 (*.f64 z %868) %551)
%1205 = (/.f64 (*.f64 z %881) %551)
%1207 = (*.f64 z %885)
%1208 = (/.f64 (*.f64 z %884) %1207)
%1210 = (*.f64 z %890)
%1211 = (/.f64 (*.f64 z %889) %1210)
%1213 = (/.f64 (*.f64 z %900) %1207)
%1215 = (/.f64 (*.f64 z %903) %1210)
%1217 = (/.f64 (*.f64 z %770) %532)
%1218 = (*.f64 z %763)
%1219 = (/.f64 %1218 %537)
%1222 = (/.f64 (*.f64 z %317) (*.f64 z %5))
%1224 = (/.f64 (*.f64 #s(literal 2 binary64) %7) %527)
%1226 = (/.f64 (*.f64 #s(literal 2 binary64) %2) %540)
%1227 = (*.f64 %71 %7)
%1228 = (/.f64 %1227 %549)
%1229 = (/.f64 %102 %763)
%1231 = (/.f64 %292 (*.f64 %1229 %71))
%1233 = (/.f64 %428 (*.f64 %71 %935))
%1235 = (/.f64 (neg.f64 %881) %125)
%1237 = (/.f64 (neg.f64 %884) %890)
%1239 = (/.f64 (neg.f64 %889) %885)
%1241 = (/.f64 (neg.f64 %900) %890)
%1243 = (/.f64 (neg.f64 %903) %885)
%1244 = (*.f64 #s(literal -1 binary64) %2)
%1245 = (/.f64 %1244 %125)
%1246 = (/.f64 %596 %125)
%1247 = (/.f64 %598 %128)
%1248 = (/.f64 %868 %128)
%1249 = (/.f64 %716 %41)
%1251 = (/.f64 #s(literal -2 binary64) (*.f64 %1229 #s(literal 2 binary64)))
%1253 = (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %1229))
%1254 = (/.f64 %359 %838)
%1255 = (/.f64 %881 %128)
%1256 = (/.f64 %884 %885)
%1257 = (/.f64 %889 %890)
%1259 = (/.f64 %894 (*.f64 #s(literal 2 binary64) %5))
%1260 = (/.f64 %900 %885)
%1261 = (/.f64 %903 %890)
%1263 = (/.f64 #s(literal 2 binary64) (*.f64 %935 #s(literal 2 binary64)))
%1265 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %935))
%1267 = (/.f64 %71 (*.f64 %1229 z))
%1269 = (/.f64 %71 (*.f64 %935 %71))
%1271 = (/.f64 %71 (*.f64 z %1229))
%1272 = (/.f64 %102 %2)
%1273 = (/.f64 %71 %1272)
%1274 = (/.f64 %7 %125)
%1275 = (/.f64 %770 %1073)
%1276 = (/.f64 %770 %525)
%1277 = (/.f64 %770 %543)
%1278 = (/.f64 %770 %294)
%1279 = (/.f64 %770 %102)
%1281 = (/.f64 %909 (*.f64 %27 z))
%1282 = (/.f64 %909 #s(literal 1 binary64))
%1283 = (/.f64 %763 %1076)
%1284 = (/.f64 %763 %551)
%1285 = (/.f64 %763 %99)
%1286 = (/.f64 %614 %27)
%1287 = (/.f64 %317 %5)
%1288 = (/.f64 %2 %128)
%1289 = (/.f64 #s(literal -1 binary64) %1229)
%1291 = (/.f64 z (*.f64 %935 z))
%1293 = (/.f64 z (*.f64 %71 %1229))
%1295 = (/.f64 z (*.f64 z %935))
%1296 = (/.f64 z %700)
%1298 = (/.f64 #s(literal 1 binary64) (/.f64 %128 %598))
%1300 = (/.f64 #s(literal 1 binary64) (/.f64 %128 %868))
%1302 = (/.f64 #s(literal 1 binary64) (/.f64 %128 %881))
%1304 = (/.f64 #s(literal 1 binary64) (/.f64 %885 %884))
%1306 = (/.f64 #s(literal 1 binary64) (/.f64 %890 %889))
%1308 = (/.f64 #s(literal 1 binary64) (/.f64 %885 %900))
%1310 = (/.f64 #s(literal 1 binary64) (/.f64 %890 %903))
%1312 = (/.f64 #s(literal 1 binary64) (/.f64 %27 %614))
%1314 = (/.f64 #s(literal 1 binary64) (/.f64 %5 %317))
%1316 = (/.f64 #s(literal 1 binary64) (/.f64 %1229 #s(literal -1 binary64)))
%1318 = (/.f64 #s(literal 1 binary64) (pow.f64 %909 #s(literal -1 binary64)))
%1320 = (/.f64 #s(literal 1 binary64) (/.f64 %935 #s(literal 1 binary64)))
%1321 = (/.f64 #s(literal 1 binary64) %935)
%1323 = (neg.f64 (*.f64 %929 #s(literal 1 binary64)))
%1325 = (neg.f64 (*.f64 %716 z))
%1327 = (neg.f64 (*.f64 %909 #s(literal -1 binary64)))
%1329 = (neg.f64 (*.f64 z %716))
%1331 = (neg.f64 (/.f64 %716 %27))
%1332 = (neg.f64 %927)
%1334 = (neg.f64 (/.f64 %598 %125))
%1336 = (neg.f64 (/.f64 %868 %125))
%1338 = (neg.f64 (/.f64 %881 %125))
%1340 = (neg.f64 (/.f64 %614 %41))
%1342 = (neg.f64 (/.f64 %317 %838))
%1343 = (neg.f64 %1139)
%1344 = (neg.f64 %1195)
%1345 = (neg.f64 %929)
%1346 = (/.f64 #s(literal 0 binary64) %935)
%1347 = (fma.f64 %801 %802 %1346)
%1348 = (fma.f64 %804 %510 %1346)
%1349 = (fma.f64 %806 %487 %1346)
%1350 = (fma.f64 %808 %510 %1346)
%1351 = (fma.f64 %810 %487 %1346)
%1352 = (fma.f64 %812 %348 %1346)
%1353 = (fma.f64 %814 %495 %1346)
%1354 = (fma.f64 %816 %818 %1346)
%1355 = (fma.f64 %820 %821 %1346)
%1356 = (fma.f64 %823 %824 %1346)
%1357 = (fma.f64 %826 %827 %1346)
%1358 = (fma.f64 %826 %829 %1346)
%1359 = (fma.f64 %831 %812 %1346)
%1360 = (fma.f64 %831 %833 %1346)
%1361 = (fma.f64 %833 %835 %1346)
%1362 = (fma.f64 %837 %839 %1346)
%1363 = (fma.f64 %841 %842 %1346)
%1364 = (fma.f64 %462 %844 %1346)
%1365 = (fma.f64 %466 %846 %1346)
%1366 = (fma.f64 %848 %849 %1346)
%1367 = (fma.f64 %851 %852 %1346)
%1368 = (fma.f64 %347 %348 %938)
%1369 = (fma.f64 %347 %348 %950)
%1370 = (fma.f64 %356 %614 %1346)
%1371 = (fma.f64 %855 %856 %1346)
%1372 = (fma.f64 %858 %499 %1346)
%1373 = (fma.f64 %860 %856 %1346)
%1374 = (fma.f64 %860 %862 %1346)
%1375 = (fma.f64 %864 %865 %1346)
%1376 = (fma.f64 %350 %317 %938)
%1377 = (fma.f64 %350 %317 %950)
%1378 = (fma.f64 %598 %317 %1346)
%1379 = (fma.f64 %868 %317 %1346)
%1380 = (fma.f64 %473 %870 %1346)
%1381 = (fma.f64 %499 %858 %1346)
%1382 = (fma.f64 #s(literal -1/2 binary64) %873 %1346)
%1383 = (fma.f64 %716 %71 %1346)
%1384 = (fma.f64 %359 %876 %1346)
%1385 = (fma.f64 %359 %7 %1346)
%1386 = (fma.f64 %879 %317 %1346)
%1387 = (fma.f64 %881 %317 %1346)
%1388 = (fma.f64 %884 %886 %1346)
%1389 = (fma.f64 %889 %891 %1346)
%1390 = (fma.f64 %352 %71 %938)
%1391 = (fma.f64 %352 %71 %950)
%1392 = (fma.f64 %893 %894 %1346)
%1393 = (fma.f64 %894 %893 %1346)
%1394 = (fma.f64 %492 %897 %1346)
%1395 = (fma.f64 %900 %886 %1346)
%1396 = (fma.f64 %903 %891 %1346)
%1397 = (fma.f64 %10 %317 %938)
%1398 = (fma.f64 %10 %317 %950)
%1399 = (fma.f64 #s(literal 1/2 binary64) %905 %1346)
%1400 = (fma.f64 #s(literal 1/2 binary64) %909 %910)
%1401 = (fma.f64 #s(literal 2 binary64) %907 %1346)
%1402 = (fma.f64 #s(literal 2 binary64) %910 %1346)
%1403 = (fma.f64 %774 %348 %947)
%1404 = (/.f64 %774 %99)
%1405 = (fma.f64 %120 %348 %1404)
%1406 = (fma.f64 %444 %912 %1346)
%1407 = (fma.f64 %355 %356 %938)
%1408 = (fma.f64 %355 %356 %950)
%1409 = (fma.f64 %355 z %938)
%1410 = (fma.f64 %355 z %950)
%1411 = (fma.f64 %600 z %358)
%1412 = (fma.f64 %9 %359 %938)
%1413 = (fma.f64 %9 %359 %950)
%1414 = (fma.f64 %14 %359 %358)
%1415 = (fma.f64 %7 %359 %1346)
%1416 = (fma.f64 %770 %444 %1346)
%1417 = (fma.f64 %909 #s(literal 1 binary64) %1346)
%1418 = (fma.f64 %763 %348 %1346)
%1419 = (fma.f64 %348 %812 %1346)
%1420 = (*.f64 %348 %774)
%1421 = (fma.f64 %348 %120 %1420)
%1422 = (fma.f64 %348 %763 %1346)
%1423 = (fma.f64 %614 %356 %1346)
%1424 = (fma.f64 %614 z %1346)
%1425 = (fma.f64 %317 %921 %1346)
%1426 = (fma.f64 %317 %923 %1346)
%1427 = (fma.f64 %317 %2 %1346)
%1428 = (fma.f64 %317 y %358)
%1429 = (fma.f64 %317 x %938)
%1430 = (fma.f64 %317 x %950)
%1431 = (fma.f64 %2 %317 %1346)
%1432 = (fma.f64 #s(literal -1 binary64) %927 %1346)
%1433 = (fma.f64 #s(literal -1 binary64) %929 %1346)
%1434 = (*.f64 z %355)
%1435 = (fma.f64 z %600 %1434)
%1436 = (fma.f64 z %614 %1346)
%1437 = (fma.f64 #s(literal 1 binary64) %932 %1346)
%1438 = (fma.f64 #s(literal 1 binary64) %909 %1346)
%1439 = (fma.f64 y %317 %358)
%1440 = (fma.f64 x %317 %938)
%1441 = (fma.f64 x %317 %950)
%1442 = (/.f64 %355 %27)
%1444 = (-.f64 %1442 (/.f64 %722 %27))
%1445 = (/.f64 %600 %27)
%1447 = (-.f64 %1445 (/.f64 %352 %27))
%1448 = (*.f64 %348 %120)
%1450 = (-.f64 %1448 (*.f64 %444 %774))
%1452 = (-.f64 %1448 (neg.f64 %1420))
%1453 = (-.f64 %938 %385)
%1454 = (-.f64 %938 %387)
%1455 = (*.f64 %10 %359)
%1456 = (-.f64 %938 %1455)
%1457 = (-.f64 %938 %389)
%1458 = (*.f64 z %600)
%1460 = (-.f64 %1458 (*.f64 %71 %355))
%1462 = (-.f64 %1458 (neg.f64 %1434))
%1464 = (-.f64 %947 (*.f64 %784 %348))
%1466 = (-.f64 %947 (neg.f64 %1404))
%1468 = (-.f64 %947 (/.f64 %784 %99))
%1469 = (-.f64 %950 %385)
%1470 = (-.f64 %950 %387)
%1471 = (-.f64 %950 %1455)
%1472 = (-.f64 %950 %389)
%1474 = (-.f64 %358 (*.f64 %359 y))
%1476 = (-.f64 %358 (*.f64 %722 z))
%1478 = (-.f64 %358 (neg.f64 %938))
%1480 = (-.f64 %358 (*.f64 y %359))
%1483 = (+.f64 (/.f64 (*.f64 %358 %128) %128) %950)
%1484 = (/.f64 %985 %885)
%1486 = (+.f64 %1484 (/.f64 %883 %885))
%1488 = (+.f64 %1484 (/.f64 %899 %885))
%1489 = (/.f64 %989 %890)
%1491 = (+.f64 %1489 (/.f64 %888 %890))
%1493 = (+.f64 %1489 (/.f64 %902 %890))
%1496 = (+.f64 (/.f64 %786 %102) (/.f64 %788 %102))
%1499 = (+.f64 (/.f64 %791 %102) (/.f64 %793 %102))
%1500 = (+.f64 %1442 %1445)
%1501 = (+.f64 %1445 %1442)
%1502 = (+.f64 %910 %910)
%1503 = (+.f64 %1448 %1420)
%1504 = (+.f64 %938 %358)
%1505 = (+.f64 %1458 %1434)
%1506 = (+.f64 %1404 %947)
%1507 = (+.f64 %947 %1404)
%1508 = (+.f64 %950 %358)
%1509 = (+.f64 %909 %1346)
%1510 = (+.f64 %358 %938)
%1511 = (+.f64 %358 %950)
%1542 = (*.f64 %763 %763)
%1611 = (/.f64 #s(literal 2 binary64) %2)
%1612 = (/.f64 %45 z)
%1613 = (/.f64 %66 %2)
%1614 = (neg.f64 %1613)
%1616 = (/.f64 %66 %7)
%1618 = (/.f64 y %770)
%1620 = (/.f64 %62 %2)
%1622 = (/.f64 %14 %763)
%1624 = (/.f64 #s(literal 2 binary64) z)
%1625 = (/.f64 %45 %2)
%1631 = (/.f64 z %2)
%1689 = (/.f64 x %399)
%1690 = (fma.f64 %1689 %399 y)
%1692 = (*.f64 y %399)
%1693 = (fma.f64 x %399 %1692)
%1694 = (*.f64 %399 %399)
%1695 = (/.f64 #s(literal 1 binary64) %1694)
%1697 = (*.f64 %399 y)
%1698 = (fma.f64 x %399 %1697)
%1701 = (/.f64 #s(literal -1 binary64) %399)
%1704 = (/.f64 %2 %399)
%1706 = (/.f64 y %399)
%1707 = (neg.f64 %399)
%1722 = (*.f64 %1707 %399)
%1724 = (*.f64 %9 %399)
%1726 = (*.f64 %399 %1707)
%1728 = (*.f64 x %399)
%1737 = (*.f64 %14 %399)
%1740 = (*.f64 %1707 %9)
%1746 = (*.f64 %399 %9)
%1752 = (*.f64 %1707 %14)
%1758 = (*.f64 %399 %14)
%1772 = (neg.f64 %1694)
%1781 = (neg.f64 %1707)
%1808 = (/.f64 %15 %399)
%1811 = (/.f64 %10 %399)
%1818 = (/.f64 y %1781)
%1821 = (/.f64 x %1781)
%1822 = (/.f64 %14 %399)
%1832 = (/.f64 %1728 %1694)
%1849 = (*.f64 %343 #s(literal 1 binary64))
%1851 = (/.f64 %343 %99)
%1854 = (neg.f64 %343)
%1855 = (neg.f64 %1854)
%1858 = (*.f64 %317 %343)
x
y
%4
%6
%8
%12
%13
%17
%18
%19
%20
%21
%2
%22
%23
#s(literal 1 binary64)
z
(*.f64 (/.f64 %14 #s(literal -2 binary64)) %29)
(*.f64 (/.f64 %14 #s(literal 2 binary64)) %34)
(*.f64 (/.f64 %14 #s(literal 1 binary64)) %38)
(*.f64 (/.f64 y #s(literal -2 binary64)) %42)
(*.f64 %44 %46)
(*.f64 %44 %48)
(*.f64 %50 %51)
(*.f64 %53 %27)
(*.f64 %55 %56)
(*.f64 %55 %58)
(*.f64 %55 %27)
(*.f64 %15 %27)
(*.f64 %62 #s(literal -1 binary64))
(*.f64 %27 y)
(*.f64 %14 %41)
(*.f64 %66 #s(literal 1 binary64))
(*.f64 y %27)
(pow.f64 %66 #s(literal 1 binary64))
(/.f64 (neg.f64 %53) %71)
(/.f64 (neg.f64 %55) %71)
(/.f64 %16 %71)
(/.f64 %53 z)
(/.f64 %55 z)
(/.f64 %15 z)
(/.f64 %62 #s(literal -1 binary64))
(/.f64 %14 %71)
(/.f64 %66 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 z %53))
(/.f64 #s(literal 1 binary64) (/.f64 z %55))
(/.f64 #s(literal 1 binary64) (/.f64 z %15))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %62))
(/.f64 #s(literal 1 binary64) (/.f64 %71 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %66 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
%66
(neg.f64 %96)
(neg.f64 %62)
%101
%104
%106
%108
%110
%111
%113
%118
%123
%124
%126
%127
%129
%130
%131
%132
%133
%135
%137
%139
%142
%146
%149
%153
%155
%157
%159
%162
%165
%168
%171
%174
%177
%180
%182
%184
%186
%188
%190
%192
%194
%196
%198
%200
%202
%205
%208
%211
%214
%217
%220
%222
%224
%226
%229
%232
%234
%237
%239
%241
%244
%247
%249
%252
%254
%257
%260
%263
%265
%268
%270
%273
%276
%279
%282
%285
%288
%290
%293
%295
%297
%299
%301
%303
%305
%307
%309
%311
%312
%313
%314
%315
%316
%128
%318
%320
%322
%324
%326
%327
%328
%329
%330
%332
%333
%335
%337
%338
%339
%340
%341
(pow.f64 %343 #s(literal 1 binary64))
%343
(/.f64 #s(literal 1 binary64) (pow.f64 %343 #s(literal -1 binary64)))
(*.f64 %347 %348)
(*.f64 %350 %317)
(*.f64 %352 %71)
(*.f64 %10 %317)
(*.f64 %355 %356)
%358
(*.f64 %9 %359)
(*.f64 %317 x)
(*.f64 x %317)
(pow.f64 %358 #s(literal 1 binary64))
(/.f64 (neg.f64 %350) %125)
(/.f64 %11 %125)
(/.f64 %350 %128)
(/.f64 %10 %128)
(/.f64 %9 %125)
(/.f64 #s(literal 1 binary64) (/.f64 %128 %350))
(/.f64 #s(literal 1 binary64) (/.f64 %128 %10))
(/.f64 #s(literal 1 binary64) (/.f64 %125 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %358 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %128 x))
(/.f64 x %128)
(neg.f64 (*.f64 %355 %71))
(neg.f64 (/.f64 %350 %125))
(neg.f64 %385)
(neg.f64 %387)
(neg.f64 %389)
(pow.f64 %394 #s(literal 1 binary64))
%394
(/.f64 #s(literal 1 binary64) (pow.f64 %394 #s(literal -1 binary64)))
#s(literal -1 binary64)
(pow.f64 %399 #s(literal 1 binary64))
%399
(/.f64 #s(literal 1 binary64) %401)
(*.f64 #s(literal -1 binary64) z)
(*.f64 z #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %71)
(pow.f64 %71 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %41)
(neg.f64 %292)
%71
(pow.f64 %409 #s(literal 1 binary64))
%409
(/.f64 #s(literal 1 binary64) (pow.f64 %409 #s(literal -1 binary64)))
(*.f64 %102 #s(literal -1 binary64))
(*.f64 %99 #s(literal 1 binary64))
(pow.f64 %99 #s(literal 1 binary64))
(/.f64 %102 #s(literal -1 binary64))
(/.f64 %99 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %348)
(neg.f64 %100)
(neg.f64 %420)
(neg.f64 %112)
(neg.f64 %102)
(-.f64 %50 (/.f64 z #s(literal -1 binary64)))
(-.f64 %14 %426)
(-.f64 %14 %428)
(-.f64 %14 %71)
(-.f64 z %15)
%99
(+.f64 %432 %433)
(+.f64 %432 %50)
(+.f64 %50 %432)
(+.f64 %14 z)
(+.f64 z %433)
(+.f64 z %50)
(+.f64 z %16)
(+.f64 z %14)
%101
%104
%106
%108
%110
%111
%113
%118
%123
%124
%126
%127
%129
%130
%131
%132
%133
%135
%137
%139
%142
%146
%149
%153
%155
%157
%159
%162
%165
%168
%171
%174
%177
%180
%182
%184
%186
%188
%190
%192
%194
%196
%198
%200
%202
%205
%208
%211
%214
%217
%220
%222
%224
%226
%229
%232
%234
%237
%239
%241
%244
%247
%249
%252
%254
%257
%260
%263
%265
%268
%270
%273
%276
%279
%282
%285
%288
%290
%293
%295
%297
%299
%301
%303
%305
%307
%309
%311
%312
%313
%314
%315
%316
%128
%318
%320
%322
%324
%326
%327
%328
%329
%330
%332
%333
%335
%337
%338
%339
%340
%341
%4
%6
%8
%12
%13
%17
%18
%19
%20
%21
%2
%22
%23
(*.f64 %102 #s(literal 1 binary64))
(pow.f64 %102 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %444)
(neg.f64 %99)
(fma.f64 #s(literal -1 binary64) z %15)
(fma.f64 #s(literal -1 binary64) z y)
(fma.f64 z #s(literal -1 binary64) %15)
(fma.f64 z #s(literal -1 binary64) y)
(fma.f64 #s(literal 1 binary64) %71 %15)
(fma.f64 #s(literal 1 binary64) %71 y)
(-.f64 %15 z)
(-.f64 %71 %16)
(-.f64 %71 %14)
%102
(+.f64 %15 %71)
(+.f64 %71 %15)
(+.f64 %71 y)
(+.f64 y %426)
(+.f64 y %428)
(+.f64 y %71)
(*.f64 %462 %464)
(*.f64 %466 %467)
(*.f64 %469 %470)
(*.f64 %472 %473)
(*.f64 %475 %476)
(*.f64 %475 %478)
(*.f64 %356 %348)
(*.f64 %481 %478)
(*.f64 %473 %472)
(*.f64 %484 %485)
(*.f64 #s(literal -1/2 binary64) %487)
(*.f64 %359 %489)
(*.f64 %491 %492)
(*.f64 %492 %491)
(*.f64 #s(literal 1/2 binary64) %495)
(*.f64 #s(literal 2 binary64) %497)
(*.f64 #s(literal 2 binary64) %499)
(*.f64 %444 %467)
(*.f64 %444 %71)
(*.f64 %71 %444)
(*.f64 %348 %504)
(*.f64 %348 %356)
(*.f64 %348 z)
(*.f64 %317 %508)
(*.f64 #s(literal -1 binary64) %510)
(*.f64 #s(literal -1 binary64) %359)
(*.f64 z %348)
(*.f64 #s(literal 1 binary64) %514)
(*.f64 #s(literal 1 binary64) %317)
(pow.f64 %317 #s(literal 1 binary64))
(pow.f64 %128 #s(literal -1 binary64))
(/.f64 %143 %519)
(/.f64 %150 %521)
(/.f64 %148 %523)
(/.f64 %428 %525)
(/.f64 #s(literal -2 binary64) %527)
(/.f64 %359 %331)
(/.f64 %492 %530)
(/.f64 %114 %532)
(/.f64 %114 %116)
(/.f64 %119 %535)
(/.f64 %119 %537)
(/.f64 %119 %121)
(/.f64 #s(literal 2 binary64) %540)
(/.f64 %444 %41)
(/.f64 %71 %543)
(/.f64 %71 %102)
(/.f64 %348 %27)
(/.f64 %317 #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) %125)
(/.f64 z %549)
(/.f64 z %551)
%317
(/.f64 #s(literal 1 binary64) (/.f64 %27 %348))
(/.f64 #s(literal 1 binary64) (pow.f64 %317 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %128)
(neg.f64 (/.f64 %348 %41))
(neg.f64 %510)
(neg.f64 %359)
(fma.f64 %462 %464 %563)
(fma.f64 %466 %467 %563)
(fma.f64 %469 %470 %563)
(fma.f64 %472 %473 %563)
(fma.f64 %475 %476 %563)
(fma.f64 %475 %478 %563)
(fma.f64 %356 %348 %563)
(fma.f64 %481 %478 %563)
(fma.f64 %473 %472 %563)
(fma.f64 %484 %485 %563)
(fma.f64 #s(literal -1/2 binary64) %487 %563)
(fma.f64 %359 %489 %563)
(fma.f64 %491 %492 %563)
(fma.f64 %492 %491 %563)
(fma.f64 #s(literal 1/2 binary64) %495 %563)
(fma.f64 #s(literal 1/2 binary64) %317 %499)
(fma.f64 #s(literal 2 binary64) %497 %563)
(fma.f64 #s(literal 2 binary64) %499 %563)
(fma.f64 %444 %467 %563)
(fma.f64 %444 %71 %563)
(fma.f64 %71 %444 %563)
(fma.f64 %348 %504 %563)
(fma.f64 %348 %356 %563)
(fma.f64 %348 z %563)
(fma.f64 %317 %508 %563)
(fma.f64 #s(literal -1 binary64) %510 %563)
(fma.f64 #s(literal -1 binary64) %359 %563)
(fma.f64 z %348 %563)
(fma.f64 #s(literal 1 binary64) %514 %563)
(fma.f64 #s(literal 1 binary64) %317 %563)
(+.f64 %499 %499)
(+.f64 %317 %563)
(*.f64 %596 %444)
(*.f64 %598 %348)
(*.f64 %601 %348)
(*.f64 %604 %606)
(*.f64 %609 %606)
(*.f64 %7 %444)
(*.f64 %348 %2)
(*.f64 %2 %348)
(pow.f64 %614 #s(literal 1 binary64))
(/.f64 (fma.f64 %355 %102 %14) %102)
(/.f64 (fma.f64 %355 %99 y) %99)
(/.f64 (fma.f64 %600 %102 %9) %102)
(/.f64 (-.f64 (*.f64 %355 %99) %14) %99)
(/.f64 (fma.f64 %9 %102 (*.f64 %14 %102)) %605)
(/.f64 (fma.f64 %9 %99 (*.f64 y %102)) %630)
(/.f64 (fma.f64 x %102 %632) %634)
(/.f64 (fma.f64 x %99 %636) %605)
(/.f64 (fma.f64 %14 %102 (*.f64 %9 %102)) %605)
(/.f64 (fma.f64 %14 %99 (*.f64 x %102)) %630)
(/.f64 (fma.f64 y %102 %645) %634)
(/.f64 (fma.f64 %9 %102 %648) %605)
(/.f64 (fma.f64 %9 %99 (*.f64 %102 y)) %630)
(/.f64 (fma.f64 x %102 %654) %634)
(/.f64 (fma.f64 x %99 (*.f64 %99 y)) %605)
(/.f64 (fma.f64 %14 %102 %660) %605)
(/.f64 (fma.f64 %14 %99 (*.f64 %102 x)) %630)
(/.f64 (fma.f64 y %102 %666) %634)
(/.f64 (-.f64 %645 %648) %630)
(/.f64 (-.f64 %603 %654) %605)
(/.f64 (-.f64 %632 %660) %630)
(/.f64 (-.f64 %636 %666) %605)
(/.f64 (neg.f64 %601) %102)
(/.f64 (neg.f64 %604) %680)
(/.f64 (neg.f64 %609) %680)
(/.f64 %596 %102)
(/.f64 %598 %99)
(/.f64 %601 %99)
(/.f64 %604 %605)
(/.f64 %609 %605)
(/.f64 %7 %102)
%614
(/.f64 #s(literal 1 binary64) (/.f64 %102 %596))
(/.f64 #s(literal 1 binary64) (/.f64 %99 %598))
(/.f64 #s(literal 1 binary64) (/.f64 %99 %601))
(/.f64 #s(literal 1 binary64) (/.f64 %605 %604))
(/.f64 #s(literal 1 binary64) (/.f64 %605 %609))
(/.f64 #s(literal 1 binary64) %700)
(/.f64 #s(literal 1 binary64) (pow.f64 %614 #s(literal -1 binary64)))
(neg.f64 (*.f64 %444 %2))
(neg.f64 (*.f64 %596 %348))
(neg.f64 (*.f64 %348 %7))
(neg.f64 (/.f64 %596 %99))
(neg.f64 (/.f64 %598 %102))
(neg.f64 (/.f64 %601 %102))
(neg.f64 %716)
(fma.f64 %9 %444 %600)
(fma.f64 %14 %444 %355)
(fma.f64 y %348 %355)
(fma.f64 x %348 %600)
(-.f64 %355 %722)
(-.f64 %600 %352)
(+.f64 (/.f64 (*.f64 %600 %99) %99) %355)
(+.f64 %728 (/.f64 %603 %605))
(+.f64 %728 (/.f64 %608 %605))
(+.f64 %355 %600)
(+.f64 %600 %355)
(*.f64 #s(literal 2 binary64) %473)
(*.f64 %444 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %444)
(*.f64 #s(literal 1 binary64) %348)
(pow.f64 %348 #s(literal 1 binary64))
(pow.f64 %99 #s(literal -1 binary64))
(/.f64 %428 %523)
(/.f64 #s(literal -2 binary64) %519)
(/.f64 #s(literal 2 binary64) %521)
(/.f64 %71 %532)
%348
(/.f64 z %535)
(/.f64 z %537)
(/.f64 #s(literal 1 binary64) (pow.f64 %348 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %99)
(neg.f64 (*.f64 %348 #s(literal -1 binary64)))
(neg.f64 (*.f64 %444 #s(literal 1 binary64)))
(neg.f64 %444)
(fma.f64 #s(literal 1/2 binary64) %348 %473)
(fma.f64 #s(literal 2 binary64) %473 %756)
(fma.f64 %444 #s(literal -1 binary64) %756)
(fma.f64 #s(literal -1 binary64) %444 %756)
(fma.f64 #s(literal 1 binary64) %348 %756)
(+.f64 %473 %473)
(+.f64 %348 %756)
(*.f64 %763 #s(literal 1 binary64))
%763
(*.f64 z %2)
(*.f64 #s(literal 1 binary64) %763)
(pow.f64 %763 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %768)
(neg.f64 %770)
(fma.f64 z y %772)
(fma.f64 z y %774)
(fma.f64 z x %120)
(fma.f64 y z %772)
(fma.f64 y z %774)
(fma.f64 x z %120)
(-.f64 %774 %255)
(-.f64 %774 (*.f64 %14 z))
(-.f64 %774 %115)
(-.f64 %120 %784)
(+.f64 (neg.f64 %786) (neg.f64 %788))
(+.f64 (neg.f64 %791) (neg.f64 %793))
(+.f64 (neg.f64 %115) %774)
(+.f64 %774 %120)
(+.f64 %120 %772)
(+.f64 %120 %774)
%803
%805
%807
%809
%811
%813
%815
%819
%822
%825
%828
%830
%832
%834
%836
%840
%843
%845
%847
%850
%853
%854
%857
%859
%861
%863
%866
%867
%869
%871
%872
%874
%875
%877
%878
%880
%882
%887
%892
%895
%896
%898
%901
%904
%906
%908
%911
%913
%914
%915
%916
%917
%918
%919
%920
%909
%922
%924
%925
%926
%928
%930
%931
%933
%934
%936
%937
%940
%942
%944
%946
%949
%952
%954
%956
%958
%960
%963
%966
%969
%972
%975
%978
%981
%984
%988
%991
%994
%996
%998
%1000
%1003
%1005
%1007
%1009
%1011
%1013
%1015
%1018
%1021
%1024
%1027
%1030
%1033
%1036
%1039
%1042
%1045
%1047
%1049
%1051
%1054
%1056
%1058
%1060
%1062
%1064
%1066
%1068
%1071
%1074
%1077
%1079
%1081
%1083
%1085
%1087
%1089
%1092
%1095
%1098
%1101
%1104
%1107
%1109
%1111
%1113
%1115
%1117
%1119
%1121
%1123
%1125
%1127
%1129
%1131
%1133
%1135
%1138
%1141
%1144
%1147
%1150
%1152
%1154
%1156
%1158
%1161
%1164
%1166
%1168
%1170
%1172
%1174
%1176
%1178
%1180
%1183
%1186
%1188
%1190
%1192
%1194
%1196
%1199
%1201
%1203
%1205
%1208
%1211
%1213
%1215
%1217
%1219
%1222
%1224
%1226
%1228
%1231
%1233
%1235
%1237
%1239
%1241
%1243
%1245
%1246
%1247
%1248
%1249
%1251
%1253
%1254
%1255
%1256
%1257
%1259
%1260
%1261
%1263
%1265
%1267
%1269
%1271
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1291
%1293
%1295
%1296
%1298
%1300
%1302
%1304
%1306
%1308
%1310
%1312
%1314
%1316
%1318
%1320
%1321
%1323
%1325
%1327
%1329
%1331
%1332
%1334
%1336
%1338
%1340
%1342
%1343
%1344
%1345
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
%1374
%1375
%1376
%1377
%1378
%1379
%1380
%1381
%1382
%1383
%1384
%1385
%1386
%1387
%1388
%1389
%1390
%1391
%1392
%1393
%1394
%1395
%1396
%1397
%1398
%1399
%1400
%1401
%1402
%1403
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1421
%1422
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1444
%1447
%1450
%1452
%1453
%1454
%1456
%1457
%1460
%1462
%1464
%1466
%1468
%1469
%1470
%1471
%1472
%1474
%1476
%1478
%1480
%1483
%1486
%1488
%1491
%1493
%1496
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
%803
%805
%807
%809
%811
%813
%815
%819
%822
%825
%828
%830
%832
%834
%836
%840
%843
%845
%847
%850
%853
%854
%857
%859
%861
%863
%866
%867
%869
%871
%872
%874
%875
%877
%878
%880
%882
%887
%892
%895
%896
%898
%901
%904
%906
%908
%911
%913
%914
%915
%916
%917
%918
%919
%920
%909
%922
%924
%925
%926
%928
%930
%931
%933
%934
%936
%937
%940
%942
%944
%946
%949
%952
%954
%956
%958
%960
%963
%966
%969
%972
%975
%978
%981
%984
%988
%991
%994
%996
%998
%1000
%1003
%1005
%1007
%1009
%1011
%1013
%1015
%1018
%1021
%1024
%1027
%1030
%1033
%1036
%1039
%1042
%1045
%1047
%1049
%1051
%1054
%1056
%1058
%1060
%1062
%1064
%1066
%1068
%1071
%1074
%1077
%1079
%1081
%1083
%1085
%1087
%1089
%1092
%1095
%1098
%1101
%1104
%1107
%1109
%1111
%1113
%1115
%1117
%1119
%1121
%1123
%1125
%1127
%1129
%1131
%1133
%1135
%1138
%1141
%1144
%1147
%1150
%1152
%1154
%1156
%1158
%1161
%1164
%1166
%1168
%1170
%1172
%1174
%1176
%1178
%1180
%1183
%1186
%1188
%1190
%1192
%1194
%1196
%1199
%1201
%1203
%1205
%1208
%1211
%1213
%1215
%1217
%1219
%1222
%1224
%1226
%1228
%1231
%1233
%1235
%1237
%1239
%1241
%1243
%1245
%1246
%1247
%1248
%1249
%1251
%1253
%1254
%1255
%1256
%1257
%1259
%1260
%1261
%1263
%1265
%1267
%1269
%1271
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1291
%1293
%1295
%1296
%1298
%1300
%1302
%1304
%1306
%1308
%1310
%1312
%1314
%1316
%1318
%1320
%1321
%1323
%1325
%1327
%1329
%1331
%1332
%1334
%1336
%1338
%1340
%1342
%1343
%1344
%1345
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
%1374
%1375
%1376
%1377
%1378
%1379
%1380
%1381
%1382
%1383
%1384
%1385
%1386
%1387
%1388
%1389
%1390
%1391
%1392
%1393
%1394
%1395
%1396
%1397
%1398
%1399
%1400
%1401
%1402
%1403
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1421
%1422
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1444
%1447
%1450
%1452
%1453
%1454
%1456
%1457
%1460
%1462
%1464
%1466
%1468
%1469
%1470
%1471
%1472
%1474
%1476
%1478
%1480
%1483
%1486
%1488
%1491
%1493
%1496
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
%803
%805
%807
%809
%811
%813
%815
%819
%822
%825
%828
%830
%832
%834
%836
%840
%843
%845
%847
%850
%853
%854
%857
%859
%861
%863
%866
%867
%869
%871
%872
%874
%875
%877
%878
%880
%882
%887
%892
%895
%896
%898
%901
%904
%906
%908
%911
%913
%914
%915
%916
%917
%918
%919
%920
%909
%922
%924
%925
%926
%928
%930
%931
%933
%934
%936
%937
%940
%942
%944
%946
%949
%952
%954
%956
%958
%960
%963
%966
%969
%972
%975
%978
%981
%984
%988
%991
%994
%996
%998
%1000
%1003
%1005
%1007
%1009
%1011
%1013
%1015
%1018
%1021
%1024
%1027
%1030
%1033
%1036
%1039
%1042
%1045
%1047
%1049
%1051
%1054
%1056
%1058
%1060
%1062
%1064
%1066
%1068
%1071
%1074
%1077
%1079
%1081
%1083
%1085
%1087
%1089
%1092
%1095
%1098
%1101
%1104
%1107
%1109
%1111
%1113
%1115
%1117
%1119
%1121
%1123
%1125
%1127
%1129
%1131
%1133
%1135
%1138
%1141
%1144
%1147
%1150
%1152
%1154
%1156
%1158
%1161
%1164
%1166
%1168
%1170
%1172
%1174
%1176
%1178
%1180
%1183
%1186
%1188
%1190
%1192
%1194
%1196
%1199
%1201
%1203
%1205
%1208
%1211
%1213
%1215
%1217
%1219
%1222
%1224
%1226
%1228
%1231
%1233
%1235
%1237
%1239
%1241
%1243
%1245
%1246
%1247
%1248
%1249
%1251
%1253
%1254
%1255
%1256
%1257
%1259
%1260
%1261
%1263
%1265
%1267
%1269
%1271
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1291
%1293
%1295
%1296
%1298
%1300
%1302
%1304
%1306
%1308
%1310
%1312
%1314
%1316
%1318
%1320
%1321
%1323
%1325
%1327
%1329
%1331
%1332
%1334
%1336
%1338
%1340
%1342
%1343
%1344
%1345
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
%1374
%1375
%1376
%1377
%1378
%1379
%1380
%1381
%1382
%1383
%1384
%1385
%1386
%1387
%1388
%1389
%1390
%1391
%1392
%1393
%1394
%1395
%1396
%1397
%1398
%1399
%1400
%1401
%1402
%1403
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1421
%1422
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1444
%1447
%1450
%1452
%1453
%1454
%1456
%1457
%1460
%1462
%1464
%1466
%1468
%1469
%1470
%1471
%1472
%1474
%1476
%1478
%1480
%1483
%1486
%1488
%1491
%1493
%1496
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
%803
%805
%807
%809
%811
%813
%815
%819
%822
%825
%828
%830
%832
%834
%836
%840
%843
%845
%847
%850
%853
%854
%857
%859
%861
%863
%866
%867
%869
%871
%872
%874
%875
%877
%878
%880
%882
%887
%892
%895
%896
%898
%901
%904
%906
%908
%911
%913
%914
%915
%916
%917
%918
%919
%920
%909
%922
%924
%925
%926
%928
%930
%931
%933
%934
%936
%937
%940
%942
%944
%946
%949
%952
%954
%956
%958
%960
%963
%966
%969
%972
%975
%978
%981
%984
%988
%991
%994
%996
%998
%1000
%1003
%1005
%1007
%1009
%1011
%1013
%1015
%1018
%1021
%1024
%1027
%1030
%1033
%1036
%1039
%1042
%1045
%1047
%1049
%1051
%1054
%1056
%1058
%1060
%1062
%1064
%1066
%1068
%1071
%1074
%1077
%1079
%1081
%1083
%1085
%1087
%1089
%1092
%1095
%1098
%1101
%1104
%1107
%1109
%1111
%1113
%1115
%1117
%1119
%1121
%1123
%1125
%1127
%1129
%1131
%1133
%1135
%1138
%1141
%1144
%1147
%1150
%1152
%1154
%1156
%1158
%1161
%1164
%1166
%1168
%1170
%1172
%1174
%1176
%1178
%1180
%1183
%1186
%1188
%1190
%1192
%1194
%1196
%1199
%1201
%1203
%1205
%1208
%1211
%1213
%1215
%1217
%1219
%1222
%1224
%1226
%1228
%1231
%1233
%1235
%1237
%1239
%1241
%1243
%1245
%1246
%1247
%1248
%1249
%1251
%1253
%1254
%1255
%1256
%1257
%1259
%1260
%1261
%1263
%1265
%1267
%1269
%1271
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1291
%1293
%1295
%1296
%1298
%1300
%1302
%1304
%1306
%1308
%1310
%1312
%1314
%1316
%1318
%1320
%1321
%1323
%1325
%1327
%1329
%1331
%1332
%1334
%1336
%1338
%1340
%1342
%1343
%1344
%1345
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
%1374
%1375
%1376
%1377
%1378
%1379
%1380
%1381
%1382
%1383
%1384
%1385
%1386
%1387
%1388
%1389
%1390
%1391
%1392
%1393
%1394
%1395
%1396
%1397
%1398
%1399
%1400
%1401
%1402
%1403
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1421
%1422
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1444
%1447
%1450
%1452
%1453
%1454
%1456
%1457
%1460
%1462
%1464
%1466
%1468
%1469
%1470
%1471
%1472
%1474
%1476
%1478
%1480
%1483
%1486
%1488
%1491
%1493
%1496
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
(*.f64 (/.f64 %102 %1244) %27)
(*.f64 %109 (/.f64 %5 %45))
(*.f64 %1272 %41)
(*.f64 %700 %27)
(*.f64 %5 %128)
(*.f64 %1229 #s(literal -1 binary64))
(*.f64 %125 (/.f64 %5 #s(literal -1 binary64)))
(*.f64 %125 %838)
(*.f64 %102 (/.f64 #s(literal 1 binary64) %770))
(*.f64 %128 (/.f64 %5 #s(literal 1 binary64)))
(*.f64 %128 %5)
(*.f64 %99 (/.f64 %5 z))
(*.f64 %99 %768)
(pow.f64 %935 #s(literal 1 binary64))
(/.f64 (fma.f64 %5 %763 %14) %763)
(/.f64 (-.f64 (*.f64 %5 %763) y) %763)
(/.f64 (-.f64 (*.f64 %5 %2) %66) %2)
(/.f64 (fma.f64 z %763 (*.f64 %14 %763)) %1542)
(/.f64 (fma.f64 z %763 (*.f64 %763 %14)) %1542)
(/.f64 (-.f64 %1218 (*.f64 %763 y)) %1542)
(/.f64 (-.f64 %1244 (*.f64 %7 %66)) (*.f64 %7 %2))
(/.f64 (-.f64 %868 (*.f64 %2 %66)) (*.f64 %2 %2))
(/.f64 (*.f64 #s(literal -1 binary64) %116) (*.f64 %7 %114))
(/.f64 (*.f64 #s(literal -1 binary64) %121) (*.f64 %7 %119))
(/.f64 (*.f64 #s(literal -1 binary64) %125) (*.f64 %7 #s(literal -1 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) %102) %1122)
(/.f64 (*.f64 #s(literal -1 binary64) %99) %770)
(/.f64 (*.f64 #s(literal 1 binary64) %116) (*.f64 %2 %114))
(/.f64 (*.f64 #s(literal 1 binary64) %121) (*.f64 %2 %119))
(/.f64 (*.f64 #s(literal 1 binary64) %125) %596)
(/.f64 (*.f64 #s(literal 1 binary64) %102) %770)
(/.f64 (*.f64 #s(literal 1 binary64) %99) %763)
(/.f64 (*.f64 %116 #s(literal -1 binary64)) (*.f64 %114 %7))
(/.f64 (*.f64 %116 #s(literal 1 binary64)) (*.f64 %114 %2))
(/.f64 (*.f64 %121 #s(literal -1 binary64)) (*.f64 %119 %7))
(/.f64 (*.f64 %121 #s(literal 1 binary64)) (*.f64 %119 %2))
(/.f64 %323 %1244)
(/.f64 %420 %770)
(/.f64 %1272 %71)
(/.f64 %700 z)
(/.f64 %125 %7)
(/.f64 %102 %770)
(/.f64 %128 (*.f64 #s(literal -1 binary64) %7))
(/.f64 %128 %2)
(/.f64 %99 %1227)
%935
(/.f64 #s(literal 1 binary64) %909)
(neg.f64 (*.f64 %838 %128))
(neg.f64 (*.f64 %5 %125))
(neg.f64 %1229)
(fma.f64 %1611 %1612 %1614)
(fma.f64 %1611 %1612 %1616)
(fma.f64 %1611 %1612 %1618)
(fma.f64 %1611 %1612 %1620)
(fma.f64 %1611 %1612 %1622)
(fma.f64 %1624 %1625 %1614)
(fma.f64 %1624 %1625 %1616)
(fma.f64 %1624 %1625 %1618)
(fma.f64 %1624 %1625 %1620)
(fma.f64 %1624 %1625 %1622)
(fma.f64 %1631 %27 %1614)
(fma.f64 %1631 %27 %1616)
(fma.f64 %1631 %27 %1618)
(fma.f64 %1631 %27 %1620)
(fma.f64 %1631 %27 %1622)
(fma.f64 #s(literal 2 binary64) %817 %1614)
(fma.f64 #s(literal 2 binary64) %817 %1616)
(fma.f64 #s(literal 2 binary64) %817 %1618)
(fma.f64 #s(literal 2 binary64) %817 %1620)
(fma.f64 #s(literal 2 binary64) %817 %1622)
(fma.f64 %27 %1631 %1614)
(fma.f64 %27 %1631 %1616)
(fma.f64 %27 %1631 %1618)
(fma.f64 %27 %1631 %1620)
(fma.f64 %27 %1631 %1622)
(fma.f64 %5 #s(literal 1 binary64) %1614)
(fma.f64 %5 #s(literal 1 binary64) %1616)
(fma.f64 %5 #s(literal 1 binary64) %1618)
(fma.f64 %5 #s(literal 1 binary64) %1620)
(fma.f64 %5 #s(literal 1 binary64) %1622)
(fma.f64 %14 %768 %5)
(fma.f64 #s(literal -1 binary64) %838 %1614)
(fma.f64 #s(literal -1 binary64) %838 %1616)
(fma.f64 #s(literal -1 binary64) %838 %1618)
(fma.f64 #s(literal -1 binary64) %838 %1620)
(fma.f64 #s(literal -1 binary64) %838 %1622)
(fma.f64 z %768 %1614)
(fma.f64 z %768 %1616)
(fma.f64 z %768 %1618)
(fma.f64 z %768 %1620)
(fma.f64 z %768 %1622)
(fma.f64 #s(literal 1 binary64) %5 %1614)
(fma.f64 #s(literal 1 binary64) %5 %1616)
(fma.f64 #s(literal 1 binary64) %5 %1618)
(fma.f64 #s(literal 1 binary64) %5 %1620)
(fma.f64 #s(literal 1 binary64) %5 %1622)
(-.f64 %1616 %838)
(-.f64 %1618 (/.f64 z %770))
(-.f64 %1620 %838)
(-.f64 %5 (neg.f64 %1622))
(-.f64 %5 (/.f64 %15 %763))
(-.f64 %5 %1613)
(-.f64 %5 (/.f64 y %763))
(+.f64 %1616 %5)
(+.f64 %1618 %5)
(+.f64 %1620 %5)
(+.f64 %1622 %5)
(+.f64 %5 %1614)
(+.f64 %5 %1616)
(+.f64 %5 %1618)
(+.f64 %5 %1620)
(+.f64 %5 %1622)
%803
%805
%807
%809
%811
%813
%815
%819
%822
%825
%828
%830
%832
%834
%836
%840
%843
%845
%847
%850
%853
%854
%857
%859
%861
%863
%866
%867
%869
%871
%872
%874
%875
%877
%878
%880
%882
%887
%892
%895
%896
%898
%901
%904
%906
%908
%911
%913
%914
%915
%916
%917
%918
%919
%920
%909
%922
%924
%925
%926
%928
%930
%931
%933
%934
%936
%937
%940
%942
%944
%946
%949
%952
%954
%956
%958
%960
%963
%966
%969
%972
%975
%978
%981
%984
%988
%991
%994
%996
%998
%1000
%1003
%1005
%1007
%1009
%1011
%1013
%1015
%1018
%1021
%1024
%1027
%1030
%1033
%1036
%1039
%1042
%1045
%1047
%1049
%1051
%1054
%1056
%1058
%1060
%1062
%1064
%1066
%1068
%1071
%1074
%1077
%1079
%1081
%1083
%1085
%1087
%1089
%1092
%1095
%1098
%1101
%1104
%1107
%1109
%1111
%1113
%1115
%1117
%1119
%1121
%1123
%1125
%1127
%1129
%1131
%1133
%1135
%1138
%1141
%1144
%1147
%1150
%1152
%1154
%1156
%1158
%1161
%1164
%1166
%1168
%1170
%1172
%1174
%1176
%1178
%1180
%1183
%1186
%1188
%1190
%1192
%1194
%1196
%1199
%1201
%1203
%1205
%1208
%1211
%1213
%1215
%1217
%1219
%1222
%1224
%1226
%1228
%1231
%1233
%1235
%1237
%1239
%1241
%1243
%1245
%1246
%1247
%1248
%1249
%1251
%1253
%1254
%1255
%1256
%1257
%1259
%1260
%1261
%1263
%1265
%1267
%1269
%1271
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1291
%1293
%1295
%1296
%1298
%1300
%1302
%1304
%1306
%1308
%1310
%1312
%1314
%1316
%1318
%1320
%1321
%1323
%1325
%1327
%1329
%1331
%1332
%1334
%1336
%1338
%1340
%1342
%1343
%1344
%1345
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
%1374
%1375
%1376
%1377
%1378
%1379
%1380
%1381
%1382
%1383
%1384
%1385
%1386
%1387
%1388
%1389
%1390
%1391
%1392
%1393
%1394
%1395
%1396
%1397
%1398
%1399
%1400
%1401
%1402
%1403
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1421
%1422
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1444
%1447
%1450
%1452
%1453
%1454
%1456
%1457
%1460
%1462
%1464
%1466
%1468
%1469
%1470
%1471
%1472
%1474
%1476
%1478
%1480
%1483
%1486
%1488
%1491
%1493
%1496
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
(*.f64 %598 %401)
(*.f64 %1690 %401)
(*.f64 %1693 %1695)
(*.f64 %1698 %1695)
(*.f64 %401 %2)
(*.f64 %7 %1701)
(*.f64 %2 %401)
(pow.f64 %1704 #s(literal 1 binary64))
(/.f64 (fma.f64 %1706 %1707 %9) %1707)
(/.f64 (fma.f64 %1706 %399 x) %399)
(/.f64 (fma.f64 %1689 %1707 %14) %1707)
(/.f64 (-.f64 (*.f64 %1706 %399) %9) %399)
(/.f64 (fma.f64 %14 %1707 (*.f64 %9 %1707)) %1694)
(/.f64 (fma.f64 %14 %399 (*.f64 x %1707)) %1722)
(/.f64 (fma.f64 y %1707 %1724) %1726)
(/.f64 (fma.f64 y %399 %1728) %1694)
(/.f64 (fma.f64 %9 %1707 (*.f64 %14 %1707)) %1694)
(/.f64 (fma.f64 %9 %399 (*.f64 y %1707)) %1722)
(/.f64 (fma.f64 x %1707 %1737) %1726)
(/.f64 (fma.f64 %14 %1707 %1740) %1694)
(/.f64 (fma.f64 %14 %399 (*.f64 %1707 x)) %1722)
(/.f64 (fma.f64 y %1707 %1746) %1726)
(/.f64 (fma.f64 y %399 (*.f64 %399 x)) %1694)
(/.f64 (fma.f64 %9 %1707 %1752) %1694)
(/.f64 (fma.f64 %9 %399 (*.f64 %1707 y)) %1722)
(/.f64 (fma.f64 x %1707 %1758) %1726)
(/.f64 (-.f64 %1737 %1740) %1722)
(/.f64 (-.f64 %1692 %1746) %1694)
(/.f64 (-.f64 %1724 %1752) %1722)
(/.f64 (-.f64 %1728 %1758) %1694)
(/.f64 (neg.f64 %1690) %1707)
(/.f64 (neg.f64 %1693) %1772)
(/.f64 (neg.f64 %1698) %1772)
(/.f64 %596 %1707)
(/.f64 %598 %399)
(/.f64 %1690 %399)
(/.f64 %1693 %1694)
(/.f64 %1698 %1694)
(/.f64 %7 (neg.f64 %1781))
(/.f64 %7 %1707)
(/.f64 %2 %1781)
%1704
(/.f64 #s(literal 1 binary64) (/.f64 %399 %598))
(/.f64 #s(literal 1 binary64) (/.f64 %399 %1690))
(/.f64 #s(literal 1 binary64) (/.f64 %1694 %1693))
(/.f64 #s(literal 1 binary64) (/.f64 %1694 %1698))
(/.f64 #s(literal 1 binary64) (/.f64 %1781 %2))
(/.f64 #s(literal 1 binary64) (/.f64 %1707 %7))
(/.f64 #s(literal 1 binary64) (pow.f64 %1704 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %399 %2))
(neg.f64 (*.f64 %1701 %2))
(neg.f64 (*.f64 %401 %7))
(neg.f64 (/.f64 %7 %399))
(fma.f64 %9 %1701 %1808)
(fma.f64 %9 %1701 %1706)
(fma.f64 %14 %1701 %1811)
(fma.f64 %14 %1701 %1689)
(fma.f64 y %401 %1811)
(fma.f64 y %401 %1689)
(fma.f64 x %401 %1808)
(fma.f64 x %401 %1706)
(-.f64 %1818 (/.f64 %9 %1781))
(-.f64 %1821 %1822)
(-.f64 %1706 (/.f64 x %1707))
(-.f64 %1706 (/.f64 %9 %399))
(-.f64 %1689 %1822)
(+.f64 (/.f64 (*.f64 %1689 %399) %399) %1706)
(+.f64 %1832 (/.f64 %1692 %1694))
(+.f64 %1832 (/.f64 %1697 %1694))
(+.f64 %1818 %1821)
(+.f64 %1818 %1689)
(+.f64 %1821 %1818)
(+.f64 %1821 %1706)
(+.f64 %1706 %1811)
(+.f64 %1706 %1689)
(+.f64 %1689 %1808)
(+.f64 %1689 %1706)
(*.f64 (/.f64 %343 %27) %348)
(*.f64 (/.f64 %343 %102) %71)
(*.f64 %1849 %317)
(*.f64 %1851 %356)
(*.f64 %1851 z)
(*.f64 %1855 %317)
(*.f64 %1854 %359)
%1858
(*.f64 %343 %317)
(pow.f64 %1858 #s(literal 1 binary64))
(/.f64 (neg.f64 %1849) %125)
(/.f64 (neg.f64 %1855) %125)
(/.f64 %1849 %128)
(/.f64 %1855 %128)
(/.f64 %1854 %125)
(/.f64 %343 %128)
(/.f64 #s(literal 1 binary64) (/.f64 %128 %1849))
(/.f64 #s(literal 1 binary64) (/.f64 %128 %1855))
(/.f64 #s(literal 1 binary64) (/.f64 %125 %1854))
(/.f64 #s(literal 1 binary64) (pow.f64 %1858 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %128 %343))
(neg.f64 (*.f64 %359 %343))
(neg.f64 (*.f64 %1851 %71))
(neg.f64 (/.f64 %1849 %125))
(neg.f64 (*.f64 %343 %359))

%4 = (+ x y)
%5 = (approx %4 y)
%9 = (- 1 (/ y z))
%10 = (approx %9 #s(literal 1 binary64))
%11 = (*.f64 x z)
%12 = (-.f64 z y)
%13 = (+.f64 y x)
%14 = (neg.f64 z)
%15 = (-.f64 y z)
%16 = (/.f64 z %12)
%17 = (/.f64 #s(literal -1 binary64) %15)
%18 = (/.f64 x %12)
%19 = (+ y x)
%22 = (approx (/ %19 (- z y)) %18)
%24 = (approx (* z %19) %11)
%25 = (approx %19 y)
%26 = (*.f64 x %16)
%27 = (/.f64 %12 %13)
%29 = (/.f64 %25 %12)
%36 = (/ %4 %9)
%38 = (/.f64 x %10)
x
y
#s(literal 1 binary64)
z
%5
#s(literal -1 binary64)
%10
%11
%12
%13
%14
%15
%16
%17
%18
%22
%24
%25
%26
%27
(/.f64 z %27)
%29
(*.f64 %29 z)
(*.f64 %25 %16)
(*.f64 z %22)
(/.f64 %5 %10)
(*.f64 %17 %24)
(/.f64 %24 %12)
(approx %36 %26)
%38
(approx %36 %38)
(approx %36 %14)

%4 = (+ y x)
%5 = (approx %4 y)
%7 = (*.f64 %5 #s(literal 2 binary64))
%9 = (*.f64 %7 #s(literal 1/2 binary64))
%10 = (*.f64 %5 #s(literal 1/2 binary64))
%11 = (*.f64 %10 #s(literal 2 binary64))
%12 = (*.f64 %5 #s(literal 1 binary64))
%13 = (*.f64 #s(literal 1 binary64) %5)
%14 = (pow.f64 %5 #s(literal 1 binary64))
%15 = (/.f64 %7 #s(literal 2 binary64))
%18 = (/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
%19 = (neg.f64 %5)
%20 = (neg.f64 %19)
%22 = (*.f64 %5 #s(literal 0 binary64))
%23 = (fma.f64 %7 #s(literal 1/2 binary64) %22)
%24 = (*.f64 #s(literal 0 binary64) %5)
%25 = (fma.f64 %7 #s(literal 1/2 binary64) %24)
%26 = (fma.f64 %10 #s(literal 2 binary64) %22)
%27 = (fma.f64 %10 #s(literal 2 binary64) %24)
%28 = (*.f64 #s(literal 1/2 binary64) %5)
%29 = (fma.f64 #s(literal 1/2 binary64) %5 %28)
%30 = (fma.f64 %5 #s(literal 1/2 binary64) %10)
%31 = (fma.f64 %5 #s(literal 1 binary64) %22)
%32 = (fma.f64 %5 #s(literal 1 binary64) %24)
%33 = (fma.f64 #s(literal 1 binary64) %5 %22)
%34 = (fma.f64 #s(literal 1 binary64) %5 %24)
%35 = (+.f64 %10 %10)
%36 = (+.f64 %28 %28)
%37 = (+.f64 %5 %22)
%38 = (+.f64 %5 %24)
%42 = (approx (- 1 (/ y z)) #s(literal 1 binary64))
%44 = (/.f64 #s(literal 1 binary64) %42)
%46 = (neg.f64 %42)
%48 = (*.f64 x #s(literal 2 binary64))
%49 = (*.f64 #s(literal 1/2 binary64) z)
%53 = (*.f64 z x)
%60 = (neg.f64 x)
%61 = (*.f64 %60 z)
%63 = (-.f64 z y)
%64 = (*.f64 %63 #s(literal 2 binary64))
%66 = (*.f64 %63 #s(literal 1/2 binary64))
%72 = (-.f64 y z)
%73 = (/.f64 #s(literal -1 binary64) %72)
%75 = (*.f64 %72 #s(literal 1 binary64))
%77 = (*.f64 %63 #s(literal -1 binary64))
%80 = (*.f64 %63 #s(literal 0 binary64))
%82 = (*.f64 #s(literal 0 binary64) %63)
%86 = (*.f64 #s(literal 1/2 binary64) %63)
%93 = (neg.f64 y)
%94 = (neg.f64 z)
%102 = (+.f64 y x)
%103 = (*.f64 %102 #s(literal 2 binary64))
%105 = (*.f64 %102 #s(literal 1/2 binary64))
%111 = (/.f64 #s(literal 1 binary64) %102)
%113 = (neg.f64 %102)
%115 = (*.f64 %102 #s(literal 0 binary64))
%117 = (*.f64 #s(literal 0 binary64) %102)
%122 = (*.f64 #s(literal 1/2 binary64) %102)
%138 = (*.f64 z #s(literal -2 binary64))
%141 = (*.f64 #s(literal 2 binary64) %94)
%143 = (*.f64 #s(literal 1/2 binary64) %94)
%145 = (*.f64 %49 #s(literal -1 binary64))
%147 = (neg.f64 %49)
%157 = (*.f64 %94 #s(literal -1 binary64))
%160 = (/.f64 #s(literal -1 binary64) %63)
%176 = (*.f64 %73 #s(literal 2 binary64))
%178 = (*.f64 %94 #s(literal 2 binary64))
%179 = (/.f64 #s(literal 1/2 binary64) %72)
%181 = (*.f64 z #s(literal 2 binary64))
%182 = (/.f64 #s(literal 1/2 binary64) %63)
%184 = (/.f64 #s(literal 1 binary64) z)
%185 = (/.f64 #s(literal 2 binary64) %184)
%187 = (/.f64 z %63)
%188 = (*.f64 #s(literal 1/2 binary64) %187)
%190 = (/.f64 z %72)
%192 = (/.f64 %72 z)
%193 = (/.f64 #s(literal 1/2 binary64) %192)
%195 = (/.f64 #s(literal 2 binary64) %63)
%196 = (/.f64 #s(literal 1/2 binary64) %184)
%198 = (*.f64 #s(literal 2 binary64) %187)
%200 = (/.f64 %63 z)
%201 = (/.f64 #s(literal 2 binary64) %200)
%203 = (*.f64 %49 %73)
%205 = (/.f64 %49 %63)
%219 = (*.f64 #s(literal 2 binary64) %72)
%222 = (*.f64 #s(literal 2 binary64) %63)
%237 = (/.f64 #s(literal 0 binary64) %200)
%263 = (*.f64 %160 #s(literal -2 binary64))
%268 = (*.f64 %179 #s(literal -1 binary64))
%288 = (/.f64 #s(literal 0 binary64) %63)
%305 = (/.f64 x %72)
%313 = (/.f64 x %63)
%327 = (- z y)
%329 = (approx (/ %4 %327) %313)
%333 = (* %4 z)
%334 = (approx %333 %53)
%335 = (*.f64 %334 #s(literal 2 binary64))
%337 = (*.f64 %334 #s(literal 1/2 binary64))
%339 = (neg.f64 %334)
%341 = (*.f64 #s(literal 2 binary64) %334)
%343 = (*.f64 #s(literal 1/2 binary64) %334)
%354 = (*.f64 %334 #s(literal 0 binary64))
%356 = (*.f64 #s(literal 0 binary64) %334)
%378 = (*.f64 %313 #s(literal 2 binary64))
%380 = (*.f64 %53 #s(literal 2 binary64))
%383 = (*.f64 %53 #s(literal -1 binary64))
%385 = (*.f64 %313 #s(literal 1 binary64))
%387 = (*.f64 %305 z)
%391 = (*.f64 %188 x)
%393 = (*.f64 %49 %313)
%397 = (*.f64 %313 z)
%422 = (*.f64 %190 x)
%424 = (*.f64 %94 %313)
%427 = (/.f64 #s(literal 1/2 binary64) %102)
%429 = (/.f64 #s(literal -1 binary64) %102)
%431 = (/.f64 z %102)
%432 = (*.f64 %431 %102)
%433 = (-.f64 %432 y)
%435 = (*.f64 %102 %63)
%436 = (*.f64 %102 %102)
%444 = (/.f64 %63 %102)
%453 = (/.f64 %93 %102)
%464 = (*.f64 %94 %113)
%467 = (*.f64 z %113)
%469 = (*.f64 %113 %102)
%480 = (*.f64 %113 z)
%483 = (*.f64 %113 %93)
%486 = (*.f64 %102 %93)
%494 = (*.f64 %102 %94)
%509 = (/.f64 %102 %63)
%511 = (/.f64 %72 %102)
%513 = (*.f64 %111 %93)
%516 = (*.f64 %49 %111)
%519 = (/.f64 %49 %102)
%534 = (/.f64 y %102)
%536 = (*.f64 %102 z)
%557 = (/.f64 (*.f64 %53 %63) (*.f64 %63 z))
%558 = (+.f64 %557 y)
%561 = (/.f64 %558 %63)
%565 = (/.f64 %187 #s(literal 1 binary64))
%572 = (/.f64 %102 %72)
%578 = (/.f64 z %111)
%594 = (*.f64 #s(literal 1/2 binary64) %509)
%601 = (*.f64 %200 %102)
%602 = (*.f64 %72 %72)
%604 = (/.f64 %602 (*.f64 z z))
%629 = (*.f64 %509 z)
%642 = (/.f64 y %63)
%644 = (-.f64 (*.f64 %642 %72) x)
%647 = (fma.f64 %642 %63 x)
%650 = (*.f64 %72 y)
%652 = (-.f64 %650 (*.f64 %63 x))
%654 = (*.f64 %72 %63)
%656 = (*.f64 %63 %102)
%673 = (*.f64 %642 z)
%689 = (*.f64 %192 %72)
%696 = (*.f64 %192 %63)
%700 = (*.f64 %192 %200)
%702 = (*.f64 %61 %200)
%704 = (*.f64 %200 %72)
%706 = (*.f64 %60 %200)
%708 = (*.f64 %200 %192)
%710 = (*.f64 %53 %200)
%712 = (*.f64 %200 %63)
%716 = (*.f64 %72 %192)
%719 = (*.f64 %72 %200)
%729 = (*.f64 %63 %192)
%731 = (*.f64 %63 y)
%733 = (*.f64 %63 %200)
%735 = (*.f64 %93 %200)
%742 = (*.f64 %192 %60)
%754 = (*.f64 %200 %60)
%760 = (*.f64 %72 %93)
%763 = (*.f64 %192 %93)
%769 = (*.f64 %63 %93)
%772 = (*.f64 %200 %93)
%779 = (/.f64 %731 z)
%788 = (*.f64 %200 x)
%852 = (*.f64 %190 %93)
%854 = (*.f64 %190 %60)
%858 = (/.f64 y %72)
%865 = (*.f64 z y)
%908 = (/.f64 %5 %72)
%916 = (*.f64 %160 %5)
%918 = (/.f64 %5 %63)
%932 = (*.f64 %5 z)
%934 = (*.f64 (*.f64 %932 #s(literal 2 binary64)) %182)
%936 = (*.f64 (*.f64 %918 #s(literal 2 binary64)) %49)
%938 = (*.f64 (*.f64 %918 #s(literal 1 binary64)) z)
%939 = (*.f64 %932 #s(literal -1 binary64))
%940 = (*.f64 %939 %160)
%941 = (*.f64 %7 %188)
%942 = (*.f64 %19 z)
%943 = (*.f64 %942 %160)
%944 = (*.f64 z %908)
%945 = (*.f64 %944 #s(literal -1 binary64))
%946 = (*.f64 %932 %73)
%948 = (*.f64 #s(literal 2 binary64) (*.f64 %188 %5))
%950 = (*.f64 #s(literal 2 binary64) (*.f64 %49 %918))
%951 = (*.f64 %73 %932)
%952 = (*.f64 %19 %190)
%953 = (*.f64 %918 z)
%954 = (*.f64 %953 #s(literal 1 binary64))
%955 = (*.f64 %5 %187)
%956 = (*.f64 %187 %5)
%957 = (*.f64 %94 %916)
%958 = (*.f64 %94 %908)
%959 = (*.f64 z %918)
%960 = (*.f64 #s(literal 1 binary64) %953)
%961 = (pow.f64 %953 #s(literal 1 binary64))
%962 = (/.f64 %939 %72)
%963 = (/.f64 %942 %72)
%964 = (/.f64 %932 %63)
%965 = (/.f64 %19 %192)
%966 = (/.f64 %5 %200)
%968 = (/.f64 #s(literal 1 binary64) (/.f64 %72 %942))
%970 = (/.f64 #s(literal 1 binary64) (/.f64 %63 %932))
%972 = (/.f64 #s(literal 1 binary64) (pow.f64 %953 #s(literal -1 binary64)))
%974 = (neg.f64 (*.f64 %908 z))
%976 = (neg.f64 (*.f64 %190 %5))
%978 = (neg.f64 (*.f64 %94 %918))
%980 = (neg.f64 (*.f64 %918 %94))
%981 = (neg.f64 %944)
%988 = (*.f64 %329 z)
%1001 = (/.f64 #s(literal 1/2 binary64) %42)
%1003 = (/.f64 #s(literal -1 binary64) %42)
%1010 = (/.f64 %5 %42)
%1025 = (*.f64 (*.f64 %339 #s(literal 2 binary64)) %179)
%1026 = (*.f64 %335 %182)
%1027 = (/.f64 %334 %72)
%1028 = (*.f64 %1027 #s(literal -1 binary64))
%1030 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1/2 binary64) %1027))
%1031 = (*.f64 %339 %160)
%1033 = (*.f64 #s(literal 2 binary64) (*.f64 %182 %334))
%1034 = (*.f64 %73 %334)
%1035 = (*.f64 %160 %339)
%1036 = (*.f64 %334 %73)
%1037 = (*.f64 #s(literal -1 binary64) %1027)
%1038 = (/.f64 %334 %63)
%1039 = (*.f64 #s(literal 1 binary64) %1038)
%1040 = (pow.f64 %1038 #s(literal 1 binary64))
%1041 = (/.f64 %339 %72)
%1043 = (/.f64 #s(literal 1 binary64) (/.f64 %72 %339))
%1045 = (/.f64 #s(literal 1 binary64) (pow.f64 %1038 #s(literal -1 binary64)))
%1047 = (/.f64 #s(literal 1 binary64) (/.f64 %63 %334))
%1048 = (neg.f64 %1027)
%1049 = (/ %333 %327)
%1050 = (approx %1049 %397)
%1060 = (/.f64 x %42)
%1075 = (approx %1049 %1060)
%1079 = (approx %1049 %94)
x
y
#s(literal 1 binary64)
z
%9
%11
%12
%13
%14
%5
%15
%18
%20
%23
%25
%26
%27
%29
%30
%31
%32
%33
%34
%35
%36
%37
%38
#s(literal -1 binary64)
(pow.f64 %42 #s(literal 1 binary64))
%42
(/.f64 #s(literal 1 binary64) %44)
(neg.f64 %46)
(*.f64 %48 %49)
(*.f64 #s(literal 2 binary64) (*.f64 %49 x))
(*.f64 %53 #s(literal 1 binary64))
%53
(*.f64 #s(literal 1 binary64) %53)
(*.f64 x z)
(pow.f64 %53 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %53 #s(literal -1 binary64)))
(neg.f64 %61)
(*.f64 %64 #s(literal 1/2 binary64))
(*.f64 %66 #s(literal 2 binary64))
(*.f64 %63 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %63)
(pow.f64 %63 #s(literal 1 binary64))
(/.f64 %64 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %73)
(neg.f64 %75)
(neg.f64 %77)
(neg.f64 %72)
(fma.f64 %64 #s(literal 1/2 binary64) %80)
(fma.f64 %64 #s(literal 1/2 binary64) %82)
(fma.f64 %66 #s(literal 2 binary64) %80)
(fma.f64 %66 #s(literal 2 binary64) %82)
(fma.f64 #s(literal 1/2 binary64) %63 %86)
(fma.f64 %63 #s(literal 1/2 binary64) %66)
(fma.f64 %63 #s(literal 1 binary64) %80)
(fma.f64 %63 #s(literal 1 binary64) %82)
(fma.f64 #s(literal 1 binary64) %63 %80)
(fma.f64 #s(literal 1 binary64) %63 %82)
(-.f64 %93 %94)
%63
(+.f64 %66 %66)
(+.f64 %86 %86)
(+.f64 %93 z)
(+.f64 %63 %80)
(+.f64 %63 %82)
(+.f64 z %93)
(*.f64 %103 #s(literal 1/2 binary64))
(*.f64 %105 #s(literal 2 binary64))
(*.f64 %102 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %102)
(pow.f64 %102 #s(literal 1 binary64))
(/.f64 %103 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %111)
(neg.f64 %113)
(fma.f64 %103 #s(literal 1/2 binary64) %115)
(fma.f64 %103 #s(literal 1/2 binary64) %117)
(fma.f64 %105 #s(literal 2 binary64) %115)
(fma.f64 %105 #s(literal 2 binary64) %117)
(fma.f64 #s(literal -1/2 binary64) %113 %122)
(fma.f64 #s(literal 1/2 binary64) %102 %122)
(fma.f64 %102 #s(literal 1/2 binary64) %105)
(fma.f64 %102 #s(literal 1 binary64) %115)
(fma.f64 %102 #s(literal 1 binary64) %117)
(fma.f64 #s(literal 1 binary64) %102 %115)
(fma.f64 #s(literal 1 binary64) %102 %117)
(-.f64 y %60)
(-.f64 x %93)
(+.f64 %105 %105)
(+.f64 %122 %122)
(+.f64 %102 %115)
(+.f64 %102 %117)
%102
(+.f64 x y)
(*.f64 %138 #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) %49)
(*.f64 #s(literal 1/2 binary64) %141)
(*.f64 #s(literal 2 binary64) %143)
(*.f64 #s(literal 2 binary64) %145)
(*.f64 #s(literal 2 binary64) %147)
(*.f64 %94 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) z)
(*.f64 z #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %94)
(pow.f64 %94 #s(literal 1 binary64))
(/.f64 %141 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) z))
(neg.f64 %157)
%94
(pow.f64 %72 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %160)
(neg.f64 %63)
(fma.f64 %138 #s(literal 1/2 binary64) y)
(fma.f64 #s(literal -2 binary64) %49 y)
(fma.f64 #s(literal 1/2 binary64) %141 y)
(fma.f64 #s(literal 2 binary64) %143 y)
(fma.f64 #s(literal 2 binary64) %145 y)
(fma.f64 #s(literal 2 binary64) %147 y)
(fma.f64 %94 #s(literal 1 binary64) y)
(fma.f64 #s(literal -1 binary64) z y)
(fma.f64 z #s(literal -1 binary64) y)
(fma.f64 #s(literal 1 binary64) %94 y)
(-.f64 %94 %93)
%72
(+.f64 %94 y)
(+.f64 y %94)
(*.f64 %176 %49)
(*.f64 %178 %179)
(*.f64 %181 %182)
(*.f64 %182 %185)
(*.f64 %188 #s(literal 2 binary64))
(*.f64 %190 #s(literal -1 binary64))
(*.f64 #s(literal -2 binary64) %193)
(*.f64 %195 %196)
(*.f64 #s(literal 1/2 binary64) %198)
(*.f64 #s(literal 1/2 binary64) %201)
(*.f64 #s(literal 2 binary64) %203)
(*.f64 #s(literal 2 binary64) %205)
(*.f64 #s(literal 2 binary64) %188)
(*.f64 %73 z)
(*.f64 %160 %94)
(*.f64 %187 #s(literal 1 binary64))
(*.f64 %94 %160)
(*.f64 #s(literal -1 binary64) %190)
(*.f64 z %73)
(*.f64 #s(literal 1 binary64) %187)
(pow.f64 %187 #s(literal 1 binary64))
(pow.f64 %200 #s(literal -1 binary64))
(/.f64 %157 %63)
(/.f64 %198 #s(literal 2 binary64))
(/.f64 %141 %219)
(/.f64 (*.f64 #s(literal 2 binary64) z) %222)
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %192))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %200))
(/.f64 %73 %184)
(/.f64 %94 %72)
(/.f64 #s(literal -1 binary64) %192)
%187
(/.f64 #s(literal 1 binary64) (/.f64 %192 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %187 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %200)
(neg.f64 %190)
(fma.f64 %176 %49 %237)
(fma.f64 %178 %179 %237)
(fma.f64 %181 %182 %237)
(fma.f64 %182 %185 %237)
(fma.f64 %182 z %188)
(fma.f64 %188 #s(literal 2 binary64) %237)
(fma.f64 %179 %94 %188)
(fma.f64 %190 #s(literal -1 binary64) %237)
(fma.f64 #s(literal -2 binary64) %193 %237)
(fma.f64 %195 %196 %237)
(fma.f64 #s(literal 1/2 binary64) %198 %237)
(fma.f64 #s(literal 1/2 binary64) %201 %237)
(fma.f64 #s(literal 1/2 binary64) %187 %188)
(fma.f64 #s(literal 2 binary64) %203 %237)
(fma.f64 #s(literal 2 binary64) %205 %237)
(fma.f64 #s(literal 2 binary64) %188 %237)
(fma.f64 %73 z %237)
(fma.f64 %160 %94 %237)
(fma.f64 %187 #s(literal 1 binary64) %237)
(fma.f64 %94 %160 %237)
(fma.f64 #s(literal -1 binary64) %190 %237)
(fma.f64 z %73 %237)
(fma.f64 #s(literal 1 binary64) %187 %237)
(+.f64 %188 %188)
(+.f64 %187 %237)
(*.f64 %263 #s(literal 1/2 binary64))
(*.f64 %182 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %179)
(*.f64 #s(literal 1/2 binary64) %195)
(*.f64 #s(literal 2 binary64) %268)
(*.f64 #s(literal 2 binary64) %182)
(*.f64 %73 #s(literal 1 binary64))
(*.f64 %160 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %160)
(*.f64 #s(literal 1 binary64) %73)
(pow.f64 %73 #s(literal 1 binary64))
(pow.f64 %63 #s(literal -1 binary64))
(/.f64 #s(literal -2 binary64) %219)
(/.f64 %195 #s(literal 2 binary64))
(/.f64 #s(literal 2 binary64) %222)
%73
(/.f64 #s(literal 1 binary64) (/.f64 %63 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %73 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %72 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %63)
(neg.f64 %160)
(fma.f64 %263 #s(literal 1/2 binary64) %288)
(fma.f64 %182 #s(literal 2 binary64) %288)
(fma.f64 #s(literal -2 binary64) %179 %288)
(fma.f64 #s(literal 1/2 binary64) %195 %288)
(fma.f64 #s(literal 1/2 binary64) %73 %182)
(fma.f64 #s(literal 2 binary64) %268 %288)
(fma.f64 #s(literal 2 binary64) %182 %288)
(fma.f64 %73 #s(literal 1 binary64) %288)
(fma.f64 %160 #s(literal -1 binary64) %288)
(fma.f64 #s(literal -1 binary64) %160 %288)
(fma.f64 #s(literal 1 binary64) %73 %288)
(+.f64 %182 %182)
(+.f64 %73 %288)
(*.f64 (*.f64 %60 #s(literal 2 binary64)) %179)
(*.f64 %48 %182)
(*.f64 %305 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %182 x))
(*.f64 %73 x)
(*.f64 %160 %60)
(*.f64 %60 %160)
(*.f64 #s(literal -1 binary64) %305)
(*.f64 #s(literal 1 binary64) %313)
(*.f64 x %73)
(pow.f64 %313 #s(literal 1 binary64))
(/.f64 (*.f64 %60 #s(literal -1 binary64)) %63)
(/.f64 %60 %72)
(/.f64 #s(literal 1 binary64) (/.f64 %72 %60))
(/.f64 #s(literal 1 binary64) (pow.f64 %313 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %63 x))
%313
(neg.f64 %305)
(pow.f64 %329 #s(literal 1 binary64))
%329
(/.f64 #s(literal 1 binary64) (pow.f64 %329 #s(literal -1 binary64)))
(*.f64 %335 #s(literal 1/2 binary64))
(*.f64 %337 #s(literal 2 binary64))
(*.f64 %339 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %341)
(*.f64 #s(literal 2 binary64) %343)
(*.f64 %334 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %339)
(*.f64 #s(literal 1 binary64) %334)
(pow.f64 %334 #s(literal 1 binary64))
%334
(/.f64 %335 #s(literal 2 binary64))
(/.f64 %341 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %334 #s(literal -1 binary64)))
(neg.f64 %339)
(fma.f64 %335 #s(literal 1/2 binary64) %354)
(fma.f64 %335 #s(literal 1/2 binary64) %356)
(fma.f64 %337 #s(literal 2 binary64) %354)
(fma.f64 %337 #s(literal 2 binary64) %356)
(fma.f64 %339 #s(literal -1 binary64) %354)
(fma.f64 %339 #s(literal -1 binary64) %356)
(fma.f64 #s(literal 1/2 binary64) %341 %354)
(fma.f64 #s(literal 1/2 binary64) %341 %356)
(fma.f64 #s(literal 1/2 binary64) %334 %343)
(fma.f64 #s(literal 2 binary64) %343 %354)
(fma.f64 #s(literal 2 binary64) %343 %356)
(fma.f64 %334 #s(literal 1/2 binary64) %337)
(fma.f64 %334 #s(literal 1 binary64) %354)
(fma.f64 %334 #s(literal 1 binary64) %356)
(fma.f64 #s(literal -1 binary64) %339 %354)
(fma.f64 #s(literal -1 binary64) %339 %356)
(fma.f64 #s(literal 1 binary64) %334 %354)
(fma.f64 #s(literal 1 binary64) %334 %356)
(+.f64 %337 %337)
(+.f64 %343 %343)
(+.f64 %334 %354)
(+.f64 %334 %356)
%9
%11
%12
%13
%14
%5
%15
%18
%20
%23
%25
%26
%27
%29
%30
%31
%32
%33
%34
%35
%36
%37
%38
(*.f64 %378 %49)
(*.f64 %380 %182)
(*.f64 %48 %188)
(*.f64 %383 %160)
(*.f64 %385 z)
(*.f64 %387 #s(literal -1 binary64))
(*.f64 %305 %94)
(*.f64 %61 %160)
(*.f64 #s(literal 2 binary64) %391)
(*.f64 #s(literal 2 binary64) %393)
(*.f64 %73 %53)
(*.f64 %60 %190)
(*.f64 %397 #s(literal 1 binary64))
%397
(*.f64 %187 x)
(*.f64 %94 %305)
(*.f64 %53 %73)
(*.f64 z %313)
(*.f64 #s(literal 1 binary64) %397)
(*.f64 x %187)
(pow.f64 %397 #s(literal 1 binary64))
(/.f64 %383 %72)
(/.f64 %61 %72)
(/.f64 %60 %192)
(/.f64 %313 %184)
(/.f64 %53 %63)
(/.f64 #s(literal 1 binary64) (/.f64 %72 %61))
(/.f64 #s(literal 1 binary64) (/.f64 %192 %60))
(/.f64 #s(literal 1 binary64) (/.f64 %200 x))
(/.f64 #s(literal 1 binary64) (/.f64 %63 %53))
(/.f64 #s(literal 1 binary64) (pow.f64 %397 #s(literal -1 binary64)))
(/.f64 x %200)
(neg.f64 %422)
(neg.f64 %424)
(neg.f64 %387)
(*.f64 %64 %427)
(*.f64 %429 %72)
(*.f64 %433 %111)
(*.f64 %435 (/.f64 #s(literal 1 binary64) %436))
(*.f64 #s(literal 2 binary64) (*.f64 %427 %63))
(*.f64 %111 %63)
(*.f64 %72 %429)
(*.f64 %63 %111)
(*.f64 #s(literal 1 binary64) %444)
(pow.f64 %444 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %63) %113)
(/.f64 (/.f64 %435 %102) %102)
(/.f64 %75 %113)
(/.f64 %77 %113)
(/.f64 (fma.f64 %453 %113 %94) %113)
(/.f64 (fma.f64 %453 %102 z) %102)
(/.f64 (-.f64 (*.f64 %453 %113) z) %113)
(/.f64 (-.f64 (*.f64 %431 %113) %93) %113)
(/.f64 (fma.f64 y %113 %464) %436)
(/.f64 (fma.f64 %102 y %467) %469)
(/.f64 (fma.f64 %102 %94 (*.f64 %93 %113)) %469)
(/.f64 (fma.f64 %102 z (*.f64 %93 %102)) %436)
(/.f64 (fma.f64 y %113 (*.f64 %113 %94)) %436)
(/.f64 (fma.f64 %102 y %480) %469)
(/.f64 (fma.f64 %102 %94 %483) %469)
(/.f64 (fma.f64 %102 z %486) %436)
(/.f64 (-.f64 (*.f64 y %113) %480) %436)
(/.f64 (-.f64 %464 %483) %436)
(/.f64 (-.f64 %494 (*.f64 %113 y)) %469)
(/.f64 (-.f64 %467 %486) (*.f64 %102 %113))
(/.f64 (neg.f64 %433) %113)
(/.f64 (neg.f64 %435) (neg.f64 %436))
(/.f64 %433 %102)
(/.f64 %435 %436)
(/.f64 %72 %113)
%444
(/.f64 #s(literal 1 binary64) %509)
(neg.f64 %511)
(fma.f64 %181 %427 %513)
(fma.f64 %181 %427 %453)
(fma.f64 #s(literal 2 binary64) %516 %513)
(fma.f64 #s(literal 2 binary64) %516 %453)
(fma.f64 #s(literal 2 binary64) %519 %513)
(fma.f64 #s(literal 2 binary64) %519 %453)
(fma.f64 %111 %93 %431)
(fma.f64 %111 z %513)
(fma.f64 %111 z %453)
(fma.f64 %93 %111 %431)
(fma.f64 %94 %429 %513)
(fma.f64 %94 %429 %453)
(fma.f64 z %111 %513)
(fma.f64 z %111 %453)
(fma.f64 #s(literal 1 binary64) %431 %513)
(fma.f64 #s(literal 1 binary64) %431 %453)
(fma.f64 y %429 %431)
(-.f64 (/.f64 %432 %102) %534)
(-.f64 (/.f64 %536 %436) (/.f64 (*.f64 %102 y) %436))
(-.f64 %453 (*.f64 %94 %111))
(-.f64 %453 (/.f64 %94 %102))
(-.f64 %431 %534)
(+.f64 %513 %431)
(+.f64 %453 %431)
(+.f64 %431 %513)
(+.f64 %431 %453)
(*.f64 (*.f64 %509 #s(literal 2 binary64)) %49)
(*.f64 (*.f64 z %195) %122)
(*.f64 %103 %188)
(*.f64 (/.f64 %558 %72) %94)
(*.f64 %561 z)
(*.f64 (/.f64 %187 #s(literal -1 binary64)) %113)
(*.f64 %565 %102)
(*.f64 (/.f64 z %433) %102)
(*.f64 (/.f64 z %435) %436)
(*.f64 (/.f64 %94 #s(literal 1 binary64)) %572)
(*.f64 (/.f64 %73 #s(literal 2 binary64)) (/.f64 z %427))
(*.f64 (/.f64 %73 #s(literal 1 binary64)) %578)
(*.f64 (/.f64 %94 #s(literal 2 binary64)) (/.f64 %160 %427))
(*.f64 (/.f64 z #s(literal 2 binary64)) (/.f64 %73 %427))
(*.f64 (/.f64 z #s(literal 1 binary64)) %509)
(*.f64 %578 %73)
(*.f64 (/.f64 #s(literal 2 binary64) %111) %205)
(*.f64 (/.f64 #s(literal 2 binary64) %72) (/.f64 %49 %429))
(*.f64 %181 %594)
(*.f64 %467 %160)
(*.f64 %494 %160)
(*.f64 %572 %94)
(*.f64 %190 %113)
(*.f64 %558 %187)
(*.f64 %601 (/.f64 #s(literal 1 binary64) %604))
(*.f64 %195 (*.f64 %122 z))
(*.f64 %195 (/.f64 %49 %111))
(*.f64 #s(literal 1/2 binary64) (/.f64 %187 %427))
(*.f64 #s(literal 2 binary64) (*.f64 %594 z))
(*.f64 #s(literal 2 binary64) (*.f64 %188 %102))
(*.f64 #s(literal 2 binary64) (*.f64 %49 %509))
(*.f64 #s(literal 2 binary64) (/.f64 %49 %444))
(*.f64 #s(literal 2 binary64) (/.f64 %188 %111))
(*.f64 %73 %578)
(*.f64 %73 %536)
(*.f64 %160 (/.f64 z %429))
(*.f64 %160 %480)
(*.f64 %113 %190)
(*.f64 %629 #s(literal 1 binary64))
(*.f64 %536 %73)
(*.f64 %509 (/.f64 #s(literal 1 binary64) %184))
%629
(*.f64 %102 %187)
(*.f64 %187 %102)
(*.f64 %94 %572)
(*.f64 z %509)
(*.f64 #s(literal 1 binary64) (/.f64 %188 %427))
(*.f64 #s(literal 1 binary64) %629)
(pow.f64 %629 #s(literal 1 binary64))
(/.f64 (*.f64 z %644) %72)
(/.f64 (*.f64 z %647) %63)
(/.f64 (*.f64 z %652) %654)
(/.f64 (*.f64 z %656) %602)
(/.f64 (*.f64 %644 z) %72)
(/.f64 (*.f64 %647 z) %63)
(/.f64 (*.f64 %652 z) %654)
(/.f64 (*.f64 %656 z) %602)
(/.f64 (/.f64 %601 %200) %200)
(/.f64 (/.f64 %187 #s(literal 2 binary64)) %427)
(/.f64 %561 %184)
(/.f64 %565 %111)
(/.f64 (fma.f64 %673 %72 %61) %72)
(/.f64 (fma.f64 %673 %192 %60) %192)
(/.f64 (fma.f64 %673 %63 %53) %63)
(/.f64 (fma.f64 %673 %200 x) %200)
(/.f64 (fma.f64 %397 %192 %93) %192)
(/.f64 (-.f64 (*.f64 %673 %200) %60) %200)
(/.f64 (fma.f64 %93 %72 (*.f64 %61 %192)) %689)
(/.f64 (fma.f64 %93 %192 (*.f64 %60 %192)) %604)
(/.f64 (fma.f64 %93 %63 (*.f64 %53 %192)) %696)
(/.f64 (fma.f64 %93 %200 (*.f64 x %192)) %700)
(/.f64 (fma.f64 %72 y %702) %704)
(/.f64 (fma.f64 y %192 %706) %708)
(/.f64 (fma.f64 %63 y %710) %712)
(/.f64 (fma.f64 %61 %192 (*.f64 %93 %72)) %716)
(/.f64 (fma.f64 %61 %200 %650) %719)
(/.f64 (fma.f64 %60 %192 (*.f64 %93 %192)) %604)
(/.f64 (fma.f64 %60 %200 (*.f64 y %192)) %700)
(/.f64 (fma.f64 %53 %192 (*.f64 %93 %63)) %729)
(/.f64 (fma.f64 %53 %200 %731) %733)
(/.f64 (fma.f64 x %192 %735) %708)
(/.f64 %578 %63)
(/.f64 (fma.f64 %93 %72 (*.f64 %192 %61)) %689)
(/.f64 (fma.f64 %93 %192 %742) %604)
(/.f64 (fma.f64 %93 %63 (*.f64 %192 %53)) %696)
(/.f64 (fma.f64 %93 %200 (*.f64 %192 x)) %700)
(/.f64 (fma.f64 %72 y (*.f64 %200 %61)) %704)
(/.f64 (fma.f64 y %192 %754) %708)
(/.f64 (fma.f64 %63 y (*.f64 %200 %53)) %712)
(/.f64 (fma.f64 %61 %192 %760) %716)
(/.f64 (fma.f64 %60 %192 %763) %604)
(/.f64 (fma.f64 %60 %200 (*.f64 %192 y)) %700)
(/.f64 (fma.f64 %53 %192 %769) %729)
(/.f64 (fma.f64 x %192 %772) %708)
(/.f64 %480 %72)
(/.f64 %467 %72)
(/.f64 (-.f64 %735 %742) %700)
(/.f64 (-.f64 %779 %754) %604)
(/.f64 (-.f64 %702 %760) %719)
(/.f64 (-.f64 %706 %763) %700)
(/.f64 (-.f64 %710 %769) %733)
(/.f64 (-.f64 %788 %772) %604)
(/.f64 (neg.f64 %558) %192)
(/.f64 (neg.f64 %601) (neg.f64 %604))
(/.f64 %494 %72)
(/.f64 %190 %429)
(/.f64 %558 %200)
(/.f64 %601 %604)
(/.f64 %113 %192)
(/.f64 %536 %63)
(/.f64 %509 %184)
(/.f64 %102 %200)
(/.f64 %187 %111)
(/.f64 %94 %511)
(/.f64 #s(literal -1 binary64) (*.f64 %192 %111))
(/.f64 z %444)
(/.f64 #s(literal 1 binary64) (*.f64 %200 %111))
(/.f64 #s(literal 1 binary64) (/.f64 %72 %494))
(/.f64 #s(literal 1 binary64) (/.f64 %200 %558))
(/.f64 #s(literal 1 binary64) (/.f64 %604 %601))
(/.f64 #s(literal 1 binary64) (/.f64 %63 %536))
(/.f64 #s(literal 1 binary64) (/.f64 %111 %187))
(/.f64 #s(literal 1 binary64) (/.f64 %511 %94))
(/.f64 #s(literal 1 binary64) (/.f64 %192 %113))
(/.f64 #s(literal 1 binary64) (pow.f64 %629 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %200 %102))
(/.f64 #s(literal 1 binary64) (/.f64 %444 z))
(neg.f64 (/.f64 %494 %63))
(neg.f64 (/.f64 %558 %192))
(neg.f64 (/.f64 %536 %72))
(neg.f64 (*.f64 %572 z))
(fma.f64 %378 %49 %673)
(fma.f64 %380 %182 %673)
(fma.f64 (*.f64 %642 #s(literal 2 binary64)) %49 %397)
(fma.f64 %48 %188 %673)
(fma.f64 %383 %160 %673)
(fma.f64 (*.f64 %642 #s(literal 1 binary64)) z %397)
(fma.f64 %385 z %673)
(fma.f64 (*.f64 y %94) %160 %397)
(fma.f64 (*.f64 y #s(literal 2 binary64)) %188 %397)
(fma.f64 %190 %60 %852)
(fma.f64 %190 %93 %854)
(fma.f64 %387 #s(literal -1 binary64) %673)
(fma.f64 %305 %94 %673)
(fma.f64 %858 %94 %397)
(fma.f64 %61 %160 %673)
(fma.f64 #s(literal 2 binary64) (*.f64 %188 y) %397)
(fma.f64 #s(literal 2 binary64) %391 %673)
(fma.f64 #s(literal 2 binary64) %393 %673)
(fma.f64 %865 %73 %397)
(fma.f64 %73 %865 %397)
(fma.f64 %73 %53 %673)
(fma.f64 %673 #s(literal 1 binary64) %397)
(fma.f64 %642 z %397)
(fma.f64 %60 %190 %673)
(fma.f64 %93 %190 %397)
(fma.f64 %397 #s(literal 1 binary64) %673)
(fma.f64 %313 z %673)
(fma.f64 %187 y %397)
(fma.f64 %187 x %673)
(fma.f64 %94 (*.f64 %160 y) %397)
(fma.f64 %94 %305 %673)
(fma.f64 %53 %73 %673)
(fma.f64 z %642 %397)
(fma.f64 z %313 %673)
(fma.f64 #s(literal 1 binary64) %673 %397)
(fma.f64 #s(literal 1 binary64) %397 %673)
(fma.f64 y %187 %397)
(fma.f64 x %187 %673)
(-.f64 %673 %422)
(-.f64 %673 %424)
(-.f64 %673 (*.f64 %61 %73))
(-.f64 %673 %387)
(-.f64 %397 (*.f64 %190 y))
(-.f64 %397 (*.f64 %858 z))
(+.f64 %854 %852)
(+.f64 %852 %854)
(+.f64 (/.f64 %557 %200) %673)
(+.f64 (/.f64 %788 %604) (/.f64 %779 %604))
(+.f64 %673 %397)
(+.f64 %397 %673)
(*.f64 (*.f64 %19 #s(literal 2 binary64)) %179)
(*.f64 %7 %182)
(*.f64 %908 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %182 %5))
(*.f64 %73 %5)
(*.f64 %160 %19)
(*.f64 %19 %160)
(*.f64 %5 %73)
(*.f64 #s(literal -1 binary64) %916)
(*.f64 #s(literal 1 binary64) %918)
(pow.f64 %918 #s(literal 1 binary64))
(/.f64 (*.f64 %19 #s(literal -1 binary64)) %63)
(/.f64 %19 %72)
%918
(/.f64 #s(literal 1 binary64) (/.f64 %72 %19))
(/.f64 #s(literal 1 binary64) (pow.f64 %918 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %63 %5))
(neg.f64 %916)
(neg.f64 %908)
%934
%936
%938
%940
%941
%943
%945
%946
%948
%950
%951
%952
%954
%953
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%968
%970
%972
%974
%976
%978
%980
%981
%934
%936
%938
%940
%941
%943
%945
%946
%948
%950
%951
%952
%954
%953
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%968
%970
%972
%974
%976
%978
%980
%981
(*.f64 (*.f64 %329 #s(literal 2 binary64)) %49)
(*.f64 (*.f64 %329 #s(literal 1 binary64)) z)
(*.f64 #s(literal 2 binary64) (*.f64 %49 %329))
(*.f64 %988 #s(literal 1 binary64))
%988
(*.f64 z (*.f64 #s(literal 1 binary64) %329))
(*.f64 z %329)
(*.f64 #s(literal 1 binary64) %988)
(pow.f64 %988 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %988 #s(literal -1 binary64)))
(neg.f64 (*.f64 %94 %329))
(neg.f64 (*.f64 %329 %94))
(*.f64 %7 %1001)
(*.f64 %1003 %19)
(*.f64 #s(literal 2 binary64) (*.f64 %1001 %5))
(*.f64 %44 %5)
(*.f64 %19 %1003)
(*.f64 %5 %44)
(*.f64 #s(literal 1 binary64) %1010)
(pow.f64 %1010 #s(literal 1 binary64))
(/.f64 %19 %46)
%1010
(/.f64 #s(literal 1 binary64) (/.f64 %46 %19))
(/.f64 #s(literal 1 binary64) (pow.f64 %1010 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %42 %5))
(neg.f64 (*.f64 %1003 %5))
(neg.f64 (/.f64 %19 %42))
%1025
%1026
%1028
%1030
%1031
%1033
%1034
%1035
%1036
%1037
%1039
%1040
%1041
%1038
%1043
%1045
%1047
%1048
%1025
%1026
%1028
%1030
%1031
%1033
%1034
%1035
%1036
%1037
%1039
%1040
%1041
%1038
%1043
%1045
%1047
%1048
(pow.f64 %1050 #s(literal 1 binary64))
%1050
(/.f64 #s(literal 1 binary64) (pow.f64 %1050 #s(literal -1 binary64)))
(*.f64 %48 %1001)
(*.f64 %1003 %60)
(*.f64 #s(literal 2 binary64) (*.f64 %1001 x))
(*.f64 %44 x)
(*.f64 %60 %1003)
(*.f64 #s(literal 1 binary64) %1060)
(*.f64 x %44)
(pow.f64 %1060 #s(literal 1 binary64))
(/.f64 %60 %46)
(/.f64 #s(literal 1 binary64) (/.f64 %46 %60))
(/.f64 #s(literal 1 binary64) (pow.f64 %1060 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %42 x))
%1060
(neg.f64 (*.f64 %1003 x))
(neg.f64 (/.f64 %60 %42))
(pow.f64 %1075 #s(literal 1 binary64))
%1075
(/.f64 #s(literal 1 binary64) (pow.f64 %1075 #s(literal -1 binary64)))
(pow.f64 %1079 #s(literal 1 binary64))
%1079
(/.f64 #s(literal 1 binary64) (pow.f64 %1079 #s(literal -1 binary64)))

%5 = (approx x #s(literal 0 binary64))
%9 = (- 1 (/ y z))
%10 = (approx %9 #s(literal 1 binary64))
%11 = (*.f64 x z)
%12 = (-.f64 z y)
%13 = (+ y x)
%15 = (approx (* z %13) %11)
%16 = (/.f64 #s(literal -1 binary64) y)
%20 = (approx (/ -1 (- y z)) %16)
%21 = (/.f64 %12 x)
%23 = (/ (- z y) %13)
%24 = (approx %23 %21)
%25 = (/.f64 z x)
%26 = (approx %23 %25)
%30 = (/.f64 %5 %10)
x
y
#s(literal 1 binary64)
z
#s(literal 0 binary64)
%5
#s(literal -1 binary64)
%10
%11
%12
%15
%16
%20
%21
%24
%25
%26
(/.f64 z %24)
(/.f64 z %26)
(*.f64 %20 %15)
%30
(approx (/ (+ x y) %9) %30)

%5 = (approx x #s(literal 0 binary64))
%7 = (*.f64 %5 #s(literal 2 binary64))
%10 = (*.f64 %5 #s(literal 1/2 binary64))
%16 = (neg.f64 z)
%17 = (/.f64 %16 z)
%20 = (/.f64 z %16)
%26 = (*.f64 %5 #s(literal -1 binary64))
%28 = (neg.f64 %5)
%30 = (*.f64 %5 #s(literal 0 binary64))
%32 = (*.f64 #s(literal 0 binary64) %5)
%36 = (*.f64 #s(literal 1/2 binary64) %5)
%50 = (approx (- 1 (/ y z)) #s(literal 1 binary64))
%56 = (/.f64 #s(literal 1 binary64) %50)
%58 = (neg.f64 %50)
%61 = (*.f64 #s(literal 1/2 binary64) z)
%67 = (*.f64 z x)
%80 = (neg.f64 x)
%81 = (*.f64 %80 z)
%83 = (-.f64 z y)
%84 = (*.f64 %83 #s(literal 2 binary64))
%86 = (*.f64 %83 #s(literal 1/2 binary64))
%96 = (-.f64 y z)
%99 = (*.f64 %96 #s(literal 1 binary64))
%101 = (*.f64 %83 #s(literal -1 binary64))
%104 = (*.f64 %83 #s(literal 0 binary64))
%106 = (*.f64 #s(literal 0 binary64) %83)
%110 = (*.f64 #s(literal 1/2 binary64) %83)
%117 = (neg.f64 y)
%125 = (+ y x)
%126 = (* %125 z)
%127 = (approx %126 %67)
%135 = (/.f64 #s(literal 1 binary64) y)
%137 = (*.f64 %135 #s(literal -2 binary64))
%140 = (/.f64 #s(literal -1/2 binary64) y)
%142 = (/.f64 #s(literal 1/2 binary64) y)
%144 = (/.f64 #s(literal -1 binary64) y)
%145 = (*.f64 #s(literal 2 binary64) %144)
%147 = (/.f64 #s(literal 2 binary64) %117)
%149 = (*.f64 %142 #s(literal -1 binary64))
%175 = (/.f64 #s(literal 0 binary64) %117)
%190 = (- z y)
%193 = (approx (pow %190 -1) %144)
%201 = (/.f64 #s(literal 1/2 binary64) x)
%203 = (/.f64 #s(literal -1 binary64) x)
%205 = (/.f64 z x)
%206 = (*.f64 %205 x)
%207 = (-.f64 %206 y)
%208 = (/.f64 #s(literal 1 binary64) x)
%210 = (*.f64 y x)
%211 = (fma.f64 %80 z %210)
%212 = (*.f64 %80 x)
%215 = (*.f64 x %83)
%216 = (*.f64 x x)
%224 = (/.f64 %83 x)
%235 = (*.f64 %80 y)
%238 = (/.f64 %117 x)
%249 = (*.f64 %16 %80)
%263 = (*.f64 %80 %117)
%266 = (*.f64 x %117)
%302 = (*.f64 %208 #s(literal 2 binary64))
%303 = (*.f64 %208 %117)
%306 = (*.f64 z #s(literal 2 binary64))
%311 = (*.f64 %201 z)
%314 = (*.f64 %61 %208)
%317 = (/.f64 %61 x)
%334 = (/.f64 y x)
%342 = (*.f64 %203 z)
%344 = (/.f64 %16 x)
%351 = (/ %190 %125)
%352 = (approx %351 %224)
%358 = (/.f64 #s(literal 1 binary64) %352)
%360 = (neg.f64 %352)
%389 = (approx %351 %205)
%395 = (/.f64 #s(literal 1 binary64) %389)
%397 = (neg.f64 %389)
%401 = (/.f64 #s(literal 1/2 binary64) %352)
%403 = (/.f64 #s(literal -1 binary64) %352)
%413 = (/.f64 z %352)
%437 = (/.f64 #s(literal 1/2 binary64) %389)
%439 = (/.f64 #s(literal -1 binary64) %389)
%449 = (/.f64 z %389)
%471 = (*.f64 %193 %127)
%480 = (/.f64 #s(literal 1/2 binary64) %50)
%482 = (/.f64 #s(literal -1 binary64) %50)
%489 = (/.f64 %5 %50)
%513 = (approx (/ %126 %190) %489)
x
y
#s(literal 1 binary64)
z
#s(literal 0 binary64)
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 %10 #s(literal 2 binary64))
(*.f64 %5 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
%5
(/.f64 %7 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 %20))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(neg.f64 %26)
(neg.f64 %28)
(fma.f64 %7 #s(literal 1/2 binary64) %30)
(fma.f64 %7 #s(literal 1/2 binary64) %32)
(fma.f64 %10 #s(literal 2 binary64) %30)
(fma.f64 %10 #s(literal 2 binary64) %32)
(fma.f64 #s(literal 1/2 binary64) %5 %36)
(fma.f64 %5 #s(literal 1/2 binary64) %10)
(fma.f64 %5 #s(literal 1 binary64) %30)
(fma.f64 %5 #s(literal 1 binary64) %32)
(fma.f64 #s(literal 1 binary64) %5 %30)
(fma.f64 #s(literal 1 binary64) %5 %32)
(+.f64 %10 %10)
(+.f64 %36 %36)
(+.f64 %5 %30)
(+.f64 %5 %32)
#s(literal -1 binary64)
(pow.f64 %50 #s(literal 1 binary64))
%50
(/.f64 #s(literal 1 binary64) (pow.f64 %50 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %50 %20))
(/.f64 #s(literal 1 binary64) %56)
(neg.f64 %58)
(*.f64 (*.f64 x #s(literal 2 binary64)) %61)
(*.f64 (*.f64 x #s(literal 1 binary64)) z)
(*.f64 #s(literal 2 binary64) (*.f64 %61 x))
(*.f64 %67 #s(literal 1 binary64))
(*.f64 z (*.f64 #s(literal 1 binary64) x))
%67
(*.f64 #s(literal 1 binary64) %67)
(*.f64 x z)
(pow.f64 %67 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %67 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %67 %20))
(/.f64 #s(literal 1 binary64) (pow.f64 %67 #s(literal -1 binary64)))
(neg.f64 %81)
(*.f64 %84 #s(literal 1/2 binary64))
(*.f64 %86 #s(literal 2 binary64))
(*.f64 %83 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %83)
(pow.f64 %83 #s(literal 1 binary64))
(/.f64 %84 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %83 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %83 %20))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %96))
(neg.f64 %99)
(neg.f64 %101)
(neg.f64 %96)
(fma.f64 %84 #s(literal 1/2 binary64) %104)
(fma.f64 %84 #s(literal 1/2 binary64) %106)
(fma.f64 %86 #s(literal 2 binary64) %104)
(fma.f64 %86 #s(literal 2 binary64) %106)
(fma.f64 #s(literal 1/2 binary64) %83 %110)
(fma.f64 %83 #s(literal 1/2 binary64) %86)
(fma.f64 %83 #s(literal 1 binary64) %104)
(fma.f64 %83 #s(literal 1 binary64) %106)
(fma.f64 #s(literal 1 binary64) %83 %104)
(fma.f64 #s(literal 1 binary64) %83 %106)
(-.f64 %117 %16)
%83
(+.f64 %86 %86)
(+.f64 %110 %110)
(+.f64 %117 z)
(+.f64 %83 %104)
(+.f64 %83 %106)
(+.f64 z %117)
(pow.f64 %127 #s(literal 1 binary64))
%127
(/.f64 #s(literal 1 binary64) (pow.f64 %127 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %127 %20))
(/.f64 #s(literal 1 binary64) (pow.f64 %127 #s(literal -1 binary64)))
(*.f64 %137 #s(literal 1/2 binary64))
(*.f64 %140 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %142)
(*.f64 #s(literal 1/2 binary64) %145)
(*.f64 #s(literal 1/2 binary64) %147)
(*.f64 #s(literal 2 binary64) %149)
(*.f64 #s(literal 2 binary64) %140)
(*.f64 %135 #s(literal -1 binary64))
(*.f64 %144 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %135)
(*.f64 #s(literal 1 binary64) %144)
(pow.f64 %117 #s(literal -1 binary64))
(pow.f64 %144 #s(literal 1 binary64))
(/.f64 %145 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) y))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %117))
%144
(/.f64 #s(literal 1 binary64) (pow.f64 %144 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %144 %20))
(/.f64 #s(literal 1 binary64) (/.f64 %117 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %144 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %117)
(neg.f64 %135)
(fma.f64 %137 #s(literal 1/2 binary64) %175)
(fma.f64 %140 #s(literal 2 binary64) %175)
(fma.f64 #s(literal -2 binary64) %142 %175)
(fma.f64 #s(literal 1/2 binary64) %145 %175)
(fma.f64 #s(literal 1/2 binary64) %147 %175)
(fma.f64 #s(literal 1/2 binary64) %144 %140)
(fma.f64 #s(literal 2 binary64) %149 %175)
(fma.f64 #s(literal 2 binary64) %140 %175)
(fma.f64 %135 #s(literal -1 binary64) %175)
(fma.f64 %144 #s(literal 1 binary64) %175)
(fma.f64 #s(literal -1 binary64) %135 %175)
(fma.f64 #s(literal 1 binary64) %144 %175)
(+.f64 %140 %140)
(+.f64 %144 %175)
(pow.f64 %193 #s(literal 1 binary64))
%193
(/.f64 #s(literal 1 binary64) (pow.f64 %193 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %193 %20))
(/.f64 #s(literal 1 binary64) (pow.f64 %193 #s(literal -1 binary64)))
(*.f64 %84 %201)
(*.f64 %203 %96)
(*.f64 %207 %208)
(*.f64 %211 (/.f64 #s(literal 1 binary64) %212))
(*.f64 %215 (/.f64 #s(literal 1 binary64) %216))
(*.f64 #s(literal 2 binary64) (*.f64 %201 %83))
(*.f64 %208 %83)
(*.f64 %96 %203)
(*.f64 %83 %208)
(*.f64 #s(literal 1 binary64) %224)
(pow.f64 %224 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %83) %80)
(/.f64 (/.f64 %211 %80) x)
(/.f64 (/.f64 %215 x) x)
(/.f64 %99 %80)
(/.f64 %101 %80)
(/.f64 (-.f64 %235 %81) %216)
(/.f64 (fma.f64 %238 %80 %16) %80)
(/.f64 (fma.f64 %238 x z) x)
(/.f64 (-.f64 (*.f64 %238 %80) z) %80)
(/.f64 (-.f64 (*.f64 %205 %80) %117) %80)
(/.f64 (fma.f64 %80 y %249) %216)
(/.f64 (fma.f64 y x %81) %212)
(/.f64 (fma.f64 %80 z (*.f64 %117 %80)) %212)
(/.f64 (fma.f64 z x (*.f64 %117 x)) %216)
(/.f64 (fma.f64 %80 y (*.f64 %80 %16)) %216)
(/.f64 (fma.f64 %80 z %263) %212)
(/.f64 (fma.f64 z x %266) %216)
(/.f64 (-.f64 %81 %266) %212)
(/.f64 (-.f64 %249 %263) %216)
(/.f64 (neg.f64 %207) %80)
(/.f64 (neg.f64 %211) (neg.f64 %212))
(/.f64 (neg.f64 %215) %212)
(/.f64 %207 x)
(/.f64 %211 %212)
(/.f64 %215 %216)
(/.f64 %96 %80)
%224
(/.f64 #s(literal 1 binary64) (pow.f64 %224 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %224 %20))
(/.f64 #s(literal 1 binary64) (/.f64 x %207))
(/.f64 #s(literal 1 binary64) (/.f64 %212 %211))
(/.f64 #s(literal 1 binary64) (/.f64 %216 %215))
(/.f64 #s(literal 1 binary64) (/.f64 x %83))
(/.f64 #s(literal 1 binary64) (pow.f64 %224 #s(literal -1 binary64)))
(neg.f64 (*.f64 %203 %83))
(neg.f64 (/.f64 %96 x))
(fma.f64 %302 %61 %303)
(fma.f64 %302 %61 %238)
(fma.f64 %306 %201 %303)
(fma.f64 %306 %201 %238)
(fma.f64 %203 %16 %303)
(fma.f64 %203 %16 %238)
(fma.f64 #s(literal 2 binary64) %311 %303)
(fma.f64 #s(literal 2 binary64) %311 %238)
(fma.f64 #s(literal 2 binary64) %314 %303)
(fma.f64 #s(literal 2 binary64) %314 %238)
(fma.f64 #s(literal 2 binary64) %317 %303)
(fma.f64 #s(literal 2 binary64) %317 %238)
(fma.f64 %208 %117 %205)
(fma.f64 %208 z %303)
(fma.f64 %208 z %238)
(fma.f64 %117 %208 %205)
(fma.f64 %16 %203 %303)
(fma.f64 %16 %203 %238)
(fma.f64 %205 #s(literal 1 binary64) %303)
(fma.f64 %205 #s(literal 1 binary64) %238)
(fma.f64 z %208 %303)
(fma.f64 z %208 %238)
(fma.f64 #s(literal 1 binary64) %205 %303)
(fma.f64 #s(literal 1 binary64) %205 %238)
(fma.f64 y %203 %205)
(-.f64 (/.f64 %206 x) %334)
(-.f64 (/.f64 %81 %212) (/.f64 %235 %212))
(-.f64 (/.f64 %67 %216) (/.f64 %210 %216))
(-.f64 %238 %342)
(-.f64 %238 %344)
(-.f64 %205 %334)
(+.f64 %303 %205)
(+.f64 %238 %205)
(+.f64 %205 %303)
(+.f64 %205 %238)
(pow.f64 %352 #s(literal 1 binary64))
%352
(/.f64 #s(literal 1 binary64) (pow.f64 %352 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %352 %20))
(/.f64 #s(literal 1 binary64) %358)
(neg.f64 %360)
(*.f64 %302 %61)
(*.f64 %306 %201)
(*.f64 %203 %16)
(*.f64 #s(literal 2 binary64) %311)
(*.f64 #s(literal 2 binary64) %314)
(*.f64 #s(literal 2 binary64) %317)
(*.f64 %208 z)
(*.f64 %16 %203)
(*.f64 %205 #s(literal 1 binary64))
(*.f64 z %208)
(*.f64 #s(literal 1 binary64) %205)
(pow.f64 %205 #s(literal 1 binary64))
(/.f64 %16 %80)
%205
(/.f64 #s(literal 1 binary64) (pow.f64 %205 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %205 %20))
(/.f64 #s(literal 1 binary64) (/.f64 %80 %16))
(/.f64 #s(literal 1 binary64) (pow.f64 %205 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x z))
(neg.f64 (*.f64 %208 %16))
(neg.f64 %342)
(neg.f64 %344)
(pow.f64 %389 #s(literal 1 binary64))
%389
(/.f64 #s(literal 1 binary64) (pow.f64 %389 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %389 %20))
(/.f64 #s(literal 1 binary64) %395)
(neg.f64 %397)
(*.f64 (*.f64 %358 #s(literal 2 binary64)) %61)
(*.f64 %306 %401)
(*.f64 %403 %16)
(*.f64 #s(literal 2 binary64) (*.f64 %401 z))
(*.f64 #s(literal 2 binary64) (*.f64 %61 %358))
(*.f64 #s(literal 2 binary64) (/.f64 %61 %352))
(*.f64 %358 z)
(*.f64 %16 %403)
(*.f64 %413 #s(literal 1 binary64))
(*.f64 z %358)
(*.f64 #s(literal 1 binary64) %413)
(pow.f64 %413 #s(literal 1 binary64))
(/.f64 %16 %360)
%413
(/.f64 #s(literal 1 binary64) (pow.f64 %413 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %413 %20))
(/.f64 #s(literal 1 binary64) (/.f64 %360 %16))
(/.f64 #s(literal 1 binary64) (pow.f64 %413 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %352 z))
(neg.f64 (*.f64 %403 z))
(neg.f64 (*.f64 %358 %16))
(neg.f64 (/.f64 %16 %352))
(*.f64 (*.f64 %395 #s(literal 2 binary64)) %61)
(*.f64 %306 %437)
(*.f64 %439 %16)
(*.f64 #s(literal 2 binary64) (*.f64 %437 z))
(*.f64 #s(literal 2 binary64) (*.f64 %61 %395))
(*.f64 #s(literal 2 binary64) (/.f64 %61 %389))
(*.f64 %395 z)
(*.f64 %16 %439)
(*.f64 %449 #s(literal 1 binary64))
(*.f64 z %395)
(*.f64 #s(literal 1 binary64) %449)
(pow.f64 %449 #s(literal 1 binary64))
(/.f64 %16 %397)
%449
(/.f64 #s(literal 1 binary64) (pow.f64 %449 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %449 %20))
(/.f64 #s(literal 1 binary64) (/.f64 %397 %16))
(/.f64 #s(literal 1 binary64) (pow.f64 %449 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %389 z))
(neg.f64 (*.f64 %439 z))
(neg.f64 (*.f64 %395 %16))
(neg.f64 (/.f64 %16 %389))
%471
(*.f64 %127 %193)
(pow.f64 %471 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %471 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %471 %20))
(/.f64 #s(literal 1 binary64) (pow.f64 %471 #s(literal -1 binary64)))
(*.f64 %7 %480)
(*.f64 %482 %28)
(*.f64 #s(literal 2 binary64) (*.f64 %480 %5))
(*.f64 %56 %5)
(*.f64 %28 %482)
(*.f64 %5 %56)
(*.f64 #s(literal 1 binary64) %489)
(pow.f64 %489 #s(literal 1 binary64))
(/.f64 (*.f64 %28 #s(literal 1 binary64)) %58)
(/.f64 (*.f64 #s(literal -1 binary64) %5) %58)
(/.f64 %26 %58)
(/.f64 %28 %58)
%489
(/.f64 #s(literal 1 binary64) (pow.f64 %489 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %489 %20))
(/.f64 #s(literal 1 binary64) (/.f64 %58 %28))
(/.f64 #s(literal 1 binary64) (pow.f64 %489 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %50 %5))
(neg.f64 (*.f64 %482 %5))
(neg.f64 (/.f64 %28 %50))
(pow.f64 %513 #s(literal 1 binary64))
%513
(/.f64 #s(literal 1 binary64) (pow.f64 %513 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %513 %20))
(/.f64 #s(literal 1 binary64) (pow.f64 %513 #s(literal -1 binary64)))