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

```asm
<fk52ecl>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xb0,%rsp
  mov    %rdi,%r12
  mov    %rsi,%rbp
  movq   %xmm0,%rbx
  mov    %fs:0x28,%rax
  mov    %rax,0xa8(%rsp)
  xor    %eax,%eax
  ucomisd D61(%rip),%xmm0
  jp     L11
  jne    L11
L67:
  movsd  (%r12),%xmm0
  mov    $0x1,%eax
  call   <degrad@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x10(%rsp)
  movsd  0x0(%rbp),%xmm0
  mov    $0x1,%eax
  call   <degrad@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  %xmm1,0x8(%rsp)
  movsd  D40(%rip),%xmm2
  movsd  %xmm2,0x18(%rsp)
  lea    0x20(%rsp),%rdi
  movsd  0x10(%rsp),%xmm0
  mov    $0x3,%eax
  call   <s2v3@plt>
  movq   %rbx,%xmm1
  subsd  D61(%rip),%xmm1
  mulsd  D80(%rip),%xmm1
  movapd %xmm1,%xmm0
  mulsd  D62(%rip),%xmm0
  subsd  D65(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  subsd  D25(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  D26(%rip),%xmm0
  mov    $0x1,%eax
  call   <secrad@plt>
  lea    0x60(%rsp),%rbx
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    %rbx,%rsi
  pxor   %xmm2,%xmm2
  movapd %xmm2,%xmm1
  mov    $0x1,%edi
  mov    $0x3,%eax
  call   <rotmat@plt>
  lea    0x40(%rsp),%rsi
  mov    %rbx,%rdx
  lea    0x20(%rsp),%rcx
  lea    0xa8(%rsp),%r8
  jmp    L37
L11:
  mov    %rbp,%rsi
  mov    %r12,%rdi
  movq   %rbx,%xmm1
  movsd  D61(%rip),%xmm0
  mov    $0x2,%eax
  call   <fk5prec@plt>
  jmp    L67
L7:
  add    $0x18,%rdx
  movsd  %xmm1,(%rdi)
  add    $0x8,%rsi
  cmp    %r8,%rdx
  je     L76
L37:
  mov    %rsi,%rdi
  mov    $0x0,%eax
  pxor   %xmm1,%xmm1
L3:
  movsd  (%rdx,%rax,1),%xmm0
  mulsd  (%rax,%rcx,1),%xmm0
  addsd  %xmm0,%xmm1
  add    $0x8,%rax
  cmp    $0x18,%rax
  jne    L3
  jmp    L7
L76:
  lea    0x18(%rsp),%rcx
  lea    0x8(%rsp),%rdx
  lea    0x10(%rsp),%rsi
  lea    0x40(%rsp),%rdi
  mov    $0x0,%eax
  call   <v2s3@plt>
  movsd  0x10(%rsp),%xmm0
  mov    $0x1,%eax
  call   <raddeg@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r12)
  movsd  0x8(%rsp),%xmm0
  mov    $0x1,%eax
  call   <raddeg@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x0(%rbp)
  mov    0xa8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L43
  add    $0xb0,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L43:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D61
datatype: f64
name: extract_symbolic_data
arguments: label: D40
datatype: f64
name: extract_symbolic_data
arguments: label: D80
datatype: f64
name: extract_symbolic_data
arguments: label: D62
datatype: f64
name: extract_symbolic_data
arguments: label: D65
datatype: f64
name: extract_symbolic_data
arguments: label: D25
datatype: f64
name: extract_symbolic_data
arguments: label: D26
datatype: f64

tool: D61: 2000

tool: D40: 1

tool: D80: 0.01

tool: D62: 0.001813

tool: D65: 0.00059

tool: D25: 46.815

tool: D26: 84381.448

assistant: ```c
void fk52ecl(dtheta, dphi, epoch) double *dtheta;
double *dphi;
double epoch;
{
  int i, j;
  double t, eps0, rphi, rtheta;
  double v1[3], v2[3], r;
  double rmat[9], *rmati;
  void rotmat(), v2s3(), s2v3(), fk5prec();
  if (epoch != 2000.0)
    fk5prec(2000.0, epoch, dtheta, dphi);
  rtheta = degrad(*dtheta);
  rphi = degrad(*dphi);
  r = 1.0;
  s2v3(rtheta, rphi, r, v1);
  t = (epoch - 2000.0) * 0.01;
  eps0 = secrad((84381.448 + (-46.8150 + (-0.00059 + 0.001813 * t) * t) * t));
  rotmat(1, eps0, 0.0, 0.0, rmat);
  rmati = rmat;
  for (i = 0; i < 3; i++) {
    v2[i] = 0;
    for (j = 0; j < 3; j++)
      v2[i] = v2[i] + (*rmati++ * v1[j]);
  }
  v2s3(v2, &rtheta, &rphi, &r);
  *dtheta = raddeg(rtheta);
  *dphi = raddeg(rphi);
}
```