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

```asm
<main>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  sub    $0x50,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  lea    0x1c(%rsp),%rbp
  lea    0x20(%rsp),%r13
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <gettimeofday@plt>
  movsd  D202(%rip),%xmm3
  movapd %xmm3,%xmm2
  xchg   %ax,%ax
L10:
  addsd  %xmm3,%xmm2
  pxor   %xmm7,%xmm7
  ucomisd %xmm2,%xmm7
  ja     L2
L13:
  movsd  D43(%rip),%xmm7
  comisd %xmm2,%xmm7
  ja     L10
  lea    0x30(%rsp),%r12
  mov    %rbp,%rsi
  movsd  %xmm2,(%rsp)
  mov    %r12,%rdi
  call   <gettimeofday@plt>
  movsd  0x30(%rsp),%xmm0
  subsd  0x20(%rsp),%xmm0
  lea    D200(%rip),%rdi
  mulsd  D122(%rip),%xmm0
  movsd  0x38(%rsp),%xmm1
  mulsd  D122(%rip),%xmm0
  subsd  0x28(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  divsd  D43(%rip),%xmm0
  call   <printf@plt>
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <gettimeofday@plt>
  mov    D202(%rip),%rax
  movsd  (%rsp),%xmm2
  pxor   %xmm4,%xmm4
  movq   %rax,%xmm3
  nopl   (%rax)
L14:
  addsd  %xmm3,%xmm2
  mov    D15(%rip),%rax
  movsd  %xmm4,0x8(%rsp)
  movq   %rax,%xmm1
  movapd %xmm2,%xmm0
  movsd  %xmm2,(%rsp)
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm4
  movsd  (%rsp),%xmm2
  mov    D202(%rip),%rax
  movsd  D43(%rip),%xmm5
  movq   %rax,%xmm3
  addsd  %xmm3,%xmm4
  comisd %xmm4,%xmm5
  ja     L14
  mov    %rbp,%rsi
  mov    %r12,%rdi
  call   <gettimeofday@plt>
  movsd  0x30(%rsp),%xmm0
  subsd  0x20(%rsp),%xmm0
  lea    D157(%rip),%rdi
  mulsd  D122(%rip),%xmm0
  movsd  0x38(%rsp),%xmm1
  mulsd  D122(%rip),%xmm0
  subsd  0x28(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  divsd  D43(%rip),%xmm0
  call   <printf@plt>
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <gettimeofday@plt>
  mov    D202(%rip),%rax
  pxor   %xmm0,%xmm0
  movq   %rax,%xmm3
  nopl   0x0(%rax,%rax,1)
L56:
  addsd  %xmm3,%xmm0
  movsd  D43(%rip),%xmm6
  comisd %xmm0,%xmm6
  ja     L56
  mov    %r12,%rdi
  mov    %rbp,%rsi
  call   <gettimeofday@plt>
  movsd  0x30(%rsp),%xmm0
  subsd  0x20(%rsp),%xmm0
  lea    D172(%rip),%rdi
  mulsd  D122(%rip),%xmm0
  movsd  0x38(%rsp),%xmm1
  mulsd  D122(%rip),%xmm0
  subsd  0x28(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  divsd  D43(%rip),%xmm0
  call   <printf@plt>
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L58
  add    $0x50,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L2:
  movapd %xmm2,%xmm0
  movsd  %xmm2,(%rsp)
  call   <sqrt@plt>
  mov    D202(%rip),%rax
  movsd  (%rsp),%xmm2
  movq   %rax,%xmm3
  jmp    L13
L58:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D202
type: f32[2]
name: extract_symbolic_data
arguments: tag: D43
type: f32[2]
name: extract_symbolic_data
arguments: tag: D200
type: string
name: extract_symbolic_data
arguments: tag: D122
type: f64
name: extract_symbolic_data
arguments: tag: D15
type: f64
name: extract_symbolic_data
arguments: tag: D157
type: string
name: extract_symbolic_data
arguments: tag: D172
type: string

tool: {"D202": [0.0,1.875]}

tool: {"D43": [0.0,6.1103515625]}

tool: D200: Sqrt: %f us per sqrt


tool: D122: 1000

tool: D15: 0.51

tool: D157: Pow:  %f us per sqrt


tool: D172: Min:  %f us per sqrt


assistant: ```c
int main() {
  struct timeval tv1, tv2;
  struct timezone tz;
  int iterations = 10000;
  double i;
  double v = 1000.0;
  double y = 0.0;
  gettimeofday(&tv1, &tz);
  for (i = 0; i < iterations; i++) {
    y++;
    v = sqrt(y);
  }
  gettimeofday(&tv2, &tz);
  printf("Sqrt: %f us per sqrt\n", ((tv2.tv_sec - tv1.tv_sec) * 1000.0 * 1000.0 + (tv2.tv_usec - tv1.tv_usec)) / iterations);
  gettimeofday(&tv1, &tz);
  for (i = 0; i < iterations; i++) {
    y++;
    v = pow(y, 0.51);
  }
  gettimeofday(&tv2, &tz);
  printf("Pow:  %f us per sqrt\n", ((tv2.tv_sec - tv1.tv_sec) * 1000.0 * 1000.0 + (tv2.tv_usec - tv1.tv_usec)) / iterations);
  gettimeofday(&tv1, &tz);
  for (i = 0; i < iterations; i++) {
    y++;
    v = (v < y ? v : y);
  }
  gettimeofday(&tv2, &tz);
  printf("Min:  %f us per sqrt\n", ((tv2.tv_sec - tv1.tv_sec) * 1000.0 * 1000.0 + (tv2.tv_usec - tv1.tv_usec)) / iterations);
}
```