user: 请将这段汇编代码片段转换成等效的C代码:

```asm
<redc>:
  endbr64
  push   %r15
  mov    %ecx,%r15d
  push   %r14
  mov    %rdi,%r14
  lea    0x1(%rcx),%edi
  push   %r13
  movslq %edi,%rdi
  push   %r12
  shl    $0x2,%rdi
  push   %rbp
  mov    %edx,%ebp
  push   %rbx
  mov    %esi,%ebx
  add    $0x1,%ebx
  movslq %ebx,%rbx
  sub    $0xe8,%rsp
  shl    $0x3,%rbx
  mov    0x120(%rsp),%rax
  mov    %esi,0x4c(%rsp)
  mov    %edx,(%rsp)
  mov    %ecx,0x84(%rsp)
  mov    %r8,0x38(%rsp)
  mov    %r9,0xb0(%rsp)
  mov    %rax,0xd8(%rsp)
  call   <malloc@plt>
  mov    %rbx,%rdi
  mov    %rax,0x70(%rsp)
  call   <malloc@plt>
  pxor   %xmm3,%xmm3
  pxor   %xmm7,%xmm7
  movsd  D30(%rip),%xmm2
  cvtsi2sd %r15d,%xmm3
  mov    %rax,0x58(%rsp)
  mov    $0x1,%eax
  cvtsi2sd %ebp,%xmm7
  mov    %eax,0x80(%rsp)
  movapd %xmm3,%xmm0
  movsd  %xmm7,0x90(%rsp)
  mulsd  %xmm2,%xmm0
  comisd %xmm0,%xmm7
  jbe    L179
  nopl   (%rax)
L233:
  movsd  0x90(%rsp),%xmm7
  add    %eax,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movapd %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  %xmm3,%xmm0
  comisd %xmm0,%xmm7
  ja     L233
  movsd  D17(%rip),%xmm0
  cltq
  mov    %rax,%rsi
  lea    0x0(,%rax,8),%rdi
  mov    %eax,0x80(%rsp)
  lea    0x0(,%rax,4),%r13
  divsd  %xmm1,%xmm0
  sar    $0x2,%esi
  mov    %rdi,0x8(%rsp)
  mov    %esi,0x10(%rsp)
  movsd  %xmm0,0x98(%rsp)
L164:
  mov    (%rsp),%ebp
  movslq 0x4c(%rsp),%rsi
  sub    $0x8,%rbx
  mov    %rbx,%rdi
  mov    %rbx,0x28(%rsp)
  lea    -0x5(%rbp),%eax
  mov    %rsi,0x50(%rsp)
  mov    %eax,0xac(%rsp)
  call   <malloc@plt>
  mov    %rbx,%rdi
  mov    %rax,%r15
  call   <malloc@plt>
  mov    %rbx,%rdi
  xor    %ebx,%ebx
  mov    %rax,0x18(%rsp)
  call   <malloc@plt>
  movslq %ebp,%rsi
  lea    0x0(,%rsi,4),%r12
  mov    %rsi,0xa0(%rsp)
  mov    0x4c(%rsp),%esi
  mov    %rax,0x20(%rsp)
  lea    -0x10(%r12),%rbp
  test   %esi,%esi
  jle    L27
  mov    %r13,0x30(%rsp)
  mov    0x18(%rsp),%r13
  mov    %r14,0x40(%rsp)
  mov    0x20(%rsp),%r14
  nopl   0x0(%rax)
L59:
  mov    %rbp,%rdi
  call   <malloc@plt>
  mov    %r12,%rdi
  mov    %rax,(%r15,%rbx,8)
  call   <malloc@plt>
  mov    %rbp,%rdi
  mov    %rax,0x0(%r13,%rbx,8)
  call   <malloc@plt>
  mov    %rax,(%r14,%rbx,8)
  add    $0x1,%rbx
  cmp    0x50(%rsp),%rbx
  jne    L59
  mov    0x30(%rsp),%r13
  mov    0x40(%rsp),%r14
L27:
  mov    0x8(%rsp),%rdi
  call   <malloc@plt>
  mov    %rax,%rbx
  mov    %rax,0x78(%rsp)
  mov    %rax,0xc8(%rsp)
  mov    0x80(%rsp),%eax
  lea    (%rbx,%rax,8),%rbp
  mov    %rbp,0xd0(%rsp)
  nopw   0x0(%rax,%rax,1)
L241:
  mov    %r13,%rdi
  add    $0x8,%rbx
  call   <malloc@plt>
  mov    %rax,-0x8(%rbx)
  cmp    %rbp,%rbx
  jne    L241
  mov    %r12,%rdi
  call   <malloc@plt>
  mov    0x28(%rsp),%rdi
  mov    %rax,0x88(%rsp)
  mov    %rax,%rbx
  call   <malloc@plt>
  mov    %rax,%r13
  mov    0x50(%rsp),%rax
  lea    0x0(,%rax,4),%rdi
  call   <malloc@plt>
  mov    0x4c(%rsp),%ebp
  sub    $0x8,%rsp
  xor    %ecx,%ecx
  mov    %rax,0x38(%rsp)
  mov    %r14,%rdi
  lea    -0x1(%rbp),%r8d
  mov    %ebp,%esi
  mov    %r8d,0xb0(%rsp)
  push   %rbx
  xor    %ebx,%ebx
  push   0x88(%rsp)
  mov    0x28(%rsp),%eax
  push   %rax
  mov    0xa0(%rsp),%r9d
  xor    %eax,%eax
  mov    0x20(%rsp),%edx
  call   <make_box2@plt>
  add    $0x20,%rsp
  test   %ebp,%ebp
  jle    L243
  mov    %r13,0x8(%rsp)
  mov    %r15,%r12
  mov    %r14,%r13
  mov    0xac(%rsp),%ebp
  mov    (%rsp),%r14d
  mov    0xb0(%rsp),%r15
  nop
L60:
  mov    0x20(%rsp),%rax
  mov    (%r12,%rbx,8),%rcx
  mov    %ebp,%edx
  mov    %r14d,%esi
  movsd  (%r15,%rbx,8),%xmm0
  mov    0x0(%r13,%rbx,8),%rdi
  mov    (%rax,%rbx,8),%r9
  mov    0x18(%rsp),%rax
  mov    (%rax,%rbx,8),%r8
  mov    $0x1,%eax
  add    $0x1,%rbx
  call   <make_box1@plt>
  cmp    %rbx,0x50(%rsp)
  jne    L60
  mov    %r13,%r14
  mov    0x8(%rsp),%r13
  mov    %r12,%r15
L243:
  mov    (%rsp),%ecx
  test   %ecx,%ecx
  jle    L36
  mov    0xa8(%rsp),%r10d
  mov    0x70(%rsp),%rsi
  movq   $0x0,0x40(%rsp)
  movq   $0x0,(%rsp)
  lea    0x8(,%r10,8),%rax
  mov    %r15,0xb8(%rsp)
  mov    %r14,%r15
  mov    %r10,%r14
  mov    %rax,0xc0(%rsp)
  mov    0x84(%rsp),%eax
  sub    $0x1,%eax
  lea    0x8(%rsi,%rax,4),%rbp
  nopl   0x0(%rax)
L43:
  mov    0x40(%rsp),%rax
  mov    0x4c(%rsp),%edx
  mov    0x58(%rsp),%rsi
  mov    %eax,%r11d
  lea    0x0(,%rax,8),%rcx
  xor    %eax,%eax
  test   %edx,%edx
  jle    L32
  nopl   0x0(%rax,%rax,1)
L267:
  mov    (%r15,%rax,8),%rdx
  movsd  (%rdx,%rcx,1),%xmm0
  mov    %rax,%rdx
  movsd  %xmm0,(%rsi,%rax,8)
  add    $0x1,%rax
  cmp    %r14,%rdx
  jne    L267
  mov    0x70(%rsp),%r12
  mov    %r11d,%r8d
  xor    %edx,%edx
  mov    %r15,%rdi
  mov    $0x1,%eax
  push   %r12
  push   0x90(%rsp)
  push   0x88(%rsp)
  mov    0x9c(%rsp),%ebx
  push   %rbx
  mov    0xa0(%rsp),%r9d
  movsd  0xb8(%rsp),%xmm0
  mov    0xc8(%rsp),%ecx
  mov    0x6c(%rsp),%esi
  mov    %r11d,0x28(%rsp)
  call   <neiK@plt>
  add    $0x20,%rsp
  xor    %esi,%esi
  mov    %r13,%rdi
  mov    0xc0(%rsp),%rdx
  call   <memset@plt>
  xor    %edx,%edx
  mov    %ebx,%edi
  mov    0x58(%rsp),%r9
  mov    0x8(%rsp),%r11d
  mov    $0xffffffff,%esi
  mov    %r12,%r8
  mov    %edx,%r10d
  movq   D24(%rip),%xmm3
  pxor   %xmm4,%xmm4
  test   %edi,%edi
  jle    L224
  nopl   0x0(%rax)
L99:
  movsd  (%r9,%rdx,8),%xmm2
  mov    (%r15,%rdx,8),%rcx
  lea    0x4(%r8),%rax
  pxor   %xmm1,%xmm1
  nopw   0x0(%rax,%rax,1)
L256:
  movslq (%rax),%rbx
  movapd %xmm2,%xmm0
  subsd  (%rcx,%rbx,8),%xmm0
  andpd  %xmm3,%xmm0
  comisd %xmm1,%xmm0
  jbe    L220
  movsd  %xmm0,0x0(%r13,%rdx,8)
  movapd %xmm0,%xmm1
L220:
  add    $0x4,%rax
  cmp    %rax,%rbp
  jne    L256
L73:
  comisd %xmm4,%xmm1
  maxsd  %xmm4,%xmm1
  lea    0x1(%rdx),%rax
  cmovbe %esi,%r10d
  movapd %xmm1,%xmm4
  mov    %r10d,%esi
  cmp    %r14,%rdx
  je     L181
  mov    %rax,%rdx
  mov    %edx,%r10d
  test   %edi,%edi
  jg     L99
L224:
  pxor   %xmm1,%xmm1
  jmp    L73
  cs nopw 0x0(%rax,%rax,1)
L181:
  xor    %ebx,%ebx
  mov    %r13,0x60(%rsp)
  mov    0xb0(%rsp),%r12
  mov    %rbp,0x68(%rsp)
  mov    0xb8(%rsp),%r13
  mov    %r14,0x10(%rsp)
  mov    0xac(%rsp),%ebp
  mov    %r15,%r14
  mov    %rbx,%r15
  mov    %r10d,0x28(%rsp)
  mov    %r11d,%ebx
  jmp    L18
  nopl   0x0(%rax,%rax,1)
L139:
  mov    0x38(%rsp),%rdi
  movsd  (%rsp),%xmm5
  addsd  0x8(%rdi,%rax,8),%xmm5
  lea    0x1(%r15),%rax
  movsd  %xmm5,(%rsp)
  cmp    0x10(%rsp),%r15
  je     L12
L64:
  mov    %rax,%r15
L18:
  mov    0x20(%rsp),%rax
  mov    0x0(%r13,%r15,8),%rcx
  mov    %ebx,%esi
  mov    %ebp,%edx
  movsd  (%r12,%r15,8),%xmm0
  mov    (%r14,%r15,8),%rdi
  movsd  %xmm1,0x8(%rsp)
  mov    (%rax,%r15,8),%r9
  mov    0x18(%rsp),%rax
  mov    (%rax,%r15,8),%r8
  mov    $0x2,%eax
  call   <neiE1@plt>
  mov    0x30(%rsp),%rsi
  cmp    %r15d,0x28(%rsp)
  movsd  0x8(%rsp),%xmm1
  mov    %eax,(%rsi,%r15,4)
  cltq
  jne    L139
  mov    0x38(%rsp),%rsi
  movsd  (%rsp),%xmm6
  addsd  (%rsi,%rax,8),%xmm6
  lea    0x1(%r15),%rax
  movsd  %xmm6,(%rsp)
  cmp    0x10(%rsp),%r15
  jne    L64
L12:
  mov    %r14,%r15
  mov    0x60(%rsp),%r13
  mov    0x68(%rsp),%rbp
  mov    0x10(%rsp),%r14
L37:
  addq   $0x1,0x40(%rsp)
  mov    0x40(%rsp),%rax
  cmp    %rax,0xa0(%rsp)
  jne    L43
  mov    0xb8(%rsp),%r15
L58:
  mov    0x38(%rsp),%rsi
  pxor   %xmm1,%xmm1
  movsd  (%rsp),%xmm0
  divsd  0x90(%rsp),%xmm0
  mov    0xa0(%rsp),%rax
  mov    0x58(%rsp),%rdi
  cvtsi2sdl 0xa8(%rsp),%xmm1
  mulsd  (%rsi,%rax,8),%xmm1
  movslq 0x84(%rsp),%rax
  addsd  (%rsi,%rax,8),%xmm1
  mov    0xd8(%rsp),%rax
  subsd  %xmm0,%xmm1
  movsd  %xmm1,(%rax)
  call   <free@plt>
  mov    0x70(%rsp),%rdi
  call   <free@plt>
  mov    0xc8(%rsp),%rbx
  mov    0xd0(%rsp),%rbp
L50:
  mov    (%rbx),%rdi
  add    $0x8,%rbx
  call   <free@plt>
  cmp    %rbp,%rbx
  jne    L50
  mov    0x78(%rsp),%rdi
  xor    %ebx,%ebx
  call   <free@plt>
  mov    0x88(%rsp),%rdi
  call   <free@plt>
  mov    0x4c(%rsp),%eax
  test   %eax,%eax
  jle    L90
  mov    0x18(%rsp),%rbp
  mov    0x20(%rsp),%r12
  mov    0x50(%rsp),%r14
  nopl   0x0(%rax)
L84:
  mov    (%r15,%rbx,8),%rdi
  call   <free@plt>
  mov    0x0(%rbp,%rbx,8),%rdi
  call   <free@plt>
  mov    (%r12,%rbx,8),%rdi
  add    $0x1,%rbx
  call   <free@plt>
  cmp    %rbx,%r14
  jne    L84
L90:
  mov    %r15,%rdi
  call   <free@plt>
  mov    0x18(%rsp),%rdi
  call   <free@plt>
  mov    0x20(%rsp),%rdi
  call   <free@plt>
  mov    %r13,%rdi
  call   <free@plt>
  mov    0x30(%rsp),%rdi
  add    $0xe8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10b0 <free@plt>
L32:
  push   0x70(%rsp)
  xor    %edx,%edx
  mov    %r15,%rdi
  push   0x90(%rsp)
  push   0x88(%rsp)
  mov    0x9c(%rsp),%eax
  push   %rax
  mov    0xa0(%rsp),%r9d
  mov    $0x1,%eax
  movsd  0xb8(%rsp),%xmm0
  mov    0x60(%rsp),%r8d
  mov    0xc8(%rsp),%ecx
  mov    0x6c(%rsp),%esi
  call   <neiK@plt>
  add    $0x20,%rsp
  jmp    L37
L179:
  movsd  D17(%rip),%xmm7
  movl   $0x0,0x10(%rsp)
  mov    $0x4,%r13d
  movq   $0x8,0x8(%rsp)
  movsd  %xmm7,0x98(%rsp)
  jmp    L164
L36:
  pxor   %xmm7,%xmm7
  movsd  %xmm7,(%rsp)
  jmp    L58
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D30
datatype: f64
name: extract_symbolic_data
arguments: data_tag: D17
datatype: f64
name: extract_symbolic_data
arguments: data_tag: D24
datatype: qword

tool: D30: 0.5

tool: D17: 4

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