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

```asm
<reb_drift_kepu_p3solve>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x90,%rsp
  movsd  %xmm0,-0x58(%rbp)
  movsd  %xmm1,-0x60(%rbp)
  movsd  %xmm2,-0x68(%rbp)
  movsd  %xmm3,-0x70(%rbp)
  movsd  %xmm4,-0x78(%rbp)
  mov    %rdi,-0x80(%rbp)
  mov    %rsi,-0x88(%rbp)
  movsd  -0x70(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x60(%rbp),%xmm1
  movsd  -0x68(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  D48(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x78(%rbp),%xmm1
  movsd  D20(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  divsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x60(%rbp),%xmm0
  divsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x58(%rbp),%xmm0
  movq   D27(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  divsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  D19(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  D19(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm2
  movsd  D19(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  D48(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  -0x38(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  D109(%rip),%xmm3
  movapd %xmm0,%xmm2
  divsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  movsd  -0x18(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x10(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm0
  jb     L0
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x8(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  jb     L11
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  movq   D27(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movq   %xmm0,%rax
  mov    $0x0,%edi
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  movq   D27(%rip),%xmm0
  movq   %rax,%xmm5
  xorpd  %xmm0,%xmm5
  movapd %xmm5,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  jmp    L3
L11:
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  mov    $0x0,%edi
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
L3:
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x8(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  jb     L46
  movsd  -0x18(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  movq   D27(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movq   %xmm0,%rax
  mov    $0x0,%edi
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  movq   D27(%rip),%xmm0
  movq   %rax,%xmm6
  xorpd  %xmm0,%xmm6
  movapd %xmm6,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  jmp    L44
L46:
  movsd  -0x18(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  mov    $0x0,%edi
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
L44:
  mov    -0x88(%rbp),%rax
  movl   $0x0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  -0x38(%rbp),%xmm1
  movsd  D19(%rip),%xmm2
  divsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x80(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L13
L0:
  mov    -0x88(%rbp),%rax
  movl   $0x1,(%rax)
  mov    -0x80(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
L13:
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D48
type: f64
name: extract_symbolic_data
arguments: data_label: D20
type: f64
name: extract_symbolic_data
arguments: data_label: D27
type: f32[2]
name: extract_symbolic_data
arguments: data_label: D19
type: f64
name: extract_symbolic_data
arguments: data_label: D109
type: f64

tool: D48: 6

tool: D20: 0.5

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

tool: D19: 3

tool: D109: 27

assistant: ```c
void reb_drift_kepu_p3solve(double dt0, double r0, double mu, double alpha, double u, double *s, int *iflag) {
  double denom = (mu - alpha * r0) / 6.;
  double a2 = 0.5 * u / denom;
  double a1 = r0 / denom;
  double a0 = -dt0 / denom;
  double q = (a1 - a2 * a2 / 3.) / 3.;
  double r = (a1 * a2 - 3. * a0) / 6. - a2 * a2 * a2 / 27.;
  double sq2 = q * q * q + r * r;
  if (sq2 >= 0.) {
    double sq = sqrt(sq2);
    double p1, p2;
    if ((r + sq) <= 0.) {
      p1 = -pow(-(r + sq), 1. / 3.);
    } else {
      p1 = pow(r + sq, 1. / 3.);
    }
    if ((r - sq) <= 0.) {
      p2 = -pow(-(r - sq), 1. / 3.);
    } else {
      p2 = pow(r - sq, 1. / 3.);
    }
    *iflag = 0;
    *s = p1 + p2 - a2 / 3.;
  } else {
    *iflag = 1;
    *s = 0;
  }
}
```