%3 = (*.f64 y #s(literal 2 binary64))
%5 = (*.f64 %3 z)
%6 = (*.f64 z #s(literal 2 binary64))
%7 = (*.f64 %6 z)
%9 = (*.f64 y t)
%10 = (-.f64 %7 %9)
%11 = (/.f64 %5 %10)
x
y
#s(literal 2 binary64)
%3
z
%5
%6
%7
t
%9
%10
%11
(-.f64 x %11)

%4 = (*.f64 y #s(literal 4 binary64))
%7 = (+.f64 y y)
%8 = (*.f64 %7 #s(literal 2 binary64))
%10 = (*.f64 #s(literal 2 binary64) %7)
%12 = (*.f64 #s(literal 1/2 binary64) y)
%16 = (neg.f64 y)
%18 = (*.f64 #s(literal 4 binary64) y)
%21 = (fma.f64 #s(literal 2 binary64) y %7)
%35 = (*.f64 #s(literal -2 binary64) y)
%38 = (*.f64 %7 #s(literal 0 binary64))
%40 = (*.f64 #s(literal 0 binary64) %7)
%72 = (*.f64 z y)
%73 = (*.f64 #s(literal -2 binary64) %72)
%74 = (*.f64 %73 #s(literal -2 binary64))
%76 = (*.f64 #s(literal 1/2 binary64) z)
%78 = (+.f64 z z)
%79 = (*.f64 %78 #s(literal 2 binary64))
%81 = (*.f64 %72 #s(literal 1/2 binary64))
%83 = (*.f64 %73 #s(literal 2 binary64))
%86 = (neg.f64 z)
%87 = (*.f64 %16 %86)
%89 = (*.f64 %86 %16)
%91 = (*.f64 %72 #s(literal 4 binary64))
%93 = (*.f64 %86 y)
%95 = (*.f64 #s(literal 1/2 binary64) %72)
%97 = (*.f64 %72 #s(literal -1 binary64))
%101 = (*.f64 #s(literal 4 binary64) %72)
%104 = (*.f64 #s(literal -2 binary64) z)
%110 = (*.f64 z %7)
%112 = (*.f64 %16 #s(literal -1 binary64))
%116 = (*.f64 %35 #s(literal -1 binary64))
%118 = (*.f64 %86 #s(literal -1 binary64))
%121 = (*.f64 %76 %7)
%123 = (*.f64 %12 %78)
%125 = (*.f64 %93 #s(literal -1 binary64))
%129 = (*.f64 %104 #s(literal -1 binary64))
%137 = (*.f64 %110 #s(literal 0 binary64))
%139 = (*.f64 #s(literal 0 binary64) %110)
%233 = (*.f64 z #s(literal 4 binary64))
%236 = (*.f64 #s(literal 2 binary64) %78)
%241 = (*.f64 #s(literal 4 binary64) z)
%244 = (fma.f64 z #s(literal 2 binary64) %78)
%257 = (*.f64 %78 #s(literal 0 binary64))
%259 = (*.f64 #s(literal 0 binary64) %78)
%290 = (*.f64 z z)
%291 = (*.f64 %290 #s(literal 4 binary64))
%293 = (fabs.f64 z)
%294 = (*.f64 #s(literal 2 binary64) %293)
%297 = (*.f64 %78 z)
%298 = (*.f64 %297 #s(literal 2 binary64))
%300 = (*.f64 %290 #s(literal 1/2 binary64))
%302 = (*.f64 %78 %78)
%304 = (*.f64 %86 z)
%306 = (*.f64 #s(literal 1/2 binary64) %290)
%309 = (*.f64 %293 #s(literal 2 binary64))
%311 = (+.f64 %293 %293)
%314 = (*.f64 #s(literal 4 binary64) %290)
%321 = (*.f64 %76 %78)
%328 = (*.f64 #s(literal -2 binary64) %290)
%330 = (*.f64 %297 #s(literal 0 binary64))
%332 = (*.f64 #s(literal 0 binary64) %297)
%347 = (fabs.f64 %293)
%349 = (neg.f64 %293)
%355 = (*.f64 %76 %76)
%387 = (*.f64 %76 z)
%407 = (neg.f64 t)
%409 = (*.f64 t y)
%423 = (*.f64 %16 t)
%425 = (-.f64 %297 %409)
%427 = (fma.f64 #s(literal -2 binary64) %290 %409)
%428 = (/.f64 #s(literal -1 binary64) %427)
%442 = (fma.f64 z z %423)
%444 = (-.f64 %290 %409)
%511 = (/.f64 z %425)
%512 = (*.f64 %511 y)
%517 = (/.f64 %7 %425)
%522 = (/.f64 %78 %425)
%527 = (/.f64 #s(literal 1 binary64) %427)
%530 = (*.f64 %527 %86)
%532 = (*.f64 %527 %16)
%536 = (*.f64 %527 %35)
%538 = (*.f64 %527 %93)
%540 = (*.f64 %527 #s(literal 2 binary64))
%542 = (/.f64 #s(literal 1/2 binary64) %427)
%544 = (*.f64 %527 %72)
%546 = (*.f64 %527 y)
%548 = (*.f64 %428 %16)
%550 = (/.f64 #s(literal -1/2 binary64) %427)
%552 = (/.f64 #s(literal -2 binary64) %427)
%554 = (/.f64 #s(literal 2 binary64) %427)
%556 = (*.f64 #s(literal 1/2 binary64) %512)
%558 = (/.f64 %7 %427)
%560 = (/.f64 %78 %427)
%562 = (/.f64 z %427)
%563 = (*.f64 %562 y)
%565 = (/.f64 y %425)
%573 = (/.f64 %110 %425)
%574 = (*.f64 #s(literal 2 binary64) %573)
%577 = (/.f64 y %427)
%582 = (*.f64 %558 z)
%616 = (*.f64 %427 %427)
%620 = (*.f64 %427 %425)
%624 = (*.f64 %425 %427)
%643 = (*.f64 %425 %110)
%681 = (*.f64 z x)
%682 = (-.f64 y %681)
%683 = (*.f64 %409 x)
%684 = (fma.f64 %78 %682 %683)
%687 = (neg.f64 %684)
%690 = (*.f64 %684 #s(literal 1 binary64))
%692 = (*.f64 %684 #s(literal -1 binary64))
%694 = (*.f64 x #s(literal 1 binary64))
%695 = (fma.f64 %694 %427 %110)
%697 = (fma.f64 %694 %425 %73)
%699 = (*.f64 %425 x)
%700 = (fma.f64 %699 %427 %643)
%703 = (*.f64 %427 %110)
%704 = (fma.f64 x %616 %703)
%708 = (-.f64 %573 x)
%710 = (*.f64 #s(literal 1 binary64) %687)
%714 = (fma.f64 %558 z x)
%729 = (*.f64 %427 x)
%742 = (*.f64 %427 %73)
%784 = (*.f64 %527 %91)
%785 = (*.f64 %428 %699)
%802 = (*.f64 %428 %93)
%818 = (*.f64 %428 #s(literal -2 binary64))
%828 = (*.f64 x z)
%829 = (*.f64 %828 z)
%831 = (fma.f64 (*.f64 x t) %577 %582)
%834 = (-.f64 (/.f64 %683 %427) %573)
%837 = (*.f64 %16 (fma.f64 t x %78))
%838 = (*.f64 %837 %428)
%840 = (/.f64 %837 %425)
%842 = (*.f64 x %78)
%851 = (*.f64 x #s(literal 2 binary64))
%852 = (/.f64 %290 %425)
%872 = (*.f64 #s(literal 1/2 binary64) %563)
%894 = (/.f64 (+.f64 x x) %425)
%905 = (*.f64 #s(literal 4 binary64) %563)
%909 = (*.f64 %297 x)
%923 = (neg.f64 x)
%951 = (*.f64 %428 %837)
%966 = (/.f64 x %425)
%972 = (*.f64 #s(literal 1/2 binary64) %558)
%976 = (/.f64 %681 %425)
%988 = (/.f64 (*.f64 %78 x) %425)
%996 = (*.f64 #s(literal 1/2 binary64) %560)
%1003 = (*.f64 %542 %110)
%1007 = (*.f64 %550 %73)
%1011 = (*.f64 %76 %558)
%1015 = (*.f64 %12 %560)
%1020 = (/.f64 (*.f64 %290 x) %425)
%1031 = (/.f64 %297 %425)
%1068 = (*.f64 %828 %522)
x
y
#s(literal 2 binary64)
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %8 #s(literal 1/2 binary64))
(*.f64 %10 #s(literal 1/2 binary64))
(*.f64 %12 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %12)
(*.f64 #s(literal -2 binary64) %16)
(*.f64 #s(literal 1/2 binary64) %18)
(*.f64 #s(literal 1/2 binary64) %10)
(*.f64 #s(literal 1/2 binary64) %21)
(*.f64 %16 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %7)
(*.f64 %7 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 %8 #s(literal 2 binary64))
(/.f64 %10 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %35)
(fma.f64 %4 #s(literal 1/2 binary64) %38)
(fma.f64 %4 #s(literal 1/2 binary64) %40)
(fma.f64 %8 #s(literal 1/2 binary64) %38)
(fma.f64 %8 #s(literal 1/2 binary64) %40)
(fma.f64 %10 #s(literal 1/2 binary64) %38)
(fma.f64 %10 #s(literal 1/2 binary64) %40)
(fma.f64 %12 #s(literal 4 binary64) %38)
(fma.f64 %12 #s(literal 4 binary64) %40)
(fma.f64 #s(literal 4 binary64) %12 %38)
(fma.f64 #s(literal 4 binary64) %12 %40)
(fma.f64 #s(literal -2 binary64) %16 %38)
(fma.f64 #s(literal -2 binary64) %16 %40)
(fma.f64 #s(literal 1/2 binary64) %18 %38)
(fma.f64 #s(literal 1/2 binary64) %18 %40)
(fma.f64 #s(literal 1/2 binary64) %10 %38)
(fma.f64 #s(literal 1/2 binary64) %10 %40)
(fma.f64 #s(literal 1/2 binary64) %21 %38)
(fma.f64 #s(literal 1/2 binary64) %21 %40)
(fma.f64 %16 #s(literal -2 binary64) %38)
(fma.f64 %16 #s(literal -2 binary64) %40)
(fma.f64 #s(literal 1 binary64) %7 %38)
(fma.f64 #s(literal 1 binary64) %7 %40)
(fma.f64 %7 #s(literal 1 binary64) %38)
(fma.f64 %7 #s(literal 1 binary64) %40)
(fma.f64 #s(literal 2 binary64) y %38)
(fma.f64 #s(literal 2 binary64) y %40)
(fma.f64 y #s(literal 2 binary64) %38)
(fma.f64 y #s(literal 2 binary64) %40)
(-.f64 y %16)
(+.f64 %7 %38)
(+.f64 %7 %40)
%7
z
(*.f64 %74 #s(literal 1/2 binary64))
(*.f64 %8 %76)
(*.f64 %79 %12)
(*.f64 %81 #s(literal 4 binary64))
(*.f64 %83 #s(literal -1/2 binary64))
(*.f64 %87 #s(literal 2 binary64))
(*.f64 %89 #s(literal 2 binary64))
(*.f64 %91 #s(literal 1/2 binary64))
(*.f64 %93 #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) %95)
(*.f64 #s(literal -2 binary64) %97)
(*.f64 #s(literal -2 binary64) %93)
(*.f64 %72 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %101)
(*.f64 #s(literal 1/2 binary64) %91)
(*.f64 %104 %16)
(*.f64 %35 %86)
(*.f64 %86 %35)
(*.f64 %16 %104)
(*.f64 %73 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %110)
(*.f64 %78 %112)
(*.f64 %78 y)
(*.f64 %110 #s(literal 1 binary64))
(*.f64 z %116)
%110
(*.f64 %7 %118)
(*.f64 %7 z)
(*.f64 #s(literal 2 binary64) %121)
(*.f64 #s(literal 2 binary64) %123)
(*.f64 #s(literal 2 binary64) %125)
(*.f64 #s(literal 2 binary64) %87)
(*.f64 #s(literal 2 binary64) %72)
(*.f64 y %129)
(*.f64 y %78)
(pow.f64 %110 #s(literal 1 binary64))
(/.f64 %91 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %110 #s(literal -1 binary64)))
(neg.f64 %73)
(fma.f64 %74 #s(literal 1/2 binary64) %137)
(fma.f64 %74 #s(literal 1/2 binary64) %139)
(fma.f64 %8 %76 %137)
(fma.f64 %8 %76 %139)
(fma.f64 %79 %12 %137)
(fma.f64 %79 %12 %139)
(fma.f64 %81 #s(literal 4 binary64) %137)
(fma.f64 %81 #s(literal 4 binary64) %139)
(fma.f64 %81 #s(literal 2 binary64) %72)
(fma.f64 %83 #s(literal -1/2 binary64) %137)
(fma.f64 %83 #s(literal -1/2 binary64) %139)
(fma.f64 %87 #s(literal 2 binary64) %137)
(fma.f64 %87 #s(literal 2 binary64) %139)
(fma.f64 %89 #s(literal 2 binary64) %137)
(fma.f64 %89 #s(literal 2 binary64) %139)
(fma.f64 %91 #s(literal 1/2 binary64) %137)
(fma.f64 %91 #s(literal 1/2 binary64) %139)
(fma.f64 %93 #s(literal -2 binary64) %137)
(fma.f64 %93 #s(literal -2 binary64) %139)
(fma.f64 #s(literal 4 binary64) %95 %137)
(fma.f64 #s(literal 4 binary64) %95 %139)
(fma.f64 #s(literal -2 binary64) %97 %137)
(fma.f64 #s(literal -2 binary64) %97 %139)
(fma.f64 #s(literal -2 binary64) %93 %137)
(fma.f64 #s(literal -2 binary64) %93 %139)
(fma.f64 %72 #s(literal 1 binary64) %72)
(fma.f64 %72 #s(literal 2 binary64) %137)
(fma.f64 %72 #s(literal 2 binary64) %139)
(fma.f64 #s(literal 1/2 binary64) %101 %137)
(fma.f64 #s(literal 1/2 binary64) %101 %139)
(fma.f64 #s(literal 1/2 binary64) %91 %137)
(fma.f64 #s(literal 1/2 binary64) %91 %139)
(fma.f64 #s(literal 1/2 binary64) %110 %72)
(fma.f64 %104 %16 %137)
(fma.f64 %104 %16 %139)
(fma.f64 %35 %86 %137)
(fma.f64 %35 %86 %139)
(fma.f64 %86 %35 %137)
(fma.f64 %86 %35 %139)
(fma.f64 %86 %16 %89)
(fma.f64 %16 %104 %137)
(fma.f64 %16 %104 %139)
(fma.f64 %16 %86 %87)
(fma.f64 %73 #s(literal -1 binary64) %137)
(fma.f64 %73 #s(literal -1 binary64) %139)
(fma.f64 #s(literal 1 binary64) %72 %72)
(fma.f64 #s(literal 1 binary64) %110 %137)
(fma.f64 #s(literal 1 binary64) %110 %139)
(fma.f64 %78 %112 %137)
(fma.f64 %78 %112 %139)
(fma.f64 %78 %12 %72)
(fma.f64 %78 y %137)
(fma.f64 %78 y %139)
(fma.f64 %110 #s(literal 1/2 binary64) %72)
(fma.f64 %110 #s(literal 1 binary64) %137)
(fma.f64 %110 #s(literal 1 binary64) %139)
(fma.f64 z %116 %137)
(fma.f64 z %116 %139)
(fma.f64 z %7 %137)
(fma.f64 z %7 %139)
(fma.f64 z y %72)
(fma.f64 %7 %118 %137)
(fma.f64 %7 %118 %139)
(fma.f64 %7 %76 %72)
(fma.f64 %7 z %137)
(fma.f64 %7 z %139)
(fma.f64 #s(literal 2 binary64) %121 %137)
(fma.f64 #s(literal 2 binary64) %121 %139)
(fma.f64 #s(literal 2 binary64) %123 %137)
(fma.f64 #s(literal 2 binary64) %123 %139)
(fma.f64 #s(literal 2 binary64) (*.f64 %76 y) %72)
(fma.f64 #s(literal 2 binary64) (*.f64 %12 z) %72)
(fma.f64 #s(literal 2 binary64) %125 %137)
(fma.f64 #s(literal 2 binary64) %125 %139)
(fma.f64 #s(literal 2 binary64) %95 %72)
(fma.f64 #s(literal 2 binary64) %87 %137)
(fma.f64 #s(literal 2 binary64) %87 %139)
(fma.f64 #s(literal 2 binary64) %72 %137)
(fma.f64 #s(literal 2 binary64) %72 %139)
(fma.f64 y %129 %137)
(fma.f64 y %129 %139)
(fma.f64 y %78 %137)
(fma.f64 y %78 %139)
(fma.f64 y z %72)
(-.f64 %72 (*.f64 #s(literal -1 binary64) %72))
(-.f64 %72 %93)
(+.f64 %87 %87)
(+.f64 %89 %89)
(+.f64 %72 %72)
(+.f64 %110 %137)
(+.f64 %110 %139)
(*.f64 %233 #s(literal 1/2 binary64))
(*.f64 %79 #s(literal 1/2 binary64))
(*.f64 %236 #s(literal 1/2 binary64))
(*.f64 %76 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %76)
(*.f64 #s(literal -2 binary64) %86)
(*.f64 #s(literal 1/2 binary64) %241)
(*.f64 #s(literal 1/2 binary64) %236)
(*.f64 #s(literal 1/2 binary64) %244)
(*.f64 %86 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %78)
(*.f64 %78 #s(literal 1 binary64))
(*.f64 z #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) z)
(pow.f64 %78 #s(literal 1 binary64))
(/.f64 %79 #s(literal 2 binary64))
(/.f64 %236 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %78 #s(literal -1 binary64)))
(neg.f64 %104)
(fma.f64 %233 #s(literal 1/2 binary64) %257)
(fma.f64 %233 #s(literal 1/2 binary64) %259)
(fma.f64 %79 #s(literal 1/2 binary64) %257)
(fma.f64 %79 #s(literal 1/2 binary64) %259)
(fma.f64 %236 #s(literal 1/2 binary64) %257)
(fma.f64 %236 #s(literal 1/2 binary64) %259)
(fma.f64 %76 #s(literal 4 binary64) %257)
(fma.f64 %76 #s(literal 4 binary64) %259)
(fma.f64 #s(literal 4 binary64) %76 %257)
(fma.f64 #s(literal 4 binary64) %76 %259)
(fma.f64 #s(literal -2 binary64) %86 %257)
(fma.f64 #s(literal -2 binary64) %86 %259)
(fma.f64 #s(literal 1/2 binary64) %241 %257)
(fma.f64 #s(literal 1/2 binary64) %241 %259)
(fma.f64 #s(literal 1/2 binary64) %236 %257)
(fma.f64 #s(literal 1/2 binary64) %236 %259)
(fma.f64 #s(literal 1/2 binary64) %244 %257)
(fma.f64 #s(literal 1/2 binary64) %244 %259)
(fma.f64 %86 #s(literal -2 binary64) %257)
(fma.f64 %86 #s(literal -2 binary64) %259)
(fma.f64 #s(literal 1 binary64) %78 %257)
(fma.f64 #s(literal 1 binary64) %78 %259)
(fma.f64 %78 #s(literal 1 binary64) %257)
(fma.f64 %78 #s(literal 1 binary64) %259)
(fma.f64 z #s(literal 2 binary64) %257)
(fma.f64 z #s(literal 2 binary64) %259)
(fma.f64 #s(literal 2 binary64) z %257)
(fma.f64 #s(literal 2 binary64) z %259)
(-.f64 z %86)
(+.f64 %78 %257)
(+.f64 %78 %259)
%78
(*.f64 %291 #s(literal 1/2 binary64))
(*.f64 %294 %293)
(*.f64 %79 %76)
(*.f64 %298 #s(literal 1/2 binary64))
(*.f64 %300 #s(literal 4 binary64))
(*.f64 %302 #s(literal 1/2 binary64))
(*.f64 %304 #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) %306)
(*.f64 #s(literal -2 binary64) %304)
(*.f64 %293 %309)
(*.f64 %293 %311)
(*.f64 %290 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %314)
(*.f64 %104 %86)
(*.f64 %86 %104)
(*.f64 #s(literal 1 binary64) %297)
(*.f64 %297 #s(literal 1 binary64))
%297
(*.f64 z %78)
(*.f64 #s(literal 2 binary64) %321)
(*.f64 #s(literal 2 binary64) %290)
(pow.f64 %297 #s(literal 1 binary64))
(/.f64 %298 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %297 #s(literal -1 binary64)))
(neg.f64 %328)
(fma.f64 %291 #s(literal 1/2 binary64) %330)
(fma.f64 %291 #s(literal 1/2 binary64) %332)
(fma.f64 %294 %293 %330)
(fma.f64 %294 %293 %332)
(fma.f64 %79 %76 %330)
(fma.f64 %79 %76 %332)
(fma.f64 %298 #s(literal 1/2 binary64) %330)
(fma.f64 %298 #s(literal 1/2 binary64) %332)
(fma.f64 %300 #s(literal 4 binary64) %330)
(fma.f64 %300 #s(literal 4 binary64) %332)
(fma.f64 %300 #s(literal 2 binary64) %290)
(fma.f64 %302 #s(literal 1/4 binary64) %290)
(fma.f64 %302 #s(literal 1/2 binary64) %330)
(fma.f64 %302 #s(literal 1/2 binary64) %332)
(fma.f64 %347 %347 %290)
(fma.f64 %349 %349 %290)
(fma.f64 %304 #s(literal -2 binary64) %330)
(fma.f64 %304 #s(literal -2 binary64) %332)
(fma.f64 #s(literal 4 binary64) %306 %330)
(fma.f64 #s(literal 4 binary64) %306 %332)
(fma.f64 #s(literal 4 binary64) %355 %290)
(fma.f64 #s(literal -2 binary64) %304 %330)
(fma.f64 #s(literal -2 binary64) %304 %332)
(fma.f64 %293 %309 %330)
(fma.f64 %293 %309 %332)
(fma.f64 %293 %311 %330)
(fma.f64 %293 %311 %332)
(fma.f64 %293 %293 %290)
(fma.f64 %290 #s(literal 1 binary64) %290)
(fma.f64 %290 #s(literal 2 binary64) %330)
(fma.f64 %290 #s(literal 2 binary64) %332)
(fma.f64 #s(literal 1/2 binary64) %314 %330)
(fma.f64 #s(literal 1/2 binary64) %314 %332)
(fma.f64 #s(literal 1/2 binary64) %297 %290)
(fma.f64 %104 %86 %330)
(fma.f64 %104 %86 %332)
(fma.f64 %86 %104 %330)
(fma.f64 %86 %104 %332)
(fma.f64 %86 %86 %290)
(fma.f64 #s(literal 1 binary64) %290 %290)
(fma.f64 #s(literal 1 binary64) %297 %330)
(fma.f64 #s(literal 1 binary64) %297 %332)
(fma.f64 %297 #s(literal 1/2 binary64) %290)
(fma.f64 %297 #s(literal 1 binary64) %330)
(fma.f64 %297 #s(literal 1 binary64) %332)
(fma.f64 %78 %76 %290)
(fma.f64 %78 z %330)
(fma.f64 %78 z %332)
(fma.f64 z %78 %330)
(fma.f64 z %78 %332)
(fma.f64 z z %290)
(fma.f64 #s(literal 2 binary64) %387 %290)
(fma.f64 #s(literal 2 binary64) %321 %330)
(fma.f64 #s(literal 2 binary64) %321 %332)
(fma.f64 #s(literal 2 binary64) %306 %290)
(fma.f64 #s(literal 2 binary64) %290 %330)
(fma.f64 #s(literal 2 binary64) %290 %332)
(-.f64 %290 (*.f64 #s(literal -1 binary64) %290))
(-.f64 %290 %304)
(+.f64 %290 %290)
(+.f64 %297 %330)
(+.f64 %297 %332)
t
(*.f64 (*.f64 t #s(literal 1 binary64)) y)
(*.f64 (*.f64 t %7) #s(literal 1/2 binary64))
(*.f64 (*.f64 t #s(literal 2 binary64)) %12)
(*.f64 %407 %16)
(*.f64 %409 #s(literal 1 binary64))
(*.f64 %16 %407)
(*.f64 #s(literal 1 binary64) %409)
%409
(*.f64 %7 (*.f64 #s(literal 1/2 binary64) t))
(*.f64 #s(literal 2 binary64) (*.f64 %12 t))
(*.f64 y (*.f64 #s(literal 1 binary64) t))
(*.f64 y t)
(pow.f64 %409 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %409 #s(literal -1 binary64)))
(neg.f64 %423)
(pow.f64 %425 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %428)
(neg.f64 %427)
(fma.f64 (*.f64 %407 #s(literal 1 binary64)) y %297)
(fma.f64 (*.f64 %407 %7) #s(literal 1/2 binary64) %297)
(fma.f64 (*.f64 %407 #s(literal 2 binary64)) %12 %297)
(fma.f64 %291 #s(literal 1/2 binary64) %423)
(fma.f64 %294 %293 %423)
(fma.f64 %79 %76 %423)
(fma.f64 %298 #s(literal 1/2 binary64) %423)
(fma.f64 %300 #s(literal 4 binary64) %423)
(fma.f64 %300 #s(literal 2 binary64) %442)
(fma.f64 %300 #s(literal 2 binary64) %444)
(fma.f64 %302 #s(literal 1/4 binary64) %442)
(fma.f64 %302 #s(literal 1/4 binary64) %444)
(fma.f64 %302 #s(literal 1/2 binary64) %423)
(fma.f64 %347 %347 %442)
(fma.f64 %347 %347 %444)
(fma.f64 %349 %349 %442)
(fma.f64 %349 %349 %444)
(fma.f64 %304 #s(literal -2 binary64) %423)
(fma.f64 #s(literal 4 binary64) %306 %423)
(fma.f64 #s(literal 4 binary64) %355 %442)
(fma.f64 #s(literal 4 binary64) %355 %444)
(fma.f64 #s(literal -2 binary64) %304 %423)
(fma.f64 %293 %309 %423)
(fma.f64 %293 %311 %423)
(fma.f64 %293 %293 %442)
(fma.f64 %293 %293 %444)
(fma.f64 %290 #s(literal 1 binary64) %442)
(fma.f64 %290 #s(literal 1 binary64) %444)
(fma.f64 %290 #s(literal 2 binary64) %423)
(fma.f64 #s(literal 1/2 binary64) %314 %423)
(fma.f64 #s(literal 1/2 binary64) %297 %442)
(fma.f64 #s(literal 1/2 binary64) %297 %444)
(fma.f64 %104 %86 %423)
(fma.f64 %407 y %297)
(fma.f64 %86 %104 %423)
(fma.f64 %86 %86 %442)
(fma.f64 %86 %86 %444)
(fma.f64 %423 #s(literal 1 binary64) %297)
(fma.f64 %16 t %297)
(fma.f64 #s(literal 1 binary64) %290 %442)
(fma.f64 #s(literal 1 binary64) %290 %444)
(fma.f64 #s(literal 1 binary64) %423 %297)
(fma.f64 #s(literal 1 binary64) %297 %423)
(fma.f64 t %16 %297)
(fma.f64 %297 #s(literal 1/2 binary64) %442)
(fma.f64 %297 #s(literal 1/2 binary64) %444)
(fma.f64 %297 #s(literal 1 binary64) %423)
(fma.f64 %78 %76 %442)
(fma.f64 %78 %76 %444)
(fma.f64 %78 z %423)
(fma.f64 z %78 %423)
(fma.f64 z z %442)
(fma.f64 z z %444)
(fma.f64 %7 (*.f64 #s(literal 1/2 binary64) %407) %297)
(fma.f64 #s(literal 2 binary64) %387 %442)
(fma.f64 #s(literal 2 binary64) %387 %444)
(fma.f64 #s(literal 2 binary64) (*.f64 %12 %407) %297)
(fma.f64 #s(literal 2 binary64) %321 %423)
(fma.f64 #s(literal 2 binary64) %306 %442)
(fma.f64 #s(literal 2 binary64) %306 %444)
(fma.f64 #s(literal 2 binary64) %290 %423)
(fma.f64 y (*.f64 #s(literal 1 binary64) %407) %297)
(fma.f64 y %407 %297)
(-.f64 (-.f64 %423 %304) %304)
(-.f64 %423 %328)
%425
(+.f64 (fma.f64 %407 y %290) %290)
(+.f64 %290 %442)
(+.f64 %290 %444)
(+.f64 %423 %297)
(+.f64 %297 %423)
(*.f64 (*.f64 %512 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 %512 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 (*.f64 %517 %78) #s(literal 1/2 binary64))
(*.f64 (*.f64 %517 #s(literal 2 binary64)) %76)
(*.f64 (*.f64 %522 %7) #s(literal 1/2 binary64))
(*.f64 (*.f64 %522 #s(literal 2 binary64)) %12)
(*.f64 (*.f64 %527 #s(literal -2 binary64)) %72)
(*.f64 %530 %7)
(*.f64 %532 %78)
(*.f64 (*.f64 %428 %91) #s(literal 1/2 binary64))
(*.f64 %536 z)
(*.f64 %538 #s(literal 2 binary64))
(*.f64 %540 %93)
(*.f64 %83 %542)
(*.f64 %544 #s(literal -2 binary64))
(*.f64 %546 %104)
(*.f64 %548 %104)
(*.f64 %91 %550)
(*.f64 %552 %72)
(*.f64 %93 %554)
(*.f64 #s(literal 4 binary64) %556)
(*.f64 %558 %86)
(*.f64 %560 %16)
(*.f64 #s(literal -2 binary64) %563)
(*.f64 %565 %78)
(*.f64 %72 %552)
(*.f64 %512 #s(literal 2 binary64))
(*.f64 %517 z)
(*.f64 %522 y)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %512))
(*.f64 #s(literal 1/2 binary64) %574)
(*.f64 %562 %35)
(*.f64 %104 %577)
(*.f64 %35 %562)
(*.f64 %527 %73)
(*.f64 %86 %558)
(*.f64 #s(literal -1 binary64) %582)
(*.f64 %511 %7)
(*.f64 %16 %560)
(*.f64 %428 %110)
(*.f64 %73 %527)
(*.f64 #s(literal 1 binary64) %573)
(*.f64 %573 #s(literal 1 binary64))
(*.f64 %78 (*.f64 #s(literal 1/2 binary64) %517))
(*.f64 %78 %565)
(*.f64 %110 %428)
(*.f64 z %517)
(*.f64 %7 %511)
(*.f64 #s(literal 2 binary64) (*.f64 %542 %73))
(*.f64 #s(literal 2 binary64) (*.f64 %550 %110))
(*.f64 #s(literal 2 binary64) (*.f64 %76 %517))
(*.f64 #s(literal 2 binary64) (*.f64 %12 %522))
(*.f64 #s(literal 2 binary64) %512)
(*.f64 y %522)
(pow.f64 %573 #s(literal 1 binary64))
(/.f64 %574 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %73) %425)
(/.f64 (fma.f64 %512 %427 %93) %427)
(/.f64 (fma.f64 %512 %425 %72) %425)
(/.f64 (fma.f64 %93 %427 (*.f64 %93 %427)) %616)
(/.f64 (fma.f64 %93 %425 (*.f64 %72 %427)) %620)
(/.f64 (fma.f64 %72 %427 (*.f64 %93 %425)) %624)
(/.f64 (fma.f64 %93 %427 (*.f64 %427 %93)) %616)
(/.f64 (fma.f64 %93 %425 (*.f64 %427 %72)) %620)
(/.f64 (fma.f64 %72 %427 (*.f64 %425 %93)) %624)
(/.f64 (fma.f64 %72 %425 (*.f64 %425 %72)) %616)
(/.f64 (*.f64 #s(literal 2 binary64) %73) (*.f64 #s(literal 2 binary64) %427))
(/.f64 %91 (*.f64 #s(literal 2 binary64) %425))
(/.f64 %643 %616)
(/.f64 %73 %427)
(/.f64 #s(literal 1 binary64) (pow.f64 %573 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %427 %73))
(/.f64 #s(literal 1 binary64) (/.f64 %425 %110))
%573
(neg.f64 %582)
(fma.f64 %97 %527 %512)
(fma.f64 %93 %527 %512)
(fma.f64 %565 z %512)
(fma.f64 %72 %428 %512)
(fma.f64 %512 #s(literal 1 binary64) %512)
(fma.f64 %522 %12 %512)
(fma.f64 #s(literal 1/2 binary64) %573 %512)
(fma.f64 %527 %93 %538)
(fma.f64 %86 %546 %512)
(fma.f64 #s(literal -1 binary64) %544 %512)
(fma.f64 %511 y %512)
(fma.f64 %16 %562 %512)
(fma.f64 %428 %72 %512)
(fma.f64 #s(literal 1 binary64) %512 %512)
(fma.f64 %573 #s(literal 1/2 binary64) %512)
(fma.f64 %110 %550 %512)
(fma.f64 z %565 %512)
(fma.f64 %7 (*.f64 #s(literal 1/2 binary64) %511) %512)
(fma.f64 #s(literal 2 binary64) %556 %512)
(fma.f64 #s(literal 2 binary64) (*.f64 %550 %72) %512)
(fma.f64 #s(literal 2 binary64) (*.f64 %12 %511) %512)
(fma.f64 y %511 %512)
(-.f64 %512 %563)
(+.f64 %538 %538)
(+.f64 %512 %512)
(*.f64 (*.f64 %684 #s(literal 2 binary64)) %542)
(*.f64 (*.f64 %687 #s(literal 2 binary64)) %550)
(*.f64 %690 %527)
(*.f64 %692 %428)
(*.f64 %695 %527)
(*.f64 %697 %428)
(*.f64 %700 (/.f64 #s(literal 1 binary64) %624))
(*.f64 %704 (/.f64 #s(literal 1 binary64) %616))
(*.f64 %684 %527)
(*.f64 #s(literal -1 binary64) %708)
(*.f64 %428 %710)
(*.f64 %428 %687)
(*.f64 %687 %428)
(*.f64 #s(literal 1 binary64) %714)
(*.f64 %714 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %550 %687))
(pow.f64 %714 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %687) %427)
(/.f64 (/.f64 %700 %425) %427)
(/.f64 (/.f64 %704 %425) %425)
(/.f64 %710 %425)
(/.f64 %690 %427)
(/.f64 %692 %425)
(/.f64 (fma.f64 %729 %425 (*.f64 %73 %427)) %620)
(/.f64 (fma.f64 %729 %427 (*.f64 %110 %427)) %616)
(/.f64 (fma.f64 x %616 (*.f64 %73 %425)) %616)
(/.f64 (fma.f64 %699 %427 (*.f64 %110 %425)) %624)
(/.f64 (fma.f64 %729 %425 %742) %620)
(/.f64 (fma.f64 %729 %427 %703) %616)
(/.f64 (-.f64 (*.f64 %729 %427) %742) %616)
(/.f64 (-.f64 (*.f64 %729 %425) %703) %620)
(/.f64 (neg.f64 %695) %425)
(/.f64 (neg.f64 %697) %427)
(/.f64 (neg.f64 %700) %616)
(/.f64 (neg.f64 %704) %624)
(/.f64 %695 %427)
(/.f64 %697 %425)
(/.f64 %700 %624)
(/.f64 %704 %616)
(/.f64 %684 %427)
(/.f64 %687 %425)
(/.f64 #s(literal 1 binary64) (/.f64 %427 %695))
(/.f64 #s(literal 1 binary64) (/.f64 %425 %697))
(/.f64 #s(literal 1 binary64) (/.f64 %624 %700))
(/.f64 #s(literal 1 binary64) (/.f64 %616 %704))
(/.f64 #s(literal 1 binary64) (pow.f64 %714 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %427 %684))
(/.f64 #s(literal 1 binary64) (/.f64 %425 %687))
(neg.f64 %708)
(fma.f64 (*.f64 %699 #s(literal 2 binary64)) %550 %582)
(fma.f64 %784 #s(literal 1/2 binary64) %785)
(fma.f64 %784 #s(literal 1/2 binary64) %694)
(fma.f64 %784 #s(literal 1/2 binary64) x)
(fma.f64 %530 %35 %785)
(fma.f64 %530 %35 %694)
(fma.f64 %530 %35 x)
(fma.f64 %532 %104 %785)
(fma.f64 %532 %104 %694)
(fma.f64 %532 %104 x)
(fma.f64 %536 %86 %785)
(fma.f64 %536 %86 %694)
(fma.f64 %536 %86 x)
(fma.f64 (*.f64 %699 #s(literal -1 binary64)) %527 %582)
(fma.f64 (*.f64 %699 #s(literal 1 binary64)) %428 %582)
(fma.f64 %802 #s(literal 2 binary64) %785)
(fma.f64 %802 #s(literal 2 binary64) %694)
(fma.f64 %802 #s(literal 2 binary64) x)
(fma.f64 %540 %72 %785)
(fma.f64 %540 %72 %694)
(fma.f64 %540 %72 x)
(fma.f64 %83 %550 %785)
(fma.f64 %83 %550 %694)
(fma.f64 %83 %550 x)
(fma.f64 %544 #s(literal 2 binary64) %785)
(fma.f64 %544 #s(literal 2 binary64) %694)
(fma.f64 %544 #s(literal 2 binary64) x)
(fma.f64 %546 %78 %785)
(fma.f64 %546 %78 %694)
(fma.f64 %546 %78 x)
(fma.f64 %818 %72 %785)
(fma.f64 %818 %72 %694)
(fma.f64 %818 %72 x)
(fma.f64 %548 %78 %785)
(fma.f64 %548 %78 %694)
(fma.f64 %548 %78 x)
(fma.f64 %91 %542 %785)
(fma.f64 %91 %542 %694)
(fma.f64 %91 %542 x)
(fma.f64 %829 %552 %831)
(fma.f64 %829 %552 %834)
(fma.f64 %829 %552 %838)
(fma.f64 %829 %552 %840)
(fma.f64 %842 %511 %831)
(fma.f64 %842 %511 %834)
(fma.f64 %842 %511 %838)
(fma.f64 %842 %511 %840)
(fma.f64 %828 %522 %831)
(fma.f64 %828 %522 %834)
(fma.f64 %828 %522 %838)
(fma.f64 %828 %522 %840)
(fma.f64 %851 %852 %831)
(fma.f64 %851 %852 %834)
(fma.f64 %851 %852 %838)
(fma.f64 %851 %852 %840)
(fma.f64 %554 %72 %785)
(fma.f64 %554 %72 %694)
(fma.f64 %554 %72 x)
(fma.f64 %577 %78 %785)
(fma.f64 %577 %78 %694)
(fma.f64 %577 %78 x)
(fma.f64 %563 #s(literal 2 binary64) %785)
(fma.f64 %563 #s(literal 2 binary64) %694)
(fma.f64 %563 #s(literal 2 binary64) x)
(fma.f64 %552 %93 %785)
(fma.f64 %552 %93 %694)
(fma.f64 %552 %93 x)
(fma.f64 %93 %552 %785)
(fma.f64 %93 %552 %694)
(fma.f64 %93 %552 x)
(fma.f64 #s(literal 4 binary64) %872 %785)
(fma.f64 #s(literal 4 binary64) %872 %694)
(fma.f64 #s(literal 4 binary64) %872 x)
(fma.f64 %558 z %785)
(fma.f64 %558 z %694)
%714
(fma.f64 %560 y %785)
(fma.f64 %560 y %694)
(fma.f64 %560 y x)
(fma.f64 #s(literal -2 binary64) %512 %785)
(fma.f64 #s(literal -2 binary64) %512 %694)
(fma.f64 #s(literal -2 binary64) %512 x)
(fma.f64 %565 %104 %785)
(fma.f64 %565 %104 %694)
(fma.f64 %565 %104 x)
(fma.f64 %72 %554 %785)
(fma.f64 %72 %554 %694)
(fma.f64 %72 %554 x)
(fma.f64 %512 #s(literal -2 binary64) %785)
(fma.f64 %512 #s(literal -2 binary64) %694)
(fma.f64 %512 #s(literal -2 binary64) x)
(fma.f64 %290 %894 %831)
(fma.f64 %290 %894 %834)
(fma.f64 %290 %894 %838)
(fma.f64 %290 %894 %840)
(fma.f64 %517 %86 %785)
(fma.f64 %517 %86 %694)
(fma.f64 %517 %86 x)
(fma.f64 %522 %16 %785)
(fma.f64 %522 %16 %694)
(fma.f64 %522 %16 x)
(fma.f64 #s(literal 1/2 binary64) %905 %785)
(fma.f64 #s(literal 1/2 binary64) %905 %694)
(fma.f64 #s(literal 1/2 binary64) %905 x)
(fma.f64 %909 %428 %831)
(fma.f64 %909 %428 %834)
(fma.f64 %909 %428 %838)
(fma.f64 %909 %428 %840)
(fma.f64 %562 %7 %785)
(fma.f64 %562 %7 %694)
(fma.f64 %562 %7 x)
(fma.f64 %104 %565 %785)
(fma.f64 %104 %565 %694)
(fma.f64 %104 %565 x)
(fma.f64 %35 %511 %785)
(fma.f64 %35 %511 %694)
(fma.f64 %35 %511 x)
(fma.f64 %923 (*.f64 %427 %428) %582)
(fma.f64 %923 (/.f64 %427 %425) %582)
(fma.f64 %527 %110 %785)
(fma.f64 %527 %110 %694)
(fma.f64 %527 %110 x)
(fma.f64 %729 %527 %582)
(fma.f64 %694 #s(literal 1 binary64) %582)
(fma.f64 %86 %536 %785)
(fma.f64 %86 %536 %694)
(fma.f64 %86 %536 x)
(fma.f64 %86 %517 %785)
(fma.f64 %86 %517 %694)
(fma.f64 %86 %517 x)
(fma.f64 #s(literal -1 binary64) %573 %785)
(fma.f64 #s(literal -1 binary64) %573 %694)
(fma.f64 #s(literal -1 binary64) %573 x)
(fma.f64 %511 %35 %785)
(fma.f64 %511 %35 %694)
(fma.f64 %511 %35 x)
(fma.f64 %16 %522 %785)
(fma.f64 %16 %522 %694)
(fma.f64 %16 %522 x)
(fma.f64 %582 #s(literal 1 binary64) %785)
(fma.f64 %582 #s(literal 1 binary64) %694)
(fma.f64 %582 #s(literal 1 binary64) x)
(fma.f64 %428 %909 %951)
(fma.f64 %428 %699 %582)
(fma.f64 %428 %73 %785)
(fma.f64 %428 %73 %694)
(fma.f64 %428 %73 x)
(fma.f64 %699 %428 %582)
(fma.f64 %427 (/.f64 x %427) %582)
(fma.f64 %73 %428 %785)
(fma.f64 %73 %428 %694)
(fma.f64 %73 %428 x)
(fma.f64 #s(literal 1 binary64) %582 %785)
(fma.f64 #s(literal 1 binary64) %582 %694)
(fma.f64 #s(literal 1 binary64) %582 x)
(fma.f64 %425 %966 %582)
(fma.f64 %297 %966 %831)
(fma.f64 %297 %966 %834)
(fma.f64 %297 %966 %838)
(fma.f64 %297 %966 %840)
(fma.f64 %78 %972 %785)
(fma.f64 %78 %972 %694)
(fma.f64 %78 %972 x)
(fma.f64 %78 %976 %831)
(fma.f64 %78 %976 %834)
(fma.f64 %78 %976 %838)
(fma.f64 %78 %976 %840)
(fma.f64 %78 %577 %785)
(fma.f64 %78 %577 %694)
(fma.f64 %78 %577 x)
(fma.f64 %110 %527 %785)
(fma.f64 %110 %527 %694)
(fma.f64 %110 %527 x)
(fma.f64 z %988 %831)
(fma.f64 z %988 %834)
(fma.f64 z %988 %838)
(fma.f64 z %988 %840)
(fma.f64 z %558 %785)
(fma.f64 z %558 %694)
(fma.f64 z %558 x)
(fma.f64 %7 %996 %785)
(fma.f64 %7 %996 %694)
(fma.f64 %7 %996 x)
(fma.f64 %7 %562 %785)
(fma.f64 %7 %562 %694)
(fma.f64 %7 %562 x)
(fma.f64 #s(literal 2 binary64) %1003 %785)
(fma.f64 #s(literal 2 binary64) %1003 %694)
(fma.f64 #s(literal 2 binary64) %1003 x)
(fma.f64 #s(literal 2 binary64) %1007 %785)
(fma.f64 #s(literal 2 binary64) %1007 %694)
(fma.f64 #s(literal 2 binary64) %1007 x)
(fma.f64 #s(literal 2 binary64) %1011 %785)
(fma.f64 #s(literal 2 binary64) %1011 %694)
(fma.f64 #s(literal 2 binary64) %1011 x)
(fma.f64 #s(literal 2 binary64) %1015 %785)
(fma.f64 #s(literal 2 binary64) %1015 %694)
(fma.f64 #s(literal 2 binary64) %1015 x)
(fma.f64 #s(literal 2 binary64) %1020 %831)
(fma.f64 #s(literal 2 binary64) %1020 %834)
(fma.f64 #s(literal 2 binary64) %1020 %838)
(fma.f64 #s(literal 2 binary64) %1020 %840)
(fma.f64 #s(literal 2 binary64) %563 %785)
(fma.f64 #s(literal 2 binary64) %563 %694)
(fma.f64 #s(literal 2 binary64) %563 x)
(fma.f64 y %560 %785)
(fma.f64 y %560 %694)
(fma.f64 y %560 x)
(fma.f64 x %1031 %831)
(fma.f64 x %1031 %834)
(fma.f64 x %1031 %838)
(fma.f64 x %1031 %840)
(fma.f64 x #s(literal 1 binary64) %582)
(-.f64 (-.f64 %694 %512) %512)
(-.f64 (-.f64 x %512) %512)
(-.f64 (/.f64 (*.f64 %694 %427) %427) %573)
(-.f64 (/.f64 (*.f64 %694 %425) %425) %573)
(-.f64 (/.f64 (*.f64 %699 %427) %624) (/.f64 (*.f64 %425 %73) %624))
(-.f64 (/.f64 (*.f64 x %616) %616) %573)
(-.f64 (/.f64 (*.f64 %78 %682) %427) (/.f64 (*.f64 %923 %409) %427))
(-.f64 %694 %573)
(-.f64 %582 (*.f64 %923 #s(literal 1 binary64)))
(-.f64 %582 %923)
(-.f64 x %573)
(+.f64 (*.f64 %428 %909) %951)
(+.f64 %785 %582)
(+.f64 %1068 %831)
(+.f64 %1068 %834)
(+.f64 %1068 %838)
(+.f64 %1068 %840)
(+.f64 %694 %582)
(+.f64 %582 %785)
(+.f64 %582 %694)
(+.f64 %582 x)
(+.f64 x %582)

%3 = (*.f64 y #s(literal 2 binary64))
%5 = (*.f64 %3 z)
%8 = (*.f64 t y)
%9 = (/.f64 y z)
%17 = (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))
%18 = (approx %17 %9)
%19 = (/.f64 z t)
%20 = (*.f64 #s(literal -2 binary64) %19)
%21 = (approx %17 %20)
%22 = (+.f64 y y)
%23 = (neg.f64 y)
%24 = (*.f64 z y)
%25 = (+.f64 z z)
%26 = (*.f64 z z)
%27 = (*.f64 %23 t)
%28 = (fma.f64 #s(literal -2 binary64) %26 %8)
%29 = (fma.f64 z %25 %27)
%30 = (/.f64 #s(literal 2 binary64) %28)
%31 = (/.f64 %22 %28)
%36 = (/.f64 %5 %29)
x
y
#s(literal 2 binary64)
%3
z
%5
t
#s(literal -2 binary64)
%8
%9
%18
%19
%20
%21
%22
%23
%24
%25
%26
%27
%28
%29
%30
%31
(fma.f64 %24 %30 x)
(fma.f64 z %31 x)
(-.f64 x %18)
(-.f64 x %21)
%36
(-.f64 x %36)

%3 = (+.f64 y y)
%6 = (*.f64 (*.f64 %3 #s(literal 2 binary64)) #s(literal 1/2 binary64))
%8 = (*.f64 #s(literal 1 binary64) %3)
%9 = (neg.f64 y)
%11 = (*.f64 %9 #s(literal -2 binary64))
%12 = (*.f64 %3 #s(literal 1 binary64))
%13 = (*.f64 #s(literal -2 binary64) %9)
%14 = (*.f64 #s(literal 2 binary64) y)
%15 = (*.f64 y #s(literal 2 binary64))
%16 = (pow.f64 %3 #s(literal 1 binary64))
%19 = (/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
%20 = (*.f64 #s(literal -2 binary64) y)
%21 = (neg.f64 %20)
%22 = (*.f64 %9 #s(literal 1 binary64))
%23 = (-.f64 y %22)
%24 = (*.f64 #s(literal -1 binary64) y)
%25 = (-.f64 y %24)
%26 = (-.f64 y %9)
%28 = (+.f64 z z)
%29 = (*.f64 %28 y)
%32 = (neg.f64 z)
%36 = (*.f64 z y)
%38 = (*.f64 #s(literal -2 binary64) z)
%48 = (*.f64 %36 #s(literal -2 binary64))
%54 = (*.f64 #s(literal 1/2 binary64) %36)
%57 = (*.f64 %32 y)
%65 = (neg.f64 t)
%68 = (*.f64 t y)
%73 = (*.f64 %9 t)
%75 = (/.f64 #s(literal -1 binary64) z)
%77 = (/.f64 #s(literal 1 binary64) z)
%79 = (/.f64 y z)
%84 = (*.f64 y #s(literal -1 binary64))
%121 = (/ (* (* z y) -2) (- (* t y) (* (* z 2) z)))
%122 = (approx %121 %79)
%126 = (neg.f64 %122)
%128 = (/.f64 #s(literal -1 binary64) t)
%130 = (/.f64 #s(literal 1 binary64) t)
%133 = (/.f64 z t)
%137 = (*.f64 z #s(literal -1 binary64))
%139 = (*.f64 #s(literal 2 binary64) %65)
%141 = (*.f64 %32 #s(literal 1 binary64))
%144 = (*.f64 #s(literal -1 binary64) z)
%166 = (/.f64 %32 t)
%168 = (*.f64 %38 #s(literal 1 binary64))
%170 = (/.f64 #s(literal -2 binary64) t)
%180 = (*.f64 %133 #s(literal -2 binary64))
%185 = (*.f64 %38 #s(literal -1 binary64))
%206 = (*.f64 #s(literal -1 binary64) %133)
%208 = (*.f64 %133 #s(literal -1 binary64))
%212 = (approx %121 %180)
%216 = (neg.f64 %212)
%240 = (*.f64 #s(literal -1 binary64) %32)
%242 = (*.f64 %32 #s(literal -1 binary64))
%249 = (fabs.f64 z)
%250 = (neg.f64 %249)
%251 = (neg.f64 %250)
%252 = (neg.f64 %251)
%258 = (*.f64 z z)
%260 = (*.f64 %258 %258)
%277 = (*.f64 %32 z)
%305 = (fma.f64 %258 #s(literal -2 binary64) %68)
%307 = (/.f64 #s(literal 1 binary64) %305)
%309 = (*.f64 %28 z)
%310 = (-.f64 %309 %68)
%314 = (-.f64 %68 %258)
%316 = (*.f64 %249 #s(literal -2 binary64))
%323 = (*.f64 #s(literal 2 binary64) %249)
%327 = (*.f64 %258 #s(literal -2 binary64))
%348 = (/.f64 #s(literal -1 binary64) %305)
%351 = (-.f64 %258 %68)
%355 = (neg.f64 %316)
%403 = (/.f64 #s(literal 2 binary64) %305)
%409 = (*.f64 #s(literal -1 binary64) %305)
%410 = (*.f64 %310 #s(literal -1 binary64))
%412 = (*.f64 %310 %305)
%414 = (*.f64 #s(literal -1 binary64) %310)
%415 = (*.f64 %310 #s(literal 1 binary64))
%417 = (*.f64 %305 %305)
%419 = (*.f64 #s(literal 1 binary64) %305)
%420 = (*.f64 %305 #s(literal -1 binary64))
%423 = (*.f64 #s(literal 1 binary64) %310)
%424 = (*.f64 %305 #s(literal 1 binary64))
%426 = (*.f64 %305 %310)
%428 = (fma.f64 %307 %310 #s(literal -1 binary64))
%430 = (*.f64 #s(literal 2 binary64) %310)
%432 = (fma.f64 #s(literal -1 binary64) %310 %414)
%434 = (*.f64 #s(literal 2 binary64) %417)
%436 = (fma.f64 #s(literal -1 binary64) %305 %423)
%438 = (*.f64 #s(literal 2 binary64) %412)
%440 = (fma.f64 #s(literal 1 binary64) %310 %409)
%442 = (*.f64 #s(literal 2 binary64) %426)
%444 = (fma.f64 #s(literal 1 binary64) %305 %419)
%447 = (fma.f64 #s(literal -1 binary64) %310 %410)
%450 = (fma.f64 #s(literal -1 binary64) %305 %415)
%453 = (fma.f64 #s(literal 1 binary64) %310 %420)
%456 = (fma.f64 #s(literal 1 binary64) %305 %424)
%460 = (*.f64 %310 #s(literal 2 binary64))
%463 = (*.f64 %417 #s(literal 2 binary64))
%466 = (*.f64 %412 #s(literal 2 binary64))
%469 = (*.f64 %426 #s(literal 2 binary64))
%487 = (neg.f64 %417)
%506 = (*.f64 #s(literal 2 binary64) %305)
%524 = (/.f64 #s(literal -2 binary64) %305)
%535 = (*.f64 %305 %3)
%540 = (/.f64 y %305)
%543 = (/.f64 %3 %305)
%548 = (*.f64 %348 y)
%550 = (/.f64 y %310)
%563 = (*.f64 %305 y)
%568 = (*.f64 %310 %84)
%571 = (*.f64 %310 %9)
%574 = (*.f64 %310 y)
%588 = (*.f64 %9 %310)
%591 = (*.f64 y %310)
%594 = (*.f64 %20 #s(literal -1 binary64))
%597 = (*.f64 %3 #s(literal -1 binary64))
%600 = (*.f64 #s(literal -1 binary64) %3)
%603 = (/.f64 %535 %305)
%606 = (fma.f64 %540 %310 %9)
%609 = (fma.f64 %9 %310 %588)
%612 = (fma.f64 %9 %305 %591)
%615 = (*.f64 %9 %305)
%616 = (fma.f64 y %310 %615)
%619 = (fma.f64 %9 %310 %571)
%622 = (fma.f64 %9 %305 %574)
%625 = (*.f64 %305 %9)
%626 = (fma.f64 y %310 %625)
%629 = (-.f64 %615 %571)
%632 = (-.f64 %563 %625)
%635 = (neg.f64 %535)
%698 = (/.f64 %3 %310)
%704 = (/.f64 %563 %417)
%707 = (*.f64 %310 x)
%708 = (fma.f64 %38 y %707)
%709 = (*.f64 %708 #s(literal 1 binary64))
%710 = (*.f64 %709 %348)
%711 = (*.f64 %305 x)
%712 = (fma.f64 %28 y %711)
%713 = (*.f64 %712 %307)
%714 = (*.f64 %348 %708)
%715 = (*.f64 %708 %348)
%716 = (fma.f64 %543 z x)
%717 = (pow.f64 %716 #s(literal 1 binary64))
%718 = (*.f64 %48 #s(literal -1 binary64))
%720 = (/.f64 (fma.f64 %305 x %718) %305)
%721 = (*.f64 %48 #s(literal 1 binary64))
%723 = (/.f64 (fma.f64 %310 x %721) %310)
%724 = (*.f64 %29 #s(literal -1 binary64))
%726 = (/.f64 (fma.f64 %310 x %724) %310)
%727 = (*.f64 %57 #s(literal -2 binary64))
%729 = (/.f64 (-.f64 %707 %727) %310)
%731 = (/.f64 (-.f64 %711 %721) %305)
%733 = (/.f64 (-.f64 %711 %724) %305)
%734 = (*.f64 #s(literal -1 binary64) %29)
%736 = (/.f64 (-.f64 %711 %734) %305)
%738 = (/.f64 (-.f64 %707 %718) %310)
%739 = (*.f64 %305 %718)
%741 = (/.f64 (fma.f64 %711 %305 %739) %417)
%742 = (*.f64 %305 %721)
%744 = (/.f64 (fma.f64 %711 %310 %742) %426)
%745 = (*.f64 %305 %724)
%747 = (/.f64 (fma.f64 %711 %310 %745) %426)
%748 = (*.f64 z %535)
%751 = (*.f64 %305 %417)
%752 = (/.f64 (fma.f64 %711 %417 (*.f64 %305 %748)) %751)
%753 = (*.f64 %535 z)
%756 = (/.f64 (fma.f64 %711 %417 (*.f64 %305 %753)) %751)
%757 = (*.f64 %305 %48)
%759 = (/.f64 (fma.f64 %711 %310 %757) %426)
%760 = (*.f64 %305 %29)
%762 = (/.f64 (fma.f64 %711 %305 %760) %417)
%763 = (*.f64 %310 %718)
%765 = (/.f64 (fma.f64 %707 %305 %763) %412)
%766 = (*.f64 %310 %721)
%768 = (/.f64 (fma.f64 %707 %310 %766) %417)
%769 = (*.f64 %310 %724)
%771 = (/.f64 (fma.f64 %707 %310 %769) %417)
%774 = (*.f64 %310 %417)
%775 = (/.f64 (fma.f64 %707 %417 (*.f64 %310 %748)) %774)
%778 = (/.f64 (fma.f64 %707 %417 (*.f64 %310 %753)) %774)
%779 = (*.f64 %310 %48)
%781 = (/.f64 (fma.f64 %707 %310 %779) %417)
%782 = (*.f64 %310 %29)
%784 = (/.f64 (fma.f64 %707 %305 %782) %412)
%785 = (*.f64 %711 %310)
%788 = (/.f64 (-.f64 %785 (*.f64 %305 %727)) %426)
%790 = (/.f64 (-.f64 %785 %739) %426)
%791 = (*.f64 %711 %305)
%793 = (/.f64 (-.f64 %791 %742) %417)
%795 = (/.f64 (-.f64 %791 %745) %417)
%797 = (*.f64 %32 %535)
%800 = (/.f64 (-.f64 (*.f64 %711 %417) (*.f64 %305 %797)) %751)
%803 = (/.f64 (-.f64 %791 (*.f64 %305 %734)) %417)
%805 = (/.f64 (-.f64 %791 %757) %417)
%807 = (/.f64 (-.f64 %785 %760) %426)
%808 = (*.f64 %707 %310)
%811 = (/.f64 (-.f64 %808 (*.f64 %310 %727)) %417)
%813 = (/.f64 (-.f64 %808 %763) %417)
%814 = (*.f64 %707 %305)
%816 = (/.f64 (-.f64 %814 %766) %412)
%818 = (/.f64 (-.f64 %814 %769) %412)
%822 = (/.f64 (-.f64 (*.f64 %707 %417) (*.f64 %310 %797)) %774)
%825 = (/.f64 (-.f64 %814 (*.f64 %310 %734)) %412)
%826 = (*.f64 %708 #s(literal -1 binary64))
%828 = (/.f64 (neg.f64 %826) %310)
%830 = (/.f64 (neg.f64 %709) %305)
%831 = (*.f64 x #s(literal 1 binary64))
%833 = (-.f64 (*.f64 %831 %305) %48)
%835 = (/.f64 (neg.f64 %833) %310)
%837 = (-.f64 (*.f64 %831 %310) %29)
%839 = (/.f64 (neg.f64 %837) %305)
%840 = (-.f64 %814 %779)
%842 = (/.f64 (neg.f64 %840) %417)
%843 = (-.f64 %808 %782)
%845 = (/.f64 (neg.f64 %843) %487)
%846 = (/.f64 %826 %305)
%847 = (/.f64 %709 %310)
%849 = (/.f64 (-.f64 %48 %711) %310)
%850 = (/.f64 %833 %305)
%851 = (/.f64 %837 %310)
%852 = (/.f64 %840 %412)
%853 = (/.f64 %843 %417)
%854 = (/.f64 %712 %305)
%855 = (/.f64 %708 %310)
%857 = (/.f64 #s(literal 1 binary64) (pow.f64 %716 #s(literal -1 binary64)))
%859 = (/.f64 #s(literal 1 binary64) (/.f64 %305 %712))
%861 = (/.f64 #s(literal 1 binary64) (/.f64 %310 %708))
%862 = (/.f64 %29 %310)
%864 = (neg.f64 (-.f64 %862 x))
%865 = (fma.f64 %721 %348 x)
%866 = (/.f64 z %305)
%867 = (fma.f64 %866 %3 x)
%868 = (fma.f64 %866 y x)
%869 = (fma.f64 %866 y %868)
%870 = (*.f64 %540 z)
%871 = (neg.f64 x)
%872 = (-.f64 %870 %871)
%873 = (fma.f64 %866 y %872)
%874 = (/.f64 %28 %305)
%875 = (fma.f64 %874 y x)
%876 = (fma.f64 %870 #s(literal 2 binary64) x)
%877 = (fma.f64 %28 %540 x)
%878 = (/.f64 z %310)
%879 = (fma.f64 %878 %20 x)
%880 = (fma.f64 %348 %48 x)
%881 = (fma.f64 %307 %36 %868)
%882 = (fma.f64 %307 %36 %872)
%883 = (fma.f64 %307 %29 x)
%884 = (*.f64 %543 z)
%885 = (fma.f64 %707 %348 %884)
%886 = (fma.f64 %540 %28 x)
%887 = (fma.f64 %540 z %868)
%888 = (fma.f64 %540 z %872)
%889 = (fma.f64 %20 %878 x)
%890 = (fma.f64 %48 %348 x)
%891 = (fma.f64 %32 %698 x)
%892 = (fma.f64 #s(literal 1 binary64) %870 %868)
%893 = (fma.f64 #s(literal 1 binary64) %870 %872)
%894 = (fma.f64 %403 %36 x)
%896 = (fma.f64 %310 (/.f64 x %310) %884)
%897 = (fma.f64 %36 %307 %868)
%898 = (fma.f64 %36 %307 %872)
%899 = (fma.f64 %36 %403 x)
%900 = (/.f64 %28 %310)
%901 = (fma.f64 %9 %900 x)
%902 = (fma.f64 %3 %866 x)
%903 = (*.f64 %348 %36)
%904 = (fma.f64 #s(literal -2 binary64) %903 x)
%905 = (*.f64 %878 y)
%906 = (fma.f64 #s(literal -2 binary64) %905 x)
%907 = (fma.f64 %29 %307 x)
%908 = (fma.f64 z %540 %868)
%909 = (fma.f64 z %540 %872)
%910 = (fma.f64 z %543 x)
%912 = (fma.f64 #s(literal 2 binary64) (neg.f64 %905) x)
%914 = (fma.f64 #s(literal 2 binary64) (*.f64 %9 %878) x)
%915 = (fma.f64 #s(literal 2 binary64) %870 x)
%916 = (fma.f64 y %866 %868)
%917 = (fma.f64 y %866 %872)
%918 = (fma.f64 y %874 x)
%919 = (fma.f64 x #s(literal 1 binary64) %884)
%920 = (-.f64 %831 %862)
%921 = (-.f64 %884 %871)
%922 = (-.f64 x %862)
%924 = (+.f64 (+.f64 x %870) %870)
%925 = (+.f64 %870 %868)
%926 = (+.f64 %870 %872)
%927 = (+.f64 %831 %884)
%928 = (+.f64 %884 x)
%929 = (+.f64 x %884)
%930 = (-.f64 x %122)
%939 = (-.f64 x %212)
%953 = (*.f64 %57 %307)
%1047 = (*.f64 %307 %57)
%1049 = (*.f64 %540 %32)
%1051 = (*.f64 %32 %540)
x
y
#s(literal 2 binary64)
%6
%8
%11
%12
%13
%14
%15
%16
%19
%21
%23
%25
%26
%3
z
(*.f64 (*.f64 %29 #s(literal 2 binary64)) #s(literal 1/2 binary64))
%29
(*.f64 %20 %32)
(*.f64 %32 %20)
(*.f64 #s(literal 1 binary64) %29)
(*.f64 %36 #s(literal 2 binary64))
(*.f64 %9 %38)
(*.f64 %3 z)
(*.f64 %29 #s(literal 1 binary64))
(*.f64 z %3)
(*.f64 #s(literal 2 binary64) %36)
(*.f64 y %28)
(pow.f64 %29 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %29 #s(literal -1 binary64)))
(neg.f64 %48)
(fma.f64 #s(literal 1 binary64) %36 %36)
(fma.f64 %36 #s(literal 1 binary64) %36)
(fma.f64 %29 #s(literal 1/2 binary64) %36)
(fma.f64 z y %36)
(fma.f64 #s(literal 2 binary64) %54 %36)
(fma.f64 y z %36)
(-.f64 %36 (*.f64 %57 #s(literal 1 binary64)))
(-.f64 %36 (*.f64 #s(literal -1 binary64) %36))
(-.f64 %36 %57)
(+.f64 %36 %36)
t
#s(literal -2 binary64)
(*.f64 %65 %9)
(*.f64 %9 %65)
%68
(*.f64 y t)
(pow.f64 %68 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %68 #s(literal -1 binary64)))
(neg.f64 %73)
(*.f64 %75 %9)
(*.f64 %77 y)
(*.f64 #s(literal 1 binary64) %79)
(*.f64 %9 %75)
(*.f64 y %77)
(pow.f64 %79 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %84) %38)
(/.f64 (*.f64 #s(literal 2 binary64) %22) %38)
(/.f64 (*.f64 #s(literal 2 binary64) %24) %38)
(/.f64 (neg.f64 %24) z)
(/.f64 (neg.f64 %84) z)
(/.f64 %84 %32)
(/.f64 (*.f64 #s(literal 1 binary64) %9) %32)
(/.f64 %22 %32)
(/.f64 %24 %32)
(/.f64 %20 %38)
(/.f64 #s(literal 1 binary64) (pow.f64 %79 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %32 %9))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
(/.f64 %9 %32)
(/.f64 %3 %28)
%79
(neg.f64 (*.f64 %77 %9))
(neg.f64 (/.f64 %9 z))
(pow.f64 %122 #s(literal 1 binary64))
%122
(/.f64 #s(literal 1 binary64) (pow.f64 %122 #s(literal -1 binary64)))
(neg.f64 %126)
(*.f64 %128 %32)
(*.f64 %130 z)
(*.f64 %32 %128)
(*.f64 #s(literal 1 binary64) %133)
(*.f64 z %130)
(pow.f64 %133 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %137) %139)
(/.f64 (*.f64 #s(literal 2 binary64) %141) %139)
(/.f64 (*.f64 #s(literal 2 binary64) %144) %139)
(/.f64 (neg.f64 %141) t)
(/.f64 (neg.f64 %137) t)
(/.f64 (neg.f64 %144) t)
(/.f64 %137 %65)
(/.f64 %141 %65)
(/.f64 %144 %65)
(/.f64 %28 (*.f64 #s(literal 2 binary64) t))
(/.f64 %38 %139)
(/.f64 %32 %65)
(/.f64 #s(literal 1 binary64) (pow.f64 %133 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %65 %32))
(/.f64 #s(literal 1 binary64) (/.f64 t z))
%133
(neg.f64 %166)
(*.f64 %168 %130)
(*.f64 %170 z)
(*.f64 %166 #s(literal 2 binary64))
(*.f64 %28 %128)
(*.f64 %38 %130)
(*.f64 %130 %38)
(*.f64 %32 (*.f64 %128 #s(literal -2 binary64)))
(*.f64 %32 (/.f64 #s(literal 2 binary64) t))
%180
(*.f64 #s(literal -2 binary64) %133)
(*.f64 z %170)
(*.f64 #s(literal 2 binary64) %166)
(pow.f64 %180 #s(literal 1 binary64))
(/.f64 (neg.f64 %185) t)
(/.f64 (neg.f64 %168) %65)
(/.f64 %185 %65)
(/.f64 %168 t)
(/.f64 %28 %65)
(/.f64 %38 t)
(/.f64 #s(literal 1 binary64) (pow.f64 %180 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %65 %28))
(/.f64 #s(literal 1 binary64) (/.f64 t %38))
(neg.f64 (*.f64 %166 #s(literal -2 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) %166))
(neg.f64 (/.f64 %28 t))
(fma.f64 #s(literal -1 binary64) %133 %206)
(fma.f64 %133 #s(literal -1 binary64) %208)
(+.f64 %208 %208)
(+.f64 %206 %206)
(pow.f64 %212 #s(literal 1 binary64))
%212
(/.f64 #s(literal 1 binary64) (pow.f64 %212 #s(literal -1 binary64)))
(neg.f64 %216)
%6
%8
%11
%12
%13
%14
%15
%16
%19
%21
%23
%25
%26
%3
(pow.f64 %9 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
%9
(*.f64 #s(literal 1 binary64) %36)
(*.f64 %36 #s(literal 1 binary64))
(*.f64 %29 #s(literal 1/2 binary64))
%36
(*.f64 #s(literal 2 binary64) %54)
(*.f64 y z)
(pow.f64 %36 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %36 #s(literal -1 binary64)))
(neg.f64 %57)
(*.f64 %28 #s(literal 1 binary64))
(*.f64 %32 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %28)
(*.f64 #s(literal -2 binary64) %32)
(*.f64 z #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) z)
(pow.f64 %28 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
(neg.f64 %38)
(fma.f64 #s(literal -1 binary64) %32 %240)
(fma.f64 %32 #s(literal -1 binary64) %242)
(-.f64 z %141)
(-.f64 z %144)
(-.f64 z %32)
(+.f64 %242 %242)
(+.f64 %240 %240)
%28
(*.f64 %252 %252)
(*.f64 %251 %251)
(*.f64 %250 %250)
(*.f64 %249 %249)
(*.f64 %32 %32)
%258
(pow.f64 %251 #s(literal 2 binary64))
(pow.f64 %260 #s(literal 1/2 binary64))
(pow.f64 %250 #s(literal 2 binary64))
(pow.f64 %249 #s(literal 2 binary64))
(pow.f64 %32 #s(literal 2 binary64))
(pow.f64 %258 #s(literal 1 binary64))
(pow.f64 z #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %250 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %258 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %249 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %32 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 z #s(literal -2 binary64)))
(neg.f64 %277)
(sqrt.f64 %260)
(fabs.f64 (*.f64 %32 %250))
(fabs.f64 (*.f64 z %250))
(fabs.f64 (*.f64 %32 %249))
(fabs.f64 (*.f64 z %249))
(fabs.f64 (*.f64 %250 %32))
(fabs.f64 (*.f64 %249 %32))
(fabs.f64 (*.f64 %250 z))
(fabs.f64 (*.f64 %249 z))
(fabs.f64 %277)
(fabs.f64 %258)
(*.f64 %65 y)
%73
(*.f64 t %9)
(*.f64 y %65)
(pow.f64 %73 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %73 #s(literal -1 binary64)))
(neg.f64 %68)
(pow.f64 %305 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %307)
(neg.f64 %310)
(fma.f64 (*.f64 #s(literal -2 binary64) %250) %250 %68)
(fma.f64 %251 %250 %314)
(fma.f64 %316 %249 %68)
(fma.f64 %277 #s(literal 2 binary64) %68)
(fma.f64 %28 %32 %68)
(fma.f64 %250 (*.f64 %250 #s(literal -2 binary64)) %68)
(fma.f64 %250 %251 %314)
(fma.f64 %250 %323 %68)
(fma.f64 %250 %249 %314)
(fma.f64 %38 z %68)
(fma.f64 %65 %9 %327)
(fma.f64 %249 %316 %68)
(fma.f64 %249 %250 %314)
(fma.f64 %32 %28 %68)
(fma.f64 %32 z %314)
%305
(fma.f64 %9 %65 %327)
(fma.f64 #s(literal -2 binary64) %258 %68)
(fma.f64 t y %327)
(fma.f64 z %38 %68)
(fma.f64 z %32 %314)
(fma.f64 #s(literal 2 binary64) %277 %68)
(fma.f64 y t %327)
(-.f64 %314 %258)
(-.f64 %327 %73)
(-.f64 %68 %309)
(+.f64 %314 %277)
(+.f64 %277 %314)
(+.f64 %327 %68)
(+.f64 %68 %327)
(pow.f64 %310 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %348)
(neg.f64 %305)
(fma.f64 %252 %252 %351)
(fma.f64 (*.f64 #s(literal 2 binary64) %250) %250 %73)
(fma.f64 %355 %249 %73)
(fma.f64 %251 %251 %351)
(fma.f64 %316 %250 %73)
(fma.f64 %323 %249 %73)
(fma.f64 %277 #s(literal -2 binary64) %73)
(fma.f64 %28 z %73)
(fma.f64 %250 (*.f64 %250 #s(literal 2 binary64)) %73)
(fma.f64 %250 (-.f64 %250 %249) %73)
(fma.f64 %250 (+.f64 %250 %250) %73)
(fma.f64 %250 %316 %73)
(fma.f64 %250 %250 %351)
(fma.f64 %38 %32 %73)
(fma.f64 %65 y %309)
(fma.f64 %249 %355 %73)
(fma.f64 %249 (*.f64 %249 #s(literal 2 binary64)) %73)
(fma.f64 %249 %323 %73)
(fma.f64 %249 %249 %351)
(fma.f64 %32 %38 %73)
(fma.f64 %32 %32 %351)
(fma.f64 %258 #s(literal 2 binary64) %73)
(fma.f64 %9 t %309)
(fma.f64 %309 #s(literal 1 binary64) %73)
(fma.f64 #s(literal -2 binary64) %277 %73)
(fma.f64 t %9 %309)
(fma.f64 z %28 %73)
(fma.f64 z z %351)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %258) %73)
(fma.f64 #s(literal 2 binary64) %258 %73)
(fma.f64 y %65 %309)
(-.f64 %351 %277)
(-.f64 %73 %327)
(-.f64 %258 (-.f64 %277 %73))
(-.f64 %258 (fma.f64 %32 z %68))
(-.f64 %258 %314)
%310
(+.f64 %351 %258)
(+.f64 %73 %309)
(+.f64 %258 %351)
(+.f64 %309 %73)
(*.f64 %348 #s(literal -2 binary64))
(*.f64 %307 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %403)
(*.f64 %403 #s(literal 1 binary64))
(*.f64 #s(literal -2 binary64) %348)
(*.f64 #s(literal 2 binary64) %307)
(pow.f64 %403 #s(literal 1 binary64))
(/.f64 (-.f64 %409 %410) %412)
(/.f64 (-.f64 %414 %415) %417)
(/.f64 (-.f64 %419 %420) %417)
(/.f64 (-.f64 %423 %424) %426)
(/.f64 (*.f64 #s(literal 2 binary64) %428) %430)
(/.f64 (*.f64 #s(literal 2 binary64) %432) %434)
(/.f64 (*.f64 #s(literal 2 binary64) %436) %438)
(/.f64 (*.f64 #s(literal 2 binary64) %440) %442)
(/.f64 (*.f64 #s(literal 2 binary64) %444) %434)
(/.f64 (*.f64 #s(literal 2 binary64) %447) %434)
(/.f64 (*.f64 #s(literal 2 binary64) %450) %438)
(/.f64 (*.f64 #s(literal 2 binary64) %453) %442)
(/.f64 (*.f64 #s(literal 2 binary64) %456) %434)
(/.f64 (*.f64 %428 #s(literal 2 binary64)) %460)
(/.f64 (*.f64 %432 #s(literal 2 binary64)) %463)
(/.f64 (*.f64 %436 #s(literal 2 binary64)) %466)
(/.f64 (*.f64 %440 #s(literal 2 binary64)) %469)
(/.f64 (*.f64 %444 #s(literal 2 binary64)) %463)
(/.f64 (*.f64 %447 #s(literal 2 binary64)) %463)
(/.f64 (*.f64 %450 #s(literal 2 binary64)) %466)
(/.f64 (*.f64 %453 #s(literal 2 binary64)) %469)
(/.f64 (*.f64 %456 #s(literal 2 binary64)) %463)
(/.f64 #s(literal -4 binary64) %460)
(/.f64 #s(literal -4 binary64) %430)
(/.f64 (neg.f64 %428) %305)
(/.f64 (neg.f64 %432) %487)
(/.f64 (neg.f64 %436) %417)
(/.f64 (neg.f64 %440) %417)
(/.f64 (neg.f64 %444) %487)
(/.f64 (neg.f64 %447) %487)
(/.f64 (neg.f64 %450) %417)
(/.f64 (neg.f64 %453) %417)
(/.f64 (neg.f64 %456) %487)
(/.f64 #s(literal 4 binary64) (*.f64 %305 #s(literal 2 binary64)))
(/.f64 #s(literal 4 binary64) %506)
(/.f64 %428 %310)
(/.f64 %432 %417)
(/.f64 %436 %412)
(/.f64 %440 %426)
(/.f64 %444 %417)
(/.f64 %447 %417)
(/.f64 %450 %412)
(/.f64 %453 %426)
(/.f64 %456 %417)
(/.f64 #s(literal 1 binary64) (pow.f64 %403 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %310 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %305 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) %310)
%403
(neg.f64 %524)
(fma.f64 #s(literal -1 binary64) %348 %307)
(fma.f64 %307 #s(literal 1 binary64) %307)
(fma.f64 #s(literal 1 binary64) %307 %307)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %307) %307)
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %305) %307)
(-.f64 %307 %348)
(+.f64 %307 %307)
(*.f64 %535 (pow.f64 %305 #s(literal -2 binary64)))
(*.f64 %348 %20)
(*.f64 %307 %3)
(*.f64 %540 #s(literal 2 binary64))
(*.f64 %20 %348)
(*.f64 #s(literal 1 binary64) %543)
(*.f64 %403 y)
(*.f64 %9 %524)
(*.f64 %3 %307)
(*.f64 #s(literal -2 binary64) %548)
(*.f64 #s(literal -2 binary64) %550)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %540))
(*.f64 #s(literal 2 binary64) %540)
(*.f64 y %403)
(pow.f64 %543 #s(literal 1 binary64))
(/.f64 (+.f64 %9 %84) %310)
(/.f64 (fma.f64 y #s(literal -1 binary64) %9) %310)
(/.f64 (-.f64 %84 y) %310)
(/.f64 (fma.f64 %563 %417 (*.f64 %417 %563)) (*.f64 %417 %417))
(/.f64 (fma.f64 %84 %310 %568) %417)
(/.f64 (fma.f64 %84 %310 %571) %417)
(/.f64 (fma.f64 %84 %305 %574) %412)
(/.f64 (fma.f64 %9 %310 %568) %417)
(/.f64 (fma.f64 y %310 (*.f64 %305 %84)) %426)
(/.f64 (-.f64 (*.f64 %84 %305) %571) %412)
(/.f64 (-.f64 (*.f64 %84 %310) %574) %417)
(/.f64 (-.f64 %588 %574) %417)
(/.f64 (-.f64 %591 %563) %426)
(/.f64 (*.f64 #s(literal 2 binary64) %594) %506)
(/.f64 (*.f64 #s(literal 2 binary64) %597) %430)
(/.f64 (*.f64 #s(literal 2 binary64) %600) %430)
(/.f64 (*.f64 #s(literal 2 binary64) %603) %506)
(/.f64 (*.f64 #s(literal 2 binary64) %606) %430)
(/.f64 (*.f64 #s(literal 2 binary64) %609) %434)
(/.f64 (*.f64 #s(literal 2 binary64) %612) %438)
(/.f64 (*.f64 #s(literal 2 binary64) %616) %442)
(/.f64 (*.f64 #s(literal 2 binary64) %619) %434)
(/.f64 (*.f64 #s(literal 2 binary64) %622) %438)
(/.f64 (*.f64 #s(literal 2 binary64) %626) %442)
(/.f64 (*.f64 #s(literal 2 binary64) %629) %438)
(/.f64 (*.f64 #s(literal 2 binary64) %632) %434)
(/.f64 (*.f64 #s(literal 2 binary64) %635) (*.f64 #s(literal 2 binary64) %487))
(/.f64 (*.f64 #s(literal 2 binary64) %535) %434)
(/.f64 (*.f64 #s(literal 2 binary64) %20) %430)
(/.f64 (*.f64 #s(literal 2 binary64) %3) %506)
(/.f64 (neg.f64 %594) %310)
(/.f64 (neg.f64 %600) %305)
(/.f64 (neg.f64 %603) %310)
(/.f64 (neg.f64 %606) %305)
(/.f64 (neg.f64 %609) %487)
(/.f64 (neg.f64 %612) %417)
(/.f64 (neg.f64 %616) %417)
(/.f64 (neg.f64 %619) %487)
(/.f64 (neg.f64 %622) %417)
(/.f64 (neg.f64 %626) %417)
(/.f64 (neg.f64 %629) %417)
(/.f64 (neg.f64 %632) %487)
(/.f64 (neg.f64 %597) %305)
(/.f64 (neg.f64 %635) (neg.f64 %487))
(/.f64 %594 %305)
(/.f64 %597 %310)
(/.f64 %600 %310)
(/.f64 %603 %305)
(/.f64 %606 %310)
(/.f64 %609 %417)
(/.f64 %612 %412)
(/.f64 %616 %426)
(/.f64 %619 %417)
(/.f64 %622 %412)
(/.f64 %626 %426)
(/.f64 %629 %412)
(/.f64 %632 %417)
(/.f64 %635 %487)
(/.f64 %535 %417)
(/.f64 %20 %310)
(/.f64 #s(literal 1 binary64) (pow.f64 %543 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %417 %535))
(/.f64 #s(literal 1 binary64) (/.f64 %310 %20))
(/.f64 #s(literal 1 binary64) (/.f64 %305 %3))
%543
(neg.f64 %698)
(fma.f64 %307 y %540)
(fma.f64 %9 %348 %540)
(fma.f64 y %307 %540)
(-.f64 %540 %550)
(+.f64 %704 %704)
(+.f64 %540 %540)
%710
%713
%714
%715
%717
%720
%723
%726
%729
%731
%733
%736
%738
%741
%744
%747
%752
%756
%759
%762
%765
%768
%771
%775
%778
%781
%784
%788
%790
%793
%795
%800
%803
%805
%807
%811
%813
%816
%818
%822
%825
%828
%830
%835
%839
%842
%845
%846
%847
%849
%850
%851
%852
%853
%854
%855
%857
%859
%861
%864
%865
%867
%869
%873
%875
%876
%877
%879
%880
%881
%882
%883
%885
%886
%887
%888
%889
%890
%891
%892
%893
%716
%894
%896
%897
%898
%899
%901
%902
%904
%906
%907
%908
%909
%910
%912
%914
%915
%916
%917
%918
%919
%920
%921
%922
%924
%925
%926
%927
%928
%929
%710
%713
%714
%715
%717
%720
%723
%726
%729
%731
%733
%736
%738
%741
%744
%747
%752
%756
%759
%762
%765
%768
%771
%775
%778
%781
%784
%788
%790
%793
%795
%800
%803
%805
%807
%811
%813
%816
%818
%822
%825
%828
%830
%835
%839
%842
%845
%846
%847
%849
%850
%851
%852
%853
%854
%855
%857
%859
%861
%864
%865
%867
%869
%873
%875
%876
%877
%879
%880
%881
%882
%883
%885
%886
%887
%888
%889
%890
%891
%892
%893
%716
%894
%896
%897
%898
%899
%901
%902
%904
%906
%907
%908
%909
%910
%912
%914
%915
%916
%917
%918
%919
%920
%921
%922
%924
%925
%926
%927
%928
%929
(pow.f64 %930 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %930 #s(literal -1 binary64)))
(neg.f64 (-.f64 %122 x))
(-.f64 %126 %871)
%930
(+.f64 %126 x)
(+.f64 x %126)
(pow.f64 %939 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %939 #s(literal -1 binary64)))
(neg.f64 (-.f64 %212 x))
(-.f64 %216 %871)
%939
(+.f64 %216 x)
(+.f64 x %216)
(*.f64 (*.f64 %32 %403) y)
(*.f64 %548 %28)
(*.f64 %727 %348)
(*.f64 %721 %307)
(*.f64 %953 #s(literal 2 binary64))
(*.f64 %903 #s(literal 2 binary64))
(*.f64 (*.f64 %524 z) y)
(*.f64 %905 #s(literal 2 binary64))
(*.f64 %698 z)
(*.f64 %900 y)
(*.f64 %874 %9)
(*.f64 %524 %36)
(*.f64 %57 %403)
(*.f64 %28 %550)
(*.f64 %38 %540)
(*.f64 %878 %3)
(*.f64 %348 %29)
(*.f64 %307 %48)
(*.f64 %20 %866)
(*.f64 %48 %307)
(*.f64 %32 %543)
(*.f64 #s(literal 1 binary64) %862)
(*.f64 %543 %32)
(*.f64 %403 %57)
(*.f64 %36 %524)
(*.f64 %9 %874)
(*.f64 %3 %878)
(*.f64 #s(literal -2 binary64) %870)
(*.f64 %29 %348)
(*.f64 z %698)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %905))
(*.f64 #s(literal 2 binary64) %905)
(*.f64 y (*.f64 %38 %307))
(*.f64 y %900)
(pow.f64 %862 #s(literal 1 binary64))
(/.f64 (fma.f64 %57 %305 (*.f64 %305 %57)) %417)
(/.f64 (fma.f64 %57 %310 (*.f64 %305 %36)) %426)
(/.f64 (fma.f64 %36 %305 (*.f64 %310 %57)) %412)
(/.f64 (fma.f64 %36 %310 (*.f64 %310 %36)) %417)
(/.f64 (*.f64 #s(literal 2 binary64) %727) %430)
(/.f64 (*.f64 #s(literal 2 binary64) %718) %430)
(/.f64 (*.f64 #s(literal 2 binary64) %721) %506)
(/.f64 (*.f64 #s(literal 2 binary64) %724) %506)
(/.f64 (*.f64 #s(literal 2 binary64) %797) %434)
(/.f64 (*.f64 #s(literal 2 binary64) %734) %506)
(/.f64 (*.f64 #s(literal 2 binary64) %48) %506)
(/.f64 (*.f64 #s(literal 2 binary64) %29) %430)
(/.f64 (neg.f64 %727) %305)
(/.f64 (neg.f64 %797) %487)
(/.f64 (neg.f64 %734) %310)
(/.f64 (neg.f64 %718) %305)
(/.f64 (neg.f64 %721) %310)
(/.f64 (neg.f64 %724) %310)
(/.f64 %727 %310)
(/.f64 %718 %310)
(/.f64 %721 %305)
(/.f64 %724 %305)
(/.f64 %797 %417)
(/.f64 %734 %305)
(/.f64 %48 %305)
(/.f64 #s(literal 1 binary64) (pow.f64 %862 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %305 %48))
(/.f64 #s(literal 1 binary64) (/.f64 %310 %29))
%862
(neg.f64 (*.f64 %57 %524))
(neg.f64 %884)
(fma.f64 %57 %307 %953)
(fma.f64 %878 y %905)
(fma.f64 %348 %36 %903)
(fma.f64 %307 %57 %1047)
(fma.f64 %540 %32 %1049)
(fma.f64 %32 %540 %1051)
(fma.f64 %36 %348 %905)
(fma.f64 y %878 %905)
(+.f64 %953 %953)
(+.f64 %903 %903)
(+.f64 %1047 %1047)
(+.f64 %1049 %1049)
(+.f64 %1051 %1051)
(+.f64 %905 %905)
%710
%713
%714
%715
%717
%720
%723
%726
%729
%731
%733
%736
%738
%741
%744
%747
%752
%756
%759
%762
%765
%768
%771
%775
%778
%781
%784
%788
%790
%793
%795
%800
%803
%805
%807
%811
%813
%816
%818
%822
%825
%828
%830
%835
%839
%842
%845
%846
%847
%849
%850
%851
%852
%853
%854
%855
%857
%859
%861
%864
%865
%867
%869
%873
%875
%876
%877
%879
%880
%881
%882
%883
%885
%886
%887
%888
%889
%890
%891
%892
%893
%716
%894
%896
%897
%898
%899
%901
%902
%904
%906
%907
%908
%909
%910
%912
%914
%915
%916
%917
%918
%919
%920
%921
%922
%924
%925
%926
%927
%928
%929

%6 = (approx x #s(literal 0 binary64))
%8 = (*.f64 t y)
%9 = (/.f64 y z)
%18 = (approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) %9)
%19 = (*.f64 #s(literal -2 binary64) z)
%20 = (+.f64 y y)
%21 = (/.f64 #s(literal 2 binary64) t)
%29 = (approx (/ (+ y y) (+ (* -2 (* z z)) (* t y))) %21)
%30 = (fma.f64 z %19 %8)
%32 = (/.f64 %20 %30)
x
y
#s(literal 2 binary64)
z
t
#s(literal 0 binary64)
%6
#s(literal -2 binary64)
%8
%9
%18
%19
%20
%21
%29
%30
(fma.f64 z %29 x)
%32
(fma.f64 z %32 x)
(-.f64 %6 %18)

%6 = (approx x #s(literal 0 binary64))
%13 = (neg.f64 y)
%14 = (neg.f64 t)
%17 = (*.f64 t y)
%22 = (*.f64 %13 t)
%24 = (+.f64 y y)
%32 = (*.f64 #s(literal 1/2 binary64) z)
%35 = (/.f64 y #s(literal 1 binary64))
%36 = (/.f64 #s(literal 1 binary64) z)
%38 = (+.f64 z z)
%45 = (*.f64 #s(literal 1/2 binary64) y)
%53 = (/.f64 #s(literal -1 binary64) z)
%62 = (/.f64 y z)
%69 = (E.f64 )
%70 = (*.f64 y #s(literal -1 binary64))
%72 = (neg.f64 z)
%73 = (*.f64 %69 %72)
%75 = (*.f64 %13 #s(literal 1 binary64))
%78 = (*.f64 #s(literal -1 binary64) y)
%87 = (*.f64 #s(literal 1 binary64) %72)
%94 = (*.f64 #s(literal -2 binary64) z)
%107 = (*.f64 #s(literal 1 binary64) %13)
%112 = (*.f64 #s(literal -2 binary64) y)
%130 = (- (* t y) (* (* z 2) z))
%132 = (approx (/ (* (* -2 z) y) %130) %62)
%136 = (neg.f64 %132)
%145 = (*.f64 #s(literal -1 binary64) z)
%147 = (*.f64 z #s(literal -1 binary64))
%161 = (*.f64 z z)
%162 = (fma.f64 %161 #s(literal -2 binary64) %17)
%163 = (*.f64 %162 %24)
%164 = (neg.f64 %163)
%165 = (*.f64 %38 z)
%166 = (-.f64 %165 %17)
%172 = (*.f64 %162 y)
%173 = (neg.f64 %172)
%176 = (*.f64 %166 y)
%179 = (*.f64 %13 %162)
%185 = (/.f64 #s(literal -1 binary64) t)
%187 = (/.f64 #s(literal 1 binary64) t)
%189 = (/.f64 #s(literal 2 binary64) t)
%195 = (*.f64 #s(literal -1 binary64) t)
%196 = (*.f64 %14 #s(literal -1 binary64))
%198 = (*.f64 %14 t)
%200 = (*.f64 #s(literal -1 binary64) %14)
%201 = (*.f64 %14 #s(literal 1 binary64))
%203 = (*.f64 t t)
%205 = (*.f64 #s(literal 1 binary64) t)
%206 = (*.f64 t #s(literal -1 binary64))
%209 = (*.f64 #s(literal 1 binary64) %14)
%210 = (*.f64 t #s(literal 1 binary64))
%212 = (*.f64 t %14)
%214 = (fma.f64 %187 %14 #s(literal -1 binary64))
%216 = (*.f64 %69 %14)
%218 = (fma.f64 #s(literal -1 binary64) %14 %200)
%220 = (*.f64 %69 %203)
%222 = (fma.f64 #s(literal -1 binary64) t %209)
%224 = (*.f64 %69 %198)
%226 = (fma.f64 #s(literal 1 binary64) %14 %195)
%228 = (*.f64 %69 %212)
%230 = (fma.f64 #s(literal 1 binary64) t %205)
%233 = (fma.f64 #s(literal -1 binary64) %14 %196)
%236 = (fma.f64 #s(literal -1 binary64) t %201)
%239 = (fma.f64 #s(literal 1 binary64) %14 %206)
%242 = (fma.f64 #s(literal 1 binary64) t %210)
%250 = (*.f64 #s(literal 1 binary64) %203)
%253 = (*.f64 #s(literal 1 binary64) %198)
%256 = (*.f64 #s(literal 1 binary64) %212)
%269 = (*.f64 #s(literal 2 binary64) %14)
%272 = (*.f64 #s(literal 2 binary64) %203)
%275 = (*.f64 #s(literal 2 binary64) %198)
%278 = (*.f64 #s(literal 2 binary64) %212)
%291 = (*.f64 %14 %69)
%296 = (*.f64 %14 #s(literal 2 binary64))
%299 = (*.f64 %203 %69)
%302 = (*.f64 %203 #s(literal 1 binary64))
%305 = (*.f64 %203 #s(literal 2 binary64))
%308 = (*.f64 %198 %69)
%311 = (*.f64 %198 #s(literal 1 binary64))
%314 = (*.f64 %198 #s(literal 2 binary64))
%317 = (*.f64 %212 %69)
%320 = (*.f64 %212 #s(literal 1 binary64))
%323 = (*.f64 %212 #s(literal 2 binary64))
%369 = (neg.f64 %203)
%372 = (neg.f64 %198)
%375 = (neg.f64 %212)
%429 = (/.f64 %200 %203)
%433 = (/.f64 %195 %198)
%438 = (/.f64 %209 %212)
%443 = (/.f64 %205 %203)
%450 = (approx (/ (* 2 y) %130) %189)
%455 = (/.f64 #s(literal 1 binary64) %162)
%458 = (fabs.f64 z)
%459 = (neg.f64 %458)
%462 = (*.f64 %458 #s(literal -2 binary64))
%464 = (*.f64 %72 z)
%468 = (*.f64 %161 #s(literal -2 binary64))
%484 = (fma.f64 %450 z x)
%488 = (neg.f64 %450)
%489 = (*.f64 %488 z)
%495 = (*.f64 %450 z)
%496 = (neg.f64 x)
%506 = (fabs.f64 %162)
%507 = (/.f64 %162 %506)
%510 = (/.f64 y %506)
%511 = (+.f64 %162 %162)
%514 = (/.f64 %162 %162)
%515 = (/.f64 %24 %162)
%517 = (/.f64 %162 %166)
%518 = (/.f64 %24 %166)
%523 = (/.f64 #s(literal -2 binary64) %162)
%526 = (/.f64 #s(literal 2 binary64) %162)
%530 = (/.f64 y %166)
%534 = (/.f64 #s(literal -1 binary64) %162)
%536 = (/.f64 y %162)
%554 = (*.f64 %162 %162)
%557 = (*.f64 %554 %554)
%559 = (*.f64 %70 %166)
%562 = (*.f64 %13 %166)
%565 = (*.f64 y %166)
%567 = (*.f64 %166 %162)
%571 = (*.f64 %70 %162)
%573 = (*.f64 %162 %166)
%584 = (*.f64 %166 %70)
%587 = (*.f64 %166 %13)
%605 = (*.f64 %112 #s(literal -1 binary64))
%607 = (*.f64 %69 %162)
%609 = (*.f64 %24 #s(literal -1 binary64))
%611 = (*.f64 %69 %166)
%613 = (*.f64 #s(literal -1 binary64) %24)
%616 = (fma.f64 %536 %166 %13)
%619 = (fma.f64 %13 %166 %562)
%621 = (*.f64 %69 %554)
%623 = (fma.f64 %13 %162 %565)
%625 = (*.f64 %69 %567)
%627 = (fma.f64 y %166 %179)
%629 = (*.f64 %69 %573)
%631 = (fma.f64 %13 %166 %587)
%634 = (fma.f64 %13 %162 %176)
%637 = (*.f64 %162 %13)
%638 = (fma.f64 y %166 %637)
%641 = (-.f64 %179 %587)
%644 = (-.f64 %172 %637)
%648 = (neg.f64 %554)
%658 = (*.f64 #s(literal 1 binary64) %162)
%661 = (*.f64 #s(literal 1 binary64) %166)
%668 = (*.f64 #s(literal 1 binary64) %554)
%671 = (*.f64 #s(literal 1 binary64) %567)
%674 = (*.f64 #s(literal 1 binary64) %573)
%694 = (*.f64 #s(literal 2 binary64) %162)
%697 = (*.f64 #s(literal 2 binary64) %166)
%704 = (*.f64 #s(literal 2 binary64) %554)
%707 = (*.f64 #s(literal 2 binary64) %567)
%710 = (*.f64 #s(literal 2 binary64) %573)
%783 = (/.f64 %179 %573)
%785 = (/.f64 %637 %573)
%787 = (/.f64 %172 %554)
%807 = (/.f64 %179 %567)
%823 = (/.f64 %562 %554)
%828 = (/.f64 %107 %166)
%830 = (/.f64 %75 %166)
%832 = (/.f64 %78 %166)
%838 = (*.f64 %162 x)
%839 = (fma.f64 %24 z %838)
%841 = (fma.f64 %515 z x)
%843 = (*.f64 z %163)
%846 = (*.f64 %162 %554)
%848 = (*.f64 %24 z)
%849 = (*.f64 %848 #s(literal -1 binary64))
%853 = (*.f64 %163 z)
%857 = (*.f64 %94 y)
%879 = (fma.f64 x %166 %857)
%883 = (-.f64 (*.f64 x %166) %848)
%886 = (neg.f64 %839)
%899 = (*.f64 %518 z)
%904 = (/.f64 z %506)
%905 = (/.f64 %163 %506)
%906 = (/.f64 %838 %162)
%911 = (/.f64 %163 %166)
%912 = (/.f64 z %166)
%915 = (/.f64 z %162)
%918 = (/.f64 %38 %162)
%921 = (*.f64 z y)
%924 = (fma.f64 %536 z x)
%926 = (*.f64 %536 z)
%927 = (-.f64 %926 %496)
%937 = (/.f64 %38 %166)
%959 = (*.f64 %526 z)
%967 = (*.f64 %515 z)
%984 = (-.f64 %6 %132)
%990 = (neg.f64 %6)
x
y
#s(literal 2 binary64)
z
t
#s(literal 0 binary64)
(pow.f64 %6 #s(literal 1 binary64))
%6
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
#s(literal -2 binary64)
(*.f64 %13 %14)
(*.f64 %14 %13)
%17
(*.f64 y t)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
(neg.f64 %22)
(*.f64 (/.f64 %24 #s(literal 1 binary64)) (/.f64 #s(literal 1/2 binary64) z))
(*.f64 (/.f64 %24 z) #s(literal 1/2 binary64))
(*.f64 (/.f64 %24 #s(literal 2 binary64)) (/.f64 #s(literal 1/2 binary64) %32))
(*.f64 %35 %36)
(*.f64 (/.f64 y %38) #s(literal 2 binary64))
(*.f64 (/.f64 y #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) %32))
(*.f64 (/.f64 #s(literal 2 binary64) z) (/.f64 %45 #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) %38) (/.f64 y #s(literal 1/2 binary64)))
(*.f64 #s(literal 1/2 binary64) (/.f64 y %32))
(*.f64 %53 %13)
(*.f64 %36 (/.f64 %45 #s(literal 1/2 binary64)))
(*.f64 %36 %35)
(*.f64 %36 y)
(*.f64 %13 %53)
(*.f64 #s(literal 1 binary64) (/.f64 %45 %32))
(*.f64 #s(literal 1 binary64) %62)
(*.f64 %62 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) (/.f64 %45 z))
(*.f64 y %36)
(pow.f64 %62 #s(literal 1 binary64))
(/.f64 (*.f64 %69 %70) %73)
(/.f64 (*.f64 %69 %75) %73)
(/.f64 (*.f64 %69 %78) %73)
(/.f64 (*.f64 %69 %13) %73)
(/.f64 (*.f64 %69 y) (*.f64 %69 z))
(/.f64 (*.f64 #s(literal 1 binary64) %70) %87)
(/.f64 (*.f64 #s(literal 1 binary64) %75) %87)
(/.f64 (*.f64 #s(literal 1 binary64) %78) %87)
(/.f64 (*.f64 #s(literal 2 binary64) %70) %94)
(/.f64 (*.f64 #s(literal 2 binary64) %75) %94)
(/.f64 (*.f64 #s(literal 2 binary64) %78) %94)
(/.f64 (neg.f64 %75) z)
(/.f64 (neg.f64 %78) z)
(/.f64 (neg.f64 %70) z)
(/.f64 %70 %72)
(/.f64 %107 %87)
(/.f64 %75 %72)
(/.f64 %78 %72)
(/.f64 %13 %72)
(/.f64 %112 %94)
(/.f64 #s(literal 1 binary64) (pow.f64 %62 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %72 %13))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
(/.f64 %24 %38)
%62
(neg.f64 (/.f64 %13 z))
(pow.f64 %132 #s(literal 1 binary64))
%132
(/.f64 #s(literal 1 binary64) (pow.f64 %132 #s(literal -1 binary64)))
(neg.f64 %136)
(*.f64 %72 #s(literal 2 binary64))
%94
(*.f64 z #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) %72)
(pow.f64 %94 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %94 #s(literal -1 binary64)))
(neg.f64 %38)
(fma.f64 #s(literal -1 binary64) z %145)
(fma.f64 z #s(literal -1 binary64) %147)
(+.f64 %147 %147)
(+.f64 %145 %145)
(+.f64 %72 %72)
(*.f64 (*.f64 %24 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %13 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %24)
(*.f64 %24 #s(literal 1 binary64))
(*.f64 #s(literal -2 binary64) %13)
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 %164 %166)
(/.f64 %163 %162)
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(neg.f64 %112)
(-.f64 y (/.f64 %173 %162))
(-.f64 y (/.f64 %176 %162))
(-.f64 y (/.f64 %179 %162))
(-.f64 y %75)
(-.f64 y %78)
(-.f64 y %13)
%24
(*.f64 %185 #s(literal -2 binary64))
(*.f64 %187 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %189)
(*.f64 %189 #s(literal 1 binary64))
(*.f64 #s(literal -2 binary64) %185)
(*.f64 #s(literal 2 binary64) %187)
(pow.f64 %189 #s(literal 1 binary64))
(/.f64 (-.f64 %195 %196) %198)
(/.f64 (-.f64 %200 %201) %203)
(/.f64 (-.f64 %205 %206) %203)
(/.f64 (-.f64 %209 %210) %212)
(/.f64 (*.f64 %69 %214) %216)
(/.f64 (*.f64 %69 %218) %220)
(/.f64 (*.f64 %69 %222) %224)
(/.f64 (*.f64 %69 %226) %228)
(/.f64 (*.f64 %69 %230) %220)
(/.f64 (*.f64 %69 %233) %220)
(/.f64 (*.f64 %69 %236) %224)
(/.f64 (*.f64 %69 %239) %228)
(/.f64 (*.f64 %69 %242) %220)
(/.f64 (*.f64 %69 #s(literal -2 binary64)) %216)
(/.f64 (*.f64 #s(literal 1 binary64) %214) %209)
(/.f64 (*.f64 #s(literal 1 binary64) %218) %250)
(/.f64 (*.f64 #s(literal 1 binary64) %222) %253)
(/.f64 (*.f64 #s(literal 1 binary64) %226) %256)
(/.f64 (*.f64 #s(literal 1 binary64) %230) %250)
(/.f64 (*.f64 #s(literal 1 binary64) %233) %250)
(/.f64 (*.f64 #s(literal 1 binary64) %236) %253)
(/.f64 (*.f64 #s(literal 1 binary64) %239) %256)
(/.f64 (*.f64 #s(literal 1 binary64) %242) %250)
(/.f64 (*.f64 #s(literal 2 binary64) %214) %269)
(/.f64 (*.f64 #s(literal 2 binary64) %218) %272)
(/.f64 (*.f64 #s(literal 2 binary64) %222) %275)
(/.f64 (*.f64 #s(literal 2 binary64) %226) %278)
(/.f64 (*.f64 #s(literal 2 binary64) %230) %272)
(/.f64 (*.f64 #s(literal 2 binary64) %233) %272)
(/.f64 (*.f64 #s(literal 2 binary64) %236) %275)
(/.f64 (*.f64 #s(literal 2 binary64) %239) %278)
(/.f64 (*.f64 #s(literal 2 binary64) %242) %272)
(/.f64 (*.f64 %214 %69) %291)
(/.f64 (*.f64 %214 #s(literal 1 binary64)) %201)
(/.f64 (*.f64 %214 #s(literal 2 binary64)) %296)
(/.f64 (*.f64 %218 %69) %299)
(/.f64 (*.f64 %218 #s(literal 1 binary64)) %302)
(/.f64 (*.f64 %218 #s(literal 2 binary64)) %305)
(/.f64 (*.f64 %222 %69) %308)
(/.f64 (*.f64 %222 #s(literal 1 binary64)) %311)
(/.f64 (*.f64 %222 #s(literal 2 binary64)) %314)
(/.f64 (*.f64 %226 %69) %317)
(/.f64 (*.f64 %226 #s(literal 1 binary64)) %320)
(/.f64 (*.f64 %226 #s(literal 2 binary64)) %323)
(/.f64 (*.f64 %230 %69) %299)
(/.f64 (*.f64 %230 #s(literal 1 binary64)) %302)
(/.f64 (*.f64 %230 #s(literal 2 binary64)) %305)
(/.f64 (*.f64 %233 %69) %299)
(/.f64 (*.f64 %233 #s(literal 1 binary64)) %302)
(/.f64 (*.f64 %233 #s(literal 2 binary64)) %305)
(/.f64 (*.f64 %236 %69) %308)
(/.f64 (*.f64 %236 #s(literal 1 binary64)) %311)
(/.f64 (*.f64 %236 #s(literal 2 binary64)) %314)
(/.f64 (*.f64 %239 %69) %317)
(/.f64 (*.f64 %239 #s(literal 1 binary64)) %320)
(/.f64 (*.f64 %239 #s(literal 2 binary64)) %323)
(/.f64 (*.f64 %242 %69) %299)
(/.f64 (*.f64 %242 #s(literal 1 binary64)) %302)
(/.f64 (*.f64 %242 #s(literal 2 binary64)) %305)
(/.f64 (*.f64 #s(literal -2 binary64) %69) %291)
(/.f64 (*.f64 #s(literal 2 binary64) %69) (*.f64 t %69))
(/.f64 (*.f64 %69 #s(literal 2 binary64)) (*.f64 %69 t))
(/.f64 #s(literal -4 binary64) %269)
(/.f64 #s(literal -4 binary64) %296)
(/.f64 (neg.f64 %214) t)
(/.f64 (neg.f64 %218) %369)
(/.f64 (neg.f64 %222) %372)
(/.f64 (neg.f64 %226) %375)
(/.f64 (neg.f64 %230) %369)
(/.f64 (neg.f64 %233) %369)
(/.f64 (neg.f64 %236) %372)
(/.f64 (neg.f64 %239) %375)
(/.f64 (neg.f64 %242) %369)
(/.f64 %214 %14)
(/.f64 %218 %203)
(/.f64 %222 %198)
(/.f64 %226 %212)
(/.f64 %230 %203)
(/.f64 %233 %203)
(/.f64 %236 %198)
(/.f64 %239 %212)
(/.f64 %242 %203)
(/.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) t))
(/.f64 #s(literal 4 binary64) (*.f64 t #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %189 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %14 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 t #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) %201)
(/.f64 #s(literal -2 binary64) %209)
(/.f64 #s(literal -2 binary64) %14)
(/.f64 #s(literal 2 binary64) %210)
(/.f64 #s(literal 2 binary64) %205)
%189
(neg.f64 (*.f64 %187 #s(literal -2 binary64)))
(neg.f64 (/.f64 #s(literal -2 binary64) t))
(fma.f64 #s(literal -1 binary64) %185 %187)
(fma.f64 %187 #s(literal 1 binary64) %187)
(fma.f64 #s(literal 1 binary64) %187 %187)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %187) %187)
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) t) %187)
(-.f64 %187 (*.f64 #s(literal -1 binary64) %187))
(-.f64 %187 %185)
(+.f64 (/.f64 (*.f64 %187 %14) %14) %187)
(+.f64 %429 (/.f64 %196 %203))
(+.f64 %429 %429)
(+.f64 %433 (/.f64 %209 %198))
(+.f64 %433 (/.f64 %201 %198))
(+.f64 %438 (/.f64 %195 %212))
(+.f64 %438 (/.f64 %206 %212))
(+.f64 %443 (/.f64 %210 %203))
(+.f64 %443 %443)
(+.f64 %187 %187)
(pow.f64 %450 #s(literal 1 binary64))
%450
(/.f64 #s(literal 1 binary64) (pow.f64 %450 #s(literal -1 binary64)))
(pow.f64 %162 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %455)
(neg.f64 %166)
(fma.f64 (*.f64 #s(literal -2 binary64) %459) %459 %17)
(fma.f64 %462 %458 %17)
(fma.f64 %464 #s(literal 2 binary64) %17)
(fma.f64 %459 (*.f64 %459 #s(literal -2 binary64)) %17)
(fma.f64 %13 %14 %468)
(fma.f64 %14 %13 %468)
(fma.f64 %458 %462 %17)
(fma.f64 %72 %38 %17)
%162
(fma.f64 %94 z %17)
(fma.f64 %38 %72 %17)
(fma.f64 #s(literal -2 binary64) %161 %17)
(fma.f64 t y %468)
(fma.f64 z %94 %17)
(fma.f64 #s(literal 2 binary64) %464 %17)
(fma.f64 y t %468)
(-.f64 %468 %22)
(-.f64 %17 %165)
(+.f64 %468 %17)
(+.f64 %17 %468)
(pow.f64 %484 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %484 #s(literal -1 binary64)))
(neg.f64 (-.f64 %489 x))
(neg.f64 (neg.f64 %484))
%484
(fma.f64 z %450 x)
(-.f64 %495 %496)
(-.f64 x %489)
(+.f64 %495 x)
(+.f64 x (*.f64 (neg.f64 %488) z))
(+.f64 x (neg.f64 %489))
(+.f64 x %495)
(*.f64 %507 (/.f64 %24 %506))
(*.f64 %510 (/.f64 %511 %506))
(*.f64 %514 %515)
(*.f64 %517 %518)
(*.f64 (/.f64 #s(literal 2 binary64) %506) (/.f64 %172 %506))
(*.f64 %523 (/.f64 %172 %166))
(*.f64 %526 y)
(*.f64 %163 (pow.f64 %162 #s(literal -2 binary64)))
(*.f64 %530 (/.f64 %511 %166))
(*.f64 %455 %24)
(*.f64 %534 %112)
(*.f64 %536 (/.f64 %511 %162))
(*.f64 %536 #s(literal 2 binary64))
(*.f64 %13 (*.f64 #s(literal 2 binary64) %534))
(*.f64 %13 %523)
(*.f64 %112 %534)
(*.f64 #s(literal 1 binary64) %515)
(*.f64 %24 %455)
(*.f64 #s(literal -2 binary64) %530)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %536))
(*.f64 #s(literal 2 binary64) %536)
(*.f64 y (*.f64 #s(literal -2 binary64) %534))
(*.f64 y %526)
(pow.f64 %515 #s(literal 1 binary64))
(/.f64 (fma.f64 %172 %554 (*.f64 %172 %554)) %557)
(/.f64 (fma.f64 %70 %166 %559) %554)
(/.f64 (fma.f64 %70 %166 %562) %554)
(/.f64 (fma.f64 %70 %162 %565) %567)
(/.f64 (fma.f64 %13 %166 %559) %554)
(/.f64 (fma.f64 y %166 %571) %573)
(/.f64 (+.f64 %13 %70) %166)
(/.f64 (fma.f64 y #s(literal -1 binary64) %13) %166)
(/.f64 (-.f64 %70 y) %166)
(/.f64 (fma.f64 %172 %554 (*.f64 %554 %172)) %557)
(/.f64 (fma.f64 %70 %166 %584) %554)
(/.f64 (fma.f64 %70 %166 %587) %554)
(/.f64 (fma.f64 %70 %162 %176) %567)
(/.f64 (fma.f64 %13 %166 %584) %554)
(/.f64 (fma.f64 y %166 (*.f64 %162 %70)) %573)
(/.f64 (-.f64 %571 %587) %567)
(/.f64 (-.f64 %559 %176) %554)
(/.f64 (-.f64 %562 %176) %554)
(/.f64 (-.f64 %565 %172) %573)
(/.f64 (*.f64 %69 %605) %607)
(/.f64 (*.f64 %69 %609) %611)
(/.f64 (*.f64 %69 %613) %611)
(/.f64 (*.f64 %69 %616) %611)
(/.f64 (*.f64 %69 %619) %621)
(/.f64 (*.f64 %69 %623) %625)
(/.f64 (*.f64 %69 %627) %629)
(/.f64 (*.f64 %69 %631) %621)
(/.f64 (*.f64 %69 %634) %625)
(/.f64 (*.f64 %69 %638) %629)
(/.f64 (*.f64 %69 %641) %625)
(/.f64 (*.f64 %69 %644) %621)
(/.f64 (*.f64 %69 %164) (*.f64 %69 %648))
(/.f64 (*.f64 %69 %163) %621)
(/.f64 (*.f64 %69 %112) %611)
(/.f64 (*.f64 %69 %24) %607)
(/.f64 (*.f64 #s(literal 1 binary64) %605) %658)
(/.f64 (*.f64 #s(literal 1 binary64) %609) %661)
(/.f64 (*.f64 #s(literal 1 binary64) %613) %661)
(/.f64 (*.f64 #s(literal 1 binary64) %616) %661)
(/.f64 (*.f64 #s(literal 1 binary64) %619) %668)
(/.f64 (*.f64 #s(literal 1 binary64) %623) %671)
(/.f64 (*.f64 #s(literal 1 binary64) %627) %674)
(/.f64 (*.f64 #s(literal 1 binary64) %631) %668)
(/.f64 (*.f64 #s(literal 1 binary64) %634) %671)
(/.f64 (*.f64 #s(literal 1 binary64) %638) %674)
(/.f64 (*.f64 #s(literal 1 binary64) %641) %671)
(/.f64 (*.f64 #s(literal 1 binary64) %644) %668)
(/.f64 (*.f64 #s(literal 1 binary64) %164) (*.f64 #s(literal 1 binary64) %648))
(/.f64 (*.f64 #s(literal 1 binary64) %163) %668)
(/.f64 (*.f64 #s(literal 1 binary64) %112) %661)
(/.f64 (*.f64 #s(literal 2 binary64) %605) %694)
(/.f64 (*.f64 #s(literal 2 binary64) %609) %697)
(/.f64 (*.f64 #s(literal 2 binary64) %613) %697)
(/.f64 (*.f64 #s(literal 2 binary64) %616) %697)
(/.f64 (*.f64 #s(literal 2 binary64) %619) %704)
(/.f64 (*.f64 #s(literal 2 binary64) %623) %707)
(/.f64 (*.f64 #s(literal 2 binary64) %627) %710)
(/.f64 (*.f64 #s(literal 2 binary64) %631) %704)
(/.f64 (*.f64 #s(literal 2 binary64) %634) %707)
(/.f64 (*.f64 #s(literal 2 binary64) %638) %710)
(/.f64 (*.f64 #s(literal 2 binary64) %641) %707)
(/.f64 (*.f64 #s(literal 2 binary64) %644) %704)
(/.f64 (*.f64 #s(literal 2 binary64) %164) (*.f64 #s(literal 2 binary64) %648))
(/.f64 (*.f64 #s(literal 2 binary64) %163) %704)
(/.f64 (*.f64 #s(literal 2 binary64) %112) %697)
(/.f64 (*.f64 #s(literal 2 binary64) %24) %694)
(/.f64 (neg.f64 %605) %166)
(/.f64 (neg.f64 %609) %162)
(/.f64 (neg.f64 %613) %162)
(/.f64 (neg.f64 %616) %162)
(/.f64 (neg.f64 %619) %648)
(/.f64 (neg.f64 %623) %554)
(/.f64 (neg.f64 %627) %554)
(/.f64 (neg.f64 %631) %648)
(/.f64 (neg.f64 %634) %554)
(/.f64 (neg.f64 %638) %554)
(/.f64 (neg.f64 %641) %554)
(/.f64 (neg.f64 %644) %648)
(/.f64 (neg.f64 %164) (neg.f64 %648))
(/.f64 %605 %162)
(/.f64 %609 %166)
(/.f64 %613 %166)
(/.f64 %616 %166)
(/.f64 %619 %554)
(/.f64 %623 %567)
(/.f64 %627 %573)
(/.f64 %631 %554)
(/.f64 %634 %567)
(/.f64 %638 %573)
(/.f64 %641 %567)
(/.f64 %644 %554)
(/.f64 %164 %648)
(/.f64 %163 %554)
(/.f64 %112 %166)
(/.f64 #s(literal 1 binary64) (pow.f64 %515 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %554 %163))
(/.f64 #s(literal 1 binary64) (/.f64 %166 %112))
(/.f64 #s(literal 1 binary64) (/.f64 %162 %24))
(/.f64 %24 %658)
%515
(neg.f64 %518)
(fma.f64 %507 %510 %783)
(fma.f64 %507 %510 %785)
(fma.f64 %507 %510 %787)
(fma.f64 %510 %507 %783)
(fma.f64 %510 %507 %785)
(fma.f64 %510 %507 %787)
(fma.f64 %514 %536 %783)
(fma.f64 %514 %536 %785)
(fma.f64 %514 %536 %787)
(fma.f64 %517 %530 %783)
(fma.f64 %517 %530 %785)
(fma.f64 %517 %530 %787)
(fma.f64 %530 %517 %783)
(fma.f64 %530 %517 %785)
(fma.f64 %530 %517 %787)
(fma.f64 %455 y %536)
(fma.f64 %536 %514 %783)
(fma.f64 %536 %514 %785)
(fma.f64 %536 %514 %787)
(fma.f64 %13 %534 %536)
(fma.f64 y %455 %536)
(-.f64 %807 (/.f64 %587 %567))
(-.f64 %787 (/.f64 %637 %554))
(-.f64 %787 (/.f64 %173 %554))
(-.f64 %787 (/.f64 %176 %554))
(-.f64 %787 (/.f64 %179 %554))
(-.f64 %536 (/.f64 %75 %162))
(-.f64 %536 (/.f64 %78 %162))
(-.f64 %536 %530)
(+.f64 %823 (/.f64 %587 %554))
(+.f64 %823 %823)
(+.f64 %807 %787)
(+.f64 %828 %828)
(+.f64 %830 %830)
(+.f64 %832 %832)
(+.f64 %787 %783)
(+.f64 %787 %785)
(+.f64 %787 %787)
(+.f64 %536 %536)
(*.f64 %839 %455)
(pow.f64 %841 #s(literal 1 binary64))
(/.f64 (fma.f64 %838 %554 (*.f64 %843 %162)) %846)
(/.f64 (fma.f64 %838 %166 (*.f64 %849 %162)) %573)
(/.f64 (fma.f64 %838 %554 (*.f64 %853 %162)) %846)
(/.f64 (fma.f64 %838 %166 (*.f64 %857 %162)) %573)
(/.f64 (fma.f64 %838 %162 (*.f64 %848 %162)) %554)
(/.f64 (fma.f64 %838 %554 (*.f64 %162 %843)) %846)
(/.f64 (fma.f64 %838 %166 (*.f64 %162 %849)) %573)
(/.f64 (fma.f64 %838 %554 (*.f64 %162 %853)) %846)
(/.f64 (fma.f64 %838 %166 (*.f64 %162 %857)) %573)
(/.f64 (fma.f64 %838 %162 (*.f64 %162 %848)) %554)
(/.f64 (neg.f64 %879) %162)
(/.f64 (neg.f64 %883) %162)
(/.f64 (neg.f64 %886) %162)
(/.f64 %879 %166)
(/.f64 %883 %166)
(/.f64 %886 %166)
(/.f64 %839 %162)
(/.f64 #s(literal 1 binary64) (pow.f64 %841 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %162 %839))
(neg.f64 (/.f64 %839 %166))
(neg.f64 (-.f64 %899 x))
(neg.f64 (neg.f64 %841))
(fma.f64 %904 %905 %906)
(fma.f64 %904 %905 x)
(fma.f64 %905 %904 %906)
(fma.f64 %905 %904 x)
(fma.f64 %911 %912 %906)
(fma.f64 %911 %912 x)
(fma.f64 %915 %24 %906)
(fma.f64 %915 %24 x)
(fma.f64 %918 y %906)
(fma.f64 %918 y x)
(fma.f64 %921 %526 %906)
(fma.f64 %921 %526 x)
(fma.f64 %921 %455 %924)
(fma.f64 %921 %455 %927)
(fma.f64 %912 %911 %906)
(fma.f64 %912 %911 x)
(fma.f64 %455 %848 %906)
(fma.f64 %455 %848 x)
(fma.f64 %536 %38 %906)
(fma.f64 %536 %38 x)
(fma.f64 %536 z %924)
(fma.f64 %536 z %927)
(fma.f64 %13 %937 %906)
(fma.f64 %13 %937 x)
(fma.f64 %112 %912 %906)
(fma.f64 %112 %912 x)
(fma.f64 %857 %534 %906)
(fma.f64 %857 %534 x)
(fma.f64 %72 %518 %906)
(fma.f64 %72 %518 x)
(fma.f64 %515 z %906)
%841
(fma.f64 %24 %915 %906)
(fma.f64 %24 %915 x)
(fma.f64 %38 %536 %906)
(fma.f64 %38 %536 x)
(fma.f64 %848 %455 %906)
(fma.f64 %848 %455 x)
(fma.f64 z %536 %924)
(fma.f64 z %536 %927)
(fma.f64 z %515 %906)
(fma.f64 z %515 x)
(fma.f64 #s(literal 2 binary64) %926 %906)
(fma.f64 #s(literal 2 binary64) %926 x)
(fma.f64 y %959 %906)
(fma.f64 y %959 x)
(fma.f64 y %915 %924)
(fma.f64 y %915 %927)
(fma.f64 y %918 %906)
(fma.f64 y %918 x)
(-.f64 %906 %899)
(-.f64 %967 %496)
(-.f64 x %899)
(+.f64 (/.f64 (fma.f64 %162 x %921) %162) %926)
(+.f64 (+.f64 x %926) %926)
(+.f64 %906 %967)
(+.f64 %926 %924)
(+.f64 %926 %927)
(+.f64 %967 %906)
(+.f64 %967 x)
(+.f64 x (*.f64 #s(literal -2 binary64) (*.f64 %912 y)))
(+.f64 x %967)
(pow.f64 %984 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %984 #s(literal -1 binary64)))
(neg.f64 (-.f64 %132 %6))
(-.f64 %136 %990)
%984
(+.f64 %136 (neg.f64 %990))
(+.f64 %136 %6)
(+.f64 %6 %136)

%4 = (approx x #s(literal 0 binary64))
%5 = (E.f64 )
%6 = (*.f64 %5 y)
%7 = (*.f64 %5 z)
%8 = (/.f64 %6 %7)
%18 = (approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) %8)
x
y
z
#s(literal 0 binary64)
%4
%5
%6
%7
%8
%18
(-.f64 %4 %18)

%4 = (approx x #s(literal 0 binary64))
%10 = (E.f64 )
%11 = (*.f64 %10 y)
%16 = (*.f64 %11 %10)
%17 = (/.f64 #s(literal 1 binary64) %10)
%19 = (neg.f64 %10)
%20 = (neg.f64 %19)
%22 = (neg.f64 y)
%30 = (*.f64 %11 %19)
%39 = (neg.f64 %11)
%42 = (/.f64 (+.f64 %17 %10) #s(literal 2 binary64))
%44 = (/.f64 (-.f64 %10 %17) #s(literal 2 binary64))
%45 = (*.f64 %44 y)
%47 = (*.f64 y %44)
%53 = (neg.f64 z)
%54 = (neg.f64 %53)
%60 = (*.f64 %10 z)
%64 = (/.f64 #s(literal 1 binary64) %60)
%66 = (neg.f64 %60)
%68 = (*.f64 %44 z)
%70 = (*.f64 z %44)
%76 = (/.f64 y z)
%79 = (/.f64 %10 %53)
%80 = (/.f64 %22 %10)
%82 = (/.f64 %19 z)
%86 = (*.f64 %76 %10)
%88 = (/.f64 %22 z)
%90 = (/.f64 #s(literal -1 binary64) %60)
%92 = (/.f64 #s(literal 1 binary64) z)
%94 = (/.f64 %10 z)
%95 = (/.f64 y %10)
%103 = (/.f64 y %60)
%127 = (*.f64 %94 y)
%130 = (*.f64 %76 %19)
%133 = (*.f64 #s(literal 1 binary64) %22)
%136 = (*.f64 %11 #s(literal -1 binary64))
%139 = (*.f64 %39 %92)
%142 = (*.f64 %92 %11)
%145 = (*.f64 #s(literal -1 binary64) %11)
%148 = (*.f64 %19 %76)
%151 = (*.f64 %39 #s(literal 1 binary64))
%154 = (neg.f64 %86)
%157 = (/.f64 %39 z)
%191 = (*.f64 %44 %103)
%193 = (*.f64 %103 %44)
%208 = (approx (/ (* (* 2 y) z) (- (* (* 2 z) z) (* t y))) %76)
%212 = (neg.f64 %208)
%214 = (-.f64 %4 %208)
%220 = (neg.f64 %4)
x
y
z
#s(literal 0 binary64)
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
%10
(*.f64 (*.f64 %11 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %16 %17)
(*.f64 %20 y)
(*.f64 %19 %22)
(*.f64 %22 %19)
(*.f64 #s(literal 1 binary64) %11)
(*.f64 %11 #s(literal 1 binary64))
%11
(*.f64 y %20)
(*.f64 y %10)
(pow.f64 %11 #s(literal 1 binary64))
(/.f64 (neg.f64 %30) %20)
(/.f64 (neg.f64 %16) %19)
(/.f64 %30 %19)
(/.f64 %16 %10)
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(neg.f64 %39)
(fma.f64 %42 y %45)
(fma.f64 y %42 %47)
(+.f64 (*.f64 y %42) %47)
(+.f64 (*.f64 %42 y) %45)
(*.f64 %54 %10)
(*.f64 %20 z)
(*.f64 %53 %19)
(*.f64 %19 %53)
(*.f64 %10 %54)
%60
(*.f64 z %20)
(*.f64 z %10)
(pow.f64 %60 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %64)
(neg.f64 %66)
(fma.f64 %42 z %68)
(fma.f64 z %42 %70)
(+.f64 (*.f64 z %42) %70)
(+.f64 (*.f64 %42 z) %68)
(*.f64 (*.f64 %76 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %79 %80)
(*.f64 %82 %80)
(*.f64 %80 %79)
(*.f64 %80 %82)
(*.f64 %86 %17)
(*.f64 %88 #s(literal -1 binary64))
(*.f64 %90 %39)
(*.f64 %92 y)
(*.f64 %94 %95)
(*.f64 %95 %94)
(*.f64 %19 (*.f64 y %90))
(*.f64 %19 (/.f64 %22 %60))
(*.f64 #s(literal -1 binary64) %88)
(*.f64 %103 %10)
(*.f64 %22 (*.f64 %10 %90))
(*.f64 %22 (/.f64 %19 %60))
(*.f64 %22 (/.f64 #s(literal -1 binary64) z))
(*.f64 %64 %11)
(*.f64 %76 #s(literal 1 binary64))
(*.f64 %39 %90)
(*.f64 #s(literal 1 binary64) %76)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %76))
(*.f64 %11 %64)
(*.f64 %10 (*.f64 %17 %76))
(*.f64 %10 %103)
(*.f64 y (*.f64 %92 #s(literal 1 binary64)))
(*.f64 y (*.f64 %19 %90))
(*.f64 y %92)
(pow.f64 %76 #s(literal 1 binary64))
(/.f64 (neg.f64 %127) %19)
(/.f64 (neg.f64 %130) %20)
(/.f64 (neg.f64 %133) %54)
(/.f64 (neg.f64 %136) %60)
(/.f64 (neg.f64 %139) %20)
(/.f64 (neg.f64 %142) %19)
(/.f64 (neg.f64 %145) %60)
(/.f64 (neg.f64 %148) %20)
(/.f64 (neg.f64 %151) %60)
(/.f64 (neg.f64 %154) %20)
(/.f64 (neg.f64 %157) %20)
(/.f64 %127 %10)
(/.f64 %130 %19)
(/.f64 %133 %53)
(/.f64 %136 %66)
(/.f64 %139 %19)
(/.f64 %142 %10)
(/.f64 %145 %66)
(/.f64 %148 %19)
(/.f64 %157 %19)
(/.f64 %151 %66)
(/.f64 %154 %19)
(/.f64 %86 %10)
(/.f64 %22 (neg.f64 %54))
(/.f64 %22 %53)
(/.f64 %39 %66)
(/.f64 #s(literal 1 binary64) (pow.f64 %76 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %53 %22))
(/.f64 #s(literal 1 binary64) (/.f64 %10 %86))
(/.f64 #s(literal 1 binary64) (/.f64 %66 %39))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
(/.f64 #s(literal 1 binary64) (/.f64 %60 %11))
(/.f64 %11 %60)
(/.f64 y %54)
%76
(neg.f64 %88)
(fma.f64 %42 %103 %191)
(fma.f64 %103 %42 %193)
(+.f64 (*.f64 %103 %42) %193)
(+.f64 (*.f64 %42 %103) %191)
(pow.f64 %208 #s(literal 1 binary64))
%208
(/.f64 #s(literal 1 binary64) (pow.f64 %208 #s(literal -1 binary64)))
(neg.f64 %212)
(pow.f64 %214 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %214 #s(literal -1 binary64)))
(neg.f64 (-.f64 %208 %4))
(-.f64 %212 %220)
%214
(+.f64 %212 (neg.f64 %220))
(+.f64 %212 %4)
(+.f64 %4 %212)