user: 下面的汇编指令对应的C源代码是什么：

```asm
<invgamma>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %rdx,%r12
  push   %rbp
  mov    %edi,%ebp
  mov    $0x13880,%edi
  push   %rbx
  neg    %ebp
  sub    $0x78,%rsp
  mov    %rsi,0x28(%rsp)
  movsd  %xmm0,0x68(%rsp)
  movsd  %xmm1,0x8(%rsp)
  call   <malloc@plt>
  mov    $0x13880,%edi
  mov    %rax,0x60(%rsp)
  call   <malloc@plt>
  movsd  0x8(%rsp),%xmm1
  pxor   %xmm4,%xmm4
  mov    %ebp,%edi
  movsd  D9(%rip),%xmm7
  movsd  0x68(%rsp),%xmm6
  mov    %rax,%r14
  mov    %rax,0x58(%rsp)
  mov    %r14,%r15
  mulsd  %xmm1,%xmm7
  mulsd  D2(%rip),%xmm1
  movapd %xmm7,%xmm0
  movapd %xmm6,%xmm7
  subsd  %xmm1,%xmm7
  movsd  D21(%rip),%xmm1
  addsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm1
  maxsd  %xmm7,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm1,%xmm7
  movsd  %xmm1,0x18(%rsp)
  movapd %xmm0,%xmm5
  movapd %xmm6,%xmm0
  divsd  D37(%rip),%xmm5
  movsd  %xmm5,0x20(%rsp)
  subsd  %xmm1,%xmm0
  divsd  %xmm5,%xmm0
  cvttsd2si %xmm0,%r13d
  cvtsi2sd %r13d,%xmm4
  lea    0x1(%r13),%ebx
  mulsd  %xmm5,%xmm4
  addsd  %xmm1,%xmm4
  pxor   %xmm1,%xmm1
  cvtsi2sd %ebx,%xmm1
  movapd %xmm4,%xmm0
  movsd  %xmm4,0x10(%rsp)
  mulsd  %xmm5,%xmm1
  addsd  %xmm7,%xmm1
  movsd  %xmm1,0x30(%rsp)
  call   <pow@plt>
  movsd  0x68(%rsp),%xmm6
  movsd  0x10(%rsp),%xmm4
  movsd  %xmm0,0x8(%rsp)
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebp,%xmm0
  movapd %xmm4,%xmm7
  movsd  %xmm4,0x48(%rsp)
  addsd  %xmm4,%xmm7
  mulsd  %xmm6,%xmm0
  movapd %xmm0,%xmm5
  movapd %xmm7,%xmm0
  mulsd  %xmm6,%xmm5
  mulsd  %xmm4,%xmm0
  movapd %xmm5,%xmm2
  movsd  %xmm5,0x10(%rsp)
  divsd  %xmm0,%xmm2
  cvttsd2si %xmm2,%edi
  call   <exp@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  0x30(%rsp),%xmm1
  mov    %ebp,%edi
  mulsd  %xmm0,%xmm3
  movapd %xmm1,%xmm0
  movsd  %xmm3,0x40(%rsp)
  call   <pow@plt>
  movsd  0x30(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm2
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm1,%xmm7
  movsd  %xmm1,0x38(%rsp)
  addsd  %xmm1,%xmm7
  movapd %xmm7,%xmm0
  mulsd  %xmm1,%xmm0
  divsd  %xmm0,%xmm2
  cvttsd2si %xmm2,%edi
  call   <exp@plt>
  movsd  0x8(%rsp),%xmm2
  mov    0x60(%rsp),%rax
  mov    %r14,%rsi
  movsd  0x48(%rsp),%xmm4
  movsd  0x40(%rsp),%xmm3
  xor    %r14d,%r14d
  movq   $0x0,0x8(%rsp)
  mulsd  %xmm0,%xmm2
  sub    %rsi,%rax
  movsd  0x38(%rsp),%xmm1
  mov    %rax,0x30(%rsp)
  nopl   0x0(%rax)
L113:
  test   %r13d,%r13d
  js     L91
L40:
  cmp    $0x270f,%ebx
  jg     L91
  comisd %xmm2,%xmm3
  mov    0x30(%rsp),%rax
  lea    (%rax,%r15,1),%rcx
  jbe    L54
  movsd  %xmm3,(%r15)
  sub    $0x1,%r13d
  mov    %ebp,%edi
  add    $0x1,%r14d
  movsd  %xmm4,(%rcx)
  pxor   %xmm4,%xmm4
  add    $0x8,%r15
  cvtsi2sd %r13d,%xmm4
  mulsd  0x20(%rsp),%xmm4
  movsd  %xmm2,0x50(%rsp)
  addsd  0x18(%rsp),%xmm4
  movsd  %xmm1,0x48(%rsp)
  movapd %xmm4,%xmm0
  movsd  %xmm4,0x40(%rsp)
  call   <pow@plt>
  movsd  0x40(%rsp),%xmm4
  movsd  0x10(%rsp),%xmm3
  movsd  %xmm0,0x38(%rsp)
  movapd %xmm4,%xmm6
  addsd  %xmm4,%xmm6
  movapd %xmm6,%xmm0
  mulsd  %xmm4,%xmm0
  divsd  %xmm0,%xmm3
  cvttsd2si %xmm3,%edi
  call   <exp@plt>
  movsd  0x8(%rsp),%xmm7
  addsd  -0x8(%r15),%xmm7
  cmp    $0x2710,%r14d
  movsd  0x38(%rsp),%xmm3
  movsd  0x40(%rsp),%xmm4
  movsd  0x48(%rsp),%xmm1
  movsd  0x50(%rsp),%xmm2
  mulsd  %xmm0,%xmm3
  movsd  %xmm7,0x8(%rsp)
  jne    L113
  nopl   0x0(%rax)
L134:
  movsd  0x8(%rsp),%xmm1
  mov    0x58(%rsp),%rax
  unpcklpd %xmm1,%xmm1
  lea    0x13880(%rax),%rdx
  cs nopw 0x0(%rax,%rax,1)
L178:
  movupd (%rax),%xmm0
  add    $0x10,%rax
  divpd  %xmm1,%xmm0
  movups %xmm0,-0x10(%rax)
  cmp    %rax,%rdx
  jne    L178
  movsd  D3(%rip),%xmm1
  xor    %eax,%eax
  pxor   %xmm0,%xmm0
  xor    %edx,%edx
  nopl   (%rax)
L33:
  mov    0x58(%rsp),%rbx
  mov    %rax,%rsi
  movslq %edx,%rcx
  lea    0x1(%rcx),%edx
  addsd  (%rbx,%rax,1),%xmm0
  add    $0x8,%rax
  comisd %xmm0,%xmm1
  ja     L33
  mov    0x60(%rsp),%rbx
  movslq %edx,%rdx
  mov    0x28(%rsp),%rax
  movsd  (%rbx,%rdx,8),%xmm0
  movsd  %xmm0,(%rax)
  movsd  (%rbx,%rsi,1),%xmm0
  movsd  %xmm0,(%r12)
  movsd  (%rax),%xmm1
  comisd %xmm0,%xmm1
  jbe    L104
  movsd  %xmm1,(%r12)
  movapd %xmm0,%xmm1
  movsd  %xmm0,(%rax)
L104:
  mov    0x60(%rsp),%rax
  lea    -0x8(%rax,%rcx,8),%rax
  jmp    L187
  nopw   0x0(%rax,%rax,1)
L68:
  mov    0x28(%rsp),%rsi
  movapd %xmm0,%xmm1
  movsd  %xmm0,(%rsi)
L7:
  sub    $0x8,%rax
L187:
  movsd  (%rax),%xmm0
  comisd %xmm1,%xmm0
  jbe    L58
  movsd  (%r12),%xmm2
  comisd %xmm0,%xmm2
  ja     L24
L58:
  comisd %xmm0,%xmm1
  ja     L68
  mov    0x28(%rsp),%rsi
  movsd  %xmm0,(%r12)
  movsd  (%rsi),%xmm1
  jmp    L7
  nopw   0x0(%rax,%rax,1)
L54:
  movsd  %xmm2,(%r15)
  add    $0x1,%ebx
  mov    %ebp,%edi
  add    $0x1,%r14d
  movsd  %xmm1,(%rcx)
  pxor   %xmm1,%xmm1
  add    $0x8,%r15
  cvtsi2sd %ebx,%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  %xmm3,0x50(%rsp)
  addsd  0x18(%rsp),%xmm1
  movsd  %xmm4,0x48(%rsp)
  movapd %xmm1,%xmm0
  movsd  %xmm1,0x40(%rsp)
  call   <pow@plt>
  movsd  0x40(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm2
  movsd  %xmm0,0x38(%rsp)
  movapd %xmm1,%xmm6
  addsd  %xmm1,%xmm6
  movapd %xmm6,%xmm0
  mulsd  %xmm1,%xmm0
  divsd  %xmm0,%xmm2
  cvttsd2si %xmm2,%edi
  call   <exp@plt>
  movsd  0x8(%rsp),%xmm7
  addsd  -0x8(%r15),%xmm7
  cmp    $0x2710,%r14d
  movsd  0x38(%rsp),%xmm2
  movsd  0x40(%rsp),%xmm1
  movsd  0x48(%rsp),%xmm4
  movsd  0x50(%rsp),%xmm3
  mulsd  %xmm0,%xmm2
  movsd  %xmm7,0x8(%rsp)
  je     L134
  test   %r13d,%r13d
  jns    L40
L91:
  mov    0x60(%rsp),%rax
  mov    0x58(%rsp),%rsi
  movslq %r14d,%rcx
  sub    %rax,%rsi
  lea    (%rax,%rcx,8),%r15
  mov    %rsi,0x40(%rsp)
  jmp    L56
  nopl   0x0(%rax,%rax,1)
L75:
  mov    0x38(%rsp),%r13d
L56:
  test   %r13d,%r13d
  js     L146
  pxor   %xmm0,%xmm0
  lea    -0x1(%r13),%eax
  cvtsi2sd %r13d,%xmm0
  mulsd  0x20(%rsp),%xmm0
  mov    %eax,0x38(%rsp)
  addsd  0x18(%rsp),%xmm0
L99:
  mov    %ebp,%edi
  movsd  %xmm0,(%r15)
  add    $0x1,%r14d
  call   <pow@plt>
  movsd  (%r15),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movapd %xmm1,%xmm5
  addsd  %xmm1,%xmm5
  movapd %xmm5,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  0x10(%rsp),%xmm1
  divsd  %xmm0,%xmm1
  cvttsd2si %xmm1,%edi
  call   <exp@plt>
  mulsd  0x30(%rsp),%xmm0
  mov    0x40(%rsp),%rax
  movsd  %xmm0,(%rax,%r15,1)
  cmp    $0x2710,%r14d
  je     L134
  add    $0x8,%r15
  test   %r13d,%r13d
  js     10c0 <invgamma.cold>
  jmp    L75
L24:
  movsd  0x68(%rsp),%xmm6
  mov    0x28(%rsp),%rax
  mov    0x60(%rsp),%rdi
  movapd %xmm6,%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  (%r12),%xmm0
  subsd  %xmm6,%xmm0
  movsd  %xmm0,(%r12)
  call   <free@plt>
  mov    0x58(%rsp),%rdi
  add    $0x78,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1080 <free@plt>
  nopw   0x0(%rax,%rax,1)
L146:
  pxor   %xmm0,%xmm0
  mov    %r13d,0x38(%rsp)
  cvtsi2sd %ebx,%xmm0
  mulsd  0x20(%rsp),%xmm0
  add    $0x1,%ebx
  addsd  0x18(%rsp),%xmm0
  jmp    L99
```

