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

```asm
<Moon>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x78,%rsp
  movapd %xmm0,%xmm8
  movsd  %xmm1,0x10(%rsp)
  movsd  %xmm2,0x18(%rsp)
  movsd  %xmm3,0x20(%rsp)
  movsd  %xmm4,0x48(%rsp)
  movsd  %xmm5,0x50(%rsp)
  mov    %rdi,%rbx
  mov    %rsi,%r14
  mov    %rcx,0x58(%rsp)
  mov    %r8,%r13
  mov    %r9,%r15
  movapd %xmm1,%xmm7
  movapd %xmm1,%xmm6
  mulsd  %xmm2,%xmm6
  movapd %xmm1,%xmm3
  mulsd  D209(%rip),%xmm3
  movapd %xmm3,%xmm0
  addsd  D177(%rip),%xmm0
  movapd %xmm2,%xmm1
  mulsd  D186(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm6,%xmm1
  divsd  D311(%rip),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  %xmm8,%xmm0
  movsd  %xmm0,(%rdi)
  movapd %xmm7,%xmm0
  mulsd  D140(%rip),%xmm0
  addsd  D178(%rip),%xmm0
  mulsd  %xmm8,%xmm0
  movsd  %xmm0,(%rsi)
  movapd %xmm7,%xmm1
  mulsd  D12(%rip),%xmm1
  movsd  D303(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movapd %xmm2,%xmm1
  mulsd  D21(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm6,%xmm1
  divsd  D89(%rip),%xmm1
  addsd  %xmm1,%xmm0
  mulsd  %xmm8,%xmm0
  movsd  %xmm0,(%rdx)
  movapd %xmm7,%xmm0
  mulsd  D189(%rip),%xmm0
  addsd  D59(%rip),%xmm0
  movapd %xmm2,%xmm1
  mulsd  D285(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm6,0x28(%rsp)
  movapd %xmm6,%xmm1
  divsd  D324(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm5
  movsd  %xmm8,0x8(%rsp)
  mulsd  %xmm8,%xmm5
  lea    0x68(%rsp),%rbp
  lea    0x60(%rsp),%r12
  mov    %r12,%rsi
  mov    %rbp,%rdi
  movsd  %xmm5,(%rsp)
  movapd %xmm5,%xmm0
  call   <sincos@plt>
  movsd  0x60(%rsp),%xmm2
  movsd  %xmm2,0x30(%rsp)
  movsd  0x68(%rsp),%xmm3
  movsd  %xmm3,0x38(%rsp)
  movsd  0x10(%rsp),%xmm7
  mulsd  D313(%rip),%xmm7
  movapd %xmm7,%xmm0
  addsd  D41(%rip),%xmm0
  movsd  0x18(%rsp),%xmm4
  mulsd  D135(%rip),%xmm4
  subsd  %xmm4,%xmm0
  movsd  0x28(%rsp),%xmm1
  divsd  D240(%rip),%xmm1
  addsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm0
  movapd %xmm0,%xmm3
  mulsd  0x8(%rsp),%xmm3
  movsd  %xmm3,0x10(%rsp)
  mov    %r12,%rsi
  mov    %rbp,%rdi
  movapd %xmm3,%xmm0
  call   <sincos@plt>
  movsd  0x60(%rsp),%xmm7
  movsd  %xmm7,0x18(%rsp)
  movsd  0x68(%rsp),%xmm4
  movsd  %xmm4,0x40(%rsp)
  movsd  0x10(%rsp),%xmm3
  subsd  (%rsp),%xmm3
  movapd %xmm3,%xmm0
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <sincos@plt>
  movsd  0x30(%rsp),%xmm2
  mulsd  D169(%rip),%xmm2
  movapd %xmm2,%xmm0
  movsd  D24(%rip),%xmm1
  mulsd  0x60(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x18(%rsp),%xmm7
  mulsd  D93(%rip),%xmm7
  subsd  %xmm7,%xmm0
  addsd  D298(%rip),%xmm0
  movsd  %xmm0,(%r15)
  mov    (%rbx),%r12
  movq   %r12,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rbp
  movq   %r12,%xmm7
  addsd  (%rsp),%xmm7
  movapd %xmm7,%xmm0
  call   <sin@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  (%rsp),%xmm0
  movq   %r12,%xmm6
  subsd  %xmm6,%xmm0
  call   <sin@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  0x10(%rsp),%xmm3
  movq   %r12,%xmm7
  subsd  %xmm7,%xmm3
  movapd %xmm3,%xmm0
  call   <sin@plt>
  movq   %rbp,%xmm6
  mulsd  D71(%rip),%xmm6
  movapd %xmm6,%xmm1
  movsd  0x18(%rsp),%xmm7
  mulsd  D199(%rip),%xmm7
  addsd  %xmm7,%xmm1
  movsd  0x28(%rsp),%xmm2
  mulsd  D45(%rip),%xmm2
  addsd  %xmm2,%xmm1
  mulsd  D280(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,0x0(%r13)
  movsd  (%rsp),%xmm0
  addsd  %xmm0,%xmm0
  call   <sin@plt>
  movq   %xmm0,%r12
  movsd  0x50(%rsp),%xmm0
  call   <sin@plt>
  movq   %xmm0,%rbp
  movsd  (%rbx),%xmm0
  addsd  %xmm0,%xmm0
  call   <sin@plt>
  movsd  0x38(%rsp),%xmm1
  mulsd  D64(%rip),%xmm1
  movsd  D129(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x40(%rsp),%xmm2
  mulsd  D326(%rip),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D176(%rip),%xmm2
  addsd  %xmm2,%xmm1
  movq   %rbp,%xmm2
  mulsd  D51(%rip),%xmm2
  subsd  %xmm2,%xmm1
  mulsd  D19(%rip),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  0x8(%rsp),%xmm1
  addsd  (%r14),%xmm1
  movq   %xmm1,%rbx
  mov    0x58(%rsp),%rax
  movsd  %xmm1,(%rax)
  movsd  (%r15),%xmm0
  movapd %xmm0,%xmm6
  divsd  0x48(%rsp),%xmm6
  movsd  %xmm6,(%rsp)
  movsd  0x0(%r13),%xmm0
  call   <cos@plt>
  movq   %xmm0,%rbp
  movsd  0x8(%rsp),%xmm0
  mulsd  0x20(%rsp),%xmm0
  movq   %rbx,%xmm3
  subsd  %xmm3,%xmm0
  call   <sin@plt>
  movapd %xmm0,%xmm1
  movq   %rbp,%xmm4
  movsd  (%rsp),%xmm6
  mulsd  %xmm6,%xmm4
  movapd %xmm4,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  0x8(%rsp),%xmm8
  divsd  %xmm8,%xmm0
  movsd  0x20(%rsp),%xmm1
  addsd  D179(%rip),%xmm1
  addsd  %xmm1,%xmm0
  mulsd  %xmm8,%xmm0
  mov    0xb0(%rsp),%rax
  movsd  %xmm0,(%rax)
  mulsd  0x0(%r13),%xmm6
  movapd %xmm6,%xmm0
  mulsd  %xmm8,%xmm0
  mov    0xb8(%rsp),%rax
  movsd  %xmm0,(%rax)
  add    $0x78,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: label: D209
datatype: byte[8]
name: read_data
arguments: label: D177
datatype: f64
name: read_data
arguments: label: D186
datatype: byte[8]
name: read_data
arguments: label: D311
datatype: byte[8]
name: read_data
arguments: label: D140
datatype: f64
name: read_data
arguments: label: D178
datatype: f64
name: read_data
arguments: label: D12
datatype: f64
name: read_data
arguments: label: D303
datatype: f64
name: read_data
arguments: label: D21
datatype: byte[8]
name: read_data
arguments: label: D89
datatype: byte[8]
name: read_data
arguments: label: D189
datatype: byte[8]
name: read_data
arguments: label: D59
datatype: f64
name: read_data
arguments: label: D285
datatype: byte[8]
name: read_data
arguments: label: D324
datatype: byte[8]
name: read_data
arguments: label: D313
datatype: byte[8]
name: read_data
arguments: label: D41
datatype: f64
name: read_data
arguments: label: D135
datatype: byte[8]
name: read_data
arguments: label: D240
datatype: byte[8]
name: read_data
arguments: label: D169
datatype: byte[8]
name: read_data
arguments: label: D24
datatype: byte[8]
name: read_data
arguments: label: D93
datatype: byte[8]
name: read_data
arguments: label: D298
datatype: byte[8]
name: read_data
arguments: label: D71
datatype: f64
name: read_data
arguments: label: D199
datatype: byte[8]
name: read_data
arguments: label: D45
datatype: byte[8]
name: read_data
arguments: label: D280
datatype: byte[8]
name: read_data
arguments: label: D64
datatype: f64
name: read_data
arguments: label: D129
datatype: f64
name: read_data
arguments: label: D326
datatype: byte[8]
name: read_data
arguments: label: D176
datatype: byte[8]
name: read_data
arguments: label: D51
datatype: byte[8]
name: read_data
arguments: label: D19
datatype: byte[8]
name: read_data
arguments: label: D179
datatype: byte[8]

tool: {"D209": [0x00,0x00,0x00,0x00,0x08,0x7e,0x1d,0x41]}

tool: D177: 93.2721

tool: {"D186": [0x99,0x4b,0xaa,0xb6,0x9b,0xe0,0x6b,0x3f]}

tool: {"D311": [0x00,0x00,0x00,0x00,0xb8,0xe6,0x4a,0x41]}

tool: D140: 481268

tool: D178: 218.316

tool: D12: 1934.14

tool: D303: 125.045

tool: {"D21": [0x98,0xf8,0xa3,0xa8,0x33,0xf7,0x60,0x3f]}

tool: {"D89": [0x00,0x00,0x00,0x00,0x40,0x77,0x1b,0x41]}

tool: {"D189": [0x00,0x00,0x00,0x00,0x3c,0x20,0x1d,0x41]}

tool: D59: 134.963

tool: {"D285": [0x2d,0xce,0x18,0xe6,0x04,0x6d,0x82,0x3f]}

tool: {"D324": [0x00,0x00,0x00,0x00,0x40,0x04,0xf1,0x40]}

tool: {"D313": [0x00,0x00,0x00,0x00,0x4c,0x2d,0x1b,0x41]}

tool: D41: 297.85

tool: {"D135": [0xa2,0x97,0x51,0x2c,0xb7,0xb4,0x5a,0x3f]}

tool: {"D240": [0x00,0x00,0x00,0x00,0xd8,0xa8,0x20,0x41]}

tool: {"D169": [0x00,0x00,0x00,0x00,0x80,0x76,0xd4,0xc0]}

tool: {"D24": [0x00,0x00,0x00,0x00,0x00,0xe6,0xac,0x40]}

tool: {"D93": [0x00,0x00,0x00,0x00,0x00,0x18,0xa7,0x40]}

tool: {"D298": [0x00,0x00,0x00,0x00,0xa0,0x7f,0x17,0x41]}

tool: D71: 5.128

tool: {"D199": [0x85,0x7c,0xd0,0xb3,0x59,0xf5,0xd1,0x3f]}

tool: {"D45": [0x4b,0x59,0x86,0x38,0xd6,0xc5,0xd1,0x3f]}

tool: {"D280": [0xcf,0x66,0xd5,0xe7,0x6a,0x2b,0xc6,0x3f]}

tool: D64: 6.289

tool: D129: 1.274

tool: {"D326": [0x1b,0x9e,0x5e,0x29,0xcb,0x10,0xe5,0x3f]}

tool: {"D176": [0x10,0x7a,0x36,0xab,0x3e,0x57,0xcb,0x3f]}

tool: {"D51": [0x36,0xab,0x3e,0x57,0x5b,0xb1,0xc7,0x3f]}

tool: {"D19": [0xfb,0xcb,0xee,0xc9,0xc3,0x42,0xbd,0x3f]}

tool: {"D179": [0x00,0x00,0x00,0x00,0x00,0x80,0x66,0x40]}

assistant: ```c
void Moon(double RAD, double T, double T2, double LAM0, double R, double M, double *F, double *L1, double *OM, double *LAM, double *B, double *DR, double *LAMH, double *BH) {
  double T3, M1, D2, SUMR, SUML, DIST;
  T3 = T * T2;
  *F = (93.2721 + 483202 * T - .003403 * T2 - T3 / 3526000) * RAD;
  *L1 = (218.316 + 481268. * T) * RAD;
  *OM = (125.045 - 1934.14 * T + .002071 * T2 + T3 / 450000) * RAD;
  M1 = (134.963 + 477199 * T + .008997 * T2 + T3 / 69700) * RAD;
  D2 = (297.85 + 445267 * T - .00163 * T2 + T3 / 545900) * 2 * RAD;
  SUMR = -20954 * cos(M1) - 3699 * cos(D2 - M1) - 2956 * cos(D2);
  *DR = 385000 + SUMR;
  *B = 5.128 * sin(*F) + .2806 * sin(M1 + *F) + .2777 * sin(M1 - *F) + .1732 * sin(D2 - *F);
  SUML = 6.289 * sin(M1) + 1.274 * sin(D2 - M1) + .6583 * sin(D2) + .2136 * sin(2 * M1) - .1851 * sin(M) - .1143 * sin(2 * *F);
  *LAM = *L1 + SUML * RAD;
  DIST = *DR / R;
  *LAMH = (LAM0 + 180 + DIST * cos(*B) * sin(LAM0 * RAD - *LAM) / RAD) * RAD;
  *BH = DIST * *B * RAD;
}
```