%3 = (+.f64 y z)
%4 = (+.f64 %3 z)
%5 = (+.f64 %4 y)
%7 = (+.f64 %5 t)
%8 = (*.f64 x %7)
%10 = (*.f64 y #s(literal 5 binary64))
x
y
z
%3
%4
%5
t
%7
%8
#s(literal 5 binary64)
%10
(+.f64 %8 %10)

%4 = (+.f64 z y)
%7 = (neg.f64 %4)
%9 = (neg.f64 y)
%11 = (neg.f64 z)
%15 = (fma.f64 #s(literal 2 binary64) z y)
%19 = (*.f64 #s(literal -2 binary64) z)
%20 = (-.f64 %19 y)
%23 = (+.f64 z z)
%36 = (*.f64 #s(literal 2 binary64) %4)
%40 = (*.f64 #s(literal -2 binary64) %4)
%42 = (+.f64 y y)
%47 = (fma.f64 #s(literal 2 binary64) y z)
%52 = (*.f64 %4 #s(literal 1 binary64))
%62 = (*.f64 #s(literal -2 binary64) y)
%66 = (-.f64 %62 z)
%78 = (fma.f64 #s(literal 2 binary64) %4 t)
%81 = (-.f64 %40 t)
%84 = (fma.f64 #s(literal 2 binary64) y t)
%87 = (fma.f64 #s(literal 2 binary64) z t)
%90 = (+.f64 t z)
%94 = (+.f64 %47 t)
%97 = (+.f64 t y)
%98 = (+.f64 %97 z)
%100 = (fma.f64 #s(literal 2 binary64) z %97)
%116 = (neg.f64 t)
%121 = (-.f64 %62 t)
%126 = (neg.f64 %97)
%128 = (neg.f64 %98)
%130 = (-.f64 %121 z)
%132 = (-.f64 %19 %97)
%150 = (neg.f64 x)
%153 = (*.f64 %78 x)
%157 = (*.f64 %81 x)
%159 = (*.f64 %47 x)
%161 = (*.f64 %23 x)
%163 = (*.f64 %11 %150)
%165 = (+.f64 x x)
%166 = (*.f64 t x)
%168 = (*.f64 %97 x)
%169 = (fma.f64 y x %168)
%171 = (*.f64 x %84)
%173 = (*.f64 %84 x)
%175 = (fma.f64 %165 z %166)
%177 = (*.f64 x %87)
%179 = (*.f64 %87 x)
%181 = (*.f64 z x)
%185 = (*.f64 %9 %150)
%191 = (fma.f64 z x %166)
%193 = (*.f64 x %90)
%195 = (*.f64 %90 x)
%197 = (*.f64 %4 x)
%200 = (*.f64 %150 %9)
%203 = (*.f64 y x)
%213 = (*.f64 %150 %11)
%217 = (*.f64 %150 %126)
%219 = (*.f64 %126 %150)
%223 = (*.f64 %150 %128)
%225 = (*.f64 %128 %150)
%227 = (*.f64 %98 x)
%229 = (*.f64 %15 x)
%231 = (*.f64 %165 %4)
%233 = (*.f64 %150 %132)
%235 = (*.f64 %150 %130)
%250 = (*.f64 %132 %150)
%252 = (*.f64 %130 %150)
%254 = (*.f64 %42 x)
%262 = (*.f64 %94 x)
%264 = (*.f64 %100 x)
%329 = (fma.f64 %97 x %203)
%330 = (neg.f64 %161)
%332 = (fma.f64 t x %254)
%334 = (fma.f64 t x %159)
%335 = (*.f64 %150 z)
%337 = (fma.f64 t x %181)
%338 = (neg.f64 %159)
%349 = (*.f64 %100 %150)
%351 = (*.f64 %150 %4)
%353 = (*.f64 %20 x)
%355 = (*.f64 %150 y)
%357 = (neg.f64 %335)
%358 = (*.f64 %94 %150)
%359 = (neg.f64 %358)
%393 = (*.f64 %98 %150)
%399 = (*.f64 %150 %97)
%401 = (*.f64 x #s(literal -2 binary64))
%402 = (*.f64 %401 %4)
%404 = (*.f64 %116 x)
%458 = (*.f64 #s(literal 5 binary64) y)
%462 = (*.f64 #s(literal -5 binary64) y)
%464 = (fma.f64 #s(literal 5 binary64) y %153)
%469 = (fma.f64 #s(literal 5 binary64) y %166)
%471 = (fma.f64 %97 x %458)
%472 = (fma.f64 y x %471)
%474 = (fma.f64 %165 z %469)
%478 = (fma.f64 z x %469)
%480 = (fma.f64 #s(literal 5 binary64) y %197)
%482 = (+.f64 #s(literal 5 binary64) x)
%483 = (*.f64 y %482)
%492 = (fma.f64 %98 x %458)
%494 = (fma.f64 %165 %4 %458)
%502 = (fma.f64 #s(literal 5 binary64) y %229)
%516 = (fma.f64 %100 x %458)
%526 = (fma.f64 y x %492)
%528 = (fma.f64 %4 x %471)
%530 = (fma.f64 %47 x %469)
%532 = (fma.f64 %94 x %458)
%576 = (+.f64 %469 %254)
%578 = (+.f64 %469 %159)
%580 = (+.f64 %469 %181)
%582 = (fma.f64 t x %480)
%584 = (fma.f64 t x %502)
%586 = (fma.f64 #s(literal 5 binary64) y %181)
%588 = (fma.f64 #s(literal 5 binary64) y %227)
%590 = (fma.f64 #s(literal 5 binary64) y %264)
%618 = (-.f64 %462 %166)
x
y
z
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(neg.f64 %7)
(-.f64 z %9)
(-.f64 y %11)
%4
(+.f64 y z)
(*.f64 #s(literal 1 binary64) %15)
(pow.f64 %15 #s(literal 1 binary64))
(neg.f64 %20)
(fma.f64 #s(literal -2 binary64) %11 y)
%15
(fma.f64 #s(literal 1 binary64) %23 y)
(fma.f64 #s(literal 1 binary64) %4 z)
(fma.f64 z #s(literal 2 binary64) y)
(-.f64 %23 %9)
(-.f64 %4 %11)
(-.f64 z %7)
(-.f64 y %19)
(+.f64 %23 y)
(+.f64 %4 z)
(+.f64 z %4)
(+.f64 y %23)
(*.f64 #s(literal -2 binary64) %7)
%36
(*.f64 #s(literal 1 binary64) %36)
(*.f64 %4 #s(literal 2 binary64))
(pow.f64 %36 #s(literal 1 binary64))
(neg.f64 %40)
(fma.f64 #s(literal -2 binary64) %11 %42)
(fma.f64 #s(literal 2 binary64) z %42)
(fma.f64 #s(literal 2 binary64) y %23)
(fma.f64 #s(literal 1 binary64) %42 %23)
(fma.f64 #s(literal 1 binary64) %47 z)
(fma.f64 #s(literal 1 binary64) %23 %42)
(fma.f64 #s(literal 1 binary64) %15 y)
(fma.f64 #s(literal 1 binary64) %4 %4)
(fma.f64 %4 #s(literal 1 binary64) %52)
(fma.f64 z #s(literal 2 binary64) %42)
(fma.f64 y #s(literal 2 binary64) %23)
(-.f64 %52 (neg.f64 %52))
(-.f64 %42 %19)
(-.f64 %47 %11)
(-.f64 %23 (*.f64 %9 #s(literal 2 binary64)))
(-.f64 %23 %62)
(-.f64 %15 %9)
(-.f64 %4 %7)
(-.f64 z %66)
(-.f64 y %20)
(+.f64 %52 %52)
(+.f64 %42 %23)
(+.f64 %47 z)
(+.f64 %23 %42)
(+.f64 %15 y)
(+.f64 %4 %4)
(+.f64 z %47)
(+.f64 y %15)
t
(*.f64 #s(literal 1 binary64) %78)
(pow.f64 %78 #s(literal 1 binary64))
(neg.f64 %81)
(fma.f64 #s(literal -2 binary64) %7 t)
(fma.f64 #s(literal -2 binary64) %11 %84)
%78
(fma.f64 #s(literal 2 binary64) z %84)
(fma.f64 #s(literal 2 binary64) y %87)
(fma.f64 #s(literal 1 binary64) %87 %42)
(fma.f64 #s(literal 1 binary64) %90 %47)
(fma.f64 #s(literal 1 binary64) %84 %23)
(fma.f64 #s(literal 1 binary64) %42 %87)
(fma.f64 #s(literal 1 binary64) %94 z)
(fma.f64 #s(literal 1 binary64) %47 %90)
(fma.f64 #s(literal 1 binary64) %98 %4)
(fma.f64 #s(literal 1 binary64) %100 y)
(fma.f64 #s(literal 1 binary64) %23 %84)
(fma.f64 #s(literal 1 binary64) %97 %15)
(fma.f64 #s(literal 1 binary64) %36 t)
(fma.f64 #s(literal 1 binary64) %15 %97)
(fma.f64 #s(literal 1 binary64) %4 %98)
(fma.f64 %4 #s(literal 2 binary64) t)
(fma.f64 z #s(literal 2 binary64) %84)
(fma.f64 y #s(literal 2 binary64) %87)
(-.f64 %87 %62)
(-.f64 %90 %66)
(-.f64 %84 %19)
(-.f64 %42 (-.f64 %19 t))
(-.f64 %94 %11)
(-.f64 %47 (-.f64 %116 z))
(-.f64 %98 %7)
(-.f64 %100 %9)
(-.f64 %23 %121)
(-.f64 %97 %20)
(-.f64 t %40)
(-.f64 %36 %116)
(-.f64 %15 %126)
(-.f64 %4 %128)
(-.f64 z %130)
(-.f64 y %132)
(+.f64 %87 %42)
(+.f64 %90 %47)
(+.f64 %84 %23)
(+.f64 %42 %87)
(+.f64 %94 z)
(+.f64 %47 %90)
(+.f64 %98 %4)
(+.f64 %100 y)
(+.f64 %23 %84)
(+.f64 %97 %15)
(+.f64 t %36)
(+.f64 %36 t)
(+.f64 %15 %97)
(+.f64 %4 %98)
(+.f64 z %94)
(+.f64 y %100)
(*.f64 %150 %81)
(*.f64 %81 %150)
(*.f64 #s(literal 1 binary64) %153)
%153
(*.f64 x %78)
(pow.f64 %153 #s(literal 1 binary64))
(neg.f64 %157)
(fma.f64 %90 x %159)
(fma.f64 %84 x %161)
(fma.f64 %130 %150 %163)
(fma.f64 %165 %4 %166)
(fma.f64 %165 z %169)
(fma.f64 %165 z %171)
(fma.f64 %165 z %173)
(fma.f64 %165 y %175)
(fma.f64 %165 y %177)
(fma.f64 %165 y %179)
(fma.f64 %181 #s(literal 2 binary64) %169)
(fma.f64 %181 #s(literal 2 binary64) %171)
(fma.f64 %181 #s(literal 2 binary64) %173)
(fma.f64 %132 %150 %185)
(fma.f64 %42 x %175)
(fma.f64 %42 x %177)
(fma.f64 %42 x %179)
(fma.f64 %94 x %181)
(fma.f64 %47 x %191)
(fma.f64 %47 x %193)
(fma.f64 %47 x %195)
(fma.f64 %128 %150 %197)
(fma.f64 %98 x %197)
(fma.f64 %100 x %200)
(fma.f64 %100 x %185)
(fma.f64 %100 x %203)
(fma.f64 #s(literal 2 binary64) %181 %169)
(fma.f64 #s(literal 2 binary64) %181 %171)
(fma.f64 #s(literal 2 binary64) %181 %173)
(fma.f64 #s(literal 2 binary64) %197 %166)
(fma.f64 #s(literal 2 binary64) %203 %175)
(fma.f64 #s(literal 2 binary64) %203 %177)
(fma.f64 #s(literal 2 binary64) %203 %179)
(fma.f64 %197 #s(literal 2 binary64) %166)
(fma.f64 %150 %130 %213)
(fma.f64 %150 %132 %200)
(fma.f64 %150 %128 %197)
(fma.f64 %150 %20 %217)
(fma.f64 %150 %20 %219)
(fma.f64 %150 %20 %168)
(fma.f64 %150 %40 %166)
(fma.f64 %150 %7 %223)
(fma.f64 %150 %7 %225)
(fma.f64 %150 %7 %227)
(fma.f64 %150 %126 %229)
(fma.f64 %150 %116 %231)
(fma.f64 %150 %9 %233)
(fma.f64 %150 %11 %235)
(fma.f64 %20 %150 %217)
(fma.f64 %20 %150 %219)
(fma.f64 %20 %150 %168)
(fma.f64 %40 %150 %166)
(fma.f64 %7 %150 %223)
(fma.f64 %7 %150 %225)
(fma.f64 %7 %150 %227)
(fma.f64 %126 %150 %229)
(fma.f64 %23 x %169)
(fma.f64 %23 x %171)
(fma.f64 %23 x %173)
(fma.f64 %97 x %229)
(fma.f64 %116 %150 %231)
(fma.f64 %9 %150 %250)
(fma.f64 %11 %150 %252)
(fma.f64 #s(literal 1 binary64) %254 %175)
(fma.f64 #s(literal 1 binary64) %254 %177)
(fma.f64 #s(literal 1 binary64) %254 %179)
(fma.f64 #s(literal 1 binary64) %159 %191)
(fma.f64 #s(literal 1 binary64) %159 %193)
(fma.f64 #s(literal 1 binary64) %159 %195)
(fma.f64 #s(literal 1 binary64) %227 %197)
(fma.f64 #s(literal 1 binary64) %262 %181)
(fma.f64 #s(literal 1 binary64) %264 %200)
(fma.f64 #s(literal 1 binary64) %264 %185)
(fma.f64 #s(literal 1 binary64) %264 %203)
(fma.f64 #s(literal 1 binary64) %161 %169)
(fma.f64 #s(literal 1 binary64) %161 %171)
(fma.f64 #s(literal 1 binary64) %161 %173)
(fma.f64 #s(literal 1 binary64) %181 %262)
(fma.f64 #s(literal 1 binary64) %197 %223)
(fma.f64 #s(literal 1 binary64) %197 %225)
(fma.f64 #s(literal 1 binary64) %197 %227)
(fma.f64 #s(literal 1 binary64) %168 %229)
(fma.f64 #s(literal 1 binary64) %203 %233)
(fma.f64 #s(literal 1 binary64) %203 %250)
(fma.f64 #s(literal 1 binary64) %203 %264)
(fma.f64 #s(literal 1 binary64) %229 %217)
(fma.f64 #s(literal 1 binary64) %229 %219)
(fma.f64 #s(literal 1 binary64) %229 %168)
(fma.f64 #s(literal 1 binary64) %166 %231)
(fma.f64 #s(literal 1 binary64) %231 %166)
(fma.f64 t x %231)
(fma.f64 %36 x %166)
(fma.f64 %15 x %217)
(fma.f64 %15 x %219)
(fma.f64 %15 x %168)
(fma.f64 %4 %165 %166)
(fma.f64 %4 x %223)
(fma.f64 %4 x %225)
(fma.f64 %4 x %227)
(fma.f64 z %165 %169)
(fma.f64 z %165 %171)
(fma.f64 z %165 %173)
(fma.f64 z x %262)
(fma.f64 y x %233)
(fma.f64 y x %250)
(fma.f64 y x %264)
(fma.f64 x %90 %159)
(fma.f64 x %84 %161)
(fma.f64 x %42 %175)
(fma.f64 x %42 %177)
(fma.f64 x %42 %179)
(fma.f64 x %94 %181)
(fma.f64 x %47 %191)
(fma.f64 x %47 %193)
(fma.f64 x %47 %195)
(fma.f64 x %98 %197)
(fma.f64 x %100 %200)
(fma.f64 x %100 %185)
(fma.f64 x %100 %203)
(fma.f64 x %23 %169)
(fma.f64 x %23 %171)
(fma.f64 x %23 %173)
(fma.f64 x %97 %229)
(fma.f64 x t %231)
(fma.f64 x %36 %166)
(fma.f64 x %15 %217)
(fma.f64 x %15 %219)
(fma.f64 x %15 %168)
(fma.f64 x %4 %223)
(fma.f64 x %4 %225)
(fma.f64 x %4 %227)
(fma.f64 x z %262)
(fma.f64 x y %233)
(fma.f64 x y %250)
(fma.f64 x y %264)
(-.f64 %329 %330)
(-.f64 %332 %330)
(-.f64 %334 %335)
(-.f64 %337 %338)
(-.f64 %171 %330)
(-.f64 %193 %338)
(-.f64 %235 %335)
(-.f64 %173 %330)
(-.f64 %195 %338)
(-.f64 %163 (neg.f64 %252))
(-.f64 %213 (neg.f64 %235))
(-.f64 %200 %349)
(-.f64 %223 %351)
(-.f64 %217 %353)
(-.f64 %233 %355)
(-.f64 %357 (neg.f64 %359))
(-.f64 %219 %353)
(-.f64 %225 %351)
(-.f64 %252 %335)
(-.f64 %185 %349)
(-.f64 %250 %355)
(-.f64 %254 (neg.f64 %175))
(-.f64 %254 (neg.f64 %177))
(-.f64 %254 (neg.f64 %179))
(-.f64 %159 (neg.f64 %191))
(-.f64 %159 (neg.f64 %193))
(-.f64 %159 (neg.f64 %195))
(-.f64 %227 %351)
(-.f64 %262 %335)
(-.f64 %264 %355)
(-.f64 %161 (neg.f64 %169))
(-.f64 %161 (neg.f64 %171))
(-.f64 %161 (neg.f64 %173))
(-.f64 %181 (*.f64 %130 x))
(-.f64 %181 %358)
(-.f64 %197 (*.f64 %128 x))
(-.f64 %197 %393)
(-.f64 %168 %353)
(-.f64 %203 (*.f64 %132 x))
(-.f64 %203 %349)
(-.f64 %229 %399)
(-.f64 %166 %402)
(-.f64 %231 %404)
(+.f64 %329 %161)
(+.f64 %332 %161)
(+.f64 %334 %181)
(+.f64 %337 %159)
(+.f64 %171 %161)
(+.f64 %193 %159)
(+.f64 %235 %213)
(+.f64 %173 %161)
(+.f64 %195 %159)
(+.f64 %163 %252)
(+.f64 %213 %235)
(+.f64 %200 %233)
(+.f64 %223 %197)
(+.f64 %217 %229)
(+.f64 %233 %200)
(+.f64 %357 %359)
(+.f64 %219 %229)
(+.f64 %225 %197)
(+.f64 %252 %163)
(+.f64 %185 %250)
(+.f64 %250 %185)
(+.f64 %254 %175)
(+.f64 %254 %177)
(+.f64 %254 %179)
(+.f64 %159 %191)
(+.f64 %159 %193)
(+.f64 %159 %195)
(+.f64 %227 %197)
(+.f64 %262 %181)
(+.f64 %264 %200)
(+.f64 %264 %185)
(+.f64 %264 %203)
(+.f64 %161 %169)
(+.f64 %161 %171)
(+.f64 %161 %173)
(+.f64 %181 %262)
(+.f64 %197 %223)
(+.f64 %197 %225)
(+.f64 %197 %227)
(+.f64 %168 %229)
(+.f64 %203 %233)
(+.f64 %203 %250)
(+.f64 %203 %264)
(+.f64 %229 %217)
(+.f64 %229 %219)
(+.f64 %229 %168)
(+.f64 %166 %231)
(+.f64 %231 %166)
#s(literal 5 binary64)
(*.f64 #s(literal -5 binary64) %9)
(*.f64 %9 #s(literal -5 binary64))
(*.f64 #s(literal 1 binary64) %458)
%458
(*.f64 y #s(literal 5 binary64))
(pow.f64 %458 #s(literal 1 binary64))
(neg.f64 %462)
(*.f64 #s(literal 1 binary64) %464)
(pow.f64 %464 #s(literal 1 binary64))
(neg.f64 (fma.f64 %81 x %462))
(fma.f64 %165 %4 %469)
(fma.f64 %165 z %472)
(fma.f64 %165 y %474)
(fma.f64 %181 #s(literal 2 binary64) %472)
(fma.f64 %42 x %474)
(fma.f64 %47 x %478)
(fma.f64 %98 x %480)
(fma.f64 %100 x %483)
(fma.f64 #s(literal 2 binary64) %181 %472)
(fma.f64 #s(literal 2 binary64) %197 %469)
(fma.f64 #s(literal 2 binary64) %203 %474)
(fma.f64 %197 #s(literal 2 binary64) %469)
(fma.f64 %150 %20 %471)
(fma.f64 %150 %81 %458)
(fma.f64 %150 %40 %469)
(fma.f64 %150 %7 %492)
(fma.f64 %150 %116 %494)
(fma.f64 #s(literal -5 binary64) %9 %153)
(fma.f64 %20 %150 %471)
(fma.f64 %81 %150 %458)
(fma.f64 %40 %150 %469)
(fma.f64 %7 %150 %492)
(fma.f64 %23 x %472)
(fma.f64 %97 x %502)
(fma.f64 %116 %150 %494)
(fma.f64 %9 #s(literal -5 binary64) %153)
(fma.f64 #s(literal 1 binary64) %480 %223)
(fma.f64 #s(literal 1 binary64) %480 %225)
(fma.f64 #s(literal 1 binary64) %480 %227)
(fma.f64 #s(literal 1 binary64) %483 %233)
(fma.f64 #s(literal 1 binary64) %483 %250)
(fma.f64 #s(literal 1 binary64) %483 %264)
(fma.f64 #s(literal 1 binary64) %502 %217)
(fma.f64 #s(literal 1 binary64) %502 %219)
(fma.f64 #s(literal 1 binary64) %502 %168)
(fma.f64 #s(literal 1 binary64) %492 %197)
(fma.f64 #s(literal 1 binary64) %516 %200)
(fma.f64 #s(literal 1 binary64) %516 %185)
(fma.f64 #s(literal 1 binary64) %516 %203)
(fma.f64 #s(literal 1 binary64) %471 %229)
(fma.f64 #s(literal 1 binary64) %254 %474)
(fma.f64 #s(literal 1 binary64) %159 %478)
(fma.f64 #s(literal 1 binary64) %227 %480)
(fma.f64 #s(literal 1 binary64) %264 %483)
(fma.f64 #s(literal 1 binary64) %161 %472)
(fma.f64 #s(literal 1 binary64) %181 %526)
(fma.f64 #s(literal 1 binary64) %181 %528)
(fma.f64 #s(literal 1 binary64) %181 %530)
(fma.f64 #s(literal 1 binary64) %181 %532)
(fma.f64 #s(literal 1 binary64) %494 %166)
(fma.f64 #s(literal 1 binary64) %469 %231)
(fma.f64 #s(literal 1 binary64) %197 %492)
(fma.f64 #s(literal 1 binary64) %168 %502)
(fma.f64 #s(literal 1 binary64) %203 %516)
(fma.f64 #s(literal 1 binary64) %229 %471)
(fma.f64 #s(literal 1 binary64) %166 %494)
(fma.f64 #s(literal 1 binary64) %231 %469)
(fma.f64 #s(literal 1 binary64) %458 %153)
(fma.f64 #s(literal 1 binary64) %153 %458)
%464
(fma.f64 %78 x %458)
(fma.f64 t x %494)
(fma.f64 %36 x %469)
(fma.f64 %15 x %471)
(fma.f64 %4 %165 %469)
(fma.f64 %4 x %492)
(fma.f64 z %165 %472)
(fma.f64 z x %526)
(fma.f64 z x %528)
(fma.f64 z x %530)
(fma.f64 z x %532)
(fma.f64 y %482 %233)
(fma.f64 y %482 %250)
(fma.f64 y %482 %264)
(fma.f64 y #s(literal 5 binary64) %153)
(fma.f64 y x %516)
(fma.f64 x %42 %474)
(fma.f64 x %47 %478)
(fma.f64 x %98 %480)
(fma.f64 x %100 %483)
(fma.f64 x %23 %472)
(fma.f64 x %97 %502)
(fma.f64 x %78 %458)
(fma.f64 x t %494)
(fma.f64 x %36 %469)
(fma.f64 x %15 %471)
(fma.f64 x %4 %492)
(fma.f64 x z %526)
(fma.f64 x z %528)
(fma.f64 x z %530)
(fma.f64 x z %532)
(fma.f64 x y %516)
(-.f64 %576 %330)
(-.f64 %578 %335)
(-.f64 %580 %338)
(-.f64 %582 %351)
(-.f64 %584 %355)
(-.f64 %586 %358)
(-.f64 %588 %351)
(-.f64 %590 %355)
(-.f64 %480 %393)
(-.f64 %483 %349)
(-.f64 %502 %399)
(-.f64 %492 %351)
(-.f64 %516 %355)
(-.f64 %471 %353)
(-.f64 %254 (neg.f64 %474))
(-.f64 %159 (neg.f64 %478))
(-.f64 %227 (neg.f64 %480))
(-.f64 %264 (neg.f64 %483))
(-.f64 %161 (neg.f64 %472))
(-.f64 %181 (neg.f64 %526))
(-.f64 %181 (neg.f64 %528))
(-.f64 %181 (neg.f64 %530))
(-.f64 %181 (neg.f64 %532))
(-.f64 %494 %404)
(-.f64 %469 %402)
(-.f64 %197 (fma.f64 %150 %4 %618))
(-.f64 %197 (neg.f64 %492))
(-.f64 %168 (-.f64 %462 %229))
(-.f64 %203 (fma.f64 %20 x %618))
(-.f64 %203 (neg.f64 %516))
(-.f64 %229 (-.f64 %355 %469))
(-.f64 %229 (fma.f64 %150 %97 %462))
(-.f64 %229 (neg.f64 %471))
(-.f64 %166 (fma.f64 %401 %4 %462))
(-.f64 %166 (fma.f64 #s(literal -5 binary64) y %402))
(-.f64 %231 %618)
(-.f64 %458 %157)
(-.f64 %153 %462)
(+.f64 %576 %161)
(+.f64 %578 %181)
(+.f64 %580 %159)
(+.f64 %582 %197)
(+.f64 %584 %203)
(+.f64 %586 %262)
(+.f64 %588 %197)
(+.f64 %590 %200)
(+.f64 %590 %185)
(+.f64 %590 %203)
(+.f64 %480 %223)
(+.f64 %480 %225)
(+.f64 %480 %227)
(+.f64 %483 %233)
(+.f64 %483 %250)
(+.f64 %483 %264)
(+.f64 %502 %217)
(+.f64 %502 %219)
(+.f64 %502 %168)
(+.f64 %492 %197)
(+.f64 %516 %200)
(+.f64 %516 %185)
(+.f64 %516 %203)
(+.f64 %471 %229)
(+.f64 %254 %474)
(+.f64 %159 %478)
(+.f64 %227 %480)
(+.f64 %264 %483)
(+.f64 %161 %472)
(+.f64 %181 %526)
(+.f64 %181 %528)
(+.f64 %181 %530)
(+.f64 %181 %532)
(+.f64 %494 %166)
(+.f64 %469 %231)
(+.f64 %197 %492)
(+.f64 %168 %502)
(+.f64 %203 %516)
(+.f64 %229 %471)
(+.f64 %166 %494)
(+.f64 %231 %469)
(+.f64 %458 %153)
(+.f64 %153 %458)

%5 = (*.f64 y #s(literal 5 binary64))
%7 = (*.f64 #s(literal 2 binary64) z)
%8 = (*.f64 #s(literal 5 binary64) y)
%12 = (+ (+ (+ (+ y z) z) y) t)
%13 = (* x %12)
%16 = (+ %13 (* y 5))
%18 = (+.f64 t %7)
%19 = (approx %12 %18)
%20 = (*.f64 #s(literal 2 binary64) x)
%21 = (+.f64 #s(literal 5 binary64) %20)
%22 = (*.f64 y %21)
%23 = (*.f64 #s(literal 2 binary64) y)
%25 = (+.f64 t %23)
%26 = (*.f64 x %25)
%27 = (*.f64 x z)
%28 = (fma.f64 #s(literal 5 binary64) y %26)
%30 = (*.f64 #s(literal 2 binary64) %27)
%31 = (approx %13 %30)
%32 = (*.f64 t x)
%33 = (approx %13 %32)
%34 = (+.f64 z y)
%35 = (fma.f64 #s(literal 2 binary64) %34 t)
%36 = (+.f64 t y)
%37 = (fma.f64 #s(literal 2 binary64) z %36)
%38 = (*.f64 %37 x)
%39 = (+.f64 #s(literal 5 binary64) x)
%44 = (*.f64 x %19)
x
y
z
t
#s(literal 5 binary64)
%5
#s(literal 2 binary64)
%7
%8
(approx %16 %8)
%18
%19
%20
%21
%22
%23
(approx %16 %22)
%25
%26
%27
%28
(approx %16 %28)
%30
%31
%32
%33
%34
%35
%36
%37
%38
%39
(fma.f64 y %39 %38)
(fma.f64 x %35 %8)
(+.f64 %31 %5)
(+.f64 %33 %5)
%44
(+.f64 %44 %5)

%6 = (neg.f64 y)
%7 = (*.f64 #s(literal -5 binary64) %6)
%8 = (*.f64 %6 #s(literal -5 binary64))
%9 = (*.f64 #s(literal 5 binary64) y)
%10 = (*.f64 y #s(literal 5 binary64))
%12 = (pow.f64 %9 #s(literal 1 binary64))
%15 = (/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
%16 = (*.f64 #s(literal -5 binary64) y)
%17 = (neg.f64 %16)
%20 = (neg.f64 z)
%23 = (+.f64 z z)
%31 = (*.f64 #s(literal -2 binary64) z)
%34 = (*.f64 %31 #s(literal 1/2 binary64))
%37 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1/2 binary64) z))
%39 = (*.f64 %20 #s(literal 1 binary64))
%41 = (*.f64 #s(literal -1 binary64) z)
%51 = (- t (* -2 (+ z y)))
%52 = (* %51 x)
%55 = (- %52 (* -5 y))
%56 = (approx %55 %9)
%60 = (fma.f64 #s(literal 2 binary64) z t)
%64 = (-.f64 %31 t)
%71 = (+.f64 t z)
%77 = (neg.f64 t)
%79 = (*.f64 #s(literal -1 binary64) %23)
%82 = (neg.f64 %71)
%87 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %20))
%91 = (approx %51 %60)
%95 = (neg.f64 x)
%98 = (+.f64 x x)
%106 = (*.f64 #s(literal -2 binary64) x)
%108 = (*.f64 %106 #s(literal 1/2 binary64))
%111 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1/2 binary64) x))
%113 = (*.f64 %95 #s(literal 1 binary64))
%115 = (*.f64 #s(literal -1 binary64) x)
%122 = (fma.f64 #s(literal 2 binary64) x #s(literal 5 binary64))
%126 = (fma.f64 #s(literal -2 binary64) x #s(literal -5 binary64))
%133 = (+.f64 #s(literal 5 binary64) x)
%143 = (-.f64 #s(literal -5 binary64) x)
%152 = (*.f64 %122 y)
%157 = (*.f64 %143 y)
%158 = (*.f64 y x)
%161 = (*.f64 y %126)
%163 = (*.f64 %126 y)
%165 = (neg.f64 %152)
%167 = (+.f64 y y)
%168 = (*.f64 %167 x)
%171 = (*.f64 %95 y)
%172 = (neg.f64 %171)
%173 = (*.f64 %172 #s(literal 2 binary64))
%175 = (*.f64 %171 #s(literal -2 binary64))
%177 = (*.f64 %106 %6)
%179 = (*.f64 #s(literal -2 binary64) %171)
%181 = (*.f64 %6 %106)
%183 = (*.f64 #s(literal -2 binary64) y)
%184 = (*.f64 %95 %183)
%186 = (*.f64 %183 %95)
%200 = (*.f64 #s(literal 1 binary64) %158)
%221 = (*.f64 %143 %6)
%223 = (*.f64 %6 %143)
%225 = (*.f64 %133 y)
%234 = (*.f64 %158 #s(literal -2 binary64))
%235 = (*.f64 %234 #s(literal 1 binary64))
%237 = (*.f64 #s(literal -2 binary64) %200)
%263 = (*.f64 %183 #s(literal 1/2 binary64))
%266 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1/2 binary64) y))
%268 = (*.f64 %6 #s(literal 1 binary64))
%270 = (*.f64 #s(literal -1 binary64) y)
%277 = (approx %55 %152)
%281 = (fma.f64 #s(literal 2 binary64) y t)
%285 = (-.f64 %183 t)
%292 = (+.f64 t y)
%299 = (*.f64 #s(literal -1 binary64) %167)
%302 = (neg.f64 %292)
%307 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %6))
%313 = (*.f64 %281 x)
%318 = (*.f64 %285 x)
%320 = (*.f64 %95 %77)
%322 = (*.f64 %77 %95)
%324 = (*.f64 %95 t)
%325 = (neg.f64 %324)
%327 = (*.f64 t x)
%362 = (*.f64 %292 x)
%387 = (*.f64 x %302)
%389 = (*.f64 %95 %292)
%391 = (*.f64 %302 x)
%393 = (neg.f64 %362)
%413 = (*.f64 z x)
%415 = (*.f64 %98 z)
%418 = (*.f64 #s(literal 1/2 binary64) %413)
%424 = (fma.f64 %281 x %9)
%428 = (-.f64 %163 %327)
%431 = (fma.f64 #s(literal 5 binary64) y %327)
%446 = (*.f64 %6 %122)
%447 = (neg.f64 %446)
%460 = (+.f64 %431 %158)
%465 = (-.f64 %16 %327)
%492 = (approx %55 %424)
%506 = (*.f64 %413 #s(literal -2 binary64))
%508 = (*.f64 #s(literal -2 binary64) %413)
%510 = (neg.f64 %415)
%512 = (*.f64 %95 z)
%513 = (neg.f64 %512)
%514 = (*.f64 %513 #s(literal 1 binary64))
%516 = (*.f64 %20 %95)
%518 = (*.f64 %95 %20)
%520 = (*.f64 %512 #s(literal 1 binary64))
%521 = (neg.f64 %520)
%523 = (*.f64 #s(literal -1 binary64) %413)
%524 = (neg.f64 %523)
%563 = (*.f64 %510 #s(literal 1/2 binary64))
%565 = (*.f64 #s(literal -2 binary64) %418)
%579 = (approx %52 %415)
%587 = (approx %52 %327)
%591 = (+.f64 z y)
%593 = (*.f64 %591 #s(literal 2 binary64))
%596 = (*.f64 #s(literal 1/2 binary64) %591)
%601 = (neg.f64 %591)
%602 = (*.f64 #s(literal 1 binary64) %601)
%604 = (*.f64 %601 #s(literal 1 binary64))
%618 = (fma.f64 %591 #s(literal 2 binary64) t)
%622 = (*.f64 #s(literal -2 binary64) %591)
%623 = (-.f64 %622 t)
%630 = (+.f64 %292 z)
%645 = (fma.f64 #s(literal 2 binary64) y z)
%646 = (+.f64 t %645)
%652 = (-.f64 %183 z)
%654 = (*.f64 %622 #s(literal 1/2 binary64))
%656 = (*.f64 #s(literal -2 binary64) %596)
%660 = (*.f64 #s(literal -1 binary64) %591)
%663 = (+.f64 %645 t)
%671 = (fma.f64 #s(literal 2 binary64) z %292)
%677 = (-.f64 %31 y)
%679 = (-.f64 %601 t)
%686 = (fma.f64 #s(literal 2 binary64) z y)
%692 = (+.f64 %71 %167)
%695 = (-.f64 %652 t)
%697 = (-.f64 %20 %281)
%701 = (-.f64 %31 %292)
%792 = (*.f64 %671 x)
%797 = (*.f64 %701 x)
%800 = (neg.f64 %393)
%802 = (neg.f64 %389)
%805 = (fma.f64 %292 x %413)
%806 = (neg.f64 %805)
%807 = (neg.f64 %806)
%809 = (fma.f64 z x %362)
%811 = (*.f64 x %630)
%813 = (*.f64 %630 x)
%815 = (*.f64 %513 #s(literal 2 binary64))
%817 = (*.f64 %512 #s(literal 2 binary64))
%818 = (neg.f64 %817)
%820 = (*.f64 %106 z)
%821 = (neg.f64 %820)
%823 = (*.f64 %20 %98)
%824 = (neg.f64 %823)
%826 = (*.f64 %95 %23)
%827 = (neg.f64 %826)
%829 = (*.f64 %31 x)
%830 = (neg.f64 %829)
%850 = (*.f64 %6 %95)
%852 = (*.f64 %95 %6)
%870 = (*.f64 %686 x)
%879 = (*.f64 %60 x)
%922 = (*.f64 #s(literal -1 binary64) %415)
%924 = (*.f64 %510 #s(literal 1 binary64))
%943 = (*.f64 x %677)
%1007 = (fma.f64 %618 x %9)
%1008 = (pow.f64 %1007 #s(literal 1 binary64))
%1010 = (/.f64 #s(literal 1 binary64) (pow.f64 %1007 #s(literal -1 binary64)))
%1012 = (neg.f64 (fma.f64 %623 x %16))
%1013 = (*.f64 %591 x)
%1014 = (fma.f64 %1013 #s(literal 2 binary64) %431)
%1015 = (*.f64 %591 %98)
%1016 = (fma.f64 %1015 #s(literal 1 binary64) %431)
%1017 = (fma.f64 %701 %95 %221)
%1018 = (fma.f64 %701 %95 %223)
%1019 = (fma.f64 %701 %95 %225)
%1020 = (*.f64 %623 %95)
%1021 = (fma.f64 #s(literal -5 binary64) %6 %1020)
%1022 = (*.f64 %95 %623)
%1023 = (fma.f64 #s(literal -5 binary64) %6 %1022)
%1024 = (*.f64 %618 x)
%1025 = (fma.f64 #s(literal -5 binary64) %6 %1024)
%1026 = (fma.f64 %95 %701 %221)
%1027 = (fma.f64 %95 %701 %223)
%1028 = (fma.f64 %95 %701 %225)
%1029 = (fma.f64 %6 #s(literal -5 binary64) %1020)
%1030 = (fma.f64 %6 #s(literal -5 binary64) %1022)
%1031 = (fma.f64 %6 #s(literal -5 binary64) %1024)
%1032 = (fma.f64 %292 x %225)
%1033 = (fma.f64 #s(literal 1 binary64) %415 %1032)
%1034 = (fma.f64 #s(literal 1 binary64) %415 %424)
%1035 = (fma.f64 %593 x %431)
%1036 = (fma.f64 %133 y %792)
%1037 = (fma.f64 %671 x %221)
%1038 = (fma.f64 %671 x %223)
%1039 = (fma.f64 %671 x %225)
%1040 = (fma.f64 %98 z %225)
%1041 = (fma.f64 %292 x %1040)
%1042 = (fma.f64 %591 %98 %431)
%1043 = (fma.f64 %591 x %431)
%1044 = (fma.f64 %591 x %1043)
%1045 = (fma.f64 %415 #s(literal 1 binary64) %1032)
%1046 = (fma.f64 %415 #s(literal 1 binary64) %424)
%1047 = (fma.f64 %413 #s(literal 2 binary64) %1032)
%1048 = (fma.f64 %413 #s(literal 2 binary64) %424)
%1049 = (fma.f64 %98 %591 %431)
%1050 = (fma.f64 %98 z %1032)
%1051 = (fma.f64 %98 z %424)
%1052 = (fma.f64 %60 x %152)
%1053 = (fma.f64 y x %431)
%1054 = (fma.f64 %686 x %1053)
%1055 = (fma.f64 %292 x %9)
%1056 = (fma.f64 %686 x %1055)
%1057 = (fma.f64 %23 x %1032)
%1058 = (fma.f64 %23 x %424)
%1059 = (*.f64 #s(literal 1 binary64) %1013)
%1060 = (fma.f64 #s(literal 2 binary64) %1059 %431)
%1061 = (fma.f64 #s(literal 2 binary64) %1013 %431)
%1062 = (fma.f64 #s(literal 2 binary64) %413 %1032)
%1063 = (fma.f64 #s(literal 2 binary64) %413 %424)
%1064 = (fma.f64 #s(literal 5 binary64) y %1020)
%1065 = (fma.f64 #s(literal 5 binary64) y %1022)
%1066 = (fma.f64 #s(literal 5 binary64) y %1024)
%1067 = (fma.f64 %591 %98 %9)
%1068 = (fma.f64 t x %1067)
%1069 = (fma.f64 z %98 %1032)
%1070 = (fma.f64 z %98 %424)
%1071 = (fma.f64 y %133 %792)
%1072 = (fma.f64 y #s(literal 5 binary64) %1020)
%1073 = (fma.f64 y #s(literal 5 binary64) %1022)
%1074 = (fma.f64 y #s(literal 5 binary64) %1024)
%1075 = (fma.f64 %686 x %431)
%1076 = (fma.f64 y x %1075)
%1077 = (fma.f64 %671 x %9)
%1078 = (fma.f64 y x %1077)
%1079 = (fma.f64 x %593 %431)
%1080 = (fma.f64 x %671 %221)
%1081 = (fma.f64 x %671 %223)
%1082 = (fma.f64 x %671 %225)
%1083 = (fma.f64 x %292 %1040)
%1084 = (fma.f64 x %618 %9)
%1085 = (fma.f64 x %591 %1043)
%1086 = (fma.f64 x %60 %152)
%1087 = (fma.f64 x %686 %1053)
%1088 = (fma.f64 x %686 %1055)
%1089 = (fma.f64 x %23 %1032)
%1090 = (fma.f64 x %23 %424)
%1091 = (fma.f64 x t %1067)
%1092 = (fma.f64 x y %1075)
%1093 = (fma.f64 x y %1077)
%1094 = (fma.f64 %133 y %879)
%1095 = (-.f64 %1094 %171)
%1096 = (fma.f64 %133 y %362)
%1097 = (-.f64 %1096 %922)
%1098 = (-.f64 %1096 %924)
%1099 = (-.f64 %1096 %506)
%1100 = (-.f64 %1096 %817)
%1101 = (-.f64 %1096 %820)
%1102 = (-.f64 %1096 %829)
%1103 = (-.f64 %1096 %508)
%1104 = (-.f64 %1096 %823)
%1105 = (-.f64 %1096 %826)
%1106 = (-.f64 %1096 %510)
%1107 = (fma.f64 %133 y %415)
%1108 = (-.f64 %1107 %387)
%1109 = (-.f64 %1107 %389)
%1110 = (-.f64 %1107 %391)
%1111 = (-.f64 %1107 %393)
%1112 = (fma.f64 #s(literal 5 binary64) y %870)
%1113 = (-.f64 %1112 %387)
%1114 = (-.f64 %1112 %389)
%1115 = (-.f64 %1112 %391)
%1116 = (-.f64 %1112 %393)
%1117 = (-.f64 %1067 %324)
%1118 = (-.f64 %1077 %171)
%1119 = (neg.f64 %1015)
%1121 = (-.f64 %431 (*.f64 %1119 #s(literal 1 binary64)))
%1123 = (-.f64 %431 (*.f64 #s(literal -2 binary64) %1059))
%1124 = (*.f64 %1013 #s(literal -2 binary64))
%1125 = (-.f64 %431 %1124)
%1127 = (-.f64 %431 (*.f64 %98 %601))
%1129 = (-.f64 %431 (*.f64 x %622))
%1132 = (-.f64 %431 (*.f64 (neg.f64 %1013) #s(literal 2 binary64)))
%1134 = (-.f64 %431 (*.f64 %622 x))
%1136 = (-.f64 %431 (*.f64 %601 %98))
%1138 = (-.f64 %431 (*.f64 %106 %591))
%1140 = (-.f64 %431 (*.f64 #s(literal -2 binary64) %1013))
%1142 = (-.f64 %431 (*.f64 %95 %593))
%1143 = (-.f64 %431 %1119)
%1145 = (-.f64 %1013 (neg.f64 %1043))
%1146 = (-.f64 %879 %161)
%1147 = (-.f64 %879 %163)
%1148 = (-.f64 %879 %446)
%1149 = (-.f64 %879 %165)
%1151 = (-.f64 %362 (neg.f64 %1040))
%1153 = (-.f64 %362 (fma.f64 #s(literal -5 binary64) y %943))
%1155 = (-.f64 %870 (neg.f64 %1053))
%1157 = (-.f64 %870 (neg.f64 %1055))
%1158 = (-.f64 %1015 %465)
%1160 = (-.f64 %158 (neg.f64 %1075))
%1162 = (-.f64 %158 (fma.f64 %701 x %16))
%1163 = (-.f64 %225 %797)
%1164 = (-.f64 %792 %157)
%1166 = (-.f64 %327 (fma.f64 #s(literal -5 binary64) y %1124))
%1168 = (-.f64 %415 (neg.f64 %1032))
%1169 = (-.f64 %415 %428)
%1170 = (-.f64 %1024 %16)
%1172 = (-.f64 %9 (*.f64 %623 x))
%1173 = (+.f64 %1094 %158)
%1174 = (+.f64 %1096 %415)
%1175 = (+.f64 %1107 %362)
%1176 = (+.f64 %1112 %362)
%1177 = (+.f64 %1067 %320)
%1178 = (+.f64 %1067 %322)
%1179 = (+.f64 %1067 %325)
%1180 = (+.f64 %1067 %327)
%1181 = (+.f64 %1077 %850)
%1182 = (+.f64 %1077 %852)
%1183 = (+.f64 %1077 %172)
%1184 = (+.f64 %1077 %158)
%1185 = (+.f64 %431 %1015)
%1186 = (+.f64 %1013 %1043)
%1187 = (+.f64 %879 %152)
%1188 = (+.f64 %362 %1040)
%1189 = (+.f64 %870 %1053)
%1190 = (+.f64 %870 %1055)
%1191 = (+.f64 %1015 %431)
%1192 = (+.f64 %158 %1075)
%1193 = (+.f64 %158 %1077)
%1194 = (+.f64 %225 %792)
%1195 = (+.f64 %792 %221)
%1196 = (+.f64 %792 %223)
%1197 = (+.f64 %792 %225)
%1198 = (+.f64 %327 %1067)
%1199 = (+.f64 %415 %1032)
%1200 = (+.f64 %415 %424)
%1201 = (+.f64 %1024 %9)
%1202 = (+.f64 %9 %1020)
%1203 = (+.f64 %9 %1022)
%1204 = (+.f64 %9 %1024)
%1205 = (fma.f64 #s(literal 5 binary64) y %579)
%1211 = (neg.f64 %579)
%1212 = (neg.f64 %1211)
%1227 = (fma.f64 #s(literal 5 binary64) y %587)
%1233 = (neg.f64 %587)
%1234 = (neg.f64 %1233)
%1249 = (*.f64 %91 x)
%1254 = (fma.f64 %91 x %9)
%1260 = (neg.f64 %91)
%1261 = (*.f64 %1260 %95)
%1263 = (*.f64 %95 %1260)
%1265 = (neg.f64 %1260)
%1266 = (*.f64 %1265 x)
%1268 = (*.f64 %1260 x)
%1269 = (neg.f64 %1268)
x
y
z
t
#s(literal 5 binary64)
%7
%8
%9
%10
%12
%15
%17
#s(literal 2 binary64)
(*.f64 #s(literal -2 binary64) %20)
(*.f64 %20 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %23)
(*.f64 %23 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) z)
(*.f64 z #s(literal 2 binary64))
(pow.f64 %23 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %23 #s(literal -1 binary64)))
(neg.f64 %31)
(-.f64 z %34)
(-.f64 z %37)
(-.f64 z %39)
(-.f64 z %41)
(-.f64 z %20)
(+.f64 z (neg.f64 %39))
(+.f64 z (neg.f64 %41))
%23
%7
%8
%9
%10
%12
%15
%17
(pow.f64 %56 #s(literal 1 binary64))
%56
(/.f64 #s(literal 1 binary64) (pow.f64 %56 #s(literal -1 binary64)))
(pow.f64 %60 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %60 #s(literal -1 binary64)))
(neg.f64 %64)
(fma.f64 #s(literal -2 binary64) %20 t)
(fma.f64 %20 #s(literal -2 binary64) t)
(fma.f64 #s(literal 1 binary64) %23 t)
(fma.f64 %23 #s(literal 1 binary64) t)
%60
(fma.f64 z #s(literal 2 binary64) t)
(-.f64 %71 %34)
(-.f64 %71 %37)
(-.f64 %71 %39)
(-.f64 %71 %41)
(-.f64 %71 %20)
(-.f64 %23 %77)
(-.f64 t %79)
(-.f64 t %31)
(-.f64 z %82)
(+.f64 %71 z)
(+.f64 %23 t)
(+.f64 t %87)
(+.f64 t %23)
(+.f64 z %71)
(pow.f64 %91 #s(literal 1 binary64))
%91
(/.f64 #s(literal 1 binary64) (pow.f64 %91 #s(literal -1 binary64)))
(*.f64 #s(literal -2 binary64) %95)
(*.f64 %95 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %98)
(*.f64 %98 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %98 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %98 #s(literal -1 binary64)))
(neg.f64 %106)
(-.f64 x %108)
(-.f64 x %111)
(-.f64 x %113)
(-.f64 x %115)
(-.f64 x %95)
(+.f64 x (neg.f64 %113))
(+.f64 x (neg.f64 %115))
%98
(pow.f64 %122 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %122 #s(literal -1 binary64)))
(neg.f64 %126)
(fma.f64 #s(literal -2 binary64) %95 #s(literal 5 binary64))
(fma.f64 %95 #s(literal -2 binary64) #s(literal 5 binary64))
(fma.f64 #s(literal 1 binary64) %98 #s(literal 5 binary64))
(fma.f64 %98 #s(literal 1 binary64) #s(literal 5 binary64))
%122
(fma.f64 x #s(literal 2 binary64) #s(literal 5 binary64))
(-.f64 %133 %108)
(-.f64 %133 %111)
(-.f64 %133 %113)
(-.f64 %133 %115)
(-.f64 %133 %95)
(-.f64 %98 #s(literal -5 binary64))
(-.f64 #s(literal 5 binary64) (*.f64 #s(literal -1 binary64) %98))
(-.f64 #s(literal 5 binary64) %106)
(-.f64 x %143)
(+.f64 %133 x)
(+.f64 %98 #s(literal 5 binary64))
(+.f64 #s(literal 5 binary64) (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %95)))
(+.f64 #s(literal 5 binary64) %98)
(+.f64 x %133)
%152
(*.f64 y %122)
(pow.f64 %152 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %152 #s(literal -1 binary64)))
(neg.f64 (-.f64 %157 %158))
(neg.f64 %161)
(neg.f64 %163)
(neg.f64 %165)
(fma.f64 %168 #s(literal 1 binary64) %9)
(fma.f64 %158 #s(literal 2 binary64) %9)
(fma.f64 #s(literal -5 binary64) %6 %173)
(fma.f64 #s(literal -5 binary64) %6 %175)
(fma.f64 #s(literal -5 binary64) %6 %177)
(fma.f64 #s(literal -5 binary64) %6 %179)
(fma.f64 #s(literal -5 binary64) %6 %181)
(fma.f64 #s(literal -5 binary64) %6 %184)
(fma.f64 #s(literal -5 binary64) %6 %186)
(fma.f64 #s(literal -5 binary64) %6 %168)
(fma.f64 %6 #s(literal -5 binary64) %173)
(fma.f64 %6 #s(literal -5 binary64) %175)
(fma.f64 %6 #s(literal -5 binary64) %177)
(fma.f64 %6 #s(literal -5 binary64) %179)
(fma.f64 %6 #s(literal -5 binary64) %181)
(fma.f64 %6 #s(literal -5 binary64) %184)
(fma.f64 %6 #s(literal -5 binary64) %186)
(fma.f64 %6 #s(literal -5 binary64) %168)
(fma.f64 %133 y %158)
(fma.f64 %167 x %9)
(fma.f64 %98 y %9)
(fma.f64 #s(literal 2 binary64) %200 %9)
(fma.f64 #s(literal 2 binary64) %158 %9)
(fma.f64 #s(literal 5 binary64) y %173)
(fma.f64 #s(literal 5 binary64) y %175)
(fma.f64 #s(literal 5 binary64) y %177)
(fma.f64 #s(literal 5 binary64) y %179)
(fma.f64 #s(literal 5 binary64) y %181)
(fma.f64 #s(literal 5 binary64) y %184)
(fma.f64 #s(literal 5 binary64) y %186)
(fma.f64 #s(literal 5 binary64) y %168)
(fma.f64 y %133 %158)
(fma.f64 y %98 %9)
(fma.f64 y #s(literal 5 binary64) %173)
(fma.f64 y #s(literal 5 binary64) %175)
(fma.f64 y #s(literal 5 binary64) %177)
(fma.f64 y #s(literal 5 binary64) %179)
(fma.f64 y #s(literal 5 binary64) %181)
(fma.f64 y #s(literal 5 binary64) %184)
(fma.f64 y #s(literal 5 binary64) %186)
(fma.f64 y #s(literal 5 binary64) %168)
(fma.f64 y x %221)
(fma.f64 y x %223)
(fma.f64 y x %225)
(fma.f64 x %167 %9)
(fma.f64 x y %221)
(fma.f64 x y %223)
(fma.f64 x y %225)
(-.f64 %168 %16)
(-.f64 %158 %157)
(-.f64 %225 %171)
(-.f64 %9 %235)
(-.f64 %9 %237)
(-.f64 %9 %234)
(+.f64 %168 %9)
(+.f64 %158 %221)
(+.f64 %158 %223)
(+.f64 %158 %225)
(+.f64 %225 %158)
(+.f64 %9 %173)
(+.f64 %9 %175)
(+.f64 %9 %177)
(+.f64 %9 %179)
(+.f64 %9 %181)
(+.f64 %9 %184)
(+.f64 %9 %186)
(+.f64 %9 %168)
(*.f64 #s(literal -2 binary64) %6)
(*.f64 %6 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %167)
(*.f64 %167 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %167 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %167 #s(literal -1 binary64)))
(neg.f64 %183)
(-.f64 y %263)
(-.f64 y %266)
(-.f64 y %268)
(-.f64 y %270)
(-.f64 y %6)
(+.f64 y (neg.f64 %268))
(+.f64 y (neg.f64 %270))
%167
(pow.f64 %277 #s(literal 1 binary64))
%277
(/.f64 #s(literal 1 binary64) (pow.f64 %277 #s(literal -1 binary64)))
(pow.f64 %281 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %281 #s(literal -1 binary64)))
(neg.f64 %285)
(fma.f64 #s(literal -2 binary64) %6 t)
(fma.f64 %6 #s(literal -2 binary64) t)
(fma.f64 #s(literal 1 binary64) %167 t)
(fma.f64 %167 #s(literal 1 binary64) t)
%281
(fma.f64 y #s(literal 2 binary64) t)
(-.f64 %292 %263)
(-.f64 %292 %266)
(-.f64 %292 %268)
(-.f64 %292 %270)
(-.f64 %292 %6)
(-.f64 %167 %77)
(-.f64 t %299)
(-.f64 t %183)
(-.f64 y %302)
(+.f64 %292 y)
(+.f64 %167 t)
(+.f64 t %307)
(+.f64 t %167)
(+.f64 y %292)
(*.f64 %285 %95)
(*.f64 %95 %285)
%313
(*.f64 x %281)
(pow.f64 %313 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %313 #s(literal -1 binary64)))
(neg.f64 %318)
(fma.f64 %168 #s(literal 1 binary64) %320)
(fma.f64 %168 #s(literal 1 binary64) %322)
(fma.f64 %168 #s(literal 1 binary64) %325)
(fma.f64 %168 #s(literal 1 binary64) %327)
(fma.f64 %158 #s(literal 2 binary64) %320)
(fma.f64 %158 #s(literal 2 binary64) %322)
(fma.f64 %158 #s(literal 2 binary64) %325)
(fma.f64 %158 #s(literal 2 binary64) %327)
(fma.f64 %292 x %158)
(fma.f64 %167 x %320)
(fma.f64 %167 x %322)
(fma.f64 %167 x %325)
(fma.f64 %167 x %327)
(fma.f64 %98 y %320)
(fma.f64 %98 y %322)
(fma.f64 %98 y %325)
(fma.f64 %98 y %327)
(fma.f64 #s(literal 2 binary64) %200 %320)
(fma.f64 #s(literal 2 binary64) %200 %322)
(fma.f64 #s(literal 2 binary64) %200 %325)
(fma.f64 #s(literal 2 binary64) %200 %327)
(fma.f64 #s(literal 2 binary64) %158 %320)
(fma.f64 #s(literal 2 binary64) %158 %322)
(fma.f64 #s(literal 2 binary64) %158 %325)
(fma.f64 #s(literal 2 binary64) %158 %327)
(fma.f64 t x %173)
(fma.f64 t x %175)
(fma.f64 t x %177)
(fma.f64 t x %179)
(fma.f64 t x %181)
(fma.f64 t x %184)
(fma.f64 t x %186)
(fma.f64 t x %168)
(fma.f64 y %98 %320)
(fma.f64 y %98 %322)
(fma.f64 y %98 %325)
(fma.f64 y %98 %327)
(fma.f64 y x %362)
(fma.f64 x %292 %158)
(fma.f64 x %167 %320)
(fma.f64 x %167 %322)
(fma.f64 x %167 %325)
(fma.f64 x %167 %327)
(fma.f64 x t %173)
(fma.f64 x t %175)
(fma.f64 x t %177)
(fma.f64 x t %179)
(fma.f64 x t %181)
(fma.f64 x t %184)
(fma.f64 x t %186)
(fma.f64 x t %168)
(fma.f64 x y %362)
(-.f64 %322 %234)
(-.f64 %186 %324)
(-.f64 %325 %235)
(-.f64 %325 %237)
(-.f64 %325 %234)
(-.f64 %362 %171)
(-.f64 %168 (neg.f64 %325))
(-.f64 %168 %324)
(-.f64 %158 %387)
(-.f64 %158 %389)
(-.f64 %158 %391)
(-.f64 %158 %393)
(-.f64 %327 %235)
(-.f64 %327 %237)
(-.f64 %327 %234)
(+.f64 %325 %168)
(+.f64 %362 %158)
(+.f64 %168 %320)
(+.f64 %168 %322)
(+.f64 %168 %325)
(+.f64 %168 %327)
(+.f64 %158 %362)
(+.f64 %327 %173)
(+.f64 %327 %175)
(+.f64 %327 %177)
(+.f64 %327 %179)
(+.f64 %327 %181)
(+.f64 %327 %184)
(+.f64 %327 %186)
(+.f64 %327 %168)
(*.f64 #s(literal 1 binary64) %413)
(*.f64 %415 #s(literal 1/2 binary64))
(*.f64 %413 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %418)
%413
(*.f64 x z)
(pow.f64 %413 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %413 #s(literal -1 binary64)))
(pow.f64 %424 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %424 #s(literal -1 binary64)))
(neg.f64 %428)
(fma.f64 %285 %95 %9)
(fma.f64 %168 #s(literal 1 binary64) %431)
(fma.f64 %158 #s(literal 2 binary64) %431)
(fma.f64 #s(literal -5 binary64) %6 %313)
(fma.f64 %95 %285 %9)
(fma.f64 %6 #s(literal -5 binary64) %313)
%424
(fma.f64 %167 x %431)
(fma.f64 %122 y %320)
(fma.f64 %122 y %322)
(fma.f64 %122 y %325)
(fma.f64 %122 y %327)
(fma.f64 %98 y %431)
(fma.f64 #s(literal 2 binary64) %200 %431)
(fma.f64 #s(literal 2 binary64) %158 %431)
(fma.f64 #s(literal 5 binary64) y %313)
(fma.f64 t x %447)
(fma.f64 t x %152)
(fma.f64 y %122 %320)
(fma.f64 y %122 %322)
(fma.f64 y %122 %325)
(fma.f64 y %122 %327)
(fma.f64 y %98 %431)
(fma.f64 y #s(literal 5 binary64) %313)
(fma.f64 x %281 %9)
(fma.f64 x %167 %431)
(fma.f64 x t %447)
(fma.f64 x t %152)
(-.f64 %460 %171)
(-.f64 %431 %235)
(-.f64 %431 %237)
(-.f64 %431 %234)
(-.f64 %168 %465)
(-.f64 %327 %161)
(-.f64 %327 %163)
(-.f64 %327 %446)
(-.f64 %327 %165)
(-.f64 %313 %16)
(-.f64 %152 %324)
(-.f64 %9 %318)
(+.f64 %460 %158)
(+.f64 %431 %173)
(+.f64 %431 %175)
(+.f64 %431 %177)
(+.f64 %431 %179)
(+.f64 %431 %181)
(+.f64 %431 %184)
(+.f64 %431 %186)
(+.f64 %431 %168)
(+.f64 %168 %431)
(+.f64 %327 %447)
(+.f64 %327 %152)
(+.f64 %313 %9)
(+.f64 %152 %320)
(+.f64 %152 %322)
(+.f64 %152 %325)
(+.f64 %152 %327)
(+.f64 %9 %313)
(pow.f64 %492 #s(literal 1 binary64))
%492
(/.f64 #s(literal 1 binary64) (pow.f64 %492 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %415)
(*.f64 %415 #s(literal 1 binary64))
(*.f64 %413 #s(literal 2 binary64))
%415
(*.f64 %23 x)
(*.f64 #s(literal 2 binary64) %413)
(*.f64 z %98)
(*.f64 x %23)
(pow.f64 %415 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %415 #s(literal -1 binary64)))
(neg.f64 %506)
(neg.f64 %508)
(neg.f64 %510)
(fma.f64 #s(literal 1 binary64) %413 %514)
(fma.f64 #s(literal 1 binary64) %413 %516)
(fma.f64 #s(literal 1 binary64) %413 %518)
(fma.f64 #s(literal 1 binary64) %413 %521)
(fma.f64 #s(literal 1 binary64) %413 %524)
(fma.f64 #s(literal 1 binary64) %413 %513)
(fma.f64 #s(literal 1 binary64) %413 %413)
(fma.f64 %415 #s(literal 1/2 binary64) %514)
(fma.f64 %415 #s(literal 1/2 binary64) %516)
(fma.f64 %415 #s(literal 1/2 binary64) %518)
(fma.f64 %415 #s(literal 1/2 binary64) %521)
(fma.f64 %415 #s(literal 1/2 binary64) %524)
(fma.f64 %415 #s(literal 1/2 binary64) %513)
(fma.f64 %415 #s(literal 1/2 binary64) %413)
(fma.f64 %413 #s(literal 1 binary64) %514)
(fma.f64 %413 #s(literal 1 binary64) %516)
(fma.f64 %413 #s(literal 1 binary64) %518)
(fma.f64 %413 #s(literal 1 binary64) %521)
(fma.f64 %413 #s(literal 1 binary64) %524)
(fma.f64 %413 #s(literal 1 binary64) %513)
(fma.f64 %413 #s(literal 1 binary64) %413)
(fma.f64 #s(literal 2 binary64) %418 %514)
(fma.f64 #s(literal 2 binary64) %418 %516)
(fma.f64 #s(literal 2 binary64) %418 %518)
(fma.f64 #s(literal 2 binary64) %418 %521)
(fma.f64 #s(literal 2 binary64) %418 %524)
(fma.f64 #s(literal 2 binary64) %418 %513)
(fma.f64 #s(literal 2 binary64) %418 %413)
(fma.f64 z x %514)
(fma.f64 z x %516)
(fma.f64 z x %518)
(fma.f64 z x %521)
(fma.f64 z x %524)
(fma.f64 z x %513)
(fma.f64 z x %413)
(fma.f64 x z %514)
(fma.f64 x z %516)
(fma.f64 x z %518)
(fma.f64 x z %521)
(fma.f64 x z %524)
(fma.f64 x z %513)
(fma.f64 x z %413)
(-.f64 %413 %563)
(-.f64 %413 %565)
(-.f64 %413 (neg.f64 %513))
(-.f64 %413 %520)
(-.f64 %413 %523)
(-.f64 %413 %512)
(+.f64 %413 %514)
(+.f64 %413 %516)
(+.f64 %413 %518)
(+.f64 %413 %521)
(+.f64 %413 %524)
(+.f64 %413 %513)
(+.f64 %413 %413)
(pow.f64 %579 #s(literal 1 binary64))
%579
(/.f64 #s(literal 1 binary64) (pow.f64 %579 #s(literal -1 binary64)))
%327
(*.f64 x t)
(pow.f64 %327 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %327 #s(literal -1 binary64)))
(pow.f64 %587 #s(literal 1 binary64))
%587
(/.f64 #s(literal 1 binary64) (pow.f64 %587 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %591)
(*.f64 %593 #s(literal 1/2 binary64))
(*.f64 %591 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %596)
(pow.f64 %591 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %591 #s(literal -1 binary64)))
(neg.f64 %602)
(neg.f64 %604)
(neg.f64 %601)
(-.f64 z %263)
(-.f64 z %266)
(-.f64 z %268)
(-.f64 z %270)
(-.f64 z %6)
(-.f64 y %34)
(-.f64 y %37)
(-.f64 y %39)
(-.f64 y %41)
(-.f64 y %20)
%591
(+.f64 y z)
(pow.f64 %618 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %618 #s(literal -1 binary64)))
(neg.f64 %623)
(fma.f64 #s(literal -2 binary64) %20 %281)
(fma.f64 #s(literal -2 binary64) %6 %60)
(fma.f64 %20 #s(literal -2 binary64) %281)
(fma.f64 %6 #s(literal -2 binary64) %60)
(fma.f64 #s(literal 1 binary64) %593 t)
(fma.f64 #s(literal 1 binary64) %591 %630)
(fma.f64 #s(literal 1 binary64) %167 %60)
(fma.f64 #s(literal 1 binary64) %23 %281)
(fma.f64 %593 #s(literal 1/2 binary64) %630)
(fma.f64 %593 #s(literal 1 binary64) t)
(fma.f64 %591 #s(literal 1 binary64) %630)
%618
(fma.f64 %167 #s(literal 1 binary64) %60)
(fma.f64 %23 #s(literal 1 binary64) %281)
(fma.f64 #s(literal 2 binary64) %596 %630)
(fma.f64 #s(literal 2 binary64) %591 t)
(fma.f64 #s(literal 2 binary64) z %281)
(fma.f64 #s(literal 2 binary64) y %60)
(fma.f64 z #s(literal 2 binary64) %281)
(fma.f64 y #s(literal 2 binary64) %60)
(-.f64 %646 %34)
(-.f64 %646 %37)
(-.f64 %646 %39)
(-.f64 %646 %41)
(-.f64 %646 %20)
(-.f64 %71 %652)
(-.f64 %630 %654)
(-.f64 %630 %656)
(-.f64 %630 %602)
(-.f64 %630 %604)
(-.f64 %630 %660)
(-.f64 %630 %601)
(-.f64 %663 %34)
(-.f64 %663 %37)
(-.f64 %663 %39)
(-.f64 %663 %41)
(-.f64 %663 %20)
(-.f64 %645 %82)
(-.f64 %593 %77)
(-.f64 %671 %263)
(-.f64 %671 %266)
(-.f64 %671 %268)
(-.f64 %671 %270)
(-.f64 %671 %6)
(-.f64 %292 %677)
(-.f64 %591 %679)
(-.f64 %281 %79)
(-.f64 %281 %31)
(-.f64 %167 %64)
(-.f64 %60 %299)
(-.f64 %60 %183)
(-.f64 %686 %302)
(-.f64 %23 %285)
(-.f64 t (*.f64 #s(literal -1 binary64) %593))
(-.f64 t %622)
(-.f64 z (neg.f64 %692))
(-.f64 z %695)
(-.f64 z %697)
(-.f64 z (-.f64 %285 z))
(-.f64 y %701)
(+.f64 %646 z)
(+.f64 %71 %645)
(+.f64 %630 %591)
(+.f64 %663 z)
(+.f64 %645 %71)
(+.f64 %593 t)
(+.f64 %671 y)
(+.f64 %292 %686)
(+.f64 %591 %630)
(+.f64 %281 %87)
(+.f64 %281 %23)
(+.f64 %167 %60)
(+.f64 %60 %307)
(+.f64 %60 %167)
(+.f64 %686 %292)
(+.f64 %23 %281)
(+.f64 t (*.f64 %601 #s(literal -2 binary64)))
(+.f64 t (*.f64 #s(literal -2 binary64) %601))
(+.f64 t %593)
(+.f64 z (neg.f64 %697))
(+.f64 z (neg.f64 %695))
(+.f64 z %692)
(+.f64 z %663)
(+.f64 y %671)
(pow.f64 %292 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %292 #s(literal -1 binary64)))
(neg.f64 %302)
(-.f64 t %263)
(-.f64 t %266)
(-.f64 t %268)
(-.f64 t %270)
(-.f64 t %6)
(-.f64 y %77)
%292
(+.f64 y t)
(pow.f64 %671 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %671 #s(literal -1 binary64)))
(neg.f64 %701)
(fma.f64 #s(literal -2 binary64) %20 %292)
(fma.f64 %20 #s(literal -2 binary64) %292)
(fma.f64 #s(literal 1 binary64) %591 %71)
(fma.f64 #s(literal 1 binary64) %23 %292)
(fma.f64 %593 #s(literal 1/2 binary64) %71)
(fma.f64 %591 #s(literal 1 binary64) %71)
(fma.f64 %23 #s(literal 1 binary64) %292)
(fma.f64 #s(literal 2 binary64) %596 %71)
%671
(fma.f64 z #s(literal 2 binary64) %292)
(-.f64 %71 %654)
(-.f64 %71 %656)
(-.f64 %71 %602)
(-.f64 %71 %604)
(-.f64 %71 %660)
(-.f64 %71 %601)
(-.f64 %630 %34)
(-.f64 %630 %37)
(-.f64 %630 %39)
(-.f64 %630 %41)
(-.f64 %630 %20)
(-.f64 %292 %79)
(-.f64 %292 %31)
(-.f64 %591 %82)
(-.f64 %60 %263)
(-.f64 %60 %266)
(-.f64 %60 %268)
(-.f64 %60 %270)
(-.f64 %60 %6)
(-.f64 %686 %77)
(-.f64 %23 %302)
(-.f64 t %677)
(-.f64 z %679)
(-.f64 y %64)
(+.f64 %71 %591)
(+.f64 %630 z)
(+.f64 %292 %87)
(+.f64 %292 %23)
(+.f64 %591 %71)
(+.f64 %60 y)
(+.f64 %686 t)
(+.f64 %23 %292)
(+.f64 t %686)
(+.f64 z %630)
(+.f64 y %60)
(*.f64 %701 %95)
(*.f64 %95 %701)
%792
(*.f64 x %671)
(pow.f64 %792 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %792 #s(literal -1 binary64)))
(neg.f64 %797)
(fma.f64 %630 x %413)
(fma.f64 #s(literal 1 binary64) %415 %800)
(fma.f64 #s(literal 1 binary64) %415 %802)
(fma.f64 #s(literal 1 binary64) %415 %362)
(fma.f64 #s(literal 1 binary64) %413 %807)
(fma.f64 #s(literal 1 binary64) %413 %809)
(fma.f64 #s(literal 1 binary64) %413 %811)
(fma.f64 #s(literal 1 binary64) %413 %813)
(fma.f64 %292 x %815)
(fma.f64 %292 x %818)
(fma.f64 %292 x %821)
(fma.f64 %292 x %824)
(fma.f64 %292 x %827)
(fma.f64 %292 x %830)
(fma.f64 %292 x %415)
(fma.f64 %415 #s(literal 1/2 binary64) %807)
(fma.f64 %415 #s(literal 1/2 binary64) %809)
(fma.f64 %415 #s(literal 1/2 binary64) %811)
(fma.f64 %415 #s(literal 1/2 binary64) %813)
(fma.f64 %415 #s(literal 1 binary64) %800)
(fma.f64 %415 #s(literal 1 binary64) %802)
(fma.f64 %415 #s(literal 1 binary64) %362)
(fma.f64 %413 #s(literal 1 binary64) %807)
(fma.f64 %413 #s(literal 1 binary64) %809)
(fma.f64 %413 #s(literal 1 binary64) %811)
(fma.f64 %413 #s(literal 1 binary64) %813)
(fma.f64 %413 #s(literal 2 binary64) %800)
(fma.f64 %413 #s(literal 2 binary64) %802)
(fma.f64 %413 #s(literal 2 binary64) %362)
(fma.f64 %98 z %800)
(fma.f64 %98 z %802)
(fma.f64 %98 z %362)
(fma.f64 %60 x %850)
(fma.f64 %60 x %852)
(fma.f64 %60 x %172)
(fma.f64 %60 x %158)
(fma.f64 %686 x %320)
(fma.f64 %686 x %322)
(fma.f64 %686 x %325)
(fma.f64 %686 x %327)
(fma.f64 %23 x %800)
(fma.f64 %23 x %802)
(fma.f64 %23 x %362)
(fma.f64 #s(literal 2 binary64) %418 %807)
(fma.f64 #s(literal 2 binary64) %418 %809)
(fma.f64 #s(literal 2 binary64) %418 %811)
(fma.f64 #s(literal 2 binary64) %418 %813)
(fma.f64 #s(literal 2 binary64) %413 %800)
(fma.f64 #s(literal 2 binary64) %413 %802)
(fma.f64 #s(literal 2 binary64) %413 %362)
(fma.f64 t x %870)
(fma.f64 z %98 %800)
(fma.f64 z %98 %802)
(fma.f64 z %98 %362)
(fma.f64 z x %807)
(fma.f64 z x %809)
(fma.f64 z x %811)
(fma.f64 z x %813)
(fma.f64 y x %879)
(fma.f64 x %630 %413)
(fma.f64 x %292 %815)
(fma.f64 x %292 %818)
(fma.f64 x %292 %821)
(fma.f64 x %292 %824)
(fma.f64 x %292 %827)
(fma.f64 x %292 %830)
(fma.f64 x %292 %415)
(fma.f64 x %60 %850)
(fma.f64 x %60 %852)
(fma.f64 x %60 %172)
(fma.f64 x %60 %158)
(fma.f64 x %686 %320)
(fma.f64 x %686 %322)
(fma.f64 x %686 %325)
(fma.f64 x %686 %327)
(fma.f64 x %23 %800)
(fma.f64 x %23 %802)
(fma.f64 x %23 %362)
(fma.f64 x t %870)
(fma.f64 x z %807)
(fma.f64 x z %809)
(fma.f64 x z %811)
(fma.f64 x z %813)
(fma.f64 x y %879)
(-.f64 %805 %563)
(-.f64 %805 %565)
(-.f64 %805 %520)
(-.f64 %805 %523)
(-.f64 %805 %512)
(-.f64 %811 %563)
(-.f64 %811 %565)
(-.f64 %811 %520)
(-.f64 %811 %523)
(-.f64 %811 %512)
(-.f64 %813 %563)
(-.f64 %813 %565)
(-.f64 %813 %520)
(-.f64 %813 %523)
(-.f64 %813 %512)
(-.f64 %879 %171)
(-.f64 %362 %922)
(-.f64 %362 %924)
(-.f64 %362 %506)
(-.f64 %362 %817)
(-.f64 %362 %820)
(-.f64 %362 %829)
(-.f64 %362 %508)
(-.f64 %362 %823)
(-.f64 %362 %826)
(-.f64 %362 %510)
(-.f64 %870 %324)
(-.f64 %158 (*.f64 %95 %60))
(-.f64 %158 (*.f64 %64 x))
(-.f64 %158 (*.f64 x %64))
(-.f64 %158 (neg.f64 %879))
(-.f64 %327 %943)
(-.f64 %327 (*.f64 %95 %686))
(-.f64 %327 (*.f64 %677 x))
(-.f64 %327 (neg.f64 %870))
(-.f64 %415 %387)
(-.f64 %415 %389)
(-.f64 %415 %391)
(-.f64 %415 %393)
(-.f64 %413 (*.f64 %679 x))
(-.f64 %413 (neg.f64 %809))
(-.f64 %413 (neg.f64 %811))
(-.f64 %413 (neg.f64 %813))
(-.f64 %413 %806)
(-.f64 %413 (*.f64 %95 %630))
(+.f64 %805 %516)
(+.f64 %805 %518)
(+.f64 %805 %513)
(+.f64 %805 %413)
(+.f64 %811 %413)
(+.f64 %813 %413)
(+.f64 %879 %850)
(+.f64 %879 %852)
(+.f64 %879 %172)
(+.f64 %879 %158)
(+.f64 %362 %815)
(+.f64 %362 %818)
(+.f64 %362 %821)
(+.f64 %362 %824)
(+.f64 %362 %827)
(+.f64 %362 %830)
(+.f64 %362 %415)
(+.f64 %870 %320)
(+.f64 %870 %322)
(+.f64 %870 %325)
(+.f64 %870 %327)
(+.f64 %158 %879)
(+.f64 %327 %870)
(+.f64 %415 %800)
(+.f64 %415 %802)
(+.f64 %415 %362)
(+.f64 %413 %807)
(+.f64 %413 %809)
(+.f64 %413 %811)
(+.f64 %413 %813)
(pow.f64 %133 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %133 #s(literal -1 binary64)))
(neg.f64 %143)
(-.f64 #s(literal 5 binary64) %108)
(-.f64 #s(literal 5 binary64) %111)
(-.f64 #s(literal 5 binary64) %113)
(-.f64 #s(literal 5 binary64) %115)
(-.f64 #s(literal 5 binary64) %95)
(-.f64 x #s(literal -5 binary64))
%133
(+.f64 x #s(literal 5 binary64))
%1008
%1010
%1012
%1014
%1016
%1017
%1018
%1019
%1021
%1023
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1033
%1034
%1035
%1036
%1037
%1038
%1039
%1041
%1007
%1042
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1054
%1056
%1057
%1058
%1060
%1061
%1062
%1063
%1064
%1065
%1066
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1076
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1095
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1108
%1109
%1110
%1111
%1113
%1114
%1115
%1116
%1117
%1118
%1121
%1123
%1125
%1127
%1129
%1132
%1134
%1136
%1138
%1140
%1142
%1143
%1145
%1146
%1147
%1148
%1149
%1151
%1153
%1155
%1157
%1158
%1160
%1162
%1163
%1164
%1166
%1168
%1169
%1170
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1182
%1183
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1191
%1192
%1193
%1194
%1195
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
%1008
%1010
%1012
%1014
%1016
%1017
%1018
%1019
%1021
%1023
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1033
%1034
%1035
%1036
%1037
%1038
%1039
%1041
%1007
%1042
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1054
%1056
%1057
%1058
%1060
%1061
%1062
%1063
%1064
%1065
%1066
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1076
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1095
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1108
%1109
%1110
%1111
%1113
%1114
%1115
%1116
%1117
%1118
%1121
%1123
%1125
%1127
%1129
%1132
%1134
%1136
%1138
%1140
%1142
%1143
%1145
%1146
%1147
%1148
%1149
%1151
%1153
%1155
%1157
%1158
%1160
%1162
%1163
%1164
%1166
%1168
%1169
%1170
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1182
%1183
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1191
%1192
%1193
%1194
%1195
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
(pow.f64 %1205 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1205 #s(literal -1 binary64)))
(neg.f64 (-.f64 %16 %579))
(fma.f64 #s(literal -5 binary64) %6 %1212)
(fma.f64 #s(literal -5 binary64) %6 %579)
(fma.f64 %6 #s(literal -5 binary64) %1212)
(fma.f64 %6 #s(literal -5 binary64) %579)
(fma.f64 #s(literal 5 binary64) y %1212)
%1205
(fma.f64 y #s(literal 5 binary64) %1212)
(fma.f64 y #s(literal 5 binary64) %579)
(-.f64 %579 %16)
(-.f64 %9 (neg.f64 %1212))
(-.f64 %9 %1211)
(+.f64 %579 %9)
(+.f64 %9 %1212)
(+.f64 %9 %579)
(pow.f64 %1227 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1227 #s(literal -1 binary64)))
(neg.f64 (-.f64 %16 %587))
(fma.f64 #s(literal -5 binary64) %6 %1234)
(fma.f64 #s(literal -5 binary64) %6 %587)
(fma.f64 %6 #s(literal -5 binary64) %1234)
(fma.f64 %6 #s(literal -5 binary64) %587)
(fma.f64 #s(literal 5 binary64) y %1234)
%1227
(fma.f64 y #s(literal 5 binary64) %1234)
(fma.f64 y #s(literal 5 binary64) %587)
(-.f64 %587 %16)
(-.f64 %9 (neg.f64 %1234))
(-.f64 %9 %1233)
(+.f64 %587 %9)
(+.f64 %9 %1234)
(+.f64 %9 %587)
%1249
(*.f64 x %91)
(pow.f64 %1249 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1249 #s(literal -1 binary64)))
(pow.f64 %1254 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1254 #s(literal -1 binary64)))
(neg.f64 (-.f64 %16 %1249))
(fma.f64 #s(literal -5 binary64) %6 %1261)
(fma.f64 #s(literal -5 binary64) %6 %1263)
(fma.f64 #s(literal -5 binary64) %6 %1266)
(fma.f64 #s(literal -5 binary64) %6 %1269)
(fma.f64 #s(literal -5 binary64) %6 %1249)
(fma.f64 %6 #s(literal -5 binary64) %1261)
(fma.f64 %6 #s(literal -5 binary64) %1263)
(fma.f64 %6 #s(literal -5 binary64) %1266)
(fma.f64 %6 #s(literal -5 binary64) %1269)
(fma.f64 %6 #s(literal -5 binary64) %1249)
%1254
(fma.f64 #s(literal 5 binary64) y %1261)
(fma.f64 #s(literal 5 binary64) y %1263)
(fma.f64 #s(literal 5 binary64) y %1266)
(fma.f64 #s(literal 5 binary64) y %1269)
(fma.f64 #s(literal 5 binary64) y %1249)
(fma.f64 y #s(literal 5 binary64) %1261)
(fma.f64 y #s(literal 5 binary64) %1263)
(fma.f64 y #s(literal 5 binary64) %1266)
(fma.f64 y #s(literal 5 binary64) %1269)
(fma.f64 y #s(literal 5 binary64) %1249)
(fma.f64 x %91 %9)
(-.f64 %1249 %16)
(-.f64 %9 (*.f64 (neg.f64 %1265) x))
(-.f64 %9 (neg.f64 %1266))
(-.f64 %9 (neg.f64 %1269))
(-.f64 %9 %1268)
(+.f64 %1249 %9)
(+.f64 %9 %1261)
(+.f64 %9 %1263)
(+.f64 %9 %1266)
(+.f64 %9 %1269)
(+.f64 %9 %1249)

%3 = (+.f64 y z)
%7 = (*.f64 #s(literal 2 binary64) z)
%8 = (*.f64 #s(literal 5 binary64) y)
%9 = (+.f64 y %7)
%10 = (+.f64 t %7)
%11 = (*.f64 x %10)
%12 = (*.f64 x y)
%13 = (*.f64 #s(literal 2 binary64) %12)
%14 = (*.f64 t x)
%15 = (+.f64 y y)
%16 = (+.f64 x x)
%17 = (*.f64 %15 x)
%18 = (+.f64 #s(literal 5 binary64) x)
%19 = (*.f64 #s(literal 2 binary64) %3)
%20 = (+.f64 t %19)
%21 = (*.f64 x %20)
%27 = (approx (* y (+ 5 (* 2 x))) %13)
%28 = (+ z y)
%41 = (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5))
%43 = (approx %28 z)
%47 = (approx (+ (* 2 z) (+ t y)) %9)
%48 = (fma.f64 #s(literal 2 binary64) x #s(literal 5 binary64))
%49 = (*.f64 %48 y)
%50 = (fma.f64 #s(literal 5 binary64) y %17)
%54 = (* (- t (* -2 %28)) x)
%59 = (*.f64 %16 z)
%60 = (fma.f64 y %48 %14)
%61 = (approx %54 %59)
%62 = (approx %54 %14)
%66 = (fma.f64 #s(literal 2 binary64) %43 t)
%68 = (*.f64 %47 x)
x
y
z
%3
t
#s(literal 5 binary64)
#s(literal 2 binary64)
%7
%8
%9
%10
%11
%12
%13
%14
%15
%16
%17
%18
%19
%20
%21
%27
(approx (+ (* x (+ (* 2 %28) t)) (* 5 y)) %21)
(approx %41 %11)
%43
%47
%48
%49
%50
(approx (- %54 (* -5 y)) %49)
%59
%60
%61
%62
(fma.f64 #s(literal 5 binary64) y %61)
(fma.f64 #s(literal 5 binary64) y %62)
(approx %41 %60)
%66
(fma.f64 x %66 %8)
%68
(fma.f64 y %18 %68)
(approx %41 %50)
(approx %41 %27)

%4 = (+.f64 z y)
%7 = (*.f64 #s(literal 2 binary64) %4)
%10 = (*.f64 #s(literal 1/2 binary64) %4)
%17 = (neg.f64 %4)
%20 = (*.f64 %17 #s(literal 1 binary64))
%23 = (neg.f64 y)
%25 = (neg.f64 z)
%32 = (+.f64 z z)
%41 = (*.f64 #s(literal -2 binary64) z)
%51 = (*.f64 #s(literal 5 binary64) y)
%56 = (*.f64 #s(literal -5 binary64) y)
%58 = (fma.f64 #s(literal 2 binary64) z y)
%62 = (-.f64 %41 y)
%81 = (fma.f64 #s(literal 2 binary64) z t)
%85 = (neg.f64 t)
%88 = (-.f64 %41 t)
%95 = (+.f64 t z)
%99 = (-.f64 %25 t)
%101 = (neg.f64 %95)
%107 = (*.f64 %81 x)
%116 = (*.f64 %41 x)
%117 = (*.f64 t x)
%120 = (*.f64 z x)
%123 = (+.f64 x x)
%124 = (*.f64 %123 z)
%126 = (neg.f64 x)
%127 = (*.f64 %126 %41)
%134 = (*.f64 #s(literal 1 binary64) %120)
%140 = (fma.f64 z x %117)
%142 = (*.f64 x %95)
%144 = (*.f64 %95 x)
%153 = (fma.f64 t x %120)
%154 = (neg.f64 %120)
%164 = (*.f64 %126 t)
%176 = (*.f64 y x)
%178 = (*.f64 %123 y)
%181 = (*.f64 #s(literal 1/2 binary64) %176)
%187 = (*.f64 %126 y)
%188 = (*.f64 %187 #s(literal -2 binary64))
%189 = (*.f64 #s(literal -2 binary64) y)
%190 = (*.f64 %189 %126)
%191 = (*.f64 %126 %189)
%192 = (*.f64 #s(literal 1 binary64) %178)
%193 = (*.f64 #s(literal -2 binary64) %187)
%194 = (+.f64 y y)
%195 = (*.f64 %194 x)
%196 = (*.f64 %178 #s(literal 1 binary64))
%197 = (*.f64 %176 #s(literal 2 binary64))
%198 = (*.f64 #s(literal 2 binary64) %176)
%199 = (*.f64 y %123)
%200 = (*.f64 x %194)
%201 = (pow.f64 %178 #s(literal 1 binary64))
%203 = (/.f64 #s(literal 1 binary64) (pow.f64 %178 #s(literal -1 binary64)))
%204 = (*.f64 %189 x)
%205 = (neg.f64 %204)
%206 = (neg.f64 %187)
%207 = (fma.f64 #s(literal 1 binary64) %176 %206)
%208 = (fma.f64 #s(literal 1 binary64) %176 %176)
%209 = (fma.f64 %178 #s(literal 1/2 binary64) %206)
%210 = (fma.f64 %178 #s(literal 1/2 binary64) %176)
%211 = (fma.f64 %176 #s(literal 1 binary64) %206)
%212 = (fma.f64 %176 #s(literal 1 binary64) %176)
%213 = (fma.f64 #s(literal 2 binary64) %181 %206)
%214 = (fma.f64 #s(literal 2 binary64) %181 %176)
%215 = (fma.f64 y x %206)
%216 = (fma.f64 y x %176)
%217 = (fma.f64 x y %206)
%218 = (fma.f64 x y %176)
%220 = (-.f64 %176 (neg.f64 %206))
%222 = (-.f64 %176 (*.f64 %187 #s(literal 1 binary64)))
%224 = (-.f64 %176 (*.f64 #s(literal -1 binary64) %176))
%225 = (-.f64 %176 %187)
%226 = (+.f64 %176 %206)
%227 = (+.f64 %176 %176)
%245 = (*.f64 #s(literal -1 binary64) %23)
%247 = (*.f64 %23 #s(literal -1 binary64))
%269 = (*.f64 #s(literal -2 binary64) x)
%276 = (+.f64 #s(literal 5 binary64) x)
%280 = (-.f64 #s(literal -5 binary64) x)
%293 = (*.f64 #s(literal -2 binary64) %4)
%295 = (*.f64 %17 #s(literal -1 binary64))
%297 = (*.f64 #s(literal -1 binary64) %17)
%319 = (fma.f64 #s(literal 2 binary64) y z)
%330 = (-.f64 %189 z)
%342 = (fma.f64 #s(literal 2 binary64) %4 t)
%346 = (-.f64 %293 t)
%349 = (-.f64 %189 t)
%350 = (neg.f64 %349)
%352 = (fma.f64 #s(literal 2 binary64) y t)
%359 = (-.f64 %17 t)
%360 = (neg.f64 %359)
%362 = (+.f64 t y)
%363 = (+.f64 %362 z)
%386 = (fma.f64 #s(literal 2 binary64) y %95)
%388 = (+.f64 %352 z)
%390 = (+.f64 t %319)
%394 = (+.f64 %319 t)
%399 = (fma.f64 #s(literal 2 binary64) z %362)
%402 = (neg.f64 %362)
%418 = (+.f64 %95 %194)
%461 = (*.f64 %342 x)
%470 = (*.f64 %4 x)
%474 = (*.f64 %352 x)
%476 = (*.f64 x %352)
%482 = (*.f64 %123 %4)
%486 = (*.f64 %126 %293)
%493 = (fma.f64 %58 x %117)
%495 = (*.f64 x %399)
%497 = (*.f64 %399 x)
%503 = (*.f64 %58 x)
%505 = (*.f64 %362 x)
%538 = (fma.f64 %4 x %117)
%540 = (*.f64 x %363)
%542 = (*.f64 %363 x)
%546 = (*.f64 x %394)
%548 = (*.f64 %394 x)
%574 = (fma.f64 t x %470)
%575 = (neg.f64 %470)
%577 = (fma.f64 t x %503)
%601 = (neg.f64 %505)
%605 = (neg.f64 %476)
%649 = (approx (* (+ (* 2 x) 5) y) %178)
%653 = (+ z y)
%656 = (* (+ (* 2 %653) t) x)
%659 = (- %656 (* -5 y))
%660 = (approx %659 %461)
%664 = (approx %659 %107)
%668 = (approx %653 z)
%670 = (+.f64 %668 %668)
%673 = (*.f64 #s(literal 1/2 binary64) %668)
%681 = (approx (+ (+ t y) (* 2 z)) %58)
%685 = (neg.f64 %681)
%687 = (fma.f64 #s(literal 2 binary64) x #s(literal 5 binary64))
%691 = (fma.f64 #s(literal -2 binary64) x #s(literal -5 binary64))
%706 = (*.f64 %23 %691)
%707 = (*.f64 %687 y)
%708 = (*.f64 y %687)
%709 = (pow.f64 %707 #s(literal 1 binary64))
%711 = (/.f64 #s(literal 1 binary64) (pow.f64 %707 #s(literal -1 binary64)))
%712 = (*.f64 %691 y)
%713 = (neg.f64 %712)
%714 = (fma.f64 %187 #s(literal -2 binary64) %51)
%715 = (fma.f64 %189 %126 %51)
%716 = (fma.f64 %126 %189 %51)
%717 = (fma.f64 %23 %280 %176)
%718 = (*.f64 %23 %269)
%719 = (fma.f64 %23 #s(literal -5 binary64) %718)
%720 = (*.f64 %206 #s(literal 2 binary64))
%721 = (fma.f64 %23 #s(literal -5 binary64) %720)
%722 = (fma.f64 %23 #s(literal -5 binary64) %178)
%723 = (fma.f64 #s(literal 1 binary64) %178 %51)
%724 = (*.f64 %276 y)
%725 = (fma.f64 #s(literal 1 binary64) %176 %724)
%726 = (fma.f64 #s(literal -5 binary64) %23 %718)
%727 = (fma.f64 #s(literal -5 binary64) %23 %720)
%728 = (fma.f64 #s(literal -5 binary64) %23 %178)
%729 = (fma.f64 #s(literal -2 binary64) %187 %51)
%730 = (fma.f64 %123 y %51)
%731 = (fma.f64 %276 y %176)
%732 = (fma.f64 %194 x %51)
%733 = (fma.f64 %178 #s(literal 1/2 binary64) %724)
%734 = (fma.f64 %178 #s(literal 1 binary64) %51)
%735 = (fma.f64 %176 #s(literal 1 binary64) %724)
%736 = (fma.f64 %176 #s(literal 2 binary64) %51)
%737 = (fma.f64 #s(literal 2 binary64) %181 %724)
%738 = (fma.f64 #s(literal 2 binary64) %176 %51)
%739 = (fma.f64 #s(literal 5 binary64) y %718)
%740 = (fma.f64 #s(literal 5 binary64) y %720)
%741 = (fma.f64 #s(literal 5 binary64) y %178)
%742 = (fma.f64 y %123 %51)
%743 = (fma.f64 y %276 %176)
%744 = (fma.f64 y #s(literal 5 binary64) %718)
%745 = (fma.f64 y #s(literal 5 binary64) %720)
%746 = (fma.f64 y #s(literal 5 binary64) %178)
%747 = (fma.f64 y x %724)
%748 = (fma.f64 x %194 %51)
%749 = (fma.f64 x y %724)
%750 = (-.f64 %724 %187)
%752 = (-.f64 %51 (neg.f64 %720))
%753 = (-.f64 %51 %204)
%754 = (-.f64 %178 %56)
%755 = (*.f64 %280 y)
%756 = (-.f64 %176 %755)
%757 = (+.f64 %724 %176)
%758 = (+.f64 %51 %718)
%759 = (+.f64 %51 %720)
%760 = (+.f64 %51 %178)
%761 = (+.f64 %178 %51)
%762 = (+.f64 %176 %724)
%763 = (approx %659 %707)
%764 = (pow.f64 %763 #s(literal 1 binary64))
%766 = (/.f64 #s(literal 1 binary64) (pow.f64 %763 #s(literal -1 binary64)))
%778 = (*.f64 %120 #s(literal 1 binary64))
%795 = (fma.f64 %687 y %117)
%803 = (fma.f64 #s(literal 5 binary64) y %117)
%813 = (fma.f64 y x %803)
%815 = (fma.f64 %276 y %117)
%846 = (fma.f64 t x %724)
%848 = (+.f64 %803 %176)
%859 = (-.f64 %56 %117)
%880 = (approx %656 %124)
%884 = (neg.f64 %880)
%886 = (approx %656 %117)
%890 = (neg.f64 %886)
%892 = (fma.f64 #s(literal 5 binary64) y %880)
%907 = (fma.f64 #s(literal 5 binary64) y %886)
%922 = (approx %659 %795)
%926 = (fma.f64 %668 #s(literal 2 binary64) t)
%930 = (*.f64 #s(literal -2 binary64) %668)
%931 = (-.f64 %930 t)
%933 = (neg.f64 %668)
%936 = (+.f64 %668 t)
%951 = (*.f64 (neg.f64 %933) #s(literal 2 binary64))
%960 = (fma.f64 %926 x %51)
%966 = (*.f64 %926 x)
%969 = (*.f64 %668 x)
%971 = (*.f64 %670 x)
%973 = (fma.f64 %670 x %51)
%975 = (*.f64 %126 %931)
%983 = (fma.f64 %668 x %803)
%1021 = (*.f64 %681 x)
%1026 = (*.f64 %685 x)
%1028 = (fma.f64 %276 y %1021)
%1039 = (+.f64 y %681)
%1040 = (*.f64 x %1039)
%1042 = (fma.f64 %681 x %51)
%1072 = (approx %659 %649)
x
y
z
(*.f64 #s(literal 1 binary64) %4)
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %10)
(*.f64 %4 #s(literal 1 binary64))
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) %17))
(neg.f64 %20)
(neg.f64 %17)
(-.f64 z %23)
(-.f64 y %25)
%4
(+.f64 y z)
t
#s(literal 5 binary64)
#s(literal 2 binary64)
(*.f64 %25 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %32)
(*.f64 #s(literal -2 binary64) %25)
(*.f64 %32 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) z)
(*.f64 z #s(literal 2 binary64))
(pow.f64 %32 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %32 #s(literal -1 binary64)))
(neg.f64 %41)
(-.f64 z (*.f64 %25 #s(literal 1 binary64)))
(-.f64 z (*.f64 #s(literal -1 binary64) z))
(-.f64 z %25)
%32
(*.f64 %23 #s(literal -5 binary64))
(*.f64 #s(literal -5 binary64) %23)
%51
(*.f64 y #s(literal 5 binary64))
(pow.f64 %51 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %51 #s(literal -1 binary64)))
(neg.f64 %56)
(pow.f64 %58 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %58 #s(literal -1 binary64)))
(neg.f64 %62)
(fma.f64 %25 #s(literal -2 binary64) y)
(fma.f64 #s(literal 1 binary64) %32 y)
(fma.f64 #s(literal 1 binary64) %4 z)
(fma.f64 #s(literal -2 binary64) %25 y)
(fma.f64 %7 #s(literal 1/2 binary64) z)
(fma.f64 %32 #s(literal 1 binary64) y)
(fma.f64 #s(literal 2 binary64) %10 z)
%58
(fma.f64 %4 #s(literal 1 binary64) z)
(fma.f64 z #s(literal 2 binary64) y)
(-.f64 %32 %23)
(-.f64 %4 %25)
(-.f64 z %17)
(-.f64 y %41)
(+.f64 %32 y)
(+.f64 %4 z)
(+.f64 z %4)
(+.f64 y %32)
(pow.f64 %81 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %81 #s(literal -1 binary64)))
(neg.f64 (-.f64 %85 %32))
(neg.f64 %88)
(fma.f64 %25 #s(literal -2 binary64) t)
(fma.f64 #s(literal 1 binary64) %32 t)
(fma.f64 #s(literal -2 binary64) %25 t)
(fma.f64 %32 #s(literal 1 binary64) t)
%81
(fma.f64 z #s(literal 2 binary64) t)
(-.f64 %95 %25)
(-.f64 %32 %85)
(-.f64 t %41)
(-.f64 z %99)
(-.f64 z %101)
(+.f64 %95 z)
(+.f64 %32 t)
(+.f64 t %32)
(+.f64 z %95)
%107
(*.f64 x %81)
(pow.f64 %107 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %107 #s(literal -1 binary64)))
(neg.f64 (*.f64 %88 x))
(neg.f64 (*.f64 x %88))
(neg.f64 (-.f64 %116 %117))
(fma.f64 %95 x %120)
(fma.f64 %120 #s(literal 2 binary64) %117)
(fma.f64 %124 #s(literal 1 binary64) %117)
(fma.f64 %126 %85 %127)
(fma.f64 %126 %85 %124)
(fma.f64 %85 %126 %127)
(fma.f64 %85 %126 %124)
(fma.f64 %123 z %117)
(fma.f64 %32 x %117)
(fma.f64 #s(literal 2 binary64) %134 %117)
(fma.f64 #s(literal 2 binary64) %120 %117)
(fma.f64 t x %127)
(fma.f64 t x %124)
(fma.f64 z %123 %117)
(fma.f64 z x %140)
(fma.f64 z x %142)
(fma.f64 z x %144)
(fma.f64 x %95 %120)
(fma.f64 x %32 %117)
(fma.f64 x t %127)
(fma.f64 x t %124)
(fma.f64 x z %140)
(fma.f64 x z %142)
(fma.f64 x z %144)
(-.f64 %153 %154)
(-.f64 %142 %154)
(-.f64 %144 %154)
(-.f64 %120 (neg.f64 %140))
(-.f64 %120 (neg.f64 %142))
(-.f64 %120 (neg.f64 %144))
(-.f64 %124 %164)
(-.f64 %117 %116)
(+.f64 %153 %120)
(+.f64 %142 %120)
(+.f64 %144 %120)
(+.f64 %120 %140)
(+.f64 %120 %142)
(+.f64 %120 %144)
(+.f64 %124 %117)
(+.f64 %117 %127)
(+.f64 %117 %124)
(*.f64 #s(literal 1 binary64) %176)
(*.f64 %178 #s(literal 1/2 binary64))
(*.f64 %176 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %181)
%176
(*.f64 x y)
(pow.f64 %176 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %176 #s(literal -1 binary64)))
%188
%190
%191
%192
%193
%178
%195
%196
%197
%198
%199
%200
%201
%203
%205
%207
%208
%209
%210
%211
%212
%213
%214
%215
%216
%217
%218
%220
%222
%224
%225
%226
%227
(*.f64 %126 %85)
(*.f64 %85 %126)
%117
(*.f64 x t)
(pow.f64 %117 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %117 #s(literal -1 binary64)))
(neg.f64 %164)
(*.f64 %23 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %194)
(*.f64 #s(literal -2 binary64) %23)
(*.f64 %194 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %194 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %194 #s(literal -1 binary64)))
(neg.f64 %189)
(fma.f64 #s(literal -1 binary64) %23 %245)
(fma.f64 %23 #s(literal -1 binary64) %247)
(-.f64 %247 (neg.f64 %247))
(-.f64 %245 (neg.f64 %245))
(-.f64 y (*.f64 %23 #s(literal 1 binary64)))
(-.f64 y (*.f64 #s(literal -1 binary64) y))
(-.f64 y %23)
(+.f64 %247 %247)
(+.f64 %245 %245)
%194
(*.f64 %126 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %123)
(*.f64 #s(literal -2 binary64) %126)
(*.f64 %123 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %123 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %123 #s(literal -1 binary64)))
(neg.f64 %269)
(-.f64 x (*.f64 %126 #s(literal 1 binary64)))
(-.f64 x (*.f64 #s(literal -1 binary64) x))
(-.f64 x %126)
%123
%188
%190
%191
%192
%193
%178
%195
%196
%197
%198
%199
%200
%201
%203
%205
%207
%208
%209
%210
%211
%212
%213
%214
%215
%216
%217
%218
%220
%222
%224
%225
%226
%227
(pow.f64 %276 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %276 #s(literal -1 binary64)))
(neg.f64 %280)
(-.f64 #s(literal 5 binary64) %126)
(-.f64 x #s(literal -5 binary64))
%276
(+.f64 x #s(literal 5 binary64))
(*.f64 %17 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %7)
(*.f64 #s(literal -2 binary64) %17)
(*.f64 %7 #s(literal 1 binary64))
%7
(*.f64 %4 #s(literal 2 binary64))
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %293)
(fma.f64 %17 #s(literal -1 binary64) %295)
(fma.f64 #s(literal -1 binary64) %17 %297)
(fma.f64 %25 #s(literal -2 binary64) %194)
(fma.f64 %23 #s(literal -2 binary64) %32)
(fma.f64 #s(literal 1 binary64) %194 %32)
(fma.f64 #s(literal 1 binary64) %32 %194)
(fma.f64 #s(literal 1 binary64) %4 %4)
(fma.f64 #s(literal -2 binary64) %25 %194)
(fma.f64 #s(literal -2 binary64) %23 %32)
(fma.f64 %7 #s(literal 1/2 binary64) %4)
(fma.f64 %194 #s(literal 1 binary64) %32)
(fma.f64 %32 #s(literal 1 binary64) %194)
(fma.f64 #s(literal 2 binary64) %10 %4)
(fma.f64 #s(literal 2 binary64) z %194)
(fma.f64 #s(literal 2 binary64) y %32)
(fma.f64 %4 #s(literal 1 binary64) %4)
(fma.f64 z #s(literal 2 binary64) %194)
(fma.f64 y #s(literal 2 binary64) %32)
(-.f64 %295 (neg.f64 %295))
(-.f64 %297 (neg.f64 %297))
(-.f64 %319 %25)
(-.f64 %58 %23)
(-.f64 %194 %41)
(-.f64 %32 %189)
(-.f64 %4 %20)
(-.f64 %4 (*.f64 #s(literal -1 binary64) %4))
(-.f64 %4 %17)
(-.f64 z (-.f64 %25 %194))
(-.f64 z %330)
(-.f64 y %62)
(+.f64 %295 %295)
(+.f64 %297 %297)
(+.f64 %319 z)
(+.f64 %58 y)
(+.f64 %194 %32)
(+.f64 %32 %194)
(+.f64 %4 %4)
(+.f64 z %319)
(+.f64 y %58)
(pow.f64 %342 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %342 #s(literal -1 binary64)))
(neg.f64 %346)
(fma.f64 %17 #s(literal -2 binary64) t)
(fma.f64 %25 #s(literal -2 binary64) %350)
(fma.f64 %25 #s(literal -2 binary64) %352)
(fma.f64 %23 #s(literal -2 binary64) %81)
(fma.f64 #s(literal 1 binary64) %7 t)
(fma.f64 #s(literal 1 binary64) %194 %81)
(fma.f64 #s(literal 1 binary64) %32 %350)
(fma.f64 #s(literal 1 binary64) %32 %352)
(fma.f64 #s(literal 1 binary64) %4 %360)
(fma.f64 #s(literal 1 binary64) %4 %363)
(fma.f64 #s(literal -2 binary64) %17 t)
(fma.f64 #s(literal -2 binary64) %25 %350)
(fma.f64 #s(literal -2 binary64) %25 %352)
(fma.f64 #s(literal -2 binary64) %23 %81)
(fma.f64 %7 #s(literal 1/2 binary64) %360)
(fma.f64 %7 #s(literal 1/2 binary64) %363)
(fma.f64 %7 #s(literal 1 binary64) t)
(fma.f64 %194 #s(literal 1 binary64) %81)
(fma.f64 %32 #s(literal 1 binary64) %350)
(fma.f64 %32 #s(literal 1 binary64) %352)
(fma.f64 #s(literal 2 binary64) %10 %360)
(fma.f64 #s(literal 2 binary64) %10 %363)
%342
(fma.f64 #s(literal 2 binary64) z %350)
(fma.f64 #s(literal 2 binary64) z %352)
(fma.f64 #s(literal 2 binary64) y %81)
(fma.f64 %4 #s(literal 1 binary64) %360)
(fma.f64 %4 #s(literal 1 binary64) %363)
(fma.f64 %4 #s(literal 2 binary64) t)
(fma.f64 z #s(literal 2 binary64) %350)
(fma.f64 z #s(literal 2 binary64) %352)
(fma.f64 y #s(literal 2 binary64) %81)
(-.f64 %386 %25)
(-.f64 %388 %25)
(-.f64 %390 %25)
(-.f64 %95 %330)
(-.f64 %363 %17)
(-.f64 %394 %25)
(-.f64 %319 %99)
(-.f64 %319 %101)
(-.f64 %352 %41)
(-.f64 %399 %23)
(-.f64 %362 %62)
(-.f64 %58 %402)
(-.f64 %7 %85)
(-.f64 %194 %88)
(-.f64 %81 %189)
(-.f64 %32 (neg.f64 %350))
(-.f64 %32 (-.f64 %402 y))
(-.f64 %32 (-.f64 %85 %194))
(-.f64 %32 %349)
(-.f64 t %293)
(-.f64 %4 (neg.f64 %360))
(-.f64 %4 %359)
(-.f64 z (neg.f64 %418))
(-.f64 z (-.f64 %330 t))
(-.f64 z (-.f64 %25 %352))
(-.f64 z (-.f64 %23 %363))
(-.f64 z (+.f64 %23 %359))
(-.f64 z (-.f64 %17 %362))
(-.f64 z (neg.f64 %394))
(-.f64 y (-.f64 %25 %363))
(-.f64 y (-.f64 %88 y))
(+.f64 %386 z)
(+.f64 %388 z)
(+.f64 %390 z)
(+.f64 %95 %319)
(+.f64 %363 %4)
(+.f64 %394 z)
(+.f64 %319 %95)
(+.f64 %352 %32)
(+.f64 %399 y)
(+.f64 %362 %58)
(+.f64 %58 %362)
(+.f64 %7 t)
(+.f64 %194 %81)
(+.f64 %81 %194)
(+.f64 %32 %350)
(+.f64 %32 %352)
(+.f64 t %7)
(+.f64 %4 %360)
(+.f64 %4 %363)
(+.f64 z %418)
(+.f64 z %394)
(+.f64 y %399)
(*.f64 %346 %126)
(*.f64 %126 %346)
%461
(*.f64 x %342)
(pow.f64 %461 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %461 #s(literal -1 binary64)))
(neg.f64 (*.f64 %346 x))
(fma.f64 (*.f64 x %17) #s(literal -2 binary64) %117)
(fma.f64 %363 x %470)
(fma.f64 %352 x %124)
(fma.f64 %470 #s(literal 2 binary64) %117)
(fma.f64 %120 #s(literal 2 binary64) %474)
(fma.f64 %120 #s(literal 2 binary64) %476)
(fma.f64 %187 #s(literal -2 binary64) %107)
(fma.f64 %17 %269 %117)
(fma.f64 %124 #s(literal 1 binary64) %474)
(fma.f64 %124 #s(literal 1 binary64) %476)
(fma.f64 %482 #s(literal 1 binary64) %117)
(fma.f64 %189 %126 %107)
(fma.f64 %126 %189 %107)
(fma.f64 %126 %85 %486)
(fma.f64 %126 %85 %482)
(fma.f64 %269 %17 %117)
(fma.f64 %85 %126 %486)
(fma.f64 %85 %126 %482)
(fma.f64 #s(literal 1 binary64) %178 %107)
(fma.f64 #s(literal 1 binary64) %176 %493)
(fma.f64 #s(literal 1 binary64) %176 %495)
(fma.f64 #s(literal 1 binary64) %176 %497)
(fma.f64 #s(literal -2 binary64) (*.f64 %17 x) %117)
(fma.f64 #s(literal -2 binary64) %187 %107)
(fma.f64 %399 x %176)
(fma.f64 %362 x %503)
(fma.f64 %58 x %505)
(fma.f64 %123 %4 %117)
(fma.f64 %123 z %474)
(fma.f64 %123 z %476)
(fma.f64 %123 y %107)
(fma.f64 %7 x %117)
(fma.f64 %194 x %107)
(fma.f64 %178 #s(literal 1/2 binary64) %493)
(fma.f64 %178 #s(literal 1/2 binary64) %495)
(fma.f64 %178 #s(literal 1/2 binary64) %497)
(fma.f64 %178 #s(literal 1 binary64) %107)
(fma.f64 %176 #s(literal 1 binary64) %493)
(fma.f64 %176 #s(literal 1 binary64) %495)
(fma.f64 %176 #s(literal 1 binary64) %497)
(fma.f64 %176 #s(literal 2 binary64) %107)
(fma.f64 %81 x %178)
(fma.f64 %32 x %474)
(fma.f64 %32 x %476)
(fma.f64 #s(literal 2 binary64) %181 %493)
(fma.f64 #s(literal 2 binary64) %181 %495)
(fma.f64 #s(literal 2 binary64) %181 %497)
(fma.f64 #s(literal 2 binary64) %134 %474)
(fma.f64 #s(literal 2 binary64) %134 %476)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %470) %117)
(fma.f64 #s(literal 2 binary64) %470 %117)
(fma.f64 #s(literal 2 binary64) %120 %474)
(fma.f64 #s(literal 2 binary64) %120 %476)
(fma.f64 #s(literal 2 binary64) %176 %107)
(fma.f64 t x %486)
(fma.f64 t x %482)
(fma.f64 %4 %123 %117)
(fma.f64 %4 x %538)
(fma.f64 %4 x %540)
(fma.f64 %4 x %542)
(fma.f64 z %123 %474)
(fma.f64 z %123 %476)
(fma.f64 z x %546)
(fma.f64 z x %548)
(fma.f64 y %123 %107)
(fma.f64 y x %493)
(fma.f64 y x %495)
(fma.f64 y x %497)
(fma.f64 x %363 %470)
(fma.f64 x %352 %124)
(fma.f64 x %399 %176)
(fma.f64 x %362 %503)
(fma.f64 x %58 %505)
(fma.f64 x %7 %117)
(fma.f64 x %194 %107)
(fma.f64 x %81 %178)
(fma.f64 x %32 %474)
(fma.f64 x %32 %476)
(fma.f64 x t %486)
(fma.f64 x t %482)
(fma.f64 x %4 %538)
(fma.f64 x %4 %540)
(fma.f64 x %4 %542)
(fma.f64 x z %546)
(fma.f64 x z %548)
(fma.f64 x y %493)
(fma.f64 x y %495)
(fma.f64 x y %497)
(-.f64 %574 %575)
(-.f64 %577 %187)
(-.f64 %540 %575)
(-.f64 %495 %187)
(-.f64 %474 %116)
(-.f64 %542 %575)
(-.f64 %497 %187)
(-.f64 %476 %116)
(-.f64 %470 (neg.f64 %538))
(-.f64 %470 (neg.f64 %540))
(-.f64 %470 (neg.f64 %542))
(-.f64 %505 (neg.f64 %503))
(-.f64 %120 (neg.f64 %546))
(-.f64 %120 (neg.f64 %548))
(-.f64 %503 (*.f64 %126 %362))
(-.f64 %503 (*.f64 %402 x))
(-.f64 %503 %601)
(-.f64 %124 (neg.f64 %474))
(-.f64 %124 %605)
(-.f64 %482 %164)
(-.f64 %117 (*.f64 %269 %4))
(-.f64 %178 (neg.f64 %107))
(-.f64 %176 (neg.f64 %493))
(-.f64 %176 (neg.f64 %495))
(-.f64 %176 (neg.f64 %497))
(-.f64 %107 %204)
(+.f64 %574 %470)
(+.f64 %577 %176)
(+.f64 %540 %470)
(+.f64 %495 %176)
(+.f64 %474 %124)
(+.f64 %542 %470)
(+.f64 %497 %176)
(+.f64 %476 %124)
(+.f64 %470 %538)
(+.f64 %470 %540)
(+.f64 %470 %542)
(+.f64 %505 %503)
(+.f64 %120 %546)
(+.f64 %120 %548)
(+.f64 %503 %505)
(+.f64 %124 %474)
(+.f64 %124 %476)
(+.f64 %482 %117)
(+.f64 %117 %486)
(+.f64 %117 %482)
(+.f64 %178 %107)
(+.f64 %176 %493)
(+.f64 %176 %495)
(+.f64 %176 %497)
(+.f64 %107 %178)
(pow.f64 %649 #s(literal 1 binary64))
%649
(/.f64 #s(literal 1 binary64) (pow.f64 %649 #s(literal -1 binary64)))
(pow.f64 %660 #s(literal 1 binary64))
%660
(/.f64 #s(literal 1 binary64) (pow.f64 %660 #s(literal -1 binary64)))
(pow.f64 %664 #s(literal 1 binary64))
%664
(/.f64 #s(literal 1 binary64) (pow.f64 %664 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %668)
(*.f64 %670 #s(literal 1/2 binary64))
(*.f64 %668 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %673)
(pow.f64 %668 #s(literal 1 binary64))
%668
(/.f64 #s(literal 1 binary64) (pow.f64 %668 #s(literal -1 binary64)))
(pow.f64 %681 #s(literal 1 binary64))
%681
(/.f64 #s(literal 1 binary64) (pow.f64 %681 #s(literal -1 binary64)))
(neg.f64 %685)
(pow.f64 %687 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %687 #s(literal -1 binary64)))
(neg.f64 %691)
(fma.f64 %126 #s(literal -2 binary64) #s(literal 5 binary64))
(fma.f64 #s(literal 1 binary64) %123 #s(literal 5 binary64))
(fma.f64 #s(literal -2 binary64) %126 #s(literal 5 binary64))
(fma.f64 %123 #s(literal 1 binary64) #s(literal 5 binary64))
%687
(fma.f64 x #s(literal 2 binary64) #s(literal 5 binary64))
(-.f64 %123 #s(literal -5 binary64))
(-.f64 %276 %126)
(-.f64 #s(literal 5 binary64) %269)
(-.f64 x %280)
(+.f64 %123 #s(literal 5 binary64))
(+.f64 %276 x)
(+.f64 #s(literal 5 binary64) %123)
(+.f64 x %276)
%706
%707
%708
%709
%711
%713
%714
%715
%716
%717
%719
%721
%722
%723
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%752
%753
%754
%756
%757
%758
%759
%760
%761
%762
%706
%707
%708
%709
%711
%713
%714
%715
%716
%717
%719
%721
%722
%723
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%752
%753
%754
%756
%757
%758
%759
%760
%761
%762
%764
%763
%766
(*.f64 %120 #s(literal 2 binary64))
(*.f64 %124 #s(literal 1 binary64))
%124
(*.f64 %32 x)
(*.f64 #s(literal 2 binary64) %134)
(*.f64 #s(literal 2 binary64) %120)
(*.f64 z %123)
(*.f64 x %32)
(pow.f64 %124 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -1 binary64)))
(neg.f64 %116)
(fma.f64 %120 #s(literal 1 binary64) %778)
(fma.f64 #s(literal 1 binary64) %120 %134)
(fma.f64 z x %120)
(fma.f64 x z %120)
(-.f64 %778 (neg.f64 %778))
(-.f64 %134 (neg.f64 %134))
(-.f64 %120 (*.f64 %126 z))
(-.f64 %120 (*.f64 %25 x))
(-.f64 %120 %154)
(+.f64 %778 %778)
(+.f64 %134 %134)
(+.f64 %120 %120)
(pow.f64 %795 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %795 #s(literal -1 binary64)))
(neg.f64 (-.f64 %712 %117))
(neg.f64 (neg.f64 %795))
(fma.f64 %187 #s(literal -2 binary64) %803)
(fma.f64 %189 %126 %803)
(fma.f64 %126 %189 %803)
(fma.f64 %126 %85 %707)
(fma.f64 %23 %280 %505)
(fma.f64 %23 %691 %117)
(fma.f64 %23 #s(literal -5 binary64) %476)
(fma.f64 %85 %126 %707)
(fma.f64 #s(literal 1 binary64) %178 %803)
(fma.f64 #s(literal 1 binary64) %176 %813)
(fma.f64 #s(literal 1 binary64) %176 %815)
(fma.f64 #s(literal -5 binary64) %23 %476)
(fma.f64 #s(literal -2 binary64) %187 %803)
%795
(fma.f64 %362 x %724)
(fma.f64 %123 y %803)
(fma.f64 %276 y %505)
(fma.f64 %194 x %803)
(fma.f64 %178 #s(literal 1/2 binary64) %813)
(fma.f64 %178 #s(literal 1/2 binary64) %815)
(fma.f64 %178 #s(literal 1 binary64) %803)
(fma.f64 %176 #s(literal 1 binary64) %813)
(fma.f64 %176 #s(literal 1 binary64) %815)
(fma.f64 %176 #s(literal 2 binary64) %803)
(fma.f64 #s(literal 2 binary64) %181 %813)
(fma.f64 #s(literal 2 binary64) %181 %815)
(fma.f64 #s(literal 2 binary64) %176 %803)
(fma.f64 #s(literal 5 binary64) y %476)
(fma.f64 t x %707)
(fma.f64 y %687 %117)
(fma.f64 y %123 %803)
(fma.f64 y %276 %505)
(fma.f64 y #s(literal 5 binary64) %476)
(fma.f64 y x %813)
(fma.f64 y x %815)
(fma.f64 x %352 %51)
(fma.f64 x %362 %724)
(fma.f64 x %194 %803)
(fma.f64 x t %707)
(fma.f64 x y %813)
(fma.f64 x y %815)
(-.f64 %846 %187)
(-.f64 %848 %187)
(-.f64 %803 %204)
(-.f64 %476 %56)
(-.f64 %505 %755)
(-.f64 %724 %601)
(-.f64 %707 %164)
(-.f64 %51 (-.f64 %204 %117))
(-.f64 %51 %605)
(-.f64 %117 %712)
(-.f64 %178 %859)
(-.f64 %176 (neg.f64 %815))
(-.f64 %176 (neg.f64 %813))
(-.f64 %176 (fma.f64 %126 y %859))
(+.f64 %846 %176)
(+.f64 %848 %176)
(+.f64 %803 %718)
(+.f64 %803 %178)
(+.f64 %476 %51)
(+.f64 %505 %724)
(+.f64 %724 %505)
(+.f64 %707 %117)
(+.f64 %51 %476)
(+.f64 %117 %707)
(+.f64 %178 %803)
(+.f64 %176 %813)
(+.f64 %176 %815)
(pow.f64 %880 #s(literal 1 binary64))
%880
(/.f64 #s(literal 1 binary64) (pow.f64 %880 #s(literal -1 binary64)))
(neg.f64 %884)
(pow.f64 %886 #s(literal 1 binary64))
%886
(/.f64 #s(literal 1 binary64) (pow.f64 %886 #s(literal -1 binary64)))
(neg.f64 %890)
(pow.f64 %892 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %892 #s(literal -1 binary64)))
(neg.f64 (-.f64 %56 %880))
(neg.f64 (neg.f64 %892))
(fma.f64 %23 #s(literal -5 binary64) %880)
(fma.f64 #s(literal -5 binary64) %23 %880)
%892
(fma.f64 y #s(literal 5 binary64) %880)
(-.f64 %880 %56)
(-.f64 %51 %884)
(+.f64 %880 %51)
(+.f64 %51 %880)
(pow.f64 %907 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %907 #s(literal -1 binary64)))
(neg.f64 (-.f64 %56 %886))
(neg.f64 (neg.f64 %907))
(fma.f64 %23 #s(literal -5 binary64) %886)
(fma.f64 #s(literal -5 binary64) %23 %886)
%907
(fma.f64 y #s(literal 5 binary64) %886)
(-.f64 %886 %56)
(-.f64 %51 %890)
(+.f64 %886 %51)
(+.f64 %51 %886)
(pow.f64 %922 #s(literal 1 binary64))
%922
(/.f64 #s(literal 1 binary64) (pow.f64 %922 #s(literal -1 binary64)))
(pow.f64 %926 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %926 #s(literal -1 binary64)))
(neg.f64 %931)
(fma.f64 %933 #s(literal -2 binary64) t)
(fma.f64 #s(literal 1 binary64) %670 t)
(fma.f64 #s(literal 1 binary64) %668 %936)
(fma.f64 %670 #s(literal 1/2 binary64) %936)
(fma.f64 %670 #s(literal 1 binary64) t)
(fma.f64 #s(literal -2 binary64) %933 t)
(fma.f64 %668 #s(literal 1 binary64) %936)
%926
(fma.f64 #s(literal 2 binary64) %673 %936)
(fma.f64 #s(literal 2 binary64) %668 t)
(-.f64 %936 %933)
(-.f64 %670 %85)
(-.f64 %668 (-.f64 %933 t))
(-.f64 %668 (neg.f64 %936))
(-.f64 t (neg.f64 %951))
(-.f64 t %930)
(+.f64 %936 %668)
(+.f64 %670 t)
(+.f64 %668 %936)
(+.f64 t %951)
(+.f64 t %670)
(pow.f64 %960 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %960 #s(literal -1 binary64)))
(neg.f64 (fma.f64 %931 x %56))
(neg.f64 (-.f64 %56 %966))
(fma.f64 %969 #s(literal 2 binary64) %803)
(fma.f64 %971 #s(literal 1 binary64) %803)
(fma.f64 %126 %85 %973)
(fma.f64 %23 #s(literal -5 binary64) %975)
(fma.f64 %23 #s(literal -5 binary64) %966)
(fma.f64 %85 %126 %973)
(fma.f64 %670 x %803)
%960
(fma.f64 #s(literal -5 binary64) %23 %975)
(fma.f64 #s(literal -5 binary64) %23 %966)
(fma.f64 %668 %123 %803)
(fma.f64 %668 x %983)
(fma.f64 %123 %668 %803)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %969) %803)
(fma.f64 #s(literal 2 binary64) %969 %803)
(fma.f64 #s(literal 5 binary64) y %975)
(fma.f64 #s(literal 5 binary64) y %966)
(fma.f64 t x %973)
(fma.f64 y #s(literal 5 binary64) %975)
(fma.f64 y #s(literal 5 binary64) %966)
(fma.f64 x %670 %803)
(fma.f64 x %926 %51)
(fma.f64 x %668 %983)
(fma.f64 x t %973)
(-.f64 %973 %164)
(-.f64 %803 (neg.f64 %971))
(-.f64 %969 (neg.f64 %983))
(-.f64 %971 (fma.f64 %126 t %56))
(-.f64 %971 %859)
(-.f64 %966 %56)
(-.f64 %51 (*.f64 %931 x))
(-.f64 %117 (neg.f64 %973))
(+.f64 %973 %117)
(+.f64 %803 %971)
(+.f64 %969 %983)
(+.f64 %971 %803)
(+.f64 %966 %51)
(+.f64 %51 %975)
(+.f64 %51 %966)
(+.f64 %117 %973)
(*.f64 %685 %126)
(*.f64 %126 %685)
%1021
(*.f64 x %681)
(pow.f64 %1021 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1021 #s(literal -1 binary64)))
(neg.f64 %1026)
(pow.f64 %1028 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1028 #s(literal -1 binary64)))
(neg.f64 (-.f64 %755 %1021))
(neg.f64 (neg.f64 %1028))
(fma.f64 %685 %126 %724)
(fma.f64 %126 %685 %724)
(fma.f64 %23 %280 %1021)
(fma.f64 %23 #s(literal -5 binary64) %1040)
(fma.f64 #s(literal 1 binary64) %176 %1042)
(fma.f64 #s(literal -5 binary64) %23 %1040)
(fma.f64 %681 x %724)
%1028
(fma.f64 %178 #s(literal 1/2 binary64) %1042)
(fma.f64 %176 #s(literal 1 binary64) %1042)
(fma.f64 #s(literal 2 binary64) %181 %1042)
(fma.f64 #s(literal 5 binary64) y %1040)
(fma.f64 y %276 %1021)
(fma.f64 y #s(literal 5 binary64) %1040)
(fma.f64 y x %1042)
(fma.f64 x %1039 %51)
(fma.f64 x %681 %724)
(fma.f64 x y %1042)
(-.f64 %1042 %187)
(-.f64 %1040 %56)
(-.f64 %724 %1026)
(-.f64 %1021 %755)
(-.f64 %51 (-.f64 %187 %1021))
(-.f64 %51 (neg.f64 %1040))
(-.f64 %176 (neg.f64 %1042))
(+.f64 %1042 %176)
(+.f64 %1040 %51)
(+.f64 %724 %1021)
(+.f64 %1021 %724)
(+.f64 %51 %1040)
(+.f64 %176 %1042)
%764
%763
%766
(pow.f64 %1072 #s(literal 1 binary64))
%1072
(/.f64 #s(literal 1 binary64) (pow.f64 %1072 #s(literal -1 binary64)))

%3 = (+.f64 y z)
%7 = (approx x #s(literal 0 binary64))
%9 = (*.f64 #s(literal 2 binary64) y)
%10 = (+.f64 t %9)
%11 = (*.f64 x %10)
%12 = (fma.f64 #s(literal 2 binary64) z y)
%13 = (fma.f64 #s(literal 2 binary64) y z)
%14 = (fma.f64 #s(literal 2 binary64) z t)
%15 = (+.f64 %13 t)
%16 = (+.f64 z %15)
%17 = (+.f64 x x)
%18 = (*.f64 %14 x)
%19 = (+.f64 #s(literal 5 binary64) x)
%20 = (*.f64 x %16)
%21 = (*.f64 #s(literal 2 binary64) %3)
%23 = (* 2 x)
%25 = (+ %23 5)
%29 = (approx (+ (* y %25) (* t x)) %11)
%30 = (* 2 z)
%32 = (approx (+ t %30) t)
%33 = (+ y z)
%36 = (approx (+ t (* 2 %33)) %21)
%37 = (*.f64 %17 y)
%39 = (approx (* %25 y) %37)
%42 = (+ (* 2 (+ z y)) t)
%46 = (- (* %42 x) (* -5 y))
%50 = (approx (+ (+ t y) %30) %12)
%51 = (*.f64 %50 x)
%59 = (+ (* x (+ (+ (+ %33 z) y) t)) (* y 5))
%61 = (*.f64 x %36)
%64 = (+ (* x %42) (* 5 y))
%67 = (*.f64 x %32)
%69 = (*.f64 %7 y)
%70 = (*.f64 #s(literal 2 binary64) %69)
%73 = (approx (* y (+ 5 %23)) %70)
x
y
z
%3
t
#s(literal 5 binary64)
#s(literal 0 binary64)
%7
#s(literal 2 binary64)
%9
%10
%11
%12
%13
%14
%15
%16
%17
%18
%19
%20
%21
%29
%32
%36
%37
%39
(approx %46 %18)
%50
%51
(fma.f64 y %19 %51)
(approx %46 %39)
(approx %59 %29)
%61
(approx %64 %61)
(approx %64 %20)
%67
(approx %59 %67)
%69
%70
%73
(approx %59 %73)

%4 = (+.f64 z y)
%7 = (*.f64 %4 #s(literal 2 binary64))
%11 = (*.f64 #s(literal 1/2 binary64) %4)
%19 = (neg.f64 %4)
%20 = (*.f64 #s(literal 1 binary64) %19)
%22 = (*.f64 %19 #s(literal 1 binary64))
%25 = (neg.f64 y)
%27 = (neg.f64 z)
%33 = (approx x #s(literal 0 binary64))
%40 = (+.f64 y y)
%49 = (*.f64 #s(literal -2 binary64) y)
%56 = (fma.f64 #s(literal 2 binary64) y t)
%60 = (-.f64 %49 t)
%67 = (+.f64 t y)
%69 = (neg.f64 t)
%72 = (neg.f64 %67)
%78 = (*.f64 %56 x)
%83 = (*.f64 x %60)
%85 = (*.f64 %60 x)
%87 = (neg.f64 %78)
%89 = (*.f64 y x)
%90 = (*.f64 t x)
%92 = (+.f64 x x)
%93 = (*.f64 %92 y)
%95 = (neg.f64 x)
%96 = (*.f64 #s(literal -2 binary64) x)
%97 = (*.f64 %25 %96)
%105 = (*.f64 #s(literal 1 binary64) %89)
%111 = (*.f64 %67 x)
%118 = (*.f64 %25 x)
%120 = (*.f64 x %72)
%122 = (*.f64 %72 x)
%124 = (neg.f64 %111)
%126 = (*.f64 %69 x)
%128 = (*.f64 %89 #s(literal -2 binary64))
%135 = (fma.f64 #s(literal 2 binary64) z y)
%139 = (*.f64 #s(literal -2 binary64) z)
%140 = (-.f64 %139 y)
%145 = (+.f64 z z)
%162 = (fma.f64 #s(literal 2 binary64) y z)
%166 = (-.f64 %49 z)
%187 = (fma.f64 #s(literal 2 binary64) z t)
%191 = (-.f64 %139 t)
%198 = (+.f64 t z)
%202 = (neg.f64 %198)
%208 = (+.f64 %162 t)
%212 = (-.f64 %60 z)
%224 = (+.f64 %198 y)
%236 = (neg.f64 %224)
%247 = (fma.f64 %4 #s(literal 2 binary64) t)
%251 = (*.f64 #s(literal -2 binary64) %4)
%252 = (-.f64 %251 t)
%280 = (fma.f64 #s(literal 2 binary64) z %67)
%327 = (*.f64 %187 x)
%332 = (*.f64 %145 x)
%335 = (*.f64 %95 %145)
%338 = (*.f64 %139 x)
%341 = (neg.f64 %332)
%344 = (*.f64 %191 x)
%346 = (*.f64 x %191)
%348 = (*.f64 z x)
%358 = (*.f64 %198 x)
%364 = (neg.f64 %348)
%367 = (neg.f64 %358)
%376 = (+.f64 #s(literal 5 binary64) x)
%381 = (-.f64 #s(literal -5 binary64) x)
%386 = (*.f64 %247 x)
%393 = (*.f64 %4 x)
%396 = (*.f64 %162 x)
%400 = (*.f64 %4 %92)
%407 = (*.f64 %135 x)
%411 = (fma.f64 %4 x %90)
%413 = (*.f64 x %224)
%415 = (*.f64 %224 x)
%434 = (*.f64 %95 %212)
%436 = (*.f64 %208 x)
%439 = (fma.f64 %135 x %90)
%441 = (*.f64 x %280)
%443 = (*.f64 %280 x)
%466 = (fma.f64 t x %393)
%467 = (*.f64 x %19)
%469 = (*.f64 %19 x)
%471 = (neg.f64 %393)
%473 = (fma.f64 t x %407)
%626 = (* (+ (* 2 x) 5) y)
%628 = (approx (+ (* t x) %626) %78)
%634 = (approx (+ (+ t z) z) t)
%640 = (+ (* (+ z y) 2) t)
%641 = (approx %640 %7)
%657 = (*.f64 %89 #s(literal 1 binary64))
%670 = (approx %626 %93)
%677 = (- (* %640 x) (* -5 y))
%678 = (approx %677 %327)
%685 = (approx (+ (+ t y) (* 2 z)) %135)
%689 = (neg.f64 %685)
%693 = (*.f64 %685 x)
%698 = (*.f64 %689 x)
%700 = (*.f64 %376 y)
%701 = (fma.f64 %685 x %700)
%705 = (*.f64 %381 y)
%710 = (+.f64 y %685)
%711 = (*.f64 x %710)
%719 = (*.f64 #s(literal 5 binary64) y)
%720 = (fma.f64 %685 x %719)
%740 = (approx %677 %670)
%744 = (approx %677 %628)
%748 = (*.f64 %641 x)
%753 = (approx %677 %748)
%757 = (approx %677 %386)
%761 = (*.f64 %634 x)
%766 = (approx %677 %761)
%770 = (*.f64 #s(literal 1 binary64) %33)
%772 = (*.f64 %33 y)
%774 = (*.f64 %40 %33)
%777 = (*.f64 #s(literal 1/2 binary64) %772)
%779 = (*.f64 %33 #s(literal 1 binary64))
%787 = (+.f64 %33 %33)
%799 = (*.f64 %25 %33)
%800 = (*.f64 %799 #s(literal 1 binary64))
%803 = (*.f64 #s(literal -1 binary64) %772)
%814 = (*.f64 (neg.f64 (neg.f64 %33)) y)
%816 = (neg.f64 %799)
%850 = (approx %626 %774)
%854 = (approx %677 %850)
x
y
z
(*.f64 #s(literal 1 binary64) %4)
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 %4 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %11)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(/.f64 %7 #s(literal 2 binary64))
(/.f64 %4 #s(literal 1 binary64))
(neg.f64 %20)
(neg.f64 %22)
(neg.f64 %19)
(-.f64 z %25)
(-.f64 y %27)
%4
(+.f64 y z)
t
#s(literal 5 binary64)
#s(literal 0 binary64)
(pow.f64 %33 #s(literal 1 binary64))
%33
(/.f64 #s(literal 1 binary64) (pow.f64 %33 #s(literal -1 binary64)))
#s(literal 2 binary64)
(*.f64 #s(literal -2 binary64) %25)
(*.f64 %25 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %40)
(*.f64 %40 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %40 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %40 #s(literal -1 binary64)))
(/.f64 %40 #s(literal 1 binary64))
(neg.f64 %49)
(-.f64 y (*.f64 %25 #s(literal 1 binary64)))
(-.f64 y (*.f64 #s(literal -1 binary64) y))
(-.f64 y %25)
%40
(pow.f64 %56 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %56 #s(literal -1 binary64)))
(neg.f64 %60)
(fma.f64 #s(literal -2 binary64) %25 t)
(fma.f64 %25 #s(literal -2 binary64) t)
(fma.f64 #s(literal 1 binary64) %40 t)
(fma.f64 %40 #s(literal 1 binary64) t)
%56
(fma.f64 y #s(literal 2 binary64) t)
(-.f64 %67 %25)
(-.f64 %40 %69)
(-.f64 t %49)
(-.f64 y %72)
(+.f64 %67 y)
(+.f64 %40 t)
(+.f64 t %40)
(+.f64 y %67)
%78
(*.f64 x %56)
(pow.f64 %78 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %78 #s(literal -1 binary64)))
(neg.f64 %83)
(neg.f64 %85)
(neg.f64 %87)
(fma.f64 %89 #s(literal 2 binary64) %90)
(fma.f64 %93 #s(literal 1 binary64) %90)
(fma.f64 %69 %95 %97)
(fma.f64 %69 %95 %93)
(fma.f64 %95 %69 %97)
(fma.f64 %95 %69 %93)
(fma.f64 %67 x %89)
(fma.f64 %92 y %90)
(fma.f64 %40 x %90)
(fma.f64 #s(literal 2 binary64) %105 %90)
(fma.f64 #s(literal 2 binary64) %89 %90)
(fma.f64 t x %97)
(fma.f64 t x %93)
(fma.f64 y %92 %90)
(fma.f64 y x %111)
(fma.f64 x %67 %89)
(fma.f64 x %40 %90)
(fma.f64 x t %97)
(fma.f64 x t %93)
(fma.f64 x y %111)
(-.f64 %111 %118)
(-.f64 %89 %120)
(-.f64 %89 %122)
(-.f64 %89 %124)
(-.f64 %93 %126)
(-.f64 %90 %128)
(+.f64 %111 %89)
(+.f64 %89 %111)
(+.f64 %93 %90)
(+.f64 %90 %97)
(+.f64 %90 %93)
(pow.f64 %135 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %135 #s(literal -1 binary64)))
(neg.f64 %140)
(fma.f64 #s(literal -2 binary64) %27 y)
(fma.f64 %27 #s(literal -2 binary64) y)
(fma.f64 #s(literal 1 binary64) %4 z)
(fma.f64 #s(literal 1 binary64) %145 y)
(fma.f64 %7 #s(literal 1/2 binary64) z)
(fma.f64 %4 #s(literal 1 binary64) z)
(fma.f64 %145 #s(literal 1 binary64) y)
(fma.f64 #s(literal 2 binary64) %11 z)
%135
(fma.f64 z #s(literal 2 binary64) y)
(-.f64 %4 %27)
(-.f64 %145 %25)
(-.f64 z %20)
(-.f64 z %22)
(-.f64 z %19)
(-.f64 y %139)
(+.f64 %4 z)
(+.f64 %145 y)
(+.f64 z %4)
(+.f64 y %145)
(pow.f64 %162 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %162 #s(literal -1 binary64)))
(neg.f64 %166)
(fma.f64 #s(literal -2 binary64) %25 z)
(fma.f64 %25 #s(literal -2 binary64) z)
(fma.f64 #s(literal 1 binary64) %4 y)
(fma.f64 #s(literal 1 binary64) %40 z)
(fma.f64 %7 #s(literal 1/2 binary64) y)
(fma.f64 %4 #s(literal 1 binary64) y)
(fma.f64 %40 #s(literal 1 binary64) z)
(fma.f64 #s(literal 2 binary64) %11 y)
%162
(fma.f64 y #s(literal 2 binary64) z)
(-.f64 %4 %25)
(-.f64 %40 %27)
(-.f64 z %49)
(-.f64 y %20)
(-.f64 y %22)
(-.f64 y %19)
(+.f64 %4 y)
(+.f64 %40 z)
(+.f64 z %40)
(+.f64 y %4)
(pow.f64 %187 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %187 #s(literal -1 binary64)))
(neg.f64 %191)
(fma.f64 #s(literal -2 binary64) %27 t)
(fma.f64 %27 #s(literal -2 binary64) t)
(fma.f64 #s(literal 1 binary64) %145 t)
(fma.f64 %145 #s(literal 1 binary64) t)
%187
(fma.f64 z #s(literal 2 binary64) t)
(-.f64 %198 %27)
(-.f64 %145 %69)
(-.f64 t %139)
(-.f64 z %202)
(+.f64 %198 z)
(+.f64 %145 t)
(+.f64 t %145)
(+.f64 z %198)
(pow.f64 %208 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %208 #s(literal -1 binary64)))
(neg.f64 %212)
(fma.f64 #s(literal -2 binary64) %25 %198)
(fma.f64 %25 #s(literal -2 binary64) %198)
(fma.f64 #s(literal 1 binary64) %4 %67)
(fma.f64 #s(literal 1 binary64) %40 %198)
(fma.f64 %7 #s(literal 1/2 binary64) %67)
(fma.f64 %4 #s(literal 1 binary64) %67)
(fma.f64 %40 #s(literal 1 binary64) %198)
(fma.f64 #s(literal 2 binary64) %11 %67)
(fma.f64 #s(literal 2 binary64) y %198)
(fma.f64 y #s(literal 2 binary64) %198)
(-.f64 %224 %25)
(-.f64 %198 %49)
(-.f64 %67 %20)
(-.f64 %67 %22)
(-.f64 %67 %19)
(-.f64 %4 %72)
(-.f64 %162 %69)
(-.f64 %56 %27)
(-.f64 %40 %202)
(-.f64 t %166)
(-.f64 z %60)
(-.f64 y %236)
(+.f64 %224 y)
(+.f64 %198 %40)
(+.f64 %67 %4)
(+.f64 %4 %67)
%208
(+.f64 %56 z)
(+.f64 %40 %198)
(+.f64 t %162)
(+.f64 z %56)
(+.f64 y %224)
(pow.f64 %247 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %247 #s(literal -1 binary64)))
(neg.f64 %252)
(fma.f64 %19 #s(literal -2 binary64) t)
(fma.f64 #s(literal -2 binary64) %19 t)
(fma.f64 #s(literal -2 binary64) %25 %187)
(fma.f64 #s(literal -2 binary64) %27 %56)
(fma.f64 %25 #s(literal -2 binary64) %187)
(fma.f64 %27 #s(literal -2 binary64) %56)
(fma.f64 #s(literal 1 binary64) %7 t)
(fma.f64 #s(literal 1 binary64) %4 %224)
(fma.f64 #s(literal 1 binary64) %145 %56)
(fma.f64 #s(literal 1 binary64) %40 %187)
(fma.f64 %7 #s(literal 1/2 binary64) %224)
(fma.f64 %7 #s(literal 1 binary64) t)
(fma.f64 %4 #s(literal 1 binary64) %224)
%247
(fma.f64 %145 #s(literal 1 binary64) %56)
(fma.f64 %40 #s(literal 1 binary64) %187)
(fma.f64 #s(literal 2 binary64) %11 %224)
(fma.f64 #s(literal 2 binary64) %4 t)
(fma.f64 #s(literal 2 binary64) z %56)
(fma.f64 #s(literal 2 binary64) y %187)
(fma.f64 z #s(literal 2 binary64) %56)
(fma.f64 y #s(literal 2 binary64) %187)
(-.f64 %224 %20)
(-.f64 %224 %22)
(-.f64 %224 %19)
(-.f64 %198 %166)
(-.f64 %135 %72)
(-.f64 %280 %25)
(-.f64 %67 %140)
(-.f64 %7 %69)
(-.f64 %4 %236)
(-.f64 %145 %60)
(-.f64 %208 %27)
(-.f64 %187 %49)
(-.f64 %162 %202)
(-.f64 %56 %139)
(-.f64 %40 %191)
(-.f64 t %251)
(-.f64 z %212)
(-.f64 y (-.f64 %191 y))
(+.f64 %224 %4)
(+.f64 %198 %162)
(+.f64 %135 %67)
(+.f64 %280 y)
(+.f64 %67 %135)
(+.f64 %7 t)
(+.f64 %4 %224)
(+.f64 %145 %56)
(+.f64 %208 z)
(+.f64 %187 %40)
(+.f64 %162 %198)
(+.f64 %56 %145)
(+.f64 %40 %187)
(+.f64 t %7)
(+.f64 z %208)
(+.f64 y %280)
(*.f64 #s(literal -2 binary64) %95)
(*.f64 %95 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %92)
(*.f64 %92 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %92 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %92 #s(literal -1 binary64)))
(/.f64 %92 #s(literal 1 binary64))
(neg.f64 %96)
(-.f64 x (*.f64 %95 #s(literal 1 binary64)))
(-.f64 x (*.f64 #s(literal -1 binary64) x))
(-.f64 x %95)
%92
%327
(*.f64 x %187)
(pow.f64 %327 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %327 #s(literal -1 binary64)))
(neg.f64 (-.f64 %126 %332))
(neg.f64 (-.f64 %335 %90))
(neg.f64 (-.f64 %338 %90))
(neg.f64 (-.f64 %341 %90))
(neg.f64 %344)
(neg.f64 %346)
(fma.f64 %198 x %348)
(fma.f64 %348 #s(literal 2 binary64) %90)
(fma.f64 %69 %95 %332)
(fma.f64 %95 %69 %332)
(fma.f64 %145 x %90)
(fma.f64 %92 z %90)
(fma.f64 #s(literal 2 binary64) %348 %90)
(fma.f64 t x %332)
(fma.f64 z %92 %90)
(fma.f64 z x %358)
(fma.f64 x %198 %348)
(fma.f64 x %145 %90)
(fma.f64 x t %332)
(fma.f64 x z %358)
(-.f64 %358 %364)
(-.f64 %332 %126)
(-.f64 %348 %367)
(-.f64 %90 %335)
(-.f64 %90 %338)
(-.f64 %90 %341)
(+.f64 %358 %348)
(+.f64 %332 %90)
(+.f64 %348 %358)
(+.f64 %90 %332)
(pow.f64 %376 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %376 #s(literal -1 binary64)))
(neg.f64 %381)
(-.f64 #s(literal 5 binary64) %95)
(-.f64 x #s(literal -5 binary64))
%376
(+.f64 x #s(literal 5 binary64))
%386
(*.f64 x %247)
(pow.f64 %386 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %386 #s(literal -1 binary64)))
(neg.f64 (*.f64 %252 x))
(fma.f64 %224 x %393)
(fma.f64 %393 #s(literal 2 binary64) %90)
(fma.f64 %198 x %396)
(fma.f64 %89 #s(literal 2 binary64) %327)
(fma.f64 %93 #s(literal 1 binary64) %327)
(fma.f64 %400 #s(literal 1 binary64) %90)
(fma.f64 %348 #s(literal 2 binary64) %78)
(fma.f64 %69 %95 %400)
(fma.f64 %95 %69 %400)
(fma.f64 %135 x %111)
(fma.f64 %280 x %89)
(fma.f64 %67 x %407)
(fma.f64 %7 x %90)
(fma.f64 %4 %92 %90)
(fma.f64 %4 x %411)
(fma.f64 %4 x %413)
(fma.f64 %4 x %415)
(fma.f64 %145 x %78)
(fma.f64 %92 %4 %90)
(fma.f64 %92 z %78)
(fma.f64 %92 y %327)
(fma.f64 %208 x %348)
(fma.f64 %187 x %93)
(fma.f64 %162 x %358)
(fma.f64 %56 x %332)
(fma.f64 %40 x %327)
(fma.f64 #s(literal 2 binary64) %105 %327)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %393) %90)
(fma.f64 #s(literal 2 binary64) %393 %90)
(fma.f64 #s(literal 2 binary64) %89 %327)
(fma.f64 #s(literal 2 binary64) %348 %78)
(fma.f64 t x %400)
(fma.f64 z %92 %78)
(fma.f64 z x %434)
(fma.f64 z x %436)
(fma.f64 y %92 %327)
(fma.f64 y x %439)
(fma.f64 y x %441)
(fma.f64 y x %443)
(fma.f64 x %224 %393)
(fma.f64 x %198 %396)
(fma.f64 x %135 %111)
(fma.f64 x %280 %89)
(fma.f64 x %67 %407)
(fma.f64 x %7 %90)
(fma.f64 x %4 %411)
(fma.f64 x %4 %413)
(fma.f64 x %4 %415)
(fma.f64 x %145 %78)
(fma.f64 x %208 %348)
(fma.f64 x %187 %93)
(fma.f64 x %162 %358)
(fma.f64 x %56 %332)
(fma.f64 x %40 %327)
(fma.f64 x t %400)
(fma.f64 x z %434)
(fma.f64 x z %436)
(fma.f64 x y %439)
(fma.f64 x y %441)
(fma.f64 x y %443)
(-.f64 %466 %467)
(-.f64 %466 %469)
(-.f64 %466 %471)
(-.f64 %473 %118)
(-.f64 %413 %467)
(-.f64 %413 %469)
(-.f64 %413 %471)
(-.f64 %441 %118)
(-.f64 %415 %467)
(-.f64 %415 %469)
(-.f64 %415 %471)
(-.f64 %443 %118)
(-.f64 %358 (*.f64 x %166))
(-.f64 %358 (*.f64 %166 x))
(-.f64 %358 (neg.f64 %396))
(-.f64 %393 (neg.f64 %411))
(-.f64 %393 (neg.f64 %413))
(-.f64 %393 (neg.f64 %415))
(-.f64 %332 %83)
(-.f64 %332 %85)
(-.f64 %332 %87)
(-.f64 %111 (*.f64 x %140))
(-.f64 %111 (*.f64 %140 x))
(-.f64 %111 (neg.f64 %407))
(-.f64 %396 %367)
(-.f64 %407 %120)
(-.f64 %407 (*.f64 %95 %67))
(-.f64 %407 %122)
(-.f64 %407 %124)
(-.f64 %89 (neg.f64 %439))
(-.f64 %89 (neg.f64 %441))
(-.f64 %89 (neg.f64 %443))
(-.f64 %93 (neg.f64 %327))
(-.f64 %93 %344)
(-.f64 %93 %346)
(-.f64 %400 %126)
(-.f64 %436 (*.f64 %27 x))
(-.f64 %436 (*.f64 %95 z))
(-.f64 %436 %364)
(-.f64 %348 (*.f64 %212 x))
(-.f64 %90 (*.f64 %393 #s(literal -2 binary64)))
(-.f64 %90 (*.f64 %4 %96))
(-.f64 %90 (*.f64 %92 %19))
(-.f64 %90 (*.f64 x %251))
(-.f64 %90 (*.f64 %471 #s(literal 2 binary64)))
(-.f64 %90 (*.f64 %251 x))
(-.f64 %90 (*.f64 %19 %92))
(-.f64 %90 (*.f64 %96 %4))
(-.f64 %90 (*.f64 #s(literal -2 binary64) %393))
(-.f64 %90 (*.f64 %95 %7))
(-.f64 %90 (neg.f64 %400))
(-.f64 %327 %128)
(-.f64 %78 %341)
(+.f64 %466 %393)
(+.f64 %473 %89)
(+.f64 %413 %393)
(+.f64 %441 %89)
(+.f64 %415 %393)
(+.f64 %443 %89)
(+.f64 %358 %396)
(+.f64 %393 %411)
(+.f64 %393 %413)
(+.f64 %393 %415)
(+.f64 %332 %78)
(+.f64 %111 %407)
(+.f64 %396 %358)
(+.f64 %407 %111)
(+.f64 %89 %439)
(+.f64 %89 %441)
(+.f64 %89 %443)
(+.f64 %93 %327)
(+.f64 %400 %90)
(+.f64 %436 %348)
(+.f64 %348 %434)
(+.f64 %348 %436)
(+.f64 %90 %400)
(+.f64 %327 %93)
(+.f64 %78 %332)
(*.f64 %19 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %19)
(*.f64 #s(literal 1 binary64) %7)
(*.f64 %7 #s(literal 1 binary64))
%7
(*.f64 #s(literal 2 binary64) %4)
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(/.f64 %7 #s(literal 1 binary64))
(neg.f64 %251)
(fma.f64 #s(literal -2 binary64) %25 %145)
(fma.f64 #s(literal -2 binary64) %27 %40)
(fma.f64 %25 #s(literal -2 binary64) %145)
(fma.f64 %27 #s(literal -2 binary64) %40)
(fma.f64 #s(literal 1 binary64) %4 %4)
(fma.f64 #s(literal 1 binary64) %145 %40)
(fma.f64 #s(literal 1 binary64) %40 %145)
(fma.f64 %7 #s(literal 1/2 binary64) %4)
(fma.f64 %4 #s(literal 1 binary64) %4)
(fma.f64 %145 #s(literal 1 binary64) %40)
(fma.f64 %40 #s(literal 1 binary64) %145)
(fma.f64 #s(literal 2 binary64) %11 %4)
(fma.f64 #s(literal 2 binary64) z %40)
(fma.f64 #s(literal 2 binary64) y %145)
(fma.f64 z #s(literal 2 binary64) %40)
(fma.f64 y #s(literal 2 binary64) %145)
(-.f64 %135 %25)
(-.f64 %4 %20)
(-.f64 %4 %22)
(-.f64 %4 (*.f64 #s(literal -1 binary64) %4))
(-.f64 %4 %19)
(-.f64 %145 %49)
(-.f64 %162 %27)
(-.f64 %40 %139)
(-.f64 z %166)
(-.f64 y %140)
(+.f64 %135 y)
(+.f64 %4 %4)
(+.f64 %145 %40)
(+.f64 %162 z)
(+.f64 %40 %145)
(+.f64 z %162)
(+.f64 y %135)
(pow.f64 %628 #s(literal 1 binary64))
%628
(/.f64 #s(literal 1 binary64) (pow.f64 %628 #s(literal -1 binary64)))
(pow.f64 %634 #s(literal 1 binary64))
%634
(/.f64 #s(literal 1 binary64) (pow.f64 %634 #s(literal -1 binary64)))
(pow.f64 %641 #s(literal 1 binary64))
%641
(/.f64 #s(literal 1 binary64) (pow.f64 %641 #s(literal -1 binary64)))
(*.f64 %89 #s(literal 2 binary64))
(*.f64 %93 #s(literal 1 binary64))
%93
(*.f64 %40 x)
(*.f64 #s(literal 2 binary64) %105)
(*.f64 #s(literal 2 binary64) %89)
(*.f64 y %92)
(*.f64 x %40)
(pow.f64 %93 #s(literal 1 binary64))
(/.f64 %93 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %93 #s(literal -1 binary64)))
(neg.f64 %128)
(fma.f64 %89 #s(literal 1 binary64) %657)
(fma.f64 #s(literal 1 binary64) %89 %105)
(fma.f64 y x %89)
(fma.f64 x y %89)
(-.f64 %657 (neg.f64 %657))
(-.f64 %105 (neg.f64 %105))
(-.f64 %89 %118)
(+.f64 %657 %657)
(+.f64 %105 %105)
(+.f64 %89 %89)
(pow.f64 %670 #s(literal 1 binary64))
%670
(/.f64 #s(literal 1 binary64) (pow.f64 %670 #s(literal -1 binary64)))
(pow.f64 %678 #s(literal 1 binary64))
%678
(/.f64 #s(literal 1 binary64) (pow.f64 %678 #s(literal -1 binary64)))
(pow.f64 %685 #s(literal 1 binary64))
%685
(/.f64 #s(literal 1 binary64) (pow.f64 %685 #s(literal -1 binary64)))
(neg.f64 %689)
(*.f64 %689 %95)
(*.f64 %95 %689)
%693
(*.f64 x %685)
(pow.f64 %693 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %693 #s(literal -1 binary64)))
(neg.f64 %698)
(pow.f64 %701 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %701 #s(literal -1 binary64)))
(neg.f64 (-.f64 %705 %693))
(fma.f64 %689 %95 %700)
(fma.f64 %25 %381 %693)
(fma.f64 %25 #s(literal -5 binary64) %711)
(fma.f64 %95 %689 %700)
%701
(fma.f64 #s(literal -5 binary64) %25 %711)
(fma.f64 %376 y %693)
(fma.f64 #s(literal 5 binary64) y %711)
(fma.f64 y %376 %693)
(fma.f64 y #s(literal 5 binary64) %711)
(fma.f64 y x %720)
(fma.f64 x %710 %719)
(fma.f64 x %685 %700)
(fma.f64 x y %720)
(-.f64 %720 %118)
(-.f64 %711 (*.f64 #s(literal -5 binary64) y))
(-.f64 %89 (neg.f64 %720))
(-.f64 %700 %698)
(-.f64 %719 (neg.f64 %711))
(-.f64 %693 %705)
(+.f64 %720 %89)
(+.f64 %711 %719)
(+.f64 %89 %720)
(+.f64 %700 %693)
(+.f64 %719 %711)
(+.f64 %693 %700)
(pow.f64 %740 #s(literal 1 binary64))
%740
(/.f64 #s(literal 1 binary64) (pow.f64 %740 #s(literal -1 binary64)))
(pow.f64 %744 #s(literal 1 binary64))
%744
(/.f64 #s(literal 1 binary64) (pow.f64 %744 #s(literal -1 binary64)))
%748
(*.f64 x %641)
(pow.f64 %748 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %748 #s(literal -1 binary64)))
(pow.f64 %753 #s(literal 1 binary64))
%753
(/.f64 #s(literal 1 binary64) (pow.f64 %753 #s(literal -1 binary64)))
(pow.f64 %757 #s(literal 1 binary64))
%757
(/.f64 #s(literal 1 binary64) (pow.f64 %757 #s(literal -1 binary64)))
%761
(*.f64 x %634)
(pow.f64 %761 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %761 #s(literal -1 binary64)))
(pow.f64 %766 #s(literal 1 binary64))
%766
(/.f64 #s(literal 1 binary64) (pow.f64 %766 #s(literal -1 binary64)))
(*.f64 %770 y)
(*.f64 #s(literal 1 binary64) %772)
(*.f64 %774 #s(literal 1/2 binary64))
(*.f64 %772 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %777)
%772
(*.f64 y %779)
(*.f64 y %33)
(pow.f64 %772 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %772 #s(literal -1 binary64)))
(/.f64 %774 #s(literal 2 binary64))
(/.f64 %772 #s(literal 1 binary64))
(*.f64 %787 y)
(*.f64 #s(literal 1 binary64) %774)
(*.f64 %774 #s(literal 1 binary64))
(*.f64 %772 #s(literal 2 binary64))
%774
(*.f64 #s(literal 2 binary64) %772)
(*.f64 %33 %40)
(*.f64 y %787)
(pow.f64 %774 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %774 #s(literal -1 binary64)))
(/.f64 %774 #s(literal 1 binary64))
(neg.f64 (-.f64 %800 %772))
(neg.f64 (-.f64 %803 %772))
(neg.f64 (*.f64 #s(literal -2 binary64) %772))
(neg.f64 (*.f64 %772 #s(literal -2 binary64)))
(neg.f64 (neg.f64 %774))
(fma.f64 %770 y %814)
(fma.f64 %770 y %816)
(fma.f64 %770 y %772)
(fma.f64 #s(literal 1 binary64) %772 %814)
(fma.f64 #s(literal 1 binary64) %772 %816)
(fma.f64 #s(literal 1 binary64) %772 %772)
(fma.f64 %774 #s(literal 1/2 binary64) %814)
(fma.f64 %774 #s(literal 1/2 binary64) %816)
(fma.f64 %774 #s(literal 1/2 binary64) %772)
(fma.f64 %772 #s(literal 1 binary64) %814)
(fma.f64 %772 #s(literal 1 binary64) %816)
(fma.f64 %772 #s(literal 1 binary64) %772)
(fma.f64 #s(literal 2 binary64) %777 %814)
(fma.f64 #s(literal 2 binary64) %777 %816)
(fma.f64 #s(literal 2 binary64) %777 %772)
(fma.f64 %33 y %814)
(fma.f64 %33 y %816)
(fma.f64 %33 y %772)
(fma.f64 y %779 %814)
(fma.f64 y %779 %816)
(fma.f64 y %779 %772)
(fma.f64 y %33 %814)
(fma.f64 y %33 %816)
(fma.f64 y %33 %772)
(-.f64 %772 (neg.f64 %814))
(-.f64 %772 (neg.f64 %816))
(-.f64 %772 %800)
(-.f64 %772 %803)
(-.f64 %772 %799)
(+.f64 %772 %814)
(+.f64 %772 %816)
(+.f64 %772 %772)
(pow.f64 %850 #s(literal 1 binary64))
%850
(/.f64 #s(literal 1 binary64) (pow.f64 %850 #s(literal -1 binary64)))
(pow.f64 %854 #s(literal 1 binary64))
%854
(/.f64 #s(literal 1 binary64) (pow.f64 %854 #s(literal -1 binary64)))