%2 = (-.f64 y x)
%4 = (*.f64 %2 #s(literal 6 binary64))
%6 = (*.f64 %4 z)
x
y
%2
#s(literal 6 binary64)
%4
z
%6
(+.f64 x %6)

%3 = (-.f64 x y)
%6 = (-.f64 y x)
%13 = (neg.f64 x)
%15 = (neg.f64 y)
%20 = (*.f64 %3 #s(literal 6 binary64))
%25 = (*.f64 #s(literal 6 binary64) %6)
%32 = (*.f64 #s(literal -6 binary64) y)
%33 = (*.f64 #s(literal -6 binary64) x)
%35 = (*.f64 #s(literal 6 binary64) x)
%36 = (*.f64 #s(literal 6 binary64) y)
%53 = (*.f64 %20 z)
%55 = (*.f64 %3 z)
%57 = (*.f64 z %6)
%60 = (*.f64 #s(literal -6 binary64) z)
%62 = (neg.f64 z)
%64 = (*.f64 z #s(literal 6 binary64))
%68 = (*.f64 z %25)
%77 = (*.f64 %62 y)
%78 = (*.f64 %33 z)
%80 = (*.f64 z x)
%81 = (*.f64 %36 z)
%83 = (*.f64 %35 z)
%85 = (*.f64 %32 z)
%87 = (*.f64 %62 x)
%89 = (*.f64 z y)
%117 = (-.f64 %53 x)
%119 = (fma.f64 z %25 x)
%125 = (fma.f64 #s(literal -6 binary64) z #s(literal 1 binary64))
%129 = (fma.f64 %80 #s(literal -6 binary64) x)
%131 = (fma.f64 %89 #s(literal 6 binary64) x)
x
y
(*.f64 #s(literal -1 binary64) %3)
(*.f64 #s(literal 1 binary64) %6)
(pow.f64 %6 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(neg.f64 %3)
(fma.f64 #s(literal -1 binary64) x y)
(fma.f64 #s(literal 1 binary64) %13 y)
(-.f64 %13 %15)
%6
(+.f64 %13 y)
(+.f64 y %13)
#s(literal 6 binary64)
(*.f64 #s(literal -1 binary64) %20)
(*.f64 #s(literal -6 binary64) %3)
(*.f64 %3 #s(literal -6 binary64))
(*.f64 #s(literal 1 binary64) %25)
%25
(*.f64 %6 #s(literal 6 binary64))
(pow.f64 %25 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %25 #s(literal -1 binary64)))
(neg.f64 %20)
(fma.f64 #s(literal -1 binary64) %32 %33)
(fma.f64 #s(literal -1 binary64) %35 %36)
(fma.f64 #s(literal -6 binary64) %15 %33)
(fma.f64 #s(literal -6 binary64) x %36)
(fma.f64 %15 #s(literal -6 binary64) %33)
(fma.f64 %13 #s(literal 6 binary64) %36)
(fma.f64 #s(literal 1 binary64) %33 %36)
(fma.f64 #s(literal 1 binary64) %36 %33)
(fma.f64 #s(literal 6 binary64) %13 %36)
(fma.f64 #s(literal 6 binary64) y %33)
(fma.f64 y #s(literal 6 binary64) %33)
(fma.f64 x #s(literal -6 binary64) %36)
(-.f64 %33 %32)
(-.f64 %36 %35)
(+.f64 %33 %36)
(+.f64 %36 %33)
z
(*.f64 #s(literal -1 binary64) %53)
(*.f64 %55 #s(literal -6 binary64))
(*.f64 %57 #s(literal 6 binary64))
(*.f64 #s(literal -6 binary64) %55)
(*.f64 %60 %3)
(*.f64 %62 %20)
(*.f64 %64 %6)
(*.f64 %20 %62)
(*.f64 %3 %60)
(*.f64 #s(literal 1 binary64) %68)
%68
(*.f64 %25 z)
(*.f64 #s(literal 6 binary64) %57)
(*.f64 %6 %64)
(pow.f64 %68 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %68 #s(literal -1 binary64)))
(neg.f64 %53)
(fma.f64 %77 #s(literal -6 binary64) %78)
(fma.f64 %80 #s(literal -6 binary64) %81)
(fma.f64 #s(literal -1 binary64) %83 %81)
(fma.f64 #s(literal -1 binary64) %85 %78)
(fma.f64 %87 #s(literal 6 binary64) %81)
(fma.f64 %89 #s(literal 6 binary64) %78)
(fma.f64 %32 %62 %78)
(fma.f64 %35 %62 %81)
(fma.f64 %33 z %81)
(fma.f64 %36 z %78)
(fma.f64 #s(literal -6 binary64) %77 %78)
(fma.f64 #s(literal -6 binary64) %80 %81)
(fma.f64 %60 %15 %78)
(fma.f64 %60 x %81)
(fma.f64 %62 %32 %78)
(fma.f64 %62 %35 %81)
(fma.f64 %15 %60 %78)
(fma.f64 %64 %13 %81)
(fma.f64 %64 y %78)
(fma.f64 %13 %64 %81)
(fma.f64 #s(literal 1 binary64) %78 %81)
(fma.f64 #s(literal 1 binary64) %81 %78)
(fma.f64 z %33 %81)
(fma.f64 z %36 %78)
(fma.f64 #s(literal 6 binary64) %87 %81)
(fma.f64 #s(literal 6 binary64) %89 %78)
(fma.f64 y %64 %78)
(fma.f64 x %60 %81)
(-.f64 %78 %85)
(-.f64 %81 %83)
(+.f64 %78 %81)
(+.f64 %81 %78)
(*.f64 #s(literal -1 binary64) %117)
(*.f64 #s(literal 1 binary64) %119)
(pow.f64 %119 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %119 #s(literal -1 binary64)))
(neg.f64 %117)
(fma.f64 (neg.f64 %125) %13 %81)
(fma.f64 %125 x %81)
(fma.f64 %77 #s(literal -6 binary64) %129)
(fma.f64 %80 #s(literal -6 binary64) %131)
(fma.f64 #s(literal -1 binary64) %83 %131)
(fma.f64 #s(literal -1 binary64) %85 %129)
(fma.f64 #s(literal -1 binary64) %53 x)
(fma.f64 %87 #s(literal 6 binary64) %131)
(fma.f64 %89 #s(literal 6 binary64) %129)
(fma.f64 %32 %62 %129)
(fma.f64 %55 #s(literal -6 binary64) x)
(fma.f64 %35 %62 %131)
(fma.f64 %57 #s(literal 6 binary64) x)
(fma.f64 %33 z %131)
(fma.f64 %36 z %129)
(fma.f64 #s(literal -6 binary64) %77 %129)
(fma.f64 #s(literal -6 binary64) %80 %131)
(fma.f64 #s(literal -6 binary64) %55 x)
(fma.f64 %60 %15 %129)
(fma.f64 %60 %3 x)
(fma.f64 %60 x %131)
(fma.f64 %62 %32 %129)
(fma.f64 %62 %35 %131)
(fma.f64 %62 %20 x)
(fma.f64 %15 %60 %129)
(fma.f64 %64 %13 %131)
(fma.f64 %64 %6 x)
(fma.f64 %64 y %129)
(fma.f64 %20 %62 x)
(fma.f64 %13 (-.f64 %64 #s(literal 1 binary64)) %81)
(fma.f64 %13 %64 %131)
(fma.f64 %3 %60 x)
(fma.f64 #s(literal 1 binary64) %129 %81)
(fma.f64 #s(literal 1 binary64) %131 %78)
(fma.f64 #s(literal 1 binary64) %78 %131)
(fma.f64 #s(literal 1 binary64) %81 %129)
(fma.f64 #s(literal 1 binary64) %68 x)
(fma.f64 z %33 %131)
(fma.f64 z %36 %129)
%119
(fma.f64 %25 z x)
(fma.f64 #s(literal 6 binary64) %87 %131)
(fma.f64 #s(literal 6 binary64) %89 %129)
(fma.f64 #s(literal 6 binary64) %57 x)
(fma.f64 %6 %64 x)
(fma.f64 y %64 %129)
(fma.f64 x (-.f64 #s(literal 1 binary64) %64) %81)
(fma.f64 x %60 %131)
(-.f64 %129 %85)
(-.f64 %131 %83)
(-.f64 %78 (-.f64 %85 x))
(-.f64 %81 (-.f64 %83 x))
(-.f64 %68 %13)
(-.f64 x %53)
(+.f64 %129 %81)
(+.f64 %131 %78)
(+.f64 %78 %131)
(+.f64 %81 %129)
(+.f64 %68 x)
(+.f64 x %68)

%2 = (-.f64 y x)
%5 = (- y x)
%6 = (approx %5 y)
%7 = (*.f64 #s(literal 6 binary64) y)
%9 = (*.f64 y z)
%10 = (*.f64 #s(literal 6 binary64) %9)
%12 = (* %5 6)
%13 = (* %12 z)
%14 = (approx %13 %10)
%15 = (*.f64 x z)
%17 = (*.f64 #s(literal -6 binary64) z)
%18 = (+.f64 #s(literal 1 binary64) %17)
%19 = (*.f64 x %18)
%20 = (*.f64 #s(literal -6 binary64) x)
%21 = (approx %12 %20)
%22 = (*.f64 #s(literal -6 binary64) %15)
%23 = (approx %13 %22)
%24 = (+ x %13)
%26 = (/.f64 x z)
%27 = (fma.f64 #s(literal 6 binary64) %2 %26)
%28 = (*.f64 z %27)
%30 = (-.f64 x y)
%31 = (*.f64 %30 z)
%32 = (*.f64 %7 z)
%33 = (fma.f64 #s(literal -6 binary64) z #s(literal 1 binary64))
%37 = (*.f64 %21 z)
%41 = (*.f64 %6 #s(literal 6 binary64))
%42 = (*.f64 %41 z)
x
y
%2
#s(literal 6 binary64)
z
%6
%7
#s(literal -6 binary64)
%9
%10
%14
%15
#s(literal 1 binary64)
%17
%18
%19
%20
%21
%22
%23
(approx %24 %19)
%26
%27
%28
(approx %24 %28)
%30
%31
%32
%33
(fma.f64 %33 x %32)
(fma.f64 #s(literal -6 binary64) %31 x)
(fma.f64 %17 %30 x)
%37
(+.f64 x %37)
(+.f64 x %14)
(+.f64 x %23)
%41
%42
(+.f64 x %42)

%3 = (-.f64 y x)
%9 = (-.f64 x y)
%12 = (neg.f64 z)
%13 = (/.f64 #s(literal 1 binary64) z)
%16 = (neg.f64 x)
%17 = (*.f64 %12 %16)
%18 = (/.f64 #s(literal -1 binary64) z)
%20 = (*.f64 %12 x)
%22 = (+.f64 x x)
%28 = (*.f64 %16 z)
%31 = (*.f64 #s(literal 1/2 binary64) x)
%36 = (/.f64 %16 z)
%39 = (/.f64 x z)
%44 = (*.f64 z x)
%50 = (neg.f64 y)
%55 = (- y x)
%56 = (approx %55 y)
%63 = (*.f64 #s(literal 6 binary64) y)
%70 = (*.f64 #s(literal -6 binary64) y)
%72 = (*.f64 z y)
%78 = (*.f64 %50 z)
%79 = (neg.f64 %78)
%80 = (*.f64 %79 #s(literal 6 binary64))
%81 = (*.f64 %78 #s(literal -6 binary64))
%82 = (*.f64 %70 %12)
%83 = (*.f64 z #s(literal 6 binary64))
%84 = (*.f64 %83 y)
%85 = (*.f64 #s(literal -6 binary64) z)
%86 = (*.f64 %50 %85)
%87 = (*.f64 %12 %70)
%88 = (*.f64 %85 %50)
%89 = (*.f64 %72 #s(literal 6 binary64))
%90 = (*.f64 #s(literal 1 binary64) %89)
%91 = (*.f64 #s(literal -6 binary64) %78)
%92 = (*.f64 %63 z)
%93 = (*.f64 z %63)
%94 = (*.f64 #s(literal 6 binary64) %79)
%95 = (*.f64 #s(literal 6 binary64) %72)
%96 = (*.f64 y %83)
%97 = (pow.f64 %89 #s(literal 1 binary64))
%99 = (/.f64 #s(literal 1 binary64) (pow.f64 %89 #s(literal -1 binary64)))
%100 = (*.f64 %70 z)
%101 = (neg.f64 %100)
%104 = (* (* %55 z) 6)
%105 = (approx %104 %89)
%110 = (neg.f64 %105)
%112 = (*.f64 z %22)
%114 = (*.f64 z #s(literal 2 binary64))
%116 = (*.f64 #s(literal 1/2 binary64) z)
%118 = (*.f64 %31 z)
%134 = (fma.f64 #s(literal -6 binary64) z #s(literal 1 binary64))
%135 = (*.f64 #s(literal 1 binary64) %134)
%136 = (pow.f64 %134 #s(literal 1 binary64))
%137 = (fma.f64 %85 #s(literal 2 binary64) #s(literal 2 binary64))
%140 = (/.f64 (+.f64 %137 #s(literal 0 binary64)) #s(literal 2 binary64))
%143 = (/.f64 (fma.f64 %137 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
%144 = (*.f64 #s(literal -1 binary64) z)
%146 = (*.f64 %12 #s(literal 2 binary64))
%147 = (/.f64 (*.f64 %144 %137) %146)
%149 = (/.f64 (*.f64 z %137) %114)
%152 = (/.f64 (*.f64 #s(literal -2 binary64) %137) #s(literal -4 binary64))
%154 = (/.f64 (*.f64 #s(literal 2 binary64) %137) #s(literal 4 binary64))
%156 = (/.f64 (*.f64 #s(literal 1 binary64) %137) #s(literal 2 binary64))
%158 = (/.f64 (neg.f64 %137) #s(literal -2 binary64))
%159 = (/.f64 %137 #s(literal 2 binary64))
%161 = (/.f64 #s(literal 1 binary64) (pow.f64 %134 #s(literal -1 binary64)))
%162 = (fma.f64 z #s(literal 6 binary64) #s(literal -1 binary64))
%163 = (neg.f64 %162)
%164 = (fma.f64 %12 #s(literal 6 binary64) #s(literal 1 binary64))
%165 = (fma.f64 #s(literal 1 binary64) %134 #s(literal 0 binary64))
%166 = (fma.f64 #s(literal 1 binary64) %85 #s(literal 1 binary64))
%167 = (fma.f64 z #s(literal -6 binary64) #s(literal 1 binary64))
%168 = (fma.f64 #s(literal 6 binary64) %12 #s(literal 1 binary64))
%169 = (-.f64 %85 #s(literal -1 binary64))
%170 = (-.f64 #s(literal 1 binary64) %83)
%171 = (*.f64 %85 #s(literal 2 binary64))
%173 = (+.f64 (/.f64 %171 #s(literal 2 binary64)) #s(literal 1 binary64))
%175 = (+.f64 (fma.f64 #s(literal -6 binary64) z #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
%177 = (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %85))
%179 = (+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %83))
%180 = (+.f64 %134 #s(literal 0 binary64))
%181 = (+.f64 %85 #s(literal 1 binary64))
%183 = (+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %85))
%185 = (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %83))
%186 = (+.f64 #s(literal 1 binary64) %85)
%187 = (*.f64 %134 %22)
%189 = (*.f64 %134 #s(literal 2 binary64))
%191 = (*.f64 %134 #s(literal 1 binary64))
%193 = (*.f64 #s(literal 1/2 binary64) %134)
%195 = (*.f64 %31 %134)
%197 = (*.f64 %134 x)
%202 = (*.f64 %44 #s(literal -1 binary64))
%204 = (*.f64 #s(literal 2 binary64) %12)
%212 = (neg.f64 %28)
%220 = (*.f64 #s(literal 2 binary64) z)
%228 = (*.f64 %162 x)
%230 = (*.f64 %85 %22)
%232 = (*.f64 %85 #s(literal 1 binary64))
%235 = (*.f64 #s(literal 1/2 binary64) %85)
%237 = (*.f64 %31 %85)
%239 = (*.f64 #s(literal -6 binary64) x)
%240 = (*.f64 %239 z)
%250 = (*.f64 %83 x)
%254 = (*.f64 #s(literal -6 binary64) %22)
%260 = (*.f64 %31 #s(literal -6 binary64))
%278 = (- x y)
%281 = (approx (* %278 -6) %239)
%286 = (neg.f64 %281)
%304 = (approx %104 %240)
%309 = (neg.f64 %304)
%313 = (- x (* (* %278 6) z))
%314 = (approx %313 %197)
%319 = (*.f64 %13 %22)
%321 = (*.f64 %13 #s(literal 2 binary64))
%323 = (/.f64 #s(literal 1/2 binary64) z)
%326 = (*.f64 %323 x)
%328 = (*.f64 %31 %13)
%330 = (/.f64 %31 z)
%338 = (*.f64 #s(literal 2 binary64) %13)
%344 = (*.f64 z z)
%347 = (*.f64 %12 #s(literal -2 binary64))
%350 = (*.f64 z %12)
%353 = (*.f64 z #s(literal -2 binary64))
%376 = (*.f64 %204 %12)
%379 = (*.f64 %204 z)
%385 = (*.f64 #s(literal -1 binary64) %212)
%387 = (*.f64 %12 z)
%391 = (*.f64 #s(literal -1 binary64) %44)
%426 = (*.f64 %212 #s(literal -1 binary64))
%434 = (*.f64 %12 %204)
%437 = (*.f64 z %204)
%451 = (*.f64 %220 %12)
%453 = (*.f64 #s(literal 2 binary64) %212)
%455 = (*.f64 %220 z)
%460 = (*.f64 #s(literal 2 binary64) %28)
%463 = (*.f64 #s(literal 2 binary64) %44)
%473 = (*.f64 %12 %220)
%479 = (*.f64 %212 #s(literal 2 binary64))
%481 = (*.f64 z %220)
%493 = (*.f64 %28 #s(literal 2 binary64))
%496 = (*.f64 %28 #s(literal 1 binary64))
%501 = (*.f64 %44 #s(literal 2 binary64))
%514 = (*.f64 %12 #s(literal 1 binary64))
%526 = (/.f64 (*.f64 x #s(literal 0 binary64)) z)
%529 = (/.f64 (*.f64 #s(literal 0 binary64) x) z)
%556 = (*.f64 %3 z)
%557 = (fma.f64 %556 #s(literal 6 binary64) x)
%560 = (*.f64 %9 #s(literal 6 binary64))
%561 = (*.f64 %560 z)
%562 = (-.f64 %561 x)
%566 = (fma.f64 %3 #s(literal 6 binary64) %39)
%569 = (*.f64 %16 #s(literal -1 binary64))
%576 = (*.f64 %12 %561)
%579 = (*.f64 z %561)
%582 = (*.f64 %561 %12)
%591 = (*.f64 %556 #s(literal 6 binary64))
%592 = (*.f64 %591 %12)
%596 = (*.f64 %591 z)
%602 = (*.f64 %12 %591)
%606 = (*.f64 z %591)
%609 = (*.f64 %562 z)
%612 = (*.f64 z %562)
%615 = (fma.f64 %591 %12 %28)
%618 = (*.f64 %557 z)
%619 = (neg.f64 %618)
%664 = (*.f64 %609 #s(literal -2 binary64))
%666 = (*.f64 %609 #s(literal 2 binary64))
%670 = (*.f64 %609 #s(literal 1 binary64))
%674 = (*.f64 %612 #s(literal -2 binary64))
%676 = (*.f64 %612 #s(literal 2 binary64))
%680 = (*.f64 %612 #s(literal 1 binary64))
%684 = (*.f64 %615 #s(literal -2 binary64))
%686 = (*.f64 %615 #s(literal 2 binary64))
%690 = (*.f64 %615 #s(literal 1 binary64))
%694 = (*.f64 %619 #s(literal -2 binary64))
%696 = (*.f64 %619 #s(literal 2 binary64))
%700 = (*.f64 %619 #s(literal 1 binary64))
%704 = (*.f64 %618 #s(literal -2 binary64))
%706 = (*.f64 %618 #s(literal 2 binary64))
%710 = (*.f64 %618 #s(literal 1 binary64))
%712 = (*.f64 %557 #s(literal -1 binary64))
%715 = (*.f64 %9 #s(literal -6 binary64))
%716 = (*.f64 %715 #s(literal 1 binary64))
%717 = (fma.f64 %716 %12 %16)
%720 = (fma.f64 %16 z %592)
%722 = (neg.f64 %387)
%724 = (neg.f64 %615)
%727 = (fma.f64 %16 z %602)
%730 = (-.f64 %28 %576)
%733 = (-.f64 %44 %579)
%735 = (neg.f64 %344)
%738 = (neg.f64 %566)
%739 = (*.f64 %738 z)
%741 = (*.f64 z %738)
%743 = (-.f64 %228 %89)
%765 = (*.f64 %560 #s(literal 1 binary64))
%771 = (fma.f64 #s(literal 6 binary64) y %39)
%773 = (-.f64 %63 %36)
%777 = (/.f64 %592 %387)
%779 = (/.f64 %602 %387)
%781 = (/.f64 %596 %344)
%783 = (/.f64 %606 %344)
%785 = (*.f64 z %716)
%786 = (/.f64 %785 z)
%788 = (*.f64 %716 z)
%789 = (/.f64 %788 z)
%849 = (fma.f64 #s(literal -6 binary64) x %39)
%851 = (-.f64 %239 %36)
%872 = (*.f64 %9 z)
%948 = (/.f64 %240 z)
%950 = (fma.f64 %83 y x)
%951 = (/.f64 %950 z)
%953 = (/.f64 %197 z)
%954 = (/.f64 %89 z)
%965 = (-.f64 x %100)
%983 = (*.f64 %618 %13)
%984 = (*.f64 %566 z)
%985 = (*.f64 %557 #s(literal 1 binary64))
%986 = (*.f64 #s(literal 1 binary64) %557)
%987 = (*.f64 z %566)
%988 = (pow.f64 %557 #s(literal 1 binary64))
%990 = (/.f64 (*.f64 %609 %144) %344)
%992 = (/.f64 (*.f64 %609 z) %387)
%994 = (/.f64 (*.f64 %612 %144) %344)
%996 = (/.f64 (*.f64 %612 z) %387)
%998 = (/.f64 (*.f64 %615 %144) %344)
%1000 = (/.f64 (*.f64 %615 z) %387)
%1002 = (/.f64 (*.f64 %619 %144) %344)
%1004 = (/.f64 (*.f64 %619 z) %387)
%1006 = (/.f64 (*.f64 %618 %144) %350)
%1008 = (/.f64 (*.f64 %618 z) %344)
%1009 = (/.f64 %664 %347)
%1010 = (/.f64 %666 %146)
%1011 = (/.f64 %670 %514)
%1012 = (/.f64 %674 %347)
%1013 = (/.f64 %676 %146)
%1014 = (/.f64 %680 %514)
%1015 = (/.f64 %684 %347)
%1016 = (/.f64 %686 %146)
%1017 = (/.f64 %690 %514)
%1018 = (/.f64 %694 %347)
%1019 = (/.f64 %696 %146)
%1020 = (/.f64 %700 %514)
%1021 = (/.f64 %704 %353)
%1022 = (/.f64 %706 %114)
%1023 = (/.f64 %710 z)
%1025 = (/.f64 (neg.f64 %619) z)
%1026 = (/.f64 %724 z)
%1027 = (/.f64 %609 %12)
%1028 = (/.f64 %612 %12)
%1029 = (/.f64 %615 %12)
%1030 = (/.f64 %619 %12)
%1031 = (/.f64 %618 z)
%1033 = (/.f64 #s(literal 1 binary64) (/.f64 z %618))
%1035 = (/.f64 #s(literal 1 binary64) (pow.f64 %557 #s(literal -1 binary64)))
%1036 = (neg.f64 %739)
%1037 = (neg.f64 %741)
%1038 = (neg.f64 %743)
%1039 = (neg.f64 %562)
%1040 = (fma.f64 %187 #s(literal 1/2 binary64) %89)
%1041 = (fma.f64 %189 %31 %89)
%1042 = (fma.f64 %191 x %89)
%1043 = (fma.f64 %230 #s(literal 1/2 binary64) %965)
%1044 = (fma.f64 %230 #s(literal 1/2 binary64) %950)
%1045 = (fma.f64 %232 x %965)
%1046 = (fma.f64 %232 x %950)
%1047 = (fma.f64 %79 #s(literal 6 binary64) %197)
%1048 = (fma.f64 %171 %31 %965)
%1049 = (fma.f64 %171 %31 %950)
%1050 = (fma.f64 %22 %193 %89)
%1051 = (fma.f64 %22 %235 %965)
%1052 = (fma.f64 %22 %235 %950)
%1053 = (fma.f64 %78 #s(literal -6 binary64) %197)
%1054 = (fma.f64 %716 z x)
%1055 = (fma.f64 #s(literal 2 binary64) %195 %89)
%1056 = (fma.f64 #s(literal 2 binary64) %237 %965)
%1057 = (fma.f64 #s(literal 2 binary64) %237 %950)
%1058 = (fma.f64 %240 #s(literal 1 binary64) %965)
%1059 = (fma.f64 %240 #s(literal 1 binary64) %950)
%1060 = (fma.f64 %70 %12 %197)
%1061 = (fma.f64 %83 %3 x)
%1062 = (fma.f64 %83 y %197)
%1063 = (fma.f64 %560 %12 x)
%1064 = (fma.f64 %50 %85 %197)
%1065 = (fma.f64 %12 %70 %197)
%1066 = (fma.f64 %12 %560 x)
%1067 = (fma.f64 %197 #s(literal 1 binary64) %89)
%1068 = (fma.f64 %715 z x)
%1069 = (fma.f64 %134 x %89)
%1070 = (fma.f64 %872 #s(literal -6 binary64) x)
%1071 = (fma.f64 %9 %85 x)
%1072 = (fma.f64 %239 z %965)
%1073 = (fma.f64 %239 z %950)
%1074 = (fma.f64 %85 %50 %197)
%1075 = (fma.f64 %85 %9 x)
%1076 = (fma.f64 %85 x %965)
%1077 = (fma.f64 %85 x %950)
%1078 = (fma.f64 #s(literal 1 binary64) %950 %240)
%1079 = (fma.f64 #s(literal 1 binary64) %240 %965)
%1080 = (fma.f64 #s(literal 1 binary64) %240 %950)
%1081 = (fma.f64 #s(literal 1 binary64) %197 %89)
%1082 = (fma.f64 #s(literal 1 binary64) %89 %197)
%1083 = (fma.f64 #s(literal 1 binary64) %591 x)
%1084 = (fma.f64 %44 #s(literal -6 binary64) %965)
%1085 = (fma.f64 %44 #s(literal -6 binary64) %950)
%1086 = (fma.f64 %72 #s(literal 6 binary64) %197)
%1087 = (fma.f64 #s(literal -6 binary64) %78 %197)
%1088 = (fma.f64 #s(literal -6 binary64) %872 x)
%1089 = (fma.f64 #s(literal -6 binary64) %44 %965)
%1090 = (fma.f64 #s(literal -6 binary64) %44 %950)
%1091 = (fma.f64 %63 z %197)
%1092 = (fma.f64 %3 %83 x)
%1093 = (fma.f64 z %716 x)
%1094 = (fma.f64 z %715 x)
%1095 = (fma.f64 z %239 %965)
%1096 = (fma.f64 z %239 %950)
%1097 = (fma.f64 z %63 %197)
%1098 = (fma.f64 #s(literal 6 binary64) %79 %197)
%1099 = (fma.f64 #s(literal 6 binary64) %556 x)
%1100 = (fma.f64 #s(literal 6 binary64) %72 %197)
%1101 = (fma.f64 y %83 %197)
%1102 = (fma.f64 x %134 %89)
%1103 = (fma.f64 x %85 %965)
%1104 = (fma.f64 x %85 %950)
%1105 = (-.f64 %950 %250)
%1106 = (-.f64 %197 %100)
%1107 = (-.f64 %89 %228)
%1108 = (-.f64 %591 %16)
%1110 = (-.f64 x (-.f64 %250 %89))
%1111 = (-.f64 x %561)
%1113 = (+.f64 (/.f64 %592 %12) x)
%1114 = (/.f64 %596 z)
%1115 = (+.f64 %1114 x)
%1116 = (/.f64 %606 z)
%1117 = (+.f64 %1116 x)
%1118 = (+.f64 %785 x)
%1119 = (+.f64 %788 x)
%1120 = (+.f64 %950 %240)
%1121 = (+.f64 %240 %965)
%1122 = (+.f64 %240 %950)
%1123 = (+.f64 %197 %89)
%1124 = (+.f64 %89 %197)
%1125 = (+.f64 %591 x)
%1126 = (+.f64 x %1114)
%1127 = (+.f64 x %1116)
%1128 = (+.f64 x %785)
%1129 = (+.f64 x %788)
%1130 = (+.f64 x %591)
%1131 = (approx %313 %557)
%1174 = (*.f64 %281 z)
%1180 = (*.f64 %286 z)
%1182 = (fma.f64 %281 z x)
%1199 = (+.f64 %105 x)
%1212 = (+.f64 %304 x)
%1225 = (neg.f64 %56)
%1226 = (neg.f64 %1225)
%1229 = (*.f64 %56 #s(literal 6 binary64))
%1237 = (*.f64 #s(literal -6 binary64) %56)
%1239 = (*.f64 %56 %12)
%1242 = (*.f64 %56 z)
%1248 = (*.f64 %1229 z)
%1250 = (*.f64 %12 %56)
%1258 = (*.f64 %1237 z)
%1260 = (fma.f64 %1229 z x)
x
y
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %9)
(fma.f64 (*.f64 %12 %13) x y)
(fma.f64 %17 %18 y)
(fma.f64 %20 %13 y)
(fma.f64 (neg.f64 %22) #s(literal 1/2 binary64) y)
(fma.f64 %22 #s(literal -1/2 binary64) y)
(fma.f64 %28 %13 y)
(fma.f64 #s(literal -2 binary64) %31 y)
(fma.f64 #s(literal 2 binary64) (neg.f64 %31) y)
(fma.f64 %36 z y)
(fma.f64 #s(literal -1 binary64) x y)
(fma.f64 %12 %39 y)
(fma.f64 %16 #s(literal 1 binary64) y)
(fma.f64 %39 %12 y)
(fma.f64 #s(literal 1 binary64) %16 y)
(fma.f64 %44 %18 y)
(fma.f64 z %36 y)
(fma.f64 x (*.f64 %18 z) y)
(fma.f64 x #s(literal -1 binary64) y)
(-.f64 %16 %50)
%3
(+.f64 %16 y)
(+.f64 y %16)
#s(literal 6 binary64)
z
(*.f64 #s(literal 1 binary64) %56)
(pow.f64 %56 #s(literal 1 binary64))
%56
(/.f64 #s(literal 1 binary64) (pow.f64 %56 #s(literal -1 binary64)))
(*.f64 %50 #s(literal -6 binary64))
(*.f64 #s(literal 1 binary64) %63)
(*.f64 #s(literal -6 binary64) %50)
%63
(*.f64 y #s(literal 6 binary64))
(pow.f64 %63 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %63 #s(literal -1 binary64)))
(neg.f64 %70)
#s(literal -6 binary64)
(*.f64 #s(literal 1 binary64) %72)
%72
(*.f64 y z)
(pow.f64 %72 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %72 #s(literal -1 binary64)))
%80
%81
%82
%84
%86
%87
%88
%90
%89
%91
%92
%93
%94
%95
%96
%97
%99
%101
(*.f64 #s(literal 1 binary64) %105)
(pow.f64 %105 #s(literal 1 binary64))
%105
(/.f64 #s(literal 1 binary64) (pow.f64 %105 #s(literal -1 binary64)))
(neg.f64 %110)
(*.f64 %112 #s(literal 1/2 binary64))
(*.f64 %114 %31)
(*.f64 %22 %116)
(*.f64 #s(literal 2 binary64) %118)
(*.f64 #s(literal 1 binary64) %44)
(*.f64 %44 #s(literal 1 binary64))
%44
(*.f64 x z)
(pow.f64 %44 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %44 #s(literal -1 binary64)))
#s(literal 1 binary64)
(*.f64 %12 #s(literal 6 binary64))
(*.f64 #s(literal 1 binary64) %85)
%85
(*.f64 z #s(literal -6 binary64))
(*.f64 #s(literal 6 binary64) %12)
(pow.f64 %85 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %85 #s(literal -1 binary64)))
(neg.f64 %83)
%135
%136
%140
%143
%147
%149
%152
%154
%156
%158
%159
%161
%163
%164
%165
%166
%134
%167
%168
%169
%170
%173
%175
%177
%179
%180
%181
%183
%185
%186
(*.f64 %187 #s(literal 1/2 binary64))
(*.f64 %189 %31)
(*.f64 %191 x)
(*.f64 %22 %193)
(*.f64 #s(literal 2 binary64) %195)
(*.f64 %197 #s(literal 1 binary64))
%197
(*.f64 #s(literal 1 binary64) %197)
(*.f64 x %134)
(pow.f64 %197 #s(literal 1 binary64))
(/.f64 (*.f64 %137 %202) %204)
(/.f64 (*.f64 %137 %22) #s(literal 4 binary64))
(/.f64 (*.f64 %202 %137) %146)
(/.f64 (*.f64 %22 %137) #s(literal 4 binary64))
(/.f64 (*.f64 %212 %137) %114)
(/.f64 (*.f64 %28 %137) %146)
(/.f64 (*.f64 %44 %137) %114)
(/.f64 (*.f64 %137 %212) %220)
(/.f64 (*.f64 %137 %28) %204)
(/.f64 (*.f64 %137 %44) %220)
(/.f64 #s(literal 1 binary64) (pow.f64 %197 #s(literal -1 binary64)))
(neg.f64 %228)
(fma.f64 %230 #s(literal 1/2 binary64) x)
(fma.f64 %232 x x)
(fma.f64 %171 %31 x)
(fma.f64 %22 %235 x)
(fma.f64 #s(literal 2 binary64) %237 x)
(fma.f64 %240 #s(literal 1 binary64) x)
(fma.f64 %239 z x)
(fma.f64 %85 x x)
(fma.f64 #s(literal 1 binary64) %240 x)
(fma.f64 %44 #s(literal -6 binary64) x)
(fma.f64 #s(literal -6 binary64) %44 x)
(fma.f64 z %239 x)
(fma.f64 x %85 x)
(-.f64 %240 %16)
(-.f64 x %250)
(+.f64 %240 x)
(+.f64 x %240)
(*.f64 %254 #s(literal 1/2 binary64))
(*.f64 #s(literal -12 binary64) %31)
(*.f64 %22 #s(literal -3 binary64))
(*.f64 #s(literal 2 binary64) %260)
(*.f64 %16 #s(literal 6 binary64))
(*.f64 %239 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %239)
%239
(*.f64 #s(literal 6 binary64) %16)
(*.f64 x #s(literal -6 binary64))
(pow.f64 %239 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %239 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal 6 binary64) x))
(neg.f64 (*.f64 %16 #s(literal -6 binary64)))
(neg.f64 (*.f64 x #s(literal 6 binary64)))
(neg.f64 (*.f64 #s(literal -6 binary64) %16))
(*.f64 #s(literal 1 binary64) %281)
(pow.f64 %281 #s(literal 1 binary64))
%281
(/.f64 #s(literal 1 binary64) (pow.f64 %281 #s(literal -1 binary64)))
(neg.f64 %286)
(*.f64 %230 #s(literal 1/2 binary64))
(*.f64 %232 x)
(*.f64 %171 %31)
(*.f64 %22 %235)
(*.f64 #s(literal 2 binary64) %237)
(*.f64 %240 #s(literal 1 binary64))
%240
(*.f64 %85 x)
(*.f64 #s(literal 1 binary64) %240)
(*.f64 %44 #s(literal -6 binary64))
(*.f64 #s(literal -6 binary64) %44)
(*.f64 z %239)
(*.f64 x %85)
(pow.f64 %240 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %240 #s(literal -1 binary64)))
(neg.f64 %250)
(*.f64 #s(literal 1 binary64) %304)
(pow.f64 %304 #s(literal 1 binary64))
%304
(/.f64 #s(literal 1 binary64) (pow.f64 %304 #s(literal -1 binary64)))
(neg.f64 %309)
(*.f64 #s(literal 1 binary64) %314)
(pow.f64 %314 #s(literal 1 binary64))
%314
(/.f64 #s(literal 1 binary64) (pow.f64 %314 #s(literal -1 binary64)))
(*.f64 %319 #s(literal 1/2 binary64))
(*.f64 %321 %31)
(*.f64 %22 %323)
(*.f64 %18 %16)
(*.f64 #s(literal 2 binary64) %326)
(*.f64 #s(literal 2 binary64) %328)
(*.f64 #s(literal 2 binary64) %330)
(*.f64 %13 x)
(*.f64 %16 %18)
(*.f64 %39 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %39)
(*.f64 x %13)
(pow.f64 %39 #s(literal 1 binary64))
(/.f64 (*.f64 %338 %202) %204)
(/.f64 (*.f64 %338 %22) #s(literal 4 binary64))
(/.f64 (*.f64 %16 %144) %344)
(/.f64 (*.f64 %16 #s(literal -2 binary64)) %347)
(/.f64 (*.f64 x %144) %350)
(/.f64 (*.f64 x #s(literal -2 binary64)) %353)
(/.f64 (*.f64 %202 %338) %146)
(/.f64 (*.f64 %22 %338) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %202) %344)
(/.f64 (*.f64 #s(literal -1 binary64) %22) %146)
(/.f64 (*.f64 #s(literal 8 binary64) %31) (*.f64 #s(literal 4 binary64) z))
(/.f64 (*.f64 #s(literal 4 binary64) %31) %220)
(/.f64 (*.f64 %338 %212) %220)
(/.f64 (*.f64 %338 %28) %204)
(/.f64 (*.f64 %338 %44) %220)
(/.f64 (*.f64 #s(literal 2 binary64) %17) %376)
(/.f64 (*.f64 #s(literal 2 binary64) %20) %379)
(/.f64 (*.f64 #s(literal -1 binary64) %17) %350)
(/.f64 (*.f64 #s(literal -1 binary64) %20) %344)
(/.f64 %385 %350)
(/.f64 %385 %387)
(/.f64 (*.f64 #s(literal -1 binary64) %28) %344)
(/.f64 %391 %350)
(/.f64 %391 %387)
(/.f64 (*.f64 #s(literal 1 binary64) %17) %344)
(/.f64 (*.f64 #s(literal 1 binary64) %20) %387)
(/.f64 (*.f64 %17 #s(literal -1 binary64)) %387)
(/.f64 (*.f64 %17 #s(literal 1 binary64)) %344)
(/.f64 (*.f64 %20 #s(literal -1 binary64)) %344)
(/.f64 (*.f64 %20 #s(literal 1 binary64)) %350)
(/.f64 (*.f64 %212 %338) %114)
(/.f64 (*.f64 %28 %338) %146)
(/.f64 (*.f64 %44 %338) %114)
(/.f64 (*.f64 %144 %16) %344)
(/.f64 (*.f64 %144 x) %387)
(/.f64 (*.f64 #s(literal -2 binary64) %16) (*.f64 #s(literal -2 binary64) %12))
(/.f64 (*.f64 #s(literal -2 binary64) x) (*.f64 #s(literal -2 binary64) z))
(/.f64 (*.f64 #s(literal 2 binary64) %16) %204)
(/.f64 (*.f64 %202 #s(literal -1 binary64)) %344)
(/.f64 %426 %350)
(/.f64 %426 %387)
(/.f64 (*.f64 %22 #s(literal -1 binary64)) %204)
(/.f64 (*.f64 %28 #s(literal -1 binary64)) %344)
(/.f64 (*.f64 %17 #s(literal 2 binary64)) %434)
(/.f64 (*.f64 %20 #s(literal 2 binary64)) %437)
(/.f64 (*.f64 #s(literal -2 binary64) %202) %376)
(/.f64 (*.f64 #s(literal -2 binary64) %212) %379)
(/.f64 (*.f64 #s(literal -2 binary64) %22) (*.f64 %204 #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -2 binary64) %28) %376)
(/.f64 (*.f64 #s(literal -2 binary64) %44) %379)
(/.f64 (*.f64 #s(literal 2 binary64) %202) %451)
(/.f64 %453 %376)
(/.f64 %453 %455)
(/.f64 (*.f64 #s(literal 2 binary64) %22) (*.f64 %220 #s(literal 2 binary64)))
(/.f64 %460 %379)
(/.f64 %460 %451)
(/.f64 %463 %376)
(/.f64 %463 %455)
(/.f64 (*.f64 #s(literal 1 binary64) %202) %350)
(/.f64 (*.f64 #s(literal 1 binary64) %212) %344)
(/.f64 (*.f64 %202 #s(literal -2 binary64)) %434)
(/.f64 (*.f64 %202 #s(literal 2 binary64)) %473)
(/.f64 (*.f64 %202 #s(literal 1 binary64)) %387)
(/.f64 (*.f64 %212 #s(literal -2 binary64)) %437)
(/.f64 %479 %434)
(/.f64 %479 %481)
(/.f64 (*.f64 %212 #s(literal 1 binary64)) %344)
(/.f64 (*.f64 %22 #s(literal -2 binary64)) (*.f64 #s(literal 2 binary64) %204))
(/.f64 (*.f64 %22 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %220))
(/.f64 (*.f64 %28 #s(literal -2 binary64)) %434)
(/.f64 %493 %473)
(/.f64 %493 %437)
(/.f64 %496 %350)
(/.f64 %496 %387)
(/.f64 (*.f64 %44 #s(literal -2 binary64)) %437)
(/.f64 %501 %434)
(/.f64 %501 %481)
(/.f64 (*.f64 %16 #s(literal 2 binary64)) %146)
(/.f64 %202 %350)
(/.f64 %202 %387)
(/.f64 (*.f64 %12 %36) z)
(/.f64 %22 %114)
(/.f64 %22 %220)
(/.f64 %28 %350)
(/.f64 %28 %387)
(/.f64 %16 %514)
(/.f64 %16 %12)
(/.f64 #s(literal 1 binary64) (pow.f64 %39 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %16))
(/.f64 #s(literal 1 binary64) (/.f64 z x))
(/.f64 %44 %344)
%39
(neg.f64 %36)
(fma.f64 %319 #s(literal 1/2 binary64) %526)
(fma.f64 %319 #s(literal 1/2 binary64) %529)
(fma.f64 %321 %31 %526)
(fma.f64 %321 %31 %529)
(fma.f64 %22 %323 %526)
(fma.f64 %22 %323 %529)
(fma.f64 %18 %16 %526)
(fma.f64 %18 %16 %529)
(fma.f64 #s(literal 2 binary64) %326 %526)
(fma.f64 #s(literal 2 binary64) %326 %529)
(fma.f64 #s(literal 2 binary64) %328 %526)
(fma.f64 #s(literal 2 binary64) %328 %529)
(fma.f64 #s(literal 2 binary64) %330 %526)
(fma.f64 #s(literal 2 binary64) %330 %529)
(fma.f64 %13 x %526)
(fma.f64 %13 x %529)
(fma.f64 %16 %18 %526)
(fma.f64 %16 %18 %529)
(fma.f64 %39 #s(literal 1 binary64) %526)
(fma.f64 %39 #s(literal 1 binary64) %529)
(fma.f64 #s(literal 1 binary64) %39 %526)
(fma.f64 #s(literal 1 binary64) %39 %529)
(fma.f64 x %13 %526)
(fma.f64 x %13 %529)
(+.f64 %330 %330)
(+.f64 %39 %526)
(+.f64 %39 %529)
(*.f64 (*.f64 %557 #s(literal 2 binary64)) %323)
(*.f64 %562 %18)
(*.f64 %13 %557)
(*.f64 %557 %13)
(*.f64 #s(literal 1 binary64) %566)
(pow.f64 %566 #s(literal 1 binary64))
(/.f64 (-.f64 %561 %569) %12)
(/.f64 (fma.f64 %561 %12 %17) %344)
(/.f64 (fma.f64 %561 z %20) %387)
(/.f64 (fma.f64 %16 %12 %576) %344)
(/.f64 (fma.f64 x %12 %579) %350)
(/.f64 (-.f64 %582 (*.f64 %12 %569)) %344)
(/.f64 (-.f64 (*.f64 %561 z) %17) %387)
(/.f64 (-.f64 %582 %20) %344)
(/.f64 (-.f64 %592 (*.f64 z %569)) %350)
(/.f64 (-.f64 %596 %28) %344)
(/.f64 (-.f64 %592 %44) %350)
(/.f64 (-.f64 (*.f64 %16 %12) %602) %344)
(/.f64 (-.f64 (*.f64 x %12) %606) %350)
(/.f64 (*.f64 %338 %609) %204)
(/.f64 (*.f64 %338 %612) %204)
(/.f64 (*.f64 %338 %615) %204)
(/.f64 (*.f64 %338 %619) %204)
(/.f64 (*.f64 %338 %618) %220)
(/.f64 (*.f64 #s(literal -2 binary64) %609) %376)
(/.f64 (*.f64 #s(literal -2 binary64) %612) %376)
(/.f64 (*.f64 #s(literal -2 binary64) %615) %376)
(/.f64 (*.f64 #s(literal -2 binary64) %619) %376)
(/.f64 (*.f64 #s(literal -2 binary64) %618) %379)
(/.f64 (*.f64 #s(literal 2 binary64) %609) %451)
(/.f64 (*.f64 #s(literal 2 binary64) %612) %451)
(/.f64 (*.f64 #s(literal 2 binary64) %615) %451)
(/.f64 (*.f64 #s(literal 2 binary64) %619) %451)
(/.f64 (*.f64 #s(literal 2 binary64) %618) %455)
(/.f64 (*.f64 #s(literal -1 binary64) %609) %344)
(/.f64 (*.f64 #s(literal -1 binary64) %612) %344)
(/.f64 (*.f64 #s(literal -1 binary64) %615) %344)
(/.f64 (*.f64 #s(literal -1 binary64) %619) %344)
(/.f64 (*.f64 #s(literal -1 binary64) %618) %387)
(/.f64 (*.f64 #s(literal 1 binary64) %609) %350)
(/.f64 (*.f64 #s(literal 1 binary64) %612) %350)
(/.f64 (*.f64 #s(literal 1 binary64) %615) %350)
(/.f64 (*.f64 #s(literal 1 binary64) %619) %350)
(/.f64 (*.f64 %609 %338) %146)
(/.f64 %664 %434)
(/.f64 %666 %473)
(/.f64 (*.f64 %609 #s(literal -1 binary64)) %344)
(/.f64 %670 %387)
(/.f64 (*.f64 %612 %338) %146)
(/.f64 %674 %434)
(/.f64 %676 %473)
(/.f64 (*.f64 %612 #s(literal -1 binary64)) %344)
(/.f64 %680 %387)
(/.f64 (*.f64 %615 %338) %146)
(/.f64 %684 %434)
(/.f64 %686 %473)
(/.f64 (*.f64 %615 #s(literal -1 binary64)) %344)
(/.f64 %690 %387)
(/.f64 (*.f64 %619 %338) %146)
(/.f64 %694 %434)
(/.f64 %696 %473)
(/.f64 (*.f64 %619 #s(literal -1 binary64)) %344)
(/.f64 %700 %387)
(/.f64 (*.f64 %618 %338) %114)
(/.f64 %704 %437)
(/.f64 %706 %481)
(/.f64 (*.f64 %618 #s(literal -1 binary64)) %350)
(/.f64 %710 %344)
(/.f64 (neg.f64 %712) z)
(/.f64 (neg.f64 %717) z)
(/.f64 (neg.f64 %720) %722)
(/.f64 %724 (neg.f64 %350))
(/.f64 (neg.f64 %727) %722)
(/.f64 (neg.f64 %730) %722)
(/.f64 (neg.f64 %733) %735)
(/.f64 %712 %12)
(/.f64 %739 %12)
(/.f64 %741 %12)
(/.f64 %743 %12)
(/.f64 %717 %12)
(/.f64 %720 %387)
(/.f64 %615 %350)
(/.f64 %727 %387)
(/.f64 %730 %387)
(/.f64 %733 %344)
(/.f64 %619 %735)
(/.f64 %618 %344)
(/.f64 %562 %12)
(/.f64 %557 z)
(/.f64 #s(literal 1 binary64) (/.f64 %12 %562))
(/.f64 #s(literal 1 binary64) (pow.f64 %566 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %557))
(neg.f64 (*.f64 %562 %13))
(neg.f64 (fma.f64 %9 #s(literal 6 binary64) %36))
(neg.f64 (-.f64 %765 %39))
(neg.f64 (-.f64 %560 %39))
(neg.f64 %738)
(fma.f64 %254 #s(literal 1/2 binary64) %771)
(fma.f64 %254 #s(literal 1/2 binary64) %773)
(fma.f64 #s(literal -12 binary64) %31 %771)
(fma.f64 #s(literal -12 binary64) %31 %773)
(fma.f64 %319 #s(literal 1/2 binary64) %777)
(fma.f64 %319 #s(literal 1/2 binary64) %779)
(fma.f64 %319 #s(literal 1/2 binary64) %781)
(fma.f64 %319 #s(literal 1/2 binary64) %783)
(fma.f64 %319 #s(literal 1/2 binary64) %786)
(fma.f64 %319 #s(literal 1/2 binary64) %789)
(fma.f64 %319 #s(literal 1/2 binary64) %716)
(fma.f64 %319 #s(literal 1/2 binary64) %715)
(fma.f64 %321 %31 %777)
(fma.f64 %321 %31 %779)
(fma.f64 %321 %31 %781)
(fma.f64 %321 %31 %783)
(fma.f64 %321 %31 %786)
(fma.f64 %321 %31 %789)
(fma.f64 %321 %31 %716)
(fma.f64 %321 %31 %715)
(fma.f64 %22 #s(literal -3 binary64) %771)
(fma.f64 %22 #s(literal -3 binary64) %773)
(fma.f64 %22 %323 %777)
(fma.f64 %22 %323 %779)
(fma.f64 %22 %323 %781)
(fma.f64 %22 %323 %783)
(fma.f64 %22 %323 %786)
(fma.f64 %22 %323 %789)
(fma.f64 %22 %323 %716)
(fma.f64 %22 %323 %715)
(fma.f64 %556 (/.f64 #s(literal 6 binary64) z) %39)
(fma.f64 %18 %16 %777)
(fma.f64 %18 %16 %779)
(fma.f64 %18 %16 %781)
(fma.f64 %18 %16 %783)
(fma.f64 %18 %16 %786)
(fma.f64 %18 %16 %789)
(fma.f64 %18 %16 %716)
(fma.f64 %18 %16 %715)
(fma.f64 #s(literal 2 binary64) %260 %771)
(fma.f64 #s(literal 2 binary64) %260 %773)
(fma.f64 #s(literal 2 binary64) %326 %777)
(fma.f64 #s(literal 2 binary64) %326 %779)
(fma.f64 #s(literal 2 binary64) %326 %781)
(fma.f64 #s(literal 2 binary64) %326 %783)
(fma.f64 #s(literal 2 binary64) %326 %786)
(fma.f64 #s(literal 2 binary64) %326 %789)
(fma.f64 #s(literal 2 binary64) %326 %716)
(fma.f64 #s(literal 2 binary64) %326 %715)
(fma.f64 #s(literal 2 binary64) %328 %777)
(fma.f64 #s(literal 2 binary64) %328 %779)
(fma.f64 #s(literal 2 binary64) %328 %781)
(fma.f64 #s(literal 2 binary64) %328 %783)
(fma.f64 #s(literal 2 binary64) %328 %786)
(fma.f64 #s(literal 2 binary64) %328 %789)
(fma.f64 #s(literal 2 binary64) %328 %716)
(fma.f64 #s(literal 2 binary64) %328 %715)
(fma.f64 #s(literal 2 binary64) %330 %777)
(fma.f64 #s(literal 2 binary64) %330 %779)
(fma.f64 #s(literal 2 binary64) %330 %781)
(fma.f64 #s(literal 2 binary64) %330 %783)
(fma.f64 #s(literal 2 binary64) %330 %786)
(fma.f64 #s(literal 2 binary64) %330 %789)
(fma.f64 #s(literal 2 binary64) %330 %716)
(fma.f64 #s(literal 2 binary64) %330 %715)
(fma.f64 %83 (/.f64 %3 z) %39)
(fma.f64 %50 #s(literal -6 binary64) %849)
(fma.f64 %50 #s(literal -6 binary64) %851)
(fma.f64 %13 x %777)
(fma.f64 %13 x %779)
(fma.f64 %13 x %781)
(fma.f64 %13 x %783)
(fma.f64 %13 x %786)
(fma.f64 %13 x %789)
(fma.f64 %13 x %716)
(fma.f64 %13 x %715)
(fma.f64 %16 %18 %777)
(fma.f64 %16 %18 %779)
(fma.f64 %16 %18 %781)
(fma.f64 %16 %18 %783)
(fma.f64 %16 %18 %786)
(fma.f64 %16 %18 %789)
(fma.f64 %16 %18 %716)
(fma.f64 %16 %18 %715)
(fma.f64 %16 #s(literal 6 binary64) %771)
(fma.f64 %16 #s(literal 6 binary64) %773)
(fma.f64 %715 #s(literal 1 binary64) %39)
(fma.f64 %872 (/.f64 #s(literal -6 binary64) z) %39)
(fma.f64 %9 (/.f64 %85 z) %39)
(fma.f64 %9 #s(literal -6 binary64) %39)
(fma.f64 %39 #s(literal 1 binary64) %777)
(fma.f64 %39 #s(literal 1 binary64) %779)
(fma.f64 %39 #s(literal 1 binary64) %781)
(fma.f64 %39 #s(literal 1 binary64) %783)
(fma.f64 %39 #s(literal 1 binary64) %786)
(fma.f64 %39 #s(literal 1 binary64) %789)
(fma.f64 %39 #s(literal 1 binary64) %716)
(fma.f64 %39 #s(literal 1 binary64) %715)
(fma.f64 %239 #s(literal 1 binary64) %771)
(fma.f64 %239 #s(literal 1 binary64) %773)
(fma.f64 %85 (/.f64 %9 z) %39)
(fma.f64 #s(literal 1 binary64) %716 %39)
(fma.f64 #s(literal 1 binary64) %715 %39)
(fma.f64 #s(literal 1 binary64) %39 %777)
(fma.f64 #s(literal 1 binary64) %39 %779)
(fma.f64 #s(literal 1 binary64) %39 %781)
(fma.f64 #s(literal 1 binary64) %39 %783)
(fma.f64 #s(literal 1 binary64) %39 %786)
(fma.f64 #s(literal 1 binary64) %39 %789)
(fma.f64 #s(literal 1 binary64) %39 %716)
(fma.f64 #s(literal 1 binary64) %39 %715)
(fma.f64 #s(literal 1 binary64) %239 %771)
(fma.f64 #s(literal 1 binary64) %239 %773)
(fma.f64 #s(literal 1 binary64) %63 %849)
(fma.f64 #s(literal 1 binary64) %63 %851)
(fma.f64 %591 %13 %39)
(fma.f64 #s(literal -6 binary64) (/.f64 %872 z) %39)
(fma.f64 #s(literal -6 binary64) %50 %849)
(fma.f64 #s(literal -6 binary64) %50 %851)
(fma.f64 #s(literal -6 binary64) %9 %39)
(fma.f64 #s(literal -6 binary64) x %771)
(fma.f64 #s(literal -6 binary64) x %773)
(fma.f64 %3 (/.f64 %83 z) %39)
%566
(fma.f64 z (/.f64 %715 z) %39)
(fma.f64 #s(literal 6 binary64) (/.f64 %556 z) %39)
(fma.f64 #s(literal 6 binary64) %16 %771)
(fma.f64 #s(literal 6 binary64) %16 %773)
(fma.f64 #s(literal 6 binary64) %3 %39)
(fma.f64 #s(literal 6 binary64) y %849)
(fma.f64 #s(literal 6 binary64) y %851)
(fma.f64 y #s(literal 6 binary64) %849)
(fma.f64 y #s(literal 6 binary64) %851)
(fma.f64 x %13 %777)
(fma.f64 x %13 %779)
(fma.f64 x %13 %781)
(fma.f64 x %13 %783)
(fma.f64 x %13 %786)
(fma.f64 x %13 %789)
(fma.f64 x %13 %716)
(fma.f64 x %13 %715)
(fma.f64 x #s(literal -6 binary64) %771)
(fma.f64 x #s(literal -6 binary64) %773)
(-.f64 %716 %36)
(-.f64 %715 %36)
(-.f64 %39 %765)
(-.f64 %39 %560)
(+.f64 (/.f64 (*.f64 %716 %12) %12) %39)
(+.f64 (/.f64 %592 %350) %39)
(+.f64 %781 %39)
(+.f64 %783 %39)
(+.f64 (/.f64 (-.f64 %100 x) %12) %948)
(+.f64 %951 %948)
(+.f64 %953 %954)
(+.f64 %786 %39)
(+.f64 %789 %39)
(+.f64 (+.f64 %39 %239) %63)
(+.f64 (+.f64 %39 %63) %239)
(+.f64 %954 (/.f64 %228 %12))
(+.f64 %954 %953)
(+.f64 %948 (/.f64 %965 z))
(+.f64 %948 %951)
(+.f64 %716 %39)
(+.f64 %715 %39)
(+.f64 %39 %777)
(+.f64 %39 %779)
(+.f64 %39 %781)
(+.f64 %39 %783)
(+.f64 %39 %786)
(+.f64 %39 %789)
(+.f64 %39 %716)
(+.f64 %39 %715)
(+.f64 %239 %771)
(+.f64 %239 %773)
(+.f64 %63 %849)
(+.f64 %63 %851)
%983
%984
%985
%986
%987
%988
%990
%992
%994
%996
%998
%1000
%1002
%1004
%1006
%1008
%1009
%1010
%1011
%1012
%1013
%1014
%1015
%1016
%1017
%1018
%1019
%1020
%1021
%1022
%1023
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1033
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%557
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1107
%1108
%1110
%1111
%1113
%1115
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
(*.f64 #s(literal 1 binary64) %1131)
(pow.f64 %1131 #s(literal 1 binary64))
%1131
(/.f64 #s(literal 1 binary64) (pow.f64 %1131 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %9)
(pow.f64 %9 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
(neg.f64 %3)
(fma.f64 #s(literal 1 binary64) %50 x)
(-.f64 %50 %16)
%9
(+.f64 %50 x)
(+.f64 x %50)
(*.f64 %12 %3)
%872
(*.f64 #s(literal 1 binary64) %872)
(*.f64 %3 %12)
(*.f64 z %9)
(pow.f64 %872 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %872 #s(literal -1 binary64)))
(neg.f64 %556)
(fma.f64 %112 #s(literal 1/2 binary64) %78)
(fma.f64 %114 %31 %78)
(fma.f64 %22 %116 %78)
(fma.f64 #s(literal 2 binary64) %118 %78)
(fma.f64 %50 z %44)
(fma.f64 %12 y %44)
(fma.f64 #s(literal 1 binary64) %78 %44)
(fma.f64 #s(literal 1 binary64) %44 %78)
(fma.f64 %44 #s(literal 1 binary64) %78)
(fma.f64 z %50 %44)
(fma.f64 z x %78)
(fma.f64 y %12 %44)
(fma.f64 x z %78)
(-.f64 %44 (*.f64 %12 %50))
(-.f64 %44 %79)
(-.f64 %44 %72)
(+.f64 %78 %44)
(+.f64 %44 %78)
%80
%81
%82
%84
%86
%87
%88
%90
%89
%91
%92
%93
%94
%95
%96
%97
%99
%101
%135
%136
%140
%143
%147
%149
%152
%154
%156
%158
%159
%161
%163
%164
%165
%166
%134
%167
%168
%169
%170
%173
%175
%177
%179
%180
%181
%183
%185
%186
%983
%984
%985
%986
%987
%988
%990
%992
%994
%996
%998
%1000
%1002
%1004
%1006
%1008
%1009
%1010
%1011
%1012
%1013
%1014
%1015
%1016
%1017
%1018
%1019
%1020
%1021
%1022
%1023
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1033
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%557
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1107
%1108
%1110
%1111
%1113
%1115
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%983
%984
%985
%986
%987
%988
%990
%992
%994
%996
%998
%1000
%1002
%1004
%1006
%1008
%1009
%1010
%1011
%1012
%1013
%1014
%1015
%1016
%1017
%1018
%1019
%1020
%1021
%1022
%1023
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1033
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%557
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1107
%1108
%1110
%1111
%1113
%1115
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%983
%984
%985
%986
%987
%988
%990
%992
%994
%996
%998
%1000
%1002
%1004
%1006
%1008
%1009
%1010
%1011
%1012
%1013
%1014
%1015
%1016
%1017
%1018
%1019
%1020
%1021
%1022
%1023
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1033
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%557
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1107
%1108
%1110
%1111
%1113
%1115
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
(*.f64 %286 %12)
(*.f64 %12 %286)
%1174
(*.f64 #s(literal 1 binary64) %1174)
(*.f64 z %281)
(pow.f64 %1174 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1174 #s(literal -1 binary64)))
(neg.f64 %1180)
(*.f64 #s(literal 1 binary64) %1182)
(pow.f64 %1182 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1182 #s(literal -1 binary64)))
(neg.f64 (-.f64 %16 %1174))
(neg.f64 (neg.f64 %1182))
(fma.f64 %286 %12 x)
(fma.f64 %12 %286 x)
%1182
(fma.f64 #s(literal 1 binary64) %1174 x)
(fma.f64 z %281 x)
(-.f64 %1174 %16)
(-.f64 x %1180)
(+.f64 %1174 x)
(+.f64 x %1174)
(*.f64 #s(literal 1 binary64) %1199)
(pow.f64 %1199 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1199 #s(literal -1 binary64)))
(neg.f64 (-.f64 %16 %105))
(neg.f64 (neg.f64 %1199))
(fma.f64 #s(literal 1 binary64) %105 x)
(-.f64 %105 %16)
(-.f64 x %110)
%1199
(+.f64 x %105)
(*.f64 #s(literal 1 binary64) %1212)
(pow.f64 %1212 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1212 #s(literal -1 binary64)))
(neg.f64 (-.f64 %16 %304))
(neg.f64 (neg.f64 %1212))
(fma.f64 #s(literal 1 binary64) %304 x)
(-.f64 %304 %16)
(-.f64 x %309)
%1212
(+.f64 x %304)
(*.f64 %1226 #s(literal 6 binary64))
(*.f64 %1225 #s(literal -6 binary64))
(*.f64 #s(literal 1 binary64) %1229)
(*.f64 #s(literal -6 binary64) %1225)
%1229
(*.f64 #s(literal 6 binary64) %1226)
(*.f64 #s(literal 6 binary64) %56)
(pow.f64 %1229 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1229 #s(literal -1 binary64)))
(neg.f64 %1237)
(*.f64 %1239 #s(literal -6 binary64))
(*.f64 %1226 %83)
(*.f64 %1242 #s(literal 6 binary64))
(*.f64 %1225 %85)
(*.f64 %83 %56)
(*.f64 %1237 %12)
(*.f64 %12 %1237)
%1248
(*.f64 #s(literal 1 binary64) %1248)
(*.f64 #s(literal -6 binary64) %1250)
(*.f64 %56 %83)
(*.f64 z %1229)
(*.f64 #s(literal 6 binary64) %1242)
(pow.f64 %1248 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1248 #s(literal -1 binary64)))
(neg.f64 %1258)
(*.f64 #s(literal 1 binary64) %1260)
(pow.f64 %1260 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1260 #s(literal -1 binary64)))
(neg.f64 (-.f64 %16 %1248))
(neg.f64 (-.f64 %1258 x))
(fma.f64 %1239 #s(literal -6 binary64) x)
(fma.f64 %1226 %83 x)
(fma.f64 %1242 #s(literal 6 binary64) x)
(fma.f64 %1225 %85 x)
(fma.f64 %83 %56 x)
(fma.f64 %1237 %12 x)
(fma.f64 %12 %1237 x)
%1260
(fma.f64 #s(literal 1 binary64) %1248 x)
(fma.f64 #s(literal -6 binary64) %1250 x)
(fma.f64 %56 %83 x)
(fma.f64 z %1229 x)
(fma.f64 #s(literal 6 binary64) %1242 x)
(-.f64 %1248 %16)
(-.f64 x %1258)
(+.f64 %1248 x)
(+.f64 x %1248)

%2 = (-.f64 y x)
%5 = (- y x)
%6 = (approx %5 y)
%9 = (*.f64 #s(literal -6 binary64) x)
%10 = (/.f64 x z)
%11 = (*.f64 #s(literal 6 binary64) %2)
%12 = (*.f64 z #s(literal 6 binary64))
%13 = (*.f64 z x)
%14 = (*.f64 z y)
%15 = (fma.f64 #s(literal -6 binary64) z #s(literal 1 binary64))
%16 = (*.f64 %6 #s(literal 6 binary64))
%17 = (fma.f64 #s(literal -6 binary64) x %10)
%21 = (+ (* 6 %5) (/ x z))
%22 = (approx %21 %17)
%27 = (approx (+ 1 (* -6 z)) #s(literal 1 binary64))
%28 = (approx %21 %11)
%29 = (*.f64 %15 x)
%30 = (fma.f64 #s(literal -6 binary64) %13 x)
%31 = (- x y)
%33 = (approx (* %31 -6) %9)
%38 = (-.f64 %13 %14)
%40 = (*.f64 %6 z)
%44 = (*.f64 z %28)
%47 = (+ x (* (* %5 6) z))
%49 = (*.f64 z %22)
%51 = (fma.f64 #s(literal 6 binary64) %6 %10)
%52 = (*.f64 z %51)
%55 = (*.f64 x %27)
x
y
%2
#s(literal 6 binary64)
z
%6
#s(literal -6 binary64)
#s(literal 1 binary64)
%9
%10
%11
%12
%13
%14
%15
%16
%17
%22
%27
%28
%29
%30
%33
(approx (- x (* (* %31 6) z)) %29)
%38
(fma.f64 z %33 x)
%40
(fma.f64 %6 %12 x)
(fma.f64 z %16 x)
(fma.f64 #s(literal 6 binary64) %40 x)
%44
(approx %47 %44)
%49
(approx %47 %49)
%51
%52
(approx %47 %52)
(fma.f64 #s(literal -6 binary64) %38 x)
%55
(approx %47 %55)
(approx %47 %30)

%3 = (-.f64 y x)
%9 = (-.f64 x y)
%12 = (neg.f64 z)
%13 = (/.f64 #s(literal 1 binary64) z)
%16 = (neg.f64 x)
%17 = (*.f64 %12 %16)
%18 = (/.f64 #s(literal -1 binary64) z)
%20 = (*.f64 %12 x)
%22 = (/.f64 %16 z)
%24 = (/.f64 x z)
%27 = (*.f64 z x)
%35 = (neg.f64 y)
%40 = (- y x)
%41 = (approx %40 y)
%48 = (*.f64 #s(literal -6 binary64) z)
%49 = (*.f64 %48 x)
%52 = (/.f64 #s(literal -6 binary64) z)
%54 = (*.f64 #s(literal -6 binary64) x)
%57 = (/.f64 %54 z)
%60 = (/.f64 %48 z)
%64 = (*.f64 #s(literal 6 binary64) x)
%65 = (*.f64 %64 z)
%67 = (*.f64 %12 z)
%70 = (*.f64 x #s(literal 2 binary64))
%72 = (*.f64 #s(literal 2 binary64) z)
%74 = (*.f64 %27 #s(literal -1 binary64))
%77 = (*.f64 %27 #s(literal 1 binary64))
%79 = (*.f64 z z)
%81 = (*.f64 #s(literal 2 binary64) x)
%84 = (neg.f64 %20)
%103 = (/.f64 #s(literal 1/2 binary64) z)
%106 = (*.f64 %103 x)
%113 = (*.f64 #s(literal 2 binary64) %13)
%118 = (*.f64 #s(literal 2 binary64) %12)
%124 = (*.f64 #s(literal -1 binary64) z)
%125 = (*.f64 #s(literal -1 binary64) x)
%133 = (*.f64 z %12)
%137 = (*.f64 #s(literal -2 binary64) %12)
%153 = (*.f64 %12 #s(literal 2 binary64))
%156 = (*.f64 z #s(literal 2 binary64))
%175 = (*.f64 %118 %12)
%179 = (*.f64 #s(literal -1 binary64) %84)
%184 = (*.f64 #s(literal -1 binary64) %27)
%190 = (*.f64 %12 %118)
%210 = (*.f64 %84 #s(literal -1 binary64))
%216 = (*.f64 %118 #s(literal 2 binary64))
%221 = (*.f64 %118 z)
%232 = (*.f64 %72 #s(literal 2 binary64))
%235 = (*.f64 %72 %12)
%238 = (*.f64 %72 z)
%242 = (*.f64 #s(literal 2 binary64) %84)
%245 = (*.f64 #s(literal 2 binary64) %20)
%248 = (*.f64 #s(literal 2 binary64) %27)
%262 = (*.f64 #s(literal 2 binary64) %118)
%265 = (*.f64 #s(literal 2 binary64) %72)
%272 = (*.f64 %12 %72)
%277 = (*.f64 z %118)
%280 = (*.f64 z %72)
%292 = (*.f64 %84 #s(literal 2 binary64))
%299 = (*.f64 %20 #s(literal 2 binary64))
%302 = (*.f64 %20 #s(literal 1 binary64))
%307 = (*.f64 %27 #s(literal 2 binary64))
%329 = (*.f64 %3 #s(literal 6 binary64))
%336 = (*.f64 %9 #s(literal 6 binary64))
%339 = (*.f64 #s(literal 6 binary64) y)
%363 = (*.f64 z #s(literal 6 binary64))
%378 = (*.f64 z y)
%384 = (*.f64 %35 z)
%386 = (fma.f64 #s(literal -6 binary64) z #s(literal 1 binary64))
%389 = (fma.f64 %48 #s(literal 2 binary64) #s(literal 2 binary64))
%395 = (fma.f64 z #s(literal 6 binary64) #s(literal -1 binary64))
%418 = (neg.f64 %41)
%420 = (*.f64 %41 #s(literal 6 binary64))
%427 = (*.f64 #s(literal -6 binary64) %41)
%429 = (*.f64 %386 x)
%432 = (*.f64 %429 #s(literal 1 binary64))
%434 = (-.f64 %13 #s(literal 6 binary64))
%436 = (*.f64 %395 x)
%440 = (-.f64 %18 #s(literal -6 binary64))
%443 = (fma.f64 #s(literal -6 binary64) x %24)
%511 = (*.f64 %429 #s(literal -1 binary64))
%516 = (fma.f64 %49 z %27)
%518 = (neg.f64 %79)
%520 = (fma.f64 %49 %12 %20)
%522 = (neg.f64 %133)
%568 = (* %40 6)
%570 = (+ %568 (/ x z))
%571 = (approx %570 %443)
%579 = (approx (- 1 (* z 6)) #s(literal 1 binary64))
%584 = (approx %570 %329)
%589 = (*.f64 #s(literal 1 binary64) %429)
%590 = (*.f64 x %386)
%591 = (pow.f64 %429 #s(literal 1 binary64))
%593 = (/.f64 (*.f64 %389 %70) #s(literal 4 binary64))
%595 = (/.f64 (*.f64 %389 %74) %118)
%597 = (/.f64 (*.f64 %389 %77) %72)
%599 = (/.f64 (*.f64 %389 %81) #s(literal 4 binary64))
%601 = (/.f64 (*.f64 %70 %389) #s(literal 4 binary64))
%603 = (/.f64 (*.f64 %74 %389) %153)
%605 = (/.f64 (*.f64 %77 %389) %156)
%607 = (/.f64 (*.f64 %81 %389) #s(literal 4 binary64))
%609 = (/.f64 (*.f64 %84 %389) %156)
%611 = (/.f64 (*.f64 %20 %389) %153)
%613 = (/.f64 (*.f64 %27 %389) %156)
%615 = (/.f64 (*.f64 %389 %84) %72)
%617 = (/.f64 (*.f64 %389 %20) %118)
%619 = (/.f64 (*.f64 %389 %27) %72)
%621 = (/.f64 #s(literal 1 binary64) (pow.f64 %429 #s(literal -1 binary64)))
%622 = (neg.f64 %436)
%623 = (fma.f64 %48 x x)
%624 = (fma.f64 %27 #s(literal -6 binary64) x)
%625 = (fma.f64 %54 z x)
%626 = (fma.f64 #s(literal 1 binary64) %49 x)
%627 = (fma.f64 #s(literal -6 binary64) %27 x)
%628 = (fma.f64 z %54 x)
%629 = (fma.f64 x %48 x)
%630 = (-.f64 %49 %125)
%631 = (-.f64 %49 %16)
%632 = (-.f64 x %65)
%633 = (+.f64 %49 x)
%635 = (+.f64 x (*.f64 %84 #s(literal -6 binary64)))
%636 = (+.f64 x %49)
%637 = (approx %568 %54)
%645 = (- x (* (* (- x y) 6) z))
%646 = (approx %645 %429)
%647 = (*.f64 #s(literal 1 binary64) %646)
%648 = (pow.f64 %646 #s(literal 1 binary64))
%650 = (/.f64 #s(literal 1 binary64) (pow.f64 %646 #s(literal -1 binary64)))
%652 = (*.f64 %9 z)
%658 = (*.f64 %3 z)
%678 = (fma.f64 %637 z x)
%683 = (*.f64 %12 %637)
%688 = (*.f64 %637 z)
%701 = (*.f64 %41 z)
%707 = (fma.f64 %701 #s(literal 6 binary64) x)
%708 = (*.f64 %707 z)
%709 = (*.f64 %708 %13)
%710 = (fma.f64 %41 #s(literal 6 binary64) %24)
%711 = (*.f64 %710 z)
%712 = (*.f64 %707 #s(literal 1 binary64))
%713 = (*.f64 #s(literal 1 binary64) %707)
%714 = (*.f64 z %710)
%715 = (pow.f64 %707 #s(literal 1 binary64))
%716 = (*.f64 %701 #s(literal -6 binary64))
%717 = (-.f64 %716 x)
%718 = (*.f64 %717 z)
%720 = (/.f64 (*.f64 %718 %124) %79)
%722 = (/.f64 (*.f64 %718 z) %67)
%723 = (*.f64 %718 #s(literal -2 binary64))
%724 = (*.f64 %12 #s(literal -2 binary64))
%725 = (/.f64 %723 %724)
%726 = (*.f64 %718 #s(literal 2 binary64))
%727 = (/.f64 %726 %153)
%728 = (*.f64 %718 #s(literal 1 binary64))
%729 = (*.f64 %12 #s(literal 1 binary64))
%730 = (/.f64 %728 %729)
%731 = (*.f64 z %717)
%733 = (/.f64 (*.f64 %731 %124) %79)
%735 = (/.f64 (*.f64 %731 z) %67)
%736 = (*.f64 %731 #s(literal -2 binary64))
%737 = (/.f64 %736 %724)
%738 = (*.f64 %731 #s(literal 2 binary64))
%739 = (/.f64 %738 %153)
%740 = (*.f64 %731 #s(literal 1 binary64))
%741 = (/.f64 %740 %729)
%742 = (*.f64 %701 #s(literal 6 binary64))
%743 = (fma.f64 %742 %12 %20)
%745 = (/.f64 (*.f64 %743 %124) %79)
%747 = (/.f64 (*.f64 %743 z) %67)
%748 = (*.f64 %743 #s(literal -2 binary64))
%749 = (/.f64 %748 %724)
%750 = (*.f64 %743 #s(literal 2 binary64))
%751 = (/.f64 %750 %153)
%752 = (*.f64 %743 #s(literal 1 binary64))
%753 = (/.f64 %752 %729)
%754 = (neg.f64 %708)
%756 = (/.f64 (*.f64 %754 %124) %79)
%758 = (/.f64 (*.f64 %754 z) %67)
%759 = (*.f64 %754 #s(literal -2 binary64))
%760 = (/.f64 %759 %724)
%761 = (*.f64 %754 #s(literal 2 binary64))
%762 = (/.f64 %761 %153)
%763 = (*.f64 %754 #s(literal 1 binary64))
%764 = (/.f64 %763 %729)
%766 = (/.f64 (*.f64 %708 %124) %133)
%768 = (/.f64 (*.f64 %708 z) %79)
%769 = (*.f64 %708 #s(literal -2 binary64))
%771 = (/.f64 %769 (*.f64 z #s(literal -2 binary64)))
%772 = (*.f64 %708 #s(literal 2 binary64))
%773 = (/.f64 %772 %156)
%774 = (*.f64 %708 #s(literal 1 binary64))
%776 = (/.f64 %774 (*.f64 z #s(literal 1 binary64)))
%777 = (neg.f64 %743)
%778 = (/.f64 %777 z)
%780 = (/.f64 (neg.f64 %754) z)
%781 = (/.f64 %718 %12)
%782 = (/.f64 %731 %12)
%783 = (/.f64 %743 %12)
%784 = (/.f64 %754 %12)
%785 = (/.f64 %708 z)
%787 = (/.f64 #s(literal 1 binary64) (/.f64 z %708))
%789 = (/.f64 #s(literal 1 binary64) (pow.f64 %707 #s(literal -1 binary64)))
%790 = (neg.f64 %710)
%791 = (*.f64 %790 z)
%792 = (neg.f64 %791)
%793 = (*.f64 z %790)
%794 = (neg.f64 %793)
%795 = (neg.f64 %717)
%796 = (fma.f64 %427 %12 x)
%797 = (*.f64 %418 z)
%798 = (fma.f64 %797 #s(literal -6 binary64) x)
%799 = (*.f64 %420 #s(literal 1 binary64))
%800 = (fma.f64 %799 z x)
%801 = (fma.f64 %12 %427 x)
%802 = (fma.f64 %420 z x)
%803 = (fma.f64 %363 %41 x)
%804 = (fma.f64 #s(literal 1 binary64) %742 x)
%805 = (fma.f64 #s(literal -6 binary64) %797 x)
%806 = (fma.f64 %41 %363 x)
%807 = (fma.f64 z %799 x)
%808 = (fma.f64 z %420 x)
%809 = (fma.f64 #s(literal 6 binary64) %701 x)
%810 = (-.f64 %742 %16)
%811 = (-.f64 x %716)
%812 = (*.f64 z %799)
%813 = (+.f64 %812 x)
%814 = (*.f64 %799 z)
%815 = (+.f64 %814 x)
%816 = (+.f64 %742 x)
%817 = (+.f64 x %812)
%820 = (+.f64 x (*.f64 (neg.f64 %797) #s(literal 6 binary64)))
%821 = (neg.f64 %418)
%823 = (+.f64 x (*.f64 %821 %363))
%824 = (+.f64 x %814)
%825 = (+.f64 x %742)
%826 = (*.f64 %584 z)
%832 = (approx %645 %826)
%837 = (*.f64 %571 z)
%843 = (approx %645 %837)
%938 = (*.f64 %707 #s(literal -1 binary64))
%941 = (fma.f64 %799 %12 %16)
%944 = (-.f64 %814 %16)
%948 = (-.f64 (*.f64 %799 %12) x)
%951 = (*.f64 %742 %12)
%952 = (fma.f64 %12 x %951)
%954 = (neg.f64 %67)
%957 = (fma.f64 %12 x (*.f64 %12 %742))
%961 = (-.f64 (*.f64 %742 z) %20)
%964 = (-.f64 %951 %27)
%1000 = (*.f64 %821 #s(literal 6 binary64))
%1051 = (approx %645 %707)
%1056 = (fma.f64 %652 #s(literal -6 binary64) x)
%1061 = (*.f64 %336 z)
%1064 = (*.f64 %3 %12)
%1071 = (fma.f64 %339 z x)
%1073 = (*.f64 %363 y)
%1074 = (-.f64 %1073 %16)
%1086 = (*.f64 %652 #s(literal -6 binary64))
%1107 = (*.f64 %579 x)
%1113 = (approx %645 %1107)
x
y
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %9)
(fma.f64 (*.f64 %12 %13) x y)
(fma.f64 %17 %18 y)
(fma.f64 %20 %13 y)
(fma.f64 %22 z y)
(fma.f64 %12 %24 y)
(fma.f64 %16 #s(literal 1 binary64) y)
(fma.f64 %27 %18 y)
(fma.f64 %24 %12 y)
(fma.f64 #s(literal 1 binary64) %16 y)
(fma.f64 z %22 y)
(fma.f64 x (*.f64 %18 z) y)
(fma.f64 x #s(literal -1 binary64) y)
(-.f64 %16 %35)
%3
(+.f64 %16 y)
(+.f64 y %16)
#s(literal 6 binary64)
z
(*.f64 #s(literal 1 binary64) %41)
(pow.f64 %41 #s(literal 1 binary64))
%41
(/.f64 #s(literal 1 binary64) (pow.f64 %41 #s(literal -1 binary64)))
#s(literal -6 binary64)
#s(literal 1 binary64)
(*.f64 %16 #s(literal 6 binary64))
(*.f64 %49 %13)
(*.f64 %48 %24)
(*.f64 %27 %52)
(*.f64 %54 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %54)
%54
(*.f64 z %57)
(*.f64 #s(literal 6 binary64) %16)
(*.f64 x %60)
(*.f64 x #s(literal -6 binary64))
(pow.f64 %54 #s(literal 1 binary64))
(/.f64 (*.f64 %65 z) %67)
(/.f64 (*.f64 %70 %48) %72)
(/.f64 (*.f64 %74 %48) %67)
(/.f64 (*.f64 %77 %48) %79)
(/.f64 (*.f64 %81 %48) %72)
(/.f64 (*.f64 %84 %48) %79)
(/.f64 (*.f64 %20 %48) %67)
(/.f64 (*.f64 %27 %48) %79)
(/.f64 (*.f64 %20 #s(literal 6 binary64)) z)
(/.f64 (*.f64 %49 z) %79)
(/.f64 %65 %12)
(/.f64 %49 z)
(/.f64 #s(literal 1 binary64) (/.f64 z %49))
(/.f64 #s(literal 1 binary64) (pow.f64 %54 #s(literal -1 binary64)))
(neg.f64 %64)
(*.f64 %70 %103)
(*.f64 %18 %16)
(*.f64 #s(literal 2 binary64) %106)
(*.f64 %13 x)
(*.f64 %16 %18)
(*.f64 #s(literal 1 binary64) %24)
(*.f64 x %13)
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 (*.f64 %113 %70) #s(literal 4 binary64))
(/.f64 (*.f64 %113 %74) %118)
(/.f64 (*.f64 %113 %77) %72)
(/.f64 (*.f64 %113 %81) #s(literal 4 binary64))
(/.f64 (*.f64 %124 %125) %79)
(/.f64 (*.f64 %124 %16) %79)
(/.f64 (*.f64 %124 x) %67)
(/.f64 (*.f64 z %125) %133)
(/.f64 (*.f64 #s(literal -2 binary64) %125) %137)
(/.f64 (*.f64 #s(literal -2 binary64) %16) %137)
(/.f64 (*.f64 #s(literal -2 binary64) x) (*.f64 #s(literal -2 binary64) z))
(/.f64 (*.f64 #s(literal 2 binary64) %125) %118)
(/.f64 (*.f64 #s(literal 2 binary64) %16) %118)
(/.f64 (*.f64 #s(literal 1 binary64) %125) %12)
(/.f64 (*.f64 %70 %113) #s(literal 4 binary64))
(/.f64 (*.f64 %74 %113) %153)
(/.f64 (*.f64 %77 %113) %156)
(/.f64 (*.f64 %81 %113) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %70) %153)
(/.f64 (*.f64 #s(literal -1 binary64) %74) %79)
(/.f64 (*.f64 #s(literal -1 binary64) %77) %67)
(/.f64 (*.f64 #s(literal -1 binary64) %81) %153)
(/.f64 (*.f64 %113 %84) %72)
(/.f64 (*.f64 %113 %20) %118)
(/.f64 (*.f64 %113 %27) %72)
(/.f64 (*.f64 #s(literal 2 binary64) %17) %175)
(/.f64 (*.f64 #s(literal -1 binary64) %17) %133)
(/.f64 %179 %133)
(/.f64 %179 %67)
(/.f64 (*.f64 #s(literal -1 binary64) %20) %79)
(/.f64 %184 %133)
(/.f64 %184 %67)
(/.f64 (*.f64 #s(literal 1 binary64) %17) %79)
(/.f64 (*.f64 %17 #s(literal 2 binary64)) %190)
(/.f64 (*.f64 %17 #s(literal -1 binary64)) %67)
(/.f64 (*.f64 %17 #s(literal 1 binary64)) %79)
(/.f64 (*.f64 %84 %113) %156)
(/.f64 (*.f64 %20 %113) %153)
(/.f64 (*.f64 %27 %113) %156)
(/.f64 (*.f64 %70 #s(literal -1 binary64)) %118)
(/.f64 (*.f64 %74 #s(literal -1 binary64)) %79)
(/.f64 (*.f64 %77 #s(literal -1 binary64)) %133)
(/.f64 (*.f64 %81 #s(literal -1 binary64)) %118)
(/.f64 %210 %133)
(/.f64 %210 %67)
(/.f64 (*.f64 %20 #s(literal -1 binary64)) %79)
(/.f64 (*.f64 #s(literal -2 binary64) %70) %216)
(/.f64 (*.f64 #s(literal -2 binary64) %74) %175)
(/.f64 (*.f64 #s(literal -2 binary64) %77) %221)
(/.f64 (*.f64 #s(literal -2 binary64) %81) %216)
(/.f64 (*.f64 #s(literal -2 binary64) %84) %221)
(/.f64 (*.f64 #s(literal -2 binary64) %20) %175)
(/.f64 (*.f64 #s(literal -2 binary64) %27) %221)
(/.f64 (*.f64 #s(literal 2 binary64) %70) %232)
(/.f64 (*.f64 #s(literal 2 binary64) %74) %235)
(/.f64 (*.f64 #s(literal 2 binary64) %77) %238)
(/.f64 (*.f64 #s(literal 2 binary64) %81) %232)
(/.f64 %242 %175)
(/.f64 %242 %238)
(/.f64 %245 %221)
(/.f64 %245 %235)
(/.f64 %248 %175)
(/.f64 %248 %238)
(/.f64 (*.f64 #s(literal 1 binary64) %70) %156)
(/.f64 (*.f64 #s(literal 1 binary64) %74) %133)
(/.f64 (*.f64 #s(literal 1 binary64) %77) %79)
(/.f64 (*.f64 #s(literal 1 binary64) %81) %156)
(/.f64 (*.f64 #s(literal 1 binary64) %84) %79)
(/.f64 (*.f64 %70 #s(literal -2 binary64)) %262)
(/.f64 (*.f64 %70 #s(literal 2 binary64)) %265)
(/.f64 (*.f64 %70 #s(literal 1 binary64)) %72)
(/.f64 (*.f64 %74 #s(literal -2 binary64)) %190)
(/.f64 (*.f64 %74 #s(literal 2 binary64)) %272)
(/.f64 (*.f64 %74 #s(literal 1 binary64)) %67)
(/.f64 (*.f64 %77 #s(literal -2 binary64)) %277)
(/.f64 (*.f64 %77 #s(literal 2 binary64)) %280)
(/.f64 (*.f64 %77 #s(literal 1 binary64)) %79)
(/.f64 (*.f64 %81 #s(literal -2 binary64)) %262)
(/.f64 (*.f64 %81 #s(literal 2 binary64)) %265)
(/.f64 (*.f64 %81 #s(literal 1 binary64)) %72)
(/.f64 (*.f64 %84 #s(literal -2 binary64)) %277)
(/.f64 %292 %280)
(/.f64 %292 %190)
(/.f64 (*.f64 %84 #s(literal 1 binary64)) %79)
(/.f64 (*.f64 %20 #s(literal -2 binary64)) %190)
(/.f64 %299 %272)
(/.f64 %299 %277)
(/.f64 %302 %133)
(/.f64 %302 %67)
(/.f64 (*.f64 %27 #s(literal -2 binary64)) %277)
(/.f64 %307 %280)
(/.f64 %307 %190)
(/.f64 %74 %133)
(/.f64 %74 %67)
(/.f64 %77 %79)
(/.f64 %81 %72)
(/.f64 (*.f64 %12 %22) z)
(/.f64 %125 %12)
(/.f64 %20 %133)
(/.f64 %20 %67)
(/.f64 %16 %12)
(/.f64 %27 %79)
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %16))
(/.f64 #s(literal 1 binary64) (/.f64 z x))
%24
(neg.f64 %22)
(*.f64 %9 #s(literal -6 binary64))
(*.f64 #s(literal 1 binary64) %329)
(*.f64 #s(literal -6 binary64) %9)
%329
(*.f64 #s(literal 6 binary64) %3)
(pow.f64 %329 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %329 #s(literal -1 binary64)))
(neg.f64 %336)
(fma.f64 %35 #s(literal -6 binary64) %54)
(fma.f64 %16 #s(literal 6 binary64) %339)
(fma.f64 %49 %13 %339)
(fma.f64 %48 %24 %339)
(fma.f64 %27 %52 %339)
(fma.f64 %54 #s(literal 1 binary64) %339)
(fma.f64 #s(literal 1 binary64) %339 %54)
(fma.f64 #s(literal 1 binary64) %54 %339)
(fma.f64 #s(literal -6 binary64) %35 %54)
(fma.f64 #s(literal -6 binary64) x %339)
(fma.f64 z %57 %339)
(fma.f64 #s(literal 6 binary64) %16 %339)
(fma.f64 #s(literal 6 binary64) y %54)
(fma.f64 y #s(literal 6 binary64) %54)
(fma.f64 x %60 %339)
(fma.f64 x #s(literal -6 binary64) %339)
(-.f64 %339 %64)
(-.f64 %54 (*.f64 y #s(literal -6 binary64)))
(-.f64 %54 (*.f64 %35 #s(literal 6 binary64)))
(+.f64 %339 %54)
(+.f64 %54 %339)
(*.f64 %12 #s(literal -6 binary64))
(*.f64 #s(literal 1 binary64) %363)
(*.f64 #s(literal -6 binary64) %12)
%363
(*.f64 #s(literal 6 binary64) z)
(pow.f64 %363 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %363 #s(literal -1 binary64)))
(neg.f64 %48)
(*.f64 #s(literal 1 binary64) %27)
%27
(*.f64 x z)
(pow.f64 %27 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %27 #s(literal -1 binary64)))
(*.f64 %35 %12)
(*.f64 %12 %35)
(*.f64 #s(literal 1 binary64) %378)
%378
(*.f64 y z)
(pow.f64 %378 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %378 #s(literal -1 binary64)))
(neg.f64 %384)
(*.f64 #s(literal 1 binary64) %386)
(pow.f64 %386 #s(literal 1 binary64))
(/.f64 (neg.f64 %389) #s(literal -2 binary64))
(/.f64 %389 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %386 #s(literal -1 binary64)))
(neg.f64 %395)
(fma.f64 %12 #s(literal 6 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %48 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %386 #s(literal 0 binary64))
%386
(fma.f64 z #s(literal -6 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 6 binary64) %12 #s(literal 1 binary64))
(-.f64 %48 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %363)
(+.f64 (fma.f64 #s(literal -6 binary64) z #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %48))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %363))
(+.f64 %48 #s(literal 1 binary64))
(+.f64 %386 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %48))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %363))
(+.f64 #s(literal 1 binary64) %48)
(*.f64 %418 #s(literal -6 binary64))
(*.f64 #s(literal 1 binary64) %420)
(*.f64 #s(literal -6 binary64) %418)
%420
(*.f64 #s(literal 6 binary64) %41)
(pow.f64 %420 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %420 #s(literal -1 binary64)))
(neg.f64 %427)
(*.f64 (*.f64 %429 #s(literal 2 binary64)) %103)
(*.f64 %432 %13)
(*.f64 %434 x)
(*.f64 %436 %18)
(*.f64 %13 %429)
(*.f64 %429 %13)
(*.f64 %16 %440)
(*.f64 %386 %24)
(*.f64 #s(literal 1 binary64) %443)
(*.f64 x (*.f64 %386 %13))
(*.f64 x %434)
(pow.f64 %443 #s(literal 1 binary64))
(/.f64 (*.f64 %395 %70) %153)
(/.f64 (*.f64 %395 %74) %79)
(/.f64 (*.f64 %395 %77) %67)
(/.f64 (*.f64 %395 %81) %153)
(/.f64 (*.f64 %395 %84) %67)
(/.f64 (*.f64 %395 %20) %79)
(/.f64 (*.f64 %395 %27) %67)
(/.f64 (*.f64 %386 %70) %156)
(/.f64 (*.f64 %386 %74) %133)
(/.f64 (*.f64 %386 %77) %79)
(/.f64 (*.f64 %386 %81) %156)
(/.f64 (*.f64 %386 %84) %79)
(/.f64 (*.f64 %386 %20) %133)
(/.f64 (*.f64 %386 %27) %79)
(/.f64 (*.f64 %389 %125) %118)
(/.f64 (*.f64 %389 %16) %118)
(/.f64 (*.f64 %389 x) %72)
(/.f64 (*.f64 %70 %395) %118)
(/.f64 (*.f64 %70 %386) %72)
(/.f64 (*.f64 %74 %395) %79)
(/.f64 (*.f64 %74 %386) %67)
(/.f64 (*.f64 %77 %395) %133)
(/.f64 (*.f64 %77 %386) %79)
(/.f64 (*.f64 %81 %395) %118)
(/.f64 (*.f64 %81 %386) %72)
(/.f64 (*.f64 %84 %395) %133)
(/.f64 (*.f64 %84 %386) %79)
(/.f64 (*.f64 %20 %395) %79)
(/.f64 (*.f64 %20 %386) %67)
(/.f64 (*.f64 %27 %395) %133)
(/.f64 (*.f64 %27 %386) %79)
(/.f64 (neg.f64 %511) z)
(/.f64 (neg.f64 %432) %12)
(/.f64 (neg.f64 %516) %518)
(/.f64 (neg.f64 %520) %522)
(/.f64 %511 %12)
(/.f64 %432 z)
(/.f64 %516 %79)
(/.f64 %520 %133)
(/.f64 %436 %12)
(/.f64 %429 z)
(/.f64 #s(literal 1 binary64) (/.f64 %12 %436))
(/.f64 #s(literal 1 binary64) (pow.f64 %443 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %429))
(neg.f64 (*.f64 %436 %13))
(neg.f64 (/.f64 %436 z))
(neg.f64 (-.f64 %64 %24))
(neg.f64 (*.f64 x %440))
(fma.f64 %70 %103 %54)
(fma.f64 %18 %16 %54)
(fma.f64 #s(literal 2 binary64) %106 %54)
(fma.f64 %13 x %54)
(fma.f64 %16 %18 %54)
(fma.f64 %16 #s(literal 6 binary64) %24)
(fma.f64 %49 %13 %24)
(fma.f64 %48 %24 %24)
(fma.f64 %27 %52 %24)
(fma.f64 %54 #s(literal 1 binary64) %24)
(fma.f64 #s(literal 1 binary64) %24 %54)
(fma.f64 #s(literal 1 binary64) %54 %24)
%443
(fma.f64 z %57 %24)
(fma.f64 #s(literal 6 binary64) %16 %24)
(fma.f64 x %60 %24)
(fma.f64 x %13 %54)
(fma.f64 x #s(literal -6 binary64) %24)
(-.f64 %24 (/.f64 %65 z))
(-.f64 %24 %64)
(-.f64 %54 %22)
(+.f64 %24 %54)
(+.f64 %54 %24)
(*.f64 #s(literal 1 binary64) %571)
(pow.f64 %571 #s(literal 1 binary64))
%571
(/.f64 #s(literal 1 binary64) (pow.f64 %571 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %579)
(pow.f64 %579 #s(literal 1 binary64))
%579
(/.f64 #s(literal 1 binary64) (pow.f64 %579 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %584)
(pow.f64 %584 #s(literal 1 binary64))
%584
(/.f64 #s(literal 1 binary64) (pow.f64 %584 #s(literal -1 binary64)))
%429
%589
%590
%591
%593
%595
%597
%599
%601
%603
%605
%607
%609
%611
%613
%615
%617
%619
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%635
%636
%429
%589
%590
%591
%593
%595
%597
%599
%601
%603
%605
%607
%609
%611
%613
%615
%617
%619
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%635
%636
(*.f64 #s(literal 1 binary64) %637)
(pow.f64 %637 #s(literal 1 binary64))
%637
(/.f64 #s(literal 1 binary64) (pow.f64 %637 #s(literal -1 binary64)))
%647
%648
%646
%650
(*.f64 %12 %3)
%652
(*.f64 #s(literal 1 binary64) %652)
(*.f64 z %9)
(pow.f64 %652 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %652 #s(literal -1 binary64)))
(neg.f64 %658)
(fma.f64 %35 z %84)
(fma.f64 %35 z %27)
(fma.f64 %12 y %84)
(fma.f64 %12 y %27)
(fma.f64 #s(literal 1 binary64) %384 %84)
(fma.f64 #s(literal 1 binary64) %384 %27)
(fma.f64 #s(literal 1 binary64) %27 %384)
(fma.f64 z %35 %84)
(fma.f64 z %35 %27)
(fma.f64 z x %384)
(fma.f64 y %12 %84)
(fma.f64 y %12 %27)
(fma.f64 x z %384)
(-.f64 %384 %20)
(-.f64 %27 %378)
(+.f64 %384 %84)
(+.f64 %384 %27)
(+.f64 %27 %384)
(*.f64 #s(literal 1 binary64) %678)
(pow.f64 %678 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %678 #s(literal -1 binary64)))
(neg.f64 (-.f64 %683 x))
(neg.f64 (neg.f64 %678))
%678
(fma.f64 #s(literal 1 binary64) %688 x)
(fma.f64 z %637 x)
(-.f64 %688 %16)
(-.f64 x %683)
(+.f64 %688 x)
(+.f64 x (*.f64 (neg.f64 (neg.f64 %637)) z))
(+.f64 x (neg.f64 %683))
(+.f64 x %688)
(*.f64 #s(literal 1 binary64) %701)
%701
(*.f64 z %41)
(pow.f64 %701 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %701 #s(literal -1 binary64)))
%709
%711
%712
%713
%714
%715
%720
%722
%725
%727
%730
%733
%735
%737
%739
%741
%745
%747
%749
%751
%753
%756
%758
%760
%762
%764
%766
%768
%771
%773
%776
%778
%780
%781
%782
%783
%784
%785
%787
%789
%792
%794
%795
%796
%798
%800
%801
%802
%707
%803
%804
%805
%806
%807
%808
%809
%810
%811
%813
%815
%816
%817
%820
%823
%824
%825
%709
%711
%712
%713
%714
%715
%720
%722
%725
%727
%730
%733
%735
%737
%739
%741
%745
%747
%749
%751
%753
%756
%758
%760
%762
%764
%766
%768
%771
%773
%776
%778
%780
%781
%782
%783
%784
%785
%787
%789
%792
%794
%795
%796
%798
%800
%801
%802
%707
%803
%804
%805
%806
%807
%808
%809
%810
%811
%813
%815
%816
%817
%820
%823
%824
%825
%709
%711
%712
%713
%714
%715
%720
%722
%725
%727
%730
%733
%735
%737
%739
%741
%745
%747
%749
%751
%753
%756
%758
%760
%762
%764
%766
%768
%771
%773
%776
%778
%780
%781
%782
%783
%784
%785
%787
%789
%792
%794
%795
%796
%798
%800
%801
%802
%707
%803
%804
%805
%806
%807
%808
%809
%810
%811
%813
%815
%816
%817
%820
%823
%824
%825
%826
(*.f64 #s(literal 1 binary64) %826)
(*.f64 z %584)
(pow.f64 %826 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %826 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %832)
(pow.f64 %832 #s(literal 1 binary64))
%832
(/.f64 #s(literal 1 binary64) (pow.f64 %832 #s(literal -1 binary64)))
%837
(*.f64 #s(literal 1 binary64) %837)
(*.f64 z %571)
(pow.f64 %837 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %837 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %843)
(pow.f64 %843 #s(literal 1 binary64))
%843
(/.f64 #s(literal 1 binary64) (pow.f64 %843 #s(literal -1 binary64)))
(*.f64 (*.f64 %707 #s(literal 2 binary64)) %103)
(*.f64 %717 %18)
(*.f64 %13 %707)
(*.f64 %707 %13)
(*.f64 #s(literal 1 binary64) %710)
(pow.f64 %710 #s(literal 1 binary64))
(/.f64 (*.f64 %113 %718) %118)
(/.f64 (*.f64 %113 %731) %118)
(/.f64 (*.f64 %113 %743) %118)
(/.f64 (*.f64 %113 %754) %118)
(/.f64 (*.f64 %113 %708) %72)
(/.f64 (*.f64 #s(literal -2 binary64) %718) %175)
(/.f64 (*.f64 #s(literal -2 binary64) %731) %175)
(/.f64 (*.f64 #s(literal -2 binary64) %743) %175)
(/.f64 (*.f64 #s(literal -2 binary64) %754) %175)
(/.f64 (*.f64 #s(literal -2 binary64) %708) %221)
(/.f64 (*.f64 #s(literal 2 binary64) %718) %235)
(/.f64 (*.f64 #s(literal 2 binary64) %731) %235)
(/.f64 (*.f64 #s(literal 2 binary64) %743) %235)
(/.f64 (*.f64 #s(literal 2 binary64) %754) %235)
(/.f64 (*.f64 #s(literal 2 binary64) %708) %238)
(/.f64 (*.f64 #s(literal -1 binary64) %718) %79)
(/.f64 (*.f64 #s(literal -1 binary64) %731) %79)
(/.f64 (*.f64 #s(literal -1 binary64) %743) %79)
(/.f64 (*.f64 #s(literal -1 binary64) %754) %79)
(/.f64 (*.f64 #s(literal -1 binary64) %708) %67)
(/.f64 (*.f64 #s(literal 1 binary64) %718) %133)
(/.f64 (*.f64 #s(literal 1 binary64) %731) %133)
(/.f64 (*.f64 #s(literal 1 binary64) %743) %133)
(/.f64 (*.f64 #s(literal 1 binary64) %754) %133)
(/.f64 (*.f64 %718 %113) %153)
(/.f64 (*.f64 %718 #s(literal -1 binary64)) %79)
(/.f64 (*.f64 %731 %113) %153)
(/.f64 (*.f64 %731 #s(literal -1 binary64)) %79)
(/.f64 (*.f64 %743 %113) %153)
(/.f64 (*.f64 %743 #s(literal -1 binary64)) %79)
(/.f64 (*.f64 %754 %113) %153)
(/.f64 (*.f64 %754 #s(literal -1 binary64)) %79)
(/.f64 (*.f64 %708 %113) %156)
(/.f64 (*.f64 %708 #s(literal -1 binary64)) %133)
(/.f64 %723 %190)
(/.f64 %726 %272)
(/.f64 %728 %67)
(/.f64 %736 %190)
(/.f64 %738 %272)
(/.f64 %740 %67)
(/.f64 %748 %190)
(/.f64 %750 %272)
(/.f64 %752 %67)
(/.f64 %759 %190)
(/.f64 %761 %272)
(/.f64 %763 %67)
(/.f64 %769 %277)
(/.f64 %772 %280)
(/.f64 %774 %79)
(/.f64 (neg.f64 %938) z)
(/.f64 (neg.f64 %941) z)
(/.f64 (neg.f64 %944) %12)
(/.f64 (neg.f64 %948) z)
(/.f64 (neg.f64 %952) %954)
(/.f64 (neg.f64 %957) %954)
(/.f64 (neg.f64 %961) %518)
(/.f64 (neg.f64 %964) %522)
(/.f64 %777 %522)
(/.f64 %938 %12)
(/.f64 %791 %12)
(/.f64 %793 %12)
(/.f64 %941 %12)
(/.f64 %944 z)
(/.f64 %948 %12)
(/.f64 %952 %67)
(/.f64 %743 %133)
(/.f64 %957 %67)
(/.f64 %961 %79)
(/.f64 %964 %133)
(/.f64 %754 %518)
(/.f64 %708 %79)
(/.f64 %717 %12)
(/.f64 %707 z)
(/.f64 #s(literal 1 binary64) (/.f64 %12 %717))
(/.f64 #s(literal 1 binary64) (pow.f64 %710 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %707))
(neg.f64 (*.f64 %717 %13))
(neg.f64 (fma.f64 #s(literal -6 binary64) %41 %22))
(neg.f64 (/.f64 %717 z))
(neg.f64 (-.f64 %22 %799))
(neg.f64 (-.f64 %427 %24))
(neg.f64 %790)
(fma.f64 %70 %103 %1000)
(fma.f64 %70 %103 %799)
(fma.f64 %70 %103 %420)
(fma.f64 %418 #s(literal -6 binary64) %24)
(fma.f64 %18 %16 %1000)
(fma.f64 %18 %16 %799)
(fma.f64 %18 %16 %420)
(fma.f64 #s(literal 2 binary64) %106 %1000)
(fma.f64 #s(literal 2 binary64) %106 %799)
(fma.f64 #s(literal 2 binary64) %106 %420)
(fma.f64 %13 x %1000)
(fma.f64 %13 x %799)
(fma.f64 %13 x %420)
(fma.f64 %16 %18 %1000)
(fma.f64 %16 %18 %799)
(fma.f64 %16 %18 %420)
(fma.f64 %420 #s(literal 1 binary64) %24)
(fma.f64 %742 %13 %24)
(fma.f64 %701 (/.f64 #s(literal 6 binary64) z) %24)
(fma.f64 %363 (/.f64 %41 z) %24)
(fma.f64 #s(literal 1 binary64) %799 %24)
(fma.f64 #s(literal 1 binary64) %420 %24)
(fma.f64 #s(literal 1 binary64) %24 %1000)
(fma.f64 #s(literal 1 binary64) %24 %799)
(fma.f64 #s(literal 1 binary64) %24 %420)
(fma.f64 #s(literal -6 binary64) %418 %24)
(fma.f64 %41 (/.f64 %363 z) %24)
%710
(fma.f64 z (/.f64 %420 z) %24)
(fma.f64 #s(literal 6 binary64) (/.f64 %701 z) %24)
(fma.f64 #s(literal 6 binary64) %41 %24)
(fma.f64 x %13 %1000)
(fma.f64 x %13 %799)
(fma.f64 x %13 %420)
(-.f64 %799 %22)
(-.f64 %420 %22)
(-.f64 %24 (neg.f64 %799))
(-.f64 %24 (/.f64 %716 z))
(-.f64 %24 %427)
(+.f64 %799 %24)
(+.f64 %420 %24)
(+.f64 %24 %1000)
(+.f64 %24 %799)
(+.f64 %24 %420)
%709
%711
%712
%713
%714
%715
%720
%722
%725
%727
%730
%733
%735
%737
%739
%741
%745
%747
%749
%751
%753
%756
%758
%760
%762
%764
%766
%768
%771
%773
%776
%778
%780
%781
%782
%783
%784
%785
%787
%789
%792
%794
%795
%796
%798
%800
%801
%802
%707
%803
%804
%805
%806
%807
%808
%809
%810
%811
%813
%815
%816
%817
%820
%823
%824
%825
(*.f64 #s(literal 1 binary64) %1051)
(pow.f64 %1051 #s(literal 1 binary64))
%1051
(/.f64 #s(literal 1 binary64) (pow.f64 %1051 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %1056)
(pow.f64 %1056 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1056 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1061 x))
(fma.f64 %1064 #s(literal -6 binary64) x)
(fma.f64 %658 #s(literal 6 binary64) x)
(fma.f64 %12 %336 x)
%1056
(fma.f64 %336 %12 x)
(fma.f64 %9 %48 x)
(fma.f64 %48 %9 x)
(fma.f64 %48 x %1071)
(fma.f64 %48 x %1074)
(fma.f64 %329 z x)
(fma.f64 %386 x %1073)
(fma.f64 %27 #s(literal -6 binary64) %1071)
(fma.f64 %27 #s(literal -6 binary64) %1074)
(fma.f64 %363 %3 x)
(fma.f64 %54 z %1071)
(fma.f64 %54 z %1074)
(fma.f64 #s(literal 1 binary64) %429 %1073)
(fma.f64 #s(literal 1 binary64) %49 %1071)
(fma.f64 #s(literal 1 binary64) %49 %1074)
(fma.f64 #s(literal 1 binary64) %1086 x)
(fma.f64 #s(literal -6 binary64) %1064 x)
(fma.f64 #s(literal -6 binary64) %652 x)
(fma.f64 #s(literal -6 binary64) %27 %1071)
(fma.f64 #s(literal -6 binary64) %27 %1074)
(fma.f64 %3 %363 x)
(fma.f64 z %329 x)
(fma.f64 z %54 %1071)
(fma.f64 z %54 %1074)
(fma.f64 #s(literal 6 binary64) %658 x)
(fma.f64 x %48 %1071)
(fma.f64 x %48 %1074)
(fma.f64 x %386 %1073)
(-.f64 %1086 %16)
(-.f64 x %1061)
(+.f64 %429 %1073)
(+.f64 %49 %1071)
(+.f64 %49 %1074)
(+.f64 %1086 x)
(+.f64 x %1086)
%1107
(*.f64 #s(literal 1 binary64) %1107)
(*.f64 x %579)
(pow.f64 %1107 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1107 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %1113)
(pow.f64 %1113 #s(literal 1 binary64))
%1113
(/.f64 #s(literal 1 binary64) (pow.f64 %1113 #s(literal -1 binary64)))
%647
%648
%646
%650

%5 = (approx x #s(literal 0 binary64))
%6 = (- y x)
%7 = (approx %6 y)
%9 = (*.f64 y z)
%10 = (*.f64 #s(literal 6 binary64) %9)
%11 = (*.f64 x z)
%13 = (*.f64 #s(literal -6 binary64) z)
%14 = (*.f64 #s(literal -6 binary64) %11)
%17 = (* -6 z)
%19 = (approx (+ 1 %17) #s(literal 1 binary64))
%20 = (*.f64 #s(literal 6 binary64) %7)
%25 = (- x (* (* (- x y) 6) z))
%27 = (+ %17 1)
%28 = (approx %27 %13)
%30 = (approx (* %27 x) %14)
%35 = (approx (+ (* 6 %6) (/ x z)) %20)
%36 = (*.f64 z %35)
%39 = (+ x (* (* %6 6) z))
%41 = (*.f64 %28 x)
%43 = (*.f64 %5 %19)
x
y
#s(literal 6 binary64)
z
#s(literal 0 binary64)
%5
%7
#s(literal -6 binary64)
%9
%10
%11
#s(literal 1 binary64)
%13
%14
%19
%20
(approx %25 %10)
%28
%30
(approx %25 %30)
%35
%36
(approx %39 %36)
%41
(approx %25 %41)
%43
(approx %39 %43)

%6 = (approx x #s(literal 0 binary64))
%13 = (approx (- y x) y)
%19 = (*.f64 z y)
%25 = (neg.f64 z)
%28 = (neg.f64 %19)
%30 = (*.f64 #s(literal -6 binary64) y)
%32 = (*.f64 #s(literal 6 binary64) y)
%34 = (*.f64 z #s(literal 6 binary64))
%37 = (*.f64 %19 #s(literal 6 binary64))
%48 = (*.f64 #s(literal -6 binary64) z)
%51 = (*.f64 z x)
%65 = (*.f64 #s(literal -6 binary64) x)
%68 = (*.f64 %51 #s(literal -6 binary64))
%83 = (+ (* -6 z) 1)
%84 = (approx %83 #s(literal 1 binary64))
%89 = (neg.f64 %13)
%91 = (*.f64 %13 #s(literal 6 binary64))
%100 = (- x y)
%103 = (+ (* (* %100 -6) z) x)
%104 = (approx %103 %37)
%109 = (approx %83 %48)
%115 = (approx (* %83 x) %68)
%120 = (approx %103 %115)
%129 = (approx (- (/ x z) (* %100 6)) %91)
%134 = (*.f64 %129 z)
%140 = (approx %103 %134)
%145 = (*.f64 %109 x)
%151 = (approx %103 %145)
%156 = (*.f64 %84 %6)
%162 = (approx %103 %156)
x
y
#s(literal 6 binary64)
z
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %6)
(pow.f64 %6 #s(literal 1 binary64))
%6
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %13)
(pow.f64 %13 #s(literal 1 binary64))
%13
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64)))
#s(literal -6 binary64)
(*.f64 #s(literal 1 binary64) %19)
%19
(*.f64 y z)
(pow.f64 %19 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %19 #s(literal -1 binary64)))
(*.f64 (*.f64 y %25) #s(literal -6 binary64))
(*.f64 %28 #s(literal -6 binary64))
(*.f64 %30 %25)
(*.f64 %32 z)
(*.f64 %34 y)
(*.f64 %25 %30)
(*.f64 #s(literal 1 binary64) %37)
%37
(*.f64 #s(literal -6 binary64) (*.f64 %25 y))
(*.f64 #s(literal -6 binary64) %28)
(*.f64 z %32)
(*.f64 #s(literal 6 binary64) %19)
(*.f64 y %34)
(pow.f64 %37 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %37 #s(literal -1 binary64)))
(neg.f64 (*.f64 %48 y))
(*.f64 #s(literal 1 binary64) %51)
%51
(*.f64 x z)
(pow.f64 %51 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %51 #s(literal -1 binary64)))
#s(literal 1 binary64)
(*.f64 %25 #s(literal 6 binary64))
(*.f64 #s(literal 1 binary64) %48)
%48
(*.f64 z #s(literal -6 binary64))
(*.f64 #s(literal 6 binary64) %25)
(pow.f64 %48 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %48 #s(literal -1 binary64)))
(neg.f64 %34)
(*.f64 %65 z)
(*.f64 %48 x)
(*.f64 #s(literal 1 binary64) %68)
%68
(*.f64 #s(literal -6 binary64) %51)
(*.f64 z %65)
(*.f64 x %48)
(pow.f64 %68 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %68 #s(literal -1 binary64)))
(neg.f64 (*.f64 %51 #s(literal 6 binary64)))
(neg.f64 (*.f64 #s(literal 6 binary64) %51))
(*.f64 #s(literal 1 binary64) %84)
(pow.f64 %84 #s(literal 1 binary64))
%84
(/.f64 #s(literal 1 binary64) (pow.f64 %84 #s(literal -1 binary64)))
(*.f64 %89 #s(literal -6 binary64))
(*.f64 #s(literal 1 binary64) %91)
(*.f64 #s(literal -6 binary64) %89)
%91
(*.f64 #s(literal 6 binary64) %13)
(pow.f64 %91 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %91 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -6 binary64) %13))
(*.f64 #s(literal 1 binary64) %104)
(pow.f64 %104 #s(literal 1 binary64))
%104
(/.f64 #s(literal 1 binary64) (pow.f64 %104 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %109)
(pow.f64 %109 #s(literal 1 binary64))
%109
(/.f64 #s(literal 1 binary64) (pow.f64 %109 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %115)
(pow.f64 %115 #s(literal 1 binary64))
%115
(/.f64 #s(literal 1 binary64) (pow.f64 %115 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %120)
(pow.f64 %120 #s(literal 1 binary64))
%120
(/.f64 #s(literal 1 binary64) (pow.f64 %120 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %129)
(pow.f64 %129 #s(literal 1 binary64))
%129
(/.f64 #s(literal 1 binary64) (pow.f64 %129 #s(literal -1 binary64)))
%134
(*.f64 #s(literal 1 binary64) %134)
(*.f64 z %129)
(pow.f64 %134 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %134 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %140)
(pow.f64 %140 #s(literal 1 binary64))
%140
(/.f64 #s(literal 1 binary64) (pow.f64 %140 #s(literal -1 binary64)))
%145
(*.f64 #s(literal 1 binary64) %145)
(*.f64 x %109)
(pow.f64 %145 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %145 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %151)
(pow.f64 %151 #s(literal 1 binary64))
%151
(/.f64 #s(literal 1 binary64) (pow.f64 %151 #s(literal -1 binary64)))
%156
(*.f64 #s(literal 1 binary64) %156)
(*.f64 %6 %84)
(pow.f64 %156 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %156 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %162)
(pow.f64 %162 #s(literal 1 binary64))
%162
(/.f64 #s(literal 1 binary64) (pow.f64 %162 #s(literal -1 binary64)))