user: What would the C source look like for the assembly code provided here?

```asm
<ramd>:
  endbr64
  push   %r14
  push   %rbx
  sub    $0x18,%rsp
  cmp    $0x1,%edi
  jle    L27
  pxor   %xmm6,%xmm6
  cvtsi2sd %edi,%xmm6
  movq   %xmm6,%r14
  movsd  D56(%rip),%xmm6
  movsd  %xmm6,0x8(%rsp)
  mov    D109(%rip),%rbx
  movsd  %xmm6,(%rsp)
L9:
  movsd  D70(%rip),%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  movapd %xmm0,%xmm1
  subsd  D56(%rip),%xmm1
  mulsd  %xmm0,%xmm1
  movapd %xmm0,%xmm2
  subsd  D16(%rip),%xmm2
  mulsd  %xmm2,%xmm1
  subsd  D14(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movapd %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  D34(%rip),%xmm2
  mulsd  %xmm2,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm2,%xmm0
  divsd  %xmm0,%xmm1
  movapd %xmm1,%xmm4
  mulsd  0x8(%rsp),%xmm4
  movapd %xmm3,%xmm0
  mulsd  D92(%rip),%xmm0
  addsd  D109(%rip),%xmm0
  movsd  %xmm4,0x8(%rsp)
  mulsd  %xmm4,%xmm0
  movq   %rbx,%xmm6
  addsd  %xmm0,%xmm6
  movq   %xmm6,%rbx
  lea    D24(%rip),%rdi
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm0
  lea    D85(%rip),%rdi
  call   <printf@plt>
  movsd  D56(%rip),%xmm5
  addsd  (%rsp),%xmm5
  movsd  %xmm5,(%rsp)
  movq   %r14,%xmm7
  comisd %xmm5,%xmm7
  ja     L9
L13:
  mov    $0x2,%edi
  call   <sqrt@plt>
  add    %eax,%eax
  movslq %eax,%rdx
  imul   $0xffffffffd5f92819,%rdx,%rdx
  shr    $0x20,%rdx
  add    %eax,%edx
  sar    $0xd,%edx
  sar    $0x1f,%eax
  sub    %eax,%edx
  pxor   %xmm1,%xmm1
  cvtsi2sd %edx,%xmm1
  movq   %rbx,%xmm7
  mulsd  %xmm7,%xmm1
  movsd  D56(%rip),%xmm0
  divsd  %xmm1,%xmm0
  lea    D59(%rip),%rdi
  call   <printf@plt>
  add    $0x18,%rsp
  pop    %rbx
  pop    %r14
  ret
L27:
  mov    D109(%rip),%rbx
  jmp    L13
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D56
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D109
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D70
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D16
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D14
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D34
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D92
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D24
datatype: string
name: extract_symbolic_data
arguments: data_label: D85
datatype: string
name: extract_symbolic_data
arguments: data_label: D59
datatype: string

tool: {"D56": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D109": [0x00,0x00,0x00,0x00,0x00,0x3c,0x91,0x40]}

tool: {"D70": [0x00,0x00,0x00,0x00,0x00,0x00,0x10,0x40]}

tool: {"D16": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x40]}

tool: {"D14": [0x00,0x00,0x00,0x00,0x00,0x00,0x08,0x40]}

tool: {"D34": [0x00,0x00,0x00,0x00,0x00,0xc0,0x78,0x40]}

tool: {"D92": [0x00,0x00,0x00,0x00,0x80,0xc5,0xd9,0x40]}

tool: D24: term:%16.12g


tool: D85: mult:%16.12g


tool: D59: %16g


assistant: ```c
void ramd(int times) {
  double n, pi, term, mult, tmp;
  pi = 1103;
  term = 0;
  mult = 1;
  tmp = 0;
  for (n = 1; n < times; n++) {
    tmp = ((4 * n) * (4 * n - 1) * (4 * n - 2) * (4 * n - 3)) / (n * n * n * n * 396 * 396 * 396 * 396);
    mult *= tmp;
    term = mult * (1103 + 26390 * n);
    pi += term;
    printf("term:%16.12g\n", term);
    printf("mult:%16.12g\n", mult);
  }
  pi *= (2 * sqrt(2)) / 9801;
  pi = 1 / pi;
  printf("%16g\n", pi);
}
```