%2 = (E.f64 )
%4 = (pow.f64 %2 x)
%5 = (-.f64 %4 #s(literal 1 binary64))
%7 = (*.f64 %5 y)
%8 = (+.f64 #s(literal 1 binary64) %7)
%9 = (log.f64 %8)
c
#s(literal 1 binary64)
%2
x
%4
%5
y
%7
%8
%9
(*.f64 c %9)

%38 = (E.f64 )
%103 = (/.f64 #s(literal 2 binary64) #s(literal 8 binary64))
%105 = (sqrt.f64 #s(literal 2 binary64))
%106 = (sqrt.f64 #s(literal 1/2 binary64))
%110 = (/.f64 #s(literal 0 binary64) #s(literal 8 binary64))
%113 = (/.f64 #s(literal 1 binary64) #s(literal 8 binary64))
%119 = (/.f64 #s(literal 1 binary64) %38)
%120 = (-.f64 %38 %119)
%121 = (*.f64 %120 #s(literal 1/2 binary64))
%123 = (+.f64 %119 %38)
%124 = (*.f64 %123 #s(literal 1/2 binary64))
%137 = (sinh.f64 #s(literal 1/2 binary64))
%138 = (cosh.f64 #s(literal 1/2 binary64))
%139 = (*.f64 %137 %138)
%140 = (*.f64 %139 #s(literal 0 binary64))
%146 = (neg.f64 %38)
%153 = (*.f64 %38 %38)
%161 = (*.f64 #s(literal 0 binary64) %38)
%163 = (*.f64 %38 #s(literal 0 binary64))
%167 = (*.f64 %38 #s(literal 1/2 binary64))
%169 = (*.f64 %38 #s(literal -2 binary64))
%171 = (*.f64 %38 #s(literal 2 binary64))
%175 = (sqrt.f64 %38)
%183 = (*.f64 #s(literal 1/2 binary64) %38)
%192 = (neg.f64 %175)
%195 = (/.f64 #s(literal 0 binary64) %119)
%209 = (/.f64 #s(literal 1/2 binary64) %119)
%211 = (/.f64 #s(literal 2 binary64) %119)
%213 = (/.f64 #s(literal -1/2 binary64) %119)
%264 = (/.f64 %120 #s(literal -2 binary64))
%272 = (-.f64 #s(literal 0 binary64) %264)
%290 = (/.f64 %123 #s(literal 8 binary64))
%292 = (/.f64 %123 #s(literal 4 binary64))
%305 = (*.f64 %124 #s(literal 2 binary64))
%307 = (*.f64 %124 #s(literal 1/2 binary64))
%309 = (*.f64 %124 #s(literal -2 binary64))
%330 = (sinh.f64 #s(literal 2 binary64))
%333 = (sqrt.f64 (fma.f64 (cosh.f64 #s(literal 2 binary64)) #s(literal 2 binary64) #s(literal 2 binary64)))
%338 = (fma.f64 %138 %138 %121)
%340 = (fma.f64 %137 %138 %124)
%343 = (fma.f64 %137 %137 %121)
%346 = (pow.f64 %137 #s(literal 2 binary64))
%348 = (*.f64 %138 %138)
%356 = (-.f64 %348 %264)
%358 = (-.f64 %346 %264)
%362 = (*.f64 #s(literal 2 binary64) %333)
%369 = (*.f64 %333 #s(literal 2 binary64))
%376 = (fabs.f64 %137)
%378 = (fabs.f64 %138)
%380 = (neg.f64 %137)
%382 = (neg.f64 %138)
%389 = (neg.f64 x)
%399 = (*.f64 #s(literal 0 binary64) x)
%401 = (*.f64 x #s(literal 0 binary64))
%405 = (+.f64 x x)
%408 = (*.f64 #s(literal 1/2 binary64) x)
%410 = (*.f64 #s(literal -1/2 binary64) x)
%413 = (*.f64 x #s(literal -2 binary64))
%419 = (/.f64 x #s(literal 4 binary64))
%440 = (/.f64 %405 #s(literal 8 binary64))
%469 = (exp.f64 x)
%471 = (neg.f64 %469)
%486 = (sinh.f64 x)
%487 = (cosh.f64 x)
%498 = (expm1.f64 x)
%499 = (neg.f64 %498)
%506 = (*.f64 #s(literal 2 binary64) %498)
%513 = (*.f64 %499 #s(literal 2 binary64))
%527 = (+.f64 #s(literal 0 binary64) %469)
%529 = (-.f64 %469 #s(literal 0 binary64))
%531 = (+.f64 #s(literal -1/2 binary64) %469)
%533 = (-.f64 %469 #s(literal 1/2 binary64))
%541 = (/.f64 %506 #s(literal 8 binary64))
%543 = (/.f64 %506 #s(literal 4 binary64))
%545 = (-.f64 #s(literal 0 binary64) %471)
%547 = (-.f64 #s(literal -1/2 binary64) %471)
%595 = (/.f64 #s(literal -2 binary64) #s(literal 8 binary64))
%619 = (neg.f64 y)
%628 = (*.f64 #s(literal 0 binary64) y)
%630 = (*.f64 y #s(literal 0 binary64))
%634 = (+.f64 y y)
%637 = (*.f64 #s(literal 1/2 binary64) y)
%639 = (*.f64 #s(literal -1/2 binary64) y)
%642 = (*.f64 #s(literal -2 binary64) y)
%645 = (*.f64 %619 #s(literal 0 binary64))
%647 = (*.f64 #s(literal 0 binary64) %619)
%650 = (*.f64 #s(literal -1/2 binary64) %619)
%652 = (*.f64 #s(literal -2 binary64) %619)
%654 = (*.f64 #s(literal 1/2 binary64) %619)
%656 = (*.f64 #s(literal 2 binary64) %619)
%658 = (*.f64 %619 #s(literal -2 binary64))
%660 = (*.f64 %619 #s(literal 2 binary64))
%662 = (*.f64 %619 #s(literal 1/2 binary64))
%664 = (*.f64 %619 #s(literal -1/2 binary64))
%677 = (*.f64 #s(literal -1 binary64) %634)
%687 = (*.f64 %639 #s(literal -1 binary64))
%689 = (*.f64 %637 #s(literal -1 binary64))
%691 = (*.f64 #s(literal -1 binary64) %642)
%775 = (*.f64 %498 y)
%778 = (neg.f64 %775)
%787 = (*.f64 #s(literal -1 binary64) %499)
%791 = (*.f64 %499 #s(literal -1 binary64))
%793 = (+.f64 #s(literal 0 binary64) %778)
%795 = (-.f64 %778 #s(literal 0 binary64))
%812 = (-.f64 #s(literal 0 binary64) %775)
%825 = (*.f64 %469 y)
%827 = (*.f64 %498 %634)
%831 = (*.f64 #s(literal -1/2 binary64) %499)
%833 = (neg.f64 %827)
%841 = (*.f64 %639 %499)
%843 = (*.f64 %637 %499)
%845 = (*.f64 #s(literal 1/2 binary64) %499)
%848 = (*.f64 %499 #s(literal -2 binary64))
%850 = (*.f64 %499 %642)
%858 = (*.f64 %619 %469)
%869 = (+.f64 #s(literal 0 binary64) %825)
%877 = (*.f64 %471 %619)
%879 = (neg.f64 %858)
%881 = (*.f64 %619 %471)
%939 = (-.f64 #s(literal 1/2 binary64) %469)
%940 = (*.f64 %939 %619)
%948 = (*.f64 %619 %939)
%978 = (*.f64 #s(literal 1 binary64) %639)
%980 = (*.f64 #s(literal 4 binary64) %639)
%982 = (*.f64 %642 #s(literal 1 binary64))
%995 = (fma.f64 %498 y #s(literal 1 binary64))
%999 = (-.f64 #s(literal -1 binary64) %775)
%1006 = (fma.f64 %498 y #s(literal 1/2 binary64))
%1058 = (+.f64 #s(literal 0 binary64) %1006)
%1062 = (fma.f64 %498 %634 #s(literal 2 binary64))
%1064 = (fma.f64 %469 y #s(literal 1 binary64))
%1088 = (-.f64 %619 #s(literal -1 binary64))
%1091 = (fma.f64 %499 %634 #s(literal -2 binary64))
%1109 = (-.f64 %825 #s(literal -1 binary64))
%1126 = (/.f64 %1062 #s(literal 8 binary64))
%1128 = (/.f64 %1062 #s(literal 4 binary64))
%1190 = (log.f64 %995)
%1199 = (log.f64 (fabs.f64 %995))
c
#s(literal 1 binary64)
(fabs.f64 #s(literal 1 binary64))
(fabs.f64 #s(literal -1 binary64))
(neg.f64 #s(literal -1 binary64))
(sqrt.f64 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/4 binary64) #s(literal 3/4 binary64))
(+.f64 #s(literal 3/4 binary64) #s(literal 1/4 binary64))
(copysign.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(copysign.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(-.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(-.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal -2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal 1/4 binary64) #s(literal 4 binary64))
(*.f64 #s(literal -1/4 binary64) #s(literal -4 binary64))
(*.f64 #s(literal -4 binary64) #s(literal -1/4 binary64))
(/.f64 %38 %38)
(/.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -2 binary64))
(/.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 4 binary64))
(/.f64 #s(literal 8 binary64) #s(literal 8 binary64))
(/.f64 #s(literal -4 binary64) #s(literal -4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) #s(literal 3/4 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 3/2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) #s(literal 3/4 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/8 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal -1/8 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal -1/4 binary64) #s(literal 0 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) #s(literal 1 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(*.f64 %103 #s(literal 4 binary64))
(*.f64 %105 %106)
(*.f64 %106 %105)
(/.f64 %105 %105)
(fma.f64 %110 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 %103 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %113 #s(literal 4 binary64) #s(literal 1/2 binary64))
(fma.f64 %105 %106 #s(literal 0 binary64))
(fma.f64 %106 %105 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(cosh.f64 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %121 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %124 #s(literal 1 binary64))
(fma.f64 %121 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 %124 #s(literal 0 binary64) #s(literal 1 binary64))
(hypot.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(hypot.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 2 binary64) %140 #s(literal 1 binary64))
(-.f64 (*.f64 %124 %124) (*.f64 %121 %121))
%38
(fabs.f64 %38)
(fabs.f64 %146)
(neg.f64 %146)
(+.f64 %38 #s(literal 0 binary64))
(*.f64 #s(literal 1 binary64) %38)
(*.f64 %38 #s(literal 1 binary64))
(/.f64 %38 #s(literal 1 binary64))
(sqrt.f64 %153)
(fabs.f64 (*.f64 %146 #s(literal -1 binary64)))
(fma.f64 %38 #s(literal 0 binary64) %38)
(fma.f64 #s(literal 0 binary64) %38 %38)
(fma.f64 #s(literal 1 binary64) %38 #s(literal 0 binary64))
(fma.f64 %38 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 %38 %161)
(+.f64 %38 %163)
(+.f64 %161 %38)
(+.f64 %163 %38)
(*.f64 %167 #s(literal 2 binary64))
(*.f64 %169 #s(literal -1/2 binary64))
(*.f64 %171 #s(literal 1/2 binary64))
(/.f64 %169 #s(literal -2 binary64))
(/.f64 %171 #s(literal 2 binary64))
(*.f64 %175 %175)
(/.f64 #s(literal 1 binary64) %119)
(fma.f64 #s(literal 1 binary64) %38 %161)
(fma.f64 #s(literal 1 binary64) %38 %163)
(fma.f64 %38 #s(literal 1 binary64) %161)
(fma.f64 %38 #s(literal 1 binary64) %163)
(fma.f64 %38 #s(literal 1/2 binary64) %167)
(fma.f64 #s(literal 1/2 binary64) %38 %183)
(fma.f64 %167 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %169 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %171 #s(literal 1/2 binary64) #s(literal 0 binary64))
(+.f64 %183 %183)
(+.f64 %167 %167)
(/.f64 #s(literal -1 binary64) (neg.f64 %119))
(*.f64 %192 %192)
(fma.f64 %175 %175 #s(literal 0 binary64))
(+.f64 %38 %195)
(+.f64 %195 %38)
(-.f64 %38 %195)
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) %119))
(/.f64 #s(literal 2 binary64) (*.f64 %119 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %119))
(/.f64 #s(literal -2 binary64) (*.f64 %119 #s(literal -2 binary64)))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %119))
(*.f64 #s(literal 2 binary64) %209)
(*.f64 #s(literal 1/2 binary64) %211)
(*.f64 #s(literal -2 binary64) %213)
(exp.f64 #s(literal 1 binary64))
(fma.f64 %192 %192 #s(literal 0 binary64))
(fma.f64 %167 #s(literal 2 binary64) %161)
(fma.f64 %167 #s(literal 2 binary64) %163)
(fma.f64 %169 #s(literal -1/2 binary64) %161)
(fma.f64 %169 #s(literal -1/2 binary64) %163)
(fma.f64 %171 #s(literal 1/2 binary64) %161)
(fma.f64 %171 #s(literal 1/2 binary64) %163)
(/.f64 #s(literal 1 binary64) (/.f64 %119 #s(literal 1 binary64)))
(fma.f64 %175 %175 %161)
(fma.f64 %175 %175 %163)
(fma.f64 #s(literal 1 binary64) %38 %195)
(fma.f64 %38 #s(literal 1 binary64) %195)
(fma.f64 #s(literal 2 binary64) %209 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %211 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %213 #s(literal 0 binary64))
(fma.f64 %192 %192 %161)
(fma.f64 %192 %192 %163)
(fma.f64 #s(literal 2 binary64) %209 %161)
(fma.f64 #s(literal 2 binary64) %209 %163)
(fma.f64 #s(literal 1/2 binary64) %211 %161)
(fma.f64 #s(literal 1/2 binary64) %211 %163)
(fma.f64 #s(literal -2 binary64) %213 %161)
(fma.f64 #s(literal -2 binary64) %213 %163)
(fma.f64 %167 #s(literal 2 binary64) %195)
(fma.f64 %169 #s(literal -1/2 binary64) %195)
(fma.f64 %171 #s(literal 1/2 binary64) %195)
(fma.f64 %175 %175 %195)
(/.f64 %175 (exp.f64 #s(literal -1/2 binary64)))
(pow.f64 %38 #s(literal 1 binary64))
(+.f64 %209 %209)
(-.f64 %209 %213)
(fma.f64 %192 %192 %195)
(pow.f64 %175 #s(literal 2 binary64))
(/.f64 (+.f64 %123 %120) #s(literal 2 binary64))
(/.f64 (+.f64 %120 %123) #s(literal 2 binary64))
(pow.f64 %153 #s(literal 1/2 binary64))
(fma.f64 #s(literal 2 binary64) %209 %195)
(fma.f64 #s(literal 1/2 binary64) %211 %195)
(fma.f64 #s(literal -2 binary64) %213 %195)
(pow.f64 %119 #s(literal -1 binary64))
(fma.f64 %123 #s(literal 1/2 binary64) %121)
(fma.f64 %120 #s(literal 1/2 binary64) %124)
(+.f64 %121 %124)
(+.f64 %124 %121)
(-.f64 %124 %264)
(-.f64 %121 (neg.f64 %124))
(fma.f64 #s(literal 1 binary64) %121 %124)
(fma.f64 #s(literal 1 binary64) %124 %121)
(fma.f64 %121 #s(literal 1 binary64) %124)
(fma.f64 %124 #s(literal 1 binary64) %121)
(fma.f64 %123 #s(literal 1/2 binary64) %272)
(/.f64 (fma.f64 %121 #s(literal 2 binary64) %123) #s(literal 2 binary64))
(/.f64 (fma.f64 %124 #s(literal 2 binary64) %120) #s(literal 2 binary64))
(/.f64 (fma.f64 %120 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %123)) #s(literal 4 binary64))
(/.f64 (fma.f64 %123 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %120)) #s(literal 4 binary64))
(/.f64 (fma.f64 %120 #s(literal 2 binary64) (*.f64 %123 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %123 #s(literal 2 binary64) (*.f64 %120 #s(literal 2 binary64))) #s(literal 4 binary64))
(fma.f64 %290 #s(literal 4 binary64) %121)
(fma.f64 %292 #s(literal 2 binary64) %121)
(fma.f64 (/.f64 %120 #s(literal 8 binary64)) #s(literal 4 binary64) %124)
(fma.f64 (/.f64 %120 #s(literal 4 binary64)) #s(literal 2 binary64) %124)
(+.f64 %124 %272)
(fma.f64 (*.f64 %121 #s(literal 2 binary64)) #s(literal 1/2 binary64) %124)
(fma.f64 (*.f64 %121 #s(literal 1/2 binary64)) #s(literal 2 binary64) %124)
(fma.f64 (*.f64 %121 #s(literal -2 binary64)) #s(literal -1/2 binary64) %124)
(fma.f64 %305 #s(literal 1/2 binary64) %121)
(fma.f64 %307 #s(literal 2 binary64) %121)
(fma.f64 %309 #s(literal -1/2 binary64) %121)
(fma.f64 #s(literal 1 binary64) %124 %272)
(fma.f64 %124 #s(literal 1 binary64) %272)
(pow.f64 (exp.f64 #s(literal -2 binary64)) #s(literal -1/2 binary64))
(fma.f64 %290 #s(literal 4 binary64) %272)
(fma.f64 %292 #s(literal 2 binary64) %272)
(fma.f64 %305 #s(literal 1/2 binary64) %272)
(fma.f64 %307 #s(literal 2 binary64) %272)
(fma.f64 %309 #s(literal -1/2 binary64) %272)
(fma.f64 #s(literal 2 binary64) %139 %124)
(fma.f64 %139 #s(literal 2 binary64) %124)
(fma.f64 (*.f64 #s(literal 2 binary64) %137) %138 %124)
(fma.f64 #s(literal 2 binary64) (*.f64 %139 #s(literal 1 binary64)) %124)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %139) %124)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %139) %124)
(fma.f64 %330 (/.f64 #s(literal 1 binary64) %333) %124)
(/.f64 (fma.f64 %124 %333 %330) %333)
(fma.f64 %137 %137 %338)
(fma.f64 %137 %138 %340)
(fma.f64 %138 %137 %340)
(fma.f64 %138 %138 %343)
(+.f64 %139 %340)
(+.f64 %346 %338)
(+.f64 %348 %343)
(+.f64 (fma.f64 %120 #s(literal 1/2 binary64) %346) %348)
(+.f64 (fma.f64 %120 #s(literal 1/2 binary64) %348) %346)
(+.f64 (fma.f64 %123 #s(literal 1/2 binary64) %139) %139)
(fma.f64 %137 %137 %356)
(fma.f64 %138 %138 %358)
(/.f64 (fma.f64 %123 %333 (*.f64 #s(literal 2 binary64) %330)) %362)
(/.f64 (fma.f64 %123 %333 (*.f64 %330 #s(literal 2 binary64))) %362)
(/.f64 (fma.f64 %330 #s(literal 2 binary64) (*.f64 %333 %123)) %369)
(/.f64 (fma.f64 %330 #s(literal 2 binary64) (*.f64 %123 %333)) %369)
(+.f64 %346 %356)
(+.f64 %348 %358)
(fma.f64 %376 %376 %338)
(fma.f64 %378 %378 %343)
(fma.f64 %380 %380 %338)
(fma.f64 %382 %382 %343)
(fma.f64 %376 %376 %356)
(fma.f64 %378 %378 %358)
(fma.f64 %380 %380 %356)
(fma.f64 %382 %382 %358)
x
(neg.f64 %389)
(*.f64 x #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) x)
(/.f64 x #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %389)
(neg.f64 (*.f64 #s(literal 1 binary64) %389))
(fma.f64 x #s(literal 0 binary64) x)
(fma.f64 #s(literal 0 binary64) x x)
(+.f64 x %399)
(+.f64 x %401)
(+.f64 %399 x)
(+.f64 %401 x)
(*.f64 #s(literal 1/2 binary64) %405)
(*.f64 %405 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %408)
(*.f64 #s(literal -2 binary64) %410)
(*.f64 %408 #s(literal 2 binary64))
(*.f64 %413 #s(literal -1/2 binary64))
(/.f64 %405 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) x) #s(literal -2 binary64))
(/.f64 %413 #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) %419)
(/.f64 (neg.f64 %405) #s(literal -2 binary64))
(fma.f64 x #s(literal 1 binary64) %399)
(fma.f64 x #s(literal 1 binary64) %401)
(fma.f64 x #s(literal 1/2 binary64) %408)
(fma.f64 #s(literal 1 binary64) x %399)
(fma.f64 #s(literal 1 binary64) x %401)
(fma.f64 #s(literal 1/2 binary64) x %408)
(+.f64 %408 %408)
(fma.f64 #s(literal -1 binary64) %389 %399)
(fma.f64 #s(literal -1 binary64) %389 %401)
(/.f64 (*.f64 %405 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %405 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %405) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %405) #s(literal -4 binary64))
(*.f64 %440 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %408) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %405))
(/.f64 (/.f64 %405 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %405 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 #s(literal 1/2 binary64) %405 %399)
(fma.f64 #s(literal 1/2 binary64) %405 %401)
(fma.f64 #s(literal 1/4 binary64) %405 %408)
(fma.f64 %405 #s(literal 1/2 binary64) %399)
(fma.f64 %405 #s(literal 1/2 binary64) %401)
(fma.f64 #s(literal 1 binary64) %408 %408)
(fma.f64 #s(literal 2 binary64) %408 %399)
(fma.f64 #s(literal 2 binary64) %408 %401)
(fma.f64 #s(literal -2 binary64) %410 %399)
(fma.f64 #s(literal -2 binary64) %410 %401)
(fma.f64 %408 #s(literal 1 binary64) %408)
(fma.f64 %408 #s(literal 2 binary64) %399)
(fma.f64 %408 #s(literal 2 binary64) %401)
(fma.f64 %413 #s(literal -1/2 binary64) %399)
(fma.f64 %413 #s(literal -1/2 binary64) %401)
(fma.f64 #s(literal 4 binary64) %419 %399)
(fma.f64 #s(literal 4 binary64) %419 %401)
(fma.f64 %440 #s(literal 4 binary64) %399)
(fma.f64 %440 #s(literal 4 binary64) %401)
%469
(fabs.f64 %469)
(fabs.f64 %471)
(neg.f64 %471)
(sqrt.f64 (exp.f64 %405))
(/.f64 #s(literal 1 binary64) (exp.f64 %389))
(pow.f64 %38 x)
(pow.f64 %175 %405)
(/.f64 #s(literal 1 binary64) (pow.f64 %38 %389))
(pow.f64 %153 %408)
(sqrt.f64 (*.f64 %469 %469))
(pow.f64 %469 #s(literal 1 binary64))
(+.f64 %486 %487)
(+.f64 %487 %486)
(-.f64 %487 (sinh.f64 %389))
(-.f64 %487 (neg.f64 %486))
(fma.f64 #s(literal 2 binary64) (*.f64 (sinh.f64 %408) (cosh.f64 %408)) %487)
%498
(neg.f64 %499)
(+.f64 %498 #s(literal 0 binary64))
(-.f64 %498 #s(literal 0 binary64))
(/.f64 %498 #s(literal 1 binary64))
(+.f64 (-.f64 %498 #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 %506 #s(literal 1/2 binary64))
(+.f64 %469 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) %469)
(-.f64 %469 #s(literal 1 binary64))
(/.f64 %506 #s(literal 2 binary64))
(-.f64 #s(literal -1 binary64) %471)
(/.f64 %513 #s(literal -2 binary64))
(/.f64 (neg.f64 %506) #s(literal -2 binary64))
(fma.f64 %506 #s(literal 1/2 binary64) #s(literal 0 binary64))
(/.f64 (neg.f64 %513) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %469)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %469)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %469)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %469)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %469)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %469)
(fma.f64 #s(literal -1/4 binary64) #s(literal 4 binary64) %469)
(+.f64 #s(literal -1 binary64) %527)
(+.f64 #s(literal -1 binary64) %529)
(+.f64 #s(literal -1/2 binary64) %531)
(+.f64 #s(literal -1/2 binary64) %533)
(+.f64 %533 #s(literal -1/2 binary64))
(-.f64 %533 #s(literal 1/2 binary64))
(-.f64 %529 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %498 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(*.f64 %541 #s(literal 4 binary64))
(*.f64 %543 #s(literal 2 binary64))
(+.f64 #s(literal -1 binary64) %545)
(+.f64 #s(literal -1/2 binary64) %547)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %506))
(/.f64 (/.f64 %506 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %506 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %527)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %529)
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) %531)
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) %533)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %527)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %529)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) %531)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) %533)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %527)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %529)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %527)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %529)
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) %531)
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) %533)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %527)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %529)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) %531)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) %533)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %527)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %529)
(fma.f64 #s(literal -1/4 binary64) #s(literal 4 binary64) %527)
(fma.f64 #s(literal -1/4 binary64) #s(literal 4 binary64) %529)
(fma.f64 %541 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %543 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %545)
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) %547)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %545)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) %547)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %545)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %545)
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) %547)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %545)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) %547)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %545)
(fma.f64 #s(literal -1/4 binary64) #s(literal 4 binary64) %545)
(/.f64 (-.f64 (*.f64 %506 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %469 #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64))
(fma.f64 %595 #s(literal 4 binary64) %469)
(/.f64 (-.f64 (*.f64 %469 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %469 #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))
(-.f64 (/.f64 (*.f64 %469 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(fma.f64 %595 #s(literal 4 binary64) %527)
(fma.f64 %595 #s(literal 4 binary64) %529)
(/.f64 (-.f64 (*.f64 %533 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64))
(fma.f64 %595 #s(literal 4 binary64) %545)
(+.f64 %487 (-.f64 %486 #s(literal 1 binary64)))
(+.f64 %487 (+.f64 %486 #s(literal -1 binary64)))
(+.f64 (+.f64 #s(literal -1 binary64) %487) %486)
y
(neg.f64 %619)
(*.f64 y #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) y)
(/.f64 y #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %619)
(*.f64 %619 #s(literal -1 binary64))
(fma.f64 y #s(literal 0 binary64) y)
(fma.f64 #s(literal 0 binary64) y y)
(+.f64 y %628)
(+.f64 y %630)
(+.f64 %628 y)
(+.f64 %630 y)
(*.f64 #s(literal 1/2 binary64) %634)
(*.f64 %634 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %637)
(*.f64 #s(literal -2 binary64) %639)
(*.f64 %637 #s(literal 2 binary64))
(*.f64 %642 #s(literal -1/2 binary64))
(/.f64 %634 #s(literal 2 binary64))
(+.f64 y %645)
(+.f64 y %647)
(/.f64 %642 #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) %650)
(*.f64 #s(literal 1/2 binary64) %652)
(*.f64 #s(literal -2 binary64) %654)
(*.f64 #s(literal -1/2 binary64) %656)
(*.f64 %658 #s(literal 1/2 binary64))
(*.f64 %660 #s(literal -1/2 binary64))
(*.f64 %662 #s(literal -2 binary64))
(*.f64 %664 #s(literal 2 binary64))
(/.f64 %658 #s(literal 2 binary64))
(/.f64 %660 #s(literal -2 binary64))
(/.f64 %656 #s(literal -2 binary64))
(/.f64 %652 #s(literal 2 binary64))
(fma.f64 y #s(literal 1 binary64) %628)
(fma.f64 y #s(literal 1 binary64) %630)
(fma.f64 y #s(literal 1/2 binary64) %637)
(fma.f64 #s(literal 1 binary64) y %628)
(fma.f64 #s(literal 1 binary64) y %630)
(fma.f64 #s(literal 1/2 binary64) y %637)
(+.f64 %637 %637)
(*.f64 %677 #s(literal -1/2 binary64))
(fma.f64 y #s(literal 1 binary64) %645)
(fma.f64 y #s(literal 1 binary64) %647)
(fma.f64 #s(literal 1 binary64) y %645)
(fma.f64 #s(literal 1 binary64) y %647)
(fma.f64 #s(literal -1 binary64) %619 %628)
(fma.f64 #s(literal -1 binary64) %619 %630)
(fma.f64 %619 #s(literal -1 binary64) %628)
(fma.f64 %619 #s(literal -1 binary64) %630)
(*.f64 #s(literal 2 binary64) %687)
(*.f64 #s(literal -2 binary64) %689)
(*.f64 %691 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) %619 %645)
(fma.f64 #s(literal -1 binary64) %619 %647)
(fma.f64 #s(literal -1/2 binary64) %619 %650)
(fma.f64 %619 #s(literal -1 binary64) %645)
(fma.f64 %619 #s(literal -1 binary64) %647)
(fma.f64 %619 #s(literal -1/2 binary64) %664)
(+.f64 %664 %664)
(+.f64 %650 %650)
(fma.f64 #s(literal 1/2 binary64) %634 %628)
(fma.f64 #s(literal 1/2 binary64) %634 %630)
(fma.f64 %634 #s(literal 1/2 binary64) %628)
(fma.f64 %634 #s(literal 1/2 binary64) %630)
(fma.f64 #s(literal 1 binary64) %637 %637)
(fma.f64 #s(literal 2 binary64) %637 %628)
(fma.f64 #s(literal 2 binary64) %637 %630)
(fma.f64 #s(literal -2 binary64) %639 %628)
(fma.f64 #s(literal -2 binary64) %639 %630)
(fma.f64 %637 #s(literal 2 binary64) %628)
(fma.f64 %637 #s(literal 2 binary64) %630)
(fma.f64 %642 #s(literal -1/2 binary64) %628)
(fma.f64 %642 #s(literal -1/2 binary64) %630)
(fma.f64 #s(literal 1/2 binary64) %634 %645)
(fma.f64 #s(literal 1/2 binary64) %634 %647)
(fma.f64 %634 #s(literal 1/2 binary64) %645)
(fma.f64 %634 #s(literal 1/2 binary64) %647)
(fma.f64 #s(literal 2 binary64) %637 %645)
(fma.f64 #s(literal 2 binary64) %637 %647)
(fma.f64 #s(literal 2 binary64) %650 %628)
(fma.f64 #s(literal 2 binary64) %650 %630)
(fma.f64 #s(literal 1/2 binary64) %652 %628)
(fma.f64 #s(literal 1/2 binary64) %652 %630)
(fma.f64 #s(literal -2 binary64) %639 %645)
(fma.f64 #s(literal -2 binary64) %639 %647)
(fma.f64 #s(literal -2 binary64) %654 %628)
(fma.f64 #s(literal -2 binary64) %654 %630)
(fma.f64 #s(literal -1/2 binary64) %656 %628)
(fma.f64 #s(literal -1/2 binary64) %656 %630)
(fma.f64 %637 #s(literal 2 binary64) %645)
(fma.f64 %637 #s(literal 2 binary64) %647)
(fma.f64 %642 #s(literal -1/2 binary64) %645)
(fma.f64 %642 #s(literal -1/2 binary64) %647)
(fma.f64 %658 #s(literal 1/2 binary64) %628)
(fma.f64 %658 #s(literal 1/2 binary64) %630)
(fma.f64 %660 #s(literal -1/2 binary64) %628)
(fma.f64 %660 #s(literal -1/2 binary64) %630)
(fma.f64 %662 #s(literal -2 binary64) %628)
(fma.f64 %662 #s(literal -2 binary64) %630)
(fma.f64 %664 #s(literal 2 binary64) %628)
(fma.f64 %664 #s(literal 2 binary64) %630)
(fma.f64 #s(literal 2 binary64) %650 %645)
(fma.f64 #s(literal 2 binary64) %650 %647)
(fma.f64 #s(literal 1/2 binary64) %652 %645)
(fma.f64 #s(literal 1/2 binary64) %652 %647)
(fma.f64 #s(literal -2 binary64) %654 %645)
(fma.f64 #s(literal -2 binary64) %654 %647)
(fma.f64 #s(literal -1/2 binary64) %656 %645)
(fma.f64 #s(literal -1/2 binary64) %656 %647)
(fma.f64 %658 #s(literal 1/2 binary64) %645)
(fma.f64 %658 #s(literal 1/2 binary64) %647)
(fma.f64 %660 #s(literal -1/2 binary64) %645)
(fma.f64 %660 #s(literal -1/2 binary64) %647)
(fma.f64 %662 #s(literal -2 binary64) %645)
(fma.f64 %662 #s(literal -2 binary64) %647)
(fma.f64 %664 #s(literal 2 binary64) %645)
(fma.f64 %664 #s(literal 2 binary64) %647)
(fma.f64 %677 #s(literal -1/2 binary64) %628)
(fma.f64 %677 #s(literal -1/2 binary64) %630)
(fma.f64 #s(literal 2 binary64) %687 %628)
(fma.f64 #s(literal 2 binary64) %687 %630)
(fma.f64 #s(literal -2 binary64) %689 %628)
(fma.f64 #s(literal -2 binary64) %689 %630)
(fma.f64 %691 #s(literal 1/2 binary64) %628)
(fma.f64 %691 #s(literal 1/2 binary64) %630)
(fma.f64 %677 #s(literal -1/2 binary64) %645)
(fma.f64 %677 #s(literal -1/2 binary64) %647)
(fma.f64 #s(literal 2 binary64) %687 %645)
(fma.f64 #s(literal 2 binary64) %687 %647)
(fma.f64 #s(literal -2 binary64) %689 %645)
(fma.f64 #s(literal -2 binary64) %689 %647)
(fma.f64 %691 #s(literal 1/2 binary64) %645)
(fma.f64 %691 #s(literal 1/2 binary64) %647)
(*.f64 y %498)
%775
(*.f64 %619 %499)
(*.f64 %499 %619)
(neg.f64 %778)
(fma.f64 y %498 #s(literal 0 binary64))
(fma.f64 %498 y #s(literal 0 binary64))
(+.f64 %775 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %775)
(-.f64 #s(literal 0 binary64) %778)
(fma.f64 %619 %499 #s(literal 0 binary64))
(fma.f64 %499 %619 #s(literal 0 binary64))
(*.f64 y %787)
(*.f64 #s(literal -1 binary64) %778)
(*.f64 %778 #s(literal -1 binary64))
(*.f64 %791 y)
(neg.f64 %793)
(neg.f64 %795)
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %775)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %775)
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) %775)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %775)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %775)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %775)
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) %775)
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) %775)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %775)
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) %775)
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) %775)
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) %775)
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) %775)
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) %775))
(-.f64 #s(literal 0 binary64) %812)
(fma.f64 y %498 %645)
(fma.f64 y %498 %647)
(fma.f64 y %787 #s(literal 0 binary64))
(fma.f64 %498 y %645)
(fma.f64 %498 y %647)
(fma.f64 #s(literal -1 binary64) %778 #s(literal 0 binary64))
(fma.f64 %778 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %791 y #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) %778))
(-.f64 #s(literal 0 binary64) %793)
(-.f64 %825 y)
(/.f64 %827 #s(literal 2 binary64))
(+.f64 %775 %645)
(+.f64 %775 %647)
(*.f64 %634 %831)
(*.f64 %833 #s(literal -1/2 binary64))
(fma.f64 y %469 %619)
(fma.f64 %469 y %619)
(/.f64 (*.f64 %506 y) #s(literal 2 binary64))
(/.f64 (*.f64 y %506) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %841)
(*.f64 #s(literal -2 binary64) %843)
(*.f64 %642 %845)
(*.f64 %513 %639)
(*.f64 %848 %637)
(*.f64 %850 #s(literal 1/2 binary64))
(+.f64 %619 %825)
(+.f64 %825 %619)
(fma.f64 %619 %499 %645)
(fma.f64 %619 %499 %647)
(fma.f64 %499 %619 %645)
(fma.f64 %499 %619 %647)
(-.f64 %619 %858)
(fma.f64 %634 %831 #s(literal 0 binary64))
(fma.f64 %833 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %619 %471 %619)
(fma.f64 %471 %619 %619)
(/.f64 (*.f64 %513 %619) #s(literal 2 binary64))
(fma.f64 y #s(literal -1 binary64) %825)
(fma.f64 #s(literal -1 binary64) y %825)
(fma.f64 %110 #s(literal 4 binary64) %775)
(-.f64 %869 y)
(fma.f64 #s(literal 2 binary64) %841 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %843 #s(literal 0 binary64))
(fma.f64 %642 %845 #s(literal 0 binary64))
(fma.f64 %513 %639 #s(literal 0 binary64))
(fma.f64 %848 %637 #s(literal 0 binary64))
(fma.f64 %850 #s(literal 1/2 binary64) #s(literal 0 binary64))
(+.f64 %619 %877)
(+.f64 %619 %879)
(+.f64 %619 %881)
(+.f64 %877 %619)
(+.f64 %879 %619)
(+.f64 %881 %619)
(fma.f64 #s(literal 1 binary64) %619 %825)
(fma.f64 %619 #s(literal 1 binary64) %825)
(+.f64 (+.f64 #s(literal 0 binary64) %619) %825)
(+.f64 %869 %619)
(-.f64 (-.f64 #s(literal 0 binary64) y) %858)
(-.f64 (-.f64 #s(literal 0 binary64) %858) y)
(fma.f64 y %787 %645)
(fma.f64 y %787 %647)
(fma.f64 #s(literal -1 binary64) %778 %645)
(fma.f64 #s(literal -1 binary64) %778 %647)
(fma.f64 %778 #s(literal -1 binary64) %645)
(fma.f64 %778 #s(literal -1 binary64) %647)
(fma.f64 %791 y %645)
(fma.f64 %791 y %647)
(fma.f64 y #s(literal -1 binary64) %877)
(fma.f64 y #s(literal -1 binary64) %879)
(fma.f64 y #s(literal -1 binary64) %881)
(fma.f64 #s(literal -1 binary64) y %877)
(fma.f64 #s(literal -1 binary64) y %879)
(fma.f64 #s(literal -1 binary64) y %881)
(fma.f64 #s(literal -1/2 binary64) %634 %825)
(fma.f64 %634 #s(literal -1/2 binary64) %825)
(fma.f64 #s(literal 1 binary64) %619 %877)
(fma.f64 #s(literal 1 binary64) %619 %879)
(fma.f64 #s(literal 1 binary64) %619 %881)
(fma.f64 %619 #s(literal 1 binary64) %877)
(fma.f64 %619 #s(literal 1 binary64) %879)
(fma.f64 %619 #s(literal 1 binary64) %881)
(fma.f64 #s(literal 2 binary64) %639 %825)
(fma.f64 #s(literal 1/2 binary64) %642 %825)
(fma.f64 #s(literal -2 binary64) %637 %825)
(fma.f64 %637 #s(literal -2 binary64) %825)
(fma.f64 %642 #s(literal 1/2 binary64) %825)
(fma.f64 %639 #s(literal 2 binary64) %825)
(fma.f64 %634 %831 %645)
(fma.f64 %634 %831 %647)
(fma.f64 %833 #s(literal -1/2 binary64) %645)
(fma.f64 %833 #s(literal -1/2 binary64) %647)
(fma.f64 #s(literal 2 binary64) %841 %645)
(fma.f64 #s(literal 2 binary64) %841 %647)
(fma.f64 #s(literal -2 binary64) %843 %645)
(fma.f64 #s(literal -2 binary64) %843 %647)
(fma.f64 %642 %845 %645)
(fma.f64 %642 %845 %647)
(fma.f64 %513 %639 %645)
(fma.f64 %513 %639 %647)
(fma.f64 %848 %637 %645)
(fma.f64 %848 %637 %647)
(fma.f64 %850 #s(literal 1/2 binary64) %645)
(fma.f64 %850 #s(literal 1/2 binary64) %647)
(fma.f64 #s(literal 1/2 binary64) %619 %940)
(fma.f64 #s(literal -1/2 binary64) %634 %877)
(fma.f64 #s(literal -1/2 binary64) %634 %879)
(fma.f64 #s(literal -1/2 binary64) %634 %881)
(fma.f64 %634 #s(literal -1/2 binary64) %877)
(fma.f64 %634 #s(literal -1/2 binary64) %879)
(fma.f64 %634 #s(literal -1/2 binary64) %881)
(fma.f64 %619 #s(literal 1/2 binary64) %948)
(fma.f64 %619 %939 %662)
(fma.f64 %939 %619 %654)
(fma.f64 #s(literal 2 binary64) %639 %877)
(fma.f64 #s(literal 2 binary64) %639 %879)
(fma.f64 #s(literal 2 binary64) %639 %881)
(fma.f64 #s(literal 1/2 binary64) %642 %877)
(fma.f64 #s(literal 1/2 binary64) %642 %879)
(fma.f64 #s(literal 1/2 binary64) %642 %881)
(fma.f64 #s(literal -2 binary64) %637 %877)
(fma.f64 #s(literal -2 binary64) %637 %879)
(fma.f64 #s(literal -2 binary64) %637 %881)
(fma.f64 %637 #s(literal -2 binary64) %877)
(fma.f64 %637 #s(literal -2 binary64) %879)
(fma.f64 %637 #s(literal -2 binary64) %881)
(fma.f64 %642 #s(literal 1/2 binary64) %877)
(fma.f64 %642 #s(literal 1/2 binary64) %879)
(fma.f64 %642 #s(literal 1/2 binary64) %881)
(fma.f64 %639 #s(literal 2 binary64) %877)
(fma.f64 %639 #s(literal 2 binary64) %879)
(fma.f64 %639 #s(literal 2 binary64) %881)
(+.f64 %662 %948)
(+.f64 %654 %940)
(+.f64 %940 %654)
(+.f64 %948 %662)
(fma.f64 #s(literal 0 binary64) %121 %775)
(fma.f64 #s(literal 0 binary64) %124 %775)
(fma.f64 %121 #s(literal 0 binary64) %775)
(fma.f64 %124 #s(literal 0 binary64) %775)
(fma.f64 #s(literal 2 binary64) %978 %825)
(fma.f64 #s(literal 1/2 binary64) %980 %825)
(fma.f64 %982 #s(literal 1/2 binary64) %825)
(fma.f64 #s(literal 2 binary64) %978 %877)
(fma.f64 #s(literal 2 binary64) %978 %879)
(fma.f64 #s(literal 2 binary64) %978 %881)
(fma.f64 #s(literal 1/2 binary64) %980 %877)
(fma.f64 #s(literal 1/2 binary64) %980 %879)
(fma.f64 #s(literal 1/2 binary64) %980 %881)
(fma.f64 %982 #s(literal 1/2 binary64) %877)
(fma.f64 %982 #s(literal 1/2 binary64) %879)
(fma.f64 %982 #s(literal 1/2 binary64) %881)
(fma.f64 #s(literal 2 binary64) %140 %775)
(fma.f64 y %498 #s(literal 1 binary64))
%995
(+.f64 #s(literal 1 binary64) %775)
(+.f64 %775 #s(literal 1 binary64))
(-.f64 %775 #s(literal -1 binary64))
(neg.f64 %999)
(-.f64 #s(literal 1 binary64) %778)
(fma.f64 %619 %499 #s(literal 1 binary64))
(fma.f64 %499 %619 #s(literal 1 binary64))
(+.f64 %995 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %995)
(+.f64 #s(literal 1/2 binary64) %1006)
(+.f64 %1006 #s(literal 1/2 binary64))
(-.f64 %995 #s(literal 0 binary64))
(-.f64 %1006 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %775)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %775)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %775)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %775)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %775)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %775)
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) %775)
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) %775)
(fma.f64 #s(literal -1/4 binary64) #s(literal -4 binary64) %775)
(fma.f64 #s(literal -4 binary64) #s(literal -1/4 binary64) %775)
(-.f64 #s(literal 1 binary64) %812)
(-.f64 #s(literal 0 binary64) %999)
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %775))
(-.f64 #s(literal 1/2 binary64) (fma.f64 %619 %498 #s(literal -1/2 binary64)))
(/.f64 %995 #s(literal 1 binary64))
(fma.f64 y %787 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %778 #s(literal 1 binary64))
(fma.f64 %778 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 %791 y #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) %793)
(-.f64 #s(literal 1 binary64) %795)
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %778))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) %995)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1006)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) %995)
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) %995)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %995)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) %995)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) %995)
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) %995)
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) %995)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %995)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %1006)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1006)
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) %995)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1006)
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) %995)
(fma.f64 #s(literal -2 binary64) #s(literal -1/4 binary64) %1006)
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) %995)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %1006)
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) %995)
(fma.f64 #s(literal 4 binary64) #s(literal 1/8 binary64) %1006)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %1006)
(fma.f64 #s(literal -4 binary64) #s(literal -1/8 binary64) %1006)
(+.f64 #s(literal 1/2 binary64) %1058)
(-.f64 (+.f64 %995 #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 %1062 #s(literal 1/2 binary64))
(-.f64 %1064 y)
(/.f64 %1062 #s(literal 2 binary64))
(fma.f64 %634 %831 #s(literal 1 binary64))
(fma.f64 %833 #s(literal -1/2 binary64) #s(literal 1 binary64))
(/.f64 (fma.f64 %775 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %775 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 %103 #s(literal 4 binary64) %775)
(fma.f64 %105 %106 %775)
(fma.f64 %106 %105 %775)
(-.f64 %825 (+.f64 y #s(literal -1 binary64)))
(-.f64 %825 (-.f64 y #s(literal 1 binary64)))
(fma.f64 #s(literal 2 binary64) %841 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %843 #s(literal 1 binary64))
(fma.f64 %642 %845 #s(literal 1 binary64))
(fma.f64 %513 %639 #s(literal 1 binary64))
(fma.f64 %848 %637 #s(literal 1 binary64))
(fma.f64 %850 #s(literal 1/2 binary64) #s(literal 1 binary64))
(+.f64 %619 %1064)
(+.f64 %1064 %619)
(fma.f64 y %469 %1088)
(fma.f64 %469 y %1088)
(/.f64 %1091 #s(literal -2 binary64))
(/.f64 (neg.f64 %1062) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %775 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1058)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %1058)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1058)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1058)
(fma.f64 #s(literal -2 binary64) #s(literal -1/4 binary64) %1058)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %1058)
(fma.f64 #s(literal 4 binary64) #s(literal 1/8 binary64) %1058)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %1058)
(fma.f64 #s(literal -4 binary64) #s(literal -1/8 binary64) %1058)
(fma.f64 %1062 #s(literal 1/2 binary64) #s(literal 0 binary64))
(+.f64 %1088 %825)
(+.f64 %619 %1109)
(+.f64 %825 %1088)
(-.f64 (-.f64 #s(literal 1 binary64) y) %858)
(/.f64 (neg.f64 %1091) #s(literal 2 binary64))
(fma.f64 y #s(literal -1 binary64) %1064)
(fma.f64 #s(literal -1 binary64) y %1064)
(/.f64 (fma.f64 %1006 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(fma.f64 %110 #s(literal 4 binary64) %995)
(fma.f64 %113 #s(literal 4 binary64) %1006)
(-.f64 %825 (neg.f64 %1088))
(fma.f64 y #s(literal -1 binary64) %1109)
(fma.f64 #s(literal -1 binary64) y %1109)
(*.f64 %1126 #s(literal 4 binary64))
(*.f64 %1128 #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) %619 %1064)
(fma.f64 %619 #s(literal 1 binary64) %1064)
(+.f64 %1064 (+.f64 %619 #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1062))
(/.f64 (/.f64 %1062 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %1062 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 #s(literal 1 binary64) %619 %1109)
(fma.f64 %619 #s(literal 1 binary64) %1109)
(fma.f64 #s(literal -1/2 binary64) %634 %1064)
(fma.f64 %634 #s(literal -1/2 binary64) %1064)
(/.f64 (fma.f64 %1062 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(fma.f64 %113 #s(literal 4 binary64) %1058)
(fma.f64 %1126 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %1128 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal -1/2 binary64) y #s(literal 1/2 binary64)) %825)
(fma.f64 #s(literal 2 binary64) %639 %1064)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal -2 binary64) y #s(literal 2 binary64)) %825)
(fma.f64 #s(literal 1/2 binary64) %642 %1064)
(fma.f64 #s(literal -2 binary64) (fma.f64 #s(literal 1/2 binary64) y #s(literal -1/2 binary64)) %825)
(fma.f64 #s(literal -2 binary64) %637 %1064)
(fma.f64 #s(literal -1/2 binary64) (fma.f64 #s(literal 2 binary64) y #s(literal -2 binary64)) %825)
(fma.f64 %637 #s(literal -2 binary64) %1064)
(fma.f64 %642 #s(literal 1/2 binary64) %1064)
(fma.f64 %639 #s(literal 2 binary64) %1064)
(fma.f64 #s(literal -1/2 binary64) %634 %1109)
(fma.f64 #s(literal -1/2 binary64) (-.f64 %634 #s(literal 2 binary64)) %825)
(fma.f64 %634 #s(literal -1/2 binary64) %1109)
(fma.f64 #s(literal 2 binary64) %639 %1109)
(fma.f64 #s(literal 2 binary64) (-.f64 %639 #s(literal -1/2 binary64)) %825)
(fma.f64 #s(literal 1/2 binary64) %642 %1109)
(fma.f64 #s(literal 1/2 binary64) (-.f64 %642 #s(literal -2 binary64)) %825)
(fma.f64 #s(literal -2 binary64) %637 %1109)
(fma.f64 #s(literal -2 binary64) (-.f64 %637 #s(literal 1/2 binary64)) %825)
(fma.f64 %637 #s(literal -2 binary64) %1109)
(fma.f64 %642 #s(literal 1/2 binary64) %1109)
(fma.f64 %639 #s(literal 2 binary64) %1109)
(fma.f64 #s(literal 0 binary64) %121 %995)
(fma.f64 #s(literal 0 binary64) %124 %995)
(fma.f64 %121 #s(literal 0 binary64) %995)
(fma.f64 %124 #s(literal 0 binary64) %995)
(fma.f64 #s(literal 2 binary64) %978 %1064)
(fma.f64 #s(literal 1/2 binary64) %980 %1064)
(fma.f64 %982 #s(literal 1/2 binary64) %1064)
(fma.f64 #s(literal 2 binary64) %978 %1109)
(fma.f64 #s(literal 1/2 binary64) %980 %1109)
(fma.f64 %982 #s(literal 1/2 binary64) %1109)
(fma.f64 #s(literal 2 binary64) %140 %995)
%1190
(log1p.f64 %775)
(-.f64 (log.f64 (fabs.f64 %1062)) (log.f64 #s(literal 2 binary64)))
(*.f64 c %1190)
(*.f64 %1190 c)
(*.f64 c %1199)
(*.f64 %1199 c)
(log.f64 (pow.f64 %995 c))

%4 = (expm1.f64 x)
%5 = (*.f64 y %4)
%7 = (pow (E ) x)
%8 = (approx %7 #s(literal 1 binary64))
%10 = (*.f64 #s(literal 1/2 binary64) x)
%11 = (+.f64 #s(literal 1 binary64) %10)
%12 = (*.f64 x %11)
%14 = (*.f64 #s(literal 1/6 binary64) x)
%15 = (+.f64 #s(literal 1/2 binary64) %14)
%16 = (*.f64 x %15)
%17 = (+.f64 #s(literal 1 binary64) %16)
%18 = (*.f64 x %17)
%20 = (- %7 1)
%21 = (approx %20 %12)
%22 = (approx %20 %18)
%24 = (*.f64 #s(literal 1/24 binary64) x)
%25 = (+.f64 #s(literal 1/6 binary64) %24)
%26 = (*.f64 x %25)
%27 = (+.f64 #s(literal 1/2 binary64) %26)
%28 = (*.f64 x %27)
%29 = (+.f64 #s(literal 1 binary64) %28)
%30 = (*.f64 x %29)
%31 = (approx %20 %30)
%32 = (*.f64 x y)
%33 = (* %20 y)
%34 = (approx %33 %32)
%37 = (pow.f64 y #s(literal 2 binary64))
%38 = (*.f64 #s(literal -1 binary64) %37)
%39 = (+.f64 y %38)
%40 = (*.f64 x %39)
%42 = (*.f64 c %32)
%44 = (log (+ 1 %33))
%45 = (* c %44)
%47 = (*.f64 c %40)
%48 = (*.f64 c y)
%49 = (fma.f64 #s(literal 1/2 binary64) %47 %48)
%50 = (*.f64 x %49)
%53 = (pow.f64 %4 #s(literal 2 binary64))
%54 = (*.f64 y %53)
%56 = (pow.f64 %4 #s(literal 3 binary64))
%57 = (*.f64 y %56)
%58 = (*.f64 c %5)
%60 = (*.f64 c %54)
%61 = (*.f64 c %4)
%62 = (fma.f64 #s(literal -1/2 binary64) %60 %61)
%63 = (*.f64 y %62)
%65 = (*.f64 c %53)
%66 = (*.f64 c %57)
%67 = (*.f64 #s(literal 1/3 binary64) %66)
%68 = (fma.f64 #s(literal -1/2 binary64) %65 %67)
%69 = (*.f64 y %68)
%70 = (fma.f64 c %4 %69)
%71 = (*.f64 y %70)
%73 = (/.f64 #s(literal 1 binary64) y)
%74 = (log.f64 %4)
%75 = (log.f64 %73)
%76 = (*.f64 #s(literal -1 binary64) %75)
%77 = (+.f64 %74 %76)
%78 = (approx %44 %77)
%79 = (+.f64 y y)
%80 = (*.f64 %4 y)
%81 = (fma.f64 %4 y #s(literal 1 binary64))
%82 = (fma.f64 %4 %79 #s(literal 2 binary64))
%83 = (log.f64 %81)
%84 = (log1p.f64 %80)
%85 = (fabs.f64 %82)
%86 = (log.f64 %85)
%87 = (log.f64 #s(literal 2 binary64))
%88 = (-.f64 %86 %87)
%90 = (*.f64 %31 y)
%91 = (+.f64 #s(literal 1 binary64) %90)
%92 = (log.f64 %91)
%94 = (*.f64 %22 y)
%95 = (+.f64 #s(literal 1 binary64) %94)
%96 = (log.f64 %95)
%98 = (*.f64 %21 y)
%99 = (+.f64 #s(literal 1 binary64) %98)
%100 = (log.f64 %99)
%105 = (-.f64 %8 #s(literal 1 binary64))
%106 = (*.f64 %105 y)
%107 = (+.f64 #s(literal 1 binary64) %106)
%108 = (log.f64 %107)
%110 = (+.f64 #s(literal 1 binary64) %34)
%111 = (log.f64 %110)
c
#s(literal 1 binary64)
x
y
%4
%5
%8
#s(literal 1/2 binary64)
%10
%11
%12
#s(literal 1/6 binary64)
%14
%15
%16
%17
%18
%21
%22
#s(literal 1/24 binary64)
%24
%25
%26
%27
%28
%29
%30
%31
%32
%34
#s(literal -1 binary64)
#s(literal 2 binary64)
%37
%38
%39
%40
#s(literal 3 binary64)
%42
(approx %45 %42)
%47
%48
%49
%50
(approx %45 %50)
#s(literal -1/2 binary64)
%53
%54
#s(literal 1/3 binary64)
%56
%57
%58
(approx %45 %58)
%60
%61
%62
%63
(approx %45 %63)
%65
%66
%67
%68
%69
%70
%71
(approx %45 %71)
%73
%74
%75
%76
%77
%78
%79
%80
%81
%82
%83
%84
%85
%86
%87
%88
(*.f64 c %83)
%90
%91
%92
(*.f64 c %92)
%94
%95
%96
(*.f64 c %96)
%98
%99
%100
(*.f64 c %100)
(*.f64 c %78)
(*.f64 c %84)
(*.f64 c %88)
%105
%106
%107
%108
(*.f64 c %108)
%110
%111
(*.f64 c %111)

%23 = (pow.f64 #s(literal 1 binary64) #s(literal 1 binary64))
%29 = (*.f64 x #s(literal -1 binary64))
%31 = (*.f64 #s(literal -1 binary64) x)
%33 = (*.f64 #s(literal 1/2 binary64) x)
%35 = (*.f64 x #s(literal 2 binary64))
%38 = (expm1.f64 x)
%39 = (neg.f64 %38)
%43 = (exp.f64 x)
%54 = (*.f64 %43 #s(literal 2 binary64))
%56 = (cosh.f64 x)
%57 = (sinh.f64 x)
%62 = (*.f64 y %38)
%63 = (*.f64 %38 y)
%64 = (neg.f64 %62)
%65 = (neg.f64 %64)
%66 = (*.f64 y #s(literal -1 binary64))
%67 = (fma.f64 y %43 %66)
%68 = (*.f64 #s(literal -1 binary64) y)
%69 = (fma.f64 %43 y %68)
%71 = (+.f64 (*.f64 %43 y) %68)
%73 = (+.f64 (*.f64 y %43) %66)
%74 = (exp x)
%75 = (approx %74 #s(literal 1 binary64))
%80 = (fma.f64 x #s(literal 1/2 binary64) #s(literal 1 binary64))
%84 = (+.f64 x #s(literal 2 binary64))
%86 = (+.f64 #s(literal 2 binary64) x)
%88 = (*.f64 x #s(literal -1/2 binary64))
%91 = (neg.f64 %88)
%104 = (*.f64 x x)
%106 = (fma.f64 %33 x x)
%110 = (*.f64 %104 #s(literal 1/2 binary64))
%115 = (neg.f64 x)
%128 = (*.f64 #s(literal 1/6 binary64) x)
%129 = (fma.f64 x #s(literal 1/6 binary64) #s(literal 1/2 binary64))
%133 = (*.f64 #s(literal -1/6 binary64) x)
%140 = (*.f64 x %129)
%142 = (*.f64 %104 #s(literal 1/6 binary64))
%158 = (fma.f64 %129 x #s(literal 1 binary64))
%162 = (neg.f64 %140)
%164 = (neg.f64 %162)
%166 = (neg.f64 %115)
%167 = (*.f64 %166 %129)
%171 = (fma.f64 %104 #s(literal 1/6 binary64) #s(literal 1 binary64))
%192 = (fma.f64 %140 x x)
%196 = (*.f64 %129 %104)
%210 = (+ %74 -1)
%211 = (approx %210 %106)
%212 = (approx %210 %192)
%217 = (*.f64 #s(literal 1/24 binary64) x)
%218 = (fma.f64 x #s(literal 1/24 binary64) #s(literal 1/6 binary64))
%222 = (*.f64 #s(literal -1/24 binary64) x)
%229 = (*.f64 x %218)
%231 = (*.f64 %104 #s(literal 1/24 binary64))
%247 = (fma.f64 %218 x #s(literal 1/2 binary64))
%251 = (neg.f64 %229)
%259 = (fma.f64 %104 #s(literal 1/24 binary64) #s(literal 1/2 binary64))
%264 = (*.f64 x %247)
%266 = (*.f64 %218 %104)
%282 = (fma.f64 %247 x #s(literal 1 binary64))
%286 = (neg.f64 %264)
%288 = (*.f64 %166 %247)
%290 = (neg.f64 %286)
%294 = (fma.f64 %218 %104 #s(literal 1 binary64))
%315 = (fma.f64 %264 x x)
%319 = (*.f64 %247 %104)
%332 = (approx %210 %315)
%333 = (*.f64 x y)
%335 = (* %210 y)
%336 = (approx %335 %333)
%353 = (cosh.f64 (/.f64 #s(literal 0 binary64) #s(literal 2 binary64)))
%354 = (*.f64 %353 %353)
%356 = (*.f64 y y)
%357 = (fabs.f64 y)
%359 = (neg.f64 y)
%361 = (neg.f64 %356)
%365 = (*.f64 #s(literal 1 binary64) y)
%372 = (pow.f64 y #s(literal 1 binary64))
%381 = (-.f64 y %356)
%393 = (*.f64 x %381)
%395 = (*.f64 %356 x)
%397 = (*.f64 x %356)
%398 = (neg.f64 %397)
%418 = (*.f64 c %333)
%419 = (*.f64 c y)
%421 = (*.f64 c x)
%428 = (log (+ 1 %335))
%429 = (* c %428)
%431 = (*.f64 c %393)
%439 = (*.f64 %398 c)
%441 = (*.f64 %361 %421)
%443 = (*.f64 c %398)
%445 = (*.f64 %421 %361)
%476 = (*.f64 c #s(literal 1/2 binary64))
%477 = (*.f64 %476 x)
%478 = (*.f64 %477 %381)
%480 = (*.f64 %393 #s(literal 1/2 binary64))
%483 = (fma.f64 #s(literal 1/2 binary64) %431 %419)
%486 = (*.f64 %381 #s(literal 1/2 binary64))
%490 = (*.f64 #s(literal 1/2 binary64) %421)
%492 = (*.f64 #s(literal 1/2 binary64) %393)
%494 = (*.f64 %476 %381)
%498 = (*.f64 c #s(literal -1/2 binary64))
%508 = (neg.f64 %419)
%510 = (neg.f64 %508)
%513 = (neg.f64 (neg.f64 c))
%514 = (*.f64 %513 y)
%538 = (*.f64 x %483)
%540 = (*.f64 x %476)
%541 = (*.f64 %540 %393)
%569 = (*.f64 %38 %38)
%571 = (fabs.f64 %38)
%578 = (exp.f64 %35)
%579 = (-.f64 %578 %54)
%585 = (*.f64 %38 #s(literal -1 binary64))
%587 = (*.f64 #s(literal -1 binary64) %38)
%603 = (*.f64 y %569)
%607 = (*.f64 y #s(literal 1 binary64))
%617 = (pow.f64 %38 #s(literal 3 binary64))
%626 = (*.f64 %38 #s(literal 1 binary64))
%628 = (*.f64 #s(literal 1 binary64) %38)
%634 = (*.f64 %569 #s(literal -1 binary64))
%636 = (*.f64 #s(literal -1 binary64) %569)
%642 = (*.f64 y %617)
%648 = (*.f64 c %62)
%649 = (*.f64 c %38)
%657 = (*.f64 %419 #s(literal -1 binary64))
%659 = (*.f64 #s(literal -1 binary64) %419)
%666 = (*.f64 c %603)
%667 = (*.f64 c %569)
%674 = (*.f64 %419 #s(literal 1 binary64))
%676 = (*.f64 #s(literal 1 binary64) %419)
%683 = (neg.f64 %649)
%685 = (*.f64 c #s(literal -1 binary64))
%687 = (*.f64 #s(literal -1 binary64) c)
%693 = (*.f64 %498 y)
%694 = (*.f64 %693 %569)
%696 = (*.f64 %603 #s(literal -1/2 binary64))
%698 = (*.f64 %498 %38)
%699 = (*.f64 %698 %38)
%702 = (*.f64 %569 #s(literal -1/2 binary64))
%704 = (fma.f64 #s(literal -1/2 binary64) %666 %649)
%707 = (*.f64 #s(literal -1/2 binary64) y)
%710 = (*.f64 y #s(literal -1/2 binary64))
%713 = (*.f64 y %498)
%715 = (*.f64 #s(literal -1/2 binary64) %419)
%718 = (*.f64 #s(literal -1/2 binary64) %603)
%726 = (neg.f64 %498)
%733 = (*.f64 %513 %38)
%751 = (*.f64 y %704)
%753 = (*.f64 %694 y)
%783 = (*.f64 c #s(literal 1 binary64))
%785 = (*.f64 #s(literal 1 binary64) c)
%791 = (*.f64 c %642)
%794 = (*.f64 c %617)
%802 = (*.f64 %642 #s(literal 1/3 binary64))
%804 = (*.f64 %617 #s(literal 1/3 binary64))
%806 = (*.f64 #s(literal 1/3 binary64) %791)
%807 = (*.f64 c #s(literal 1/3 binary64))
%811 = (*.f64 %807 y)
%813 = (*.f64 #s(literal 1/3 binary64) %419)
%815 = (*.f64 %807 %617)
%817 = (*.f64 #s(literal 1/3 binary64) %642)
%822 = (fma.f64 #s(literal -1/2 binary64) %667 %806)
%833 = (*.f64 #s(literal -1/2 binary64) %569)
%842 = (*.f64 (*.f64 #s(literal -1/3 binary64) %419) %617)
%844 = (neg.f64 %842)
%862 = (*.f64 y %822)
%864 = (*.f64 #s(literal 1/3 binary64) y)
%865 = (*.f64 %791 %864)
%904 = (fma.f64 %822 y %649)
%907 = (neg.f64 %862)
%910 = (neg.f64 %359)
%911 = (*.f64 %910 %822)
%913 = (neg.f64 %907)
%921 = (fma.f64 %791 %864 %649)
%938 = (*.f64 y %904)
%940 = (*.f64 %862 y)
%960 = (/.f64 #s(literal 1 binary64) y)
%965 = (/.f64 #s(literal 1 binary64) %359)
%982 = (log.f64 %38)
%983 = (log.f64 y)
%984 = (neg.f64 %983)
%987 = (log.f64 %357)
%995 = (neg.f64 %987)
%1004 = (log.f64 (fabs.f64 %960))
%1008 = (/.f64 #s(literal 1 binary64) %960)
%1019 = (+.f64 %982 %983)
%1033 = (approx %428 %1019)
%1034 = (+.f64 y y)
%1042 = (fma.f64 %38 y #s(literal 1 binary64))
%1055 = (fma.f64 %38 %1034 #s(literal 2 binary64))
%1060 = (*.f64 %1034 %38)
%1064 = (-.f64 #s(literal -2 binary64) %1060)
%1077 = (+.f64 #s(literal 1 binary64) %1060)
%1084 = (fma.f64 %38 y #s(literal 2 binary64))
%1088 = (-.f64 %62 #s(literal -2 binary64))
%1096 = (log.f64 %1042)
%1097 = (log1p.f64 %62)
%1098 = (fabs.f64 %1055)
%1101 = (pow.f64 %1055 #s(literal 2 binary64))
%1103 = (sqrt.f64 %1098)
%1106 = (log.f64 %1098)
%1107 = (log.f64 #s(literal 2 binary64))
%1109 = (*.f64 %1098 #s(literal 1/2 binary64))
%1110 = (log.f64 %1109)
%1112 = (log.f64 (/.f64 #s(literal 2 binary64) %1098))
%1114 = (log.f64 #s(literal 1/2 binary64))
%1120 = (*.f64 c %1096)
%1121 = (*.f64 %1096 c)
%1124 = (*.f64 c (log.f64 (fabs.f64 %1042)))
%1126 = (log.f64 (pow.f64 %1042 c))
%1127 = (*.f64 %332 y)
%1128 = (+.f64 #s(literal 1 binary64) %1127)
%1129 = (log.f64 %1128)
%1131 = (*.f64 %212 y)
%1132 = (+.f64 #s(literal 1 binary64) %1131)
%1133 = (log.f64 %1132)
%1135 = (*.f64 %211 y)
%1136 = (+.f64 #s(literal 1 binary64) %1135)
%1137 = (log.f64 %1136)
%1146 = (*.f64 c %1114)
%1148 = (*.f64 %1114 c)
%1156 = (-.f64 %75 #s(literal 1 binary64))
%1157 = (*.f64 %1156 y)
%1158 = (+.f64 #s(literal 1 binary64) %1157)
%1159 = (log.f64 %1158)
%1161 = (+.f64 #s(literal 1 binary64) %336)
%1162 = (log.f64 %1161)
c
#s(literal 1 binary64)
(fabs.f64 #s(literal 1 binary64))
(fabs.f64 #s(literal -1 binary64))
(neg.f64 #s(literal -1 binary64))
(sqrt.f64 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(cosh.f64 #s(literal 0 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal -1 binary64) #s(literal 2 binary64))
(*.f64 %23 #s(literal 1 binary64))
(fma.f64 %23 #s(literal 1 binary64) #s(literal 0 binary64))
x
(*.f64 x #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) x)
(neg.f64 %29)
(neg.f64 %31)
(*.f64 #s(literal 2 binary64) %33)
(*.f64 %35 #s(literal 1/2 binary64))
y
%38
(neg.f64 %39)
(expm1.f64 (+.f64 x #s(literal 0 binary64)))
(+.f64 #s(literal -1 binary64) %43)
(+.f64 %43 #s(literal -1 binary64))
(-.f64 %43 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %43)
(fma.f64 #s(literal 1 binary64) %43 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %43)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %43)
(fma.f64 %43 #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 %54 #s(literal 1/2 binary64) #s(literal -1 binary64))
(+.f64 %56 (-.f64 %57 #s(literal 1 binary64)))
(+.f64 %56 (+.f64 %57 #s(literal -1 binary64)))
%62
%63
%65
%67
%69
%71
%73
%75
#s(literal 1/2 binary64)
(fabs.f64 #s(literal 1/2 binary64))
(neg.f64 #s(literal -1/2 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(*.f64 x #s(literal 1/2 binary64))
%33
%80
(fma.f64 #s(literal 1/2 binary64) x #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) %33)
(+.f64 %33 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %84)
(*.f64 #s(literal 1/2 binary64) %86)
(-.f64 #s(literal 1 binary64) %88)
(-.f64 %33 #s(literal -1 binary64))
(+.f64 #s(literal 1 binary64) %91)
(neg.f64 (-.f64 %88 #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %33)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %33)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %33)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %91)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %91)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %91)
(fma.f64 %23 #s(literal 1 binary64) %33)
(fma.f64 %23 #s(literal 1 binary64) %91)
(fma.f64 x %33 x)
(fma.f64 #s(literal 1/2 binary64) %104 x)
%106
(fma.f64 %104 #s(literal 1/2 binary64) x)
(*.f64 x %80)
(*.f64 %80 x)
(+.f64 x %110)
(+.f64 %110 x)
(-.f64 x (*.f64 %88 x))
(-.f64 x (*.f64 %115 %33))
(-.f64 x (neg.f64 %110))
(fma.f64 x #s(literal 1 binary64) %110)
(fma.f64 #s(literal 1 binary64) x %110)
(fma.f64 #s(literal 2 binary64) %33 %110)
(fma.f64 %35 #s(literal 1/2 binary64) %110)
#s(literal 1/6 binary64)
(neg.f64 #s(literal -1/6 binary64))
(*.f64 x #s(literal 1/6 binary64))
%128
%129
(fma.f64 #s(literal 1/6 binary64) x #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %128)
(+.f64 %128 #s(literal 1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %133)
(-.f64 %128 #s(literal -1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (neg.f64 %133))
(neg.f64 (-.f64 %133 #s(literal 1/2 binary64)))
%140
(*.f64 %129 x)
(fma.f64 x #s(literal 1/2 binary64) %142)
(fma.f64 x %128 %33)
(fma.f64 #s(literal 1/2 binary64) x %142)
(fma.f64 #s(literal 1/6 binary64) %104 %33)
(fma.f64 %128 x %33)
(fma.f64 %104 #s(literal 1/6 binary64) %33)
(+.f64 %33 %142)
(+.f64 %142 %33)
(-.f64 %33 (*.f64 %133 x))
(-.f64 %33 (*.f64 %115 %128))
(-.f64 %33 (neg.f64 %142))
(fma.f64 x %129 #s(literal 1 binary64))
%158
(+.f64 #s(literal 1 binary64) %140)
(+.f64 %140 #s(literal 1 binary64))
(-.f64 %140 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %162)
(+.f64 #s(literal 1 binary64) %164)
(+.f64 #s(literal 1 binary64) %167)
(neg.f64 (-.f64 %162 #s(literal 1 binary64)))
(fma.f64 x #s(literal 1/2 binary64) %171)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %140)
(fma.f64 #s(literal 1/2 binary64) x %171)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %140)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %140)
(+.f64 %33 %171)
(+.f64 %80 %142)
(fma.f64 #s(literal 1/2 binary64) %84 %142)
(fma.f64 #s(literal 1/2 binary64) %86 %142)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %164)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %167)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %164)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %167)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %164)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %167)
(fma.f64 %23 #s(literal 1 binary64) %140)
(fma.f64 %23 #s(literal 1 binary64) %164)
(fma.f64 %23 #s(literal 1 binary64) %167)
(fma.f64 x %140 x)
(fma.f64 %129 %104 x)
%192
(fma.f64 %104 %129 x)
(*.f64 x %158)
(*.f64 %158 x)
(+.f64 x %196)
(+.f64 %196 x)
(-.f64 x (neg.f64 %196))
(-.f64 x (*.f64 %162 x))
(-.f64 x (*.f64 %115 %140))
(fma.f64 x #s(literal 1 binary64) %196)
(fma.f64 #s(literal 1 binary64) x %196)
(fma.f64 #s(literal 2 binary64) %33 %196)
(fma.f64 %35 #s(literal 1/2 binary64) %196)
%211
%212
#s(literal 1/24 binary64)
(neg.f64 #s(literal -1/24 binary64))
(*.f64 x #s(literal 1/24 binary64))
%217
%218
(fma.f64 #s(literal 1/24 binary64) x #s(literal 1/6 binary64))
(+.f64 #s(literal 1/6 binary64) %217)
(+.f64 %217 #s(literal 1/6 binary64))
(-.f64 #s(literal 1/6 binary64) %222)
(-.f64 %217 #s(literal -1/6 binary64))
(+.f64 #s(literal 1/6 binary64) (neg.f64 %222))
(neg.f64 (-.f64 %222 #s(literal 1/6 binary64)))
%229
(*.f64 %218 x)
(fma.f64 x #s(literal 1/6 binary64) %231)
(fma.f64 x %217 %128)
(fma.f64 #s(literal 1/6 binary64) x %231)
(fma.f64 #s(literal 1/24 binary64) %104 %128)
(fma.f64 %217 x %128)
(fma.f64 %104 #s(literal 1/24 binary64) %128)
(+.f64 %128 %231)
(+.f64 %231 %128)
(-.f64 %128 (*.f64 %222 x))
(-.f64 %128 (*.f64 %115 %217))
(-.f64 %128 (neg.f64 %231))
(fma.f64 x %218 #s(literal 1/2 binary64))
%247
(+.f64 #s(literal 1/2 binary64) %229)
(+.f64 %229 #s(literal 1/2 binary64))
(-.f64 %229 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %251)
(+.f64 #s(literal 1/2 binary64) (neg.f64 %251))
(+.f64 #s(literal 1/2 binary64) (*.f64 %166 %218))
(neg.f64 (-.f64 %251 #s(literal 1/2 binary64)))
(fma.f64 x #s(literal 1/6 binary64) %259)
(fma.f64 #s(literal 1/6 binary64) x %259)
(+.f64 %128 %259)
(+.f64 %129 %231)
%264
(*.f64 %247 x)
(fma.f64 x #s(literal 1/2 binary64) %266)
(fma.f64 x %229 %33)
(fma.f64 #s(literal 1/2 binary64) x %266)
(fma.f64 %218 %104 %33)
(fma.f64 %229 x %33)
(fma.f64 %104 %218 %33)
(+.f64 %33 %266)
(+.f64 %266 %33)
(-.f64 %33 (neg.f64 %266))
(-.f64 %33 (*.f64 %251 x))
(-.f64 %33 (*.f64 %115 %229))
(fma.f64 x %247 #s(literal 1 binary64))
%282
(+.f64 #s(literal 1 binary64) %264)
(+.f64 %264 #s(literal 1 binary64))
(-.f64 %264 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %286)
(+.f64 #s(literal 1 binary64) %288)
(+.f64 #s(literal 1 binary64) %290)
(neg.f64 (-.f64 %286 #s(literal 1 binary64)))
(fma.f64 x #s(literal 1/2 binary64) %294)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %264)
(fma.f64 #s(literal 1/2 binary64) x %294)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %264)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %264)
(+.f64 %33 %294)
(+.f64 %80 %266)
(fma.f64 #s(literal 1/2 binary64) %84 %266)
(fma.f64 #s(literal 1/2 binary64) %86 %266)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %288)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %290)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %288)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %290)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %288)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %290)
(fma.f64 %23 #s(literal 1 binary64) %264)
(fma.f64 %23 #s(literal 1 binary64) %288)
(fma.f64 %23 #s(literal 1 binary64) %290)
(fma.f64 x %264 x)
(fma.f64 %247 %104 x)
%315
(fma.f64 %104 %247 x)
(*.f64 x %282)
(*.f64 %282 x)
(+.f64 x %319)
(+.f64 %319 x)
(-.f64 x (*.f64 %115 %264))
(-.f64 x (neg.f64 %319))
(-.f64 x (*.f64 %286 x))
(fma.f64 x #s(literal 1 binary64) %319)
(fma.f64 #s(literal 1 binary64) x %319)
(fma.f64 #s(literal 2 binary64) %33 %319)
(fma.f64 %35 #s(literal 1/2 binary64) %319)
%332
%333
(*.f64 y x)
%336
#s(literal -1 binary64)
(neg.f64 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -2 binary64) #s(literal 1/2 binary64))
#s(literal 2 binary64)
(fabs.f64 #s(literal 2 binary64))
(neg.f64 #s(literal -2 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %23 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %354)
%356
(*.f64 %357 %357)
(*.f64 %359 %359)
(neg.f64 %361)
(*.f64 #s(literal 1 binary64) %356)
(*.f64 %356 #s(literal 1 binary64))
(*.f64 %365 y)
(*.f64 #s(literal -1 binary64) %361)
(*.f64 %361 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %356))
(pow.f64 y #s(literal 2 binary64))
(*.f64 %372 y)
(pow.f64 %365 #s(literal 2 binary64))
(*.f64 y %359)
(*.f64 %359 y)
%361
(*.f64 y %66)
(*.f64 #s(literal -1 binary64) %356)
(*.f64 %356 #s(literal -1 binary64))
(*.f64 %68 y)
%381
(fma.f64 y %359 y)
(fma.f64 %359 y y)
(+.f64 y %361)
(+.f64 %361 y)
(neg.f64 (-.f64 %356 y))
(-.f64 %361 %359)
(fma.f64 y %66 y)
(fma.f64 #s(literal -1 binary64) %356 y)
(fma.f64 %356 #s(literal -1 binary64) y)
(fma.f64 %68 y y)
%393
(*.f64 %381 x)
(-.f64 %333 %395)
(fma.f64 x y %398)
(fma.f64 x %361 %333)
(fma.f64 y x %398)
(fma.f64 %361 x %333)
(+.f64 %333 %398)
(+.f64 %398 %333)
(-.f64 %333 (neg.f64 %398))
(-.f64 %333 (*.f64 %115 %361))
(fma.f64 #s(literal -1 binary64) %395 %333)
(fma.f64 %356 %31 %333)
(fma.f64 %29 %356 %333)
(fma.f64 %397 #s(literal -1 binary64) %333)
#s(literal 3 binary64)
(+.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %354 #s(literal 1 binary64))
%418
(*.f64 x %419)
(*.f64 y %421)
(*.f64 %333 c)
(*.f64 %419 x)
(*.f64 %421 y)
(approx %429 %418)
%431
(*.f64 x (*.f64 %381 c))
(*.f64 %381 %421)
(*.f64 %393 c)
(*.f64 %421 %381)
(*.f64 (*.f64 c %381) x)
(fma.f64 c %333 %439)
(fma.f64 c %333 %441)
(fma.f64 c %333 %443)
(fma.f64 c %333 %445)
(fma.f64 x %419 %439)
(fma.f64 x %419 %441)
(fma.f64 x %419 %443)
(fma.f64 x %419 %445)
(fma.f64 y %421 %439)
(fma.f64 y %421 %441)
(fma.f64 y %421 %443)
(fma.f64 y %421 %445)
(fma.f64 %333 c %439)
(fma.f64 %333 c %441)
(fma.f64 %333 c %443)
(fma.f64 %333 c %445)
(fma.f64 %361 %421 %418)
(fma.f64 %419 x %439)
(fma.f64 %419 x %441)
(fma.f64 %419 x %443)
(fma.f64 %419 x %445)
(fma.f64 %421 y %439)
(fma.f64 %421 y %441)
(fma.f64 %421 y %443)
(fma.f64 %421 y %445)
(fma.f64 %421 %361 %418)
(+.f64 %418 %439)
(+.f64 %418 %441)
(+.f64 %418 %443)
(+.f64 %418 %445)
(+.f64 %441 %418)
(+.f64 %445 %418)
%419
(*.f64 y c)
(fma.f64 c y %478)
(fma.f64 c %480 %419)
(fma.f64 y c %478)
%483
(fma.f64 %393 %476 %419)
(fma.f64 %431 #s(literal 1/2 binary64) %419)
(fma.f64 %421 %486 %419)
(fma.f64 %476 %393 %419)
(fma.f64 %477 %381 %419)
(fma.f64 %490 %381 %419)
(fma.f64 %492 c %419)
(fma.f64 %494 x %419)
(+.f64 %419 %478)
(+.f64 %478 %419)
(-.f64 %419 (*.f64 %498 %393))
(-.f64 %419 (*.f64 #s(literal -1/2 binary64) %431))
(-.f64 %419 (neg.f64 %478))
(-.f64 %419 (*.f64 (neg.f64 %431) #s(literal 1/2 binary64)))
(-.f64 %478 %508)
(fma.f64 c %480 %510)
(fma.f64 c %480 %514)
(fma.f64 #s(literal 1/2 binary64) %431 %510)
(fma.f64 #s(literal 1/2 binary64) %431 %514)
(fma.f64 %393 %476 %510)
(fma.f64 %393 %476 %514)
(fma.f64 %431 #s(literal 1/2 binary64) %510)
(fma.f64 %431 #s(literal 1/2 binary64) %514)
(fma.f64 %421 %486 %510)
(fma.f64 %421 %486 %514)
(fma.f64 %476 %393 %510)
(fma.f64 %476 %393 %514)
(fma.f64 %477 %381 %510)
(fma.f64 %477 %381 %514)
(fma.f64 %490 %381 %510)
(fma.f64 %490 %381 %514)
(fma.f64 %492 c %510)
(fma.f64 %492 c %514)
(fma.f64 %494 x %510)
(fma.f64 %494 x %514)
(+.f64 %478 %510)
(+.f64 %478 %514)
(neg.f64 (-.f64 %508 %478))
%538
(*.f64 %483 x)
(fma.f64 c %333 %541)
(fma.f64 x %419 %541)
(fma.f64 x %478 %418)
(fma.f64 y %421 %541)
(fma.f64 #s(literal 1/2 binary64) (*.f64 %431 x) %418)
(fma.f64 %33 %431 %418)
(fma.f64 %333 c %541)
(fma.f64 %431 %33 %418)
(fma.f64 %419 x %541)
(fma.f64 %421 y %541)
(fma.f64 %476 (*.f64 %393 x) %418)
(fma.f64 %540 %393 %418)
(fma.f64 %478 x %418)
(fma.f64 (*.f64 x %431) #s(literal 1/2 binary64) %418)
(+.f64 %418 %541)
(+.f64 %541 %418)
(-.f64 %541 (*.f64 %115 %419))
(-.f64 %541 (neg.f64 %418))
(-.f64 %541 (*.f64 %508 x))
(approx %429 %538)
#s(literal -1/2 binary64)
(neg.f64 #s(literal 1/2 binary64))
%569
(*.f64 %39 %39)
(*.f64 %571 %571)
(neg.f64 (*.f64 %39 %38))
(neg.f64 (*.f64 %38 %39))
(pow.f64 %38 #s(literal 2 binary64))
(+.f64 #s(literal 1 binary64) %579)
(+.f64 %579 #s(literal 1 binary64))
(-.f64 %578 (-.f64 %54 #s(literal 1 binary64)))
(-.f64 %579 #s(literal -1 binary64))
(fma.f64 %38 %43 %585)
(fma.f64 %43 %38 %587)
(+.f64 (*.f64 %43 %38) %587)
(+.f64 (*.f64 %38 %43) %585)
(*.f64 (pow.f64 %38 #s(literal 1 binary64)) %38)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %579)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %579)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %579)
(+.f64 (+.f64 %578 (*.f64 #s(literal 2 binary64) (*.f64 %43 #s(literal -1 binary64)))) #s(literal 1 binary64))
(fma.f64 %23 #s(literal 1 binary64) %579)
%603
(*.f64 %38 %62)
(*.f64 %62 %38)
(*.f64 %569 y)
(fma.f64 y %579 %607)
(fma.f64 %579 y %365)
(+.f64 (*.f64 %579 y) %365)
(+.f64 (*.f64 y %579) %607)
#s(literal 1/3 binary64)
(neg.f64 #s(literal -1/3 binary64))
%617
(neg.f64 (pow.f64 %39 #s(literal 3 binary64)))
(*.f64 %38 %569)
(*.f64 %569 %38)
(neg.f64 (*.f64 %39 %569))
(neg.f64 (*.f64 %569 %39))
(fma.f64 %38 %579 %626)
(fma.f64 %579 %38 %628)
(+.f64 (*.f64 %579 %38) %628)
(+.f64 (*.f64 %38 %579) %626)
(fma.f64 %569 %43 %634)
(fma.f64 %43 %569 %636)
(+.f64 (*.f64 %569 %43) %634)
(+.f64 (*.f64 %43 %569) %636)
%642
(*.f64 %617 y)
(*.f64 %38 %603)
(*.f64 %62 %569)
(*.f64 %569 %62)
(*.f64 %603 %38)
%648
(*.f64 y %649)
(*.f64 %38 %419)
(*.f64 %62 c)
(*.f64 %419 %38)
(*.f64 %649 y)
(neg.f64 (*.f64 %419 %39))
(fma.f64 %419 %43 %657)
(fma.f64 %43 %419 %659)
(+.f64 (*.f64 %43 %419) %659)
(+.f64 (*.f64 %419 %43) %657)
(approx %429 %648)
%666
(*.f64 y %667)
(*.f64 %419 %569)
(*.f64 %569 %419)
(*.f64 %603 c)
(*.f64 %648 %38)
(*.f64 %667 y)
(fma.f64 %419 %579 %674)
(fma.f64 %579 %419 %676)
(+.f64 (*.f64 %579 %419) %676)
(+.f64 (*.f64 %419 %579) %674)
%649
(*.f64 %38 c)
(neg.f64 %683)
(fma.f64 c %43 %685)
(fma.f64 %43 c %687)
(+.f64 (*.f64 %43 c) %687)
(+.f64 (*.f64 c %43) %685)
(fma.f64 c %38 %694)
(fma.f64 c %696 %649)
(fma.f64 y %699 %649)
(fma.f64 %38 c %694)
(fma.f64 %419 %702 %649)
%704
(fma.f64 %603 %498 %649)
(fma.f64 %666 #s(literal -1/2 binary64) %649)
(fma.f64 %667 %707 %649)
(fma.f64 %498 %603 %649)
(fma.f64 %710 %667 %649)
(fma.f64 %693 %569 %649)
(fma.f64 %713 %569 %649)
(fma.f64 %715 %569 %649)
(fma.f64 %699 y %649)
(fma.f64 %718 c %649)
(+.f64 %649 %694)
(+.f64 %694 %649)
(-.f64 %649 (*.f64 #s(literal 1/2 binary64) %666))
(-.f64 %649 (neg.f64 %694))
(-.f64 %649 (*.f64 %726 %603))
(-.f64 %649 (*.f64 (neg.f64 %666) #s(literal -1/2 binary64)))
(-.f64 %694 %683)
(fma.f64 c %696 %733)
(fma.f64 y %699 %733)
(fma.f64 %419 %702 %733)
(fma.f64 #s(literal -1/2 binary64) %666 %733)
(fma.f64 %603 %498 %733)
(fma.f64 %666 #s(literal -1/2 binary64) %733)
(fma.f64 %667 %707 %733)
(fma.f64 %498 %603 %733)
(fma.f64 %710 %667 %733)
(fma.f64 %693 %569 %733)
(fma.f64 %713 %569 %733)
(fma.f64 %715 %569 %733)
(fma.f64 %699 y %733)
(fma.f64 %718 c %733)
(+.f64 %694 %733)
(neg.f64 (-.f64 %683 %694))
%751
(*.f64 %704 y)
(fma.f64 c %62 %753)
(fma.f64 y %649 %753)
(fma.f64 y %694 %648)
(fma.f64 %38 %419 %753)
(fma.f64 %62 c %753)
(fma.f64 %419 %38 %753)
(fma.f64 #s(literal -1/2 binary64) (*.f64 %666 y) %648)
(fma.f64 %666 %707 %648)
(fma.f64 %649 y %753)
(fma.f64 %498 (*.f64 %603 y) %648)
(fma.f64 %710 %666 %648)
(fma.f64 %713 %603 %648)
(fma.f64 %694 y %648)
(fma.f64 (*.f64 y %666) #s(literal -1/2 binary64) %648)
(+.f64 %648 %753)
(+.f64 %753 %648)
(-.f64 %753 (neg.f64 %648))
(-.f64 %753 (*.f64 %683 y))
(-.f64 %753 (*.f64 %359 %649))
(approx %429 %751)
%667
(*.f64 %38 %649)
(*.f64 %569 c)
(*.f64 %649 %38)
(fma.f64 c %579 %783)
(fma.f64 %579 c %785)
(+.f64 (*.f64 %579 c) %785)
(+.f64 (*.f64 c %579) %783)
%791
(*.f64 y (*.f64 %617 c))
(*.f64 y %794)
(*.f64 %419 %617)
(*.f64 %617 %419)
(*.f64 %642 c)
(*.f64 %794 y)
(*.f64 %648 %569)
(*.f64 %666 %38)
(*.f64 c %802)
(*.f64 %419 %804)
%806
(*.f64 %642 %807)
(*.f64 %791 #s(literal 1/3 binary64))
(*.f64 %807 %642)
(*.f64 %811 %617)
(*.f64 %813 %617)
(*.f64 %815 y)
(*.f64 %817 c)
(fma.f64 c %702 %806)
(fma.f64 c %802 %699)
(fma.f64 %419 %804 %699)
%822
(fma.f64 %569 %498 %806)
(fma.f64 #s(literal 1/3 binary64) %791 %699)
(fma.f64 %642 %807 %699)
(fma.f64 %667 #s(literal -1/2 binary64) %806)
(fma.f64 %791 #s(literal 1/3 binary64) %699)
(fma.f64 %498 %569 %806)
(fma.f64 %807 %642 %699)
(fma.f64 %698 %38 %806)
(fma.f64 %811 %617 %699)
(fma.f64 %813 %617 %699)
(fma.f64 %833 c %806)
(fma.f64 %815 y %699)
(fma.f64 %817 c %699)
(+.f64 %806 %699)
(+.f64 %699 %806)
(-.f64 %806 (*.f64 #s(literal 1/2 binary64) %667))
(-.f64 %699 %842)
(fma.f64 c %702 %844)
(fma.f64 #s(literal -1/2 binary64) %667 %844)
(fma.f64 %569 %498 %844)
(fma.f64 %667 #s(literal -1/2 binary64) %844)
(fma.f64 %498 %569 %844)
(fma.f64 %698 %38 %844)
(fma.f64 %833 c %844)
(+.f64 %699 %844)
(neg.f64 (-.f64 %842 %699))
(-.f64 %806 (*.f64 %726 %569))
(-.f64 %806 (neg.f64 %699))
(-.f64 %806 (*.f64 (neg.f64 %667) #s(literal -1/2 binary64)))
%862
(*.f64 %822 y)
(fma.f64 c %696 %865)
(fma.f64 y %806 %694)
(fma.f64 y %699 %865)
(fma.f64 %419 %702 %865)
(fma.f64 #s(literal -1/2 binary64) %666 %865)
(fma.f64 %603 %498 %865)
(fma.f64 #s(literal 1/3 binary64) (*.f64 %791 y) %694)
(fma.f64 %666 #s(literal -1/2 binary64) %865)
(fma.f64 %667 %707 %865)
(fma.f64 %791 %864 %694)
(fma.f64 %806 y %694)
(fma.f64 %498 %603 %865)
(fma.f64 %807 (*.f64 %642 y) %694)
(fma.f64 %710 %667 %865)
(fma.f64 (*.f64 y #s(literal 1/3 binary64)) %791 %694)
(fma.f64 %693 %569 %865)
(fma.f64 %713 %569 %865)
(fma.f64 (*.f64 y %807) %642 %694)
(fma.f64 %715 %569 %865)
(fma.f64 %699 y %865)
(fma.f64 %718 c %865)
(fma.f64 (*.f64 y %791) #s(literal 1/3 binary64) %694)
(+.f64 %694 %865)
(+.f64 %865 %694)
(-.f64 %694 (*.f64 %842 y))
(-.f64 %694 (*.f64 %359 %806))
(-.f64 %694 (neg.f64 %865))
(fma.f64 c %38 %862)
(fma.f64 y %822 %649)
(fma.f64 %38 c %862)
%904
(+.f64 %649 %862)
(+.f64 %862 %649)
(-.f64 %649 %907)
(-.f64 %862 %683)
(fma.f64 c %38 %911)
(fma.f64 c %38 %913)
(fma.f64 %38 c %911)
(fma.f64 %38 c %913)
(+.f64 %649 %911)
(+.f64 %649 %913)
(neg.f64 (-.f64 %907 %649))
(fma.f64 c %696 %921)
(fma.f64 y %699 %921)
(fma.f64 %419 %702 %921)
(fma.f64 #s(literal -1/2 binary64) %666 %921)
(fma.f64 %603 %498 %921)
(fma.f64 %666 #s(literal -1/2 binary64) %921)
(fma.f64 %667 %707 %921)
(fma.f64 %498 %603 %921)
(fma.f64 %710 %667 %921)
(fma.f64 %693 %569 %921)
(fma.f64 %713 %569 %921)
(fma.f64 %715 %569 %921)
(fma.f64 %699 y %921)
(fma.f64 %718 c %921)
(+.f64 %704 %865)
(+.f64 %694 %921)
%938
(*.f64 %904 y)
(fma.f64 c %62 %940)
(fma.f64 y %649 %940)
(fma.f64 y %862 %648)
(fma.f64 %38 %419 %940)
(fma.f64 %62 c %940)
(fma.f64 %356 %822 %648)
(fma.f64 %419 %38 %940)
(fma.f64 %649 y %940)
(fma.f64 %822 %356 %648)
(fma.f64 %862 y %648)
(+.f64 %648 %940)
(+.f64 %940 %648)
(-.f64 %648 (*.f64 %359 %862))
(-.f64 %648 (neg.f64 %940))
(-.f64 %648 (*.f64 %907 y))
(approx %429 %938)
%960
(/.f64 #s(literal -1 binary64) %359)
(neg.f64 (/.f64 #s(literal -1 binary64) y))
(/.f64 #s(literal 1 binary64) %910)
(neg.f64 %965)
(*.f64 #s(literal 1 binary64) %960)
(*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) y))
(*.f64 %960 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) %965)
(neg.f64 (*.f64 #s(literal -1 binary64) %960))
(/.f64 #s(literal 1 binary64) (/.f64 %359 #s(literal -1 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %960))
(pow.f64 y #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) %372)
%982
%984
(*.f64 #s(literal -1 binary64) %983)
(*.f64 %983 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %987)
(log.f64 %960)
(*.f64 #s(literal 1 binary64) %984)
(*.f64 #s(literal -1 binary64) %987)
(*.f64 %984 #s(literal 1 binary64))
(neg.f64 (*.f64 #s(literal 1 binary64) %983))
(+.f64 #s(literal 0 binary64) %995)
(log.f64 (/.f64 #s(literal 1 binary64) %357))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %995)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %995)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %984))
(+.f64 #s(literal 0 binary64) %1004)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %1004)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %1004)
(log.f64 (/.f64 #s(literal 1 binary64) %1008))
(log.f64 (pow.f64 %960 #s(literal 1 binary64)))
%983
(neg.f64 %984)
(-.f64 %987 #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) %984)
(*.f64 %984 #s(literal -1 binary64))
(log.f64 %1008)
(*.f64 #s(literal -1 binary64) %1004)
%1019
(+.f64 %983 %982)
(-.f64 %982 %984)
(-.f64 %983 (neg.f64 %982))
(neg.f64 (-.f64 %984 %982))
(log.f64 (*.f64 %1008 %38))
(log.f64 (*.f64 %38 %1008))
(fma.f64 #s(literal -1 binary64) %984 %982)
(fma.f64 %984 #s(literal -1 binary64) %982)
(fma.f64 #s(literal -1 binary64) %1004 %982)
%1033
%1034
(*.f64 y #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) y)
(-.f64 y %359)
(+.f64 y %910)
(neg.f64 (-.f64 %359 y))
%62
%63
%65
%67
%69
%71
%73
(fma.f64 y %38 #s(literal 1 binary64))
%1042
(+.f64 #s(literal 1 binary64) %62)
(+.f64 %62 #s(literal 1 binary64))
(-.f64 %62 #s(literal -1 binary64))
(neg.f64 (-.f64 #s(literal -1 binary64) %62))
(-.f64 #s(literal 1 binary64) %64)
(neg.f64 (-.f64 %64 #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %62)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %62)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %62)
(fma.f64 %23 #s(literal 1 binary64) %62)
%1055
(fma.f64 %1034 %38 #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %62 #s(literal 2 binary64))
(fma.f64 (*.f64 %38 #s(literal 2 binary64)) y #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) %1060)
(+.f64 %1060 #s(literal 2 binary64))
(-.f64 %1060 #s(literal -2 binary64))
(neg.f64 %1064)
(-.f64 #s(literal 2 binary64) (neg.f64 %1060))
(-.f64 #s(literal 2 binary64) (*.f64 %39 %1034))
(-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 %1034) %38))
(+.f64 (fma.f64 %1034 %38 #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %1060)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %1060)
(+.f64 #s(literal 1 binary64) %1077)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %1077)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %1077)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %1077)
(fma.f64 y (+.f64 %38 %38) #s(literal 2 binary64))
(fma.f64 y %38 %1084)
(fma.f64 %38 y %1084)
(+.f64 %62 %1084)
(fma.f64 y %38 %1088)
(fma.f64 %38 y %1088)
(+.f64 %62 %1088)
(+.f64 (+.f64 #s(literal 2 binary64) %62) %62)
(fma.f64 %23 #s(literal 1 binary64) %1077)
(fma.f64 #s(literal 2 binary64) %354 %1060)
%1096
%1097
%1096
%1097
%1098
(fabs.f64 %1064)
(fabs.f64 %1098)
(sqrt.f64 %1101)
(*.f64 %1103 %1103)
(pow.f64 %1101 #s(literal 1/2 binary64))
%1106
%1107
(log1p.f64 #s(literal 1 binary64))
%1110
(neg.f64 %1112)
(+.f64 %1106 %1114)
(+.f64 %1114 %1106)
(-.f64 %1106 %1107)
(-.f64 %1106 (neg.f64 %1114))
%1120
%1121
%1124
%1126
%1127
%1128
%1129
(*.f64 c %1129)
%1131
%1132
%1133
(*.f64 c %1133)
%1135
%1136
%1137
(*.f64 c %1137)
(*.f64 c %1033)
%1120
%1121
%1124
%1126
(*.f64 c %1110)
(*.f64 %1110 c)
(neg.f64 (*.f64 %1112 c))
(neg.f64 (*.f64 c %1112))
(fma.f64 c %1106 %1146)
(fma.f64 %1106 c %1148)
(+.f64 (*.f64 %1106 c) %1148)
(+.f64 (*.f64 c %1106) %1146)
(log.f64 (pow.f64 %1109 c))
%1156
%1157
%1158
%1159
(*.f64 c %1159)
%1161
%1162
(*.f64 c %1162)

%5 = (approx c #s(literal 0 binary64))
%6 = (expm1.f64 x)
%7 = (*.f64 y %6)
%9 = (*.f64 #s(literal 1/2 binary64) x)
%10 = (+.f64 #s(literal 1 binary64) %9)
%11 = (*.f64 x %10)
%13 = (*.f64 x y)
%16 = (pow.f64 y #s(literal 2 binary64))
%17 = (*.f64 c y)
%20 = (*.f64 c %6)
%21 = (/.f64 #s(literal 1 binary64) y)
%22 = (log.f64 %21)
%23 = (*.f64 #s(literal -1 binary64) %22)
%24 = (+.f64 y y)
%25 = (fma.f64 %6 %24 #s(literal 2 binary64))
%26 = (fabs.f64 %25)
%27 = (log.f64 %26)
%28 = (log.f64 #s(literal 2 binary64))
%31 = (- (exp x) 1)
%32 = (approx %31 %11)
%33 = (pow.f64 x #s(literal 2 binary64))
%34 = (*.f64 c x)
%35 = (*.f64 #s(literal 1/2 binary64) %34)
%36 = (+.f64 c %35)
%37 = (*.f64 x %36)
%38 = (*.f64 #s(literal 1/2 binary64) c)
%39 = (fma.f64 #s(literal -1/2 binary64) %17 %38)
%40 = (*.f64 x %39)
%41 = (+.f64 c %40)
%42 = (*.f64 x %41)
%45 = (pow %31 2)
%49 = (* c %31)
%50 = (+ (* -1/2 (* c (* y %45))) %49)
%51 = (approx %50 %42)
%52 = (*.f64 y %39)
%53 = (*.f64 x %52)
%54 = (fma.f64 c y %53)
%55 = (*.f64 x %54)
%57 = (approx (* y %50) %55)
%58 = (*.f64 c %33)
%59 = (*.f64 #s(literal 1/3 binary64) %17)
%60 = (fma.f64 #s(literal -1/2 binary64) c %59)
%61 = (*.f64 y %60)
%62 = (fma.f64 #s(literal 1/6 binary64) c %61)
%63 = (*.f64 x %62)
%64 = (fma.f64 #s(literal 1/2 binary64) c %63)
%65 = (fma.f64 #s(literal -1/2 binary64) %17 %64)
%66 = (*.f64 x %65)
%67 = (+.f64 c %66)
%68 = (*.f64 x %67)
%80 = (approx (+ %49 (* y (+ (* -1/2 (* c %45)) (* 1/3 (* c (* y (pow %31 3))))))) %68)
%81 = (log.f64 x)
%82 = (log %31)
%83 = (approx %82 %81)
%84 = (fma.f64 #s(literal -1 binary64) %22 %9)
%85 = (+.f64 %81 %84)
%91 = (approx (+ %82 (* -1 (log (/ 1 y)))) %85)
%92 = (*.f64 #s(literal 2 binary64) %13)
%93 = (+.f64 #s(literal 2 binary64) %92)
%97 = (approx (+ (* %31 (+ y y)) 2) %93)
%98 = (/.f64 %37 y)
%99 = (fma.f64 #s(literal -1/2 binary64) %58 %98)
%100 = (*.f64 %16 %99)
%111 = (approx (* x (+ (* 1/2 (* c (* x (+ y (* -1 (pow y 2)))))) (* c y))) %100)
%112 = (*.f64 x x)
%113 = (fma.f64 x #s(literal 1/6 binary64) #s(literal 1/2 binary64))
%114 = (fma.f64 %112 %113 x)
%115 = (*.f64 x %17)
%116 = (*.f64 y %34)
%117 = (*.f64 y %20)
%118 = (log.f64 #s(literal 1/2 binary64))
%119 = (*.f64 c %118)
%121 = (*.f64 c %27)
%125 = (- (pow (E ) x) 1)
%128 = (log (+ 1 (* %125 y)))
%129 = (* c %128)
%133 = (*.f64 y %51)
%136 = (*.f64 y %80)
%138 = (approx %125 %114)
%139 = (*.f64 %138 y)
%140 = (+.f64 #s(literal 1 binary64) %139)
%141 = (log.f64 %140)
%144 = (approx %128 %91)
%146 = (fma.f64 %32 y #s(literal 1 binary64))
%147 = (log.f64 %146)
%149 = (+.f64 %83 %23)
%150 = (approx %128 %149)
%152 = (fabs.f64 %97)
%153 = (log.f64 %152)
%154 = (-.f64 %153 %28)
%156 = (*.f64 %5 %13)
%158 = (*.f64 %5 %7)
c
#s(literal 1 binary64)
x
y
#s(literal 0 binary64)
%5
%6
%7
#s(literal 1/2 binary64)
%9
%10
%11
#s(literal 1/6 binary64)
%13
#s(literal -1 binary64)
#s(literal 2 binary64)
%16
%17
#s(literal -1/2 binary64)
#s(literal 1/3 binary64)
%20
%21
%22
%23
%24
%25
%26
%27
%28
%32
%33
%34
%35
%36
%37
%38
%39
%40
%41
%42
%51
%52
%53
%54
%55
%57
%58
%59
%60
%61
%62
%63
%64
%65
%66
%67
%68
%80
%81
%83
%84
%85
%91
%92
%93
%97
%98
%99
%100
%111
%112
%113
%114
%115
%116
%117
%118
%119
(fma.f64 c %27 %119)
%121
(+.f64 %121 %119)
(approx %129 %115)
(approx %129 %116)
(approx %129 %117)
%133
(approx %129 %133)
(approx %129 %57)
%136
(approx %129 %136)
%138
%139
%140
%141
(*.f64 c %141)
(approx %129 %111)
%144
(*.f64 c %144)
%146
%147
(*.f64 c %147)
%149
%150
(*.f64 c %150)
%152
%153
%154
(*.f64 c %154)
%156
(approx %129 %156)
%158
(approx %129 %158)

%23 = (pow.f64 #s(literal 1 binary64) #s(literal 1 binary64))
%33 = (+.f64 x x)
%35 = (*.f64 #s(literal 1/2 binary64) x)
%50 = (log.f64 #s(literal 2 binary64))
%51 = (log.f64 #s(literal 1/2 binary64))
%53 = (approx c #s(literal 0 binary64))
%54 = (expm1.f64 x)
%55 = (neg.f64 %54)
%59 = (exp.f64 x)
%72 = (cosh.f64 x)
%73 = (sinh.f64 x)
%78 = (*.f64 y %54)
%82 = (*.f64 y #s(literal -1 binary64))
%84 = (*.f64 #s(literal -1 binary64) y)
%94 = (fma.f64 x #s(literal 1/2 binary64) #s(literal 1 binary64))
%102 = (*.f64 x #s(literal -1/2 binary64))
%105 = (neg.f64 %102)
%118 = (*.f64 x x)
%120 = (fma.f64 %35 x x)
%124 = (*.f64 %118 #s(literal 1/2 binary64))
%129 = (neg.f64 x)
%136 = (fabs.f64 x)
%146 = (*.f64 x y)
%164 = (cosh.f64 (/.f64 #s(literal 0 binary64) #s(literal 2 binary64)))
%165 = (*.f64 %164 %164)
%167 = (*.f64 y y)
%168 = (fabs.f64 y)
%170 = (neg.f64 y)
%172 = (neg.f64 %167)
%176 = (*.f64 #s(literal 1 binary64) y)
%183 = (pow.f64 y #s(literal 1 binary64))
%186 = (*.f64 c y)
%192 = (*.f64 c %54)
%196 = (*.f64 c #s(literal -1 binary64))
%198 = (*.f64 #s(literal -1 binary64) c)
%204 = (/.f64 #s(literal 1 binary64) y)
%208 = (neg.f64 %170)
%210 = (/.f64 #s(literal 1 binary64) %170)
%227 = (log.f64 y)
%228 = (neg.f64 %227)
%231 = (log.f64 %168)
%239 = (neg.f64 %231)
%248 = (log.f64 (fabs.f64 %204))
%252 = (/.f64 #s(literal 1 binary64) %204)
%263 = (+.f64 y y)
%270 = (fma.f64 %54 %263 #s(literal 2 binary64))
%275 = (*.f64 %263 %54)
%279 = (-.f64 #s(literal -2 binary64) %275)
%292 = (+.f64 #s(literal 1 binary64) %275)
%299 = (fma.f64 %54 y #s(literal 2 binary64))
%303 = (-.f64 %78 #s(literal -2 binary64))
%311 = (fabs.f64 %270)
%314 = (pow.f64 %270 #s(literal 2 binary64))
%316 = (sqrt.f64 %311)
%319 = (log.f64 %311)
%323 = (+ (exp x) -1)
%324 = (approx %323 %120)
%325 = (fabs.f64 %118)
%326 = (*.f64 %136 %136)
%327 = (*.f64 %129 %129)
%329 = (neg.f64 (*.f64 %129 x))
%331 = (neg.f64 (*.f64 x %129))
%332 = (fabs.f64 %136)
%333 = (*.f64 %332 %332)
%334 = (neg.f64 %136)
%335 = (*.f64 %334 %334)
%336 = (neg.f64 %129)
%337 = (*.f64 %336 %336)
%338 = (pow.f64 x #s(literal 2 binary64))
%339 = (pow.f64 %136 #s(literal 2 binary64))
%340 = (pow.f64 %129 #s(literal 2 binary64))
%342 = (*.f64 (pow.f64 x #s(literal 1 binary64)) x)
%343 = (*.f64 c x)
%346 = (*.f64 #s(literal 1/2 binary64) c)
%348 = (*.f64 #s(literal 1/2 binary64) %343)
%356 = (fma.f64 %343 #s(literal 1/2 binary64) c)
%360 = (*.f64 c #s(literal -1/2 binary64))
%361 = (*.f64 %360 x)
%367 = (neg.f64 c)
%369 = (*.f64 x %356)
%371 = (*.f64 %343 %35)
%375 = (*.f64 c %118)
%384 = (*.f64 %360 %118)
%389 = (-.f64 %186 c)
%390 = (*.f64 #s(literal -1/2 binary64) %389)
%391 = (*.f64 %360 y)
%393 = (*.f64 y #s(literal -1/2 binary64))
%395 = (*.f64 #s(literal -1/2 binary64) y)
%406 = (*.f64 y #s(literal 1/2 binary64))
%407 = (*.f64 %406 c)
%410 = (*.f64 %367 #s(literal -1/2 binary64))
%412 = (neg.f64 %360)
%432 = (neg.f64 %186)
%433 = (*.f64 %432 #s(literal -1/2 binary64))
%435 = (*.f64 %412 y)
%437 = (neg.f64 %391)
%439 = (*.f64 x %390)
%441 = (*.f64 %360 %146)
%448 = (*.f64 x %186)
%456 = (*.f64 x %360)
%464 = (fma.f64 %390 x c)
%467 = (*.f64 %390 %129)
%485 = (+.f64 c %441)
%487 = (*.f64 x %464)
%489 = (*.f64 %390 %118)
%506 = (pow %323 2)
%510 = (* c %323)
%511 = (+ (* -1/2 (* c (* y %506))) %510)
%512 = (approx %511 %487)
%513 = (*.f64 y %390)
%516 = (*.f64 %360 %167)
%523 = (*.f64 %186 y)
%530 = (*.f64 y %186)
%540 = (*.f64 %390 %146)
%543 = (*.f64 x %407)
%545 = (*.f64 %146 %391)
%547 = (*.f64 %146 %346)
%549 = (*.f64 %391 %146)
%551 = (*.f64 %346 %146)
%553 = (*.f64 %407 x)
%563 = (fma.f64 c y %540)
%573 = (neg.f64 %540)
%576 = (neg.f64 %573)
%578 = (*.f64 %336 %513)
%586 = (*.f64 x %563)
%588 = (*.f64 x %146)
%589 = (*.f64 %588 %390)
%611 = (approx (* y %511) %586)
%623 = (*.f64 y #s(literal 1/3 binary64))
%625 = (*.f64 c #s(literal 1/3 binary64))
%628 = (*.f64 #s(literal 1/3 binary64) %186)
%630 = (*.f64 #s(literal 1/3 binary64) y)
%636 = (fma.f64 #s(literal -1/2 binary64) c %628)
%644 = (*.f64 (*.f64 #s(literal -1/3 binary64) y) c)
%646 = (neg.f64 %644)
%658 = (*.f64 y %636)
%660 = (*.f64 %625 %167)
%685 = (*.f64 c #s(literal 1/6 binary64))
%688 = (fma.f64 %636 y %685)
%698 = (neg.f64 %658)
%700 = (*.f64 %208 %636)
%702 = (neg.f64 %698)
%710 = (fma.f64 %625 %167 %685)
%722 = (*.f64 x %688)
%724 = (*.f64 x #s(literal 1/6 binary64))
%725 = (*.f64 %636 %146)
%727 = (*.f64 %685 x)
%752 = (fma.f64 %688 x %346)
%756 = (neg.f64 %722)
%758 = (*.f64 %336 %688)
%760 = (neg.f64 %756)
%764 = (fma.f64 %688 %129 %360)
%768 = (fma.f64 %636 %146 %346)
%780 = (fma.f64 %688 x %390)
%784 = (fma.f64 #s(literal -1/2 binary64) %186 %722)
%786 = (fma.f64 %688 x %391)
%816 = (*.f64 x %780)
%818 = (*.f64 %722 x)
%820 = (*.f64 x %722)
%827 = (*.f64 %752 x)
%846 = (fma.f64 %780 x c)
%849 = (neg.f64 %816)
%858 = (fma.f64 %752 x c)
%869 = (*.f64 x %846)
%871 = (*.f64 %780 %118)
%897 = (approx (+ %510 (* y (+ (* -1/2 (* c %506)) (* 1/3 (* c (* y (pow %323 3))))))) %869)
%898 = (log.f64 x)
%899 = (log %323)
%900 = (approx %899 %898)
%901 = (fma.f64 x #s(literal 1/2 binary64) %227)
%907 = (-.f64 %102 %227)
%916 = (fma.f64 x #s(literal 1/2 binary64) %898)
%920 = (+.f64 %227 %898)
%921 = (fma.f64 x #s(literal 1/2 binary64) %920)
%940 = (approx (+ %899 (log y)) %921)
%944 = (*.f64 %33 y)
%956 = (*.f64 #s(literal 1 binary64) %146)
%958 = (*.f64 %146 #s(literal 1 binary64))
%965 = (fma.f64 %33 y #s(literal 2 binary64))
%974 = (*.f64 (*.f64 #s(literal -2 binary64) y) x)
%976 = (neg.f64 %974)
%980 = (fma.f64 x y #s(literal 2 binary64))
%988 = (+.f64 #s(literal 1 binary64) %944)
%990 = (-.f64 #s(literal 1 binary64) %974)
%1009 = (approx (+ (* %323 (* 2 y)) 2) %965)
%1011 = (/.f64 %356 y)
%1013 = (/.f64 x y)
%1014 = (*.f64 %356 %1013)
%1016 = (neg.f64 %369)
%1018 = (neg.f64 %1014)
%1020 = (*.f64 %369 #s(literal 1 binary64))
%1023 = (*.f64 x %204)
%1041 = (*.f64 #s(literal -1/2 binary64) %118)
%1046 = (fma.f64 %356 %1013 %384)
%1069 = (*.f64 %384 y)
%1070 = (fma.f64 %356 x %1069)
%1088 = (*.f64 %167 %1046)
%1097 = (*.f64 %384 %167)
%1099 = (*.f64 %1014 %167)
%1145 = (approx (* x (+ (* 1/2 (* c (* x (- y (* y y))))) (* c y))) %1088)
%1146 = (fma.f64 x #s(literal 1/6 binary64) #s(literal 1/2 binary64))
%1159 = (*.f64 %1146 x)
%1161 = (fma.f64 %118 %1146 x)
%1164 = (*.f64 %1146 %118)
%1181 = (*.f64 %136 %1146)
%1183 = (*.f64 %129 %1146)
%1186 = (*.f64 %1146 %129)
%1188 = (*.f64 %1146 %136)
%1200 = (*.f64 x %724)
%1202 = (*.f64 #s(literal 1/6 binary64) %118)
%1204 = (*.f64 x %118)
%1209 = (*.f64 %724 x)
%1211 = (*.f64 %118 #s(literal 1/6 binary64))
%1213 = (*.f64 %118 x)
%1215 = (*.f64 %724 %118)
%1219 = (-.f64 %124 %129)
%1228 = (*.f64 %136 %724)
%1230 = (*.f64 %129 %724)
%1232 = (*.f64 %724 %129)
%1234 = (*.f64 %724 %136)
%1241 = (*.f64 c %146)
%1242 = (*.f64 y %343)
%1243 = (*.f64 %146 c)
%1244 = (*.f64 %186 x)
%1245 = (*.f64 %343 y)
%1247 = (*.f64 y %192)
%1254 = (*.f64 %186 #s(literal -1 binary64))
%1256 = (*.f64 #s(literal -1 binary64) %186)
%1263 = (*.f64 c %51)
%1265 = (pow.f64 #s(literal 1/2 binary64) c)
%1267 = (*.f64 %311 #s(literal 1/2 binary64))
%1268 = (log.f64 %1267)
%1269 = (*.f64 c %1268)
%1270 = (*.f64 %1268 c)
%1272 = (log.f64 (/.f64 #s(literal 2 binary64) %311))
%1274 = (neg.f64 (*.f64 %1272 c))
%1276 = (neg.f64 (*.f64 c %1272))
%1277 = (fma.f64 c %319 %1263)
%1278 = (*.f64 c %319)
%1279 = (fma.f64 c %51 %1278)
%1280 = (fma.f64 %319 c %1263)
%1281 = (fma.f64 %51 c %1278)
%1282 = (+.f64 %1263 %1278)
%1283 = (+.f64 %1278 %1263)
%1285 = (-.f64 %1263 (*.f64 %367 %319))
%1287 = (-.f64 %1263 (neg.f64 %1278))
%1290 = (-.f64 %1263 (*.f64 (neg.f64 %319) c))
%1291 = (neg.f64 %1263)
%1292 = (-.f64 %1278 %1291)
%1294 = (*.f64 (neg.f64 %367) %51)
%1295 = (fma.f64 c %319 %1294)
%1296 = (neg.f64 %1291)
%1297 = (fma.f64 c %319 %1296)
%1298 = (fma.f64 %319 c %1294)
%1299 = (fma.f64 %319 c %1296)
%1300 = (+.f64 %1278 %1294)
%1301 = (+.f64 %1278 %1296)
%1303 = (neg.f64 (-.f64 %1291 %1278))
%1305 = (log.f64 (pow.f64 %1267 c))
%1306 = (pow.f64 %311 c)
%1308 = (log.f64 (*.f64 %1306 %1265))
%1310 = (log.f64 (*.f64 %1265 %1306))
%1316 = (log (+ 1 (* %323 y)))
%1317 = (* c %1316)
%1318 = (approx %1317 %448)
%1320 = (*.f64 y %512)
%1323 = (*.f64 y %897)
%1325 = (approx %323 %1161)
%1326 = (*.f64 %1325 y)
%1327 = (+.f64 #s(literal 1 binary64) %1326)
%1328 = (log.f64 %1327)
%1331 = (approx %1316 %940)
%1333 = (fma.f64 %324 y #s(literal 1 binary64))
%1334 = (log.f64 %1333)
%1336 = (+.f64 %900 %227)
%1337 = (approx %1316 %1336)
%1339 = (fabs.f64 %1009)
%1340 = (log.f64 %1339)
%1341 = (-.f64 %1340 %50)
%1343 = (*.f64 %53 %146)
%1345 = (*.f64 %53 %78)
c
#s(literal 1 binary64)
(fabs.f64 #s(literal 1 binary64))
(fabs.f64 #s(literal -1 binary64))
(neg.f64 #s(literal -1 binary64))
(sqrt.f64 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(cosh.f64 #s(literal 0 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal -1 binary64) #s(literal 2 binary64))
(*.f64 %23 #s(literal 1 binary64))
(fma.f64 %23 #s(literal 1 binary64) #s(literal 0 binary64))
x
(*.f64 x #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) x)
(neg.f64 (*.f64 x #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) x))
(*.f64 %33 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %35)
y
#s(literal 0 binary64)
(neg.f64 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(log.f64 #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(log1p.f64 #s(literal 0 binary64))
(sinh.f64 #s(literal 0 binary64))
(+.f64 %50 %51)
%53
%54
(neg.f64 %55)
(expm1.f64 (+.f64 x #s(literal 0 binary64)))
(+.f64 #s(literal -1 binary64) %59)
(+.f64 %59 #s(literal -1 binary64))
(-.f64 %59 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %59)
(fma.f64 #s(literal 1 binary64) %59 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %59)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %59)
(fma.f64 %59 #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 %59 #s(literal 2 binary64)) #s(literal 1/2 binary64) #s(literal -1 binary64))
(+.f64 %72 (-.f64 %73 #s(literal 1 binary64)))
(+.f64 %72 (+.f64 %73 #s(literal -1 binary64)))
%78
(*.f64 %54 y)
(neg.f64 (neg.f64 %78))
(fma.f64 y %59 %82)
(fma.f64 %59 y %84)
(+.f64 (*.f64 %59 y) %84)
(+.f64 (*.f64 y %59) %82)
#s(literal 1/2 binary64)
(fabs.f64 #s(literal 1/2 binary64))
(neg.f64 #s(literal -1/2 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(*.f64 x #s(literal 1/2 binary64))
%35
%94
(fma.f64 #s(literal 1/2 binary64) x #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) %35)
(+.f64 %35 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) (+.f64 x #s(literal 2 binary64)))
(*.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 2 binary64) x))
(-.f64 #s(literal 1 binary64) %102)
(-.f64 %35 #s(literal -1 binary64))
(+.f64 #s(literal 1 binary64) %105)
(neg.f64 (-.f64 %102 #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %35)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %35)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %35)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %105)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %105)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %105)
(fma.f64 %23 #s(literal 1 binary64) %35)
(fma.f64 %23 #s(literal 1 binary64) %105)
(fma.f64 x %35 x)
(fma.f64 #s(literal 1/2 binary64) %118 x)
%120
(fma.f64 %118 #s(literal 1/2 binary64) x)
(*.f64 x %94)
(*.f64 %94 x)
(+.f64 x %124)
(+.f64 %124 x)
(-.f64 x (*.f64 %102 x))
(fma.f64 %129 %102 x)
(fma.f64 %102 %129 x)
(-.f64 x (*.f64 %129 %35))
(-.f64 x (neg.f64 %124))
(fma.f64 %136 (*.f64 %136 #s(literal 1/2 binary64)) x)
(fma.f64 (*.f64 #s(literal 1/2 binary64) %136) %136 x)
(fma.f64 x #s(literal 1 binary64) %124)
(fma.f64 #s(literal 1 binary64) x %124)
(fma.f64 %33 #s(literal 1/2 binary64) %124)
(fma.f64 #s(literal 2 binary64) %35 %124)
#s(literal 1/6 binary64)
%146
(*.f64 y x)
#s(literal -1 binary64)
(neg.f64 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -2 binary64) #s(literal 1/2 binary64))
#s(literal 2 binary64)
(fabs.f64 #s(literal 2 binary64))
(neg.f64 #s(literal -2 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %23 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %165)
%167
(*.f64 %168 %168)
(*.f64 %170 %170)
(neg.f64 %172)
(*.f64 #s(literal 1 binary64) %167)
(*.f64 %167 #s(literal 1 binary64))
(*.f64 %176 y)
(*.f64 #s(literal -1 binary64) %172)
(*.f64 %172 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %167))
(pow.f64 y #s(literal 2 binary64))
(*.f64 %183 y)
(pow.f64 %176 #s(literal 2 binary64))
%186
(*.f64 y c)
#s(literal -1/2 binary64)
(neg.f64 #s(literal 1/2 binary64))
#s(literal 1/3 binary64)
(neg.f64 #s(literal -1/3 binary64))
%192
(*.f64 %54 c)
(neg.f64 (neg.f64 %192))
(fma.f64 c %59 %196)
(fma.f64 %59 c %198)
(+.f64 (*.f64 %59 c) %198)
(+.f64 (*.f64 c %59) %196)
%204
(/.f64 #s(literal -1 binary64) %170)
(neg.f64 (/.f64 #s(literal -1 binary64) y))
(/.f64 #s(literal 1 binary64) %208)
(neg.f64 %210)
(*.f64 #s(literal 1 binary64) %204)
(*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) y))
(*.f64 %204 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) %210)
(neg.f64 (*.f64 #s(literal -1 binary64) %204))
(/.f64 #s(literal 1 binary64) (/.f64 %170 #s(literal -1 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %204))
(pow.f64 y #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) %183)
%228
(*.f64 #s(literal -1 binary64) %227)
(*.f64 %227 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %231)
(log.f64 %204)
(*.f64 #s(literal 1 binary64) %228)
(*.f64 #s(literal -1 binary64) %231)
(*.f64 %228 #s(literal 1 binary64))
(neg.f64 (*.f64 #s(literal 1 binary64) %227))
(+.f64 #s(literal 0 binary64) %239)
(log.f64 (/.f64 #s(literal 1 binary64) %168))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %239)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %239)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %228))
(+.f64 #s(literal 0 binary64) %248)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) %248)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) %248)
(log.f64 (/.f64 #s(literal 1 binary64) %252))
(log.f64 (pow.f64 %204 #s(literal 1 binary64)))
%227
(neg.f64 %228)
(-.f64 %231 #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) %228)
(*.f64 %228 #s(literal -1 binary64))
(log.f64 %252)
(*.f64 #s(literal -1 binary64) %248)
%263
(*.f64 y #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) y)
(-.f64 y %170)
(+.f64 y %208)
(neg.f64 (-.f64 %170 y))
%270
(fma.f64 %263 %54 #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %78 #s(literal 2 binary64))
(fma.f64 (*.f64 %54 #s(literal 2 binary64)) y #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) %275)
(+.f64 %275 #s(literal 2 binary64))
(-.f64 %275 #s(literal -2 binary64))
(neg.f64 %279)
(-.f64 #s(literal 2 binary64) (*.f64 %55 %263))
(-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 %263) %54))
(-.f64 #s(literal 2 binary64) (neg.f64 %275))
(+.f64 (fma.f64 %263 %54 #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %275)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %275)
(+.f64 #s(literal 1 binary64) %292)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %292)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %292)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %292)
(fma.f64 y (+.f64 %54 %54) #s(literal 2 binary64))
(fma.f64 y %54 %299)
(fma.f64 %54 y %299)
(+.f64 %78 %299)
(fma.f64 y %54 %303)
(fma.f64 %54 y %303)
(+.f64 %78 %303)
(+.f64 (+.f64 #s(literal 2 binary64) %78) %78)
(fma.f64 %23 #s(literal 1 binary64) %292)
(fma.f64 #s(literal 2 binary64) %165 %275)
%311
(fabs.f64 %279)
(fabs.f64 %311)
(sqrt.f64 %314)
(*.f64 %316 %316)
(pow.f64 %314 #s(literal 1/2 binary64))
%319
%50
(log1p.f64 #s(literal 1 binary64))
%324
%118
%325
%326
%327
%329
%331
%333
%335
%337
%338
%339
%340
%342
%343
(*.f64 x c)
(*.f64 c %35)
(*.f64 x %346)
%348
(*.f64 %35 c)
(*.f64 %343 #s(literal 1/2 binary64))
(*.f64 %346 x)
(fma.f64 c %35 c)
(fma.f64 x %346 c)
(fma.f64 #s(literal 1/2 binary64) %343 c)
(fma.f64 %35 c c)
%356
(fma.f64 %346 x c)
(+.f64 c %348)
(+.f64 %348 c)
(-.f64 c %361)
(+.f64 c (neg.f64 %361))
(neg.f64 (-.f64 %361 c))
(-.f64 %348 %367)
%369
(*.f64 %356 x)
(fma.f64 c x %371)
(fma.f64 x c %371)
(fma.f64 x %348 %343)
(fma.f64 #s(literal 1/2 binary64) %375 %343)
(fma.f64 %35 %343 %343)
(fma.f64 %343 %35 %343)
(fma.f64 %348 x %343)
(fma.f64 %346 %118 %343)
(fma.f64 %375 #s(literal 1/2 binary64) %343)
(+.f64 %343 %371)
(+.f64 %371 %343)
(-.f64 %343 %384)
(-.f64 %343 (*.f64 %129 %348))
(*.f64 c #s(literal 1/2 binary64))
%346
%390
(fma.f64 c #s(literal 1/2 binary64) %391)
(fma.f64 c %393 %346)
(fma.f64 c %395 %346)
(fma.f64 y %360 %346)
(fma.f64 #s(literal 1/2 binary64) c %391)
(fma.f64 %186 #s(literal -1/2 binary64) %346)
(fma.f64 #s(literal -1/2 binary64) %186 %346)
(fma.f64 %360 y %346)
(fma.f64 %393 c %346)
(fma.f64 %395 c %346)
(+.f64 %346 %391)
(+.f64 %391 %346)
(-.f64 %346 %407)
(-.f64 %391 %360)
(fma.f64 c %393 %410)
(fma.f64 c %393 %412)
(fma.f64 c %395 %410)
(fma.f64 c %395 %412)
(fma.f64 y %360 %410)
(fma.f64 y %360 %412)
(fma.f64 %186 #s(literal -1/2 binary64) %410)
(fma.f64 %186 #s(literal -1/2 binary64) %412)
(fma.f64 #s(literal -1/2 binary64) %186 %410)
(fma.f64 #s(literal -1/2 binary64) %186 %412)
(fma.f64 %360 y %410)
(fma.f64 %360 y %412)
(fma.f64 %393 c %410)
(fma.f64 %393 c %412)
(fma.f64 %395 c %410)
(fma.f64 %395 c %412)
(+.f64 %391 %410)
(+.f64 %391 %412)
(neg.f64 (-.f64 %360 %391))
(-.f64 %346 %433)
(-.f64 %346 %435)
(-.f64 %346 %437)
%439
(*.f64 %390 x)
(fma.f64 c %35 %441)
(fma.f64 x %346 %441)
(fma.f64 x %391 %348)
(fma.f64 #s(literal 1/2 binary64) %343 %441)
(fma.f64 %35 c %441)
(fma.f64 %186 %102 %348)
(fma.f64 #s(literal -1/2 binary64) %448 %348)
(fma.f64 %343 #s(literal 1/2 binary64) %441)
(fma.f64 %346 x %441)
(fma.f64 %448 #s(literal -1/2 binary64) %348)
(fma.f64 %360 %146 %348)
(fma.f64 %102 %186 %348)
(fma.f64 %391 x %348)
(fma.f64 %456 y %348)
(+.f64 %348 %441)
(+.f64 %441 %348)
(-.f64 %441 %361)
(-.f64 %441 (*.f64 %129 %346))
(fma.f64 x %390 c)
%464
(+.f64 c %439)
(+.f64 %439 c)
(-.f64 c %467)
(-.f64 %439 %367)
(+.f64 c (*.f64 %336 %390))
(+.f64 c (neg.f64 %467))
(neg.f64 (-.f64 %467 c))
(fma.f64 x %391 %356)
(fma.f64 %186 %102 %356)
(fma.f64 #s(literal -1/2 binary64) %448 %356)
(fma.f64 %448 #s(literal -1/2 binary64) %356)
(fma.f64 %360 %146 %356)
(fma.f64 %102 %186 %356)
(fma.f64 %391 x %356)
(fma.f64 %456 y %356)
(+.f64 %441 %356)
(+.f64 %485 %348)
%487
(*.f64 %464 x)
(fma.f64 c x %489)
(fma.f64 x c %489)
(fma.f64 x %439 %343)
(fma.f64 %118 %390 %343)
(fma.f64 %390 %118 %343)
(fma.f64 %439 x %343)
(+.f64 %343 %489)
(+.f64 %489 %343)
(-.f64 %343 (neg.f64 %489))
(-.f64 %343 (*.f64 %467 x))
(-.f64 %343 (*.f64 %129 %439))
%512
%513
(*.f64 %390 y)
(fma.f64 c (*.f64 #s(literal 1/2 binary64) y) %516)
(fma.f64 y %346 %516)
(fma.f64 y %391 %407)
(fma.f64 #s(literal 1/2 binary64) %186 %516)
(fma.f64 %186 #s(literal 1/2 binary64) %516)
(fma.f64 %186 %395 %407)
(fma.f64 #s(literal -1/2 binary64) %523 %407)
(fma.f64 %346 y %516)
(fma.f64 %360 %167 %407)
(fma.f64 %393 %186 %407)
(fma.f64 %406 c %516)
(fma.f64 %391 y %407)
(fma.f64 %530 #s(literal -1/2 binary64) %407)
(+.f64 %516 %407)
(+.f64 %407 %516)
(-.f64 %516 %391)
(-.f64 %516 (*.f64 %170 %346))
(*.f64 x %513)
(*.f64 y %439)
(*.f64 %146 %390)
%540
(*.f64 %439 y)
(*.f64 %513 x)
(fma.f64 x %516 %543)
(fma.f64 %146 %346 %545)
(fma.f64 %146 %391 %547)
(fma.f64 %346 %146 %549)
(fma.f64 %391 %146 %551)
(fma.f64 %516 x %553)
(+.f64 %551 %549)
(+.f64 %547 %545)
(+.f64 %549 %551)
(+.f64 (*.f64 %516 x) %553)
(+.f64 (*.f64 x %516) %543)
(+.f64 %545 %547)
%563
(fma.f64 x %513 %186)
(fma.f64 y c %540)
(fma.f64 y %439 %186)
(fma.f64 %146 %390 %186)
(fma.f64 %390 %146 %186)
(fma.f64 %439 y %186)
(fma.f64 %513 x %186)
(+.f64 %186 %540)
(+.f64 %540 %186)
(-.f64 %186 %573)
(-.f64 %540 %432)
(fma.f64 c y %576)
(fma.f64 c y %578)
(fma.f64 y c %576)
(fma.f64 y c %578)
(+.f64 %186 %576)
(+.f64 %186 %578)
(neg.f64 (-.f64 %573 %186))
%586
(*.f64 %563 x)
(fma.f64 c %146 %589)
(fma.f64 x %186 %589)
(fma.f64 x %540 %448)
(fma.f64 y %343 %589)
(fma.f64 %146 c %589)
(fma.f64 %146 %439 %448)
(fma.f64 %186 x %589)
(fma.f64 %118 %513 %448)
(fma.f64 %343 y %589)
(fma.f64 %513 %118 %448)
(fma.f64 %540 x %448)
(fma.f64 %588 %390 %448)
(+.f64 %448 %589)
(+.f64 %589 %448)
(-.f64 %448 (neg.f64 %589))
(-.f64 %448 (*.f64 %573 x))
(-.f64 %448 (*.f64 %129 %540))
%611
%375
(*.f64 x %343)
(*.f64 %118 c)
(*.f64 %343 x)
(*.f64 %136 (*.f64 %136 c))
(*.f64 %129 (*.f64 %129 c))
(*.f64 (*.f64 c %129) %129)
(*.f64 (*.f64 c %136) %136)
(*.f64 c %623)
(*.f64 y %625)
(*.f64 %186 #s(literal 1/3 binary64))
%628
(*.f64 %625 y)
(*.f64 %630 c)
(fma.f64 c #s(literal -1/2 binary64) %628)
(fma.f64 c %623 %360)
(fma.f64 y %625 %360)
(fma.f64 %186 #s(literal 1/3 binary64) %360)
%636
(fma.f64 #s(literal 1/3 binary64) %186 %360)
(fma.f64 %625 y %360)
(fma.f64 %630 c %360)
(+.f64 %628 %360)
(+.f64 %360 %628)
(-.f64 %628 %346)
(-.f64 %360 %644)
(fma.f64 c #s(literal -1/2 binary64) %646)
(fma.f64 #s(literal 1/2 binary64) %367 %628)
(fma.f64 #s(literal -1/2 binary64) c %646)
(fma.f64 %367 #s(literal 1/2 binary64) %628)
(+.f64 %360 %646)
(neg.f64 (-.f64 %644 %360))
(-.f64 %628 %410)
(-.f64 %628 %412)
(fma.f64 #s(literal 1/2 binary64) %367 %646)
(fma.f64 %367 #s(literal 1/2 binary64) %646)
%658
(*.f64 %636 y)
(fma.f64 c %393 %660)
(fma.f64 c %395 %660)
(fma.f64 y %628 %391)
(fma.f64 y %360 %660)
(fma.f64 %186 #s(literal -1/2 binary64) %660)
(fma.f64 %186 %630 %391)
(fma.f64 #s(literal -1/2 binary64) %186 %660)
(fma.f64 #s(literal 1/3 binary64) %523 %391)
(fma.f64 %628 y %391)
(fma.f64 %360 y %660)
(fma.f64 %625 %167 %391)
(fma.f64 %393 c %660)
(fma.f64 %623 %186 %391)
(fma.f64 %395 c %660)
(fma.f64 %530 #s(literal 1/3 binary64) %391)
(+.f64 %391 %660)
(+.f64 %660 %391)
(-.f64 %391 (*.f64 %644 y))
(-.f64 %391 (neg.f64 %660))
(-.f64 %391 (*.f64 %170 %628))
(fma.f64 c #s(literal 1/6 binary64) %658)
(fma.f64 y %636 %685)
(fma.f64 #s(literal 1/6 binary64) c %658)
%688
(+.f64 %658 %685)
(+.f64 %685 %658)
(-.f64 %658 (*.f64 #s(literal -1/6 binary64) c))
(-.f64 %658 (*.f64 %367 #s(literal 1/6 binary64)))
(-.f64 %658 (neg.f64 %685))
(-.f64 %685 %698)
(fma.f64 c #s(literal 1/6 binary64) %700)
(fma.f64 c #s(literal 1/6 binary64) %702)
(fma.f64 #s(literal 1/6 binary64) c %700)
(fma.f64 #s(literal 1/6 binary64) c %702)
(+.f64 %685 %700)
(+.f64 %685 %702)
(neg.f64 (-.f64 %698 %685))
(fma.f64 c %393 %710)
(fma.f64 c %395 %710)
(fma.f64 y %360 %710)
(fma.f64 %186 #s(literal -1/2 binary64) %710)
(fma.f64 #s(literal -1/2 binary64) %186 %710)
(fma.f64 %360 y %710)
(fma.f64 %393 c %710)
(fma.f64 %395 c %710)
(+.f64 %391 %710)
(+.f64 (fma.f64 c #s(literal 1/6 binary64) %391) %660)
%722
(*.f64 %688 x)
(fma.f64 c %724 %725)
(fma.f64 x %658 %727)
(fma.f64 x %685 %725)
(fma.f64 y (*.f64 %636 x) %727)
(fma.f64 #s(literal 1/6 binary64) %343 %725)
(fma.f64 %146 %636 %727)
(fma.f64 %343 #s(literal 1/6 binary64) %725)
(fma.f64 %636 %146 %727)
(fma.f64 %658 x %727)
(fma.f64 %685 x %725)
(fma.f64 %724 c %725)
(fma.f64 (*.f64 x %636) y %727)
(+.f64 %727 %725)
(+.f64 %725 %727)
(-.f64 %727 (neg.f64 %725))
(-.f64 %727 (*.f64 %698 x))
(-.f64 %727 (*.f64 %129 %658))
(fma.f64 c #s(literal 1/2 binary64) %722)
(fma.f64 x %688 %346)
(fma.f64 #s(literal 1/2 binary64) c %722)
%752
(+.f64 %346 %722)
(+.f64 %722 %346)
(-.f64 %722 %360)
(-.f64 %346 %756)
(fma.f64 c #s(literal 1/2 binary64) %758)
(fma.f64 c #s(literal 1/2 binary64) %760)
(fma.f64 #s(literal 1/2 binary64) c %758)
(fma.f64 #s(literal 1/2 binary64) c %760)
(neg.f64 %764)
(+.f64 %346 %758)
(+.f64 %346 %760)
(fma.f64 c %724 %768)
(fma.f64 x %685 %768)
(fma.f64 #s(literal 1/6 binary64) %343 %768)
(fma.f64 %343 #s(literal 1/6 binary64) %768)
(fma.f64 %685 x %768)
(fma.f64 %724 c %768)
(+.f64 %727 %768)
(+.f64 (fma.f64 c #s(literal 1/2 binary64) %727) %725)
(fma.f64 x %688 %390)
(fma.f64 #s(literal -1/2 binary64) %389 %722)
%780
(+.f64 %390 %722)
(+.f64 %722 %390)
(-.f64 %390 %756)
(fma.f64 c #s(literal 1/2 binary64) %784)
(fma.f64 c #s(literal 1/2 binary64) %786)
(fma.f64 c %393 %752)
(fma.f64 c %395 %752)
(fma.f64 y %360 %752)
(fma.f64 #s(literal 1/2 binary64) c %784)
(fma.f64 #s(literal 1/2 binary64) c %786)
(fma.f64 %186 #s(literal -1/2 binary64) %752)
(fma.f64 #s(literal -1/2 binary64) %186 %752)
(fma.f64 %360 y %752)
(fma.f64 %393 c %752)
(fma.f64 %395 c %752)
(+.f64 %346 %784)
(+.f64 %346 %786)
(+.f64 %752 %391)
(+.f64 %391 %752)
(+.f64 %784 %346)
(-.f64 %752 %407)
(+.f64 (fma.f64 #s(literal -1/2 binary64) %389 %727) %725)
(-.f64 %391 (-.f64 %360 %722))
(-.f64 %752 %433)
(-.f64 %752 %435)
(-.f64 %752 %437)
(-.f64 %391 %764)
(-.f64 %346 (-.f64 %756 %391))
(neg.f64 (-.f64 %764 %391))
%816
(*.f64 %780 x)
(fma.f64 x %390 %818)
(fma.f64 x %390 %820)
(fma.f64 %390 x %818)
(fma.f64 %390 x %820)
(+.f64 %439 %818)
(+.f64 %439 %820)
(fma.f64 x %752 %441)
(fma.f64 x %391 %827)
(fma.f64 %186 %102 %827)
(fma.f64 #s(literal -1/2 binary64) %448 %827)
(fma.f64 %752 x %441)
(fma.f64 %448 #s(literal -1/2 binary64) %827)
(fma.f64 %360 %146 %827)
(fma.f64 %102 %186 %827)
(fma.f64 %391 x %827)
(fma.f64 %456 y %827)
(+.f64 %441 %827)
(+.f64 %827 %441)
(-.f64 %441 (neg.f64 %827))
(-.f64 %441 (*.f64 %764 x))
(-.f64 %441 (*.f64 %129 %752))
(fma.f64 x %780 c)
%846
(+.f64 c %816)
(+.f64 %816 c)
(-.f64 c %849)
(-.f64 %816 %367)
(+.f64 c (*.f64 %336 %780))
(+.f64 c (neg.f64 %849))
(neg.f64 (-.f64 %849 c))
(fma.f64 x %391 %858)
(fma.f64 %186 %102 %858)
(fma.f64 #s(literal -1/2 binary64) %448 %858)
(fma.f64 %448 #s(literal -1/2 binary64) %858)
(fma.f64 %360 %146 %858)
(fma.f64 %102 %186 %858)
(fma.f64 %391 x %858)
(fma.f64 %456 y %858)
(+.f64 %441 %858)
(+.f64 %485 %827)
%869
(*.f64 %846 x)
(fma.f64 c x %871)
(fma.f64 x c %871)
(fma.f64 x %816 %343)
(fma.f64 %118 %780 %343)
(fma.f64 %780 %118 %343)
(fma.f64 %816 x %343)
(+.f64 %343 %871)
(+.f64 %871 %343)
(-.f64 %343 (neg.f64 %871))
(-.f64 %343 (*.f64 %849 x))
(-.f64 %343 (*.f64 %129 %816))
%897
%898
%900
%901
(fma.f64 #s(literal 1/2 binary64) x %227)
(+.f64 %35 %227)
(+.f64 %227 %35)
(-.f64 %227 %102)
(+.f64 %227 %105)
(neg.f64 %907)
(-.f64 %35 %228)
(fma.f64 #s(literal -1 binary64) %228 %35)
(fma.f64 %228 #s(literal -1 binary64) %35)
(fma.f64 #s(literal -1 binary64) %228 %105)
(fma.f64 %228 #s(literal -1 binary64) %105)
(fma.f64 #s(literal -1 binary64) %248 %35)
(fma.f64 #s(literal -1 binary64) %248 %105)
(+.f64 %227 %916)
(+.f64 %898 %901)
(+.f64 %901 %898)
%921
(fma.f64 #s(literal 1/2 binary64) x %920)
(+.f64 %35 %920)
(+.f64 %920 %35)
(+.f64 (+.f64 %898 %35) %227)
(-.f64 %227 (-.f64 %102 %898))
(-.f64 %898 %907)
(-.f64 %920 %102)
(-.f64 %901 (neg.f64 %898))
(neg.f64 (-.f64 %907 %898))
(fma.f64 #s(literal -1 binary64) %228 %916)
(fma.f64 %228 #s(literal -1 binary64) %916)
(fma.f64 #s(literal -1 binary64) %248 %916)
%940
(*.f64 x %263)
(*.f64 y %33)
(*.f64 %263 x)
%944
(*.f64 %146 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %146)
(fma.f64 x y %146)
(fma.f64 y x %146)
(+.f64 %146 %146)
(-.f64 %146 (*.f64 %129 y))
(-.f64 %146 (*.f64 %170 x))
(-.f64 %146 (neg.f64 %146))
(fma.f64 #s(literal 1 binary64) %146 %956)
(fma.f64 %146 #s(literal 1 binary64) %958)
(+.f64 %958 %958)
(+.f64 %956 %956)
(fma.f64 x %263 #s(literal 2 binary64))
(fma.f64 y %33 #s(literal 2 binary64))
(fma.f64 %263 x #s(literal 2 binary64))
%965
(fma.f64 %146 #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %146 #s(literal 2 binary64))
(*.f64 (fma.f64 x y #s(literal 1 binary64)) #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) %944)
(+.f64 %944 #s(literal 2 binary64))
(-.f64 %944 #s(literal -2 binary64))
(-.f64 #s(literal 2 binary64) %974)
(+.f64 #s(literal 2 binary64) %976)
(neg.f64 (-.f64 %974 #s(literal 2 binary64)))
(fma.f64 x y %980)
(fma.f64 y x %980)
(+.f64 (fma.f64 %33 y #s(literal 1 binary64)) #s(literal 1 binary64))
(+.f64 %146 %980)
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %944)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %944)
(+.f64 #s(literal 1 binary64) %988)
(+.f64 #s(literal 1 binary64) %990)
(+.f64 (+.f64 #s(literal 2 binary64) %146) %146)
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %976)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %976)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %988)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %988)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %988)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %990)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %990)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %990)
(fma.f64 %23 #s(literal 1 binary64) %988)
(fma.f64 %23 #s(literal 1 binary64) %990)
(fma.f64 #s(literal 2 binary64) %165 %944)
(fma.f64 #s(literal 2 binary64) %165 %976)
%1009
(/.f64 %369 y)
(*.f64 x %1011)
%1014
(*.f64 %1011 x)
(/.f64 %1016 %170)
(neg.f64 %1018)
(/.f64 %1020 y)
(*.f64 %204 %369)
(*.f64 %356 %1023)
(*.f64 %369 %204)
(/.f64 #s(literal 1 binary64) (/.f64 y %369))
(/.f64 (neg.f64 %1016) %208)
(/.f64 (*.f64 %369 #s(literal -1 binary64)) %170)
(*.f64 %1016 %210)
(/.f64 #s(literal 1 binary64) (/.f64 %170 %1016))
(*.f64 %1020 %204)
(+.f64 (/.f64 %343 y) (/.f64 %371 y))
(fma.f64 c (*.f64 %118 #s(literal -1/2 binary64)) %1014)
(fma.f64 c %1041 %1014)
(fma.f64 x %1011 %384)
(fma.f64 #s(literal -1/2 binary64) %375 %1014)
(fma.f64 %118 %360 %1014)
%1046
(fma.f64 %375 #s(literal -1/2 binary64) %1014)
(fma.f64 %360 %118 %1014)
(fma.f64 %361 x %1014)
(fma.f64 %1041 c %1014)
(fma.f64 %1011 x %384)
(+.f64 %1014 %384)
(+.f64 %384 %1014)
(-.f64 %1014 %371)
(-.f64 %1014 (*.f64 %412 %118))
(-.f64 %1014 (neg.f64 %384))
(-.f64 %1014 (*.f64 (neg.f64 %375) #s(literal -1/2 binary64)))
(-.f64 %384 %1018)
(fma.f64 (*.f64 %360 %129) %129 %1014)
(fma.f64 (*.f64 %360 %136) %136 %1014)
(neg.f64 (-.f64 %1018 %384))
(/.f64 %1070 y)
(fma.f64 %204 %369 %384)
(fma.f64 %356 %1023 %384)
(fma.f64 %369 %204 %384)
(/.f64 (neg.f64 %1070) %170)
(fma.f64 %1016 %210 %384)
(/.f64 (fma.f64 %384 %170 %1016) %170)
(fma.f64 %1020 %204 %384)
(*.f64 %1070 %204)
(/.f64 #s(literal 1 binary64) (/.f64 y %1070))
(+.f64 (/.f64 %1069 y) %1014)
(*.f64 y (*.f64 y %1046))
%1088
(*.f64 %1046 %167)
(*.f64 (*.f64 %1046 y) y)
(/.f64 (*.f64 %1070 %167) y)
(/.f64 (*.f64 %167 %1070) y)
(fma.f64 x (*.f64 %1011 %167) %1097)
(fma.f64 y %1069 %1099)
(fma.f64 y (*.f64 y %1014) %1097)
(fma.f64 %167 %1014 %1097)
(fma.f64 %167 %384 %1099)
(fma.f64 #s(literal -1/2 binary64) (*.f64 %375 %167) %1099)
(fma.f64 %375 (*.f64 #s(literal -1/2 binary64) %167) %1099)
(fma.f64 %1014 %167 %1097)
(fma.f64 %360 (*.f64 %118 %167) %1099)
(fma.f64 %384 %167 %1099)
(fma.f64 (*.f64 %167 %360) %118 %1099)
(fma.f64 (*.f64 %167 #s(literal -1/2 binary64)) %375 %1099)
(fma.f64 (*.f64 %167 x) %1011 %1097)
(fma.f64 %1069 y %1099)
(fma.f64 (*.f64 %167 %375) #s(literal -1/2 binary64) %1099)
(fma.f64 (*.f64 %1014 y) y %1097)
(+.f64 %1097 %1099)
(+.f64 %1099 %1097)
(-.f64 %1097 (neg.f64 %1099))
(-.f64 %1097 (*.f64 %1018 %167))
(-.f64 %1097 (*.f64 %172 %1014))
(fma.f64 %369 (*.f64 %204 %167) %1097)
(fma.f64 (*.f64 %167 %369) %204 %1097)
%1145
%118
%325
%326
%327
%329
%331
%333
%335
%337
%338
%339
%340
%342
%1146
(fma.f64 #s(literal 1/6 binary64) x #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %724)
(+.f64 %724 #s(literal 1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/6 binary64) x))
(-.f64 %724 #s(literal -1/2 binary64))
(neg.f64 (-.f64 #s(literal -1/2 binary64) %724))
(-.f64 #s(literal 1/2 binary64) (*.f64 %129 #s(literal 1/6 binary64)))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %724))
(fma.f64 x %1159 x)
%1161
(fma.f64 %1146 %118 x)
(fma.f64 %1159 x x)
(+.f64 x %1164)
(+.f64 %1164 x)
(-.f64 x (*.f64 (neg.f64 %1146) %118))
(-.f64 x (*.f64 (neg.f64 %118) %1146))
(-.f64 x (neg.f64 %1164))
(-.f64 x (*.f64 %129 %1159))
(-.f64 %1164 %129)
(fma.f64 x %1159 %336)
(fma.f64 %118 %1146 %336)
(fma.f64 %1146 %118 %336)
(fma.f64 %136 %1181 x)
(fma.f64 %129 %1183 x)
(fma.f64 %1159 x %336)
(fma.f64 %1186 %129 x)
(fma.f64 %1188 %136 x)
(+.f64 %1164 %336)
(neg.f64 (-.f64 %129 %1164))
(fma.f64 x #s(literal 1 binary64) %1164)
(fma.f64 #s(literal 1 binary64) x %1164)
(fma.f64 %136 %1181 %336)
(fma.f64 %129 %1183 %336)
(fma.f64 %1186 %129 %336)
(fma.f64 %1188 %136 %336)
(fma.f64 %33 #s(literal 1/2 binary64) %1164)
(fma.f64 x %1200 %120)
(fma.f64 x %1202 %120)
(fma.f64 #s(literal 1/6 binary64) %1204 %120)
(fma.f64 #s(literal 2 binary64) %35 %1164)
(fma.f64 %118 %724 %120)
(fma.f64 %724 %118 %120)
(fma.f64 %1209 x %120)
(fma.f64 %1211 x %120)
(fma.f64 %1213 #s(literal 1/6 binary64) %120)
(+.f64 %1215 %120)
(+.f64 (+.f64 x %1215) %124)
(fma.f64 x %1200 %1219)
(fma.f64 x %1202 %1219)
(fma.f64 #s(literal 1/6 binary64) %1204 %1219)
(fma.f64 %118 %724 %1219)
(fma.f64 %724 %118 %1219)
(fma.f64 %1209 x %1219)
(fma.f64 %1211 x %1219)
(fma.f64 %1213 #s(literal 1/6 binary64) %1219)
(fma.f64 %136 %1228 %120)
(fma.f64 %129 %1230 %120)
(fma.f64 %1232 %129 %120)
(fma.f64 %1234 %136 %120)
(+.f64 %1215 %1219)
(fma.f64 %136 %1228 %1219)
(fma.f64 %129 %1230 %1219)
(fma.f64 %1232 %129 %1219)
(fma.f64 %1234 %136 %1219)
%1241
%448
%1242
%1243
%1244
%1245
%1241
%448
%1242
%1243
%1244
%1245
(*.f64 c %78)
%1247
(*.f64 %54 %186)
(*.f64 %78 c)
(*.f64 %186 %54)
(*.f64 %192 y)
(neg.f64 (*.f64 %186 %55))
(fma.f64 %186 %59 %1254)
(fma.f64 %59 %186 %1256)
(+.f64 (*.f64 %59 %186) %1256)
(+.f64 (*.f64 %186 %59) %1254)
%51
(neg.f64 %50)
%1263
(*.f64 %51 c)
(log.f64 %1265)
%1269
%1270
%1274
%1276
%1277
%1279
%1280
%1281
%1282
%1283
%1285
%1287
%1290
%1292
%1295
%1297
%1298
%1299
%1300
%1301
%1303
%1305
%1308
%1310
%1278
(*.f64 %319 c)
(log.f64 %1306)
%1269
%1270
%1274
%1276
%1277
%1279
%1280
%1281
%1282
%1283
%1285
%1287
%1290
%1292
%1295
%1297
%1298
%1299
%1300
%1301
%1303
%1305
%1308
%1310
%1318
%1318
(approx %1317 %1247)
%1320
(approx %1317 %1320)
(approx %1317 %611)
%1323
(approx %1317 %1323)
%1325
%1326
%1327
%1328
(*.f64 c %1328)
(approx %1317 %1145)
%1331
(*.f64 c %1331)
%1333
%1334
(*.f64 c %1334)
%1336
%1337
(*.f64 c %1337)
%1339
%1340
%1341
(*.f64 c %1341)
%1343
(approx %1317 %1343)
%1345
(approx %1317 %1345)

%5 = (approx c #s(literal 0 binary64))
%6 = (expm1.f64 x)
%8 = (*.f64 #s(literal 1/2 binary64) x)
%10 = (*.f64 x y)
%12 = (*.f64 c %10)
%13 = (*.f64 c y)
%16 = (+.f64 y y)
%17 = (*.f64 #s(literal -1/2 binary64) y)
%18 = (fma.f64 %6 %16 #s(literal 2 binary64))
%19 = (fabs.f64 %18)
%20 = (log.f64 %19)
%21 = (log.f64 #s(literal 2 binary64))
%23 = (*.f64 c x)
%24 = (log.f64 x)
%27 = (- (exp x) 1)
%28 = (log %27)
%29 = (approx %28 %24)
%30 = (*.f64 #s(literal 2 binary64) %10)
%31 = (+.f64 #s(literal 2 binary64) %30)
%35 = (+ (* %27 (+ y y)) 2)
%36 = (approx %35 %31)
%38 = (log (fabs %35))
%39 = (approx %38 %21)
%40 = (log.f64 y)
%44 = (* -1 (log (/ 1 y)))
%45 = (approx %44 %40)
%46 = (/.f64 x y)
%47 = (fma.f64 x %8 x)
%48 = (*.f64 x x)
%49 = (*.f64 y y)
%50 = (*.f64 c #s(literal -1/2 binary64))
%51 = (*.f64 #s(literal 1/3 binary64) y)
%52 = (log.f64 #s(literal 1/2 binary64))
%53 = (*.f64 c %52)
%54 = (fabs.f64 %36)
%55 = (log.f64 %54)
%57 = (+.f64 #s(literal 1/2 binary64) %17)
%58 = (*.f64 y %57)
%59 = (*.f64 x %58)
%60 = (+.f64 y %59)
%61 = (*.f64 c %60)
%62 = (* c y)
%64 = (* -1/2 %62)
%66 = (* 1/2 c)
%67 = (+ %64 %66)
%71 = (approx (+ %62 (* x (* y %67))) %61)
%72 = (-.f64 %51 #s(literal 1/2 binary64))
%73 = (*.f64 y %72)
%74 = (+.f64 #s(literal 1/6 binary64) %73)
%75 = (*.f64 x %74)
%76 = (fma.f64 #s(literal -1/2 binary64) y %75)
%77 = (+.f64 #s(literal 1/2 binary64) %76)
%78 = (*.f64 c %77)
%90 = (approx (+ %64 (+ %66 (* x (+ (* 1/6 c) (* y (+ (* -1/2 c) (* 1/3 %62))))))) %78)
%91 = (*.f64 c %21)
%92 = (fma.f64 c %52 %91)
%98 = (*.f64 #s(literal -1/2 binary64) %12)
%100 = (approx (* x %67) %98)
%101 = (fma.f64 %23 #s(literal 1/2 binary64) c)
%102 = (*.f64 %50 %48)
%103 = (-.f64 %13 c)
%104 = (*.f64 #s(literal -1/2 binary64) %103)
%105 = (fma.f64 %104 %10 %13)
%106 = (fma.f64 x #s(literal 1/2 binary64) %24)
%107 = (+.f64 %40 %106)
%108 = (fma.f64 %101 %46 %102)
%109 = (*.f64 %49 %108)
%117 = (approx (* x (+ (* 1/2 (* c (* x (- y (* y y))))) %62)) %109)
%118 = (*.f64 x %90)
%119 = (+.f64 c %118)
%120 = (*.f64 x %119)
%121 = (* c %27)
%122 = (pow %27 2)
%133 = (approx (+ %121 (* y (+ (* -1/2 (* c %122)) (* 1/3 (* c (* y (pow %27 3))))))) %120)
%134 = (*.f64 y %133)
%140 = (log (+ 1 (* (- (pow (E ) x) 1) y)))
%141 = (* c %140)
%144 = (*.f64 x %71)
%148 = (+ (* -1/2 (* c (* y %122))) %121)
%149 = (* y %148)
%150 = (approx %149 %144)
%152 = (*.f64 x %105)
%153 = (approx %149 %152)
%155 = (+.f64 c %100)
%156 = (*.f64 x %155)
%157 = (approx %148 %156)
%158 = (*.f64 y %157)
%162 = (approx (+ %28 %44) %107)
%163 = (approx %140 %162)
%165 = (approx %27 %47)
%166 = (fma.f64 %165 y #s(literal 1 binary64))
%167 = (log.f64 %166)
%169 = (*.f64 c #s(literal -6243314768165359/9007199254740992 binary64))
%171 = (*.f64 c %55)
%174 = (+.f64 %29 %45)
%175 = (approx %140 %174)
%177 = (*.f64 %5 x)
%178 = (*.f64 y %177)
%180 = (-.f64 %55 #s(literal 6243314768165359/9007199254740992 binary64))
c
#s(literal 1 binary64)
x
y
#s(literal 0 binary64)
%5
%6
#s(literal 1/2 binary64)
%8
#s(literal 1/6 binary64)
%10
#s(literal 2 binary64)
%12
%13
#s(literal -1/2 binary64)
#s(literal 1/3 binary64)
%16
%17
%18
%19
%20
%21
#s(literal 6243314768165359/9007199254740992 binary64)
%23
%24
%29
%30
%31
%36
%39
%40
%45
%46
%47
%48
%49
%50
%51
%52
%53
%54
%55
#s(literal -6243314768165359/9007199254740992 binary64)
%57
%58
%59
%60
%61
%71
%72
%73
%74
%75
%76
%77
%78
%90
%91
%92
(approx (+ (* c %38) (* c (log 1/2))) %92)
%98
%100
%101
%102
%103
%104
%105
%106
%107
%108
%109
%117
%118
%119
%120
%133
%134
(approx %141 %134)
(fma.f64 c %39 %53)
%144
%150
(approx %141 %150)
%152
%153
(approx %141 %153)
%155
%156
%157
%158
(approx %141 %158)
(approx %141 %117)
%162
%163
(*.f64 c %163)
%165
%166
%167
(*.f64 c %167)
%169
(fma.f64 c %20 %169)
%171
(+.f64 %171 %53)
(fma.f64 c %55 %53)
%174
%175
(*.f64 c %175)
%177
%178
(approx %141 %178)
%180
(*.f64 c %180)

%23 = (pow.f64 #s(literal 1 binary64) #s(literal 1 binary64))
%40 = (log.f64 #s(literal 2 binary64))
%41 = (log.f64 #s(literal 1/2 binary64))
%46 = (approx c #s(literal 0 binary64))
%47 = (expm1.f64 x)
%48 = (neg.f64 %47)
%52 = (exp.f64 x)
%65 = (cosh.f64 x)
%66 = (sinh.f64 x)
%74 = (*.f64 #s(literal 1/2 binary64) x)
%75 = (*.f64 x #s(literal -1/2 binary64))
%77 = (*.f64 #s(literal -1/2 binary64) x)
%80 = (*.f64 x y)
%94 = (cosh.f64 (/.f64 #s(literal 0 binary64) #s(literal 2 binary64)))
%95 = (*.f64 %94 %94)
%97 = (*.f64 c %80)
%98 = (*.f64 c y)
%100 = (*.f64 c x)
%110 = (+.f64 y y)
%113 = (neg.f64 y)
%115 = (neg.f64 %113)
%120 = (*.f64 #s(literal -1/2 binary64) y)
%121 = (*.f64 y #s(literal 1/2 binary64))
%123 = (fma.f64 %47 %110 #s(literal 2 binary64))
%125 = (*.f64 %47 y)
%129 = (*.f64 %110 %47)
%133 = (-.f64 #s(literal -2 binary64) %129)
%146 = (+.f64 #s(literal 1 binary64) %129)
%153 = (fma.f64 %47 y #s(literal 2 binary64))
%157 = (-.f64 %125 #s(literal -2 binary64))
%165 = (fabs.f64 %123)
%168 = (pow.f64 %123 #s(literal 2 binary64))
%170 = (sqrt.f64 %165)
%173 = (log.f64 %165)
%179 = (log.f64 x)
%182 = (+ (exp x) -1)
%183 = (log %182)
%184 = (approx %183 %179)
%186 = (+.f64 x x)
%189 = (*.f64 %186 y)
%195 = (neg.f64 x)
%196 = (*.f64 %195 y)
%200 = (neg.f64 %80)
%202 = (*.f64 #s(literal 1 binary64) %80)
%204 = (*.f64 %80 #s(literal 1 binary64))
%211 = (fma.f64 %186 y #s(literal 2 binary64))
%220 = (*.f64 (*.f64 #s(literal -2 binary64) y) x)
%222 = (neg.f64 %220)
%226 = (fma.f64 x y #s(literal 2 binary64))
%234 = (+.f64 #s(literal 1 binary64) %189)
%236 = (-.f64 #s(literal 1 binary64) %220)
%255 = (+ (* %182 (* 2 y)) 2)
%256 = (approx %255 %211)
%257 = (fabs %255)
%259 = (approx (log %257) %40)
%260 = (log.f64 y)
%261 = (neg.f64 %260)
%263 = (fabs.f64 y)
%268 = (/.f64 #s(literal 1 binary64) y)
%272 = (log.f64 (fabs.f64 %268))
%274 = (log y)
%275 = (approx %274 %260)
%276 = (/.f64 x y)
%282 = (*.f64 x #s(literal 1 binary64))
%288 = (neg.f64 %195)
%297 = (fma.f64 x %74 x)
%298 = (*.f64 x x)
%304 = (*.f64 %298 #s(literal 1/2 binary64))
%307 = (*.f64 %77 x)
%311 = (neg.f64 %74)
%323 = (fabs.f64 x)
%330 = (fabs.f64 %323)
%332 = (neg.f64 %323)
%340 = (*.f64 y y)
%344 = (neg.f64 %340)
%346 = (fabs.f64 %263)
%348 = (neg.f64 %263)
%356 = (*.f64 c #s(literal -1/2 binary64))
%358 = (neg.f64 c)
%361 = (*.f64 c #s(literal 1/2 binary64))
%364 = (*.f64 #s(literal 1/3 binary64) y)
%365 = (*.f64 c %41)
%367 = (pow.f64 #s(literal 1/2 binary64) c)
%369 = (fabs.f64 %256)
%370 = (log.f64 %369)
%372 = (fma.f64 y #s(literal -1/2 binary64) #s(literal 1/2 binary64))
%380 = (*.f64 y %372)
%382 = (*.f64 %340 #s(literal -1/2 binary64))
%399 = (*.f64 x %380)
%400 = (*.f64 %372 x)
%402 = (*.f64 x %372)
%408 = (*.f64 x %382)
%410 = (*.f64 %120 %80)
%412 = (*.f64 %80 %120)
%414 = (*.f64 %80 #s(literal 1/2 binary64))
%416 = (*.f64 #s(literal 1/2 binary64) %80)
%418 = (*.f64 %382 x)
%432 = (fma.f64 %372 %80 y)
%437 = (neg.f64 %399)
%446 = (*.f64 c %432)
%448 = (*.f64 %399 c)
%454 = (*.f64 %372 c)
%471 = (* c y)
%473 = (* -1/2 (- %471 c))
%474 = (* x %473)
%477 = (approx (* y (+ c %474)) %446)
%478 = (fma.f64 y #s(literal 1/3 binary64) #s(literal -1/2 binary64))
%483 = (-.f64 #s(literal 1/2 binary64) %364)
%485 = (*.f64 y %478)
%487 = (*.f64 %483 y)
%496 = (fma.f64 %478 y #s(literal 1/6 binary64))
%506 = (*.f64 x %496)
%508 = (*.f64 %478 %80)
%510 = (*.f64 x #s(literal 1/6 binary64))
%530 = (fma.f64 #s(literal -1/2 binary64) y %506)
%535 = (neg.f64 %506)
%537 = (*.f64 %288 %496)
%539 = (neg.f64 %535)
%543 = (fma.f64 %496 %195 %121)
%547 = (fma.f64 %478 %80 %120)
%554 = (fma.f64 %496 x #s(literal 1/2 binary64))
%557 = (fma.f64 %496 x %372)
%563 = (+.f64 #s(literal 1/2 binary64) %506)
%579 = (*.f64 c %557)
%581 = (*.f64 c %530)
%583 = (*.f64 c %506)
%587 = (*.f64 %506 c)
%613 = (approx (+ %473 (* x (+ (* 1/6 c) (* y (+ (* -1/2 c) (* 1/3 %471)))))) %579)
%614 = (*.f64 c %40)
%616 = (pow.f64 #s(literal 2 binary64) c)
%618 = (*.f64 c #s(literal 0 binary64))
%626 = (neg.f64 %614)
%630 = (neg.f64 %358)
%631 = (*.f64 %630 %40)
%633 = (neg.f64 %626)
%650 = (*.f64 %80 #s(literal -1/2 binary64))
%652 = (*.f64 #s(literal -1/2 binary64) %80)
%654 = (*.f64 %98 #s(literal -1/2 binary64))
%662 = (*.f64 #s(literal -1/2 binary64) %97)
%668 = (*.f64 %356 x)
%675 = (approx %474 %662)
%680 = (fma.f64 %100 #s(literal 1/2 binary64) c)
%682 = (*.f64 %361 x)
%688 = (neg.f64 %100)
%705 = (*.f64 c %298)
%708 = (*.f64 %356 %298)
%710 = (*.f64 %298 c)
%713 = (*.f64 %323 %356)
%715 = (*.f64 %195 %356)
%717 = (*.f64 %356 %195)
%719 = (*.f64 %356 %323)
%721 = (-.f64 %98 c)
%726 = (-.f64 c %98)
%729 = (*.f64 #s(literal -1/2 binary64) %721)
%756 = (neg.f64 %98)
%762 = (*.f64 y (fma.f64 %729 x c))
%763 = (*.f64 %729 %80)
%765 = (*.f64 %729 y)
%768 = (*.f64 %729 x)
%771 = (*.f64 %80 %721)
%783 = (*.f64 %196 %729)
%789 = (*.f64 %288 %765)
%791 = (neg.f64 %783)
%793 = (*.f64 %630 y)
%795 = (neg.f64 %756)
%825 = (fma.f64 x #s(literal 1/2 binary64) %179)
%830 = (neg.f64 %179)
%835 = (neg.f64 %830)
%838 = (neg.f64 %825)
%841 = (fma.f64 x #s(literal 1/2 binary64) %260)
%846 = (+.f64 %179 %260)
%847 = (fma.f64 x #s(literal 1/2 binary64) %846)
%862 = (*.f64 %680 %276)
%869 = (fma.f64 %680 %276 %708)
%875 = (*.f64 %361 %298)
%877 = (neg.f64 %875)
%895 = (*.f64 x %680)
%898 = (*.f64 %268 %680)
%903 = (*.f64 y %869)
%905 = (*.f64 %340 %869)
%917 = (*.f64 %340 %276)
%918 = (*.f64 %917 %680)
%923 = (*.f64 %340 c)
%924 = (*.f64 %923 %307)
%985 = (approx (* x (+ (* 1/2 (* c (* x (- y (* y y))))) %471)) %905)
%986 = (*.f64 x %613)
%987 = (+.f64 c %986)
%988 = (*.f64 x %987)
%989 = (* c %182)
%990 = (pow %182 2)
%1001 = (approx (+ %989 (* y (+ (* -1/2 (* c %990)) (* 1/3 (* c (* y (pow %182 3))))))) %988)
%1002 = (*.f64 y %1001)
%1009 = (log (+ 1 (* (+ (pow (E ) x) -1) y)))
%1010 = (* c %1009)
%1013 = (*.f64 x %477)
%1017 = (+ (* -1/2 (* c (* y %990))) %989)
%1018 = (* y %1017)
%1019 = (approx %1018 %1013)
%1021 = (*.f64 x %762)
%1023 = (*.f64 %80 x)
%1024 = (*.f64 %729 %1023)
%1067 = (approx %1018 %1021)
%1069 = (+.f64 c %675)
%1070 = (*.f64 x %1069)
%1071 = (approx %1017 %1070)
%1072 = (*.f64 y %1071)
%1076 = (approx (+ %183 %274) %847)
%1077 = (approx %1009 %1076)
%1079 = (approx %182 %297)
%1080 = (fma.f64 %1079 y #s(literal 1 binary64))
%1081 = (log.f64 %1080)
%1083 = (*.f64 c #s(literal -6243314768165359/9007199254740992 binary64))
%1085 = (*.f64 c #s(literal 6243314768165359/9007199254740992 binary64))
%1087 = (-.f64 %173 #s(literal 6243314768165359/9007199254740992 binary64))
%1090 = (-.f64 #s(literal 6243314768165359/9007199254740992 binary64) %173)
%1096 = (*.f64 %173 c)
%1112 = (*.f64 %630 #s(literal -6243314768165359/9007199254740992 binary64))
%1116 = (*.f64 c %370)
%1119 = (+.f64 %184 %275)
%1120 = (approx %1009 %1119)
%1122 = (*.f64 %46 x)
%1123 = (*.f64 y %1122)
%1125 = (-.f64 %370 #s(literal 6243314768165359/9007199254740992 binary64))
c
#s(literal 1 binary64)
(fabs.f64 #s(literal 1 binary64))
(fabs.f64 #s(literal -1 binary64))
(neg.f64 #s(literal -1 binary64))
(sqrt.f64 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(cosh.f64 #s(literal 0 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal -1 binary64) #s(literal 2 binary64))
(*.f64 %23 #s(literal 1 binary64))
(fma.f64 %23 #s(literal 1 binary64) #s(literal 0 binary64))
x
y
#s(literal 0 binary64)
(neg.f64 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(log.f64 #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(log1p.f64 #s(literal 0 binary64))
(sinh.f64 #s(literal 0 binary64))
(+.f64 %40 %41)
(+.f64 %41 %40)
(-.f64 %41 (neg.f64 %40))
%46
%47
(neg.f64 %48)
(expm1.f64 (+.f64 x #s(literal 0 binary64)))
(+.f64 #s(literal -1 binary64) %52)
(+.f64 %52 #s(literal -1 binary64))
(-.f64 %52 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %52)
(fma.f64 #s(literal 1 binary64) %52 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %52)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %52)
(fma.f64 %52 #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 %52 #s(literal 2 binary64)) #s(literal 1/2 binary64) #s(literal -1 binary64))
(+.f64 %65 (-.f64 %66 #s(literal 1 binary64)))
(+.f64 %65 (+.f64 %66 #s(literal -1 binary64)))
#s(literal 1/2 binary64)
(fabs.f64 #s(literal 1/2 binary64))
(neg.f64 #s(literal -1/2 binary64))
(*.f64 x #s(literal 1/2 binary64))
%74
(neg.f64 %75)
(neg.f64 %77)
#s(literal 1/6 binary64)
%80
(*.f64 y x)
#s(literal 2 binary64)
(fabs.f64 #s(literal 2 binary64))
(neg.f64 #s(literal -2 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %23 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %95)
%97
(*.f64 x %98)
(*.f64 y %100)
(*.f64 %80 c)
(*.f64 %98 x)
(*.f64 %100 y)
%98
(*.f64 y c)
#s(literal -1/2 binary64)
(neg.f64 #s(literal 1/2 binary64))
#s(literal 1/3 binary64)
(neg.f64 #s(literal -1/3 binary64))
%110
(*.f64 y #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) y)
(-.f64 y %113)
(+.f64 y %115)
(neg.f64 (-.f64 %113 y))
(*.f64 y #s(literal -1/2 binary64))
%120
(neg.f64 %121)
%123
(fma.f64 %110 %47 #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %125 #s(literal 2 binary64))
(fma.f64 (*.f64 %47 #s(literal 2 binary64)) y #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) %129)
(+.f64 %129 #s(literal 2 binary64))
(-.f64 %129 #s(literal -2 binary64))
(neg.f64 %133)
(-.f64 #s(literal 2 binary64) (*.f64 %48 %110))
(-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 %110) %47))
(-.f64 #s(literal 2 binary64) (neg.f64 %129))
(+.f64 (fma.f64 %110 %47 #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %129)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %129)
(+.f64 #s(literal 1 binary64) %146)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %146)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %146)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %146)
(fma.f64 y (+.f64 %47 %47) #s(literal 2 binary64))
(fma.f64 y %47 %153)
(fma.f64 %47 y %153)
(+.f64 %125 %153)
(fma.f64 y %47 %157)
(fma.f64 %47 y %157)
(+.f64 %125 %157)
(+.f64 (+.f64 #s(literal 2 binary64) %125) %125)
(fma.f64 %23 #s(literal 1 binary64) %146)
(fma.f64 #s(literal 2 binary64) %95 %129)
%165
(fabs.f64 %133)
(fabs.f64 %165)
(sqrt.f64 %168)
(*.f64 %170 %170)
(pow.f64 %168 #s(literal 1/2 binary64))
%173
%40
(log1p.f64 #s(literal 1 binary64))
#s(literal 6243314768165359/9007199254740992 binary64)
(neg.f64 #s(literal -6243314768165359/9007199254740992 binary64))
%100
(*.f64 x c)
%179
%184
(*.f64 x %110)
(*.f64 y %186)
(*.f64 %110 x)
%189
(*.f64 %80 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %80)
(fma.f64 x y %80)
(fma.f64 y x %80)
(+.f64 %80 %80)
(-.f64 %80 %196)
(-.f64 %80 (*.f64 %113 x))
(-.f64 %80 %200)
(fma.f64 #s(literal 1 binary64) %80 %202)
(fma.f64 %80 #s(literal 1 binary64) %204)
(+.f64 %204 %204)
(+.f64 %202 %202)
(fma.f64 x %110 #s(literal 2 binary64))
(fma.f64 y %186 #s(literal 2 binary64))
(fma.f64 %110 x #s(literal 2 binary64))
%211
(fma.f64 %80 #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %80 #s(literal 2 binary64))
(*.f64 (fma.f64 x y #s(literal 1 binary64)) #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) %189)
(+.f64 %189 #s(literal 2 binary64))
(-.f64 %189 #s(literal -2 binary64))
(-.f64 #s(literal 2 binary64) %220)
(+.f64 #s(literal 2 binary64) %222)
(neg.f64 (-.f64 %220 #s(literal 2 binary64)))
(fma.f64 x y %226)
(fma.f64 y x %226)
(+.f64 (fma.f64 %186 y #s(literal 1 binary64)) #s(literal 1 binary64))
(+.f64 %80 %226)
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %189)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %189)
(+.f64 #s(literal 1 binary64) %234)
(+.f64 #s(literal 1 binary64) %236)
(+.f64 (+.f64 #s(literal 2 binary64) %80) %80)
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %222)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %222)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %234)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %234)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %234)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %236)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %236)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %236)
(fma.f64 %23 #s(literal 1 binary64) %234)
(fma.f64 %23 #s(literal 1 binary64) %236)
(fma.f64 #s(literal 2 binary64) %95 %189)
(fma.f64 #s(literal 2 binary64) %95 %222)
%256
%259
%260
(neg.f64 %261)
(-.f64 (log.f64 %263) #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) %261)
(*.f64 %261 #s(literal -1 binary64))
(log.f64 (/.f64 #s(literal 1 binary64) %268))
(*.f64 #s(literal -1 binary64) %272)
%275
%276
(/.f64 %195 %113)
(neg.f64 (/.f64 %195 y))
(neg.f64 (/.f64 x %113))
(/.f64 %282 y)
(*.f64 x %268)
(*.f64 %268 x)
(/.f64 #s(literal 1 binary64) (/.f64 y x))
(/.f64 %288 %115)
(/.f64 (*.f64 x #s(literal -1 binary64)) %113)
(*.f64 %195 (/.f64 #s(literal 1 binary64) %113))
(/.f64 #s(literal 1 binary64) (/.f64 %113 %195))
(*.f64 %282 %268)
%297
(fma.f64 #s(literal 1/2 binary64) %298 x)
(fma.f64 %74 x x)
(fma.f64 %298 #s(literal 1/2 binary64) x)
(*.f64 (fma.f64 x #s(literal 1/2 binary64) #s(literal 1 binary64)) x)
(+.f64 x %304)
(+.f64 %304 x)
(-.f64 x %307)
(-.f64 x (*.f64 %195 %74))
(-.f64 x (*.f64 %311 x))
(-.f64 %304 %195)
(fma.f64 x %74 %288)
(fma.f64 #s(literal 1/2 binary64) %298 %288)
(fma.f64 %74 x %288)
(fma.f64 %298 #s(literal 1/2 binary64) %288)
(+.f64 %304 %288)
(neg.f64 (-.f64 %195 %304))
%298
(fabs.f64 %298)
(*.f64 %323 %323)
(*.f64 %195 %195)
(neg.f64 (*.f64 %195 x))
(neg.f64 (*.f64 x %195))
(*.f64 %330 %330)
(*.f64 %332 %332)
(*.f64 %288 %288)
(pow.f64 x #s(literal 2 binary64))
(pow.f64 %323 #s(literal 2 binary64))
(pow.f64 %195 #s(literal 2 binary64))
(*.f64 (pow.f64 x #s(literal 1 binary64)) x)
%340
(fabs.f64 %340)
(*.f64 %263 %263)
(*.f64 %113 %113)
(neg.f64 %344)
(*.f64 %346 %346)
(*.f64 %348 %348)
(*.f64 %115 %115)
(pow.f64 y #s(literal 2 binary64))
(pow.f64 %263 #s(literal 2 binary64))
(pow.f64 %113 #s(literal 2 binary64))
(*.f64 (pow.f64 y #s(literal 1 binary64)) y)
%356
(*.f64 #s(literal -1/2 binary64) c)
(*.f64 #s(literal 1/2 binary64) %358)
(*.f64 %358 #s(literal 1/2 binary64))
(neg.f64 %361)
(*.f64 y #s(literal 1/3 binary64))
%364
%41
%365
(*.f64 %41 c)
(log.f64 %367)
%369
%370
#s(literal -6243314768165359/9007199254740992 binary64)
(neg.f64 #s(literal 6243314768165359/9007199254740992 binary64))
%372
(fma.f64 #s(literal -1/2 binary64) y #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %120)
(+.f64 %120 #s(literal 1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %121)
(-.f64 %120 #s(literal -1/2 binary64))
(neg.f64 (-.f64 %121 #s(literal 1/2 binary64)))
%380
(*.f64 %372 y)
(fma.f64 y #s(literal 1/2 binary64) %382)
(fma.f64 y %120 %121)
(fma.f64 #s(literal 1/2 binary64) y %382)
(fma.f64 #s(literal -1/2 binary64) %340 %121)
(fma.f64 %120 y %121)
(fma.f64 %340 #s(literal -1/2 binary64) %121)
(+.f64 %121 %382)
(+.f64 %382 %121)
(-.f64 %121 (*.f64 %121 y))
(fma.f64 #s(literal -1/2 binary64) %113 %382)
(fma.f64 %113 #s(literal -1/2 binary64) %382)
(-.f64 %121 (*.f64 %113 %120))
(-.f64 %121 (neg.f64 %382))
%399
(*.f64 y %400)
(*.f64 y %402)
(*.f64 %80 %372)
(*.f64 %372 %80)
(*.f64 %380 x)
(*.f64 %402 y)
(fma.f64 x %121 %408)
(fma.f64 #s(literal 1/2 binary64) %80 %410)
(fma.f64 %80 #s(literal 1/2 binary64) %412)
(fma.f64 %80 %120 %414)
(fma.f64 %120 %80 %416)
(fma.f64 %121 x %418)
(+.f64 (*.f64 %121 x) %418)
(+.f64 %412 %414)
(+.f64 %414 %412)
(+.f64 %410 %416)
(+.f64 (*.f64 x %121) %408)
(+.f64 %416 %410)
(fma.f64 x %380 y)
(fma.f64 y %400 y)
(fma.f64 y %402 y)
(fma.f64 %80 %372 y)
%432
(fma.f64 %380 x y)
(fma.f64 %402 y y)
(+.f64 y %399)
(+.f64 %399 y)
(-.f64 y %437)
(-.f64 %399 %113)
(+.f64 y (*.f64 %288 %380))
(+.f64 y (neg.f64 %437))
(neg.f64 (-.f64 %437 y))
%446
(*.f64 %432 c)
(fma.f64 c y %448)
(fma.f64 c %399 %98)
(fma.f64 x (*.f64 %380 c) %98)
(fma.f64 y c %448)
(fma.f64 %80 %454 %98)
(fma.f64 %97 %372 %98)
(fma.f64 %100 %380 %98)
(fma.f64 %380 %100 %98)
(fma.f64 %399 c %98)
(fma.f64 (*.f64 c %380) x %98)
(+.f64 %98 %448)
(+.f64 %448 %98)
(-.f64 %98 (*.f64 %358 %399))
(-.f64 %98 (neg.f64 %448))
(-.f64 %98 (*.f64 %437 c))
%477
%478
(fma.f64 #s(literal 1/3 binary64) y #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) %364)
(+.f64 %364 #s(literal -1/2 binary64))
(-.f64 %364 #s(literal 1/2 binary64))
(neg.f64 %483)
%485
(*.f64 %478 y)
(neg.f64 %487)
(fma.f64 y %364 %120)
(fma.f64 %364 y %120)
(+.f64 (*.f64 %364 y) %120)
(+.f64 (*.f64 y %364) %120)
(fma.f64 y %478 #s(literal 1/6 binary64))
%496
(+.f64 #s(literal 1/6 binary64) %485)
(+.f64 %485 #s(literal 1/6 binary64))
(-.f64 %485 #s(literal -1/6 binary64))
(-.f64 #s(literal 1/6 binary64) %487)
(neg.f64 (-.f64 %487 #s(literal 1/6 binary64)))
(+.f64 #s(literal 1/6 binary64) (*.f64 %115 %478))
%506
(*.f64 %496 x)
(fma.f64 x #s(literal 1/6 binary64) %508)
(fma.f64 x %485 %510)
(fma.f64 y (*.f64 %478 x) %510)
(fma.f64 #s(literal 1/6 binary64) x %508)
(fma.f64 %80 %478 %510)
(fma.f64 %478 %80 %510)
(fma.f64 %485 x %510)
(fma.f64 (*.f64 x %478) y %510)
(+.f64 %510 %508)
(+.f64 %508 %510)
(-.f64 %510 (*.f64 %487 x))
(-.f64 %510 (*.f64 %195 %485))
(-.f64 %510 (neg.f64 %508))
(fma.f64 x %496 %120)
(fma.f64 y #s(literal -1/2 binary64) %506)
%530
(fma.f64 %496 x %120)
(+.f64 %120 %506)
(+.f64 %506 %120)
(-.f64 %506 %121)
(-.f64 %120 %535)
(fma.f64 y #s(literal -1/2 binary64) %537)
(fma.f64 y #s(literal -1/2 binary64) %539)
(fma.f64 #s(literal -1/2 binary64) y %537)
(fma.f64 #s(literal -1/2 binary64) y %539)
(neg.f64 %543)
(+.f64 %120 %537)
(+.f64 %120 %539)
(fma.f64 x #s(literal 1/6 binary64) %547)
(fma.f64 #s(literal 1/6 binary64) x %547)
(+.f64 %510 %547)
(+.f64 (fma.f64 y #s(literal -1/2 binary64) %510) %508)
(fma.f64 x %496 %372)
(fma.f64 y #s(literal -1/2 binary64) %554)
(fma.f64 #s(literal -1/2 binary64) y %554)
%557
(+.f64 #s(literal 1/2 binary64) %530)
(+.f64 %120 %554)
(+.f64 %372 %506)
(+.f64 %506 %372)
(+.f64 %530 #s(literal 1/2 binary64))
(fma.f64 y #s(literal -1/2 binary64) %563)
(fma.f64 #s(literal -1/2 binary64) y %563)
(-.f64 %530 #s(literal -1/2 binary64))
(+.f64 %120 %563)
(+.f64 %563 %120)
(-.f64 #s(literal 1/2 binary64) (-.f64 %121 %506))
(-.f64 #s(literal 1/2 binary64) %543)
(-.f64 %372 %535)
(-.f64 %120 (-.f64 %535 #s(literal 1/2 binary64)))
(neg.f64 (-.f64 %543 #s(literal 1/2 binary64)))
(+.f64 (+.f64 %372 %510) %508)
%579
(*.f64 %557 c)
(fma.f64 c #s(literal 1/2 binary64) %581)
(fma.f64 c %372 %583)
(fma.f64 c %530 %361)
(fma.f64 #s(literal 1/2 binary64) c %581)
(fma.f64 %372 c %587)
(fma.f64 %530 c %361)
(+.f64 %361 %581)
(+.f64 %454 %587)
(+.f64 (*.f64 c %372) %583)
(+.f64 %581 %361)
(fma.f64 #s(literal -1/2 binary64) %358 %581)
(fma.f64 %358 #s(literal -1/2 binary64) %581)
(-.f64 %361 (*.f64 %358 %530))
(-.f64 %361 (neg.f64 %581))
(-.f64 %361 (*.f64 %543 c))
%613
%614
(*.f64 %40 c)
(log.f64 %616)
%618
(*.f64 #s(literal 0 binary64) c)
(fma.f64 c %40 %365)
(fma.f64 c %41 %614)
(fma.f64 %40 c %365)
(fma.f64 %41 c %614)
(+.f64 %365 %614)
(+.f64 %614 %365)
(-.f64 %365 %626)
(-.f64 %614 (neg.f64 %365))
(fma.f64 c %41 %631)
(fma.f64 c %41 %633)
(fma.f64 %41 c %631)
(fma.f64 %41 c %633)
(+.f64 %365 %631)
(+.f64 %365 %633)
(neg.f64 (-.f64 %626 %365))
(log.f64 (*.f64 %616 %367))
(log.f64 (*.f64 %367 %616))
(approx (* c (log (* %257 1/2))) %618)
(*.f64 c %650)
(*.f64 c %652)
(*.f64 x %654)
(*.f64 y (*.f64 %100 #s(literal -1/2 binary64)))
(*.f64 %80 %356)
(*.f64 %97 #s(literal -1/2 binary64))
(*.f64 %98 %75)
(*.f64 %98 %77)
%662
(*.f64 %120 %100)
(*.f64 %100 %120)
(*.f64 %356 %80)
(*.f64 %75 %98)
(*.f64 %654 x)
(*.f64 %668 y)
(*.f64 %652 c)
(neg.f64 (*.f64 #s(literal 1/2 binary64) %97))
(neg.f64 (*.f64 %97 #s(literal 1/2 binary64)))
%675
(fma.f64 c %74 c)
(fma.f64 x %361 c)
(fma.f64 #s(literal 1/2 binary64) %100 c)
(fma.f64 %74 c c)
%680
(fma.f64 %361 x c)
(+.f64 c %682)
(+.f64 %682 c)
(-.f64 c %668)
(-.f64 c (*.f64 %358 %74))
(-.f64 c (*.f64 %688 #s(literal 1/2 binary64)))
(-.f64 c (neg.f64 %682))
(-.f64 %682 %358)
(fma.f64 c %74 %630)
(fma.f64 x %361 %630)
(fma.f64 #s(literal 1/2 binary64) %100 %630)
(fma.f64 %74 c %630)
(fma.f64 %100 #s(literal 1/2 binary64) %630)
(fma.f64 %361 x %630)
(+.f64 %682 %630)
(neg.f64 (-.f64 %358 %682))
(*.f64 c %307)
(*.f64 x %668)
(*.f64 #s(literal -1/2 binary64) %705)
(*.f64 %298 %356)
%708
(*.f64 %307 c)
(*.f64 %710 #s(literal -1/2 binary64))
(*.f64 %668 x)
(*.f64 %323 %713)
(*.f64 %195 %715)
(*.f64 %717 %195)
(*.f64 %719 %323)
%721
(fma.f64 c y %358)
(fma.f64 y c %358)
(+.f64 %98 %358)
(+.f64 %358 %98)
(neg.f64 %726)
(-.f64 %98 %630)
%729
(*.f64 %721 #s(literal -1/2 binary64))
(neg.f64 (*.f64 %726 #s(literal -1/2 binary64)))
(neg.f64 (*.f64 #s(literal -1/2 binary64) %726))
(neg.f64 (*.f64 #s(literal 1/2 binary64) %721))
(neg.f64 (*.f64 %721 #s(literal 1/2 binary64)))
(fma.f64 c #s(literal 1/2 binary64) %654)
(fma.f64 c %120 %361)
(fma.f64 y %356 %361)
(fma.f64 #s(literal 1/2 binary64) c %654)
(fma.f64 %98 #s(literal -1/2 binary64) %361)
(fma.f64 #s(literal -1/2 binary64) %98 %361)
(fma.f64 %120 c %361)
(fma.f64 %356 y %361)
(+.f64 %361 %654)
(+.f64 %654 %361)
(-.f64 %361 (*.f64 %361 y))
(-.f64 %654 %356)
(fma.f64 #s(literal -1/2 binary64) %358 %654)
(fma.f64 %358 #s(literal -1/2 binary64) %654)
(neg.f64 (-.f64 %356 %654))
(-.f64 %361 (*.f64 %756 #s(literal -1/2 binary64)))
(-.f64 %361 (neg.f64 %654))
%762
(fma.f64 c y %763)
(fma.f64 x %765 %98)
(fma.f64 y c %763)
(fma.f64 y %768 %98)
(fma.f64 %80 %729 %98)
(fma.f64 #s(literal -1/2 binary64) %771 %98)
(fma.f64 %721 %652 %98)
(fma.f64 %729 %80 %98)
(fma.f64 %650 %721 %98)
(fma.f64 %768 y %98)
(fma.f64 %765 x %98)
(fma.f64 %771 #s(literal -1/2 binary64) %98)
(+.f64 %98 %763)
(+.f64 %763 %98)
(-.f64 %98 (*.f64 #s(literal 1/2 binary64) %771))
(-.f64 %98 %783)
(-.f64 %98 (*.f64 (neg.f64 %729) %80))
(-.f64 %763 %756)
(fma.f64 c y %789)
(fma.f64 c y %791)
(fma.f64 x %765 %793)
(fma.f64 x %765 %795)
(fma.f64 y c %789)
(fma.f64 y c %791)
(fma.f64 y %768 %793)
(fma.f64 y %768 %795)
(fma.f64 %80 %729 %793)
(fma.f64 %80 %729 %795)
(fma.f64 #s(literal -1/2 binary64) %771 %793)
(fma.f64 #s(literal -1/2 binary64) %771 %795)
(fma.f64 %721 %652 %793)
(fma.f64 %721 %652 %795)
(fma.f64 %729 %80 %793)
(fma.f64 %729 %80 %795)
(fma.f64 %650 %721 %793)
(fma.f64 %650 %721 %795)
(fma.f64 %768 y %793)
(fma.f64 %768 y %795)
(fma.f64 %765 x %793)
(fma.f64 %765 x %795)
(fma.f64 %771 #s(literal -1/2 binary64) %793)
(fma.f64 %771 #s(literal -1/2 binary64) %795)
(+.f64 %98 %789)
(+.f64 %98 %791)
(+.f64 %763 %793)
(+.f64 %763 %795)
(neg.f64 (-.f64 %783 %98))
(neg.f64 (-.f64 %756 %763))
%825
(fma.f64 #s(literal 1/2 binary64) x %179)
(+.f64 %74 %179)
(+.f64 %179 %74)
(-.f64 %179 %77)
(-.f64 %74 %830)
(-.f64 %179 (*.f64 %195 #s(literal 1/2 binary64)))
(-.f64 %179 %311)
(fma.f64 x #s(literal 1/2 binary64) %835)
(fma.f64 #s(literal 1/2 binary64) x %835)
(neg.f64 %838)
(+.f64 %74 %835)
(+.f64 %179 %841)
(+.f64 %260 %825)
(+.f64 %825 %260)
(+.f64 %841 %179)
%847
(fma.f64 #s(literal 1/2 binary64) x %846)
(+.f64 %74 %846)
(+.f64 (+.f64 %260 %179) %74)
(-.f64 %260 %838)
(-.f64 %825 %261)
(-.f64 %841 %830)
(-.f64 %74 (-.f64 %830 %260))
(neg.f64 (-.f64 %838 %260))
(fma.f64 #s(literal -1 binary64) %261 %825)
(fma.f64 %261 #s(literal -1 binary64) %825)
(fma.f64 #s(literal -1 binary64) %272 %825)
(fma.f64 c %307 %862)
(fma.f64 x %668 %862)
(fma.f64 #s(literal -1/2 binary64) %705 %862)
(fma.f64 %276 %680 %708)
(fma.f64 %298 %356 %862)
(fma.f64 %356 %298 %862)
%869
(fma.f64 %307 c %862)
(fma.f64 %710 #s(literal -1/2 binary64) %862)
(fma.f64 %668 x %862)
(+.f64 %708 %862)
(+.f64 %862 %708)
(-.f64 %862 %875)
(fma.f64 %276 %680 %877)
(fma.f64 %680 %276 %877)
(+.f64 %862 %877)
(neg.f64 (-.f64 %875 %862))
(-.f64 %708 (*.f64 (neg.f64 %276) %680))
(-.f64 %708 (neg.f64 %862))
(-.f64 %708 (*.f64 (neg.f64 %680) %276))
(fma.f64 %323 %713 %862)
(fma.f64 %195 %715 %862)
(fma.f64 %717 %195 %862)
(fma.f64 %719 %323 %862)
(/.f64 (fma.f64 %708 y %895) y)
(fma.f64 x %898 %708)
(fma.f64 %895 %268 %708)
(fma.f64 x %898 %877)
(fma.f64 %895 %268 %877)
(*.f64 y %903)
%905
(*.f64 %869 %340)
(*.f64 %903 y)
(*.f64 %263 (*.f64 %263 %869))
(*.f64 %113 (*.f64 %113 %869))
(*.f64 (*.f64 %869 %113) %113)
(*.f64 (*.f64 %869 %263) %263)
(fma.f64 c (*.f64 %307 %340) %918)
(fma.f64 y (*.f64 y %708) %918)
(fma.f64 y (*.f64 y %862) %924)
(fma.f64 %276 (*.f64 %680 %340) %924)
(fma.f64 %298 (*.f64 %98 %120) %918)
(fma.f64 %340 %708 %918)
(fma.f64 %340 %862 %924)
(fma.f64 %356 (*.f64 %298 %340) %918)
(fma.f64 %680 (*.f64 %276 %340) %924)
(fma.f64 %708 %340 %918)
(fma.f64 %917 %680 %924)
(fma.f64 %923 %307 %918)
(fma.f64 (*.f64 %340 %356) %298 %918)
(fma.f64 (*.f64 %340 %298) %356 %918)
(fma.f64 %668 (*.f64 x %340) %918)
(fma.f64 (*.f64 %340 %668) x %918)
(fma.f64 (*.f64 %340 %680) %276 %924)
(fma.f64 %862 %340 %924)
(fma.f64 (*.f64 %708 y) y %918)
(fma.f64 (*.f64 %862 y) y %924)
(+.f64 %918 %924)
(+.f64 %924 %918)
(-.f64 %918 (*.f64 %875 %340))
(-.f64 %918 (*.f64 %344 %708))
(-.f64 %918 (neg.f64 %924))
(fma.f64 %263 (*.f64 %263 %708) %918)
(fma.f64 %263 (*.f64 %263 %862) %924)
(fma.f64 %113 (*.f64 %113 %708) %918)
(fma.f64 %113 (*.f64 %113 %862) %924)
(fma.f64 (*.f64 %708 %113) %113 %918)
(fma.f64 (*.f64 %708 %263) %263 %918)
(fma.f64 (*.f64 %862 %113) %113 %924)
(fma.f64 (*.f64 %862 %263) %263 %924)
%985
%986
%987
%988
%1001
%1002
(approx %1010 %1002)
(fma.f64 c %259 %365)
%1013
%1019
(approx %1010 %1019)
%1021
(*.f64 %762 x)
(fma.f64 c %80 %1024)
(fma.f64 x %98 %1024)
(fma.f64 x %763 %97)
(fma.f64 y %100 %1024)
(fma.f64 %80 c %1024)
(fma.f64 %80 %768 %97)
(fma.f64 %98 x %1024)
(fma.f64 #s(literal -1/2 binary64) (*.f64 %771 x) %97)
(fma.f64 %100 y %1024)
(fma.f64 %298 %765 %97)
(fma.f64 %729 %1023 %97)
(fma.f64 %75 %771 %97)
(fma.f64 (*.f64 x %80) %729 %97)
(fma.f64 %768 %80 %97)
(fma.f64 %765 %298 %97)
(fma.f64 %763 x %97)
(fma.f64 (*.f64 %729 %298) y %97)
(+.f64 %97 %1024)
(+.f64 %1024 %97)
(-.f64 %97 (*.f64 %195 %763))
(-.f64 %97 (neg.f64 %1024))
(-.f64 %97 (*.f64 %783 x))
(-.f64 %1024 (*.f64 %358 %80))
(-.f64 %1024 (*.f64 %195 %98))
(-.f64 %1024 (*.f64 %113 %100))
(-.f64 %1024 (*.f64 %756 x))
(-.f64 %1024 (*.f64 %688 y))
(-.f64 %1024 (*.f64 %200 c))
(-.f64 %1024 (neg.f64 %97))
%1067
(approx %1010 %1067)
%1069
%1070
%1071
%1072
(approx %1010 %1072)
(approx %1010 %985)
%1076
%1077
(*.f64 c %1077)
%1079
%1080
%1081
(*.f64 c %1081)
%1083
(*.f64 #s(literal -6243314768165359/9007199254740992 binary64) c)
(neg.f64 %1085)
(*.f64 c %1087)
(*.f64 %1087 c)
(neg.f64 (*.f64 %1090 c))
(neg.f64 (*.f64 c %1090))
(fma.f64 c %173 %1083)
(fma.f64 c #s(literal -6243314768165359/9007199254740992 binary64) %1096)
(fma.f64 %173 c %1083)
(fma.f64 #s(literal -6243314768165359/9007199254740992 binary64) c %1096)
(+.f64 %1083 %1096)
(+.f64 %1096 %1083)
(-.f64 %1096 %1085)
(neg.f64 (-.f64 %1085 %1096))
(-.f64 %1083 (*.f64 %358 %173))
(-.f64 %1083 (neg.f64 %1096))
(-.f64 %1083 (*.f64 (neg.f64 %173) c))
(fma.f64 c %173 %1112)
(fma.f64 %173 c %1112)
(+.f64 %1096 %1112)
%1116
(+.f64 %1116 %365)
(fma.f64 c %370 %365)
%1119
%1120
(*.f64 c %1120)
%1122
%1123
(approx %1010 %1123)
%1125
(*.f64 c %1125)