user: What is the c source code of the assembly code below:

```asm
<HO_13>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D100(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D113(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D29(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D80(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D62(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D195(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D170(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D193(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D212(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D7(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D60(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D23(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D35(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D29(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D163(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm6
  mulsd  -0x18(%rbp),%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D212(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D163(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x20(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D179(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D207(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D86(%rip),%xmm1
  movapd %xmm0,%xmm5
  divsd  %xmm1,%xmm5
  movq   %xmm5,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D198(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D88(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D100
datatype: byte[8]
name: unpack_data
arguments: data_tag: D113
datatype: byte[8]
name: unpack_data
arguments: data_tag: D29
datatype: f64
name: unpack_data
arguments: data_tag: D80
datatype: f64
name: unpack_data
arguments: data_tag: D62
datatype: f64
name: unpack_data
arguments: data_tag: D195
datatype: f64
name: unpack_data
arguments: data_tag: D170
datatype: f64
name: unpack_data
arguments: data_tag: D193
datatype: f64
name: unpack_data
arguments: data_tag: D212
datatype: f64
name: unpack_data
arguments: data_tag: D7
datatype: f64
name: unpack_data
arguments: data_tag: D60
datatype: f64
name: unpack_data
arguments: data_tag: D23
datatype: f64
name: unpack_data
arguments: data_tag: D35
datatype: f64
name: unpack_data
arguments: data_tag: D163
datatype: f64
name: unpack_data
arguments: data_tag: D179
datatype: f64
name: unpack_data
arguments: data_tag: D207
datatype: byte[8]
name: unpack_data
arguments: data_tag: D86
datatype: f64
name: unpack_data
arguments: data_tag: D198
datatype: byte[8]
name: unpack_data
arguments: data_tag: D88
datatype: f64

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

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

tool: D29: 6

tool: D80: 64

tool: D62: 12

tool: D195: 5

tool: D170: 2496

tool: D193: 10

tool: D212: 4

tool: D7: 34320

tool: D60: 8

tool: D23: 3

tool: D35: 205920

tool: D163: 540540

tool: D179: 135135

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

tool: D86: 2

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

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