%3 = (*.f64 x y)
%5 = (*.f64 x z)
%6 = (+.f64 %3 %5)
%7 = (*.f64 y z)
%8 = (+.f64 %6 %7)
%9 = (sqrt.f64 %8)
#s(literal 2 binary64)
x
y
%3
z
%5
%6
%7
%8
%9
(*.f64 #s(literal 2 binary64) %9)

%6 = (* x y)
%7 = (*.f64 x y)
%10 = (* x z)
%11 = (*.f64 x z)
%13 = (+ %6 %10)
%14 = (+.f64 y z)
%15 = (*.f64 x %14)
%18 = (+ %13 (* y z))
%19 = (*.f64 y z)
%23 = (sqrt %18)
%24 = (sqrt.f64 %19)
%27 = (/.f64 %15 %24)
%33 = (pow.f64 %14 #s(literal 2 binary64))
%36 = (pow.f64 %24 #s(literal 3 binary64))
%37 = (/.f64 (*.f64 x %33) %36)
%38 = (/.f64 %14 %24)
%44 = (/.f64 %33 %36)
%50 = (/.f64 (*.f64 x (pow.f64 %14 #s(literal 3 binary64))) (pow.f64 %24 #s(literal 5 binary64)))
%58 = (* 2 %23)
%66 = (+.f64 (/.f64 y %24) (/.f64 z %24))
%78 = (/.f64 %19 x)
%84 = (sqrt.f64 (/.f64 %14 x))
%85 = (*.f64 x %84)
%87 = (pow.f64 x #s(literal 2 binary64))
%89 = (/.f64 %19 (*.f64 %87 %84))
%90 = (*.f64 #s(literal 1/2 binary64) %89)
%94 = (pow.f64 y #s(literal 2 binary64))
%95 = (pow.f64 z #s(literal 2 binary64))
%96 = (*.f64 %94 %95)
%98 = (pow.f64 x #s(literal 4 binary64))
%101 = (/.f64 %96 (*.f64 %98 (pow.f64 %84 #s(literal 3 binary64))))
%106 = (pow.f64 y #s(literal 3 binary64))
%107 = (pow.f64 z #s(literal 3 binary64))
%108 = (*.f64 %106 %107)
%110 = (pow.f64 x #s(literal 6 binary64))
%113 = (/.f64 %108 (*.f64 %110 (pow.f64 %84 #s(literal 5 binary64))))
%121 = (fma.f64 #s(literal 2 binary64) %84 %89)
%132 = (*.f64 #s(literal -1 binary64) z)
%133 = (fma.f64 #s(literal -1 binary64) y %132)
%145 = (sqrt.f64 (*.f64 #s(literal -1 binary64) (/.f64 %133 x)))
%146 = (*.f64 x %145)
%150 = (/.f64 %19 (*.f64 %87 %145))
%151 = (*.f64 #s(literal 1/2 binary64) %150)
%158 = (/.f64 %96 (*.f64 %98 (pow.f64 %145 #s(literal 3 binary64))))
%166 = (/.f64 %108 (*.f64 %110 (pow.f64 %145 #s(literal 5 binary64))))
%176 = (fma.f64 #s(literal 2 binary64) %145 %150)
%192 = (+.f64 x z)
%193 = (*.f64 y %192)
%196 = (sqrt.f64 %11)
%198 = (/.f64 %193 %196)
%202 = (pow.f64 %192 #s(literal 2 binary64))
%204 = (pow.f64 %196 #s(literal 3 binary64))
%205 = (/.f64 (*.f64 y %202) %204)
%206 = (/.f64 %192 %196)
%212 = (/.f64 %202 %204)
%216 = (/.f64 (*.f64 y (pow.f64 %192 #s(literal 3 binary64))) (pow.f64 %196 #s(literal 5 binary64)))
%230 = (+.f64 (/.f64 x %196) (/.f64 z %196))
%241 = (/.f64 %11 y)
%251 = (sqrt.f64 (/.f64 %192 y))
%252 = (*.f64 y %251)
%255 = (/.f64 %11 (*.f64 %94 %251))
%256 = (*.f64 #s(literal 1/2 binary64) %255)
%260 = (*.f64 %87 %95)
%261 = (pow.f64 y #s(literal 4 binary64))
%264 = (/.f64 %260 (*.f64 %261 (pow.f64 %251 #s(literal 3 binary64))))
%269 = (pow.f64 x #s(literal 3 binary64))
%270 = (*.f64 %269 %107)
%271 = (pow.f64 y #s(literal 6 binary64))
%274 = (/.f64 %270 (*.f64 %271 (pow.f64 %251 #s(literal 5 binary64))))
%282 = (fma.f64 #s(literal 2 binary64) %251 %255)
%292 = (*.f64 #s(literal -1 binary64) %241)
%297 = (fma.f64 #s(literal -1 binary64) x %132)
%308 = (sqrt.f64 (*.f64 #s(literal -1 binary64) (/.f64 %297 y)))
%309 = (*.f64 y %308)
%313 = (/.f64 %11 (*.f64 %94 %308))
%314 = (*.f64 #s(literal 1/2 binary64) %313)
%321 = (/.f64 %260 (*.f64 %261 (pow.f64 %308 #s(literal 3 binary64))))
%329 = (/.f64 %270 (*.f64 %271 (pow.f64 %308 #s(literal 5 binary64))))
%338 = (fma.f64 #s(literal 2 binary64) %308 %313)
%352 = (+.f64 x y)
%353 = (*.f64 z %352)
%356 = (sqrt.f64 %7)
%358 = (/.f64 %353 %356)
%362 = (pow.f64 %352 #s(literal 2 binary64))
%364 = (pow.f64 %356 #s(literal 3 binary64))
%365 = (/.f64 (*.f64 z %362) %364)
%366 = (/.f64 %352 %356)
%372 = (/.f64 %362 %364)
%376 = (/.f64 (*.f64 z (pow.f64 %352 #s(literal 3 binary64))) (pow.f64 %356 #s(literal 5 binary64)))
%390 = (+.f64 (/.f64 x %356) (/.f64 y %356))
%401 = (/.f64 %7 z)
%411 = (sqrt.f64 (/.f64 %352 z))
%412 = (*.f64 z %411)
%415 = (/.f64 %7 (*.f64 %95 %411))
%416 = (*.f64 #s(literal 1/2 binary64) %415)
%420 = (*.f64 %87 %94)
%421 = (pow.f64 z #s(literal 4 binary64))
%424 = (/.f64 %420 (*.f64 %421 (pow.f64 %411 #s(literal 3 binary64))))
%429 = (*.f64 %269 %106)
%430 = (pow.f64 z #s(literal 6 binary64))
%433 = (/.f64 %429 (*.f64 %430 (pow.f64 %411 #s(literal 5 binary64))))
%441 = (fma.f64 #s(literal 2 binary64) %411 %415)
%451 = (*.f64 #s(literal -1 binary64) %401)
%457 = (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) y))
%468 = (sqrt.f64 (*.f64 #s(literal -1 binary64) (/.f64 %457 z)))
%469 = (*.f64 z %468)
%473 = (/.f64 %7 (*.f64 %95 %468))
%474 = (*.f64 #s(literal 1/2 binary64) %473)
%481 = (/.f64 %420 (*.f64 %421 (pow.f64 %468 #s(literal 3 binary64))))
%489 = (/.f64 %429 (*.f64 %430 (pow.f64 %468 #s(literal 5 binary64))))
%498 = (fma.f64 #s(literal 2 binary64) %468 %473)
(approx 2 #s(literal 0 binary64))
(approx x x)
(approx %6 %7)
(approx %10 %11)
(approx %13 %15)
(approx %18 %19)
(approx %18 (fma.f64 x %14 %19))
(approx %23 %24)
(approx %23 (+.f64 %24 (*.f64 #s(literal 1/2 binary64) %27)))
(approx %23 (+.f64 %24 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %37 (*.f64 #s(literal 1/2 binary64) %38)))))
(approx %23 (+.f64 %24 (*.f64 x (fma.f64 #s(literal 1/2 binary64) %38 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %44 (*.f64 #s(literal 1/16 binary64) %50)))))))
(approx %58 (*.f64 #s(literal 2 binary64) %24))
(approx %58 (fma.f64 #s(literal 2 binary64) %24 %27))
(approx %58 (fma.f64 #s(literal 2 binary64) %24 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %37 %66))))
(approx %58 (fma.f64 #s(literal 2 binary64) %24 (*.f64 x (fma.f64 x (fma.f64 #s(literal -1/4 binary64) %44 (*.f64 #s(literal 1/8 binary64) %50)) %66))))
(approx %18 (*.f64 x (+.f64 y (+.f64 z %78))))
(approx %23 %85)
(approx %23 (*.f64 x (+.f64 %84 %90)))
(approx %23 (*.f64 x (+.f64 %84 (fma.f64 #s(literal -1/8 binary64) %101 %90))))
(approx %23 (*.f64 x (+.f64 %84 (fma.f64 #s(literal -1/8 binary64) %101 (fma.f64 #s(literal 1/16 binary64) %113 %90)))))
(approx %58 (*.f64 #s(literal 2 binary64) %85))
(approx %58 (*.f64 x %121))
(approx %58 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %101 %121)))
(approx %58 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %101 (fma.f64 #s(literal 1/8 binary64) %113 %121))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x %133)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (fma.f64 #s(literal -1 binary64) z (*.f64 #s(literal -1 binary64) %78))))))
(approx %23 (*.f64 #s(literal -1 binary64) %146))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %145 %151))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %145 (fma.f64 #s(literal -1/8 binary64) %158 %151)))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %145 (fma.f64 #s(literal -1/8 binary64) %158 (fma.f64 #s(literal 1/16 binary64) %166 %151))))))
(approx %58 (*.f64 #s(literal -2 binary64) %146))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 x %176)))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/4 binary64) %158 %176))))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/4 binary64) %158 (fma.f64 #s(literal 1/8 binary64) %166 %176)))))
(approx y y)
(approx %13 (fma.f64 x y %11))
(approx %18 (fma.f64 x z %193))
(approx %23 %196)
(approx %23 (+.f64 %196 (*.f64 #s(literal 1/2 binary64) %198)))
(approx %23 (+.f64 %196 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %205 (*.f64 #s(literal 1/2 binary64) %206)))))
(approx %23 (+.f64 %196 (*.f64 y (fma.f64 #s(literal 1/2 binary64) %206 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %212 (*.f64 #s(literal 1/16 binary64) %216)))))))
(approx %58 (*.f64 #s(literal 2 binary64) %196))
(approx %58 (fma.f64 #s(literal 2 binary64) %196 %198))
(approx %58 (fma.f64 #s(literal 2 binary64) %196 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %205 %230))))
(approx %58 (fma.f64 #s(literal 2 binary64) %196 (*.f64 y (fma.f64 y (fma.f64 #s(literal -1/4 binary64) %212 (*.f64 #s(literal 1/8 binary64) %216)) %230))))
(approx %13 (*.f64 y (+.f64 x %241)))
(approx %18 %193)
(approx %18 (*.f64 y (+.f64 x (+.f64 z %241))))
(approx %23 %252)
(approx %23 (*.f64 y (+.f64 %251 %256)))
(approx %23 (*.f64 y (+.f64 %251 (fma.f64 #s(literal -1/8 binary64) %264 %256))))
(approx %23 (*.f64 y (+.f64 %251 (fma.f64 #s(literal -1/8 binary64) %264 (fma.f64 #s(literal 1/16 binary64) %274 %256)))))
(approx %58 (*.f64 #s(literal 2 binary64) %252))
(approx %58 (*.f64 y %282))
(approx %58 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %264 %282)))
(approx %58 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %264 (fma.f64 #s(literal 1/8 binary64) %274 %282))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %292))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 y %297)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (fma.f64 #s(literal -1 binary64) z %292)))))
(approx %23 (*.f64 #s(literal -1 binary64) %309))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %308 %314))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %308 (fma.f64 #s(literal -1/8 binary64) %321 %314)))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %308 (fma.f64 #s(literal -1/8 binary64) %321 (fma.f64 #s(literal 1/16 binary64) %329 %314))))))
(approx %58 (*.f64 #s(literal -2 binary64) %309))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 y %338)))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/4 binary64) %321 %338))))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/4 binary64) %321 (fma.f64 #s(literal 1/8 binary64) %329 %338)))))
(approx z z)
(approx %18 (fma.f64 x y %353))
(approx %23 %356)
(approx %23 (+.f64 %356 (*.f64 #s(literal 1/2 binary64) %358)))
(approx %23 (+.f64 %356 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %365 (*.f64 #s(literal 1/2 binary64) %366)))))
(approx %23 (+.f64 %356 (*.f64 z (fma.f64 #s(literal 1/2 binary64) %366 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %372 (*.f64 #s(literal 1/16 binary64) %376)))))))
(approx %58 (*.f64 #s(literal 2 binary64) %356))
(approx %58 (fma.f64 #s(literal 2 binary64) %356 %358))
(approx %58 (fma.f64 #s(literal 2 binary64) %356 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %365 %390))))
(approx %58 (fma.f64 #s(literal 2 binary64) %356 (*.f64 z (fma.f64 z (fma.f64 #s(literal -1/4 binary64) %372 (*.f64 #s(literal 1/8 binary64) %376)) %390))))
(approx %13 (*.f64 z (+.f64 x %401)))
(approx %18 %353)
(approx %18 (*.f64 z (+.f64 x (+.f64 y %401))))
(approx %23 %412)
(approx %23 (*.f64 z (+.f64 %411 %416)))
(approx %23 (*.f64 z (+.f64 %411 (fma.f64 #s(literal -1/8 binary64) %424 %416))))
(approx %23 (*.f64 z (+.f64 %411 (fma.f64 #s(literal -1/8 binary64) %424 (fma.f64 #s(literal 1/16 binary64) %433 %416)))))
(approx %58 (*.f64 #s(literal 2 binary64) %412))
(approx %58 (*.f64 z %441))
(approx %58 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %424 %441)))
(approx %58 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %424 (fma.f64 #s(literal 1/8 binary64) %433 %441))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x %451))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 z %457)))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x (fma.f64 #s(literal -1 binary64) y %451)))))
(approx %23 (*.f64 #s(literal -1 binary64) %469))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %468 %474))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %468 (fma.f64 #s(literal -1/8 binary64) %481 %474)))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %468 (fma.f64 #s(literal -1/8 binary64) %481 (fma.f64 #s(literal 1/16 binary64) %489 %474))))))
(approx %58 (*.f64 #s(literal -2 binary64) %469))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 z %498)))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/4 binary64) %481 %498))))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/4 binary64) %481 (fma.f64 #s(literal 1/8 binary64) %489 %498)))))

%3 = (*.f64 x y)
%5 = (*.f64 x z)
%6 = (*.f64 y z)
%8 = (+.f64 y z)
%13 = (+ (+ (* x y) (* x z)) (* y z))
%14 = (approx %13 %6)
%16 = (/.f64 %8 x)
%17 = (sqrt.f64 %16)
%18 = (*.f64 x %17)
%19 = (sqrt %13)
%20 = (approx %19 %18)
%22 = (*.f64 #s(literal -1 binary64) z)
%23 = (fma.f64 #s(literal -1 binary64) y %22)
%24 = (/.f64 %23 x)
%25 = (*.f64 #s(literal -1 binary64) %24)
%26 = (sqrt.f64 %25)
%27 = (*.f64 x %26)
%29 = (*.f64 #s(literal -2 binary64) %27)
%31 = (* 2 %19)
%33 = (+.f64 x z)
%34 = (*.f64 y %33)
%35 = (sqrt.f64 %5)
%36 = (approx %19 %35)
%37 = (approx %13 %34)
%38 = (/.f64 %33 y)
%39 = (sqrt.f64 %38)
%40 = (*.f64 y %39)
%41 = (approx %19 %40)
%42 = (fma.f64 #s(literal -1 binary64) x %22)
%43 = (/.f64 %42 y)
%44 = (*.f64 #s(literal -1 binary64) %43)
%45 = (sqrt.f64 %44)
%46 = (*.f64 y %45)
%47 = (*.f64 #s(literal -2 binary64) %46)
%49 = (+.f64 x y)
%50 = (*.f64 z %49)
%51 = (sqrt.f64 %3)
%52 = (approx %19 %51)
%53 = (/.f64 %3 z)
%54 = (approx %13 %50)
%55 = (+.f64 y %53)
%56 = (+.f64 x %55)
%57 = (*.f64 z %56)
%58 = (approx %13 %57)
%59 = (/.f64 %49 z)
%60 = (sqrt.f64 %59)
%61 = (*.f64 z %60)
%62 = (approx %19 %61)
%63 = (*.f64 #s(literal -1 binary64) y)
%64 = (fma.f64 #s(literal -1 binary64) x %63)
%65 = (/.f64 %64 z)
%66 = (*.f64 #s(literal -1 binary64) %65)
%67 = (sqrt.f64 %66)
%68 = (*.f64 z %67)
%69 = (*.f64 #s(literal -2 binary64) %68)
%71 = (*.f64 z x)
%73 = (+.f64 z x)
%74 = (fma.f64 %73 y %71)
%75 = (pow.f64 %74 #s(literal 1/2 binary64))
%76 = (sqrt.f64 %74)
%77 = (sqrt.f64 %58)
%79 = (sqrt.f64 %54)
%81 = (sqrt.f64 %37)
%83 = (sqrt.f64 %14)
#s(literal 2 binary64)
x
y
%3
z
%5
%6
#s(literal 0 binary64)
%8
%14
#s(literal 1/2 binary64)
%16
%17
%18
%20
#s(literal -1 binary64)
%22
%23
%24
%25
%26
%27
#s(literal -2 binary64)
%29
(approx %31 %29)
%33
%34
%35
%36
%37
%38
%39
%40
%41
%42
%43
%44
%45
%46
%47
(approx %31 %47)
%49
%50
%51
%52
%53
%54
%55
%56
%57
%58
%59
%60
%61
%62
%63
%64
%65
%66
%67
%68
%69
(approx %31 %69)
%71
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
%73
%74
%75
%76
%77
(*.f64 #s(literal 2 binary64) %77)
%79
(*.f64 #s(literal 2 binary64) %79)
%81
(*.f64 #s(literal 2 binary64) %81)
%83
(*.f64 #s(literal 2 binary64) %83)
(*.f64 #s(literal 2 binary64) %75)
(*.f64 #s(literal 2 binary64) %76)
(*.f64 #s(literal 2 binary64) %20)
(*.f64 #s(literal 2 binary64) %52)
(*.f64 #s(literal 2 binary64) %41)
(*.f64 #s(literal 2 binary64) %36)
(*.f64 #s(literal 2 binary64) %62)

%6 = (* x y)
%7 = (*.f64 x y)
%10 = (* x z)
%11 = (*.f64 x z)
%15 = (+ (+ %6 %10) (* y z))
%16 = (*.f64 y z)
%18 = (+.f64 y z)
%21 = (+ y z)
%22 = (/ %21 x)
%23 = (/.f64 %18 x)
%25 = (sqrt %22)
%26 = (*.f64 x %18)
%27 = (sqrt.f64 %26)
%30 = (* x %25)
%32 = (sqrt %15)
%33 = (sqrt.f64 %16)
%36 = (/.f64 %26 %33)
%42 = (pow.f64 %18 #s(literal 2 binary64))
%45 = (pow.f64 %33 #s(literal 3 binary64))
%46 = (/.f64 (*.f64 x %42) %45)
%47 = (/.f64 %18 %33)
%53 = (/.f64 %42 %45)
%59 = (/.f64 (*.f64 x (pow.f64 %18 #s(literal 3 binary64))) (pow.f64 %33 #s(literal 5 binary64)))
%68 = (* -1 y)
%69 = (* -1 z)
%70 = (+ %68 %69)
%71 = (/ %70 x)
%73 = (*.f64 #s(literal -1 binary64) z)
%74 = (fma.f64 #s(literal -1 binary64) y %73)
%75 = (/.f64 %74 x)
%77 = (* -1 %71)
%78 = (*.f64 #s(literal -1 binary64) %75)
%80 = (sqrt %77)
%82 = (*.f64 #s(literal -1 binary64) (*.f64 x %74))
%83 = (sqrt.f64 %82)
%86 = (* x %80)
%89 = (* -2 %86)
%93 = (* 2 %32)
%101 = (+.f64 (/.f64 y %33) (/.f64 z %33))
%113 = (+ x z)
%115 = (+.f64 x z)
%117 = (* y %113)
%118 = (fma.f64 x y %16)
%120 = (sqrt %10)
%121 = (sqrt.f64 %11)
%123 = (/ %113 y)
%124 = (/.f64 z y)
%126 = (/.f64 x y)
%129 = (sqrt %123)
%130 = (sqrt.f64 %124)
%132 = (*.f64 y %130)
%137 = (pow.f64 y #s(literal 2 binary64))
%138 = (pow.f64 %130 #s(literal 3 binary64))
%139 = (*.f64 %137 %138)
%143 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %132))
%148 = (pow.f64 y #s(literal 3 binary64))
%149 = (pow.f64 %130 #s(literal 5 binary64))
%160 = (* y %129)
%162 = (/.f64 x %130)
%165 = (*.f64 y %138)
%166 = (/.f64 x %165)
%167 = (/.f64 #s(literal 1 binary64) %130)
%168 = (*.f64 #s(literal 1/2 binary64) %167)
%173 = (/.f64 x (*.f64 %137 %149))
%175 = (/.f64 #s(literal 1 binary64) %165)
%181 = (* -1 x)
%182 = (+ %181 %69)
%184 = (fma.f64 #s(literal -1 binary64) x %73)
%186 = (/ %182 y)
%187 = (*.f64 #s(literal -1 binary64) %124)
%191 = (* -1 %186)
%192 = (sqrt %191)
%193 = (* y %192)
%194 = (* -2 %193)
%213 = (+ x y)
%215 = (+.f64 x y)
%217 = (* z %213)
%220 = (sqrt %6)
%221 = (sqrt.f64 %7)
%223 = (/ %6 z)
%224 = (/.f64 %7 z)
%226 = (+ y %223)
%227 = (+.f64 y %224)
%229 = (+ x %226)
%230 = (/.f64 y z)
%231 = (+.f64 #s(literal 1 binary64) %230)
%232 = (*.f64 x %231)
%235 = (* z %229)
%236 = (*.f64 z %231)
%239 = (/ %213 z)
%241 = (/.f64 x z)
%244 = (sqrt %239)
%245 = (sqrt.f64 %230)
%247 = (*.f64 z %245)
%252 = (pow.f64 z #s(literal 2 binary64))
%253 = (pow.f64 %245 #s(literal 3 binary64))
%254 = (*.f64 %252 %253)
%257 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %247))
%262 = (pow.f64 z #s(literal 3 binary64))
%263 = (pow.f64 %245 #s(literal 5 binary64))
%274 = (* z %244)
%276 = (/.f64 x %245)
%279 = (*.f64 z %253)
%280 = (/.f64 x %279)
%281 = (/.f64 #s(literal 1 binary64) %245)
%282 = (*.f64 #s(literal 1/2 binary64) %281)
%287 = (/.f64 x (*.f64 %252 %263))
%289 = (/.f64 #s(literal 1 binary64) %279)
%295 = (+ %181 %68)
%296 = (*.f64 #s(literal -1 binary64) y)
%298 = (fma.f64 #s(literal -1 binary64) x %296)
%300 = (/ %295 z)
%301 = (*.f64 #s(literal -1 binary64) %230)
%305 = (* -1 %300)
%306 = (sqrt %305)
%307 = (* z %306)
%308 = (* -2 %307)
%327 = (/.f64 %16 x)
%328 = (+.f64 z %327)
%332 = (sqrt.f64 %23)
%334 = (*.f64 x %332)
%336 = (pow.f64 x #s(literal 2 binary64))
%338 = (/.f64 %16 (*.f64 %336 %332))
%339 = (*.f64 #s(literal 1/2 binary64) %338)
%343 = (*.f64 %137 %252)
%345 = (pow.f64 x #s(literal 4 binary64))
%348 = (/.f64 %343 (*.f64 %345 (pow.f64 %332 #s(literal 3 binary64))))
%353 = (*.f64 %148 %262)
%355 = (pow.f64 x #s(literal 6 binary64))
%358 = (/.f64 %353 (*.f64 %355 (pow.f64 %332 #s(literal 5 binary64))))
%364 = (sqrt.f64 %78)
%366 = (*.f64 x %364)
%372 = (fma.f64 #s(literal 2 binary64) %332 %338)
%382 = (/.f64 z x)
%384 = (*.f64 x (+.f64 #s(literal 1 binary64) %382))
%389 = (sqrt.f64 %382)
%390 = (*.f64 x %389)
%393 = (/.f64 #s(literal 1 binary64) y)
%394 = (/.f64 z %7)
%396 = (*.f64 x (+.f64 %393 %394))
%399 = (sqrt.f64 (/.f64 #s(literal 1 binary64) %7))
%400 = (*.f64 x %399)
%402 = (*.f64 y %399)
%405 = (*.f64 #s(literal 1/2 binary64) (/.f64 z (*.f64 %336 %402)))
%407 = (*.f64 x (+.f64 %399 %405))
%409 = (pow.f64 %399 #s(literal 3 binary64))
%412 = (/.f64 %252 (*.f64 %345 (*.f64 %137 %409)))
%415 = (*.f64 x (+.f64 %399 (fma.f64 #s(literal -1/8 binary64) %412 %405)))
%417 = (pow.f64 %399 #s(literal 5 binary64))
%424 = (*.f64 x (+.f64 %399 (fma.f64 #s(literal -1/8 binary64) %412 (fma.f64 #s(literal 1/16 binary64) (/.f64 %262 (*.f64 %355 (*.f64 %148 %417))) %405))))
%426 = (*.f64 x %402)
%429 = (/.f64 z (*.f64 %336 %399))
%430 = (fma.f64 #s(literal 1/2 binary64) %429 %402)
%431 = (*.f64 x %430)
%435 = (/.f64 %252 (*.f64 %345 (*.f64 y %409)))
%437 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %435 %430))
%441 = (/.f64 %262 (*.f64 %355 (*.f64 %137 %417)))
%444 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %435 (fma.f64 #s(literal 1/16 binary64) %441 %430)))
%448 = (*.f64 #s(literal -1 binary64) %382)
%450 = (*.f64 x (-.f64 %448 #s(literal 1 binary64)))
%452 = (*.f64 #s(literal -1 binary64) %126)
%454 = (*.f64 #s(literal -1 binary64) %394)
%456 = (*.f64 x (-.f64 %454 %393))
%462 = (*.f64 x (fma.f64 #s(literal -2 binary64) %402 (*.f64 #s(literal -1 binary64) %429)))
%464 = (*.f64 #s(literal 1/4 binary64) %435)
%467 = (*.f64 x (fma.f64 #s(literal -2 binary64) %402 (fma.f64 #s(literal -1 binary64) %429 %464)))
%472 = (*.f64 x (fma.f64 #s(literal -2 binary64) %402 (fma.f64 #s(literal -1 binary64) %429 (fma.f64 #s(literal -1/8 binary64) %441 %464))))
%474 = (/.f64 y x)
%476 = (*.f64 x (+.f64 #s(literal 1 binary64) %474))
%480 = (sqrt.f64 %474)
%481 = (*.f64 x %480)
%483 = (+.f64 %474 %230)
%496 = (/.f64 #s(literal 1 binary64) z)
%497 = (/.f64 y %11)
%499 = (*.f64 x (+.f64 %496 %497))
%502 = (sqrt.f64 (/.f64 #s(literal 1 binary64) %11))
%503 = (*.f64 x %502)
%505 = (*.f64 z %502)
%508 = (*.f64 #s(literal 1/2 binary64) (/.f64 y (*.f64 %336 %505)))
%510 = (*.f64 x (+.f64 %502 %508))
%512 = (pow.f64 %502 #s(literal 3 binary64))
%515 = (/.f64 %137 (*.f64 %345 (*.f64 %252 %512)))
%518 = (*.f64 x (+.f64 %502 (fma.f64 #s(literal -1/8 binary64) %515 %508)))
%520 = (pow.f64 %502 #s(literal 5 binary64))
%527 = (*.f64 x (+.f64 %502 (fma.f64 #s(literal -1/8 binary64) %515 (fma.f64 #s(literal 1/16 binary64) (/.f64 %148 (*.f64 %355 (*.f64 %262 %520))) %508))))
%529 = (*.f64 x %505)
%532 = (/.f64 y (*.f64 %336 %502))
%533 = (fma.f64 #s(literal 1/2 binary64) %532 %505)
%534 = (*.f64 x %533)
%538 = (/.f64 %137 (*.f64 %345 (*.f64 z %512)))
%540 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %538 %533))
%544 = (/.f64 %148 (*.f64 %355 (*.f64 %252 %520)))
%547 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %538 (fma.f64 #s(literal 1/16 binary64) %544 %533)))
%549 = (*.f64 #s(literal -1 binary64) %474)
%551 = (*.f64 x (-.f64 %549 #s(literal 1 binary64)))
%553 = (*.f64 #s(literal -1 binary64) %241)
%555 = (*.f64 #s(literal -1 binary64) %497)
%557 = (*.f64 x (-.f64 %555 %496))
%563 = (*.f64 x (fma.f64 #s(literal -2 binary64) %505 (*.f64 #s(literal -1 binary64) %532)))
%565 = (*.f64 #s(literal 1/4 binary64) %538)
%568 = (*.f64 x (fma.f64 #s(literal -2 binary64) %505 (fma.f64 #s(literal -1 binary64) %532 %565)))
%573 = (*.f64 x (fma.f64 #s(literal -2 binary64) %505 (fma.f64 #s(literal -1 binary64) %532 (fma.f64 #s(literal -1/8 binary64) %544 %565))))
%576 = (*.f64 #s(literal -1 binary64) %327)
%577 = (fma.f64 #s(literal -1 binary64) z %576)
%585 = (/.f64 %16 (*.f64 %336 %364))
%586 = (*.f64 #s(literal 1/2 binary64) %585)
%593 = (/.f64 %343 (*.f64 %345 (pow.f64 %364 #s(literal 3 binary64))))
%601 = (/.f64 %353 (*.f64 %355 (pow.f64 %364 #s(literal 5 binary64))))
%608 = (fma.f64 #s(literal 2 binary64) %364 %585)
%666 = (fma.f64 #s(literal -1 binary64) %474 %301)
%670 = (-.f64 %301 #s(literal 1 binary64))
%678 = (*.f64 z %670)
%717 = (*.f64 y %115)
%728 = (pow.f64 %389 #s(literal 3 binary64))
%729 = (*.f64 %336 %728)
%732 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %390))
%737 = (pow.f64 x #s(literal 3 binary64))
%738 = (pow.f64 %389 #s(literal 5 binary64))
%749 = (/.f64 y %389)
%752 = (*.f64 x %728)
%753 = (/.f64 y %752)
%754 = (/.f64 #s(literal 1 binary64) %389)
%755 = (*.f64 #s(literal 1/2 binary64) %754)
%761 = (/.f64 y (*.f64 %336 %738))
%763 = (/.f64 #s(literal 1 binary64) %752)
%770 = (/.f64 %717 %121)
%774 = (pow.f64 %115 #s(literal 2 binary64))
%776 = (pow.f64 %121 #s(literal 3 binary64))
%777 = (/.f64 (*.f64 y %774) %776)
%778 = (/.f64 %115 %121)
%784 = (/.f64 %774 %776)
%788 = (/.f64 (*.f64 y (pow.f64 %115 #s(literal 3 binary64))) (pow.f64 %121 #s(literal 5 binary64)))
%823 = (+.f64 (/.f64 x %121) (/.f64 z %121))
%835 = (/.f64 %115 y)
%837 = (sqrt.f64 %717)
%841 = (/.f64 %184 y)
%843 = (*.f64 #s(literal -1 binary64) %841)
%846 = (*.f64 #s(literal -1 binary64) (*.f64 y %184))
%847 = (sqrt.f64 %846)
%853 = (+.f64 #s(literal 1 binary64) %241)
%854 = (*.f64 y %853)
%858 = (*.f64 z %853)
%859 = (*.f64 y %858)
%862 = (sqrt.f64 %241)
%864 = (*.f64 z %862)
%869 = (pow.f64 %862 #s(literal 3 binary64))
%870 = (*.f64 %252 %869)
%873 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %864))
%878 = (pow.f64 %862 #s(literal 5 binary64))
%890 = (/.f64 y %862)
%893 = (*.f64 z %869)
%894 = (/.f64 y %893)
%895 = (/.f64 #s(literal 1 binary64) %862)
%896 = (*.f64 #s(literal 1/2 binary64) %895)
%901 = (/.f64 y (*.f64 %252 %878))
%903 = (/.f64 #s(literal 1 binary64) %893)
%927 = (*.f64 y (+.f64 #s(literal 1 binary64) %124))
%929 = (/.f64 %11 y)
%930 = (+.f64 z %929)
%935 = (/.f64 #s(literal 1 binary64) x)
%937 = (*.f64 y (+.f64 %935 %394))
%940 = (*.f64 %137 %399)
%943 = (*.f64 #s(literal 1/2 binary64) (/.f64 z (*.f64 x %940)))
%945 = (*.f64 y (+.f64 %399 %943))
%947 = (pow.f64 y #s(literal 4 binary64))
%948 = (*.f64 %947 %409)
%950 = (/.f64 %252 (*.f64 %336 %948))
%953 = (*.f64 y (+.f64 %399 (fma.f64 #s(literal -1/8 binary64) %950 %943)))
%955 = (pow.f64 y #s(literal 6 binary64))
%956 = (*.f64 %955 %417)
%962 = (*.f64 y (+.f64 %399 (fma.f64 #s(literal -1/8 binary64) %950 (fma.f64 #s(literal 1/16 binary64) (/.f64 %262 (*.f64 %737 %956)) %943))))
%964 = (/.f64 z %940)
%965 = (fma.f64 #s(literal 1/2 binary64) %964 %400)
%966 = (*.f64 y %965)
%969 = (/.f64 %252 (*.f64 x %948))
%971 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %969 %965))
%974 = (/.f64 %262 (*.f64 %336 %956))
%977 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %969 (fma.f64 #s(literal 1/16 binary64) %974 %965)))
%979 = (sqrt.f64 %835)
%980 = (*.f64 y %979)
%983 = (/.f64 %11 (*.f64 %137 %979))
%984 = (*.f64 #s(literal 1/2 binary64) %983)
%986 = (*.f64 y (+.f64 %979 %984))
%988 = (*.f64 %336 %252)
%991 = (/.f64 %988 (*.f64 %947 (pow.f64 %979 #s(literal 3 binary64))))
%994 = (*.f64 y (+.f64 %979 (fma.f64 #s(literal -1/8 binary64) %991 %984)))
%996 = (*.f64 %737 %262)
%999 = (/.f64 %996 (*.f64 %955 (pow.f64 %979 #s(literal 5 binary64))))
%1003 = (*.f64 y (+.f64 %979 (fma.f64 #s(literal -1/8 binary64) %991 (fma.f64 #s(literal 1/16 binary64) %999 %984))))
%1006 = (*.f64 y (-.f64 %187 #s(literal 1 binary64)))
%1010 = (*.f64 y (-.f64 %454 %935))
%1014 = (*.f64 y (fma.f64 #s(literal -2 binary64) %400 (*.f64 #s(literal -1 binary64) %964)))
%1016 = (*.f64 #s(literal 1/4 binary64) %969)
%1019 = (*.f64 y (fma.f64 #s(literal -2 binary64) %400 (fma.f64 #s(literal -1 binary64) %964 %1016)))
%1024 = (*.f64 y (fma.f64 #s(literal -2 binary64) %400 (fma.f64 #s(literal -1 binary64) %964 (fma.f64 #s(literal -1/8 binary64) %974 %1016))))
%1028 = (fma.f64 #s(literal 2 binary64) %979 %983)
%1029 = (*.f64 y %1028)
%1032 = (*.f64 y (fma.f64 #s(literal -1/4 binary64) %991 %1028))
%1036 = (*.f64 y (fma.f64 #s(literal -1/4 binary64) %991 (fma.f64 #s(literal 1/8 binary64) %999 %1028)))
%1039 = (sqrt.f64 %843)
%1041 = (*.f64 y %1039)
%1046 = (*.f64 y (+.f64 #s(literal 1 binary64) %126))
%1050 = (sqrt.f64 %126)
%1051 = (*.f64 y %1050)
%1061 = (/.f64 x %16)
%1063 = (*.f64 y (+.f64 %496 %1061))
%1066 = (sqrt.f64 (/.f64 #s(literal 1 binary64) %16))
%1067 = (*.f64 y %1066)
%1069 = (*.f64 z %1066)
%1072 = (*.f64 #s(literal 1/2 binary64) (/.f64 x (*.f64 %137 %1069)))
%1074 = (*.f64 y (+.f64 %1066 %1072))
%1076 = (pow.f64 %1066 #s(literal 3 binary64))
%1079 = (/.f64 %336 (*.f64 %947 (*.f64 %252 %1076)))
%1082 = (*.f64 y (+.f64 %1066 (fma.f64 #s(literal -1/8 binary64) %1079 %1072)))
%1084 = (pow.f64 %1066 #s(literal 5 binary64))
%1091 = (*.f64 y (+.f64 %1066 (fma.f64 #s(literal -1/8 binary64) %1079 (fma.f64 #s(literal 1/16 binary64) (/.f64 %737 (*.f64 %955 (*.f64 %262 %1084))) %1072))))
%1093 = (*.f64 y %1069)
%1096 = (/.f64 x (*.f64 %137 %1066))
%1097 = (fma.f64 #s(literal 1/2 binary64) %1096 %1069)
%1098 = (*.f64 y %1097)
%1102 = (/.f64 %336 (*.f64 %947 (*.f64 z %1076)))
%1104 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1102 %1097))
%1108 = (/.f64 %737 (*.f64 %955 (*.f64 %252 %1084)))
%1111 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1102 (fma.f64 #s(literal 1/16 binary64) %1108 %1097)))
%1114 = (*.f64 y (-.f64 %452 #s(literal 1 binary64)))
%1116 = (*.f64 #s(literal -1 binary64) %1061)
%1118 = (*.f64 y (-.f64 %1116 %496))
%1124 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1069 (*.f64 #s(literal -1 binary64) %1096)))
%1126 = (*.f64 #s(literal 1/4 binary64) %1102)
%1129 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1069 (fma.f64 #s(literal -1 binary64) %1096 %1126)))
%1134 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1069 (fma.f64 #s(literal -1 binary64) %1096 (fma.f64 #s(literal -1/8 binary64) %1108 %1126))))
%1139 = (*.f64 #s(literal -1 binary64) %929)
%1140 = (fma.f64 #s(literal -1 binary64) z %1139)
%1164 = (/.f64 %11 (*.f64 %137 %1039))
%1165 = (*.f64 #s(literal 1/2 binary64) %1164)
%1172 = (/.f64 %988 (*.f64 %947 (pow.f64 %1039 #s(literal 3 binary64))))
%1180 = (/.f64 %996 (*.f64 %955 (pow.f64 %1039 #s(literal 5 binary64))))
%1197 = (fma.f64 #s(literal 2 binary64) %1039 %1164)
%1217 = (-.f64 %553 #s(literal 1 binary64))
%1226 = (*.f64 z %1217)
%1267 = (+ (* (+ z x) y) (* z x))
%1273 = (pow %1267 1/2)
%1282 = (* 2 %1273)
%1291 = (*.f64 z %215)
%1292 = (fma.f64 x y %1291)
%1299 = (pow.f64 %480 #s(literal 3 binary64))
%1300 = (*.f64 %336 %1299)
%1303 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %481))
%1308 = (pow.f64 %480 #s(literal 5 binary64))
%1319 = (/.f64 z %480)
%1322 = (*.f64 x %1299)
%1323 = (/.f64 z %1322)
%1324 = (/.f64 #s(literal 1 binary64) %480)
%1325 = (*.f64 #s(literal 1/2 binary64) %1324)
%1331 = (/.f64 z (*.f64 %336 %1308))
%1333 = (/.f64 #s(literal 1 binary64) %1322)
%1340 = (/.f64 %1291 %221)
%1344 = (pow.f64 %215 #s(literal 2 binary64))
%1346 = (pow.f64 %221 #s(literal 3 binary64))
%1347 = (/.f64 (*.f64 z %1344) %1346)
%1348 = (/.f64 %215 %221)
%1354 = (/.f64 %1344 %1346)
%1358 = (/.f64 (*.f64 z (pow.f64 %215 #s(literal 3 binary64))) (pow.f64 %221 #s(literal 5 binary64)))
%1389 = (+.f64 (/.f64 x %221) (/.f64 y %221))
%1405 = (pow.f64 %1050 #s(literal 3 binary64))
%1406 = (*.f64 %137 %1405)
%1409 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %1051))
%1414 = (pow.f64 %1050 #s(literal 5 binary64))
%1425 = (/.f64 z %1050)
%1428 = (*.f64 y %1405)
%1429 = (/.f64 z %1428)
%1430 = (/.f64 #s(literal 1 binary64) %1050)
%1431 = (*.f64 #s(literal 1/2 binary64) %1430)
%1437 = (/.f64 z (*.f64 %137 %1414))
%1439 = (/.f64 #s(literal 1 binary64) %1428)
%1468 = (/.f64 %215 z)
%1470 = (sqrt.f64 %1291)
%1474 = (/.f64 %298 z)
%1476 = (*.f64 #s(literal -1 binary64) %1474)
%1479 = (*.f64 #s(literal -1 binary64) (*.f64 z %298))
%1480 = (sqrt.f64 %1479)
%1487 = (+.f64 x %227)
%1491 = (*.f64 z (+.f64 %935 %497))
%1494 = (*.f64 %252 %502)
%1497 = (*.f64 #s(literal 1/2 binary64) (/.f64 y (*.f64 x %1494)))
%1499 = (*.f64 z (+.f64 %502 %1497))
%1501 = (pow.f64 z #s(literal 4 binary64))
%1502 = (*.f64 %1501 %512)
%1504 = (/.f64 %137 (*.f64 %336 %1502))
%1507 = (*.f64 z (+.f64 %502 (fma.f64 #s(literal -1/8 binary64) %1504 %1497)))
%1509 = (pow.f64 z #s(literal 6 binary64))
%1510 = (*.f64 %1509 %520)
%1516 = (*.f64 z (+.f64 %502 (fma.f64 #s(literal -1/8 binary64) %1504 (fma.f64 #s(literal 1/16 binary64) (/.f64 %148 (*.f64 %737 %1510)) %1497))))
%1518 = (/.f64 y %1494)
%1519 = (fma.f64 #s(literal 1/2 binary64) %1518 %503)
%1520 = (*.f64 z %1519)
%1523 = (/.f64 %137 (*.f64 x %1502))
%1525 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1523 %1519))
%1528 = (/.f64 %148 (*.f64 %336 %1510))
%1531 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1523 (fma.f64 #s(literal 1/16 binary64) %1528 %1519)))
%1533 = (sqrt.f64 %1468)
%1534 = (*.f64 z %1533)
%1537 = (/.f64 %7 (*.f64 %252 %1533))
%1538 = (*.f64 #s(literal 1/2 binary64) %1537)
%1542 = (*.f64 %336 %137)
%1545 = (/.f64 %1542 (*.f64 %1501 (pow.f64 %1533 #s(literal 3 binary64))))
%1550 = (*.f64 %737 %148)
%1553 = (/.f64 %1550 (*.f64 %1509 (pow.f64 %1533 #s(literal 5 binary64))))
%1561 = (*.f64 z (-.f64 %555 %935))
%1565 = (*.f64 z (fma.f64 #s(literal -2 binary64) %503 (*.f64 #s(literal -1 binary64) %1518)))
%1567 = (*.f64 #s(literal 1/4 binary64) %1523)
%1570 = (*.f64 z (fma.f64 #s(literal -2 binary64) %503 (fma.f64 #s(literal -1 binary64) %1518 %1567)))
%1575 = (*.f64 z (fma.f64 #s(literal -2 binary64) %503 (fma.f64 #s(literal -1 binary64) %1518 (fma.f64 #s(literal -1/8 binary64) %1528 %1567))))
%1579 = (fma.f64 #s(literal 2 binary64) %1533 %1537)
%1593 = (*.f64 z (+.f64 %393 %1061))
%1596 = (*.f64 %252 %1066)
%1599 = (*.f64 #s(literal 1/2 binary64) (/.f64 x (*.f64 y %1596)))
%1601 = (*.f64 z (+.f64 %1066 %1599))
%1603 = (*.f64 %1501 %1076)
%1605 = (/.f64 %336 (*.f64 %137 %1603))
%1608 = (*.f64 z (+.f64 %1066 (fma.f64 #s(literal -1/8 binary64) %1605 %1599)))
%1610 = (*.f64 %1509 %1084)
%1616 = (*.f64 z (+.f64 %1066 (fma.f64 #s(literal -1/8 binary64) %1605 (fma.f64 #s(literal 1/16 binary64) (/.f64 %737 (*.f64 %148 %1610)) %1599))))
%1618 = (/.f64 x %1596)
%1619 = (fma.f64 #s(literal 1/2 binary64) %1618 %1067)
%1620 = (*.f64 z %1619)
%1623 = (/.f64 %336 (*.f64 y %1603))
%1625 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1623 %1619))
%1628 = (/.f64 %737 (*.f64 %137 %1610))
%1631 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1623 (fma.f64 #s(literal 1/16 binary64) %1628 %1619)))
%1635 = (*.f64 z (-.f64 %1116 %393))
%1639 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1067 (*.f64 #s(literal -1 binary64) %1618)))
%1641 = (*.f64 #s(literal 1/4 binary64) %1623)
%1644 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1067 (fma.f64 #s(literal -1 binary64) %1618 %1641)))
%1649 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1067 (fma.f64 #s(literal -1 binary64) %1618 (fma.f64 #s(literal -1/8 binary64) %1628 %1641))))
%1653 = (sqrt.f64 %1476)
%1655 = (*.f64 z %1653)
%1662 = (*.f64 #s(literal -1 binary64) %224)
%1663 = (fma.f64 #s(literal -1 binary64) y %1662)
%1687 = (/.f64 %7 (*.f64 %252 %1653))
%1688 = (*.f64 #s(literal 1/2 binary64) %1687)
%1695 = (/.f64 %1542 (*.f64 %1501 (pow.f64 %1653 #s(literal 3 binary64))))
%1703 = (/.f64 %1550 (*.f64 %1509 (pow.f64 %1653 #s(literal 5 binary64))))
%1720 = (fma.f64 #s(literal 2 binary64) %1653 %1687)
(approx 2 #s(literal 0 binary64))
(approx x x)
(approx %6 %7)
(approx %10 %11)
(approx %15 %16)
(approx %15 (fma.f64 x %18 %16))
(approx %22 %23)
(approx %25 (/.f64 %27 x))
(approx %30 %27)
(approx %32 %33)
(approx %32 (+.f64 %33 (*.f64 #s(literal 1/2 binary64) %36)))
(approx %32 (+.f64 %33 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %46 (*.f64 #s(literal 1/2 binary64) %47)))))
(approx %32 (+.f64 %33 (*.f64 x (fma.f64 #s(literal 1/2 binary64) %47 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %53 (*.f64 #s(literal 1/16 binary64) %59)))))))
(approx %71 %75)
(approx %77 %78)
(approx %80 (/.f64 %83 x))
(approx %86 %83)
(approx %89 (*.f64 #s(literal -2 binary64) %83))
(approx %93 (*.f64 #s(literal 2 binary64) %33))
(approx %93 (fma.f64 #s(literal 2 binary64) %33 %36))
(approx %93 (fma.f64 #s(literal 2 binary64) %33 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %46 %101))))
(approx %93 (fma.f64 #s(literal 2 binary64) %33 (*.f64 x (fma.f64 x (fma.f64 #s(literal -1/4 binary64) %53 (*.f64 #s(literal 1/8 binary64) %59)) %101))))
(approx %113 z)
(approx %113 %115)
(approx %117 %118)
(approx %120 %121)
(approx %123 %124)
(approx %123 (+.f64 %126 %124))
(approx %129 %130)
(approx %129 (+.f64 %130 (*.f64 #s(literal 1/2 binary64) (/.f64 x %132))))
(approx %129 (+.f64 %130 (*.f64 x (fma.f64 #s(literal -1/8 binary64) (/.f64 x %139) %143))))
(approx %129 (+.f64 %130 (*.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 x (*.f64 %148 %149))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %139))) %143))))
(approx %160 %132)
(approx %160 (fma.f64 #s(literal 1/2 binary64) %162 %132))
(approx %160 (fma.f64 x (fma.f64 #s(literal -1/8 binary64) %166 %168) %132))
(approx %160 (fma.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) %173) (*.f64 #s(literal 1/8 binary64) %175)) %168) %132))
(approx %182 %73)
(approx %182 %184)
(approx %186 %187)
(approx %186 (fma.f64 #s(literal -1 binary64) %126 %187))
(approx %194 (*.f64 #s(literal -2 binary64) %132))
(approx %194 (fma.f64 #s(literal -2 binary64) %132 (*.f64 #s(literal -1 binary64) %162)))
(approx %194 (fma.f64 #s(literal -2 binary64) %132 (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %166) %167))))
(approx %194 (fma.f64 #s(literal -2 binary64) %132 (*.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %173 (*.f64 #s(literal 1/4 binary64) %175))) %167))))
(approx %213 y)
(approx %213 %215)
(approx %217 (fma.f64 x z %16))
(approx %220 %221)
(approx %223 %224)
(approx %226 %227)
(approx %229 (+.f64 y %232))
(approx %235 (fma.f64 x %236 %16))
(approx %239 %230)
(approx %239 (+.f64 %241 %230))
(approx %244 %245)
(approx %244 (+.f64 %245 (*.f64 #s(literal 1/2 binary64) (/.f64 x %247))))
(approx %244 (+.f64 %245 (*.f64 x (fma.f64 #s(literal -1/8 binary64) (/.f64 x %254) %257))))
(approx %244 (+.f64 %245 (*.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 x (*.f64 %262 %263))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %254))) %257))))
(approx %274 %247)
(approx %274 (fma.f64 #s(literal 1/2 binary64) %276 %247))
(approx %274 (fma.f64 x (fma.f64 #s(literal -1/8 binary64) %280 %282) %247))
(approx %274 (fma.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) %287) (*.f64 #s(literal 1/8 binary64) %289)) %282) %247))
(approx %295 %296)
(approx %295 %298)
(approx %300 %301)
(approx %300 (fma.f64 #s(literal -1 binary64) %241 %301))
(approx %308 (*.f64 #s(literal -2 binary64) %247))
(approx %308 (fma.f64 #s(literal -2 binary64) %247 (*.f64 #s(literal -1 binary64) %276)))
(approx %308 (fma.f64 #s(literal -2 binary64) %247 (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %280) %281))))
(approx %308 (fma.f64 #s(literal -2 binary64) %247 (*.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %287 (*.f64 #s(literal 1/4 binary64) %289))) %281))))
(approx %15 %26)
(approx %15 (*.f64 x (+.f64 y %328)))
(approx %25 %332)
(approx %30 %334)
(approx %32 (*.f64 x (+.f64 %332 %339)))
(approx %32 (*.f64 x (+.f64 %332 (fma.f64 #s(literal -1/8 binary64) %348 %339))))
(approx %32 (*.f64 x (+.f64 %332 (fma.f64 #s(literal -1/8 binary64) %348 (fma.f64 #s(literal 1/16 binary64) %358 %339)))))
(approx %80 %364)
(approx %86 %366)
(approx %89 (*.f64 #s(literal -2 binary64) %366))
(approx %93 (*.f64 #s(literal 2 binary64) %334))
(approx %93 (*.f64 x %372))
(approx %93 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %348 %372)))
(approx %93 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %348 (fma.f64 #s(literal 1/8 binary64) %358 %372))))
(approx %113 %384)
(approx %117 (*.f64 x (+.f64 y %327)))
(approx %120 %390)
(approx %123 %126)
(approx %123 %396)
(approx %129 %400)
(approx %129 %407)
(approx %129 %415)
(approx %129 %424)
(approx %160 %426)
(approx %160 %431)
(approx %160 %437)
(approx %160 %444)
(approx %182 (*.f64 #s(literal -1 binary64) x))
(approx %182 %450)
(approx %186 %452)
(approx %186 %456)
(approx %194 (*.f64 #s(literal -2 binary64) %426))
(approx %194 %462)
(approx %194 %467)
(approx %194 %472)
(approx %213 %476)
(approx %217 (*.f64 x %328))
(approx %220 %481)
(approx %226 (*.f64 x %483))
(approx %229 %232)
(approx %229 (*.f64 x (+.f64 #s(literal 1 binary64) %483)))
(approx %235 (*.f64 x %236))
(approx %235 (*.f64 x (fma.f64 z %231 %327)))
(approx %239 %241)
(approx %239 %499)
(approx %244 %503)
(approx %244 %510)
(approx %244 %518)
(approx %244 %527)
(approx %274 %529)
(approx %274 %534)
(approx %274 %540)
(approx %274 %547)
(approx %295 %551)
(approx %300 %553)
(approx %300 %557)
(approx %308 (*.f64 #s(literal -2 binary64) %529))
(approx %308 %563)
(approx %308 %568)
(approx %308 %573)
(approx %15 %82)
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y %577))))
(approx %32 (*.f64 #s(literal -1 binary64) %366))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %364 %586))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %364 (fma.f64 #s(literal -1/8 binary64) %593 %586)))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %364 (fma.f64 #s(literal -1/8 binary64) %593 (fma.f64 #s(literal 1/16 binary64) %601 %586))))))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 x %608)))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/4 binary64) %593 %608))))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/4 binary64) %593 (fma.f64 #s(literal 1/8 binary64) %601 %608)))))
(approx %113 (*.f64 #s(literal -1 binary64) %450))
(approx %117 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y %576))))
(approx %120 (*.f64 #s(literal -1 binary64) %390))
(approx %123 (*.f64 #s(literal -1 binary64) %456))
(approx %129 (*.f64 #s(literal -1 binary64) %400))
(approx %129 (*.f64 #s(literal -1 binary64) %407))
(approx %129 (*.f64 #s(literal -1 binary64) %415))
(approx %129 (*.f64 #s(literal -1 binary64) %424))
(approx %160 (*.f64 #s(literal -1 binary64) %426))
(approx %160 (*.f64 #s(literal -1 binary64) %431))
(approx %160 (*.f64 #s(literal -1 binary64) %437))
(approx %160 (*.f64 #s(literal -1 binary64) %444))
(approx %182 (*.f64 #s(literal -1 binary64) %384))
(approx %186 (*.f64 #s(literal -1 binary64) %396))
(approx %194 (*.f64 #s(literal 2 binary64) %426))
(approx %194 (*.f64 #s(literal -1 binary64) %462))
(approx %194 (*.f64 #s(literal -1 binary64) %467))
(approx %194 (*.f64 #s(literal -1 binary64) %472))
(approx %213 (*.f64 #s(literal -1 binary64) %551))
(approx %217 (*.f64 #s(literal -1 binary64) (*.f64 x %577)))
(approx %220 (*.f64 #s(literal -1 binary64) %481))
(approx %226 (*.f64 #s(literal -1 binary64) (*.f64 x %666)))
(approx %229 (*.f64 #s(literal -1 binary64) (*.f64 x %670)))
(approx %229 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %666 #s(literal 1 binary64)))))
(approx %235 (*.f64 #s(literal -1 binary64) (*.f64 x %678)))
(approx %235 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %327 %678))))
(approx %239 (*.f64 #s(literal -1 binary64) %557))
(approx %244 (*.f64 #s(literal -1 binary64) %503))
(approx %244 (*.f64 #s(literal -1 binary64) %510))
(approx %244 (*.f64 #s(literal -1 binary64) %518))
(approx %244 (*.f64 #s(literal -1 binary64) %527))
(approx %274 (*.f64 #s(literal -1 binary64) %529))
(approx %274 (*.f64 #s(literal -1 binary64) %534))
(approx %274 (*.f64 #s(literal -1 binary64) %540))
(approx %274 (*.f64 #s(literal -1 binary64) %547))
(approx %295 (*.f64 #s(literal -1 binary64) %476))
(approx %300 (*.f64 #s(literal -1 binary64) %499))
(approx %308 (*.f64 #s(literal 2 binary64) %529))
(approx %308 (*.f64 #s(literal -1 binary64) %563))
(approx %308 (*.f64 #s(literal -1 binary64) %568))
(approx %308 (*.f64 #s(literal -1 binary64) %573))
(approx %21 %18)
(approx %15 (fma.f64 x z %717))
(approx %22 %382)
(approx %22 (+.f64 %474 %382))
(approx %25 %389)
(approx %25 (+.f64 %389 (*.f64 #s(literal 1/2 binary64) (/.f64 y %390))))
(approx %25 (+.f64 %389 (*.f64 y (fma.f64 #s(literal -1/8 binary64) (/.f64 y %729) %732))))
(approx %25 (+.f64 %389 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 y (*.f64 %737 %738))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %729))) %732))))
(approx %30 (fma.f64 #s(literal 1/2 binary64) %749 %390))
(approx %30 (fma.f64 x %389 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %753 %755))))
(approx %30 (fma.f64 x %389 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) %761) (*.f64 #s(literal 1/8 binary64) %763)) %755))))
(approx %32 (+.f64 %121 (*.f64 #s(literal 1/2 binary64) %770)))
(approx %32 (+.f64 %121 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %777 (*.f64 #s(literal 1/2 binary64) %778)))))
(approx %32 (+.f64 %121 (*.f64 y (fma.f64 #s(literal 1/2 binary64) %778 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %784 (*.f64 #s(literal 1/16 binary64) %788)))))))
(approx %70 %74)
(approx %71 %448)
(approx %71 (fma.f64 #s(literal -1 binary64) %474 %448))
(approx %89 (*.f64 #s(literal -2 binary64) %390))
(approx %89 (fma.f64 #s(literal -2 binary64) %390 (*.f64 #s(literal -1 binary64) %749)))
(approx %89 (fma.f64 #s(literal -2 binary64) %390 (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) %753) %754))))
(approx %89 (fma.f64 #s(literal -2 binary64) %390 (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %761 (*.f64 #s(literal 1/4 binary64) %763))) %754))))
(approx %93 (*.f64 #s(literal 2 binary64) %121))
(approx %93 (fma.f64 #s(literal 2 binary64) %121 %770))
(approx %93 (fma.f64 #s(literal 2 binary64) %121 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %777 %823))))
(approx %93 (fma.f64 #s(literal 2 binary64) %121 (*.f64 y (fma.f64 y (fma.f64 #s(literal -1/4 binary64) %784 (*.f64 #s(literal 1/8 binary64) %788)) %823))))
(approx %117 %717)
(approx %123 %835)
(approx %129 (/.f64 %837 y))
(approx %160 %837)
(approx %186 %841)
(approx %191 %843)
(approx %192 (/.f64 %847 y))
(approx %193 %847)
(approx %194 (*.f64 #s(literal -2 binary64) %847))
(approx %226 %854)
(approx %229 (+.f64 x %854))
(approx %235 (fma.f64 x z %859))
(approx %244 %862)
(approx %244 (+.f64 %862 (*.f64 #s(literal 1/2 binary64) (/.f64 y %864))))
(approx %244 (+.f64 %862 (*.f64 y (fma.f64 #s(literal -1/8 binary64) (/.f64 y %870) %873))))
(approx %244 (+.f64 %862 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 y (*.f64 %262 %878))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %870))) %873))))
(approx %274 %864)
(approx %274 (fma.f64 #s(literal 1/2 binary64) %890 %864))
(approx %274 (fma.f64 y (fma.f64 #s(literal -1/8 binary64) %894 %896) %864))
(approx %274 (fma.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) %901) (*.f64 #s(literal 1/8 binary64) %903)) %896) %864))
(approx %308 (*.f64 #s(literal -2 binary64) %864))
(approx %308 (fma.f64 #s(literal -2 binary64) %864 (*.f64 #s(literal -1 binary64) %890)))
(approx %308 (fma.f64 #s(literal -2 binary64) %864 (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) %894) %895))))
(approx %308 (fma.f64 #s(literal -2 binary64) %864 (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %901 (*.f64 #s(literal 1/4 binary64) %903))) %895))))
(approx %21 %927)
(approx %15 (*.f64 y (+.f64 x %930)))
(approx %22 %474)
(approx %22 %937)
(approx %25 %402)
(approx %25 %945)
(approx %25 %953)
(approx %25 %962)
(approx %30 %966)
(approx %30 %971)
(approx %30 %977)
(approx %32 %980)
(approx %32 %986)
(approx %32 %994)
(approx %32 %1003)
(approx %70 %1006)
(approx %71 %549)
(approx %71 %1010)
(approx %89 %1014)
(approx %89 %1019)
(approx %89 %1024)
(approx %93 (*.f64 #s(literal 2 binary64) %980))
(approx %93 %1029)
(approx %93 %1032)
(approx %93 %1036)
(approx %129 %979)
(approx %192 %1039)
(approx %193 %1041)
(approx %194 (*.f64 #s(literal -2 binary64) %1041))
(approx %213 %1046)
(approx %217 (*.f64 y %930))
(approx %220 %1051)
(approx %229 (*.f64 y (+.f64 #s(literal 1 binary64) (+.f64 %126 %241))))
(approx %235 %859)
(approx %235 (*.f64 y (fma.f64 z %853 %929)))
(approx %239 %1063)
(approx %244 %1067)
(approx %244 %1074)
(approx %244 %1082)
(approx %244 %1091)
(approx %274 %1093)
(approx %274 %1098)
(approx %274 %1104)
(approx %274 %1111)
(approx %295 %1114)
(approx %300 %1118)
(approx %308 (*.f64 #s(literal -2 binary64) %1093))
(approx %308 %1124)
(approx %308 %1129)
(approx %308 %1134)
(approx %21 (*.f64 #s(literal -1 binary64) %1006))
(approx %15 %846)
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %1140))))
(approx %22 (*.f64 #s(literal -1 binary64) %1010))
(approx %25 (*.f64 #s(literal -1 binary64) %402))
(approx %25 (*.f64 #s(literal -1 binary64) %945))
(approx %25 (*.f64 #s(literal -1 binary64) %953))
(approx %25 (*.f64 #s(literal -1 binary64) %962))
(approx %30 (*.f64 #s(literal -1 binary64) %966))
(approx %30 (*.f64 #s(literal -1 binary64) %971))
(approx %30 (*.f64 #s(literal -1 binary64) %977))
(approx %32 (*.f64 #s(literal -1 binary64) %1041))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1039 %1165))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1039 (fma.f64 #s(literal -1/8 binary64) %1172 %1165)))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1039 (fma.f64 #s(literal -1/8 binary64) %1172 (fma.f64 #s(literal 1/16 binary64) %1180 %1165))))))
(approx %70 (*.f64 #s(literal -1 binary64) %927))
(approx %71 (*.f64 #s(literal -1 binary64) %937))
(approx %89 (*.f64 #s(literal -1 binary64) %1014))
(approx %89 (*.f64 #s(literal -1 binary64) %1019))
(approx %89 (*.f64 #s(literal -1 binary64) %1024))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 y %1197)))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1172 %1197))))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1172 (fma.f64 #s(literal 1/8 binary64) %1180 %1197)))))
(approx %213 (*.f64 #s(literal -1 binary64) %1114))
(approx %217 (*.f64 #s(literal -1 binary64) (*.f64 y %1140)))
(approx %220 (*.f64 #s(literal -1 binary64) %1051))
(approx %226 (*.f64 #s(literal -1 binary64) (*.f64 y %1217)))
(approx %229 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (fma.f64 #s(literal -1 binary64) %126 %553) #s(literal 1 binary64)))))
(approx %235 (*.f64 #s(literal -1 binary64) (*.f64 y %1226)))
(approx %235 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %929 %1226))))
(approx %239 (*.f64 #s(literal -1 binary64) %1118))
(approx %244 (*.f64 #s(literal -1 binary64) %1067))
(approx %244 (*.f64 #s(literal -1 binary64) %1074))
(approx %244 (*.f64 #s(literal -1 binary64) %1082))
(approx %244 (*.f64 #s(literal -1 binary64) %1091))
(approx %274 (*.f64 #s(literal -1 binary64) %1093))
(approx %274 (*.f64 #s(literal -1 binary64) %1098))
(approx %274 (*.f64 #s(literal -1 binary64) %1104))
(approx %274 (*.f64 #s(literal -1 binary64) %1111))
(approx %295 (*.f64 #s(literal -1 binary64) %1046))
(approx %300 (*.f64 #s(literal -1 binary64) %1063))
(approx %308 (*.f64 #s(literal 2 binary64) %1093))
(approx %308 (*.f64 #s(literal -1 binary64) %1124))
(approx %308 (*.f64 #s(literal -1 binary64) %1129))
(approx %308 (*.f64 #s(literal -1 binary64) %1134))
(approx %1267 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %115 %1139))))
(approx %1273 (*.f64 #s(literal -1 binary64) %980))
(approx %1273 (*.f64 #s(literal -1 binary64) %986))
(approx %1273 (*.f64 #s(literal -1 binary64) %994))
(approx %1273 (*.f64 #s(literal -1 binary64) %1003))
(approx %1282 (*.f64 #s(literal -2 binary64) %980))
(approx %1282 (*.f64 #s(literal -1 binary64) %1029))
(approx %1282 (*.f64 #s(literal -1 binary64) %1032))
(approx %1282 (*.f64 #s(literal -1 binary64) %1036))
(approx %15 %1292)
(approx %25 %480)
(approx %25 (+.f64 %480 (*.f64 #s(literal 1/2 binary64) (/.f64 z %481))))
(approx %25 (+.f64 %480 (*.f64 z (fma.f64 #s(literal -1/8 binary64) (/.f64 z %1300) %1303))))
(approx %25 (+.f64 %480 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 z (*.f64 %737 %1308))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %1300))) %1303))))
(approx %30 (fma.f64 #s(literal 1/2 binary64) %1319 %481))
(approx %30 (fma.f64 x %480 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1323 %1325))))
(approx %30 (fma.f64 x %480 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) %1331) (*.f64 #s(literal 1/8 binary64) %1333)) %1325))))
(approx %32 (+.f64 %221 (*.f64 #s(literal 1/2 binary64) %1340)))
(approx %32 (+.f64 %221 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1347 (*.f64 #s(literal 1/2 binary64) %1348)))))
(approx %32 (+.f64 %221 (*.f64 z (fma.f64 #s(literal 1/2 binary64) %1348 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1354 (*.f64 #s(literal 1/16 binary64) %1358)))))))
(approx %89 (*.f64 #s(literal -2 binary64) %481))
(approx %89 (fma.f64 #s(literal -2 binary64) %481 (*.f64 #s(literal -1 binary64) %1319)))
(approx %89 (fma.f64 #s(literal -2 binary64) %481 (*.f64 z (-.f64 (*.f64 #s(literal 1/4 binary64) %1323) %1324))))
(approx %89 (fma.f64 #s(literal -2 binary64) %481 (*.f64 z (-.f64 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1331 (*.f64 #s(literal 1/4 binary64) %1333))) %1324))))
(approx %93 (*.f64 #s(literal 2 binary64) %221))
(approx %93 (fma.f64 #s(literal 2 binary64) %221 %1340))
(approx %93 (fma.f64 #s(literal 2 binary64) %221 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1347 %1389))))
(approx %93 (fma.f64 #s(literal 2 binary64) %221 (*.f64 z (fma.f64 z (fma.f64 #s(literal -1/4 binary64) %1354 (*.f64 #s(literal 1/8 binary64) %1358)) %1389))))
(approx %129 %1050)
(approx %129 (+.f64 %1050 (*.f64 #s(literal 1/2 binary64) (/.f64 z %1051))))
(approx %129 (+.f64 %1050 (*.f64 z (fma.f64 #s(literal -1/8 binary64) (/.f64 z %1406) %1409))))
(approx %129 (+.f64 %1050 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 z (*.f64 %148 %1414))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %1406))) %1409))))
(approx %160 (fma.f64 #s(literal 1/2 binary64) %1425 %1051))
(approx %160 (fma.f64 y %1050 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1429 %1431))))
(approx %160 (fma.f64 y %1050 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) %1437) (*.f64 #s(literal 1/8 binary64) %1439)) %1431))))
(approx %194 (*.f64 #s(literal -2 binary64) %1051))
(approx %194 (fma.f64 #s(literal -2 binary64) %1051 (*.f64 #s(literal -1 binary64) %1425)))
(approx %194 (fma.f64 #s(literal -2 binary64) %1051 (*.f64 z (-.f64 (*.f64 #s(literal 1/4 binary64) %1429) %1430))))
(approx %194 (fma.f64 #s(literal -2 binary64) %1051 (*.f64 z (-.f64 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1437 (*.f64 #s(literal 1/4 binary64) %1439))) %1430))))
(approx %217 %1291)
(approx %226 (/.f64 %118 z))
(approx %229 (/.f64 %1292 z))
(approx %239 %1468)
(approx %244 (/.f64 %1470 z))
(approx %274 %1470)
(approx %300 %1474)
(approx %305 %1476)
(approx %306 (/.f64 %1480 z))
(approx %307 %1480)
(approx %308 (*.f64 #s(literal -2 binary64) %1480))
(approx %21 %236)
(approx %15 (*.f64 z %1487))
(approx %22 %1491)
(approx %25 %505)
(approx %25 %1499)
(approx %25 %1507)
(approx %25 %1516)
(approx %30 %1520)
(approx %30 %1525)
(approx %30 %1531)
(approx %32 %1534)
(approx %32 (*.f64 z (+.f64 %1533 %1538)))
(approx %32 (*.f64 z (+.f64 %1533 (fma.f64 #s(literal -1/8 binary64) %1545 %1538))))
(approx %32 (*.f64 z (+.f64 %1533 (fma.f64 #s(literal -1/8 binary64) %1545 (fma.f64 #s(literal 1/16 binary64) %1553 %1538)))))
(approx %70 %678)
(approx %71 %1561)
(approx %89 %1565)
(approx %89 %1570)
(approx %89 %1575)
(approx %93 (*.f64 #s(literal 2 binary64) %1534))
(approx %93 (*.f64 z %1579))
(approx %93 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1545 %1579)))
(approx %93 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1545 (fma.f64 #s(literal 1/8 binary64) %1553 %1579))))
(approx %113 %858)
(approx %117 (*.f64 z %227))
(approx %123 %1593)
(approx %129 %1069)
(approx %129 %1601)
(approx %129 %1608)
(approx %129 %1616)
(approx %160 %1620)
(approx %160 %1625)
(approx %160 %1631)
(approx %182 %1226)
(approx %186 %1635)
(approx %194 %1639)
(approx %194 %1644)
(approx %194 %1649)
(approx %229 %1487)
(approx %244 %1533)
(approx %306 %1653)
(approx %307 %1655)
(approx %308 (*.f64 #s(literal -2 binary64) %1655))
(approx %21 (*.f64 #s(literal -1 binary64) %678))
(approx %15 %1479)
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x %1663))))
(approx %22 (*.f64 #s(literal -1 binary64) %1561))
(approx %25 (*.f64 #s(literal -1 binary64) %505))
(approx %25 (*.f64 #s(literal -1 binary64) %1499))
(approx %25 (*.f64 #s(literal -1 binary64) %1507))
(approx %25 (*.f64 #s(literal -1 binary64) %1516))
(approx %30 (*.f64 #s(literal -1 binary64) %1520))
(approx %30 (*.f64 #s(literal -1 binary64) %1525))
(approx %30 (*.f64 #s(literal -1 binary64) %1531))
(approx %32 (*.f64 #s(literal -1 binary64) %1655))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1653 %1688))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1653 (fma.f64 #s(literal -1/8 binary64) %1695 %1688)))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1653 (fma.f64 #s(literal -1/8 binary64) %1695 (fma.f64 #s(literal 1/16 binary64) %1703 %1688))))))
(approx %70 (*.f64 #s(literal -1 binary64) %236))
(approx %71 (*.f64 #s(literal -1 binary64) %1491))
(approx %89 (*.f64 #s(literal -1 binary64) %1565))
(approx %89 (*.f64 #s(literal -1 binary64) %1570))
(approx %89 (*.f64 #s(literal -1 binary64) %1575))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 z %1720)))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1695 %1720))))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1695 (fma.f64 #s(literal 1/8 binary64) %1703 %1720)))))
(approx %113 (*.f64 #s(literal -1 binary64) %1226))
(approx %117 (*.f64 #s(literal -1 binary64) (*.f64 z %1663)))
(approx %120 (*.f64 #s(literal -1 binary64) %864))
(approx %123 (*.f64 #s(literal -1 binary64) %1635))
(approx %129 (*.f64 #s(literal -1 binary64) %1069))
(approx %129 (*.f64 #s(literal -1 binary64) %1601))
(approx %129 (*.f64 #s(literal -1 binary64) %1608))
(approx %129 (*.f64 #s(literal -1 binary64) %1616))
(approx %160 (*.f64 #s(literal -1 binary64) %1620))
(approx %160 (*.f64 #s(literal -1 binary64) %1625))
(approx %160 (*.f64 #s(literal -1 binary64) %1631))
(approx %182 (*.f64 #s(literal -1 binary64) %858))
(approx %186 (*.f64 #s(literal -1 binary64) %1593))
(approx %194 (*.f64 #s(literal -1 binary64) %1639))
(approx %194 (*.f64 #s(literal -1 binary64) %1644))
(approx %194 (*.f64 #s(literal -1 binary64) %1649))
(approx %235 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %215 %1662))))

%4 = (*.f64 x z)
%5 = (*.f64 y z)
%6 = (+.f64 y z)
%7 = (*.f64 x %6)
%12 = (+ x z)
%13 = (approx %12 z)
%14 = (/.f64 z y)
%15 = (/.f64 x y)
%16 = (sqrt.f64 %14)
%17 = (*.f64 y %16)
%18 = (*.f64 #s(literal -2 binary64) %17)
%21 = (* -1 x)
%22 = (* -1 z)
%24 = (/ (+ %21 %22) y)
%28 = (* -2 (* y (sqrt (* -1 %24))))
%29 = (approx %28 %18)
%30 = (+ x y)
%31 = (approx %30 y)
%32 = (/.f64 y z)
%33 = (+.f64 #s(literal 1 binary64) %32)
%34 = (*.f64 x %33)
%35 = (/.f64 x z)
%36 = (sqrt.f64 %32)
%37 = (*.f64 z %36)
%38 = (/.f64 x %36)
%39 = (fma.f64 #s(literal 1/2 binary64) %38 %37)
%40 = (/ %30 z)
%41 = (sqrt %40)
%43 = (approx (* z %41) %39)
%44 = (*.f64 #s(literal -2 binary64) %37)
%45 = (* -1 y)
%47 = (/ (+ %21 %45) z)
%51 = (* -2 (* z (sqrt (* -1 %47))))
%52 = (approx %51 %44)
%53 = (* x y)
%57 = (+ (+ %53 (* x z)) (* y z))
%58 = (approx %57 %7)
%59 = (/.f64 z x)
%60 = (+.f64 #s(literal 1 binary64) %59)
%61 = (*.f64 x %60)
%62 = (approx %12 %61)
%63 = (sqrt.f64 %59)
%64 = (*.f64 x %63)
%66 = (approx (/ %12 y) %15)
%67 = (/.f64 #s(literal 1 binary64) y)
%68 = (/.f64 y x)
%69 = (+.f64 #s(literal 1 binary64) %68)
%70 = (*.f64 x %69)
%71 = (approx %30 %70)
%72 = (sqrt.f64 %68)
%73 = (*.f64 x %72)
%77 = (approx (+ x (+ y (/ %53 z))) %34)
%78 = (approx %40 %35)
%79 = (/.f64 #s(literal 1 binary64) z)
%80 = (/.f64 y %4)
%81 = (+.f64 %79 %80)
%82 = (*.f64 x %81)
%83 = (/.f64 #s(literal 1 binary64) %4)
%84 = (sqrt.f64 %83)
%85 = (*.f64 x %84)
%86 = (approx %41 %85)
%87 = (*.f64 #s(literal -1 binary64) %82)
%88 = (approx %47 %87)
%90 = (/ (+ y z) x)
%91 = (approx %90 %59)
%92 = (*.f64 #s(literal -2 binary64) %64)
%94 = (/ (+ %45 %22) x)
%98 = (* -2 (* x (sqrt (* -1 %94))))
%99 = (approx %98 %92)
%100 = (sqrt.f64 %35)
%101 = (*.f64 z %100)
%102 = (*.f64 #s(literal -2 binary64) %101)
%103 = (approx %51 %102)
%104 = (approx %90 %68)
%105 = (/.f64 #s(literal 1 binary64) x)
%106 = (sqrt.f64 %15)
%107 = (*.f64 y %106)
%108 = (/.f64 x %5)
%109 = (/.f64 #s(literal 1 binary64) %5)
%110 = (sqrt.f64 %109)
%111 = (*.f64 y %110)
%112 = (approx %41 %111)
%113 = (*.f64 #s(literal -2 binary64) %73)
%114 = (approx %98 %113)
%115 = (*.f64 #s(literal -2 binary64) %107)
%116 = (approx %28 %115)
%117 = (+.f64 %105 %80)
%118 = (*.f64 z %117)
%119 = (+.f64 %67 %108)
%120 = (*.f64 z %119)
%121 = (*.f64 #s(literal -1 binary64) %118)
%122 = (approx %94 %121)
%123 = (*.f64 #s(literal -1 binary64) %120)
%124 = (approx %24 %123)
%126 = (sqrt %57)
%127 = (* 2 %126)
%132 = (sqrt.f64 %58)
%134 = (sqrt.f64 %66)
%135 = (*.f64 y %134)
%136 = (approx %126 %135)
%138 = (*.f64 z %86)
%139 = (approx %126 %138)
%141 = (*.f64 z %112)
%142 = (approx %126 %141)
%144 = (approx %126 %43)
%146 = (*.f64 z %77)
%147 = (approx %57 %146)
%148 = (sqrt.f64 %147)
%150 = (sqrt.f64 %78)
%151 = (*.f64 z %150)
%152 = (approx %126 %151)
%156 = (*.f64 #s(literal -1 binary64) %88)
%157 = (sqrt.f64 %156)
%158 = (*.f64 z %157)
%159 = (*.f64 #s(literal -2 binary64) %158)
%161 = (sqrt.f64 %104)
%162 = (*.f64 x %161)
%163 = (approx %126 %162)
%165 = (sqrt.f64 %91)
%166 = (*.f64 x %165)
%167 = (approx %126 %166)
%169 = (*.f64 #s(literal -1 binary64) %122)
%170 = (sqrt.f64 %169)
%171 = (*.f64 x %170)
%172 = (*.f64 #s(literal -2 binary64) %171)
%174 = (*.f64 #s(literal -1 binary64) %124)
%175 = (sqrt.f64 %174)
%176 = (*.f64 y %175)
%177 = (*.f64 #s(literal -2 binary64) %176)
%179 = (/.f64 %31 z)
%180 = (sqrt.f64 %179)
%181 = (*.f64 z %180)
%182 = (approx %126 %181)
%184 = (/.f64 %71 z)
%185 = (sqrt.f64 %184)
%186 = (*.f64 z %185)
%187 = (approx %126 %186)
%189 = (*.f64 y %62)
%190 = (approx %57 %189)
%191 = (sqrt.f64 %190)
%193 = (/.f64 %13 y)
%194 = (sqrt.f64 %193)
%195 = (*.f64 y %194)
%196 = (approx %126 %195)
#s(literal 2 binary64)
x
y
z
%4
%5
%6
%7
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -2 binary64)
#s(literal 1 binary64)
%13
%14
%15
%16
%17
%18
%29
%31
%32
%33
%34
%35
%36
%37
%38
%39
%43
%44
%52
%58
%59
%60
%61
%62
%63
%64
%66
%67
%68
%69
%70
%71
%72
%73
%77
%78
%79
%80
%81
%82
%83
%84
%85
%86
%87
%88
%91
%92
%99
%100
%101
%102
%103
%104
%105
%106
%107
%108
%109
%110
%111
%112
%113
%114
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
(approx %127 %116)
(approx %127 %29)
(approx %127 %99)
(approx %127 %114)
%132
(*.f64 #s(literal 2 binary64) %132)
%134
%135
%136
(*.f64 #s(literal 2 binary64) %136)
%138
%139
(*.f64 #s(literal 2 binary64) %139)
%141
%142
(*.f64 #s(literal 2 binary64) %142)
%144
(*.f64 #s(literal 2 binary64) %144)
%146
%147
%148
(*.f64 #s(literal 2 binary64) %148)
%150
%151
%152
(*.f64 #s(literal 2 binary64) %152)
(approx %127 %103)
(approx %127 %52)
%156
%157
%158
%159
(approx %127 %159)
%161
%162
%163
(*.f64 #s(literal 2 binary64) %163)
%165
%166
%167
(*.f64 #s(literal 2 binary64) %167)
%169
%170
%171
%172
(approx %127 %172)
%174
%175
%176
%177
(approx %127 %177)
%179
%180
%181
%182
(*.f64 #s(literal 2 binary64) %182)
%184
%185
%186
%187
(*.f64 #s(literal 2 binary64) %187)
%189
%190
%191
(*.f64 #s(literal 2 binary64) %191)
%193
%194
%195
%196
(*.f64 #s(literal 2 binary64) %196)

%6 = (* x z)
%7 = (*.f64 x z)
%10 = (+ y z)
%11 = (* x %10)
%12 = (+.f64 y z)
%13 = (*.f64 x %12)
%15 = (+ x z)
%17 = (+.f64 x z)
%19 = (/ x y)
%20 = (/.f64 x y)
%24 = (* -1 x)
%25 = (* -1 z)
%27 = (/ (+ %24 %25) y)
%28 = (* -1 %27)
%29 = (sqrt %28)
%30 = (* y %29)
%31 = (* -2 %30)
%33 = (/.f64 z y)
%34 = (sqrt.f64 %33)
%35 = (*.f64 y %34)
%39 = (/.f64 x %34)
%45 = (pow.f64 %34 #s(literal 3 binary64))
%46 = (*.f64 y %45)
%47 = (/.f64 x %46)
%50 = (/.f64 #s(literal 1 binary64) %34)
%57 = (pow.f64 y #s(literal 2 binary64))
%59 = (pow.f64 %34 #s(literal 5 binary64))
%61 = (/.f64 x (*.f64 %57 %59))
%62 = (/.f64 #s(literal 1 binary64) %46)
%70 = (+ x y)
%72 = (+.f64 x y)
%75 = (/ y z)
%76 = (+ 1 %75)
%77 = (* x %76)
%78 = (/.f64 y z)
%79 = (+.f64 #s(literal 1 binary64) %78)
%80 = (*.f64 x %79)
%82 = (/ x z)
%83 = (/.f64 x z)
%85 = (sqrt %75)
%86 = (/ x %85)
%87 = (sqrt.f64 %78)
%88 = (/.f64 x %87)
%92 = (* z %85)
%93 = (+ (* 1/2 %86) %92)
%94 = (*.f64 z %87)
%99 = (/ %70 z)
%100 = (sqrt %99)
%101 = (* z %100)
%102 = (pow.f64 %87 #s(literal 3 binary64))
%103 = (*.f64 z %102)
%104 = (/.f64 x %103)
%105 = (/.f64 #s(literal 1 binary64) %87)
%106 = (*.f64 #s(literal 1/2 binary64) %105)
%111 = (pow.f64 z #s(literal 2 binary64))
%112 = (pow.f64 %87 #s(literal 5 binary64))
%114 = (/.f64 x (*.f64 %111 %112))
%117 = (/.f64 #s(literal 1 binary64) %103)
%123 = (* -1 y)
%125 = (/ (+ %24 %123) z)
%126 = (* -1 %125)
%127 = (sqrt %126)
%128 = (* z %127)
%129 = (* -2 %128)
%147 = (* x y)
%149 = (* y z)
%150 = (+ (+ %147 %6) %149)
%151 = (*.f64 y z)
%155 = (/ z x)
%156 = (/.f64 z x)
%158 = (+ 1 %155)
%161 = (sqrt %155)
%162 = (sqrt.f64 %7)
%165 = (* x %161)
%167 = (/ %15 y)
%169 = (+.f64 %20 %33)
%171 = (/ y x)
%172 = (/.f64 y x)
%174 = (+ 1 %171)
%177 = (sqrt %171)
%178 = (*.f64 x y)
%179 = (sqrt.f64 %178)
%182 = (* x %177)
%186 = (+ x (+ y (/ %147 z)))
%190 = (+.f64 %83 %78)
%192 = (/ y %6)
%193 = (/.f64 y %7)
%196 = (+ (/ 1 z) %192)
%199 = (/ 1 %6)
%200 = (/.f64 #s(literal 1 binary64) %7)
%202 = (sqrt %199)
%203 = (sqrt.f64 %83)
%206 = (* x %202)
%209 = (/.f64 x %94)
%211 = (+.f64 %87 (*.f64 #s(literal 1/2 binary64) %209))
%213 = (*.f64 %111 %102)
%216 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %94))
%221 = (pow.f64 z #s(literal 3 binary64))
%232 = (* x %196)
%233 = (* -1 %232)
%234 = (*.f64 #s(literal -1 binary64) %78)
%238 = (/ %10 x)
%239 = (/.f64 %12 x)
%241 = (* -2 %165)
%245 = (/ (+ %123 %25) x)
%246 = (* -1 %245)
%247 = (sqrt %246)
%248 = (* x %247)
%249 = (* -2 %248)
%250 = (*.f64 #s(literal -1 binary64) z)
%251 = (fma.f64 #s(literal -1 binary64) y %250)
%253 = (*.f64 #s(literal -1 binary64) (*.f64 x %251))
%254 = (sqrt.f64 %253)
%257 = (sqrt %82)
%258 = (* z %257)
%259 = (*.f64 z %203)
%264 = (/ 1 x)
%265 = (/.f64 #s(literal 1 binary64) x)
%267 = (sqrt %19)
%268 = (sqrt.f64 %20)
%270 = (* y %267)
%271 = (*.f64 y %268)
%273 = (/ x %149)
%274 = (/.f64 x %151)
%276 = (* -2 %182)
%282 = (+ %264 %192)
%285 = (* z %282)
%286 = (*.f64 z %79)
%287 = (/.f64 %286 x)
%290 = (+ (/ 1 y) %273)
%291 = (/.f64 #s(literal 1 binary64) y)
%293 = (+.f64 %291 %274)
%295 = (* -1 %285)
%298 = (/.f64 %251 x)
%300 = (* z %290)
%301 = (* -1 %300)
%302 = (*.f64 #s(literal -1 binary64) %33)
%306 = (sqrt %150)
%307 = (* 2 %306)
%308 = (sqrt.f64 %151)
%311 = (/.f64 %13 %308)
%315 = (pow.f64 %12 #s(literal 2 binary64))
%317 = (pow.f64 %308 #s(literal 3 binary64))
%318 = (/.f64 (*.f64 x %315) %317)
%321 = (+.f64 (/.f64 y %308) (/.f64 z %308))
%326 = (/.f64 %315 %317)
%330 = (/.f64 (*.f64 x (pow.f64 %12 #s(literal 3 binary64))) (pow.f64 %308 #s(literal 5 binary64)))
%341 = (/.f64 %12 %308)
%354 = (sqrt %167)
%360 = (*.f64 %57 %45)
%363 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %35))
%368 = (pow.f64 y #s(literal 3 binary64))
%379 = (* y %354)
%383 = (*.f64 #s(literal 1/2 binary64) %50)
%393 = (* z %186)
%396 = (sqrt %238)
%397 = (sqrt.f64 %13)
%400 = (* x %396)
%402 = (*.f64 #s(literal -1 binary64) %298)
%407 = (* y %15)
%410 = (+.f64 #s(literal 1 binary64) %156)
%413 = (/.f64 #s(literal 1 binary64) %178)
%414 = (sqrt.f64 %413)
%415 = (*.f64 y %414)
%416 = (*.f64 x %415)
%419 = (pow.f64 x #s(literal 2 binary64))
%421 = (/.f64 z (*.f64 %419 %414))
%424 = (*.f64 x (fma.f64 #s(literal -2 binary64) %415 (*.f64 #s(literal -1 binary64) %421)))
%427 = (pow.f64 x #s(literal 4 binary64))
%428 = (pow.f64 %414 #s(literal 3 binary64))
%431 = (/.f64 %111 (*.f64 %427 (*.f64 y %428)))
%432 = (*.f64 #s(literal 1/4 binary64) %431)
%435 = (*.f64 x (fma.f64 #s(literal -2 binary64) %415 (fma.f64 #s(literal -1 binary64) %421 %432)))
%438 = (pow.f64 x #s(literal 6 binary64))
%439 = (pow.f64 %414 #s(literal 5 binary64))
%442 = (/.f64 %221 (*.f64 %438 (*.f64 %57 %439)))
%446 = (*.f64 x (fma.f64 #s(literal -2 binary64) %415 (fma.f64 #s(literal -1 binary64) %421 (fma.f64 #s(literal -1/8 binary64) %442 %432))))
%448 = (+.f64 #s(literal 1 binary64) %172)
%449 = (*.f64 x %448)
%453 = (/.f64 %94 x)
%457 = (sqrt.f64 %200)
%458 = (*.f64 z %457)
%459 = (*.f64 x %458)
%462 = (/.f64 y (*.f64 %419 %457))
%463 = (fma.f64 #s(literal 1/2 binary64) %462 %458)
%464 = (*.f64 x %463)
%466 = (pow.f64 %457 #s(literal 3 binary64))
%469 = (/.f64 %57 (*.f64 %427 (*.f64 z %466)))
%471 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %469 %463))
%473 = (pow.f64 %457 #s(literal 5 binary64))
%476 = (/.f64 %368 (*.f64 %438 (*.f64 %111 %473)))
%479 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %469 (fma.f64 #s(literal 1/16 binary64) %476 %463)))
%485 = (*.f64 x (fma.f64 #s(literal -2 binary64) %458 (*.f64 #s(literal -1 binary64) %462)))
%487 = (*.f64 #s(literal 1/4 binary64) %469)
%490 = (*.f64 x (fma.f64 #s(literal -2 binary64) %458 (fma.f64 #s(literal -1 binary64) %462 %487)))
%495 = (*.f64 x (fma.f64 #s(literal -2 binary64) %458 (fma.f64 #s(literal -1 binary64) %462 (fma.f64 #s(literal -1/8 binary64) %476 %487))))
%497 = (/.f64 %151 x)
%504 = (sqrt.f64 %156)
%506 = (*.f64 x %504)
%508 = (/.f64 z %178)
%510 = (*.f64 x (+.f64 %291 %508))
%513 = (sqrt.f64 %172)
%515 = (*.f64 x %513)
%521 = (/.f64 #s(literal 1 binary64) z)
%522 = (+.f64 %521 %193)
%523 = (*.f64 x %522)
%528 = (*.f64 x %457)
%532 = (*.f64 #s(literal 1/2 binary64) (/.f64 y (*.f64 %419 %458)))
%534 = (*.f64 x (+.f64 %457 %532))
%538 = (/.f64 %57 (*.f64 %427 (*.f64 %111 %466)))
%541 = (*.f64 x (+.f64 %457 (fma.f64 #s(literal -1/8 binary64) %538 %532)))
%549 = (*.f64 x (+.f64 %457 (fma.f64 #s(literal -1/8 binary64) %538 (fma.f64 #s(literal 1/16 binary64) (/.f64 %368 (*.f64 %438 (*.f64 %221 %473))) %532))))
%551 = (*.f64 #s(literal -1 binary64) %83)
%553 = (*.f64 #s(literal -1 binary64) %193)
%555 = (*.f64 x (-.f64 %553 %521))
%559 = (sqrt.f64 %402)
%560 = (*.f64 x %559)
%563 = (*.f64 x %414)
%568 = (/.f64 #s(literal 1 binary64) %151)
%572 = (*.f64 #s(literal -1 binary64) %20)
%574 = (*.f64 #s(literal -1 binary64) %508)
%576 = (*.f64 x (-.f64 %574 %291))
%578 = (sqrt.f64 %239)
%579 = (*.f64 x %578)
%583 = (/.f64 %151 (*.f64 %419 %578))
%584 = (fma.f64 #s(literal 2 binary64) %578 %583)
%587 = (*.f64 %57 %111)
%590 = (/.f64 %587 (*.f64 %427 (pow.f64 %578 #s(literal 3 binary64))))
%594 = (*.f64 %368 %221)
%597 = (/.f64 %594 (*.f64 %438 (pow.f64 %578 #s(literal 5 binary64))))
%603 = (*.f64 #s(literal 1/2 binary64) %583)
%618 = (*.f64 #s(literal 1/2 binary64) (/.f64 z (*.f64 %419 %415)))
%620 = (*.f64 x (+.f64 %414 %618))
%624 = (/.f64 %111 (*.f64 %427 (*.f64 %57 %428)))
%627 = (*.f64 x (+.f64 %414 (fma.f64 #s(literal -1/8 binary64) %624 %618)))
%635 = (*.f64 x (+.f64 %414 (fma.f64 #s(literal -1/8 binary64) %624 (fma.f64 #s(literal 1/16 binary64) (/.f64 %221 (*.f64 %438 (*.f64 %368 %439))) %618))))
%637 = (fma.f64 #s(literal 1/2 binary64) %421 %415)
%638 = (*.f64 x %637)
%641 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %431 %637))
%645 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %431 (fma.f64 #s(literal 1/16 binary64) %442 %637)))
%659 = (*.f64 #s(literal -1 binary64) %156)
%672 = (*.f64 #s(literal -1 binary64) %172)
%673 = (-.f64 %672 #s(literal 1 binary64))
%674 = (*.f64 x %673)
%699 = (*.f64 #s(literal -1 binary64) %497)
%707 = (-.f64 %234 #s(literal 1 binary64))
%735 = (*.f64 z %707)
%736 = (/.f64 %735 x)
%743 = (/.f64 %151 (*.f64 %419 %559))
%744 = (fma.f64 #s(literal 2 binary64) %559 %743)
%750 = (/.f64 %587 (*.f64 %427 (pow.f64 %559 #s(literal 3 binary64))))
%757 = (/.f64 %594 (*.f64 %438 (pow.f64 %559 #s(literal 5 binary64))))
%765 = (*.f64 #s(literal 1/2 binary64) %743)
%805 = (fma.f64 x y %7)
%808 = (sqrt (/ z y))
%815 = (fma.f64 #s(literal -1 binary64) x %250)
%817 = (*.f64 #s(literal -1 binary64) (*.f64 y %815))
%818 = (sqrt.f64 %817)
%822 = (/.f64 %178 z)
%823 = (+.f64 x %822)
%825 = (/.f64 y %203)
%828 = (pow.f64 %203 #s(literal 3 binary64))
%829 = (*.f64 z %828)
%830 = (/.f64 y %829)
%831 = (/.f64 #s(literal 1 binary64) %203)
%832 = (*.f64 #s(literal 1/2 binary64) %831)
%836 = (pow.f64 %203 #s(literal 5 binary64))
%838 = (/.f64 y (*.f64 %111 %836))
%840 = (/.f64 #s(literal 1 binary64) %829)
%861 = (*.f64 y %17)
%864 = (/.f64 %17 y)
%866 = (+.f64 #s(literal 1 binary64) %83)
%867 = (*.f64 y %866)
%874 = (*.f64 %111 %828)
%877 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %259))
%892 = (+.f64 %172 %156)
%894 = (/.f64 y %504)
%898 = (pow.f64 %504 #s(literal 3 binary64))
%899 = (*.f64 x %898)
%900 = (/.f64 y %899)
%902 = (/.f64 #s(literal 1 binary64) %504)
%907 = (pow.f64 %504 #s(literal 5 binary64))
%909 = (/.f64 y (*.f64 %419 %907))
%910 = (/.f64 #s(literal 1 binary64) %899)
%920 = (/ 1 %149)
%922 = (sqrt %920)
%925 = (+.f64 %265 %193)
%929 = (*.f64 z %866)
%930 = (/.f64 %929 y)
%937 = (/.f64 %815 y)
%941 = (/.f64 %861 %162)
%944 = (pow.f64 %17 #s(literal 2 binary64))
%946 = (pow.f64 %162 #s(literal 3 binary64))
%947 = (/.f64 (*.f64 y %944) %946)
%950 = (+.f64 (/.f64 x %162) (/.f64 z %162))
%955 = (/.f64 %944 %946)
%959 = (/.f64 (*.f64 y (pow.f64 %17 #s(literal 3 binary64))) (pow.f64 %162 #s(literal 5 binary64)))
%969 = (/.f64 %17 %162)
%982 = (sqrt.f64 %861)
%986 = (*.f64 y %929)
%993 = (*.f64 %419 %898)
%996 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %506))
%1001 = (pow.f64 x #s(literal 3 binary64))
%1014 = (*.f64 #s(literal 1/2 binary64) %902)
%1026 = (*.f64 #s(literal -1 binary64) %937)
%1035 = (/.f64 %7 y)
%1039 = (sqrt.f64 %1026)
%1040 = (*.f64 y %1039)
%1050 = (+.f64 %20 %83)
%1053 = (sqrt.f64 %568)
%1054 = (*.f64 y %1053)
%1056 = (*.f64 z %1053)
%1057 = (*.f64 y %1056)
%1059 = (/.f64 x %1054)
%1062 = (/.f64 x (*.f64 %57 %1053))
%1063 = (fma.f64 #s(literal 1/2 binary64) %1062 %1056)
%1064 = (*.f64 y %1063)
%1066 = (pow.f64 y #s(literal 4 binary64))
%1067 = (pow.f64 %1053 #s(literal 3 binary64))
%1070 = (/.f64 %419 (*.f64 %1066 (*.f64 z %1067)))
%1072 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1070 %1063))
%1074 = (pow.f64 y #s(literal 6 binary64))
%1075 = (pow.f64 %1053 #s(literal 5 binary64))
%1078 = (/.f64 %1001 (*.f64 %1074 (*.f64 %111 %1075)))
%1081 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1070 (fma.f64 #s(literal 1/16 binary64) %1078 %1063)))
%1083 = (* -2 %92)
%1088 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1056 (*.f64 #s(literal -1 binary64) %1062)))
%1090 = (*.f64 #s(literal 1/4 binary64) %1070)
%1093 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1056 (fma.f64 #s(literal -1 binary64) %1062 %1090)))
%1098 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1056 (fma.f64 #s(literal -1 binary64) %1062 (fma.f64 #s(literal -1/8 binary64) %1078 %1090))))
%1113 = (*.f64 y (+.f64 %521 %274))
%1120 = (*.f64 #s(literal 1/2 binary64) (/.f64 x (*.f64 %57 %1056)))
%1122 = (*.f64 y (+.f64 %1053 %1120))
%1126 = (/.f64 %419 (*.f64 %1066 (*.f64 %111 %1067)))
%1129 = (*.f64 y (+.f64 %1053 (fma.f64 #s(literal -1/8 binary64) %1126 %1120)))
%1137 = (*.f64 y (+.f64 %1053 (fma.f64 #s(literal -1/8 binary64) %1126 (fma.f64 #s(literal 1/16 binary64) (/.f64 %1001 (*.f64 %1074 (*.f64 %221 %1075))) %1120))))
%1139 = (*.f64 #s(literal -1 binary64) %274)
%1141 = (*.f64 y (-.f64 %1139 %521))
%1144 = (*.f64 y (+.f64 %265 %508))
%1146 = (*.f64 %57 %414)
%1147 = (/.f64 z %1146)
%1150 = (*.f64 y (fma.f64 #s(literal -2 binary64) %563 (*.f64 #s(literal -1 binary64) %1147)))
%1152 = (*.f64 %1066 %428)
%1154 = (/.f64 %111 (*.f64 x %1152))
%1155 = (*.f64 #s(literal 1/4 binary64) %1154)
%1158 = (*.f64 y (fma.f64 #s(literal -2 binary64) %563 (fma.f64 #s(literal -1 binary64) %1147 %1155)))
%1160 = (*.f64 %1074 %439)
%1162 = (/.f64 %221 (*.f64 %419 %1160))
%1166 = (*.f64 y (fma.f64 #s(literal -2 binary64) %563 (fma.f64 #s(literal -1 binary64) %1147 (fma.f64 #s(literal -1/8 binary64) %1162 %1155))))
%1174 = (*.f64 y (-.f64 %574 %265))
%1176 = (sqrt.f64 %864)
%1177 = (*.f64 y %1176)
%1181 = (/.f64 %7 (*.f64 %57 %1176))
%1182 = (fma.f64 #s(literal 2 binary64) %1176 %1181)
%1185 = (*.f64 %419 %111)
%1188 = (/.f64 %1185 (*.f64 %1066 (pow.f64 %1176 #s(literal 3 binary64))))
%1192 = (*.f64 %1001 %221)
%1195 = (/.f64 %1192 (*.f64 %1074 (pow.f64 %1176 #s(literal 5 binary64))))
%1201 = (*.f64 #s(literal 1/2 binary64) %1181)
%1221 = (*.f64 #s(literal 1/2 binary64) (/.f64 z (*.f64 x %1146)))
%1223 = (*.f64 y (+.f64 %414 %1221))
%1226 = (/.f64 %111 (*.f64 %419 %1152))
%1229 = (*.f64 y (+.f64 %414 (fma.f64 #s(literal -1/8 binary64) %1226 %1221)))
%1236 = (*.f64 y (+.f64 %414 (fma.f64 #s(literal -1/8 binary64) %1226 (fma.f64 #s(literal 1/16 binary64) (/.f64 %221 (*.f64 %1001 %1160)) %1221))))
%1238 = (fma.f64 #s(literal 1/2 binary64) %1147 %563)
%1239 = (*.f64 y %1238)
%1242 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1154 %1238))
%1246 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1154 (fma.f64 #s(literal 1/16 binary64) %1162 %1238)))
%1254 = (*.f64 #s(literal -1 binary64) %1035)
%1263 = (fma.f64 #s(literal -1 binary64) %20 %551)
%1295 = (-.f64 %551 #s(literal 1 binary64))
%1324 = (*.f64 z %1295)
%1325 = (/.f64 %1324 y)
%1332 = (/.f64 %7 (*.f64 %57 %1039))
%1333 = (fma.f64 #s(literal 2 binary64) %1039 %1332)
%1339 = (/.f64 %1185 (*.f64 %1066 (pow.f64 %1039 #s(literal 3 binary64))))
%1346 = (/.f64 %1192 (*.f64 %1074 (pow.f64 %1039 #s(literal 5 binary64))))
%1354 = (*.f64 #s(literal 1/2 binary64) %1332)
%1389 = (/.f64 z %268)
%1393 = (pow.f64 %268 #s(literal 3 binary64))
%1394 = (*.f64 y %1393)
%1395 = (/.f64 z %1394)
%1397 = (/.f64 #s(literal 1 binary64) %268)
%1402 = (pow.f64 %268 #s(literal 5 binary64))
%1404 = (/.f64 z (*.f64 %57 %1402))
%1405 = (/.f64 #s(literal 1 binary64) %1394)
%1419 = (/.f64 %7 %308)
%1424 = (*.f64 z %72)
%1425 = (sqrt.f64 %1424)
%1428 = (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) y))
%1430 = (*.f64 #s(literal -1 binary64) (*.f64 z %1428))
%1431 = (sqrt.f64 %1430)
%1434 = (fma.f64 x y %1424)
%1438 = (/.f64 %72 z)
%1442 = (/.f64 %449 z)
%1452 = (/.f64 %1428 z)
%1454 = (/.f64 z %513)
%1458 = (pow.f64 %513 #s(literal 3 binary64))
%1459 = (*.f64 x %1458)
%1460 = (/.f64 z %1459)
%1462 = (/.f64 #s(literal 1 binary64) %513)
%1467 = (pow.f64 %513 #s(literal 5 binary64))
%1469 = (/.f64 z (*.f64 %419 %1467))
%1470 = (/.f64 #s(literal 1 binary64) %1459)
%1491 = (/.f64 %1424 %179)
%1494 = (pow.f64 %72 #s(literal 2 binary64))
%1496 = (pow.f64 %179 #s(literal 3 binary64))
%1497 = (/.f64 (*.f64 z %1494) %1496)
%1500 = (+.f64 (/.f64 x %179) (/.f64 y %179))
%1505 = (/.f64 %1494 %1496)
%1509 = (/.f64 (*.f64 z (pow.f64 %72 #s(literal 3 binary64))) (pow.f64 %179 #s(literal 5 binary64)))
%1519 = (/.f64 %72 %179)
%1536 = (*.f64 %57 %1393)
%1539 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %271))
%1556 = (*.f64 #s(literal 1/2 binary64) %1397)
%1568 = (*.f64 #s(literal -1 binary64) %1452)
%1577 = (*.f64 %419 %1458)
%1580 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %515))
%1597 = (*.f64 #s(literal 1/2 binary64) %1462)
%1614 = (*.f64 %111 %1053)
%1615 = (/.f64 x %1614)
%1618 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1054 (*.f64 #s(literal -1 binary64) %1615)))
%1620 = (pow.f64 z #s(literal 4 binary64))
%1621 = (*.f64 %1620 %1067)
%1623 = (/.f64 %419 (*.f64 y %1621))
%1624 = (*.f64 #s(literal 1/4 binary64) %1623)
%1627 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1054 (fma.f64 #s(literal -1 binary64) %1615 %1624)))
%1629 = (pow.f64 z #s(literal 6 binary64))
%1630 = (*.f64 %1629 %1075)
%1632 = (/.f64 %1001 (*.f64 %57 %1630))
%1636 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1054 (fma.f64 #s(literal -1 binary64) %1615 (fma.f64 #s(literal -1/8 binary64) %1632 %1624))))
%1640 = (sqrt.f64 %1438)
%1641 = (*.f64 z %1640)
%1643 = (sqrt.f64 %1568)
%1644 = (*.f64 z %1643)
%1648 = (+.f64 y %822)
%1649 = (+.f64 x %1648)
%1656 = (*.f64 z %293)
%1660 = (*.f64 z %925)
%1662 = (*.f64 %111 %457)
%1663 = (/.f64 y %1662)
%1666 = (*.f64 z (fma.f64 #s(literal -2 binary64) %528 (*.f64 #s(literal -1 binary64) %1663)))
%1668 = (*.f64 %1620 %466)
%1670 = (/.f64 %57 (*.f64 x %1668))
%1671 = (*.f64 #s(literal 1/4 binary64) %1670)
%1674 = (*.f64 z (fma.f64 #s(literal -2 binary64) %528 (fma.f64 #s(literal -1 binary64) %1663 %1671)))
%1676 = (*.f64 %1629 %473)
%1678 = (/.f64 %368 (*.f64 %419 %1676))
%1682 = (*.f64 z (fma.f64 #s(literal -2 binary64) %528 (fma.f64 #s(literal -1 binary64) %1663 (fma.f64 #s(literal -1/8 binary64) %1678 %1671))))
%1685 = (*.f64 z (-.f64 %553 %265))
%1688 = (*.f64 z (-.f64 %1139 %291))
%1693 = (/.f64 %178 (*.f64 %111 %1640))
%1694 = (fma.f64 #s(literal 2 binary64) %1640 %1693)
%1697 = (*.f64 %419 %57)
%1700 = (/.f64 %1697 (*.f64 %1620 (pow.f64 %1640 #s(literal 3 binary64))))
%1704 = (*.f64 %1001 %368)
%1707 = (/.f64 %1704 (*.f64 %1629 (pow.f64 %1640 #s(literal 5 binary64))))
%1712 = (*.f64 #s(literal 1/2 binary64) %1693)
%1727 = (*.f64 #s(literal 1/2 binary64) (/.f64 x (*.f64 y %1614)))
%1729 = (*.f64 z (+.f64 %1053 %1727))
%1732 = (/.f64 %419 (*.f64 %57 %1621))
%1735 = (*.f64 z (+.f64 %1053 (fma.f64 #s(literal -1/8 binary64) %1732 %1727)))
%1742 = (*.f64 z (+.f64 %1053 (fma.f64 #s(literal -1/8 binary64) %1732 (fma.f64 #s(literal 1/16 binary64) (/.f64 %1001 (*.f64 %368 %1630)) %1727))))
%1744 = (fma.f64 #s(literal 1/2 binary64) %1615 %1054)
%1745 = (*.f64 z %1744)
%1748 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1623 %1744))
%1752 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1623 (fma.f64 #s(literal 1/16 binary64) %1632 %1744)))
%1758 = (*.f64 #s(literal 1/2 binary64) (/.f64 y (*.f64 x %1662)))
%1760 = (*.f64 z (+.f64 %457 %1758))
%1763 = (/.f64 %57 (*.f64 %419 %1668))
%1766 = (*.f64 z (+.f64 %457 (fma.f64 #s(literal -1/8 binary64) %1763 %1758)))
%1773 = (*.f64 z (+.f64 %457 (fma.f64 #s(literal -1/8 binary64) %1763 (fma.f64 #s(literal 1/16 binary64) (/.f64 %368 (*.f64 %1001 %1676)) %1758))))
%1775 = (fma.f64 #s(literal 1/2 binary64) %1663 %528)
%1776 = (*.f64 z %1775)
%1779 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1670 %1775))
%1783 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1670 (fma.f64 #s(literal 1/16 binary64) %1678 %1775)))
%1789 = (*.f64 #s(literal -1 binary64) %822)
%1811 = (fma.f64 #s(literal -1 binary64) y %1789)
%1823 = (/.f64 %674 z)
%1840 = (/.f64 %178 (*.f64 %111 %1643))
%1841 = (fma.f64 #s(literal 2 binary64) %1643 %1840)
%1847 = (/.f64 %1697 (*.f64 %1620 (pow.f64 %1643 #s(literal 3 binary64))))
%1854 = (/.f64 %1704 (*.f64 %1629 (pow.f64 %1643 #s(literal 5 binary64))))
%1862 = (*.f64 #s(literal 1/2 binary64) %1840)
(approx 2 #s(literal 0 binary64))
(approx x x)
(approx %6 %7)
(approx %11 %13)
(approx %15 z)
(approx %15 %17)
(approx %19 %20)
(approx %31 (*.f64 #s(literal -2 binary64) %35))
(approx %31 (fma.f64 #s(literal -2 binary64) %35 (*.f64 #s(literal -1 binary64) %39)))
(approx %31 (fma.f64 #s(literal -2 binary64) %35 (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %47) %50))))
(approx %31 (fma.f64 #s(literal -2 binary64) %35 (*.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %61 (*.f64 #s(literal 1/4 binary64) %62))) %50))))
(approx %70 y)
(approx %70 %72)
(approx %77 %80)
(approx %82 %83)
(approx %86 %88)
(approx %93 %94)
(approx %93 (fma.f64 #s(literal 1/2 binary64) %88 %94))
(approx %101 (fma.f64 x (fma.f64 #s(literal -1/8 binary64) %104 %106) %94))
(approx %101 (fma.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) %114) (*.f64 #s(literal 1/8 binary64) %117)) %106) %94))
(approx %129 (*.f64 #s(literal -2 binary64) %94))
(approx %129 (fma.f64 #s(literal -2 binary64) %94 (*.f64 #s(literal -1 binary64) %88)))
(approx %129 (fma.f64 #s(literal -2 binary64) %94 (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %104) %105))))
(approx %129 (fma.f64 #s(literal -2 binary64) %94 (*.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %114 (*.f64 #s(literal 1/4 binary64) %117))) %105))))
(approx %150 %151)
(approx %150 (fma.f64 x %12 %151))
(approx %155 %156)
(approx %158 (/.f64 %17 x))
(approx %161 (/.f64 %162 x))
(approx %165 %162)
(approx %167 %33)
(approx %167 %169)
(approx %171 %172)
(approx %174 (/.f64 %72 x))
(approx %177 (/.f64 %179 x))
(approx %182 %179)
(approx %186 (+.f64 y %80))
(approx %99 %78)
(approx %99 %190)
(approx %192 %193)
(approx %196 (/.f64 %190 x))
(approx %199 %200)
(approx %202 (/.f64 %203 x))
(approx %206 %203)
(approx %100 %87)
(approx %100 %211)
(approx %100 (+.f64 %87 (*.f64 x (fma.f64 #s(literal -1/8 binary64) (/.f64 x %213) %216))))
(approx %100 (+.f64 %87 (*.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 x (*.f64 %221 %112))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %213))) %216))))
(approx %233 %234)
(approx %233 (fma.f64 #s(literal -1 binary64) %83 %234))
(approx %238 %239)
(approx %241 (*.f64 #s(literal -2 binary64) %162))
(approx %249 (*.f64 #s(literal -2 binary64) %254))
(approx %258 %259)
(approx (* -2 %258) (*.f64 #s(literal -2 binary64) %259))
(approx %264 %265)
(approx %267 %268)
(approx %270 %271)
(approx %273 %274)
(approx %276 (*.f64 #s(literal -2 binary64) %179))
(approx (* -2 %270) (*.f64 #s(literal -2 binary64) %271))
(approx %282 (/.f64 %79 x))
(approx %285 %287)
(approx %290 %291)
(approx %290 %293)
(approx %295 (*.f64 #s(literal -1 binary64) %287))
(approx %245 %298)
(approx %301 %302)
(approx %301 (fma.f64 #s(literal -1 binary64) %20 %302))
(approx %307 (*.f64 #s(literal 2 binary64) %308))
(approx %307 (fma.f64 #s(literal 2 binary64) %308 %311))
(approx %307 (fma.f64 #s(literal 2 binary64) %308 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %318 %321))))
(approx %307 (fma.f64 #s(literal 2 binary64) %308 (*.f64 x (fma.f64 x (fma.f64 #s(literal -1/4 binary64) %326 (*.f64 #s(literal 1/8 binary64) %330)) %321))))
(approx %306 %308)
(approx %306 (+.f64 %308 (*.f64 #s(literal 1/2 binary64) %311)))
(approx %306 (+.f64 %308 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %318 (*.f64 #s(literal 1/2 binary64) %341)))))
(approx %306 (+.f64 %308 (*.f64 x (fma.f64 #s(literal 1/2 binary64) %341 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %326 (*.f64 #s(literal 1/16 binary64) %330)))))))
(approx %354 %34)
(approx %354 (+.f64 %34 (*.f64 #s(literal 1/2 binary64) (/.f64 x %35))))
(approx %354 (+.f64 %34 (*.f64 x (fma.f64 #s(literal -1/8 binary64) (/.f64 x %360) %363))))
(approx %354 (+.f64 %34 (*.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 x (*.f64 %368 %59))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %360))) %363))))
(approx %379 %35)
(approx %379 (fma.f64 #s(literal 1/2 binary64) %39 %35))
(approx %379 (fma.f64 x (fma.f64 #s(literal -1/8 binary64) %47 %383) %35))
(approx %379 (fma.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) %61) (*.f64 #s(literal 1/8 binary64) %62)) %383) %35))
(approx %393 (fma.f64 x %286 %151))
(approx %396 (/.f64 %397 x))
(approx %400 %397)
(approx %246 %402)
(approx %247 (/.f64 %254 x))
(approx %248 %254)
(approx %407 (fma.f64 x y %151))
(approx %15 (*.f64 x %410))
(approx %31 (*.f64 #s(literal -2 binary64) %416))
(approx %31 %424)
(approx %31 %435)
(approx %31 %446)
(approx %70 %449)
(approx %93 (*.f64 #s(literal 1/2 binary64) %88))
(approx %93 (*.f64 x (fma.f64 #s(literal 1/2 binary64) %105 %453)))
(approx %101 %459)
(approx %101 %464)
(approx %101 %471)
(approx %101 %479)
(approx %129 (*.f64 #s(literal -2 binary64) %459))
(approx %129 %485)
(approx %129 %490)
(approx %129 %495)
(approx %150 (*.f64 x (+.f64 y (+.f64 z %497))))
(approx %158 #s(literal 1 binary64))
(approx %158 %410)
(approx %161 %504)
(approx %165 %506)
(approx %167 %510)
(approx %174 %448)
(approx %177 %513)
(approx %182 %515)
(approx %186 (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 %172 %78))))
(approx %99 %523)
(approx %196 %521)
(approx %196 %522)
(approx %202 %457)
(approx %206 %528)
(approx %100 %534)
(approx %100 %541)
(approx %100 %549)
(approx %233 %551)
(approx %233 %555)
(approx %241 (*.f64 #s(literal -2 binary64) %506))
(approx %249 (*.f64 #s(literal -2 binary64) %560))
(approx %267 %563)
(approx %270 %416)
(approx %276 (*.f64 #s(literal -2 binary64) %515))
(approx %290 (*.f64 x (+.f64 %413 %568)))
(approx %301 %572)
(approx %301 %576)
(approx %307 (*.f64 #s(literal 2 binary64) %579))
(approx %307 (*.f64 x %584))
(approx %307 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %590 %584)))
(approx %307 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %590 (fma.f64 #s(literal 1/8 binary64) %597 %584))))
(approx %306 %579)
(approx %306 (*.f64 x (+.f64 %578 %603)))
(approx %306 (*.f64 x (+.f64 %578 (fma.f64 #s(literal -1/8 binary64) %590 %603))))
(approx %306 (*.f64 x (+.f64 %578 (fma.f64 #s(literal -1/8 binary64) %590 (fma.f64 #s(literal 1/16 binary64) %597 %603)))))
(approx %354 %620)
(approx %354 %627)
(approx %354 %635)
(approx %379 %638)
(approx %379 %641)
(approx %379 %645)
(approx %393 (*.f64 x %286))
(approx %393 (*.f64 x (fma.f64 z %79 %497)))
(approx %396 %578)
(approx %247 %559)
(approx %248 %560)
(approx %407 %178)
(approx %407 (*.f64 x (+.f64 y %497)))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %659 #s(literal 1 binary64)))))
(approx %31 (*.f64 #s(literal 2 binary64) %416))
(approx %31 (*.f64 #s(literal -1 binary64) %424))
(approx %31 (*.f64 #s(literal -1 binary64) %435))
(approx %31 (*.f64 #s(literal -1 binary64) %446))
(approx %70 (*.f64 #s(literal -1 binary64) %674))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %453) %106))))
(approx %101 (*.f64 #s(literal -1 binary64) %459))
(approx %101 (*.f64 #s(literal -1 binary64) %464))
(approx %101 (*.f64 #s(literal -1 binary64) %471))
(approx %101 (*.f64 #s(literal -1 binary64) %479))
(approx %129 (*.f64 #s(literal 2 binary64) %459))
(approx %129 (*.f64 #s(literal -1 binary64) %485))
(approx %129 (*.f64 #s(literal -1 binary64) %490))
(approx %129 (*.f64 #s(literal -1 binary64) %495))
(approx %150 %253)
(approx %150 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (fma.f64 #s(literal -1 binary64) z %699)))))
(approx %167 (*.f64 #s(literal -1 binary64) %576))
(approx %186 (*.f64 #s(literal -1 binary64) (*.f64 x %707)))
(approx %186 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) %172 %234) #s(literal 1 binary64)))))
(approx %99 (*.f64 #s(literal -1 binary64) %555))
(approx %100 (*.f64 #s(literal -1 binary64) %528))
(approx %100 (*.f64 #s(literal -1 binary64) %534))
(approx %100 (*.f64 #s(literal -1 binary64) %541))
(approx %100 (*.f64 #s(literal -1 binary64) %549))
(approx %233 (*.f64 #s(literal -1 binary64) %523))
(approx %267 (*.f64 #s(literal -1 binary64) %563))
(approx %270 (*.f64 #s(literal -1 binary64) %416))
(approx %282 (*.f64 #s(literal -1 binary64) (/.f64 %707 x)))
(approx %285 (*.f64 #s(literal -1 binary64) %736))
(approx %295 %736)
(approx %301 (*.f64 #s(literal -1 binary64) %510))
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 x %744)))
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/4 binary64) %750 %744))))
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/4 binary64) %750 (fma.f64 #s(literal 1/8 binary64) %757 %744)))))
(approx %306 (*.f64 #s(literal -1 binary64) %560))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %559 %765))))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %559 (fma.f64 #s(literal -1/8 binary64) %750 %765)))))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %559 (fma.f64 #s(literal -1/8 binary64) %750 (fma.f64 #s(literal 1/16 binary64) %757 %765))))))
(approx %354 (*.f64 #s(literal -1 binary64) %620))
(approx %354 (*.f64 #s(literal -1 binary64) %627))
(approx %354 (*.f64 #s(literal -1 binary64) %635))
(approx %379 (*.f64 #s(literal -1 binary64) %638))
(approx %379 (*.f64 #s(literal -1 binary64) %641))
(approx %379 (*.f64 #s(literal -1 binary64) %645))
(approx %393 (*.f64 #s(literal -1 binary64) (*.f64 x %735)))
(approx %393 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %497 %735))))
(approx %407 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y %699))))
(approx %10 %12)
(approx %11 %805)
(approx %808 (/.f64 %308 y))
(approx (* -2 (* y %808)) (*.f64 #s(literal -2 binary64) %308))
(approx %31 (*.f64 #s(literal -2 binary64) %818))
(approx %76 %79)
(approx %77 %823)
(approx %101 (fma.f64 #s(literal 1/2 binary64) %825 %259))
(approx %101 (fma.f64 y (fma.f64 #s(literal -1/8 binary64) %830 %832) %259))
(approx %101 (fma.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) %838) (*.f64 #s(literal 1/8 binary64) %840)) %832) %259))
(approx %129 (fma.f64 #s(literal -2 binary64) %259 (*.f64 #s(literal -1 binary64) %825)))
(approx %129 (fma.f64 #s(literal -2 binary64) %259 (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) %830) %831))))
(approx %129 (fma.f64 #s(literal -2 binary64) %259 (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %838 (*.f64 #s(literal 1/4 binary64) %840))) %831))))
(approx %150 (fma.f64 x z %861))
(approx %167 %864)
(approx %186 (+.f64 x %867))
(approx %100 (+.f64 %203 (*.f64 #s(literal 1/2 binary64) (/.f64 y %259))))
(approx %100 (+.f64 %203 (*.f64 y (fma.f64 #s(literal -1/8 binary64) (/.f64 y %874) %877))))
(approx %100 (+.f64 %203 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 y (*.f64 %221 %836))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %874))) %877))))
(approx %238 %892)
(approx %249 (fma.f64 #s(literal -2 binary64) %506 (*.f64 #s(literal -1 binary64) %894)))
(approx %249 (fma.f64 #s(literal -2 binary64) %506 (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) %900) %902))))
(approx %249 (fma.f64 #s(literal -2 binary64) %506 (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %909 (*.f64 #s(literal 1/4 binary64) %910))) %902))))
(approx %267 (/.f64 %179 y))
(approx %920 %568)
(approx %922 (/.f64 %87 y))
(approx %282 %925)
(approx %290 (/.f64 %866 y))
(approx %300 %930)
(approx %295 %659)
(approx %295 (fma.f64 #s(literal -1 binary64) %172 %659))
(approx %301 (*.f64 #s(literal -1 binary64) %930))
(approx %27 %937)
(approx %307 (*.f64 #s(literal 2 binary64) %162))
(approx %307 (fma.f64 #s(literal 2 binary64) %162 %941))
(approx %307 (fma.f64 #s(literal 2 binary64) %162 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %947 %950))))
(approx %307 (fma.f64 #s(literal 2 binary64) %162 (*.f64 y (fma.f64 y (fma.f64 #s(literal -1/4 binary64) %955 (*.f64 #s(literal 1/8 binary64) %959)) %950))))
(approx %306 (+.f64 %162 (*.f64 #s(literal 1/2 binary64) %941)))
(approx %306 (+.f64 %162 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %947 (*.f64 #s(literal 1/2 binary64) %969)))))
(approx %306 (+.f64 %162 (*.f64 y (fma.f64 #s(literal 1/2 binary64) %969 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %955 (*.f64 #s(literal 1/16 binary64) %959)))))))
(approx %354 (/.f64 %982 y))
(approx %379 %982)
(approx %393 (fma.f64 x z %986))
(approx %396 (+.f64 %504 (*.f64 #s(literal 1/2 binary64) (/.f64 y %506))))
(approx %396 (+.f64 %504 (*.f64 y (fma.f64 #s(literal -1/8 binary64) (/.f64 y %993) %996))))
(approx %396 (+.f64 %504 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 y (*.f64 %1001 %907))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %993))) %996))))
(approx %400 (fma.f64 #s(literal 1/2 binary64) %894 %506))
(approx %400 (fma.f64 x %504 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %900 %1014))))
(approx %400 (fma.f64 x %504 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) %909) (*.f64 #s(literal 1/8 binary64) %910)) %1014))))
(approx %28 %1026)
(approx %29 (/.f64 %818 y))
(approx %30 %818)
(approx %407 %861)
(approx %10 (*.f64 y (+.f64 #s(literal 1 binary64) %33)))
(approx %11 (*.f64 y (+.f64 x %1035)))
(approx %31 (*.f64 #s(literal -2 binary64) %1040))
(approx %70 (*.f64 y (+.f64 #s(literal 1 binary64) %20)))
(approx %76 (*.f64 y (+.f64 %291 %521)))
(approx %77 %822)
(approx %77 (*.f64 y %1050))
(approx %85 %1054)
(approx %92 %1057)
(approx %86 %1059)
(approx %93 %1064)
(approx %101 %1072)
(approx %101 %1081)
(approx %1083 (*.f64 #s(literal -2 binary64) %1057))
(approx %129 %1088)
(approx %129 %1093)
(approx %129 %1098)
(approx %150 (*.f64 y (+.f64 x (+.f64 z %1035))))
(approx %174 (*.f64 y (+.f64 %265 %291)))
(approx %177 %415)
(approx %186 %867)
(approx %186 (*.f64 y (+.f64 #s(literal 1 binary64) %1050)))
(approx %99 %1113)
(approx %196 (*.f64 y (+.f64 %200 %568)))
(approx %100 %1122)
(approx %100 %1129)
(approx %100 %1137)
(approx %233 %1141)
(approx %238 %1144)
(approx %249 %1150)
(approx %249 %1158)
(approx %249 %1166)
(approx %922 %1053)
(approx %282 (*.f64 y (+.f64 %413 %200)))
(approx %295 %672)
(approx %295 %1174)
(approx %307 (*.f64 #s(literal 2 binary64) %1177))
(approx %307 (*.f64 y %1182))
(approx %307 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1188 %1182)))
(approx %307 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1188 (fma.f64 #s(literal 1/8 binary64) %1195 %1182))))
(approx %306 %1177)
(approx %306 (*.f64 y (+.f64 %1176 %1201)))
(approx %306 (*.f64 y (+.f64 %1176 (fma.f64 #s(literal -1/8 binary64) %1188 %1201))))
(approx %306 (*.f64 y (+.f64 %1176 (fma.f64 #s(literal -1/8 binary64) %1188 (fma.f64 #s(literal 1/16 binary64) %1195 %1201)))))
(approx %354 %1176)
(approx %393 %986)
(approx %393 (*.f64 y (fma.f64 z %866 %1035)))
(approx %396 %1223)
(approx %396 %1229)
(approx %396 %1236)
(approx %400 %1239)
(approx %400 %1242)
(approx %400 %1246)
(approx %29 %1039)
(approx %30 %1040)
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %302 #s(literal 1 binary64)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %1254))))
(approx %70 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %572 #s(literal 1 binary64)))))
(approx %77 (*.f64 #s(literal -1 binary64) (*.f64 y %1263)))
(approx %85 (*.f64 #s(literal -1 binary64) %1054))
(approx %92 (*.f64 #s(literal -1 binary64) %1057))
(approx %86 (*.f64 #s(literal -1 binary64) %1059))
(approx %93 (*.f64 #s(literal -1 binary64) %1064))
(approx %101 (*.f64 #s(literal -1 binary64) %1072))
(approx %101 (*.f64 #s(literal -1 binary64) %1081))
(approx %1083 (*.f64 #s(literal 2 binary64) %1057))
(approx %129 (*.f64 #s(literal -1 binary64) %1088))
(approx %129 (*.f64 #s(literal -1 binary64) %1093))
(approx %129 (*.f64 #s(literal -1 binary64) %1098))
(approx %150 %817)
(approx %150 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (fma.f64 #s(literal -1 binary64) z %1254)))))
(approx %177 (*.f64 #s(literal -1 binary64) %415))
(approx %186 (*.f64 #s(literal -1 binary64) (*.f64 y %1295)))
(approx %186 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %1263 #s(literal 1 binary64)))))
(approx %99 (*.f64 #s(literal -1 binary64) %1141))
(approx %100 (*.f64 #s(literal -1 binary64) %1122))
(approx %100 (*.f64 #s(literal -1 binary64) %1129))
(approx %100 (*.f64 #s(literal -1 binary64) %1137))
(approx %233 (*.f64 #s(literal -1 binary64) %1113))
(approx %238 (*.f64 #s(literal -1 binary64) %1174))
(approx %249 (*.f64 #s(literal -1 binary64) %1150))
(approx %249 (*.f64 #s(literal -1 binary64) %1158))
(approx %249 (*.f64 #s(literal -1 binary64) %1166))
(approx %290 (*.f64 #s(literal -1 binary64) (/.f64 %1295 y)))
(approx %300 (*.f64 #s(literal -1 binary64) %1325))
(approx %295 (*.f64 #s(literal -1 binary64) %1144))
(approx %301 %1325)
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 y %1333)))
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1339 %1333))))
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1339 (fma.f64 #s(literal 1/8 binary64) %1346 %1333)))))
(approx %306 (*.f64 #s(literal -1 binary64) %1040))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1039 %1354))))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1039 (fma.f64 #s(literal -1/8 binary64) %1339 %1354)))))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1039 (fma.f64 #s(literal -1/8 binary64) %1339 (fma.f64 #s(literal 1/16 binary64) %1346 %1354))))))
(approx %393 (*.f64 #s(literal -1 binary64) (*.f64 y %1324)))
(approx %393 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %1035 %1324))))
(approx %396 (*.f64 #s(literal -1 binary64) %1223))
(approx %396 (*.f64 #s(literal -1 binary64) %1229))
(approx %396 (*.f64 #s(literal -1 binary64) %1236))
(approx %400 (*.f64 #s(literal -1 binary64) %1239))
(approx %400 (*.f64 #s(literal -1 binary64) %1242))
(approx %400 (*.f64 #s(literal -1 binary64) %1246))
(approx %31 (fma.f64 #s(literal -2 binary64) %271 (*.f64 #s(literal -1 binary64) %1389)))
(approx %31 (fma.f64 #s(literal -2 binary64) %271 (*.f64 z (-.f64 (*.f64 #s(literal 1/4 binary64) %1395) %1397))))
(approx %31 (fma.f64 #s(literal -2 binary64) %271 (*.f64 z (-.f64 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1404 (*.f64 #s(literal 1/4 binary64) %1405))) %1397))))
(approx %76 (/.f64 %12 z))
(approx %77 (/.f64 %805 z))
(approx %85 (/.f64 %308 z))
(approx %86 %1419)
(approx %93 (+.f64 %308 (*.f64 #s(literal 1/2 binary64) %1419)))
(approx %101 %1425)
(approx %129 (*.f64 #s(literal -2 binary64) %1431))
(approx %150 %1434)
(approx %186 (/.f64 %1434 z))
(approx %99 %1438)
(approx %196 (/.f64 %448 z))
(approx %232 %1442)
(approx %202 (/.f64 %504 z))
(approx %206 (/.f64 %506 z))
(approx %100 (/.f64 %1425 z))
(approx %233 (*.f64 #s(literal -1 binary64) %1442))
(approx %125 %1452)
(approx %249 (fma.f64 #s(literal -2 binary64) %515 (*.f64 #s(literal -1 binary64) %1454)))
(approx %249 (fma.f64 #s(literal -2 binary64) %515 (*.f64 z (-.f64 (*.f64 #s(literal 1/4 binary64) %1460) %1462))))
(approx %249 (fma.f64 #s(literal -2 binary64) %515 (*.f64 z (-.f64 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1469 (*.f64 #s(literal 1/4 binary64) %1470))) %1462))))
(approx %257 (/.f64 %162 z))
(approx %922 (/.f64 %34 z))
(approx (* y %922) (/.f64 %35 z))
(approx %282 (/.f64 %892 z))
(approx %290 (/.f64 %169 z))
(approx %307 (*.f64 #s(literal 2 binary64) %179))
(approx %307 (fma.f64 #s(literal 2 binary64) %179 %1491))
(approx %307 (fma.f64 #s(literal 2 binary64) %179 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1497 %1500))))
(approx %307 (fma.f64 #s(literal 2 binary64) %179 (*.f64 z (fma.f64 z (fma.f64 #s(literal -1/4 binary64) %1505 (*.f64 #s(literal 1/8 binary64) %1509)) %1500))))
(approx %306 (+.f64 %179 (*.f64 #s(literal 1/2 binary64) %1491)))
(approx %306 (+.f64 %179 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1497 (*.f64 #s(literal 1/2 binary64) %1519)))))
(approx %306 (+.f64 %179 (*.f64 z (fma.f64 #s(literal 1/2 binary64) %1519 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1505 (*.f64 #s(literal 1/16 binary64) %1509)))))))
(approx %354 (+.f64 %268 (*.f64 #s(literal 1/2 binary64) (/.f64 z %271))))
(approx %354 (+.f64 %268 (*.f64 z (fma.f64 #s(literal -1/8 binary64) (/.f64 z %1536) %1539))))
(approx %354 (+.f64 %268 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 z (*.f64 %368 %1402))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %1536))) %1539))))
(approx %379 (fma.f64 #s(literal 1/2 binary64) %1389 %271))
(approx %379 (fma.f64 y %268 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1395 %1556))))
(approx %379 (fma.f64 y %268 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) %1404) (*.f64 #s(literal 1/8 binary64) %1405)) %1556))))
(approx %126 %1568)
(approx %127 (/.f64 %1431 z))
(approx %128 %1431)
(approx %396 (+.f64 %513 (*.f64 #s(literal 1/2 binary64) (/.f64 z %515))))
(approx %396 (+.f64 %513 (*.f64 z (fma.f64 #s(literal -1/8 binary64) (/.f64 z %1577) %1580))))
(approx %396 (+.f64 %513 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 z (*.f64 %1001 %1467))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %1577))) %1580))))
(approx %400 (fma.f64 #s(literal 1/2 binary64) %1454 %515))
(approx %400 (fma.f64 x %513 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1460 %1597))))
(approx %400 (fma.f64 x %513 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) %1469) (*.f64 #s(literal 1/8 binary64) %1470)) %1597))))
(approx %10 %286)
(approx %11 (*.f64 z %823))
(approx %15 %929)
(approx %808 %1056)
(approx %31 %1618)
(approx %31 %1627)
(approx %31 %1636)
(approx %93 (*.f64 z %211))
(approx %101 %1641)
(approx %129 (*.f64 #s(literal -2 binary64) %1644))
(approx %150 %1424)
(approx %150 (*.f64 z %1649))
(approx %158 (*.f64 z (+.f64 %265 %521)))
(approx %161 %458)
(approx %167 %1656)
(approx %186 %1649)
(approx %100 %1640)
(approx %238 %1660)
(approx %249 %1666)
(approx %249 %1674)
(approx %249 %1682)
(approx %295 %1685)
(approx %301 %1688)
(approx %307 (*.f64 #s(literal 2 binary64) %1641))
(approx %307 (*.f64 z %1694))
(approx %307 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1700 %1694)))
(approx %307 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1700 (fma.f64 #s(literal 1/8 binary64) %1707 %1694))))
(approx %306 (*.f64 z (+.f64 %1640 %1712)))
(approx %306 (*.f64 z (+.f64 %1640 (fma.f64 #s(literal -1/8 binary64) %1700 %1712))))
(approx %306 (*.f64 z (+.f64 %1640 (fma.f64 #s(literal -1/8 binary64) %1700 (fma.f64 #s(literal 1/16 binary64) %1707 %1712)))))
(approx %354 %1729)
(approx %354 %1735)
(approx %354 %1742)
(approx %379 %1745)
(approx %379 %1748)
(approx %379 %1752)
(approx %127 %1643)
(approx %128 %1644)
(approx %396 %1760)
(approx %396 %1766)
(approx %396 %1773)
(approx %400 %1776)
(approx %400 %1779)
(approx %400 %1783)
(approx %407 (*.f64 z %1648))
(approx %10 (*.f64 #s(literal -1 binary64) %735))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x %1789))))
(approx %15 (*.f64 #s(literal -1 binary64) %1324))
(approx %808 (*.f64 #s(literal -1 binary64) %1056))
(approx %31 (*.f64 #s(literal -1 binary64) %1618))
(approx %31 (*.f64 #s(literal -1 binary64) %1627))
(approx %31 (*.f64 #s(literal -1 binary64) %1636))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %87 (*.f64 #s(literal -1/2 binary64) %209)))))
(approx %150 %1430)
(approx %150 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x %1811))))
(approx %161 (*.f64 #s(literal -1 binary64) %458))
(approx %167 (*.f64 #s(literal -1 binary64) %1688))
(approx %196 (*.f64 #s(literal -1 binary64) (/.f64 %673 z)))
(approx %232 (*.f64 #s(literal -1 binary64) %1823))
(approx %233 %1823)
(approx %238 (*.f64 #s(literal -1 binary64) %1685))
(approx %249 (*.f64 #s(literal -1 binary64) %1666))
(approx %249 (*.f64 #s(literal -1 binary64) %1674))
(approx %249 (*.f64 #s(literal -1 binary64) %1682))
(approx %295 (*.f64 #s(literal -1 binary64) %1660))
(approx %301 (*.f64 #s(literal -1 binary64) %1656))
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 z %1841)))
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1847 %1841))))
(approx %307 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1847 (fma.f64 #s(literal 1/8 binary64) %1854 %1841)))))
(approx %306 (*.f64 #s(literal -1 binary64) %1644))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1643 %1862))))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1643 (fma.f64 #s(literal -1/8 binary64) %1847 %1862)))))
(approx %306 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1643 (fma.f64 #s(literal -1/8 binary64) %1847 (fma.f64 #s(literal 1/16 binary64) %1854 %1862))))))
(approx %354 (*.f64 #s(literal -1 binary64) %1729))
(approx %354 (*.f64 #s(literal -1 binary64) %1735))
(approx %354 (*.f64 #s(literal -1 binary64) %1742))
(approx %379 (*.f64 #s(literal -1 binary64) %1745))
(approx %379 (*.f64 #s(literal -1 binary64) %1748))
(approx %379 (*.f64 #s(literal -1 binary64) %1752))
(approx %393 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %72 %1789))))
(approx %396 (*.f64 #s(literal -1 binary64) %1760))
(approx %396 (*.f64 #s(literal -1 binary64) %1766))
(approx %396 (*.f64 #s(literal -1 binary64) %1773))
(approx %400 (*.f64 #s(literal -1 binary64) %1776))
(approx %400 (*.f64 #s(literal -1 binary64) %1779))
(approx %400 (*.f64 #s(literal -1 binary64) %1783))
(approx %407 (*.f64 #s(literal -1 binary64) (*.f64 z %1811)))

%8 = (*.f64 z x)
%9 = (/.f64 z y)
%10 = (sqrt.f64 %9)
%11 = (/.f64 y z)
%12 = (sqrt.f64 %11)
%13 = (/.f64 #s(literal 1 binary64) %12)
%14 = (/.f64 z x)
%15 = (/.f64 #s(literal 1 binary64) y)
%16 = (/.f64 y x)
%17 = (sqrt.f64 %16)
%18 = (/.f64 #s(literal 1 binary64) z)
%19 = (/.f64 #s(literal 1 binary64) x)
%20 = (/.f64 #s(literal 1 binary64) %17)
%22 = (approx (+ z x) z)
%23 = (*.f64 z %15)
%24 = (fabs.f64 y)
%25 = (sqrt.f64 %24)
%26 = (fabs.f64 z)
%27 = (sqrt.f64 %26)
%28 = (*.f64 #s(literal -2 binary64) y)
%29 = (+ y x)
%30 = (approx %29 y)
%31 = (fma.f64 %11 x x)
%32 = (*.f64 x %18)
%33 = (fabs.f64 %18)
%34 = (sqrt.f64 %33)
%35 = (*.f64 %12 z)
%36 = (*.f64 %10 x)
%37 = (fma.f64 %36 #s(literal 1/2 binary64) %35)
%39 = (sqrt (/ %29 z))
%41 = (approx (* %39 z) %37)
%42 = (fabs.f64 x)
%43 = (sqrt.f64 %42)
%44 = (fma.f64 x %16 x)
%49 = (approx (+ (+ (/ (* y x) z) y) x) %31)
%50 = (/.f64 %8 y)
%51 = (/.f64 #s(literal 1 binary64) %50)
%52 = (fabs.f64 %8)
%53 = (sqrt.f64 %52)
%54 = (/.f64 x %53)
%55 = (approx %39 %54)
%58 = (approx (/ (+ z y) x) %14)
%59 = (*.f64 %43 %34)
%60 = (*.f64 %28 %43)
%61 = (/.f64 %60 %25)
%62 = (*.f64 z %55)
%63 = (*.f64 z %49)
%64 = (sqrt.f64 %58)
%65 = (pow.f64 %64 #s(literal -1 binary64))
%66 = (/.f64 #s(literal 1 binary64) %65)
%67 = (*.f64 %30 %18)
%68 = (/.f64 z %30)
%69 = (/.f64 #s(literal 1 binary64) %68)
%70 = (fabs.f64 %30)
%71 = (sqrt.f64 %70)
%72 = (*.f64 z %71)
%73 = (/.f64 %72 %27)
%74 = (fabs.f64 %22)
%75 = (sqrt.f64 %74)
%76 = (*.f64 y %75)
%77 = (/.f64 %76 %25)
%78 = (*.f64 x %66)
%83 = (+ (+ (* x y) (* x z)) (* y z))
%84 = (sqrt %83)
%85 = (approx %84 %78)
%87 = (approx %84 %41)
%89 = (*.f64 y %13)
%90 = (*.f64 #s(literal -2 binary64) %89)
%93 = (* -1 x)
%94 = (* -1 z)
%100 = (* -2 (* y (sqrt (* -1 (/ (+ %93 %94) y)))))
%101 = (approx %100 %90)
%103 = (* 2 %84)
%105 = (*.f64 z %59)
%106 = (*.f64 #s(literal -2 binary64) %105)
%107 = (* -1 y)
%113 = (* -2 (* z (sqrt (* -1 (/ (+ %93 %107) z)))))
%114 = (approx %113 %106)
%116 = (approx %83 %63)
%117 = (sqrt.f64 %116)
%119 = (approx %84 %62)
%121 = (+.f64 %19 %51)
%122 = (*.f64 z %121)
%123 = (*.f64 #s(literal -1 binary64) %122)
%126 = (approx (/ (+ %107 %94) x) %123)
%127 = (*.f64 #s(literal -1 binary64) %126)
%128 = (sqrt.f64 %127)
%129 = (*.f64 x %128)
%130 = (*.f64 #s(literal -2 binary64) %129)
%132 = (sqrt.f64 %69)
%133 = (*.f64 z %132)
%134 = (approx %84 %133)
%136 = (sqrt.f64 %67)
%137 = (*.f64 z %136)
%138 = (approx %84 %137)
%140 = (approx %84 %73)
%143 = (approx (+ x y) %44)
%144 = (/.f64 %143 z)
%145 = (sqrt.f64 %144)
%146 = (*.f64 z %145)
%147 = (approx %84 %146)
%149 = (sqrt.f64 %32)
%150 = (*.f64 z %149)
%151 = (*.f64 #s(literal -2 binary64) %150)
%152 = (approx %113 %151)
%154 = (*.f64 y %20)
%155 = (*.f64 #s(literal -2 binary64) %154)
%156 = (approx %100 %155)
%158 = (sqrt.f64 %23)
%159 = (*.f64 y %158)
%160 = (*.f64 #s(literal -2 binary64) %159)
%161 = (approx %100 %160)
%163 = (approx %84 %77)
%165 = (approx %100 %61)
#s(literal 2 binary64)
x
y
z
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -2 binary64)
#s(literal 1 binary64)
%8
%9
%10
%11
%12
%13
%14
%15
%16
%17
%18
%19
%20
%22
%23
%24
%25
%26
%27
%28
%30
%31
%32
%33
%34
%35
%36
%37
%41
%42
%43
%44
%49
%50
%51
%52
%53
%54
%55
%58
%59
%60
%61
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%74
%75
%76
%77
%78
%85
(*.f64 #s(literal 2 binary64) %85)
%87
(*.f64 #s(literal 2 binary64) %87)
%89
%90
%101
(approx %103 %101)
%105
%106
%114
(approx %103 %114)
%116
%117
(*.f64 #s(literal 2 binary64) %117)
%119
(*.f64 #s(literal 2 binary64) %119)
%121
%122
%123
%126
%127
%128
%129
%130
(approx %103 %130)
%132
%133
%134
(*.f64 #s(literal 2 binary64) %134)
%136
%137
%138
(*.f64 #s(literal 2 binary64) %138)
%140
(*.f64 #s(literal 2 binary64) %140)
%143
%144
%145
%146
%147
(*.f64 #s(literal 2 binary64) %147)
%149
%150
%151
%152
(approx %103 %152)
%154
%155
%156
(approx %103 %156)
%158
%159
%160
%161
(approx %103 %161)
%163
(*.f64 #s(literal 2 binary64) %163)
%165
(approx %103 %165)

%6 = (* z x)
%7 = (*.f64 x z)
%10 = (/.f64 z x)
%13 = (/ y x)
%14 = (/.f64 y x)
%16 = (sqrt %13)
%17 = (*.f64 x y)
%18 = (sqrt.f64 %17)
%22 = (/ 1 x)
%24 = (/.f64 #s(literal 1 binary64) x)
%26 = (/ 1 %16)
%27 = (/.f64 x %18)
%29 = (+ z x)
%31 = (+.f64 x z)
%33 = (+ y x)
%35 = (+.f64 x y)
%37 = (/ y z)
%39 = (+ (* %37 x) x)
%40 = (/.f64 y z)
%41 = (+.f64 #s(literal 1 binary64) %40)
%42 = (*.f64 x %41)
%44 = (/ 1 z)
%45 = (* x %44)
%46 = (/.f64 x z)
%49 = (sqrt (/ z y))
%50 = (* %49 x)
%51 = (/.f64 z y)
%52 = (sqrt.f64 %51)
%53 = (*.f64 x %52)
%57 = (sqrt %37)
%58 = (* %57 z)
%59 = (+ (* %50 1/2) %58)
%60 = (sqrt.f64 %40)
%61 = (*.f64 z %60)
%67 = (sqrt (/ %33 z))
%68 = (* %67 z)
%69 = (/.f64 x %60)
%74 = (pow.f64 %60 #s(literal 3 binary64))
%75 = (*.f64 z %74)
%76 = (/.f64 x %75)
%77 = (/.f64 #s(literal 1 binary64) %60)
%78 = (*.f64 #s(literal 1/2 binary64) %77)
%84 = (pow.f64 z #s(literal 2 binary64))
%86 = (pow.f64 %60 #s(literal 5 binary64))
%88 = (/.f64 x (*.f64 %84 %86))
%91 = (/.f64 #s(literal 1 binary64) %75)
%97 = (fabs x)
%98 = (fabs.f64 x)
%100 = (sqrt %97)
%101 = (sqrt.f64 %98)
%106 = (+ (+ (/ (* y x) z) y) x)
%109 = (/ %6 y)
%110 = (/.f64 %7 y)
%112 = (/ 1 %109)
%113 = (/.f64 y %7)
%115 = (fabs %6)
%116 = (fabs.f64 %7)
%118 = (sqrt %115)
%119 = (sqrt.f64 %116)
%129 = (*.f64 %84 %74)
%132 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %61))
%137 = (pow.f64 z #s(literal 3 binary64))
%149 = (/ (+ z y) x)
%150 = (+.f64 y z)
%151 = (/.f64 %150 x)
%153 = (fabs %44)
%154 = (sqrt %153)
%155 = (* %100 %154)
%156 = (/.f64 #s(literal 1 binary64) z)
%157 = (fabs.f64 %156)
%158 = (sqrt.f64 %157)
%159 = (*.f64 %101 %158)
%162 = (* -2 y)
%163 = (* %162 %100)
%165 = (*.f64 y %101)
%168 = (fabs y)
%169 = (sqrt %168)
%170 = (/ %163 %169)
%171 = (fabs.f64 y)
%172 = (sqrt.f64 %171)
%176 = (* z %106)
%177 = (*.f64 y z)
%179 = (*.f64 z %41)
%182 = (sqrt %149)
%183 = (*.f64 x %150)
%184 = (sqrt.f64 %183)
%188 = (pow %182 -1)
%191 = (* %33 %44)
%195 = (/ z %33)
%198 = (pow.f64 y #s(literal 2 binary64))
%202 = (pow.f64 y #s(literal 3 binary64))
%204 = (/.f64 z %198)
%209 = (pow.f64 y #s(literal 4 binary64))
%219 = (fabs %33)
%220 = (fabs.f64 %35)
%222 = (sqrt %219)
%223 = (sqrt.f64 %220)
%225 = (* z %222)
%226 = (*.f64 z %223)
%228 = (fabs z)
%229 = (sqrt %228)
%230 = (/ %225 %229)
%231 = (fabs.f64 z)
%232 = (sqrt.f64 %231)
%235 = (fabs %29)
%236 = (fabs.f64 %31)
%238 = (sqrt %235)
%239 = (sqrt.f64 %236)
%241 = (* y %238)
%242 = (*.f64 y %239)
%244 = (/ %241 %169)
%248 = (* x (/ 1 %188))
%254 = (+ (+ (* x y) (* x z)) (* y z))
%255 = (sqrt %254)
%256 = (sqrt.f64 %177)
%258 = (/.f64 %183 %256)
%262 = (pow.f64 %150 #s(literal 2 binary64))
%264 = (pow.f64 %256 #s(literal 3 binary64))
%265 = (/.f64 (*.f64 x %262) %264)
%266 = (/.f64 %150 %256)
%272 = (/.f64 %262 %264)
%276 = (/.f64 (*.f64 x (pow.f64 %150 #s(literal 3 binary64))) (pow.f64 %256 #s(literal 5 binary64)))
%284 = (* 2 %255)
%291 = (/.f64 z %256)
%292 = (+.f64 (/.f64 y %256) %291)
%303 = (* -1 x)
%304 = (* -1 z)
%310 = (* -2 (* y (sqrt (* -1 (/ (+ %303 %304) y)))))
%311 = (*.f64 y %52)
%320 = (*.f64 y (pow.f64 %52 #s(literal 3 binary64)))
%323 = (/.f64 #s(literal 1 binary64) %52)
%339 = (* z %155)
%340 = (*.f64 z %159)
%342 = (* -2 %339)
%345 = (* -1 y)
%351 = (* -2 (* z (sqrt (* -1 (/ (+ %303 %345) z)))))
%371 = (+ %22 %112)
%374 = (* z %371)
%375 = (/.f64 %179 x)
%377 = (* -1 %374)
%381 = (/ (+ %345 %304) x)
%382 = (*.f64 #s(literal -1 binary64) z)
%383 = (fma.f64 #s(literal -1 binary64) y %382)
%384 = (/.f64 %383 x)
%386 = (* -1 %381)
%387 = (*.f64 #s(literal -1 binary64) %384)
%389 = (sqrt %386)
%391 = (*.f64 #s(literal -1 binary64) (*.f64 x %383))
%392 = (sqrt.f64 %391)
%395 = (* x %389)
%397 = (* -2 %395)
%400 = (sqrt %45)
%401 = (sqrt.f64 %46)
%403 = (* z %400)
%404 = (*.f64 z %401)
%406 = (* -2 %403)
%409 = (* y %26)
%410 = (/.f64 %17 %18)
%412 = (* -2 %409)
%415 = (sqrt.f64 %14)
%417 = (/.f64 #s(literal 1 binary64) %415)
%425 = (*.f64 #s(literal 1/2 binary64) %53)
%427 = (/.f64 %61 x)
%431 = (/.f64 #s(literal 1 binary64) %7)
%432 = (sqrt.f64 %431)
%433 = (*.f64 z %432)
%434 = (*.f64 x %433)
%436 = (pow.f64 x #s(literal 2 binary64))
%438 = (/.f64 y (*.f64 %436 %432))
%439 = (fma.f64 #s(literal 1/2 binary64) %438 %433)
%440 = (*.f64 x %439)
%442 = (pow.f64 x #s(literal 4 binary64))
%443 = (pow.f64 %432 #s(literal 3 binary64))
%446 = (/.f64 %198 (*.f64 %442 (*.f64 z %443)))
%448 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %446 %439))
%451 = (pow.f64 x #s(literal 6 binary64))
%452 = (pow.f64 %432 #s(literal 5 binary64))
%455 = (/.f64 %202 (*.f64 %451 (*.f64 %84 %452)))
%458 = (*.f64 x (fma.f64 #s(literal -1/8 binary64) %446 (fma.f64 #s(literal 1/16 binary64) %455 %439)))
%460 = (fabs.f64 %24)
%463 = (sqrt.f64 %460)
%470 = (*.f64 x %432)
%474 = (*.f64 #s(literal 1/2 binary64) (/.f64 y (*.f64 %436 %433)))
%476 = (*.f64 x (+.f64 %432 %474))
%478 = (*.f64 %84 %443)
%480 = (/.f64 %198 (*.f64 %442 %478))
%483 = (*.f64 x (+.f64 %432 (fma.f64 #s(literal -1/8 binary64) %480 %474)))
%491 = (*.f64 x (+.f64 %432 (fma.f64 #s(literal -1/8 binary64) %480 (fma.f64 #s(literal 1/16 binary64) (/.f64 %202 (*.f64 %451 (*.f64 %137 %452))) %474))))
%493 = (*.f64 %463 %158)
%497 = (*.f64 x (*.f64 y %463))
%500 = (/.f64 %497 %172)
%505 = (/.f64 %177 x)
%509 = (sqrt.f64 %151)
%516 = (*.f64 #s(literal -1 binary64) %505)
%520 = (*.f64 %198 z)
%521 = (/.f64 %520 %436)
%526 = (*.f64 %202 z)
%527 = (pow.f64 x #s(literal 3 binary64))
%536 = (*.f64 x (*.f64 z %463))
%542 = (*.f64 x %509)
%545 = (/.f64 %177 (*.f64 %436 %509))
%546 = (*.f64 #s(literal 1/2 binary64) %545)
%550 = (*.f64 %198 %84)
%553 = (/.f64 %550 (*.f64 %442 (pow.f64 %509 #s(literal 3 binary64))))
%558 = (*.f64 %202 %137)
%561 = (/.f64 %558 (*.f64 %451 (pow.f64 %509 #s(literal 5 binary64))))
%569 = (fma.f64 #s(literal 2 binary64) %509 %545)
%579 = (/.f64 #s(literal 1 binary64) %17)
%580 = (sqrt.f64 %579)
%581 = (*.f64 y %580)
%582 = (*.f64 x %581)
%586 = (/.f64 z (*.f64 %436 %580))
%589 = (*.f64 x (fma.f64 #s(literal -2 binary64) %581 (*.f64 #s(literal -1 binary64) %586)))
%591 = (pow.f64 %580 #s(literal 3 binary64))
%595 = (*.f64 #s(literal 1/4 binary64) (/.f64 %84 (*.f64 %442 (*.f64 y %591))))
%598 = (*.f64 x (fma.f64 #s(literal -2 binary64) %581 (fma.f64 #s(literal -1 binary64) %586 %595)))
%600 = (pow.f64 %580 #s(literal 5 binary64))
%607 = (*.f64 x (fma.f64 #s(literal -2 binary64) %581 (fma.f64 #s(literal -1 binary64) %586 (fma.f64 #s(literal -1/8 binary64) (/.f64 %137 (*.f64 %451 (*.f64 %198 %600))) %595))))
%610 = (*.f64 x (*.f64 z %493))
%618 = (*.f64 x (fma.f64 #s(literal -2 binary64) %433 (*.f64 #s(literal -1 binary64) %438)))
%620 = (*.f64 #s(literal 1/4 binary64) %446)
%623 = (*.f64 x (fma.f64 #s(literal -2 binary64) %433 (fma.f64 #s(literal -1 binary64) %438 %620)))
%628 = (*.f64 x (fma.f64 #s(literal -2 binary64) %433 (fma.f64 #s(literal -1 binary64) %438 (fma.f64 #s(literal -1/8 binary64) %455 %620))))
%635 = (sqrt.f64 %387)
%637 = (*.f64 x %635)
%641 = (/.f64 y %415)
%645 = (*.f64 #s(literal -1 binary64) %10)
%650 = (*.f64 #s(literal -1 binary64) %14)
%655 = (*.f64 #s(literal -1 binary64) %40)
%656 = (-.f64 %655 #s(literal 1 binary64))
%675 = (fabs.f64 (/.f64 #s(literal -1 binary64) x))
%680 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %675))
%697 = (*.f64 %158 %680)
%702 = (*.f64 x (*.f64 y %680))
%705 = (/.f64 %702 %172)
%708 = (*.f64 z %656)
%716 = (*.f64 #s(literal -1 binary64) %113)
%745 = (*.f64 x (*.f64 z %680))
%758 = (/.f64 %177 (*.f64 %436 %635))
%759 = (*.f64 #s(literal 1/2 binary64) %758)
%766 = (/.f64 %550 (*.f64 %442 (pow.f64 %635 #s(literal 3 binary64))))
%774 = (/.f64 %558 (*.f64 %451 (pow.f64 %635 #s(literal 5 binary64))))
%781 = (fma.f64 #s(literal 2 binary64) %635 %758)
%803 = (*.f64 x (*.f64 z %697))
%825 = (/.f64 %708 x)
%831 = (/ 1 %57)
%833 = (/ 1 y)
%834 = (/.f64 #s(literal 1 binary64) y)
%840 = (/.f64 %17 z)
%843 = (*.f64 x %256)
%844 = (/.f64 %843 y)
%852 = (/.f64 y %401)
%855 = (pow.f64 %401 #s(literal 3 binary64))
%856 = (*.f64 z %855)
%857 = (/.f64 y %856)
%858 = (/.f64 #s(literal 1 binary64) %401)
%859 = (*.f64 #s(literal 1/2 binary64) %858)
%863 = (pow.f64 %401 #s(literal 5 binary64))
%865 = (/.f64 y (*.f64 %84 %863))
%867 = (/.f64 #s(literal 1 binary64) %856)
%873 = (+.f64 #s(literal 1 binary64) %46)
%874 = (*.f64 y %873)
%881 = (*.f64 %84 %855)
%884 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %404))
%899 = (+.f64 %14 %10)
%901 = (*.f64 z %873)
%902 = (*.f64 y %901)
%905 = (sqrt.f64 %10)
%907 = (*.f64 x %905)
%912 = (pow.f64 %905 #s(literal 3 binary64))
%913 = (*.f64 %436 %912)
%916 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %907))
%921 = (pow.f64 %905 #s(literal 5 binary64))
%932 = (/.f64 #s(literal 1 binary64) %905)
%934 = (*.f64 x %912)
%935 = (/.f64 y %934)
%939 = (*.f64 %436 %921)
%940 = (/.f64 y %939)
%942 = (/.f64 #s(literal 1 binary64) %934)
%943 = (*.f64 #s(literal 1/2 binary64) %942)
%963 = (/.f64 z %436)
%977 = (/.f64 y %905)
%980 = (*.f64 #s(literal 1/2 binary64) %932)
%992 = (sqrt.f64 %7)
%994 = (*.f64 y %31)
%995 = (/.f64 %994 %992)
%999 = (pow.f64 %31 #s(literal 2 binary64))
%1001 = (pow.f64 %992 #s(literal 3 binary64))
%1002 = (/.f64 (*.f64 y %999) %1001)
%1003 = (/.f64 %31 %992)
%1009 = (/.f64 %999 %1001)
%1013 = (/.f64 (*.f64 y (pow.f64 %31 #s(literal 3 binary64))) (pow.f64 %992 #s(literal 5 binary64)))
%1027 = (+.f64 (/.f64 x %992) (/.f64 z %992))
%1038 = (* y %831)
%1039 = (/.f64 y %60)
%1041 = (* -2 %1038)
%1044 = (fma.f64 #s(literal -1 binary64) x %382)
%1046 = (*.f64 #s(literal -1 binary64) (*.f64 y %1044))
%1067 = (+.f64 %24 %113)
%1091 = (* y (sqrt (* z %833)))
%1097 = (sqrt.f64 (/.f64 #s(literal 1 binary64) %177))
%1098 = (*.f64 y %1097)
%1105 = (fabs.f64 %834)
%1108 = (sqrt.f64 %1105)
%1111 = (/.f64 x y)
%1116 = (+.f64 %1111 %46)
%1119 = (*.f64 z %1097)
%1120 = (*.f64 y %1119)
%1122 = (/.f64 %53 y)
%1127 = (/.f64 x (*.f64 %198 %1097))
%1128 = (fma.f64 #s(literal 1/2 binary64) %1127 %1119)
%1129 = (*.f64 y %1128)
%1131 = (pow.f64 %1097 #s(literal 3 binary64))
%1134 = (/.f64 %436 (*.f64 %209 (*.f64 z %1131)))
%1136 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1134 %1128))
%1138 = (pow.f64 y #s(literal 6 binary64))
%1139 = (pow.f64 %1097 #s(literal 5 binary64))
%1142 = (/.f64 %527 (*.f64 %1138 (*.f64 %84 %1139)))
%1145 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1134 (fma.f64 #s(literal 1/16 binary64) %1142 %1128)))
%1153 = (*.f64 #s(literal 1/2 binary64) (/.f64 x (*.f64 %198 %1119)))
%1155 = (*.f64 y (+.f64 %1097 %1153))
%1159 = (/.f64 %436 (*.f64 %209 (*.f64 %84 %1131)))
%1162 = (*.f64 y (+.f64 %1097 (fma.f64 #s(literal -1/8 binary64) %1159 %1153)))
%1170 = (*.f64 y (+.f64 %1097 (fma.f64 #s(literal -1/8 binary64) %1159 (fma.f64 #s(literal 1/16 binary64) (/.f64 %527 (*.f64 %1138 (*.f64 %137 %1139))) %1153))))
%1172 = (/.f64 z %17)
%1174 = (*.f64 y (+.f64 %24 %1172))
%1183 = (*.f64 %198 %580)
%1186 = (*.f64 #s(literal 1/2 binary64) (/.f64 z (*.f64 x %1183)))
%1188 = (*.f64 y (+.f64 %580 %1186))
%1190 = (*.f64 %209 %591)
%1192 = (/.f64 %84 (*.f64 %436 %1190))
%1195 = (*.f64 y (+.f64 %580 (fma.f64 #s(literal -1/8 binary64) %1192 %1186)))
%1197 = (*.f64 %1138 %600)
%1203 = (*.f64 y (+.f64 %580 (fma.f64 #s(literal -1/8 binary64) %1192 (fma.f64 #s(literal 1/16 binary64) (/.f64 %137 (*.f64 %527 %1197)) %1186))))
%1207 = (/.f64 z (*.f64 x (*.f64 %198 %591)))
%1208 = (/.f64 #s(literal 1 binary64) %580)
%1210 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %1207 %1208) y)
%1213 = (/.f64 %84 (*.f64 %436 %600))
%1215 = (fma.f64 #s(literal -1/4 binary64) %1213 (*.f64 #s(literal -1/8 binary64) %1213))
%1218 = (*.f64 #s(literal 1/2 binary64) %1207)
%1220 = (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 %1215 %209) %1208) %1218) y)
%1235 = (/.f64 %84 (*.f64 %436 (*.f64 %209 %600)))
%1239 = (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 z %1215) (*.f64 x (pow.f64 %580 #s(literal 2 binary64)))) (*.f64 #s(literal 1/8 binary64) (/.f64 %137 (*.f64 %527 (pow.f64 %580 #s(literal 7 binary64)))))) %1138) %1208) (fma.f64 #s(literal -1/4 binary64) %1235 (fma.f64 #s(literal -1/8 binary64) %1235 %1218))) y)
%1241 = (/.f64 x %177)
%1245 = (*.f64 #s(literal -1 binary64) %110)
%1249 = (*.f64 %436 z)
%1250 = (/.f64 %1249 %198)
%1255 = (*.f64 %527 z)
%1264 = (*.f64 y (*.f64 z %1108))
%1271 = (/.f64 z %1183)
%1272 = (*.f64 x %580)
%1273 = (fma.f64 #s(literal 1/2 binary64) %1271 %1272)
%1274 = (*.f64 y %1273)
%1277 = (/.f64 %84 (*.f64 x %1190))
%1279 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1277 %1273))
%1282 = (/.f64 %137 (*.f64 %436 %1197))
%1285 = (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1277 (fma.f64 #s(literal 1/16 binary64) %1282 %1273)))
%1288 = (sqrt.f64 (/.f64 %31 y))
%1289 = (*.f64 y %1288)
%1292 = (/.f64 %7 (*.f64 %198 %1288))
%1293 = (*.f64 #s(literal 1/2 binary64) %1292)
%1297 = (*.f64 %436 %84)
%1300 = (/.f64 %1297 (*.f64 %209 (pow.f64 %1288 #s(literal 3 binary64))))
%1305 = (*.f64 %527 %137)
%1308 = (/.f64 %1305 (*.f64 %1138 (pow.f64 %1288 #s(literal 5 binary64))))
%1316 = (fma.f64 #s(literal 2 binary64) %1288 %1292)
%1332 = (sqrt.f64 (*.f64 #s(literal -1 binary64) (/.f64 %1044 y)))
%1333 = (*.f64 y %1332)
%1340 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1119 (*.f64 #s(literal -1 binary64) %1127)))
%1342 = (*.f64 #s(literal 1/4 binary64) %1134)
%1345 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1119 (fma.f64 #s(literal -1 binary64) %1127 %1342)))
%1350 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1119 (fma.f64 #s(literal -1 binary64) %1127 (fma.f64 #s(literal -1/8 binary64) %1142 %1342))))
%1363 = (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %1172) %24))
%1367 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1272 (*.f64 #s(literal -1 binary64) %1271)))
%1369 = (*.f64 #s(literal 1/4 binary64) %1277)
%1372 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1272 (fma.f64 #s(literal -1 binary64) %1271 %1369)))
%1377 = (*.f64 y (fma.f64 #s(literal -2 binary64) %1272 (fma.f64 #s(literal -1 binary64) %1271 (fma.f64 #s(literal -1/8 binary64) %1282 %1369))))
%1392 = (fabs.f64 (/.f64 #s(literal -1 binary64) y))
%1397 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %1392))
%1406 = (*.f64 #s(literal -1 binary64) %46)
%1407 = (fma.f64 #s(literal -1 binary64) %1111 %1406)
%1423 = (-.f64 %1406 #s(literal 1 binary64))
%1442 = (*.f64 z %1423)
%1491 = (*.f64 y (*.f64 z %1397))
%1511 = (/.f64 %7 (*.f64 %198 %1332))
%1512 = (*.f64 #s(literal 1/2 binary64) %1511)
%1519 = (/.f64 %1297 (*.f64 %209 (pow.f64 %1332 #s(literal 3 binary64))))
%1527 = (/.f64 %1305 (*.f64 %1138 (pow.f64 %1332 #s(literal 5 binary64))))
%1534 = (fma.f64 #s(literal 2 binary64) %1332 %1511)
%1592 = (*.f64 z %35)
%1593 = (sqrt.f64 %1592)
%1595 = (fma.f64 x y %1592)
%1600 = (*.f64 %101 %232)
%1605 = (*.f64 x %415)
%1610 = (pow.f64 %415 #s(literal 3 binary64))
%1611 = (*.f64 %436 %1610)
%1614 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %1605))
%1619 = (pow.f64 %415 #s(literal 5 binary64))
%1630 = (*.f64 x %1610)
%1631 = (/.f64 z %1630)
%1634 = (*.f64 %436 %1619)
%1635 = (/.f64 z %1634)
%1637 = (/.f64 #s(literal 1 binary64) %1630)
%1638 = (*.f64 #s(literal 1/2 binary64) %1637)
%1652 = (/.f64 %35 z)
%1657 = (/.f64 z %415)
%1660 = (*.f64 #s(literal 1/2 binary64) %417)
%1673 = (/.f64 %1592 %18)
%1677 = (pow.f64 %35 #s(literal 2 binary64))
%1679 = (pow.f64 %18 #s(literal 3 binary64))
%1680 = (/.f64 (*.f64 z %1677) %1679)
%1681 = (/.f64 %35 %18)
%1687 = (/.f64 %1677 %1679)
%1691 = (/.f64 (*.f64 z (pow.f64 %35 #s(literal 3 binary64))) (pow.f64 %18 #s(literal 5 binary64)))
%1704 = (+.f64 %27 (/.f64 y %18))
%1715 = (/.f64 %177 %256)
%1719 = (sqrt.f64 %1111)
%1720 = (*.f64 y %1719)
%1728 = (*.f64 y (pow.f64 %1719 #s(literal 3 binary64)))
%1731 = (/.f64 #s(literal 1 binary64) %1719)
%1751 = (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) y))
%1753 = (*.f64 #s(literal -1 binary64) (*.f64 z %1751))
%1784 = (*.f64 z %158)
%1788 = (*.f64 x %1119)
%1791 = (*.f64 #s(literal 1/2 binary64) (*.f64 x %1097))
%1795 = (sqrt.f64 %1652)
%1796 = (*.f64 z %1795)
%1799 = (+.f64 x (+.f64 y %840))
%1802 = (*.f64 z %1067)
%1808 = (*.f64 %84 %432)
%1811 = (*.f64 #s(literal 1/2 binary64) (/.f64 y (*.f64 x %1808)))
%1813 = (*.f64 z (+.f64 %432 %1811))
%1815 = (pow.f64 z #s(literal 4 binary64))
%1816 = (*.f64 %1815 %443)
%1818 = (/.f64 %198 (*.f64 %436 %1816))
%1821 = (*.f64 z (+.f64 %432 (fma.f64 #s(literal -1/8 binary64) %1818 %1811)))
%1823 = (pow.f64 z #s(literal 6 binary64))
%1824 = (*.f64 %1823 %452)
%1830 = (*.f64 z (+.f64 %432 (fma.f64 #s(literal -1/8 binary64) %1818 (fma.f64 #s(literal 1/16 binary64) (/.f64 %202 (*.f64 %527 %1824)) %1811))))
%1835 = (/.f64 y (*.f64 x %478))
%1836 = (/.f64 #s(literal 1 binary64) %432)
%1838 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %1835 %1836) z)
%1841 = (/.f64 %198 (*.f64 %436 %452))
%1843 = (fma.f64 #s(literal -1/4 binary64) %1841 (*.f64 #s(literal -1/8 binary64) %1841))
%1846 = (*.f64 #s(literal 1/2 binary64) %1835)
%1848 = (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 %1843 %1815) %1836) %1846) z)
%1863 = (/.f64 %198 (*.f64 %436 (*.f64 %1815 %452)))
%1867 = (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 y %1843) (*.f64 x (pow.f64 %432 #s(literal 2 binary64)))) (*.f64 #s(literal 1/8 binary64) (/.f64 %202 (*.f64 %527 (pow.f64 %432 #s(literal 7 binary64)))))) %1823) %1836) (fma.f64 #s(literal -1/4 binary64) %1863 (fma.f64 #s(literal -1/8 binary64) %1863 %1846))) z)
%1871 = (*.f64 y %1784)
%1875 = (/.f64 y %1808)
%1876 = (fma.f64 #s(literal 1/2 binary64) %1875 %470)
%1877 = (*.f64 z %1876)
%1880 = (/.f64 %198 (*.f64 x %1816))
%1882 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1880 %1876))
%1885 = (/.f64 %202 (*.f64 %436 %1824))
%1888 = (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1880 (fma.f64 #s(literal 1/16 binary64) %1885 %1876)))
%1891 = (/.f64 %17 (*.f64 %84 %1795))
%1892 = (*.f64 #s(literal 1/2 binary64) %1891)
%1896 = (*.f64 %436 %198)
%1899 = (/.f64 %1896 (*.f64 %1815 (pow.f64 %1795 #s(literal 3 binary64))))
%1904 = (*.f64 %527 %202)
%1907 = (/.f64 %1904 (*.f64 %1823 (pow.f64 %1795 #s(literal 5 binary64))))
%1915 = (fma.f64 #s(literal 2 binary64) %1795 %1891)
%1926 = (/.f64 x (*.f64 %84 %1097))
%1929 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1098 (*.f64 #s(literal -1 binary64) %1926)))
%1934 = (*.f64 #s(literal 1/4 binary64) (/.f64 %436 (*.f64 y (*.f64 %1815 %1131))))
%1937 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1098 (fma.f64 #s(literal -1 binary64) %1926 %1934)))
%1945 = (*.f64 z (fma.f64 #s(literal -2 binary64) %1098 (fma.f64 #s(literal -1 binary64) %1926 (fma.f64 #s(literal -1/8 binary64) (/.f64 %527 (*.f64 %198 (*.f64 %1823 %1139))) %1934))))
%1949 = (sqrt.f64 (*.f64 #s(literal -1 binary64) (/.f64 %1751 z)))
%1950 = (*.f64 z %1949)
%1954 = (*.f64 z (-.f64 %716 %24))
%1958 = (*.f64 z (fma.f64 #s(literal -2 binary64) %470 (*.f64 #s(literal -1 binary64) %1875)))
%1960 = (*.f64 #s(literal 1/4 binary64) %1880)
%1963 = (*.f64 z (fma.f64 #s(literal -2 binary64) %470 (fma.f64 #s(literal -1 binary64) %1875 %1960)))
%1968 = (*.f64 z (fma.f64 #s(literal -2 binary64) %470 (fma.f64 #s(literal -1 binary64) %1875 (fma.f64 #s(literal -1/8 binary64) %1885 %1960))))
%1975 = (fabs.f64 (/.f64 #s(literal -1 binary64) z))
%1979 = (*.f64 #s(literal -1 binary64) %1975)
%1980 = (sqrt.f64 %1979)
%1981 = (*.f64 z %1980)
%1994 = (*.f64 %101 %1980)
%1996 = (*.f64 #s(literal -1 binary64) %840)
%2020 = (*.f64 y %1981)
%2035 = (/.f64 %17 (*.f64 %84 %1949))
%2036 = (*.f64 #s(literal 1/2 binary64) %2035)
%2043 = (/.f64 %1896 (*.f64 %1815 (pow.f64 %1949 #s(literal 3 binary64))))
%2051 = (/.f64 %1904 (*.f64 %1823 (pow.f64 %1949 #s(literal 5 binary64))))
%2058 = (fma.f64 #s(literal 2 binary64) %1949 %2035)
%2077 = (*.f64 z %1994)
(approx 2 #s(literal 0 binary64))
(approx x x)
(approx %6 %7)
(approx (/ z x) %10)
(approx %13 %14)
(approx %16 (/.f64 %18 x))
(approx %22 %24)
(approx %26 %27)
(approx %29 z)
(approx %29 %31)
(approx %33 y)
(approx %33 %35)
(approx %39 %42)
(approx %45 %46)
(approx %50 %53)
(approx %59 %61)
(approx %59 (fma.f64 #s(literal 1/2 binary64) %53 %61))
(approx %68 (fma.f64 #s(literal 1/2 binary64) %69 %61))
(approx %68 (fma.f64 x (fma.f64 #s(literal -1/8 binary64) %76 %78) %61))
(approx %68 (fma.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) %88) (*.f64 #s(literal 1/8 binary64) %91)) %78) %61))
(approx %97 %98)
(approx %100 %101)
(approx %106 (+.f64 y %42))
(approx %109 %110)
(approx %112 %113)
(approx %115 %116)
(approx %118 %119)
(approx (/ x %118) (/.f64 x %119))
(approx %67 %60)
(approx %67 (+.f64 %60 (*.f64 #s(literal 1/2 binary64) (/.f64 x %61))))
(approx %67 (+.f64 %60 (*.f64 x (fma.f64 #s(literal -1/8 binary64) (/.f64 x %129) %132))))
(approx %67 (+.f64 %60 (*.f64 x (fma.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 x (*.f64 %137 %86))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %129))) %132))))
(approx %149 %151)
(approx %155 %159)
(approx %163 (*.f64 #s(literal -2 binary64) %165))
(approx %170 (*.f64 #s(literal -2 binary64) (/.f64 %165 %172)))
(approx %176 %177)
(approx %176 (fma.f64 x %179 %177))
(approx %182 (/.f64 %184 x))
(approx %188 (/.f64 x %184))
(approx %191 %40)
(approx %191 (+.f64 %46 %40))
(approx %195 %51)
(approx %195 (fma.f64 #s(literal -1 binary64) (/.f64 %7 %198) %51))
(approx %195 (fma.f64 x (-.f64 (/.f64 %7 %202) %204) %51))
(approx %195 (fma.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %7 %209)) (*.f64 #s(literal -1 binary64) (/.f64 z %202)))) %204) %51))
(approx %219 %220)
(approx %222 %223)
(approx %225 %226)
(approx %230 (/.f64 %226 %232))
(approx %235 %236)
(approx %238 %239)
(approx %241 %242)
(approx %244 (/.f64 %242 %172))
(approx %248 %184)
(approx %255 %256)
(approx %255 (+.f64 %256 (*.f64 #s(literal 1/2 binary64) %258)))
(approx %255 (+.f64 %256 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %265 (*.f64 #s(literal 1/2 binary64) %266)))))
(approx %255 (+.f64 %256 (*.f64 x (fma.f64 #s(literal 1/2 binary64) %266 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %272 (*.f64 #s(literal 1/16 binary64) %276)))))))
(approx %284 (*.f64 #s(literal 2 binary64) %256))
(approx %284 (fma.f64 #s(literal 2 binary64) %256 %258))
(approx %284 (fma.f64 #s(literal 2 binary64) %256 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %265 %292))))
(approx %284 (fma.f64 #s(literal 2 binary64) %256 (*.f64 x (fma.f64 x (fma.f64 #s(literal -1/4 binary64) %272 (*.f64 #s(literal 1/8 binary64) %276)) %292))))
(approx %310 (*.f64 #s(literal -2 binary64) %311))
(approx %310 (fma.f64 #s(literal -2 binary64) %311 (*.f64 #s(literal -1 binary64) (/.f64 x %52))))
(approx %310 (fma.f64 #s(literal -2 binary64) %311 (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) (/.f64 x %320)) %323))))
(approx %310 (fma.f64 #s(literal -2 binary64) %311 (*.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1/8 binary64) (/.f64 x (*.f64 %198 (pow.f64 %52 #s(literal 5 binary64)))) (*.f64 #s(literal 1/4 binary64) (/.f64 #s(literal 1 binary64) %320)))) %323))))
(approx %339 %340)
(approx %342 (*.f64 #s(literal -2 binary64) %340))
(approx %351 (*.f64 #s(literal -2 binary64) %61))
(approx %351 (fma.f64 #s(literal -2 binary64) %61 (*.f64 #s(literal -1 binary64) %69)))
(approx %351 (fma.f64 #s(literal -2 binary64) %61 (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %76) %77))))
(approx %351 (fma.f64 #s(literal -2 binary64) %61 (*.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %88 (*.f64 #s(literal 1/4 binary64) %91))) %77))))
(approx %254 (fma.f64 x %150 %177))
(approx %371 (/.f64 %41 x))
(approx %374 %375)
(approx %377 (*.f64 #s(literal -1 binary64) %375))
(approx %381 %384)
(approx %386 %387)
(approx %389 (/.f64 %392 x))
(approx %395 %392)
(approx %397 (*.f64 #s(literal -2 binary64) %392))
(approx %400 %401)
(approx %403 %404)
(approx %406 (*.f64 #s(literal -2 binary64) %404))
(approx %409 %410)
(approx %412 (*.f64 #s(literal -2 binary64) %410))
(approx %16 %415)
(approx %26 %417)
(approx %29 (*.f64 x (+.f64 #s(literal 1 binary64) %10)))
(approx %33 (*.f64 x (+.f64 #s(literal 1 binary64) %14)))
(approx %59 %425)
(approx %59 (*.f64 x (fma.f64 #s(literal 1/2 binary64) %52 %427)))
(approx %68 %434)
(approx %68 %440)
(approx %68 %448)
(approx %68 %458)
(approx %97 (*.f64 %436 %460))
(approx %100 (*.f64 x %463))
(approx %106 (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 %14 %40))))
(approx %67 %470)
(approx %67 %476)
(approx %67 %483)
(approx %67 %491)
(approx %155 (*.f64 x %493))
(approx %163 (*.f64 #s(literal -2 binary64) %497))
(approx %170 (*.f64 #s(literal -2 binary64) %500))
(approx %176 (*.f64 x %179))
(approx %176 (*.f64 x (fma.f64 z %41 %505)))
(approx %182 %509)
(approx %188 (/.f64 #s(literal 1 binary64) %509))
(approx %191 (*.f64 x (+.f64 %156 %113)))
(approx %195 (/.f64 (+.f64 z %516) x))
(approx %195 (/.f64 (-.f64 (+.f64 z %521) %505) x))
(approx %195 (/.f64 (-.f64 (+.f64 z (*.f64 #s(literal -1 binary64) (/.f64 %526 %527))) (fma.f64 #s(literal -1 binary64) %521 %505)) x))
(approx %225 %536)
(approx %230 (/.f64 %536 %232))
(approx %241 %497)
(approx %244 %500)
(approx %248 %542)
(approx %255 (*.f64 x (+.f64 %509 %546)))
(approx %255 (*.f64 x (+.f64 %509 (fma.f64 #s(literal -1/8 binary64) %553 %546))))
(approx %255 (*.f64 x (+.f64 %509 (fma.f64 #s(literal -1/8 binary64) %553 (fma.f64 #s(literal 1/16 binary64) %561 %546)))))
(approx %284 (*.f64 #s(literal 2 binary64) %542))
(approx %284 (*.f64 x %569))
(approx %284 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %553 %569)))
(approx %284 (*.f64 x (fma.f64 #s(literal -1/4 binary64) %553 (fma.f64 #s(literal 1/8 binary64) %561 %569))))
(approx %310 (*.f64 #s(literal -2 binary64) %582))
(approx %310 %589)
(approx %310 %598)
(approx %310 %607)
(approx %339 %610)
(approx %342 (*.f64 #s(literal -2 binary64) %610))
(approx %351 (*.f64 #s(literal -2 binary64) %434))
(approx %351 %618)
(approx %351 %623)
(approx %351 %628)
(approx %254 %183)
(approx %254 (*.f64 x (+.f64 y (+.f64 z %505))))
(approx %389 %635)
(approx %395 %637)
(approx %397 (*.f64 #s(literal -2 binary64) %637))
(approx %409 %641)
(approx %412 (*.f64 #s(literal -2 binary64) %641))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %645 #s(literal 1 binary64)))))
(approx %33 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %650 #s(literal 1 binary64)))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 x %656)))
(approx %59 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %427 (*.f64 #s(literal -1/2 binary64) %52)))))
(approx %68 (*.f64 #s(literal -1 binary64) %434))
(approx %68 (*.f64 #s(literal -1 binary64) %440))
(approx %68 (*.f64 #s(literal -1 binary64) %448))
(approx %68 (*.f64 #s(literal -1 binary64) %458))
(approx %97 (*.f64 #s(literal -1 binary64) (*.f64 %436 %675)))
(approx %100 (*.f64 #s(literal -1 binary64) (*.f64 x %680)))
(approx %106 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) %14 %655) #s(literal 1 binary64)))))
(approx %67 (*.f64 #s(literal -1 binary64) %470))
(approx %67 (*.f64 #s(literal -1 binary64) %476))
(approx %67 (*.f64 #s(literal -1 binary64) %483))
(approx %67 (*.f64 #s(literal -1 binary64) %491))
(approx %155 (*.f64 #s(literal -1 binary64) (*.f64 x %697)))
(approx %163 (*.f64 #s(literal 2 binary64) %702))
(approx %170 (*.f64 #s(literal 2 binary64) %705))
(approx %176 (*.f64 #s(literal -1 binary64) (*.f64 x %708)))
(approx %176 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %505 %708))))
(approx %191 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %716 %156))))
(approx %195 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) z %505) x)))
(approx %195 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) z (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %520 x) %177) x))) x)))
(approx %195 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) z (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %526 x) %520) x)) %177) x))) x)))
(approx %225 (*.f64 #s(literal -1 binary64) %745))
(approx %230 (*.f64 #s(literal -1 binary64) (/.f64 %745 %232)))
(approx %241 (*.f64 #s(literal -1 binary64) %702))
(approx %244 (*.f64 #s(literal -1 binary64) %705))
(approx %255 (*.f64 #s(literal -1 binary64) %637))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %635 %759))))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %635 (fma.f64 #s(literal -1/8 binary64) %766 %759)))))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %635 (fma.f64 #s(literal -1/8 binary64) %766 (fma.f64 #s(literal 1/16 binary64) %774 %759))))))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 x %781)))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/4 binary64) %766 %781))))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/4 binary64) %766 (fma.f64 #s(literal 1/8 binary64) %774 %781)))))
(approx %310 (*.f64 #s(literal 2 binary64) %582))
(approx %310 (*.f64 #s(literal -1 binary64) %589))
(approx %310 (*.f64 #s(literal -1 binary64) %598))
(approx %310 (*.f64 #s(literal -1 binary64) %607))
(approx %339 (*.f64 #s(literal -1 binary64) %803))
(approx %342 (*.f64 #s(literal 2 binary64) %803))
(approx %351 (*.f64 #s(literal 2 binary64) %434))
(approx %351 (*.f64 #s(literal -1 binary64) %618))
(approx %351 (*.f64 #s(literal -1 binary64) %623))
(approx %351 (*.f64 #s(literal -1 binary64) %628))
(approx %254 %391)
(approx %254 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (fma.f64 #s(literal -1 binary64) z %516)))))
(approx %371 (*.f64 #s(literal -1 binary64) (/.f64 %656 x)))
(approx %374 (*.f64 #s(literal -1 binary64) %825))
(approx %377 %825)
(approx %49 (/.f64 %256 y))
(approx %831 %77)
(approx %833 %834)
(approx %168 %171)
(approx %169 %172)
(approx %162 (*.f64 #s(literal -2 binary64) y))
(approx %39 (+.f64 x %840))
(approx %50 %844)
(approx %59 (*.f64 #s(literal 1/2 binary64) %844))
(approx %59 (/.f64 (fma.f64 #s(literal 1/2 binary64) %843 (*.f64 y %61)) y))
(approx %68 (fma.f64 #s(literal 1/2 binary64) %852 %404))
(approx %68 (fma.f64 y (fma.f64 #s(literal -1/8 binary64) %857 %859) %404))
(approx %68 (fma.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) %865) (*.f64 #s(literal 1/8 binary64) %867)) %859) %404))
(approx %106 (+.f64 x %874))
(approx %67 (+.f64 %401 (*.f64 #s(literal 1/2 binary64) (/.f64 y %404))))
(approx %67 (+.f64 %401 (*.f64 y (fma.f64 #s(literal -1/8 binary64) (/.f64 y %881) %884))))
(approx %67 (+.f64 %401 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 y (*.f64 %137 %863))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %881))) %884))))
(approx %149 %899)
(approx %176 (fma.f64 x z %902))
(approx %182 %905)
(approx %182 (+.f64 %905 (*.f64 #s(literal 1/2 binary64) (/.f64 y %907))))
(approx %182 (+.f64 %905 (*.f64 y (fma.f64 #s(literal -1/8 binary64) (/.f64 y %913) %916))))
(approx %182 (+.f64 %905 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 y (*.f64 %527 %921))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %913))) %916))))
(approx %188 %932)
(approx %188 (fma.f64 #s(literal -1/2 binary64) %935 %932))
(approx %188 (fma.f64 y (-.f64 (*.f64 #s(literal 3/8 binary64) %940) %943) %932))
(approx %188 (fma.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -5/16 binary64) (/.f64 y (*.f64 %527 (pow.f64 %905 #s(literal 7 binary64)))) (*.f64 #s(literal 3/8 binary64) (/.f64 #s(literal 1 binary64) %939)))) %943) %932))
(approx %195 (fma.f64 #s(literal -1 binary64) (/.f64 %177 %436) %10))
(approx %195 (fma.f64 y (-.f64 (/.f64 %177 %527) %963) %10))
(approx %195 (fma.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %177 %442)) (*.f64 #s(literal -1 binary64) (/.f64 z %527)))) %963) %10))
(approx %248 %907)
(approx %248 (fma.f64 #s(literal 1/2 binary64) %977 %907))
(approx %248 (fma.f64 x %905 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %935 %980))))
(approx %248 (fma.f64 x %905 (*.f64 y (fma.f64 y (-.f64 (*.f64 #s(literal 1/16 binary64) %940) (*.f64 #s(literal 1/8 binary64) %942)) %980))))
(approx %255 %992)
(approx %255 (+.f64 %992 (*.f64 #s(literal 1/2 binary64) %995)))
(approx %255 (+.f64 %992 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1002 (*.f64 #s(literal 1/2 binary64) %1003)))))
(approx %255 (+.f64 %992 (*.f64 y (fma.f64 #s(literal 1/2 binary64) %1003 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %1009 (*.f64 #s(literal 1/16 binary64) %1013)))))))
(approx %284 (*.f64 #s(literal 2 binary64) %992))
(approx %284 (fma.f64 #s(literal 2 binary64) %992 %995))
(approx %284 (fma.f64 #s(literal 2 binary64) %992 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1002 %1027))))
(approx %284 (fma.f64 #s(literal 2 binary64) %992 (*.f64 y (fma.f64 y (fma.f64 #s(literal -1/4 binary64) %1009 (*.f64 #s(literal 1/8 binary64) %1013)) %1027))))
(approx %1038 %1039)
(approx %1041 (*.f64 #s(literal -2 binary64) %1039))
(approx %310 (*.f64 #s(literal -2 binary64) (sqrt.f64 %1046)))
(approx %351 (fma.f64 #s(literal -2 binary64) %404 (*.f64 #s(literal -1 binary64) %852)))
(approx %351 (fma.f64 #s(literal -2 binary64) %404 (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) %857) %858))))
(approx %351 (fma.f64 #s(literal -2 binary64) %404 (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %865 (*.f64 #s(literal 1/4 binary64) %867))) %858))))
(approx %254 (fma.f64 x z %994))
(approx %371 %1067)
(approx %377 %645)
(approx %377 (fma.f64 #s(literal -1 binary64) %14 %645))
(approx %397 (*.f64 #s(literal -2 binary64) %907))
(approx %397 (fma.f64 #s(literal -2 binary64) %907 (*.f64 #s(literal -1 binary64) %977)))
(approx %397 (fma.f64 #s(literal -2 binary64) %907 (*.f64 y (-.f64 (*.f64 #s(literal 1/4 binary64) %935) %932))))
(approx %397 (fma.f64 #s(literal -2 binary64) %907 (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %940 (*.f64 #s(literal 1/4 binary64) %942))) %932))))
(approx (* -2 %1091) (*.f64 #s(literal -2 binary64) %256))
(approx %49 %52)
(approx %57 %1098)
(approx %831 (/.f64 #s(literal 1 binary64) %1098))
(approx %16 %581)
(approx %26 (/.f64 #s(literal 1 binary64) %581))
(approx %168 (*.f64 %198 %1105))
(approx %169 (*.f64 y %1108))
(approx %33 (*.f64 y (+.f64 #s(literal 1 binary64) %1111)))
(approx %39 %840)
(approx %39 (*.f64 y %1116))
(approx %58 %1120)
(approx %59 (*.f64 y (fma.f64 #s(literal 1/2 binary64) %1122 %1119)))
(approx %68 %1129)
(approx %68 %1136)
(approx %68 %1145)
(approx %106 %874)
(approx %106 (*.f64 y (+.f64 #s(literal 1 binary64) %1116)))
(approx %67 %1155)
(approx %67 %1162)
(approx %67 %1170)
(approx %149 %1174)
(approx %170 (*.f64 #s(literal -2 binary64) (/.f64 %101 %1108)))
(approx %176 %902)
(approx %176 (*.f64 y (fma.f64 z %873 %110)))
(approx %182 %1188)
(approx %182 %1195)
(approx %182 %1203)
(approx %188 %1210)
(approx %188 %1220)
(approx %188 %1239)
(approx %191 (*.f64 y (+.f64 %156 %1241)))
(approx %195 (/.f64 (+.f64 z %1245) y))
(approx %195 (/.f64 (-.f64 (+.f64 z %1250) %110) y))
(approx %195 (/.f64 (-.f64 (+.f64 z (*.f64 #s(literal -1 binary64) (/.f64 %1255 %202))) (fma.f64 #s(literal -1 binary64) %1250 %110)) y))
(approx %225 %1264)
(approx %230 (/.f64 %1264 %232))
(approx %244 (/.f64 %239 %1108))
(approx %248 %582)
(approx %248 %1274)
(approx %248 %1279)
(approx %248 %1285)
(approx %255 %1289)
(approx %255 (*.f64 y (+.f64 %1288 %1293)))
(approx %255 (*.f64 y (+.f64 %1288 (fma.f64 #s(literal -1/8 binary64) %1300 %1293))))
(approx %255 (*.f64 y (+.f64 %1288 (fma.f64 #s(literal -1/8 binary64) %1300 (fma.f64 #s(literal 1/16 binary64) %1308 %1293)))))
(approx %284 (*.f64 #s(literal 2 binary64) %1289))
(approx %284 (*.f64 y %1316))
(approx %284 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1300 %1316)))
(approx %284 (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1300 (fma.f64 #s(literal 1/8 binary64) %1308 %1316))))
(approx %1038 (/.f64 #s(literal 1 binary64) %1097))
(approx %1041 (/.f64 #s(literal -2 binary64) %1097))
(approx %310 (*.f64 #s(literal -2 binary64) %1333))
(approx %351 (*.f64 #s(literal -2 binary64) %1120))
(approx %351 %1340)
(approx %351 %1345)
(approx %351 %1350)
(approx %254 %994)
(approx %254 (*.f64 y (+.f64 x (+.f64 z %110))))
(approx %371 (*.f64 y (+.f64 %579 %431)))
(approx %377 %650)
(approx %377 %1363)
(approx %397 %1367)
(approx %397 %1372)
(approx %397 %1377)
(approx %409 %1208)
(approx %412 (/.f64 #s(literal -2 binary64) %580))
(approx %1091 %311)
(approx %57 (*.f64 #s(literal -1 binary64) %1098))
(approx %831 (/.f64 #s(literal -1 binary64) %1098))
(approx %16 (*.f64 #s(literal -1 binary64) %581))
(approx %26 (/.f64 #s(literal -1 binary64) %581))
(approx %168 (*.f64 #s(literal -1 binary64) (*.f64 %198 %1392)))
(approx %169 (*.f64 #s(literal -1 binary64) (*.f64 y %1397)))
(approx %33 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %1111) #s(literal 1 binary64)))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 y %1407)))
(approx %58 (*.f64 #s(literal -1 binary64) %1120))
(approx %59 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/2 binary64) %1122 %1119))))
(approx %68 (*.f64 #s(literal -1 binary64) %1129))
(approx %68 (*.f64 #s(literal -1 binary64) %1136))
(approx %68 (*.f64 #s(literal -1 binary64) %1145))
(approx %106 (*.f64 #s(literal -1 binary64) (*.f64 y %1423)))
(approx %106 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %1407 #s(literal 1 binary64)))))
(approx %67 (*.f64 #s(literal -1 binary64) %1155))
(approx %67 (*.f64 #s(literal -1 binary64) %1162))
(approx %67 (*.f64 #s(literal -1 binary64) %1170))
(approx %149 (*.f64 #s(literal -1 binary64) %1363))
(approx %170 (*.f64 #s(literal 2 binary64) (/.f64 %101 %1397)))
(approx %176 (*.f64 #s(literal -1 binary64) (*.f64 y %1442)))
(approx %176 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %110 %1442))))
(approx %182 (*.f64 #s(literal -1 binary64) %1188))
(approx %182 (*.f64 #s(literal -1 binary64) %1195))
(approx %182 (*.f64 #s(literal -1 binary64) %1203))
(approx %188 (*.f64 #s(literal -1 binary64) %1210))
(approx %188 (*.f64 #s(literal -1 binary64) %1220))
(approx %188 (*.f64 #s(literal -1 binary64) %1239))
(approx %191 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %1241) %156))))
(approx %195 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) z %110) y)))
(approx %195 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) z (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %1249 y) %7) y))) y)))
(approx %195 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) z (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %1255 y) %1249) y)) %7) y))) y)))
(approx %225 (*.f64 #s(literal -1 binary64) %1491))
(approx %230 (*.f64 #s(literal -1 binary64) (/.f64 %1491 %232)))
(approx %244 (*.f64 #s(literal -1 binary64) (/.f64 %239 %1397)))
(approx %248 (*.f64 #s(literal -1 binary64) %582))
(approx %248 (*.f64 #s(literal -1 binary64) %1274))
(approx %248 (*.f64 #s(literal -1 binary64) %1279))
(approx %248 (*.f64 #s(literal -1 binary64) %1285))
(approx %255 (*.f64 #s(literal -1 binary64) %1333))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1332 %1512))))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1332 (fma.f64 #s(literal -1/8 binary64) %1519 %1512)))))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 %1332 (fma.f64 #s(literal -1/8 binary64) %1519 (fma.f64 #s(literal 1/16 binary64) %1527 %1512))))))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 y %1534)))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1519 %1534))))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/4 binary64) %1519 (fma.f64 #s(literal 1/8 binary64) %1527 %1534)))))
(approx %1038 (/.f64 #s(literal -1 binary64) %1097))
(approx %1041 (/.f64 #s(literal 2 binary64) %1097))
(approx %351 (*.f64 #s(literal 2 binary64) %1120))
(approx %351 (*.f64 #s(literal -1 binary64) %1340))
(approx %351 (*.f64 #s(literal -1 binary64) %1345))
(approx %351 (*.f64 #s(literal -1 binary64) %1350))
(approx %254 %1046)
(approx %254 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (fma.f64 #s(literal -1 binary64) z %1245)))))
(approx %377 (*.f64 #s(literal -1 binary64) %1174))
(approx %397 (*.f64 #s(literal -1 binary64) %1367))
(approx %397 (*.f64 #s(literal -1 binary64) %1372))
(approx %397 (*.f64 #s(literal -1 binary64) %1377))
(approx %409 (/.f64 #s(literal -1 binary64) %580))
(approx %412 (/.f64 #s(literal 2 binary64) %580))
(approx %57 (/.f64 %256 z))
(approx %831 %291)
(approx %44 %156)
(approx %228 %231)
(approx %229 %232)
(approx %39 (/.f64 (fma.f64 x y %7) z))
(approx %153 (/.f64 %231 %84))
(approx %154 (/.f64 %232 z))
(approx %59 (+.f64 %256 %425))
(approx %68 %1593)
(approx %106 (/.f64 %1595 z))
(approx %67 (/.f64 %1593 z))
(approx %155 (/.f64 %1600 z))
(approx %176 %17)
(approx %176 %1595)
(approx %182 (+.f64 %415 (*.f64 #s(literal 1/2 binary64) (/.f64 z %1605))))
(approx %182 (+.f64 %415 (*.f64 z (fma.f64 #s(literal -1/8 binary64) (/.f64 z %1611) %1614))))
(approx %182 (+.f64 %415 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 z (*.f64 %527 %1619))) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %1611))) %1614))))
(approx %188 (fma.f64 #s(literal -1/2 binary64) %1631 %417))
(approx %188 (fma.f64 z (-.f64 (*.f64 #s(literal 3/8 binary64) %1635) %1638) %417))
(approx %188 (fma.f64 z (-.f64 (*.f64 z (fma.f64 #s(literal -5/16 binary64) (/.f64 z (*.f64 %527 (pow.f64 %415 #s(literal 7 binary64)))) (*.f64 #s(literal 3/8 binary64) (/.f64 #s(literal 1 binary64) %1634)))) %1638) %417))
(approx %191 %1652)
(approx %195 (/.f64 z %35))
(approx %248 %1605)
(approx %248 (fma.f64 #s(literal 1/2 binary64) %1657 %1605))
(approx %248 (fma.f64 x %415 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1631 %1660))))
(approx %248 (fma.f64 x %415 (*.f64 z (fma.f64 z (-.f64 (*.f64 #s(literal 1/16 binary64) %1635) (*.f64 #s(literal 1/8 binary64) %1637)) %1660))))
(approx %255 %18)
(approx %255 (+.f64 %18 (*.f64 #s(literal 1/2 binary64) %1673)))
(approx %255 (+.f64 %18 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1680 (*.f64 #s(literal 1/2 binary64) %1681)))))
(approx %255 (+.f64 %18 (*.f64 z (fma.f64 #s(literal 1/2 binary64) %1681 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1687 (*.f64 #s(literal 1/16 binary64) %1691)))))))
(approx %284 (*.f64 #s(literal 2 binary64) %18))
(approx %284 (fma.f64 #s(literal 2 binary64) %18 %1673))
(approx %284 (fma.f64 #s(literal 2 binary64) %18 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1680 %1704))))
(approx %284 (fma.f64 #s(literal 2 binary64) %18 (*.f64 z (fma.f64 z (fma.f64 #s(literal -1/4 binary64) %1687 (*.f64 #s(literal 1/8 binary64) %1691)) %1704))))
(approx %1038 %1715)
(approx %1041 (*.f64 #s(literal -2 binary64) %1715))
(approx %310 (*.f64 #s(literal -2 binary64) %1720))
(approx %310 (fma.f64 #s(literal -2 binary64) %1720 (*.f64 #s(literal -1 binary64) (/.f64 z %1719))))
(approx %310 (fma.f64 #s(literal -2 binary64) %1720 (*.f64 z (-.f64 (*.f64 #s(literal 1/4 binary64) (/.f64 z %1728)) %1731))))
(approx %310 (fma.f64 #s(literal -2 binary64) %1720 (*.f64 z (-.f64 (*.f64 z (fma.f64 #s(literal -1/8 binary64) (/.f64 z (*.f64 %198 (pow.f64 %1719 #s(literal 5 binary64)))) (*.f64 #s(literal 1/4 binary64) (/.f64 #s(literal 1 binary64) %1728)))) %1731))))
(approx %339 %1600)
(approx %342 (*.f64 #s(literal -2 binary64) %1600))
(approx %351 (*.f64 #s(literal -2 binary64) (sqrt.f64 %1753)))
(approx %371 (/.f64 %899 z))
(approx %397 (*.f64 #s(literal -2 binary64) %1605))
(approx %397 (fma.f64 #s(literal -2 binary64) %1605 (*.f64 #s(literal -1 binary64) %1657)))
(approx %397 (fma.f64 #s(literal -2 binary64) %1605 (*.f64 z (-.f64 (*.f64 #s(literal 1/4 binary64) %1631) %417))))
(approx %397 (fma.f64 #s(literal -2 binary64) %1605 (*.f64 z (-.f64 (*.f64 z (fma.f64 #s(literal -1/8 binary64) %1635 (*.f64 #s(literal 1/4 binary64) %1637))) %417))))
(approx %400 (/.f64 %992 z))
(approx %406 (*.f64 #s(literal -2 binary64) %992))
(approx %49 %1119)
(approx %29 %901)
(approx %228 (*.f64 %84 %157))
(approx %229 %1784)
(approx %153 %157)
(approx %154 %158)
(approx %50 %1788)
(approx %59 (*.f64 z (+.f64 %60 %1791)))
(approx %68 %1796)
(approx %106 %1799)
(approx %67 %1795)
(approx %149 %1802)
(approx %176 %1592)
(approx %176 (*.f64 z %1799))
(approx %182 %433)
(approx %182 %1813)
(approx %182 %1821)
(approx %182 %1830)
(approx %188 (/.f64 #s(literal 1 binary64) %433))
(approx %188 %1838)
(approx %188 %1848)
(approx %188 %1867)
(approx %230 (/.f64 %223 %158))
(approx %241 %1871)
(approx %244 (/.f64 %1871 %172))
(approx %248 %1877)
(approx %248 %1882)
(approx %248 %1888)
(approx %255 (*.f64 z (+.f64 %1795 %1892)))
(approx %255 (*.f64 z (+.f64 %1795 (fma.f64 #s(literal -1/8 binary64) %1899 %1892))))
(approx %255 (*.f64 z (+.f64 %1795 (fma.f64 #s(literal -1/8 binary64) %1899 (fma.f64 #s(literal 1/16 binary64) %1907 %1892)))))
(approx %284 (*.f64 #s(literal 2 binary64) %1796))
(approx %284 (*.f64 z %1915))
(approx %284 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1899 %1915)))
(approx %284 (*.f64 z (fma.f64 #s(literal -1/4 binary64) %1899 (fma.f64 #s(literal 1/8 binary64) %1907 %1915))))
(approx %310 %1929)
(approx %310 %1937)
(approx %310 %1945)
(approx %351 (*.f64 #s(literal -2 binary64) %1950))
(approx %377 %1954)
(approx %397 %1958)
(approx %397 %1963)
(approx %397 %1968)
(approx %49 (*.f64 #s(literal -1 binary64) %1119))
(approx %29 (*.f64 #s(literal -1 binary64) %1442))
(approx %228 (*.f64 #s(literal -1 binary64) (*.f64 %84 %1975)))
(approx %229 (*.f64 #s(literal -1 binary64) %1981))
(approx %153 %1979)
(approx %154 %1980)
(approx %50 (*.f64 #s(literal -1 binary64) %1788))
(approx %59 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %60 %1791))))
(approx %149 (*.f64 #s(literal -1 binary64) %1954))
(approx %155 %1994)
(approx %176 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %35 %1996))))
(approx %182 (*.f64 #s(literal -1 binary64) %433))
(approx %182 (*.f64 #s(literal -1 binary64) %1813))
(approx %182 (*.f64 #s(literal -1 binary64) %1821))
(approx %182 (*.f64 #s(literal -1 binary64) %1830))
(approx %188 (/.f64 #s(literal -1 binary64) %433))
(approx %188 (*.f64 #s(literal -1 binary64) %1838))
(approx %188 (*.f64 #s(literal -1 binary64) %1848))
(approx %188 (*.f64 #s(literal -1 binary64) %1867))
(approx %230 (*.f64 #s(literal -1 binary64) (/.f64 %223 %1980)))
(approx %241 (*.f64 #s(literal -1 binary64) %2020))
(approx %244 (*.f64 #s(literal -1 binary64) (/.f64 %2020 %172)))
(approx %248 (*.f64 #s(literal -1 binary64) %1877))
(approx %248 (*.f64 #s(literal -1 binary64) %1882))
(approx %248 (*.f64 #s(literal -1 binary64) %1888))
(approx %255 (*.f64 #s(literal -1 binary64) %1950))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1949 %2036))))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1949 (fma.f64 #s(literal -1/8 binary64) %2043 %2036)))))
(approx %255 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 %1949 (fma.f64 #s(literal -1/8 binary64) %2043 (fma.f64 #s(literal 1/16 binary64) %2051 %2036))))))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 z %2058)))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/4 binary64) %2043 %2058))))
(approx %284 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/4 binary64) %2043 (fma.f64 #s(literal 1/8 binary64) %2051 %2058)))))
(approx %310 (*.f64 #s(literal -1 binary64) %1929))
(approx %310 (*.f64 #s(literal -1 binary64) %1937))
(approx %310 (*.f64 #s(literal -1 binary64) %1945))
(approx %339 %2077)
(approx %342 (*.f64 #s(literal -2 binary64) %2077))
(approx %254 %1753)
(approx %254 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x (fma.f64 #s(literal -1 binary64) y %1996)))))
(approx %377 (*.f64 #s(literal -1 binary64) %1802))
(approx %397 (*.f64 #s(literal -1 binary64) %1958))
(approx %397 (*.f64 #s(literal -1 binary64) %1963))
(approx %397 (*.f64 #s(literal -1 binary64) %1968))