user: Please show me the C implementation that matches the assembly code listed below:

```asm
<p01t_BDSEquation6Stadler2010>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x60,%rsp
  movsd  %xmm0,-0x38(%rbp)
  movsd  %xmm1,-0x40(%rbp)
  movsd  %xmm2,-0x48(%rbp)
  movsd  %xmm3,-0x50(%rbp)
  movsd  %xmm4,-0x58(%rbp)
  mov    %rdi,-0x60(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jg     L84
  pxor   %xmm0,%xmm0
  ucomisd -0x58(%rbp),%xmm0
  jp     L84
  pxor   %xmm0,%xmm0
  ucomisd -0x58(%rbp),%xmm0
  jne    L84
  movsd  D156(%rip),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x50(%rbp),%xmm1
  movsd  -0x40(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  D156(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  D156(%rip),%xmm0
  subsd  -0x20(%rbp),%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  divsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  jmp    L5
L84:
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jle    L41
  pxor   %xmm0,%xmm0
  ucomisd -0x58(%rbp),%xmm0
  jp     L41
  pxor   %xmm0,%xmm0
  ucomisd -0x58(%rbp),%xmm0
  jne    L41
  movsd  -0x48(%rbp),%xmm0
  subsd  -0x40(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x18(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  movsd  -0x50(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0x40(%rbp),%xmm3
  movsd  -0x40(%rbp),%xmm1
  subsd  -0x48(%rbp),%xmm1
  movsd  -0x50(%rbp),%xmm2
  mulsd  -0x40(%rbp),%xmm2
  subsd  %xmm2,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  addsd  %xmm3,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  D156(%rip),%xmm0
  subsd  -0x20(%rbp),%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  divsd  -0x50(%rbp),%xmm0
  movsd  -0x18(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  jmp    L5
L41:
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x58(%rbp),%xmm1
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  subsd  -0x58(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D10(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x58(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x10(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x10(%rbp),%xmm0
  jp     L93
  pxor   %xmm0,%xmm0
  ucomisd -0x10(%rbp),%xmm0
  jne    L93
  lea    D171(%rip),%rax
  mov    %rax,%rdi
  call   <error2@plt>
L93:
  movsd  -0x40(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x48(%rbp),%xmm1
  movsd  -0x40(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x50(%rbp),%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  subsd  -0x58(%rbp),%xmm0
  movq   D13(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  divsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x10(%rbp),%xmm0
  movq   D13(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x18(%rbp)
  movsd  D156(%rip),%xmm0
  subsd  -0x8(%rbp),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movsd  -0x8(%rbp),%xmm2
  movsd  D156(%rip),%xmm1
  addsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  D156(%rip),%xmm1
  subsd  -0x8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  -0x8(%rbp),%xmm3
  movsd  D156(%rip),%xmm1
  addsd  %xmm3,%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x58(%rbp),%xmm1
  movsd  -0x10(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x40(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  divsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm1
  movsd  D10(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  %xmm0,%xmm2
  movsd  D156(%rip),%xmm0
  subsd  %xmm2,%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  movsd  D156(%rip),%xmm0
  movapd %xmm0,%xmm3
  subsd  -0x8(%rbp),%xmm3
  movsd  D156(%rip),%xmm0
  subsd  -0x8(%rbp),%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  addsd  %xmm0,%xmm2
  movsd  -0x8(%rbp),%xmm3
  movsd  D156(%rip),%xmm0
  addsd  %xmm0,%xmm3
  movsd  -0x8(%rbp),%xmm4
  movsd  D156(%rip),%xmm0
  addsd  %xmm4,%xmm0
  mulsd  %xmm3,%xmm0
  divsd  -0x18(%rbp),%xmm0
  addsd  %xmm0,%xmm2
  divsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
L5:
  movsd  -0x28(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D156
type: byte[8]
name: retrieve_data
arguments: data_label: D10
type: byte[8]
name: retrieve_data
arguments: data_label: D171
type: string
name: retrieve_data
arguments: data_label: D13
type: byte[8]

tool: {"D156": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D10": [0x00,0x00,0x00,0x00,0x00,0x00,0x10,0x40]}

tool: D171: c1==0

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

assistant: ```c
double p01t_BDSEquation6Stadler2010(double t, double lambda, double mu, double rho, double psi, double *p0t) {
  double c1, c2, e, r, p1t;
  if (fabs(lambda - mu) < 1e-20 && psi == 0) {
    r = 1 / (1 / rho + lambda * t);
    *p0t = 1 - r;
    p1t = r * r / rho;
  } else if (fabs(lambda - mu) > 1e-20 && psi == 0) {
    e = exp((mu - lambda) * t);
    r = rho * (lambda - mu) / (rho * lambda + (lambda - mu - rho * lambda) * e);
    *p0t = 1 - r;
    p1t = r * r / rho * e;
  } else {
    c1 = sqrt(((lambda - mu - psi) * (lambda - mu - psi)) + 4 * lambda * psi);
    if (c1 == 0)
      error2("c1==0");
    c2 = -(lambda - mu - 2 * lambda * rho - psi) / c1;
    e = exp(-c1 * t);
    r = (e * (1 - c2) - (1 + c2)) / (e * (1 - c2) + (1 + c2));
    *p0t = (lambda + mu + psi + c1 * r) / (2 * lambda);
    p1t = 4 * rho / (2 * (1 - c2 * c2) + e * ((1 - c2) * (1 - c2)) + ((1 + c2) * (1 + c2)) / e);
  }
  return (p1t);
}
```