tool_calls: name: extract_symbolic_data
arguments: tag: D9
type_infered: f64
name: extract_symbolic_data
arguments: tag: D2
type_infered: f64
name: extract_symbolic_data
arguments: tag: D21
type_infered: f64
name: extract_symbolic_data
arguments: tag: D37
type_infered: f32[2]
name: extract_symbolic_data
arguments: tag: D3
type_infered: f64

tool: D9: 50

tool: D2: 4

tool: D21: 0.01

tool: {"D37": [0.0,6.11029052734375]}

tool: D3: 0.683

assistant: ```c
void invgamma(int M, double s, double ds, double *low, double *high) {
  int i, ilo, ihi, n = 10000;
  double psum = 0.0, cdf = 0.0;
  double xmin, xmax, dx, xlo, xhi, plo, phi, tmp;
  double *x, *posterior;
  x = (double *)malloc(n * sizeof(double));
  posterior = (double *)malloc(n * sizeof(double));
  xmax = s + 50.0 * ds;
  xmin = s - 4.0 * ds;
  if (xmin < 0.01 * s)
    xmin = 0.01 * s;
  dx = (xmax - xmin) / (n - 1.0);
  ilo = (int)((s - xmin) / dx);
  ihi = ilo + 1;
  xlo = xmin + ilo * dx;
  xhi = xmin + ihi * dx;
  plo = pow(xlo, -M) * exp(-M * s * s / (2 * xlo * xlo));
  phi = pow(xhi, -M) * exp(-M * s * s / (2 * xhi * xhi));
  for (i = 0; i < n; i++) {
    if (ilo < 0 || ihi >= n)
      break;
    if (plo > phi) {
      posterior[i] = plo;
      x[i] = xlo;
      xlo = xmin + (--ilo) * dx;
      plo = pow(xlo, -M) * exp(-M * s * s / (2 * xlo * xlo));
    } else {
      posterior[i] = phi;
      x[i] = xhi;
      xhi = xmin + (++ihi) * dx;
      phi = pow(xhi, -M) * exp(-M * s * s / (2 * xhi * xhi));
    }
    psum += posterior[i];
  }
  for (; i < n; i++) {
    if (ilo < 0)
      x[i] = xmin + (ihi++) * dx;
    else
      x[i] = xmin + (ilo--) * dx;
    posterior[i] = pow(x[i], -M) * exp(-M * s * s / (2 * x[i] * x[i]));
  }
  for (i = 0; i < n; i++) {
    posterior[i] = posterior[i] / psum;
  }
  i = 0;
  while (cdf < 0.683) {
    cdf += posterior[i++];
  }
  *low = x[i];
  *high = tmp = x[--i];
  if (*low > *high) {
    *high = *low;
    *low = tmp;
  }
  while (1) {
    tmp = x[--i];
    if (*low < tmp && tmp < *high)
      break;
    else if (tmp < *low)
      *low = tmp;
    else
      *high = tmp;
  }
  *low = (s - *low);
  *high = (*high - s);
  free(x);
  free(posterior);
}
```