user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<sympoly>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x60,%rsp
  mov    %edi,-0x44(%rbp)
  mov    %esi,-0x48(%rbp)
  mov    %rdx,-0x50(%rbp)
  mov    %rcx,-0x58(%rbp)
  mov    %r8,-0x60(%rbp)
  movsd  D17(%rip),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  addl   $0x1,-0x48(%rbp)
  mov    -0x48(%rbp),%eax
  cmp    -0x44(%rbp),%eax
  jle    L137
  mov    -0x44(%rbp),%eax
  mov    %eax,-0x48(%rbp)
L137:
  cmpl   $0x1,-0x48(%rbp)
  jg     L178
  movl   $0x2,-0x48(%rbp)
L178:
  mov    -0x60(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  movsd  D17(%rip),%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x3c(%rbp)
  jmp    L32
L150:
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x3c(%rbp)
L32:
  mov    -0x3c(%rbp),%eax
  cmp    -0x44(%rbp),%eax
  jle    L150
  cmpl   $0x0,-0x44(%rbp)
  jne    L132
  mov    $0x0,%eax
  jmp    L94
L132:
  mov    -0x58(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,(%rdx)
  movl   $0x1,-0x3c(%rbp)
  jmp    L113
L1:
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movsd  D17(%rip),%xmm1
  comisd %xmm1,%xmm0
  jbe    L67
  movsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x38(%rbp),%xmm0
  divsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  mov    %rax,%rdx
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sd %rdx,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x40(%rbp)
  jmp    L49
L170:
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  divsd  -0x18(%rbp),%xmm0
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  addl   $0x1,-0x40(%rbp)
L49:
  mov    -0x40(%rbp),%eax
  cmp    -0x3c(%rbp),%eax
  jg     L121
  mov    -0x40(%rbp),%eax
  cmp    -0x48(%rbp),%eax
  jl     L170
L121:
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  jmp    L122
L67:
  movsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movl   $0x1,-0x40(%rbp)
  jmp    L65
L36:
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x18(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  addl   $0x1,-0x40(%rbp)
L65:
  mov    -0x40(%rbp),%eax
  cmp    -0x3c(%rbp),%eax
  jg     L68
  mov    -0x40(%rbp),%eax
  cmp    -0x48(%rbp),%eax
  jl     L36
L68:
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x18(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
L122:
  addl   $0x1,-0x3c(%rbp)
L113:
  mov    -0x3c(%rbp),%eax
  cmp    -0x44(%rbp),%eax
  jl     L1
  mov    -0x60(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  D11(%rip),%xmm0
  comisd %xmm1,%xmm0
  jbe    L145
  mov    -0x60(%rbp),%rax
  mov    (%rax),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x20(%rbp)
  movl   $0x1,-0x40(%rbp)
  jmp    L4
L155:
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x40(%rbp)
L4:
  mov    -0x40(%rbp),%eax
  cmp    -0x48(%rbp),%eax
  jle    L155
  mov    -0x60(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
L145:
  mov    $0x0,%eax
L94:
  leave
  ret
```

tool_calls: name: read_data
arguments: data_tag: D17
type: f64
name: read_data
arguments: data_tag: D11
type: byte[8]

tool: D17: 1

tool: {"D11": [0x00,0x00,0x00,0x00,0x00,0x00,0x2e,0x40]}

assistant: ```c
int sympoly(int K, int BK, double *val, double *res, double *overflow) {
  int h, k;
  double mult = 1;
  BK++;
  if (BK > K)
    BK = K;
  if (BK <= 1)
    BK = 2;
  *overflow = 0;
  res[0] = 1;
  for (k = 1; k <= K; k++)
    res[k] = 0;
  if (K == 0)
    return 0;
  res[1] = val[0];
  for (k = 1; k < K; k++) {
    double vk = val[k];
    if (vk > 1) {
      double lastv = mult;
      mult /= vk;
      *overflow += log(vk);
      for (h = 1; h <= k && h < BK; h++) {
        double thisv = res[h];
        res[h] = thisv / vk + lastv;
        lastv = thisv;
      }
      res[h] = lastv;
    } else {
      double lastv = mult;
      for (h = 1; h <= k && h < BK; h++) {
        double thisv = res[h];
        res[h] += vk * lastv;
        lastv = thisv;
      }
      res[h] = vk * lastv;
    }
  }
  if (*overflow < 15) {
    double eo = exp(*overflow);
    for (h = 1; h <= BK; h++)
      res[h] *= eo;
    *overflow = 0;
  }
  return 0;
}
```