user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<HO_13>:
  endbr64
  sub    $0x78,%rsp
  movsd  %xmm1,0x10(%rsp)
  movsd  D34(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D14(%rip),%xmm4
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  movsd  D167(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D24(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D100(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D168(%rip),%xmm5
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D29(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D141(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D14(%rip),%rax
  movsd  %xmm0,0x48(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm4
  mulsd  D80(%rip),%xmm4
  mov    D168(%rip),%rax
  movsd  %xmm0,0x30(%rsp)
  movsd  0x10(%rsp),%xmm0
  movq   %rax,%xmm1
  movsd  %xmm4,0x40(%rsp)
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm7
  xorpd  D5(%rip),%xmm7
  movsd  0x10(%rsp),%xmm2
  movsd  %xmm0,0x38(%rsp)
  movapd %xmm7,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D113(%rip),%xmm0
  call   <exp@plt>
  movsd  0x58(%rsp),%xmm8
  mulsd  D42(%rip),%xmm8
  movsd  0x60(%rsp),%xmm2
  movapd %xmm0,%xmm5
  movsd  D159(%rip),%xmm1
  movsd  0x20(%rsp),%xmm0
  movsd  0x50(%rsp),%xmm7
  mulsd  %xmm2,%xmm1
  movsd  0x48(%rsp),%xmm6
  movsd  0x40(%rsp),%xmm4
  mulsd  0x18(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm2
  mulsd  %xmm8,%xmm0
  movsd  0x68(%rsp),%xmm3
  mulsd  D10(%rip),%xmm7
  mulsd  D108(%rip),%xmm6
  mulsd  D147(%rip),%xmm3
  subsd  %xmm0,%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  %xmm2,%xmm3
  addsd  %xmm0,%xmm1
  movsd  0x30(%rsp),%xmm0
  mulsd  %xmm6,%xmm0
  movsd  0x8(%rsp),%xmm6
  mulsd  %xmm4,%xmm6
  mulsd  %xmm2,%xmm4
  subsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm2,%xmm4
  addsd  %xmm1,%xmm0
  subsd  %xmm4,%xmm0
  addsd  D160(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  D158(%rip),%xmm0
  divsd  D201(%rip),%xmm0
  add    $0x78,%rsp
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D34
type_guessed: byte[8]
name: retrieve_data
arguments: data_label: D14
type_guessed: f64
name: retrieve_data
arguments: data_label: D167
type_guessed: f64
name: retrieve_data
arguments: data_label: D24
type_guessed: f64
name: retrieve_data
arguments: data_label: D100
type_guessed: f64
name: retrieve_data
arguments: data_label: D168
type_guessed: f64
name: retrieve_data
arguments: data_label: D29
type_guessed: f64
name: retrieve_data
arguments: data_label: D141
type_guessed: f64
name: retrieve_data
arguments: data_label: D80
type_guessed: f64
name: retrieve_data
arguments: data_label: D5
type_guessed: byte[16]
name: retrieve_data
arguments: data_label: D113
type_guessed: byte[8]
name: retrieve_data
arguments: data_label: D42
type_guessed: f64
name: retrieve_data
arguments: data_label: D159
type_guessed: f64
name: retrieve_data
arguments: data_label: D10
type_guessed: f64
name: retrieve_data
arguments: data_label: D108
type_guessed: f64
name: retrieve_data
arguments: data_label: D147
type_guessed: byte[8]
name: retrieve_data
arguments: data_label: D160
type_guessed: f64
name: retrieve_data
arguments: data_label: D158
type_guessed: byte[8]
name: retrieve_data
arguments: data_label: D201
type_guessed: f64

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

tool: D14: 6

tool: D167: 12

tool: D24: 5

tool: D100: 10

tool: D168: 4

tool: D29: 8

tool: D141: 3

tool: D80: 540540

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

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

tool: D42: 2496

tool: D159: 64

tool: D10: 34320

tool: D108: 205920

tool: {"D147": [0xa7,0x53,0xec,0x92,0xe5,0x5f,0x53,0x40]}

tool: D160: 135135

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

tool: D201: 4324320

assistant: ```c
double HO_13(const double a, const double x) {
  double retval = sqrt(0.6006e4) * pow(a, 0.3e1 / 0.4e1) * x * (0.64e2 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.2496e4 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.34320e5 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.205920e6 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.540540e6 * a * a * pow(x, 0.4e1) - 0.540540e6 * a * x * x + 0.135135e6) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.4324320e7;
  return retval;
}
```