// File: /workspace/github_cpp_makefile_star2_O2/sus304[P]ForRocket/./lib/boost/math/tools/detail/rational_horner1_20.hpp
// Function: long double boost::math::tools::detail::evaluate_rational_c_imp<long double, unsigned long, long double>(long double const*, unsigned long const*, long double const&, mpl_::int_<17> const*)
BOOST_MATH_NOEXCEPT(V)
{
   if(x <= 1)
     return static_cast<V>(((((((((((((((((a[16] * x + a[15]) * x + a[14]) * x + a[13]) * x + a[12]) * x + a[11]) * x + a[10]) * x + a[9]) * x + a[8]) * x + a[7]) * x + a[6]) * x + a[5]) * x + a[4]) * x + a[3]) * x + a[2]) * x + a[1]) * x + a[0]) / ((((((((((((((((b[16] * x + b[15]) * x + b[14]) * x + b[13]) * x + b[12]) * x + b[11]) * x + b[10]) * x + b[9]) * x + b[8]) * x + b[7]) * x + b[6]) * x + b[5]) * x + b[4]) * x + b[3]) * x + b[2]) * x + b[1]) * x + b[0]));
   else
   {
      V z = 1 / x;
      return static_cast<V>(((((((((((((((((a[0] * z + a[1]) * z + a[2]) * z + a[3]) * z + a[4]) * z + a[5]) * z + a[6]) * z + a[7]) * z + a[8]) * z + a[9]) * z + a[10]) * z + a[11]) * z + a[12]) * z + a[13]) * z + a[14]) * z + a[15]) * z + a[16]) / ((((((((((((((((b[0] * z + b[1]) * z + b[2]) * z + b[3]) * z + b[4]) * z + b[5]) * z + b[6]) * z + b[7]) * z + b[8]) * z + b[9]) * z + b[10]) * z + b[11]) * z + b[12]) * z + b[13]) * z + b[14]) * z + b[15]) * z + b[16]));
   }
}

// Assembly:
subq $0x90, %rsp
fldt (%rdx)
fld1
fucomi %st(1), %st
jae 0x1de1b
fdivp %st, %st(1)
fldt (%rdi)
fldt 0x10(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x20(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x30(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x40(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x50(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x60(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x70(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x80(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x90(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xa0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xb0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xc0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xd0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xe0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xf0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x100(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
movq (%rsi), %rax
movq 0x8(%rsi), %rcx
movq %rax, -0x80(%rsp)
xorl %edx, %edx
testq %rax, %rax
sets %dl
fildll -0x80(%rsp)
leaq 0x16b4d(%rip), %rax     # 0x34780
fadds (%rax,%rdx,4)
movq %rcx, (%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll (%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x10(%rsi), %rcx
movq %rcx, -0x8(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x8(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x18(%rsi), %rcx
movq %rcx, -0x10(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x10(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x20(%rsi), %rcx
movq %rcx, -0x18(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x18(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x28(%rsi), %rcx
movq %rcx, -0x20(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x20(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x30(%rsi), %rcx
movq %rcx, -0x28(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x28(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x38(%rsi), %rcx
movq %rcx, -0x30(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x30(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x40(%rsi), %rcx
movq %rcx, -0x38(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x38(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x48(%rsi), %rcx
movq %rcx, -0x40(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x40(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x50(%rsi), %rcx
movq %rcx, -0x48(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x48(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x58(%rsi), %rcx
movq %rcx, -0x50(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x50(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x60(%rsi), %rcx
movq %rcx, -0x58(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x58(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x68(%rsi), %rcx
movq %rcx, -0x60(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x60(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x70(%rsi), %rcx
movq %rcx, -0x68(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x68(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x78(%rsi), %rcx
movq %rcx, -0x70(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x70(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x80(%rsi), %rcx
movq %rcx, -0x78(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll -0x78(%rsp)
jmp 0x1e0db
fstp %st(0)
fldt 0x100(%rdi)
fldt 0xf0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xe0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xd0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xc0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xb0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0xa0(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x90(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x80(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x70(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x60(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x50(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x40(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x30(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x20(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt 0x10(%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
fldt (%rdi)
fxch %st(1)
fmul %st(2), %st
faddp %st, %st(1)
movq 0x80(%rsi), %rax
movq %rax, 0x88(%rsp)
xorl %ecx, %ecx
testq %rax, %rax
sets %cl
fildll 0x88(%rsp)
leaq 0x16891(%rip), %rax     # 0x34780
fadds (%rax,%rcx,4)
movq 0x78(%rsi), %rcx
movq %rcx, 0x80(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x80(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x70(%rsi), %rcx
movq %rcx, 0x78(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x78(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x68(%rsi), %rcx
movq %rcx, 0x70(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x70(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x60(%rsi), %rcx
movq %rcx, 0x68(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x68(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x58(%rsi), %rcx
movq %rcx, 0x60(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x60(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x50(%rsi), %rcx
movq %rcx, 0x58(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x58(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x48(%rsi), %rcx
movq %rcx, 0x50(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x50(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x40(%rsi), %rcx
movq %rcx, 0x48(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x48(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x38(%rsi), %rcx
movq %rcx, 0x40(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x40(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x30(%rsi), %rcx
movq %rcx, 0x38(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x38(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x28(%rsi), %rcx
movq %rcx, 0x30(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x30(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x20(%rsi), %rcx
movq %rcx, 0x28(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x28(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq 0x18(%rsi), %rcx
movq %rcx, 0x20(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x20(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
fmul %st(3), %st
movq 0x10(%rsi), %rcx
movq %rcx, 0x18(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x18(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmul %st(3), %st
faddp %st, %st(1)
movq (%rsi), %rcx
movq 0x8(%rsi), %rdx
movq %rdx, 0x10(%rsp)
xorl %esi, %esi
testq %rdx, %rdx
sets %sil
fildll 0x10(%rsp)
fadds (%rax,%rsi,4)
fxch %st(1)
fmul %st(3), %st
movq %rcx, 0x8(%rsp)
xorl %edx, %edx
testq %rcx, %rcx
sets %dl
fildll 0x8(%rsp)
fadds (%rax,%rdx,4)
fxch %st(1)
faddp %st, %st(2)
fxch %st(1)
fmulp %st, %st(3)
faddp %st, %st(2)
fdivp %st, %st(1)
addq $0x90, %rsp
retq