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

```asm
<betai>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x38,%rsp
  movsd  %xmm0,-0x28(%rbp)
  movsd  %xmm1,-0x30(%rbp)
  movsd  %xmm2,-0x38(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x38(%rbp),%xmm0
  jp     L60
  pxor   %xmm0,%xmm0
  ucomisd -0x38(%rbp),%xmm0
  je     L49
L60:
  movsd  D36(%rip),%xmm0
  ucomisd -0x38(%rbp),%xmm0
  jp     L16
  movsd  D36(%rip),%xmm0
  ucomisd -0x38(%rbp),%xmm0
  jne    L16
L49:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  jmp    L2
L16:
  movsd  -0x28(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <lgamma@plt>
  mov    %rax,%rbx
  mov    -0x28(%rbp),%rax
  movq   %rax,%xmm0
  call   <lgamma@plt>
  sub    %rax,%rbx
  mov    -0x30(%rbp),%rax
  movq   %rax,%xmm0
  call   <lgamma@plt>
  sub    %rax,%rbx
  mov    %rbx,%rdx
  pxor   %xmm5,%xmm5
  cvtsi2sd %rdx,%xmm5
  movsd  %xmm5,-0x40(%rbp)
  movsd  -0x38(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <log@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  D36(%rip),%xmm0
  subsd  -0x38(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <log@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm4
  mulsd  -0x30(%rbp),%xmm4
  movapd %xmm4,%xmm0
  addsd  -0x40(%rbp),%xmm0
  cvttsd2si %xmm0,%rax
  mov    %rax,%rdi
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x20(%rbp)
L2:
  movsd  -0x28(%rbp),%xmm1
  movsd  D36(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm1
  movapd %xmm1,%xmm2
  addsd  -0x30(%rbp),%xmm2
  movsd  D42(%rip),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  comisd -0x38(%rbp),%xmm0
  jbe    L59
  movsd  -0x38(%rbp),%xmm0
  cvttsd2si %xmm0,%edx
  movsd  -0x30(%rbp),%xmm0
  mov    -0x28(%rbp),%rax
  mov    %edx,%edi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <betacf@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  divsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  jmp    L3
L59:
  movsd  D36(%rip),%xmm0
  subsd  -0x38(%rbp),%xmm0
  cvttsd2si %xmm0,%edx
  movsd  -0x28(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  mov    %edx,%edi
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <betacf@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x30(%rbp),%xmm1
  movsd  D36(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
L3:
  movsd  -0x18(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: unpack_data
arguments: data_label: D36
data_type: byte[8]
name: unpack_data
arguments: data_label: D42
data_type: byte[8]

tool: {"D36": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D42": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x40]}

assistant: ```c
double betai(double a, double b, double x) {
  double bt, betai;
  if (x == 0 || x == 1)
    bt = 0;
  else
    bt = exp(lgamma(a + b) - lgamma(a) - lgamma(b) + a * log(x) + b * log(1 - x));
  if (x < (a + 1) / (a + b + 2))
    betai = bt * betacf(a, b, x) / a;
  else
    betai = 1 - bt * betacf(b, a, 1 - x) / b;
  return betai;
}
```