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

```asm
<bslipds>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xa0,%rsp
  mov    %edi,-0x74(%rbp)
  movsd  %xmm0,-0x80(%rbp)
  mov    %rsi,-0x88(%rbp)
  mov    %rdx,-0x90(%rbp)
  mov    %rcx,-0x98(%rbp)
  mov    -0x88(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    -0x88(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x60(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x58(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x90(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  (%rax),%xmm0
  movsd  D74(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L14
  movsd  D74(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L14
  mov    -0x90(%rbp),%rax
  movsd  (%rax),%xmm0
  movq   D13(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  jmp    L47
L14:
  mov    -0x90(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  movq   D13(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm2
  movsd  -0x50(%rbp),%xmm0
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
L47:
  pxor   %xmm0,%xmm0
  comisd -0x70(%rbp),%xmm0
  jbe    L8
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x70(%rbp)
L8:
  mov    -0x88(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x88(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x90(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  (%rax),%xmm0
  movsd  D74(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L27
  movsd  D74(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L27
  mov    -0x90(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  movq   D13(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm2
  movsd  -0x38(%rbp),%xmm0
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  jmp    L71
L27:
  mov    -0x90(%rbp),%rax
  movsd  (%rax),%xmm0
  movq   D13(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  movsd  -0x38(%rbp),%xmm0
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
L71:
  pxor   %xmm0,%xmm0
  comisd -0x68(%rbp),%xmm0
  jbe    L6
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x68(%rbp)
L6:
  movsd  -0x60(%rbp),%xmm0
  divsd  -0x50(%rbp),%xmm0
  movsd  -0x70(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  divsd  -0x50(%rbp),%xmm0
  movsd  -0x70(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x58(%rbp),%xmm0
  divsd  -0x50(%rbp),%xmm0
  movsd  -0x70(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x48(%rbp),%xmm0
  divsd  -0x38(%rbp),%xmm0
  movsd  -0x68(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  divsd  -0x38(%rbp),%xmm0
  movsd  -0x68(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x40(%rbp),%xmm0
  divsd  -0x38(%rbp),%xmm0
  movsd  -0x68(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x88(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x98(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x98(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    -0x88(%rbp),%rax
  movsd  0x20(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x98(%rbp),%rax
  lea    0x10(%rax),%rdx
  mov    -0x88(%rbp),%rax
  movsd  0x28(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  movsd  -0x30(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm1
  mov    -0x98(%rbp),%rax
  add    $0x18,%rax
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x28(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  mov    -0x90(%rbp),%rax
  add    $0x48,%rax
  movsd  (%rax),%xmm0
  mov    -0x98(%rbp),%rax
  add    $0x20,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  mov    -0x90(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm1
  mov    -0x98(%rbp),%rax
  add    $0x28,%rax
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: read_data
arguments: tag: D74
type_infered: f64
name: read_data
arguments: tag: D13
type_infered: f32[2]

tool: D74: 1

tool: {"D13": [0.0,-0.0]}

assistant: ```c
void bslipds(unsigned n, double t, double *Y, double *p, double *f) {
  double l1, l2, F1, Fx1, Fy1, Fz1, Fx2, Fy2, Fz2, F2;
  double xr1, zr1, xr2, zr2;
  xr1 = Y[0] - p[10];
  zr1 = Y[2] - p[12];
  l1 = sqrt(xr1 * xr1 + Y[1] * Y[1] + zr1 * zr1);
  if (p[16] == 1.) {
    F1 = -p[0] * (l1 - p[4]);
  } else {
    F1 = -p[1] * (l1 - p[5]);
  }
  if (F1 < 0.) {
    F1 = 0.;
  }
  xr2 = Y[0] - p[13];
  zr2 = Y[2] - p[15];
  l2 = sqrt(xr2 * xr2 + Y[1] * Y[1] + zr2 * zr2);
  if (p[16] == 1.) {
    F2 = -p[1] * (l2 - p[5]);
  } else {
    F2 = -p[0] * (l2 - p[4]);
  }
  if (F2 < 0.) {
    F2 = 0.;
  }
  Fx1 = xr1 / l1 * F1;
  Fy1 = Y[1] / l1 * F1;
  Fz1 = zr1 / l1 * F1;
  Fx2 = xr2 / l2 * F2;
  Fy2 = Y[1] / l2 * F2;
  Fz2 = zr2 / l2 * F2;
  f[0] = Y[3];
  f[1] = Y[4];
  f[2] = Y[5];
  f[3] = (Fx1 + Fx2) / p[8];
  f[4] = (Fy1 + Fy2) / p[8] + p[9];
  f[5] = (Fz1 + Fz2) / p[8];
}
```