user: 请将以下的汇编代码转换成C语言代码：

```asm
<cdflib_beta_log>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r12
  push   %rbx
  add    $0xffffffffffffff80,%rsp
  mov    %rdi,-0x78(%rbp)
  mov    %rsi,-0x80(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x18(%rbp)
  xor    %eax,%eax
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x78(%rbp),%rax
  mov    (%rax),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <cdflib_fifdmin1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x78(%rbp),%rax
  mov    (%rax),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <cdflib_fifdmax1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x60(%rbp),%xmm0
  comisd D257(%rip),%xmm0
  jae    L21
  movsd  -0x60(%rbp),%xmm0
  movsd  D98(%rip),%xmm1
  comisd %xmm1,%xmm0
  jae    L66
  movsd  -0x58(%rbp),%xmm0
  comisd D257(%rip),%xmm0
  jae    L239
  movsd  -0x60(%rbp),%xmm1
  movsd  -0x58(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  lea    -0x60(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  mov    %eax,%r12d
  lea    -0x58(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  mov    %eax,%ebx
  lea    -0x50(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  sub    %eax,%ebx
  mov    %ebx,%edx
  lea    (%r12,%rdx,1),%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  jmp    L98
L239:
  nop
  lea    -0x60(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  mov    %eax,%ebx
  lea    -0x58(%rbp),%rdx
  lea    -0x60(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_algdiv@plt>
  add    %ebx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  jmp    L98
L66:
  nop
  movsd  -0x60(%rbp),%xmm0
  comisd D241(%rip),%xmm0
  ja     L225
  movsd  -0x58(%rbp),%xmm0
  comisd D241(%rip),%xmm0
  ja     L51
  lea    -0x60(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  mov    %eax,%ebx
  lea    -0x58(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  add    %eax,%ebx
  lea    -0x58(%rbp),%rdx
  lea    -0x60(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gsumln@plt>
  sub    %eax,%ebx
  mov    %ebx,%edx
  pxor   %xmm0,%xmm0
  cvtsi2sd %edx,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  jmp    L98
L51:
  nop
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x58(%rbp),%xmm1
  movsd  D257(%rip),%xmm0
  comisd %xmm1,%xmm0
  ja     L25
  lea    -0x60(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  mov    %eax,%ebx
  lea    -0x58(%rbp),%rdx
  lea    -0x60(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_algdiv@plt>
  add    %ebx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  jmp    L98
L225:
  nop
  movsd  -0x58(%rbp),%xmm0
  comisd D222(%rip),%xmm0
  ja     L149
  movsd  -0x60(%rbp),%xmm0
  movsd  D98(%rip),%xmm1
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x64(%rbp)
  movsd  D98(%rip),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movl   $0x1,-0x68(%rbp)
  jmp    L177
L129:
  movsd  -0x60(%rbp),%xmm0
  movsd  D98(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x60(%rbp),%xmm0
  movsd  -0x58(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x50(%rbp),%xmm0
  movsd  -0x50(%rbp),%xmm2
  movsd  D98(%rip),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  addl   $0x1,-0x68(%rbp)
L177:
  mov    -0x68(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jle    L129
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  movsd  -0x58(%rbp),%xmm1
  movsd  D257(%rip),%xmm0
  comisd %xmm1,%xmm0
  ja     L201
  lea    -0x60(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  lea    -0x58(%rbp),%rdx
  lea    -0x60(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_algdiv@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  jmp    L98
L25:
  nop
  jmp    L85
L201:
  nop
L85:
  movsd  -0x58(%rbp),%xmm0
  movsd  D98(%rip),%xmm1
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x64(%rbp)
  movsd  D98(%rip),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movl   $0x1,-0x68(%rbp)
  jmp    L57
L165:
  movsd  -0x58(%rbp),%xmm0
  movsd  D98(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x58(%rbp),%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  -0x58(%rbp),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  addl   $0x1,-0x68(%rbp)
L57:
  mov    -0x68(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jle    L165
  mov    -0x40(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm5
  addsd  -0x48(%rbp),%xmm5
  movsd  %xmm5,-0x88(%rbp)
  lea    -0x60(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  mov    %eax,%r12d
  lea    -0x58(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  mov    %eax,%ebx
  lea    -0x58(%rbp),%rdx
  lea    -0x60(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gsumln@plt>
  mov    %ebx,%edx
  sub    %eax,%edx
  lea    (%r12,%rdx,1),%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  jmp    L98
L149:
  nop
  movsd  -0x60(%rbp),%xmm0
  movsd  D98(%rip),%xmm1
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x64(%rbp)
  movsd  D98(%rip),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movl   $0x1,-0x68(%rbp)
  jmp    L78
L150:
  movsd  -0x60(%rbp),%xmm0
  movsd  D98(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x60(%rbp),%xmm0
  movsd  -0x60(%rbp),%xmm1
  movsd  -0x58(%rbp),%xmm3
  movapd %xmm1,%xmm2
  divsd  %xmm3,%xmm2
  movsd  D98(%rip),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  addl   $0x1,-0x68(%rbp)
L78:
  mov    -0x68(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jle    L150
  mov    -0x48(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rbx
  pxor   %xmm7,%xmm7
  cvtsi2sdl -0x64(%rbp),%xmm7
  movsd  %xmm7,-0x88(%rbp)
  mov    -0x58(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  mulsd  -0x88(%rbp),%xmm0
  movq   %rbx,%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x88(%rbp)
  lea    -0x60(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_log@plt>
  mov    %eax,%ebx
  lea    -0x58(%rbp),%rdx
  lea    -0x60(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_algdiv@plt>
  add    %ebx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  jmp    L98
L21:
  nop
  lea    -0x58(%rbp),%rdx
  lea    -0x60(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_bcorr@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x60(%rbp),%xmm0
  movsd  -0x58(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x50(%rbp),%xmm0
  movsd  -0x50(%rbp),%xmm2
  movsd  D98(%rip),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x60(%rbp),%xmm0
  movsd  D183(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0x30(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  mulsd  -0x88(%rbp),%xmm0
  movq   D71(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  lea    -0x50(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <cdflib_alnrel@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  -0x58(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x20(%rbp),%xmm0
  comisd -0x28(%rbp),%xmm0
  jae    L95
  movsd  D184(%rip),%xmm3
  movsd  %xmm3,-0x88(%rbp)
  mov    -0x58(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movsd  D183(%rip),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0x88(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  addsd  -0x48(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  subsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  jmp    L98
L95:
  nop
  movsd  D184(%rip),%xmm4
  movsd  %xmm4,-0x88(%rbp)
  mov    -0x58(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movsd  D183(%rip),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0x88(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  addsd  -0x48(%rbp),%xmm0
  subsd  -0x28(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
L98:
  movq   %xmm0,%rax
  mov    -0x18(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L170
  call   <__stack_chk_fail@plt>
L170:
  movq   %rax,%xmm0
  sub    $0xffffffffffffff80,%rsp
  pop    %rbx
  pop    %r12
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D257
type_guessed: f64[2]
name: extract_symbolic_data
arguments: label: D98
type_guessed: f64
name: extract_symbolic_data
arguments: label: D241
type_guessed: f64[2]
name: extract_symbolic_data
arguments: label: D222
type_guessed: f64[2]
name: extract_symbolic_data
arguments: label: D183
type_guessed: f64
name: extract_symbolic_data
arguments: label: D71
type_guessed: f32[2]
name: extract_symbolic_data
arguments: label: D184
type_guessed: byte[8]

tool: {"D257": [8.0,1.0]}

tool: D98: 1

tool: {"D241": [2.0,1000.0]}

tool: {"D222": [1000.0,0.5]}

tool: D183: 0.5

tool: {"D71": [0.0,-0.0]}

tool: {"D184": [0xb7,0xbe,0x64,0xc8,0xf1,0x67,0xed,0x3f]}

assistant: ```c
double cdflib_beta_log(const double *a0, const double *b0) {
  static const double e = .918938533204673e0;
  double value, a, b, c, h, u, v, w, z;
  int i, n;
  double T1;
  a = cdflib_fifdmin1(*a0, *b0);
  b = cdflib_fifdmax1(*a0, *b0);
  if (a >= 8.0e0) {
    goto S100;
  }
  if (a >= 1.0e0) {
    goto S20;
  }
  if (b >= 8.0e0) {
    goto S10;
  }
  T1 = a + b;
  value = cdflib_gamma_log(&a) + (cdflib_gamma_log(&b) - cdflib_gamma_log(&T1));
  return value;
S10:
  value = cdflib_gamma_log(&a) + cdflib_algdiv(&a, &b);
  return value;
S20:
  if (a > 2.0e0) {
    goto S40;
  }
  if (b > 2.0e0) {
    goto S30;
  }
  value = cdflib_gamma_log(&a) + cdflib_gamma_log(&b) - cdflib_gsumln(&a, &b);
  return value;
S30:
  w = 0.0e0;
  if (b < 8.0e0) {
    goto S60;
  }
  value = cdflib_gamma_log(&a) + cdflib_algdiv(&a, &b);
  return value;
S40:
  if (b > 1000.0e0) {
    goto S80;
  }
  n = (int)(a - 1.0e0);
  w = 1.0e0;
  for (i = 1; i <= n; i++) {
    a -= 1.0e0;
    h = a / b;
    w *= (h / (1.0e0 + h));
  }
  w = log(w);
  if (b < 8.0e0) {
    goto S60;
  }
  value = w + cdflib_gamma_log(&a) + cdflib_algdiv(&a, &b);
  return value;
S60:
  n = (int)(b - 1.0e0);
  z = 1.0e0;
  for (i = 1; i <= n; i++) {
    b -= 1.0e0;
    z *= (b / (a + b));
  }
  value = w + log(z) + (cdflib_gamma_log(&a) + (cdflib_gamma_log(&b) - cdflib_gsumln(&a, &b)));
  return value;
S80:
  n = (int)(a - 1.0e0);
  w = 1.0e0;
  for (i = 1; i <= n; i++) {
    a -= 1.0e0;
    w *= (a / (1.0e0 + a / b));
  }
  value = log(w) - (double)n * log(b) + (cdflib_gamma_log(&a) + cdflib_algdiv(&a, &b));
  return value;
S100:
  w = cdflib_bcorr(&a, &b);
  h = a / b;
  c = h / (1.0e0 + h);
  u = -((a - 0.5e0) * log(c));
  v = b * cdflib_alnrel(&h);
  if (u <= v) {
    goto S110;
  }
  value = -(0.5e0 * log(b)) + e + w - v - u;
  return value;
S110:
  value = -(0.5e0 * log(b)) + e + w - u - v;
  return value;
}
```