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

```asm
<probBinomial>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x20,%rsp
  mov    %edi,%ebx
  mov    %esi,%r12d
  movsd  %xmm0,0x8(%rsp)
  cmp    $0x27,%edi
  jle    L28
  cmp    $0x3e7,%edi
  jg     L57
  cmp    $0x9,%esi
  jg     L57
L28:
  mov    %ebx,%ebp
  sub    %r12d,%ebp
  cmp    %r12d,%ebp
  mov    %r12d,%eax
  cmovle %ebp,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  pxor   %xmm6,%xmm6
  cvtsi2sd %ebx,%xmm6
  movq   %xmm6,%rbx
  test   %eax,%eax
  jle    L1
  movapd %xmm6,%xmm1
  movsd  D24(%rip),%xmm7
  movsd  %xmm7,(%rsp)
  movapd %xmm7,%xmm2
  pxor   %xmm4,%xmm4
L29:
  movapd %xmm1,%xmm3
  divsd  %xmm0,%xmm3
  mulsd  (%rsp),%xmm3
  movsd  %xmm3,(%rsp)
  subsd  %xmm2,%xmm0
  subsd  %xmm2,%xmm1
  comisd %xmm4,%xmm0
  ja     L29
L74:
  movsd  0x8(%rsp),%xmm0
  subsd  D43(%rip),%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jle    L55
  pxor   %xmm0,%xmm0
  cvtsi2sd %r12d,%xmm0
  cvttsd2si 0x8(%rsp),%edi
  call   <pow@plt>
  movq   %xmm0,%rbx
  pxor   %xmm1,%xmm1
  cvtsi2sd %ebp,%xmm1
  movsd  D24(%rip),%xmm0
  subsd  0x8(%rsp),%xmm0
  cvttsd2si %xmm0,%edi
  movapd %xmm1,%xmm0
  call   <pow@plt>
  movq   %rbx,%xmm6
  mulsd  %xmm0,%xmm6
  movapd %xmm6,%xmm0
  mulsd  (%rsp),%xmm0
L35:
  add    $0x20,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L1:
  movsd  D24(%rip),%xmm6
  movsd  %xmm6,(%rsp)
  jmp    L74
L55:
  cvttsd2si 0x8(%rsp),%edi
  movq   %rbx,%xmm0
  call   <pow@plt>
  mulsd  (%rsp),%xmm0
  jmp    L35
L57:
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm0
  addsd  D24(%rip),%xmm0
  cvttsd2si %xmm0,%edi
  call   <LnGamma@plt>
  mov    %eax,%ebp
  pxor   %xmm6,%xmm6
  cvtsi2sd %r12d,%xmm6
  movsd  D24(%rip),%xmm7
  movsd  %xmm6,(%rsp)
  addsd  %xmm6,%xmm7
  cvttsd2si %xmm7,%edi
  call   <LnGamma@plt>
  sub    %eax,%ebp
  mov    %ebx,%eax
  sub    %r12d,%eax
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm7
  movsd  D24(%rip),%xmm4
  movsd  %xmm7,0x10(%rsp)
  addsd  %xmm7,%xmm4
  cvttsd2si %xmm4,%edi
  call   <LnGamma@plt>
  mov    %eax,%edx
  mov    %ebp,%eax
  sub    %edx,%eax
  cltd
  idiv   %ebx
  mov    %eax,%edi
  call   <exp@plt>
  movapd %xmm0,%xmm7
  movsd  %xmm0,0x18(%rsp)
  mulsd  0x8(%rsp),%xmm7
  cvttsd2si %xmm7,%edi
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  movsd  D24(%rip),%xmm6
  subsd  0x8(%rsp),%xmm6
  movapd %xmm6,%xmm0
  mulsd  0x18(%rsp),%xmm0
  cvttsd2si %xmm0,%edi
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movq   %rbx,%xmm6
  mulsd  %xmm6,%xmm0
  jmp    L35
```

tool_calls: name: disassemble_data
arguments: data_tag: D24
type_guessed: f64
name: disassemble_data
arguments: data_tag: D43
type_guessed: byte[8]

tool: D24: 1

tool: {"D43": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

assistant: ```c
double probBinomial(int n, int k, double p) {
  double C, up, down;
  if (n < 40 || (n < 1000 && k < 10)) {
    for (down = ((k) < (n - k) ? (k) : (n - k)), up = n, C = 1; down > 0; down--, up--)
      C *= up / down;
    if (fabs(p - .5) < 1e-6)
      C *= pow(p, (double)n);
    else
      C *= pow(p, (double)k) * pow((1 - p), (double)(n - k));
  } else {
    C = exp((LnGamma(n + 1.) - LnGamma(k + 1.) - LnGamma(n - k + 1.)) / n);
    C = pow(p * C, (double)k) * pow((1 - p) * C, (double)(n - k));
  }
  return C;
}
```