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

```asm
<fk52ecl>:
  endbr64
  push   %r13
  movapd %xmm0,%xmm3
  push   %r12
  mov    %rdi,%r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  sub    $0xc8,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0xb8(%rsp)
  xor    %eax,%eax
  ucomisd D32(%rip),%xmm0
  jp     L8
  jne    L8
L17:
  movsd  (%r12),%xmm0
  mov    $0x1,%eax
  movsd  %xmm3,0x8(%rsp)
  lea    0x30(%rsp),%r13
  lea    0x70(%rsp),%rbx
  call   <degrad@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    $0x1,%eax
  movsd  %xmm0,0x20(%rsp)
  movsd  0x0(%rbp),%xmm0
  call   <degrad@plt>
  pxor   %xmm1,%xmm1
  movsd  D20(%rip),%xmm2
  mov    %r13,%rdi
  cvtsi2sd %eax,%xmm1
  movsd  0x20(%rsp),%xmm0
  mov    $0x3,%eax
  movsd  %xmm2,0x28(%rsp)
  movsd  %xmm1,0x18(%rsp)
  call   <s2v3@plt>
  movsd  0x8(%rsp),%xmm3
  mov    $0x1,%eax
  subsd  D32(%rip),%xmm3
  movsd  D59(%rip),%xmm0
  movsd  D57(%rip),%xmm2
  mulsd  %xmm3,%xmm0
  mulsd  %xmm0,%xmm2
  subsd  D77(%rip),%xmm2
  mulsd  %xmm0,%xmm2
  subsd  D23(%rip),%xmm2
  mulsd  %xmm2,%xmm0
  addsd  D2(%rip),%xmm0
  call   <secrad@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm2,%xmm2
  mov    %rbx,%rsi
  cvtsi2sd %eax,%xmm0
  mov    $0x1,%edi
  movapd %xmm2,%xmm1
  mov    $0x3,%eax
  call   <rotmat@plt>
  lea    0x50(%rsp),%rdi
  mov    %rbx,%rdx
  movq   $0x0,0x60(%rsp)
  pxor   %xmm0,%xmm0
  mov    %rdi,%rcx
  lea    0xb8(%rsp),%rsi
  movaps %xmm0,0x50(%rsp)
L0:
  xor    %eax,%eax
  pxor   %xmm1,%xmm1
L54:
  movsd  (%rdx,%rax,1),%xmm0
  mulsd  0x0(%r13,%rax,1),%xmm0
  add    $0x8,%rax
  addsd  %xmm0,%xmm1
  cmp    $0x18,%rax
  jne    L54
  add    $0x18,%rdx
  movsd  %xmm1,(%rcx)
  add    $0x8,%rcx
  cmp    %rsi,%rdx
  jne    L0
  lea    0x28(%rsp),%rcx
  lea    0x18(%rsp),%rdx
  xor    %eax,%eax
  lea    0x20(%rsp),%rsi
  call   <v2s3@plt>
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%eax
  call   <raddeg@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    $0x1,%eax
  movsd  %xmm0,(%r12)
  movsd  0x18(%rsp),%xmm0
  call   <raddeg@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x0(%rbp)
  mov    0xb8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L26
  add    $0xc8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   0x0(%rax,%rax,1)
L8:
  movapd %xmm3,%xmm1
  mov    %rbp,%rsi
  mov    %r12,%rdi
  movsd  %xmm3,0x8(%rsp)
  mov    D32(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <fk5prec@plt>
  movsd  0x8(%rsp),%xmm3
  jmp    L17
L26:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: label: D32
type_infered: f64
name: disassemble_data
arguments: label: D20
type_infered: f64
name: disassemble_data
arguments: label: D59
type_infered: f64
name: disassemble_data
arguments: label: D57
type_infered: f64
name: disassemble_data
arguments: label: D77
type_infered: f64
name: disassemble_data
arguments: label: D23
type_infered: f64
name: disassemble_data
arguments: label: D2
type_infered: f64

tool: D32: 2000

tool: D20: 1

tool: D59: 0.01

tool: D57: 0.001813

tool: D77: 0.00059

tool: D23: 46.815

tool: D2: 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);
}
```