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

```asm
<box_intersect>:
  endbr64
  sub    $0x48,%rsp
  pxor   %xmm8,%xmm8
  movapd %xmm0,%xmm10
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  ucomisd %xmm8,%xmm3
  jp     L436
  jne    L436
  movq   $0x0,0x8(%rsp)
  movq   $0x0,(%rsp)
L144:
  ucomisd %xmm8,%xmm4
  jp     L119
  jne    L119
  movq   $0x0,0x18(%rsp)
  movq   $0x0,0x10(%rsp)
L205:
  ucomisd %xmm8,%xmm5
  jp     L66
  jne    L66
  movq   $0x0,0x28(%rsp)
  movq   $0x0,0x20(%rsp)
L278:
  mov    %rsp,%rax
  lea    0x30(%rsp),%rdx
  movapd %xmm8,%xmm2
  xor    %ecx,%ecx
  movapd %xmm8,%xmm1
  jmp    L114
L274:
  movapd %xmm0,%xmm2
  mov    $0x2,%ecx
L81:
  add    $0x8,%rax
  cmp    %rdx,%rax
  je     L275
L114:
  movsd  (%rax),%xmm0
  ucomisd %xmm8,%xmm0
  jp     L75
  je     L81
L75:
  test   %ecx,%ecx
  jne    L274
  add    $0x8,%rax
  movapd %xmm0,%xmm1
  mov    $0x1,%ecx
  cmp    %rdx,%rax
  jne    L114
L275:
  ucomisd %xmm8,%xmm1
  mov    $0x0,%edx
  setnp  %al
  cmovne %edx,%eax
  test   %al,%al
  je     L451
  ucomisd %xmm8,%xmm2
  setnp  %al
  cmovne %edx,%eax
  xor    %r8d,%r8d
  test   %al,%al
  je     L451
L112:
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L184
  mov    %r8d,%eax
  add    $0x48,%rsp
  ret
  nopw   0x0(%rax,%rax,1)
L451:
  comisd %xmm1,%xmm2
  jbe    L361
  movsd  %xmm1,(%rdi)
  mov    $0x1,%r8d
  movsd  %xmm2,(%rsi)
  jmp    L112
  nopw   0x0(%rax,%rax,1)
L436:
  movsd  D21(%rip),%xmm0
  movapd %xmm6,%xmm14
  movapd %xmm7,%xmm12
  movq   D13(%rip),%xmm9
  mulsd  %xmm0,%xmm14
  xorpd  %xmm9,%xmm12
  mulsd  %xmm0,%xmm12
  movapd %xmm14,%xmm11
  addsd  %xmm10,%xmm11
  xorpd  %xmm9,%xmm11
  divsd  %xmm3,%xmm11
  movapd %xmm11,%xmm13
  mulsd  %xmm4,%xmm13
  addsd  %xmm1,%xmm13
  comisd %xmm12,%xmm13
  ja     L468
L196:
  movapd %xmm8,%xmm11
L296:
  subsd  %xmm10,%xmm14
  movsd  %xmm11,(%rsp)
  movapd %xmm4,%xmm13
  movapd %xmm14,%xmm11
  divsd  %xmm3,%xmm11
  mulsd  %xmm11,%xmm13
  addsd  %xmm1,%xmm13
  comisd %xmm12,%xmm13
  jbe    L330
  xorpd  %xmm9,%xmm12
  comisd %xmm13,%xmm12
  jbe    L330
  movapd %xmm5,%xmm13
  movsd  0x50(%rsp),%xmm12
  mulsd  %xmm11,%xmm13
  xorpd  %xmm9,%xmm12
  mulsd  %xmm12,%xmm0
  addsd  %xmm2,%xmm13
  comisd %xmm0,%xmm13
  jbe    L330
  xorpd  %xmm9,%xmm0
  comisd %xmm13,%xmm0
  jbe    L330
  movsd  %xmm11,0x8(%rsp)
  jmp    L144
  nopl   0x0(%rax,%rax,1)
L66:
  movsd  D21(%rip),%xmm0
  movapd %xmm3,%xmm14
  movapd %xmm6,%xmm12
  movsd  0x50(%rsp),%xmm11
  movq   D13(%rip),%xmm9
  mulsd  %xmm0,%xmm11
  xorpd  %xmm9,%xmm12
  mulsd  %xmm0,%xmm12
  movapd %xmm11,%xmm13
  addsd  %xmm2,%xmm13
  xorpd  %xmm9,%xmm13
  divsd  %xmm5,%xmm13
  mulsd  %xmm13,%xmm14
  addsd  %xmm10,%xmm14
  comisd %xmm12,%xmm14
  ja     L15
L160:
  movapd %xmm8,%xmm13
L100:
  subsd  %xmm2,%xmm11
  movsd  %xmm13,0x20(%rsp)
  divsd  %xmm5,%xmm11
  mulsd  %xmm11,%xmm3
  addsd  %xmm10,%xmm3
  comisd %xmm12,%xmm3
  jbe    L19
  mulsd  %xmm0,%xmm6
  comisd %xmm3,%xmm6
  jbe    L19
  mulsd  %xmm11,%xmm4
  xorpd  %xmm9,%xmm7
  mulsd  %xmm0,%xmm7
  addsd  %xmm4,%xmm1
  comisd %xmm7,%xmm1
  jbe    L19
  xorpd  %xmm9,%xmm7
  comisd %xmm1,%xmm7
  jbe    L19
  movsd  %xmm11,0x28(%rsp)
  jmp    L278
  nopw   0x0(%rax,%rax,1)
L119:
  movapd %xmm7,%xmm14
  movapd %xmm3,%xmm13
  movapd %xmm6,%xmm12
  movsd  D21(%rip),%xmm0
  movq   D13(%rip),%xmm9
  mulsd  %xmm0,%xmm14
  xorpd  %xmm9,%xmm12
  mulsd  %xmm0,%xmm12
  movapd %xmm14,%xmm11
  addsd  %xmm1,%xmm11
  xorpd  %xmm9,%xmm11
  divsd  %xmm4,%xmm11
  mulsd  %xmm11,%xmm13
  addsd  %xmm10,%xmm13
  comisd %xmm12,%xmm13
  ja     L431
L399:
  movapd %xmm8,%xmm11
L381:
  subsd  %xmm1,%xmm14
  movsd  %xmm11,0x10(%rsp)
  movapd %xmm3,%xmm13
  movapd %xmm14,%xmm11
  divsd  %xmm4,%xmm11
  mulsd  %xmm11,%xmm13
  addsd  %xmm10,%xmm13
  comisd %xmm12,%xmm13
  jbe    L356
  movapd %xmm6,%xmm12
  mulsd  %xmm0,%xmm12
  comisd %xmm13,%xmm12
  jbe    L356
  movapd %xmm5,%xmm13
  movsd  0x50(%rsp),%xmm12
  mulsd  %xmm11,%xmm13
  xorpd  %xmm9,%xmm12
  mulsd  %xmm12,%xmm0
  addsd  %xmm2,%xmm13
  comisd %xmm0,%xmm13
  jbe    L356
  xorpd  %xmm9,%xmm0
  comisd %xmm13,%xmm0
  jbe    L356
  movsd  %xmm11,0x18(%rsp)
  jmp    L205
  nopl   0x0(%rax)
L361:
  movsd  %xmm2,(%rdi)
  mov    $0x1,%r8d
  movsd  %xmm1,(%rsi)
  jmp    L112
  nopl   0x0(%rax,%rax,1)
L431:
  movapd %xmm6,%xmm15
  mulsd  %xmm0,%xmm15
  comisd %xmm13,%xmm15
  jbe    L399
  movapd %xmm5,%xmm13
  movsd  0x50(%rsp),%xmm15
  mulsd  %xmm11,%xmm13
  xorpd  %xmm9,%xmm15
  mulsd  %xmm0,%xmm15
  addsd  %xmm2,%xmm13
  comisd %xmm15,%xmm13
  jbe    L399
  xorpd  %xmm9,%xmm15
  cmpltsd %xmm15,%xmm13
  andpd  %xmm13,%xmm11
  jmp    L381
  nopl   (%rax)
L15:
  movapd %xmm6,%xmm15
  mulsd  %xmm0,%xmm15
  comisd %xmm14,%xmm15
  jbe    L160
  movapd %xmm4,%xmm14
  movapd %xmm7,%xmm15
  mulsd  %xmm13,%xmm14
  xorpd  %xmm9,%xmm15
  mulsd  %xmm0,%xmm15
  addsd  %xmm1,%xmm14
  comisd %xmm15,%xmm14
  jbe    L160
  xorpd  %xmm9,%xmm15
  cmpltsd %xmm15,%xmm14
  andpd  %xmm14,%xmm13
  jmp    L100
  nopl   0x0(%rax,%rax,1)
L468:
  movapd %xmm12,%xmm15
  xorpd  %xmm9,%xmm15
  comisd %xmm13,%xmm15
  jbe    L196
  movapd %xmm11,%xmm13
  movsd  0x50(%rsp),%xmm15
  mulsd  %xmm5,%xmm13
  xorpd  %xmm9,%xmm15
  mulsd  %xmm0,%xmm15
  addsd  %xmm2,%xmm13
  comisd %xmm15,%xmm13
  jbe    L196
  xorpd  %xmm9,%xmm15
  cmpltsd %xmm15,%xmm13
  andpd  %xmm13,%xmm11
  jmp    L296
  nopl   (%rax)
L356:
  movq   $0x0,0x18(%rsp)
  jmp    L205
  cs nopw 0x0(%rax,%rax,1)
L19:
  movq   $0x0,0x28(%rsp)
  jmp    L278
  xchg   %ax,%ax
L330:
  movq   $0x0,0x8(%rsp)
  jmp    L144
L184:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D21
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D13
type: byte[8]

tool: {"D21": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

tool: {"D13": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

assistant: ```c
int box_intersect(double *dt_in, double *dt_out, double x, double y, double z, double vx, double vy, double vz, double dx, double dy, double dz) {
  double x_in, y_in, z_in, tt, t[6], a, b;
  int i, count, s;
  if (vx != 0) {
    tt = -(dx / 2 + x) / vx;
    y_in = y + tt * vy;
    z_in = z + tt * vz;
    if (y_in > -dy / 2 && y_in < dy / 2 && z_in > -dz / 2 && z_in < dz / 2)
      t[0] = tt;
    else
      t[0] = 0;
    tt = (dx / 2 - x) / vx;
    y_in = y + tt * vy;
    z_in = z + tt * vz;
    if (y_in > -dy / 2 && y_in < dy / 2 && z_in > -dz / 2 && z_in < dz / 2)
      t[1] = tt;
    else
      t[1] = 0;
  } else
    t[0] = t[1] = 0;
  if (vy != 0) {
    tt = -(dy / 2 + y) / vy;
    x_in = x + tt * vx;
    z_in = z + tt * vz;
    if (x_in > -dx / 2 && x_in < dx / 2 && z_in > -dz / 2 && z_in < dz / 2)
      t[2] = tt;
    else
      t[2] = 0;
    tt = (dy / 2 - y) / vy;
    x_in = x + tt * vx;
    z_in = z + tt * vz;
    if (x_in > -dx / 2 && x_in < dx / 2 && z_in > -dz / 2 && z_in < dz / 2)
      t[3] = tt;
    else
      t[3] = 0;
  } else
    t[2] = t[3] = 0;
  if (vz != 0) {
    tt = -(dz / 2 + z) / vz;
    x_in = x + tt * vx;
    y_in = y + tt * vy;
    if (x_in > -dx / 2 && x_in < dx / 2 && y_in > -dy / 2 && y_in < dy / 2)
      t[4] = tt;
    else
      t[4] = 0;
    tt = (dz / 2 - z) / vz;
    x_in = x + tt * vx;
    y_in = y + tt * vy;
    if (x_in > -dx / 2 && x_in < dx / 2 && y_in > -dy / 2 && y_in < dy / 2)
      t[5] = tt;
    else
      t[5] = 0;
  } else
    t[4] = t[5] = 0;
  a = b = s = 0;
  count = 0;
  for (i = 0; i < 6; i = i + 1)
    if (t[i] == 0)
      s = s + 1;
    else if (count == 0) {
      a = t[i];
      count = 1;
    } else {
      b = t[i];
      count = 2;
    }
  if (a == 0 && b == 0)
    return 0;
  else if (a < b) {
    *dt_in = a;
    *dt_out = b;
    return 1;
  } else {
    *dt_in = b;
    *dt_out = a;
    return 1;
  }
}
```