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

```asm
<main>:
  endbr64
  push   %rbx
  sub    $0xf0,%rsp
  movsd  D555(%rip),%xmm0
  movapd %xmm0,%xmm2
  movapd %xmm0,%xmm1
  call   <foo@plt>
  cvttsd2si %xmm0,%ebx
  test   %ebx,%ebx
  jle    L15
  movsd  D585(%rip),%xmm6
  movsd  %xmm6,0xe0(%rsp)
  movsd  D58(%rip),%xmm2
  movsd  %xmm2,0xd8(%rsp)
  movsd  D586(%rip),%xmm7
  movsd  %xmm7,0xd0(%rsp)
  movsd  D14(%rip),%xmm6
  movsd  %xmm6,0xc8(%rsp)
  movsd  D20(%rip),%xmm2
  movsd  %xmm2,0xc0(%rsp)
  movsd  D349(%rip),%xmm7
  movsd  %xmm7,0xb8(%rsp)
  movsd  D184(%rip),%xmm6
  movsd  %xmm6,0xb0(%rsp)
  movsd  D105(%rip),%xmm2
  movsd  %xmm2,0xa8(%rsp)
  movsd  D110(%rip),%xmm7
  movsd  %xmm7,0xa0(%rsp)
  movsd  D139(%rip),%xmm6
  movsd  %xmm6,0x98(%rsp)
  movsd  D453(%rip),%xmm2
  movsd  %xmm2,0x90(%rsp)
  movsd  D316(%rip),%xmm7
  movsd  %xmm7,0x88(%rsp)
  movsd  D589(%rip),%xmm6
  movsd  %xmm6,0x80(%rsp)
  movsd  D450(%rip),%xmm2
  movsd  %xmm2,0x78(%rsp)
  movsd  D280(%rip),%xmm7
  movsd  %xmm7,0x70(%rsp)
  movsd  D190(%rip),%xmm6
  movsd  %xmm6,0x68(%rsp)
  movsd  D396(%rip),%xmm2
  movsd  %xmm2,0x60(%rsp)
  movsd  D385(%rip),%xmm7
  movsd  %xmm7,0x58(%rsp)
  movsd  D103(%rip),%xmm6
  movsd  %xmm6,0x50(%rsp)
  movsd  D47(%rip),%xmm2
  movsd  %xmm2,0x48(%rsp)
  movsd  D555(%rip),%xmm7
  movsd  %xmm7,0x40(%rsp)
  movsd  D89(%rip),%xmm6
  movsd  %xmm6,0x38(%rsp)
  movsd  D395(%rip),%xmm2
  movsd  %xmm2,0x30(%rsp)
  movsd  D389(%rip),%xmm7
  movsd  %xmm7,0x28(%rsp)
  movsd  D57(%rip),%xmm6
  movsd  %xmm6,0x20(%rsp)
  movsd  D367(%rip),%xmm2
  movsd  %xmm2,0x18(%rsp)
  movsd  D489(%rip),%xmm7
  movsd  %xmm7,0x10(%rsp)
  movsd  D318(%rip),%xmm6
  movsd  %xmm6,0x8(%rsp)
  movsd  D52(%rip),%xmm2
  movsd  %xmm2,(%rsp)
L9:
  movsd  (%rsp),%xmm0
  movsd  0x8(%rsp),%xmm2
  divsd  %xmm2,%xmm0
  movapd %xmm0,%xmm6
  movsd  0xe0(%rsp),%xmm4
  mulsd  %xmm4,%xmm6
  movsd  %xmm6,0xe8(%rsp)
  movsd  0x10(%rsp),%xmm1
  divsd  %xmm1,%xmm2
  movapd %xmm2,%xmm7
  mulsd  %xmm4,%xmm7
  movsd  %xmm7,(%rsp)
  movsd  0x18(%rsp),%xmm3
  divsd  %xmm3,%xmm1
  movapd %xmm1,%xmm2
  mulsd  %xmm4,%xmm2
  movsd  %xmm2,0x8(%rsp)
  movsd  0x20(%rsp),%xmm1
  divsd  %xmm1,%xmm3
  movapd %xmm3,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x10(%rsp)
  movsd  0x28(%rsp),%xmm3
  divsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x18(%rsp)
  movsd  0x30(%rsp),%xmm1
  divsd  %xmm1,%xmm3
  movapd %xmm3,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x20(%rsp)
  movsd  0x38(%rsp),%xmm3
  divsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x28(%rsp)
  movsd  0x40(%rsp),%xmm1
  divsd  %xmm1,%xmm3
  movapd %xmm3,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x30(%rsp)
  movsd  0x48(%rsp),%xmm5
  divsd  %xmm5,%xmm1
  movapd %xmm1,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x38(%rsp)
  movsd  0x50(%rsp),%xmm1
  divsd  %xmm1,%xmm5
  movapd %xmm5,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x40(%rsp)
  movsd  0x58(%rsp),%xmm3
  divsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x48(%rsp)
  movsd  0x60(%rsp),%xmm5
  divsd  %xmm5,%xmm3
  movapd %xmm3,%xmm0
  movsd  0xb8(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,0x50(%rsp)
  movsd  0x68(%rsp),%xmm8
  divsd  %xmm8,%xmm5
  movapd %xmm5,%xmm0
  movapd %xmm4,%xmm3
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x58(%rsp)
  movapd %xmm8,%xmm0
  movsd  0x70(%rsp),%xmm4
  divsd  %xmm4,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x60(%rsp)
  movsd  0x78(%rsp),%xmm5
  divsd  %xmm5,%xmm4
  movapd %xmm4,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x68(%rsp)
  movsd  0x80(%rsp),%xmm4
  divsd  %xmm4,%xmm5
  movapd %xmm5,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x70(%rsp)
  movsd  0x88(%rsp),%xmm5
  divsd  %xmm5,%xmm4
  movapd %xmm4,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x78(%rsp)
  movapd %xmm5,%xmm0
  movsd  0x90(%rsp),%xmm4
  divsd  %xmm4,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x80(%rsp)
  movapd %xmm4,%xmm0
  movsd  0x98(%rsp),%xmm5
  divsd  %xmm5,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x88(%rsp)
  movapd %xmm5,%xmm0
  movsd  0xa0(%rsp),%xmm5
  divsd  %xmm5,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,0x90(%rsp)
  movapd %xmm5,%xmm0
  movsd  0xa8(%rsp),%xmm4
  divsd  %xmm4,%xmm0
  movapd %xmm3,%xmm5
  mulsd  %xmm3,%xmm0
  movsd  %xmm0,0x98(%rsp)
  movsd  0xb0(%rsp),%xmm3
  divsd  %xmm3,%xmm4
  movapd %xmm4,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xa0(%rsp)
  divsd  %xmm1,%xmm3
  movapd %xmm3,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xa8(%rsp)
  movsd  0xc0(%rsp),%xmm3
  divsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xb0(%rsp)
  movsd  0xc8(%rsp),%xmm1
  divsd  %xmm1,%xmm3
  movapd %xmm3,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xb8(%rsp)
  movsd  0xd0(%rsp),%xmm3
  divsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xc0(%rsp)
  movsd  0xd8(%rsp),%xmm1
  divsd  %xmm1,%xmm3
  movapd %xmm3,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xc8(%rsp)
  divsd  %xmm5,%xmm1
  movapd %xmm1,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xd0(%rsp)
  movapd %xmm5,%xmm0
  divsd  %xmm6,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xd8(%rsp)
  movapd %xmm6,%xmm0
  divsd  %xmm7,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm0,0xe0(%rsp)
  movapd %xmm7,%xmm1
  movapd %xmm6,%xmm0
  call   <foo@plt>
  sub    $0x1,%ebx
  jne    L9
L20:
  movsd  0xe8(%rsp),%xmm0
  addsd  (%rsp),%xmm0
  addsd  0x8(%rsp),%xmm0
  addsd  0x10(%rsp),%xmm0
  addsd  0x18(%rsp),%xmm0
  addsd  0x20(%rsp),%xmm0
  addsd  0x28(%rsp),%xmm0
  addsd  0x30(%rsp),%xmm0
  addsd  0x38(%rsp),%xmm0
  addsd  0x40(%rsp),%xmm0
  movsd  0x48(%rsp),%xmm1
  addsd  0x50(%rsp),%xmm1
  addsd  0x58(%rsp),%xmm1
  addsd  0x60(%rsp),%xmm1
  addsd  0x68(%rsp),%xmm1
  addsd  0x70(%rsp),%xmm1
  addsd  0x78(%rsp),%xmm1
  addsd  0x80(%rsp),%xmm1
  addsd  0x88(%rsp),%xmm1
  addsd  0x90(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  0x98(%rsp),%xmm1
  addsd  0xa0(%rsp),%xmm1
  addsd  0xa8(%rsp),%xmm1
  addsd  0xb0(%rsp),%xmm1
  addsd  0xb8(%rsp),%xmm1
  addsd  0xc0(%rsp),%xmm1
  addsd  0xc8(%rsp),%xmm1
  addsd  0xd0(%rsp),%xmm1
  addsd  0xd8(%rsp),%xmm1
  addsd  0xe0(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  D383(%rip),%xmm1
  comisd %xmm0,%xmm1
  ja     L32
  comisd D346(%rip),%xmm0
  jbe    L6
L32:
  mov    $0x0,%eax
  call   <abort@plt>
L6:
  mov    $0x0,%eax
  add    $0xf0,%rsp
  pop    %rbx
  ret
L15:
  movsd  D585(%rip),%xmm7
  movsd  %xmm7,0xe0(%rsp)
  movsd  D58(%rip),%xmm6
  movsd  %xmm6,0xd8(%rsp)
  movsd  D586(%rip),%xmm7
  movsd  %xmm7,0xd0(%rsp)
  movsd  D14(%rip),%xmm6
  movsd  %xmm6,0xc8(%rsp)
  movsd  D20(%rip),%xmm7
  movsd  %xmm7,0xc0(%rsp)
  movsd  D349(%rip),%xmm6
  movsd  %xmm6,0xb8(%rsp)
  movsd  D184(%rip),%xmm7
  movsd  %xmm7,0xb0(%rsp)
  movsd  D105(%rip),%xmm6
  movsd  %xmm6,0xa8(%rsp)
  movsd  D110(%rip),%xmm7
  movsd  %xmm7,0xa0(%rsp)
  movsd  D139(%rip),%xmm6
  movsd  %xmm6,0x98(%rsp)
  movsd  D453(%rip),%xmm7
  movsd  %xmm7,0x90(%rsp)
  movsd  D316(%rip),%xmm2
  movsd  %xmm2,0x88(%rsp)
  movsd  D589(%rip),%xmm6
  movsd  %xmm6,0x80(%rsp)
  movsd  D450(%rip),%xmm7
  movsd  %xmm7,0x78(%rsp)
  movsd  D280(%rip),%xmm2
  movsd  %xmm2,0x70(%rsp)
  movsd  D190(%rip),%xmm6
  movsd  %xmm6,0x68(%rsp)
  movsd  D396(%rip),%xmm7
  movsd  %xmm7,0x60(%rsp)
  movsd  D385(%rip),%xmm2
  movsd  %xmm2,0x58(%rsp)
  movsd  D103(%rip),%xmm6
  movsd  %xmm6,0x50(%rsp)
  movsd  D47(%rip),%xmm7
  movsd  %xmm7,0x48(%rsp)
  movsd  D555(%rip),%xmm2
  movsd  %xmm2,0x40(%rsp)
  movsd  D89(%rip),%xmm6
  movsd  %xmm6,0x38(%rsp)
  movsd  D395(%rip),%xmm7
  movsd  %xmm7,0x30(%rsp)
  movsd  D389(%rip),%xmm2
  movsd  %xmm2,0x28(%rsp)
  movsd  D57(%rip),%xmm6
  movsd  %xmm6,0x20(%rsp)
  movsd  D367(%rip),%xmm7
  movsd  %xmm7,0x18(%rsp)
  movsd  D489(%rip),%xmm2
  movsd  %xmm2,0x10(%rsp)
  movsd  D318(%rip),%xmm6
  movsd  %xmm6,0x8(%rsp)
  movsd  D52(%rip),%xmm7
  movsd  %xmm7,(%rsp)
  movsd  D274(%rip),%xmm2
  movsd  %xmm2,0xe8(%rsp)
  jmp    L20
```

