%2 = (*.f64 x #s(literal 100 binary64))
%4 = (+.f64 x y)
x
#s(literal 100 binary64)
%2
y
%4
(/.f64 %2 %4)

%3 = (*.f64 x #s(literal 200 binary64))
%5 = (/.f64 %3 #s(literal 1/2 binary64))
%8 = (neg.f64 x)
%9 = (/.f64 %8 #s(literal 1/2 binary64))
%12 = (*.f64 #s(literal 100 binary64) x)
%13 = (/.f64 %12 #s(literal 1/2 binary64))
%16 = (/.f64 %8 #s(literal 2 binary64))
%20 = (*.f64 x #s(literal -2 binary64))
%22 = (/.f64 %20 #s(literal 1 binary64))
%24 = (/.f64 x #s(literal 1/2 binary64))
%28 = (/.f64 %20 #s(literal 4 binary64))
%30 = (+.f64 x x)
%31 = (/.f64 %30 #s(literal 4 binary64))
%33 = (*.f64 x #s(literal 1/2 binary64))
%35 = (/.f64 %30 #s(literal 1 binary64))
%38 = (*.f64 #s(literal -1/2 binary64) %12)
%40 = (*.f64 #s(literal 1/2 binary64) %12)
%42 = (*.f64 x #s(literal -200 binary64))
%44 = (/.f64 %12 #s(literal 4 binary64))
%54 = (*.f64 #s(literal -100 binary64) x)
%61 = (E.f64 )
%62 = (*.f64 %61 %3)
%63 = (*.f64 %61 #s(literal 2 binary64))
%65 = (*.f64 %3 %61)
%66 = (*.f64 #s(literal 2 binary64) %61)
%72 = (*.f64 #s(literal -2 binary64) %3)
%75 = (*.f64 #s(literal 2 binary64) %3)
%77 = (*.f64 %42 #s(literal -2 binary64))
%79 = (*.f64 %42 #s(literal 2 binary64))
%81 = (*.f64 %3 #s(literal -2 binary64))
%83 = (*.f64 %3 #s(literal 2 binary64))
%85 = (*.f64 #s(literal 4 binary64) %3)
%88 = (*.f64 %3 #s(literal 4 binary64))
%90 = (*.f64 #s(literal -2 binary64) %42)
%92 = (*.f64 #s(literal 2 binary64) %42)
%103 = (*.f64 %12 #s(literal 0 binary64))
%104 = (*.f64 #s(literal 1 binary64) %103)
%106 = (*.f64 #s(literal 0 binary64) %12)
%107 = (*.f64 #s(literal 1 binary64) %106)
%109 = (*.f64 x #s(literal 0 binary64))
%110 = (*.f64 #s(literal 100 binary64) %109)
%112 = (*.f64 #s(literal 0 binary64) x)
%113 = (*.f64 #s(literal 100 binary64) %112)
%115 = (*.f64 #s(literal -1 binary64) %103)
%117 = (*.f64 #s(literal -1 binary64) %106)
%119 = (*.f64 #s(literal 0 binary64) %40)
%121 = (*.f64 %103 #s(literal 1 binary64))
%123 = (*.f64 %106 #s(literal 1 binary64))
%125 = (*.f64 %109 #s(literal 100 binary64))
%127 = (*.f64 %112 #s(literal 100 binary64))
%129 = (*.f64 %103 #s(literal -1 binary64))
%131 = (*.f64 %106 #s(literal -1 binary64))
%133 = (*.f64 %40 #s(literal 0 binary64))
%135 = (*.f64 %3 #s(literal 0 binary64))
%137 = (*.f64 #s(literal 0 binary64) %3)
%244 = (*.f64 #s(literal 1/2 binary64) %40)
%306 = (*.f64 %33 #s(literal 100 binary64))
%328 = (*.f64 #s(literal 50 binary64) x)
%350 = (*.f64 %38 #s(literal -1 binary64))
%352 = (*.f64 #s(literal 1/2 binary64) x)
%353 = (*.f64 %352 #s(literal 100 binary64))
%355 = (*.f64 %40 #s(literal 1/2 binary64))
%357 = (*.f64 %40 #s(literal 3/2 binary64))
%379 = (*.f64 %40 #s(literal 1 binary64))
%461 = (*.f64 #s(literal -1/2 binary64) %54)
%463 = (*.f64 #s(literal 3/2 binary64) %40)
%546 = (*.f64 #s(literal -1 binary64) %38)
%570 = (*.f64 %54 #s(literal -1/2 binary64))
%593 = (*.f64 #s(literal 1 binary64) %40)
%637 = (*.f64 #s(literal 100 binary64) %33)
%639 = (*.f64 #s(literal 100 binary64) %352)
%661 = (*.f64 x #s(literal 50 binary64))
%726 = (+.f64 y x)
%729 = (*.f64 #s(literal 2 binary64) %726)
%731 = (/.f64 #s(literal 1 binary64) %726)
%733 = (neg.f64 %726)
%739 = (/.f64 #s(literal -200 binary64) %726)
%741 = (/.f64 %20 %726)
%743 = (*.f64 %731 %3)
%745 = (/.f64 %12 %726)
%746 = (*.f64 #s(literal 2 binary64) %745)
%748 = (/.f64 #s(literal 200 binary64) %726)
%750 = (/.f64 %30 %726)
%752 = (/.f64 #s(literal 2 binary64) %726)
%754 = (/.f64 #s(literal -1/2 binary64) %726)
%756 = (/.f64 %745 #s(literal 4 binary64))
%758 = (/.f64 #s(literal 1/2 binary64) %726)
%760 = (/.f64 #s(literal -100 binary64) %726)
%762 = (/.f64 %8 %726)
%764 = (/.f64 x %726)
%766 = (/.f64 %3 %726)
%769 = (/.f64 %745 #s(literal 2 binary64))
%771 = (*.f64 %758 %12)
%773 = (*.f64 #s(literal 1/2 binary64) %745)
%775 = (*.f64 %760 x)
%778 = (/.f64 #s(literal -1 binary64) %726)
%782 = (/.f64 #s(literal 100 binary64) %726)
%792 = (/.f64 #s(literal -2 binary64) %726)
%802 = (*.f64 #s(literal 2 binary64) %733)
%848 = (*.f64 %733 #s(literal 2 binary64))
%851 = (*.f64 %802 #s(literal 2 binary64))
%855 = (*.f64 #s(literal 2 binary64) %729)
%857 = (*.f64 %726 #s(literal 2 binary64))
%860 = (*.f64 %729 #s(literal 2 binary64))
%865 = (*.f64 #s(literal 2 binary64) %802)
%882 = (*.f64 #s(literal -2 binary64) %54)
%883 = (*.f64 #s(literal -2 binary64) %733)
%956 = (*.f64 %743 #s(literal 0 binary64))
%958 = (*.f64 %782 %109)
%960 = (*.f64 %782 %112)
%962 = (*.f64 %745 #s(literal 0 binary64))
%964 = (*.f64 %778 %103)
%966 = (*.f64 %778 %106)
%968 = (*.f64 %731 %103)
%970 = (*.f64 %731 %106)
%972 = (/.f64 #s(literal 0 binary64) %726)
%973 = (*.f64 %54 %972)
%975 = (*.f64 %12 %972)
%977 = (*.f64 %764 #s(literal 0 binary64))
%979 = (*.f64 %109 %782)
%981 = (*.f64 %112 %782)
%983 = (*.f64 #s(literal 0 binary64) %745)
%985 = (*.f64 %103 %778)
%987 = (*.f64 %106 %778)
%989 = (*.f64 %103 %731)
%991 = (*.f64 %106 %731)
%993 = (*.f64 %972 %54)
%995 = (*.f64 %972 %12)
%997 = (*.f64 #s(literal 0 binary64) %764)
%999 = (/.f64 %103 %726)
%1001 = (/.f64 %106 %726)
%1003 = (/.f64 %103 %733)
%1005 = (/.f64 %106 %733)
%1107 = (*.f64 %33 %782)
%1134 = (*.f64 #s(literal 50 binary64) %764)
%1136 = (*.f64 %38 %778)
%1138 = (*.f64 %352 %782)
%1165 = (*.f64 %40 %731)
%1294 = (*.f64 %764 #s(literal 50 binary64))
%1346 = (*.f64 #s(literal 0 binary64) %743)
%1499 = (*.f64 %778 %38)
%1576 = (*.f64 %782 %33)
%1578 = (*.f64 %782 %352)
%1605 = (*.f64 %731 %40)
%1633 = (*.f64 %54 %754)
%1685 = (*.f64 %745 #s(literal 1/2 binary64))
%1713 = (*.f64 %12 %758)
%1807 = (/.f64 %38 %733)
%1809 = (/.f64 %40 %726)
x
#s(literal 100 binary64)
(*.f64 %5 #s(literal 1/4 binary64))
(*.f64 %9 #s(literal -50 binary64))
(*.f64 %13 #s(literal 1/2 binary64))
(*.f64 %16 #s(literal -200 binary64))
(*.f64 #s(literal -50 binary64) %22)
(*.f64 %24 #s(literal 50 binary64))
(*.f64 #s(literal -200 binary64) %28)
(*.f64 #s(literal 200 binary64) %31)
(*.f64 %33 #s(literal 200 binary64))
(*.f64 #s(literal 50 binary64) %35)
(*.f64 %38 #s(literal -2 binary64))
(*.f64 %40 #s(literal 2 binary64))
(*.f64 %42 #s(literal -1/2 binary64))
(*.f64 #s(literal 4 binary64) %44)
(*.f64 %3 #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) %38)
(*.f64 #s(literal 1/2 binary64) %3)
(*.f64 #s(literal 2 binary64) %40)
(*.f64 %8 #s(literal -100 binary64))
(*.f64 #s(literal -100 binary64) %8)
(*.f64 #s(literal -1 binary64) %54)
(*.f64 %54 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %12)
(*.f64 %12 #s(literal 1 binary64))
%12
(*.f64 x #s(literal 100 binary64))
(pow.f64 %12 #s(literal 1 binary64))
(/.f64 %62 %63)
(/.f64 %65 %66)
(/.f64 (*.f64 #s(literal 200 binary64) %30) #s(literal 4 binary64))
(/.f64 (*.f64 %30 #s(literal 200 binary64)) #s(literal 4 binary64))
(/.f64 %72 #s(literal -4 binary64))
(/.f64 %75 #s(literal 4 binary64))
(/.f64 %77 #s(literal 4 binary64))
(/.f64 %79 #s(literal -4 binary64))
(/.f64 %81 #s(literal -4 binary64))
(/.f64 %83 #s(literal 4 binary64))
(/.f64 %85 #s(literal 8 binary64))
(/.f64 %88 #s(literal 8 binary64))
(/.f64 %90 #s(literal 4 binary64))
(/.f64 %92 #s(literal -4 binary64))
(/.f64 %42 #s(literal -2 binary64))
(/.f64 %3 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %3))
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
(/.f64 %12 #s(literal 1 binary64))
(neg.f64 %54)
(fma.f64 %5 #s(literal 1/4 binary64) %104)
(fma.f64 %5 #s(literal 1/4 binary64) %107)
(fma.f64 %5 #s(literal 1/4 binary64) %110)
(fma.f64 %5 #s(literal 1/4 binary64) %113)
(fma.f64 %5 #s(literal 1/4 binary64) %115)
(fma.f64 %5 #s(literal 1/4 binary64) %117)
(fma.f64 %5 #s(literal 1/4 binary64) %119)
(fma.f64 %5 #s(literal 1/4 binary64) %121)
(fma.f64 %5 #s(literal 1/4 binary64) %123)
(fma.f64 %5 #s(literal 1/4 binary64) %125)
(fma.f64 %5 #s(literal 1/4 binary64) %127)
(fma.f64 %5 #s(literal 1/4 binary64) %129)
(fma.f64 %5 #s(literal 1/4 binary64) %131)
(fma.f64 %5 #s(literal 1/4 binary64) %133)
(fma.f64 %5 #s(literal 1/4 binary64) %135)
(fma.f64 %5 #s(literal 1/4 binary64) %137)
(fma.f64 %5 #s(literal 1/4 binary64) %109)
(fma.f64 %5 #s(literal 1/4 binary64) %103)
(fma.f64 %5 #s(literal 1/4 binary64) %112)
(fma.f64 %5 #s(literal 1/4 binary64) %106)
(fma.f64 %9 #s(literal -50 binary64) %104)
(fma.f64 %9 #s(literal -50 binary64) %107)
(fma.f64 %9 #s(literal -50 binary64) %110)
(fma.f64 %9 #s(literal -50 binary64) %113)
(fma.f64 %9 #s(literal -50 binary64) %115)
(fma.f64 %9 #s(literal -50 binary64) %117)
(fma.f64 %9 #s(literal -50 binary64) %119)
(fma.f64 %9 #s(literal -50 binary64) %121)
(fma.f64 %9 #s(literal -50 binary64) %123)
(fma.f64 %9 #s(literal -50 binary64) %125)
(fma.f64 %9 #s(literal -50 binary64) %127)
(fma.f64 %9 #s(literal -50 binary64) %129)
(fma.f64 %9 #s(literal -50 binary64) %131)
(fma.f64 %9 #s(literal -50 binary64) %133)
(fma.f64 %9 #s(literal -50 binary64) %135)
(fma.f64 %9 #s(literal -50 binary64) %137)
(fma.f64 %9 #s(literal -50 binary64) %109)
(fma.f64 %9 #s(literal -50 binary64) %103)
(fma.f64 %9 #s(literal -50 binary64) %112)
(fma.f64 %9 #s(literal -50 binary64) %106)
(fma.f64 %13 #s(literal 1/2 binary64) %104)
(fma.f64 %13 #s(literal 1/2 binary64) %107)
(fma.f64 %13 #s(literal 1/2 binary64) %110)
(fma.f64 %13 #s(literal 1/2 binary64) %113)
(fma.f64 %13 #s(literal 1/2 binary64) %115)
(fma.f64 %13 #s(literal 1/2 binary64) %117)
(fma.f64 %13 #s(literal 1/2 binary64) %119)
(fma.f64 %13 #s(literal 1/2 binary64) %121)
(fma.f64 %13 #s(literal 1/2 binary64) %123)
(fma.f64 %13 #s(literal 1/2 binary64) %125)
(fma.f64 %13 #s(literal 1/2 binary64) %127)
(fma.f64 %13 #s(literal 1/2 binary64) %129)
(fma.f64 %13 #s(literal 1/2 binary64) %131)
(fma.f64 %13 #s(literal 1/2 binary64) %133)
(fma.f64 %13 #s(literal 1/2 binary64) %135)
(fma.f64 %13 #s(literal 1/2 binary64) %137)
(fma.f64 %13 #s(literal 1/2 binary64) %109)
(fma.f64 %13 #s(literal 1/2 binary64) %103)
(fma.f64 %13 #s(literal 1/2 binary64) %112)
(fma.f64 %13 #s(literal 1/2 binary64) %106)
(fma.f64 %16 #s(literal -200 binary64) %104)
(fma.f64 %16 #s(literal -200 binary64) %107)
(fma.f64 %16 #s(literal -200 binary64) %110)
(fma.f64 %16 #s(literal -200 binary64) %113)
(fma.f64 %16 #s(literal -200 binary64) %115)
(fma.f64 %16 #s(literal -200 binary64) %117)
(fma.f64 %16 #s(literal -200 binary64) %119)
(fma.f64 %16 #s(literal -200 binary64) %121)
(fma.f64 %16 #s(literal -200 binary64) %123)
(fma.f64 %16 #s(literal -200 binary64) %125)
(fma.f64 %16 #s(literal -200 binary64) %127)
(fma.f64 %16 #s(literal -200 binary64) %129)
(fma.f64 %16 #s(literal -200 binary64) %131)
(fma.f64 %16 #s(literal -200 binary64) %133)
(fma.f64 %16 #s(literal -200 binary64) %135)
(fma.f64 %16 #s(literal -200 binary64) %137)
(fma.f64 %16 #s(literal -200 binary64) %109)
(fma.f64 %16 #s(literal -200 binary64) %103)
(fma.f64 %16 #s(literal -200 binary64) %112)
(fma.f64 %16 #s(literal -200 binary64) %106)
(fma.f64 #s(literal -50 binary64) %22 %104)
(fma.f64 #s(literal -50 binary64) %22 %107)
(fma.f64 #s(literal -50 binary64) %22 %110)
(fma.f64 #s(literal -50 binary64) %22 %113)
(fma.f64 #s(literal -50 binary64) %22 %115)
(fma.f64 #s(literal -50 binary64) %22 %117)
(fma.f64 #s(literal -50 binary64) %22 %119)
(fma.f64 #s(literal -50 binary64) %22 %121)
(fma.f64 #s(literal -50 binary64) %22 %123)
(fma.f64 #s(literal -50 binary64) %22 %125)
(fma.f64 #s(literal -50 binary64) %22 %127)
(fma.f64 #s(literal -50 binary64) %22 %129)
(fma.f64 #s(literal -50 binary64) %22 %131)
(fma.f64 #s(literal -50 binary64) %22 %133)
(fma.f64 #s(literal -50 binary64) %22 %135)
(fma.f64 #s(literal -50 binary64) %22 %137)
(fma.f64 #s(literal -50 binary64) %22 %109)
(fma.f64 #s(literal -50 binary64) %22 %103)
(fma.f64 #s(literal -50 binary64) %22 %112)
(fma.f64 #s(literal -50 binary64) %22 %106)
(fma.f64 %24 #s(literal 50 binary64) %104)
(fma.f64 %24 #s(literal 50 binary64) %107)
(fma.f64 %24 #s(literal 50 binary64) %110)
(fma.f64 %24 #s(literal 50 binary64) %113)
(fma.f64 %24 #s(literal 50 binary64) %115)
(fma.f64 %24 #s(literal 50 binary64) %117)
(fma.f64 %24 #s(literal 50 binary64) %119)
(fma.f64 %24 #s(literal 50 binary64) %121)
(fma.f64 %24 #s(literal 50 binary64) %123)
(fma.f64 %24 #s(literal 50 binary64) %125)
(fma.f64 %24 #s(literal 50 binary64) %127)
(fma.f64 %24 #s(literal 50 binary64) %129)
(fma.f64 %24 #s(literal 50 binary64) %131)
(fma.f64 %24 #s(literal 50 binary64) %133)
(fma.f64 %24 #s(literal 50 binary64) %135)
(fma.f64 %24 #s(literal 50 binary64) %137)
(fma.f64 %24 #s(literal 50 binary64) %109)
(fma.f64 %24 #s(literal 50 binary64) %103)
(fma.f64 %24 #s(literal 50 binary64) %112)
(fma.f64 %24 #s(literal 50 binary64) %106)
(fma.f64 #s(literal 3/2 binary64) %40 %244)
(fma.f64 #s(literal -200 binary64) %28 %104)
(fma.f64 #s(literal -200 binary64) %28 %107)
(fma.f64 #s(literal -200 binary64) %28 %110)
(fma.f64 #s(literal -200 binary64) %28 %113)
(fma.f64 #s(literal -200 binary64) %28 %115)
(fma.f64 #s(literal -200 binary64) %28 %117)
(fma.f64 #s(literal -200 binary64) %28 %119)
(fma.f64 #s(literal -200 binary64) %28 %121)
(fma.f64 #s(literal -200 binary64) %28 %123)
(fma.f64 #s(literal -200 binary64) %28 %125)
(fma.f64 #s(literal -200 binary64) %28 %127)
(fma.f64 #s(literal -200 binary64) %28 %129)
(fma.f64 #s(literal -200 binary64) %28 %131)
(fma.f64 #s(literal -200 binary64) %28 %133)
(fma.f64 #s(literal -200 binary64) %28 %135)
(fma.f64 #s(literal -200 binary64) %28 %137)
(fma.f64 #s(literal -200 binary64) %28 %109)
(fma.f64 #s(literal -200 binary64) %28 %103)
(fma.f64 #s(literal -200 binary64) %28 %112)
(fma.f64 #s(literal -200 binary64) %28 %106)
(fma.f64 #s(literal 200 binary64) %31 %104)
(fma.f64 #s(literal 200 binary64) %31 %107)
(fma.f64 #s(literal 200 binary64) %31 %110)
(fma.f64 #s(literal 200 binary64) %31 %113)
(fma.f64 #s(literal 200 binary64) %31 %115)
(fma.f64 #s(literal 200 binary64) %31 %117)
(fma.f64 #s(literal 200 binary64) %31 %119)
(fma.f64 #s(literal 200 binary64) %31 %121)
(fma.f64 #s(literal 200 binary64) %31 %123)
(fma.f64 #s(literal 200 binary64) %31 %125)
(fma.f64 #s(literal 200 binary64) %31 %127)
(fma.f64 #s(literal 200 binary64) %31 %129)
(fma.f64 #s(literal 200 binary64) %31 %131)
(fma.f64 #s(literal 200 binary64) %31 %133)
(fma.f64 #s(literal 200 binary64) %31 %135)
(fma.f64 #s(literal 200 binary64) %31 %137)
(fma.f64 #s(literal 200 binary64) %31 %109)
(fma.f64 #s(literal 200 binary64) %31 %103)
(fma.f64 #s(literal 200 binary64) %31 %112)
(fma.f64 #s(literal 200 binary64) %31 %106)
(fma.f64 %33 #s(literal 200 binary64) %104)
(fma.f64 %33 #s(literal 200 binary64) %107)
(fma.f64 %33 #s(literal 200 binary64) %110)
(fma.f64 %33 #s(literal 200 binary64) %113)
(fma.f64 %33 #s(literal 200 binary64) %115)
(fma.f64 %33 #s(literal 200 binary64) %117)
(fma.f64 %33 #s(literal 200 binary64) %119)
(fma.f64 %33 #s(literal 200 binary64) %121)
(fma.f64 %33 #s(literal 200 binary64) %123)
(fma.f64 %33 #s(literal 200 binary64) %125)
(fma.f64 %33 #s(literal 200 binary64) %127)
(fma.f64 %33 #s(literal 200 binary64) %129)
(fma.f64 %33 #s(literal 200 binary64) %131)
(fma.f64 %33 #s(literal 200 binary64) %133)
(fma.f64 %33 #s(literal 200 binary64) %135)
(fma.f64 %33 #s(literal 200 binary64) %137)
(fma.f64 %33 #s(literal 200 binary64) %109)
(fma.f64 %33 #s(literal 200 binary64) %103)
(fma.f64 %33 #s(literal 200 binary64) %112)
(fma.f64 %33 #s(literal 200 binary64) %106)
(fma.f64 %33 #s(literal 100 binary64) %306)
(fma.f64 #s(literal 50 binary64) %35 %104)
(fma.f64 #s(literal 50 binary64) %35 %107)
(fma.f64 #s(literal 50 binary64) %35 %110)
(fma.f64 #s(literal 50 binary64) %35 %113)
(fma.f64 #s(literal 50 binary64) %35 %115)
(fma.f64 #s(literal 50 binary64) %35 %117)
(fma.f64 #s(literal 50 binary64) %35 %119)
(fma.f64 #s(literal 50 binary64) %35 %121)
(fma.f64 #s(literal 50 binary64) %35 %123)
(fma.f64 #s(literal 50 binary64) %35 %125)
(fma.f64 #s(literal 50 binary64) %35 %127)
(fma.f64 #s(literal 50 binary64) %35 %129)
(fma.f64 #s(literal 50 binary64) %35 %131)
(fma.f64 #s(literal 50 binary64) %35 %133)
(fma.f64 #s(literal 50 binary64) %35 %135)
(fma.f64 #s(literal 50 binary64) %35 %137)
(fma.f64 #s(literal 50 binary64) %35 %109)
(fma.f64 #s(literal 50 binary64) %35 %103)
(fma.f64 #s(literal 50 binary64) %35 %112)
(fma.f64 #s(literal 50 binary64) %35 %106)
(fma.f64 #s(literal 50 binary64) x %328)
(fma.f64 %38 #s(literal -2 binary64) %104)
(fma.f64 %38 #s(literal -2 binary64) %107)
(fma.f64 %38 #s(literal -2 binary64) %110)
(fma.f64 %38 #s(literal -2 binary64) %113)
(fma.f64 %38 #s(literal -2 binary64) %115)
(fma.f64 %38 #s(literal -2 binary64) %117)
(fma.f64 %38 #s(literal -2 binary64) %119)
(fma.f64 %38 #s(literal -2 binary64) %121)
(fma.f64 %38 #s(literal -2 binary64) %123)
(fma.f64 %38 #s(literal -2 binary64) %125)
(fma.f64 %38 #s(literal -2 binary64) %127)
(fma.f64 %38 #s(literal -2 binary64) %129)
(fma.f64 %38 #s(literal -2 binary64) %131)
(fma.f64 %38 #s(literal -2 binary64) %133)
(fma.f64 %38 #s(literal -2 binary64) %135)
(fma.f64 %38 #s(literal -2 binary64) %137)
(fma.f64 %38 #s(literal -2 binary64) %109)
(fma.f64 %38 #s(literal -2 binary64) %103)
(fma.f64 %38 #s(literal -2 binary64) %112)
(fma.f64 %38 #s(literal -2 binary64) %106)
(fma.f64 %38 #s(literal -1 binary64) %350)
(fma.f64 %352 #s(literal 100 binary64) %353)
(fma.f64 %40 #s(literal 3/2 binary64) %355)
(fma.f64 %40 #s(literal 1/2 binary64) %357)
(fma.f64 %40 #s(literal 2 binary64) %104)
(fma.f64 %40 #s(literal 2 binary64) %107)
(fma.f64 %40 #s(literal 2 binary64) %110)
(fma.f64 %40 #s(literal 2 binary64) %113)
(fma.f64 %40 #s(literal 2 binary64) %115)
(fma.f64 %40 #s(literal 2 binary64) %117)
(fma.f64 %40 #s(literal 2 binary64) %119)
(fma.f64 %40 #s(literal 2 binary64) %121)
(fma.f64 %40 #s(literal 2 binary64) %123)
(fma.f64 %40 #s(literal 2 binary64) %125)
(fma.f64 %40 #s(literal 2 binary64) %127)
(fma.f64 %40 #s(literal 2 binary64) %129)
(fma.f64 %40 #s(literal 2 binary64) %131)
(fma.f64 %40 #s(literal 2 binary64) %133)
(fma.f64 %40 #s(literal 2 binary64) %135)
(fma.f64 %40 #s(literal 2 binary64) %137)
(fma.f64 %40 #s(literal 2 binary64) %109)
(fma.f64 %40 #s(literal 2 binary64) %103)
(fma.f64 %40 #s(literal 2 binary64) %112)
(fma.f64 %40 #s(literal 2 binary64) %106)
(fma.f64 %40 #s(literal 1 binary64) %379)
(fma.f64 %42 #s(literal -1/2 binary64) %104)
(fma.f64 %42 #s(literal -1/2 binary64) %107)
(fma.f64 %42 #s(literal -1/2 binary64) %110)
(fma.f64 %42 #s(literal -1/2 binary64) %113)
(fma.f64 %42 #s(literal -1/2 binary64) %115)
(fma.f64 %42 #s(literal -1/2 binary64) %117)
(fma.f64 %42 #s(literal -1/2 binary64) %119)
(fma.f64 %42 #s(literal -1/2 binary64) %121)
(fma.f64 %42 #s(literal -1/2 binary64) %123)
(fma.f64 %42 #s(literal -1/2 binary64) %125)
(fma.f64 %42 #s(literal -1/2 binary64) %127)
(fma.f64 %42 #s(literal -1/2 binary64) %129)
(fma.f64 %42 #s(literal -1/2 binary64) %131)
(fma.f64 %42 #s(literal -1/2 binary64) %133)
(fma.f64 %42 #s(literal -1/2 binary64) %135)
(fma.f64 %42 #s(literal -1/2 binary64) %137)
(fma.f64 %42 #s(literal -1/2 binary64) %109)
(fma.f64 %42 #s(literal -1/2 binary64) %103)
(fma.f64 %42 #s(literal -1/2 binary64) %112)
(fma.f64 %42 #s(literal -1/2 binary64) %106)
(fma.f64 #s(literal 4 binary64) %44 %104)
(fma.f64 #s(literal 4 binary64) %44 %107)
(fma.f64 #s(literal 4 binary64) %44 %110)
(fma.f64 #s(literal 4 binary64) %44 %113)
(fma.f64 #s(literal 4 binary64) %44 %115)
(fma.f64 #s(literal 4 binary64) %44 %117)
(fma.f64 #s(literal 4 binary64) %44 %119)
(fma.f64 #s(literal 4 binary64) %44 %121)
(fma.f64 #s(literal 4 binary64) %44 %123)
(fma.f64 #s(literal 4 binary64) %44 %125)
(fma.f64 #s(literal 4 binary64) %44 %127)
(fma.f64 #s(literal 4 binary64) %44 %129)
(fma.f64 #s(literal 4 binary64) %44 %131)
(fma.f64 #s(literal 4 binary64) %44 %133)
(fma.f64 #s(literal 4 binary64) %44 %135)
(fma.f64 #s(literal 4 binary64) %44 %137)
(fma.f64 #s(literal 4 binary64) %44 %109)
(fma.f64 #s(literal 4 binary64) %44 %103)
(fma.f64 #s(literal 4 binary64) %44 %112)
(fma.f64 #s(literal 4 binary64) %44 %106)
(fma.f64 %3 #s(literal 1/2 binary64) %104)
(fma.f64 %3 #s(literal 1/2 binary64) %107)
(fma.f64 %3 #s(literal 1/2 binary64) %110)
(fma.f64 %3 #s(literal 1/2 binary64) %113)
(fma.f64 %3 #s(literal 1/2 binary64) %115)
(fma.f64 %3 #s(literal 1/2 binary64) %117)
(fma.f64 %3 #s(literal 1/2 binary64) %119)
(fma.f64 %3 #s(literal 1/2 binary64) %121)
(fma.f64 %3 #s(literal 1/2 binary64) %123)
(fma.f64 %3 #s(literal 1/2 binary64) %125)
(fma.f64 %3 #s(literal 1/2 binary64) %127)
(fma.f64 %3 #s(literal 1/2 binary64) %129)
(fma.f64 %3 #s(literal 1/2 binary64) %131)
(fma.f64 %3 #s(literal 1/2 binary64) %133)
(fma.f64 %3 #s(literal 1/2 binary64) %135)
(fma.f64 %3 #s(literal 1/2 binary64) %137)
(fma.f64 %3 #s(literal 1/2 binary64) %109)
(fma.f64 %3 #s(literal 1/2 binary64) %103)
(fma.f64 %3 #s(literal 1/2 binary64) %112)
(fma.f64 %3 #s(literal 1/2 binary64) %106)
(fma.f64 #s(literal -2 binary64) %38 %104)
(fma.f64 #s(literal -2 binary64) %38 %107)
(fma.f64 #s(literal -2 binary64) %38 %110)
(fma.f64 #s(literal -2 binary64) %38 %113)
(fma.f64 #s(literal -2 binary64) %38 %115)
(fma.f64 #s(literal -2 binary64) %38 %117)
(fma.f64 #s(literal -2 binary64) %38 %119)
(fma.f64 #s(literal -2 binary64) %38 %121)
(fma.f64 #s(literal -2 binary64) %38 %123)
(fma.f64 #s(literal -2 binary64) %38 %125)
(fma.f64 #s(literal -2 binary64) %38 %127)
(fma.f64 #s(literal -2 binary64) %38 %129)
(fma.f64 #s(literal -2 binary64) %38 %131)
(fma.f64 #s(literal -2 binary64) %38 %133)
(fma.f64 #s(literal -2 binary64) %38 %135)
(fma.f64 #s(literal -2 binary64) %38 %137)
(fma.f64 #s(literal -2 binary64) %38 %109)
(fma.f64 #s(literal -2 binary64) %38 %103)
(fma.f64 #s(literal -2 binary64) %38 %112)
(fma.f64 #s(literal -2 binary64) %38 %106)
(fma.f64 #s(literal -1/2 binary64) %54 %461)
(fma.f64 #s(literal 1/2 binary64) %40 %463)
(fma.f64 #s(literal 1/2 binary64) %3 %104)
(fma.f64 #s(literal 1/2 binary64) %3 %107)
(fma.f64 #s(literal 1/2 binary64) %3 %110)
(fma.f64 #s(literal 1/2 binary64) %3 %113)
(fma.f64 #s(literal 1/2 binary64) %3 %115)
(fma.f64 #s(literal 1/2 binary64) %3 %117)
(fma.f64 #s(literal 1/2 binary64) %3 %119)
(fma.f64 #s(literal 1/2 binary64) %3 %121)
(fma.f64 #s(literal 1/2 binary64) %3 %123)
(fma.f64 #s(literal 1/2 binary64) %3 %125)
(fma.f64 #s(literal 1/2 binary64) %3 %127)
(fma.f64 #s(literal 1/2 binary64) %3 %129)
(fma.f64 #s(literal 1/2 binary64) %3 %131)
(fma.f64 #s(literal 1/2 binary64) %3 %133)
(fma.f64 #s(literal 1/2 binary64) %3 %135)
(fma.f64 #s(literal 1/2 binary64) %3 %137)
(fma.f64 #s(literal 1/2 binary64) %3 %109)
(fma.f64 #s(literal 1/2 binary64) %3 %103)
(fma.f64 #s(literal 1/2 binary64) %3 %112)
(fma.f64 #s(literal 1/2 binary64) %3 %106)
(fma.f64 #s(literal 1/2 binary64) %12 %40)
(fma.f64 #s(literal 2 binary64) %40 %104)
(fma.f64 #s(literal 2 binary64) %40 %107)
(fma.f64 #s(literal 2 binary64) %40 %110)
(fma.f64 #s(literal 2 binary64) %40 %113)
(fma.f64 #s(literal 2 binary64) %40 %115)
(fma.f64 #s(literal 2 binary64) %40 %117)
(fma.f64 #s(literal 2 binary64) %40 %119)
(fma.f64 #s(literal 2 binary64) %40 %121)
(fma.f64 #s(literal 2 binary64) %40 %123)
(fma.f64 #s(literal 2 binary64) %40 %125)
(fma.f64 #s(literal 2 binary64) %40 %127)
(fma.f64 #s(literal 2 binary64) %40 %129)
(fma.f64 #s(literal 2 binary64) %40 %131)
(fma.f64 #s(literal 2 binary64) %40 %133)
(fma.f64 #s(literal 2 binary64) %40 %135)
(fma.f64 #s(literal 2 binary64) %40 %137)
(fma.f64 #s(literal 2 binary64) %40 %109)
(fma.f64 #s(literal 2 binary64) %40 %103)
(fma.f64 #s(literal 2 binary64) %40 %112)
(fma.f64 #s(literal 2 binary64) %40 %106)
(fma.f64 %8 #s(literal -100 binary64) %104)
(fma.f64 %8 #s(literal -100 binary64) %107)
(fma.f64 %8 #s(literal -100 binary64) %110)
(fma.f64 %8 #s(literal -100 binary64) %113)
(fma.f64 %8 #s(literal -100 binary64) %115)
(fma.f64 %8 #s(literal -100 binary64) %117)
(fma.f64 %8 #s(literal -100 binary64) %119)
(fma.f64 %8 #s(literal -100 binary64) %121)
(fma.f64 %8 #s(literal -100 binary64) %123)
(fma.f64 %8 #s(literal -100 binary64) %125)
(fma.f64 %8 #s(literal -100 binary64) %127)
(fma.f64 %8 #s(literal -100 binary64) %129)
(fma.f64 %8 #s(literal -100 binary64) %131)
(fma.f64 %8 #s(literal -100 binary64) %133)
(fma.f64 %8 #s(literal -100 binary64) %135)
(fma.f64 %8 #s(literal -100 binary64) %137)
(fma.f64 %8 #s(literal -100 binary64) %109)
(fma.f64 %8 #s(literal -100 binary64) %103)
(fma.f64 %8 #s(literal -100 binary64) %112)
(fma.f64 %8 #s(literal -100 binary64) %106)
(fma.f64 #s(literal -100 binary64) %8 %104)
(fma.f64 #s(literal -100 binary64) %8 %107)
(fma.f64 #s(literal -100 binary64) %8 %110)
(fma.f64 #s(literal -100 binary64) %8 %113)
(fma.f64 #s(literal -100 binary64) %8 %115)
(fma.f64 #s(literal -100 binary64) %8 %117)
(fma.f64 #s(literal -100 binary64) %8 %119)
(fma.f64 #s(literal -100 binary64) %8 %121)
(fma.f64 #s(literal -100 binary64) %8 %123)
(fma.f64 #s(literal -100 binary64) %8 %125)
(fma.f64 #s(literal -100 binary64) %8 %127)
(fma.f64 #s(literal -100 binary64) %8 %129)
(fma.f64 #s(literal -100 binary64) %8 %131)
(fma.f64 #s(literal -100 binary64) %8 %133)
(fma.f64 #s(literal -100 binary64) %8 %135)
(fma.f64 #s(literal -100 binary64) %8 %137)
(fma.f64 #s(literal -100 binary64) %8 %109)
(fma.f64 #s(literal -100 binary64) %8 %103)
(fma.f64 #s(literal -100 binary64) %8 %112)
(fma.f64 #s(literal -100 binary64) %8 %106)
(fma.f64 #s(literal -1 binary64) %38 %546)
(fma.f64 #s(literal -1 binary64) %54 %104)
(fma.f64 #s(literal -1 binary64) %54 %107)
(fma.f64 #s(literal -1 binary64) %54 %110)
(fma.f64 #s(literal -1 binary64) %54 %113)
(fma.f64 #s(literal -1 binary64) %54 %115)
(fma.f64 #s(literal -1 binary64) %54 %117)
(fma.f64 #s(literal -1 binary64) %54 %119)
(fma.f64 #s(literal -1 binary64) %54 %121)
(fma.f64 #s(literal -1 binary64) %54 %123)
(fma.f64 #s(literal -1 binary64) %54 %125)
(fma.f64 #s(literal -1 binary64) %54 %127)
(fma.f64 #s(literal -1 binary64) %54 %129)
(fma.f64 #s(literal -1 binary64) %54 %131)
(fma.f64 #s(literal -1 binary64) %54 %133)
(fma.f64 #s(literal -1 binary64) %54 %135)
(fma.f64 #s(literal -1 binary64) %54 %137)
(fma.f64 #s(literal -1 binary64) %54 %109)
(fma.f64 #s(literal -1 binary64) %54 %103)
(fma.f64 #s(literal -1 binary64) %54 %112)
(fma.f64 #s(literal -1 binary64) %54 %106)
(fma.f64 #s(literal 0 binary64) %54 %12)
(fma.f64 #s(literal 0 binary64) %12 %12)
(fma.f64 %54 #s(literal -1/2 binary64) %570)
(fma.f64 %54 #s(literal -1 binary64) %104)
(fma.f64 %54 #s(literal -1 binary64) %107)
(fma.f64 %54 #s(literal -1 binary64) %110)
(fma.f64 %54 #s(literal -1 binary64) %113)
(fma.f64 %54 #s(literal -1 binary64) %115)
(fma.f64 %54 #s(literal -1 binary64) %117)
(fma.f64 %54 #s(literal -1 binary64) %119)
(fma.f64 %54 #s(literal -1 binary64) %121)
(fma.f64 %54 #s(literal -1 binary64) %123)
(fma.f64 %54 #s(literal -1 binary64) %125)
(fma.f64 %54 #s(literal -1 binary64) %127)
(fma.f64 %54 #s(literal -1 binary64) %129)
(fma.f64 %54 #s(literal -1 binary64) %131)
(fma.f64 %54 #s(literal -1 binary64) %133)
(fma.f64 %54 #s(literal -1 binary64) %135)
(fma.f64 %54 #s(literal -1 binary64) %137)
(fma.f64 %54 #s(literal -1 binary64) %109)
(fma.f64 %54 #s(literal -1 binary64) %103)
(fma.f64 %54 #s(literal -1 binary64) %112)
(fma.f64 %54 #s(literal -1 binary64) %106)
(fma.f64 %54 #s(literal 0 binary64) %12)
(fma.f64 #s(literal 1 binary64) %40 %593)
(fma.f64 #s(literal 1 binary64) %12 %104)
(fma.f64 #s(literal 1 binary64) %12 %107)
(fma.f64 #s(literal 1 binary64) %12 %110)
(fma.f64 #s(literal 1 binary64) %12 %113)
(fma.f64 #s(literal 1 binary64) %12 %115)
(fma.f64 #s(literal 1 binary64) %12 %117)
(fma.f64 #s(literal 1 binary64) %12 %119)
(fma.f64 #s(literal 1 binary64) %12 %121)
(fma.f64 #s(literal 1 binary64) %12 %123)
(fma.f64 #s(literal 1 binary64) %12 %125)
(fma.f64 #s(literal 1 binary64) %12 %127)
(fma.f64 #s(literal 1 binary64) %12 %129)
(fma.f64 #s(literal 1 binary64) %12 %131)
(fma.f64 #s(literal 1 binary64) %12 %133)
(fma.f64 #s(literal 1 binary64) %12 %135)
(fma.f64 #s(literal 1 binary64) %12 %137)
(fma.f64 #s(literal 1 binary64) %12 %109)
(fma.f64 #s(literal 1 binary64) %12 %103)
(fma.f64 #s(literal 1 binary64) %12 %112)
(fma.f64 #s(literal 1 binary64) %12 %106)
(fma.f64 %12 #s(literal 1/2 binary64) %40)
(fma.f64 %12 #s(literal 0 binary64) %12)
(fma.f64 %12 #s(literal 1 binary64) %104)
(fma.f64 %12 #s(literal 1 binary64) %107)
(fma.f64 %12 #s(literal 1 binary64) %110)
(fma.f64 %12 #s(literal 1 binary64) %113)
(fma.f64 %12 #s(literal 1 binary64) %115)
(fma.f64 %12 #s(literal 1 binary64) %117)
(fma.f64 %12 #s(literal 1 binary64) %119)
(fma.f64 %12 #s(literal 1 binary64) %121)
(fma.f64 %12 #s(literal 1 binary64) %123)
(fma.f64 %12 #s(literal 1 binary64) %125)
(fma.f64 %12 #s(literal 1 binary64) %127)
(fma.f64 %12 #s(literal 1 binary64) %129)
(fma.f64 %12 #s(literal 1 binary64) %131)
(fma.f64 %12 #s(literal 1 binary64) %133)
(fma.f64 %12 #s(literal 1 binary64) %135)
(fma.f64 %12 #s(literal 1 binary64) %137)
(fma.f64 %12 #s(literal 1 binary64) %109)
(fma.f64 %12 #s(literal 1 binary64) %103)
(fma.f64 %12 #s(literal 1 binary64) %112)
(fma.f64 %12 #s(literal 1 binary64) %106)
(fma.f64 #s(literal 100 binary64) %33 %637)
(fma.f64 #s(literal 100 binary64) %352 %639)
(fma.f64 #s(literal 100 binary64) x %104)
(fma.f64 #s(literal 100 binary64) x %107)
(fma.f64 #s(literal 100 binary64) x %110)
(fma.f64 #s(literal 100 binary64) x %113)
(fma.f64 #s(literal 100 binary64) x %115)
(fma.f64 #s(literal 100 binary64) x %117)
(fma.f64 #s(literal 100 binary64) x %119)
(fma.f64 #s(literal 100 binary64) x %121)
(fma.f64 #s(literal 100 binary64) x %123)
(fma.f64 #s(literal 100 binary64) x %125)
(fma.f64 #s(literal 100 binary64) x %127)
(fma.f64 #s(literal 100 binary64) x %129)
(fma.f64 #s(literal 100 binary64) x %131)
(fma.f64 #s(literal 100 binary64) x %133)
(fma.f64 #s(literal 100 binary64) x %135)
(fma.f64 #s(literal 100 binary64) x %137)
(fma.f64 #s(literal 100 binary64) x %109)
(fma.f64 #s(literal 100 binary64) x %103)
(fma.f64 #s(literal 100 binary64) x %112)
(fma.f64 #s(literal 100 binary64) x %106)
(fma.f64 x #s(literal 50 binary64) %661)
(fma.f64 x #s(literal 100 binary64) %104)
(fma.f64 x #s(literal 100 binary64) %107)
(fma.f64 x #s(literal 100 binary64) %110)
(fma.f64 x #s(literal 100 binary64) %113)
(fma.f64 x #s(literal 100 binary64) %115)
(fma.f64 x #s(literal 100 binary64) %117)
(fma.f64 x #s(literal 100 binary64) %119)
(fma.f64 x #s(literal 100 binary64) %121)
(fma.f64 x #s(literal 100 binary64) %123)
(fma.f64 x #s(literal 100 binary64) %125)
(fma.f64 x #s(literal 100 binary64) %127)
(fma.f64 x #s(literal 100 binary64) %129)
(fma.f64 x #s(literal 100 binary64) %131)
(fma.f64 x #s(literal 100 binary64) %133)
(fma.f64 x #s(literal 100 binary64) %135)
(fma.f64 x #s(literal 100 binary64) %137)
(fma.f64 x #s(literal 100 binary64) %109)
(fma.f64 x #s(literal 100 binary64) %103)
(fma.f64 x #s(literal 100 binary64) %112)
(fma.f64 x #s(literal 100 binary64) %106)
(-.f64 %40 %38)
(-.f64 %12 %103)
(-.f64 %12 %106)
(+.f64 %357 %355)
(+.f64 %637 %637)
(+.f64 %639 %639)
(+.f64 %661 %661)
(+.f64 %546 %546)
(+.f64 %355 %357)
(+.f64 %463 %244)
(+.f64 %244 %463)
(+.f64 %593 %593)
(+.f64 %379 %379)
(+.f64 %306 %306)
(+.f64 %353 %353)
(+.f64 %328 %328)
(+.f64 %350 %350)
(+.f64 %570 %570)
(+.f64 %461 %461)
(+.f64 %103 %12)
(+.f64 %40 %40)
(+.f64 %106 %12)
(+.f64 %12 %104)
(+.f64 %12 %107)
(+.f64 %12 %110)
(+.f64 %12 %113)
(+.f64 %12 %115)
(+.f64 %12 %117)
(+.f64 %12 %119)
(+.f64 %12 %121)
(+.f64 %12 %123)
(+.f64 %12 %125)
(+.f64 %12 %127)
(+.f64 %12 %129)
(+.f64 %12 %131)
(+.f64 %12 %133)
(+.f64 %12 %135)
(+.f64 %12 %137)
(+.f64 %12 %109)
(+.f64 %12 %103)
(+.f64 %12 %112)
(+.f64 %12 %106)
y
(*.f64 #s(literal 1 binary64) %726)
(pow.f64 %726 #s(literal 1 binary64))
(/.f64 %729 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %731)
(neg.f64 %733)
(-.f64 y %8)
(-.f64 x (neg.f64 y))
%726
(+.f64 x y)
(*.f64 %16 %739)
(*.f64 #s(literal -50 binary64) %741)
(*.f64 %743 #s(literal 1/2 binary64))
(*.f64 %746 #s(literal 1/2 binary64))
(*.f64 %33 %748)
(*.f64 #s(literal 50 binary64) %750)
(*.f64 %40 %752)
(*.f64 %42 %754)
(*.f64 #s(literal 4 binary64) %756)
(*.f64 %3 %758)
(*.f64 %760 %8)
(*.f64 %762 #s(literal -100 binary64))
(*.f64 %764 #s(literal 100 binary64))
(*.f64 #s(literal 1/2 binary64) %766)
(*.f64 #s(literal 1/2 binary64) %746)
(*.f64 #s(literal 2 binary64) %769)
(*.f64 #s(literal 2 binary64) %771)
(*.f64 #s(literal 2 binary64) %773)
(*.f64 %775 #s(literal -1 binary64))
(*.f64 %8 %760)
(*.f64 %778 %54)
(*.f64 #s(literal -100 binary64) %762)
(*.f64 #s(literal -1 binary64) %775)
(*.f64 %782 x)
(*.f64 %731 %12)
(*.f64 %54 %778)
(*.f64 #s(literal 1 binary64) %745)
(*.f64 %745 #s(literal 1 binary64))
(*.f64 %12 %731)
(*.f64 #s(literal 100 binary64) %764)
(*.f64 x %782)
(pow.f64 %745 #s(literal 1 binary64))
(/.f64 (*.f64 %792 %42) #s(literal 4 binary64))
(/.f64 (*.f64 %752 %3) #s(literal 4 binary64))
(/.f64 (*.f64 %42 %792) #s(literal 4 binary64))
(/.f64 (*.f64 %61 %746) %63)
(/.f64 (*.f64 %61 %42) (*.f64 %61 %802))
(/.f64 (*.f64 %746 %61) %66)
(/.f64 (*.f64 %746 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %746 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %746 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %746 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %42 %61) (*.f64 %802 %61))
(/.f64 (*.f64 %3 %752) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %746) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %42) (*.f64 #s(literal 4 binary64) %802))
(/.f64 (*.f64 %42 #s(literal 4 binary64)) (*.f64 %802 #s(literal 4 binary64)))
(/.f64 %62 (*.f64 %61 %729))
(/.f64 %65 (*.f64 %729 %61))
(/.f64 (*.f64 %54 %61) (*.f64 %733 %61))
(/.f64 (*.f64 %54 #s(literal 4 binary64)) (*.f64 %733 #s(literal 4 binary64)))
(/.f64 (*.f64 %12 %61) (*.f64 %726 %61))
(/.f64 (*.f64 %12 #s(literal 4 binary64)) (*.f64 %726 #s(literal 4 binary64)))
(/.f64 (*.f64 #s(literal -2 binary64) %746) #s(literal -4 binary64))
(/.f64 %72 (*.f64 #s(literal -2 binary64) %729))
(/.f64 %72 (*.f64 %848 #s(literal 2 binary64)))
(/.f64 %72 %851)
(/.f64 (*.f64 #s(literal 2 binary64) %746) #s(literal 4 binary64))
(/.f64 %75 %855)
(/.f64 %75 (*.f64 %857 #s(literal 2 binary64)))
(/.f64 %75 %860)
(/.f64 %77 %855)
(/.f64 %77 (*.f64 %802 #s(literal -2 binary64)))
(/.f64 %79 %865)
(/.f64 %79 %851)
(/.f64 (*.f64 %42 #s(literal -1 binary64)) %729)
(/.f64 (*.f64 %61 %54) (*.f64 %61 %733))
(/.f64 (*.f64 %61 %12) (*.f64 %61 %726))
(/.f64 (*.f64 #s(literal 4 binary64) %54) (*.f64 #s(literal 4 binary64) %733))
(/.f64 (*.f64 #s(literal 4 binary64) %12) (*.f64 #s(literal 4 binary64) %726))
(/.f64 %882 %883)
(/.f64 %882 %729)
(/.f64 %81 (*.f64 #s(literal 2 binary64) %848))
(/.f64 %81 %865)
(/.f64 %81 (*.f64 %729 #s(literal -2 binary64)))
(/.f64 %83 (*.f64 #s(literal 2 binary64) %857))
(/.f64 %83 %855)
(/.f64 %83 %860)
(/.f64 (*.f64 #s(literal 200 binary64) %8) %802)
(/.f64 (*.f64 #s(literal 200 binary64) x) %729)
(/.f64 (*.f64 %30 #s(literal -100 binary64)) %802)
(/.f64 (*.f64 %30 #s(literal 100 binary64)) %729)
(/.f64 %85 (*.f64 #s(literal 4 binary64) %729))
(/.f64 %88 (*.f64 %729 #s(literal 4 binary64)))
(/.f64 %90 (*.f64 #s(literal -2 binary64) %802))
(/.f64 %90 %860)
(/.f64 %92 %865)
(/.f64 %92 %851)
(/.f64 (*.f64 #s(literal 1 binary64) %746) #s(literal 2 binary64))
(/.f64 (neg.f64 %746) #s(literal -2 binary64))
(/.f64 %743 #s(literal 2 binary64))
(/.f64 %746 #s(literal 2 binary64))
(/.f64 %42 (*.f64 %802 #s(literal 1 binary64)))
(/.f64 %42 (*.f64 #s(literal 1 binary64) %802))
(/.f64 %42 (*.f64 #s(literal -2 binary64) %726))
(/.f64 %42 (*.f64 %726 #s(literal -2 binary64)))
(/.f64 %42 %848)
(/.f64 %42 %802)
(/.f64 %3 (*.f64 %729 #s(literal 1 binary64)))
(/.f64 %3 (*.f64 #s(literal 1 binary64) %729))
(/.f64 %3 %883)
(/.f64 %3 (*.f64 %733 #s(literal -2 binary64)))
(/.f64 %3 %857)
(/.f64 %3 %729)
(/.f64 %54 (*.f64 %733 #s(literal 1 binary64)))
(/.f64 %54 %733)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %746))
(/.f64 #s(literal 1 binary64) (/.f64 %802 %42))
(/.f64 #s(literal 1 binary64) (/.f64 %729 %3))
(/.f64 #s(literal 1 binary64) (pow.f64 %745 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %733 %54))
(/.f64 #s(literal 1 binary64) (/.f64 %726 %12))
(/.f64 %745 #s(literal 1 binary64))
(/.f64 %12 (*.f64 %726 #s(literal 1 binary64)))
%745
(neg.f64 %775)
(fma.f64 %16 %739 %956)
(fma.f64 %16 %739 %958)
(fma.f64 %16 %739 %960)
(fma.f64 %16 %739 %962)
(fma.f64 %16 %739 %964)
(fma.f64 %16 %739 %966)
(fma.f64 %16 %739 %968)
(fma.f64 %16 %739 %970)
(fma.f64 %16 %739 %973)
(fma.f64 %16 %739 %975)
(fma.f64 %16 %739 %977)
(fma.f64 %16 %739 %979)
(fma.f64 %16 %739 %981)
(fma.f64 %16 %739 %983)
(fma.f64 %16 %739 %985)
(fma.f64 %16 %739 %987)
(fma.f64 %16 %739 %989)
(fma.f64 %16 %739 %991)
(fma.f64 %16 %739 %993)
(fma.f64 %16 %739 %995)
(fma.f64 %16 %739 %997)
(fma.f64 %16 %739 %999)
(fma.f64 %16 %739 %1001)
(fma.f64 %16 %739 %1003)
(fma.f64 %16 %739 %1005)
(fma.f64 #s(literal -50 binary64) %741 %956)
(fma.f64 #s(literal -50 binary64) %741 %958)
(fma.f64 #s(literal -50 binary64) %741 %960)
(fma.f64 #s(literal -50 binary64) %741 %962)
(fma.f64 #s(literal -50 binary64) %741 %964)
(fma.f64 #s(literal -50 binary64) %741 %966)
(fma.f64 #s(literal -50 binary64) %741 %968)
(fma.f64 #s(literal -50 binary64) %741 %970)
(fma.f64 #s(literal -50 binary64) %741 %973)
(fma.f64 #s(literal -50 binary64) %741 %975)
(fma.f64 #s(literal -50 binary64) %741 %977)
(fma.f64 #s(literal -50 binary64) %741 %979)
(fma.f64 #s(literal -50 binary64) %741 %981)
(fma.f64 #s(literal -50 binary64) %741 %983)
(fma.f64 #s(literal -50 binary64) %741 %985)
(fma.f64 #s(literal -50 binary64) %741 %987)
(fma.f64 #s(literal -50 binary64) %741 %989)
(fma.f64 #s(literal -50 binary64) %741 %991)
(fma.f64 #s(literal -50 binary64) %741 %993)
(fma.f64 #s(literal -50 binary64) %741 %995)
(fma.f64 #s(literal -50 binary64) %741 %997)
(fma.f64 #s(literal -50 binary64) %741 %999)
(fma.f64 #s(literal -50 binary64) %741 %1001)
(fma.f64 #s(literal -50 binary64) %741 %1003)
(fma.f64 #s(literal -50 binary64) %741 %1005)
(fma.f64 %743 #s(literal 1/2 binary64) %956)
(fma.f64 %743 #s(literal 1/2 binary64) %958)
(fma.f64 %743 #s(literal 1/2 binary64) %960)
(fma.f64 %743 #s(literal 1/2 binary64) %962)
(fma.f64 %743 #s(literal 1/2 binary64) %964)
(fma.f64 %743 #s(literal 1/2 binary64) %966)
(fma.f64 %743 #s(literal 1/2 binary64) %968)
(fma.f64 %743 #s(literal 1/2 binary64) %970)
(fma.f64 %743 #s(literal 1/2 binary64) %973)
(fma.f64 %743 #s(literal 1/2 binary64) %975)
(fma.f64 %743 #s(literal 1/2 binary64) %977)
(fma.f64 %743 #s(literal 1/2 binary64) %979)
(fma.f64 %743 #s(literal 1/2 binary64) %981)
(fma.f64 %743 #s(literal 1/2 binary64) %983)
(fma.f64 %743 #s(literal 1/2 binary64) %985)
(fma.f64 %743 #s(literal 1/2 binary64) %987)
(fma.f64 %743 #s(literal 1/2 binary64) %989)
(fma.f64 %743 #s(literal 1/2 binary64) %991)
(fma.f64 %743 #s(literal 1/2 binary64) %993)
(fma.f64 %743 #s(literal 1/2 binary64) %995)
(fma.f64 %743 #s(literal 1/2 binary64) %997)
(fma.f64 %743 #s(literal 1/2 binary64) %999)
(fma.f64 %743 #s(literal 1/2 binary64) %1001)
(fma.f64 %743 #s(literal 1/2 binary64) %1003)
(fma.f64 %743 #s(literal 1/2 binary64) %1005)
(fma.f64 %746 #s(literal 1/2 binary64) %956)
(fma.f64 %746 #s(literal 1/2 binary64) %958)
(fma.f64 %746 #s(literal 1/2 binary64) %960)
(fma.f64 %746 #s(literal 1/2 binary64) %962)
(fma.f64 %746 #s(literal 1/2 binary64) %964)
(fma.f64 %746 #s(literal 1/2 binary64) %966)
(fma.f64 %746 #s(literal 1/2 binary64) %968)
(fma.f64 %746 #s(literal 1/2 binary64) %970)
(fma.f64 %746 #s(literal 1/2 binary64) %973)
(fma.f64 %746 #s(literal 1/2 binary64) %975)
(fma.f64 %746 #s(literal 1/2 binary64) %977)
(fma.f64 %746 #s(literal 1/2 binary64) %979)
(fma.f64 %746 #s(literal 1/2 binary64) %981)
(fma.f64 %746 #s(literal 1/2 binary64) %983)
(fma.f64 %746 #s(literal 1/2 binary64) %985)
(fma.f64 %746 #s(literal 1/2 binary64) %987)
(fma.f64 %746 #s(literal 1/2 binary64) %989)
(fma.f64 %746 #s(literal 1/2 binary64) %991)
(fma.f64 %746 #s(literal 1/2 binary64) %993)
(fma.f64 %746 #s(literal 1/2 binary64) %995)
(fma.f64 %746 #s(literal 1/2 binary64) %997)
(fma.f64 %746 #s(literal 1/2 binary64) %999)
(fma.f64 %746 #s(literal 1/2 binary64) %1001)
(fma.f64 %746 #s(literal 1/2 binary64) %1003)
(fma.f64 %746 #s(literal 1/2 binary64) %1005)
(fma.f64 %33 %748 %956)
(fma.f64 %33 %748 %958)
(fma.f64 %33 %748 %960)
(fma.f64 %33 %748 %962)
(fma.f64 %33 %748 %964)
(fma.f64 %33 %748 %966)
(fma.f64 %33 %748 %968)
(fma.f64 %33 %748 %970)
(fma.f64 %33 %748 %973)
(fma.f64 %33 %748 %975)
(fma.f64 %33 %748 %977)
(fma.f64 %33 %748 %979)
(fma.f64 %33 %748 %981)
(fma.f64 %33 %748 %983)
(fma.f64 %33 %748 %985)
(fma.f64 %33 %748 %987)
(fma.f64 %33 %748 %989)
(fma.f64 %33 %748 %991)
(fma.f64 %33 %748 %993)
(fma.f64 %33 %748 %995)
(fma.f64 %33 %748 %997)
(fma.f64 %33 %748 %999)
(fma.f64 %33 %748 %1001)
(fma.f64 %33 %748 %1003)
(fma.f64 %33 %748 %1005)
(fma.f64 %33 %782 %1107)
(fma.f64 #s(literal 50 binary64) %750 %956)
(fma.f64 #s(literal 50 binary64) %750 %958)
(fma.f64 #s(literal 50 binary64) %750 %960)
(fma.f64 #s(literal 50 binary64) %750 %962)
(fma.f64 #s(literal 50 binary64) %750 %964)
(fma.f64 #s(literal 50 binary64) %750 %966)
(fma.f64 #s(literal 50 binary64) %750 %968)
(fma.f64 #s(literal 50 binary64) %750 %970)
(fma.f64 #s(literal 50 binary64) %750 %973)
(fma.f64 #s(literal 50 binary64) %750 %975)
(fma.f64 #s(literal 50 binary64) %750 %977)
(fma.f64 #s(literal 50 binary64) %750 %979)
(fma.f64 #s(literal 50 binary64) %750 %981)
(fma.f64 #s(literal 50 binary64) %750 %983)
(fma.f64 #s(literal 50 binary64) %750 %985)
(fma.f64 #s(literal 50 binary64) %750 %987)
(fma.f64 #s(literal 50 binary64) %750 %989)
(fma.f64 #s(literal 50 binary64) %750 %991)
(fma.f64 #s(literal 50 binary64) %750 %993)
(fma.f64 #s(literal 50 binary64) %750 %995)
(fma.f64 #s(literal 50 binary64) %750 %997)
(fma.f64 #s(literal 50 binary64) %750 %999)
(fma.f64 #s(literal 50 binary64) %750 %1001)
(fma.f64 #s(literal 50 binary64) %750 %1003)
(fma.f64 #s(literal 50 binary64) %750 %1005)
(fma.f64 #s(literal 50 binary64) %764 %1134)
(fma.f64 %38 %778 %1136)
(fma.f64 %352 %782 %1138)
(fma.f64 %40 %752 %956)
(fma.f64 %40 %752 %958)
(fma.f64 %40 %752 %960)
(fma.f64 %40 %752 %962)
(fma.f64 %40 %752 %964)
(fma.f64 %40 %752 %966)
(fma.f64 %40 %752 %968)
(fma.f64 %40 %752 %970)
(fma.f64 %40 %752 %973)
(fma.f64 %40 %752 %975)
(fma.f64 %40 %752 %977)
(fma.f64 %40 %752 %979)
(fma.f64 %40 %752 %981)
(fma.f64 %40 %752 %983)
(fma.f64 %40 %752 %985)
(fma.f64 %40 %752 %987)
(fma.f64 %40 %752 %989)
(fma.f64 %40 %752 %991)
(fma.f64 %40 %752 %993)
(fma.f64 %40 %752 %995)
(fma.f64 %40 %752 %997)
(fma.f64 %40 %752 %999)
(fma.f64 %40 %752 %1001)
(fma.f64 %40 %752 %1003)
(fma.f64 %40 %752 %1005)
(fma.f64 %40 %731 %1165)
(fma.f64 %42 %754 %956)
(fma.f64 %42 %754 %958)
(fma.f64 %42 %754 %960)
(fma.f64 %42 %754 %962)
(fma.f64 %42 %754 %964)
(fma.f64 %42 %754 %966)
(fma.f64 %42 %754 %968)
(fma.f64 %42 %754 %970)
(fma.f64 %42 %754 %973)
(fma.f64 %42 %754 %975)
(fma.f64 %42 %754 %977)
(fma.f64 %42 %754 %979)
(fma.f64 %42 %754 %981)
(fma.f64 %42 %754 %983)
(fma.f64 %42 %754 %985)
(fma.f64 %42 %754 %987)
(fma.f64 %42 %754 %989)
(fma.f64 %42 %754 %991)
(fma.f64 %42 %754 %993)
(fma.f64 %42 %754 %995)
(fma.f64 %42 %754 %997)
(fma.f64 %42 %754 %999)
(fma.f64 %42 %754 %1001)
(fma.f64 %42 %754 %1003)
(fma.f64 %42 %754 %1005)
(fma.f64 #s(literal 4 binary64) %756 %956)
(fma.f64 #s(literal 4 binary64) %756 %958)
(fma.f64 #s(literal 4 binary64) %756 %960)
(fma.f64 #s(literal 4 binary64) %756 %962)
(fma.f64 #s(literal 4 binary64) %756 %964)
(fma.f64 #s(literal 4 binary64) %756 %966)
(fma.f64 #s(literal 4 binary64) %756 %968)
(fma.f64 #s(literal 4 binary64) %756 %970)
(fma.f64 #s(literal 4 binary64) %756 %973)
(fma.f64 #s(literal 4 binary64) %756 %975)
(fma.f64 #s(literal 4 binary64) %756 %977)
(fma.f64 #s(literal 4 binary64) %756 %979)
(fma.f64 #s(literal 4 binary64) %756 %981)
(fma.f64 #s(literal 4 binary64) %756 %983)
(fma.f64 #s(literal 4 binary64) %756 %985)
(fma.f64 #s(literal 4 binary64) %756 %987)
(fma.f64 #s(literal 4 binary64) %756 %989)
(fma.f64 #s(literal 4 binary64) %756 %991)
(fma.f64 #s(literal 4 binary64) %756 %993)
(fma.f64 #s(literal 4 binary64) %756 %995)
(fma.f64 #s(literal 4 binary64) %756 %997)
(fma.f64 #s(literal 4 binary64) %756 %999)
(fma.f64 #s(literal 4 binary64) %756 %1001)
(fma.f64 #s(literal 4 binary64) %756 %1003)
(fma.f64 #s(literal 4 binary64) %756 %1005)
(fma.f64 %3 %758 %956)
(fma.f64 %3 %758 %958)
(fma.f64 %3 %758 %960)
(fma.f64 %3 %758 %962)
(fma.f64 %3 %758 %964)
(fma.f64 %3 %758 %966)
(fma.f64 %3 %758 %968)
(fma.f64 %3 %758 %970)
(fma.f64 %3 %758 %973)
(fma.f64 %3 %758 %975)
(fma.f64 %3 %758 %977)
(fma.f64 %3 %758 %979)
(fma.f64 %3 %758 %981)
(fma.f64 %3 %758 %983)
(fma.f64 %3 %758 %985)
(fma.f64 %3 %758 %987)
(fma.f64 %3 %758 %989)
(fma.f64 %3 %758 %991)
(fma.f64 %3 %758 %993)
(fma.f64 %3 %758 %995)
(fma.f64 %3 %758 %997)
(fma.f64 %3 %758 %999)
(fma.f64 %3 %758 %1001)
(fma.f64 %3 %758 %1003)
(fma.f64 %3 %758 %1005)
(fma.f64 %758 %12 %771)
(fma.f64 %754 %54 %771)
(fma.f64 %760 %8 %956)
(fma.f64 %760 %8 %958)
(fma.f64 %760 %8 %960)
(fma.f64 %760 %8 %962)
(fma.f64 %760 %8 %964)
(fma.f64 %760 %8 %966)
(fma.f64 %760 %8 %968)
(fma.f64 %760 %8 %970)
(fma.f64 %760 %8 %973)
(fma.f64 %760 %8 %975)
(fma.f64 %760 %8 %977)
(fma.f64 %760 %8 %979)
(fma.f64 %760 %8 %981)
(fma.f64 %760 %8 %983)
(fma.f64 %760 %8 %985)
(fma.f64 %760 %8 %987)
(fma.f64 %760 %8 %989)
(fma.f64 %760 %8 %991)
(fma.f64 %760 %8 %993)
(fma.f64 %760 %8 %995)
(fma.f64 %760 %8 %997)
(fma.f64 %760 %8 %999)
(fma.f64 %760 %8 %1001)
(fma.f64 %760 %8 %1003)
(fma.f64 %760 %8 %1005)
(fma.f64 %762 #s(literal -100 binary64) %956)
(fma.f64 %762 #s(literal -100 binary64) %958)
(fma.f64 %762 #s(literal -100 binary64) %960)
(fma.f64 %762 #s(literal -100 binary64) %962)
(fma.f64 %762 #s(literal -100 binary64) %964)
(fma.f64 %762 #s(literal -100 binary64) %966)
(fma.f64 %762 #s(literal -100 binary64) %968)
(fma.f64 %762 #s(literal -100 binary64) %970)
(fma.f64 %762 #s(literal -100 binary64) %973)
(fma.f64 %762 #s(literal -100 binary64) %975)
(fma.f64 %762 #s(literal -100 binary64) %977)
(fma.f64 %762 #s(literal -100 binary64) %979)
(fma.f64 %762 #s(literal -100 binary64) %981)
(fma.f64 %762 #s(literal -100 binary64) %983)
(fma.f64 %762 #s(literal -100 binary64) %985)
(fma.f64 %762 #s(literal -100 binary64) %987)
(fma.f64 %762 #s(literal -100 binary64) %989)
(fma.f64 %762 #s(literal -100 binary64) %991)
(fma.f64 %762 #s(literal -100 binary64) %993)
(fma.f64 %762 #s(literal -100 binary64) %995)
(fma.f64 %762 #s(literal -100 binary64) %997)
(fma.f64 %762 #s(literal -100 binary64) %999)
(fma.f64 %762 #s(literal -100 binary64) %1001)
(fma.f64 %762 #s(literal -100 binary64) %1003)
(fma.f64 %762 #s(literal -100 binary64) %1005)
(fma.f64 %764 #s(literal 50 binary64) %1294)
(fma.f64 %764 #s(literal 100 binary64) %956)
(fma.f64 %764 #s(literal 100 binary64) %958)
(fma.f64 %764 #s(literal 100 binary64) %960)
(fma.f64 %764 #s(literal 100 binary64) %962)
(fma.f64 %764 #s(literal 100 binary64) %964)
(fma.f64 %764 #s(literal 100 binary64) %966)
(fma.f64 %764 #s(literal 100 binary64) %968)
(fma.f64 %764 #s(literal 100 binary64) %970)
(fma.f64 %764 #s(literal 100 binary64) %973)
(fma.f64 %764 #s(literal 100 binary64) %975)
(fma.f64 %764 #s(literal 100 binary64) %977)
(fma.f64 %764 #s(literal 100 binary64) %979)
(fma.f64 %764 #s(literal 100 binary64) %981)
(fma.f64 %764 #s(literal 100 binary64) %983)
(fma.f64 %764 #s(literal 100 binary64) %985)
(fma.f64 %764 #s(literal 100 binary64) %987)
(fma.f64 %764 #s(literal 100 binary64) %989)
(fma.f64 %764 #s(literal 100 binary64) %991)
(fma.f64 %764 #s(literal 100 binary64) %993)
(fma.f64 %764 #s(literal 100 binary64) %995)
(fma.f64 %764 #s(literal 100 binary64) %997)
(fma.f64 %764 #s(literal 100 binary64) %999)
(fma.f64 %764 #s(literal 100 binary64) %1001)
(fma.f64 %764 #s(literal 100 binary64) %1003)
(fma.f64 %764 #s(literal 100 binary64) %1005)
(fma.f64 #s(literal 1/2 binary64) %766 %956)
(fma.f64 #s(literal 1/2 binary64) %766 %958)
(fma.f64 #s(literal 1/2 binary64) %766 %960)
(fma.f64 #s(literal 1/2 binary64) %766 %962)
(fma.f64 #s(literal 1/2 binary64) %766 %964)
(fma.f64 #s(literal 1/2 binary64) %766 %966)
(fma.f64 #s(literal 1/2 binary64) %766 %968)
(fma.f64 #s(literal 1/2 binary64) %766 %970)
(fma.f64 #s(literal 1/2 binary64) %766 %973)
(fma.f64 #s(literal 1/2 binary64) %766 %975)
(fma.f64 #s(literal 1/2 binary64) %766 %977)
(fma.f64 #s(literal 1/2 binary64) %766 %979)
(fma.f64 #s(literal 1/2 binary64) %766 %981)
(fma.f64 #s(literal 1/2 binary64) %766 %983)
(fma.f64 #s(literal 1/2 binary64) %766 %985)
(fma.f64 #s(literal 1/2 binary64) %766 %987)
(fma.f64 #s(literal 1/2 binary64) %766 %989)
(fma.f64 #s(literal 1/2 binary64) %766 %991)
(fma.f64 #s(literal 1/2 binary64) %766 %993)
(fma.f64 #s(literal 1/2 binary64) %766 %995)
(fma.f64 #s(literal 1/2 binary64) %766 %997)
(fma.f64 #s(literal 1/2 binary64) %766 %999)
(fma.f64 #s(literal 1/2 binary64) %766 %1001)
(fma.f64 #s(literal 1/2 binary64) %766 %1003)
(fma.f64 #s(literal 1/2 binary64) %766 %1005)
(fma.f64 #s(literal 1/2 binary64) %743 %1346)
(fma.f64 #s(literal 1/2 binary64) %746 %956)
(fma.f64 #s(literal 1/2 binary64) %746 %958)
(fma.f64 #s(literal 1/2 binary64) %746 %960)
(fma.f64 #s(literal 1/2 binary64) %746 %962)
(fma.f64 #s(literal 1/2 binary64) %746 %964)
(fma.f64 #s(literal 1/2 binary64) %746 %966)
(fma.f64 #s(literal 1/2 binary64) %746 %968)
(fma.f64 #s(literal 1/2 binary64) %746 %970)
(fma.f64 #s(literal 1/2 binary64) %746 %973)
(fma.f64 #s(literal 1/2 binary64) %746 %975)
(fma.f64 #s(literal 1/2 binary64) %746 %977)
(fma.f64 #s(literal 1/2 binary64) %746 %979)
(fma.f64 #s(literal 1/2 binary64) %746 %981)
(fma.f64 #s(literal 1/2 binary64) %746 %983)
(fma.f64 #s(literal 1/2 binary64) %746 %985)
(fma.f64 #s(literal 1/2 binary64) %746 %987)
(fma.f64 #s(literal 1/2 binary64) %746 %989)
(fma.f64 #s(literal 1/2 binary64) %746 %991)
(fma.f64 #s(literal 1/2 binary64) %746 %993)
(fma.f64 #s(literal 1/2 binary64) %746 %995)
(fma.f64 #s(literal 1/2 binary64) %746 %997)
(fma.f64 #s(literal 1/2 binary64) %746 %999)
(fma.f64 #s(literal 1/2 binary64) %746 %1001)
(fma.f64 #s(literal 1/2 binary64) %746 %1003)
(fma.f64 #s(literal 1/2 binary64) %746 %1005)
(fma.f64 #s(literal 1/2 binary64) %745 %773)
(fma.f64 #s(literal 2 binary64) %769 %956)
(fma.f64 #s(literal 2 binary64) %769 %958)
(fma.f64 #s(literal 2 binary64) %769 %960)
(fma.f64 #s(literal 2 binary64) %769 %962)
(fma.f64 #s(literal 2 binary64) %769 %964)
(fma.f64 #s(literal 2 binary64) %769 %966)
(fma.f64 #s(literal 2 binary64) %769 %968)
(fma.f64 #s(literal 2 binary64) %769 %970)
(fma.f64 #s(literal 2 binary64) %769 %973)
(fma.f64 #s(literal 2 binary64) %769 %975)
(fma.f64 #s(literal 2 binary64) %769 %977)
(fma.f64 #s(literal 2 binary64) %769 %979)
(fma.f64 #s(literal 2 binary64) %769 %981)
(fma.f64 #s(literal 2 binary64) %769 %983)
(fma.f64 #s(literal 2 binary64) %769 %985)
(fma.f64 #s(literal 2 binary64) %769 %987)
(fma.f64 #s(literal 2 binary64) %769 %989)
(fma.f64 #s(literal 2 binary64) %769 %991)
(fma.f64 #s(literal 2 binary64) %769 %993)
(fma.f64 #s(literal 2 binary64) %769 %995)
(fma.f64 #s(literal 2 binary64) %769 %997)
(fma.f64 #s(literal 2 binary64) %769 %999)
(fma.f64 #s(literal 2 binary64) %769 %1001)
(fma.f64 #s(literal 2 binary64) %769 %1003)
(fma.f64 #s(literal 2 binary64) %769 %1005)
(fma.f64 #s(literal 2 binary64) %771 %956)
(fma.f64 #s(literal 2 binary64) %771 %958)
(fma.f64 #s(literal 2 binary64) %771 %960)
(fma.f64 #s(literal 2 binary64) %771 %962)
(fma.f64 #s(literal 2 binary64) %771 %964)
(fma.f64 #s(literal 2 binary64) %771 %966)
(fma.f64 #s(literal 2 binary64) %771 %968)
(fma.f64 #s(literal 2 binary64) %771 %970)
(fma.f64 #s(literal 2 binary64) %771 %973)
(fma.f64 #s(literal 2 binary64) %771 %975)
(fma.f64 #s(literal 2 binary64) %771 %977)
(fma.f64 #s(literal 2 binary64) %771 %979)
(fma.f64 #s(literal 2 binary64) %771 %981)
(fma.f64 #s(literal 2 binary64) %771 %983)
(fma.f64 #s(literal 2 binary64) %771 %985)
(fma.f64 #s(literal 2 binary64) %771 %987)
(fma.f64 #s(literal 2 binary64) %771 %989)
(fma.f64 #s(literal 2 binary64) %771 %991)
(fma.f64 #s(literal 2 binary64) %771 %993)
(fma.f64 #s(literal 2 binary64) %771 %995)
(fma.f64 #s(literal 2 binary64) %771 %997)
(fma.f64 #s(literal 2 binary64) %771 %999)
(fma.f64 #s(literal 2 binary64) %771 %1001)
(fma.f64 #s(literal 2 binary64) %771 %1003)
(fma.f64 #s(literal 2 binary64) %771 %1005)
(fma.f64 #s(literal 2 binary64) %773 %956)
(fma.f64 #s(literal 2 binary64) %773 %958)
(fma.f64 #s(literal 2 binary64) %773 %960)
(fma.f64 #s(literal 2 binary64) %773 %962)
(fma.f64 #s(literal 2 binary64) %773 %964)
(fma.f64 #s(literal 2 binary64) %773 %966)
(fma.f64 #s(literal 2 binary64) %773 %968)
(fma.f64 #s(literal 2 binary64) %773 %970)
(fma.f64 #s(literal 2 binary64) %773 %973)
(fma.f64 #s(literal 2 binary64) %773 %975)
(fma.f64 #s(literal 2 binary64) %773 %977)
(fma.f64 #s(literal 2 binary64) %773 %979)
(fma.f64 #s(literal 2 binary64) %773 %981)
(fma.f64 #s(literal 2 binary64) %773 %983)
(fma.f64 #s(literal 2 binary64) %773 %985)
(fma.f64 #s(literal 2 binary64) %773 %987)
(fma.f64 #s(literal 2 binary64) %773 %989)
(fma.f64 #s(literal 2 binary64) %773 %991)
(fma.f64 #s(literal 2 binary64) %773 %993)
(fma.f64 #s(literal 2 binary64) %773 %995)
(fma.f64 #s(literal 2 binary64) %773 %997)
(fma.f64 #s(literal 2 binary64) %773 %999)
(fma.f64 #s(literal 2 binary64) %773 %1001)
(fma.f64 #s(literal 2 binary64) %773 %1003)
(fma.f64 #s(literal 2 binary64) %773 %1005)
(fma.f64 %775 #s(literal -1 binary64) %956)
(fma.f64 %775 #s(literal -1 binary64) %958)
(fma.f64 %775 #s(literal -1 binary64) %960)
(fma.f64 %775 #s(literal -1 binary64) %962)
(fma.f64 %775 #s(literal -1 binary64) %964)
(fma.f64 %775 #s(literal -1 binary64) %966)
(fma.f64 %775 #s(literal -1 binary64) %968)
(fma.f64 %775 #s(literal -1 binary64) %970)
(fma.f64 %775 #s(literal -1 binary64) %973)
(fma.f64 %775 #s(literal -1 binary64) %975)
(fma.f64 %775 #s(literal -1 binary64) %977)
(fma.f64 %775 #s(literal -1 binary64) %979)
(fma.f64 %775 #s(literal -1 binary64) %981)
(fma.f64 %775 #s(literal -1 binary64) %983)
(fma.f64 %775 #s(literal -1 binary64) %985)
(fma.f64 %775 #s(literal -1 binary64) %987)
(fma.f64 %775 #s(literal -1 binary64) %989)
(fma.f64 %775 #s(literal -1 binary64) %991)
(fma.f64 %775 #s(literal -1 binary64) %993)
(fma.f64 %775 #s(literal -1 binary64) %995)
(fma.f64 %775 #s(literal -1 binary64) %997)
(fma.f64 %775 #s(literal -1 binary64) %999)
(fma.f64 %775 #s(literal -1 binary64) %1001)
(fma.f64 %775 #s(literal -1 binary64) %1003)
(fma.f64 %775 #s(literal -1 binary64) %1005)
(fma.f64 %8 %760 %956)
(fma.f64 %8 %760 %958)
(fma.f64 %8 %760 %960)
(fma.f64 %8 %760 %962)
(fma.f64 %8 %760 %964)
(fma.f64 %8 %760 %966)
(fma.f64 %8 %760 %968)
(fma.f64 %8 %760 %970)
(fma.f64 %8 %760 %973)
(fma.f64 %8 %760 %975)
(fma.f64 %8 %760 %977)
(fma.f64 %8 %760 %979)
(fma.f64 %8 %760 %981)
(fma.f64 %8 %760 %983)
(fma.f64 %8 %760 %985)
(fma.f64 %8 %760 %987)
(fma.f64 %8 %760 %989)
(fma.f64 %8 %760 %991)
(fma.f64 %8 %760 %993)
(fma.f64 %8 %760 %995)
(fma.f64 %8 %760 %997)
(fma.f64 %8 %760 %999)
(fma.f64 %8 %760 %1001)
(fma.f64 %8 %760 %1003)
(fma.f64 %8 %760 %1005)
(fma.f64 %778 %38 %1499)
(fma.f64 %778 %54 %956)
(fma.f64 %778 %54 %958)
(fma.f64 %778 %54 %960)
(fma.f64 %778 %54 %962)
(fma.f64 %778 %54 %964)
(fma.f64 %778 %54 %966)
(fma.f64 %778 %54 %968)
(fma.f64 %778 %54 %970)
(fma.f64 %778 %54 %973)
(fma.f64 %778 %54 %975)
(fma.f64 %778 %54 %977)
(fma.f64 %778 %54 %979)
(fma.f64 %778 %54 %981)
(fma.f64 %778 %54 %983)
(fma.f64 %778 %54 %985)
(fma.f64 %778 %54 %987)
(fma.f64 %778 %54 %989)
(fma.f64 %778 %54 %991)
(fma.f64 %778 %54 %993)
(fma.f64 %778 %54 %995)
(fma.f64 %778 %54 %997)
(fma.f64 %778 %54 %999)
(fma.f64 %778 %54 %1001)
(fma.f64 %778 %54 %1003)
(fma.f64 %778 %54 %1005)
(fma.f64 #s(literal -100 binary64) %762 %956)
(fma.f64 #s(literal -100 binary64) %762 %958)
(fma.f64 #s(literal -100 binary64) %762 %960)
(fma.f64 #s(literal -100 binary64) %762 %962)
(fma.f64 #s(literal -100 binary64) %762 %964)
(fma.f64 #s(literal -100 binary64) %762 %966)
(fma.f64 #s(literal -100 binary64) %762 %968)
(fma.f64 #s(literal -100 binary64) %762 %970)
(fma.f64 #s(literal -100 binary64) %762 %973)
(fma.f64 #s(literal -100 binary64) %762 %975)
(fma.f64 #s(literal -100 binary64) %762 %977)
(fma.f64 #s(literal -100 binary64) %762 %979)
(fma.f64 #s(literal -100 binary64) %762 %981)
(fma.f64 #s(literal -100 binary64) %762 %983)
(fma.f64 #s(literal -100 binary64) %762 %985)
(fma.f64 #s(literal -100 binary64) %762 %987)
(fma.f64 #s(literal -100 binary64) %762 %989)
(fma.f64 #s(literal -100 binary64) %762 %991)
(fma.f64 #s(literal -100 binary64) %762 %993)
(fma.f64 #s(literal -100 binary64) %762 %995)
(fma.f64 #s(literal -100 binary64) %762 %997)
(fma.f64 #s(literal -100 binary64) %762 %999)
(fma.f64 #s(literal -100 binary64) %762 %1001)
(fma.f64 #s(literal -100 binary64) %762 %1003)
(fma.f64 #s(literal -100 binary64) %762 %1005)
(fma.f64 #s(literal -1 binary64) %775 %956)
(fma.f64 #s(literal -1 binary64) %775 %958)
(fma.f64 #s(literal -1 binary64) %775 %960)
(fma.f64 #s(literal -1 binary64) %775 %962)
(fma.f64 #s(literal -1 binary64) %775 %964)
(fma.f64 #s(literal -1 binary64) %775 %966)
(fma.f64 #s(literal -1 binary64) %775 %968)
(fma.f64 #s(literal -1 binary64) %775 %970)
(fma.f64 #s(literal -1 binary64) %775 %973)
(fma.f64 #s(literal -1 binary64) %775 %975)
(fma.f64 #s(literal -1 binary64) %775 %977)
(fma.f64 #s(literal -1 binary64) %775 %979)
(fma.f64 #s(literal -1 binary64) %775 %981)
(fma.f64 #s(literal -1 binary64) %775 %983)
(fma.f64 #s(literal -1 binary64) %775 %985)
(fma.f64 #s(literal -1 binary64) %775 %987)
(fma.f64 #s(literal -1 binary64) %775 %989)
(fma.f64 #s(literal -1 binary64) %775 %991)
(fma.f64 #s(literal -1 binary64) %775 %993)
(fma.f64 #s(literal -1 binary64) %775 %995)
(fma.f64 #s(literal -1 binary64) %775 %997)
(fma.f64 #s(literal -1 binary64) %775 %999)
(fma.f64 #s(literal -1 binary64) %775 %1001)
(fma.f64 #s(literal -1 binary64) %775 %1003)
(fma.f64 #s(literal -1 binary64) %775 %1005)
(fma.f64 %782 %33 %1576)
(fma.f64 %782 %352 %1578)
(fma.f64 %782 x %956)
(fma.f64 %782 x %958)
(fma.f64 %782 x %960)
(fma.f64 %782 x %962)
(fma.f64 %782 x %964)
(fma.f64 %782 x %966)
(fma.f64 %782 x %968)
(fma.f64 %782 x %970)
(fma.f64 %782 x %973)
(fma.f64 %782 x %975)
(fma.f64 %782 x %977)
(fma.f64 %782 x %979)
(fma.f64 %782 x %981)
(fma.f64 %782 x %983)
(fma.f64 %782 x %985)
(fma.f64 %782 x %987)
(fma.f64 %782 x %989)
(fma.f64 %782 x %991)
(fma.f64 %782 x %993)
(fma.f64 %782 x %995)
(fma.f64 %782 x %997)
(fma.f64 %782 x %999)
(fma.f64 %782 x %1001)
(fma.f64 %782 x %1003)
(fma.f64 %782 x %1005)
(fma.f64 %731 %40 %1605)
(fma.f64 %731 %12 %956)
(fma.f64 %731 %12 %958)
(fma.f64 %731 %12 %960)
(fma.f64 %731 %12 %962)
(fma.f64 %731 %12 %964)
(fma.f64 %731 %12 %966)
(fma.f64 %731 %12 %968)
(fma.f64 %731 %12 %970)
(fma.f64 %731 %12 %973)
(fma.f64 %731 %12 %975)
(fma.f64 %731 %12 %977)
(fma.f64 %731 %12 %979)
(fma.f64 %731 %12 %981)
(fma.f64 %731 %12 %983)
(fma.f64 %731 %12 %985)
(fma.f64 %731 %12 %987)
(fma.f64 %731 %12 %989)
(fma.f64 %731 %12 %991)
(fma.f64 %731 %12 %993)
(fma.f64 %731 %12 %995)
(fma.f64 %731 %12 %997)
(fma.f64 %731 %12 %999)
(fma.f64 %731 %12 %1001)
(fma.f64 %731 %12 %1003)
(fma.f64 %731 %12 %1005)
(fma.f64 #s(literal 0 binary64) %745 %745)
(fma.f64 %54 %754 %1633)
(fma.f64 %54 %778 %956)
(fma.f64 %54 %778 %958)
(fma.f64 %54 %778 %960)
(fma.f64 %54 %778 %962)
(fma.f64 %54 %778 %964)
(fma.f64 %54 %778 %966)
(fma.f64 %54 %778 %968)
(fma.f64 %54 %778 %970)
(fma.f64 %54 %778 %973)
(fma.f64 %54 %778 %975)
(fma.f64 %54 %778 %977)
(fma.f64 %54 %778 %979)
(fma.f64 %54 %778 %981)
(fma.f64 %54 %778 %983)
(fma.f64 %54 %778 %985)
(fma.f64 %54 %778 %987)
(fma.f64 %54 %778 %989)
(fma.f64 %54 %778 %991)
(fma.f64 %54 %778 %993)
(fma.f64 %54 %778 %995)
(fma.f64 %54 %778 %997)
(fma.f64 %54 %778 %999)
(fma.f64 %54 %778 %1001)
(fma.f64 %54 %778 %1003)
(fma.f64 %54 %778 %1005)
(fma.f64 #s(literal 1 binary64) %745 %956)
(fma.f64 #s(literal 1 binary64) %745 %958)
(fma.f64 #s(literal 1 binary64) %745 %960)
(fma.f64 #s(literal 1 binary64) %745 %962)
(fma.f64 #s(literal 1 binary64) %745 %964)
(fma.f64 #s(literal 1 binary64) %745 %966)
(fma.f64 #s(literal 1 binary64) %745 %968)
(fma.f64 #s(literal 1 binary64) %745 %970)
(fma.f64 #s(literal 1 binary64) %745 %973)
(fma.f64 #s(literal 1 binary64) %745 %975)
(fma.f64 #s(literal 1 binary64) %745 %977)
(fma.f64 #s(literal 1 binary64) %745 %979)
(fma.f64 #s(literal 1 binary64) %745 %981)
(fma.f64 #s(literal 1 binary64) %745 %983)
(fma.f64 #s(literal 1 binary64) %745 %985)
(fma.f64 #s(literal 1 binary64) %745 %987)
(fma.f64 #s(literal 1 binary64) %745 %989)
(fma.f64 #s(literal 1 binary64) %745 %991)
(fma.f64 #s(literal 1 binary64) %745 %993)
(fma.f64 #s(literal 1 binary64) %745 %995)
(fma.f64 #s(literal 1 binary64) %745 %997)
(fma.f64 #s(literal 1 binary64) %745 %999)
(fma.f64 #s(literal 1 binary64) %745 %1001)
(fma.f64 #s(literal 1 binary64) %745 %1003)
(fma.f64 #s(literal 1 binary64) %745 %1005)
(fma.f64 %745 #s(literal 1/2 binary64) %1685)
(fma.f64 %745 #s(literal 0 binary64) %745)
(fma.f64 %745 #s(literal 1 binary64) %956)
(fma.f64 %745 #s(literal 1 binary64) %958)
(fma.f64 %745 #s(literal 1 binary64) %960)
(fma.f64 %745 #s(literal 1 binary64) %962)
(fma.f64 %745 #s(literal 1 binary64) %964)
(fma.f64 %745 #s(literal 1 binary64) %966)
(fma.f64 %745 #s(literal 1 binary64) %968)
(fma.f64 %745 #s(literal 1 binary64) %970)
(fma.f64 %745 #s(literal 1 binary64) %973)
(fma.f64 %745 #s(literal 1 binary64) %975)
(fma.f64 %745 #s(literal 1 binary64) %977)
(fma.f64 %745 #s(literal 1 binary64) %979)
(fma.f64 %745 #s(literal 1 binary64) %981)
(fma.f64 %745 #s(literal 1 binary64) %983)
(fma.f64 %745 #s(literal 1 binary64) %985)
(fma.f64 %745 #s(literal 1 binary64) %987)
(fma.f64 %745 #s(literal 1 binary64) %989)
(fma.f64 %745 #s(literal 1 binary64) %991)
(fma.f64 %745 #s(literal 1 binary64) %993)
(fma.f64 %745 #s(literal 1 binary64) %995)
(fma.f64 %745 #s(literal 1 binary64) %997)
(fma.f64 %745 #s(literal 1 binary64) %999)
(fma.f64 %745 #s(literal 1 binary64) %1001)
(fma.f64 %745 #s(literal 1 binary64) %1003)
(fma.f64 %745 #s(literal 1 binary64) %1005)
(fma.f64 %12 %758 %1713)
(fma.f64 %12 %731 %956)
(fma.f64 %12 %731 %958)
(fma.f64 %12 %731 %960)
(fma.f64 %12 %731 %962)
(fma.f64 %12 %731 %964)
(fma.f64 %12 %731 %966)
(fma.f64 %12 %731 %968)
(fma.f64 %12 %731 %970)
(fma.f64 %12 %731 %973)
(fma.f64 %12 %731 %975)
(fma.f64 %12 %731 %977)
(fma.f64 %12 %731 %979)
(fma.f64 %12 %731 %981)
(fma.f64 %12 %731 %983)
(fma.f64 %12 %731 %985)
(fma.f64 %12 %731 %987)
(fma.f64 %12 %731 %989)
(fma.f64 %12 %731 %991)
(fma.f64 %12 %731 %993)
(fma.f64 %12 %731 %995)
(fma.f64 %12 %731 %997)
(fma.f64 %12 %731 %999)
(fma.f64 %12 %731 %1001)
(fma.f64 %12 %731 %1003)
(fma.f64 %12 %731 %1005)
(fma.f64 #s(literal 100 binary64) %764 %956)
(fma.f64 #s(literal 100 binary64) %764 %958)
(fma.f64 #s(literal 100 binary64) %764 %960)
(fma.f64 #s(literal 100 binary64) %764 %962)
(fma.f64 #s(literal 100 binary64) %764 %964)
(fma.f64 #s(literal 100 binary64) %764 %966)
(fma.f64 #s(literal 100 binary64) %764 %968)
(fma.f64 #s(literal 100 binary64) %764 %970)
(fma.f64 #s(literal 100 binary64) %764 %973)
(fma.f64 #s(literal 100 binary64) %764 %975)
(fma.f64 #s(literal 100 binary64) %764 %977)
(fma.f64 #s(literal 100 binary64) %764 %979)
(fma.f64 #s(literal 100 binary64) %764 %981)
(fma.f64 #s(literal 100 binary64) %764 %983)
(fma.f64 #s(literal 100 binary64) %764 %985)
(fma.f64 #s(literal 100 binary64) %764 %987)
(fma.f64 #s(literal 100 binary64) %764 %989)
(fma.f64 #s(literal 100 binary64) %764 %991)
(fma.f64 #s(literal 100 binary64) %764 %993)
(fma.f64 #s(literal 100 binary64) %764 %995)
(fma.f64 #s(literal 100 binary64) %764 %997)
(fma.f64 #s(literal 100 binary64) %764 %999)
(fma.f64 #s(literal 100 binary64) %764 %1001)
(fma.f64 #s(literal 100 binary64) %764 %1003)
(fma.f64 #s(literal 100 binary64) %764 %1005)
(fma.f64 x %782 %956)
(fma.f64 x %782 %958)
(fma.f64 x %782 %960)
(fma.f64 x %782 %962)
(fma.f64 x %782 %964)
(fma.f64 x %782 %966)
(fma.f64 x %782 %968)
(fma.f64 x %782 %970)
(fma.f64 x %782 %973)
(fma.f64 x %782 %975)
(fma.f64 x %782 %977)
(fma.f64 x %782 %979)
(fma.f64 x %782 %981)
(fma.f64 x %782 %983)
(fma.f64 x %782 %985)
(fma.f64 x %782 %987)
(fma.f64 x %782 %989)
(fma.f64 x %782 %991)
(fma.f64 x %782 %993)
(fma.f64 x %782 %995)
(fma.f64 x %782 %997)
(fma.f64 x %782 %999)
(fma.f64 x %782 %1001)
(fma.f64 x %782 %1003)
(fma.f64 x %782 %1005)
(+.f64 %1294 %1294)
(+.f64 %1499 %1499)
(+.f64 %1576 %1576)
(+.f64 %1578 %1578)
(+.f64 %1605 %1605)
(+.f64 %1685 %1685)
(+.f64 %962 %745)
(+.f64 (*.f64 #s(literal 1/2 binary64) %743) %1346)
(+.f64 %1134 %1134)
(+.f64 %1136 %1136)
(+.f64 %1107 %1107)
(+.f64 %1138 %1138)
(+.f64 %1165 %1165)
(+.f64 %983 %745)
(+.f64 %1713 %1713)
(+.f64 %1633 %1633)
(+.f64 %1807 %1807)
(+.f64 %1809 %1809)
(+.f64 %771 %771)
(+.f64 %773 %773)
(+.f64 %745 %956)
(+.f64 %745 %958)
(+.f64 %745 %960)
(+.f64 %745 %962)
(+.f64 %745 %964)
(+.f64 %745 %966)
(+.f64 %745 %968)
(+.f64 %745 %970)
(+.f64 %745 %973)
(+.f64 %745 %975)
(+.f64 %745 %977)
(+.f64 %745 %979)
(+.f64 %745 %981)
(+.f64 %745 %983)
(+.f64 %745 %985)
(+.f64 %745 %987)
(+.f64 %745 %989)
(+.f64 %745 %991)
(+.f64 %745 %993)
(+.f64 %745 %995)
(+.f64 %745 %997)
(+.f64 %745 %999)
(+.f64 %745 %1001)
(+.f64 %745 %1003)
(+.f64 %745 %1005)

%2 = (*.f64 x #s(literal 100 binary64))
%4 = (*.f64 #s(literal 100 binary64) x)
%5 = (+ x y)
%6 = (approx %5 y)
%7 = (/.f64 x y)
%8 = (*.f64 #s(literal 100 binary64) %7)
%11 = (/ (* x 100) %5)
%14 = (E.f64 )
%15 = (+.f64 y x)
%16 = (/.f64 #s(literal 100 binary64) %15)
%18 = (*.f64 %14 %4)
%19 = (*.f64 %14 %15)
x
#s(literal 100 binary64)
%2
y
%4
%6
%7
%8
(approx %11 %8)
(approx %11 #s(literal 100 binary64))
%14
%15
%16
(*.f64 x %16)
%18
%19
(/.f64 %18 %19)
(/.f64 %2 %6)

%2 = (*.f64 #s(literal 100 binary64) x)
%6 = (*.f64 (*.f64 %2 #s(literal 2 binary64)) #s(literal 1/2 binary64))
%8 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %2))
%10 = (E.f64 )
%11 = (*.f64 #s(literal -100 binary64) %10)
%12 = (neg.f64 x)
%13 = (/.f64 %12 %10)
%14 = (*.f64 %11 %13)
%16 = (/.f64 #s(literal 1 binary64) %10)
%17 = (*.f64 %10 %2)
%18 = (*.f64 %16 %17)
%19 = (/.f64 x %10)
%20 = (*.f64 #s(literal 100 binary64) %19)
%21 = (*.f64 %20 %10)
%22 = (*.f64 %10 #s(literal 100 binary64))
%23 = (*.f64 %19 %22)
%24 = (neg.f64 %10)
%25 = (*.f64 #s(literal -100 binary64) x)
%26 = (/.f64 %25 %10)
%27 = (*.f64 %24 %26)
%28 = (*.f64 %22 %19)
%29 = (*.f64 %10 x)
%30 = (/.f64 #s(literal 100 binary64) %10)
%31 = (*.f64 %29 %30)
%32 = (*.f64 %11 x)
%35 = (*.f64 %32 (/.f64 #s(literal -1 binary64) %10))
%36 = (*.f64 #s(literal -100 binary64) %12)
%37 = (*.f64 %12 #s(literal -100 binary64))
%38 = (*.f64 %25 #s(literal -1 binary64))
%39 = (*.f64 #s(literal 1 binary64) %2)
%40 = (*.f64 %17 %16)
%42 = (*.f64 %10 (*.f64 %16 %2))
%43 = (*.f64 %10 %20)
%44 = (*.f64 %2 #s(literal 1 binary64))
%45 = (*.f64 %10 %19)
%46 = (*.f64 #s(literal 100 binary64) %45)
%47 = (*.f64 x #s(literal 100 binary64))
%48 = (pow.f64 %2 #s(literal 1 binary64))
%49 = (neg.f64 %24)
%51 = (/.f64 %32 (neg.f64 %49))
%52 = (/.f64 %32 %24)
%54 = (/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
%56 = (/.f64 #s(literal 1 binary64) (/.f64 %24 %32))
%58 = (/.f64 #s(literal 1 binary64) (/.f64 %10 %17))
%59 = (/.f64 %17 %49)
%60 = (/.f64 %17 %10)
%61 = (neg.f64 %25)
%63 = (+ y x)
%64 = (approx %63 y)
%66 = (/.f64 #s(literal 1 binary64) %64)
%68 = (neg.f64 %64)
%70 = (/.f64 #s(literal -1 binary64) y)
%72 = (/.f64 #s(literal 1 binary64) y)
%75 = (/.f64 x y)
%79 = (*.f64 %12 #s(literal 1 binary64))
%82 = (*.f64 x #s(literal -1 binary64))
%85 = (*.f64 #s(literal -1 binary64) x)
%88 = (neg.f64 y)
%99 = (/.f64 %12 y)
%101 = (/.f64 #s(literal 100 binary64) y)
%110 = (*.f64 %75 #s(literal 100 binary64))
%136 = (/ (* 100 x) %63)
%137 = (approx %136 %110)
%141 = (approx %136 #s(literal 100 binary64))
%145 = (+.f64 y x)
%147 = (/.f64 #s(literal 1 binary64) %145)
%149 = (neg.f64 %145)
%154 = (/.f64 #s(literal 100 binary64) %145)
%157 = (/.f64 #s(literal -1 binary64) %145)
%167 = (*.f64 %24 %154)
%170 = (*.f64 %24 #s(literal -100 binary64))
%172 = (*.f64 %149 %10)
%174 = (*.f64 %10 %154)
%178 = (*.f64 %145 %10)
%192 = (/.f64 #s(literal -100 binary64) %145)
%196 = (/.f64 #s(literal 1 binary64) %178)
%198 = (*.f64 (*.f64 %196 %22) x)
%200 = (*.f64 (*.f64 %196 %29) #s(literal 100 binary64))
%202 = (*.f64 (*.f64 %196 #s(literal 100 binary64)) %29)
%204 = (*.f64 (*.f64 #s(literal 1 binary64) %174) %19)
%205 = (/.f64 %10 %145)
%207 = (*.f64 (*.f64 #s(literal 1 binary64) %205) %20)
%209 = (*.f64 (*.f64 #s(literal 1 binary64) %20) %205)
%211 = (/.f64 x %178)
%212 = (*.f64 (*.f64 #s(literal 1 binary64) %22) %211)
%213 = (/.f64 x %145)
%215 = (*.f64 (*.f64 %10 %213) %30)
%216 = (*.f64 %213 #s(literal 100 binary64))
%218 = (*.f64 (*.f64 %216 #s(literal 2 binary64)) #s(literal 1/2 binary64))
%219 = (*.f64 %45 %154)
%220 = (*.f64 #s(literal 1 binary64) %32)
%221 = (/.f64 #s(literal -1 binary64) %178)
%222 = (*.f64 %220 %221)
%224 = (/.f64 %12 %145)
%225 = (*.f64 (/.f64 %11 %10) %224)
%227 = (*.f64 (/.f64 %11 %145) %13)
%228 = (/.f64 %24 %145)
%229 = (*.f64 %228 %26)
%230 = (*.f64 %26 %228)
%231 = (/.f64 %29 %145)
%232 = (*.f64 %231 %30)
%233 = (*.f64 %174 x)
%234 = (*.f64 %233 %16)
%235 = (*.f64 %211 %22)
%237 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %216))
%239 = (*.f64 %11 (*.f64 x %221))
%241 = (*.f64 %11 (/.f64 %12 %178))
%242 = (*.f64 #s(literal -100 binary64) %213)
%243 = (*.f64 %242 #s(literal -1 binary64))
%244 = (*.f64 %221 %32)
%245 = (*.f64 %157 %25)
%247 = (*.f64 %174 (*.f64 %19 #s(literal 1 binary64)))
%248 = (*.f64 %174 %19)
%250 = (*.f64 %205 (*.f64 %20 #s(literal 1 binary64)))
%251 = (*.f64 %205 %20)
%253 = (*.f64 %20 (*.f64 %205 #s(literal 1 binary64)))
%254 = (*.f64 %20 %205)
%256 = (*.f64 %30 (*.f64 %213 %10))
%257 = (*.f64 %30 %231)
%259 = (*.f64 %213 (*.f64 %30 %10))
%261 = (*.f64 %19 (*.f64 %154 %10))
%262 = (*.f64 %19 %174)
%264 = (*.f64 %24 (*.f64 %2 %221))
%266 = (*.f64 %24 (/.f64 %25 %178))
%267 = (*.f64 #s(literal -1 binary64) %242)
%269 = (*.f64 %22 (*.f64 %19 %147))
%271 = (*.f64 %22 (*.f64 %12 %221))
%273 = (*.f64 %22 (*.f64 %211 #s(literal 1 binary64)))
%274 = (*.f64 %22 %211)
%275 = (/.f64 %2 %178)
%276 = (*.f64 %275 %10)
%277 = (/.f64 #s(literal 100 binary64) %178)
%278 = (*.f64 %29 %277)
%279 = (*.f64 %196 %17)
%280 = (*.f64 %147 %2)
%282 = (*.f64 %32 (*.f64 %221 #s(literal 1 binary64)))
%283 = (*.f64 %32 %221)
%285 = (*.f64 #s(literal -100 binary64) (*.f64 x %157))
%287 = (*.f64 #s(literal -100 binary64) (*.f64 %157 x))
%288 = (*.f64 #s(literal -100 binary64) %224)
%289 = (*.f64 %12 %192)
%291 = (*.f64 %25 (*.f64 %157 #s(literal 1 binary64)))
%292 = (*.f64 %25 %157)
%293 = (*.f64 #s(literal 1 binary64) %216)
%294 = (*.f64 %17 %196)
%296 = (*.f64 %154 (*.f64 %19 %10))
%297 = (*.f64 %154 x)
%299 = (*.f64 %10 (*.f64 %16 %216))
%300 = (*.f64 %10 %275)
%301 = (*.f64 %216 #s(literal 1 binary64))
%303 = (*.f64 %2 (*.f64 %24 %221))
%304 = (*.f64 %2 %147)
%306 = (*.f64 #s(literal 100 binary64) (*.f64 %10 %211))
%308 = (*.f64 #s(literal 100 binary64) (*.f64 %211 %10))
%310 = (*.f64 #s(literal 100 binary64) (*.f64 %12 %157))
%312 = (*.f64 #s(literal 100 binary64) (*.f64 %29 %196))
%314 = (*.f64 #s(literal 100 binary64) (*.f64 %213 #s(literal 1 binary64)))
%316 = (*.f64 #s(literal 100 binary64) (/.f64 %29 %178))
%317 = (*.f64 #s(literal 100 binary64) %213)
%319 = (*.f64 x (*.f64 %277 %10))
%321 = (*.f64 x (*.f64 %22 %196))
%322 = (*.f64 x %154)
%323 = (pow.f64 %216 #s(literal 1 binary64))
%324 = (*.f64 #s(literal 1 binary64) %233)
%326 = (/.f64 (neg.f64 %324) %24)
%328 = (/.f64 (neg.f64 %220) %178)
%329 = (*.f64 %216 %24)
%331 = (/.f64 (neg.f64 %329) %49)
%332 = (*.f64 %32 %147)
%334 = (/.f64 (neg.f64 %332) %49)
%335 = (*.f64 #s(literal -1 binary64) %17)
%337 = (/.f64 (neg.f64 %335) %178)
%338 = (*.f64 %24 %216)
%340 = (/.f64 (neg.f64 %338) %49)
%341 = (*.f64 %32 #s(literal -1 binary64))
%343 = (/.f64 (neg.f64 %341) %172)
%344 = (*.f64 %32 #s(literal 1 binary64))
%346 = (/.f64 (neg.f64 %344) %178)
%347 = (*.f64 %17 #s(literal -1 binary64))
%349 = (/.f64 (neg.f64 %347) %178)
%350 = (*.f64 %24 %233)
%352 = (*.f64 %24 %10)
%354 = (/.f64 (neg.f64 %350) (neg.f64 %352))
%355 = (*.f64 %24 %32)
%357 = (*.f64 %24 %172)
%359 = (/.f64 (neg.f64 %355) (neg.f64 %357))
%360 = (*.f64 %24 %17)
%362 = (*.f64 %24 %178)
%364 = (/.f64 (neg.f64 %360) (neg.f64 %362))
%365 = (*.f64 %10 %233)
%367 = (*.f64 %10 %10)
%368 = (neg.f64 %367)
%369 = (/.f64 (neg.f64 %365) %368)
%370 = (*.f64 %10 %32)
%372 = (*.f64 %10 %172)
%374 = (/.f64 (neg.f64 %370) (neg.f64 %372))
%375 = (*.f64 %10 %17)
%377 = (*.f64 %10 %178)
%379 = (/.f64 (neg.f64 %375) (neg.f64 %377))
%380 = (*.f64 %233 %24)
%382 = (*.f64 %10 %24)
%384 = (/.f64 (neg.f64 %380) (neg.f64 %382))
%385 = (*.f64 %233 %10)
%387 = (/.f64 (neg.f64 %385) %368)
%388 = (*.f64 %32 %24)
%390 = (*.f64 %172 %24)
%392 = (/.f64 (neg.f64 %388) (neg.f64 %390))
%393 = (*.f64 %32 %10)
%395 = (*.f64 %172 %10)
%397 = (/.f64 (neg.f64 %393) (neg.f64 %395))
%398 = (*.f64 %17 %24)
%399 = (neg.f64 %398)
%400 = (*.f64 %178 %24)
%402 = (/.f64 %399 (neg.f64 %400))
%403 = (*.f64 %17 %10)
%404 = (neg.f64 %403)
%405 = (*.f64 %178 %10)
%407 = (/.f64 %404 (neg.f64 %405))
%408 = (neg.f64 %233)
%410 = (/.f64 (neg.f64 %408) %49)
%411 = (*.f64 #s(literal -1 binary64) %2)
%412 = (neg.f64 %411)
%413 = (/.f64 %412 %145)
%414 = (/.f64 %324 %10)
%415 = (/.f64 %220 %172)
%416 = (/.f64 %329 %24)
%417 = (/.f64 %332 %24)
%418 = (/.f64 %335 %172)
%419 = (/.f64 %411 %149)
%420 = (/.f64 %338 %24)
%422 = (/.f64 (/.f64 %32 %145) %24)
%423 = (/.f64 %341 %178)
%424 = (/.f64 %344 %172)
%425 = (/.f64 %347 %172)
%426 = (/.f64 %350 %352)
%427 = (/.f64 %355 %357)
%428 = (/.f64 %360 %362)
%429 = (/.f64 %365 %367)
%430 = (/.f64 %370 %372)
%431 = (/.f64 %375 %377)
%432 = (/.f64 %380 %382)
%433 = (/.f64 %385 %367)
%434 = (/.f64 %388 %390)
%435 = (/.f64 %393 %395)
%436 = (/.f64 %398 %400)
%437 = (/.f64 %403 %405)
%438 = (/.f64 %408 %24)
%439 = (/.f64 %233 %49)
%440 = (/.f64 %233 %10)
%441 = (/.f64 %32 %172)
%442 = (/.f64 %25 %149)
%444 = (/.f64 #s(literal 1 binary64) (pow.f64 %216 #s(literal -1 binary64)))
%446 = (/.f64 #s(literal 1 binary64) (/.f64 %10 %233))
%448 = (/.f64 #s(literal 1 binary64) (/.f64 %172 %32))
%450 = (/.f64 #s(literal 1 binary64) (/.f64 %149 %25))
%452 = (/.f64 #s(literal 1 binary64) (/.f64 %178 %17))
%454 = (/.f64 #s(literal 1 binary64) (/.f64 %145 %2))
%455 = (/.f64 %17 %178)
%456 = (/.f64 %2 %145)
%457 = (neg.f64 %242)
%459 = (/.f64 (+.f64 %16 %10) #s(literal 2 binary64))
%461 = (/.f64 (-.f64 %10 %16) #s(literal 2 binary64))
%462 = (*.f64 %461 %275)
%463 = (fma.f64 %459 %275 %462)
%464 = (*.f64 %275 %461)
%465 = (fma.f64 %275 %459 %464)
%467 = (+.f64 (*.f64 %275 %459) %464)
%469 = (+.f64 (*.f64 %459 %275) %462)
%497 = (*.f64 %461 %2)
%499 = (*.f64 %2 %461)
%513 = (*.f64 %461 %145)
%515 = (*.f64 %145 %461)
%517 = (*.f64 %49 x)
%519 = (*.f64 %24 x)
%520 = (neg.f64 %519)
%523 = (*.f64 %10 y)
%529 = (*.f64 %24 y)
%542 = (/.f64 x %64)
%544 = (/.f64 #s(literal -1 binary64) %64)
%548 = (/.f64 #s(literal 100 binary64) %64)
%560 = (/.f64 %2 %64)
%576 = (*.f64 %10 %64)
%579 = (*.f64 %24 %64)
x
#s(literal 100 binary64)
%6
%8
%14
%18
%21
%23
%27
%28
%31
%35
%36
%37
%38
%39
%40
%42
%43
%44
%46
%2
%47
%48
%51
%52
%54
%56
%58
%59
%60
%61
y
%6
%8
%14
%18
%21
%23
%27
%28
%31
%35
%36
%37
%38
%39
%40
%42
%43
%44
%46
%2
%47
%48
%51
%52
%54
%56
%58
%59
%60
%61
(pow.f64 %64 #s(literal 1 binary64))
%64
(/.f64 #s(literal 1 binary64) %66)
(neg.f64 %68)
(*.f64 %70 %12)
(*.f64 %72 x)
(*.f64 %12 %70)
(*.f64 #s(literal 1 binary64) %75)
(*.f64 x %72)
(pow.f64 %75 #s(literal 1 binary64))
(/.f64 (neg.f64 %79) y)
(/.f64 (neg.f64 %82) y)
(/.f64 (neg.f64 %85) y)
(/.f64 %79 %88)
(/.f64 %82 %88)
(/.f64 %85 %88)
(/.f64 %12 %88)
(/.f64 #s(literal 1 binary64) (pow.f64 %75 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %88 %12))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
%75
(neg.f64 %99)
(*.f64 %101 x)
(*.f64 %72 %2)
(*.f64 #s(literal -100 binary64) %99)
(*.f64 %12 (*.f64 %70 #s(literal 100 binary64)))
(*.f64 %12 (/.f64 #s(literal -100 binary64) y))
(*.f64 %25 %70)
(*.f64 %110 #s(literal 1 binary64))
%110
(*.f64 %2 %72)
(*.f64 #s(literal 100 binary64) %75)
(*.f64 x %101)
(pow.f64 %110 #s(literal 1 binary64))
(/.f64 %25 %88)
(/.f64 #s(literal 1 binary64) (pow.f64 %110 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %88 %25))
(/.f64 #s(literal 1 binary64) (/.f64 y %2))
(/.f64 %2 y)
(neg.f64 (*.f64 %99 #s(literal 100 binary64)))
(neg.f64 (*.f64 #s(literal -100 binary64) %75))
(neg.f64 (*.f64 %75 #s(literal -100 binary64)))
(neg.f64 (*.f64 #s(literal 100 binary64) %99))
(neg.f64 (/.f64 %25 y))
(pow.f64 %137 #s(literal 1 binary64))
%137
(/.f64 #s(literal 1 binary64) (pow.f64 %137 #s(literal -1 binary64)))
(pow.f64 %141 #s(literal 1 binary64))
%141
(/.f64 #s(literal 1 binary64) (pow.f64 %141 #s(literal -1 binary64)))
%10
(pow.f64 %145 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %147)
(neg.f64 %149)
(-.f64 y %12)
(-.f64 x %88)
%145
(+.f64 x y)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %154))
(*.f64 %157 #s(literal -100 binary64))
(*.f64 %147 #s(literal 100 binary64))
(*.f64 #s(literal -100 binary64) %157)
(*.f64 #s(literal 1 binary64) %154)
(*.f64 %154 #s(literal 1 binary64))
(*.f64 %10 (*.f64 %16 %154))
(*.f64 #s(literal 100 binary64) %147)
(pow.f64 %154 #s(literal 1 binary64))
(/.f64 (neg.f64 %167) %49)
(/.f64 (neg.f64 %170) %172)
(/.f64 (neg.f64 %174) %24)
(/.f64 %167 %24)
(/.f64 %170 %178)
(/.f64 %11 %172)
(/.f64 %174 %10)
(/.f64 %22 %178)
(/.f64 #s(literal -100 binary64) %149)
(/.f64 #s(literal 1 binary64) (pow.f64 %154 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %149 #s(literal -100 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %145 #s(literal 100 binary64)))
%154
(neg.f64 (*.f64 %147 #s(literal -100 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) %192))
(neg.f64 %192)
%198
%200
%202
%204
%207
%209
%212
%215
%218
%219
%222
%225
%227
%229
%230
%232
%234
%235
%237
%239
%241
%243
%244
%245
%247
%248
%250
%251
%253
%254
%256
%257
%259
%216
%261
%262
%264
%266
%267
%269
%271
%273
%274
%276
%278
%279
%280
%282
%283
%285
%287
%288
%289
%291
%292
%293
%294
%296
%297
%299
%300
%301
%303
%304
%306
%308
%310
%312
%314
%316
%317
%319
%321
%322
%323
%326
%328
%331
%334
%337
%340
%343
%346
%349
%354
%359
%364
%369
%374
%379
%384
%387
%392
%397
%402
%407
%410
%413
%414
%415
%416
%417
%418
%419
%420
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%444
%446
%448
%450
%452
%454
%455
%456
%457
%463
%465
%467
%469
(*.f64 (*.f64 %17 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %403 %16)
(*.f64 %49 %2)
(*.f64 %11 %12)
(*.f64 %24 %25)
(*.f64 %22 x)
(*.f64 %29 #s(literal 100 binary64))
(*.f64 %25 %24)
(*.f64 #s(literal 1 binary64) %17)
(*.f64 %17 #s(literal 1 binary64))
%17
(*.f64 %2 %49)
(*.f64 %2 %10)
(*.f64 #s(literal 100 binary64) (*.f64 #s(literal 1 binary64) %29))
(*.f64 #s(literal 100 binary64) (*.f64 %29 #s(literal 1 binary64)))
(*.f64 #s(literal 100 binary64) %29)
(*.f64 x %22)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 %399 %49)
(/.f64 %404 %24)
(/.f64 %398 %24)
(/.f64 %403 %10)
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
(neg.f64 %32)
(fma.f64 %459 %2 %497)
(fma.f64 %2 %459 %499)
(+.f64 (*.f64 %2 %459) %499)
(+.f64 (*.f64 %459 %2) %497)
(*.f64 %49 %145)
(*.f64 %24 %149)
(*.f64 %149 %24)
(*.f64 %145 %49)
%178
(*.f64 %10 %145)
(pow.f64 %178 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %196)
(neg.f64 %172)
(fma.f64 %459 %145 %513)
(fma.f64 %145 %459 %515)
(fma.f64 %10 y %517)
(fma.f64 %10 y %520)
(fma.f64 %10 y %29)
(fma.f64 %10 x %523)
(fma.f64 y %10 %517)
(fma.f64 y %10 %520)
(fma.f64 y %10 %29)
(fma.f64 x %10 %523)
(-.f64 %29 %529)
(-.f64 %523 %519)
(+.f64 (*.f64 %145 %459) %515)
(+.f64 (*.f64 %459 %145) %513)
(+.f64 (neg.f64 %529) %520)
(+.f64 %29 %523)
(+.f64 %523 %517)
(+.f64 %523 %520)
(+.f64 %523 %29)
%198
%200
%202
%204
%207
%209
%212
%215
%218
%219
%222
%225
%227
%229
%230
%232
%234
%235
%237
%239
%241
%243
%244
%245
%247
%248
%250
%251
%253
%254
%256
%257
%259
%216
%261
%262
%264
%266
%267
%269
%271
%273
%274
%276
%278
%279
%280
%282
%283
%285
%287
%288
%289
%291
%292
%293
%294
%296
%297
%299
%300
%301
%303
%304
%306
%308
%310
%312
%314
%316
%317
%319
%321
%322
%323
%326
%328
%331
%334
%337
%340
%343
%346
%349
%354
%359
%364
%369
%374
%379
%384
%387
%392
%397
%402
%407
%410
%413
%414
%415
%416
%417
%418
%419
%420
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%444
%446
%448
%450
%452
%454
%455
%456
%457
%463
%465
%467
%469
(*.f64 %542 #s(literal 100 binary64))
(*.f64 %544 %25)
(*.f64 %22 (/.f64 %19 %64))
(*.f64 %548 x)
(*.f64 %66 %2)
(*.f64 #s(literal -100 binary64) (*.f64 x %544))
(*.f64 #s(literal -100 binary64) (/.f64 %12 %64))
(*.f64 %12 (*.f64 #s(literal 100 binary64) %544))
(*.f64 %12 (/.f64 #s(literal -100 binary64) %64))
(*.f64 %25 %544)
(*.f64 #s(literal 1 binary64) %560)
(*.f64 %17 (/.f64 %16 %64))
(*.f64 %10 (/.f64 %20 %64))
(*.f64 %2 %66)
(*.f64 #s(literal 100 binary64) (*.f64 %12 %544))
(*.f64 #s(literal 100 binary64) (*.f64 #s(literal 1 binary64) %542))
(*.f64 #s(literal 100 binary64) %542)
(*.f64 x %548)
(pow.f64 %560 #s(literal 1 binary64))
(/.f64 %412 %64)
(/.f64 %411 %68)
(/.f64 %32 (neg.f64 %576))
(/.f64 %32 %579)
(/.f64 %25 %68)
(/.f64 #s(literal 1 binary64) (pow.f64 %560 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %68 %25))
(/.f64 #s(literal 1 binary64) (/.f64 %64 %2))
(/.f64 %17 (neg.f64 %579))
(/.f64 %17 %576)
%560
(neg.f64 (*.f64 #s(literal -100 binary64) %542))

%3 = (*.f64 #s(literal 100 binary64) x)
%4 = (E.f64 )
%5 = (*.f64 %4 %3)
%6 = (/.f64 #s(literal 100 binary64) x)
%8 = (+ y x)
%10 = (approx (/ 100 %8) %6)
%11 = (/.f64 x %4)
%12 = (*.f64 %4 #s(literal 100 binary64))
%13 = (approx %8 y)
%14 = (/.f64 %11 %13)
%16 = (/.f64 #s(literal 100 binary64) %13)
%18 = (*.f64 %4 %13)
x
#s(literal 100 binary64)
y
%3
%4
%5
%6
%10
%11
%12
%13
%14
(*.f64 %12 %14)
%16
(*.f64 x %16)
%18
(/.f64 %5 %18)
(*.f64 x %10)

%3 = (*.f64 #s(literal 100 binary64) x)
%8 = (E.f64 )
%9 = (*.f64 %8 x)
%10 = (/.f64 #s(literal 100 binary64) %8)
%15 = (*.f64 #s(literal -100 binary64) %8)
%16 = (/.f64 x %8)
%17 = (neg.f64 %16)
%19 = (*.f64 %10 x)
%21 = (*.f64 #s(literal -100 binary64) x)
%25 = (/.f64 #s(literal 1 binary64) %8)
%26 = (*.f64 %8 %3)
%28 = (*.f64 %9 #s(literal -100 binary64))
%29 = (/.f64 #s(literal -1 binary64) %8)
%31 = (neg.f64 %8)
%32 = (/.f64 %21 %8)
%34 = (neg.f64 x)
%35 = (*.f64 %8 #s(literal 100 binary64))
%50 = (*.f64 %26 #s(literal -1 binary64))
%51 = (neg.f64 %50)
%65 = (*.f64 %26 %8)
%82 = (*.f64 %26 %31)
%93 = (/.f64 (+.f64 %25 %8) #s(literal 2 binary64))
%95 = (/.f64 (-.f64 %8 %25) #s(literal 2 binary64))
%96 = (*.f64 %95 %3)
%98 = (*.f64 %3 %95)
%104 = (/.f64 #s(literal -1 binary64) x)
%106 = (/.f64 #s(literal 1 binary64) x)
%109 = (/.f64 #s(literal 100 binary64) x)
%114 = (*.f64 %8 %17)
%128 = (+ y x)
%130 = (approx (/ 100 %128) %109)
%143 = (*.f64 %16 %31)
%146 = (*.f64 %34 %31)
%148 = (*.f64 %8 %8)
%149 = (neg.f64 %148)
%151 = (*.f64 %34 %8)
%153 = (*.f64 %31 %8)
%156 = (*.f64 #s(literal -1 binary64) x)
%157 = (neg.f64 %156)
%159 = (*.f64 x #s(literal -1 binary64))
%160 = (neg.f64 %159)
%162 = (*.f64 x %31)
%164 = (*.f64 %8 %31)
%184 = (*.f64 %17 #s(literal 1 binary64))
%193 = (*.f64 %95 #s(literal 100 binary64))
%195 = (*.f64 #s(literal 100 binary64) %95)
%201 = (approx %128 y)
%203 = (/.f64 #s(literal 1 binary64) %201)
%205 = (neg.f64 %201)
%207 = (/.f64 %34 %201)
%209 = (/.f64 #s(literal -1 binary64) %201)
%211 = (/.f64 x %201)
%213 = (*.f64 %201 %8)
%214 = (/.f64 #s(literal 1 binary64) %213)
%218 = (/.f64 #s(literal -1 binary64) %213)
%221 = (/.f64 x %213)
%226 = (*.f64 %16 #s(literal -1 binary64))
%229 = (*.f64 #s(literal -1 binary64) %16)
%232 = (*.f64 %34 %209)
%235 = (*.f64 x %209)
%238 = (*.f64 #s(literal -1 binary64) %34)
%240 = (*.f64 %31 %201)
%244 = (neg.f64 %207)
%247 = (*.f64 %34 #s(literal -1 binary64))
%254 = (/.f64 %34 %213)
%290 = (/.f64 #s(literal 100 binary64) %201)
%291 = (*.f64 %290 %8)
%293 = (*.f64 (*.f64 %291 %25) x)
%295 = (*.f64 (*.f64 %214 %9) #s(literal 100 binary64))
%296 = (*.f64 %290 x)
%298 = (*.f64 (*.f64 %296 #s(literal 2 binary64)) #s(literal 1/2 binary64))
%299 = (*.f64 %214 %35)
%300 = (*.f64 %299 x)
%302 = (*.f64 (*.f64 %214 #s(literal 100 binary64)) %9)
%303 = (*.f64 %291 %34)
%304 = (*.f64 %303 %29)
%306 = (*.f64 (*.f64 %8 %211) %10)
%307 = (/.f64 %31 %201)
%308 = (*.f64 %307 %32)
%309 = (/.f64 %9 %201)
%310 = (*.f64 %309 %10)
%312 = (*.f64 (/.f64 %15 %8) %207)
%313 = (/.f64 %15 %201)
%314 = (*.f64 %313 %17)
%315 = (/.f64 #s(literal 100 binary64) %213)
%316 = (*.f64 %9 %315)
%317 = (*.f64 %32 %307)
%318 = (*.f64 %291 x)
%319 = (*.f64 %318 %25)
%321 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %296))
%322 = (*.f64 %15 %254)
%323 = (/.f64 %21 %201)
%324 = (*.f64 %323 #s(literal -1 binary64))
%325 = (*.f64 %218 %28)
%326 = (*.f64 %291 %16)
%327 = (/.f64 %8 %201)
%328 = (*.f64 %327 %19)
%330 = (*.f64 %19 (*.f64 %203 %8))
%331 = (*.f64 %19 %327)
%333 = (*.f64 %10 (*.f64 %211 %8))
%334 = (*.f64 %10 %309)
%336 = (*.f64 %211 (*.f64 %10 %8))
%337 = (*.f64 %211 #s(literal 100 binary64))
%338 = (*.f64 %21 %209)
%339 = (*.f64 #s(literal -1 binary64) %323)
%340 = (/.f64 %3 %213)
%341 = (*.f64 %340 %8)
%342 = (*.f64 %214 %26)
%343 = (*.f64 %25 %318)
%344 = (*.f64 %203 %3)
%345 = (*.f64 %296 #s(literal 1 binary64))
%346 = (*.f64 %28 %218)
%348 = (*.f64 %31 (*.f64 %3 %218))
%350 = (*.f64 %31 (/.f64 %21 %213))
%352 = (*.f64 %34 (*.f64 %29 %291))
%354 = (*.f64 %17 (*.f64 %209 %35))
%355 = (*.f64 %17 %313)
%357 = (*.f64 #s(literal -100 binary64) (*.f64 %209 x))
%358 = (*.f64 #s(literal -100 binary64) %207)
%359 = (*.f64 #s(literal 1 binary64) %296)
%360 = (*.f64 %221 %35)
%361 = (*.f64 %35 %221)
%362 = (*.f64 %16 %291)
%363 = (*.f64 %26 %214)
%364 = (*.f64 %8 %340)
%366 = (*.f64 %3 (*.f64 %31 %218))
%367 = (*.f64 %3 %203)
%369 = (*.f64 #s(literal 100 binary64) (*.f64 %211 #s(literal 1 binary64)))
%370 = (*.f64 #s(literal 100 binary64) %211)
%372 = (*.f64 x (*.f64 %315 %8))
%373 = (*.f64 x %299)
%375 = (*.f64 x (*.f64 %25 %291))
%377 = (*.f64 x (*.f64 %35 %214))
%378 = (*.f64 x %290)
%379 = (pow.f64 %296 #s(literal 1 binary64))
%381 = (/.f64 (neg.f64 %303) %8)
%382 = (*.f64 %327 %3)
%384 = (/.f64 (neg.f64 %382) %31)
%385 = (*.f64 %296 %31)
%387 = (/.f64 (neg.f64 %385) %8)
%388 = (*.f64 #s(literal 1 binary64) %21)
%390 = (/.f64 (neg.f64 %388) %201)
%391 = (*.f64 %35 %207)
%393 = (/.f64 (neg.f64 %391) %8)
%394 = (*.f64 %28 %203)
%396 = (/.f64 (neg.f64 %394) %8)
%397 = (*.f64 #s(literal -1 binary64) %26)
%399 = (/.f64 (neg.f64 %397) %213)
%400 = (*.f64 %203 %26)
%402 = (/.f64 (neg.f64 %400) %31)
%403 = (*.f64 %31 %296)
%405 = (/.f64 (neg.f64 %403) %8)
%406 = (*.f64 %207 %35)
%408 = (/.f64 (neg.f64 %406) %8)
%409 = (*.f64 %211 %35)
%411 = (/.f64 (neg.f64 %409) %31)
%412 = (*.f64 %34 %291)
%414 = (/.f64 (neg.f64 %412) %8)
%415 = (/.f64 %28 %201)
%417 = (/.f64 (neg.f64 %415) %8)
%418 = (*.f64 %28 #s(literal -1 binary64))
%420 = (/.f64 (neg.f64 %418) %240)
%421 = (*.f64 %28 #s(literal 1 binary64))
%423 = (/.f64 (neg.f64 %421) %213)
%424 = (neg.f64 %318)
%426 = (/.f64 (neg.f64 %424) %8)
%427 = (/.f64 %51 %213)
%428 = (/.f64 %303 %31)
%429 = (/.f64 %382 %8)
%430 = (/.f64 %385 %31)
%431 = (/.f64 %388 %205)
%432 = (/.f64 %391 %31)
%433 = (/.f64 %394 %31)
%434 = (/.f64 %397 %240)
%435 = (/.f64 %400 %8)
%436 = (/.f64 %403 %31)
%437 = (/.f64 %406 %31)
%438 = (/.f64 %409 %8)
%439 = (/.f64 %412 %31)
%440 = (/.f64 %415 %31)
%441 = (/.f64 %418 %213)
%442 = (/.f64 %421 %240)
%443 = (/.f64 %50 %240)
%444 = (/.f64 %424 %31)
%445 = (/.f64 %318 %8)
%446 = (/.f64 %21 %205)
%447 = (/.f64 %28 %240)
%449 = (/.f64 #s(literal 1 binary64) (pow.f64 %296 #s(literal -1 binary64)))
%451 = (/.f64 #s(literal 1 binary64) (/.f64 %8 %318))
%453 = (/.f64 #s(literal 1 binary64) (/.f64 %205 %21))
%455 = (/.f64 #s(literal 1 binary64) (/.f64 %240 %28))
%457 = (/.f64 #s(literal 1 binary64) (/.f64 %201 %3))
%459 = (/.f64 #s(literal 1 binary64) (/.f64 %213 %26))
%460 = (/.f64 %26 %213)
%461 = (/.f64 %3 %201)
%463 = (neg.f64 (*.f64 %254 %35))
%465 = (neg.f64 (*.f64 #s(literal -100 binary64) %211))
%467 = (neg.f64 (*.f64 %211 #s(literal -100 binary64)))
%468 = (neg.f64 %323)
%469 = (*.f64 %95 %340)
%470 = (fma.f64 %93 %340 %469)
%471 = (*.f64 %340 %95)
%472 = (fma.f64 %340 %93 %471)
%474 = (+.f64 (*.f64 %340 %93) %471)
%476 = (+.f64 (*.f64 %93 %340) %469)
%488 = (*.f64 %31 %290)
%491 = (*.f64 %31 #s(literal -100 binary64))
%510 = (/.f64 #s(literal -100 binary64) %201)
%520 = (*.f64 %95 %201)
%522 = (*.f64 %201 %95)
%528 = (*.f64 %130 x)
x
#s(literal 100 binary64)
y
(*.f64 (*.f64 %3 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %9 %10)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %3))
(*.f64 %15 %17)
(*.f64 %19 %8)
(*.f64 %21 #s(literal -1 binary64))
(*.f64 %25 %26)
(*.f64 %28 %29)
(*.f64 %31 %32)
(*.f64 %34 (*.f64 %29 %35))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %35 %16)
(*.f64 %16 %35)
(*.f64 %26 %25)
(*.f64 %8 (*.f64 %25 %3))
(*.f64 %8 %19)
(*.f64 %3 #s(literal 1 binary64))
%3
(*.f64 x (*.f64 %25 %35))
(*.f64 x #s(literal 100 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 %51 %8)
(/.f64 %50 %31)
(/.f64 %28 %31)
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %31 %28))
(/.f64 #s(literal 1 binary64) (/.f64 %8 %26))
(/.f64 %26 %8)
(neg.f64 %21)
%8
(*.f64 (*.f64 %26 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %65 %25)
(*.f64 %9 #s(literal 100 binary64))
(*.f64 %15 %34)
(*.f64 %21 %31)
(*.f64 %31 %21)
(*.f64 #s(literal 1 binary64) %26)
(*.f64 %35 x)
(*.f64 %26 #s(literal 1 binary64))
%26
(*.f64 %3 %8)
(*.f64 #s(literal 100 binary64) (*.f64 #s(literal 1 binary64) %9))
(*.f64 #s(literal 100 binary64) (*.f64 %9 #s(literal 1 binary64)))
(*.f64 #s(literal 100 binary64) %9)
(*.f64 x %35)
(pow.f64 %26 #s(literal 1 binary64))
(/.f64 (neg.f64 %82) %8)
(/.f64 (neg.f64 %65) %31)
(/.f64 %82 %31)
(/.f64 %65 %8)
(/.f64 #s(literal 1 binary64) (pow.f64 %26 #s(literal -1 binary64)))
(neg.f64 %28)
(fma.f64 %93 %3 %96)
(fma.f64 %3 %93 %98)
(+.f64 (*.f64 %3 %93) %98)
(+.f64 (*.f64 %93 %3) %96)
(*.f64 %104 #s(literal -100 binary64))
(*.f64 %106 #s(literal 100 binary64))
(*.f64 #s(literal -100 binary64) %104)
(*.f64 #s(literal 1 binary64) %109)
(*.f64 %109 #s(literal 1 binary64))
(*.f64 #s(literal 100 binary64) %106)
(pow.f64 %109 #s(literal 1 binary64))
(/.f64 #s(literal -100 binary64) %114)
(/.f64 #s(literal -100 binary64) %34)
(/.f64 #s(literal 1 binary64) (pow.f64 %109 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %34 #s(literal -100 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x #s(literal 100 binary64)))
%109
(neg.f64 (*.f64 %106 #s(literal -100 binary64)))
(neg.f64 (/.f64 #s(literal -100 binary64) x))
(pow.f64 %130 #s(literal 1 binary64))
%130
(/.f64 #s(literal 1 binary64) (pow.f64 %130 #s(literal -1 binary64)))
(*.f64 (*.f64 %16 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %29 %34)
(*.f64 %25 x)
(*.f64 %34 %29)
(*.f64 #s(literal 1 binary64) %16)
(*.f64 %16 #s(literal 1 binary64))
(*.f64 x %25)
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 (neg.f64 %143) %8)
(/.f64 (neg.f64 %146) %149)
(/.f64 (neg.f64 %151) (neg.f64 %153))
(/.f64 %157 %8)
(/.f64 %160 %8)
(/.f64 (neg.f64 %162) (neg.f64 %164))
(/.f64 %143 %31)
(/.f64 (neg.f64 %9) %149)
(/.f64 %114 %31)
(/.f64 %146 %148)
(/.f64 %151 %153)
(/.f64 %162 %164)
(/.f64 %156 %31)
(/.f64 %159 %31)
(/.f64 %9 %148)
(/.f64 %34 %31)
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %31 %34))
(/.f64 #s(literal 1 binary64) (/.f64 %8 x))
%16
(neg.f64 %184)
(neg.f64 %17)
(*.f64 %35 #s(literal 1 binary64))
%35
(*.f64 #s(literal 100 binary64) %8)
(pow.f64 %35 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %35 #s(literal -1 binary64)))
(neg.f64 %15)
(fma.f64 %93 #s(literal 100 binary64) %193)
(fma.f64 #s(literal 100 binary64) %93 %195)
(+.f64 (*.f64 #s(literal 100 binary64) %93) %195)
(+.f64 (*.f64 %93 #s(literal 100 binary64)) %193)
(pow.f64 %201 #s(literal 1 binary64))
%201
(/.f64 #s(literal 1 binary64) %203)
(neg.f64 %205)
(*.f64 %207 %29)
(*.f64 %209 %17)
(*.f64 %211 %25)
(*.f64 %214 x)
(*.f64 %25 %211)
(*.f64 %203 %16)
(*.f64 %34 %218)
(*.f64 %17 %209)
(*.f64 #s(literal 1 binary64) %221)
(*.f64 %16 %203)
(*.f64 x %214)
(pow.f64 %221 #s(literal 1 binary64))
(/.f64 (neg.f64 %226) %201)
(/.f64 (neg.f64 %229) %201)
(/.f64 (neg.f64 %232) %31)
(/.f64 (neg.f64 %235) %8)
(/.f64 (neg.f64 %238) %240)
(/.f64 %157 %213)
(/.f64 %160 %213)
(/.f64 (neg.f64 %244) %31)
(/.f64 (neg.f64 %247) %240)
(/.f64 %226 %205)
(/.f64 %229 %205)
(/.f64 %232 %8)
(/.f64 %235 %31)
(/.f64 (*.f64 %254 %8) %31)
(/.f64 %184 %205)
(/.f64 %114 %240)
(/.f64 (*.f64 %8 %254) %31)
(/.f64 %238 %213)
(/.f64 %156 %240)
(/.f64 %247 %213)
(/.f64 %159 %240)
(/.f64 %244 %8)
(/.f64 %207 %31)
(/.f64 %211 %8)
(/.f64 %34 %240)
(/.f64 %17 %205)
(/.f64 #s(literal 1 binary64) (pow.f64 %221 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %31 %207))
(/.f64 #s(literal 1 binary64) (/.f64 %8 %211))
(/.f64 #s(literal 1 binary64) (/.f64 %240 %34))
(/.f64 #s(literal 1 binary64) (/.f64 %205 %17))
(/.f64 #s(literal 1 binary64) (/.f64 %213 x))
(/.f64 #s(literal 1 binary64) (/.f64 %201 %16))
(/.f64 %16 %201)
%221
(neg.f64 (*.f64 %203 %17))
(neg.f64 (/.f64 %207 %8))
(neg.f64 %254)
%293
%295
%298
%300
%302
%304
%306
%308
%310
%312
%314
%316
%317
%319
%321
%322
%324
%325
%326
%328
%330
%331
%333
%334
%336
%337
%338
%339
%341
%342
%343
%344
%345
%346
%348
%350
%352
%354
%355
%357
%358
%359
%296
%360
%361
%362
%363
%364
%366
%367
%369
%370
%372
%373
%375
%377
%378
%379
%381
%384
%387
%390
%393
%396
%399
%402
%405
%408
%411
%414
%417
%420
%423
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%449
%451
%453
%455
%457
%459
%460
%461
%463
%465
%467
%468
%470
%472
%474
%476
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %290))
(*.f64 %209 #s(literal -100 binary64))
(*.f64 %203 #s(literal 100 binary64))
(*.f64 #s(literal -100 binary64) %209)
(*.f64 #s(literal 1 binary64) %290)
(*.f64 %290 #s(literal 1 binary64))
(*.f64 %8 (*.f64 %25 %290))
(*.f64 #s(literal 100 binary64) %203)
(pow.f64 %290 #s(literal 1 binary64))
(/.f64 (neg.f64 %488) %8)
(/.f64 (neg.f64 %491) %240)
(/.f64 (neg.f64 %291) %31)
(/.f64 %488 %31)
(/.f64 %491 %213)
(/.f64 %15 %240)
(/.f64 %291 %8)
(/.f64 #s(literal -100 binary64) %205)
(/.f64 #s(literal 1 binary64) (pow.f64 %290 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %205 #s(literal -100 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %201 #s(literal 100 binary64)))
(/.f64 %35 %213)
%290
(neg.f64 (*.f64 %203 #s(literal -100 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) %510))
(neg.f64 %510)
%293
%295
%298
%300
%302
%304
%306
%308
%310
%312
%314
%316
%317
%319
%321
%322
%324
%325
%326
%328
%330
%331
%333
%334
%336
%337
%338
%339
%341
%342
%343
%344
%345
%346
%348
%350
%352
%354
%355
%357
%358
%359
%296
%360
%361
%362
%363
%364
%366
%367
%369
%370
%372
%373
%375
%377
%378
%379
%381
%384
%387
%390
%393
%396
%399
%402
%405
%408
%411
%414
%417
%420
%423
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%449
%451
%453
%455
%457
%459
%460
%461
%463
%465
%467
%468
%470
%472
%474
%476
(*.f64 %31 %205)
(*.f64 %205 %31)
%213
(*.f64 %8 %201)
(pow.f64 %213 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %214)
(neg.f64 %240)
(fma.f64 %93 %201 %520)
(fma.f64 %201 %93 %522)
(+.f64 (*.f64 %201 %93) %522)
(+.f64 (*.f64 %93 %201) %520)
%293
%295
%298
%300
%302
%304
%306
%308
%310
%312
%314
%316
%317
%319
%321
%322
%324
%325
%326
%328
%330
%331
%333
%334
%336
%337
%338
%339
%341
%342
%343
%344
%345
%346
%348
%350
%352
%354
%355
%357
%358
%359
%296
%360
%361
%362
%363
%364
%366
%367
%369
%370
%372
%373
%375
%377
%378
%379
%381
%384
%387
%390
%393
%396
%399
%402
%405
%408
%411
%414
%417
%420
%423
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%447
%449
%451
%453
%455
%457
%459
%460
%461
%463
%465
%467
%468
%470
%472
%474
%476
%528
(*.f64 x %130)
(pow.f64 %528 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %528 #s(literal -1 binary64)))

%2 = (E.f64 )
%3 = (/.f64 x %2)
%5 = (approx (+ y x) y)
%6 = (/.f64 %3 %5)
x
y
%2
%3
%5
%6
#s(literal 2391025982370341/8796093022208 binary64)
(*.f64 #s(literal 2391025982370341/8796093022208 binary64) %6)

%2 = (E.f64 )
%3 = (/.f64 x %2)
%5 = (*.f64 %3 #s(literal 4 binary64))
%9 = (*.f64 %3 #s(literal 1/2 binary64))
%12 = (+.f64 x x)
%13 = (/.f64 %12 %2)
%15 = (neg.f64 %12)
%17 = (/.f64 #s(literal -1/2 binary64) %2)
%19 = (/.f64 #s(literal 1/2 binary64) %2)
%21 = (*.f64 #s(literal 1/4 binary64) %3)
%24 = (neg.f64 x)
%25 = (*.f64 %17 %24)
%27 = (*.f64 %19 x)
%29 = (*.f64 #s(literal 1/2 binary64) %3)
%32 = (/.f64 #s(literal -1 binary64) %2)
%34 = (neg.f64 %3)
%37 = (/.f64 #s(literal 1 binary64) %2)
%46 = (neg.f64 %2)
%49 = (*.f64 #s(literal 2 binary64) %46)
%53 = (*.f64 #s(literal 2 binary64) %2)
%64 = (*.f64 %3 #s(literal 0 binary64))
%66 = (*.f64 #s(literal 0 binary64) %3)
%92 = (*.f64 (-.f64 %2 %32) #s(literal 1/2 binary64))
%94 = (/.f64 (-.f64 %37 %2) #s(literal 2 binary64))
%95 = (*.f64 %94 x)
%108 = (*.f64 x %94)
%121 = (approx (+ y x) y)
%124 = (/.f64 #s(literal 1 binary64) %121)
%126 = (neg.f64 %121)
%128 = (*.f64 %121 %2)
%129 = (/.f64 #s(literal 1 binary64) %128)
%132 = (/.f64 %24 %121)
%135 = (/.f64 x %121)
%140 = (/.f64 #s(literal 2 binary64) %121)
%143 = (/.f64 #s(literal 2 binary64) %2)
%145 = (/.f64 #s(literal 1/2 binary64) %121)
%147 = (*.f64 %132 #s(literal -1 binary64))
%149 = (*.f64 %135 #s(literal -1 binary64))
%152 = (/.f64 #s(literal -1/2 binary64) %121)
%165 = (/.f64 #s(literal -1 binary64) %128)
%168 = (*.f64 %46 %121)
%171 = (/.f64 #s(literal 1/2 binary64) %128)
%173 = (/.f64 x %128)
%183 = (*.f64 #s(literal 2 binary64) %173)
%195 = (/.f64 #s(literal -1 binary64) %121)
%198 = (/.f64 %24 %128)
%245 = (*.f64 %135 %94)
%247 = (*.f64 %94 %135)
%254 = (/.f64 #s(literal 2391025982370341/8796093022208 binary64) %121)
%258 = (/.f64 #s(literal -2391025982370341/8796093022208 binary64) %2)
%259 = (*.f64 %258 x)
%262 = (*.f64 #s(literal 2391025982370341/8796093022208 binary64) x)
%267 = (*.f64 #s(literal 2391025982370341/8796093022208 binary64) %3)
%274 = (/.f64 #s(literal -2391025982370341/8796093022208 binary64) %128)
%277 = (/.f64 #s(literal 2391025982370341/8796093022208 binary64) %128)
%282 = (*.f64 %277 x)
%283 = (*.f64 #s(literal -2391025982370341/8796093022208 binary64) x)
%284 = (/.f64 %283 %121)
%286 = (*.f64 %254 x)
%288 = (/.f64 #s(literal -2391025982370341/8796093022208 binary64) %121)
%291 = (/.f64 #s(literal 2391025982370341/8796093022208 binary64) %2)
%306 = (*.f64 x %288)
%309 = (*.f64 %195 %267)
%311 = (*.f64 #s(literal -2391025982370341/8796093022208 binary64) %173)
%314 = (*.f64 %24 %288)
x
y
%2
(*.f64 %5 #s(literal 1/4 binary64))
(*.f64 %9 #s(literal 2 binary64))
(*.f64 %13 #s(literal 1/2 binary64))
(*.f64 %15 %17)
(*.f64 %12 %19)
(*.f64 #s(literal 4 binary64) %21)
(*.f64 #s(literal 1/2 binary64) %13)
(*.f64 #s(literal 2 binary64) %25)
(*.f64 #s(literal 2 binary64) %27)
(*.f64 #s(literal 2 binary64) %29)
(*.f64 %32 %24)
(*.f64 #s(literal -1 binary64) %34)
(*.f64 %37 x)
(*.f64 %24 %32)
(*.f64 %34 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %3 #s(literal 1 binary64))
(*.f64 x %37)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 %13 #s(literal 2 binary64))
(/.f64 %15 (*.f64 %46 #s(literal 2 binary64)))
(/.f64 %15 %49)
(/.f64 %12 (*.f64 %2 #s(literal 2 binary64)))
(/.f64 %12 %53)
(/.f64 %24 %46)
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %46 %24))
(/.f64 #s(literal 1 binary64) (/.f64 %2 x))
%3
(neg.f64 %34)
(fma.f64 %5 #s(literal 1/4 binary64) %64)
(fma.f64 %5 #s(literal 1/4 binary64) %66)
(fma.f64 %9 #s(literal 2 binary64) %64)
(fma.f64 %9 #s(literal 2 binary64) %66)
(fma.f64 %13 #s(literal 1/2 binary64) %64)
(fma.f64 %13 #s(literal 1/2 binary64) %66)
(fma.f64 %15 %17 %64)
(fma.f64 %15 %17 %66)
(fma.f64 %12 %19 %64)
(fma.f64 %12 %19 %66)
(fma.f64 #s(literal 4 binary64) %21 %64)
(fma.f64 #s(literal 4 binary64) %21 %66)
(fma.f64 #s(literal 1/2 binary64) %13 %64)
(fma.f64 #s(literal 1/2 binary64) %13 %66)
(fma.f64 #s(literal 1/2 binary64) %3 %29)
(fma.f64 #s(literal 2 binary64) %25 %64)
(fma.f64 #s(literal 2 binary64) %25 %66)
(fma.f64 #s(literal 2 binary64) %27 %64)
(fma.f64 #s(literal 2 binary64) %27 %66)
(fma.f64 #s(literal 2 binary64) %29 %64)
(fma.f64 #s(literal 2 binary64) %29 %66)
(fma.f64 %32 %24 %64)
(fma.f64 %32 %24 %66)
(fma.f64 #s(literal -1 binary64) %34 %64)
(fma.f64 #s(literal -1 binary64) %34 %66)
(fma.f64 %92 x %95)
(fma.f64 %37 x %64)
(fma.f64 %37 x %66)
(fma.f64 %24 %32 %64)
(fma.f64 %24 %32 %66)
(fma.f64 %34 #s(literal -1 binary64) %64)
(fma.f64 %34 #s(literal -1 binary64) %66)
(fma.f64 #s(literal 1 binary64) %3 %64)
(fma.f64 #s(literal 1 binary64) %3 %66)
(fma.f64 %3 #s(literal 1/2 binary64) %9)
(fma.f64 %3 #s(literal 1 binary64) %64)
(fma.f64 %3 #s(literal 1 binary64) %66)
(fma.f64 x %92 %108)
(fma.f64 x %37 %64)
(fma.f64 x %37 %66)
(+.f64 %9 %9)
(+.f64 (*.f64 x %92) %108)
(+.f64 %29 %29)
(+.f64 (*.f64 %92 x) %95)
(+.f64 %3 %64)
(+.f64 %3 %66)
(*.f64 #s(literal 1 binary64) %121)
(pow.f64 %121 #s(literal 1 binary64))
%121
(/.f64 #s(literal 1 binary64) %124)
(neg.f64 %126)
(*.f64 (*.f64 %129 %12) #s(literal 1/2 binary64))
(*.f64 (*.f64 %132 #s(literal 2 binary64)) %17)
(*.f64 (*.f64 %135 #s(literal 2 binary64)) %19)
(*.f64 (*.f64 %124 %13) #s(literal 1/2 binary64))
(*.f64 (*.f64 x %140) %19)
(*.f64 (*.f64 x %143) %145)
(*.f64 %147 %37)
(*.f64 %149 %32)
(*.f64 (*.f64 %34 #s(literal 2 binary64)) %152)
(*.f64 (/.f64 %15 %126) %19)
(*.f64 (/.f64 %15 %121) %17)
(*.f64 (/.f64 %15 %2) %152)
(*.f64 (/.f64 %12 %46) %152)
(*.f64 (/.f64 %12 %121) %19)
(*.f64 %13 %145)
(*.f64 %15 (*.f64 #s(literal 1/2 binary64) %165))
(*.f64 %15 (/.f64 #s(literal 1/2 binary64) %168))
(*.f64 %12 %171)
(*.f64 #s(literal 4 binary64) (*.f64 #s(literal 1/4 binary64) %173))
(*.f64 %165 %24)
(*.f64 %140 %27)
(*.f64 %143 (*.f64 %145 x))
(*.f64 %129 x)
(*.f64 %132 %32)
(*.f64 %135 %37)
(*.f64 #s(literal 1/2 binary64) %183)
(*.f64 #s(literal 2 binary64) (*.f64 %171 x))
(*.f64 #s(literal 2 binary64) (*.f64 %152 %34))
(*.f64 #s(literal 2 binary64) (*.f64 %19 %135))
(*.f64 #s(literal 2 binary64) (*.f64 %145 %3))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %173))
(*.f64 %195 %34)
(*.f64 %32 %132)
(*.f64 #s(literal -1 binary64) %198)
(*.f64 %37 %135)
(*.f64 %124 %3)
(*.f64 %24 %165)
(*.f64 %34 %195)
(*.f64 #s(literal 1 binary64) %173)
(*.f64 %173 #s(literal 1 binary64))
(*.f64 %3 %124)
(*.f64 x %129)
(pow.f64 %173 #s(literal 1 binary64))
(/.f64 %147 %2)
(/.f64 %149 %46)
(/.f64 %183 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %132) %49)
(/.f64 (*.f64 #s(literal 2 binary64) %135) %53)
(/.f64 (*.f64 #s(literal 2 binary64) %34) (*.f64 #s(literal 2 binary64) %126))
(/.f64 %13 (*.f64 #s(literal 2 binary64) %121))
(/.f64 %15 (*.f64 #s(literal 2 binary64) %168))
(/.f64 %12 (*.f64 #s(literal 2 binary64) %128))
(/.f64 %132 %46)
(/.f64 %135 %2)
(/.f64 %24 %168)
(/.f64 %34 %126)
(/.f64 #s(literal 1 binary64) (pow.f64 %173 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %46 %132))
(/.f64 #s(literal 1 binary64) (/.f64 %2 %135))
(/.f64 #s(literal 1 binary64) (/.f64 %168 %24))
(/.f64 #s(literal 1 binary64) (/.f64 %126 %34))
(/.f64 #s(literal 1 binary64) (/.f64 %128 x))
(/.f64 #s(literal 1 binary64) (/.f64 %121 %3))
(/.f64 %3 %121)
%173
(neg.f64 %198)
(fma.f64 %135 %92 %245)
(fma.f64 %92 %135 %247)
(+.f64 (*.f64 %135 %92) %245)
(+.f64 (*.f64 %92 %135) %247)
#s(literal 2391025982370341/8796093022208 binary64)
(*.f64 (*.f64 %254 %13) #s(literal 1/2 binary64))
(*.f64 (*.f64 %259 #s(literal 2 binary64)) %152)
(*.f64 (*.f64 %262 %140) %19)
(*.f64 (*.f64 %262 %143) %145)
(*.f64 (*.f64 %267 #s(literal 2 binary64)) %145)
(*.f64 (*.f64 %262 #s(literal 2 binary64)) %171)
(*.f64 %13 (*.f64 #s(literal 1/2 binary64) %254))
(*.f64 %15 (*.f64 #s(literal 1/2 binary64) %274))
(*.f64 %12 (*.f64 #s(literal 1/2 binary64) %277))
(*.f64 %258 %132)
(*.f64 %274 %24)
%282
(*.f64 %284 %32)
(*.f64 %286 %37)
(*.f64 %288 %34)
(*.f64 #s(literal -2391025982370341/8796093022208 binary64) %198)
(*.f64 %291 %135)
(*.f64 %129 %262)
(*.f64 %254 %3)
(*.f64 %283 %165)
(*.f64 %259 %195)
(*.f64 %262 %129)
(*.f64 %132 %258)
(*.f64 %135 %291)
(*.f64 #s(literal 2 binary64) (*.f64 %19 %286))
(*.f64 #s(literal 2 binary64) (*.f64 %145 %267))
(*.f64 %198 #s(literal -2391025982370341/8796093022208 binary64))
(*.f64 %195 %259)
(*.f64 %32 %306)
(*.f64 %32 %284)
(*.f64 #s(literal -1 binary64) %309)
(*.f64 #s(literal -1 binary64) %311)
(*.f64 %267 %124)
(*.f64 %37 %314)
(*.f64 %37 %286)
(*.f64 %124 %267)
(*.f64 %24 (*.f64 %291 %195))
(*.f64 %24 (*.f64 %37 %288))
(*.f64 %24 (/.f64 %291 %126))
(*.f64 %24 %274)
(*.f64 %34 %288)
(*.f64 #s(literal 1 binary64) %282)
(*.f64 %282 #s(literal 1 binary64))
(*.f64 #s(literal 2391025982370341/8796093022208 binary64) %173)
(*.f64 %173 #s(literal 2391025982370341/8796093022208 binary64))
(*.f64 %3 %254)
(*.f64 x (*.f64 %258 %195))
(*.f64 x (*.f64 %32 %288))
(*.f64 x %277)
(pow.f64 %282 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %286) %46)
(/.f64 %314 %2)
(/.f64 %306 %46)
(/.f64 %284 %46)
(/.f64 %286 %2)
(/.f64 %283 %168)
(/.f64 %259 %126)
(/.f64 %262 %128)
(/.f64 %267 %121)
(/.f64 #s(literal 1 binary64) (/.f64 %46 %284))
(/.f64 #s(literal 1 binary64) (/.f64 %2 %286))
(/.f64 #s(literal 1 binary64) (/.f64 %168 %283))
(/.f64 #s(literal 1 binary64) (pow.f64 %282 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %126 %259))
(/.f64 #s(literal 1 binary64) (/.f64 %128 %262))
(/.f64 #s(literal 1 binary64) (/.f64 %121 %267))
(neg.f64 %309)
(neg.f64 (*.f64 %124 %259))
(neg.f64 %311)