user: What would the C source look like for the assembly code provided here:

```asm
<binaryStarOrbit>:
  endbr64
  push   %r15
  subsd  %xmm1,%xmm0
  movq   %xmm5,%r15
  push   %r14
  movq   %xmm4,%r14
  push   %r12
  push   %rbp
  mov    %rdi,%rbp
  push   %rbx
  mov    %rsi,%rbx
  sub    $0x40,%rsp
  movsd  D97(%rip),%xmm4
  movsd  %xmm3,0x18(%rsp)
  lea    0x28(%rsp),%rdi
  divsd  %xmm7,%xmm4
  movsd  %xmm6,(%rsp)
  movsd  %xmm2,0x8(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  mov    D97(%rip),%rax
  mulsd  %xmm0,%xmm4
  movq   %rax,%xmm0
  mov    $0x1,%eax
  movsd  %xmm4,0x28(%rsp)
  call   <range@plt>
  movsd  0x8(%rsp),%xmm2
  movsd  0x28(%rsp),%xmm0
  mov    $0x2,%eax
  movapd %xmm2,%xmm1
  call   <solveKepler@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    %eax,%r12d
  call   <cos@plt>
  movsd  0x8(%rsp),%xmm2
  movsd  D78(%rip),%xmm5
  movapd %xmm0,%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm2,%xmm1
  movapd %xmm5,%xmm6
  subsd  %xmm2,%xmm4
  subsd  %xmm1,%xmm6
  movapd %xmm5,%xmm1
  divsd  %xmm6,%xmm4
  movapd %xmm4,%xmm0
  movapd %xmm2,%xmm4
  mulsd  %xmm2,%xmm4
  mulsd  %xmm0,%xmm2
  subsd  %xmm4,%xmm1
  mulsd  (%rsp),%xmm1
  addsd  %xmm5,%xmm2
  divsd  %xmm2,%xmm1
  movsd  %xmm1,0x10(%rsp)
  call   <acos@plt>
  cmp    $0x3,%r12d
  movsd  0x18(%rsp),%xmm3
  jle    L27
  xorpd  D67(%rip),%xmm0
L27:
  mulsd  D81(%rip),%xmm3
  divsd  D105(%rip),%xmm3
  addsd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  movsd  %xmm3,0x8(%rsp)
  call   <tan@plt>
  movsd  D81(%rip),%xmm5
  movq   %r15,%xmm6
  movsd  %xmm0,(%rsp)
  mulsd  %xmm6,%xmm5
  movapd %xmm5,%xmm0
  divsd  D105(%rip),%xmm0
  call   <cos@plt>
  mulsd  (%rsp),%xmm0
  call   <atan@plt>
  movq   %r14,%xmm5
  movsd  D81(%rip),%xmm1
  movsd  0x8(%rsp),%xmm3
  mulsd  %xmm5,%xmm1
  divsd  D105(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm1,0x18(%rsp)
  movsd  %xmm0,(%rsp)
  movapd %xmm3,%xmm0
  call   <cos@plt>
  movsd  0x18(%rsp),%xmm1
  movsd  (%rsp),%xmm7
  movsd  %xmm0,0x8(%rsp)
  subsd  %xmm1,%xmm7
  movapd %xmm7,%xmm0
  call   <cos@plt>
  movsd  0x8(%rsp),%xmm1
  mulsd  0x10(%rsp),%xmm1
  divsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  ja     L12
  movsd  (%rsp),%xmm7
  movsd  %xmm7,0x30(%rsp)
L15:
  mov    D97(%rip),%rax
  lea    0x30(%rsp),%rdi
  movsd  %xmm1,(%rsp)
  movq   %rax,%xmm0
  mov    $0x1,%eax
  call   <range@plt>
  movsd  0x30(%rsp),%xmm0
  movsd  (%rsp),%xmm1
  movsd  %xmm0,0x0(%rbp)
  movsd  %xmm1,(%rbx)
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L39
  add    $0x40,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L12:
  movsd  D81(%rip),%xmm0
  addsd  (%rsp),%xmm0
  xorpd  D67(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  jmp    L15
L39:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D97
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D78
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D67
type_guessed: byte[16]
name: extract_symbolic_data
arguments: tag: D81
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D105
type_guessed: f64

tool: {"D97": [0x18,0x2d,0x44,0x54,0xfb,0x21,0x19,0x40]}

tool: D78: 1

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

tool: D81: 3.141592653589793

tool: D105: 180

assistant: ```c
void binaryStarOrbit(double t, double T, double e, double o, double O, double i, double a, double P, double *thetap, double *rhop) {
  double M, E, cosE, nu, cosnu, r, rho, theta;
  M = 2 * 3.141592653589793 / P * (t - T);
  range(&M, 2 * 3.141592653589793);
  E = solveKepler(M, e);
  cosE = cos(E);
  cosnu = (cosE - e) / (1.0 - e * cosE);
  r = a * (1.0 - e * e) / (1.0 + e * cosnu);
  nu = acos(cosnu);
  if (E > 3.141592653589793)
    nu = -nu;
  theta = atan(tan(nu + ((o)*3.141592653589793 / 180.)) * cos(((i)*3.141592653589793 / 180.))) + ((O)*3.141592653589793 / 180.);
  rho = r * cos(nu + ((o)*3.141592653589793 / 180.)) / cos(theta - ((O)*3.141592653589793 / 180.));
  if (rho < 0) {
    theta += 3.141592653589793;
    rho = -rho;
  }
  range(&theta, 2 * 3.141592653589793);
  *thetap = theta;
  *rhop = rho;
}
```