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

```asm
<main>:
  endbr64
  push   %rbx
  sub    $0xf0,%rsp
  movsd  D212(%rip),%xmm1
  movapd %xmm1,%xmm2
  movapd %xmm1,%xmm0
  call   <foo@plt>
  movsd  D249(%rip),%xmm7
  movsd  D184(%rip),%xmm3
  cvttsd2si %xmm0,%ebx
  movsd  D121(%rip),%xmm4
  movsd  D31(%rip),%xmm14
  movsd  %xmm7,0x70(%rsp)
  movsd  D251(%rip),%xmm7
  movsd  %xmm7,0x68(%rsp)
  movsd  D318(%rip),%xmm7
  test   %ebx,%ebx
  movsd  %xmm7,0x60(%rsp)
  movsd  D101(%rip),%xmm7
  movsd  %xmm7,0x58(%rsp)
  movsd  D197(%rip),%xmm7
  movsd  %xmm7,0x50(%rsp)
  movsd  D97(%rip),%xmm7
  movsd  %xmm7,0x48(%rsp)
  movsd  D254(%rip),%xmm7
  movsd  %xmm7,0x40(%rsp)
  movsd  D6(%rip),%xmm7
  movsd  %xmm7,0x38(%rsp)
  movsd  D106(%rip),%xmm7
  movsd  %xmm7,0x30(%rsp)
  movsd  D296(%rip),%xmm7
  movsd  %xmm7,0x28(%rsp)
  movsd  D161(%rip),%xmm7
  movsd  %xmm7,0x20(%rsp)
  movsd  D264(%rip),%xmm7
  movsd  %xmm7,0x18(%rsp)
  movsd  D108(%rip),%xmm7
  movsd  %xmm7,0x10(%rsp)
  movsd  D95(%rip),%xmm7
  movsd  %xmm7,0x8(%rsp)
  movsd  D157(%rip),%xmm7
  movsd  %xmm7,(%rsp)
  mov    D212(%rip),%rax
  movsd  D30(%rip),%xmm6
  movsd  D151(%rip),%xmm5
  movsd  D190(%rip),%xmm9
  movsd  D226(%rip),%xmm10
  movq   %rax,%xmm8
  movsd  D274(%rip),%xmm11
  movsd  D128(%rip),%xmm2
  movsd  D273(%rip),%xmm1
  movsd  D136(%rip),%xmm12
  movsd  D96(%rip),%xmm13
  movsd  D7(%rip),%xmm15
  jle    L17
  nopl   0x0(%rax)
L30:
  divsd  %xmm2,%xmm1
  movsd  (%rsp),%xmm0
  divsd  %xmm15,%xmm2
  movapd %xmm1,%xmm7
  mulsd  %xmm3,%xmm7
  mulsd  %xmm3,%xmm2
  movapd %xmm2,%xmm1
  movapd %xmm15,%xmm2
  divsd  %xmm13,%xmm2
  divsd  %xmm12,%xmm13
  mulsd  %xmm3,%xmm2
  divsd  %xmm11,%xmm12
  movapd %xmm13,%xmm15
  mulsd  %xmm3,%xmm15
  movsd  %xmm15,0xe8(%rsp)
  divsd  %xmm10,%xmm11
  mulsd  %xmm3,%xmm12
  movsd  %xmm12,0xe0(%rsp)
  divsd  %xmm9,%xmm10
  mulsd  %xmm3,%xmm11
  movsd  %xmm11,0xd8(%rsp)
  divsd  %xmm8,%xmm9
  mulsd  %xmm3,%xmm10
  movsd  %xmm10,0xd0(%rsp)
  divsd  %xmm5,%xmm8
  mulsd  %xmm3,%xmm9
  movsd  %xmm9,0xc8(%rsp)
  divsd  %xmm6,%xmm5
  mulsd  %xmm3,%xmm8
  movsd  %xmm8,0xc0(%rsp)
  divsd  %xmm0,%xmm6
  mulsd  %xmm3,%xmm5
  movsd  %xmm5,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm5
  mulsd  %xmm3,%xmm6
  movsd  %xmm6,0xb0(%rsp)
  movapd %xmm0,%xmm6
  divsd  %xmm5,%xmm6
  mulsd  %xmm4,%xmm6
  movsd  %xmm6,0xa8(%rsp)
  movsd  0x10(%rsp),%xmm6
  divsd  %xmm6,%xmm5
  movapd %xmm5,%xmm0
  movsd  0x18(%rsp),%xmm5
  mulsd  %xmm3,%xmm0
  divsd  %xmm5,%xmm6
  movsd  %xmm0,(%rsp)
  movapd %xmm6,%xmm0
  movsd  0x20(%rsp),%xmm6
  mulsd  %xmm3,%xmm0
  divsd  %xmm6,%xmm5
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm5,%xmm0
  movsd  0x28(%rsp),%xmm5
  mulsd  %xmm3,%xmm0
  divsd  %xmm5,%xmm6
  movsd  %xmm0,0x10(%rsp)
  movapd %xmm6,%xmm0
  movsd  0x30(%rsp),%xmm6
  mulsd  %xmm3,%xmm0
  divsd  %xmm6,%xmm5
  movsd  %xmm0,0x18(%rsp)
  divsd  %xmm14,%xmm6
  movapd %xmm5,%xmm0
  movsd  0x38(%rsp),%xmm5
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x20(%rsp)
  movapd %xmm6,%xmm0
  movsd  0x40(%rsp),%xmm6
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x28(%rsp)
  movapd %xmm14,%xmm0
  divsd  %xmm5,%xmm0
  divsd  %xmm6,%xmm5
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x30(%rsp)
  mulsd  %xmm5,%xmm14
  movsd  0x48(%rsp),%xmm5
  divsd  %xmm5,%xmm6
  movsd  %xmm14,0xa0(%rsp)
  movapd %xmm6,%xmm0
  movsd  0x58(%rsp),%xmm6
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x38(%rsp)
  movapd %xmm5,%xmm0
  movsd  0x50(%rsp),%xmm5
  divsd  %xmm5,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x40(%rsp)
  movapd %xmm5,%xmm0
  divsd  %xmm4,%xmm0
  divsd  %xmm6,%xmm4
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x48(%rsp)
  mulsd  %xmm3,%xmm4
  movsd  %xmm4,0x50(%rsp)
  movsd  0x60(%rsp),%xmm0
  movapd %xmm6,%xmm4
  movsd  0x70(%rsp),%xmm5
  movsd  %xmm2,0x88(%rsp)
  divsd  %xmm0,%xmm4
  movsd  %xmm7,0x78(%rsp)
  movsd  %xmm1,0x80(%rsp)
  mulsd  %xmm3,%xmm4
  movsd  %xmm4,0x98(%rsp)
  movsd  0x68(%rsp),%xmm4
  divsd  %xmm4,%xmm0
  divsd  %xmm5,%xmm4
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x58(%rsp)
  divsd  %xmm3,%xmm5
  movapd %xmm4,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x60(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x68(%rsp)
  movapd %xmm3,%xmm0
  divsd  %xmm7,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x70(%rsp)
  movapd %xmm7,%xmm0
  divsd  %xmm1,%xmm0
  mulsd  %xmm0,%xmm3
  movapd %xmm7,%xmm0
  movsd  %xmm3,0x90(%rsp)
  call   <foo@plt>
  sub    $0x1,%ebx
  movsd  0x78(%rsp),%xmm7
  movsd  0x80(%rsp),%xmm1
  movsd  0x88(%rsp),%xmm2
  movsd  0x90(%rsp),%xmm3
  movsd  0x98(%rsp),%xmm4
  movsd  0xa0(%rsp),%xmm14
  movsd  0xa8(%rsp),%xmm6
  movsd  0xb0(%rsp),%xmm5
  movsd  0xb8(%rsp),%xmm8
  movsd  0xc0(%rsp),%xmm9
  movsd  0xc8(%rsp),%xmm10
  movsd  0xd0(%rsp),%xmm11
  movsd  0xd8(%rsp),%xmm12
  movsd  0xe0(%rsp),%xmm13
  movsd  0xe8(%rsp),%xmm15
  jne    L30
L26:
  addsd  %xmm1,%xmm7
  movapd %xmm5,%xmm1
  addsd  %xmm6,%xmm1
  addsd  (%rsp),%xmm1
  addsd  0x8(%rsp),%xmm1
  addsd  0x10(%rsp),%xmm1
  addsd  %xmm2,%xmm7
  addsd  0x18(%rsp),%xmm1
  addsd  0x20(%rsp),%xmm1
  addsd  0x28(%rsp),%xmm1
  addsd  0x30(%rsp),%xmm1
  movapd %xmm7,%xmm0
  addsd  %xmm15,%xmm0
  addsd  %xmm14,%xmm1
  addsd  %xmm13,%xmm0
  addsd  %xmm12,%xmm0
  addsd  %xmm11,%xmm0
  addsd  %xmm10,%xmm0
  addsd  %xmm9,%xmm0
  addsd  %xmm8,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  0x38(%rsp),%xmm1
  addsd  0x40(%rsp),%xmm1
  addsd  0x48(%rsp),%xmm1
  addsd  0x50(%rsp),%xmm1
  addsd  %xmm4,%xmm1
  addsd  0x58(%rsp),%xmm1
  addsd  0x60(%rsp),%xmm1
  addsd  0x68(%rsp),%xmm1
  addsd  0x70(%rsp),%xmm1
  addsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm0
  movsd  D270(%rip),%xmm1
  comisd %xmm0,%xmm1
  ja     L31
  comisd D145(%rip),%xmm0
  jbe    L18
L31:
  xor    %eax,%eax
  call   <abort@plt>
L18:
  add    $0xf0,%rsp
  xor    %eax,%eax
  pop    %rbx
  ret
L17:
  movsd  D73(%rip),%xmm7
  jmp    L26
```

