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

```asm
<HO_13>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  movsd  %xmm1,0x8(%rsp)
  movsd  D117(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  call   <pow@plt>
  movapd %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm5
  mulsd  D99(%rip),%xmm5
  movapd %xmm5,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm1,%xmm0
  call   <exp@plt>
  movq   %xmm0,%r15
  movsd  D48(%rip),%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  mov    D86(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D115(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D71(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D80(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  mov    D8(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D8(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  mov    D80(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D71(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  mov    D86(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  mov    D115(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm2
  movq   %rbx,%xmm7
  mulsd  D21(%rip),%xmm7
  movapd %xmm7,%xmm0
  movsd  0x10(%rsp),%xmm6
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  movq   %r14,%xmm1
  mulsd  D6(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movq   %r13,%xmm1
  mulsd  D0(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movq   %r12,%xmm1
  mulsd  D110(%rip),%xmm1
  mulsd  0x28(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %rbp,%xmm1
  mulsd  D81(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x8(%rsp),%xmm3
  movapd %xmm3,%xmm1
  mulsd  D125(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  0x38(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  D123(%rip),%xmm3
  movapd %xmm3,%xmm1
  movq   %r15,%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  0x18(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: label: D117
type: byte[8]
name: read_data
arguments: label: D99
type: byte[8]
name: read_data
arguments: label: D48
type: byte[8]
name: read_data
arguments: label: D86
type: f64
name: read_data
arguments: label: D115
type: f64
name: read_data
arguments: label: D71
type: f64
name: read_data
arguments: label: D80
type: f64
name: read_data
arguments: label: D8
type: f64
name: read_data
arguments: label: D21
type: byte[8]
name: read_data
arguments: label: D6
type: byte[8]
name: read_data
arguments: label: D0
type: f64
name: read_data
arguments: label: D110
type: f64
name: read_data
arguments: label: D81
type: f64
name: read_data
arguments: label: D125
type: f64
name: read_data
arguments: label: D123
type: f64

tool: {"D117": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0xc0]}

tool: {"D99": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0xbf]}

tool: {"D48": [0x00,0x00,0x00,0x00,0x00,0x00,0x2b,0xc0]}

tool: D86: 10

tool: D115: 12

tool: D71: 8

tool: D80: 4

tool: D8: 6

tool: {"D21": [0x48,0x98,0x42,0xcd,0xe8,0xe9,0x92,0xbf]}

tool: {"D6": [0xc3,0x99,0x4d,0x8c,0xb2,0x09,0x3f,0x3f]}

tool: D0: 0.2539682542

tool: D110: 1.523809525

tool: D81: 4.000000002

tool: D125: 4.000000003

tool: D123: 143547.4143

assistant: ```c
double HO_13(const double L, const double x) {
  double retval = 0.1435474143e6 * x * exp(-0.5000000000e0 * x * x * pow(L, -0.2e1)) * pow(L, -0.27e2 / 0.2e1) * (-0.1847041848e-1 * pow(x, 0.10e2) * L * L + 0.4736004742e-3 * pow(x, 0.12e2) + 0.2539682542e0 * pow(x, 0.8e1) * pow(L, 0.4e1) - 0.1523809525e1 * pow(x, 0.6e1) * pow(L, 0.6e1) + 0.4000000002e1 * pow(x, 0.4e1) * pow(L, 0.8e1) - 0.4000000003e1 * x * x * pow(L, 0.10e2) + 0.1000000000e1 * pow(L, 0.12e2));
  return retval;
}
```