user: What is the c source code of the assembly code below?

```asm
<Pomeranz>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xb0,%rsp
  mov    %edi,-0x94(%rbp)
  movsd  %xmm0,-0xa0(%rbp)
  movsd  D38(%rip),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movl   $0x15e,-0x60(%rbp)
  mov    -0x60(%rbp),%edx
  mov    D81(%rip),%rax
  mov    %edx,%edi
  movq   %rax,%xmm0
  call   <ldexp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x94(%rbp),%xmm0
  movsd  -0xa0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  add    $0x3,%eax
  cltq
  mov    $0x8,%esi
  mov    %rax,%rdi
  call   <calloc@plt>
  mov    %rax,-0x30(%rbp)
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  add    $0x3,%eax
  cltq
  mov    $0x8,%esi
  mov    %rax,%rdi
  call   <calloc@plt>
  mov    %rax,-0x28(%rbp)
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  add    $0x3,%eax
  cltq
  mov    $0x8,%esi
  mov    %rax,%rdi
  call   <calloc@plt>
  mov    %rax,-0x20(%rbp)
  mov    -0x94(%rbp),%eax
  add    $0x2,%eax
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <CreateMatrixD@plt>
  mov    %rax,-0x18(%rbp)
  mov    -0x94(%rbp),%eax
  add    $0x2,%eax
  mov    %eax,%esi
  mov    $0x4,%edi
  call   <CreateMatrixD@plt>
  mov    %rax,-0x10(%rbp)
  mov    -0x20(%rbp),%rcx
  mov    -0x28(%rbp),%rdx
  mov    -0x30(%rbp),%rsi
  mov    -0x38(%rbp),%rdi
  mov    -0x94(%rbp),%eax
  movq   %rdi,%xmm0
  mov    %eax,%edi
  call   <CalcFloorCeil@plt>
  movl   $0x1,-0x84(%rbp)
  jmp    L147
L222:
  mov    -0x18(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L147:
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  cmp    %eax,-0x84(%rbp)
  jle    L222
  movl   $0x2,-0x84(%rbp)
  jmp    L212
L166:
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L212:
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  cmp    %eax,-0x84(%rbp)
  jle    L166
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  add    $0x8,%rax
  movsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x8c(%rbp)
  mov    -0x10(%rbp),%rax
  mov    (%rax),%rax
  movsd  D81(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm0,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x94(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x1,-0x84(%rbp)
  jmp    L75
L290:
  mov    -0x10(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  sub    $0x8,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x84(%rbp),%xmm1
  mov    -0x10(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L75:
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  cmp    %eax,-0x84(%rbp)
  jle    L290
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  movsd  D81(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  D81(%rip),%xmm0
  subsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x94(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x1,-0x84(%rbp)
  jmp    L160
L298:
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  sub    $0x8,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x84(%rbp),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L160:
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  cmp    %eax,-0x84(%rbp)
  jle    L298
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  movsd  D81(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x94(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x1,-0x84(%rbp)
  jmp    L177
L57:
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  sub    $0x8,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x84(%rbp),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L177:
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  cmp    %eax,-0x84(%rbp)
  jle    L57
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  movsd  D81(%rip),%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x84(%rbp)
  jmp    L266
L268:
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L266:
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  cmp    %eax,-0x84(%rbp)
  jle    L268
  movl   $0x0,-0x78(%rbp)
  movl   $0x1,-0x74(%rbp)
  movl   $0x2,-0x88(%rbp)
  jmp    L247
L18:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  cvttsd2si %xmm0,%eax
  add    $0x2,%eax
  mov    %eax,-0x70(%rbp)
  cmpl   $0x0,-0x70(%rbp)
  jg     L227
  movl   $0x1,-0x70(%rbp)
L227:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x6c(%rbp)
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  cmp    %eax,-0x6c(%rbp)
  jle    L125
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x6c(%rbp)
L125:
  mov    -0x88(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  cvttsd2si %xmm0,%eax
  add    $0x2,%eax
  mov    %eax,-0x68(%rbp)
  cmpl   $0x0,-0x68(%rbp)
  jg     L242
  movl   $0x1,-0x68(%rbp)
L242:
  mov    -0x88(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x5c(%rbp)
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x94(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0xffffffff,-0x7c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L77
L96:
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  movsd  -0x8(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movq   D68(%rip),%xmm1
  andpd  %xmm0,%xmm1
  movsd  -0x48(%rbp),%xmm0
  comisd %xmm1,%xmm0
  jb     L312
  mov    -0x84(%rbp),%eax
  mov    %eax,-0x7c(%rbp)
  jmp    L182
L312:
  addl   $0x1,-0x84(%rbp)
L77:
  cmpl   $0x3,-0x84(%rbp)
  jle    L96
L182:
  movsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x78(%rbp),%eax
  add    $0x1,%eax
  and    $0x1,%eax
  mov    %eax,-0x78(%rbp)
  mov    -0x74(%rbp),%eax
  add    $0x1,%eax
  and    $0x1,%eax
  mov    %eax,-0x74(%rbp)
  mov    -0x70(%rbp),%eax
  mov    %eax,-0x84(%rbp)
  jmp    L254
L72:
  mov    -0x5c(%rbp),%eax
  mov    %eax,-0x64(%rbp)
  mov    -0x64(%rbp),%eax
  cmp    -0x84(%rbp),%eax
  jle    L316
  mov    -0x84(%rbp),%eax
  mov    %eax,-0x64(%rbp)
L316:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0x64(%rbp),%eax
  mov    %eax,-0x80(%rbp)
  jmp    L279
L124:
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x80(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x7c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  sub    -0x80(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  subl   $0x1,-0x80(%rbp)
L279:
  mov    -0x80(%rbp),%eax
  cmp    -0x68(%rbp),%eax
  jge    L124
  mov    -0x74(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  comisd -0x58(%rbp),%xmm0
  jbe    L69
  movsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
L69:
  addl   $0x1,-0x84(%rbp)
L254:
  mov    -0x84(%rbp),%eax
  cmp    -0x6c(%rbp),%eax
  jle    L72
  movsd  D16(%rip),%xmm0
  comisd -0x50(%rbp),%xmm0
  jbe    L108
  mov    -0x70(%rbp),%eax
  mov    %eax,-0x84(%rbp)
  jmp    L156
L293:
  mov    -0x74(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x74(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  mulsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L156:
  mov    -0x84(%rbp),%eax
  cmp    -0x6c(%rbp),%eax
  jle    L293
  addl   $0x1,-0x8c(%rbp)
L108:
  addl   $0x1,-0x88(%rbp)
L247:
  mov    -0x94(%rbp),%eax
  add    $0x1,%eax
  add    %eax,%eax
  cmp    %eax,-0x88(%rbp)
  jle    L18
  mov    -0x74(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  add    $0x1,%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0x30(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x10(%rbp),%rax
  mov    %rax,%rdi
  call   <DeleteMatrixD@plt>
  mov    -0x18(%rbp),%rax
  mov    %rax,%rdi
  call   <DeleteMatrixD@plt>
  mov    -0x94(%rbp),%eax
  mov    %eax,%edi
  call   <getLogFactorial@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    -0x8c(%rbp),%eax
  imul   -0x60(%rbp),%eax
  pxor   %xmm2,%xmm2
  cvtsi2sd %eax,%xmm2
  movsd  D22(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  mov    -0x58(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  -0xa8(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm0
  jb     L257
  mov    D81(%rip),%rax
  jmp    L20
L257:
  mov    -0x8(%rbp),%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
L20:
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: unpack_data
arguments: data_label: D38
type_guessed: byte[8]
name: unpack_data
arguments: data_label: D81
type_guessed: f64
name: unpack_data
arguments: data_label: D68
type_guessed: qword
name: unpack_data
arguments: data_label: D16
type_guessed: byte[8]
name: unpack_data
arguments: data_label: D22
type_guessed: f64

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

tool: D81: 1

tool: D68: 9223372036854775807

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

tool: D22: 0.6931471805599453

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);
}
```