tool_calls: name: retrieve_data
arguments: data_label: D212
datatype: f64
name: retrieve_data
arguments: data_label: D249
datatype: f64
name: retrieve_data
arguments: data_label: D184
datatype: f64
name: retrieve_data
arguments: data_label: D121
datatype: f64
name: retrieve_data
arguments: data_label: D31
datatype: f64
name: retrieve_data
arguments: data_label: D251
datatype: f64
name: retrieve_data
arguments: data_label: D318
datatype: f64
name: retrieve_data
arguments: data_label: D101
datatype: f64
name: retrieve_data
arguments: data_label: D197
datatype: f64
name: retrieve_data
arguments: data_label: D97
datatype: f64
name: retrieve_data
arguments: data_label: D254
datatype: f64
name: retrieve_data
arguments: data_label: D6
datatype: f64
name: retrieve_data
arguments: data_label: D106
datatype: f64
name: retrieve_data
arguments: data_label: D296
datatype: f64
name: retrieve_data
arguments: data_label: D161
datatype: f64
name: retrieve_data
arguments: data_label: D264
datatype: f64
name: retrieve_data
arguments: data_label: D108
datatype: f64
name: retrieve_data
arguments: data_label: D95
datatype: f64
name: retrieve_data
arguments: data_label: D157
datatype: f64
name: retrieve_data
arguments: data_label: D30
datatype: f64
name: retrieve_data
arguments: data_label: D151
datatype: f64
name: retrieve_data
arguments: data_label: D190
datatype: f64
name: retrieve_data
arguments: data_label: D226
datatype: f64
name: retrieve_data
arguments: data_label: D274
datatype: f64
name: retrieve_data
arguments: data_label: D128
datatype: f64
name: retrieve_data
arguments: data_label: D273
datatype: f64
name: retrieve_data
arguments: data_label: D136
datatype: f64
name: retrieve_data
arguments: data_label: D96
datatype: f64
name: retrieve_data
arguments: data_label: D7
datatype: f64
name: retrieve_data
arguments: data_label: D270
datatype: f64
name: retrieve_data
arguments: data_label: D145
datatype: f64
name: retrieve_data
arguments: data_label: D73
datatype: f64

