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

```asm
<main>:
  endbr64
  push   %r15
  lea    D13(%rip),%rsi
  lea    D89(%rip),%rdi
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x158,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x148(%rsp)
  xor    %eax,%eax
  call   <fopen@plt>
  mov    %rax,%rbp
  test   %rax,%rax
  je     L1
L127:
  mov    $0xa,%edi
  lea    0x70(%rsp),%r13
  lea    0x98(%rsp),%r12
  call   <malloc@plt>
  mov    %r13,%rbx
  lea    D17(%rip),%r15
  mov    %rax,%r14
  jmp    L3
  nopl   (%rax)
L43:
  add    $0x4,%rbx
  cmp    %r12,%rbx
  je     L23
L3:
  mov    %rbp,%rdi
  call   <feof@plt>
  test   %eax,%eax
  jne    L43
  mov    %r14,%rdx
  mov    %r15,%rsi
  mov    %rbp,%rdi
  add    $0x4,%rbx
  call   <fscanf@plt>
  mov    $0xa,%esi
  mov    %r14,%rdi
  call   <cov_deserialize@plt>
  mov    %eax,-0x4(%rbx)
  cmp    %r12,%rbx
  jne    L3
L23:
  xor    %edi,%edi
  lea    0xa0(%rsp),%r15
  lea    0x140(%rsp),%r14
  call   <sqrtf@plt>
  xor    %edi,%edi
  mov    %r15,%r12
  call   <acosf@plt>
  xor    %edi,%edi
  call   <sinf@plt>
  xor    %eax,%eax
  call   <current_time_ns@plt>
  fldz
  mov    %rax,0x60(%rsp)
  fstpt  0x50(%rsp)
  cs nopw 0x0(%rax,%rax,1)
L24:
  fld1
  sub    $0x10,%rsp
  mov    0x0(%r13),%ebp
  fchs
  fstpt  (%rsp)
  call   <acos@plt>
  mov    %ebp,0x10(%rsp)
  fildl  0x10(%rsp)
  fdivrp %st,%st(1)
  fld    %st(0)
  fstpt  0x40(%rsp)
  pop    %r11
  pop    %rbx
  fldz
  fld    %st(0)
  test   %ebp,%ebp
  jle    L62
  mov    $0x1,%ebx
  fld    %st(2)
  fmulp  %st,%st(3)
  fxch   %st(2)
  fstpt  0x40(%rsp)
  fxch   %st(1)
  jmp    L14
  cs nopw 0x0(%rax,%rax,1)
L99:
  fxch   %st(1)
L14:
  fnstcw 0x6e(%rsp)
  fstpt  0x20(%rsp)
  movzwl 0x6e(%rsp),%eax
  mov    %ebx,(%rsp)
  add    $0x1,%ebx
  fstpt  0x10(%rsp)
  fildl  (%rsp)
  or     $0xc,%ah
  fldt   0x30(%rsp)
  mov    %ax,0x6c(%rsp)
  fmulp  %st,%st(1)
  fldcw  0x6c(%rsp)
  fistpl (%rsp)
  fldcw  0x6e(%rsp)
  mov    (%rsp),%edi
  call   <fun@plt>
  fldt   0x10(%rsp)
  sub    $0x10,%rsp
  fsubr  %st(1),%st
  fxch   %st(1)
  fstpt  0x10(%rsp)
  fmul   %st(0),%st
  fldt   0x50(%rsp)
  faddp  %st,%st(1)
  fstpt  (%rsp)
  call   <sqrt@plt>
  fldt   0x30(%rsp)
  cmp    %ebx,%ebp
  pop    %r9
  pop    %r10
  faddp  %st,%st(1)
  fldt   (%rsp)
  jge    L99
  fstp   %st(0)
  jmp    L86
  nopw   0x0(%rax,%rax,1)
L62:
  fstp   %st(1)
  fstp   %st(1)
  nopl   0x0(%rax)
L86:
  fld    %st(0)
  fstpt  (%r12)
  sub    $0x10,%rsp
  mov    $0xa,%edi
  fstpt  0x10(%rsp)
  flds   0xbbf(%rip)        # 2058 <_fini+0x9cc>
  fstpt  (%rsp)
  call   <pow@plt>
  fldt   0x10(%rsp)
  pop    %rdi
  pop    %r8
  fmulp  %st,%st(1)
  fldt   0x50(%rsp)
  fxch   %st(1)
  fcomip %st(1),%st
  fstp   %st(0)
  fldt   0xba6(%rip)        # 2060 <_fini+0x9d4>
  ja     L125
  fstp   %st(0)
L108:
  add    $0x10,%r12
  add    $0x4,%r13
  cmp    %r14,%r12
  jne    L24
  xor    %eax,%eax
  lea    D78(%rip),%r13
  lea    D40(%rip),%rbp
  call   <current_time_ns@plt>
  sub    0x60(%rsp),%rax
  mov    %r15,%rdx
  mov    %r13,%rdi
  push   0x58(%rsp)
  mov    $0xa,%esi
  mov    %rax,%r12
  push   0x58(%rsp)
  call   <cov_arr_spec_log@plt>
  mov    %rbp,%rcx
  mov    $0xa,%esi
  mov    %r15,%rdi
  lea    D36(%rip),%rdx
  call   <cov_arr_log@plt>
  mov    $0xa,%edx
  mov    %rbp,%rdi
  mov    %r13,%rsi
  call   <cov_check@plt>
  lea    D72(%rip),%rsi
  lea    D61(%rip),%rdi
  call   <fopen@plt>
  mov    %r12,%rdx
  lea    D49(%rip),%rsi
  mov    %rax,%rbp
  mov    %rax,%rdi
  call   <fprintf@plt>
  mov    %rbp,%rdi
  call   <fclose@plt>
  pop    %rax
  pop    %rdx
  mov    0x148(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L26
  add    $0x158,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L125:
  sub    $0x10,%rsp
  mov    $0xa,%edi
  fstpt  (%rsp)
  call   <pow@plt>
  fldt   0x10(%rsp)
  fmulp  %st,%st(1)
  fstpt  0x60(%rsp)
  pop    %rcx
  pop    %rsi
  jmp    L108
L1:
  lea    D46(%rip),%rdi
  call   <printf@plt>
  jmp    L127
L26:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: data_tag: D13
type: string
name: disassemble_data
arguments: data_tag: D89
type: string
name: disassemble_data
arguments: data_tag: D17
type: string
name: disassemble_data
arguments: data_tag: D78
type: string
name: disassemble_data
arguments: data_tag: D40
type: string
name: disassemble_data
arguments: data_tag: D36
type: string
name: disassemble_data
arguments: data_tag: D72
type: string
name: disassemble_data
arguments: data_tag: D61
type: string
name: disassemble_data
arguments: data_tag: D49
type: string
name: disassemble_data
arguments: data_tag: D46
type: string

tool: D13: r

tool: D89: final_inputs

tool: D17: %s

tool: D78: spec.cov

tool: D40: log.cov

tool: D36: result

tool: D72: w

tool: D61: score.cov

tool: D49: %ld


tool: D46: Could not open final_inputs


assistant: ```c
int main() {
  int l;
  uint64_t start, end;
  long int diff = 0;
  int i, j, k;
  long double h, t1, t2, dppi, ans = 5.795776322412856L;
  long double s1;
  long double log[10];
  long double threshold = 0.0;
  long double epsilon = -4.0;
  int finputs[10];
  FILE *infile = fopen("final_inputs", "r");
  if (!infile) {
    printf("Could not open final_inputs\n");
  }
  char *s = malloc(10);
  for (i = 0; i < 10; i++) {
    if (!feof(infile)) {
      fscanf(infile, "%s", s);
      finputs[i] = (int)cov_deserialize(s, 10);
    }
  }
  sqrtf(0);
  acosf(0);
  sinf(0);
  start = current_time_ns();
  for (l = 0; l < 10; l++) {
    int n = finputs[l];
    t1 = -1.0;
    dppi = acos(t1);
    s1 = 0.0;
    t1 = 0.0;
    h = dppi / n;
    for (i = 1; i <= n; i++) {
      t2 = fun(i * h);
      s1 = s1 + sqrt(h * h + (t2 - t1) * (t2 - t1));
      t1 = t2;
    }
    log[l] = (long double)s1;
    if (s1 * pow(10, epsilon) > threshold) {
      threshold = s1 * pow(10, epsilon);
    }
  }
  end = current_time_ns();
  diff = (end - start);
  cov_arr_spec_log("spec.cov", threshold, 10, log);
  cov_arr_log(log, 10, "result", "log.cov");
  cov_check("log.cov", "spec.cov", 10);
  FILE *file;
  file = fopen("score.cov", "w");
  fprintf(file, "%ld\n", diff);
  fclose(file);
  return 0;
}
```