user: 下面的汇编指令对应的C源代码是什么:

```asm
<kepler>:
  endbr64
  push   %rbx
  sub    $0x50,%rsp
  movsd  %xmm1,0x30(%rsp)
  call   <rev180@plt>
  movsd  %xmm0,0x20(%rsp)
  lea    0x48(%rsp),%rdi
  lea    0x40(%rsp),%rsi
  mulsd  D119(%rip),%xmm0
  call   <sincos@plt>
  movsd  0x40(%rsp),%xmm1
  subsd  0x30(%rsp),%xmm1
  movsd  0x48(%rsp),%xmm0
  call   <atan2@plt>
  movapd %xmm0,%xmm7
  mulsd  D42(%rip),%xmm7
  movsd  %xmm7,0x8(%rsp)
  movsd  0x30(%rsp),%xmm4
  comisd D15(%rip),%xmm4
  jbe    L51
  movapd %xmm4,%xmm5
  mulsd  D42(%rip),%xmm5
  movsd  %xmm5,0x28(%rsp)
  movsd  D79(%rip),%xmm0
  divsd  %xmm4,%xmm0
  movsd  %xmm0,0x38(%rsp)
  mulsd  D119(%rip),%xmm7
  movapd %xmm7,%xmm0
  call   <cos@plt>
  mulsd  0x30(%rsp),%xmm0
  movsd  D124(%rip),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,0x18(%rsp)
  mov    D0(%rip),%rbx
  jmp    L34
L45:
  mov    0x10(%rsp),%rbx
L34:
  movsd  D119(%rip),%xmm0
  mulsd  0x8(%rsp),%xmm0
  call   <sin@plt>
  mulsd  0x28(%rsp),%xmm0
  addsd  0x20(%rsp),%xmm0
  movsd  0x8(%rsp),%xmm2
  subsd  %xmm2,%xmm0
  divsd  0x18(%rsp),%xmm0
  addsd  %xmm0,%xmm2
  movsd  %xmm2,0x8(%rsp)
  andpd  D77(%rip),%xmm0
  movsd  %xmm0,0x10(%rsp)
  movsd  D33(%rip),%xmm7
  comisd %xmm0,%xmm7
  ja     L51
  movq   %rbx,%xmm1
  comisd %xmm1,%xmm0
  jae    L51
  comisd 0x38(%rsp),%xmm0
  jbe    L45
  mulsd  D119(%rip),%xmm2
  movapd %xmm2,%xmm0
  call   <cos@plt>
  mulsd  0x30(%rsp),%xmm0
  movsd  D124(%rip),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,0x18(%rsp)
  jmp    L45
L51:
  movsd  0x8(%rsp),%xmm0
  add    $0x50,%rsp
  pop    %rbx
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D119
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D42
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D15
type_guessed: f64[2]
name: extract_symbolic_data
arguments: tag: D79
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D124
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D0
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D77
type_guessed: qword[2]
name: extract_symbolic_data
arguments: tag: D33
type_guessed: byte[8]

tool: {"D119": [0x39,0x9d,0x52,0xa2,0x46,0xdf,0x91,0x3f]}

tool: {"D42": [0xf8,0xc1,0x63,0x1a,0xdc,0xa5,0x4c,0x40]}

tool: {"D15": [0.008,0.001]}

tool: {"D79": [0xfc,0xa9,0xf1,0xd2,0x4d,0x62,0x50,0x3f]}

tool: D124: 1

tool: {"D0": [0x00,0x00,0x00,0x20,0x5f,0xa0,0x02,0x42]}

tool: {"D77": [0x7fffffffffffffff,0x0000000000000000]}

tool: {"D33": [0x2b,0x69,0xa4,0x29,0x2b,0x1b,0x60,0x3e]}

assistant: ```c
double kepler(double m, double ex) {
  double m1, sinm, cosm, exd, exan, dexan, lim1, adko, adk, denom;
  int converged;
  m1 = rev180(m);
  sinm = sin(m1 * (3.14159265358979323846 / 180.0));
  cosm = cos(m1 * (3.14159265358979323846 / 180.0));
  exan = ((180.0 / 3.14159265358979323846) * atan2(sinm, cosm - ex));
  if (ex > 0.008) {
    exd = ex * (180.0 / 3.14159265358979323846);
    lim1 = 1E-3 / ex;
    adko = 1E+10;
    denom = 1.0 - ex * cos(exan * (3.14159265358979323846 / 180.0));
    do {
      dexan = (m1 + exd * sin(exan * (3.14159265358979323846 / 180.0)) - exan) / denom;
      exan = exan + dexan;
      adk = fabs(dexan);
      converged = adk < 3E-8 || adk >= adko;
      adko = adk;
      if (!converged && adk > lim1)
        denom = 1.0 - ex * cos(exan * (3.14159265358979323846 / 180.0));
    } while (!converged);
  }
  return exan;
}
```