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

%3 = (neg.f64 y)
%4 = (*.f64 %3 x)
%6 = (neg.f64 x)
%10 = (*.f64 y x)
%18 = (fma.f64 y x z)
%19 = (neg.f64 %18)
%31 = (neg.f64 z)
%36 = (*.f64 %3 %18)
%40 = (*.f64 %18 y)
%47 = (fabs.f64 y)
%48 = (*.f64 %6 %47)
%49 = (neg.f64 %47)
%50 = (*.f64 z y)
%52 = (*.f64 x %47)
%54 = (*.f64 %47 %6)
%56 = (*.f64 %3 y)
%58 = (*.f64 %47 x)
%60 = (*.f64 %3 z)
%61 = (*.f64 y y)
%62 = (*.f64 %61 x)
%64 = (*.f64 %56 x)
%84 = (fma.f64 %18 y t)
%85 = (neg.f64 %84)
%92 = (fma.f64 z y t)
%98 = (neg.f64 %92)
%100 = (fma.f64 %61 x t)
%101 = (neg.f64 %100)
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
(*.f64 #s(literal -1 binary64) %19)
(*.f64 #s(literal 1 binary64) %18)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(neg.f64 %19)
(fma.f64 #s(literal -1 binary64) %4 z)
(fma.f64 %3 %6 z)
(fma.f64 %6 %3 z)
(fma.f64 #s(literal 1 binary64) %10 z)
%18
(fma.f64 x y z)
(-.f64 %10 %31)
(-.f64 z %4)
(+.f64 %10 z)
(+.f64 z %10)
(*.f64 #s(literal -1 binary64) %36)
(*.f64 %3 %19)
(*.f64 %19 %3)
(*.f64 #s(literal 1 binary64) %40)
%40
(*.f64 y %18)
(pow.f64 %40 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %40 #s(literal -1 binary64)))
(neg.f64 %36)
(fma.f64 %48 %49 %50)
(fma.f64 %52 %47 %50)
(fma.f64 %49 %54 %50)
(fma.f64 %56 %6 %50)
(fma.f64 %47 %58 %50)
(fma.f64 #s(literal -1 binary64) %60 %62)
(fma.f64 #s(literal -1 binary64) %64 %50)
(fma.f64 %61 x %50)
(fma.f64 %10 y %50)
(fma.f64 %3 %4 %50)
(fma.f64 %3 %31 %62)
(fma.f64 %6 %56 %50)
(fma.f64 %4 %3 %50)
(fma.f64 %31 %3 %62)
(fma.f64 #s(literal 1 binary64) %50 %62)
(fma.f64 #s(literal 1 binary64) %62 %50)
(fma.f64 z y %62)
(fma.f64 y %10 %50)
(fma.f64 y z %62)
(fma.f64 x %61 %50)
(-.f64 %50 %64)
(-.f64 %62 %60)
(+.f64 %50 %62)
(+.f64 %62 %50)
t
(*.f64 #s(literal -1 binary64) %85)
(*.f64 #s(literal 1 binary64) %84)
(pow.f64 %84 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %84 #s(literal -1 binary64)))
(neg.f64 %85)
(fma.f64 %48 %49 %92)
(fma.f64 %52 %47 %92)
(fma.f64 %49 %54 %92)
(fma.f64 %56 %6 %92)
(fma.f64 %47 %58 %92)
(fma.f64 #s(literal -1 binary64) %98 %62)
(fma.f64 #s(literal -1 binary64) %101 %50)
(fma.f64 #s(literal -1 binary64) %60 %100)
(fma.f64 #s(literal -1 binary64) %64 %92)
(fma.f64 #s(literal -1 binary64) %36 t)
(fma.f64 %61 x %92)
(fma.f64 %10 y %92)
(fma.f64 %3 %19 t)
(fma.f64 %3 %4 %92)
(fma.f64 %3 %31 %100)
(fma.f64 %6 %56 %92)
(fma.f64 %19 %3 t)
(fma.f64 %4 %3 %92)
(fma.f64 %31 %3 %100)
(fma.f64 #s(literal 1 binary64) %92 %62)
(fma.f64 #s(literal 1 binary64) %100 %50)
(fma.f64 #s(literal 1 binary64) %50 %100)
(fma.f64 #s(literal 1 binary64) %62 %92)
(fma.f64 #s(literal 1 binary64) %40 t)
%84
(fma.f64 z y %100)
(fma.f64 y %10 %92)
(fma.f64 y %18 t)
(fma.f64 y z %100)
(fma.f64 x %61 %92)
(-.f64 %92 %64)
(-.f64 %100 %60)
(-.f64 %50 %101)
(-.f64 %62 %98)
(-.f64 t %36)
(-.f64 %40 (neg.f64 t))
(+.f64 %92 %62)
(+.f64 %100 %50)
(+.f64 %50 %100)
(+.f64 %62 %92)
(+.f64 t %40)
(+.f64 %40 t)

%2 = (*.f64 x y)
%6 = (+ (* x y) z)
%7 = (approx %6 z)
%8 = (+.f64 z %2)
%9 = (*.f64 y %8)
%11 = (+ (* %6 y) t)
%14 = (/.f64 %9 t)
%15 = (+.f64 #s(literal 1 binary64) %14)
%16 = (*.f64 t %15)
%18 = (fma.f64 y x z)
%19 = (*.f64 y y)
%20 = (fma.f64 %19 x t)
%23 = (*.f64 %7 y)
x
y
%2
z
t
%7
%8
%9
(approx %11 t)
#s(literal 1 binary64)
%14
%15
%16
(approx %11 %16)
%18
%19
%20
(fma.f64 y %18 t)
(fma.f64 y z %20)
%23
(+.f64 %23 t)

%2 = (neg.f64 x)
%3 = (neg.f64 y)
%7 = (*.f64 y x)
%14 = (*.f64 %3 x)
%19 = (+ z (* y x))
%20 = (approx %19 z)
%25 = (fma.f64 y x z)
%26 = (*.f64 #s(literal 1 binary64) %25)
%27 = (pow.f64 %25 #s(literal 1 binary64))
%29 = (/.f64 #s(literal 1 binary64) (pow.f64 %25 #s(literal -1 binary64)))
%30 = (neg.f64 %25)
%31 = (neg.f64 %30)
%32 = (fma.f64 %2 %3 z)
%33 = (fma.f64 %3 %2 z)
%34 = (fma.f64 #s(literal 1 binary64) %7 z)
%35 = (fma.f64 x y z)
%36 = (-.f64 z %14)
%37 = (neg.f64 z)
%38 = (-.f64 %7 %37)
%39 = (+.f64 z %7)
%40 = (+.f64 %7 z)
%41 = (*.f64 %25 y)
%42 = (*.f64 %41 t)
%44 = (*.f64 %42 #s(literal 2 binary64))
%46 = (/.f64 #s(literal 1/2 binary64) t)
%48 = (/.f64 %41 t)
%49 = (+.f64 t t)
%50 = (*.f64 %48 %49)
%52 = (*.f64 t %25)
%53 = (/.f64 y t)
%55 = (*.f64 %41 #s(literal 1/2 binary64))
%57 = (*.f64 %48 #s(literal 2 binary64))
%58 = (*.f64 #s(literal 1/2 binary64) t)
%60 = (/.f64 t %49)
%61 = (/.f64 %41 #s(literal 1/2 binary64))
%63 = (/.f64 t #s(literal 2 binary64))
%64 = (/.f64 %41 %58)
%66 = (/.f64 %41 %49)
%67 = (/.f64 t #s(literal 1/2 binary64))
%69 = (/.f64 %41 #s(literal 2 binary64))
%70 = (/.f64 t %58)
%72 = (*.f64 %41 #s(literal 2 binary64))
%74 = (*.f64 #s(literal 1/2 binary64) %48)
%76 = (*.f64 t y)
%77 = (/.f64 %25 t)
%79 = (*.f64 %25 #s(literal 1 binary64))
%81 = (*.f64 %3 %25)
%82 = (*.f64 %81 t)
%83 = (/.f64 #s(literal -1 binary64) t)
%85 = (/.f64 #s(literal 1 binary64) t)
%90 = (*.f64 %83 t)
%92 = (neg.f64 t)
%93 = (/.f64 %92 t)
%96 = (*.f64 %58 %48)
%101 = (*.f64 %53 t)
%103 = (*.f64 y #s(literal 1 binary64))
%109 = (*.f64 %42 #s(literal -1 binary64))
%112 = (/.f64 %42 %49)
%116 = (/.f64 %42 #s(literal 2 binary64))
%118 = (neg.f64 %58)
%120 = (/.f64 %42 #s(literal 1 binary64))
%126 = (neg.f64 %82)
%147 = (*.f64 %41 #s(literal 0 binary64))
%149 = (*.f64 #s(literal 0 binary64) %41)
%155 = (fabs.f64 y)
%156 = (neg.f64 %155)
%157 = (*.f64 x %156)
%158 = (*.f64 %37 y)
%159 = (neg.f64 %158)
%161 = (*.f64 z y)
%179 = (/.f64 z t)
%180 = (/.f64 %7 t)
%181 = (*.f64 %76 %180)
%183 = (*.f64 %76 %179)
%187 = (*.f64 %155 x)
%196 = (*.f64 %3 y)
%199 = (*.f64 y %179)
%200 = (*.f64 y %180)
%201 = (*.f64 %200 t)
%203 = (*.f64 %199 t)
%205 = (*.f64 %180 %76)
%207 = (*.f64 %179 %76)
%211 = (*.f64 %156 x)
%216 = (*.f64 #s(literal 1/2 binary64) %41)
%236 = (*.f64 y y)
%241 = (*.f64 %236 x)
%256 = (*.f64 t %200)
%258 = (*.f64 t %199)
%274 = (*.f64 %2 %236)
%294 = (+ (* %19 y) t)
%295 = (approx %294 t)
%301 = (/.f64 #s(literal 1 binary64) %58)
%303 = (/.f64 %25 %49)
%304 = (/.f64 y #s(literal 1/2 binary64))
%306 = (/.f64 %25 #s(literal 2 binary64))
%307 = (/.f64 y %58)
%309 = (/.f64 %25 #s(literal 1 binary64))
%311 = (/.f64 y %49)
%312 = (/.f64 %25 #s(literal 1/2 binary64))
%314 = (/.f64 y #s(literal 2 binary64))
%315 = (/.f64 %25 %58)
%317 = (/.f64 y #s(literal 1 binary64))
%323 = (*.f64 y %83)
%325 = (/.f64 %3 t)
%331 = (/.f64 %30 t)
%333 = (*.f64 %46 %41)
%338 = (*.f64 %3 %83)
%344 = (*.f64 (/.f64 %161 %49) t)
%349 = (*.f64 (/.f64 %161 #s(literal 2 binary64)) t)
%352 = (*.f64 %58 t)
%355 = (*.f64 (/.f64 %161 #s(literal 1 binary64)) t)
%356 = (*.f64 t %274)
%358 = (*.f64 t t)
%360 = (*.f64 %158 t)
%363 = (*.f64 %92 t)
%367 = (*.f64 %161 t)
%371 = (*.f64 (/.f64 %241 %49) t)
%376 = (*.f64 (/.f64 %241 #s(literal 2 binary64)) t)
%381 = (*.f64 (/.f64 %241 #s(literal 1 binary64)) t)
%382 = (*.f64 t %158)
%385 = (*.f64 %274 t)
%391 = (*.f64 %241 t)
%394 = (*.f64 #s(literal -1 binary64) %41)
%397 = (fma.f64 %199 t %241)
%400 = (fma.f64 %200 t %161)
%408 = (fma.f64 %161 t (*.f64 t %241))
%410 = (neg.f64 %358)
%413 = (fma.f64 %241 t (*.f64 t %161))
%417 = (/.f64 %81 t)
%418 = (*.f64 %92 %417)
%438 = (/.f64 %187 %49)
%439 = (/.f64 %155 #s(literal 1/2 binary64))
%441 = (/.f64 %187 #s(literal 2 binary64))
%442 = (/.f64 %155 %58)
%444 = (/.f64 %187 #s(literal 1 binary64))
%445 = (/.f64 %155 t)
%447 = (/.f64 %14 %49)
%448 = (/.f64 y #s(literal -1/2 binary64))
%450 = (/.f64 %7 #s(literal -2 binary64))
%451 = (/.f64 %3 %58)
%453 = (/.f64 %155 %49)
%454 = (/.f64 %187 #s(literal 1/2 binary64))
%456 = (/.f64 %155 #s(literal 2 binary64))
%457 = (/.f64 %187 %58)
%459 = (/.f64 %187 t)
%460 = (/.f64 %155 #s(literal 1 binary64))
%464 = (/.f64 %3 %49)
%465 = (/.f64 %7 #s(literal -1/2 binary64))
%467 = (/.f64 y #s(literal -2 binary64))
%468 = (/.f64 %14 %58)
%470 = (/.f64 y #s(literal -1 binary64))
%471 = (/.f64 %14 t)
%473 = (/.f64 %7 #s(literal -1 binary64))
%476 = (/.f64 %236 %49)
%477 = (/.f64 x #s(literal 1/2 binary64))
%479 = (/.f64 %236 #s(literal 2 binary64))
%480 = (/.f64 x %58)
%482 = (/.f64 %7 %49)
%484 = (/.f64 %7 #s(literal 2 binary64))
%486 = (/.f64 %7 #s(literal 1 binary64))
%488 = (/.f64 x %49)
%489 = (/.f64 %236 #s(literal 1/2 binary64))
%491 = (/.f64 x #s(literal 2 binary64))
%492 = (/.f64 %236 %58)
%494 = (/.f64 %236 t)
%495 = (/.f64 x #s(literal 1 binary64))
%498 = (/.f64 %236 #s(literal 1 binary64))
%499 = (/.f64 x t)
%502 = (/.f64 z %49)
%504 = (/.f64 z #s(literal 2 binary64))
%506 = (/.f64 %7 #s(literal 1/2 binary64))
%508 = (/.f64 z #s(literal 1/2 binary64))
%510 = (/.f64 %7 %58)
%512 = (/.f64 z %58)
%516 = (/.f64 z #s(literal 1 binary64))
%523 = (*.f64 %180 y)
%526 = (*.f64 %179 y)
%529 = (*.f64 %85 %241)
%531 = (*.f64 %85 %161)
%551 = (/.f64 %158 t)
%559 = (fma.f64 %25 y t)
%560 = (*.f64 %559 #s(literal 2 binary64))
%562 = (/.f64 %559 t)
%563 = (/.f64 %562 %49)
%565 = (/.f64 %562 #s(literal 2 binary64))
%567 = (/.f64 %562 t)
%569 = (/.f64 %562 #s(literal 1/2 binary64))
%571 = (/.f64 %562 %58)
%573 = (neg.f64 %559)
%579 = (*.f64 %562 %85)
%583 = (fma.f64 %236 x t)
%587 = (neg.f64 %583)
%594 = (*.f64 t %587)
%604 = (fma.f64 z y t)
%605 = (neg.f64 %604)
%612 = (*.f64 t %605)
%626 = (*.f64 t %92)
%633 = (*.f64 #s(literal 1/2 binary64) %92)
%637 = (*.f64 %58 %92)
%641 = (*.f64 %358 %92)
%643 = (*.f64 %358 t)
%654 = (*.f64 %92 #s(literal -2 binary64))
%656 = (*.f64 %92 #s(literal 2 binary64))
%662 = (*.f64 t #s(literal -2 binary64))
%678 = (*.f64 %58 #s(literal -2 binary64))
%685 = (*.f64 %358 #s(literal -2 binary64))
%687 = (*.f64 %358 #s(literal 2 binary64))
%703 = (*.f64 %81 #s(literal 2 binary64))
%719 = (*.f64 %60 %92)
%720 = (*.f64 %81 #s(literal -1 binary64))
%721 = (*.f64 #s(literal 1/2 binary64) %720)
%725 = (/.f64 %81 %49)
%726 = (*.f64 #s(literal 1/2 binary64) %725)
%731 = (/.f64 %41 #s(literal -2 binary64))
%732 = (*.f64 #s(literal 1/2 binary64) %731)
%734 = (*.f64 #s(literal 1/2 binary64) %58)
%736 = (*.f64 %60 t)
%737 = (/.f64 %41 #s(literal -1 binary64))
%738 = (*.f64 #s(literal 1/2 binary64) %737)
%742 = (*.f64 #s(literal 1/2 binary64) %417)
%745 = (*.f64 #s(literal 1/2 binary64) %81)
%750 = (*.f64 %63 %92)
%764 = (*.f64 %63 t)
%778 = (*.f64 #s(literal -2 binary64) %92)
%788 = (*.f64 #s(literal -2 binary64) t)
%818 = (*.f64 %92 #s(literal 1/2 binary64))
%822 = (*.f64 %92 %58)
%831 = (*.f64 %92 %81)
%834 = (*.f64 %92 %41)
%837 = (*.f64 #s(literal 2 binary64) %92)
%871 = (*.f64 t %58)
%884 = (*.f64 %559 #s(literal -1 binary64))
%887 = (fma.f64 %48 #s(literal 2 binary64) #s(literal 2 binary64))
%890 = (fma.f64 %81 #s(literal 2 binary64) %837)
%892 = (neg.f64 %656)
%894 = (fma.f64 #s(literal 2 binary64) %92 %703)
%896 = (neg.f64 %837)
%898 = (fma.f64 #s(literal 2 binary64) t %72)
%900 = (neg.f64 %49)
%902 = (/.f64 %559 %49)
%905 = (/.f64 %559 #s(literal 2 binary64))
%908 = (fma.f64 %81 #s(literal 2 binary64) %656)
%911 = (fma.f64 %41 #s(literal 2 binary64) %49)
%914 = (*.f64 #s(literal 2 binary64) %81)
%915 = (fma.f64 #s(literal 2 binary64) %92 %914)
%918 = (*.f64 #s(literal 2 binary64) %41)
%919 = (fma.f64 #s(literal 2 binary64) t %918)
%922 = (-.f64 %49 %914)
%925 = (-.f64 %837 %918)
%928 = (*.f64 %559 t)
%929 = (*.f64 %928 #s(literal -1 binary64))
%931 = (neg.f64 %626)
%933 = (fma.f64 t %92 %82)
%934 = (neg.f64 %933)
%937 = (*.f64 %573 %85)
%939 = (-.f64 #s(literal -1 binary64) %48)
%955 = (neg.f64 %928)
%958 = (/.f64 %573 t)
%975 = (fma.f64 z %53 #s(literal 1 binary64))
%977 = (-.f64 %199 #s(literal -1 binary64))
%979 = (/.f64 %604 t)
%1063 = (fma.f64 %236 %499 #s(literal 1 binary64))
%1065 = (-.f64 %200 #s(literal -1 binary64))
%1067 = (/.f64 %583 t)
%1212 = (*.f64 (*.f64 %562 %49) #s(literal 1/2 binary64))
%1214 = (*.f64 (*.f64 %562 #s(literal 2 binary64)) %58)
%1216 = (*.f64 %60 (/.f64 %559 #s(literal 1/2 binary64)))
%1218 = (*.f64 %63 (/.f64 %559 %58))
%1219 = (*.f64 %902 %67)
%1220 = (*.f64 %905 %70)
%1222 = (*.f64 %49 (*.f64 #s(literal 1/2 binary64) %562))
%1223 = (*.f64 %928 %85)
%1225 = (*.f64 #s(literal 2 binary64) (*.f64 %58 %562))
%1226 = (*.f64 %562 t)
%1227 = (*.f64 #s(literal 1 binary64) %559)
%1228 = (*.f64 %559 #s(literal 1 binary64))
%1229 = (*.f64 t %562)
%1230 = (pow.f64 %559 #s(literal 1 binary64))
%1232 = (*.f64 %92 %837)
%1234 = (/.f64 (-.f64 (*.f64 %109 #s(literal 2 binary64)) %1232) %656)
%1237 = (/.f64 (-.f64 (*.f64 %112 #s(literal 2 binary64)) %92) #s(literal 1 binary64))
%1241 = (/.f64 (-.f64 (*.f64 %116 #s(literal 2 binary64)) (*.f64 %58 %837)) t)
%1243 = (*.f64 t %837)
%1245 = (/.f64 (-.f64 (*.f64 %120 #s(literal 2 binary64)) %1243) %49)
%1250 = (/.f64 (-.f64 (*.f64 %72 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %837)) #s(literal 4 binary64))
%1253 = (/.f64 (-.f64 (*.f64 %126 #s(literal 2 binary64)) %1243) %49)
%1256 = (/.f64 (-.f64 (*.f64 %82 #s(literal 2 binary64)) %1232) %656)
%1258 = (/.f64 (-.f64 %44 %1243) %49)
%1261 = (/.f64 (-.f64 %72 (*.f64 #s(literal 1 binary64) %837)) #s(literal 2 binary64))
%1262 = (*.f64 %49 %92)
%1265 = (/.f64 (-.f64 %1262 (*.f64 #s(literal 2 binary64) %831)) %837)
%1266 = (*.f64 %49 t)
%1269 = (/.f64 (-.f64 %1266 (*.f64 #s(literal 2 binary64) %834)) %49)
%1272 = (/.f64 (-.f64 %1262 (*.f64 #s(literal 2 binary64) %126)) %837)
%1275 = (/.f64 (-.f64 %1266 (*.f64 #s(literal 2 binary64) %82)) %49)
%1278 = (/.f64 (-.f64 %1262 (*.f64 #s(literal 2 binary64) %42)) %837)
%1279 = (/.f64 %928 %49)
%1281 = (/.f64 (neg.f64 %1279) #s(literal -1/2 binary64))
%1282 = (/.f64 %928 #s(literal 2 binary64))
%1284 = (/.f64 (neg.f64 %1282) %118)
%1285 = (/.f64 %928 #s(literal 1 binary64))
%1287 = (/.f64 (neg.f64 %1285) %92)
%1288 = (/.f64 %934 t)
%1290 = (/.f64 (neg.f64 %955) t)
%1291 = (/.f64 %1279 #s(literal 1/2 binary64))
%1292 = (/.f64 %1282 %58)
%1293 = (/.f64 %1285 t)
%1295 = (/.f64 (*.f64 %573 t) %92)
%1297 = (/.f64 (*.f64 t %573) %92)
%1298 = (/.f64 %933 %92)
%1299 = (/.f64 %955 %92)
%1300 = (/.f64 %928 t)
%1301 = (/.f64 %573 #s(literal -1 binary64))
%1303 = (/.f64 #s(literal 1 binary64) (pow.f64 %559 #s(literal -1 binary64)))
%1305 = (/.f64 #s(literal 1 binary64) (/.f64 t %928))
%1306 = (/.f64 %559 #s(literal 1 binary64))
%1307 = (neg.f64 %573)
%1308 = (fma.f64 %44 %46 t)
%1309 = (fma.f64 %50 #s(literal 1/2 binary64) t)
%1310 = (fma.f64 %52 %53 t)
%1311 = (fma.f64 %157 %156 %604)
%1312 = (fma.f64 %55 #s(literal 2 binary64) t)
%1313 = (fma.f64 %57 %58 t)
%1314 = (fma.f64 %60 %61 t)
%1315 = (fma.f64 %63 %64 t)
%1316 = (fma.f64 %66 %67 t)
%1317 = (fma.f64 %69 %70 t)
%1318 = (fma.f64 %72 #s(literal 1/2 binary64) t)
%1319 = (fma.f64 %49 %74 t)
%1320 = (fma.f64 %76 %77 t)
%1321 = (fma.f64 %187 %155 %604)
%1322 = (fma.f64 %79 y t)
%1323 = (fma.f64 %82 %83 t)
%1324 = (fma.f64 %42 %85 t)
%1325 = (fma.f64 %196 %2 %604)
%1326 = (fma.f64 %30 %3 t)
%1327 = (fma.f64 %156 %211 %604)
%1328 = (fma.f64 %77 %76 t)
%1329 = (fma.f64 %2 %196 %604)
%1330 = (fma.f64 %14 %3 %604)
%1331 = (fma.f64 %85 %42 t)
%1332 = (fma.f64 %81 %90 t)
%1333 = (fma.f64 %81 %93 t)
%1334 = (fma.f64 %155 %187 %604)
%1335 = (fma.f64 %3 %30 t)
%1336 = (fma.f64 %3 %14 %604)
%1337 = (fma.f64 #s(literal 2 binary64) %96 t)
%1338 = (fma.f64 %236 x %604)
%1339 = (fma.f64 %48 t t)
%1340 = (fma.f64 #s(literal 1 binary64) %604 %241)
%1341 = (fma.f64 #s(literal 1 binary64) %161 %583)
%1342 = (fma.f64 #s(literal 1 binary64) %241 %604)
%1343 = (fma.f64 #s(literal 1 binary64) %583 %159)
%1344 = (fma.f64 #s(literal 1 binary64) %583 %161)
%1345 = (fma.f64 #s(literal 1 binary64) %41 t)
%1346 = (fma.f64 %41 #s(literal 1 binary64) t)
%1347 = (fma.f64 %25 %101 t)
%1348 = (fma.f64 %25 %103 t)
%1349 = (fma.f64 t %48 t)
%1350 = (fma.f64 z y %583)
%1351 = (fma.f64 %7 y %604)
%1352 = (fma.f64 y %79 t)
%1353 = (fma.f64 y %25 t)
%1354 = (fma.f64 y z %583)
%1355 = (fma.f64 y %7 %604)
%1356 = (fma.f64 x %236 %604)
%1357 = (-.f64 %604 %274)
%1358 = (-.f64 %161 %587)
%1360 = (-.f64 %241 (-.f64 %158 t))
%1362 = (-.f64 %241 (fma.f64 %37 y %92))
%1363 = (-.f64 %241 %605)
%1364 = (-.f64 %583 %158)
%1365 = (-.f64 %41 %92)
%1366 = (-.f64 t %81)
%1367 = (+.f64 %604 %241)
%1368 = (+.f64 %161 %583)
%1369 = (+.f64 %241 %604)
%1370 = (+.f64 %583 %159)
%1371 = (+.f64 %583 %161)
%1372 = (+.f64 %41 t)
%1373 = (+.f64 t %41)
%1374 = (approx %294 %559)
%1379 = (neg.f64 %156)
%1380 = (neg.f64 %1379)
%1388 = (*.f64 %236 %236)
%1446 = (*.f64 %20 y)
%1452 = (fma.f64 %20 y t)
%1457 = (*.f64 %3 %20)
x
y
(*.f64 %2 %3)
(*.f64 %3 %2)
(*.f64 #s(literal 1 binary64) %7)
%7
(*.f64 x y)
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %14)
z
t
(*.f64 #s(literal 1 binary64) %20)
(pow.f64 %20 #s(literal 1 binary64))
%20
(/.f64 #s(literal 1 binary64) (pow.f64 %20 #s(literal -1 binary64)))
%26
%27
%29
%31
%32
%33
%34
%25
%35
%36
%38
%39
%40
(*.f64 %44 %46)
(*.f64 %50 #s(literal 1/2 binary64))
(*.f64 %52 %53)
(*.f64 %55 #s(literal 2 binary64))
(*.f64 %57 %58)
(*.f64 %60 %61)
(*.f64 %63 %64)
(*.f64 %66 %67)
(*.f64 %69 %70)
(*.f64 %72 #s(literal 1/2 binary64))
(*.f64 %49 %74)
(*.f64 %76 %77)
(*.f64 %79 y)
(*.f64 %82 %83)
(*.f64 %42 %85)
(*.f64 %30 %3)
(*.f64 %77 %76)
(*.f64 %85 %42)
(*.f64 %81 %90)
(*.f64 %81 %93)
(*.f64 %3 %30)
(*.f64 #s(literal 2 binary64) %96)
(*.f64 %48 t)
(*.f64 #s(literal 1 binary64) %41)
(*.f64 %41 #s(literal 1 binary64))
(*.f64 %25 %101)
(*.f64 %25 %103)
%41
(*.f64 t %48)
(*.f64 y %79)
(*.f64 y %25)
(pow.f64 %41 #s(literal 1 binary64))
(/.f64 (neg.f64 %109) t)
(/.f64 (neg.f64 %112) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %116) %118)
(/.f64 (neg.f64 %120) %92)
(/.f64 (neg.f64 %72) #s(literal -2 binary64))
(/.f64 (neg.f64 %126) %92)
(/.f64 %109 %92)
(/.f64 %112 #s(literal 1/2 binary64))
(/.f64 %116 %58)
(/.f64 %120 t)
(/.f64 %72 #s(literal 2 binary64))
(/.f64 %126 t)
(/.f64 %82 %92)
(/.f64 %42 t)
(/.f64 %81 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %41 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %92 %82))
(/.f64 #s(literal 1 binary64) (/.f64 t %42))
(/.f64 %41 #s(literal 1 binary64))
(neg.f64 %81)
(fma.f64 %44 %46 %147)
(fma.f64 %44 %46 %149)
(fma.f64 %50 #s(literal 1/2 binary64) %147)
(fma.f64 %50 #s(literal 1/2 binary64) %149)
(fma.f64 %52 %53 %147)
(fma.f64 %52 %53 %149)
(fma.f64 %157 %156 %159)
(fma.f64 %157 %156 %161)
(fma.f64 %55 #s(literal 2 binary64) %147)
(fma.f64 %55 #s(literal 2 binary64) %149)
(fma.f64 %57 %58 %147)
(fma.f64 %57 %58 %149)
(fma.f64 %60 %61 %147)
(fma.f64 %60 %61 %149)
(fma.f64 %63 %64 %147)
(fma.f64 %63 %64 %149)
(fma.f64 %66 %67 %147)
(fma.f64 %66 %67 %149)
(fma.f64 %69 %70 %147)
(fma.f64 %69 %70 %149)
(fma.f64 %72 #s(literal 1/2 binary64) %147)
(fma.f64 %72 #s(literal 1/2 binary64) %149)
(fma.f64 %49 %74 %147)
(fma.f64 %49 %74 %149)
(fma.f64 %76 %179 %181)
(fma.f64 %76 %180 %183)
(fma.f64 %76 %77 %147)
(fma.f64 %76 %77 %149)
(fma.f64 %187 %155 %159)
(fma.f64 %187 %155 %161)
(fma.f64 %79 y %147)
(fma.f64 %79 y %149)
(fma.f64 %82 %83 %147)
(fma.f64 %82 %83 %149)
(fma.f64 %42 %85 %147)
(fma.f64 %42 %85 %149)
(fma.f64 %196 %2 %159)
(fma.f64 %196 %2 %161)
(fma.f64 %199 t %201)
(fma.f64 %200 t %203)
(fma.f64 %179 %76 %205)
(fma.f64 %180 %76 %207)
(fma.f64 %30 %3 %147)
(fma.f64 %30 %3 %149)
(fma.f64 %156 %211 %159)
(fma.f64 %156 %211 %161)
(fma.f64 %77 %76 %147)
(fma.f64 %77 %76 %149)
(fma.f64 #s(literal 1/2 binary64) %41 %216)
(fma.f64 %2 %196 %159)
(fma.f64 %2 %196 %161)
(fma.f64 %14 %3 %159)
(fma.f64 %14 %3 %161)
(fma.f64 %85 %42 %147)
(fma.f64 %85 %42 %149)
(fma.f64 %81 %90 %147)
(fma.f64 %81 %90 %149)
(fma.f64 %81 %93 %147)
(fma.f64 %81 %93 %149)
(fma.f64 %155 %187 %159)
(fma.f64 %155 %187 %161)
(fma.f64 %3 %30 %147)
(fma.f64 %3 %30 %149)
(fma.f64 %3 %14 %159)
(fma.f64 %3 %14 %161)
(fma.f64 #s(literal 2 binary64) %96 %147)
(fma.f64 #s(literal 2 binary64) %96 %149)
(fma.f64 %236 x %159)
(fma.f64 %236 x %161)
(fma.f64 %48 t %147)
(fma.f64 %48 t %149)
(fma.f64 #s(literal 1 binary64) %161 %241)
(fma.f64 #s(literal 1 binary64) %241 %159)
(fma.f64 #s(literal 1 binary64) %241 %161)
(fma.f64 #s(literal 1 binary64) %41 %147)
(fma.f64 #s(literal 1 binary64) %41 %149)
(fma.f64 %41 #s(literal 1/2 binary64) %55)
(fma.f64 %41 #s(literal 1 binary64) %147)
(fma.f64 %41 #s(literal 1 binary64) %149)
(fma.f64 %25 %101 %147)
(fma.f64 %25 %101 %149)
(fma.f64 %25 %103 %147)
(fma.f64 %25 %103 %149)
(fma.f64 %25 y %147)
(fma.f64 %25 y %149)
(fma.f64 t %199 %256)
(fma.f64 t %200 %258)
(fma.f64 t %48 %147)
(fma.f64 t %48 %149)
(fma.f64 z y %241)
(fma.f64 %7 y %159)
(fma.f64 %7 y %161)
(fma.f64 y %79 %147)
(fma.f64 y %79 %149)
(fma.f64 y %25 %147)
(fma.f64 y %25 %149)
(fma.f64 y z %241)
(fma.f64 y %7 %159)
(fma.f64 y %7 %161)
(fma.f64 x %236 %159)
(fma.f64 x %236 %161)
(-.f64 %161 %274)
(-.f64 %241 %158)
(+.f64 %183 %181)
(+.f64 %181 %183)
(+.f64 %258 %256)
(+.f64 %256 %258)
(+.f64 %55 %55)
(+.f64 %207 %205)
(+.f64 %205 %207)
(+.f64 %216 %216)
(+.f64 %159 %241)
(+.f64 %203 %201)
(+.f64 %201 %203)
(+.f64 %161 %241)
(+.f64 %241 %159)
(+.f64 %241 %161)
(+.f64 %41 %147)
(+.f64 %41 %149)
(*.f64 #s(literal 1 binary64) %295)
(pow.f64 %295 #s(literal 1 binary64))
%295
(/.f64 #s(literal 1 binary64) (pow.f64 %295 #s(literal -1 binary64)))
#s(literal 1 binary64)
(*.f64 %66 #s(literal 2 binary64))
(*.f64 %69 %301)
(*.f64 %303 %304)
(*.f64 %306 %307)
(*.f64 %309 %53)
(*.f64 %311 %312)
(*.f64 %314 %315)
(*.f64 %317 %77)
(*.f64 %72 %46)
(*.f64 %53 %309)
(*.f64 %53 %25)
(*.f64 %83 %81)
(*.f64 %30 %323)
(*.f64 %30 %325)
(*.f64 %77 %317)
(*.f64 %77 y)
(*.f64 %85 %41)
(*.f64 %81 %83)
(*.f64 %3 %331)
(*.f64 #s(literal 2 binary64) %333)
(*.f64 %48 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %48)
(*.f64 %41 %85)
(*.f64 %25 %338)
(*.f64 %25 %53)
(*.f64 y %77)
(pow.f64 %48 #s(literal 1 binary64))
(/.f64 (-.f64 %344 (*.f64 #s(literal 1/2 binary64) %274)) %58)
(/.f64 (-.f64 %349 (*.f64 %58 %274)) %352)
(/.f64 (-.f64 %355 %356) %358)
(/.f64 (-.f64 %360 (*.f64 %92 %274)) %363)
(/.f64 (-.f64 %203 %274) t)
(/.f64 (-.f64 %367 %356) %358)
(/.f64 (-.f64 %371 (*.f64 #s(literal 1/2 binary64) %158)) %58)
(/.f64 (-.f64 %376 (*.f64 %58 %158)) %352)
(/.f64 (-.f64 %381 %382) %358)
(/.f64 (-.f64 %385 (*.f64 %92 %158)) %363)
(/.f64 (-.f64 %201 %158) t)
(/.f64 (-.f64 %391 %382) %358)
(/.f64 (neg.f64 %394) t)
(/.f64 (neg.f64 %397) %92)
(/.f64 (neg.f64 %400) %92)
(/.f64 (neg.f64 %66) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %69) %118)
(/.f64 (neg.f64 %408) %410)
(/.f64 (neg.f64 %413) %410)
(/.f64 %394 %92)
(/.f64 %418 t)
(/.f64 %397 t)
(/.f64 %400 t)
(/.f64 %66 #s(literal 1/2 binary64))
(/.f64 %69 %58)
(/.f64 %408 %358)
(/.f64 %413 %358)
(/.f64 %82 %410)
(/.f64 %42 %358)
(/.f64 %417 #s(literal -1 binary64))
(/.f64 %81 %92)
(/.f64 %48 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %48 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %92 %81))
(/.f64 #s(literal 1 binary64) (/.f64 t %41))
%48
(neg.f64 %417)
(fma.f64 %438 %439 %199)
(fma.f64 %441 %442 %199)
(fma.f64 %444 %445 %199)
(fma.f64 %447 %448 %199)
(fma.f64 %450 %451 %199)
(fma.f64 %453 %454 %199)
(fma.f64 %456 %457 %199)
(fma.f64 %459 %460 %199)
(fma.f64 %460 %459 %199)
(fma.f64 %445 %444 %199)
(fma.f64 %464 %465 %199)
(fma.f64 %467 %468 %199)
(fma.f64 %470 %471 %199)
(fma.f64 %473 %325 %199)
(fma.f64 %325 %473 %199)
(fma.f64 %476 %477 %199)
(fma.f64 %479 %480 %199)
(fma.f64 %482 %304 %199)
(fma.f64 %484 %307 %199)
(fma.f64 %486 %53 %199)
(fma.f64 %488 %489 %199)
(fma.f64 %491 %492 %199)
(fma.f64 %494 %495 %199)
(fma.f64 %495 %494 %199)
(fma.f64 %498 %499 %199)
(fma.f64 %499 %498 %199)
(fma.f64 %502 %304 %200)
(fma.f64 %504 %307 %200)
(fma.f64 %311 %506 %199)
(fma.f64 %311 %508 %200)
(fma.f64 %314 %510 %199)
(fma.f64 %314 %512 %200)
(fma.f64 %317 %179 %200)
(fma.f64 %317 %180 %199)
(fma.f64 %516 %53 %200)
(fma.f64 %187 %445 %199)
(fma.f64 %53 %486 %199)
(fma.f64 %53 %516 %200)
(fma.f64 %471 %470 %199)
(fma.f64 %179 %317 %200)
(fma.f64 %179 y %523)
(fma.f64 %180 %317 %199)
(fma.f64 %180 y %526)
(fma.f64 %14 %325 %199)
(fma.f64 %85 %161 %529)
(fma.f64 %85 %241 %531)
(fma.f64 %155 %459 %199)
(fma.f64 %3 %471 %199)
(fma.f64 %161 %85 %200)
(fma.f64 %241 %85 %199)
(fma.f64 %236 %499 %199)
(fma.f64 #s(literal 1 binary64) %199 %200)
(fma.f64 #s(literal 1 binary64) %200 %199)
(fma.f64 z %53 %200)
(fma.f64 %7 %53 %199)
(fma.f64 y %179 %200)
(fma.f64 y %180 %199)
(fma.f64 x %494 %199)
(-.f64 %199 (neg.f64 %200))
(-.f64 %199 (/.f64 %274 t))
(-.f64 %200 (neg.f64 %199))
(-.f64 %200 %551)
(+.f64 %531 %529)
(+.f64 %529 %531)
(+.f64 %526 %523)
(+.f64 %523 %526)
(+.f64 %199 %200)
(+.f64 %200 %199)
(*.f64 %560 %46)
(*.f64 %563 %67)
(*.f64 %565 %70)
(*.f64 %567 t)
(*.f64 %60 %569)
(*.f64 %63 %571)
(*.f64 %573 %83)
(*.f64 %85 %559)
(*.f64 %562 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %562)
(*.f64 %559 %85)
(*.f64 t %579)
(*.f64 t %567)
(pow.f64 %562 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %583 t) %382) %358)
(/.f64 (-.f64 %344 (*.f64 #s(literal 1/2 binary64) %587)) %58)
(/.f64 (-.f64 %349 (*.f64 %58 %587)) %352)
(/.f64 (-.f64 %355 %594) %358)
(/.f64 (-.f64 %360 (*.f64 %92 %587)) %363)
(/.f64 (-.f64 %203 %587) t)
(/.f64 (-.f64 %367 %594) %358)
(/.f64 (-.f64 %371 (*.f64 #s(literal 1/2 binary64) %605)) %58)
(/.f64 (-.f64 %376 (*.f64 %58 %605)) %352)
(/.f64 (-.f64 %381 %612) %358)
(/.f64 (-.f64 %385 (*.f64 %92 %605)) %363)
(/.f64 (-.f64 %201 %605) t)
(/.f64 (-.f64 %391 %612) %358)
(/.f64 (-.f64 (*.f64 %394 t) %358) %363)
(/.f64 (-.f64 (*.f64 %397 t) %626) %358)
(/.f64 (-.f64 (*.f64 %400 t) %626) %358)
(/.f64 (-.f64 (*.f64 %66 t) %633) %58)
(/.f64 (-.f64 (*.f64 %69 t) %637) %352)
(/.f64 (-.f64 (*.f64 %408 t) %641) %643)
(/.f64 (-.f64 (*.f64 %413 t) %641) %643)
(/.f64 (-.f64 (*.f64 %42 t) %641) %643)
(/.f64 (-.f64 %42 %626) %358)
(/.f64 (-.f64 (*.f64 %394 #s(literal 2 binary64)) %654) %656)
(/.f64 (-.f64 (*.f64 %394 #s(literal -2 binary64)) %656) %654)
(/.f64 (-.f64 (*.f64 %397 #s(literal 2 binary64)) %662) %49)
(/.f64 (-.f64 (*.f64 %397 #s(literal -2 binary64)) %49) %662)
(/.f64 (-.f64 (*.f64 %400 #s(literal 2 binary64)) %662) %49)
(/.f64 (-.f64 (*.f64 %400 #s(literal -2 binary64)) %49) %662)
(/.f64 (-.f64 (*.f64 %66 #s(literal -2 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(/.f64 (-.f64 (*.f64 %69 #s(literal 2 binary64)) %678) t)
(/.f64 (-.f64 (*.f64 %69 #s(literal -2 binary64)) t) %678)
(/.f64 (-.f64 (*.f64 %408 #s(literal 2 binary64)) %685) %687)
(/.f64 (-.f64 (*.f64 %408 #s(literal -2 binary64)) %687) %685)
(/.f64 (-.f64 (*.f64 %413 #s(literal 2 binary64)) %685) %687)
(/.f64 (-.f64 (*.f64 %413 #s(literal -2 binary64)) %687) %685)
(/.f64 (-.f64 %44 %685) %687)
(/.f64 (-.f64 (*.f64 %42 #s(literal -2 binary64)) %687) %685)
(/.f64 (-.f64 %703 %654) %656)
(/.f64 (-.f64 (*.f64 %81 #s(literal -2 binary64)) %656) %654)
(/.f64 (-.f64 %57 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %48 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %72 %662) %49)
(/.f64 (-.f64 (*.f64 %41 #s(literal -2 binary64)) %49) %662)
(/.f64 (-.f64 %719 %721) %633)
(/.f64 (-.f64 (*.f64 %60 #s(literal 1/2 binary64)) %726) #s(literal 1/4 binary64))
(/.f64 (-.f64 (*.f64 %60 %58) %732) %734)
(/.f64 (-.f64 %736 %738) %58)
(/.f64 (-.f64 (*.f64 %60 #s(literal 1 binary64)) %742) #s(literal 1/2 binary64))
(/.f64 (-.f64 %736 %745) %58)
(/.f64 (-.f64 %719 %216) %633)
(/.f64 (-.f64 %750 (*.f64 %58 %720)) %637)
(/.f64 (-.f64 (*.f64 %63 #s(literal 1/2 binary64)) (*.f64 %58 %725)) (*.f64 %58 #s(literal 1/2 binary64)))
(/.f64 (-.f64 (*.f64 %63 %58) (*.f64 %58 %731)) (*.f64 %58 %58))
(/.f64 (-.f64 %764 (*.f64 %58 %737)) %352)
(/.f64 (-.f64 (*.f64 %63 #s(literal 1 binary64)) (*.f64 %58 %417)) %58)
(/.f64 (-.f64 %764 (*.f64 %58 %81)) %352)
(/.f64 (-.f64 %750 (*.f64 %58 %41)) %637)
(/.f64 (-.f64 %778 (*.f64 #s(literal -2 binary64) %720)) %778)
(/.f64 (-.f64 #s(literal -1 binary64) (*.f64 #s(literal -2 binary64) %725)) #s(literal -1 binary64))
(/.f64 (-.f64 %92 (*.f64 #s(literal -2 binary64) %731)) %92)
(/.f64 (-.f64 %788 (*.f64 #s(literal -2 binary64) %737)) %788)
(/.f64 (-.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %417)) #s(literal -2 binary64))
(/.f64 (-.f64 %788 (*.f64 #s(literal -2 binary64) %81)) %788)
(/.f64 (-.f64 %778 (*.f64 #s(literal -2 binary64) %41)) %778)
(/.f64 (-.f64 %633 %721) %633)
(/.f64 (-.f64 #s(literal 1/4 binary64) %726) #s(literal 1/4 binary64))
(/.f64 (-.f64 %734 %732) %734)
(/.f64 (-.f64 %58 %738) %58)
(/.f64 (-.f64 #s(literal 1/2 binary64) %742) #s(literal 1/2 binary64))
(/.f64 (-.f64 %58 %745) %58)
(/.f64 (-.f64 %633 %216) %633)
(/.f64 (-.f64 %358 (*.f64 %92 %720)) %358)
(/.f64 (-.f64 %818 (*.f64 %92 %725)) %818)
(/.f64 (-.f64 %822 (*.f64 %92 %731)) %822)
(/.f64 (-.f64 %363 (*.f64 %92 %737)) %363)
(/.f64 (-.f64 %92 %418) %92)
(/.f64 (-.f64 %363 %831) %363)
(/.f64 (-.f64 %358 %834) %358)
(/.f64 (-.f64 %837 (*.f64 #s(literal 2 binary64) %720)) %837)
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) %725)) #s(literal 1 binary64))
(/.f64 (-.f64 t (*.f64 #s(literal 2 binary64) %731)) t)
(/.f64 (-.f64 %49 (*.f64 #s(literal 2 binary64) %737)) %49)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %417)) #s(literal 2 binary64))
(/.f64 (-.f64 %92 (*.f64 #s(literal 1 binary64) %720)) %92)
(/.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) %725)) #s(literal 1/2 binary64))
(/.f64 (-.f64 %58 (*.f64 #s(literal 1 binary64) %731)) %58)
(/.f64 (-.f64 t (*.f64 #s(literal 1 binary64) %737)) t)
(/.f64 (-.f64 %626 (*.f64 t %720)) %626)
(/.f64 (-.f64 %58 (*.f64 t %725)) %58)
(/.f64 (-.f64 %871 (*.f64 t %731)) %871)
(/.f64 (-.f64 %358 (*.f64 t %737)) %358)
(/.f64 (-.f64 %358 %82) %358)
(/.f64 (-.f64 %626 %42) %626)
(/.f64 (-.f64 %82 %358) %363)
(/.f64 (neg.f64 %884) t)
(/.f64 (neg.f64 %887) #s(literal -2 binary64))
(/.f64 (neg.f64 %890) %892)
(/.f64 (neg.f64 %894) %896)
(/.f64 (neg.f64 %898) %900)
(/.f64 (neg.f64 %902) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %905) %118)
(/.f64 (neg.f64 %908) %892)
(/.f64 (neg.f64 %911) %900)
(/.f64 (neg.f64 %915) %896)
(/.f64 (neg.f64 %919) %900)
(/.f64 (neg.f64 %922) %900)
(/.f64 (neg.f64 %925) %896)
(/.f64 (neg.f64 %929) %931)
(/.f64 %934 %931)
(/.f64 %884 %92)
(/.f64 %937 #s(literal -1 binary64))
(/.f64 %939 #s(literal -1 binary64))
(/.f64 %887 #s(literal 2 binary64))
(/.f64 %890 %656)
(/.f64 %894 %837)
(/.f64 %898 %49)
(/.f64 %902 #s(literal 1/2 binary64))
(/.f64 %905 %58)
(/.f64 %933 %626)
(/.f64 %908 %656)
(/.f64 %911 %49)
(/.f64 %915 %837)
(/.f64 %919 %49)
(/.f64 %922 %49)
(/.f64 %925 %837)
(/.f64 %929 %626)
(/.f64 %955 %410)
(/.f64 %928 %358)
(/.f64 %958 #s(literal -1 binary64))
(/.f64 %573 %92)
(/.f64 %562 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %562 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %92 %573))
(/.f64 #s(literal 1 binary64) (/.f64 t %559))
%562
(neg.f64 %937)
(neg.f64 %939)
(neg.f64 %958)
(fma.f64 %560 %46 #s(literal 0 binary64))
(fma.f64 %563 %67 #s(literal 0 binary64))
(fma.f64 %565 %70 #s(literal 0 binary64))
(fma.f64 %567 t #s(literal 0 binary64))
(fma.f64 %438 %439 %975)
(fma.f64 %438 %439 %977)
(fma.f64 %438 %439 %979)
(fma.f64 %441 %442 %975)
(fma.f64 %441 %442 %977)
(fma.f64 %441 %442 %979)
(fma.f64 %444 %445 %975)
(fma.f64 %444 %445 %977)
(fma.f64 %444 %445 %979)
(fma.f64 %447 %448 %975)
(fma.f64 %447 %448 %977)
(fma.f64 %447 %448 %979)
(fma.f64 %450 %451 %975)
(fma.f64 %450 %451 %977)
(fma.f64 %450 %451 %979)
(fma.f64 %453 %454 %975)
(fma.f64 %453 %454 %977)
(fma.f64 %453 %454 %979)
(fma.f64 %456 %457 %975)
(fma.f64 %456 %457 %977)
(fma.f64 %456 %457 %979)
(fma.f64 %459 %460 %975)
(fma.f64 %459 %460 %977)
(fma.f64 %459 %460 %979)
(fma.f64 %460 %459 %975)
(fma.f64 %460 %459 %977)
(fma.f64 %460 %459 %979)
(fma.f64 %445 %444 %975)
(fma.f64 %445 %444 %977)
(fma.f64 %445 %444 %979)
(fma.f64 %464 %465 %975)
(fma.f64 %464 %465 %977)
(fma.f64 %464 %465 %979)
(fma.f64 %467 %468 %975)
(fma.f64 %467 %468 %977)
(fma.f64 %467 %468 %979)
(fma.f64 %470 %471 %975)
(fma.f64 %470 %471 %977)
(fma.f64 %470 %471 %979)
(fma.f64 %473 %325 %975)
(fma.f64 %473 %325 %977)
(fma.f64 %473 %325 %979)
(fma.f64 %325 %473 %975)
(fma.f64 %325 %473 %977)
(fma.f64 %325 %473 %979)
(fma.f64 %476 %477 %975)
(fma.f64 %476 %477 %977)
(fma.f64 %476 %477 %979)
(fma.f64 %479 %480 %975)
(fma.f64 %479 %480 %977)
(fma.f64 %479 %480 %979)
(fma.f64 %482 %304 %975)
(fma.f64 %482 %304 %977)
(fma.f64 %482 %304 %979)
(fma.f64 %484 %307 %975)
(fma.f64 %484 %307 %977)
(fma.f64 %484 %307 %979)
(fma.f64 %486 %53 %975)
(fma.f64 %486 %53 %977)
(fma.f64 %486 %53 %979)
(fma.f64 %488 %489 %975)
(fma.f64 %488 %489 %977)
(fma.f64 %488 %489 %979)
(fma.f64 %491 %492 %975)
(fma.f64 %491 %492 %977)
(fma.f64 %491 %492 %979)
(fma.f64 %494 %495 %975)
(fma.f64 %494 %495 %977)
(fma.f64 %494 %495 %979)
(fma.f64 %495 %494 %975)
(fma.f64 %495 %494 %977)
(fma.f64 %495 %494 %979)
(fma.f64 %498 %499 %975)
(fma.f64 %498 %499 %977)
(fma.f64 %498 %499 %979)
(fma.f64 %499 %498 %975)
(fma.f64 %499 %498 %977)
(fma.f64 %499 %498 %979)
(fma.f64 %60 %569 #s(literal 0 binary64))
(fma.f64 %63 %571 #s(literal 0 binary64))
(fma.f64 %66 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %69 %301 #s(literal 1 binary64))
(fma.f64 %303 %304 #s(literal 1 binary64))
(fma.f64 %306 %307 #s(literal 1 binary64))
(fma.f64 %309 %53 #s(literal 1 binary64))
(fma.f64 %502 %304 %1063)
(fma.f64 %502 %304 %1065)
(fma.f64 %502 %304 %1067)
(fma.f64 %504 %307 %1063)
(fma.f64 %504 %307 %1065)
(fma.f64 %504 %307 %1067)
(fma.f64 %311 %506 %975)
(fma.f64 %311 %506 %977)
(fma.f64 %311 %506 %979)
(fma.f64 %311 %312 #s(literal 1 binary64))
(fma.f64 %311 %508 %1063)
(fma.f64 %311 %508 %1065)
(fma.f64 %311 %508 %1067)
(fma.f64 %314 %510 %975)
(fma.f64 %314 %510 %977)
(fma.f64 %314 %510 %979)
(fma.f64 %314 %315 #s(literal 1 binary64))
(fma.f64 %314 %512 %1063)
(fma.f64 %314 %512 %1065)
(fma.f64 %314 %512 %1067)
(fma.f64 %317 %179 %1063)
(fma.f64 %317 %179 %1065)
(fma.f64 %317 %179 %1067)
(fma.f64 %317 %180 %975)
(fma.f64 %317 %180 %977)
(fma.f64 %317 %180 %979)
(fma.f64 %317 %77 #s(literal 1 binary64))
(fma.f64 %516 %53 %1063)
(fma.f64 %516 %53 %1065)
(fma.f64 %516 %53 %1067)
(fma.f64 %72 %46 #s(literal 1 binary64))
(fma.f64 %187 %445 %975)
(fma.f64 %187 %445 %977)
(fma.f64 %187 %445 %979)
(fma.f64 %53 %486 %975)
(fma.f64 %53 %486 %977)
(fma.f64 %53 %486 %979)
(fma.f64 %53 %309 #s(literal 1 binary64))
(fma.f64 %53 %516 %1063)
(fma.f64 %53 %516 %1065)
(fma.f64 %53 %516 %1067)
(fma.f64 %53 %25 #s(literal 1 binary64))
(fma.f64 %83 %81 #s(literal 1 binary64))
(fma.f64 %471 %470 %975)
(fma.f64 %471 %470 %977)
(fma.f64 %471 %470 %979)
(fma.f64 %179 %317 %1063)
(fma.f64 %179 %317 %1065)
(fma.f64 %179 %317 %1067)
(fma.f64 %180 %317 %975)
(fma.f64 %180 %317 %977)
(fma.f64 %180 %317 %979)
(fma.f64 %30 %323 #s(literal 1 binary64))
(fma.f64 %30 %325 #s(literal 1 binary64))
(fma.f64 %573 %83 #s(literal 0 binary64))
(fma.f64 %77 %317 #s(literal 1 binary64))
(fma.f64 %77 y #s(literal 1 binary64))
(fma.f64 %14 %325 %975)
(fma.f64 %14 %325 %977)
(fma.f64 %14 %325 %979)
(fma.f64 %85 %559 #s(literal 0 binary64))
(fma.f64 %85 %41 #s(literal 1 binary64))
(fma.f64 %81 %83 #s(literal 1 binary64))
(fma.f64 %155 %459 %975)
(fma.f64 %155 %459 %977)
(fma.f64 %155 %459 %979)
(fma.f64 %3 %331 #s(literal 1 binary64))
(fma.f64 %3 %471 %975)
(fma.f64 %3 %471 %977)
(fma.f64 %3 %471 %979)
(fma.f64 #s(literal 2 binary64) %333 #s(literal 1 binary64))
(fma.f64 %161 %85 %1063)
(fma.f64 %161 %85 %1065)
(fma.f64 %161 %85 %1067)
(fma.f64 %241 %85 %975)
(fma.f64 %241 %85 %977)
(fma.f64 %241 %85 %979)
(fma.f64 %236 %499 %975)
(fma.f64 %236 %499 %977)
(fma.f64 %236 %499 %979)
(fma.f64 %562 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %48 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %199 %1063)
(fma.f64 #s(literal 1 binary64) %199 %1065)
(fma.f64 #s(literal 1 binary64) %199 %1067)
(fma.f64 #s(literal 1 binary64) %200 %975)
(fma.f64 #s(literal 1 binary64) %200 %977)
(fma.f64 #s(literal 1 binary64) %200 %979)
(fma.f64 #s(literal 1 binary64) %562 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %48 #s(literal 1 binary64))
(fma.f64 %559 %85 #s(literal 0 binary64))
(fma.f64 %41 %85 #s(literal 1 binary64))
(fma.f64 %25 %338 #s(literal 1 binary64))
(fma.f64 %25 %53 #s(literal 1 binary64))
(fma.f64 t %579 #s(literal 0 binary64))
(fma.f64 t %567 #s(literal 0 binary64))
(fma.f64 z %53 %1063)
(fma.f64 z %53 %1065)
(fma.f64 z %53 %1067)
(fma.f64 %7 %53 %975)
(fma.f64 %7 %53 %977)
(fma.f64 %7 %53 %979)
(fma.f64 y %179 %1063)
(fma.f64 y %179 %1065)
(fma.f64 y %179 %1067)
(fma.f64 y %180 %975)
(fma.f64 y %180 %977)
(fma.f64 y %180 %979)
(fma.f64 y %77 #s(literal 1 binary64))
(fma.f64 x %494 %975)
(fma.f64 x %494 %977)
(fma.f64 x %494 %979)
(-.f64 %1067 %551)
(-.f64 %199 (/.f64 %587 t))
(-.f64 %200 (/.f64 %604 %92))
(-.f64 %48 %93)
(-.f64 %48 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %417)
(+.f64 (fma.f64 %53 %25 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 (+.f64 #s(literal 1 binary64) %199) %200)
(+.f64 (+.f64 #s(literal 1 binary64) %200) %199)
(+.f64 %979 %200)
(+.f64 %1067 %199)
(+.f64 %199 %1063)
(+.f64 %199 %1065)
(+.f64 %199 %1067)
(+.f64 %200 %975)
(+.f64 %200 %977)
(+.f64 %200 %979)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %48))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %417))
(+.f64 %562 #s(literal 0 binary64))
(+.f64 %48 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %48))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %417))
(+.f64 #s(literal 1 binary64) %48)
%1212
%1214
%1216
%1218
%1219
%1220
%1222
%1223
%1225
%1226
%1227
%1228
%1229
%1230
%1234
%1237
%1241
%1245
%1250
%1253
%1256
%1258
%1261
%1265
%1269
%1272
%1275
%1278
%1281
%1284
%1287
%1288
%1290
%1291
%1292
%1293
%1295
%1297
%1298
%1299
%1300
%1301
%1303
%1305
%1306
%1307
%1308
%1309
%1310
%1311
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1340
%1341
%1342
%1343
%1344
%1345
%1346
%1347
%1348
%559
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1360
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
(*.f64 #s(literal 1 binary64) %1374)
(pow.f64 %1374 #s(literal 1 binary64))
%1374
(/.f64 #s(literal 1 binary64) (pow.f64 %1374 #s(literal -1 binary64)))
%26
%27
%29
%31
%32
%33
%34
%25
%35
%36
%38
%39
%40
(*.f64 %1380 %1380)
(*.f64 %1379 %1379)
(*.f64 %156 %156)
(*.f64 %155 %155)
(*.f64 %3 %3)
(*.f64 #s(literal 1 binary64) %236)
%236
(pow.f64 %1379 #s(literal 2 binary64))
(pow.f64 %1388 #s(literal 1/2 binary64))
(pow.f64 %156 #s(literal 2 binary64))
(pow.f64 %155 #s(literal 2 binary64))
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %236 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %156 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %155 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %236 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(neg.f64 %196)
(sqrt.f64 %1388)
(fabs.f64 (*.f64 %3 %156))
(fabs.f64 (*.f64 y %156))
(fabs.f64 (*.f64 %3 %155))
(fabs.f64 (*.f64 y %155))
(fabs.f64 (*.f64 %156 %3))
(fabs.f64 (*.f64 %155 %3))
(fabs.f64 (*.f64 %156 y))
(fabs.f64 (*.f64 %155 y))
(fabs.f64 %196)
(fabs.f64 %236)
(*.f64 #s(literal 1 binary64) %583)
(pow.f64 %583 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %583 #s(literal -1 binary64)))
(neg.f64 %587)
(fma.f64 %157 %156 t)
(fma.f64 %187 %155 t)
(fma.f64 %196 %2 t)
(fma.f64 %156 %211 t)
(fma.f64 %2 %196 t)
(fma.f64 %14 %3 t)
(fma.f64 %155 %187 t)
(fma.f64 %3 %14 t)
%583
(fma.f64 #s(literal 1 binary64) %241 t)
(fma.f64 %7 y t)
(fma.f64 y %7 t)
(fma.f64 x %236 t)
(-.f64 %241 %92)
(-.f64 t %274)
(+.f64 %241 t)
(+.f64 t %241)
%1212
%1214
%1216
%1218
%1219
%1220
%1222
%1223
%1225
%1226
%1227
%1228
%1229
%1230
%1234
%1237
%1241
%1245
%1250
%1253
%1256
%1258
%1261
%1265
%1269
%1272
%1275
%1278
%1281
%1284
%1287
%1288
%1290
%1291
%1292
%1293
%1295
%1297
%1298
%1299
%1300
%1301
%1303
%1305
%1306
%1307
%1308
%1309
%1310
%1311
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1340
%1341
%1342
%1343
%1344
%1345
%1346
%1347
%1348
%559
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1360
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
%1212
%1214
%1216
%1218
%1219
%1220
%1222
%1223
%1225
%1226
%1227
%1228
%1229
%1230
%1234
%1237
%1241
%1245
%1250
%1253
%1256
%1258
%1261
%1265
%1269
%1272
%1275
%1278
%1281
%1284
%1287
%1288
%1290
%1291
%1292
%1293
%1295
%1297
%1298
%1299
%1300
%1301
%1303
%1305
%1306
%1307
%1308
%1309
%1310
%1311
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1340
%1341
%1342
%1343
%1344
%1345
%1346
%1347
%1348
%559
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1360
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
(*.f64 #s(literal 1 binary64) %1446)
%1446
(*.f64 y %20)
(pow.f64 %1446 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1446 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %1452)
(pow.f64 %1452 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1452 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1457 t))
(neg.f64 (neg.f64 %1452))
(fma.f64 #s(literal 1 binary64) %1446 t)
%1452
(fma.f64 y %20 t)
(-.f64 %1446 %92)
(-.f64 t %1457)
(+.f64 %1446 t)
(+.f64 t (*.f64 (neg.f64 (neg.f64 %20)) y))
(+.f64 t (neg.f64 %1457))
(+.f64 t %1446)

%5 = (*.f64 y x)
%6 = (fma.f64 y x z)
%7 = (*.f64 y y)
%8 = (fma.f64 %6 y t)
%9 = (/.f64 x t)
%10 = (/.f64 y t)
%13 = (approx (+ z (* y x)) z)
%14 = (/.f64 t %8)
%15 = (/.f64 #s(literal 1 binary64) %14)
%16 = (fma.f64 z %10 #s(literal 1 binary64))
%17 = (fma.f64 %7 %9 %16)
%18 = (fma.f64 y %5 t)
%20 = (*.f64 t %17)
%24 = (+ (* (+ (* x y) z) y) t)
%26 = (*.f64 t %15)
x
y
z
t
#s(literal 1 binary64)
%5
%6
%7
%8
%9
%10
%13
%14
%15
%16
%17
%18
(fma.f64 y %13 t)
%20
(approx %24 %20)
%26
(approx %24 %26)
(fma.f64 y z %18)

%5 = (/.f64 y t)
%6 = (*.f64 %5 x)
%7 = (+.f64 t t)
%8 = (*.f64 %6 %7)
%11 = (*.f64 %6 #s(literal 1 binary64))
%14 = (neg.f64 x)
%15 = (neg.f64 y)
%18 = (/.f64 x t)
%19 = (*.f64 t y)
%21 = (*.f64 y x)
%27 = (*.f64 %14 y)
%29 = (neg.f64 t)
%37 = (fma.f64 y x z)
%54 = (neg.f64 z)
%59 = (fabs.f64 y)
%60 = (neg.f64 %59)
%61 = (neg.f64 %60)
%66 = (*.f64 y y)
%85 = (*.f64 %15 y)
%91 = (fma.f64 %37 y t)
%92 = (/.f64 %91 t)
%93 = (*.f64 %92 %7)
%94 = (*.f64 %93 #s(literal 1/2 binary64))
%95 = (/.f64 #s(literal 2 binary64) t)
%96 = (*.f64 t %95)
%97 = (*.f64 #s(literal 1/2 binary64) %91)
%98 = (*.f64 %96 %97)
%99 = (/.f64 %91 %7)
%100 = (/.f64 t #s(literal 1/2 binary64))
%101 = (*.f64 %99 %100)
%102 = (/.f64 #s(literal 1 binary64) %91)
%103 = (/.f64 %7 %102)
%104 = (/.f64 #s(literal 1/2 binary64) t)
%105 = (*.f64 %103 %104)
%106 = (/.f64 %7 %29)
%107 = (/.f64 #s(literal -1 binary64) %91)
%108 = (/.f64 #s(literal 1/2 binary64) %107)
%109 = (*.f64 %106 %108)
%110 = (/.f64 t %102)
%111 = (/.f64 #s(literal 1 binary64) t)
%112 = (*.f64 %110 %111)
%113 = (/.f64 %7 t)
%114 = (*.f64 %113 %97)
%116 = (/.f64 #s(literal 1/2 binary64) %91)
%117 = (/.f64 #s(literal 2 binary64) %116)
%118 = (*.f64 #s(literal 1/4 binary64) %117)
%119 = (/.f64 t %7)
%120 = (/.f64 %91 #s(literal 1/2 binary64))
%121 = (*.f64 %119 %120)
%122 = (*.f64 #s(literal 1/2 binary64) %92)
%123 = (*.f64 %7 %122)
%124 = (*.f64 %91 t)
%125 = (*.f64 %124 %111)
%126 = (/.f64 #s(literal -1 binary64) t)
%127 = (neg.f64 %91)
%128 = (*.f64 %127 t)
%129 = (*.f64 %126 %128)
%130 = (/.f64 t %107)
%131 = (*.f64 %126 %130)
%132 = (*.f64 %97 t)
%133 = (*.f64 %95 %132)
%134 = (/.f64 #s(literal 1 binary64) %116)
%135 = (*.f64 #s(literal 1/2 binary64) %134)
%136 = (/.f64 #s(literal 2 binary64) %102)
%137 = (*.f64 #s(literal 1/2 binary64) %136)
%138 = (*.f64 #s(literal 2 binary64) %91)
%139 = (*.f64 #s(literal 1/2 binary64) %138)
%140 = (*.f64 %111 %110)
%141 = (*.f64 %111 %124)
%142 = (*.f64 %127 #s(literal -1 binary64))
%143 = (*.f64 %5 %37)
%144 = (-.f64 #s(literal -1 binary64) %143)
%145 = (*.f64 %29 %144)
%146 = (*.f64 %144 t)
%147 = (*.f64 #s(literal -1 binary64) %146)
%148 = (/.f64 %29 %91)
%149 = (/.f64 t %148)
%150 = (*.f64 #s(literal -1 binary64) %149)
%151 = (/.f64 #s(literal -1 binary64) %102)
%152 = (*.f64 #s(literal -1 binary64) %151)
%153 = (*.f64 #s(literal -1 binary64) %127)
%154 = (*.f64 %104 %124)
%155 = (*.f64 #s(literal 2 binary64) %154)
%156 = (*.f64 %122 t)
%157 = (*.f64 #s(literal 2 binary64) %156)
%158 = (*.f64 #s(literal 2 binary64) %97)
%159 = (*.f64 %92 t)
%160 = (*.f64 %91 #s(literal 1 binary64))
%161 = (*.f64 #s(literal 1 binary64) %91)
%162 = (*.f64 t %92)
%163 = (pow.f64 %102 #s(literal -1 binary64))
%164 = (pow.f64 %91 #s(literal 1 binary64))
%166 = (/.f64 (*.f64 #s(literal -1 binary64) %124) %29)
%168 = (/.f64 (/.f64 %124 %7) #s(literal 1/2 binary64))
%170 = (/.f64 (/.f64 %124 #s(literal 1 binary64)) t)
%171 = (/.f64 %128 %29)
%173 = (/.f64 (*.f64 t %127) %29)
%174 = (/.f64 %110 t)
%175 = (/.f64 %138 #s(literal 2 binary64))
%177 = (/.f64 (*.f64 #s(literal 2 binary64) %124) %7)
%178 = (*.f64 #s(literal 2 binary64) %29)
%179 = (*.f64 #s(literal 2 binary64) %148)
%180 = (/.f64 %178 %179)
%182 = (/.f64 (neg.f64 %124) %29)
%183 = (/.f64 t %91)
%184 = (*.f64 #s(literal 2 binary64) %183)
%185 = (/.f64 %7 %184)
%186 = (/.f64 %124 t)
%187 = (/.f64 #s(literal 1/2 binary64) %116)
%188 = (/.f64 %127 #s(literal -1 binary64))
%189 = (/.f64 %29 %148)
%190 = (/.f64 #s(literal -1 binary64) %107)
%191 = (*.f64 #s(literal 2 binary64) %102)
%192 = (/.f64 #s(literal 2 binary64) %191)
%193 = (/.f64 %91 #s(literal 1 binary64))
%195 = (/.f64 #s(literal 1 binary64) (/.f64 t %124))
%197 = (/.f64 #s(literal 1 binary64) (/.f64 %148 %29))
%199 = (/.f64 #s(literal 1 binary64) (/.f64 %102 #s(literal 1 binary64)))
%201 = (/.f64 #s(literal 1 binary64) (/.f64 %183 t))
%202 = (/.f64 #s(literal 1 binary64) %102)
%203 = (/.f64 t %183)
%204 = (neg.f64 %146)
%205 = (*.f64 #s(literal -1 binary64) %91)
%206 = (neg.f64 %205)
%208 = (neg.f64 (*.f64 t %144))
%210 = (neg.f64 (/.f64 %29 %183))
%211 = (neg.f64 %149)
%212 = (neg.f64 %151)
%213 = (neg.f64 %127)
%214 = (*.f64 %66 t)
%215 = (*.f64 %214 %111)
%216 = (fma.f64 z y t)
%217 = (fma.f64 %215 x %216)
%218 = (*.f64 %19 %18)
%219 = (fma.f64 %218 y %216)
%220 = (*.f64 %5 %21)
%221 = (*.f64 %220 %7)
%222 = (fma.f64 %221 #s(literal 1/2 binary64) %216)
%223 = (*.f64 %220 #s(literal 1 binary64))
%224 = (fma.f64 %223 t %216)
%225 = (*.f64 %59 %18)
%226 = (*.f64 t %225)
%227 = (fma.f64 %226 %59 %216)
%228 = (/.f64 %15 t)
%229 = (*.f64 %228 x)
%230 = (*.f64 t %229)
%231 = (fma.f64 %230 %15 %216)
%232 = (*.f64 t %21)
%233 = (fma.f64 %232 %5 %216)
%235 = (fma.f64 (*.f64 %143 %7) #s(literal 1/2 binary64) t)
%236 = (*.f64 t %5)
%237 = (fma.f64 %66 x t)
%238 = (/.f64 %237 t)
%239 = (*.f64 t %238)
%240 = (fma.f64 %236 z %239)
%241 = (*.f64 %237 #s(literal 1 binary64))
%242 = (fma.f64 %236 z %241)
%243 = (*.f64 %238 t)
%244 = (fma.f64 %236 z %243)
%245 = (fma.f64 %236 z %237)
%246 = (*.f64 %5 z)
%247 = (*.f64 %246 %7)
%248 = (fma.f64 %247 #s(literal 1/2 binary64) %239)
%249 = (fma.f64 %247 #s(literal 1/2 binary64) %241)
%250 = (fma.f64 %247 #s(literal 1/2 binary64) %243)
%251 = (fma.f64 %247 #s(literal 1/2 binary64) %237)
%252 = (*.f64 %246 #s(literal 1 binary64))
%253 = (fma.f64 %252 t %239)
%254 = (fma.f64 %252 t %241)
%255 = (fma.f64 %252 t %243)
%256 = (fma.f64 %252 t %237)
%257 = (*.f64 x %60)
%258 = (fma.f64 %257 %60 %216)
%260 = (/.f64 #s(literal 0 binary64) %102)
%261 = (fma.f64 %93 #s(literal 1/2 binary64) %260)
%262 = (fma.f64 %96 %97 %260)
%263 = (fma.f64 %5 z #s(literal 1 binary64))
%265 = (*.f64 %66 x)
%266 = (fma.f64 (*.f64 %263 %7) #s(literal 1/2 binary64) %265)
%267 = (*.f64 t %59)
%268 = (fma.f64 %267 %225 %216)
%269 = (*.f64 t %15)
%270 = (fma.f64 %269 %229 %216)
%271 = (*.f64 t z)
%272 = (fma.f64 %271 %5 %239)
%273 = (fma.f64 %271 %5 %241)
%274 = (fma.f64 %271 %5 %243)
%275 = (fma.f64 %271 %5 %237)
%276 = (*.f64 %214 %14)
%277 = (fma.f64 %276 %126 %216)
%278 = (*.f64 t x)
%279 = (*.f64 %5 y)
%280 = (fma.f64 %278 %279 %216)
%281 = (*.f64 %143 #s(literal 1 binary64))
%282 = (fma.f64 %281 t t)
%283 = (/.f64 %265 %7)
%284 = (fma.f64 %283 %100 %216)
%285 = (fma.f64 %99 %100 %260)
%286 = (fma.f64 %103 %104 %260)
%287 = (fma.f64 %106 %108 %260)
%288 = (fma.f64 %110 %111 %260)
%289 = (fma.f64 %113 %97 %260)
%290 = (fma.f64 #s(literal 1/4 binary64) %117 %260)
%291 = (/.f64 %265 #s(literal 1/2 binary64))
%292 = (fma.f64 %119 %291 %216)
%293 = (fma.f64 %119 %120 %260)
%294 = (*.f64 z y)
%295 = (*.f64 %294 #s(literal 1 binary64))
%296 = (fma.f64 %238 t %295)
%297 = (/.f64 z t)
%298 = (fma.f64 %19 %297 %239)
%299 = (fma.f64 %19 %297 %241)
%300 = (fma.f64 %19 %297 %243)
%301 = (fma.f64 %19 %297 %237)
%302 = (fma.f64 %19 %6 %216)
%303 = (*.f64 #s(literal 1/2 binary64) %220)
%304 = (fma.f64 %7 %303 %216)
%305 = (*.f64 #s(literal 1/2 binary64) %246)
%306 = (fma.f64 %7 %305 %239)
%307 = (fma.f64 %7 %305 %241)
%308 = (fma.f64 %7 %305 %243)
%309 = (fma.f64 %7 %305 %237)
%311 = (fma.f64 %7 (*.f64 #s(literal 1/2 binary64) %263) %265)
%313 = (fma.f64 %7 (*.f64 #s(literal 1/2 binary64) %143) t)
%314 = (fma.f64 %7 %122 %260)
%315 = (*.f64 %15 t)
%316 = (fma.f64 %229 %315 %216)
%317 = (*.f64 %59 x)
%318 = (fma.f64 %317 %59 %216)
%319 = (*.f64 %59 t)
%320 = (fma.f64 %225 %319 %216)
%321 = (fma.f64 %214 %18 %216)
%322 = (fma.f64 %124 %111 %260)
%323 = (fma.f64 %294 #s(literal 1 binary64) %265)
%324 = (fma.f64 %323 #s(literal 1 binary64) t)
%325 = (fma.f64 %295 #s(literal 1 binary64) %239)
%326 = (fma.f64 %295 #s(literal 1 binary64) %241)
%327 = (fma.f64 %295 #s(literal 1 binary64) %243)
%328 = (fma.f64 %295 #s(literal 1 binary64) %237)
%330 = (fma.f64 #s(literal -1/2 binary64) %127 %97)
%331 = (fma.f64 %85 %14 %216)
%332 = (*.f64 %15 %37)
%333 = (*.f64 %29 #s(literal -1 binary64))
%334 = (fma.f64 %332 #s(literal -1 binary64) %333)
%335 = (fma.f64 %126 %128 %260)
%336 = (fma.f64 %126 %130 %260)
%337 = (*.f64 %294 t)
%338 = (fma.f64 %337 %111 %239)
%339 = (fma.f64 %337 %111 %241)
%340 = (fma.f64 %337 %111 %243)
%341 = (fma.f64 %337 %111 %237)
%342 = (fma.f64 %95 %132 %260)
%343 = (*.f64 %265 t)
%344 = (fma.f64 %343 %111 %216)
%345 = (*.f64 %60 x)
%346 = (fma.f64 %60 %345 %216)
%347 = (fma.f64 %143 t t)
%348 = (fma.f64 %6 %19 %216)
%349 = (fma.f64 #s(literal 1/2 binary64) %134 %260)
%350 = (fma.f64 #s(literal 1/2 binary64) %136 %260)
%351 = (fma.f64 #s(literal 1/2 binary64) %138 %260)
%352 = (fma.f64 #s(literal 1/2 binary64) %91 %97)
%353 = (fma.f64 %216 #s(literal 1 binary64) %265)
%354 = (fma.f64 %27 %15 %216)
%355 = (fma.f64 %111 %110 %260)
%356 = (fma.f64 %111 %124 %260)
%357 = (fma.f64 %111 %343 %216)
%358 = (fma.f64 %127 #s(literal -1 binary64) %260)
%359 = (*.f64 %126 %214)
%360 = (fma.f64 %14 %359 %216)
%361 = (fma.f64 %29 %144 %260)
%362 = (*.f64 %332 #s(literal -1 binary64))
%363 = (fma.f64 %29 #s(literal -1 binary64) %362)
%364 = (*.f64 %225 t)
%365 = (fma.f64 %59 %364 %216)
%366 = (fma.f64 %59 %317 %216)
%367 = (*.f64 %229 t)
%368 = (fma.f64 %15 %367 %216)
%369 = (fma.f64 %15 %27 %216)
%370 = (fma.f64 #s(literal -1 binary64) %146 %260)
%371 = (fma.f64 #s(literal -1 binary64) %149 %260)
%372 = (fma.f64 #s(literal -1 binary64) %151 %260)
%373 = (*.f64 #s(literal -1 binary64) %29)
%374 = (fma.f64 #s(literal -1 binary64) %332 %373)
%375 = (fma.f64 #s(literal -1 binary64) %127 %260)
%376 = (*.f64 #s(literal -1 binary64) %332)
%377 = (fma.f64 #s(literal -1 binary64) %29 %376)
%378 = (fma.f64 #s(literal 2 binary64) %154 %260)
%379 = (fma.f64 #s(literal 2 binary64) %156 %260)
%380 = (fma.f64 #s(literal 2 binary64) %97 %260)
%381 = (fma.f64 %265 #s(literal 1 binary64) %216)
%382 = (fma.f64 %246 t %239)
%383 = (fma.f64 %246 t %241)
%384 = (fma.f64 %246 t %243)
%385 = (fma.f64 %246 t %237)
%386 = (fma.f64 %294 #s(literal 1 binary64) %239)
%387 = (fma.f64 %294 #s(literal 1 binary64) %241)
%388 = (fma.f64 %294 #s(literal 1 binary64) %243)
%389 = (fma.f64 %294 #s(literal 1 binary64) %237)
%390 = (*.f64 %37 y)
%391 = (fma.f64 %390 #s(literal 1 binary64) t)
%392 = (fma.f64 %220 t %216)
%393 = (fma.f64 %237 #s(literal 1 binary64) %295)
%394 = (fma.f64 %263 t %265)
%395 = (fma.f64 %92 t %260)
%396 = (*.f64 z t)
%397 = (fma.f64 %5 %396 %239)
%398 = (fma.f64 %5 %396 %241)
%399 = (fma.f64 %5 %396 %243)
%400 = (fma.f64 %5 %396 %237)
%401 = (fma.f64 %18 %214 %216)
%402 = (fma.f64 %91 #s(literal 1 binary64) %260)
%403 = (fma.f64 %66 x %216)
%404 = (*.f64 %5 t)
%405 = (fma.f64 %21 %404 %216)
%406 = (fma.f64 %21 y %216)
%407 = (fma.f64 #s(literal 1 binary64) %323 t)
%408 = (fma.f64 #s(literal 1 binary64) %295 %239)
%409 = (fma.f64 #s(literal 1 binary64) %295 %241)
%410 = (fma.f64 #s(literal 1 binary64) %295 %243)
%411 = (fma.f64 #s(literal 1 binary64) %295 %237)
%412 = (fma.f64 #s(literal 1 binary64) %97 %97)
%413 = (fma.f64 #s(literal 1 binary64) %216 %265)
%414 = (fma.f64 #s(literal 1 binary64) %265 %216)
%415 = (fma.f64 #s(literal 1 binary64) %294 %237)
%416 = (fma.f64 #s(literal 1 binary64) %390 t)
%417 = (*.f64 %54 y)
%418 = (neg.f64 %417)
%419 = (fma.f64 #s(literal 1 binary64) %237 %418)
%420 = (fma.f64 #s(literal 1 binary64) %237 %295)
%421 = (fma.f64 #s(literal 1 binary64) %237 %294)
%422 = (fma.f64 #s(literal 1 binary64) %91 %260)
%423 = (fma.f64 t %238 %295)
%424 = (fma.f64 t %143 t)
%425 = (fma.f64 t %246 %239)
%426 = (fma.f64 t %246 %241)
%427 = (fma.f64 t %246 %243)
%428 = (fma.f64 t %246 %237)
%429 = (fma.f64 t %220 %216)
%430 = (fma.f64 t %263 %265)
%431 = (fma.f64 t %92 %260)
%432 = (fma.f64 z %404 %239)
%433 = (fma.f64 z %404 %241)
%434 = (fma.f64 z %404 %243)
%435 = (fma.f64 z %404 %237)
%436 = (fma.f64 z y %237)
%437 = (*.f64 %297 t)
%438 = (fma.f64 y %437 %239)
%439 = (fma.f64 y %437 %241)
%440 = (fma.f64 y %437 %243)
%441 = (fma.f64 y %437 %237)
%442 = (fma.f64 y %37 t)
%443 = (fma.f64 y %21 %216)
%444 = (fma.f64 y z %237)
%445 = (*.f64 %279 t)
%446 = (fma.f64 x %445 %216)
%447 = (*.f64 %111 %214)
%448 = (fma.f64 x %447 %216)
%449 = (fma.f64 x %66 %216)
%450 = (-.f64 %323 %29)
%451 = (/.f64 %14 t)
%453 = (-.f64 %216 (*.f64 %451 %214))
%456 = (-.f64 %216 (*.f64 (neg.f64 %214) %18))
%459 = (-.f64 %216 (*.f64 (neg.f64 %19) %6))
%460 = (*.f64 %6 %15)
%462 = (-.f64 %216 (*.f64 %460 t))
%464 = (-.f64 %216 (*.f64 %29 %220))
%465 = (*.f64 %27 y)
%466 = (-.f64 %216 %465)
%467 = (neg.f64 %216)
%468 = (-.f64 %265 %467)
%469 = (neg.f64 %237)
%470 = (-.f64 %294 %469)
%471 = (-.f64 %390 %29)
%472 = (-.f64 %237 %417)
%473 = (-.f64 t %332)
%474 = (+.f64 %239 %295)
%475 = (+.f64 %376 %373)
%476 = (+.f64 %362 %333)
%477 = (+.f64 %333 %362)
%478 = (+.f64 %241 %295)
%479 = (*.f64 %390 #s(literal 1 binary64))
%480 = (+.f64 %479 t)
%481 = (+.f64 %243 %295)
%482 = (+.f64 %373 %376)
%483 = (+.f64 %323 t)
%484 = (+.f64 %295 %239)
%485 = (+.f64 %295 %241)
%486 = (+.f64 %295 %243)
%487 = (+.f64 %295 %237)
%488 = (+.f64 %97 %97)
%489 = (+.f64 %216 %265)
%490 = (+.f64 %265 %216)
%491 = (+.f64 %294 %237)
%492 = (+.f64 %390 t)
%493 = (+.f64 %237 %418)
%494 = (+.f64 %237 %295)
%495 = (+.f64 %237 %294)
%496 = (+.f64 %91 %260)
%497 = (+.f64 t %479)
%498 = (+.f64 t %323)
%499 = (+.f64 t %390)
%502 = (/.f64 x %7)
%504 = (/.f64 x #s(literal 1 binary64))
%534 = (/.f64 y %7)
%536 = (/.f64 y #s(literal 1 binary64))
%565 = (+ (* y x) z)
%566 = (approx %565 z)
%586 = (*.f64 %92 #s(literal 2 binary64))
%587 = (*.f64 %586 #s(literal 1/2 binary64))
%588 = (/.f64 %111 #s(literal -1 binary64))
%589 = (*.f64 %588 %127)
%590 = (/.f64 #s(literal -2 binary64) t)
%591 = (*.f64 %590 %108)
%592 = (/.f64 #s(literal 2 binary64) %29)
%593 = (/.f64 #s(literal -1/2 binary64) %102)
%594 = (*.f64 %592 %593)
%595 = (*.f64 %592 %108)
%596 = (/.f64 #s(literal 1 binary64) %7)
%597 = (*.f64 %596 %120)
%598 = (*.f64 %136 %104)
%599 = (/.f64 #s(literal 1/2 binary64) %29)
%600 = (/.f64 #s(literal 2 binary64) %107)
%601 = (*.f64 %599 %600)
%602 = (*.f64 %91 #s(literal 2 binary64))
%603 = (*.f64 %602 %104)
%604 = (*.f64 %104 %136)
%605 = (*.f64 %122 #s(literal 2 binary64))
%606 = (*.f64 #s(literal 1/2 binary64) %144)
%607 = (*.f64 #s(literal -2 binary64) %606)
%608 = (/.f64 #s(literal 1/2 binary64) %148)
%609 = (*.f64 #s(literal -2 binary64) %608)
%610 = (*.f64 %144 #s(literal -1 binary64))
%611 = (*.f64 %127 #s(literal 1 binary64))
%612 = (*.f64 %126 %611)
%613 = (*.f64 %126 %151)
%614 = (*.f64 %126 %127)
%615 = (*.f64 %97 %95)
%616 = (*.f64 %97 #s(literal 1 binary64))
%617 = (*.f64 %95 %616)
%618 = (*.f64 %95 %97)
%619 = (*.f64 #s(literal 2 binary64) %92)
%620 = (*.f64 #s(literal 1/2 binary64) %619)
%621 = (/.f64 #s(literal 2 binary64) %183)
%622 = (*.f64 #s(literal 1/2 binary64) %621)
%623 = (/.f64 %111 %116)
%624 = (*.f64 #s(literal 1/2 binary64) %623)
%625 = (*.f64 %111 %91)
%626 = (*.f64 %127 %126)
%627 = (*.f64 %144 #s(literal 1 binary64))
%628 = (*.f64 #s(literal -1 binary64) %627)
%629 = (*.f64 #s(literal -1 binary64) %144)
%630 = (*.f64 #s(literal 2 binary64) %122)
%631 = (*.f64 %92 #s(literal 1 binary64))
%632 = (*.f64 %91 %111)
%633 = (/.f64 %104 %116)
%634 = (*.f64 #s(literal 1 binary64) %633)
%635 = (*.f64 #s(literal 1 binary64) %92)
%636 = (pow.f64 %92 #s(literal 1 binary64))
%637 = (pow.f64 %183 #s(literal -1 binary64))
%638 = (/.f64 %586 #s(literal 2 binary64))
%640 = (/.f64 (*.f64 %91 #s(literal -1 binary64)) %29)
%641 = (/.f64 %611 %29)
%642 = (/.f64 %619 #s(literal 2 binary64))
%644 = (/.f64 (/.f64 %111 #s(literal 2 binary64)) %116)
%645 = (/.f64 %205 %29)
%647 = (/.f64 (fma.f64 %238 %29 %417) %29)
%649 = (/.f64 (fma.f64 %238 t %294) t)
%651 = (/.f64 (fma.f64 %143 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
%652 = (*.f64 t t)
%653 = (*.f64 t %390)
%654 = (*.f64 %653 t)
%656 = (*.f64 %652 t)
%657 = (/.f64 (fma.f64 %652 t %654) %656)
%659 = (/.f64 (fma.f64 %653 t %656) %656)
%660 = (*.f64 #s(literal 2 binary64) %652)
%662 = (*.f64 %652 #s(literal 2 binary64))
%663 = (/.f64 (fma.f64 %653 #s(literal 2 binary64) %660) %662)
%666 = (*.f64 %29 t)
%667 = (/.f64 (fma.f64 %465 t (*.f64 %216 %29)) %666)
%670 = (*.f64 t %29)
%671 = (/.f64 (fma.f64 %216 %29 (*.f64 %465 t)) %670)
%674 = (/.f64 (fma.f64 #s(literal 2 binary64) %652 (*.f64 %653 #s(literal 2 binary64))) %660)
%675 = (*.f64 %390 #s(literal 2 binary64))
%677 = (/.f64 (fma.f64 #s(literal 2 binary64) t %675) %7)
%678 = (/.f64 %99 #s(literal 1/2 binary64))
%681 = (/.f64 (fma.f64 %652 t (*.f64 t %653)) %656)
%683 = (/.f64 (fma.f64 %653 #s(literal 2 binary64) %662) %662)
%685 = (/.f64 (fma.f64 %390 #s(literal 2 binary64) %7) %7)
%688 = (/.f64 (fma.f64 %465 t (*.f64 %29 %216)) %666)
%691 = (/.f64 (fma.f64 %216 %29 (*.f64 t %465)) %670)
%694 = (/.f64 (fma.f64 #s(literal 2 binary64) %652 (*.f64 #s(literal 2 binary64) %653)) %660)
%697 = (/.f64 (fma.f64 #s(literal 2 binary64) t (*.f64 #s(literal 2 binary64) %390)) %7)
%700 = (/.f64 (-.f64 %654 (*.f64 %652 %29)) %656)
%703 = (/.f64 (-.f64 (*.f64 %390 t) %670) %652)
%705 = (*.f64 %29 #s(literal 2 binary64))
%706 = (/.f64 (*.f64 %127 #s(literal 2 binary64)) %705)
%707 = (/.f64 %602 %7)
%709 = (/.f64 (*.f64 #s(literal 2 binary64) %127) %178)
%710 = (/.f64 %138 %7)
%711 = (/.f64 %124 %652)
%713 = (/.f64 #s(literal -2 binary64) (*.f64 %148 #s(literal 2 binary64)))
%714 = (/.f64 #s(literal -2 binary64) %179)
%715 = (/.f64 %126 %107)
%717 = (/.f64 %95 (*.f64 %102 #s(literal 2 binary64)))
%718 = (/.f64 %95 %191)
%719 = (/.f64 %111 %102)
%720 = (/.f64 %127 %29)
%721 = (/.f64 #s(literal -1 binary64) %148)
%723 = (/.f64 #s(literal 2 binary64) (*.f64 %183 #s(literal 2 binary64)))
%724 = (/.f64 #s(literal 2 binary64) %184)
%725 = (/.f64 %92 #s(literal 1 binary64))
%727 = (/.f64 #s(literal 1 binary64) (/.f64 %102 %111))
%729 = (/.f64 #s(literal 1 binary64) (pow.f64 %92 #s(literal -1 binary64)))
%731 = (/.f64 #s(literal 1 binary64) (/.f64 %148 #s(literal -1 binary64)))
%733 = (/.f64 #s(literal 1 binary64) (/.f64 %183 #s(literal 1 binary64)))
%734 = (/.f64 #s(literal 1 binary64) %183)
%735 = (neg.f64 %627)
%737 = (neg.f64 (*.f64 %127 %111))
%739 = (neg.f64 (*.f64 %92 #s(literal -1 binary64)))
%740 = (-.f64 #s(literal -1 binary64) %220)
%742 = (neg.f64 (-.f64 %740 %246))
%744 = (neg.f64 (-.f64 %460 %263))
%745 = (neg.f64 %144)
%746 = (*.f64 %18 %60)
%747 = (*.f64 %111 %216)
%748 = (fma.f64 %746 %60 %747)
%749 = (fma.f64 %746 %60 %263)
%751 = (fma.f64 (*.f64 %111 %37) y #s(literal 1 binary64))
%753 = (fma.f64 (*.f64 #s(literal 1/2 binary64) %126) %127 %122)
%754 = (*.f64 %92 #s(literal 0 binary64))
%755 = (fma.f64 %586 #s(literal 1/2 binary64) %754)
%756 = (*.f64 #s(literal 0 binary64) %92)
%757 = (fma.f64 %586 #s(literal 1/2 binary64) %756)
%758 = (/.f64 #s(literal 0 binary64) %183)
%759 = (fma.f64 %586 #s(literal 1/2 binary64) %758)
%760 = (fma.f64 %586 #s(literal 1/2 binary64) #s(literal 0 binary64))
%761 = (fma.f64 %588 %127 %754)
%762 = (fma.f64 %588 %127 %756)
%763 = (fma.f64 %588 %127 %758)
%764 = (fma.f64 %588 %127 #s(literal 0 binary64))
%765 = (fma.f64 %479 %111 #s(literal 1 binary64))
%766 = (fma.f64 %590 %108 %754)
%767 = (fma.f64 %590 %108 %756)
%768 = (fma.f64 %590 %108 %758)
%769 = (fma.f64 %590 %108 #s(literal 0 binary64))
%770 = (fma.f64 %592 %593 %754)
%771 = (fma.f64 %592 %593 %756)
%772 = (fma.f64 %592 %593 %758)
%773 = (fma.f64 %592 %593 #s(literal 0 binary64))
%774 = (fma.f64 %592 %108 %754)
%775 = (fma.f64 %592 %108 %756)
%776 = (fma.f64 %592 %108 %758)
%777 = (fma.f64 %592 %108 #s(literal 0 binary64))
%778 = (/.f64 %59 %7)
%779 = (/.f64 %317 #s(literal 1/2 binary64))
%780 = (fma.f64 %778 %779 %747)
%781 = (fma.f64 %778 %779 %263)
%782 = (/.f64 %59 #s(literal 1 binary64))
%783 = (fma.f64 %782 %225 %747)
%784 = (fma.f64 %782 %225 %263)
%785 = (/.f64 %59 t)
%786 = (/.f64 %317 #s(literal 1 binary64))
%787 = (fma.f64 %785 %786 %747)
%788 = (fma.f64 %785 %786 %263)
%789 = (/.f64 %15 %7)
%790 = (/.f64 %27 #s(literal 1/2 binary64))
%791 = (fma.f64 %789 %790 %747)
%792 = (fma.f64 %789 %790 %263)
%793 = (/.f64 %15 #s(literal 1 binary64))
%794 = (fma.f64 %793 %229 %747)
%795 = (fma.f64 %793 %229 %263)
%796 = (/.f64 %66 %7)
%797 = (/.f64 x #s(literal 1/2 binary64))
%798 = (fma.f64 %796 %797 %747)
%799 = (fma.f64 %796 %797 %263)
%800 = (/.f64 %21 %7)
%801 = (/.f64 y #s(literal 1/2 binary64))
%802 = (fma.f64 %800 %801 %747)
%803 = (fma.f64 %800 %801 %263)
%804 = (/.f64 %21 #s(literal 1 binary64))
%805 = (fma.f64 %804 %5 %747)
%806 = (fma.f64 %804 %5 %263)
%807 = (/.f64 %66 #s(literal 1/2 binary64))
%808 = (fma.f64 %502 %807 %747)
%809 = (fma.f64 %502 %807 %263)
%810 = (fma.f64 %504 %279 %747)
%811 = (fma.f64 %504 %279 %263)
%812 = (/.f64 %66 #s(literal 1 binary64))
%813 = (fma.f64 %812 %18 %747)
%814 = (fma.f64 %812 %18 %263)
%816 = (fma.f64 (/.f64 %37 %7) %801 #s(literal 1 binary64))
%817 = (/.f64 %37 t)
%818 = (fma.f64 %817 %536 #s(literal 1 binary64))
%819 = (/.f64 %37 #s(literal 1 binary64))
%820 = (fma.f64 %819 %5 #s(literal 1 binary64))
%821 = (fma.f64 %596 %120 %754)
%822 = (fma.f64 %596 %120 %756)
%823 = (fma.f64 %596 %120 %758)
%824 = (fma.f64 %596 %120 #s(literal 0 binary64))
%825 = (fma.f64 %136 %104 %754)
%826 = (fma.f64 %136 %104 %756)
%827 = (fma.f64 %136 %104 %758)
%828 = (fma.f64 %136 %104 #s(literal 0 binary64))
%829 = (/.f64 %263 %7)
%830 = (fma.f64 %829 %100 %220)
%831 = (/.f64 %263 #s(literal 1/2 binary64))
%832 = (fma.f64 %119 %831 %220)
%833 = (/.f64 %263 t)
%834 = (fma.f64 %833 t %220)
%835 = (/.f64 z %7)
%836 = (*.f64 %111 %237)
%837 = (fma.f64 %835 %801 %836)
%838 = (*.f64 %237 %111)
%839 = (fma.f64 %835 %801 %838)
%840 = (neg.f64 %740)
%841 = (fma.f64 %835 %801 %840)
%842 = (fma.f64 %835 %801 %238)
%843 = (/.f64 %21 #s(literal 1/2 binary64))
%844 = (fma.f64 %534 %843 %747)
%845 = (fma.f64 %534 %843 %263)
%847 = (fma.f64 %534 (/.f64 %37 #s(literal 1/2 binary64)) #s(literal 1 binary64))
%848 = (/.f64 z #s(literal 1/2 binary64))
%849 = (fma.f64 %534 %848 %836)
%850 = (fma.f64 %534 %848 %838)
%851 = (fma.f64 %534 %848 %840)
%852 = (fma.f64 %534 %848 %238)
%853 = (fma.f64 %536 %817 #s(literal 1 binary64))
%854 = (fma.f64 %536 %297 %836)
%855 = (fma.f64 %536 %297 %838)
%856 = (fma.f64 %536 %297 %840)
%857 = (fma.f64 %536 %297 %238)
%858 = (fma.f64 %536 %6 %747)
%859 = (fma.f64 %536 %6 %263)
%860 = (/.f64 z #s(literal 1 binary64))
%861 = (fma.f64 %860 %5 %836)
%862 = (fma.f64 %860 %5 %838)
%863 = (fma.f64 %860 %5 %840)
%864 = (fma.f64 %860 %5 %238)
%865 = (fma.f64 %599 %600 %754)
%866 = (fma.f64 %599 %600 %756)
%867 = (fma.f64 %599 %600 %758)
%868 = (fma.f64 %599 %600 #s(literal 0 binary64))
%869 = (fma.f64 %599 %127 %122)
%870 = (*.f64 %265 #s(literal 2 binary64))
%871 = (fma.f64 %870 %104 %747)
%872 = (fma.f64 %870 %104 %263)
%873 = (*.f64 %294 #s(literal 2 binary64))
%874 = (fma.f64 %873 %104 %836)
%875 = (fma.f64 %873 %104 %838)
%876 = (fma.f64 %873 %104 %840)
%877 = (fma.f64 %873 %104 %238)
%878 = (fma.f64 %675 %104 #s(literal 1 binary64))
%879 = (fma.f64 %602 %104 %754)
%880 = (fma.f64 %602 %104 %756)
%881 = (fma.f64 %602 %104 %758)
%882 = (fma.f64 %602 %104 #s(literal 0 binary64))
%883 = (fma.f64 %229 %15 %747)
%884 = (fma.f64 %229 %15 %263)
%885 = (fma.f64 %279 %504 %747)
%886 = (fma.f64 %279 %504 %263)
%887 = (fma.f64 %279 x %747)
%888 = (fma.f64 %279 x %263)
%889 = (fma.f64 %225 %59 %747)
%890 = (fma.f64 %225 %59 %263)
%891 = (fma.f64 %104 %136 %754)
%892 = (fma.f64 %104 %136 %756)
%893 = (fma.f64 %104 %136 %758)
%894 = (fma.f64 %104 %136 #s(literal 0 binary64))
%895 = (fma.f64 %104 %91 %122)
%896 = (fma.f64 %122 #s(literal 2 binary64) %754)
%897 = (fma.f64 %122 #s(literal 2 binary64) %756)
%898 = (fma.f64 %122 #s(literal 2 binary64) %758)
%899 = (fma.f64 %122 #s(literal 2 binary64) #s(literal 0 binary64))
%900 = (fma.f64 %122 #s(literal 1 binary64) %122)
%901 = (fma.f64 %297 %536 %836)
%902 = (fma.f64 %297 %536 %838)
%903 = (fma.f64 %297 %536 %840)
%904 = (fma.f64 %297 %536 %238)
%905 = (fma.f64 %297 y %836)
%906 = (fma.f64 %297 y %838)
%907 = (fma.f64 %297 y %840)
%908 = (fma.f64 %297 y %238)
%909 = (fma.f64 %295 %111 %836)
%910 = (fma.f64 %295 %111 %838)
%911 = (fma.f64 %295 %111 %840)
%912 = (fma.f64 %295 %111 %238)
%913 = (fma.f64 #s(literal -1/2 binary64) %144 %122)
%914 = (/.f64 %27 #s(literal 1 binary64))
%915 = (fma.f64 %228 %914 %747)
%916 = (fma.f64 %228 %914 %263)
%917 = (fma.f64 #s(literal -2 binary64) %606 %754)
%918 = (fma.f64 #s(literal -2 binary64) %606 %756)
%919 = (fma.f64 #s(literal -2 binary64) %606 %758)
%920 = (fma.f64 #s(literal -2 binary64) %606 #s(literal 0 binary64))
%921 = (fma.f64 #s(literal -2 binary64) %608 %754)
%922 = (fma.f64 #s(literal -2 binary64) %608 %756)
%923 = (fma.f64 #s(literal -2 binary64) %608 %758)
%924 = (fma.f64 #s(literal -2 binary64) %608 #s(literal 0 binary64))
%925 = (fma.f64 %332 %126 #s(literal 1 binary64))
%926 = (fma.f64 %144 #s(literal -1 binary64) %754)
%927 = (fma.f64 %144 #s(literal -1 binary64) %756)
%928 = (fma.f64 %144 #s(literal -1 binary64) %758)
%929 = (fma.f64 %144 #s(literal -1 binary64) #s(literal 0 binary64))
%930 = (fma.f64 %126 %611 %754)
%931 = (fma.f64 %126 %611 %756)
%932 = (fma.f64 %126 %611 %758)
%933 = (fma.f64 %126 %611 #s(literal 0 binary64))
%934 = (fma.f64 %126 %151 %754)
%935 = (fma.f64 %126 %151 %756)
%936 = (fma.f64 %126 %151 %758)
%937 = (fma.f64 %126 %151 #s(literal 0 binary64))
%938 = (fma.f64 %126 %332 #s(literal 1 binary64))
%939 = (fma.f64 %126 %127 %754)
%940 = (fma.f64 %126 %127 %756)
%941 = (fma.f64 %126 %127 %758)
%942 = (fma.f64 %126 %127 #s(literal 0 binary64))
%944 = (fma.f64 %653 (/.f64 #s(literal 1 binary64) %652) #s(literal 1 binary64))
%945 = (fma.f64 %97 %95 %754)
%946 = (fma.f64 %97 %95 %756)
%947 = (fma.f64 %97 %95 %758)
%948 = (fma.f64 %97 %95 #s(literal 0 binary64))
%949 = (fma.f64 %97 %111 %122)
%950 = (fma.f64 %95 %616 %754)
%951 = (fma.f64 %95 %616 %756)
%952 = (fma.f64 %95 %616 %758)
%953 = (fma.f64 %95 %616 #s(literal 0 binary64))
%954 = (fma.f64 %95 %97 %754)
%955 = (fma.f64 %95 %97 %756)
%956 = (fma.f64 %95 %97 %758)
%957 = (fma.f64 %95 %97 #s(literal 0 binary64))
%958 = (fma.f64 %417 %126 %836)
%959 = (fma.f64 %417 %126 %838)
%960 = (fma.f64 %417 %126 %840)
%961 = (fma.f64 %417 %126 %238)
%962 = (fma.f64 %465 %126 %747)
%963 = (fma.f64 %465 %126 %263)
%964 = (*.f64 %60 %18)
%965 = (fma.f64 %60 %964 %747)
%966 = (fma.f64 %60 %964 %263)
%967 = (fma.f64 %143 #s(literal 1 binary64) #s(literal 1 binary64))
%968 = (fma.f64 %6 %536 %747)
%969 = (fma.f64 %6 %536 %263)
%970 = (fma.f64 %6 y %747)
%971 = (fma.f64 %6 y %263)
%972 = (fma.f64 #s(literal 1/2 binary64) %619 %754)
%973 = (fma.f64 #s(literal 1/2 binary64) %619 %756)
%974 = (fma.f64 #s(literal 1/2 binary64) %619 %758)
%975 = (fma.f64 #s(literal 1/2 binary64) %619 #s(literal 0 binary64))
%976 = (fma.f64 #s(literal 1/2 binary64) %621 %754)
%977 = (fma.f64 #s(literal 1/2 binary64) %621 %756)
%978 = (fma.f64 #s(literal 1/2 binary64) %621 %758)
%979 = (fma.f64 #s(literal 1/2 binary64) %621 #s(literal 0 binary64))
%980 = (fma.f64 #s(literal 1/2 binary64) %623 %754)
%981 = (fma.f64 #s(literal 1/2 binary64) %623 %756)
%982 = (fma.f64 #s(literal 1/2 binary64) %623 %758)
%983 = (fma.f64 #s(literal 1/2 binary64) %623 #s(literal 0 binary64))
%984 = (fma.f64 #s(literal 1/2 binary64) %92 %122)
%985 = (fma.f64 %216 %111 %220)
%986 = (fma.f64 %111 %97 %122)
%987 = (fma.f64 %111 %216 %220)
%988 = (fma.f64 %111 %265 %747)
%989 = (fma.f64 %111 %265 %263)
%990 = (fma.f64 %111 %294 %836)
%991 = (fma.f64 %111 %294 %838)
%992 = (fma.f64 %111 %294 %840)
%993 = (fma.f64 %111 %294 %238)
%994 = (fma.f64 %111 %390 #s(literal 1 binary64))
%995 = (fma.f64 %111 %237 %246)
%996 = (fma.f64 %111 %91 %754)
%997 = (fma.f64 %111 %91 %756)
%998 = (fma.f64 %111 %91 %758)
%999 = (fma.f64 %111 %91 #s(literal 0 binary64))
%1000 = (fma.f64 %127 %126 %754)
%1001 = (fma.f64 %127 %126 %756)
%1002 = (fma.f64 %127 %126 %758)
%1003 = (fma.f64 %127 %126 #s(literal 0 binary64))
%1004 = (*.f64 %126 %66)
%1005 = (fma.f64 %14 %1004 %747)
%1006 = (fma.f64 %14 %1004 %263)
%1007 = (/.f64 %66 %29)
%1008 = (fma.f64 %14 %1007 %747)
%1009 = (fma.f64 %14 %1007 %263)
%1010 = (fma.f64 %59 %225 %747)
%1011 = (fma.f64 %59 %225 %263)
%1012 = (*.f64 %126 z)
%1013 = (fma.f64 %15 %1012 %836)
%1014 = (fma.f64 %15 %1012 %838)
%1015 = (fma.f64 %15 %1012 %840)
%1016 = (fma.f64 %15 %1012 %238)
%1017 = (/.f64 z %29)
%1018 = (fma.f64 %15 %1017 %836)
%1019 = (fma.f64 %15 %1017 %838)
%1020 = (fma.f64 %15 %1017 %840)
%1021 = (fma.f64 %15 %1017 %238)
%1022 = (fma.f64 %15 %229 %747)
%1023 = (fma.f64 %15 %229 %263)
%1024 = (fma.f64 #s(literal -1 binary64) %627 %754)
%1025 = (fma.f64 #s(literal -1 binary64) %627 %756)
%1026 = (fma.f64 #s(literal -1 binary64) %627 %758)
%1027 = (fma.f64 #s(literal -1 binary64) %627 #s(literal 0 binary64))
%1028 = (fma.f64 #s(literal -1 binary64) %144 %754)
%1029 = (fma.f64 #s(literal -1 binary64) %144 %756)
%1030 = (fma.f64 #s(literal -1 binary64) %144 %758)
%1031 = (fma.f64 #s(literal -1 binary64) %144 #s(literal 0 binary64))
%1033 = (fma.f64 #s(literal 2 binary64) (*.f64 %104 %390) #s(literal 1 binary64))
%1034 = (fma.f64 #s(literal 2 binary64) %122 %754)
%1035 = (fma.f64 #s(literal 2 binary64) %122 %756)
%1036 = (fma.f64 #s(literal 2 binary64) %122 %758)
%1037 = (fma.f64 #s(literal 2 binary64) %122 #s(literal 0 binary64))
%1038 = (fma.f64 %265 %111 %747)
%1039 = (fma.f64 %265 %111 %263)
%1040 = (fma.f64 %294 %111 %836)
%1041 = (fma.f64 %294 %111 %838)
%1042 = (fma.f64 %294 %111 %840)
%1043 = (fma.f64 %294 %111 %238)
%1044 = (fma.f64 %390 %111 #s(literal 1 binary64))
%1045 = (fma.f64 %237 %111 %246)
%1046 = (fma.f64 %263 #s(literal 1 binary64) %220)
%1047 = (fma.f64 %92 #s(literal 1/2 binary64) %122)
%1048 = (fma.f64 %92 #s(literal 1 binary64) %754)
%1049 = (fma.f64 %92 #s(literal 1 binary64) %756)
%1050 = (fma.f64 %92 #s(literal 1 binary64) %758)
%1051 = (fma.f64 %92 #s(literal 1 binary64) #s(literal 0 binary64))
%1052 = (fma.f64 %5 %804 %747)
%1053 = (fma.f64 %5 %804 %263)
%1054 = (fma.f64 %5 %819 #s(literal 1 binary64))
%1055 = (fma.f64 %5 %860 %836)
%1056 = (fma.f64 %5 %860 %838)
%1057 = (fma.f64 %5 %860 %840)
%1058 = (fma.f64 %5 %860 %238)
%1059 = (fma.f64 %5 %37 #s(literal 1 binary64))
%1060 = (fma.f64 %5 %21 %747)
%1061 = (fma.f64 %5 %21 %263)
%1062 = (fma.f64 %5 z %836)
%1063 = (fma.f64 %5 z %838)
%1064 = (fma.f64 %5 z %840)
%1065 = (fma.f64 %5 z %238)
%1066 = (fma.f64 %18 %812 %747)
%1067 = (fma.f64 %18 %812 %263)
%1068 = (fma.f64 %18 %66 %747)
%1069 = (fma.f64 %18 %66 %263)
%1070 = (fma.f64 %91 %111 %754)
%1071 = (fma.f64 %91 %111 %756)
%1072 = (fma.f64 %91 %111 %758)
%1073 = (fma.f64 %91 %111 #s(literal 0 binary64))
%1074 = (fma.f64 %66 %18 %747)
%1075 = (fma.f64 %66 %18 %263)
%1076 = (fma.f64 %37 %5 #s(literal 1 binary64))
%1077 = (fma.f64 %21 %5 %747)
%1078 = (fma.f64 %21 %5 %263)
%1079 = (fma.f64 #s(literal 1 binary64) %633 %754)
%1080 = (fma.f64 #s(literal 1 binary64) %633 %756)
%1081 = (fma.f64 #s(literal 1 binary64) %633 %758)
%1082 = (fma.f64 #s(literal 1 binary64) %633 #s(literal 0 binary64))
%1083 = (fma.f64 #s(literal 1 binary64) %238 %246)
%1084 = (fma.f64 #s(literal 1 binary64) %122 %122)
%1085 = (fma.f64 #s(literal 1 binary64) %143 #s(literal 1 binary64))
%1086 = (fma.f64 #s(literal 1 binary64) %246 %836)
%1087 = (fma.f64 #s(literal 1 binary64) %246 %838)
%1088 = (fma.f64 #s(literal 1 binary64) %246 %840)
%1089 = (fma.f64 #s(literal 1 binary64) %246 %238)
%1090 = (fma.f64 #s(literal 1 binary64) %220 %747)
%1091 = (fma.f64 #s(literal 1 binary64) %220 %263)
%1092 = (fma.f64 #s(literal 1 binary64) %263 %220)
%1093 = (fma.f64 #s(literal 1 binary64) %92 %754)
%1094 = (fma.f64 #s(literal 1 binary64) %92 %756)
%1095 = (fma.f64 #s(literal 1 binary64) %92 %758)
%1096 = (fma.f64 #s(literal 1 binary64) %92 #s(literal 0 binary64))
%1097 = (fma.f64 t %833 %220)
%1098 = (fma.f64 z %5 %836)
%1099 = (fma.f64 z %5 %838)
%1100 = (fma.f64 z %5 %840)
%1101 = (fma.f64 z %5 %238)
%1103 = (fma.f64 y (*.f64 %37 %111) #s(literal 1 binary64))
%1105 = (fma.f64 y (+.f64 %297 %6) #s(literal 1 binary64))
%1107 = (fma.f64 y (fma.f64 %5 x %297) #s(literal 1 binary64))
%1108 = (fma.f64 y %817 #s(literal 1 binary64))
%1109 = (fma.f64 y %297 %836)
%1110 = (fma.f64 y %297 %838)
%1111 = (fma.f64 y %297 %840)
%1112 = (fma.f64 y %297 %238)
%1113 = (fma.f64 y %6 %747)
%1114 = (fma.f64 y %6 %263)
%1115 = (*.f64 y %5)
%1116 = (fma.f64 x %1115 %747)
%1117 = (fma.f64 x %1115 %263)
%1118 = (fma.f64 x %279 %747)
%1119 = (fma.f64 x %279 %263)
%1120 = (*.f64 %54 %5)
%1121 = (-.f64 %238 %1120)
%1123 = (-.f64 %143 (*.f64 %126 t))
%1124 = (-.f64 %143 #s(literal -1 binary64))
%1125 = (-.f64 %246 %740)
%1126 = (-.f64 #s(literal -1 binary64) %246)
%1127 = (-.f64 %220 %1126)
%1128 = (-.f64 %263 %460)
%1130 = (-.f64 #s(literal 1 binary64) (fma.f64 %228 z %460))
%1132 = (-.f64 #s(literal 1 binary64) (*.f64 %126 %390))
%1134 = (-.f64 #s(literal 1 binary64) (*.f64 %332 %111))
%1136 = (-.f64 #s(literal 1 binary64) (-.f64 %1120 %220))
%1138 = (-.f64 #s(literal 1 binary64) (neg.f64 %143))
%1140 = (-.f64 #s(literal 1 binary64) (/.f64 %390 %29))
%1142 = (-.f64 #s(literal 1 binary64) (/.f64 %332 t))
%1144 = (+.f64 (fma.f64 %5 %37 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
%1145 = (*.f64 %126 %332)
%1146 = (+.f64 %1145 #s(literal 1 binary64))
%1147 = (+.f64 %747 %220)
%1148 = (+.f64 %836 %246)
%1149 = (*.f64 %332 %126)
%1150 = (+.f64 %1149 #s(literal 1 binary64))
%1151 = (+.f64 %838 %246)
%1152 = (+.f64 %281 #s(literal 1 binary64))
%1153 = (+.f64 %238 %246)
%1154 = (+.f64 %122 %122)
%1155 = (+.f64 %143 #s(literal 1 binary64))
%1157 = (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %143))
%1158 = (+.f64 %246 %836)
%1159 = (+.f64 %246 %838)
%1160 = (+.f64 %246 %840)
%1161 = (+.f64 %246 %238)
%1162 = (+.f64 %220 %747)
%1163 = (+.f64 %220 %263)
%1164 = (+.f64 %263 %220)
%1165 = (+.f64 %92 %754)
%1166 = (+.f64 %92 %756)
%1167 = (+.f64 %92 %758)
%1168 = (+.f64 %92 #s(literal 0 binary64))
%1170 = (+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %143))
%1171 = (+.f64 #s(literal 1 binary64) %1145)
%1172 = (+.f64 #s(literal 1 binary64) %1149)
%1173 = (+.f64 #s(literal 1 binary64) %281)
%1174 = (+.f64 #s(literal 1 binary64) %143)
%1304 = (fma.f64 %566 y t)
%1309 = (*.f64 %15 %566)
%1314 = (*.f64 %566 y)
%1329 = (approx (+ (* %565 y) t) %91)
%1330 = (*.f64 #s(literal 1 binary64) %1329)
%1331 = (pow.f64 %1329 #s(literal 1 binary64))
%1333 = (/.f64 #s(literal 1 binary64) (pow.f64 %1329 #s(literal -1 binary64)))
x
y
z
t
#s(literal 1 binary64)
(*.f64 %8 #s(literal 1/2 binary64))
(*.f64 %11 t)
(*.f64 %6 t)
(*.f64 %14 %15)
(*.f64 %15 %14)
(*.f64 %18 %19)
(*.f64 %21 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %21)
(*.f64 t %6)
%21
(*.f64 x y)
(pow.f64 %21 #s(literal 1 binary64))
(/.f64 (*.f64 %27 t) %29)
(/.f64 (*.f64 %21 t) t)
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(neg.f64 %27)
(*.f64 #s(literal 1 binary64) %37)
(pow.f64 %37 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %37 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %37))
(fma.f64 %8 #s(literal 1/2 binary64) z)
(fma.f64 %11 t z)
(fma.f64 %6 t z)
(fma.f64 %14 %15 z)
(fma.f64 %15 %14 z)
(fma.f64 %18 %19 z)
(fma.f64 %21 #s(literal 1 binary64) z)
(fma.f64 #s(literal 1 binary64) %21 z)
(fma.f64 t %6 z)
%37
(fma.f64 x y z)
(-.f64 %21 %54)
(-.f64 z %27)
(+.f64 %21 z)
(+.f64 z %21)
(*.f64 %61 %61)
(*.f64 %60 %60)
(*.f64 %59 %59)
(*.f64 %15 %15)
(*.f64 #s(literal 1 binary64) %66)
%66
(pow.f64 %60 #s(literal 2 binary64))
(pow.f64 %59 #s(literal 2 binary64))
(pow.f64 %15 #s(literal 2 binary64))
(pow.f64 %66 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %60 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %59 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %66 #s(literal -1 binary64)))
(neg.f64 %85)
(sqrt.f64 (*.f64 %66 %66))
(fabs.f64 %85)
(fabs.f64 %66)
%94
%98
%101
%105
%109
%112
%114
%118
%121
%123
%125
%129
%131
%133
%135
%137
%139
%140
%141
%142
%145
%147
%150
%152
%153
%155
%157
%158
%159
%160
%161
%162
%163
%164
%166
%168
%170
%171
%173
%174
%175
%177
%180
%182
%185
%186
%187
%188
%189
%190
%192
%193
%195
%197
%199
%201
%202
%203
%204
%206
%208
%210
%211
%212
%213
%217
%219
%222
%224
%227
%231
%233
%235
%240
%242
%244
%245
%248
%249
%250
%251
%253
%254
%255
%256
%258
%261
%262
%266
%268
%270
%272
%273
%274
%275
%277
%280
%282
%284
%285
%286
%287
%288
%289
%290
%292
%293
%296
%298
%299
%300
%301
%302
%304
%306
%307
%308
%309
%311
%313
%314
%316
%318
%320
%321
%322
%324
%325
%326
%327
%328
%330
%331
%334
%335
%336
%338
%339
%340
%341
%342
%344
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%360
%361
%363
%365
%366
%368
%369
%370
%371
%372
%374
%375
%377
%378
%379
%380
%381
%382
%383
%384
%385
%386
%387
%388
%389
%391
%392
%393
%394
%395
%397
%398
%399
%400
%401
%402
%403
%91
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%438
%439
%440
%441
%442
%443
%444
%446
%448
%449
%450
%453
%456
%459
%462
%464
%466
%468
%470
%471
%472
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
(*.f64 (*.f64 x #s(literal 2 binary64)) %104)
(*.f64 %502 #s(literal 2 binary64))
(*.f64 %504 %111)
(*.f64 %126 %14)
(*.f64 %111 x)
(*.f64 %14 %126)
(*.f64 #s(literal 2 binary64) (*.f64 %104 x))
(*.f64 %18 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %18)
(*.f64 x %111)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 (*.f64 %14 #s(literal 1 binary64)) %29)
(/.f64 (*.f64 #s(literal -1 binary64) x) %29)
(/.f64 (*.f64 x #s(literal -1 binary64)) %29)
(/.f64 %502 #s(literal 1/2 binary64))
(/.f64 %504 t)
(/.f64 %14 %29)
(/.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %29 %14))
(/.f64 #s(literal 1 binary64) (/.f64 t x))
%18
(neg.f64 %451)
(*.f64 (*.f64 y #s(literal 2 binary64)) %104)
(*.f64 %534 #s(literal 2 binary64))
(*.f64 %536 %111)
(*.f64 %126 %15)
(*.f64 %111 y)
(*.f64 %15 %126)
(*.f64 #s(literal 2 binary64) (*.f64 %104 y))
(*.f64 %5 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %5)
(*.f64 y %111)
(pow.f64 %5 #s(literal 1 binary64))
(/.f64 (*.f64 %15 #s(literal 1 binary64)) %29)
(/.f64 (*.f64 #s(literal -1 binary64) y) %29)
(/.f64 (*.f64 y #s(literal -1 binary64)) %29)
(/.f64 %534 #s(literal 1/2 binary64))
(/.f64 %536 t)
(/.f64 %15 %29)
(/.f64 %5 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %29 %15))
(/.f64 #s(literal 1 binary64) (/.f64 t y))
%5
(neg.f64 %228)
(*.f64 #s(literal 1 binary64) %566)
(pow.f64 %566 #s(literal 1 binary64))
%566
(/.f64 #s(literal 1 binary64) (pow.f64 %566 #s(literal -1 binary64)))
(*.f64 (*.f64 %102 %7) #s(literal 1/2 binary64))
(*.f64 %7 %116)
(*.f64 %107 %29)
(*.f64 %102 t)
(*.f64 %29 %107)
(*.f64 #s(literal 2 binary64) (*.f64 %116 t))
(*.f64 %183 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %183)
(*.f64 t %102)
(pow.f64 %183 #s(literal 1 binary64))
(/.f64 %29 %127)
(/.f64 #s(literal 1 binary64) %92)
%183
(neg.f64 %148)
%587
%589
%591
%594
%595
%597
%598
%601
%603
%604
%605
%607
%609
%610
%612
%613
%614
%615
%617
%618
%620
%622
%624
%625
%626
%628
%629
%630
%631
%632
%634
%635
%636
%637
%638
%640
%641
%642
%644
%645
%647
%649
%651
%657
%659
%663
%667
%671
%674
%677
%678
%681
%683
%685
%688
%691
%694
%697
%700
%703
%706
%707
%709
%710
%711
%713
%714
%715
%717
%718
%719
%720
%721
%723
%724
%725
%92
%727
%729
%731
%733
%734
%735
%737
%739
%742
%744
%745
%748
%749
%751
%753
%755
%757
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%780
%781
%783
%784
%787
%788
%791
%792
%794
%795
%798
%799
%802
%803
%805
%806
%808
%809
%810
%811
%813
%814
%816
%818
%820
%821
%822
%823
%824
%825
%826
%827
%828
%830
%832
%834
%837
%839
%841
%842
%844
%845
%847
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%861
%862
%863
%864
%865
%866
%867
%868
%869
%871
%872
%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
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%932
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%965
%966
%967
%968
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%999
%1000
%1001
%1002
%1003
%1005
%1006
%1008
%1009
%1010
%1011
%1013
%1014
%1015
%1016
%1018
%1019
%1020
%1021
%1022
%1023
%1024
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1033
%1034
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1103
%1105
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1116
%1117
%1118
%1119
%1121
%1123
%1124
%1125
%1127
%1128
%1130
%1132
%1134
%1136
%1138
%1140
%1142
%1144
%1146
%1147
%1148
%1150
%1151
%1152
%1153
%1154
%1155
%1157
%1158
%1159
%1160
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1170
%1171
%1172
%1173
%1174
(*.f64 %829 %100)
(*.f64 %119 %831)
(*.f64 %833 t)
(*.f64 %216 %111)
(*.f64 %263 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %263)
(*.f64 t %833)
(pow.f64 %263 #s(literal 1 binary64))
(/.f64 (/.f64 %216 %7) #s(literal 1/2 binary64))
(/.f64 (/.f64 %216 #s(literal 1 binary64)) t)
(/.f64 (fma.f64 %246 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %417 #s(literal 2 binary64) %178) %705)
(/.f64 (fma.f64 #s(literal 2 binary64) %29 (*.f64 %417 #s(literal 2 binary64))) %178)
(/.f64 (fma.f64 #s(literal 2 binary64) t %873) %7)
(/.f64 (fma.f64 %417 #s(literal 2 binary64) %705) %705)
(/.f64 (fma.f64 %294 #s(literal 2 binary64) %7) %7)
(/.f64 (fma.f64 #s(literal 2 binary64) %29 (*.f64 #s(literal 2 binary64) %417)) %178)
(/.f64 (fma.f64 #s(literal 2 binary64) t (*.f64 #s(literal 2 binary64) %294)) %7)
(/.f64 %467 %29)
(/.f64 %216 t)
(/.f64 %263 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 t %216))
(/.f64 #s(literal 1 binary64) (pow.f64 %263 #s(literal -1 binary64)))
(neg.f64 %1126)
(fma.f64 %829 %100 #s(literal 0 binary64))
(fma.f64 %119 %831 #s(literal 0 binary64))
(fma.f64 %833 t #s(literal 0 binary64))
(fma.f64 %835 %801 #s(literal 1 binary64))
(fma.f64 %534 %848 #s(literal 1 binary64))
(fma.f64 %536 %297 #s(literal 1 binary64))
(fma.f64 %860 %5 #s(literal 1 binary64))
(fma.f64 %873 %104 #s(literal 1 binary64))
(fma.f64 %297 %536 #s(literal 1 binary64))
(fma.f64 %297 y #s(literal 1 binary64))
(fma.f64 %295 %111 #s(literal 1 binary64))
(fma.f64 %417 %126 #s(literal 1 binary64))
(fma.f64 %216 %111 #s(literal 0 binary64))
(fma.f64 %111 %294 #s(literal 1 binary64))
(fma.f64 %15 %1012 #s(literal 1 binary64))
(fma.f64 %15 %1017 #s(literal 1 binary64))
(fma.f64 %294 %111 #s(literal 1 binary64))
(fma.f64 %263 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %5 %860 #s(literal 1 binary64))
%263
(fma.f64 #s(literal 1 binary64) %246 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %263 #s(literal 0 binary64))
(fma.f64 t %833 #s(literal 0 binary64))
(fma.f64 z %5 #s(literal 1 binary64))
(fma.f64 y %297 #s(literal 1 binary64))
(-.f64 %246 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %1120)
(+.f64 (fma.f64 %297 y #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %246))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %1120))
(+.f64 %246 #s(literal 1 binary64))
(+.f64 %263 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %246))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %1120))
(+.f64 #s(literal 1 binary64) %246)
%587
%589
%591
%594
%595
%597
%598
%601
%603
%604
%605
%607
%609
%610
%612
%613
%614
%615
%617
%618
%620
%622
%624
%625
%626
%628
%629
%630
%631
%632
%634
%635
%636
%637
%638
%640
%641
%642
%644
%645
%647
%649
%651
%657
%659
%663
%667
%671
%674
%677
%678
%681
%683
%685
%688
%691
%694
%697
%700
%703
%706
%707
%709
%710
%711
%713
%714
%715
%717
%718
%719
%720
%721
%723
%724
%725
%92
%727
%729
%731
%733
%734
%735
%737
%739
%742
%744
%745
%748
%749
%751
%753
%755
%757
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%780
%781
%783
%784
%787
%788
%791
%792
%794
%795
%798
%799
%802
%803
%805
%806
%808
%809
%810
%811
%813
%814
%816
%818
%820
%821
%822
%823
%824
%825
%826
%827
%828
%830
%832
%834
%837
%839
%841
%842
%844
%845
%847
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%861
%862
%863
%864
%865
%866
%867
%868
%869
%871
%872
%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
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%932
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%965
%966
%967
%968
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%999
%1000
%1001
%1002
%1003
%1005
%1006
%1008
%1009
%1010
%1011
%1013
%1014
%1015
%1016
%1018
%1019
%1020
%1021
%1022
%1023
%1024
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1033
%1034
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1042
%1043
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1064
%1065
%1066
%1067
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1103
%1105
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1116
%1117
%1118
%1119
%1121
%1123
%1124
%1125
%1127
%1128
%1130
%1132
%1134
%1136
%1138
%1140
%1142
%1144
%1146
%1147
%1148
%1150
%1151
%1152
%1153
%1154
%1155
%1157
%1158
%1159
%1160
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1170
%1171
%1172
%1173
%1174
(*.f64 #s(literal 1 binary64) %237)
(pow.f64 %237 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %237 #s(literal -1 binary64)))
(neg.f64 %469)
(fma.f64 %215 x t)
(fma.f64 %218 y t)
(fma.f64 %221 #s(literal 1/2 binary64) t)
(fma.f64 %223 t t)
(fma.f64 %226 %59 t)
(fma.f64 %230 %15 t)
(fma.f64 %232 %5 t)
(fma.f64 %257 %60 t)
(fma.f64 %267 %225 t)
(fma.f64 %269 %229 t)
(fma.f64 %276 %126 t)
(fma.f64 %278 %279 t)
(fma.f64 %283 %100 t)
(fma.f64 %119 %291 t)
(fma.f64 %19 %6 t)
(fma.f64 %7 %303 t)
(fma.f64 %229 %315 t)
(fma.f64 %317 %59 t)
(fma.f64 %225 %319 t)
(fma.f64 %214 %18 t)
(fma.f64 %85 %14 t)
(fma.f64 %343 %111 t)
(fma.f64 %60 %345 t)
(fma.f64 %6 %19 t)
(fma.f64 %27 %15 t)
(fma.f64 %111 %343 t)
(fma.f64 %14 %359 t)
(fma.f64 %59 %364 t)
(fma.f64 %59 %317 t)
(fma.f64 %15 %367 t)
(fma.f64 %15 %27 t)
(fma.f64 %265 #s(literal 1 binary64) t)
(fma.f64 %220 t t)
(fma.f64 %18 %214 t)
%237
(fma.f64 %21 %404 t)
(fma.f64 %21 y t)
(fma.f64 #s(literal 1 binary64) %265 t)
(fma.f64 t %220 t)
(fma.f64 y %21 t)
(fma.f64 x %445 t)
(fma.f64 x %447 t)
(fma.f64 x %66 t)
(-.f64 %265 %29)
(-.f64 t %465)
(+.f64 %265 t)
(+.f64 t %265)
(*.f64 #s(literal 1 binary64) %1304)
(pow.f64 %1304 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1304 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1309 t))
(neg.f64 (neg.f64 %1304))
%1304
(fma.f64 #s(literal 1 binary64) %1314 t)
(fma.f64 y %566 t)
(-.f64 %1314 %29)
(-.f64 t %1309)
(+.f64 %1314 t)
(+.f64 t (*.f64 (neg.f64 (neg.f64 %566)) y))
(+.f64 t (neg.f64 %1309))
(+.f64 t %1314)
%94
%98
%101
%105
%109
%112
%114
%118
%121
%123
%125
%129
%131
%133
%135
%137
%139
%140
%141
%142
%145
%147
%150
%152
%153
%155
%157
%158
%159
%160
%161
%162
%163
%164
%166
%168
%170
%171
%173
%174
%175
%177
%180
%182
%185
%186
%187
%188
%189
%190
%192
%193
%195
%197
%199
%201
%202
%203
%204
%206
%208
%210
%211
%212
%213
%217
%219
%222
%224
%227
%231
%233
%235
%240
%242
%244
%245
%248
%249
%250
%251
%253
%254
%255
%256
%258
%261
%262
%266
%268
%270
%272
%273
%274
%275
%277
%280
%282
%284
%285
%286
%287
%288
%289
%290
%292
%293
%296
%298
%299
%300
%301
%302
%304
%306
%307
%308
%309
%311
%313
%314
%316
%318
%320
%321
%322
%324
%325
%326
%327
%328
%330
%331
%334
%335
%336
%338
%339
%340
%341
%342
%344
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%360
%361
%363
%365
%366
%368
%369
%370
%371
%372
%374
%375
%377
%378
%379
%380
%381
%382
%383
%384
%385
%386
%387
%388
%389
%391
%392
%393
%394
%395
%397
%398
%399
%400
%401
%402
%403
%91
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%438
%439
%440
%441
%442
%443
%444
%446
%448
%449
%450
%453
%456
%459
%462
%464
%466
%468
%470
%471
%472
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
%1330
%1331
%1329
%1333
%94
%98
%101
%105
%109
%112
%114
%118
%121
%123
%125
%129
%131
%133
%135
%137
%139
%140
%141
%142
%145
%147
%150
%152
%153
%155
%157
%158
%159
%160
%161
%162
%163
%164
%166
%168
%170
%171
%173
%174
%175
%177
%180
%182
%185
%186
%187
%188
%189
%190
%192
%193
%195
%197
%199
%201
%202
%203
%204
%206
%208
%210
%211
%212
%213
%217
%219
%222
%224
%227
%231
%233
%235
%240
%242
%244
%245
%248
%249
%250
%251
%253
%254
%255
%256
%258
%261
%262
%266
%268
%270
%272
%273
%274
%275
%277
%280
%282
%284
%285
%286
%287
%288
%289
%290
%292
%293
%296
%298
%299
%300
%301
%302
%304
%306
%307
%308
%309
%311
%313
%314
%316
%318
%320
%321
%322
%324
%325
%326
%327
%328
%330
%331
%334
%335
%336
%338
%339
%340
%341
%342
%344
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%360
%361
%363
%365
%366
%368
%369
%370
%371
%372
%374
%375
%377
%378
%379
%380
%381
%382
%383
%384
%385
%386
%387
%388
%389
%391
%392
%393
%394
%395
%397
%398
%399
%400
%401
%402
%403
%91
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%438
%439
%440
%441
%442
%443
%444
%446
%448
%449
%450
%453
%456
%459
%462
%464
%466
%468
%470
%471
%472
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
%1330
%1331
%1329
%1333
%94
%98
%101
%105
%109
%112
%114
%118
%121
%123
%125
%129
%131
%133
%135
%137
%139
%140
%141
%142
%145
%147
%150
%152
%153
%155
%157
%158
%159
%160
%161
%162
%163
%164
%166
%168
%170
%171
%173
%174
%175
%177
%180
%182
%185
%186
%187
%188
%189
%190
%192
%193
%195
%197
%199
%201
%202
%203
%204
%206
%208
%210
%211
%212
%213
%217
%219
%222
%224
%227
%231
%233
%235
%240
%242
%244
%245
%248
%249
%250
%251
%253
%254
%255
%256
%258
%261
%262
%266
%268
%270
%272
%273
%274
%275
%277
%280
%282
%284
%285
%286
%287
%288
%289
%290
%292
%293
%296
%298
%299
%300
%301
%302
%304
%306
%307
%308
%309
%311
%313
%314
%316
%318
%320
%321
%322
%324
%325
%326
%327
%328
%330
%331
%334
%335
%336
%338
%339
%340
%341
%342
%344
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%360
%361
%363
%365
%366
%368
%369
%370
%371
%372
%374
%375
%377
%378
%379
%380
%381
%382
%383
%384
%385
%386
%387
%388
%389
%391
%392
%393
%394
%395
%397
%398
%399
%400
%401
%402
%403
%91
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%438
%439
%440
%441
%442
%443
%444
%446
%448
%449
%450
%453
%456
%459
%462
%464
%466
%468
%470
%471
%472
%473
%474
%475
%476
%477
%478
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499

%2 = (*.f64 x y)
%5 = (+.f64 z %2)
%6 = (*.f64 y %5)
%8 = (fma.f64 y x z)
%9 = (*.f64 y y)
%10 = (fma.f64 %8 y t)
%11 = (fma.f64 z y t)
%12 = (/.f64 x t)
%13 = (/.f64 t %10)
%18 = (approx (+ (* (+ (* y x) z) y) t) %6)
%20 = (*.f64 %9 t)
%22 = (/.f64 t %18)
%23 = (/.f64 #s(literal 1 binary64) %22)
%24 = (*.f64 t %23)
x
y
%2
z
t
%5
%6
#s(literal 1 binary64)
%8
%9
%10
%11
%12
%13
%18
(/.f64 t %13)
%20
(fma.f64 %20 %12 %11)
%22
%23
%24
(approx (+ (* (+ (* x y) z) y) t) %24)

%3 = (*.f64 t y)
%5 = (/.f64 #s(literal 1 binary64) t)
%6 = (*.f64 %3 %5)
%8 = (neg.f64 x)
%9 = (*.f64 %3 %8)
%11 = (/.f64 #s(literal -1 binary64) t)
%13 = (/.f64 x t)
%14 = (*.f64 %13 y)
%16 = (*.f64 %3 x)
%19 = (neg.f64 y)
%23 = (*.f64 y x)
%30 = (neg.f64 t)
%36 = (/.f64 %8 t)
%39 = (*.f64 %8 y)
%42 = (fma.f64 y x z)
%43 = (*.f64 #s(literal 1 binary64) %42)
%44 = (pow.f64 %42 #s(literal 1 binary64))
%46 = (/.f64 #s(literal 1 binary64) (pow.f64 %42 #s(literal -1 binary64)))
%47 = (neg.f64 %42)
%48 = (neg.f64 %47)
%49 = (fma.f64 %6 x z)
%50 = (fma.f64 %9 %11 z)
%51 = (fma.f64 %14 t z)
%52 = (fma.f64 %16 %5 z)
%53 = (fma.f64 %3 %13 z)
%54 = (fma.f64 %8 %19 z)
%55 = (fma.f64 %19 %8 z)
%56 = (fma.f64 %13 %3 z)
%57 = (fma.f64 #s(literal 1 binary64) %23 z)
%58 = (fma.f64 t %14 z)
%59 = (fma.f64 x y z)
%60 = (-.f64 z %39)
%61 = (neg.f64 z)
%62 = (-.f64 %23 %61)
%63 = (+.f64 z %23)
%64 = (+.f64 %23 z)
%65 = (*.f64 %42 y)
%67 = (*.f64 %65 #s(literal 2 binary64))
%70 = (*.f64 %65 #s(literal 1/2 binary64))
%72 = (*.f64 %65 t)
%74 = (*.f64 #s(literal 2 binary64) %65)
%77 = (*.f64 #s(literal 1/2 binary64) %65)
%81 = (*.f64 y #s(literal 1 binary64))
%83 = (*.f64 %5 %65)
%85 = (*.f64 %42 #s(literal 1 binary64))
%98 = (*.f64 z y)
%99 = (*.f64 %3 %39)
%102 = (*.f64 y y)
%103 = (*.f64 %102 x)
%104 = (*.f64 %103 t)
%111 = (*.f64 #s(literal -1 binary64) %65)
%113 = (*.f64 %61 y)
%114 = (-.f64 %113 %103)
%116 = (*.f64 %19 %42)
%118 = (*.f64 %14 y)
%119 = (+.f64 t t)
%120 = (*.f64 %118 %119)
%121 = (*.f64 %98 #s(literal 1 binary64))
%123 = (neg.f64 %113)
%126 = (*.f64 %118 #s(literal 1 binary64))
%130 = (*.f64 %104 #s(literal 2 binary64))
%131 = (/.f64 #s(literal 1/2 binary64) t)
%135 = (fabs.f64 y)
%136 = (*.f64 %135 t)
%137 = (*.f64 %13 %136)
%141 = (*.f64 %19 t)
%142 = (*.f64 %13 %141)
%146 = (*.f64 %13 %135)
%150 = (*.f64 %13 %19)
%154 = (neg.f64 %135)
%155 = (*.f64 x %154)
%159 = (*.f64 %104 #s(literal 1 binary64))
%164 = (*.f64 %65 #s(literal 0 binary64))
%166 = (*.f64 #s(literal 0 binary64) %65)
%172 = (*.f64 %102 t)
%173 = (/.f64 %172 %119)
%174 = (/.f64 x #s(literal 1/2 binary64))
%178 = (/.f64 %102 %119)
%179 = (*.f64 t x)
%180 = (/.f64 %179 #s(literal 1/2 binary64))
%184 = (/.f64 %102 #s(literal 1 binary64))
%188 = (/.f64 %102 t)
%189 = (/.f64 %179 #s(literal 1 binary64))
%193 = (/.f64 t %119)
%194 = (/.f64 %103 #s(literal 1/2 binary64))
%198 = (/.f64 y %119)
%199 = (/.f64 %16 #s(literal 1/2 binary64))
%203 = (/.f64 y #s(literal 1 binary64))
%207 = (/.f64 y t)
%208 = (/.f64 %16 #s(literal 1 binary64))
%212 = (/.f64 %172 #s(literal 1 binary64))
%216 = (/.f64 x %119)
%217 = (/.f64 %172 #s(literal 1/2 binary64))
%221 = (*.f64 #s(literal 1/2 binary64) %118)
%231 = (*.f64 %135 x)
%235 = (*.f64 %135 %13)
%239 = (*.f64 %19 %13)
%243 = (*.f64 %5 %102)
%250 = (*.f64 %154 x)
%269 = (*.f64 %11 %172)
%273 = (/.f64 %172 %30)
%337 = (*.f64 %39 y)
%361 = (neg.f64 %154)
%371 = (*.f64 %102 %102)
%392 = (*.f64 %19 y)
%397 = (fma.f64 %42 y t)
%398 = (/.f64 %397 t)
%399 = (*.f64 %398 %119)
%400 = (*.f64 %399 #s(literal 1/2 binary64))
%401 = (*.f64 %397 #s(literal 2 binary64))
%402 = (*.f64 %401 #s(literal 1/2 binary64))
%403 = (*.f64 %397 #s(literal 1/2 binary64))
%404 = (*.f64 %403 #s(literal 2 binary64))
%406 = (/.f64 #s(literal 1/2 binary64) %397)
%407 = (/.f64 #s(literal 2 binary64) %406)
%408 = (*.f64 #s(literal 1/4 binary64) %407)
%409 = (/.f64 t #s(literal 2 binary64))
%410 = (/.f64 %5 %406)
%411 = (*.f64 %409 %410)
%412 = (/.f64 #s(literal 1 binary64) %397)
%413 = (/.f64 %119 %412)
%414 = (*.f64 %413 %131)
%415 = (/.f64 %119 %30)
%416 = (/.f64 #s(literal -1 binary64) %397)
%417 = (/.f64 #s(literal 1/2 binary64) %416)
%418 = (*.f64 %415 %417)
%419 = (/.f64 %397 #s(literal 1/2 binary64))
%420 = (*.f64 %193 %419)
%421 = (/.f64 t %412)
%422 = (*.f64 %421 %5)
%423 = (*.f64 %131 %397)
%424 = (*.f64 %119 %423)
%425 = (*.f64 %397 t)
%426 = (*.f64 %425 %5)
%427 = (neg.f64 %397)
%428 = (/.f64 %427 t)
%429 = (*.f64 %428 %30)
%430 = (*.f64 %427 t)
%431 = (*.f64 %11 %430)
%432 = (/.f64 t %416)
%433 = (*.f64 %11 %432)
%434 = (/.f64 #s(literal 2 binary64) t)
%435 = (*.f64 #s(literal 1/2 binary64) %397)
%436 = (*.f64 %435 t)
%437 = (*.f64 %434 %436)
%438 = (/.f64 #s(literal 1 binary64) %406)
%439 = (*.f64 #s(literal 1/2 binary64) %438)
%440 = (/.f64 #s(literal 2 binary64) %412)
%441 = (*.f64 #s(literal 1/2 binary64) %440)
%442 = (*.f64 #s(literal 2 binary64) %397)
%443 = (*.f64 #s(literal 1/2 binary64) %442)
%444 = (*.f64 %398 t)
%445 = (*.f64 %5 %421)
%446 = (*.f64 %5 %425)
%447 = (*.f64 %427 #s(literal -1 binary64))
%448 = (*.f64 %30 %428)
%449 = (*.f64 #s(literal -1 binary64) %427)
%450 = (*.f64 %423 t)
%451 = (*.f64 #s(literal 2 binary64) %450)
%452 = (*.f64 #s(literal 2 binary64) %435)
%453 = (*.f64 %397 #s(literal 1 binary64))
%454 = (*.f64 #s(literal 1 binary64) %397)
%455 = (*.f64 t %398)
%456 = (pow.f64 %412 #s(literal -1 binary64))
%457 = (pow.f64 %397 #s(literal 1 binary64))
%459 = (/.f64 (*.f64 %397 %30) %30)
%460 = (/.f64 %401 #s(literal 2 binary64))
%461 = (/.f64 %430 %30)
%463 = (/.f64 (/.f64 %425 %119) #s(literal 1/2 binary64))
%465 = (/.f64 (/.f64 %425 #s(literal 1 binary64)) t)
%466 = (fma.f64 z y t)
%468 = (/.f64 (fma.f64 %466 %30 %99) %30)
%469 = (/.f64 %421 t)
%471 = (/.f64 (*.f64 %30 %397) %30)
%472 = (/.f64 %442 #s(literal 2 binary64))
%474 = (/.f64 (*.f64 t %427) %30)
%476 = (/.f64 (neg.f64 %425) %30)
%477 = (/.f64 %425 t)
%478 = (/.f64 #s(literal 1/2 binary64) %406)
%479 = (/.f64 %427 #s(literal -1 binary64))
%480 = (/.f64 %30 %397)
%481 = (/.f64 %30 %480)
%482 = (/.f64 #s(literal -1 binary64) %416)
%484 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %412))
%485 = (/.f64 %397 #s(literal 1 binary64))
%487 = (/.f64 #s(literal 1 binary64) (/.f64 %412 #s(literal 1 binary64)))
%488 = (/.f64 #s(literal 1 binary64) %412)
%489 = (/.f64 t %397)
%490 = (/.f64 t %489)
%492 = (neg.f64 (*.f64 %427 #s(literal 1 binary64)))
%494 = (neg.f64 (*.f64 %397 #s(literal -1 binary64)))
%496 = (neg.f64 (-.f64 %337 %466))
%497 = (neg.f64 %427)
%498 = (fma.f64 %120 #s(literal 1/2 binary64) %466)
%499 = (fma.f64 %126 t %466)
%500 = (fma.f64 %130 %131 %466)
%501 = (fma.f64 %137 %135 %466)
%502 = (fma.f64 %142 %19 %466)
%503 = (fma.f64 %146 %136 %466)
%504 = (fma.f64 %150 %141 %466)
%505 = (fma.f64 %155 %154 %466)
%506 = (*.f64 %397 #s(literal 0 binary64))
%507 = (fma.f64 %399 #s(literal 1/2 binary64) %506)
%508 = (*.f64 #s(literal 0 binary64) %397)
%509 = (fma.f64 %399 #s(literal 1/2 binary64) %508)
%510 = (/.f64 #s(literal 0 binary64) %412)
%511 = (fma.f64 %399 #s(literal 1/2 binary64) %510)
%512 = (fma.f64 %159 %5 %466)
%513 = (fma.f64 %67 #s(literal 1/2 binary64) t)
%514 = (fma.f64 %401 #s(literal 1/2 binary64) %506)
%515 = (fma.f64 %401 #s(literal 1/2 binary64) %508)
%516 = (fma.f64 %401 #s(literal 1/2 binary64) %510)
%517 = (fma.f64 %70 #s(literal 2 binary64) t)
%518 = (fma.f64 %403 #s(literal 2 binary64) %506)
%519 = (fma.f64 %403 #s(literal 2 binary64) %508)
%520 = (fma.f64 %403 #s(literal 2 binary64) %510)
%521 = (fma.f64 %72 %5 t)
%522 = (fma.f64 %14 y #s(literal 1 binary64))
%523 = (fma.f64 %522 t %98)
%524 = (fma.f64 #s(literal 1/4 binary64) %407 %506)
%525 = (fma.f64 #s(literal 1/4 binary64) %407 %508)
%526 = (fma.f64 #s(literal 1/4 binary64) %407 %510)
%527 = (fma.f64 %409 %410 %506)
%528 = (fma.f64 %409 %410 %508)
%529 = (fma.f64 %409 %410 %510)
%530 = (fma.f64 %413 %131 %506)
%531 = (fma.f64 %413 %131 %508)
%532 = (fma.f64 %413 %131 %510)
%533 = (fma.f64 %415 %417 %506)
%534 = (fma.f64 %415 %417 %508)
%535 = (fma.f64 %415 %417 %510)
%536 = (fma.f64 %173 %174 %466)
%537 = (fma.f64 %178 %180 %466)
%538 = (fma.f64 %184 x %466)
%539 = (fma.f64 %188 %189 %466)
%540 = (fma.f64 %193 %419 %506)
%541 = (fma.f64 %193 %419 %508)
%542 = (fma.f64 %193 %419 %510)
%543 = (fma.f64 %193 %194 %466)
%544 = (fma.f64 %198 %199 %466)
%545 = (fma.f64 %203 %23 %466)
%546 = (fma.f64 %207 %208 %466)
%547 = (fma.f64 %212 %13 %466)
%548 = (fma.f64 %421 %5 %506)
%549 = (fma.f64 %421 %5 %508)
%550 = (fma.f64 %421 %5 %510)
%551 = (fma.f64 %216 %217 %466)
%552 = (fma.f64 %119 %221 %466)
%553 = (fma.f64 %119 %423 %506)
%554 = (fma.f64 %119 %423 %508)
%555 = (fma.f64 %119 %423 %510)
%556 = (fma.f64 %118 t %466)
%557 = (fma.f64 %14 %3 %466)
%558 = (fma.f64 %231 %135 %466)
%559 = (fma.f64 %136 %235 %466)
%560 = (fma.f64 %141 %239 %466)
%561 = (fma.f64 %179 %243 %466)
%562 = (fma.f64 %425 %5 %506)
%563 = (fma.f64 %425 %5 %508)
%564 = (fma.f64 %425 %5 %510)
%566 = (fma.f64 #s(literal -1/2 binary64) %427 %435)
%567 = (*.f64 %30 #s(literal -1 binary64))
%568 = (fma.f64 %116 #s(literal -1 binary64) %567)
%569 = (fma.f64 %428 %30 %506)
%570 = (fma.f64 %428 %30 %508)
%571 = (fma.f64 %428 %30 %510)
%572 = (fma.f64 %11 %430 %506)
%573 = (fma.f64 %11 %430 %508)
%574 = (fma.f64 %11 %430 %510)
%575 = (fma.f64 %11 %432 %506)
%576 = (fma.f64 %11 %432 %508)
%577 = (fma.f64 %11 %432 %510)
%578 = (fma.f64 %434 %436 %506)
%579 = (fma.f64 %434 %436 %508)
%580 = (fma.f64 %434 %436 %510)
%581 = (fma.f64 %99 %11 %466)
%582 = (fma.f64 %154 %250 %466)
%583 = (fma.f64 %3 %14 %466)
%584 = (fma.f64 %104 %5 %466)
%585 = (fma.f64 #s(literal 1/2 binary64) %438 %506)
%586 = (fma.f64 #s(literal 1/2 binary64) %438 %508)
%587 = (fma.f64 #s(literal 1/2 binary64) %438 %510)
%588 = (fma.f64 #s(literal 1/2 binary64) %74 t)
%589 = (fma.f64 #s(literal 1/2 binary64) %440 %506)
%590 = (fma.f64 #s(literal 1/2 binary64) %440 %508)
%591 = (fma.f64 #s(literal 1/2 binary64) %440 %510)
%592 = (fma.f64 #s(literal 1/2 binary64) %442 %506)
%593 = (fma.f64 #s(literal 1/2 binary64) %442 %508)
%594 = (fma.f64 #s(literal 1/2 binary64) %442 %510)
%595 = (fma.f64 #s(literal 1/2 binary64) %397 %435)
%596 = (fma.f64 %39 %19 %466)
%597 = (fma.f64 %398 t %506)
%598 = (fma.f64 %398 t %508)
%599 = (fma.f64 %398 t %510)
%600 = (fma.f64 %5 %421 %506)
%601 = (fma.f64 %5 %421 %508)
%602 = (fma.f64 %5 %421 %510)
%603 = (fma.f64 %5 %425 %506)
%604 = (fma.f64 %5 %425 %508)
%605 = (fma.f64 %5 %425 %510)
%606 = (fma.f64 %5 %104 %466)
%607 = (fma.f64 %8 %269 %466)
%608 = (fma.f64 %8 %273 %466)
%609 = (fma.f64 %427 #s(literal -1 binary64) %506)
%610 = (fma.f64 %427 #s(literal -1 binary64) %508)
%611 = (fma.f64 %427 #s(literal -1 binary64) %510)
%612 = (fma.f64 %30 %428 %506)
%613 = (fma.f64 %30 %428 %508)
%614 = (fma.f64 %30 %428 %510)
%615 = (*.f64 %116 #s(literal -1 binary64))
%616 = (fma.f64 %30 #s(literal -1 binary64) %615)
%617 = (fma.f64 %135 %231 %466)
%618 = (fma.f64 %19 %47 t)
%619 = (fma.f64 %19 %39 %466)
%620 = (*.f64 #s(literal -1 binary64) %30)
%621 = (fma.f64 #s(literal -1 binary64) %116 %620)
%622 = (fma.f64 #s(literal -1 binary64) %427 %506)
%623 = (fma.f64 #s(literal -1 binary64) %427 %508)
%624 = (fma.f64 #s(literal -1 binary64) %427 %510)
%625 = (*.f64 #s(literal -1 binary64) %116)
%626 = (fma.f64 #s(literal -1 binary64) %30 %625)
%627 = (fma.f64 #s(literal 2 binary64) %450 %506)
%628 = (fma.f64 #s(literal 2 binary64) %450 %508)
%629 = (fma.f64 #s(literal 2 binary64) %450 %510)
%630 = (fma.f64 #s(literal 2 binary64) %77 t)
%631 = (fma.f64 #s(literal 2 binary64) %435 %506)
%632 = (fma.f64 #s(literal 2 binary64) %435 %508)
%633 = (fma.f64 #s(literal 2 binary64) %435 %510)
%634 = (fma.f64 %103 #s(literal 1 binary64) %466)
%635 = (fma.f64 %102 x t)
%636 = (*.f64 %635 #s(literal 1 binary64))
%637 = (fma.f64 %98 #s(literal 1 binary64) %636)
%638 = (fma.f64 %65 #s(literal 1 binary64) t)
%639 = (fma.f64 %172 %13 %466)
%640 = (fma.f64 %13 %212 %466)
%641 = (fma.f64 %13 %172 %466)
%642 = (fma.f64 %466 #s(literal 1 binary64) %103)
%643 = (fma.f64 %397 #s(literal 1/2 binary64) %403)
%644 = (fma.f64 %397 #s(literal 1 binary64) %506)
%645 = (fma.f64 %397 #s(literal 1 binary64) %508)
%646 = (fma.f64 %397 #s(literal 1 binary64) %510)
%647 = (fma.f64 %102 x %466)
%648 = (fma.f64 #s(literal 1 binary64) %635 %98)
%649 = (fma.f64 #s(literal 1 binary64) %435 %435)
%650 = (fma.f64 #s(literal 1 binary64) %103 %466)
%651 = (fma.f64 #s(literal 1 binary64) %98 %635)
%652 = (fma.f64 #s(literal 1 binary64) %65 t)
%653 = (fma.f64 #s(literal 1 binary64) %466 %103)
%654 = (fma.f64 #s(literal 1 binary64) %397 %506)
%655 = (fma.f64 #s(literal 1 binary64) %397 %508)
%656 = (fma.f64 #s(literal 1 binary64) %397 %510)
%657 = (fma.f64 %42 %81 t)
%658 = (fma.f64 t %83 t)
%660 = (fma.f64 t (+.f64 #s(literal 1 binary64) %118) %98)
%661 = (fma.f64 t %522 %98)
%662 = (fma.f64 t %118 %466)
%663 = (fma.f64 t %398 %506)
%664 = (fma.f64 t %398 %508)
%665 = (fma.f64 t %398 %510)
%666 = (fma.f64 z y %635)
%667 = (fma.f64 %23 y %466)
%668 = (fma.f64 y %85 t)
%669 = (fma.f64 y %42 t)
%670 = (fma.f64 y z %635)
%671 = (fma.f64 y %23 %466)
%672 = (fma.f64 x %102 %466)
%673 = (-.f64 %635 %113)
%674 = (neg.f64 %466)
%675 = (-.f64 %103 %674)
%677 = (-.f64 %98 (-.f64 %337 t))
%679 = (-.f64 %98 (fma.f64 %392 x %30))
%681 = (-.f64 %98 (neg.f64 %635))
%682 = (-.f64 %65 %30)
%683 = (-.f64 %466 %337)
%684 = (-.f64 t %111)
%686 = (-.f64 t (*.f64 %116 #s(literal 1 binary64)))
%687 = (-.f64 t %114)
%688 = (-.f64 t %116)
%689 = (+.f64 %625 %620)
%690 = (+.f64 %403 %403)
%691 = (+.f64 %615 %567)
%692 = (+.f64 %121 %636)
%694 = (+.f64 (*.f64 %466 #s(literal 1 binary64)) %103)
%697 = (+.f64 (/.f64 (*.f64 %466 t) t) %103)
%698 = (+.f64 %620 %625)
%699 = (+.f64 %567 %615)
%700 = (+.f64 %635 %98)
%701 = (+.f64 %435 %435)
%702 = (+.f64 %103 %466)
%703 = (+.f64 %98 %635)
%704 = (+.f64 %65 t)
%705 = (+.f64 %466 %103)
%706 = (+.f64 %397 %506)
%707 = (+.f64 %397 %508)
%708 = (+.f64 %397 %510)
%709 = (+.f64 t %65)
%769 = (+ (* (+ z (* y x)) y) t)
%770 = (approx %769 %65)
%771 = (/.f64 %770 t)
%772 = (*.f64 %771 %119)
%773 = (*.f64 %772 #s(literal 1/2 binary64))
%774 = (/.f64 %770 %119)
%775 = (/.f64 t #s(literal 1/2 binary64))
%776 = (*.f64 %774 %775)
%777 = (/.f64 #s(literal 1 binary64) %770)
%778 = (/.f64 %119 %777)
%779 = (*.f64 %778 %131)
%780 = (/.f64 t %777)
%781 = (*.f64 %780 %5)
%782 = (/.f64 #s(literal 1/2 binary64) %770)
%783 = (/.f64 #s(literal 2 binary64) %782)
%784 = (*.f64 #s(literal 1/4 binary64) %783)
%785 = (/.f64 %5 %782)
%786 = (*.f64 %409 %785)
%787 = (/.f64 #s(literal -1 binary64) %770)
%788 = (/.f64 #s(literal 1/2 binary64) %787)
%789 = (*.f64 %415 %788)
%790 = (/.f64 %770 #s(literal 1/2 binary64))
%791 = (*.f64 %193 %790)
%792 = (*.f64 %131 %770)
%793 = (*.f64 %119 %792)
%794 = (*.f64 %770 t)
%795 = (*.f64 %794 %5)
%796 = (/.f64 t %787)
%797 = (*.f64 %11 %796)
%798 = (neg.f64 %770)
%799 = (*.f64 %798 t)
%800 = (*.f64 %11 %799)
%801 = (*.f64 #s(literal 1/2 binary64) %770)
%802 = (*.f64 %801 t)
%803 = (*.f64 %434 %802)
%804 = (/.f64 #s(literal 1 binary64) %782)
%805 = (*.f64 #s(literal 1/2 binary64) %804)
%806 = (/.f64 #s(literal 2 binary64) %777)
%807 = (*.f64 #s(literal 1/2 binary64) %806)
%808 = (*.f64 #s(literal 2 binary64) %770)
%809 = (*.f64 #s(literal 1/2 binary64) %808)
%810 = (*.f64 %5 %780)
%811 = (*.f64 %5 %794)
%812 = (*.f64 %798 #s(literal -1 binary64))
%813 = (/.f64 %798 t)
%814 = (*.f64 %30 %813)
%815 = (*.f64 %813 t)
%816 = (*.f64 #s(literal -1 binary64) %815)
%817 = (/.f64 %30 %770)
%818 = (/.f64 t %817)
%819 = (*.f64 #s(literal -1 binary64) %818)
%820 = (/.f64 #s(literal -1 binary64) %777)
%821 = (*.f64 #s(literal -1 binary64) %820)
%822 = (*.f64 #s(literal -1 binary64) %798)
%823 = (*.f64 %131 %794)
%824 = (*.f64 #s(literal 2 binary64) %823)
%825 = (*.f64 %792 t)
%826 = (*.f64 #s(literal 2 binary64) %825)
%827 = (*.f64 #s(literal 2 binary64) %801)
%828 = (*.f64 %771 t)
%829 = (*.f64 %770 #s(literal 1 binary64))
%830 = (*.f64 #s(literal 1 binary64) %770)
%831 = (*.f64 t %771)
%832 = (pow.f64 %777 #s(literal -1 binary64))
%833 = (pow.f64 %770 #s(literal 1 binary64))
%835 = (/.f64 (*.f64 #s(literal -1 binary64) %794) %30)
%837 = (/.f64 (/.f64 %794 %119) #s(literal 1/2 binary64))
%838 = (/.f64 %794 #s(literal 1 binary64))
%839 = (/.f64 %838 t)
%840 = (/.f64 %780 t)
%842 = (*.f64 %30 t)
%843 = (/.f64 (*.f64 %30 %794) %842)
%845 = (/.f64 (*.f64 #s(literal 2 binary64) %794) %119)
%847 = (*.f64 t t)
%848 = (/.f64 (*.f64 t %794) %847)
%849 = (/.f64 %799 %30)
%850 = (*.f64 %30 %770)
%851 = (/.f64 %850 %30)
%852 = (/.f64 %808 #s(literal 2 binary64))
%853 = (*.f64 t %798)
%854 = (/.f64 %853 %30)
%855 = (*.f64 %30 %30)
%856 = (*.f64 %30 %817)
%857 = (/.f64 %855 %856)
%858 = (/.f64 t %770)
%859 = (*.f64 %30 %858)
%860 = (/.f64 %842 %859)
%861 = (*.f64 #s(literal 2 binary64) %30)
%862 = (*.f64 #s(literal 2 binary64) %817)
%863 = (/.f64 %861 %862)
%864 = (*.f64 t %30)
%865 = (*.f64 t %817)
%866 = (/.f64 %864 %865)
%868 = (/.f64 (neg.f64 %794) %30)
%869 = (*.f64 t %858)
%870 = (/.f64 %847 %869)
%871 = (*.f64 #s(literal 2 binary64) %858)
%872 = (/.f64 %119 %871)
%873 = (/.f64 %794 t)
%874 = (/.f64 #s(literal 1/2 binary64) %782)
%875 = (/.f64 %798 #s(literal -1 binary64))
%876 = (/.f64 %30 %817)
%877 = (/.f64 #s(literal -1 binary64) %787)
%878 = (*.f64 #s(literal 2 binary64) %777)
%879 = (/.f64 #s(literal 2 binary64) %878)
%880 = (/.f64 %770 #s(literal 1 binary64))
%882 = (/.f64 #s(literal 1 binary64) (/.f64 %777 #s(literal 1 binary64)))
%883 = (/.f64 #s(literal 1 binary64) %777)
%884 = (/.f64 t %858)
%885 = (neg.f64 %815)
%886 = (*.f64 #s(literal -1 binary64) %770)
%887 = (neg.f64 %886)
%889 = (neg.f64 (*.f64 t %813))
%891 = (neg.f64 (/.f64 %30 %858))
%892 = (neg.f64 %818)
%893 = (neg.f64 %820)
%894 = (neg.f64 %798)
%895 = (/.f64 #s(literal 0 binary64) %777)
%896 = (fma.f64 %772 #s(literal 1/2 binary64) %895)
%897 = (fma.f64 %774 %775 %895)
%898 = (fma.f64 %778 %131 %895)
%899 = (fma.f64 %780 %5 %895)
%900 = (fma.f64 #s(literal 1/4 binary64) %783 %895)
%901 = (fma.f64 %409 %785 %895)
%902 = (fma.f64 %415 %788 %895)
%903 = (fma.f64 %193 %790 %895)
%904 = (fma.f64 %119 %792 %895)
%905 = (fma.f64 %794 %5 %895)
%906 = (fma.f64 #s(literal -1/2 binary64) %798 %801)
%907 = (fma.f64 %11 %796 %895)
%908 = (fma.f64 %11 %799 %895)
%909 = (fma.f64 %434 %802 %895)
%910 = (fma.f64 #s(literal 1/2 binary64) %804 %895)
%911 = (fma.f64 #s(literal 1/2 binary64) %806 %895)
%912 = (fma.f64 #s(literal 1/2 binary64) %808 %895)
%913 = (fma.f64 #s(literal 1/2 binary64) %770 %801)
%914 = (fma.f64 %5 %780 %895)
%915 = (fma.f64 %5 %794 %895)
%916 = (fma.f64 %798 #s(literal -1 binary64) %895)
%917 = (fma.f64 %30 %813 %895)
%918 = (fma.f64 #s(literal -1 binary64) %815 %895)
%919 = (fma.f64 #s(literal -1 binary64) %818 %895)
%920 = (fma.f64 #s(literal -1 binary64) %820 %895)
%921 = (fma.f64 #s(literal -1 binary64) %798 %895)
%922 = (fma.f64 #s(literal 2 binary64) %823 %895)
%923 = (fma.f64 #s(literal 2 binary64) %825 %895)
%924 = (fma.f64 #s(literal 2 binary64) %801 %895)
%925 = (fma.f64 %771 t %895)
%926 = (fma.f64 %770 #s(literal 1 binary64) %895)
%927 = (fma.f64 #s(literal 1 binary64) %801 %801)
%928 = (fma.f64 #s(literal 1 binary64) %770 %895)
%929 = (fma.f64 t %771 %895)
%930 = (+.f64 %801 %801)
%931 = (+.f64 %770 %895)
%971 = (*.f64 %771 #s(literal 2 binary64))
%973 = (/.f64 %5 #s(literal -1 binary64))
%975 = (/.f64 #s(literal -1 binary64) %119)
%976 = (/.f64 %798 #s(literal 1/2 binary64))
%978 = (/.f64 %5 %119)
%979 = (/.f64 %794 #s(literal 1/2 binary64))
%981 = (/.f64 %771 %119)
%983 = (/.f64 %771 t)
%985 = (/.f64 %5 t)
%988 = (/.f64 #s(literal 1 binary64) %119)
%990 = (/.f64 %771 #s(literal 1/2 binary64))
%992 = (/.f64 #s(literal -2 binary64) t)
%994 = (/.f64 #s(literal 2 binary64) %30)
%995 = (/.f64 #s(literal -1/2 binary64) %777)
%999 = (/.f64 #s(literal 1/2 binary64) %30)
%1000 = (/.f64 #s(literal 2 binary64) %787)
%1002 = (*.f64 %770 #s(literal 2 binary64))
%1006 = (*.f64 #s(literal 1/2 binary64) %813)
%1008 = (/.f64 #s(literal 1/2 binary64) %817)
%1010 = (*.f64 %798 #s(literal 1 binary64))
%1012 = (/.f64 %798 #s(literal 1 binary64))
%1018 = (*.f64 %801 #s(literal 1 binary64))
%1021 = (*.f64 #s(literal 2 binary64) %771)
%1023 = (/.f64 #s(literal 2 binary64) %858)
%1028 = (*.f64 %813 #s(literal 1 binary64))
%1034 = (/.f64 %131 %782)
%1037 = (*.f64 %5 %771)
%1039 = (/.f64 %5 %858)
%1117 = (*.f64 %771 #s(literal 0 binary64))
%1119 = (*.f64 #s(literal 0 binary64) %771)
%1121 = (/.f64 #s(literal 0 binary64) %858)
%1262 = (approx %769 %770)
x
y
(*.f64 %6 x)
(*.f64 %9 %11)
(*.f64 %14 t)
(*.f64 %16 %5)
(*.f64 %3 %13)
(*.f64 %8 %19)
(*.f64 %19 %8)
(*.f64 %13 %3)
(*.f64 #s(literal 1 binary64) %23)
(*.f64 t %14)
%23
(*.f64 x y)
(pow.f64 %23 #s(literal 1 binary64))
(/.f64 (*.f64 y (*.f64 %8 t)) %30)
(/.f64 %9 %30)
(/.f64 %16 t)
(/.f64 #s(literal 1 binary64) (pow.f64 %23 #s(literal -1 binary64)))
(neg.f64 (*.f64 %3 %36))
(neg.f64 %39)
z
t
%43
%44
%46
%48
%49
%50
%51
%52
%53
%54
%55
%56
%57
%58
%42
%59
%60
%62
%63
%64
(*.f64 %67 #s(literal 1/2 binary64))
(*.f64 %70 #s(literal 2 binary64))
(*.f64 %72 %5)
(*.f64 #s(literal 1/2 binary64) %74)
(*.f64 %19 %47)
(*.f64 #s(literal 2 binary64) %77)
(*.f64 %65 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %65)
(*.f64 %42 %81)
%65
(*.f64 t %83)
(*.f64 y %85)
(*.f64 y %42)
(pow.f64 %65 #s(literal 1 binary64))
(/.f64 (*.f64 %65 %30) %30)
(/.f64 %67 #s(literal 2 binary64))
(/.f64 (*.f64 %30 %65) %30)
(/.f64 %74 #s(literal 2 binary64))
(/.f64 (*.f64 t %65) t)
(/.f64 %72 t)
(/.f64 (fma.f64 %98 %30 %99) %30)
(/.f64 (fma.f64 %98 t %104) t)
(/.f64 #s(literal 1 binary64) (pow.f64 %65 #s(literal -1 binary64)))
(neg.f64 (*.f64 %65 #s(literal -1 binary64)))
(neg.f64 %111)
(neg.f64 %114)
(neg.f64 %116)
(fma.f64 %120 #s(literal 1/2 binary64) %121)
(fma.f64 %120 #s(literal 1/2 binary64) %123)
(fma.f64 %120 #s(literal 1/2 binary64) %98)
(fma.f64 %126 t %121)
(fma.f64 %126 t %123)
(fma.f64 %126 t %98)
(fma.f64 %130 %131 %121)
(fma.f64 %130 %131 %123)
(fma.f64 %130 %131 %98)
(fma.f64 %137 %135 %121)
(fma.f64 %137 %135 %123)
(fma.f64 %137 %135 %98)
(fma.f64 %142 %19 %121)
(fma.f64 %142 %19 %123)
(fma.f64 %142 %19 %98)
(fma.f64 %146 %136 %121)
(fma.f64 %146 %136 %123)
(fma.f64 %146 %136 %98)
(fma.f64 %150 %141 %121)
(fma.f64 %150 %141 %123)
(fma.f64 %150 %141 %98)
(fma.f64 %155 %154 %121)
(fma.f64 %155 %154 %123)
(fma.f64 %155 %154 %98)
(fma.f64 %159 %5 %121)
(fma.f64 %159 %5 %123)
(fma.f64 %159 %5 %98)
(fma.f64 %67 #s(literal 1/2 binary64) %164)
(fma.f64 %67 #s(literal 1/2 binary64) %166)
(fma.f64 %70 #s(literal 2 binary64) %164)
(fma.f64 %70 #s(literal 2 binary64) %166)
(fma.f64 %72 %5 %164)
(fma.f64 %72 %5 %166)
(fma.f64 %173 %174 %121)
(fma.f64 %173 %174 %123)
(fma.f64 %173 %174 %98)
(fma.f64 %178 %180 %121)
(fma.f64 %178 %180 %123)
(fma.f64 %178 %180 %98)
(fma.f64 %184 x %121)
(fma.f64 %184 x %123)
(fma.f64 %184 x %98)
(fma.f64 %188 %189 %121)
(fma.f64 %188 %189 %123)
(fma.f64 %188 %189 %98)
(fma.f64 %193 %194 %121)
(fma.f64 %193 %194 %123)
(fma.f64 %193 %194 %98)
(fma.f64 %198 %199 %121)
(fma.f64 %198 %199 %123)
(fma.f64 %198 %199 %98)
(fma.f64 %203 %23 %121)
(fma.f64 %203 %23 %123)
(fma.f64 %203 %23 %98)
(fma.f64 %207 %208 %121)
(fma.f64 %207 %208 %123)
(fma.f64 %207 %208 %98)
(fma.f64 %212 %13 %121)
(fma.f64 %212 %13 %123)
(fma.f64 %212 %13 %98)
(fma.f64 %216 %217 %121)
(fma.f64 %216 %217 %123)
(fma.f64 %216 %217 %98)
(fma.f64 %119 %221 %121)
(fma.f64 %119 %221 %123)
(fma.f64 %119 %221 %98)
(fma.f64 %118 t %121)
(fma.f64 %118 t %123)
(fma.f64 %118 t %98)
(fma.f64 %14 %3 %121)
(fma.f64 %14 %3 %123)
(fma.f64 %14 %3 %98)
(fma.f64 %231 %135 %121)
(fma.f64 %231 %135 %123)
(fma.f64 %231 %135 %98)
(fma.f64 %136 %235 %121)
(fma.f64 %136 %235 %123)
(fma.f64 %136 %235 %98)
(fma.f64 %141 %239 %121)
(fma.f64 %141 %239 %123)
(fma.f64 %141 %239 %98)
(fma.f64 %179 %243 %121)
(fma.f64 %179 %243 %123)
(fma.f64 %179 %243 %98)
(fma.f64 %99 %11 %121)
(fma.f64 %99 %11 %123)
(fma.f64 %99 %11 %98)
(fma.f64 %154 %250 %121)
(fma.f64 %154 %250 %123)
(fma.f64 %154 %250 %98)
(fma.f64 %3 %14 %121)
(fma.f64 %3 %14 %123)
(fma.f64 %3 %14 %98)
(fma.f64 %104 %5 %121)
(fma.f64 %104 %5 %123)
(fma.f64 %104 %5 %98)
(fma.f64 #s(literal 1/2 binary64) %74 %164)
(fma.f64 #s(literal 1/2 binary64) %74 %166)
(fma.f64 #s(literal 1/2 binary64) %65 %77)
(fma.f64 %39 %19 %121)
(fma.f64 %39 %19 %123)
(fma.f64 %39 %19 %98)
(fma.f64 %5 %104 %121)
(fma.f64 %5 %104 %123)
(fma.f64 %5 %104 %98)
(fma.f64 %8 %269 %121)
(fma.f64 %8 %269 %123)
(fma.f64 %8 %269 %98)
(fma.f64 %8 %273 %121)
(fma.f64 %8 %273 %123)
(fma.f64 %8 %273 %98)
(fma.f64 %135 %231 %121)
(fma.f64 %135 %231 %123)
(fma.f64 %135 %231 %98)
(fma.f64 %19 %47 %164)
(fma.f64 %19 %47 %166)
(fma.f64 %19 %39 %121)
(fma.f64 %19 %39 %123)
(fma.f64 %19 %39 %98)
(fma.f64 #s(literal 2 binary64) %77 %164)
(fma.f64 #s(literal 2 binary64) %77 %166)
(fma.f64 %103 #s(literal 1 binary64) %121)
(fma.f64 %103 #s(literal 1 binary64) %123)
(fma.f64 %103 #s(literal 1 binary64) %98)
(fma.f64 %98 #s(literal 1 binary64) %103)
(fma.f64 %65 #s(literal 1/2 binary64) %70)
(fma.f64 %65 #s(literal 1 binary64) %164)
(fma.f64 %65 #s(literal 1 binary64) %166)
(fma.f64 %172 %13 %121)
(fma.f64 %172 %13 %123)
(fma.f64 %172 %13 %98)
(fma.f64 %13 %212 %121)
(fma.f64 %13 %212 %123)
(fma.f64 %13 %212 %98)
(fma.f64 %13 %172 %121)
(fma.f64 %13 %172 %123)
(fma.f64 %13 %172 %98)
(fma.f64 %102 x %121)
(fma.f64 %102 x %123)
(fma.f64 %102 x %98)
(fma.f64 #s(literal 1 binary64) %103 %121)
(fma.f64 #s(literal 1 binary64) %103 %123)
(fma.f64 #s(literal 1 binary64) %103 %98)
(fma.f64 #s(literal 1 binary64) %98 %103)
(fma.f64 #s(literal 1 binary64) %65 %164)
(fma.f64 #s(literal 1 binary64) %65 %166)
(fma.f64 %42 %81 %164)
(fma.f64 %42 %81 %166)
(fma.f64 %42 y %164)
(fma.f64 %42 y %166)
(fma.f64 t %83 %164)
(fma.f64 t %83 %166)
(fma.f64 t %118 %121)
(fma.f64 t %118 %123)
(fma.f64 t %118 %98)
(fma.f64 z y %103)
(fma.f64 %23 y %121)
(fma.f64 %23 y %123)
(fma.f64 %23 y %98)
(fma.f64 y %85 %164)
(fma.f64 y %85 %166)
(fma.f64 y %42 %164)
(fma.f64 y %42 %166)
(fma.f64 y z %103)
(fma.f64 y %23 %121)
(fma.f64 y %23 %123)
(fma.f64 y %23 %98)
(fma.f64 x %102 %121)
(fma.f64 x %102 %123)
(fma.f64 x %102 %98)
(-.f64 %103 %113)
(-.f64 %98 %337)
(+.f64 %70 %70)
(+.f64 %77 %77)
(+.f64 %121 %103)
(+.f64 %103 %121)
(+.f64 %103 %123)
(+.f64 %103 %98)
(+.f64 %98 %103)
(+.f64 %65 %164)
(+.f64 %65 %166)
#s(literal 1 binary64)
%43
%44
%46
%48
%49
%50
%51
%52
%53
%54
%55
%56
%57
%58
%42
%59
%60
%62
%63
%64
(*.f64 (*.f64 %5 %136) %135)
(*.f64 (*.f64 %5 %141) %19)
(*.f64 (*.f64 %5 %3) y)
(*.f64 (*.f64 %5 %135) %136)
(*.f64 (*.f64 %5 %19) %141)
(*.f64 (*.f64 %5 y) %3)
(*.f64 %243 t)
(*.f64 %361 %361)
(*.f64 %154 %154)
(*.f64 %5 %172)
(*.f64 %135 %135)
(*.f64 %19 %19)
(*.f64 #s(literal 2 binary64) (*.f64 %131 %172))
(*.f64 %172 %5)
(*.f64 #s(literal 1 binary64) %102)
%102
(pow.f64 %371 #s(literal 1/2 binary64))
(pow.f64 %154 #s(literal 2 binary64))
(pow.f64 %135 #s(literal 2 binary64))
(pow.f64 %19 #s(literal 2 binary64))
(pow.f64 %102 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %172) %30)
(/.f64 %172 t)
(/.f64 #s(literal 1 binary64) (pow.f64 %154 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %135 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %19 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %102 #s(literal -1 binary64)))
(neg.f64 %392)
(sqrt.f64 %371)
(fabs.f64 %392)
(fabs.f64 %102)
%400
%402
%404
%408
%411
%414
%418
%420
%422
%424
%426
%429
%431
%433
%437
%439
%441
%443
%444
%445
%446
%447
%448
%449
%451
%452
%453
%454
%455
%456
%457
%459
%460
%461
%463
%465
%468
%469
%471
%472
%474
%476
%477
%478
%479
%481
%482
%484
%485
%487
%488
%490
%492
%494
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%507
%509
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%523
%524
%525
%526
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%566
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%616
%617
%618
%619
%621
%622
%623
%624
%626
%627
%628
%629
%630
%631
%632
%633
%634
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%657
%397
%658
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%675
%677
%679
%681
%682
%683
%684
%686
%687
%688
%689
%690
%691
%692
%694
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
(*.f64 #s(literal 1 binary64) %466)
(pow.f64 %466 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %466 #s(literal -1 binary64)))
(neg.f64 %674)
(fma.f64 #s(literal 1 binary64) %98 t)
%466
(fma.f64 y z t)
(-.f64 %98 %30)
(-.f64 t %113)
(+.f64 %123 t)
(+.f64 %98 t)
(+.f64 t %123)
(+.f64 t %98)
(*.f64 (*.f64 x #s(literal 2 binary64)) %131)
(*.f64 %216 #s(literal 2 binary64))
(*.f64 %11 %8)
(*.f64 %5 x)
(*.f64 %8 %11)
(*.f64 #s(literal 2 binary64) (*.f64 %131 x))
(*.f64 %13 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %13)
(*.f64 x %5)
(pow.f64 %13 #s(literal 1 binary64))
(/.f64 (*.f64 %8 #s(literal 1 binary64)) %30)
(/.f64 (*.f64 #s(literal -1 binary64) x) %30)
(/.f64 (*.f64 x #s(literal -1 binary64)) %30)
(/.f64 %216 #s(literal 1/2 binary64))
(/.f64 %8 %30)
(/.f64 %13 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %8))
(/.f64 #s(literal 1 binary64) (/.f64 t x))
%13
(neg.f64 %36)
(*.f64 (*.f64 %412 %119) #s(literal 1/2 binary64))
(*.f64 %119 %406)
(*.f64 %416 %30)
(*.f64 %412 t)
(*.f64 %30 %416)
(*.f64 #s(literal 2 binary64) (*.f64 %406 t))
(*.f64 %489 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %489)
(*.f64 t %412)
(pow.f64 %489 #s(literal 1 binary64))
(/.f64 %30 %427)
(/.f64 #s(literal 1 binary64) %398)
%489
(neg.f64 %480)
%773
%776
%779
%781
%784
%786
%789
%791
%793
%795
%797
%800
%803
%805
%807
%809
%810
%811
%812
%814
%816
%819
%821
%822
%824
%826
%827
%828
%829
%830
%831
%832
%833
%770
%835
%837
%839
%840
%843
%845
%848
%849
%851
%852
%854
%857
%860
%863
%866
%868
%870
%872
%873
%874
%875
%876
%877
%879
%880
%882
%883
%884
%885
%887
%889
%891
%892
%893
%894
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%400
%402
%404
%408
%411
%414
%418
%420
%422
%424
%426
%429
%431
%433
%437
%439
%441
%443
%444
%445
%446
%447
%448
%449
%451
%452
%453
%454
%455
%456
%457
%459
%460
%461
%463
%465
%468
%469
%471
%472
%474
%476
%477
%478
%479
%481
%482
%484
%485
%487
%488
%490
%492
%494
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%507
%509
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%523
%524
%525
%526
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%566
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%616
%617
%618
%619
%621
%622
%623
%624
%626
%627
%628
%629
%630
%631
%632
%633
%634
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%657
%397
%658
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%675
%677
%679
%681
%682
%683
%684
%686
%687
%688
%689
%690
%691
%692
%694
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
(*.f64 (*.f64 %102 %119) #s(literal 1/2 binary64))
(*.f64 (*.f64 %102 #s(literal 1 binary64)) t)
(*.f64 (*.f64 t %154) %154)
(*.f64 %119 (*.f64 #s(literal 1/2 binary64) %102))
(*.f64 %136 %135)
(*.f64 %141 %19)
(*.f64 %154 (*.f64 %154 t))
(*.f64 %3 y)
(*.f64 %135 %136)
(*.f64 %19 %141)
(*.f64 %172 #s(literal 1 binary64))
%172
(*.f64 #s(literal 1 binary64) %172)
(*.f64 t %102)
(*.f64 y %3)
(pow.f64 %172 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %172 #s(literal -1 binary64)))
(neg.f64 (*.f64 %3 %19))
%400
%402
%404
%408
%411
%414
%418
%420
%422
%424
%426
%429
%431
%433
%437
%439
%441
%443
%444
%445
%446
%447
%448
%449
%451
%452
%453
%454
%455
%456
%457
%459
%460
%461
%463
%465
%468
%469
%471
%472
%474
%476
%477
%478
%479
%481
%482
%484
%485
%487
%488
%490
%492
%494
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%507
%509
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%523
%524
%525
%526
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%566
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%616
%617
%618
%619
%621
%622
%623
%624
%626
%627
%628
%629
%630
%631
%632
%633
%634
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%657
%397
%658
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%675
%677
%679
%681
%682
%683
%684
%686
%687
%688
%689
%690
%691
%692
%694
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
(*.f64 (*.f64 %777 %119) #s(literal 1/2 binary64))
(*.f64 %119 %782)
(*.f64 %787 %30)
(*.f64 %777 t)
(*.f64 %30 %787)
(*.f64 #s(literal 2 binary64) (*.f64 %782 t))
(*.f64 %858 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %858)
(*.f64 t %777)
(pow.f64 %858 #s(literal 1 binary64))
(/.f64 %30 %798)
(/.f64 #s(literal 1 binary64) %771)
%858
(neg.f64 %817)
(*.f64 %971 #s(literal 1/2 binary64))
(*.f64 %973 %798)
(*.f64 %975 %976)
(*.f64 %978 %979)
(*.f64 %981 %775)
(*.f64 %983 t)
(*.f64 %780 %985)
(*.f64 %806 %131)
(*.f64 %988 %790)
(*.f64 %193 %990)
(*.f64 %992 %788)
(*.f64 %994 %995)
(*.f64 %994 %788)
(*.f64 %985 %838)
(*.f64 %999 %1000)
(*.f64 %1002 %131)
(*.f64 %792 #s(literal 2 binary64))
(*.f64 %131 %806)
(*.f64 #s(literal -2 binary64) %1006)
(*.f64 #s(literal -2 binary64) %1008)
(*.f64 %11 %1010)
(*.f64 %11 %1012)
(*.f64 %11 %820)
(*.f64 %11 %798)
(*.f64 %813 #s(literal -1 binary64))
(*.f64 %801 %434)
(*.f64 %434 %1018)
(*.f64 %434 %801)
(*.f64 #s(literal 1/2 binary64) %1021)
(*.f64 #s(literal 1/2 binary64) %1023)
(*.f64 #s(literal 1/2 binary64) %785)
(*.f64 %5 %770)
(*.f64 %798 %11)
(*.f64 #s(literal -1 binary64) %1028)
(*.f64 #s(literal -1 binary64) %813)
(*.f64 #s(literal 2 binary64) %792)
(*.f64 %771 #s(literal 1 binary64))
(*.f64 %770 %5)
(*.f64 #s(literal 1 binary64) %1034)
(*.f64 #s(literal 1 binary64) %771)
(*.f64 t %1037)
(*.f64 t %1039)
(*.f64 t %983)
(pow.f64 %771 #s(literal 1 binary64))
(pow.f64 %858 #s(literal -1 binary64))
(/.f64 (*.f64 %771 %30) %30)
(/.f64 %971 #s(literal 2 binary64))
(/.f64 (*.f64 %770 #s(literal -1 binary64)) %30)
(/.f64 %1010 %30)
(/.f64 (*.f64 %30 %771) %30)
(/.f64 %1021 #s(literal 2 binary64))
(/.f64 (/.f64 %5 #s(literal 2 binary64)) %782)
(/.f64 %886 %30)
(/.f64 %774 #s(literal 1/2 binary64))
(/.f64 (*.f64 %5 %30) %817)
(/.f64 (*.f64 %798 %30) %855)
(/.f64 (*.f64 %798 #s(literal 2 binary64)) (*.f64 %30 #s(literal 2 binary64)))
(/.f64 %799 %842)
(/.f64 %620 (*.f64 %817 %30))
(/.f64 (*.f64 %770 %30) %864)
(/.f64 %1002 %119)
(/.f64 (*.f64 %30 %798) %855)
(/.f64 %567 %856)
(/.f64 %850 %842)
(/.f64 (*.f64 #s(literal 2 binary64) %798) %861)
(/.f64 %808 %119)
(/.f64 %853 %864)
(/.f64 %794 %847)
(/.f64 #s(literal -2 binary64) (*.f64 %817 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) %862)
(/.f64 %11 %787)
(/.f64 %434 (*.f64 %777 #s(literal 2 binary64)))
(/.f64 %434 %878)
(/.f64 %5 %777)
(/.f64 %798 %30)
(/.f64 %30 (*.f64 %817 t))
(/.f64 %30 (*.f64 %858 %30))
(/.f64 %30 %859)
(/.f64 %30 %865)
(/.f64 #s(literal -1 binary64) %817)
(/.f64 #s(literal 2 binary64) (*.f64 %858 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) %871)
(/.f64 %771 #s(literal 1 binary64))
%771
(/.f64 #s(literal 1 binary64) (/.f64 %777 %5))
(/.f64 #s(literal 1 binary64) (pow.f64 %771 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %817 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %858 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) %858)
(/.f64 t (*.f64 %858 t))
(/.f64 t %869)
(neg.f64 %1028)
(neg.f64 (*.f64 %771 #s(literal -1 binary64)))
(neg.f64 %813)
(fma.f64 (*.f64 #s(literal 1/2 binary64) %11) %798 %792)
(fma.f64 %971 #s(literal 1/2 binary64) %1117)
(fma.f64 %971 #s(literal 1/2 binary64) %1119)
(fma.f64 %971 #s(literal 1/2 binary64) %1121)
(fma.f64 %973 %798 %1117)
(fma.f64 %973 %798 %1119)
(fma.f64 %973 %798 %1121)
(fma.f64 %975 %976 %1117)
(fma.f64 %975 %976 %1119)
(fma.f64 %975 %976 %1121)
(fma.f64 %978 %979 %1117)
(fma.f64 %978 %979 %1119)
(fma.f64 %978 %979 %1121)
(fma.f64 %981 %775 %1117)
(fma.f64 %981 %775 %1119)
(fma.f64 %981 %775 %1121)
(fma.f64 %983 t %1117)
(fma.f64 %983 t %1119)
(fma.f64 %983 t %1121)
(fma.f64 %780 %985 %1117)
(fma.f64 %780 %985 %1119)
(fma.f64 %780 %985 %1121)
(fma.f64 %806 %131 %1117)
(fma.f64 %806 %131 %1119)
(fma.f64 %806 %131 %1121)
(fma.f64 %988 %790 %1117)
(fma.f64 %988 %790 %1119)
(fma.f64 %988 %790 %1121)
(fma.f64 %193 %990 %1117)
(fma.f64 %193 %990 %1119)
(fma.f64 %193 %990 %1121)
(fma.f64 %992 %788 %1117)
(fma.f64 %992 %788 %1119)
(fma.f64 %992 %788 %1121)
(fma.f64 %994 %995 %1117)
(fma.f64 %994 %995 %1119)
(fma.f64 %994 %995 %1121)
(fma.f64 %994 %788 %1117)
(fma.f64 %994 %788 %1119)
(fma.f64 %994 %788 %1121)
(fma.f64 %985 %838 %1117)
(fma.f64 %985 %838 %1119)
(fma.f64 %985 %838 %1121)
(fma.f64 %999 %1000 %1117)
(fma.f64 %999 %1000 %1119)
(fma.f64 %999 %1000 %1121)
(fma.f64 %999 %798 %792)
(fma.f64 %1002 %131 %1117)
(fma.f64 %1002 %131 %1119)
(fma.f64 %1002 %131 %1121)
(fma.f64 %792 #s(literal 2 binary64) %1117)
(fma.f64 %792 #s(literal 2 binary64) %1119)
(fma.f64 %792 #s(literal 2 binary64) %1121)
(fma.f64 %792 #s(literal 1 binary64) %792)
(fma.f64 %131 %806 %1117)
(fma.f64 %131 %806 %1119)
(fma.f64 %131 %806 %1121)
(fma.f64 %131 %770 %792)
(fma.f64 #s(literal -2 binary64) %1006 %1117)
(fma.f64 #s(literal -2 binary64) %1006 %1119)
(fma.f64 #s(literal -2 binary64) %1006 %1121)
(fma.f64 #s(literal -2 binary64) %1008 %1117)
(fma.f64 #s(literal -2 binary64) %1008 %1119)
(fma.f64 #s(literal -2 binary64) %1008 %1121)
(fma.f64 #s(literal -1/2 binary64) %813 %792)
(fma.f64 %11 %1010 %1117)
(fma.f64 %11 %1010 %1119)
(fma.f64 %11 %1010 %1121)
(fma.f64 %11 %1012 %1117)
(fma.f64 %11 %1012 %1119)
(fma.f64 %11 %1012 %1121)
(fma.f64 %11 %820 %1117)
(fma.f64 %11 %820 %1119)
(fma.f64 %11 %820 %1121)
(fma.f64 %11 %798 %1117)
(fma.f64 %11 %798 %1119)
(fma.f64 %11 %798 %1121)
(fma.f64 %813 #s(literal -1 binary64) %1117)
(fma.f64 %813 #s(literal -1 binary64) %1119)
(fma.f64 %813 #s(literal -1 binary64) %1121)
(fma.f64 %801 %434 %1117)
(fma.f64 %801 %434 %1119)
(fma.f64 %801 %434 %1121)
(fma.f64 %801 %5 %792)
(fma.f64 %434 %1018 %1117)
(fma.f64 %434 %1018 %1119)
(fma.f64 %434 %1018 %1121)
(fma.f64 %434 %801 %1117)
(fma.f64 %434 %801 %1119)
(fma.f64 %434 %801 %1121)
(fma.f64 #s(literal 1/2 binary64) %1021 %1117)
(fma.f64 #s(literal 1/2 binary64) %1021 %1119)
(fma.f64 #s(literal 1/2 binary64) %1021 %1121)
(fma.f64 #s(literal 1/2 binary64) %1023 %1117)
(fma.f64 #s(literal 1/2 binary64) %1023 %1119)
(fma.f64 #s(literal 1/2 binary64) %1023 %1121)
(fma.f64 #s(literal 1/2 binary64) %785 %1117)
(fma.f64 #s(literal 1/2 binary64) %785 %1119)
(fma.f64 #s(literal 1/2 binary64) %785 %1121)
(fma.f64 #s(literal 1/2 binary64) %771 %792)
(fma.f64 %5 %801 %792)
(fma.f64 %5 %770 %1117)
(fma.f64 %5 %770 %1119)
(fma.f64 %5 %770 %1121)
(fma.f64 %798 %11 %1117)
(fma.f64 %798 %11 %1119)
(fma.f64 %798 %11 %1121)
(fma.f64 #s(literal -1 binary64) %1028 %1117)
(fma.f64 #s(literal -1 binary64) %1028 %1119)
(fma.f64 #s(literal -1 binary64) %1028 %1121)
(fma.f64 #s(literal -1 binary64) %813 %1117)
(fma.f64 #s(literal -1 binary64) %813 %1119)
(fma.f64 #s(literal -1 binary64) %813 %1121)
(fma.f64 #s(literal 2 binary64) %792 %1117)
(fma.f64 #s(literal 2 binary64) %792 %1119)
(fma.f64 #s(literal 2 binary64) %792 %1121)
(fma.f64 %771 #s(literal 1/2 binary64) %792)
(fma.f64 %771 #s(literal 1 binary64) %1117)
(fma.f64 %771 #s(literal 1 binary64) %1119)
(fma.f64 %771 #s(literal 1 binary64) %1121)
(fma.f64 %770 %5 %1117)
(fma.f64 %770 %5 %1119)
(fma.f64 %770 %5 %1121)
(fma.f64 #s(literal 1 binary64) %1034 %1117)
(fma.f64 #s(literal 1 binary64) %1034 %1119)
(fma.f64 #s(literal 1 binary64) %1034 %1121)
(fma.f64 #s(literal 1 binary64) %792 %792)
(fma.f64 #s(literal 1 binary64) %771 %1117)
(fma.f64 #s(literal 1 binary64) %771 %1119)
(fma.f64 #s(literal 1 binary64) %771 %1121)
(fma.f64 t %1037 %1117)
(fma.f64 t %1037 %1119)
(fma.f64 t %1037 %1121)
(fma.f64 t %1039 %1117)
(fma.f64 t %1039 %1119)
(fma.f64 t %1039 %1121)
(fma.f64 t %983 %1117)
(fma.f64 t %983 %1119)
(fma.f64 t %983 %1121)
(+.f64 %792 %792)
(+.f64 %771 %1117)
(+.f64 %771 %1119)
(+.f64 %771 %1121)
%773
%776
%779
%781
%784
%786
%789
%791
%793
%795
%797
%800
%803
%805
%807
%809
%810
%811
%812
%814
%816
%819
%821
%822
%824
%826
%827
%828
%829
%830
%831
%832
%833
%770
%835
%837
%839
%840
%843
%845
%848
%849
%851
%852
%854
%857
%860
%863
%866
%868
%870
%872
%873
%874
%875
%876
%877
%879
%880
%882
%883
%884
%885
%887
%889
%891
%892
%893
%894
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
(*.f64 #s(literal 1 binary64) %1262)
(pow.f64 %1262 #s(literal 1 binary64))
%1262
(/.f64 #s(literal 1 binary64) (pow.f64 %1262 #s(literal -1 binary64)))