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

%4 = (-.f64 y z)
%10 = (-.f64 z y)
%12 = (neg.f64 z)
%13 = (neg.f64 y)
%14 = (neg.f64 %13)
%25 = (fma.f64 %4 #s(literal 2 binary64) #s(literal 2 binary64))
%28 = (+.f64 #s(literal 1 binary64) %4)
%32 = (-.f64 %4 #s(literal -1/2 binary64))
%43 = (fma.f64 %12 #s(literal 2 binary64) #s(literal 2 binary64))
%49 = (*.f64 y #s(literal 2 binary64))
%72 = (-.f64 z #s(literal 1 binary64))
%73 = (-.f64 %72 y)
%78 = (-.f64 y #s(literal -1 binary64))
%80 = (-.f64 #s(literal 1 binary64) z)
%89 = (-.f64 #s(literal 1/2 binary64) %10)
%95 = (-.f64 #s(literal 0 binary64) %10)
%101 = (*.f64 %4 #s(literal 2 binary64))
%114 = (fma.f64 %4 x x)
%115 = (/.f64 %114 #s(literal 1/2 binary64))
%117 = (+.f64 x x)
%118 = (*.f64 %28 %117)
%120 = (*.f64 %28 #s(literal 2 binary64))
%121 = (*.f64 #s(literal 1/2 binary64) x)
%123 = (*.f64 %28 #s(literal 1 binary64))
%125 = (*.f64 %114 #s(literal 2 binary64))
%127 = (*.f64 %114 #s(literal 1/2 binary64))
%129 = (*.f64 #s(literal 1/2 binary64) %28)
%131 = (neg.f64 x)
%134 = (*.f64 %121 %28)
%142 = (*.f64 %4 x)
%146 = (*.f64 %131 #s(literal 2 binary64))
%153 = (*.f64 #s(literal -2 binary64) %125)
%155 = (*.f64 #s(literal 2 binary64) %125)
%157 = (*.f64 #s(literal 1 binary64) %125)
%159 = (*.f64 %125 #s(literal -2 binary64))
%161 = (*.f64 %125 #s(literal 2 binary64))
%163 = (*.f64 %125 #s(literal 1 binary64))
%174 = (*.f64 %114 #s(literal -1 binary64))
%176 = (*.f64 %73 x)
%178 = (*.f64 %114 #s(literal 0 binary64))
%180 = (*.f64 #s(literal 0 binary64) %114)
%186 = (*.f64 y %117)
%187 = (fma.f64 %12 x x)
%189 = (*.f64 x %80)
%191 = (*.f64 %80 x)
%196 = (*.f64 y #s(literal 1 binary64))
%200 = (*.f64 %4 %117)
%203 = (*.f64 (neg.f64 (*.f64 #s(literal -1 binary64) %117)) #s(literal 1/2 binary64))
%206 = (*.f64 (neg.f64 %146) #s(literal 1/2 binary64))
%210 = (*.f64 (neg.f64 (*.f64 %131 #s(literal 1/2 binary64))) #s(literal 2 binary64))
%212 = (neg.f64 %117)
%214 = (*.f64 (neg.f64 %212) #s(literal 1/2 binary64))
%216 = (*.f64 %212 #s(literal -1/2 binary64))
%219 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal -1/2 binary64) x))
%221 = (neg.f64 %121)
%222 = (*.f64 #s(literal -2 binary64) %221)
%224 = (*.f64 #s(literal -1 binary64) %131)
%226 = (*.f64 %131 #s(literal -1 binary64))
%229 = (*.f64 %4 #s(literal 1 binary64))
%256 = (*.f64 %12 x)
%260 = (*.f64 #s(literal 1/2 binary64) y)
%264 = (*.f64 #s(literal 1/2 binary64) %4)
%275 = (*.f64 y x)
%293 = (*.f64 #s(literal 1/2 binary64) %114)
%297 = (*.f64 %121 y)
%301 = (*.f64 %121 %4)
%382 = (+.f64 x %275)
%385 = (*.f64 (neg.f64 (*.f64 %12 %117)) #s(literal 1/2 binary64))
%387 = (*.f64 %12 #s(literal 1 binary64))
%389 = (*.f64 (neg.f64 %387) x)
%391 = (*.f64 %12 #s(literal 2 binary64))
%393 = (*.f64 (neg.f64 %391) %121)
%396 = (*.f64 %212 (*.f64 #s(literal 1/2 binary64) %12))
%398 = (neg.f64 %256)
%399 = (*.f64 %398 #s(literal 1 binary64))
%402 = (*.f64 #s(literal -2 binary64) (*.f64 %121 %12))
%404 = (*.f64 #s(literal -1 binary64) %256)
%406 = (*.f64 %131 %12)
%409 = (*.f64 x z)
%411 = (*.f64 z x)
%413 = (*.f64 x %78)
%429 = (*.f64 %78 x)
%453 = (*.f64 %131 %80)
%482 = (*.f64 %10 x)
%525 = (/.f64 %78 z)
%526 = (-.f64 %525 #s(literal 1 binary64))
%527 = (*.f64 %526 %117)
%529 = (*.f64 %526 #s(literal 2 binary64))
%531 = (*.f64 %526 #s(literal 1 binary64))
%533 = (/.f64 #s(literal 1/2 binary64) z)
%535 = (*.f64 #s(literal -1 binary64) %114)
%536 = (/.f64 #s(literal -1 binary64) z)
%539 = (/.f64 %4 z)
%540 = (*.f64 x %539)
%541 = (fma.f64 %540 z x)
%542 = (/.f64 #s(literal 1 binary64) z)
%544 = (fma.f64 %142 z %411)
%545 = (*.f64 z z)
%546 = (/.f64 #s(literal 1 binary64) %545)
%548 = (*.f64 #s(literal 1/2 binary64) %526)
%550 = (/.f64 x z)
%552 = (-.f64 #s(literal 1 binary64) %525)
%555 = (/.f64 %131 z)
%558 = (*.f64 %533 %114)
%560 = (*.f64 %121 %526)
%564 = (/.f64 %114 z)
%571 = (*.f64 %542 %142)
%576 = (*.f64 %539 x)
%592 = (*.f64 %12 z)
%594 = (*.f64 %482 z)
%596 = (*.f64 z %12)
%598 = (*.f64 %142 z)
%618 = (*.f64 %12 %131)
%623 = (*.f64 z %131)
%633 = (*.f64 z #s(literal 2 binary64))
%636 = (*.f64 #s(literal 2 binary64) %12)
%638 = (*.f64 %28 #s(literal -1 binary64))
%643 = (fma.f64 %539 %12 #s(literal -1 binary64))
%647 = (fma.f64 (/.f64 y z) z %80)
%650 = (fma.f64 %539 z #s(literal 1 binary64))
%653 = (*.f64 %4 %12)
%654 = (-.f64 %653 z)
%656 = (*.f64 %596 #s(literal 2 binary64))
%658 = (fma.f64 %4 z z)
%660 = (*.f64 %545 #s(literal 2 binary64))
%662 = (fma.f64 #s(literal -1 binary64) z %653)
%664 = (*.f64 %592 #s(literal 2 binary64))
%666 = (*.f64 %4 z)
%667 = (+.f64 z %666)
%670 = (*.f64 z #s(literal -1 binary64))
%671 = (fma.f64 %4 %12 %670)
%674 = (*.f64 z #s(literal 1 binary64))
%675 = (fma.f64 %4 z %674)
%679 = (*.f64 z %4)
%680 = (-.f64 (*.f64 #s(literal -1 binary64) z) %679)
%683 = (+.f64 z %679)
%688 = (-.f64 (*.f64 y z) (*.f64 z %72))
%691 = (-.f64 %666 %670)
%694 = (/.f64 #s(literal 2 binary64) z)
%699 = (*.f64 #s(literal 2 binary64) z)
%706 = (*.f64 %12 #s(literal -2 binary64))
%719 = (*.f64 z #s(literal -2 binary64))
%753 = (*.f64 #s(literal -2 binary64) %12)
%758 = (*.f64 #s(literal -2 binary64) z)
%774 = (*.f64 #s(literal 2 binary64) %545)
%800 = (*.f64 #s(literal 2 binary64) %596)
%805 = (*.f64 #s(literal 2 binary64) %592)
%861 = (/.f64 %178 z)
%863 = (/.f64 %180 z)
%886 = (/.f64 %187 z)
%888 = (/.f64 %189 z)
%890 = (/.f64 %191 z)
%892 = (neg.f64 %550)
%893 = (neg.f64 %892)
%895 = (neg.f64 %555)
%914 = (/.f64 %121 z)
%954 = (*.f64 %212 %533)
%956 = (*.f64 #s(literal -2 binary64) %914)
%958 = (*.f64 %536 x)
%960 = (*.f64 #s(literal -1 binary64) %550)
%996 = (/.f64 %598 %545)
%1019 = (/.f64 %411 %12)
%1023 = (/.f64 %127 z)
%1027 = (/.f64 %293 z)
%1031 = (/.f64 %275 z)
x
y
z
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %10)
(fma.f64 #s(literal 1 binary64) %12 %14)
(fma.f64 #s(literal 1 binary64) %12 y)
(-.f64 %14 z)
(-.f64 %12 (neg.f64 %14))
(-.f64 %12 %13)
%4
(+.f64 %12 %14)
(+.f64 %12 y)
(+.f64 y %12)
#s(literal 1 binary64)
(*.f64 %25 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %28)
(pow.f64 %28 #s(literal 1 binary64))
(/.f64 (fma.f64 %32 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %28 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %4 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %4 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 y #s(literal 2 binary64) %43) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %4 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %49 (fma.f64 z #s(literal 2 binary64) #s(literal -2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 %25 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %25 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %25) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %25) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %25) #s(literal 2 binary64))
(/.f64 (neg.f64 %25) #s(literal -2 binary64))
(/.f64 %25 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %25))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
(neg.f64 %73)
(fma.f64 %25 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %43 #s(literal 1/2 binary64) %14)
(fma.f64 %43 #s(literal 1/2 binary64) y)
(fma.f64 #s(literal 1 binary64) %78 %12)
(fma.f64 #s(literal 1 binary64) %80 %14)
(fma.f64 #s(literal 1 binary64) %80 y)
(fma.f64 #s(literal 1 binary64) %12 %78)
(fma.f64 #s(literal 1 binary64) %28 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %4 #s(literal 1 binary64))
(-.f64 %32 #s(literal -1/2 binary64))
(-.f64 %78 z)
(-.f64 %80 %13)
(-.f64 #s(literal 1/2 binary64) (neg.f64 %89))
(-.f64 %12 (-.f64 #s(literal -1 binary64) y))
(-.f64 %28 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (neg.f64 %95))
(-.f64 #s(literal 1 binary64) %10)
(-.f64 %4 #s(literal -1 binary64))
(-.f64 y %72)
(+.f64 (/.f64 %101 #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %32 #s(literal 1/2 binary64))
(+.f64 %78 %12)
(+.f64 %80 %14)
(+.f64 %80 y)
(+.f64 #s(literal 1/2 binary64) %89)
(+.f64 %12 %78)
(+.f64 %28 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %95)
%28
(+.f64 %4 #s(literal 1 binary64))
(+.f64 y %80)
(*.f64 %115 #s(literal 1/2 binary64))
(*.f64 %118 #s(literal 1/2 binary64))
(*.f64 %120 %121)
(*.f64 %123 x)
(*.f64 %125 #s(literal 1/2 binary64))
(*.f64 %127 #s(literal 2 binary64))
(*.f64 %117 %129)
(*.f64 %131 %73)
(*.f64 %73 %131)
(*.f64 #s(literal 2 binary64) %134)
(*.f64 %114 #s(literal 1 binary64))
(*.f64 %28 x)
(*.f64 #s(literal 1 binary64) %114)
(*.f64 x %123)
(*.f64 x %28)
(pow.f64 %114 #s(literal 1 binary64))
(/.f64 (fma.f64 %142 #s(literal 2 binary64) %117) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %142 #s(literal 2 binary64)) %146) #s(literal 2 binary64))
(/.f64 (*.f64 %25 %117) #s(literal 4 binary64))
(/.f64 (*.f64 %117 %25) #s(literal 4 binary64))
(/.f64 %153 #s(literal -4 binary64))
(/.f64 %155 #s(literal 4 binary64))
(/.f64 %157 #s(literal 2 binary64))
(/.f64 %159 #s(literal -4 binary64))
(/.f64 %161 #s(literal 4 binary64))
(/.f64 %163 #s(literal 2 binary64))
(/.f64 (neg.f64 %125) #s(literal -2 binary64))
(/.f64 %118 #s(literal 2 binary64))
(/.f64 %125 #s(literal 2 binary64))
(/.f64 %114 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %125))
(/.f64 #s(literal 1 binary64) (pow.f64 %114 #s(literal -1 binary64)))
(neg.f64 %174)
(neg.f64 %176)
(fma.f64 %115 #s(literal 1/2 binary64) %178)
(fma.f64 %115 #s(literal 1/2 binary64) %180)
(fma.f64 %118 #s(literal 1/2 binary64) %178)
(fma.f64 %118 #s(literal 1/2 binary64) %180)
(fma.f64 %120 %121 %178)
(fma.f64 %120 %121 %180)
(fma.f64 %186 #s(literal 1/2 binary64) %187)
(fma.f64 %186 #s(literal 1/2 binary64) %189)
(fma.f64 %186 #s(literal 1/2 binary64) %191)
(fma.f64 %49 %121 %187)
(fma.f64 %49 %121 %189)
(fma.f64 %49 %121 %191)
(fma.f64 %196 x %187)
(fma.f64 %196 x %189)
(fma.f64 %196 x %191)
(fma.f64 %200 #s(literal 1/2 binary64) %203)
(fma.f64 %200 #s(literal 1/2 binary64) %206)
(fma.f64 %200 #s(literal 1/2 binary64) %210)
(fma.f64 %200 #s(literal 1/2 binary64) %214)
(fma.f64 %200 #s(literal 1/2 binary64) %216)
(fma.f64 %200 #s(literal 1/2 binary64) %219)
(fma.f64 %200 #s(literal 1/2 binary64) %222)
(fma.f64 %200 #s(literal 1/2 binary64) %224)
(fma.f64 %200 #s(literal 1/2 binary64) %226)
(fma.f64 %200 #s(literal 1/2 binary64) x)
(fma.f64 %229 x %203)
(fma.f64 %229 x %206)
(fma.f64 %229 x %210)
(fma.f64 %229 x %214)
(fma.f64 %229 x %216)
(fma.f64 %229 x %219)
(fma.f64 %229 x %222)
(fma.f64 %229 x %224)
(fma.f64 %229 x %226)
(fma.f64 %229 x x)
(fma.f64 %123 x %178)
(fma.f64 %123 x %180)
(fma.f64 %125 #s(literal 1/2 binary64) %178)
(fma.f64 %125 #s(literal 1/2 binary64) %180)
(fma.f64 %127 #s(literal 2 binary64) %178)
(fma.f64 %127 #s(literal 2 binary64) %180)
(fma.f64 %101 %121 %203)
(fma.f64 %101 %121 %206)
(fma.f64 %101 %121 %210)
(fma.f64 %101 %121 %214)
(fma.f64 %101 %121 %216)
(fma.f64 %101 %121 %219)
(fma.f64 %101 %121 %222)
(fma.f64 %101 %121 %224)
(fma.f64 %101 %121 %226)
(fma.f64 %101 %121 x)
(fma.f64 %78 x %256)
(fma.f64 %117 %129 %178)
(fma.f64 %117 %129 %180)
(fma.f64 %117 %260 %187)
(fma.f64 %117 %260 %189)
(fma.f64 %117 %260 %191)
(fma.f64 %117 %264 %203)
(fma.f64 %117 %264 %206)
(fma.f64 %117 %264 %210)
(fma.f64 %117 %264 %214)
(fma.f64 %117 %264 %216)
(fma.f64 %117 %264 %219)
(fma.f64 %117 %264 %222)
(fma.f64 %117 %264 %224)
(fma.f64 %117 %264 %226)
(fma.f64 %117 %264 x)
(fma.f64 %275 #s(literal 1 binary64) %187)
(fma.f64 %275 #s(literal 1 binary64) %189)
(fma.f64 %275 #s(literal 1 binary64) %191)
(fma.f64 %131 %73 %178)
(fma.f64 %131 %73 %180)
(fma.f64 %131 %10 %203)
(fma.f64 %131 %10 %206)
(fma.f64 %131 %10 %210)
(fma.f64 %131 %10 %214)
(fma.f64 %131 %10 %216)
(fma.f64 %131 %10 %219)
(fma.f64 %131 %10 %222)
(fma.f64 %131 %10 %224)
(fma.f64 %131 %10 %226)
(fma.f64 %131 %10 x)
(fma.f64 %73 %131 %178)
(fma.f64 %73 %131 %180)
(fma.f64 #s(literal 1/2 binary64) %114 %293)
(fma.f64 #s(literal 2 binary64) %134 %178)
(fma.f64 #s(literal 2 binary64) %134 %180)
(fma.f64 #s(literal 2 binary64) %297 %187)
(fma.f64 #s(literal 2 binary64) %297 %189)
(fma.f64 #s(literal 2 binary64) %297 %191)
(fma.f64 #s(literal 2 binary64) %301 %203)
(fma.f64 #s(literal 2 binary64) %301 %206)
(fma.f64 #s(literal 2 binary64) %301 %210)
(fma.f64 #s(literal 2 binary64) %301 %214)
(fma.f64 #s(literal 2 binary64) %301 %216)
(fma.f64 #s(literal 2 binary64) %301 %219)
(fma.f64 #s(literal 2 binary64) %301 %222)
(fma.f64 #s(literal 2 binary64) %301 %224)
(fma.f64 #s(literal 2 binary64) %301 %226)
(fma.f64 #s(literal 2 binary64) %301 x)
(fma.f64 %142 #s(literal 1 binary64) %203)
(fma.f64 %142 #s(literal 1 binary64) %206)
(fma.f64 %142 #s(literal 1 binary64) %210)
(fma.f64 %142 #s(literal 1 binary64) %214)
(fma.f64 %142 #s(literal 1 binary64) %216)
(fma.f64 %142 #s(literal 1 binary64) %219)
(fma.f64 %142 #s(literal 1 binary64) %222)
(fma.f64 %142 #s(literal 1 binary64) %224)
(fma.f64 %142 #s(literal 1 binary64) %226)
(fma.f64 %142 #s(literal 1 binary64) x)
(fma.f64 %10 %131 %203)
(fma.f64 %10 %131 %206)
(fma.f64 %10 %131 %210)
(fma.f64 %10 %131 %214)
(fma.f64 %10 %131 %216)
(fma.f64 %10 %131 %219)
(fma.f64 %10 %131 %222)
(fma.f64 %10 %131 %224)
(fma.f64 %10 %131 %226)
(fma.f64 %10 %131 x)
(fma.f64 %114 #s(literal 1/2 binary64) %127)
(fma.f64 %114 #s(literal 1 binary64) %178)
(fma.f64 %114 #s(literal 1 binary64) %180)
(fma.f64 %28 x %178)
(fma.f64 %28 x %180)
(fma.f64 #s(literal 1 binary64) %275 %187)
(fma.f64 #s(literal 1 binary64) %275 %189)
(fma.f64 #s(literal 1 binary64) %275 %191)
(fma.f64 #s(literal 1 binary64) %142 %203)
(fma.f64 #s(literal 1 binary64) %142 %206)
(fma.f64 #s(literal 1 binary64) %142 %210)
(fma.f64 #s(literal 1 binary64) %142 %214)
(fma.f64 #s(literal 1 binary64) %142 %216)
(fma.f64 #s(literal 1 binary64) %142 %219)
(fma.f64 #s(literal 1 binary64) %142 %222)
(fma.f64 #s(literal 1 binary64) %142 %224)
(fma.f64 #s(literal 1 binary64) %142 %226)
(fma.f64 #s(literal 1 binary64) %142 x)
(fma.f64 #s(literal 1 binary64) %114 %178)
(fma.f64 #s(literal 1 binary64) %114 %180)
(fma.f64 %4 x %203)
(fma.f64 %4 x %206)
(fma.f64 %4 x %210)
(fma.f64 %4 x %214)
(fma.f64 %4 x %216)
(fma.f64 %4 x %219)
(fma.f64 %4 x %222)
(fma.f64 %4 x %224)
(fma.f64 %4 x %226)
%114
(fma.f64 y x %187)
(fma.f64 y x %189)
(fma.f64 y x %191)
(fma.f64 x %123 %178)
(fma.f64 x %123 %180)
(fma.f64 x %78 %256)
(fma.f64 x %28 %178)
(fma.f64 x %28 %180)
(fma.f64 x %4 %203)
(fma.f64 x %4 %206)
(fma.f64 x %4 %210)
(fma.f64 x %4 %214)
(fma.f64 x %4 %216)
(fma.f64 x %4 %219)
(fma.f64 x %4 %222)
(fma.f64 x %4 %224)
(fma.f64 x %4 %226)
(fma.f64 x %4 x)
(fma.f64 x y %187)
(fma.f64 x y %189)
(fma.f64 x y %191)
(-.f64 %382 %385)
(-.f64 %382 %389)
(-.f64 %382 %393)
(-.f64 %382 %396)
(-.f64 %382 %399)
(-.f64 %382 %402)
(-.f64 %382 %404)
(-.f64 %382 %406)
(-.f64 %382 %398)
(-.f64 %382 %409)
(-.f64 %382 %411)
(-.f64 %413 %385)
(-.f64 %413 %389)
(-.f64 %413 %393)
(-.f64 %413 %396)
(-.f64 %413 %399)
(-.f64 %413 %402)
(-.f64 %413 %404)
(-.f64 %413 %406)
(-.f64 %413 %398)
(-.f64 %413 %409)
(-.f64 %413 %411)
(-.f64 %127 (*.f64 %176 #s(literal 1/2 binary64)))
(-.f64 %127 (neg.f64 %127))
(-.f64 %429 %385)
(-.f64 %429 %389)
(-.f64 %429 %393)
(-.f64 %429 %396)
(-.f64 %429 %399)
(-.f64 %429 %402)
(-.f64 %429 %404)
(-.f64 %429 %406)
(-.f64 %429 %398)
(-.f64 %429 %409)
(-.f64 %429 %411)
(-.f64 %293 (*.f64 #s(literal -1/2 binary64) %114))
(-.f64 %293 (neg.f64 %293))
(-.f64 %275 (*.f64 %72 x))
(-.f64 %275 (neg.f64 %187))
(-.f64 %275 (neg.f64 %189))
(-.f64 %275 (neg.f64 %191))
(-.f64 %275 %453)
(-.f64 %142 (*.f64 %221 #s(literal 2 binary64)))
(-.f64 %142 (*.f64 #s(literal -1/2 binary64) %117))
(-.f64 %142 %131)
(-.f64 %114 (*.f64 %176 #s(literal 0 binary64)))
(-.f64 %114 (neg.f64 %178))
(-.f64 %114 (neg.f64 %180))
(-.f64 %114 %180)
(-.f64 x (*.f64 (neg.f64 %200) #s(literal 1/2 binary64)))
(-.f64 x (*.f64 (neg.f64 %229) x))
(-.f64 x (*.f64 (neg.f64 %101) %121))
(-.f64 x (*.f64 %212 %264))
(-.f64 x (*.f64 #s(literal -2 binary64) %301))
(-.f64 x (*.f64 #s(literal -1 binary64) %142))
(-.f64 x %482)
(+.f64 %382 %256)
(+.f64 %413 %256)
(+.f64 %127 %127)
(+.f64 %429 %256)
(+.f64 %293 %293)
(+.f64 %275 %187)
(+.f64 %275 %189)
(+.f64 %275 %191)
(+.f64 %142 %203)
(+.f64 %142 %206)
(+.f64 %142 %210)
(+.f64 %142 %214)
(+.f64 %142 %216)
(+.f64 %142 %219)
(+.f64 %142 %222)
(+.f64 %142 %224)
(+.f64 %142 %226)
(+.f64 %142 x)
(+.f64 %114 %178)
(+.f64 %114 %180)
(+.f64 x (*.f64 (neg.f64 (*.f64 %10 %117)) #s(literal 1/2 binary64)))
(+.f64 x (*.f64 (neg.f64 (*.f64 %10 #s(literal 2 binary64))) %121))
(+.f64 x (*.f64 (neg.f64 (*.f64 %10 #s(literal 1 binary64))) x))
(+.f64 x (*.f64 %212 (*.f64 #s(literal 1/2 binary64) %10)))
(+.f64 x (*.f64 #s(literal -2 binary64) (*.f64 %121 %10)))
(+.f64 x (*.f64 #s(literal -1 binary64) %482))
(+.f64 x %142)
(*.f64 %527 #s(literal 1/2 binary64))
(*.f64 %529 %121)
(*.f64 %531 x)
(*.f64 %125 %533)
(*.f64 %535 %536)
(*.f64 %174 %536)
(*.f64 %541 %542)
(*.f64 %544 %546)
(*.f64 %117 %548)
(*.f64 %550 %28)
(*.f64 %131 %552)
(*.f64 %536 %176)
(*.f64 %73 %555)
(*.f64 %526 x)
(*.f64 #s(literal 2 binary64) %558)
(*.f64 #s(literal 2 binary64) %560)
(*.f64 %542 %114)
(*.f64 %176 %536)
(*.f64 %564 #s(literal 1 binary64))
(*.f64 %114 %542)
(*.f64 %28 %550)
(*.f64 #s(literal 1 binary64) %564)
(*.f64 x %526)
(pow.f64 %564 #s(literal 1 binary64))
(/.f64 (fma.f64 %571 %12 %131) %12)
(/.f64 (fma.f64 %571 z x) z)
(/.f64 (fma.f64 %576 %12 %131) %12)
(/.f64 (fma.f64 %576 z x) z)
(/.f64 (fma.f64 %550 %12 %482) %12)
(/.f64 (fma.f64 %550 z %142) z)
(/.f64 (fma.f64 %540 %12 %131) %12)
(/.f64 (fma.f64 %131 %12 (*.f64 %482 %12)) %545)
(/.f64 (fma.f64 %131 z (*.f64 %142 %12)) %592)
(/.f64 (fma.f64 %12 x %594) %596)
(/.f64 (fma.f64 x z %598) %545)
(/.f64 (fma.f64 %482 %12 %406) %545)
(/.f64 (fma.f64 %142 %12 (*.f64 %131 z)) %596)
(/.f64 (fma.f64 %131 %12 (*.f64 %12 %482)) %545)
(/.f64 (fma.f64 %131 z (*.f64 %12 %142)) %592)
(/.f64 (fma.f64 %12 x (*.f64 z %482)) %596)
(/.f64 (fma.f64 x z (*.f64 z %142)) %545)
(/.f64 (fma.f64 %482 %12 %618) %545)
(/.f64 (fma.f64 %482 z %256) %592)
(/.f64 (fma.f64 %142 %12 %623) %596)
(/.f64 (-.f64 %594 %618) %592)
(/.f64 (-.f64 %598 %623) %545)
(/.f64 (*.f64 %131 %25) %391)
(/.f64 (*.f64 x %25) %633)
(/.f64 (*.f64 %146 %28) %636)
(/.f64 (*.f64 %638 %117) %391)
(/.f64 (*.f64 %123 %117) %633)
(/.f64 (*.f64 %643 %117) %391)
(/.f64 (*.f64 %647 %117) %633)
(/.f64 (*.f64 %650 %117) %633)
(/.f64 (*.f64 %654 %117) %656)
(/.f64 (*.f64 %658 %117) %660)
(/.f64 (*.f64 %662 %117) %664)
(/.f64 (*.f64 %667 %117) %660)
(/.f64 (*.f64 %671 %117) %656)
(/.f64 (*.f64 %675 %117) %660)
(/.f64 (*.f64 %680 %117) %664)
(/.f64 (*.f64 %683 %117) %660)
(/.f64 (*.f64 %688 %117) %660)
(/.f64 (*.f64 %691 %117) %660)
(/.f64 (*.f64 %694 %125) #s(literal 4 binary64))
(/.f64 %153 (*.f64 %636 #s(literal 2 binary64)))
(/.f64 %155 (*.f64 %699 #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -1 binary64) %125) %391)
(/.f64 %157 %633)
(/.f64 (*.f64 %535 #s(literal -2 binary64)) %706)
(/.f64 (*.f64 %535 #s(literal 2 binary64)) %391)
(/.f64 (*.f64 %535 #s(literal 1 binary64)) %387)
(/.f64 (*.f64 %174 #s(literal -2 binary64)) %706)
(/.f64 (*.f64 %174 #s(literal 2 binary64)) %391)
(/.f64 (*.f64 %174 #s(literal 1 binary64)) %387)
(/.f64 (*.f64 %541 #s(literal -2 binary64)) %719)
(/.f64 (*.f64 %541 #s(literal 2 binary64)) %633)
(/.f64 (*.f64 %541 #s(literal 1 binary64)) %674)
(/.f64 (*.f64 %544 #s(literal -2 binary64)) (*.f64 %545 #s(literal -2 binary64)))
(/.f64 (*.f64 %544 #s(literal 2 binary64)) %660)
(/.f64 (*.f64 %544 #s(literal 1 binary64)) (*.f64 %545 #s(literal 1 binary64)))
(/.f64 (*.f64 %176 #s(literal -2 binary64)) %706)
(/.f64 (*.f64 %176 #s(literal 2 binary64)) %391)
(/.f64 (*.f64 %114 #s(literal -2 binary64)) %719)
(/.f64 (*.f64 %125 %694) #s(literal 4 binary64))
(/.f64 %159 (*.f64 #s(literal 2 binary64) %636))
(/.f64 %161 (*.f64 #s(literal 2 binary64) %699))
(/.f64 (*.f64 %125 #s(literal -1 binary64)) %636)
(/.f64 %163 %699)
(/.f64 (*.f64 %25 %131) %636)
(/.f64 (*.f64 %25 x) %699)
(/.f64 (*.f64 #s(literal -2 binary64) %535) %753)
(/.f64 (*.f64 #s(literal -2 binary64) %174) %753)
(/.f64 (*.f64 #s(literal -2 binary64) %541) %758)
(/.f64 (*.f64 #s(literal -2 binary64) %544) (*.f64 #s(literal -2 binary64) %545))
(/.f64 (*.f64 #s(literal -2 binary64) %176) %753)
(/.f64 (*.f64 #s(literal -2 binary64) %114) %758)
(/.f64 (*.f64 #s(literal 2 binary64) %535) %636)
(/.f64 (*.f64 #s(literal 2 binary64) %174) %636)
(/.f64 (*.f64 #s(literal 2 binary64) %541) %699)
(/.f64 (*.f64 #s(literal 2 binary64) %544) %774)
(/.f64 (*.f64 #s(literal 2 binary64) %176) %636)
(/.f64 (*.f64 #s(literal 2 binary64) %114) %699)
(/.f64 (*.f64 #s(literal 1 binary64) %535) %12)
(/.f64 (*.f64 #s(literal 1 binary64) %174) %12)
(/.f64 (*.f64 #s(literal 1 binary64) %541) z)
(/.f64 (*.f64 #s(literal 1 binary64) %544) (*.f64 #s(literal 1 binary64) %545))
(/.f64 (*.f64 %117 %638) %636)
(/.f64 (*.f64 %117 %123) %699)
(/.f64 (*.f64 %117 %643) %636)
(/.f64 (*.f64 %117 %647) %699)
(/.f64 (*.f64 %117 %650) %699)
(/.f64 (*.f64 %117 %654) %800)
(/.f64 (*.f64 %117 %658) %774)
(/.f64 (*.f64 %117 %662) %805)
(/.f64 (*.f64 %117 %667) %774)
(/.f64 (*.f64 %117 %671) %800)
(/.f64 (*.f64 %117 %675) %774)
(/.f64 (*.f64 %117 %680) %805)
(/.f64 (*.f64 %117 %683) %774)
(/.f64 (*.f64 %117 %688) %774)
(/.f64 (*.f64 %117 %691) %774)
(/.f64 (*.f64 %117 %73) %636)
(/.f64 (*.f64 %117 %28) %699)
(/.f64 (neg.f64 %535) z)
(/.f64 (neg.f64 %541) %12)
(/.f64 (neg.f64 %544) (neg.f64 %545))
(/.f64 %118 %633)
(/.f64 %527 #s(literal 2 binary64))
(/.f64 (*.f64 %73 %117) %391)
(/.f64 %125 %633)
(/.f64 %535 %12)
(/.f64 %174 %12)
(/.f64 %541 z)
(/.f64 %544 %545)
(/.f64 %176 %387)
(/.f64 %176 %12)
(/.f64 %564 #s(literal 1 binary64))
(/.f64 %114 %674)
%564
(/.f64 #s(literal 1 binary64) (/.f64 %12 %535))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %174))
(/.f64 #s(literal 1 binary64) (/.f64 z %541))
(/.f64 #s(literal 1 binary64) (/.f64 %545 %544))
(/.f64 #s(literal 1 binary64) (pow.f64 %564 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %176))
(/.f64 #s(literal 1 binary64) (/.f64 z %114))
(neg.f64 (*.f64 x %552))
(fma.f64 %527 #s(literal 1/2 binary64) %861)
(fma.f64 %527 #s(literal 1/2 binary64) %863)
(fma.f64 %529 %121 %861)
(fma.f64 %529 %121 %863)
(fma.f64 %531 x %861)
(fma.f64 %531 x %863)
(fma.f64 %125 %533 %861)
(fma.f64 %125 %533 %863)
(fma.f64 %535 %536 %861)
(fma.f64 %535 %536 %863)
(fma.f64 %174 %536 %861)
(fma.f64 %174 %536 %863)
(fma.f64 %541 %542 %861)
(fma.f64 %541 %542 %863)
(fma.f64 %544 %546 %861)
(fma.f64 %544 %546 %863)
(fma.f64 %117 %548 %861)
(fma.f64 %117 %548 %863)
(fma.f64 %117 %533 %571)
(fma.f64 %117 %533 %576)
(fma.f64 %117 %533 %540)
(fma.f64 %550 %28 %861)
(fma.f64 %550 %28 %863)
(fma.f64 %275 %542 %886)
(fma.f64 %275 %542 %888)
(fma.f64 %275 %542 %890)
(fma.f64 %482 %536 %893)
(fma.f64 %482 %536 %895)
(fma.f64 %482 %536 %550)
(fma.f64 %131 %552 %861)
(fma.f64 %131 %552 %863)
(fma.f64 %131 %536 %571)
(fma.f64 %131 %536 %576)
(fma.f64 %131 %536 %540)
(fma.f64 %536 %176 %861)
(fma.f64 %536 %176 %863)
(fma.f64 %539 x %550)
(fma.f64 %73 %555 %861)
(fma.f64 %73 %555 %863)
(fma.f64 %526 x %861)
(fma.f64 %526 x %863)
(fma.f64 #s(literal 2 binary64) %558 %861)
(fma.f64 #s(literal 2 binary64) %558 %863)
(fma.f64 #s(literal 2 binary64) %560 %861)
(fma.f64 #s(literal 2 binary64) %560 %863)
(fma.f64 #s(literal 2 binary64) %914 %571)
(fma.f64 #s(literal 2 binary64) %914 %576)
(fma.f64 #s(literal 2 binary64) %914 %540)
(fma.f64 %142 %542 %893)
(fma.f64 %142 %542 %895)
(fma.f64 %142 %542 %550)
(fma.f64 %542 %142 %550)
(fma.f64 %542 %114 %861)
(fma.f64 %542 %114 %863)
(fma.f64 %542 x %571)
(fma.f64 %542 x %576)
(fma.f64 %542 x %540)
(fma.f64 %176 %536 %861)
(fma.f64 %176 %536 %863)
(fma.f64 %564 #s(literal 1 binary64) %861)
(fma.f64 %564 #s(literal 1 binary64) %863)
(fma.f64 %114 %542 %861)
(fma.f64 %114 %542 %863)
(fma.f64 %28 %550 %861)
(fma.f64 %28 %550 %863)
(fma.f64 #s(literal 1 binary64) %550 %571)
(fma.f64 #s(literal 1 binary64) %550 %576)
(fma.f64 #s(literal 1 binary64) %550 %540)
(fma.f64 #s(literal 1 binary64) %540 %893)
(fma.f64 #s(literal 1 binary64) %540 %895)
(fma.f64 #s(literal 1 binary64) %540 %550)
(fma.f64 #s(literal 1 binary64) %564 %861)
(fma.f64 #s(literal 1 binary64) %564 %863)
(fma.f64 %4 %550 %893)
(fma.f64 %4 %550 %895)
(fma.f64 %4 %550 %550)
(fma.f64 x %539 %893)
(fma.f64 x %539 %895)
(fma.f64 x %539 %550)
(fma.f64 x %526 %861)
(fma.f64 x %526 %863)
(fma.f64 x %542 %571)
(fma.f64 x %542 %576)
(fma.f64 x %542 %540)
(-.f64 %571 %954)
(-.f64 %571 %956)
(-.f64 %571 %958)
(-.f64 %571 %960)
(-.f64 %571 %892)
(-.f64 %571 %555)
(-.f64 %576 %954)
(-.f64 %576 %956)
(-.f64 %576 %958)
(-.f64 %576 %960)
(-.f64 %576 %892)
(-.f64 %576 %555)
(-.f64 %550 (*.f64 %536 %142))
(-.f64 %550 (*.f64 (/.f64 %10 z) x))
(-.f64 %550 (*.f64 %10 %550))
(-.f64 %550 (*.f64 %131 %539))
(-.f64 %550 (neg.f64 %571))
(-.f64 %550 (neg.f64 %576))
(-.f64 %550 (neg.f64 %540))
(-.f64 %550 (/.f64 %482 z))
(-.f64 %540 %954)
(-.f64 %540 %956)
(-.f64 %540 %958)
(-.f64 %540 %960)
(-.f64 %540 %892)
(-.f64 %540 %555)
(+.f64 (/.f64 (*.f64 %540 z) z) %550)
(+.f64 %996 (/.f64 %409 %545))
(+.f64 %996 (/.f64 %411 %545))
(+.f64 (/.f64 (*.f64 %131 %78) %12) (/.f64 %406 %12))
(+.f64 (/.f64 (*.f64 %131 y) %12) (/.f64 %453 %12))
(+.f64 (/.f64 (*.f64 %78 %131) %12) (/.f64 %618 %12))
(+.f64 (/.f64 (*.f64 y %131) %12) (/.f64 (*.f64 %80 %131) %12))
(+.f64 (/.f64 %382 z) %1019)
(+.f64 (/.f64 %413 z) %1019)
(+.f64 %1023 %1023)
(+.f64 (/.f64 %429 z) %1019)
(+.f64 %1027 %1027)
(+.f64 %571 %550)
(+.f64 %576 %550)
(+.f64 %1031 %886)
(+.f64 %1031 %888)
(+.f64 %1031 %890)
(+.f64 %550 %571)
(+.f64 %550 %576)
(+.f64 %550 %540)
(+.f64 %540 %893)
(+.f64 %540 %895)
(+.f64 %540 %550)
(+.f64 %564 %861)
(+.f64 %564 %863)

%3 = (-.f64 y z)
%5 = (+.f64 #s(literal 1 binary64) y)
%7 = (-.f64 #s(literal 1 binary64) z)
%10 = (+ (- y z) 1)
%11 = (approx %10 %7)
%12 = (*.f64 x y)
%13 = (* x %10)
%14 = (approx %13 %12)
%15 = (/.f64 x z)
%16 = (approx %10 %5)
%17 = (/.f64 #s(literal 1 binary64) z)
%18 = (*.f64 #s(literal -1 binary64) x)
%21 = (+.f64 #s(literal 1 binary64) %3)
%22 = (-.f64 y #s(literal -1 binary64))
%23 = (fma.f64 %3 x x)
%24 = (/.f64 %22 z)
%25 = (-.f64 %24 #s(literal 1 binary64))
%31 = (*.f64 x %11)
%33 = (*.f64 x %16)
x
y
z
%3
#s(literal 1 binary64)
%5
#s(literal -1 binary64)
%7
%11
%12
%14
%15
%16
%17
%18
(approx (/ %13 z) %18)
%21
%22
%23
%24
%25
(*.f64 %17 %23)
(/.f64 %23 z)
(*.f64 %21 %15)
(*.f64 x %25)
(/.f64 %14 z)
%31
(/.f64 %31 z)
%33
(/.f64 %33 z)

%4 = (-.f64 y z)
%10 = (-.f64 z y)
%13 = (*.f64 z #s(literal -2 binary64))
%17 = (*.f64 z #s(literal 2 binary64))
%20 = (neg.f64 z)
%21 = (*.f64 #s(literal 2 binary64) %20)
%23 = (*.f64 #s(literal 1/2 binary64) %20)
%29 = (neg.f64 y)
%33 = (-.f64 y #s(literal -1 binary64))
%34 = (*.f64 %33 #s(literal 1/2 binary64))
%35 = (*.f64 %34 #s(literal 2 binary64))
%36 = (*.f64 %33 #s(literal 2 binary64))
%37 = (*.f64 %36 #s(literal 1/2 binary64))
%38 = (*.f64 %33 #s(literal 1 binary64))
%39 = (*.f64 #s(literal 1 binary64) %33)
%40 = (pow.f64 %33 #s(literal 1 binary64))
%42 = (/.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
%43 = (/.f64 %36 #s(literal 2 binary64))
%45 = (/.f64 #s(literal 1 binary64) (pow.f64 %33 #s(literal -1 binary64)))
%46 = (-.f64 #s(literal -1 binary64) y)
%47 = (*.f64 %46 #s(literal 1 binary64))
%48 = (neg.f64 %47)
%49 = (neg.f64 %46)
%51 = (*.f64 %33 #s(literal 0 binary64))
%52 = (fma.f64 %34 #s(literal 2 binary64) %51)
%53 = (*.f64 #s(literal 0 binary64) %33)
%54 = (fma.f64 %34 #s(literal 2 binary64) %53)
%55 = (fma.f64 %34 #s(literal 2 binary64) #s(literal 0 binary64))
%56 = (fma.f64 %36 #s(literal 1/2 binary64) %51)
%57 = (fma.f64 %36 #s(literal 1/2 binary64) %53)
%58 = (fma.f64 %36 #s(literal 1/2 binary64) #s(literal 0 binary64))
%59 = (*.f64 #s(literal 1/2 binary64) %33)
%60 = (fma.f64 #s(literal 1/2 binary64) %33 %59)
%61 = (fma.f64 %33 #s(literal 1/2 binary64) %34)
%62 = (fma.f64 %33 #s(literal 1 binary64) %51)
%63 = (fma.f64 %33 #s(literal 1 binary64) %53)
%64 = (fma.f64 %33 #s(literal 1 binary64) #s(literal 0 binary64))
%65 = (fma.f64 #s(literal 1 binary64) %33 %51)
%66 = (fma.f64 #s(literal 1 binary64) %33 %53)
%67 = (fma.f64 #s(literal 1 binary64) %33 #s(literal 0 binary64))
%68 = (-.f64 #s(literal 1 binary64) %29)
%70 = (+.f64 (+.f64 y #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
%71 = (+.f64 %34 %34)
%72 = (+.f64 %59 %59)
%74 = (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y))
%76 = (+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %29))
%77 = (+.f64 %33 %51)
%78 = (+.f64 %33 %53)
%79 = (+.f64 %33 #s(literal 0 binary64))
%81 = (+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y))
%83 = (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %29))
%84 = (+.f64 #s(literal 1 binary64) y)
%85 = (+.f64 y #s(literal 1 binary64))
%86 = (-.f64 #s(literal 1 binary64) z)
%93 = (-.f64 z #s(literal 1 binary64))
%120 = (- (- y z) -1)
%121 = (approx %120 %86)
%126 = (+.f64 x x)
%127 = (*.f64 y %126)
%129 = (*.f64 y #s(literal 1 binary64))
%131 = (*.f64 y #s(literal 2 binary64))
%132 = (*.f64 #s(literal 1/2 binary64) x)
%134 = (*.f64 #s(literal 1/2 binary64) y)
%136 = (*.f64 %132 y)
%138 = (*.f64 y x)
%145 = (neg.f64 x)
%150 = (* %120 x)
%151 = (approx %150 %138)
%152 = (*.f64 %151 #s(literal 2 binary64))
%154 = (*.f64 %151 #s(literal 1/2 binary64))
%162 = (neg.f64 %151)
%164 = (*.f64 %151 #s(literal 0 binary64))
%166 = (*.f64 #s(literal 0 binary64) %151)
%170 = (*.f64 #s(literal 1/2 binary64) %151)
%181 = (/.f64 #s(literal 1 binary64) z)
%182 = (*.f64 %181 %126)
%184 = (/.f64 x z)
%185 = (*.f64 %184 #s(literal 2 binary64))
%187 = (*.f64 %181 #s(literal 2 binary64))
%189 = (*.f64 %184 #s(literal 1/2 binary64))
%191 = (/.f64 #s(literal 1/2 binary64) z)
%193 = (/.f64 %145 z)
%195 = (*.f64 #s(literal 1/2 binary64) %193)
%197 = (*.f64 #s(literal 2 binary64) %184)
%199 = (*.f64 %191 x)
%201 = (*.f64 #s(literal -1/2 binary64) %193)
%203 = (*.f64 %132 %181)
%205 = (/.f64 %132 z)
%207 = (*.f64 #s(literal 1/2 binary64) %184)
%209 = (/.f64 #s(literal -1 binary64) z)
%220 = (*.f64 %145 #s(literal 2 binary64))
%221 = (*.f64 %20 #s(literal 2 binary64))
%226 = (*.f64 #s(literal 2 binary64) z)
%238 = (*.f64 %184 #s(literal 0 binary64))
%240 = (*.f64 #s(literal 0 binary64) %184)
%286 = (approx %120 %33)
%293 = (*.f64 #s(literal 1/2 binary64) %209)
%295 = (/.f64 #s(literal 1/2 binary64) %20)
%297 = (*.f64 #s(literal 2 binary64) %181)
%299 = (/.f64 #s(literal 2 binary64) z)
%322 = (*.f64 %181 #s(literal 0 binary64))
%324 = (*.f64 #s(literal 0 binary64) %181)
%326 = (/.f64 #s(literal 0 binary64) z)
%367 = (*.f64 #s(literal -1 binary64) %126)
%369 = (*.f64 x #s(literal -2 binary64))
%371 = (*.f64 %145 #s(literal 1/2 binary64))
%373 = (neg.f64 %126)
%378 = (*.f64 #s(literal -1/2 binary64) x)
%380 = (*.f64 %132 #s(literal -1 binary64))
%382 = (neg.f64 %132)
%392 = (*.f64 %145 #s(literal 0 binary64))
%394 = (*.f64 #s(literal 0 binary64) %145)
%408 = (*.f64 #s(literal 1/2 binary64) %145)
%430 = (approx (/ %150 z) %145)
%435 = (-.f64 %4 #s(literal -1 binary64))
%436 = (*.f64 #s(literal 2 binary64) %435)
%438 = (*.f64 #s(literal 1/2 binary64) %435)
%448 = (*.f64 #s(literal -1 binary64) %435)
%450 = (-.f64 %93 y)
%471 = (*.f64 %86 #s(literal 1 binary64))
%480 = (*.f64 %4 #s(literal 1 binary64))
%499 = (*.f64 %435 %126)
%501 = (*.f64 %435 #s(literal 2 binary64))
%503 = (fma.f64 %4 x x)
%504 = (*.f64 %503 #s(literal 2 binary64))
%507 = (*.f64 #s(literal 1/2 binary64) %503)
%510 = (*.f64 #s(literal 2 binary64) %503)
%516 = (*.f64 %450 x)
%526 = (fma.f64 %20 x x)
%528 = (*.f64 %20 x)
%529 = (-.f64 %528 %145)
%531 = (*.f64 x %86)
%533 = (*.f64 %86 x)
%535 = (*.f64 %503 #s(literal 0 binary64))
%537 = (*.f64 #s(literal 0 binary64) %503)
%546 = (*.f64 %4 x)
%547 = (*.f64 %546 #s(literal 2 binary64))
%556 = (*.f64 %4 #s(literal 2 binary64))
%630 = (*.f64 %10 x)
%634 = (*.f64 x %33)
%636 = (*.f64 %33 x)
%647 = (*.f64 %46 #s(literal -1 binary64))
%650 = (/.f64 y z)
%651 = (fma.f64 %650 z #s(literal 1 binary64))
%653 = (fma.f64 z y z)
%654 = (*.f64 z z)
%655 = (/.f64 #s(literal 1 binary64) %654)
%657 = (*.f64 %191 %33)
%661 = (/.f64 %33 z)
%665 = (/.f64 %46 z)
%682 = (*.f64 %181 z)
%689 = (*.f64 %20 z)
%691 = (*.f64 %29 %20)
%694 = (*.f64 y %20)
%697 = (*.f64 %29 z)
%700 = (*.f64 %20 #s(literal -1 binary64))
%705 = (*.f64 %20 %29)
%711 = (*.f64 z %29)
%714 = (*.f64 z y)
%745 = (*.f64 y #s(literal -1 binary64))
%765 = (*.f64 %650 z)
%772 = (/.f64 %29 z)
%777 = (*.f64 %435 #s(literal -1 binary64))
%780 = (-.f64 %661 #s(literal 1 binary64))
%786 = (*.f64 %209 %435)
%798 = (/.f64 %4 z)
%818 = (*.f64 %661 #s(literal 2 binary64))
%823 = (*.f64 %4 %20)
%826 = (*.f64 %4 z)
%853 = (*.f64 %654 z)
%872 = (*.f64 %654 #s(literal 2 binary64))
%893 = (-.f64 #s(literal 1 binary64) %661)
%895 = (*.f64 %4 #s(literal -1 binary64))
%897 = (-.f64 %181 #s(literal 1 binary64))
%899 = (*.f64 %181 %86)
%901 = (*.f64 %86 %181)
%903 = (+.f64 %181 #s(literal -1 binary64))
%905 = (/.f64 %93 z)
%906 = (neg.f64 %905)
%908 = (/.f64 %86 z)
%910 = (+.f64 %650 #s(literal -1 binary64))
%920 = (*.f64 %20 %181)
%922 = (*.f64 %181 %20)
%924 = (/.f64 %20 z)
%1008 = (*.f64 %209 %4)
%1036 = (+.f64 #s(literal -1 binary64) %650)
%1038 = (+.f64 #s(literal -1 binary64) %181)
%1047 = (/.f64 %10 z)
%1067 = (*.f64 (*.f64 %780 %126) #s(literal 1/2 binary64))
%1069 = (*.f64 (*.f64 %780 #s(literal 2 binary64)) %132)
%1070 = (*.f64 %777 %193)
%1071 = (*.f64 %187 %507)
%1072 = (*.f64 %504 %191)
%1073 = (*.f64 %516 #s(literal -1 binary64))
%1074 = (*.f64 %1073 %181)
%1076 = (*.f64 %126 (*.f64 #s(literal 1/2 binary64) %780))
%1077 = (/.f64 %546 z)
%1078 = (*.f64 %1077 %20)
%1079 = (-.f64 %1078 x)
%1080 = (*.f64 %1079 %209)
%1081 = (*.f64 z x)
%1082 = (fma.f64 %798 %1081 x)
%1083 = (*.f64 %1082 %181)
%1084 = (*.f64 %20 %546)
%1085 = (-.f64 %1084 %1081)
%1087 = (*.f64 %1085 (/.f64 #s(literal 1 binary64) %689))
%1088 = (*.f64 z %503)
%1089 = (*.f64 %1088 %655)
%1090 = (*.f64 %450 %193)
%1091 = (*.f64 %780 x)
%1092 = (/.f64 %503 z)
%1093 = (*.f64 #s(literal 2 binary64) %1092)
%1094 = (*.f64 #s(literal 1/2 binary64) %1093)
%1096 = (*.f64 #s(literal 2 binary64) (*.f64 %507 %181))
%1098 = (*.f64 #s(literal 2 binary64) (*.f64 %191 %503))
%1100 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %1092))
%1102 = (*.f64 #s(literal 2 binary64) (*.f64 %132 %780))
%1104 = (*.f64 #s(literal 2 binary64) (/.f64 %507 z))
%1105 = (*.f64 %893 %145)
%1106 = (*.f64 %209 %516)
%1107 = (*.f64 %516 %209)
%1108 = (*.f64 %1092 #s(literal 1 binary64))
%1109 = (*.f64 %503 %181)
%1110 = (*.f64 %145 %786)
%1111 = (*.f64 %145 %893)
%1112 = (*.f64 %181 %503)
%1113 = (*.f64 %184 %435)
%1114 = (*.f64 %435 %184)
%1115 = (*.f64 %209 %503)
%1116 = (*.f64 #s(literal -1 binary64) %1115)
%1117 = (*.f64 %193 %435)
%1118 = (*.f64 #s(literal -1 binary64) %1117)
%1119 = (*.f64 %893 x)
%1120 = (*.f64 #s(literal -1 binary64) %1119)
%1121 = (*.f64 #s(literal 1 binary64) %1092)
%1122 = (*.f64 x %780)
%1123 = (pow.f64 %1092 #s(literal 1 binary64))
%1124 = (/.f64 %1093 #s(literal 2 binary64))
%1126 = (/.f64 (/.f64 %1085 z) %20)
%1128 = (/.f64 (/.f64 %1088 z) z)
%1129 = (/.f64 %1073 z)
%1131 = (/.f64 (fma.f64 %184 %20 %630) %20)
%1133 = (/.f64 (fma.f64 %184 z %546) z)
%1136 = (/.f64 (fma.f64 %630 %20 (*.f64 %145 %20)) %654)
%1138 = (/.f64 (fma.f64 %630 z %528) %689)
%1141 = (/.f64 (fma.f64 %145 %20 (*.f64 %630 %20)) %654)
%1142 = (*.f64 %630 z)
%1144 = (/.f64 (fma.f64 %20 x %1142) %689)
%1145 = (*.f64 %20 %145)
%1147 = (/.f64 (fma.f64 %630 %20 %1145) %654)
%1150 = (/.f64 (fma.f64 %145 %20 (*.f64 %20 %630)) %654)
%1153 = (/.f64 (fma.f64 %20 x (*.f64 z %630)) %689)
%1155 = (/.f64 (-.f64 %1142 %1145) %689)
%1157 = (/.f64 (*.f64 #s(literal 2 binary64) %1079) %21)
%1159 = (/.f64 (*.f64 #s(literal 2 binary64) %1082) %226)
%1162 = (/.f64 (*.f64 #s(literal 2 binary64) %1085) (*.f64 #s(literal 2 binary64) %689))
%1165 = (/.f64 (*.f64 #s(literal 2 binary64) %1088) (*.f64 #s(literal 2 binary64) %654))
%1167 = (/.f64 (*.f64 #s(literal 2 binary64) %516) %21)
%1168 = (/.f64 %510 %226)
%1170 = (/.f64 (neg.f64 %1079) z)
%1172 = (/.f64 (neg.f64 %1082) %20)
%1175 = (/.f64 (neg.f64 %1085) (neg.f64 %689))
%1177 = (/.f64 (neg.f64 %1088) %689)
%1178 = (/.f64 %1079 %20)
%1179 = (/.f64 %1082 z)
%1180 = (/.f64 %1085 %689)
%1181 = (/.f64 %1088 %654)
%1182 = (/.f64 %516 %20)
%1184 = (/.f64 #s(literal 1 binary64) (/.f64 %20 %1079))
%1186 = (/.f64 #s(literal 1 binary64) (/.f64 z %1082))
%1188 = (/.f64 #s(literal 1 binary64) (/.f64 %689 %1085))
%1190 = (/.f64 #s(literal 1 binary64) (/.f64 %654 %1088))
%1192 = (/.f64 #s(literal 1 binary64) (/.f64 %20 %516))
%1194 = (/.f64 #s(literal 1 binary64) (pow.f64 %1092 #s(literal -1 binary64)))
%1196 = (/.f64 #s(literal 1 binary64) (/.f64 z %503))
%1197 = (neg.f64 %1115)
%1198 = (neg.f64 %1117)
%1200 = (neg.f64 (*.f64 #s(literal -1 binary64) %1092))
%1202 = (neg.f64 (*.f64 %780 %145))
%1204 = (neg.f64 (*.f64 %181 %516))
%1206 = (neg.f64 (*.f64 %184 %450))
%1208 = (neg.f64 (/.f64 %1079 z))
%1209 = (neg.f64 %1119)
%1210 = (*.f64 %661 x)
%1211 = (fma.f64 %367 #s(literal 1/2 binary64) %1210)
%1212 = (fma.f64 %369 #s(literal 1/2 binary64) %1210)
%1213 = (*.f64 %661 %126)
%1214 = (*.f64 %20 %184)
%1215 = (fma.f64 %1213 #s(literal 1/2 binary64) %1214)
%1216 = (*.f64 %184 %20)
%1217 = (fma.f64 %1213 #s(literal 1/2 binary64) %1216)
%1218 = (fma.f64 %1213 #s(literal 1/2 binary64) %145)
%1219 = (fma.f64 %182 #s(literal 1/2 binary64) %1077)
%1221 = (fma.f64 (*.f64 %798 %126) #s(literal 1/2 binary64) %184)
%1223 = (fma.f64 (*.f64 %798 #s(literal 2 binary64)) %132 %184)
%1224 = (fma.f64 %185 #s(literal 1/2 binary64) %1077)
%1225 = (fma.f64 %895 %193 %184)
%1226 = (fma.f64 %187 %132 %1077)
%1227 = (fma.f64 %547 %191 %184)
%1228 = (*.f64 x %46)
%1229 = (fma.f64 %1228 %209 %1214)
%1230 = (fma.f64 %1228 %209 %1216)
%1231 = (fma.f64 %1228 %209 %145)
%1232 = (fma.f64 %189 #s(literal 2 binary64) %1077)
%1233 = (fma.f64 %634 %181 %1214)
%1234 = (fma.f64 %634 %181 %1216)
%1235 = (fma.f64 %634 %181 %145)
%1236 = (fma.f64 %371 #s(literal 2 binary64) %1210)
%1237 = (fma.f64 %480 %184 %184)
%1238 = (fma.f64 %373 #s(literal 1/2 binary64) %1210)
%1239 = (fma.f64 %818 %132 %1214)
%1240 = (fma.f64 %818 %132 %1216)
%1241 = (fma.f64 %818 %132 %145)
%1242 = (fma.f64 %220 #s(literal 1/2 binary64) %1210)
%1244 = (fma.f64 %126 (*.f64 #s(literal 1/2 binary64) %798) %184)
%1245 = (*.f64 #s(literal 1/2 binary64) %661)
%1246 = (fma.f64 %126 %1245 %1214)
%1247 = (fma.f64 %126 %1245 %1216)
%1248 = (fma.f64 %126 %1245 %145)
%1249 = (fma.f64 %126 %191 %1077)
%1250 = (fma.f64 %126 #s(literal -1/2 binary64) %1210)
%1251 = (fma.f64 %1210 #s(literal 1 binary64) %1214)
%1252 = (fma.f64 %1210 #s(literal 1 binary64) %1216)
%1253 = (fma.f64 %1210 #s(literal 1 binary64) %145)
%1254 = (fma.f64 %193 #s(literal -1 binary64) %1077)
%1255 = (fma.f64 #s(literal -2 binary64) %195 %1077)
%1256 = (fma.f64 #s(literal -2 binary64) %132 %1210)
%1257 = (fma.f64 %798 x %184)
%1258 = (fma.f64 %630 %209 %184)
%1259 = (fma.f64 #s(literal 1/2 binary64) %197 %1077)
%1261 = (fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %1077) %184)
%1262 = (fma.f64 #s(literal 2 binary64) %378 %1210)
%1263 = (fma.f64 #s(literal 2 binary64) %380 %1210)
%1264 = (fma.f64 #s(literal 2 binary64) %199 %1077)
%1265 = (fma.f64 #s(literal 2 binary64) %201 %1077)
%1266 = (fma.f64 #s(literal 2 binary64) %203 %1077)
%1268 = (fma.f64 #s(literal 2 binary64) (*.f64 %191 %546) %184)
%1270 = (fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %1077) %184)
%1272 = (fma.f64 #s(literal 2 binary64) (*.f64 %132 %798) %184)
%1273 = (*.f64 %132 %661)
%1274 = (fma.f64 #s(literal 2 binary64) %1273 %1214)
%1275 = (fma.f64 #s(literal 2 binary64) %1273 %1216)
%1276 = (fma.f64 #s(literal 2 binary64) %1273 %145)
%1277 = (fma.f64 #s(literal 2 binary64) %205 %1077)
%1278 = (fma.f64 #s(literal 2 binary64) %207 %1077)
%1279 = (fma.f64 #s(literal 2 binary64) %382 %1210)
%1280 = (fma.f64 %209 %145 %1077)
%1281 = (fma.f64 %1077 #s(literal 1 binary64) %184)
%1282 = (fma.f64 %46 %193 %1214)
%1283 = (fma.f64 %46 %193 %1216)
%1284 = (fma.f64 %46 %193 %145)
%1285 = (fma.f64 %546 %181 %184)
%1286 = (fma.f64 %661 x %1214)
%1287 = (fma.f64 %661 x %1216)
%1288 = (fma.f64 %661 x %145)
%1289 = (fma.f64 %33 %184 %1214)
%1290 = (fma.f64 %33 %184 %1216)
%1291 = (fma.f64 %33 %184 %145)
%1292 = (fma.f64 %145 %1008 %184)
%1293 = (fma.f64 %145 %209 %1077)
%1294 = (fma.f64 %145 #s(literal 1 binary64) %1210)
%1295 = (fma.f64 %181 %636 %1214)
%1296 = (fma.f64 %181 %636 %1216)
%1297 = (fma.f64 %181 %636 %145)
%1298 = (fma.f64 %181 %546 %184)
%1299 = (fma.f64 %181 x %1077)
%1300 = (fma.f64 %184 %33 %1214)
%1301 = (fma.f64 %184 %33 %1216)
%1302 = (fma.f64 %184 %33 %145)
%1303 = (fma.f64 %184 #s(literal 1 binary64) %1077)
%1304 = (fma.f64 %184 %4 %184)
%1305 = (*.f64 %184 %86)
%1306 = (fma.f64 %184 y %1305)
%1307 = (*.f64 %193 %4)
%1308 = (fma.f64 #s(literal -1 binary64) %1307 %184)
%1309 = (*.f64 %209 %546)
%1310 = (fma.f64 #s(literal -1 binary64) %1309 %184)
%1311 = (/.f64 %546 %20)
%1312 = (fma.f64 #s(literal -1 binary64) %1311 %184)
%1313 = (fma.f64 #s(literal -1 binary64) %193 %1077)
%1314 = (fma.f64 #s(literal -1 binary64) x %1210)
%1315 = (fma.f64 #s(literal 1 binary64) %1210 %1214)
%1316 = (fma.f64 #s(literal 1 binary64) %1210 %1216)
%1317 = (fma.f64 #s(literal 1 binary64) %1210 %145)
%1318 = (fma.f64 #s(literal 1 binary64) %1077 %184)
%1319 = (fma.f64 #s(literal 1 binary64) %145 %1210)
%1320 = (fma.f64 #s(literal 1 binary64) %184 %1077)
%1321 = (fma.f64 %4 %184 %184)
%1322 = (*.f64 %86 %184)
%1323 = (fma.f64 y %184 %1322)
%1324 = (fma.f64 x %798 %184)
%1325 = (fma.f64 x %661 %1214)
%1326 = (fma.f64 x %661 %1216)
%1327 = (fma.f64 x %661 %145)
%1328 = (fma.f64 x %181 %1077)
%1329 = (fma.f64 x #s(literal -1 binary64) %1210)
%1330 = (-.f64 %1210 x)
%1331 = (-.f64 %1077 %193)
%1332 = (-.f64 %184 %1307)
%1334 = (-.f64 %184 (*.f64 %1047 x))
%1336 = (-.f64 %184 (*.f64 %630 %181))
%1337 = (-.f64 %184 %1309)
%1339 = (-.f64 %184 (*.f64 #s(literal -1 binary64) %1077))
%1341 = (-.f64 %184 (*.f64 %10 %184))
%1343 = (-.f64 %184 (*.f64 %145 %798))
%1345 = (-.f64 %184 (neg.f64 %1077))
%1346 = (-.f64 %184 %1311)
%1348 = (-.f64 %184 (/.f64 %630 z))
%1350 = (+.f64 (*.f64 %184 y) %1305)
%1352 = (+.f64 (*.f64 y %184) %1322)
%1354 = (+.f64 (/.f64 %1078 %20) %184)
%1357 = (+.f64 (/.f64 (*.f64 %798 %1081) z) %184)
%1360 = (+.f64 (/.f64 %1084 %689) (/.f64 %528 %689))
%1364 = (+.f64 (/.f64 (*.f64 %546 z) %654) (/.f64 %1081 %654))
%1365 = (+.f64 %1210 %1214)
%1366 = (+.f64 %1210 %1216)
%1367 = (+.f64 %1210 %145)
%1368 = (+.f64 %1077 %184)
%1369 = (+.f64 %145 %1210)
%1370 = (+.f64 %184 %1077)
%1371 = (*.f64 %162 #s(literal -1 binary64))
%1378 = (/.f64 %151 z)
%1382 = (*.f64 %209 %151)
%1399 = (*.f64 %121 %126)
%1401 = (*.f64 %121 #s(literal 2 binary64))
%1403 = (*.f64 %121 #s(literal 1 binary64))
%1405 = (*.f64 %121 x)
%1406 = (*.f64 %1405 #s(literal 2 binary64))
%1408 = (*.f64 %1405 #s(literal 1/2 binary64))
%1410 = (neg.f64 %121)
%1411 = (neg.f64 %1410)
%1413 = (*.f64 #s(literal 1/2 binary64) %121)
%1416 = (*.f64 %132 %121)
%1428 = (*.f64 %145 %121)
%1430 = (*.f64 %1405 #s(literal 0 binary64))
%1432 = (*.f64 #s(literal 0 binary64) %1405)
%1448 = (*.f64 #s(literal 1/2 binary64) %1405)
%1471 = (/.f64 %121 z)
%1480 = (*.f64 %1428 #s(literal -1 binary64))
%1492 = (/.f64 %1405 z)
%1502 = (*.f64 %209 %1405)
%1520 = (*.f64 %286 %126)
%1522 = (*.f64 %286 #s(literal 2 binary64))
%1524 = (*.f64 %286 x)
%1525 = (*.f64 %1524 #s(literal 2 binary64))
%1527 = (*.f64 %286 #s(literal 1 binary64))
%1529 = (*.f64 %1524 #s(literal 1/2 binary64))
%1531 = (neg.f64 %286)
%1532 = (neg.f64 %1531)
%1534 = (*.f64 #s(literal 1/2 binary64) %286)
%1537 = (*.f64 %132 %286)
%1549 = (*.f64 %145 %286)
%1551 = (*.f64 %1524 #s(literal 0 binary64))
%1553 = (*.f64 #s(literal 0 binary64) %1524)
%1569 = (*.f64 #s(literal 1/2 binary64) %1524)
%1592 = (/.f64 %286 z)
%1598 = (*.f64 %1549 #s(literal -1 binary64))
%1613 = (/.f64 %1524 z)
%1623 = (*.f64 %209 %1524)
x
y
z
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %10)
(fma.f64 %13 #s(literal 1/2 binary64) y)
(fma.f64 %17 #s(literal -1/2 binary64) y)
(fma.f64 #s(literal 1/2 binary64) %21 y)
(fma.f64 #s(literal 2 binary64) %23 y)
(fma.f64 %20 #s(literal 1 binary64) y)
(fma.f64 #s(literal -1 binary64) z y)
(fma.f64 #s(literal 1 binary64) %20 y)
(fma.f64 z #s(literal -1 binary64) y)
(-.f64 %20 %29)
%4
(+.f64 %20 y)
(+.f64 y %20)
#s(literal 1 binary64)
%35
%37
%38
%39
%40
%42
%43
%45
%48
%49
%52
%54
%55
%56
%57
%58
%60
%61
%62
%63
%64
%65
%66
%67
%68
%33
%70
%71
%72
%74
%76
%77
%78
%79
%81
%83
%84
%85
#s(literal -1 binary64)
(*.f64 #s(literal 1 binary64) %86)
(pow.f64 %86 #s(literal 1 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %86 #s(literal -1 binary64)))
(neg.f64 %93)
(fma.f64 %13 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %17 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %21 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %23 #s(literal 1 binary64))
(fma.f64 %20 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) z #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %20 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %86 #s(literal 0 binary64))
(fma.f64 z #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 %20 #s(literal -1 binary64))
%86
(+.f64 (+.f64 %20 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %20))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) z))
(+.f64 %20 #s(literal 1 binary64))
(+.f64 %86 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %20))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) z))
(+.f64 #s(literal 1 binary64) %20)
(*.f64 #s(literal 1 binary64) %121)
(pow.f64 %121 #s(literal 1 binary64))
%121
(/.f64 #s(literal 1 binary64) (pow.f64 %121 #s(literal -1 binary64)))
(*.f64 %127 #s(literal 1/2 binary64))
(*.f64 %129 x)
(*.f64 %131 %132)
(*.f64 %126 %134)
(*.f64 #s(literal 2 binary64) %136)
(*.f64 %138 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %138)
%138
(*.f64 x y)
(pow.f64 %138 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %138 #s(literal -1 binary64)))
(neg.f64 (*.f64 %145 y))
(neg.f64 (*.f64 y %145))
(*.f64 %152 #s(literal 1/2 binary64))
(*.f64 %154 #s(literal 2 binary64))
(*.f64 %151 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %151)
(pow.f64 %151 #s(literal 1 binary64))
%151
(/.f64 %152 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %151 #s(literal -1 binary64)))
(neg.f64 %162)
(fma.f64 %152 #s(literal 1/2 binary64) %164)
(fma.f64 %152 #s(literal 1/2 binary64) %166)
(fma.f64 %154 #s(literal 2 binary64) %164)
(fma.f64 %154 #s(literal 2 binary64) %166)
(fma.f64 #s(literal 1/2 binary64) %151 %170)
(fma.f64 %151 #s(literal 1/2 binary64) %154)
(fma.f64 %151 #s(literal 1 binary64) %164)
(fma.f64 %151 #s(literal 1 binary64) %166)
(fma.f64 #s(literal 1 binary64) %151 %164)
(fma.f64 #s(literal 1 binary64) %151 %166)
(+.f64 %154 %154)
(+.f64 %170 %170)
(+.f64 %151 %164)
(+.f64 %151 %166)
(*.f64 %182 #s(literal 1/2 binary64))
(*.f64 %185 #s(literal 1/2 binary64))
(*.f64 %187 %132)
(*.f64 %189 #s(literal 2 binary64))
(*.f64 %126 %191)
(*.f64 %193 #s(literal -1 binary64))
(*.f64 #s(literal -2 binary64) %195)
(*.f64 #s(literal 1/2 binary64) %197)
(*.f64 #s(literal 2 binary64) %199)
(*.f64 #s(literal 2 binary64) %201)
(*.f64 #s(literal 2 binary64) %203)
(*.f64 #s(literal 2 binary64) %205)
(*.f64 #s(literal 2 binary64) %207)
(*.f64 %209 %145)
(*.f64 %145 %209)
(*.f64 %181 x)
(*.f64 %184 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %193)
(*.f64 #s(literal 1 binary64) %184)
(*.f64 x %181)
(pow.f64 %184 #s(literal 1 binary64))
(/.f64 %185 #s(literal 2 binary64))
(/.f64 %197 #s(literal 2 binary64))
(/.f64 %220 %221)
(/.f64 (*.f64 #s(literal 2 binary64) %145) %21)
(/.f64 %126 %17)
(/.f64 %126 %226)
(/.f64 %145 %20)
(/.f64 #s(literal 1 binary64) (/.f64 %20 %145))
(/.f64 #s(literal 1 binary64) (pow.f64 %184 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z x))
%184
(neg.f64 (*.f64 %184 #s(literal -1 binary64)))
(neg.f64 %193)
(fma.f64 %182 #s(literal 1/2 binary64) %238)
(fma.f64 %182 #s(literal 1/2 binary64) %240)
(fma.f64 %185 #s(literal 1/2 binary64) %238)
(fma.f64 %185 #s(literal 1/2 binary64) %240)
(fma.f64 %187 %132 %238)
(fma.f64 %187 %132 %240)
(fma.f64 %189 #s(literal 2 binary64) %238)
(fma.f64 %189 #s(literal 2 binary64) %240)
(fma.f64 %126 %191 %238)
(fma.f64 %126 %191 %240)
(fma.f64 %193 #s(literal -1 binary64) %238)
(fma.f64 %193 #s(literal -1 binary64) %240)
(fma.f64 #s(literal -2 binary64) %195 %238)
(fma.f64 #s(literal -2 binary64) %195 %240)
(fma.f64 #s(literal 1/2 binary64) %197 %238)
(fma.f64 #s(literal 1/2 binary64) %197 %240)
(fma.f64 #s(literal 1/2 binary64) %184 %207)
(fma.f64 #s(literal 2 binary64) %199 %238)
(fma.f64 #s(literal 2 binary64) %199 %240)
(fma.f64 #s(literal 2 binary64) %201 %238)
(fma.f64 #s(literal 2 binary64) %201 %240)
(fma.f64 #s(literal 2 binary64) %203 %238)
(fma.f64 #s(literal 2 binary64) %203 %240)
(fma.f64 #s(literal 2 binary64) %205 %238)
(fma.f64 #s(literal 2 binary64) %205 %240)
(fma.f64 #s(literal 2 binary64) %207 %238)
(fma.f64 #s(literal 2 binary64) %207 %240)
(fma.f64 %209 %145 %238)
(fma.f64 %209 %145 %240)
(fma.f64 %145 %209 %238)
(fma.f64 %145 %209 %240)
(fma.f64 %181 x %238)
(fma.f64 %181 x %240)
(fma.f64 %184 #s(literal 1/2 binary64) %189)
(fma.f64 %184 #s(literal 1 binary64) %238)
(fma.f64 %184 #s(literal 1 binary64) %240)
(fma.f64 #s(literal -1 binary64) %193 %238)
(fma.f64 #s(literal -1 binary64) %193 %240)
(fma.f64 #s(literal 1 binary64) %184 %238)
(fma.f64 #s(literal 1 binary64) %184 %240)
(fma.f64 x %181 %238)
(fma.f64 x %181 %240)
(+.f64 %189 %189)
(+.f64 %207 %207)
(+.f64 %184 %238)
(+.f64 %184 %240)
(*.f64 #s(literal 1 binary64) %286)
(pow.f64 %286 #s(literal 1 binary64))
%286
(/.f64 #s(literal 1 binary64) (pow.f64 %286 #s(literal -1 binary64)))
(*.f64 %187 #s(literal 1/2 binary64))
(*.f64 %191 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %293)
(*.f64 #s(literal -2 binary64) %295)
(*.f64 #s(literal 1/2 binary64) %297)
(*.f64 #s(literal 1/2 binary64) %299)
(*.f64 #s(literal 2 binary64) %191)
(*.f64 %209 #s(literal -1 binary64))
(*.f64 %181 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %209)
(*.f64 #s(literal 1 binary64) %181)
(pow.f64 %181 #s(literal 1 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 %187 #s(literal 2 binary64))
(/.f64 %297 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %221)
(/.f64 #s(literal -2 binary64) %21)
(/.f64 #s(literal 2 binary64) %17)
(/.f64 #s(literal 2 binary64) %226)
(/.f64 #s(literal -1 binary64) %20)
(/.f64 #s(literal 1 binary64) (/.f64 %20 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %181 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z #s(literal 1 binary64)))
%181
(neg.f64 %209)
(fma.f64 %187 #s(literal 1/2 binary64) %322)
(fma.f64 %187 #s(literal 1/2 binary64) %324)
(fma.f64 %187 #s(literal 1/2 binary64) %326)
(fma.f64 %191 #s(literal 2 binary64) %322)
(fma.f64 %191 #s(literal 2 binary64) %324)
(fma.f64 %191 #s(literal 2 binary64) %326)
(fma.f64 %191 #s(literal 1 binary64) %191)
(fma.f64 #s(literal -1/2 binary64) %209 %191)
(fma.f64 #s(literal -2 binary64) %293 %322)
(fma.f64 #s(literal -2 binary64) %293 %324)
(fma.f64 #s(literal -2 binary64) %293 %326)
(fma.f64 #s(literal -2 binary64) %295 %322)
(fma.f64 #s(literal -2 binary64) %295 %324)
(fma.f64 #s(literal -2 binary64) %295 %326)
(fma.f64 #s(literal 1/2 binary64) %297 %322)
(fma.f64 #s(literal 1/2 binary64) %297 %324)
(fma.f64 #s(literal 1/2 binary64) %297 %326)
(fma.f64 #s(literal 1/2 binary64) %299 %322)
(fma.f64 #s(literal 1/2 binary64) %299 %324)
(fma.f64 #s(literal 1/2 binary64) %299 %326)
(fma.f64 #s(literal 1/2 binary64) %181 %191)
(fma.f64 #s(literal 2 binary64) %191 %322)
(fma.f64 #s(literal 2 binary64) %191 %324)
(fma.f64 #s(literal 2 binary64) %191 %326)
(fma.f64 %209 #s(literal -1 binary64) %322)
(fma.f64 %209 #s(literal -1 binary64) %324)
(fma.f64 %209 #s(literal -1 binary64) %326)
(fma.f64 %181 #s(literal 1/2 binary64) %191)
(fma.f64 %181 #s(literal 1 binary64) %322)
(fma.f64 %181 #s(literal 1 binary64) %324)
(fma.f64 %181 #s(literal 1 binary64) %326)
(fma.f64 #s(literal -1 binary64) %209 %322)
(fma.f64 #s(literal -1 binary64) %209 %324)
(fma.f64 #s(literal -1 binary64) %209 %326)
(fma.f64 #s(literal 1 binary64) %191 %191)
(fma.f64 #s(literal 1 binary64) %181 %322)
(fma.f64 #s(literal 1 binary64) %181 %324)
(fma.f64 #s(literal 1 binary64) %181 %326)
(+.f64 %191 %191)
(+.f64 %181 %322)
(+.f64 %181 %324)
(+.f64 %181 %326)
(*.f64 %367 #s(literal 1/2 binary64))
(*.f64 %369 #s(literal 1/2 binary64))
(*.f64 %371 #s(literal 2 binary64))
(*.f64 %373 #s(literal 1/2 binary64))
(*.f64 %220 #s(literal 1/2 binary64))
(*.f64 %126 #s(literal -1/2 binary64))
(*.f64 #s(literal -2 binary64) %132)
(*.f64 #s(literal 2 binary64) %378)
(*.f64 #s(literal 2 binary64) %380)
(*.f64 #s(literal 2 binary64) %382)
(*.f64 %145 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) x)
(*.f64 #s(literal 1 binary64) %145)
(*.f64 x #s(literal -1 binary64))
(pow.f64 %145 #s(literal 1 binary64))
(/.f64 %220 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %145 #s(literal -1 binary64)))
%145
(fma.f64 %367 #s(literal 1/2 binary64) %392)
(fma.f64 %367 #s(literal 1/2 binary64) %394)
(fma.f64 %369 #s(literal 1/2 binary64) %392)
(fma.f64 %369 #s(literal 1/2 binary64) %394)
(fma.f64 %371 #s(literal 2 binary64) %392)
(fma.f64 %371 #s(literal 2 binary64) %394)
(fma.f64 %373 #s(literal 1/2 binary64) %392)
(fma.f64 %373 #s(literal 1/2 binary64) %394)
(fma.f64 %220 #s(literal 1/2 binary64) %392)
(fma.f64 %220 #s(literal 1/2 binary64) %394)
(fma.f64 %126 #s(literal -1/2 binary64) %392)
(fma.f64 %126 #s(literal -1/2 binary64) %394)
(fma.f64 #s(literal -2 binary64) %132 %392)
(fma.f64 #s(literal -2 binary64) %132 %394)
(fma.f64 #s(literal 1/2 binary64) %145 %408)
(fma.f64 #s(literal 2 binary64) %378 %392)
(fma.f64 #s(literal 2 binary64) %378 %394)
(fma.f64 #s(literal 2 binary64) %380 %392)
(fma.f64 #s(literal 2 binary64) %380 %394)
(fma.f64 #s(literal 2 binary64) %382 %392)
(fma.f64 #s(literal 2 binary64) %382 %394)
(fma.f64 %145 #s(literal 1/2 binary64) %371)
(fma.f64 %145 #s(literal 1 binary64) %392)
(fma.f64 %145 #s(literal 1 binary64) %394)
(fma.f64 #s(literal -1 binary64) x %392)
(fma.f64 #s(literal -1 binary64) x %394)
(fma.f64 #s(literal 1 binary64) %145 %392)
(fma.f64 #s(literal 1 binary64) %145 %394)
(fma.f64 x #s(literal -1 binary64) %392)
(fma.f64 x #s(literal -1 binary64) %394)
(+.f64 %371 %371)
(+.f64 %408 %408)
(+.f64 %145 %392)
(+.f64 %145 %394)
(*.f64 #s(literal 1 binary64) %430)
(pow.f64 %430 #s(literal 1 binary64))
%430
(/.f64 #s(literal 1 binary64) (pow.f64 %430 #s(literal -1 binary64)))
(*.f64 #s(literal 1/2 binary64) %436)
(*.f64 #s(literal 2 binary64) %438)
(*.f64 %435 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %435)
(pow.f64 %435 #s(literal 1 binary64))
(/.f64 %436 #s(literal 2 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %435 #s(literal -1 binary64)))
(neg.f64 %448)
(neg.f64 %450)
(fma.f64 %13 #s(literal 1/2 binary64) %33)
(fma.f64 %34 #s(literal 2 binary64) %20)
(fma.f64 %36 #s(literal 1/2 binary64) %20)
(fma.f64 %17 #s(literal -1/2 binary64) %33)
(fma.f64 #s(literal 1/2 binary64) %436 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %21 %33)
(fma.f64 #s(literal 2 binary64) %23 %33)
(fma.f64 #s(literal 2 binary64) %438 #s(literal 0 binary64))
(fma.f64 %20 #s(literal 1 binary64) %33)
(fma.f64 %33 #s(literal 1 binary64) %20)
(fma.f64 %435 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) z %33)
(fma.f64 #s(literal 1 binary64) %20 %33)
(fma.f64 #s(literal 1 binary64) %33 %20)
(fma.f64 #s(literal 1 binary64) %435 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %86 y)
(fma.f64 #s(literal 1 binary64) %4 #s(literal 1 binary64))
(fma.f64 %4 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 z #s(literal -1 binary64) %33)
(fma.f64 y #s(literal 1 binary64) %471)
(-.f64 %20 %46)
(-.f64 %33 z)
(-.f64 %86 %29)
(-.f64 #s(literal 1 binary64) %10)
%435
(-.f64 y %93)
(+.f64 (+.f64 %4 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %480 #s(literal 1 binary64))
(+.f64 %129 %471)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %4))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %10))
(+.f64 %20 %33)
(+.f64 %33 %20)
(+.f64 %435 #s(literal 0 binary64))
(+.f64 %86 y)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %4))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %10))
(+.f64 #s(literal 1 binary64) %480)
(+.f64 #s(literal 1 binary64) %4)
(+.f64 %4 #s(literal 1 binary64))
(+.f64 y %86)
%35
%37
%38
%39
%40
%42
%43
%45
%48
%49
%52
%54
%55
%56
%57
%58
%60
%61
%62
%63
%64
%65
%66
%67
%68
%33
%70
%71
%72
%74
%76
%77
%78
%79
%81
%83
%84
%85
(*.f64 %499 #s(literal 1/2 binary64))
(*.f64 %501 %132)
(*.f64 %504 #s(literal 1/2 binary64))
(*.f64 %126 %438)
(*.f64 %507 #s(literal 2 binary64))
(*.f64 %450 %145)
(*.f64 #s(literal 1/2 binary64) %510)
(*.f64 #s(literal 2 binary64) %507)
(*.f64 %503 #s(literal 1 binary64))
(*.f64 %145 %450)
(*.f64 %435 x)
(*.f64 #s(literal -1 binary64) %516)
(*.f64 #s(literal 1 binary64) %503)
(*.f64 x %435)
(pow.f64 %503 #s(literal 1 binary64))
(/.f64 %504 #s(literal 2 binary64))
(/.f64 %510 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %503 #s(literal -1 binary64)))
(neg.f64 %516)
(fma.f64 %127 #s(literal 1/2 binary64) %526)
(fma.f64 %127 #s(literal 1/2 binary64) %529)
(fma.f64 %127 #s(literal 1/2 binary64) %531)
(fma.f64 %127 #s(literal 1/2 binary64) %533)
(fma.f64 %499 #s(literal 1/2 binary64) %535)
(fma.f64 %499 #s(literal 1/2 binary64) %537)
(fma.f64 %501 %132 %535)
(fma.f64 %501 %132 %537)
(fma.f64 (*.f64 %4 %126) #s(literal 1/2 binary64) x)
(fma.f64 %438 x %507)
(fma.f64 %504 #s(literal 1/2 binary64) %535)
(fma.f64 %504 #s(literal 1/2 binary64) %537)
(fma.f64 %547 #s(literal 1/2 binary64) x)
(fma.f64 %480 x x)
(fma.f64 %129 x %526)
(fma.f64 %129 x %529)
(fma.f64 %129 x %531)
(fma.f64 %129 x %533)
(fma.f64 (*.f64 %546 #s(literal 1/2 binary64)) #s(literal 2 binary64) x)
(fma.f64 %556 %132 x)
(fma.f64 %131 %132 %526)
(fma.f64 %131 %132 %529)
(fma.f64 %131 %132 %531)
(fma.f64 %131 %132 %533)
(fma.f64 %126 %134 %526)
(fma.f64 %126 %134 %529)
(fma.f64 %126 %134 %531)
(fma.f64 %126 %134 %533)
(fma.f64 %126 %438 %535)
(fma.f64 %126 %438 %537)
(fma.f64 %126 (*.f64 #s(literal 1/2 binary64) %4) x)
(fma.f64 %507 #s(literal 2 binary64) %535)
(fma.f64 %507 #s(literal 2 binary64) %537)
(fma.f64 %507 #s(literal 1 binary64) %507)
(fma.f64 %132 %435 %507)
(fma.f64 %450 %145 %535)
(fma.f64 %450 %145 %537)
(fma.f64 #s(literal 1/2 binary64) %510 %535)
(fma.f64 #s(literal 1/2 binary64) %510 %537)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %546) x)
(fma.f64 #s(literal 1/2 binary64) %503 %507)
(fma.f64 #s(literal 2 binary64) %136 %526)
(fma.f64 #s(literal 2 binary64) %136 %529)
(fma.f64 #s(literal 2 binary64) %136 %531)
(fma.f64 #s(literal 2 binary64) %136 %533)
(fma.f64 #s(literal 2 binary64) (*.f64 %132 %4) x)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %546) x)
(fma.f64 #s(literal 2 binary64) %507 %535)
(fma.f64 #s(literal 2 binary64) %507 %537)
(fma.f64 %10 %145 x)
(fma.f64 %546 #s(literal 1 binary64) x)
(fma.f64 %503 #s(literal 1/2 binary64) %507)
(fma.f64 %503 #s(literal 1 binary64) %535)
(fma.f64 %503 #s(literal 1 binary64) %537)
(fma.f64 %33 x %528)
(fma.f64 %145 %450 %535)
(fma.f64 %145 %450 %537)
(fma.f64 %145 %10 x)
(fma.f64 %138 #s(literal 1 binary64) %526)
(fma.f64 %138 #s(literal 1 binary64) %529)
(fma.f64 %138 #s(literal 1 binary64) %531)
(fma.f64 %138 #s(literal 1 binary64) %533)
(fma.f64 %435 x %535)
(fma.f64 %435 x %537)
(fma.f64 #s(literal -1 binary64) %516 %535)
(fma.f64 #s(literal -1 binary64) %516 %537)
(fma.f64 #s(literal 1 binary64) %507 %507)
(fma.f64 #s(literal 1 binary64) %546 x)
(fma.f64 #s(literal 1 binary64) %503 %535)
(fma.f64 #s(literal 1 binary64) %503 %537)
(fma.f64 #s(literal 1 binary64) %138 %526)
(fma.f64 #s(literal 1 binary64) %138 %529)
(fma.f64 #s(literal 1 binary64) %138 %531)
(fma.f64 #s(literal 1 binary64) %138 %533)
%503
(fma.f64 y x %526)
(fma.f64 y x %529)
(fma.f64 y x %531)
(fma.f64 y x %533)
(fma.f64 x %480 x)
(fma.f64 x %33 %528)
(fma.f64 x %435 %535)
(fma.f64 x %435 %537)
(fma.f64 x %4 x)
(fma.f64 x y %526)
(fma.f64 x y %529)
(fma.f64 x y %531)
(fma.f64 x y %533)
(-.f64 %546 %145)
(-.f64 x %630)
(+.f64 (+.f64 x %138) %528)
(+.f64 %634 %528)
(+.f64 %636 %528)
(+.f64 %507 %507)
(+.f64 %546 x)
(+.f64 %503 %535)
(+.f64 %503 %537)
(+.f64 %138 %526)
(+.f64 %138 %529)
(+.f64 %138 %531)
(+.f64 %138 %533)
(+.f64 x %546)
(*.f64 %647 %181)
(*.f64 %36 %191)
(*.f64 %651 %181)
(*.f64 %653 %655)
(*.f64 #s(literal 2 binary64) %657)
(*.f64 %209 %46)
(*.f64 %46 %209)
(*.f64 %661 #s(literal 1 binary64))
(*.f64 %33 %181)
(*.f64 %181 %33)
(*.f64 #s(literal -1 binary64) %665)
(*.f64 #s(literal 1 binary64) %661)
(pow.f64 %661 #s(literal 1 binary64))
(/.f64 (/.f64 %653 z) z)
(/.f64 %647 z)
(/.f64 %47 %20)
(/.f64 (fma.f64 %650 %20 #s(literal -1 binary64)) %20)
(/.f64 (fma.f64 %181 %20 %29) %20)
(/.f64 (fma.f64 %181 z y) z)
(/.f64 (-.f64 (*.f64 %650 %20) #s(literal 1 binary64)) %20)
(/.f64 (-.f64 %682 %29) z)
(/.f64 (fma.f64 %29 %20 (*.f64 #s(literal -1 binary64) %20)) %654)
(/.f64 (fma.f64 y %20 %20) %689)
(/.f64 (fma.f64 #s(literal -1 binary64) %20 %691) %654)
(/.f64 (+.f64 %20 %694) %689)
(/.f64 (+.f64 %20 %697) %689)
(/.f64 (fma.f64 %29 %20 %700) %654)
(/.f64 (fma.f64 %29 z %20) %689)
(/.f64 (fma.f64 #s(literal -1 binary64) %20 %705) %654)
(/.f64 (+.f64 %20 (*.f64 %20 y)) %689)
(/.f64 (+.f64 %20 %711) %689)
(/.f64 (+.f64 z %714) %654)
(/.f64 (-.f64 %697 %700) %689)
(/.f64 (-.f64 %691 %20) %654)
(/.f64 (-.f64 %694 z) %689)
(/.f64 (-.f64 %20 %705) %689)
(/.f64 (-.f64 z %711) %654)
(/.f64 (neg.f64 %651) %20)
(/.f64 (neg.f64 %653) %689)
(/.f64 %651 z)
(/.f64 %653 %654)
(/.f64 %46 %20)
%661
(/.f64 #s(literal 1 binary64) (/.f64 z %651))
(/.f64 #s(literal 1 binary64) (/.f64 %654 %653))
(/.f64 #s(literal 1 binary64) (/.f64 %20 %46))
(/.f64 #s(literal 1 binary64) (pow.f64 %661 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %33))
(neg.f64 %665)
(fma.f64 %745 %209 %181)
(fma.f64 %187 #s(literal 1/2 binary64) %650)
(fma.f64 %129 %181 %181)
(fma.f64 %131 %191 %181)
(fma.f64 %191 #s(literal 2 binary64) %650)
(fma.f64 #s(literal -2 binary64) %293 %650)
(fma.f64 #s(literal -2 binary64) %295 %650)
(fma.f64 #s(literal 1/2 binary64) %297 %650)
(fma.f64 #s(literal 1/2 binary64) %299 %650)
(fma.f64 #s(literal 2 binary64) %191 %650)
(fma.f64 %29 %209 %181)
(fma.f64 %209 #s(literal -1 binary64) %650)
(fma.f64 %650 #s(literal 1 binary64) %181)
(fma.f64 %181 #s(literal 1 binary64) %650)
(fma.f64 %181 y %181)
(fma.f64 #s(literal -1 binary64) %209 %650)
(fma.f64 #s(literal 1 binary64) %650 %181)
(fma.f64 #s(literal 1 binary64) %181 %650)
(fma.f64 y %181 %181)
(-.f64 (/.f64 %765 z) %209)
(-.f64 (/.f64 %714 %654) (/.f64 %20 %654))
(-.f64 %650 %209)
(-.f64 %181 %772)
(+.f64 %650 %181)
(+.f64 %181 %650)
(*.f64 %501 %191)
(*.f64 %777 %209)
(*.f64 %450 %209)
(*.f64 %780 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %191 %435))
(*.f64 %181 %435)
(*.f64 %435 %181)
(*.f64 #s(literal -1 binary64) %786)
(*.f64 #s(literal 1 binary64) %780)
(pow.f64 %780 #s(literal 1 binary64))
(/.f64 %777 %20)
(/.f64 %448 %20)
(/.f64 (+.f64 %20 %651) z)
(/.f64 (fma.f64 #s(literal -1 binary64) %654 %653) %654)
(/.f64 (fma.f64 #s(literal -1 binary64) %20 %46) %20)
(/.f64 (fma.f64 %798 %20 #s(literal -1 binary64)) %20)
(/.f64 (fma.f64 %798 z #s(literal 1 binary64)) z)
(/.f64 (fma.f64 %181 z %4) z)
(/.f64 (-.f64 (*.f64 %798 z) #s(literal -1 binary64)) z)
(/.f64 (-.f64 (*.f64 %798 %20) #s(literal 1 binary64)) %20)
(/.f64 (-.f64 %765 %93) z)
(/.f64 (-.f64 (*.f64 %661 z) z) z)
(/.f64 (-.f64 %682 %10) z)
(/.f64 (-.f64 %818 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %4 %20 %20) %689)
(/.f64 (+.f64 %20 %823) %689)
(/.f64 (+.f64 z %826) %654)
(/.f64 (-.f64 %651 z) z)
(/.f64 (fma.f64 %4 z z) %654)
(/.f64 (+.f64 %20 (*.f64 %20 %4)) %689)
(/.f64 (+.f64 z (*.f64 z %4)) %654)
(/.f64 (-.f64 %826 %20) %654)
(/.f64 (-.f64 %823 z) %689)
(/.f64 (-.f64 %697 (*.f64 %20 %93)) %689)
(/.f64 (-.f64 %714 (*.f64 z %93)) %654)
(/.f64 (-.f64 (*.f64 %651 z) %654) %654)
(/.f64 (-.f64 (*.f64 %653 z) %853) %853)
(/.f64 (-.f64 (*.f64 %46 z) %689) %689)
(/.f64 (-.f64 (*.f64 %33 z) %654) %654)
(/.f64 (-.f64 %20 (*.f64 %20 %10)) %689)
(/.f64 (-.f64 z (*.f64 z %10)) %654)
(/.f64 (-.f64 (*.f64 %651 #s(literal 2 binary64)) %17) %17)
(/.f64 (-.f64 (*.f64 %653 #s(literal 2 binary64)) %872) %872)
(/.f64 (-.f64 (*.f64 %46 #s(literal 2 binary64)) %221) %221)
(/.f64 (-.f64 %36 %17) %17)
(/.f64 %450 %20)
(/.f64 %435 z)
(/.f64 #s(literal 1 binary64) (/.f64 %20 %450))
(/.f64 #s(literal 1 binary64) (/.f64 z %435))
(/.f64 #s(literal 1 binary64) (pow.f64 %780 #s(literal -1 binary64)))
(neg.f64 %786)
(neg.f64 (*.f64 %181 %450))
(neg.f64 (-.f64 %209 %798))
(neg.f64 %893)
(fma.f64 %895 %209 %181)
(fma.f64 %745 %209 %897)
(fma.f64 %745 %209 %899)
(fma.f64 %745 %209 %901)
(fma.f64 %745 %209 %903)
(fma.f64 %745 %209 %906)
(fma.f64 %745 %209 %908)
(fma.f64 %187 #s(literal 1/2 binary64) %910)
(fma.f64 %187 #s(literal 1/2 binary64) %798)
(fma.f64 %480 %181 %181)
(fma.f64 %129 %181 %897)
(fma.f64 %129 %181 %899)
(fma.f64 %129 %181 %901)
(fma.f64 %129 %181 %903)
(fma.f64 %129 %181 %906)
(fma.f64 %129 %181 %908)
(fma.f64 %647 %181 %920)
(fma.f64 %647 %181 %922)
(fma.f64 %647 %181 %924)
(fma.f64 %647 %181 #s(literal -1 binary64))
(fma.f64 %556 %191 %181)
(fma.f64 %131 %191 %897)
(fma.f64 %131 %191 %899)
(fma.f64 %131 %191 %901)
(fma.f64 %131 %191 %903)
(fma.f64 %131 %191 %906)
(fma.f64 %131 %191 %908)
(fma.f64 %36 %191 %920)
(fma.f64 %36 %191 %922)
(fma.f64 %36 %191 %924)
(fma.f64 %36 %191 #s(literal -1 binary64))
(fma.f64 %191 #s(literal 2 binary64) %910)
(fma.f64 %191 #s(literal 2 binary64) %798)
(fma.f64 #s(literal -2 binary64) %293 %910)
(fma.f64 #s(literal -2 binary64) %293 %798)
(fma.f64 #s(literal -2 binary64) %295 %910)
(fma.f64 #s(literal -2 binary64) %295 %798)
(fma.f64 %651 %181 %920)
(fma.f64 %651 %181 %922)
(fma.f64 %651 %181 %924)
(fma.f64 %651 %181 #s(literal -1 binary64))
(fma.f64 %798 #s(literal 1 binary64) %181)
(fma.f64 %653 %655 %920)
(fma.f64 %653 %655 %922)
(fma.f64 %653 %655 %924)
(fma.f64 %653 %655 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %297 %910)
(fma.f64 #s(literal 1/2 binary64) %297 %798)
(fma.f64 #s(literal 1/2 binary64) %299 %910)
(fma.f64 #s(literal 1/2 binary64) %299 %798)
(fma.f64 #s(literal 2 binary64) %657 %920)
(fma.f64 #s(literal 2 binary64) %657 %922)
(fma.f64 #s(literal 2 binary64) %657 %924)
(fma.f64 #s(literal 2 binary64) %657 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %191 %4) %181)
(fma.f64 #s(literal 2 binary64) %191 %910)
(fma.f64 #s(literal 2 binary64) %191 %798)
(fma.f64 %29 %209 %897)
(fma.f64 %29 %209 %899)
(fma.f64 %29 %209 %901)
(fma.f64 %29 %209 %903)
(fma.f64 %29 %209 %906)
(fma.f64 %29 %209 %908)
(fma.f64 %209 %46 %920)
(fma.f64 %209 %46 %922)
(fma.f64 %209 %46 %924)
(fma.f64 %209 %46 #s(literal -1 binary64))
(fma.f64 %209 #s(literal -1 binary64) %910)
(fma.f64 %209 #s(literal -1 binary64) %798)
(fma.f64 %650 #s(literal 1 binary64) %897)
(fma.f64 %650 #s(literal 1 binary64) %899)
(fma.f64 %650 #s(literal 1 binary64) %901)
(fma.f64 %650 #s(literal 1 binary64) %903)
(fma.f64 %650 #s(literal 1 binary64) %906)
(fma.f64 %650 #s(literal 1 binary64) %908)
(fma.f64 %46 %209 %920)
(fma.f64 %46 %209 %922)
(fma.f64 %46 %209 %924)
(fma.f64 %46 %209 #s(literal -1 binary64))
(fma.f64 %661 #s(literal 1 binary64) %920)
(fma.f64 %661 #s(literal 1 binary64) %922)
(fma.f64 %661 #s(literal 1 binary64) %924)
(fma.f64 %661 #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 %33 %181 %920)
(fma.f64 %33 %181 %922)
(fma.f64 %33 %181 %924)
(fma.f64 %33 %181 #s(literal -1 binary64))
(fma.f64 %181 %33 %920)
(fma.f64 %181 %33 %922)
(fma.f64 %181 %33 %924)
(fma.f64 %181 %33 #s(literal -1 binary64))
(fma.f64 %181 #s(literal 1 binary64) %910)
(fma.f64 %181 #s(literal 1 binary64) %798)
(fma.f64 %181 %4 %181)
(fma.f64 %181 y %897)
(fma.f64 %181 y %899)
(fma.f64 %181 y %901)
(fma.f64 %181 y %903)
(fma.f64 %181 y %906)
(fma.f64 %181 y %908)
(fma.f64 #s(literal -1 binary64) %1008 %181)
(fma.f64 #s(literal -1 binary64) %665 %920)
(fma.f64 #s(literal -1 binary64) %665 %922)
(fma.f64 #s(literal -1 binary64) %665 %924)
(fma.f64 #s(literal -1 binary64) %665 #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) %209 %910)
(fma.f64 #s(literal -1 binary64) %209 %798)
(fma.f64 #s(literal 1 binary64) %798 %181)
(fma.f64 #s(literal 1 binary64) %650 %897)
(fma.f64 #s(literal 1 binary64) %650 %899)
(fma.f64 #s(literal 1 binary64) %650 %901)
(fma.f64 #s(literal 1 binary64) %650 %903)
(fma.f64 #s(literal 1 binary64) %650 %906)
(fma.f64 #s(literal 1 binary64) %650 %908)
(fma.f64 #s(literal 1 binary64) %661 %920)
(fma.f64 #s(literal 1 binary64) %661 %922)
(fma.f64 #s(literal 1 binary64) %661 %924)
(fma.f64 #s(literal 1 binary64) %661 #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) %181 %910)
(fma.f64 #s(literal 1 binary64) %181 %798)
(fma.f64 %4 %181 %181)
(fma.f64 y %181 %897)
(fma.f64 y %181 %899)
(fma.f64 y %181 %901)
(fma.f64 y %181 %903)
(fma.f64 y %181 %906)
(fma.f64 y %181 %908)
(-.f64 %1036 %209)
(-.f64 %1038 %772)
(-.f64 (-.f64 %661 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %798 %209)
(-.f64 %780 #s(literal 0 binary64))
(-.f64 %650 %905)
%780
(-.f64 %181 (-.f64 %772 #s(literal -1 binary64)))
(-.f64 %181 %1047)
(-.f64 #s(literal -1 binary64) %665)
(+.f64 %1036 %181)
(+.f64 %1038 %650)
(+.f64 %798 %181)
(+.f64 %650 %897)
(+.f64 %650 %899)
(+.f64 %650 %901)
(+.f64 %650 %903)
(+.f64 %650 %906)
(+.f64 %650 %908)
(+.f64 %661 %920)
(+.f64 %661 %922)
(+.f64 %661 %924)
(+.f64 %661 #s(literal -1 binary64))
(+.f64 %181 %910)
(+.f64 %181 %798)
(+.f64 #s(literal -1 binary64) %661)
%1067
%1069
%1070
%1071
%1072
%1074
%1076
%1080
%1083
%1087
%1089
%1090
%1091
%1094
%1096
%1098
%1100
%1102
%1104
%1105
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1116
%1118
%1120
%1121
%1122
%1123
%1124
%1126
%1128
%1129
%1131
%1133
%1136
%1138
%1141
%1144
%1147
%1150
%1153
%1155
%1157
%1159
%1162
%1165
%1167
%1168
%1170
%1172
%1175
%1177
%1178
%1179
%1180
%1181
%1182
%1092
%1184
%1186
%1188
%1190
%1192
%1194
%1196
%1197
%1198
%1200
%1202
%1204
%1206
%1208
%1209
%1211
%1212
%1215
%1217
%1218
%1219
%1221
%1223
%1224
%1225
%1226
%1227
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1244
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1261
%1262
%1263
%1264
%1265
%1266
%1268
%1270
%1272
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1290
%1291
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1304
%1306
%1308
%1310
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1334
%1336
%1337
%1339
%1341
%1343
%1345
%1346
%1348
%1350
%1352
%1354
%1357
%1360
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1067
%1069
%1070
%1071
%1072
%1074
%1076
%1080
%1083
%1087
%1089
%1090
%1091
%1094
%1096
%1098
%1100
%1102
%1104
%1105
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1116
%1118
%1120
%1121
%1122
%1123
%1124
%1126
%1128
%1129
%1131
%1133
%1136
%1138
%1141
%1144
%1147
%1150
%1153
%1155
%1157
%1159
%1162
%1165
%1167
%1168
%1170
%1172
%1175
%1177
%1178
%1179
%1180
%1181
%1182
%1092
%1184
%1186
%1188
%1190
%1192
%1194
%1196
%1197
%1198
%1200
%1202
%1204
%1206
%1208
%1209
%1211
%1212
%1215
%1217
%1218
%1219
%1221
%1223
%1224
%1225
%1226
%1227
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1244
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1261
%1262
%1263
%1264
%1265
%1266
%1268
%1270
%1272
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1290
%1291
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1304
%1306
%1308
%1310
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1334
%1336
%1337
%1339
%1341
%1343
%1345
%1346
%1348
%1350
%1352
%1354
%1357
%1360
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1067
%1069
%1070
%1071
%1072
%1074
%1076
%1080
%1083
%1087
%1089
%1090
%1091
%1094
%1096
%1098
%1100
%1102
%1104
%1105
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1116
%1118
%1120
%1121
%1122
%1123
%1124
%1126
%1128
%1129
%1131
%1133
%1136
%1138
%1141
%1144
%1147
%1150
%1153
%1155
%1157
%1159
%1162
%1165
%1167
%1168
%1170
%1172
%1175
%1177
%1178
%1179
%1180
%1181
%1182
%1092
%1184
%1186
%1188
%1190
%1192
%1194
%1196
%1197
%1198
%1200
%1202
%1204
%1206
%1208
%1209
%1211
%1212
%1215
%1217
%1218
%1219
%1221
%1223
%1224
%1225
%1226
%1227
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1244
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1261
%1262
%1263
%1264
%1265
%1266
%1268
%1270
%1272
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1290
%1291
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1304
%1306
%1308
%1310
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1334
%1336
%1337
%1339
%1341
%1343
%1345
%1346
%1348
%1350
%1352
%1354
%1357
%1360
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1067
%1069
%1070
%1071
%1072
%1074
%1076
%1080
%1083
%1087
%1089
%1090
%1091
%1094
%1096
%1098
%1100
%1102
%1104
%1105
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1116
%1118
%1120
%1121
%1122
%1123
%1124
%1126
%1128
%1129
%1131
%1133
%1136
%1138
%1141
%1144
%1147
%1150
%1153
%1155
%1157
%1159
%1162
%1165
%1167
%1168
%1170
%1172
%1175
%1177
%1178
%1179
%1180
%1181
%1182
%1092
%1184
%1186
%1188
%1190
%1192
%1194
%1196
%1197
%1198
%1200
%1202
%1204
%1206
%1208
%1209
%1211
%1212
%1215
%1217
%1218
%1219
%1221
%1223
%1224
%1225
%1226
%1227
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1244
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1261
%1262
%1263
%1264
%1265
%1266
%1268
%1270
%1272
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1290
%1291
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1304
%1306
%1308
%1310
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1334
%1336
%1337
%1339
%1341
%1343
%1345
%1346
%1348
%1350
%1352
%1354
%1357
%1360
%1364
%1365
%1366
%1367
%1368
%1369
%1370
(*.f64 %1371 %181)
(*.f64 %152 %191)
(*.f64 #s(literal 2 binary64) (*.f64 %191 %151))
(*.f64 %209 %162)
(*.f64 %162 %209)
(*.f64 %1378 #s(literal 1 binary64))
(*.f64 %181 %151)
(*.f64 %151 %181)
(*.f64 #s(literal -1 binary64) %1382)
(*.f64 #s(literal 1 binary64) %1378)
(pow.f64 %1378 #s(literal 1 binary64))
(/.f64 %1371 z)
(/.f64 (*.f64 %162 #s(literal 1 binary64)) %20)
(/.f64 %162 %20)
%1378
(/.f64 #s(literal 1 binary64) (/.f64 %20 %162))
(/.f64 #s(literal 1 binary64) (pow.f64 %1378 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %151))
(neg.f64 %1382)
(neg.f64 (/.f64 %162 z))
(*.f64 %1399 #s(literal 1/2 binary64))
(*.f64 %1401 %132)
(*.f64 %1403 x)
(*.f64 %1406 #s(literal 1/2 binary64))
(*.f64 %1408 #s(literal 2 binary64))
(*.f64 %1411 x)
(*.f64 %126 %1413)
(*.f64 %1410 %145)
(*.f64 #s(literal 2 binary64) %1416)
(*.f64 %1405 #s(literal 1 binary64))
(*.f64 %145 %1410)
%1405
(*.f64 #s(literal 1 binary64) %1405)
(*.f64 x %1403)
(*.f64 x %1411)
(*.f64 x %121)
(pow.f64 %1405 #s(literal 1 binary64))
(/.f64 %1406 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1405 #s(literal -1 binary64)))
(neg.f64 %1428)
(fma.f64 %1399 #s(literal 1/2 binary64) %1430)
(fma.f64 %1399 #s(literal 1/2 binary64) %1432)
(fma.f64 %1401 %132 %1430)
(fma.f64 %1401 %132 %1432)
(fma.f64 %1403 x %1430)
(fma.f64 %1403 x %1432)
(fma.f64 %1406 #s(literal 1/2 binary64) %1430)
(fma.f64 %1406 #s(literal 1/2 binary64) %1432)
(fma.f64 %1408 #s(literal 2 binary64) %1430)
(fma.f64 %1408 #s(literal 2 binary64) %1432)
(fma.f64 %1411 x %1430)
(fma.f64 %1411 x %1432)
(fma.f64 %126 %1413 %1430)
(fma.f64 %126 %1413 %1432)
(fma.f64 %1410 %145 %1430)
(fma.f64 %1410 %145 %1432)
(fma.f64 #s(literal 1/2 binary64) %1405 %1448)
(fma.f64 #s(literal 2 binary64) %1416 %1430)
(fma.f64 #s(literal 2 binary64) %1416 %1432)
(fma.f64 %1405 #s(literal 1/2 binary64) %1408)
(fma.f64 %1405 #s(literal 1 binary64) %1430)
(fma.f64 %1405 #s(literal 1 binary64) %1432)
(fma.f64 %145 %1410 %1430)
(fma.f64 %145 %1410 %1432)
(fma.f64 %121 x %1430)
(fma.f64 %121 x %1432)
(fma.f64 #s(literal 1 binary64) %1405 %1430)
(fma.f64 #s(literal 1 binary64) %1405 %1432)
(fma.f64 x %1403 %1430)
(fma.f64 x %1403 %1432)
(fma.f64 x %1411 %1430)
(fma.f64 x %1411 %1432)
(fma.f64 x %121 %1430)
(fma.f64 x %121 %1432)
(+.f64 %1408 %1408)
(+.f64 %1448 %1448)
(+.f64 %1405 %1430)
(+.f64 %1405 %1432)
(*.f64 (*.f64 %1471 %126) #s(literal 1/2 binary64))
(*.f64 (*.f64 %1471 #s(literal 2 binary64)) %132)
(*.f64 (*.f64 %121 #s(literal -1 binary64)) %193)
(*.f64 %1403 %184)
(*.f64 %1406 %191)
(*.f64 %1480 %181)
(*.f64 %126 (*.f64 #s(literal 1/2 binary64) %1471))
(*.f64 %1410 %193)
(*.f64 %1471 x)
(*.f64 #s(literal 2 binary64) (*.f64 %191 %1405))
(*.f64 #s(literal 2 binary64) (*.f64 %132 %1471))
(*.f64 %209 %1428)
(*.f64 %1428 %209)
(*.f64 %1492 #s(literal 1 binary64))
(*.f64 %1405 %181)
(*.f64 %145 (*.f64 %121 %209))
(*.f64 %145 (/.f64 %121 %20))
(*.f64 %181 %1405)
(*.f64 %184 %121)
(*.f64 %121 %184)
(*.f64 #s(literal -1 binary64) %1502)
(*.f64 #s(literal 1 binary64) %1492)
(*.f64 x %1471)
(pow.f64 %1492 #s(literal 1 binary64))
(/.f64 %1480 z)
(/.f64 %1428 %20)
%1492
(/.f64 #s(literal 1 binary64) (/.f64 %20 %1428))
(/.f64 #s(literal 1 binary64) (pow.f64 %1492 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %1405))
(neg.f64 %1502)
(neg.f64 (*.f64 %1471 %145))
(neg.f64 (*.f64 %1410 %184))
(*.f64 %1520 #s(literal 1/2 binary64))
(*.f64 %1522 %132)
(*.f64 %1525 #s(literal 1/2 binary64))
(*.f64 %1527 x)
(*.f64 %1529 #s(literal 2 binary64))
(*.f64 %1532 x)
(*.f64 %126 %1534)
(*.f64 %1531 %145)
(*.f64 #s(literal 2 binary64) %1537)
(*.f64 %1524 #s(literal 1 binary64))
(*.f64 %145 %1531)
%1524
(*.f64 #s(literal 1 binary64) %1524)
(*.f64 x %1527)
(*.f64 x %1532)
(*.f64 x %286)
(pow.f64 %1524 #s(literal 1 binary64))
(/.f64 %1525 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1524 #s(literal -1 binary64)))
(neg.f64 %1549)
(fma.f64 %1520 #s(literal 1/2 binary64) %1551)
(fma.f64 %1520 #s(literal 1/2 binary64) %1553)
(fma.f64 %1522 %132 %1551)
(fma.f64 %1522 %132 %1553)
(fma.f64 %1525 #s(literal 1/2 binary64) %1551)
(fma.f64 %1525 #s(literal 1/2 binary64) %1553)
(fma.f64 %1527 x %1551)
(fma.f64 %1527 x %1553)
(fma.f64 %1529 #s(literal 2 binary64) %1551)
(fma.f64 %1529 #s(literal 2 binary64) %1553)
(fma.f64 %1532 x %1551)
(fma.f64 %1532 x %1553)
(fma.f64 %126 %1534 %1551)
(fma.f64 %126 %1534 %1553)
(fma.f64 %1531 %145 %1551)
(fma.f64 %1531 %145 %1553)
(fma.f64 #s(literal 1/2 binary64) %1524 %1569)
(fma.f64 #s(literal 2 binary64) %1537 %1551)
(fma.f64 #s(literal 2 binary64) %1537 %1553)
(fma.f64 %1524 #s(literal 1/2 binary64) %1529)
(fma.f64 %1524 #s(literal 1 binary64) %1551)
(fma.f64 %1524 #s(literal 1 binary64) %1553)
(fma.f64 %145 %1531 %1551)
(fma.f64 %145 %1531 %1553)
(fma.f64 %286 x %1551)
(fma.f64 %286 x %1553)
(fma.f64 #s(literal 1 binary64) %1524 %1551)
(fma.f64 #s(literal 1 binary64) %1524 %1553)
(fma.f64 x %1527 %1551)
(fma.f64 x %1527 %1553)
(fma.f64 x %1532 %1551)
(fma.f64 x %1532 %1553)
(fma.f64 x %286 %1551)
(fma.f64 x %286 %1553)
(+.f64 %1529 %1529)
(+.f64 %1569 %1569)
(+.f64 %1524 %1551)
(+.f64 %1524 %1553)
(*.f64 (*.f64 %1592 %126) #s(literal 1/2 binary64))
(*.f64 (*.f64 %1592 #s(literal 2 binary64)) %132)
(*.f64 %1525 %191)
(*.f64 %1598 %181)
(*.f64 (*.f64 %286 #s(literal -1 binary64)) %193)
(*.f64 %1527 %184)
(*.f64 %126 (*.f64 #s(literal 1/2 binary64) %1592))
(*.f64 %1531 %193)
(*.f64 %1592 x)
(*.f64 #s(literal 2 binary64) (*.f64 %191 %1524))
(*.f64 #s(literal 2 binary64) (*.f64 %132 %1592))
(*.f64 %209 %1549)
(*.f64 %1549 %209)
(*.f64 %1613 #s(literal 1 binary64))
(*.f64 %1524 %181)
(*.f64 %145 (*.f64 %286 %209))
(*.f64 %145 (/.f64 %286 %20))
(*.f64 %181 %1524)
(*.f64 %286 %184)
(*.f64 %184 %286)
(*.f64 #s(literal -1 binary64) %1623)
(*.f64 #s(literal 1 binary64) %1613)
(*.f64 x %1592)
(pow.f64 %1613 #s(literal 1 binary64))
(/.f64 %1598 z)
(/.f64 %1549 %20)
%1613
(/.f64 #s(literal 1 binary64) (/.f64 %20 %1549))
(/.f64 #s(literal 1 binary64) (pow.f64 %1613 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %1524))
(neg.f64 %1623)
(neg.f64 (*.f64 %1592 %145))
(neg.f64 (*.f64 %1531 %184))

%5 = (approx x #s(literal 0 binary64))
%7 = (-.f64 #s(literal 1 binary64) z)
%8 = (/.f64 x z)
%9 = (/.f64 y z)
%10 = (/.f64 #s(literal 1 binary64) z)
%11 = (-.f64 y #s(literal -1 binary64))
%12 = (neg.f64 x)
%13 = (*.f64 y x)
%14 = (/.f64 #s(literal -1 binary64) z)
%17 = (approx (+ 1 y) #s(literal 1 binary64))
%21 = (approx (/ (- y -1) z) %9)
%22 = (- y z)
%23 = (- %22 -1)
%24 = (approx %23 %7)
%25 = (* %23 x)
%26 = (approx %25 %13)
%27 = (approx %23 %11)
%31 = (/.f64 %24 z)
%33 = (/.f64 %27 z)
%34 = (*.f64 %27 %14)
%38 = (-.f64 %21 #s(literal 1 binary64))
%40 = (+ %22 1)
%41 = (approx %40 %17)
%42 = (*.f64 x %41)
%44 = (*.f64 #s(literal -1 binary64) %5)
x
y
z
#s(literal 1 binary64)
#s(literal 0 binary64)
%5
#s(literal -1 binary64)
%7
%8
%9
%10
%11
%12
%13
%14
%17
%21
%24
%26
%27
(approx (/ %25 z) %12)
(*.f64 %26 %10)
%31
(*.f64 x %31)
%33
%34
(*.f64 %12 %34)
(*.f64 %27 %8)
(*.f64 x %33)
%38
(*.f64 x %38)
%41
%42
(/.f64 %42 z)
%44
(approx (/ (* x %40) z) %44)

%5 = (approx x #s(literal 0 binary64))
%7 = (*.f64 %5 #s(literal 2 binary64))
%10 = (*.f64 %5 #s(literal 1/2 binary64))
%12 = (*.f64 #s(literal 2 binary64) %5)
%14 = (*.f64 #s(literal 1/2 binary64) %5)
%16 = (neg.f64 %5)
%28 = (*.f64 %5 #s(literal 0 binary64))
%30 = (*.f64 #s(literal 0 binary64) %5)
%52 = (-.f64 #s(literal 1 binary64) z)
%55 = (neg.f64 z)
%67 = (*.f64 %55 #s(literal 2 binary64))
%69 = (*.f64 z #s(literal 2 binary64))
%91 = (/.f64 #s(literal 1 binary64) z)
%92 = (+.f64 x x)
%95 = (*.f64 %91 #s(literal 2 binary64))
%96 = (*.f64 #s(literal 1/2 binary64) x)
%98 = (neg.f64 x)
%99 = (*.f64 %98 #s(literal 2 binary64))
%100 = (/.f64 #s(literal -1/2 binary64) z)
%102 = (/.f64 #s(literal 1/2 binary64) z)
%104 = (/.f64 %98 z)
%114 = (/.f64 #s(literal -1 binary64) z)
%118 = (/.f64 x z)
%120 = (*.f64 %91 %98)
%135 = (*.f64 y #s(literal 2 binary64))
%137 = (neg.f64 y)
%140 = (/.f64 %137 z)
%147 = (/.f64 y z)
%149 = (*.f64 %114 y)
%166 = (*.f64 #s(literal 2 binary64) %91)
%168 = (/.f64 #s(literal 2 binary64) z)
%180 = (*.f64 #s(literal 2 binary64) %55)
%183 = (*.f64 #s(literal 2 binary64) z)
%193 = (*.f64 %91 #s(literal 0 binary64))
%195 = (*.f64 #s(literal 0 binary64) %91)
%197 = (/.f64 #s(literal 0 binary64) z)
%235 = (-.f64 y #s(literal -1 binary64))
%236 = (*.f64 %235 #s(literal 2 binary64))
%238 = (*.f64 %235 #s(literal 1/2 binary64))
%240 = (-.f64 #s(literal -1 binary64) y)
%251 = (*.f64 %235 #s(literal 0 binary64))
%253 = (*.f64 #s(literal 0 binary64) %235)
%259 = (*.f64 #s(literal 1/2 binary64) %235)
%289 = (*.f64 #s(literal -1 binary64) %92)
%291 = (*.f64 x #s(literal -2 binary64))
%293 = (*.f64 %98 #s(literal 1/2 binary64))
%296 = (neg.f64 %92)
%300 = (*.f64 #s(literal -1/2 binary64) x)
%302 = (*.f64 %96 #s(literal -1 binary64))
%304 = (neg.f64 %96)
%314 = (*.f64 %98 #s(literal 0 binary64))
%316 = (*.f64 #s(literal 0 binary64) %98)
%330 = (*.f64 #s(literal 1/2 binary64) %98)
%358 = (*.f64 y x)
%369 = (*.f64 %91 #s(literal -2 binary64))
%374 = (*.f64 #s(literal 2 binary64) %114)
%376 = (/.f64 #s(literal 2 binary64) %55)
%378 = (*.f64 %102 #s(literal -1 binary64))
%380 = (*.f64 #s(literal -1/2 binary64) %91)
%400 = (/.f64 #s(literal 0 binary64) %55)
%419 = (- y -1)
%420 = (approx %419 #s(literal 1 binary64))
%426 = (approx (/ %419 z) %147)
%432 = (- (- y z) -1)
%433 = (approx %432 %52)
%434 = (*.f64 %433 #s(literal 2 binary64))
%436 = (*.f64 %433 #s(literal 1/2 binary64))
%438 = (neg.f64 %433)
%447 = (*.f64 %433 #s(literal 0 binary64))
%449 = (*.f64 #s(literal 0 binary64) %433)
%453 = (*.f64 #s(literal 1/2 binary64) %433)
%466 = (* %432 x)
%467 = (approx %466 %358)
%468 = (*.f64 %467 #s(literal 1/2 binary64))
%470 = (*.f64 #s(literal 2 binary64) %467)
%472 = (neg.f64 %467)
%475 = (*.f64 #s(literal 1/2 binary64) %467)
%485 = (*.f64 %467 #s(literal 0 binary64))
%487 = (*.f64 #s(literal 0 binary64) %467)
%509 = (approx %432 %235)
%510 = (*.f64 %509 #s(literal 2 binary64))
%512 = (*.f64 %509 #s(literal 1/2 binary64))
%514 = (*.f64 #s(literal 2 binary64) %509)
%516 = (*.f64 #s(literal 1/2 binary64) %509)
%518 = (neg.f64 %509)
%529 = (*.f64 %509 #s(literal 0 binary64))
%531 = (*.f64 #s(literal 0 binary64) %509)
%553 = (/ %466 z)
%554 = (approx %553 %98)
%563 = (/.f64 %467 z)
%564 = (*.f64 #s(literal 2 binary64) %563)
%573 = (*.f64 %114 %467)
%575 = (*.f64 #s(literal -1 binary64) %563)
%577 = (/.f64 %467 %55)
%606 = (/.f64 %438 z)
%611 = (/.f64 %433 z)
%616 = (*.f64 %114 %433)
%629 = (*.f64 %433 x)
%636 = (*.f64 %629 #s(literal -1 binary64))
%640 = (*.f64 %438 x)
%646 = (*.f64 %611 x)
%679 = (*.f64 %518 #s(literal 2 binary64))
%685 = (/.f64 %509 z)
%686 = (neg.f64 %685)
%705 = (*.f64 #s(literal 1/2 binary64) %685)
%729 = (*.f64 (*.f64 %685 %92) #s(literal 1/2 binary64))
%731 = (*.f64 (*.f64 %685 #s(literal 2 binary64)) %96)
%732 = (*.f64 %509 x)
%734 = (*.f64 (*.f64 %732 #s(literal 2 binary64)) %102)
%735 = (*.f64 %518 x)
%737 = (*.f64 (*.f64 %735 #s(literal 2 binary64)) %100)
%738 = (*.f64 %92 %705)
%739 = (*.f64 %104 %518)
%740 = (*.f64 %735 %114)
%741 = (*.f64 %732 %91)
%743 = (*.f64 #s(literal 2 binary64) (*.f64 %100 %735))
%745 = (*.f64 #s(literal 2 binary64) (*.f64 %96 %685))
%746 = (*.f64 %518 %118)
%747 = (*.f64 %746 #s(literal -1 binary64))
%748 = (*.f64 %518 %120)
%749 = (*.f64 %518 %104)
%750 = (*.f64 %685 x)
%751 = (*.f64 %750 #s(literal 1 binary64))
%752 = (*.f64 %686 %98)
%753 = (*.f64 %509 %118)
%754 = (*.f64 %114 %735)
%755 = (*.f64 %98 %686)
%756 = (*.f64 %91 %732)
%757 = (*.f64 %118 %509)
%758 = (*.f64 %91 %735)
%759 = (*.f64 #s(literal -1 binary64) %758)
%760 = (*.f64 %685 %98)
%761 = (*.f64 #s(literal -1 binary64) %760)
%762 = (*.f64 #s(literal 1 binary64) %750)
%763 = (*.f64 x %685)
%764 = (pow.f64 %750 #s(literal 1 binary64))
%765 = (/.f64 %735 %55)
%766 = (/.f64 %732 z)
%768 = (/.f64 #s(literal 1 binary64) (/.f64 %55 %735))
%770 = (/.f64 #s(literal 1 binary64) (/.f64 z %732))
%772 = (/.f64 #s(literal 1 binary64) (pow.f64 %750 #s(literal -1 binary64)))
%773 = (neg.f64 %758)
%774 = (neg.f64 %760)
%775 = (neg.f64 %746)
%776 = (-.f64 %426 #s(literal 1 binary64))
%779 = (*.f64 %426 #s(literal 2 binary64))
%784 = (-.f64 #s(literal 1 binary64) %426)
%790 = (neg.f64 %426)
%807 = (*.f64 %776 x)
%821 = (*.f64 %426 x)
%852 = (approx %432 %420)
%857 = (*.f64 %852 %92)
%859 = (*.f64 %852 #s(literal 2 binary64))
%861 = (*.f64 %852 x)
%862 = (*.f64 %861 #s(literal 2 binary64))
%864 = (*.f64 %852 #s(literal 1 binary64))
%866 = (*.f64 %861 #s(literal 1/2 binary64))
%868 = (neg.f64 %852)
%869 = (neg.f64 %868)
%871 = (*.f64 #s(literal 1/2 binary64) %852)
%874 = (*.f64 %96 %852)
%876 = (*.f64 %852 %98)
%889 = (*.f64 %861 #s(literal 0 binary64))
%891 = (*.f64 #s(literal 0 binary64) %861)
%907 = (*.f64 #s(literal 1/2 binary64) %861)
%932 = (/.f64 %852 z)
%942 = (*.f64 %868 %118)
%951 = (*.f64 %852 %118)
%961 = (*.f64 %114 %861)
%991 = (approx %553 %16)
x
y
z
#s(literal 1 binary64)
#s(literal 0 binary64)
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 %10 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %12)
(*.f64 #s(literal 2 binary64) %14)
(*.f64 %16 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %16)
(*.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 %12 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(neg.f64 %16)
(fma.f64 %7 #s(literal 1/2 binary64) %28)
(fma.f64 %7 #s(literal 1/2 binary64) %30)
(fma.f64 %10 #s(literal 2 binary64) %28)
(fma.f64 %10 #s(literal 2 binary64) %30)
(fma.f64 #s(literal 1/2 binary64) %12 %28)
(fma.f64 #s(literal 1/2 binary64) %12 %30)
(fma.f64 #s(literal 1/2 binary64) %5 %14)
(fma.f64 #s(literal 2 binary64) %14 %28)
(fma.f64 #s(literal 2 binary64) %14 %30)
(fma.f64 %16 #s(literal -1 binary64) %28)
(fma.f64 %16 #s(literal -1 binary64) %30)
(fma.f64 #s(literal -1 binary64) %16 %28)
(fma.f64 #s(literal -1 binary64) %16 %30)
(fma.f64 %5 #s(literal 1/2 binary64) %10)
(fma.f64 %5 #s(literal 1 binary64) %28)
(fma.f64 %5 #s(literal 1 binary64) %30)
(fma.f64 #s(literal 1 binary64) %5 %28)
(fma.f64 #s(literal 1 binary64) %5 %30)
(+.f64 %10 %10)
(+.f64 %14 %14)
(+.f64 %5 %28)
(+.f64 %5 %30)
#s(literal -1 binary64)
(*.f64 #s(literal 1 binary64) %52)
(pow.f64 %52 #s(literal 1 binary64))
(/.f64 (fma.f64 %55 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %52 #s(literal -1 binary64)))
(neg.f64 (-.f64 z #s(literal 1 binary64)))
(fma.f64 (*.f64 z #s(literal -2 binary64)) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 %55 #s(literal 1/2 binary64)) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %67 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %69 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 %55 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) z #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %55 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %52 #s(literal 0 binary64))
(fma.f64 z #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 %55 #s(literal -1 binary64))
%52
(+.f64 (+.f64 %55 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %55))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) z))
(+.f64 %55 #s(literal 1 binary64))
(+.f64 %52 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %55))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) z))
(+.f64 #s(literal 1 binary64) %55)
(*.f64 (*.f64 %91 %92) #s(literal 1/2 binary64))
(*.f64 %95 %96)
(*.f64 %99 %100)
(*.f64 %92 %102)
(*.f64 %104 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %100 %98))
(*.f64 #s(literal 2 binary64) (*.f64 %102 x))
(*.f64 #s(literal 2 binary64) (*.f64 %96 %91))
(*.f64 #s(literal 2 binary64) (/.f64 %96 z))
(*.f64 %114 %98)
(*.f64 %98 %114)
(*.f64 %91 x)
(*.f64 %118 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %120)
(*.f64 #s(literal -1 binary64) %104)
(*.f64 #s(literal 1 binary64) %118)
(*.f64 x %91)
(pow.f64 %118 #s(literal 1 binary64))
(/.f64 %98 %55)
(/.f64 #s(literal 1 binary64) (/.f64 %55 %98))
(/.f64 #s(literal 1 binary64) (pow.f64 %118 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z x))
%118
(neg.f64 %120)
(neg.f64 %104)
(*.f64 %135 %102)
(*.f64 (*.f64 %137 #s(literal 2 binary64)) %100)
(*.f64 %140 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %102 y))
(*.f64 %137 %114)
(*.f64 %114 %137)
(*.f64 %91 y)
(*.f64 %147 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %149)
(*.f64 #s(literal 1 binary64) %147)
(*.f64 y %91)
(pow.f64 %147 #s(literal 1 binary64))
(/.f64 %137 %55)
(/.f64 #s(literal 1 binary64) (/.f64 %55 %137))
(/.f64 #s(literal 1 binary64) (pow.f64 %147 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
%147
(neg.f64 %149)
(neg.f64 %140)
(*.f64 %95 #s(literal 1/2 binary64))
(*.f64 %102 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %100)
(*.f64 #s(literal 1/2 binary64) %166)
(*.f64 #s(literal 1/2 binary64) %168)
(*.f64 #s(literal 2 binary64) %102)
(*.f64 %114 #s(literal -1 binary64))
(*.f64 %91 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %114)
(*.f64 #s(literal 1 binary64) %91)
(pow.f64 %91 #s(literal 1 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 %95 #s(literal 2 binary64))
(/.f64 %166 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %67)
(/.f64 #s(literal -2 binary64) %180)
(/.f64 #s(literal 2 binary64) %69)
(/.f64 #s(literal 2 binary64) %183)
(/.f64 #s(literal -1 binary64) %55)
(/.f64 #s(literal 1 binary64) (/.f64 %55 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %91 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z #s(literal 1 binary64)))
%91
(neg.f64 %114)
(fma.f64 %95 #s(literal 1/2 binary64) %193)
(fma.f64 %95 #s(literal 1/2 binary64) %195)
(fma.f64 %95 #s(literal 1/2 binary64) %197)
(fma.f64 %102 #s(literal 2 binary64) %193)
(fma.f64 %102 #s(literal 2 binary64) %195)
(fma.f64 %102 #s(literal 2 binary64) %197)
(fma.f64 %102 #s(literal 1 binary64) %102)
(fma.f64 #s(literal -1/2 binary64) %114 %102)
(fma.f64 #s(literal -2 binary64) %100 %193)
(fma.f64 #s(literal -2 binary64) %100 %195)
(fma.f64 #s(literal -2 binary64) %100 %197)
(fma.f64 #s(literal 1/2 binary64) %166 %193)
(fma.f64 #s(literal 1/2 binary64) %166 %195)
(fma.f64 #s(literal 1/2 binary64) %166 %197)
(fma.f64 #s(literal 1/2 binary64) %168 %193)
(fma.f64 #s(literal 1/2 binary64) %168 %195)
(fma.f64 #s(literal 1/2 binary64) %168 %197)
(fma.f64 #s(literal 1/2 binary64) %91 %102)
(fma.f64 #s(literal 2 binary64) %102 %193)
(fma.f64 #s(literal 2 binary64) %102 %195)
(fma.f64 #s(literal 2 binary64) %102 %197)
(fma.f64 %114 #s(literal -1 binary64) %193)
(fma.f64 %114 #s(literal -1 binary64) %195)
(fma.f64 %114 #s(literal -1 binary64) %197)
(fma.f64 %91 #s(literal 1/2 binary64) %102)
(fma.f64 %91 #s(literal 1 binary64) %193)
(fma.f64 %91 #s(literal 1 binary64) %195)
(fma.f64 %91 #s(literal 1 binary64) %197)
(fma.f64 #s(literal -1 binary64) %114 %193)
(fma.f64 #s(literal -1 binary64) %114 %195)
(fma.f64 #s(literal -1 binary64) %114 %197)
(fma.f64 #s(literal 1 binary64) %102 %102)
(fma.f64 #s(literal 1 binary64) %91 %193)
(fma.f64 #s(literal 1 binary64) %91 %195)
(fma.f64 #s(literal 1 binary64) %91 %197)
(+.f64 %102 %102)
(+.f64 %91 %193)
(+.f64 %91 %195)
(+.f64 %91 %197)
(*.f64 %236 #s(literal 1/2 binary64))
(*.f64 %238 #s(literal 2 binary64))
(*.f64 %240 #s(literal -1 binary64))
(*.f64 %235 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %235)
(pow.f64 %235 #s(literal 1 binary64))
(/.f64 %236 #s(literal 2 binary64))
(/.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %235 #s(literal -1 binary64)))
(neg.f64 %240)
(fma.f64 %236 #s(literal 1/2 binary64) %251)
(fma.f64 %236 #s(literal 1/2 binary64) %253)
(fma.f64 %236 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %238 #s(literal 2 binary64) %251)
(fma.f64 %238 #s(literal 2 binary64) %253)
(fma.f64 %238 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %235 %259)
(fma.f64 %240 #s(literal -1 binary64) %251)
(fma.f64 %240 #s(literal -1 binary64) %253)
(fma.f64 %240 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %235 #s(literal 1/2 binary64) %238)
(fma.f64 %235 #s(literal 1 binary64) %251)
(fma.f64 %235 #s(literal 1 binary64) %253)
(fma.f64 %235 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %235 %251)
(fma.f64 #s(literal 1 binary64) %235 %253)
(fma.f64 #s(literal 1 binary64) %235 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) %137)
%235
(+.f64 (+.f64 y #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %238 %238)
(+.f64 %259 %259)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %137))
(+.f64 %235 %251)
(+.f64 %235 %253)
(+.f64 %235 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %137))
(+.f64 #s(literal 1 binary64) y)
(+.f64 y #s(literal 1 binary64))
(*.f64 %289 #s(literal 1/2 binary64))
(*.f64 %291 #s(literal 1/2 binary64))
(*.f64 %293 #s(literal 2 binary64))
(*.f64 %99 #s(literal 1/2 binary64))
(*.f64 %296 #s(literal 1/2 binary64))
(*.f64 %92 #s(literal -1/2 binary64))
(*.f64 #s(literal -2 binary64) %96)
(*.f64 #s(literal 2 binary64) %300)
(*.f64 #s(literal 2 binary64) %302)
(*.f64 #s(literal 2 binary64) %304)
(*.f64 %98 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) x)
(*.f64 #s(literal 1 binary64) %98)
(*.f64 x #s(literal -1 binary64))
(pow.f64 %98 #s(literal 1 binary64))
(/.f64 %99 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %98 #s(literal -1 binary64)))
%98
(fma.f64 %289 #s(literal 1/2 binary64) %314)
(fma.f64 %289 #s(literal 1/2 binary64) %316)
(fma.f64 %291 #s(literal 1/2 binary64) %314)
(fma.f64 %291 #s(literal 1/2 binary64) %316)
(fma.f64 %293 #s(literal 2 binary64) %314)
(fma.f64 %293 #s(literal 2 binary64) %316)
(fma.f64 %99 #s(literal 1/2 binary64) %314)
(fma.f64 %99 #s(literal 1/2 binary64) %316)
(fma.f64 %296 #s(literal 1/2 binary64) %314)
(fma.f64 %296 #s(literal 1/2 binary64) %316)
(fma.f64 %92 #s(literal -1/2 binary64) %314)
(fma.f64 %92 #s(literal -1/2 binary64) %316)
(fma.f64 #s(literal -2 binary64) %96 %314)
(fma.f64 #s(literal -2 binary64) %96 %316)
(fma.f64 #s(literal 1/2 binary64) %98 %330)
(fma.f64 #s(literal 2 binary64) %300 %314)
(fma.f64 #s(literal 2 binary64) %300 %316)
(fma.f64 #s(literal 2 binary64) %302 %314)
(fma.f64 #s(literal 2 binary64) %302 %316)
(fma.f64 #s(literal 2 binary64) %304 %314)
(fma.f64 #s(literal 2 binary64) %304 %316)
(fma.f64 %98 #s(literal 1/2 binary64) %293)
(fma.f64 %98 #s(literal 1 binary64) %314)
(fma.f64 %98 #s(literal 1 binary64) %316)
(fma.f64 #s(literal -1 binary64) x %314)
(fma.f64 #s(literal -1 binary64) x %316)
(fma.f64 #s(literal 1 binary64) %98 %314)
(fma.f64 #s(literal 1 binary64) %98 %316)
(fma.f64 x #s(literal -1 binary64) %314)
(fma.f64 x #s(literal -1 binary64) %316)
(+.f64 %293 %293)
(+.f64 %330 %330)
(+.f64 %98 %314)
(+.f64 %98 %316)
(*.f64 (*.f64 y %92) #s(literal 1/2 binary64))
(*.f64 %135 %96)
(*.f64 %92 (*.f64 #s(literal 1/2 binary64) y))
(*.f64 #s(literal 2 binary64) (*.f64 %96 y))
(*.f64 %358 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %358)
%358
(*.f64 x y)
(pow.f64 %358 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %358 #s(literal -1 binary64)))
(neg.f64 (*.f64 y %98))
(neg.f64 (*.f64 %98 y))
(*.f64 %369 #s(literal 1/2 binary64))
(*.f64 %95 #s(literal -1/2 binary64))
(*.f64 %100 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %102)
(*.f64 #s(literal 1/2 binary64) %374)
(*.f64 #s(literal 1/2 binary64) %376)
(*.f64 #s(literal 2 binary64) %378)
(*.f64 #s(literal 2 binary64) %380)
(*.f64 #s(literal 2 binary64) %100)
(*.f64 %114 #s(literal 1 binary64))
(*.f64 %91 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %91)
(*.f64 #s(literal 1 binary64) %114)
(pow.f64 %55 #s(literal -1 binary64))
(pow.f64 %114 #s(literal 1 binary64))
(/.f64 %374 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %183)
(/.f64 #s(literal 2 binary64) %180)
%114
(/.f64 #s(literal 1 binary64) (/.f64 %55 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %114 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %55)
(neg.f64 %91)
(fma.f64 %369 #s(literal 1/2 binary64) %400)
(fma.f64 %95 #s(literal -1/2 binary64) %400)
(fma.f64 %100 #s(literal 2 binary64) %400)
(fma.f64 #s(literal -2 binary64) %102 %400)
(fma.f64 #s(literal 1/2 binary64) %374 %400)
(fma.f64 #s(literal 1/2 binary64) %376 %400)
(fma.f64 #s(literal 1/2 binary64) %114 %100)
(fma.f64 #s(literal 2 binary64) %378 %400)
(fma.f64 #s(literal 2 binary64) %380 %400)
(fma.f64 #s(literal 2 binary64) %100 %400)
(fma.f64 %114 #s(literal 1 binary64) %400)
(fma.f64 %91 #s(literal -1 binary64) %400)
(fma.f64 #s(literal -1 binary64) %91 %400)
(fma.f64 #s(literal 1 binary64) %100 %100)
(fma.f64 #s(literal 1 binary64) %114 %400)
(+.f64 %100 %100)
(+.f64 %114 %400)
(*.f64 #s(literal 1 binary64) %420)
(pow.f64 %420 #s(literal 1 binary64))
%420
(/.f64 #s(literal 1 binary64) (pow.f64 %420 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %426)
(pow.f64 %426 #s(literal 1 binary64))
%426
(/.f64 #s(literal 1 binary64) (pow.f64 %426 #s(literal -1 binary64)))
(*.f64 %434 #s(literal 1/2 binary64))
(*.f64 %436 #s(literal 2 binary64))
(*.f64 %438 #s(literal -1 binary64))
(*.f64 %433 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %433)
(pow.f64 %433 #s(literal 1 binary64))
%433
(/.f64 %434 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %433 #s(literal -1 binary64)))
(neg.f64 %438)
(fma.f64 %434 #s(literal 1/2 binary64) %447)
(fma.f64 %434 #s(literal 1/2 binary64) %449)
(fma.f64 %436 #s(literal 2 binary64) %447)
(fma.f64 %436 #s(literal 2 binary64) %449)
(fma.f64 #s(literal 1/2 binary64) %433 %453)
(fma.f64 %438 #s(literal -1 binary64) %447)
(fma.f64 %438 #s(literal -1 binary64) %449)
(fma.f64 %433 #s(literal 1/2 binary64) %436)
(fma.f64 %433 #s(literal 1 binary64) %447)
(fma.f64 %433 #s(literal 1 binary64) %449)
(fma.f64 #s(literal 1 binary64) %433 %447)
(fma.f64 #s(literal 1 binary64) %433 %449)
(+.f64 %436 %436)
(+.f64 %453 %453)
(+.f64 %433 %447)
(+.f64 %433 %449)
(*.f64 %468 #s(literal 2 binary64))
(*.f64 %470 #s(literal 1/2 binary64))
(*.f64 %472 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %470)
(*.f64 #s(literal 2 binary64) %475)
(*.f64 %467 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %472)
(*.f64 #s(literal 1 binary64) %467)
(pow.f64 %467 #s(literal 1 binary64))
%467
(/.f64 %470 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %467 #s(literal -1 binary64)))
(neg.f64 %472)
(fma.f64 %468 #s(literal 2 binary64) %485)
(fma.f64 %468 #s(literal 2 binary64) %487)
(fma.f64 %470 #s(literal 1/2 binary64) %485)
(fma.f64 %470 #s(literal 1/2 binary64) %487)
(fma.f64 %472 #s(literal -1 binary64) %485)
(fma.f64 %472 #s(literal -1 binary64) %487)
(fma.f64 #s(literal 1/2 binary64) %470 %485)
(fma.f64 #s(literal 1/2 binary64) %470 %487)
(fma.f64 #s(literal 1/2 binary64) %467 %475)
(fma.f64 #s(literal 2 binary64) %475 %485)
(fma.f64 #s(literal 2 binary64) %475 %487)
(fma.f64 %467 #s(literal 1/2 binary64) %468)
(fma.f64 %467 #s(literal 1 binary64) %485)
(fma.f64 %467 #s(literal 1 binary64) %487)
(fma.f64 #s(literal -1 binary64) %472 %485)
(fma.f64 #s(literal -1 binary64) %472 %487)
(fma.f64 #s(literal 1 binary64) %467 %485)
(fma.f64 #s(literal 1 binary64) %467 %487)
(+.f64 %468 %468)
(+.f64 %475 %475)
(+.f64 %467 %485)
(+.f64 %467 %487)
(*.f64 %510 #s(literal 1/2 binary64))
(*.f64 %512 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %514)
(*.f64 #s(literal 2 binary64) %516)
(*.f64 %518 #s(literal -1 binary64))
(*.f64 %509 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %518)
(*.f64 #s(literal 1 binary64) %509)
(pow.f64 %509 #s(literal 1 binary64))
%509
(/.f64 %510 #s(literal 2 binary64))
(/.f64 %514 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %509 #s(literal -1 binary64)))
(neg.f64 %518)
(fma.f64 %510 #s(literal 1/2 binary64) %529)
(fma.f64 %510 #s(literal 1/2 binary64) %531)
(fma.f64 %512 #s(literal 2 binary64) %529)
(fma.f64 %512 #s(literal 2 binary64) %531)
(fma.f64 #s(literal 1/2 binary64) %514 %529)
(fma.f64 #s(literal 1/2 binary64) %514 %531)
(fma.f64 #s(literal 1/2 binary64) %509 %516)
(fma.f64 #s(literal 2 binary64) %516 %529)
(fma.f64 #s(literal 2 binary64) %516 %531)
(fma.f64 %518 #s(literal -1 binary64) %529)
(fma.f64 %518 #s(literal -1 binary64) %531)
(fma.f64 %509 #s(literal 1/2 binary64) %512)
(fma.f64 %509 #s(literal 1 binary64) %529)
(fma.f64 %509 #s(literal 1 binary64) %531)
(fma.f64 #s(literal -1 binary64) %518 %529)
(fma.f64 #s(literal -1 binary64) %518 %531)
(fma.f64 #s(literal 1 binary64) %509 %529)
(fma.f64 #s(literal 1 binary64) %509 %531)
(+.f64 %512 %512)
(+.f64 %516 %516)
(+.f64 %509 %529)
(+.f64 %509 %531)
(*.f64 #s(literal 1 binary64) %554)
(pow.f64 %554 #s(literal 1 binary64))
%554
(/.f64 #s(literal 1 binary64) (pow.f64 %554 #s(literal -1 binary64)))
(*.f64 (*.f64 %91 %470) #s(literal 1/2 binary64))
(*.f64 %470 %102)
(*.f64 %472 %114)
(*.f64 #s(literal 1/2 binary64) %564)
(*.f64 #s(literal 2 binary64) (*.f64 %102 %467))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %563))
(*.f64 %563 #s(literal 1 binary64))
(*.f64 %467 %91)
(*.f64 %91 %467)
(*.f64 #s(literal -1 binary64) %573)
(*.f64 #s(literal -1 binary64) %575)
(*.f64 #s(literal -1 binary64) %577)
(*.f64 #s(literal 1 binary64) %563)
(pow.f64 %563 #s(literal 1 binary64))
(/.f64 %564 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %472) %180)
(/.f64 %470 %183)
(/.f64 %472 %55)
%563
(/.f64 #s(literal 1 binary64) (/.f64 %55 %472))
(/.f64 #s(literal 1 binary64) (/.f64 z %467))
(/.f64 #s(literal 1 binary64) (pow.f64 %563 #s(literal -1 binary64)))
(neg.f64 (*.f64 %472 %91))
(neg.f64 %573)
(neg.f64 %575)
(neg.f64 (*.f64 %467 %114))
(neg.f64 (*.f64 %91 %472))
(neg.f64 %577)
(neg.f64 (/.f64 %472 z))
(*.f64 (*.f64 %438 #s(literal 2 binary64)) %100)
(*.f64 %434 %102)
(*.f64 %606 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %102 %433))
(*.f64 %438 %114)
(*.f64 %611 #s(literal 1 binary64))
(*.f64 %433 %91)
(*.f64 %114 %438)
(*.f64 %91 %433)
(*.f64 #s(literal -1 binary64) %616)
(*.f64 #s(literal 1 binary64) %611)
(pow.f64 %611 #s(literal 1 binary64))
(/.f64 %438 %55)
%611
(/.f64 #s(literal 1 binary64) (/.f64 %55 %438))
(/.f64 #s(literal 1 binary64) (pow.f64 %611 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %433))
(neg.f64 %616)
(neg.f64 %606)
(*.f64 (*.f64 %629 #s(literal 2 binary64)) %102)
(*.f64 (*.f64 %611 %92) #s(literal 1/2 binary64))
(*.f64 (*.f64 %611 #s(literal 2 binary64)) %96)
(*.f64 %636 %114)
(*.f64 %92 (*.f64 #s(literal 1/2 binary64) %611))
(*.f64 %640 %114)
(*.f64 %629 %91)
(*.f64 #s(literal 2 binary64) (*.f64 %96 %611))
(*.f64 %438 %104)
(*.f64 %646 #s(literal 1 binary64))
%646
(*.f64 %433 %118)
(*.f64 %91 %629)
(*.f64 %118 %433)
(*.f64 #s(literal 1 binary64) %646)
(*.f64 x %611)
(pow.f64 %646 #s(literal 1 binary64))
(/.f64 %636 %55)
(/.f64 %640 %55)
(/.f64 %629 z)
(/.f64 #s(literal 1 binary64) (/.f64 %55 %640))
(/.f64 #s(literal 1 binary64) (/.f64 z %629))
(/.f64 #s(literal 1 binary64) (pow.f64 %646 #s(literal -1 binary64)))
(neg.f64 (*.f64 %606 x))
(neg.f64 (*.f64 %98 %611))
(neg.f64 (*.f64 %629 %114))
(neg.f64 (*.f64 %611 %98))
(neg.f64 (*.f64 %433 %104))
(neg.f64 (*.f64 x %606))
(neg.f64 (/.f64 %629 %55))
(neg.f64 (/.f64 %640 z))
(*.f64 %679 %100)
(*.f64 %510 %102)
(*.f64 #s(literal 2 binary64) (*.f64 %102 %509))
(*.f64 %518 %114)
(*.f64 %686 #s(literal -1 binary64))
(*.f64 %685 #s(literal 1 binary64))
(*.f64 %509 %91)
(*.f64 %114 %518)
(*.f64 %91 %509)
(*.f64 #s(literal -1 binary64) %686)
(*.f64 #s(literal 1 binary64) %685)
(pow.f64 %685 #s(literal 1 binary64))
(/.f64 %518 %55)
%685
(/.f64 #s(literal 1 binary64) (/.f64 %55 %518))
(/.f64 #s(literal 1 binary64) (pow.f64 %685 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %509))
(neg.f64 %686)
(*.f64 %679 %102)
(*.f64 %510 %100)
(*.f64 #s(literal -2 binary64) %705)
(*.f64 #s(literal 2 binary64) (*.f64 %100 %509))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) %685))
(*.f64 %518 %91)
(*.f64 %686 #s(literal 1 binary64))
(*.f64 %685 #s(literal -1 binary64))
(*.f64 %509 %114)
(*.f64 %114 %509)
(*.f64 %91 %518)
(*.f64 #s(literal -1 binary64) %685)
(*.f64 #s(literal 1 binary64) %686)
(pow.f64 %686 #s(literal 1 binary64))
(/.f64 %518 z)
(/.f64 %509 %55)
(/.f64 #s(literal 1 binary64) (/.f64 %55 %509))
(/.f64 #s(literal 1 binary64) (/.f64 z %518))
(/.f64 #s(literal 1 binary64) (pow.f64 %686 #s(literal -1 binary64)))
%686
%729
%731
%734
%737
%738
%739
%740
%741
%743
%745
%747
%748
%749
%751
%752
%750
%753
%754
%755
%756
%757
%759
%761
%762
%763
%764
%765
%766
%768
%770
%772
%773
%774
%775
%729
%731
%734
%737
%738
%739
%740
%741
%743
%745
%747
%748
%749
%751
%752
%750
%753
%754
%755
%756
%757
%759
%761
%762
%763
%764
%765
%766
%768
%770
%772
%773
%774
%775
%729
%731
%734
%737
%738
%739
%740
%741
%743
%745
%747
%748
%749
%751
%752
%750
%753
%754
%755
%756
%757
%759
%761
%762
%763
%764
%765
%766
%768
%770
%772
%773
%774
%775
(*.f64 #s(literal 1 binary64) %776)
(pow.f64 %776 #s(literal 1 binary64))
(/.f64 (-.f64 %779 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %776 #s(literal -1 binary64)))
(neg.f64 %784)
(fma.f64 #s(literal 1 binary64) %426 #s(literal -1 binary64))
(-.f64 (-.f64 %426 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %776 #s(literal 0 binary64))
%776
(-.f64 #s(literal -1 binary64) %790)
(+.f64 %426 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) (neg.f64 %790))
(+.f64 #s(literal -1 binary64) %426)
(*.f64 (*.f64 %776 %92) #s(literal 1/2 binary64))
(*.f64 (*.f64 %776 #s(literal 2 binary64)) %96)
(*.f64 (*.f64 %776 #s(literal 1 binary64)) x)
(*.f64 %92 (*.f64 #s(literal 1/2 binary64) %776))
(*.f64 #s(literal 2 binary64) (*.f64 %96 %776))
(*.f64 %784 %98)
(*.f64 %807 #s(literal 1 binary64))
%807
(*.f64 %98 %784)
(*.f64 #s(literal 1 binary64) %807)
(*.f64 x %776)
(pow.f64 %807 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %807 #s(literal -1 binary64)))
(neg.f64 (*.f64 %98 %776))
(neg.f64 (*.f64 %776 %98))
(neg.f64 (*.f64 %784 x))
(fma.f64 %289 #s(literal 1/2 binary64) %821)
(fma.f64 (*.f64 %426 %92) #s(literal 1/2 binary64) %98)
(fma.f64 (*.f64 %426 #s(literal 1 binary64)) x %98)
(fma.f64 %291 #s(literal 1/2 binary64) %821)
(fma.f64 %293 #s(literal 2 binary64) %821)
(fma.f64 %99 #s(literal 1/2 binary64) %821)
(fma.f64 %296 #s(literal 1/2 binary64) %821)
(fma.f64 %779 %96 %98)
(fma.f64 %92 (*.f64 #s(literal 1/2 binary64) %426) %98)
(fma.f64 %92 #s(literal -1/2 binary64) %821)
(fma.f64 %821 #s(literal 1 binary64) %98)
(fma.f64 #s(literal -2 binary64) %96 %821)
(fma.f64 #s(literal 2 binary64) (*.f64 %96 %426) %98)
(fma.f64 #s(literal 2 binary64) %300 %821)
(fma.f64 #s(literal 2 binary64) %302 %821)
(fma.f64 #s(literal 2 binary64) %304 %821)
(fma.f64 %426 x %98)
(fma.f64 %98 #s(literal 1 binary64) %821)
(fma.f64 #s(literal -1 binary64) x %821)
(fma.f64 #s(literal 1 binary64) %821 %98)
(fma.f64 #s(literal 1 binary64) %98 %821)
(fma.f64 x %426 %98)
(fma.f64 x #s(literal -1 binary64) %821)
(-.f64 %821 x)
(+.f64 %821 %98)
(+.f64 %98 %821)
(*.f64 #s(literal 1 binary64) %852)
(pow.f64 %852 #s(literal 1 binary64))
%852
(/.f64 #s(literal 1 binary64) (pow.f64 %852 #s(literal -1 binary64)))
(*.f64 %857 #s(literal 1/2 binary64))
(*.f64 %859 %96)
(*.f64 %862 #s(literal 1/2 binary64))
(*.f64 %864 x)
(*.f64 %866 #s(literal 2 binary64))
(*.f64 %869 x)
(*.f64 %92 %871)
(*.f64 %868 %98)
(*.f64 #s(literal 2 binary64) %874)
(*.f64 %876 #s(literal -1 binary64))
(*.f64 %861 #s(literal 1 binary64))
%861
(*.f64 %98 %868)
(*.f64 #s(literal 1 binary64) %861)
(*.f64 x %864)
(*.f64 x %869)
(*.f64 x %852)
(pow.f64 %861 #s(literal 1 binary64))
(/.f64 %862 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %861 #s(literal -1 binary64)))
(neg.f64 %876)
(fma.f64 %857 #s(literal 1/2 binary64) %889)
(fma.f64 %857 #s(literal 1/2 binary64) %891)
(fma.f64 %859 %96 %889)
(fma.f64 %859 %96 %891)
(fma.f64 %862 #s(literal 1/2 binary64) %889)
(fma.f64 %862 #s(literal 1/2 binary64) %891)
(fma.f64 %864 x %889)
(fma.f64 %864 x %891)
(fma.f64 %866 #s(literal 2 binary64) %889)
(fma.f64 %866 #s(literal 2 binary64) %891)
(fma.f64 %869 x %889)
(fma.f64 %869 x %891)
(fma.f64 %92 %871 %889)
(fma.f64 %92 %871 %891)
(fma.f64 %868 %98 %889)
(fma.f64 %868 %98 %891)
(fma.f64 #s(literal 1/2 binary64) %861 %907)
(fma.f64 #s(literal 2 binary64) %874 %889)
(fma.f64 #s(literal 2 binary64) %874 %891)
(fma.f64 %876 #s(literal -1 binary64) %889)
(fma.f64 %876 #s(literal -1 binary64) %891)
(fma.f64 %861 #s(literal 1/2 binary64) %866)
(fma.f64 %861 #s(literal 1 binary64) %889)
(fma.f64 %861 #s(literal 1 binary64) %891)
(fma.f64 %852 x %889)
(fma.f64 %852 x %891)
(fma.f64 %98 %868 %889)
(fma.f64 %98 %868 %891)
(fma.f64 #s(literal 1 binary64) %861 %889)
(fma.f64 #s(literal 1 binary64) %861 %891)
(fma.f64 x %864 %889)
(fma.f64 x %864 %891)
(fma.f64 x %869 %889)
(fma.f64 x %869 %891)
(fma.f64 x %852 %889)
(fma.f64 x %852 %891)
(+.f64 %866 %866)
(+.f64 %907 %907)
(+.f64 %861 %889)
(+.f64 %861 %891)
(*.f64 (*.f64 %932 %92) #s(literal 1/2 binary64))
(*.f64 (*.f64 %932 #s(literal 2 binary64)) %96)
(*.f64 (*.f64 %876 #s(literal 2 binary64)) %100)
(*.f64 %862 %102)
(*.f64 %92 (*.f64 #s(literal 1/2 binary64) %932))
(*.f64 %942 #s(literal -1 binary64))
(*.f64 %868 %104)
(*.f64 %932 x)
(*.f64 #s(literal 2 binary64) (*.f64 %102 %861))
(*.f64 #s(literal 2 binary64) (*.f64 %96 %932))
(*.f64 %876 %114)
(*.f64 %951 #s(literal 1 binary64))
(*.f64 %861 %91)
%951
(*.f64 %114 %876)
(*.f64 %98 (*.f64 %852 %114))
(*.f64 %98 (/.f64 %852 %55))
(*.f64 %91 %861)
(*.f64 %118 %852)
(*.f64 #s(literal -1 binary64) %961)
(*.f64 #s(literal 1 binary64) %951)
(*.f64 x %932)
(pow.f64 %951 #s(literal 1 binary64))
(/.f64 %876 %55)
(/.f64 %861 z)
(/.f64 #s(literal 1 binary64) (/.f64 %55 %876))
(/.f64 #s(literal 1 binary64) (pow.f64 %951 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %861))
(neg.f64 %961)
(neg.f64 (*.f64 %932 %98))
(neg.f64 %942)
(*.f64 (*.f64 %5 #s(literal -2 binary64)) #s(literal 1/2 binary64))
(*.f64 %7 #s(literal -1/2 binary64))
(*.f64 #s(literal -2 binary64) %14)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) %5))
(*.f64 %16 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %5)
(*.f64 %5 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %16)
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64)))
%16
(*.f64 #s(literal 1 binary64) %991)
(pow.f64 %991 #s(literal 1 binary64))
%991
(/.f64 #s(literal 1 binary64) (pow.f64 %991 #s(literal -1 binary64)))

%5 = (approx x #s(literal 0 binary64))
%6 = (/.f64 #s(literal 1 binary64) z)
%7 = (neg.f64 %5)
%8 = (*.f64 y %6)
%17 = (approx (/ (- y -1) z) %8)
%18 = (-.f64 %17 #s(literal 1 binary64))
x
y
z
#s(literal 1 binary64)
#s(literal 0 binary64)
%5
%6
%7
%8
(approx (/ (* (- (- y z) -1) x) z) %7)
%17
%18
(*.f64 x %18)

%5 = (approx x #s(literal 0 binary64))
%11 = (/.f64 #s(literal 1 binary64) z)
%13 = (/.f64 %11 #s(literal 1/2 binary64))
%15 = (/.f64 %11 #s(literal 1 binary64))
%18 = (/.f64 %11 #s(literal 2 binary64))
%20 = (*.f64 %11 #s(literal 2 binary64))
%23 = (/.f64 #s(literal -2 binary64) z)
%26 = (/.f64 #s(literal 2 binary64) z)
%30 = (/.f64 #s(literal 4 binary64) z)
%32 = (/.f64 %11 #s(literal 4 binary64))
%34 = (/.f64 #s(literal 1/2 binary64) z)
%37 = (/.f64 #s(literal -1 binary64) z)
%38 = (*.f64 #s(literal 1/2 binary64) %37)
%40 = (/.f64 #s(literal -1/2 binary64) z)
%42 = (*.f64 #s(literal 2 binary64) %11)
%54 = (neg.f64 z)
%57 = (*.f64 z z)
%61 = (*.f64 %54 z)
%65 = (*.f64 z %54)
%67 = (*.f64 #s(literal 1/2 binary64) z)
%70 = (*.f64 %54 #s(literal 2 binary64))
%73 = (*.f64 %70 z)
%75 = (*.f64 #s(literal 2 binary64) %54)
%78 = (*.f64 %75 z)
%80 = (*.f64 z #s(literal 2 binary64))
%83 = (*.f64 %80 z)
%85 = (*.f64 #s(literal 2 binary64) z)
%88 = (*.f64 %85 z)
%138 = (neg.f64 %85)
%144 = (neg.f64 %75)
%156 = (/.f64 #s(literal 0 binary64) %80)
%158 = (/.f64 #s(literal 0 binary64) %85)
%160 = (*.f64 %11 #s(literal 0 binary64))
%162 = (*.f64 #s(literal 0 binary64) %11)
%164 = (/.f64 #s(literal 0 binary64) z)
%271 = (cosh.f64 #s(literal -1 binary64))
%274 = (sinh.f64 #s(literal 1 binary64))
%278 = (/.f64 #s(literal 1 binary64) %80)
%281 = (/.f64 #s(literal 1 binary64) %85)
%288 = (/.f64 #s(literal -1 binary64) %70)
%290 = (/.f64 #s(literal -1 binary64) %75)
%293 = (/.f64 #s(literal 3/2 binary64) %80)
%294 = (/.f64 #s(literal 1/2 binary64) %80)
%298 = (/.f64 #s(literal 3/2 binary64) %85)
%299 = (/.f64 #s(literal 1/2 binary64) %85)
%310 = (neg.f64 %5)
%315 = (+.f64 y y)
%316 = (fabs.f64 z)
%317 = (/.f64 %315 %316)
%318 = (/.f64 %67 %316)
%320 = (/.f64 %315 %54)
%321 = (/.f64 %67 %54)
%323 = (/.f64 #s(literal 1 binary64) %316)
%324 = (*.f64 z y)
%325 = (/.f64 %324 %316)
%327 = (/.f64 z %316)
%328 = (/.f64 y %316)
%331 = (/.f64 %315 z)
%332 = (/.f64 %67 z)
%334 = (/.f64 z %54)
%335 = (neg.f64 y)
%336 = (/.f64 %335 z)
%338 = (/.f64 z z)
%339 = (/.f64 y z)
%341 = (/.f64 y #s(literal 2 binary64))
%343 = (*.f64 %11 %315)
%346 = (/.f64 %339 #s(literal 4 binary64))
%351 = (*.f64 #s(literal 2 binary64) %339)
%353 = (/.f64 %339 #s(literal 2 binary64))
%355 = (*.f64 %34 y)
%357 = (*.f64 #s(literal 1/2 binary64) %339)
%359 = (/.f64 %324 %54)
%361 = (*.f64 %37 y)
%367 = (/.f64 %339 #s(literal 1 binary64))
%374 = (*.f64 #s(literal 2 binary64) %335)
%406 = (/.f64 (*.f64 y #s(literal 0 binary64)) z)
%409 = (/.f64 (*.f64 #s(literal 0 binary64) y) z)
%465 = (/.f64 y %85)
%468 = (/.f64 (*.f64 y #s(literal 1/2 binary64)) z)
%471 = (/.f64 (*.f64 #s(literal 1/2 binary64) y) z)
%480 = (approx (/ (* (- (- y z) -1) x) z) %310)
%487 = (approx (/ (- y -1) z) %339)
%492 = (-.f64 %487 #s(literal 1 binary64))
%495 = (*.f64 %487 #s(literal 2 binary64))
%496 = (-.f64 %495 #s(literal 2 binary64))
%515 = (-.f64 #s(literal 1 binary64) %487)
%523 = (neg.f64 %487)
%529 = (neg.f64 x)
%532 = (*.f64 %492 x)
%541 = (*.f64 %487 x)
x
y
z
#s(literal 1 binary64)
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
%5
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(*.f64 %13 #s(literal 1/2 binary64))
(*.f64 %15 #s(literal 1 binary64))
(*.f64 %18 #s(literal 2 binary64))
(*.f64 %20 #s(literal 1/2 binary64))
(*.f64 %23 #s(literal -1/2 binary64))
(*.f64 %26 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %30)
(*.f64 #s(literal 4 binary64) %32)
(*.f64 %34 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %23)
(*.f64 #s(literal -2 binary64) %38)
(*.f64 #s(literal -2 binary64) %40)
(*.f64 #s(literal 1/2 binary64) %42)
(*.f64 #s(literal 1/2 binary64) %26)
(*.f64 #s(literal 2 binary64) %18)
(*.f64 #s(literal 2 binary64) %34)
(*.f64 %37 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %37)
(*.f64 %11 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %15)
(*.f64 #s(literal 1 binary64) %11)
(pow.f64 %11 #s(literal 1 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 (fma.f64 #s(literal -1/2 binary64) %54 (*.f64 #s(literal -1/2 binary64) %54)) %57)
(/.f64 (fma.f64 #s(literal -1/2 binary64) z (*.f64 #s(literal 1/2 binary64) %54)) %61)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %54 (*.f64 #s(literal -1/2 binary64) z)) %65)
(/.f64 (fma.f64 #s(literal 1/2 binary64) z %67) %57)
(/.f64 (fma.f64 #s(literal -2 binary64) z (*.f64 #s(literal 0 binary64) %70)) %73)
(/.f64 (fma.f64 #s(literal -2 binary64) z (*.f64 #s(literal 0 binary64) %75)) %78)
(/.f64 (fma.f64 #s(literal 2 binary64) z (*.f64 #s(literal 0 binary64) %80)) %83)
(/.f64 (fma.f64 #s(literal 2 binary64) z (*.f64 #s(literal 0 binary64) %85)) %88)
(/.f64 (fma.f64 #s(literal -1 binary64) z (*.f64 #s(literal 0 binary64) %54)) %61)
(/.f64 (+.f64 z (*.f64 #s(literal 0 binary64) z)) %57)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %54 (*.f64 %54 #s(literal -1/2 binary64))) %57)
(/.f64 (fma.f64 #s(literal -1/2 binary64) z (*.f64 %54 #s(literal 1/2 binary64))) %61)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %54 (*.f64 z #s(literal -1/2 binary64))) %65)
(/.f64 (fma.f64 #s(literal 1/2 binary64) z (*.f64 z #s(literal 1/2 binary64))) %57)
(/.f64 (fma.f64 %20 z #s(literal 0 binary64)) %85)
(/.f64 (fma.f64 %42 z #s(literal 0 binary64)) %85)
(/.f64 (fma.f64 #s(literal -2 binary64) z (*.f64 %70 #s(literal 0 binary64))) %73)
(/.f64 (fma.f64 #s(literal -2 binary64) z (*.f64 %75 #s(literal 0 binary64))) %78)
(/.f64 (fma.f64 #s(literal 2 binary64) z (*.f64 %80 #s(literal 0 binary64))) %83)
(/.f64 (fma.f64 #s(literal 2 binary64) z (*.f64 %85 #s(literal 0 binary64))) %88)
(/.f64 (fma.f64 #s(literal -1 binary64) z (*.f64 %54 #s(literal 0 binary64))) %61)
(/.f64 (+.f64 z (*.f64 z #s(literal 0 binary64))) %57)
(/.f64 (neg.f64 %20) #s(literal -2 binary64))
(/.f64 (neg.f64 %42) #s(literal -2 binary64))
(/.f64 %20 #s(literal 2 binary64))
(/.f64 %42 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (neg.f64 %80))
(/.f64 #s(literal -2 binary64) %138)
(/.f64 #s(literal -2 binary64) %70)
(/.f64 #s(literal -2 binary64) %75)
(/.f64 #s(literal 2 binary64) (neg.f64 %70))
(/.f64 #s(literal 2 binary64) %144)
(/.f64 #s(literal 2 binary64) %80)
(/.f64 #s(literal 2 binary64) %85)
(/.f64 #s(literal -1 binary64) %54)
(/.f64 #s(literal 1 binary64) (/.f64 %54 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z #s(literal 1 binary64)))
%11
(neg.f64 %37)
(fma.f64 %13 #s(literal 1/2 binary64) %156)
(fma.f64 %13 #s(literal 1/2 binary64) %158)
(fma.f64 %13 #s(literal 1/2 binary64) %160)
(fma.f64 %13 #s(literal 1/2 binary64) %162)
(fma.f64 %13 #s(literal 1/2 binary64) %164)
(fma.f64 %15 #s(literal 1 binary64) %156)
(fma.f64 %15 #s(literal 1 binary64) %158)
(fma.f64 %15 #s(literal 1 binary64) %160)
(fma.f64 %15 #s(literal 1 binary64) %162)
(fma.f64 %15 #s(literal 1 binary64) %164)
(fma.f64 %18 #s(literal 2 binary64) %156)
(fma.f64 %18 #s(literal 2 binary64) %158)
(fma.f64 %18 #s(literal 2 binary64) %160)
(fma.f64 %18 #s(literal 2 binary64) %162)
(fma.f64 %18 #s(literal 2 binary64) %164)
(fma.f64 %20 #s(literal 1/2 binary64) %156)
(fma.f64 %20 #s(literal 1/2 binary64) %158)
(fma.f64 %20 #s(literal 1/2 binary64) %160)
(fma.f64 %20 #s(literal 1/2 binary64) %162)
(fma.f64 %20 #s(literal 1/2 binary64) %164)
(fma.f64 %23 #s(literal -1/2 binary64) %156)
(fma.f64 %23 #s(literal -1/2 binary64) %158)
(fma.f64 %23 #s(literal -1/2 binary64) %160)
(fma.f64 %23 #s(literal -1/2 binary64) %162)
(fma.f64 %23 #s(literal -1/2 binary64) %164)
(fma.f64 %26 #s(literal 1/2 binary64) %156)
(fma.f64 %26 #s(literal 1/2 binary64) %158)
(fma.f64 %26 #s(literal 1/2 binary64) %160)
(fma.f64 %26 #s(literal 1/2 binary64) %162)
(fma.f64 %26 #s(literal 1/2 binary64) %164)
(fma.f64 #s(literal 1/4 binary64) %30 %156)
(fma.f64 #s(literal 1/4 binary64) %30 %158)
(fma.f64 #s(literal 1/4 binary64) %30 %160)
(fma.f64 #s(literal 1/4 binary64) %30 %162)
(fma.f64 #s(literal 1/4 binary64) %30 %164)
(fma.f64 #s(literal 4 binary64) %32 %156)
(fma.f64 #s(literal 4 binary64) %32 %158)
(fma.f64 #s(literal 4 binary64) %32 %160)
(fma.f64 #s(literal 4 binary64) %32 %162)
(fma.f64 #s(literal 4 binary64) %32 %164)
(fma.f64 %34 #s(literal 2 binary64) %156)
(fma.f64 %34 #s(literal 2 binary64) %158)
(fma.f64 %34 #s(literal 2 binary64) %160)
(fma.f64 %34 #s(literal 2 binary64) %162)
(fma.f64 %34 #s(literal 2 binary64) %164)
(fma.f64 %34 #s(literal 1 binary64) %34)
(fma.f64 #s(literal -1/2 binary64) %23 %156)
(fma.f64 #s(literal -1/2 binary64) %23 %158)
(fma.f64 #s(literal -1/2 binary64) %23 %160)
(fma.f64 #s(literal -1/2 binary64) %23 %162)
(fma.f64 #s(literal -1/2 binary64) %23 %164)
(fma.f64 #s(literal -1/2 binary64) %37 %34)
(fma.f64 #s(literal -2 binary64) %38 %156)
(fma.f64 #s(literal -2 binary64) %38 %158)
(fma.f64 #s(literal -2 binary64) %38 %160)
(fma.f64 #s(literal -2 binary64) %38 %162)
(fma.f64 #s(literal -2 binary64) %38 %164)
(fma.f64 #s(literal -2 binary64) %40 %156)
(fma.f64 #s(literal -2 binary64) %40 %158)
(fma.f64 #s(literal -2 binary64) %40 %160)
(fma.f64 #s(literal -2 binary64) %40 %162)
(fma.f64 #s(literal -2 binary64) %40 %164)
(fma.f64 #s(literal 1/2 binary64) %42 %156)
(fma.f64 #s(literal 1/2 binary64) %42 %158)
(fma.f64 #s(literal 1/2 binary64) %42 %160)
(fma.f64 #s(literal 1/2 binary64) %42 %162)
(fma.f64 #s(literal 1/2 binary64) %42 %164)
(fma.f64 #s(literal 1/2 binary64) %26 %156)
(fma.f64 #s(literal 1/2 binary64) %26 %158)
(fma.f64 #s(literal 1/2 binary64) %26 %160)
(fma.f64 #s(literal 1/2 binary64) %26 %162)
(fma.f64 #s(literal 1/2 binary64) %26 %164)
(fma.f64 #s(literal 1/2 binary64) %11 %34)
(fma.f64 #s(literal 2 binary64) %18 %156)
(fma.f64 #s(literal 2 binary64) %18 %158)
(fma.f64 #s(literal 2 binary64) %18 %160)
(fma.f64 #s(literal 2 binary64) %18 %162)
(fma.f64 #s(literal 2 binary64) %18 %164)
(fma.f64 #s(literal 2 binary64) %34 %156)
(fma.f64 #s(literal 2 binary64) %34 %158)
(fma.f64 #s(literal 2 binary64) %34 %160)
(fma.f64 #s(literal 2 binary64) %34 %162)
(fma.f64 #s(literal 2 binary64) %34 %164)
(fma.f64 %37 #s(literal -1 binary64) %156)
(fma.f64 %37 #s(literal -1 binary64) %158)
(fma.f64 %37 #s(literal -1 binary64) %160)
(fma.f64 %37 #s(literal -1 binary64) %162)
(fma.f64 %37 #s(literal -1 binary64) %164)
(fma.f64 #s(literal -1 binary64) %37 %156)
(fma.f64 #s(literal -1 binary64) %37 %158)
(fma.f64 #s(literal -1 binary64) %37 %160)
(fma.f64 #s(literal -1 binary64) %37 %162)
(fma.f64 #s(literal -1 binary64) %37 %164)
(fma.f64 %11 #s(literal 1/2 binary64) %34)
(fma.f64 %11 #s(literal 1 binary64) %156)
(fma.f64 %11 #s(literal 1 binary64) %158)
(fma.f64 %11 #s(literal 1 binary64) %160)
(fma.f64 %11 #s(literal 1 binary64) %162)
(fma.f64 %11 #s(literal 1 binary64) %164)
(fma.f64 #s(literal 1 binary64) %15 %156)
(fma.f64 #s(literal 1 binary64) %15 %158)
(fma.f64 #s(literal 1 binary64) %15 %160)
(fma.f64 #s(literal 1 binary64) %15 %162)
(fma.f64 #s(literal 1 binary64) %15 %164)
(fma.f64 #s(literal 1 binary64) %34 %34)
(fma.f64 #s(literal 1 binary64) %11 %156)
(fma.f64 #s(literal 1 binary64) %11 %158)
(fma.f64 #s(literal 1 binary64) %11 %160)
(fma.f64 #s(literal 1 binary64) %11 %162)
(fma.f64 #s(literal 1 binary64) %11 %164)
(-.f64 (/.f64 (*.f64 %271 %271) z) (/.f64 (*.f64 %274 %274) z))
(-.f64 %278 (/.f64 #s(literal -1 binary64) %80))
(-.f64 %281 (/.f64 #s(literal -1 binary64) %85))
(-.f64 %26 %11)
(-.f64 %164 %37)
(-.f64 %34 %40)
(-.f64 %11 %164)
(+.f64 %288 %288)
(+.f64 %290 %290)
(+.f64 %293 %294)
(+.f64 %294 %293)
(+.f64 %278 %278)
(+.f64 %298 %299)
(+.f64 %299 %298)
(+.f64 %281 %281)
(+.f64 %164 %11)
(+.f64 %34 %34)
(+.f64 %11 %156)
(+.f64 %11 %158)
(+.f64 %11 %160)
(+.f64 %11 %162)
(+.f64 %11 %164)
(*.f64 #s(literal 1 binary64) %310)
(pow.f64 %310 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %310 #s(literal -1 binary64)))
%310
(*.f64 %317 %318)
(*.f64 %320 %321)
(*.f64 %323 %325)
(*.f64 %327 %328)
(*.f64 %328 %327)
(*.f64 %331 %332)
(*.f64 %334 %336)
(*.f64 %338 %339)
(*.f64 %341 %26)
(*.f64 %343 #s(literal 1/2 binary64))
(*.f64 %336 %334)
(*.f64 #s(literal 4 binary64) %346)
(*.f64 %315 %34)
(*.f64 %335 %37)
(*.f64 #s(literal 1/2 binary64) %331)
(*.f64 #s(literal 1/2 binary64) %351)
(*.f64 #s(literal 2 binary64) %353)
(*.f64 #s(literal 2 binary64) %355)
(*.f64 #s(literal 2 binary64) %357)
(*.f64 %37 %359)
(*.f64 #s(literal -1 binary64) %361)
(*.f64 #s(literal -1 binary64) %336)
(*.f64 %339 %338)
(*.f64 %339 #s(literal 1 binary64))
(*.f64 %11 y)
(*.f64 #s(literal 1 binary64) %367)
(*.f64 #s(literal 1 binary64) %339)
(*.f64 y %11)
(pow.f64 %339 #s(literal 1 binary64))
(/.f64 (neg.f64 %351) #s(literal -2 binary64))
(/.f64 (neg.f64 %374) %144)
(/.f64 (neg.f64 %324) (neg.f64 %57))
(/.f64 %351 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %335) z)
(/.f64 (neg.f64 %315) %138)
(/.f64 %374 %75)
(/.f64 %315 %85)
(/.f64 %335 %54)
(/.f64 %324 %57)
(/.f64 #s(literal 1 binary64) (/.f64 %54 %335))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
(/.f64 #s(literal 1 binary64) (pow.f64 %339 #s(literal -1 binary64)))
%339
(neg.f64 (*.f64 %11 %335))
(neg.f64 (*.f64 y %37))
(neg.f64 (*.f64 %335 %11))
(neg.f64 %361)
(neg.f64 (*.f64 #s(literal -1 binary64) %339))
(neg.f64 %336)
(fma.f64 %317 %318 %406)
(fma.f64 %317 %318 %409)
(fma.f64 %320 %321 %406)
(fma.f64 %320 %321 %409)
(fma.f64 %323 %325 %406)
(fma.f64 %323 %325 %409)
(fma.f64 %327 %328 %406)
(fma.f64 %327 %328 %409)
(fma.f64 %328 %327 %406)
(fma.f64 %328 %327 %409)
(fma.f64 %331 %332 %406)
(fma.f64 %331 %332 %409)
(fma.f64 %334 %336 %406)
(fma.f64 %334 %336 %409)
(fma.f64 %338 %339 %406)
(fma.f64 %338 %339 %409)
(fma.f64 %341 %26 %406)
(fma.f64 %341 %26 %409)
(fma.f64 %343 #s(literal 1/2 binary64) %406)
(fma.f64 %343 #s(literal 1/2 binary64) %409)
(fma.f64 %336 %334 %406)
(fma.f64 %336 %334 %409)
(fma.f64 #s(literal 4 binary64) %346 %406)
(fma.f64 #s(literal 4 binary64) %346 %409)
(fma.f64 %315 %34 %406)
(fma.f64 %315 %34 %409)
(fma.f64 %335 %37 %406)
(fma.f64 %335 %37 %409)
(fma.f64 #s(literal 1/2 binary64) %331 %406)
(fma.f64 #s(literal 1/2 binary64) %331 %409)
(fma.f64 #s(literal 1/2 binary64) %351 %406)
(fma.f64 #s(literal 1/2 binary64) %351 %409)
(fma.f64 #s(literal 2 binary64) %353 %406)
(fma.f64 #s(literal 2 binary64) %353 %409)
(fma.f64 #s(literal 2 binary64) %355 %406)
(fma.f64 #s(literal 2 binary64) %355 %409)
(fma.f64 #s(literal 2 binary64) %357 %406)
(fma.f64 #s(literal 2 binary64) %357 %409)
(fma.f64 %37 %359 %406)
(fma.f64 %37 %359 %409)
(fma.f64 #s(literal -1 binary64) %361 %406)
(fma.f64 #s(literal -1 binary64) %361 %409)
(fma.f64 #s(literal -1 binary64) %336 %406)
(fma.f64 #s(literal -1 binary64) %336 %409)
(fma.f64 %339 %338 %406)
(fma.f64 %339 %338 %409)
(fma.f64 %339 #s(literal 1 binary64) %406)
(fma.f64 %339 #s(literal 1 binary64) %409)
(fma.f64 %11 y %406)
(fma.f64 %11 y %409)
(fma.f64 #s(literal 1 binary64) %367 %406)
(fma.f64 #s(literal 1 binary64) %367 %409)
(fma.f64 #s(literal 1 binary64) %339 %406)
(fma.f64 #s(literal 1 binary64) %339 %409)
(fma.f64 y %11 %406)
(fma.f64 y %11 %409)
(+.f64 %465 %465)
(+.f64 %468 %468)
(+.f64 %471 %471)
(+.f64 %339 %406)
(+.f64 %339 %409)
(*.f64 #s(literal 1 binary64) %480)
(pow.f64 %480 #s(literal 1 binary64))
%480
(/.f64 #s(literal 1 binary64) (pow.f64 %480 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %487)
(pow.f64 %487 #s(literal 1 binary64))
%487
(/.f64 #s(literal 1 binary64) (pow.f64 %487 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %492)
(pow.f64 %492 #s(literal 1 binary64))
(/.f64 (-.f64 %496 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %496 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 %496 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %496 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %496) #s(literal -2 binary64))
(/.f64 %496 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %492 #s(literal -1 binary64)))
(neg.f64 %515)
(fma.f64 #s(literal 1 binary64) %487 #s(literal -1 binary64))
(-.f64 (/.f64 %495 #s(literal 2 binary64)) #s(literal 1 binary64))
(-.f64 (-.f64 %487 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %492 #s(literal 0 binary64))
%492
(-.f64 #s(literal -1 binary64) %523)
(+.f64 %487 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) (neg.f64 %523))
(+.f64 #s(literal -1 binary64) %487)
(*.f64 %529 %515)
(*.f64 %515 %529)
%532
(*.f64 #s(literal 1 binary64) %532)
(*.f64 x %492)
(pow.f64 %532 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %532 #s(literal -1 binary64)))
(neg.f64 (*.f64 %515 x))
(fma.f64 (*.f64 x #s(literal -2 binary64)) #s(literal 1/2 binary64) %541)
(fma.f64 (*.f64 x #s(literal 2 binary64)) #s(literal -1/2 binary64) %541)
(fma.f64 #s(literal -2 binary64) (*.f64 #s(literal 1/2 binary64) x) %541)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) x) %541)
(fma.f64 %487 x %529)
(fma.f64 #s(literal -1 binary64) x %541)
(fma.f64 #s(literal 1 binary64) %541 %529)
(fma.f64 #s(literal 1 binary64) %529 %541)
(fma.f64 x %487 %529)
(fma.f64 x #s(literal -1 binary64) %541)
(-.f64 %541 (*.f64 %529 #s(literal -1 binary64)))
(-.f64 %541 x)
(+.f64 %541 %529)
(+.f64 %529 %541)