tool_calls: name: unpack_data
arguments: tag: D555
type: f64
name: unpack_data
arguments: tag: D585
type: f64
name: unpack_data
arguments: tag: D58
type: f64
name: unpack_data
arguments: tag: D586
type: f64
name: unpack_data
arguments: tag: D14
type: f64
name: unpack_data
arguments: tag: D20
type: f64
name: unpack_data
arguments: tag: D349
type: f64
name: unpack_data
arguments: tag: D184
type: f64
name: unpack_data
arguments: tag: D105
type: f64
name: unpack_data
arguments: tag: D110
type: f64
name: unpack_data
arguments: tag: D139
type: f64
name: unpack_data
arguments: tag: D453
type: f64
name: unpack_data
arguments: tag: D316
type: f64
name: unpack_data
arguments: tag: D589
type: f64
name: unpack_data
arguments: tag: D450
type: f64
name: unpack_data
arguments: tag: D280
type: f64
name: unpack_data
arguments: tag: D190
type: f64
name: unpack_data
arguments: tag: D396
type: f64
name: unpack_data
arguments: tag: D385
type: f64
name: unpack_data
arguments: tag: D103
type: f64
name: unpack_data
arguments: tag: D47
type: f64
name: unpack_data
arguments: tag: D89
type: f64
name: unpack_data
arguments: tag: D395
type: f64
name: unpack_data
arguments: tag: D389
type: f64
name: unpack_data
arguments: tag: D57
type: f64
name: unpack_data
arguments: tag: D367
type: f64
name: unpack_data
arguments: tag: D489
type: f64
name: unpack_data
arguments: tag: D318
type: f64
name: unpack_data
arguments: tag: D52
type: f64
name: unpack_data
arguments: tag: D383
type: f64
name: unpack_data
arguments: tag: D346
type: f64
name: unpack_data
arguments: tag: D274
type: f64

tool: D555: 1

tool: D585: 3

tool: D58: 2.9

tool: D586: 2.8

tool: D14: 2.7

tool: D20: 2.6

tool: D349: 2.5

tool: D184: 2.4

tool: D105: 2.3

tool: D110: 2.2

tool: D139: 2.1

tool: D453: 2

tool: D316: 1.9

tool: D589: 1.8

tool: D450: 1.7

tool: D280: 1.6

tool: D190: 1.5

tool: D396: 1.4

tool: D385: 1.3

tool: D103: 1.2

tool: D47: 1.1

tool: D89: 0.9

tool: D395: 0.8

tool: D389: 0.7

tool: D57: 0.6

tool: D367: 0.5

tool: D489: 0.4

tool: D318: 0.3

tool: D52: 0.2

tool: D383: 19503

tool: D346: 19504

tool: D274: 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;
}
```