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

```asm
<redc>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0xc8,%rsp
  mov    %rdi,-0xa8(%rbp)
  mov    %esi,-0xac(%rbp)
  mov    %edx,-0xb0(%rbp)
  mov    %ecx,-0xb4(%rbp)
  mov    %r8,-0xc0(%rbp)
  mov    %r9,-0xc8(%rbp)
  mov    -0xb4(%rbp),%eax
  add    $0x1,%eax
  cltq
  shl    $0x2,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x68(%rbp)
  mov    -0xac(%rbp),%eax
  add    $0x1,%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x60(%rbp)
  movl   $0x1,-0x84(%rbp)
  jmp    L213
L39:
  shll   -0x84(%rbp)
L213:
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x84(%rbp),%xmm1
  movsd  D23(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x84(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0xb4(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0xb0(%rbp),%xmm0
  comisd %xmm1,%xmm0
  ja     L39
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x84(%rbp),%xmm1
  movsd  D15(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0x84(%rbp),%eax
  lea    0x3(%rax),%edx
  test   %eax,%eax
  cmovs  %edx,%eax
  sar    $0x2,%eax
  mov    %eax,-0x80(%rbp)
  mov    -0xb0(%rbp),%eax
  sub    $0x5,%eax
  mov    %eax,-0x7c(%rbp)
  mov    -0xac(%rbp),%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x50(%rbp)
  mov    -0xac(%rbp),%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x48(%rbp)
  mov    -0xac(%rbp),%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x40(%rbp)
  movl   $0x0,-0x88(%rbp)
  jmp    L75
L36:
  mov    -0x7c(%rbp),%eax
  add    $0x1,%eax
  cltq
  shl    $0x2,%rax
  mov    -0x88(%rbp),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,8),%rcx
  mov    -0x50(%rbp),%rdx
  lea    (%rcx,%rdx,1),%rbx
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,(%rbx)
  mov    -0xb0(%rbp),%eax
  cltq
  shl    $0x2,%rax
  mov    -0x88(%rbp),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,8),%rcx
  mov    -0x48(%rbp),%rdx
  lea    (%rcx,%rdx,1),%rbx
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,(%rbx)
  mov    -0x7c(%rbp),%eax
  add    $0x1,%eax
  cltq
  shl    $0x2,%rax
  mov    -0x88(%rbp),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,8),%rcx
  mov    -0x40(%rbp),%rdx
  lea    (%rcx,%rdx,1),%rbx
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,(%rbx)
  addl   $0x1,-0x88(%rbp)
L75:
  mov    -0x88(%rbp),%eax
  cmp    -0xac(%rbp),%eax
  jl     L36
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x38(%rbp)
  movl   $0x0,-0x94(%rbp)
  jmp    L237
L64:
  mov    -0x84(%rbp),%eax
  cltq
  shl    $0x2,%rax
  mov    -0x94(%rbp),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,8),%rcx
  mov    -0x38(%rbp),%rdx
  lea    (%rcx,%rdx,1),%rbx
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,(%rbx)
  addl   $0x1,-0x94(%rbp)
L237:
  mov    -0x94(%rbp),%eax
  cmp    -0x84(%rbp),%eax
  jl     L64
  mov    -0xb0(%rbp),%eax
  cltq
  shl    $0x2,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x30(%rbp)
  mov    -0xac(%rbp),%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x28(%rbp)
  mov    -0xac(%rbp),%eax
  cltq
  shl    $0x2,%rax
  mov    %rax,%rdi
  call   <malloc@plt>
  mov    %rax,-0x20(%rbp)
  mov    -0xac(%rbp),%eax
  lea    -0x1(%rax),%r8d
  mov    -0x84(%rbp),%edi
  mov    -0xb0(%rbp),%edx
  mov    -0xac(%rbp),%esi
  mov    -0xa8(%rbp),%rax
  sub    $0x8,%rsp
  push   -0x30(%rbp)
  push   -0x38(%rbp)
  mov    -0x80(%rbp),%ecx
  push   %rcx
  mov    %edi,%r9d
  mov    $0x0,%ecx
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <make_box2@plt>
  add    $0x20,%rsp
  movl   $0x0,-0x88(%rbp)
  jmp    L66
L111:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%r9
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%r8
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rcx
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdi
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    -0x7c(%rbp),%edx
  mov    -0xb0(%rbp),%esi
  movq   %rdi,%xmm0
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <make_box1@plt>
  addl   $0x1,-0x88(%rbp)
L66:
  mov    -0x88(%rbp),%eax
  cmp    -0xac(%rbp),%eax
  jl     L111
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movl   $0x0,-0x94(%rbp)
  jmp    L219
L230:
  movl   $0x0,-0x88(%rbp)
  jmp    L246
L236:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,%rdx
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x60(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x88(%rbp)
L246:
  mov    -0x88(%rbp),%eax
  cmp    -0xac(%rbp),%eax
  jl     L236
  mov    -0xac(%rbp),%eax
  lea    -0x1(%rax),%ecx
  mov    -0x58(%rbp),%rdx
  mov    -0x84(%rbp),%r9d
  mov    -0x94(%rbp),%r8d
  mov    -0xac(%rbp),%esi
  mov    -0xa8(%rbp),%rax
  push   -0x68(%rbp)
  push   -0x30(%rbp)
  push   -0x38(%rbp)
  mov    -0xb4(%rbp),%edi
  push   %rdi
  movq   %rdx,%xmm0
  mov    $0x0,%edx
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <neiK@plt>
  add    $0x20,%rsp
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movl   $0xffffffff,-0x8c(%rbp)
  movl   $0x0,-0x88(%rbp)
  jmp    L44
L17:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x90(%rbp)
  jmp    L112
L53:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x60(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x90(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rcx
  mov    -0x68(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movq   D3(%rip),%xmm1
  andpd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x18(%rbp),%xmm0
  comisd %xmm1,%xmm0
  jbe    L81
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
L81:
  addl   $0x1,-0x90(%rbp)
L112:
  mov    -0x90(%rbp),%eax
  cmp    -0xb4(%rbp),%eax
  jle    L53
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  comisd -0x78(%rbp),%xmm0
  jbe    L207
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0x88(%rbp),%eax
  mov    %eax,-0x8c(%rbp)
L207:
  addl   $0x1,-0x88(%rbp)
L44:
  mov    -0x88(%rbp),%eax
  cmp    -0xac(%rbp),%eax
  jl     L17
  movl   $0x0,-0x88(%rbp)
  jmp    L23
L42:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%r9
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%r8
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rcx
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdi
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    -0x88(%rbp),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,4),%rsi
  mov    -0x20(%rbp),%rdx
  lea    (%rsi,%rdx,1),%rbx
  movsd  -0x78(%rbp),%xmm0
  mov    -0x7c(%rbp),%edx
  mov    -0x94(%rbp),%esi
  movapd %xmm0,%xmm1
  movq   %rdi,%xmm0
  mov    %rax,%rdi
  mov    $0x2,%eax
  call   <neiE1@plt>
  mov    %eax,(%rbx)
  mov    -0x88(%rbp),%eax
  cmp    -0x8c(%rbp),%eax
  jne    L165
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0x70(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  jmp    L16
L165:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0x70(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
L16:
  addl   $0x1,-0x88(%rbp)
L23:
  mov    -0x88(%rbp),%eax
  cmp    -0xac(%rbp),%eax
  jl     L42
  addl   $0x1,-0x94(%rbp)
L219:
  mov    -0x94(%rbp),%eax
  cmp    -0xb0(%rbp),%eax
  jl     L230
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0xb0(%rbp),%xmm1
  movsd  -0x70(%rbp),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  mov    -0xac(%rbp),%eax
  sub    $0x1,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  mov    -0xb0(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xb4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  subsd  -0x70(%rbp),%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x60(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x68(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  movl   $0x0,-0x94(%rbp)
  jmp    L252
L216:
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    %rax,%rdi
  call   <free@plt>
  addl   $0x1,-0x94(%rbp)
L252:
  mov    -0x94(%rbp),%eax
  cmp    -0x84(%rbp),%eax
  jl     L216
  mov    -0x38(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x30(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  movl   $0x0,-0x88(%rbp)
  jmp    L106
L63:
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x88(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    %rax,%rdi
  call   <free@plt>
  addl   $0x1,-0x88(%rbp)
L106:
  mov    -0x88(%rbp),%eax
  cmp    -0xac(%rbp),%eax
  jl     L63
  mov    -0x50(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x48(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x40(%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>
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: label: D23
type_infered: f64
name: disassemble_data
arguments: label: D15
type_infered: f64
name: disassemble_data
arguments: label: D3
type_infered: qword

tool: D23: 0.5

tool: D15: 4

tool: D3: 9223372036854775807

assistant: ```c
void redc(double **x, int dim, int N, int K, double *psi, double *scal, double *mic) {
  int i, k, *n1;
  double *xc, dx;
  double *eps, Eps;
  int maxdim;
  double dxy1;
  int *nn;
  int d;
  int BOX, BOX1;
  int **box, *lis;
  int **box1;
  int **lis1;
  int **mxi;
  double epsilon;
  int inveps;
  nn = (int *)malloc((K + 1) * sizeof(int));
  xc = (double *)malloc((dim + 1) * sizeof(double));
  BOX = 1;
  while (0.5 * BOX * BOX * K < N)
    BOX *= 2;
  epsilon = 4.0 / BOX;
  inveps = BOX / 4;
  BOX1 = N - 5;
  box1 = (int **)malloc(dim * sizeof(int *));
  lis1 = (int **)malloc(dim * sizeof(int *));
  mxi = (int **)malloc(dim * sizeof(int *));
  for (d = 0; d < dim; d++) {
    box1[d] = (int *)malloc((BOX1 + 1) * sizeof(int));
    lis1[d] = (int *)malloc(N * sizeof(int));
    mxi[d] = (int *)malloc((BOX1 + 1) * sizeof(int));
  }
  box = (int **)malloc(BOX * sizeof(int *));
  for (i = 0; i < BOX; i++)
    box[i] = (int *)malloc(BOX * sizeof(int));
  lis = (int *)malloc(N * sizeof(int));
  eps = (double *)malloc(dim * sizeof(double));
  n1 = (int *)malloc(dim * sizeof(int));
  make_box2(x, dim, N, 0, dim - 1, BOX, inveps, box, lis);
  for (d = 0; d < dim; d++)
    make_box1(x[d], N, scal[d], BOX1, box1[d], lis1[d], mxi[d]);
  dxy1 = 0.0;
  for (i = 0; i < N; i++) {
    for (d = 0; d < dim; d++)
      xc[d] = x[d][i];
    neiK(x, dim, 0, dim - 1, i, BOX, epsilon, K, box, lis, nn);
    Eps = 0;
    maxdim = -1;
    for (d = 0; d < dim; d++) {
      eps[d] = 0;
      for (k = 1; k <= K; k++) {
        if ((dx = fabs(xc[d] - x[d][nn[k]])) > eps[d])
          eps[d] = dx;
      }
      if (eps[d] > Eps) {
        Eps = eps[d];
        maxdim = d;
      }
    }
    for (d = 0; d < dim; d++) {
      n1[d] = neiE1(x[d], i, scal[d], BOX1, Eps, box1[d], lis1[d], mxi[d]);
      if (d == maxdim) {
        dxy1 += psi[n1[d]];
      } else {
        dxy1 += psi[n1[d] + 1];
      }
    }
  }
  dxy1 /= N;
  *mic = (dim - 1) * psi[N] + psi[K] - dxy1;
  free(xc);
  free(nn);
  for (i = 0; i < BOX; i++)
    free(box[i]);
  free(box);
  free(lis);
  for (d = 0; d < dim; d++) {
    free(box1[d]);
    free(lis1[d]);
    free(mxi[d]);
  }
  free(box1);
  free(lis1);
  free(mxi);
  free(eps);
  free(n1);
}
```