tool: D212: 1

tool: D249: 2.9

tool: D184: 3

tool: D121: 2.5

tool: D31: 2

tool: D251: 2.8

tool: D318: 2.7

tool: D101: 2.6

tool: D197: 2.4

tool: D97: 2.3

tool: D254: 2.2

tool: D6: 2.1

tool: D106: 1.9

tool: D296: 1.8

tool: D161: 1.7

tool: D264: 1.6

tool: D108: 1.5

tool: D95: 1.4

tool: D157: 1.3

tool: D30: 1.2

tool: D151: 1.1

tool: D190: 0.9

tool: D226: 0.8

tool: D274: 0.7

tool: D128: 0.3

tool: D273: 0.2

tool: D136: 0.6

tool: D96: 0.5

tool: D7: 0.4

tool: D270: 19503

tool: D145: 19504

tool: D73: 0.1

assistant: ```c
int main() {
  double f1, f2, f3, f4, f5, f6, f7, f8, f9, f10;
  double f11, f12, f13, f14, f15, f16, f17, f18, f19, f20;
  double f21, f22, f23, f24, f25, f26, f27, f28, f29, f30;
  double x;
  int i, j, k;
  f1 = 0.1;
  f2 = 0.2;
  f3 = 0.3;
  f4 = 0.4;
  f5 = 0.5;
  f6 = 0.6;
  f7 = 0.7;
  f8 = 0.8;
  f9 = 0.9;
  f10 = 1.0;
  f11 = 1.1;
  f12 = 1.2;
  f13 = 1.3;
  f14 = 1.4;
  f15 = 1.5;
  f16 = 1.6;
  f17 = 1.7;
  f18 = 1.8;
  f19 = 1.9;
  f20 = 2.0;
  f21 = 2.1;
  f22 = 2.2;
  f23 = 2.3;
  f24 = 2.4;
  f25 = 2.5;
  f26 = 2.6;
  f27 = 2.7;
  f28 = 2.8;
  f29 = 2.9;
  f30 = 3.0;
  i = (int)foo(1.0, 1.0, 1.0);
  while (i > 0) {
    f1 = f2 / f3 * f30;
    f2 = f3 / f4 * f30;
    f3 = f4 / f5 * f30;
    f4 = f5 / f6 * f30;
    f5 = f6 / f7 * f30;
    f6 = f7 / f8 * f30;
    f7 = f8 / f9 * f30;
    f8 = f9 / f10 * f30;
    f9 = f10 / f11 * f30;
    f10 = f11 / f12 * f30;
    f11 = f12 / f13 * f30;
    f12 = f13 / f14 * f25;
    f13 = f14 / f15 * f30;
    f14 = f15 / f16 * f30;
    f15 = f16 / f17 * f30;
    f16 = f17 / f18 * f30;
    f17 = f18 / f19 * f30;
    f18 = f19 / f20 * f30;
    f19 = f20 / f21 * f30;
    f20 = f21 / f22 * f20;
    f21 = f22 / f23 * f30;
    f22 = f23 / f24 * f30;
    f23 = f24 / f25 * f30;
    f24 = f25 / f26 * f30;
    f25 = f26 / f27 * f30;
    f26 = f27 / f28 * f30;
    f27 = f28 / f29 * f30;
    f28 = f29 / f30 * f30;
    f29 = f30 / f1 * f30;
    f30 = f1 / f2 * f30;
    x = foo(f1, f2, f3);
    i = i - 1;
  }
  x = (f1 + f2 + f3 + f4 + f5 + f6 + f7 + f8 + f9 + f10) * (f11 + f12 + f13 + f14 + f15 + f16 + f17 + f18 + f19 + f20) * (f21 + f22 + f23 + f24 + f25 + f26 + f27 + f28 + f29 + f30);
  if (x < 19503.0 || x > 19504.0)
    abort();
  return 0;
}
```