user: 请从给定的汇编指令推导出C源代码：

```asm
<Pomeranz>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x78,%rsp
  mov    %edi,%r14d
  mov    %edi,0x58(%rsp)
  pxor   %xmm6,%xmm6
  cvtsi2sd %edi,%xmm6
  movsd  %xmm6,0x28(%rsp)
  mulsd  %xmm6,%xmm0
  movq   %xmm0,%rbp
  lea    (%rdi,%rdi,1),%ebx
  lea    0x3(%rbx),%r12d
  movslq %r12d,%r12
  mov    $0x8,%esi
  mov    %r12,%rdi
  call   <calloc@plt>
  mov    %rax,0x50(%rsp)
  mov    $0x8,%esi
  mov    %r12,%rdi
  call   <calloc@plt>
  mov    %rax,0x60(%rsp)
  mov    $0x8,%esi
  mov    %r12,%rdi
  call   <calloc@plt>
  mov    %rax,0x68(%rsp)
  lea    0x2(%r14),%r12d
  mov    %r12d,%esi
  mov    $0x2,%edi
  call   <CreateMatrixD@plt>
  mov    %rax,%r13
  mov    %rax,0x30(%rsp)
  mov    %r12d,%esi
  mov    $0x4,%edi
  call   <CreateMatrixD@plt>
  mov    %rax,%r15
  mov    0x68(%rsp),%rcx
  mov    0x60(%rsp),%rdx
  mov    0x50(%rsp),%rsi
  movq   %rbp,%xmm0
  mov    %r14d,%edi
  call   <CalcFloorCeil@plt>
  lea    0x1(%r14),%edi
  mov    %edi,0x3c(%rsp)
  test   %edi,%edi
  jle    L3
  mov    %r14d,%eax
  lea    0x10(,%rax,8),%rcx
  mov    $0x8,%eax
  mov    %r13,%rsi
L1:
  mov    (%rsi),%rdx
  movq   $0x0,(%rdx,%rax,1)
  add    $0x8,%rax
  cmp    %rcx,%rax
  jne    L1
  cmpl   $0x1,0x3c(%rsp)
  jle    L127
L154:
  mov    0x58(%rsp),%eax
  lea    -0x1(%rax),%eax
  lea    0x18(,%rax,8),%rcx
  mov    $0x10,%eax
  mov    0x30(%rsp),%rsi
L89:
  mov    0x8(%rsi),%rdx
  movq   $0x0,(%rdx,%rax,1)
  add    $0x8,%rax
  cmp    %rcx,%rax
  jne    L89
  mov    0x30(%rsp),%rax
  mov    0x8(%rax),%rax
  mov    D30(%rip),%rdi
  mov    %rdi,0x8(%rax)
  mov    (%r15),%rax
  mov    D54(%rip),%rdi
  mov    %rdi,(%rax)
  mov    0x50(%rsp),%rax
  movsd  0x10(%rax),%xmm2
  addsd  %xmm2,%xmm2
  divsd  0x28(%rsp),%xmm2
  mov    $0x0,%edx
  mov    $0x1,%eax
  mov    0x58(%rsp),%edi
L189:
  mov    (%r15),%rcx
  mov    %rdx,%rsi
  add    $0x8,%rdx
  movapd %xmm2,%xmm0
  mulsd  (%rcx,%rsi,1),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rcx,%rdx,1)
  mov    %eax,%ecx
  add    $0x1,%eax
  cmp    %ecx,%edi
  jge    L189
L165:
  mov    0x8(%r15),%rax
  movsd  D54(%rip),%xmm2
  movsd  %xmm2,(%rax)
  mov    0x50(%rsp),%rax
  movsd  0x10(%rax),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm2
  divsd  0x28(%rsp),%xmm2
  mov    $0x0,%edx
  mov    $0x1,%eax
  mov    0x58(%rsp),%edi
L214:
  mov    0x8(%r15),%rcx
  mov    %rdx,%rsi
  add    $0x8,%rdx
  movapd %xmm2,%xmm0
  mulsd  (%rcx,%rsi,1),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rcx,%rdx,1)
  mov    %eax,%ecx
  add    $0x1,%eax
  cmp    %ecx,%edi
  jge    L214
  mov    0x10(%r15),%rax
  mov    D54(%rip),%rdi
  mov    %rdi,(%rax)
  mov    0x50(%rsp),%rax
  movsd  0x10(%rax),%xmm2
  divsd  0x28(%rsp),%xmm2
  mov    $0x0,%edx
  mov    $0x1,%eax
  mov    0x58(%rsp),%edi
L33:
  mov    0x10(%r15),%rcx
  mov    %rdx,%rsi
  add    $0x8,%rdx
  movapd %xmm2,%xmm0
  mulsd  (%rcx,%rsi,1),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rcx,%rdx,1)
  mov    %eax,%ecx
  add    $0x1,%eax
  cmp    %ecx,%edi
  jge    L33
  mov    0x18(%r15),%rax
  mov    D54(%rip),%rdi
  mov    %rdi,(%rax)
  mov    $0x8,%edx
  mov    $0x0,%eax
  mov    0x58(%rsp),%esi
L284:
  mov    0x18(%r15),%rcx
  movq   $0x0,(%rcx,%rdx,1)
  add    $0x1,%rax
  add    $0x8,%rdx
  cmp    %eax,%esi
  jge    L284
L70:
  lea    0x2(%rbx),%eax
  cmp    $0x1,%eax
  jle    L106
  mov    0x60(%rsp),%rax
  lea    0x10(%rax),%rdi
  mov    %rdi,0x8(%rsp)
  mov    0x68(%rsp),%rdi
  add    $0x10,%rdi
  mov    %rdi,0x18(%rsp)
  mov    0x50(%rsp),%rdi
  add    $0x10,%rdi
  mov    %ebx,%ebx
  lea    0x18(%rax,%rbx,8),%rax
  mov    %rax,0x48(%rsp)
  movl   $0x1,0x10(%rsp)
  movl   $0x0,0x14(%rsp)
  movl   $0x1,0x5c(%rsp)
  movq   D24(%rip),%xmm4
  movsd  D178(%rip),%xmm3
  movsd  D53(%rip),%xmm6
  movsd  D30(%rip),%xmm5
  mov    %r15,0x20(%rsp)
  mov    %rdi,%r15
  jmp    L276
L3:
  cmpl   $0x1,0x3c(%rsp)
  jg     L154
  mov    0x30(%rsp),%rax
  mov    0x8(%rax),%rax
  mov    D30(%rip),%rdi
  mov    %rdi,0x8(%rax)
  mov    (%r15),%rax
  mov    D54(%rip),%rdi
  mov    %rdi,(%rax)
  mov    0x50(%rsp),%rax
  movsd  0x10(%rax),%xmm0
  cmpl   $0x1,0x3c(%rsp)
  je     L263
  mov    0x8(%r15),%rax
  movsd  D54(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    0x10(%r15),%rax
  movsd  %xmm0,(%rax)
  mov    0x18(%r15),%rax
  movsd  %xmm0,(%rax)
  jmp    L70
L19:
  xorl   $0x1,0x14(%rsp)
  mov    0x14(%rsp),%ebx
  xorl   $0x1,0x10(%rsp)
  mov    0x10(%rsp),%edi
  mov    0x38(%rsp),%esi
  cmp    %r12d,%esi
  jl     L115
  movslq %ebx,%rdx
  mov    0x30(%rsp),%rbx
  lea    (%rbx,%rdx,8),%r14
  cltq
  mov    0x20(%rsp),%rcx
  lea    (%rcx,%rax,8),%r13
  movslq %edi,%rax
  lea    (%rbx,%rax,8),%rbx
  movslq %r12d,%r8
  mov    %r8,0x40(%rsp)
  lea    0x1(%rsi),%ebp
  mov    %r12d,%esi
  movsd  D30(%rip),%xmm2
L117:
  cmp    %esi,%r11d
  mov    %esi,%ecx
  cmovle %r11d,%ecx
  cmp    %ecx,%r10d
  jg     L118
  mov    0x0(%r13),%r9
  movslq %ecx,%rax
  mov    (%r14),%rdx
  lea    (%rdx,%rax,8),%rdx
  mov    %r8,%rdi
  sub    %rax,%rdi
  lea    (%r9,%rdi,8),%rax
  sub    %r10d,%ecx
  add    %rcx,%rdi
  lea    0x8(%r9,%rdi,8),%rcx
  pxor   %xmm1,%xmm1
L217:
  movsd  (%rdx),%xmm0
  mulsd  (%rax),%xmm0
  addsd  %xmm0,%xmm1
  sub    $0x8,%rdx
  add    $0x8,%rax
  cmp    %rax,%rcx
  jne    L217
L66:
  mov    (%rbx),%rax
  movsd  %xmm1,(%rax,%r8,8)
  minsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  add    $0x1,%esi
  add    $0x1,%r8
  cmp    %ebp,%esi
  jne    L117
  comisd %xmm1,%xmm6
  ja     L256
L115:
  addq   $0x8,0x8(%rsp)
  mov    0x8(%rsp),%rax
  addq   $0x8,0x18(%rsp)
  add    $0x8,%r15
  cmp    0x48(%rsp),%rax
  je     L76
L276:
  mov    0x8(%rsp),%rbx
  cvttsd2si (%rbx),%r12d
  add    $0x2,%r12d
  test   %r12d,%r12d
  mov    $0x1,%eax
  cmovle %eax,%r12d
  mov    0x18(%rsp),%rdi
  cvttsd2si (%rdi),%eax
  mov    0x3c(%rsp),%esi
  cmp    %esi,%eax
  cmovg  %esi,%eax
  mov    %eax,0x38(%rsp)
  cvttsd2si -0x8(%rbx),%r10d
  add    $0x2,%r10d
  test   %r10d,%r10d
  mov    $0x1,%eax
  cmovle %eax,%r10d
  cvttsd2si -0x8(%rdi),%r11d
  movsd  (%r15),%xmm1
  subsd  -0x8(%r15),%xmm1
  divsd  0x28(%rsp),%xmm1
  mov    0x20(%rsp),%rdx
  mov    $0x0,%eax
L6:
  mov    (%rdx),%rcx
  movapd %xmm1,%xmm0
  subsd  0x8(%rcx),%xmm0
  andpd  %xmm4,%xmm0
  comisd %xmm0,%xmm3
  jae    L19
  add    $0x1,%eax
  add    $0x8,%rdx
  cmp    $0x4,%eax
  jne    L6
  mov    $0xffffffff,%eax
  jmp    L19
L118:
  pxor   %xmm1,%xmm1
  jmp    L66
L256:
  mov    0x40(%rsp),%rdi
  lea    0x0(,%rdi,8),%rax
  mov    0x38(%rsp),%edx
  sub    %r12d,%edx
  lea    0x1(%rdi,%rdx,1),%rcx
  shl    $0x3,%rcx
L270:
  mov    %rax,%rdx
  add    (%rbx),%rdx
  movapd %xmm5,%xmm0
  mulsd  (%rdx),%xmm0
  movsd  %xmm0,(%rdx)
  add    $0x8,%rax
  cmp    %rcx,%rax
  jne    L270
  addl   $0x1,0x5c(%rsp)
  jmp    L115
L76:
  mov    0x20(%rsp),%r15
L110:
  movslq 0x10(%rsp),%rax
  mov    0x58(%rsp),%r14d
  movslq %r14d,%rdx
  mov    0x30(%rsp),%rbp
  mov    0x0(%rbp,%rax,8),%rax
  mov    0x8(%rax,%rdx,8),%rbx
  mov    0x50(%rsp),%rdi
  call   <free@plt>
  mov    0x60(%rsp),%rdi
  call   <free@plt>
  mov    0x68(%rsp),%rdi
  call   <free@plt>
  mov    %r15,%rdi
  call   <DeleteMatrixD@plt>
  mov    %rbp,%rdi
  call   <DeleteMatrixD@plt>
  mov    %r14d,%edi
  call   <getLogFactorial@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  imul   $0x15e,0x5c(%rsp),%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  D173(%rip),%xmm0
  subsd  %xmm0,%xmm1
  movsd  %xmm1,0x8(%rsp)
  movq   %rbx,%xmm0
  call   <log@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  addsd  0x8(%rsp),%xmm1
  movsd  D54(%rip),%xmm0
  comisd D8(%rip),%xmm1
  jb     L34
L67:
  add    $0x78,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L106:
  movl   $0x1,0x10(%rsp)
  movl   $0x1,0x5c(%rsp)
  jmp    L110
L34:
  movapd %xmm1,%xmm0
  call   <exp@plt>
  jmp    L67
L127:
  mov    0x30(%rsp),%rax
  mov    0x8(%rax),%rax
  mov    D30(%rip),%rdi
  mov    %rdi,0x8(%rax)
  mov    (%r15),%rax
  mov    D54(%rip),%rdi
  mov    %rdi,(%rax)
  mov    0x50(%rsp),%rax
  movsd  0x10(%rax),%xmm0
L263:
  mov    (%r15),%rax
  addsd  %xmm0,%xmm0
  divsd  0x28(%rsp),%xmm0
  mulsd  (%rax),%xmm0
  movsd  %xmm0,0x8(%rax)
  jmp    L165
```

