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

```asm
<HO_17>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D199(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  mov    D116(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  movsd  D112(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D68(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  movsd  D194(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  mov    D54(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  movsd  D218(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D38(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  movsd  D212(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  mov    D264(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D116(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D232(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D54(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  mov    D264(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D40(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D253(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movq   %rbx,%xmm1
  mulsd  D169(%rip),%xmm1
  mulsd  0x18(%rsp),%xmm1
  movq   %r15,%xmm0
  mulsd  D239(%rip),%xmm0
  mulsd  0x20(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D263(%rip),%xmm0
  mulsd  0x28(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D8(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D193(%rip),%xmm0
  mulsd  0x38(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D196(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D41(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x48(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  D21(%rip),%xmm4
  movapd %xmm4,%xmm1
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  addsd  D231(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D125(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D141(%rip),%xmm0
  divsd  D82(%rip),%xmm0
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D199
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D116
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D112
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D68
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D194
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D54
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D218
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D38
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D212
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D264
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D232
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D40
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D253
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D169
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D239
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D263
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D8
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D193
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D196
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D41
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D21
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D231
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D125
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D141
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D82
type_guessed: f64

tool: {"D199": [0x00,0x00,0x00,0x00,0x00,0x00,0xe8,0x3f]}

tool: D116: 8

tool: D112: 16

tool: D68: 7

tool: D194: 14

tool: D54: 6

tool: D218: 12

tool: D38: 5

tool: D212: 10

tool: D264: 4

tool: D232: 3

tool: {"D40": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: {"D253": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

tool: D169: 256

tool: D239: 17408

tool: D263: 456960

tool: D8: 5940480

tool: D193: 40840800

tool: D196: 147026880

tool: D41: 257297040

tool: D21: 183783600

tool: D231: 34459425

tool: {"D125": [0xea,0x04,0x23,0x5b,0xfb,0x8f,0x5b,0x40]}

tool: {"D141": [0x5f,0xfa,0x11,0x70,0x38,0x09,0xe8,0x3f]}

tool: D82: 1470268800

assistant: ```c
double HO_17(const double a, const double x) {
  double retval = sqrt(0.12155e5) * pow(a, 0.3e1 / 0.4e1) * x * (0.256e3 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.17408e5 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.456960e6 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.5940480e7 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.40840800e8 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.147026880e9 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.257297040e9 * a * a * pow(x, 0.4e1) - 0.183783600e9 * a * x * x + 0.34459425e8) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.1470268800e10;
  return retval;
}
```