user: What would the C source look like for the assembly code provided here?

```asm
<probBinomial>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %esi,-0x38(%rbp)
  movsd  %xmm0,-0x40(%rbp)
  cmpl   $0x27,-0x34(%rbp)
  jle    L47
  cmpl   $0x3e7,-0x34(%rbp)
  jg     L43
  cmpl   $0x9,-0x38(%rbp)
  jg     L43
L47:
  mov    -0x34(%rbp),%eax
  sub    -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  cmp    %eax,%edx
  cmovle %edx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x34(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  D29(%rip),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  jmp    L1
L56:
  movsd  -0x20(%rbp),%xmm0
  divsd  -0x18(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movsd  D29(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  movsd  D29(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
L1:
  movsd  -0x18(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm0
  ja     L56
  movsd  -0x40(%rbp),%xmm0
  movsd  D39(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jg     L21
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x34(%rbp),%xmm2
  movq   %xmm2,%rdx
  movsd  -0x40(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  movq   %rdx,%xmm0
  mov    %eax,%edi
  call   <pow@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  jmp    L3
L21:
  pxor   %xmm3,%xmm3
  cvtsi2sdl -0x38(%rbp),%xmm3
  movq   %xmm3,%rdx
  movsd  -0x40(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  movq   %rdx,%xmm0
  mov    %eax,%edi
  call   <pow@plt>
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x34(%rbp),%eax
  sub    -0x38(%rbp),%eax
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm4
  movq   %xmm4,%rdx
  movsd  D29(%rip),%xmm0
  subsd  -0x40(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  movq   %rdx,%xmm0
  mov    %eax,%edi
  call   <pow@plt>
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  jmp    L3
L43:
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x34(%rbp),%xmm1
  movsd  D29(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <LnGamma@plt>
  mov    %eax,%ebx
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x38(%rbp),%xmm1
  movsd  D29(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <LnGamma@plt>
  sub    %eax,%ebx
  mov    -0x34(%rbp),%eax
  sub    -0x38(%rbp),%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D29(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <LnGamma@plt>
  mov    %eax,%edx
  mov    %ebx,%eax
  sub    %edx,%eax
  cltd
  idivl  -0x34(%rbp)
  mov    %eax,%edi
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  pxor   %xmm6,%xmm6
  cvtsi2sdl -0x38(%rbp),%xmm6
  movq   %xmm6,%rdx
  movsd  -0x40(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  movq   %rdx,%xmm0
  mov    %eax,%edi
  call   <pow@plt>
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x34(%rbp),%eax
  sub    -0x38(%rbp),%eax
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm7
  movq   %xmm7,%rdx
  movsd  D29(%rip),%xmm0
  subsd  -0x40(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  movq   %rdx,%xmm0
  mov    %eax,%edi
  call   <pow@plt>
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
L3:
  movsd  -0x28(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D29
type_guessed: f64
name: extract_symbolic_data
arguments: label: D39
type_guessed: byte[8]

tool: D29: 1

tool: {"D39": [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;
}
```