%2 = (*.f64 x y)
%5 = (*.f64 z t)
x
y
%2
z
t
%5
(-.f64 %2 %5)

%3 = (neg.f64 y)
%4 = (*.f64 %3 x)
%6 = (neg.f64 x)
%10 = (*.f64 y x)
%19 = (neg.f64 z)
%20 = (*.f64 %19 t)
%22 = (neg.f64 t)
%25 = (*.f64 t z)
%32 = (-.f64 %25 %10)
%34 = (-.f64 %10 %25)
%42 = (*.f64 %20 #s(literal 1 binary64))
%47 = (*.f64 %10 #s(literal 1 binary64))
x
y
(*.f64 #s(literal -1 binary64) %4)
(*.f64 %3 %6)
(*.f64 %6 %3)
(*.f64 #s(literal 1 binary64) %10)
%10
(*.f64 x y)
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(neg.f64 %4)
z
t
(*.f64 #s(literal -1 binary64) %20)
(*.f64 %22 %19)
(*.f64 %19 %22)
(*.f64 #s(literal 1 binary64) %25)
%25
(*.f64 z t)
(pow.f64 %25 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %25 #s(literal -1 binary64)))
(neg.f64 %20)
(*.f64 #s(literal -1 binary64) %32)
(*.f64 #s(literal 1 binary64) %34)
(pow.f64 %34 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %34 #s(literal -1 binary64)))
(neg.f64 %32)
(fma.f64 #s(literal -1 binary64) %4 %20)
(fma.f64 #s(literal -1 binary64) %25 %10)
(fma.f64 %10 #s(literal 1 binary64) %42)
(fma.f64 %22 z %10)
(fma.f64 %3 %6 %20)
(fma.f64 %6 %3 %20)
(fma.f64 %20 #s(literal 1 binary64) %47)
(fma.f64 %19 t %10)
(fma.f64 #s(literal 1 binary64) %10 %20)
(fma.f64 #s(literal 1 binary64) %20 %10)
(fma.f64 t %19 %10)
(fma.f64 z %22 %10)
(fma.f64 y x %20)
(fma.f64 x y %20)
%34
(-.f64 %20 %4)
(+.f64 %47 %42)
(+.f64 %42 %47)
(+.f64 %10 %20)
(+.f64 %20 %10)

%2 = (*.f64 x y)
%6 = (*.f64 t z)
%7 = (*.f64 #s(literal -1 binary64) %6)
%10 = (- (* x y) (* z t))
%12 = (/.f64 %2 z)
%13 = (-.f64 %12 t)
%14 = (*.f64 z %13)
%16 = (*.f64 y x)
%17 = (neg.f64 z)
%18 = (*.f64 %17 t)
x
y
%2
z
t
#s(literal -1 binary64)
%6
%7
(approx %10 %7)
%12
%13
%14
(approx %10 %14)
%16
%17
%18
(fma.f64 t %17 %16)
(fma.f64 x y %18)

%3 = (*.f64 z x)
%5 = (/.f64 #s(literal 1 binary64) z)
%6 = (*.f64 %3 %5)
%7 = (*.f64 %6 y)
%8 = (*.f64 y x)
%9 = (neg.f64 %8)
%10 = (*.f64 %9 z)
%12 = (*.f64 %10 #s(literal 2 binary64))
%14 = (/.f64 #s(literal -1/2 binary64) z)
%15 = (*.f64 %12 %14)
%16 = (*.f64 %8 z)
%17 = (*.f64 %16 #s(literal 2 binary64))
%19 = (/.f64 #s(literal 1/2 binary64) z)
%20 = (*.f64 %17 %19)
%22 = (*.f64 %9 #s(literal -2 binary64))
%23 = (*.f64 %22 #s(literal 1/2 binary64))
%24 = (neg.f64 x)
%25 = (*.f64 z %24)
%26 = (neg.f64 y)
%27 = (/.f64 %26 z)
%28 = (*.f64 %25 %27)
%29 = (*.f64 %10 #s(literal 1 binary64))
%31 = (/.f64 #s(literal -1 binary64) z)
%32 = (*.f64 %29 %31)
%33 = (*.f64 %16 #s(literal -1 binary64))
%34 = (*.f64 %33 %31)
%35 = (*.f64 %8 #s(literal 1/2 binary64))
%36 = (*.f64 %35 #s(literal 2 binary64))
%37 = (*.f64 %9 #s(literal 2 binary64))
%38 = (*.f64 %37 #s(literal -1/2 binary64))
%39 = (*.f64 z %26)
%40 = (/.f64 %24 z)
%41 = (*.f64 %39 %40)
%42 = (/.f64 z #s(literal -1 binary64))
%43 = (/.f64 y z)
%44 = (*.f64 %24 %43)
%45 = (*.f64 %42 %44)
%46 = (*.f64 z y)
%47 = (/.f64 x z)
%48 = (*.f64 %46 %47)
%49 = (*.f64 #s(literal 2 binary64) %8)
%50 = (*.f64 %49 #s(literal 1/2 binary64))
%51 = (*.f64 %3 %43)
%52 = (*.f64 %10 %31)
%53 = (*.f64 %16 %5)
%54 = (*.f64 %47 %46)
%55 = (*.f64 #s(literal 1/2 binary64) %49)
%56 = (*.f64 %19 %16)
%57 = (*.f64 #s(literal 2 binary64) %56)
%58 = (*.f64 #s(literal 1/2 binary64) %8)
%59 = (*.f64 #s(literal 2 binary64) %58)
%60 = (*.f64 %44 %42)
%61 = (neg.f64 z)
%62 = (*.f64 %44 %61)
%63 = (*.f64 %27 z)
%64 = (*.f64 %24 %63)
%65 = (*.f64 %24 %26)
%66 = (*.f64 %31 %10)
%67 = (*.f64 %43 %3)
%68 = (*.f64 %31 %3)
%69 = (*.f64 %26 %68)
%70 = (*.f64 %40 z)
%71 = (*.f64 %26 %70)
%72 = (*.f64 %26 %24)
%73 = (*.f64 %5 %16)
%74 = (*.f64 %9 #s(literal -1 binary64))
%75 = (*.f64 #s(literal 1 binary64) %8)
%76 = (*.f64 %61 %44)
%77 = (/.f64 %8 z)
%78 = (*.f64 %77 z)
%79 = (*.f64 %8 #s(literal 1 binary64))
%80 = (*.f64 #s(literal -1 binary64) %9)
%81 = (*.f64 z %77)
%82 = (*.f64 x y)
%83 = (pow.f64 %8 #s(literal 1 binary64))
%85 = (/.f64 (neg.f64 %29) z)
%86 = (*.f64 %10 #s(literal -1 binary64))
%88 = (/.f64 (neg.f64 %86) %61)
%90 = (/.f64 (neg.f64 %33) z)
%91 = (*.f64 #s(literal -1 binary64) %16)
%93 = (/.f64 (neg.f64 %91) z)
%94 = (/.f64 %16 #s(literal 1 binary64))
%96 = (/.f64 (neg.f64 %94) %61)
%97 = (/.f64 %29 %61)
%98 = (/.f64 %86 z)
%99 = (/.f64 %33 %61)
%100 = (/.f64 %91 %61)
%101 = (/.f64 %94 z)
%102 = (/.f64 %37 #s(literal -2 binary64))
%103 = (neg.f64 %49)
%104 = (/.f64 %103 #s(literal -2 binary64))
%105 = (*.f64 %61 %9)
%106 = (/.f64 %105 z)
%107 = (*.f64 %61 %8)
%108 = (/.f64 %107 %61)
%109 = (*.f64 %9 %61)
%110 = (/.f64 %109 z)
%111 = (*.f64 %8 %61)
%112 = (/.f64 %111 %61)
%113 = (/.f64 %49 #s(literal 2 binary64))
%114 = (/.f64 %10 %61)
%115 = (/.f64 %16 z)
%116 = (/.f64 %9 #s(literal -1 binary64))
%117 = (*.f64 %61 %5)
%119 = (/.f64 #s(literal 1 binary64) (pow.f64 %8 %117))
%120 = (*.f64 %5 %61)
%122 = (/.f64 #s(literal 1 binary64) (pow.f64 %8 %120))
%124 = (/.f64 #s(literal 1 binary64) (/.f64 %61 %10))
%126 = (/.f64 #s(literal 1 binary64) (/.f64 z %16))
%128 = (/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
%129 = (/.f64 %8 #s(literal 1 binary64))
%130 = (neg.f64 %9)
%132 = (*.f64 %8 #s(literal 0 binary64))
%133 = (fma.f64 %6 y %132)
%134 = (*.f64 #s(literal 0 binary64) %8)
%135 = (fma.f64 %6 y %134)
%136 = (fma.f64 %12 %14 %132)
%137 = (fma.f64 %12 %14 %134)
%138 = (fma.f64 %17 %19 %132)
%139 = (fma.f64 %17 %19 %134)
%140 = (fma.f64 %22 #s(literal 1/2 binary64) %132)
%141 = (fma.f64 %22 #s(literal 1/2 binary64) %134)
%142 = (fma.f64 %25 %27 %132)
%143 = (fma.f64 %25 %27 %134)
%144 = (fma.f64 %29 %31 %132)
%145 = (fma.f64 %29 %31 %134)
%146 = (fma.f64 %33 %31 %132)
%147 = (fma.f64 %33 %31 %134)
%148 = (fma.f64 %35 #s(literal 2 binary64) %132)
%149 = (fma.f64 %35 #s(literal 2 binary64) %134)
%150 = (fma.f64 %37 #s(literal -1/2 binary64) %132)
%151 = (fma.f64 %37 #s(literal -1/2 binary64) %134)
%152 = (fma.f64 %39 %40 %132)
%153 = (fma.f64 %39 %40 %134)
%154 = (fma.f64 %42 %44 %132)
%155 = (fma.f64 %42 %44 %134)
%156 = (fma.f64 %46 %47 %132)
%157 = (fma.f64 %46 %47 %134)
%158 = (fma.f64 %49 #s(literal 1/2 binary64) %132)
%159 = (fma.f64 %49 #s(literal 1/2 binary64) %134)
%160 = (fma.f64 %3 %43 %132)
%161 = (fma.f64 %3 %43 %134)
%162 = (fma.f64 %10 %31 %132)
%163 = (fma.f64 %10 %31 %134)
%164 = (fma.f64 %16 %5 %132)
%165 = (fma.f64 %16 %5 %134)
%166 = (fma.f64 %47 %46 %132)
%167 = (fma.f64 %47 %46 %134)
%168 = (fma.f64 #s(literal 1/2 binary64) %49 %132)
%169 = (fma.f64 #s(literal 1/2 binary64) %49 %134)
%170 = (fma.f64 #s(literal 1/2 binary64) %8 %58)
%171 = (fma.f64 #s(literal 2 binary64) %56 %132)
%172 = (fma.f64 #s(literal 2 binary64) %56 %134)
%173 = (fma.f64 #s(literal 2 binary64) %58 %132)
%174 = (fma.f64 #s(literal 2 binary64) %58 %134)
%175 = (fma.f64 %44 %42 %132)
%176 = (fma.f64 %44 %42 %134)
%177 = (fma.f64 %44 %61 %132)
%178 = (fma.f64 %44 %61 %134)
%179 = (fma.f64 %24 %63 %132)
%180 = (fma.f64 %24 %63 %134)
%181 = (fma.f64 %24 %26 %132)
%182 = (fma.f64 %24 %26 %134)
%183 = (fma.f64 %31 %10 %132)
%184 = (fma.f64 %31 %10 %134)
%185 = (fma.f64 %43 %3 %132)
%186 = (fma.f64 %43 %3 %134)
%187 = (fma.f64 %26 %68 %132)
%188 = (fma.f64 %26 %68 %134)
%189 = (fma.f64 %26 %70 %132)
%190 = (fma.f64 %26 %70 %134)
%191 = (fma.f64 %26 %24 %132)
%192 = (fma.f64 %26 %24 %134)
%193 = (fma.f64 %5 %16 %132)
%194 = (fma.f64 %5 %16 %134)
%195 = (fma.f64 %9 #s(literal -1 binary64) %132)
%196 = (fma.f64 %9 #s(literal -1 binary64) %134)
%197 = (fma.f64 #s(literal 1 binary64) %8 %132)
%198 = (fma.f64 #s(literal 1 binary64) %8 %134)
%199 = (fma.f64 %61 %44 %132)
%200 = (fma.f64 %61 %44 %134)
%201 = (fma.f64 %77 z %132)
%202 = (fma.f64 %77 z %134)
%203 = (fma.f64 %8 #s(literal 1/2 binary64) %35)
%204 = (fma.f64 %8 #s(literal 1 binary64) %132)
%205 = (fma.f64 %8 #s(literal 1 binary64) %134)
%206 = (fma.f64 #s(literal -1 binary64) %9 %132)
%207 = (fma.f64 #s(literal -1 binary64) %9 %134)
%208 = (fma.f64 z %77 %132)
%209 = (fma.f64 z %77 %134)
%210 = (fma.f64 y x %132)
%211 = (fma.f64 y x %134)
%212 = (fma.f64 x y %132)
%213 = (fma.f64 x y %134)
%214 = (+.f64 %35 %35)
%215 = (+.f64 %58 %58)
%216 = (+.f64 %8 %132)
%217 = (+.f64 %8 %134)
%219 = (*.f64 %61 t)
%220 = (*.f64 %219 #s(literal 2 binary64))
%222 = (*.f64 t z)
%223 = (*.f64 #s(literal 2 binary64) %222)
%225 = (*.f64 #s(literal 1/2 binary64) %222)
%227 = (*.f64 #s(literal 1/2 binary64) %219)
%231 = (neg.f64 t)
%241 = (neg.f64 %223)
%251 = (*.f64 #s(literal 1/2 binary64) %231)
%253 = (*.f64 #s(literal 1/2 binary64) z)
%255 = (*.f64 #s(literal 1/2 binary64) t)
%257 = (*.f64 #s(literal 1/2 binary64) %61)
%259 = (*.f64 %222 #s(literal 0 binary64))
%261 = (*.f64 #s(literal 0 binary64) %222)
%298 = (*.f64 %222 #s(literal -2 binary64))
%299 = (*.f64 %298 #s(literal 1/2 binary64))
%300 = (*.f64 #s(literal -1 binary64) %223)
%301 = (*.f64 %300 #s(literal 1/2 binary64))
%302 = (*.f64 %219 #s(literal 1/2 binary64))
%303 = (*.f64 %302 #s(literal 2 binary64))
%304 = (*.f64 %220 #s(literal 1/2 binary64))
%305 = (*.f64 %241 #s(literal 1/2 binary64))
%306 = (*.f64 %223 #s(literal -1/2 binary64))
%307 = (*.f64 #s(literal -2 binary64) %225)
%308 = (*.f64 #s(literal 2 binary64) %219)
%309 = (*.f64 #s(literal 1/2 binary64) %308)
%310 = (*.f64 %225 #s(literal -1 binary64))
%311 = (*.f64 #s(literal 2 binary64) %310)
%312 = (*.f64 #s(literal -1/2 binary64) %222)
%313 = (*.f64 #s(literal 2 binary64) %312)
%314 = (neg.f64 %225)
%315 = (*.f64 #s(literal 2 binary64) %314)
%316 = (*.f64 #s(literal 2 binary64) %227)
%317 = (*.f64 %231 z)
%318 = (*.f64 #s(literal 1 binary64) %219)
%319 = (*.f64 %219 #s(literal 1 binary64))
%320 = (*.f64 %222 #s(literal -1 binary64))
%321 = (*.f64 #s(literal -1 binary64) %222)
%322 = (*.f64 t %61)
%323 = (*.f64 z %231)
%324 = (pow.f64 %219 #s(literal 1 binary64))
%326 = (/.f64 (neg.f64 %308) #s(literal -2 binary64))
%327 = (/.f64 %308 #s(literal 2 binary64))
%328 = (/.f64 %220 #s(literal 2 binary64))
%329 = (/.f64 %223 #s(literal -2 binary64))
%331 = (/.f64 #s(literal 1 binary64) (pow.f64 %219 %117))
%333 = (/.f64 #s(literal 1 binary64) (pow.f64 %219 %120))
%335 = (/.f64 #s(literal 1 binary64) (pow.f64 %219 #s(literal -1 binary64)))
%336 = (neg.f64 %222)
%337 = (*.f64 %219 #s(literal 0 binary64))
%338 = (fma.f64 %298 #s(literal 1/2 binary64) %337)
%339 = (*.f64 #s(literal 0 binary64) %219)
%340 = (fma.f64 %298 #s(literal 1/2 binary64) %339)
%341 = (fma.f64 %300 #s(literal 1/2 binary64) %337)
%342 = (fma.f64 %300 #s(literal 1/2 binary64) %339)
%343 = (fma.f64 %302 #s(literal 2 binary64) %337)
%344 = (fma.f64 %302 #s(literal 2 binary64) %339)
%345 = (fma.f64 %220 #s(literal 1/2 binary64) %337)
%346 = (fma.f64 %220 #s(literal 1/2 binary64) %339)
%347 = (fma.f64 %241 #s(literal 1/2 binary64) %337)
%348 = (fma.f64 %241 #s(literal 1/2 binary64) %339)
%349 = (fma.f64 %223 #s(literal -1/2 binary64) %337)
%350 = (fma.f64 %223 #s(literal -1/2 binary64) %339)
%351 = (fma.f64 #s(literal -2 binary64) %225 %337)
%352 = (fma.f64 #s(literal -2 binary64) %225 %339)
%353 = (fma.f64 #s(literal 1/2 binary64) %308 %337)
%354 = (fma.f64 #s(literal 1/2 binary64) %308 %339)
%355 = (fma.f64 #s(literal 1/2 binary64) %219 %227)
%356 = (fma.f64 #s(literal 2 binary64) %310 %337)
%357 = (fma.f64 #s(literal 2 binary64) %310 %339)
%358 = (fma.f64 #s(literal 2 binary64) %312 %337)
%359 = (fma.f64 #s(literal 2 binary64) %312 %339)
%360 = (fma.f64 #s(literal 2 binary64) %314 %337)
%361 = (fma.f64 #s(literal 2 binary64) %314 %339)
%362 = (fma.f64 #s(literal 2 binary64) %227 %337)
%363 = (fma.f64 #s(literal 2 binary64) %227 %339)
%364 = (fma.f64 %231 z %337)
%365 = (fma.f64 %231 z %339)
%366 = (fma.f64 #s(literal 1 binary64) %219 %337)
%367 = (fma.f64 #s(literal 1 binary64) %219 %339)
%368 = (fma.f64 %219 #s(literal 1/2 binary64) %302)
%369 = (fma.f64 %219 #s(literal 1 binary64) %337)
%370 = (fma.f64 %219 #s(literal 1 binary64) %339)
%371 = (fma.f64 %61 t %337)
%372 = (fma.f64 %61 t %339)
%373 = (fma.f64 %222 #s(literal -1 binary64) %337)
%374 = (fma.f64 %222 #s(literal -1 binary64) %339)
%375 = (fma.f64 #s(literal -1 binary64) %222 %337)
%376 = (fma.f64 #s(literal -1 binary64) %222 %339)
%377 = (fma.f64 t %61 %337)
%378 = (fma.f64 t %61 %339)
%379 = (fma.f64 z %231 %337)
%380 = (fma.f64 z %231 %339)
%381 = (+.f64 %302 %302)
%382 = (+.f64 %227 %227)
%383 = (+.f64 %219 %337)
%384 = (+.f64 %219 %339)
%387 = (- (* y x) (* t z))
%388 = (approx %387 %219)
%397 = (*.f64 %5 %49)
%400 = (/.f64 y #s(literal 1 binary64))
%402 = (/.f64 x #s(literal 1 binary64))
%404 = (/.f64 %8 #s(literal -1 binary64))
%406 = (/.f64 y #s(literal -1 binary64))
%408 = (/.f64 x #s(literal -1 binary64))
%417 = (*.f64 #s(literal 2 binary64) %77)
%419 = (*.f64 %14 %9)
%421 = (*.f64 %19 %8)
%423 = (*.f64 #s(literal 1/2 binary64) %77)
%443 = (*.f64 #s(literal 2 binary64) %9)
%445 = (*.f64 #s(literal 2 binary64) %61)
%446 = (neg.f64 %445)
%449 = (*.f64 #s(literal 2 binary64) z)
%468 = (-.f64 %222 %8)
%470 = (-.f64 %77 t)
%472 = (-.f64 %8 %222)
%475 = (*.f64 %231 #s(literal 2 binary64))
%476 = (*.f64 %475 z)
%477 = (*.f64 #s(literal 2 binary64) %404)
%488 = (*.f64 #s(literal 2 binary64) %231)
%489 = (*.f64 %488 z)
%500 = (/.f64 %222 #s(literal -1 binary64))
%501 = (*.f64 %500 z)
%502 = (*.f64 z %404)
%504 = (*.f64 z z)
%513 = (*.f64 z %61)
%515 = (*.f64 %219 z)
%523 = (*.f64 %222 z)
%526 = (*.f64 %61 z)
%536 = (*.f64 %417 #s(literal 2 binary64))
%537 = (*.f64 t #s(literal 2 binary64))
%542 = (*.f64 #s(literal 2 binary64) t)
%546 = (*.f64 %417 z)
%547 = (/.f64 %222 #s(literal 1 binary64))
%559 = (*.f64 %443 #s(literal 2 binary64))
%562 = (*.f64 %445 #s(literal 2 binary64))
%567 = (*.f64 %443 z)
%570 = (*.f64 %445 z)
%585 = (*.f64 %49 #s(literal 2 binary64))
%588 = (*.f64 %449 #s(literal 2 binary64))
%593 = (*.f64 %49 z)
%596 = (*.f64 %449 z)
%611 = (*.f64 %44 #s(literal 2 binary64))
%623 = (*.f64 %61 #s(literal 2 binary64))
%639 = (*.f64 z #s(literal 2 binary64))
%650 = (/.f64 %468 #s(literal -1 binary64))
%654 = (-.f64 %49 %223)
%657 = (-.f64 t %77)
%692 = (/.f64 %231 z)
%693 = (/.f64 z #s(literal 1 binary64))
%698 = (/.f64 t z)
%751 = (*.f64 (*.f64 %657 #s(literal -1 binary64)) z)
%752 = (*.f64 %61 %468)
%753 = (*.f64 %752 %5)
%754 = (*.f64 %61 %472)
%755 = (*.f64 %754 %31)
%756 = (*.f64 #s(literal 1/2 binary64) %654)
%757 = (*.f64 %468 %120)
%758 = (*.f64 %468 #s(literal -1 binary64))
%759 = (*.f64 %657 %61)
%760 = (*.f64 #s(literal 1 binary64) %472)
%761 = (*.f64 %61 %657)
%762 = (*.f64 %470 z)
%763 = (*.f64 %472 #s(literal 1 binary64))
%764 = (*.f64 #s(literal -1 binary64) %468)
%766 = (*.f64 z (*.f64 #s(literal -1 binary64) %657))
%767 = (*.f64 z %470)
%768 = (pow.f64 %472 #s(literal 1 binary64))
%770 = (*.f64 #s(literal 2 binary64) %37)
%772 = (/.f64 (-.f64 (*.f64 %308 #s(literal 2 binary64)) %770) #s(literal 4 binary64))
%773 = (*.f64 %308 %61)
%774 = (*.f64 #s(literal 2 binary64) %105)
%776 = (/.f64 (-.f64 %773 %774) %445)
%777 = (*.f64 %308 z)
%778 = (*.f64 #s(literal 2 binary64) %107)
%780 = (/.f64 (-.f64 %777 %778) %449)
%781 = (*.f64 #s(literal 2 binary64) %109)
%783 = (/.f64 (-.f64 %773 %781) %445)
%784 = (*.f64 #s(literal 2 binary64) %111)
%786 = (/.f64 (-.f64 %777 %784) %449)
%787 = (*.f64 #s(literal 2 binary64) %10)
%789 = (/.f64 (-.f64 %777 %787) %449)
%790 = (*.f64 #s(literal 2 binary64) %16)
%792 = (/.f64 (-.f64 %773 %790) %445)
%795 = (/.f64 (-.f64 (*.f64 %220 #s(literal 2 binary64)) %770) #s(literal 4 binary64))
%796 = (*.f64 %220 %61)
%798 = (/.f64 (-.f64 %796 %774) %445)
%799 = (*.f64 %220 z)
%801 = (/.f64 (-.f64 %799 %778) %449)
%803 = (/.f64 (-.f64 %796 %781) %445)
%805 = (/.f64 (-.f64 %799 %784) %449)
%807 = (/.f64 (-.f64 %799 %787) %449)
%809 = (/.f64 (-.f64 %796 %790) %445)
%811 = (*.f64 %61 %223)
%813 = (/.f64 (-.f64 (*.f64 %29 #s(literal 2 binary64)) %811) %623)
%815 = (*.f64 z %223)
%817 = (/.f64 (-.f64 (*.f64 %86 #s(literal 2 binary64)) %815) %639)
%820 = (/.f64 (-.f64 (*.f64 %33 #s(literal 2 binary64)) %811) %623)
%823 = (/.f64 (-.f64 (*.f64 %91 #s(literal 2 binary64)) %811) %623)
%826 = (/.f64 (-.f64 (*.f64 %94 #s(literal 2 binary64)) %815) %639)
%829 = (/.f64 (-.f64 %585 (*.f64 #s(literal 2 binary64) %223)) #s(literal 4 binary64))
%831 = (/.f64 (-.f64 %12 %811) %623)
%833 = (/.f64 (-.f64 %17 %815) %639)
%835 = (/.f64 (-.f64 %37 %300) #s(literal -2 binary64))
%836 = (fma.f64 %219 %61 %10)
%838 = (/.f64 (neg.f64 %836) z)
%839 = (/.f64 %752 z)
%840 = (/.f64 %754 %61)
%842 = (/.f64 (*.f64 %468 %61) z)
%844 = (/.f64 (*.f64 %472 %61) %61)
%845 = (/.f64 %836 %61)
%847 = (/.f64 (*.f64 %468 z) %61)
%849 = (/.f64 (*.f64 %472 z) z)
%851 = (/.f64 #s(literal 1 binary64) (pow.f64 %472 %117))
%853 = (/.f64 #s(literal 1 binary64) (pow.f64 %472 %120))
%855 = (/.f64 #s(literal 1 binary64) (pow.f64 %472 #s(literal -1 binary64)))
%856 = (neg.f64 %468)
%857 = (fma.f64 %6 y %219)
%858 = (fma.f64 %12 %14 %219)
%859 = (fma.f64 %17 %19 %219)
%860 = (fma.f64 %298 #s(literal 1/2 binary64) %8)
%861 = (fma.f64 %300 #s(literal 1/2 binary64) %8)
%862 = (fma.f64 %22 #s(literal 1/2 binary64) %219)
%863 = (fma.f64 %25 %27 %219)
%864 = (fma.f64 %29 %31 %219)
%865 = (fma.f64 %33 %31 %219)
%866 = (fma.f64 %302 #s(literal 2 binary64) %8)
%867 = (fma.f64 %35 #s(literal 2 binary64) %219)
%868 = (fma.f64 %220 #s(literal 1/2 binary64) %8)
%869 = (fma.f64 %37 #s(literal -1/2 binary64) %219)
%870 = (fma.f64 %39 %40 %219)
%871 = (fma.f64 %241 #s(literal 1/2 binary64) %8)
%872 = (fma.f64 %42 %44 %219)
%873 = (fma.f64 %46 %47 %219)
%874 = (fma.f64 %49 #s(literal 1/2 binary64) %219)
%875 = (fma.f64 %223 #s(literal -1/2 binary64) %8)
%876 = (fma.f64 %3 %43 %219)
%877 = (fma.f64 %10 %31 %219)
%878 = (fma.f64 %16 %5 %219)
%879 = (fma.f64 #s(literal -2 binary64) %225 %8)
%880 = (fma.f64 %47 %46 %219)
%881 = (fma.f64 #s(literal 1/2 binary64) %308 %8)
%882 = (fma.f64 #s(literal 1/2 binary64) %49 %219)
%883 = (fma.f64 #s(literal 2 binary64) %56 %219)
%884 = (fma.f64 #s(literal 2 binary64) %310 %8)
%885 = (fma.f64 #s(literal 2 binary64) %312 %8)
%886 = (fma.f64 #s(literal 2 binary64) %58 %219)
%887 = (fma.f64 #s(literal 2 binary64) %314 %8)
%888 = (fma.f64 #s(literal 2 binary64) %227 %8)
%889 = (fma.f64 %44 %42 %219)
%890 = (fma.f64 %44 %61 %219)
%891 = (fma.f64 %24 %63 %219)
%892 = (fma.f64 %24 %26 %219)
%893 = (fma.f64 %31 %10 %219)
%894 = (fma.f64 %43 %3 %219)
%895 = (fma.f64 %26 %68 %219)
%896 = (fma.f64 %26 %70 %219)
%897 = (fma.f64 %26 %24 %219)
%898 = (fma.f64 %231 z %8)
%899 = (fma.f64 %5 %16 %219)
%900 = (fma.f64 %9 #s(literal -1 binary64) %219)
%901 = (fma.f64 #s(literal 1 binary64) %219 %8)
%902 = (fma.f64 #s(literal 1 binary64) %8 %219)
%903 = (fma.f64 %219 #s(literal 1 binary64) %8)
%904 = (fma.f64 %61 %44 %219)
%905 = (fma.f64 %61 t %8)
%906 = (fma.f64 %77 z %219)
%907 = (fma.f64 %8 #s(literal 1 binary64) %219)
%908 = (fma.f64 %222 #s(literal -1 binary64) %8)
%909 = (fma.f64 #s(literal -1 binary64) %9 %219)
%910 = (fma.f64 #s(literal -1 binary64) %222 %8)
%911 = (fma.f64 t %61 %8)
%912 = (fma.f64 z %231 %8)
%913 = (fma.f64 z %77 %219)
%914 = (fma.f64 y x %219)
%915 = (fma.f64 x y %219)
%918 = (-.f64 %219 (*.f64 (neg.f64 %46) %47))
%921 = (-.f64 %219 (*.f64 (neg.f64 %3) %43))
%922 = (-.f64 %219 %9)
%923 = (+.f64 %219 %8)
%924 = (+.f64 %8 %219)
%925 = (approx %387 %472)
%934 = (*.f64 z #s(literal -2 binary64))
%936 = (*.f64 %61 #s(literal 1/2 binary64))
%942 = (*.f64 #s(literal -1/2 binary64) z)
%960 = (*.f64 %61 #s(literal 0 binary64))
%962 = (*.f64 #s(literal 0 binary64) %61)
x
y
%7
%15
%20
%23
%28
%32
%34
%36
%38
%41
%45
%48
%50
%51
%52
%53
%54
%55
%57
%59
%60
%62
%64
%65
%66
%67
%69
%71
%72
%73
%74
%75
%76
%78
%79
%80
%81
%8
%82
%83
%85
%88
%90
%93
%96
%97
%98
%99
%100
%101
%102
%104
%106
%108
%110
%112
%113
%114
%115
%116
%119
%122
%124
%126
%128
%129
%130
%133
%135
%136
%137
%138
%139
%140
%141
%142
%143
%144
%145
%146
%147
%148
%149
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%190
%191
%192
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%211
%212
%213
%214
%215
%216
%217
z
t
#s(literal -1 binary64)
(*.f64 %220 #s(literal -1/2 binary64))
(*.f64 %223 #s(literal 1/2 binary64))
(*.f64 %225 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %227)
(*.f64 #s(literal 1/2 binary64) %223)
(*.f64 #s(literal 2 binary64) %225)
(*.f64 %231 %61)
(*.f64 #s(literal 1 binary64) %222)
(*.f64 %219 #s(literal -1 binary64))
(*.f64 %61 %231)
(*.f64 %222 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %219)
%222
(*.f64 z t)
(pow.f64 %222 #s(literal 1 binary64))
(/.f64 %220 #s(literal -2 binary64))
(/.f64 %241 #s(literal -2 binary64))
(/.f64 %223 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %222 %117))
(/.f64 #s(literal 1 binary64) (pow.f64 %222 %120))
(/.f64 #s(literal 1 binary64) (pow.f64 %222 #s(literal -1 binary64)))
(neg.f64 %219)
(fma.f64 %251 %61 %225)
(fma.f64 %253 t %225)
(fma.f64 %255 z %225)
(fma.f64 %257 %231 %225)
(fma.f64 %220 #s(literal -1/2 binary64) %259)
(fma.f64 %220 #s(literal -1/2 binary64) %261)
(fma.f64 %227 #s(literal -1 binary64) %225)
(fma.f64 %223 #s(literal 1/2 binary64) %259)
(fma.f64 %223 #s(literal 1/2 binary64) %261)
(fma.f64 %225 #s(literal 2 binary64) %259)
(fma.f64 %225 #s(literal 2 binary64) %261)
(fma.f64 %225 #s(literal 1 binary64) %225)
(fma.f64 #s(literal -2 binary64) %227 %259)
(fma.f64 #s(literal -2 binary64) %227 %261)
(fma.f64 #s(literal -1/2 binary64) %219 %225)
(fma.f64 #s(literal 1/2 binary64) %223 %259)
(fma.f64 #s(literal 1/2 binary64) %223 %261)
(fma.f64 #s(literal 1/2 binary64) %222 %225)
(fma.f64 #s(literal 2 binary64) %225 %259)
(fma.f64 #s(literal 2 binary64) %225 %261)
(fma.f64 %231 %61 %259)
(fma.f64 %231 %61 %261)
(fma.f64 #s(literal 1 binary64) %225 %225)
(fma.f64 #s(literal 1 binary64) %222 %259)
(fma.f64 #s(literal 1 binary64) %222 %261)
(fma.f64 %219 #s(literal -1 binary64) %259)
(fma.f64 %219 #s(literal -1 binary64) %261)
(fma.f64 %61 %231 %259)
(fma.f64 %61 %231 %261)
(fma.f64 %222 #s(literal 1/2 binary64) %225)
(fma.f64 %222 #s(literal 1 binary64) %259)
(fma.f64 %222 #s(literal 1 binary64) %261)
(fma.f64 #s(literal -1 binary64) %219 %259)
(fma.f64 #s(literal -1 binary64) %219 %261)
(fma.f64 t z %259)
(fma.f64 t z %261)
(fma.f64 z t %259)
(fma.f64 z t %261)
(+.f64 %225 %225)
(+.f64 %222 %259)
(+.f64 %222 %261)
%299
%301
%303
%304
%305
%306
%307
%309
%311
%313
%315
%316
%317
%318
%319
%219
%320
%321
%322
%323
%324
%326
%327
%328
%329
%331
%333
%335
%336
%338
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%359
%360
%361
%362
%363
%364
%365
%366
%367
%368
%369
%370
%371
%372
%373
%374
%375
%376
%377
%378
%379
%380
%381
%382
%383
%384
(*.f64 #s(literal 1 binary64) %388)
(pow.f64 %388 #s(literal 1 binary64))
%388
(/.f64 #s(literal 1 binary64) (pow.f64 %388 %117))
(/.f64 #s(literal 1 binary64) (pow.f64 %388 %120))
(/.f64 #s(literal 1 binary64) (pow.f64 %388 #s(literal -1 binary64)))
(*.f64 %397 #s(literal 1/2 binary64))
(*.f64 %37 %14)
(*.f64 %400 %47)
(*.f64 %402 %43)
(*.f64 %404 %31)
(*.f64 %406 %40)
(*.f64 %408 %27)
(*.f64 %49 %19)
(*.f64 %40 %406)
(*.f64 %40 %26)
(*.f64 %27 %408)
(*.f64 %27 %24)
(*.f64 %47 %400)
(*.f64 %47 y)
(*.f64 #s(literal 1/2 binary64) %417)
(*.f64 #s(literal 2 binary64) %419)
(*.f64 #s(literal 2 binary64) %421)
(*.f64 #s(literal 2 binary64) %423)
(*.f64 %44 #s(literal -1 binary64))
(*.f64 %24 %27)
(*.f64 %31 %404)
(*.f64 %31 %9)
(*.f64 %43 %402)
(*.f64 %43 x)
(*.f64 %26 %40)
(*.f64 %5 %8)
(*.f64 %9 %31)
(*.f64 #s(literal 1 binary64) %77)
(*.f64 %77 #s(literal 1 binary64))
(*.f64 %8 %5)
(*.f64 #s(literal -1 binary64) %44)
(*.f64 y %47)
(*.f64 x %43)
(pow.f64 %77 #s(literal 1 binary64))
(/.f64 (neg.f64 %417) #s(literal -2 binary64))
(/.f64 (neg.f64 %443) %446)
(/.f64 %417 #s(literal 2 binary64))
(/.f64 %103 (neg.f64 %449))
(/.f64 %443 %445)
(/.f64 %49 %449)
(/.f64 %44 #s(literal -1 binary64))
(/.f64 %9 %61)
(/.f64 #s(literal 1 binary64) (pow.f64 %77 %117))
(/.f64 #s(literal 1 binary64) (pow.f64 %77 %120))
(/.f64 #s(literal 1 binary64) (pow.f64 %77 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %9))
(/.f64 #s(literal 1 binary64) (/.f64 z %8))
(/.f64 %77 #s(literal 1 binary64))
%77
(neg.f64 %44)
(*.f64 %468 %31)
(*.f64 #s(literal 1 binary64) %470)
(*.f64 %472 %5)
(pow.f64 %470 #s(literal 1 binary64))
(/.f64 (-.f64 %476 %477) %449)
(/.f64 (-.f64 %476 %443) %449)
(/.f64 (-.f64 (*.f64 %475 #s(literal -1 binary64)) %417) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %475 %61) %49) %445)
(/.f64 (-.f64 %489 %477) %449)
(/.f64 (-.f64 %489 %443) %449)
(/.f64 (-.f64 (*.f64 %488 #s(literal -1 binary64)) %417) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %488 %61) %49) %445)
(/.f64 (-.f64 %501 %502) %504)
(/.f64 (-.f64 %501 %10) %504)
(/.f64 (-.f64 (*.f64 %500 #s(literal -1 binary64)) %8) %61)
(/.f64 (-.f64 (*.f64 %500 %61) %16) %513)
(/.f64 (-.f64 %515 %502) %504)
(/.f64 (-.f64 %515 %10) %504)
(/.f64 (-.f64 (*.f64 %219 %61) %16) %513)
(/.f64 (-.f64 %523 (*.f64 %61 %404)) %526)
(/.f64 (-.f64 %523 %105) %526)
(/.f64 (-.f64 (*.f64 %222 %61) %107) %504)
(/.f64 (-.f64 %222 (*.f64 #s(literal -1 binary64) %404)) %61)
(/.f64 (-.f64 %536 (*.f64 #s(literal 2 binary64) %537)) #s(literal 4 binary64))
(/.f64 (-.f64 %536 (*.f64 #s(literal 2 binary64) %542)) #s(literal 4 binary64))
(/.f64 (-.f64 %546 (*.f64 #s(literal 2 binary64) %547)) %449)
(/.f64 (-.f64 (*.f64 %417 #s(literal -1 binary64)) %488) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %417 %61) %308) %445)
(/.f64 (-.f64 %546 %223) %449)
(/.f64 (-.f64 %559 (*.f64 %445 %537)) %562)
(/.f64 (-.f64 %559 (*.f64 %445 %542)) %562)
(/.f64 (-.f64 %567 (*.f64 %445 %547)) %570)
(/.f64 (-.f64 (*.f64 %443 #s(literal -1 binary64)) (*.f64 %445 %231)) (*.f64 %445 #s(literal -1 binary64)))
(/.f64 (-.f64 (*.f64 %443 %61) (*.f64 %445 %219)) (*.f64 %445 %61))
(/.f64 (-.f64 %567 (*.f64 %445 %222)) %570)
(/.f64 (-.f64 %585 (*.f64 %449 %537)) %588)
(/.f64 (-.f64 %585 (*.f64 %449 %542)) %588)
(/.f64 (-.f64 %593 (*.f64 %449 %547)) %596)
(/.f64 (-.f64 (*.f64 %49 #s(literal -1 binary64)) (*.f64 %449 %231)) (*.f64 %449 #s(literal -1 binary64)))
(/.f64 (-.f64 (*.f64 %49 %61) (*.f64 %449 %219)) (*.f64 %449 %61))
(/.f64 (-.f64 %593 (*.f64 %449 %222)) %596)
(/.f64 (-.f64 %611 (*.f64 #s(literal -1 binary64) %537)) #s(literal -2 binary64))
(/.f64 (-.f64 %611 (*.f64 #s(literal -1 binary64) %542)) #s(literal -2 binary64))
(/.f64 (-.f64 %9 (*.f64 #s(literal -1 binary64) %547)) %61)
(/.f64 (-.f64 %37 (*.f64 %61 %537)) %623)
(/.f64 (-.f64 %37 (*.f64 %61 %542)) %623)
(/.f64 (-.f64 %10 (*.f64 %61 %547)) %526)
(/.f64 (-.f64 %109 (*.f64 %61 %219)) %504)
(/.f64 (-.f64 %10 (*.f64 %61 %222)) %526)
(/.f64 (-.f64 %49 (*.f64 z %542)) %639)
(/.f64 (-.f64 %16 (*.f64 z %547)) %504)
(/.f64 (-.f64 %111 (*.f64 z %219)) %513)
(/.f64 (-.f64 %16 (*.f64 z %222)) %504)
(/.f64 (neg.f64 %650) %61)
(/.f64 %650 z)
(/.f64 %654 %639)
(/.f64 %468 %61)
(/.f64 %657 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %470 %117))
(/.f64 #s(literal 1 binary64) (pow.f64 %470 %120))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %468))
(/.f64 #s(literal 1 binary64) (/.f64 z %472))
(/.f64 #s(literal 1 binary64) (pow.f64 %470 #s(literal -1 binary64)))
(/.f64 %470 #s(literal 1 binary64))
(/.f64 %472 z)
(neg.f64 %657)
(fma.f64 %397 #s(literal 1/2 binary64) %231)
(fma.f64 (*.f64 t #s(literal -2 binary64)) #s(literal 1/2 binary64) %77)
(fma.f64 %475 #s(literal 1/2 binary64) %77)
(fma.f64 %537 #s(literal -1/2 binary64) %77)
(fma.f64 (*.f64 %231 #s(literal 1/2 binary64)) #s(literal 2 binary64) %77)
(fma.f64 %37 %14 %231)
(fma.f64 %400 %47 %231)
(fma.f64 %402 %43 %231)
(fma.f64 %404 %31 %231)
(fma.f64 %406 %40 %231)
(fma.f64 %408 %27 %231)
(fma.f64 (/.f64 %223 #s(literal -1 binary64)) %19 %77)
(fma.f64 (/.f64 %223 z) #s(literal -1/2 binary64) %77)
(fma.f64 (/.f64 #s(literal 2 binary64) z) (/.f64 %225 #s(literal -1 binary64)) %77)
(fma.f64 %692 %693 %77)
(fma.f64 %693 %692 %77)
(fma.f64 %500 %5 %77)
(fma.f64 %547 %31 %77)
(fma.f64 %698 %42 %77)
(fma.f64 %42 %698 %77)
(fma.f64 %49 %19 %231)
(fma.f64 %223 %14 %77)
(fma.f64 #s(literal -2 binary64) %255 %77)
(fma.f64 #s(literal -2 binary64) (/.f64 %225 z) %77)
(fma.f64 %40 %406 %231)
(fma.f64 %40 %26 %231)
(fma.f64 %27 %408 %231)
(fma.f64 %27 %24 %231)
(fma.f64 %47 %400 %231)
(fma.f64 %47 y %231)
(fma.f64 #s(literal 1/2 binary64) %417 %231)
(fma.f64 #s(literal 1/2 binary64) %488 %77)
(fma.f64 #s(literal 2 binary64) %419 %231)
(fma.f64 #s(literal 2 binary64) %421 %231)
(fma.f64 #s(literal 2 binary64) %423 %231)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) t) %77)
(fma.f64 #s(literal 2 binary64) (/.f64 %314 z) %77)
(fma.f64 #s(literal 2 binary64) %251 %77)
(fma.f64 %44 #s(literal -1 binary64) %231)
(fma.f64 %24 %27 %231)
(fma.f64 %31 %404 %231)
(fma.f64 %31 %547 %77)
(fma.f64 %31 %9 %231)
(fma.f64 %43 %402 %231)
(fma.f64 %43 x %231)
(fma.f64 %26 %40 %231)
(fma.f64 %231 #s(literal 1 binary64) %77)
(fma.f64 %5 %500 %77)
(fma.f64 %5 %8 %231)
(fma.f64 %9 %31 %231)
(fma.f64 #s(literal 1 binary64) %231 %77)
(fma.f64 #s(literal 1 binary64) %77 %231)
(fma.f64 %219 %5 %77)
(fma.f64 %61 %698 %77)
(fma.f64 %77 #s(literal 1 binary64) %231)
(fma.f64 %8 %5 %231)
(fma.f64 %222 %31 %77)
(fma.f64 #s(literal -1 binary64) %44 %231)
(fma.f64 #s(literal -1 binary64) t %77)
(fma.f64 t #s(literal -1 binary64) %77)
(fma.f64 z %692 %77)
(fma.f64 y %47 %231)
(fma.f64 x %43 %231)
(-.f64 %231 %44)
%470
(+.f64 %231 %77)
(+.f64 %77 %231)
%751
%753
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%766
%767
%768
%772
%776
%780
%783
%786
%789
%792
%795
%798
%801
%803
%805
%807
%809
%813
%817
%820
%823
%826
%829
%831
%833
%835
%838
%839
%840
%842
%844
%845
%847
%849
%851
%853
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%918
%921
%922
%472
%923
%924
(*.f64 #s(literal 1 binary64) %925)
(pow.f64 %925 #s(literal 1 binary64))
%925
(/.f64 #s(literal 1 binary64) (pow.f64 %925 %117))
(/.f64 #s(literal 1 binary64) (pow.f64 %925 %120))
(/.f64 #s(literal 1 binary64) (pow.f64 %925 #s(literal -1 binary64)))
%7
%15
%20
%23
%28
%32
%34
%36
%38
%41
%45
%48
%50
%51
%52
%53
%54
%55
%57
%59
%60
%62
%64
%65
%66
%67
%69
%71
%72
%73
%74
%75
%76
%78
%79
%80
%81
%8
%82
%83
%85
%88
%90
%93
%96
%97
%98
%99
%100
%101
%102
%104
%106
%108
%110
%112
%113
%114
%115
%116
%119
%122
%124
%126
%128
%129
%130
%133
%135
%136
%137
%138
%139
%140
%141
%142
%143
%144
%145
%146
%147
%148
%149
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%190
%191
%192
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%211
%212
%213
%214
%215
%216
%217
(*.f64 %934 #s(literal 1/2 binary64))
(*.f64 %936 #s(literal 2 binary64))
(*.f64 %639 #s(literal -1/2 binary64))
(*.f64 %623 #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) %253)
(*.f64 #s(literal 1/2 binary64) %445)
(*.f64 #s(literal 2 binary64) %942)
(*.f64 #s(literal 2 binary64) %257)
(*.f64 #s(literal 1 binary64) %61)
(*.f64 %61 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) z)
(*.f64 z #s(literal -1 binary64))
(pow.f64 %61 #s(literal 1 binary64))
(/.f64 (neg.f64 %623) #s(literal -2 binary64))
(/.f64 %446 #s(literal -2 binary64))
(/.f64 %623 #s(literal 2 binary64))
(/.f64 %445 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %61 %117))
(/.f64 #s(literal 1 binary64) (pow.f64 %61 %120))
(/.f64 #s(literal 1 binary64) %31)
%61
(fma.f64 %934 #s(literal 1/2 binary64) %960)
(fma.f64 %934 #s(literal 1/2 binary64) %962)
(fma.f64 %936 #s(literal 2 binary64) %960)
(fma.f64 %936 #s(literal 2 binary64) %962)
(fma.f64 %639 #s(literal -1/2 binary64) %960)
(fma.f64 %639 #s(literal -1/2 binary64) %962)
(fma.f64 %623 #s(literal 1/2 binary64) %960)
(fma.f64 %623 #s(literal 1/2 binary64) %962)
(fma.f64 #s(literal -2 binary64) %253 %960)
(fma.f64 #s(literal -2 binary64) %253 %962)
(fma.f64 #s(literal 1/2 binary64) %445 %960)
(fma.f64 #s(literal 1/2 binary64) %445 %962)
(fma.f64 #s(literal 1/2 binary64) %61 %257)
(fma.f64 #s(literal 2 binary64) %942 %960)
(fma.f64 #s(literal 2 binary64) %942 %962)
(fma.f64 #s(literal 2 binary64) %257 %960)
(fma.f64 #s(literal 2 binary64) %257 %962)
(fma.f64 #s(literal 1 binary64) %61 %960)
(fma.f64 #s(literal 1 binary64) %61 %962)
(fma.f64 %61 #s(literal 1/2 binary64) %936)
(fma.f64 %61 #s(literal 1 binary64) %960)
(fma.f64 %61 #s(literal 1 binary64) %962)
(fma.f64 #s(literal -1 binary64) z %960)
(fma.f64 #s(literal -1 binary64) z %962)
(fma.f64 z #s(literal -1 binary64) %960)
(fma.f64 z #s(literal -1 binary64) %962)
(+.f64 %936 %936)
(+.f64 %257 %257)
(+.f64 %61 %960)
(+.f64 %61 %962)
%299
%301
%303
%304
%305
%306
%307
%309
%311
%313
%315
%316
%317
%318
%319
%219
%320
%321
%322
%323
%324
%326
%327
%328
%329
%331
%333
%335
%336
%338
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%359
%360
%361
%362
%363
%364
%365
%366
%367
%368
%369
%370
%371
%372
%373
%374
%375
%376
%377
%378
%379
%380
%381
%382
%383
%384
%751
%753
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%766
%767
%768
%772
%776
%780
%783
%786
%789
%792
%795
%798
%801
%803
%805
%807
%809
%813
%817
%820
%823
%826
%829
%831
%833
%835
%838
%839
%840
%842
%844
%845
%847
%849
%851
%853
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%918
%921
%922
%472
%923
%924
%751
%753
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%766
%767
%768
%772
%776
%780
%783
%786
%789
%792
%795
%798
%801
%803
%805
%807
%809
%813
%817
%820
%823
%826
%829
%831
%833
%835
%838
%839
%840
%842
%844
%845
%847
%849
%851
%853
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%918
%921
%922
%472
%923
%924

%2 = (neg.f64 z)
%3 = (*.f64 %2 t)
z
t
%2
%3
(approx (- (* y x) (* t z)) %3)

%5 = (neg.f64 z)
%10 = (*.f64 t z)
%12 = (neg.f64 t)
%14 = (*.f64 %5 t)
%27 = (approx (- (* x y) (* t z)) %14)
z
t
(*.f64 #s(literal -1 binary64) z)
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
%5
(*.f64 #s(literal -1 binary64) %10)
(*.f64 %12 z)
(*.f64 #s(literal 1 binary64) %14)
%14
(*.f64 t %5)
(*.f64 z %12)
(pow.f64 %14 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
(neg.f64 %10)
(*.f64 #s(literal 1 binary64) %27)
(pow.f64 %27 #s(literal 1 binary64))
%27
(/.f64 #s(literal 1 binary64) (pow.f64 %27 #s(literal -1 binary64)))

%2 = (*.f64 x y)
x
y
%2
(approx (- (* y x) (* t z)) %2)

%3 = (neg.f64 y)
%4 = (*.f64 %3 x)
%6 = (neg.f64 x)
%10 = (*.f64 y x)
%22 = (approx (- (* y x) (* z t)) %10)
x
y
(*.f64 #s(literal -1 binary64) %4)
(*.f64 %3 %6)
(*.f64 %6 %3)
(*.f64 #s(literal 1 binary64) %10)
%10
(*.f64 x y)
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(neg.f64 %4)
(*.f64 #s(literal 1 binary64) %22)
(pow.f64 %22 #s(literal 1 binary64))
%22
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))