user: Translate the below assembly code into C programming language:

```asm
<kepler>:
  endbr64
  sub    $0x58,%rsp
  movsd  %xmm1,0x30(%rsp)
  call   <rev180@plt>
  lea    0x48(%rsp),%rdi
  lea    0x40(%rsp),%rsi
  movsd  D76(%rip),%xmm5
  movsd  %xmm0,0x20(%rsp)
  mulsd  %xmm0,%xmm5
  movapd %xmm5,%xmm0
  call   <sincos@plt>
  movsd  0x40(%rsp),%xmm1
  subsd  0x30(%rsp),%xmm1
  movsd  0x48(%rsp),%xmm0
  call   <atan2@plt>
  movsd  0x30(%rsp),%xmm7
  comisd D85(%rip),%xmm7
  movapd %xmm0,%xmm2
  movsd  D98(%rip),%xmm0
  mulsd  %xmm0,%xmm2
  jbe    L47
  mulsd  %xmm7,%xmm0
  movsd  %xmm2,0x8(%rsp)
  movsd  %xmm0,0x28(%rsp)
  movsd  D15(%rip),%xmm0
  divsd  %xmm7,%xmm0
  movsd  %xmm0,0x38(%rsp)
  movsd  D76(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  call   <cos@plt>
  mulsd  0x30(%rsp),%xmm0
  movsd  D31(%rip),%xmm4
  movsd  D53(%rip),%xmm3
  movsd  0x8(%rsp),%xmm2
  movsd  %xmm3,0x18(%rsp)
  subsd  %xmm0,%xmm4
  movsd  %xmm4,0x10(%rsp)
  nopw   0x0(%rax,%rax,1)
L8:
  movsd  D76(%rip),%xmm0
  movsd  %xmm2,0x8(%rsp)
  mulsd  %xmm2,%xmm0
  call   <sin@plt>
  movsd  0x28(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm2
  movsd  D75(%rip),%xmm6
  mulsd  %xmm0,%xmm1
  addsd  0x20(%rsp),%xmm1
  subsd  %xmm2,%xmm1
  divsd  0x10(%rsp),%xmm1
  addsd  %xmm1,%xmm2
  andpd  D71(%rip),%xmm1
  comisd %xmm1,%xmm6
  ja     L47
  comisd 0x18(%rsp),%xmm1
  jae    L47
  comisd 0x38(%rsp),%xmm1
  jbe    L37
  movsd  D76(%rip),%xmm0
  movsd  %xmm1,0x18(%rsp)
  movsd  %xmm2,0x8(%rsp)
  mulsd  %xmm2,%xmm0
  call   <cos@plt>
  mulsd  0x30(%rsp),%xmm0
  movsd  D31(%rip),%xmm4
  movsd  0x8(%rsp),%xmm2
  movsd  0x18(%rsp),%xmm1
  subsd  %xmm0,%xmm4
  movsd  %xmm4,0x10(%rsp)
L37:
  movsd  %xmm1,0x18(%rsp)
  jmp    L8
  nopl   (%rax)
L47:
  movapd %xmm2,%xmm0
  add    $0x58,%rsp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D76
type_infered: byte[8]
name: extract_symbolic_data
arguments: label: D85
type_infered: f64[2]
name: extract_symbolic_data
arguments: label: D98
type_infered: byte[8]
name: extract_symbolic_data
arguments: label: D15
type_infered: byte[8]
name: extract_symbolic_data
arguments: label: D31
type_infered: f64
name: extract_symbolic_data
arguments: label: D53
type_infered: byte[8]
name: extract_symbolic_data
arguments: label: D75
type_infered: byte[8]
name: extract_symbolic_data
arguments: label: D71
type_infered: qword[2]

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

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

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

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

tool: D31: 1

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

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

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

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;
}
```