tool_calls: name: unpack_data
arguments: label: D30
datatype: f32[2]
name: unpack_data
arguments: label: D54
datatype: f64
name: unpack_data
arguments: label: D24
datatype: qword
name: unpack_data
arguments: label: D178
datatype: byte[8]
name: unpack_data
arguments: label: D53
datatype: byte[8]
name: unpack_data
arguments: label: D173
datatype: f64
name: unpack_data
arguments: label: D8
datatype: f32

tool: {"D30": [0.0,28587302322176.0]}

tool: D54: 1

tool: D24: 9223372036854775807

tool: {"D178": [0x16,0x56,0xe7,0x9e,0xaf,0x03,0xd2,0x3c]}

tool: {"D53": [0x84,0xeb,0x91,0xa4,0x15,0x0b,0xcd,0x05]}

tool: D173: 0.6931471805599453

tool: D8: 0

assistant: ```c
double Pomeranz(int n, double x) {
  const double EPS = 1.0e-15;
  const int ENO = 350;
  const double RENO = ldexp(1.0, ENO);
  int coreno;
  const double t = n * x;
  double w, sum, minsum;
  int i, j, k, s;
  int r1, r2;
  int jlow, jup, klow, kup, kup0;
  double *A;
  double *Atflo;
  double *Atcei;
  double **V;
  double **H;
  A = (double *)calloc((size_t)(2 * n + 3), sizeof(double));
  Atflo = (double *)calloc((size_t)(2 * n + 3), sizeof(double));
  Atcei = (double *)calloc((size_t)(2 * n + 3), sizeof(double));
  V = (double **)CreateMatrixD(2, n + 2);
  H = (double **)CreateMatrixD(4, n + 2);
  CalcFloorCeil(n, t, A, Atflo, Atcei);
  for (j = 1; j <= n + 1; j++)
    V[0][j] = 0;
  for (j = 2; j <= n + 1; j++)
    V[1][j] = 0;
  V[1][1] = RENO;
  coreno = 1;
  H[0][0] = 1;
  w = 2.0 * A[2] / n;
  for (j = 1; j <= n + 1; j++)
    H[0][j] = w * H[0][j - 1] / j;
  H[1][0] = 1;
  w = (1.0 - 2.0 * A[2]) / n;
  for (j = 1; j <= n + 1; j++)
    H[1][j] = w * H[1][j - 1] / j;
  H[2][0] = 1;
  w = A[2] / n;
  for (j = 1; j <= n + 1; j++)
    H[2][j] = w * H[2][j - 1] / j;
  H[3][0] = 1;
  for (j = 1; j <= n + 1; j++)
    H[3][j] = 0;
  r1 = 0;
  r2 = 1;
  for (i = 2; i <= 2 * n + 2; i++) {
    jlow = 2 + (int)Atflo[i];
    if (jlow < 1)
      jlow = 1;
    jup = (int)Atcei[i];
    if (jup > n + 1)
      jup = n + 1;
    klow = 2 + (int)Atflo[i - 1];
    if (klow < 1)
      klow = 1;
    kup0 = (int)Atcei[i - 1];
    w = (A[i] - A[i - 1]) / n;
    s = -1;
    for (j = 0; j < 4; j++) {
      if (fabs(w - H[j][1]) <= EPS) {
        s = j;
        break;
      }
    }
    minsum = RENO;
    r1 = (r1 + 1) & 1;
    r2 = (r2 + 1) & 1;
    for (j = jlow; j <= jup; j++) {
      kup = kup0;
      if (kup > j)
        kup = j;
      sum = 0;
      for (k = kup; k >= klow; k--)
        sum += V[r1][k] * H[s][j - k];
      V[r2][j] = sum;
      if (sum < minsum)
        minsum = sum;
    }
    if (minsum < 1.0e-280) {
      for (j = jlow; j <= jup; j++)
        V[r2][j] *= RENO;
      coreno++;
    }
  }
  sum = V[r2][n + 1];
  free(A);
  free(Atflo);
  free(Atcei);
  DeleteMatrixD(H);
  DeleteMatrixD(V);
  w = getLogFactorial(n) - coreno * ENO * 0.69314718055994530941 + log(sum);
  if (w >= 0.)
    return 1.;
  return exp(w);
}
```