user: Converte this assembly snippet into its equivalent C code:

```asm
<HO_13>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  movq   %xmm0,%rbp
  movsd  %xmm1,0x8(%rsp)
  movsd  D40(%rip),%xmm1
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D103(%rip),%rax
  movq   %rax,%xmm1
  movq   %rbp,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  movsd  D74(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D188(%rip),%xmm1
  movq   %rbp,%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  movsd  D183(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  mov    D91(%rip),%rax
  movq   %rax,%xmm1
  movq   %rbp,%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  movsd  D120(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  movsd  D8(%rip),%xmm1
  movq   %rbp,%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D103(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movq   %rbp,%xmm4
  mulsd  D95(%rip),%xmm4
  movsd  %xmm4,0x30(%rsp)
  mov    D91(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movq   %rbp,%xmm5
  xorpd  D90(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  0x8(%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D39(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movq   %rbx,%xmm1
  mulsd  D149(%rip),%xmm1
  mulsd  0x10(%rsp),%xmm1
  movq   %r15,%xmm0
  mulsd  D23(%rip),%xmm0
  mulsd  0x18(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D134(%rip),%xmm0
  mulsd  0x20(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D178(%rip),%xmm0
  mulsd  0x28(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  movsd  0x30(%rsp),%xmm4
  mulsd  %xmm4,%xmm0
  mulsd  0x38(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x8(%rsp),%xmm3
  mulsd  %xmm3,%xmm4
  movapd %xmm4,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  addsd  D77(%rip),%xmm0
  movq   %r12,%xmm1
  mulsd  D159(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D101(%rip),%xmm0
  divsd  D114(%rip),%xmm0
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: tag: D40
type_guessed: byte[8]
name: read_data
arguments: tag: D103
type_guessed: f64
name: read_data
arguments: tag: D74
type_guessed: f64
name: read_data
arguments: tag: D188
type_guessed: f64
name: read_data
arguments: tag: D183
type_guessed: f64
name: read_data
arguments: tag: D91
type_guessed: f64
name: read_data
arguments: tag: D120
type_guessed: f64
name: read_data
arguments: tag: D8
type_guessed: f64
name: read_data
arguments: tag: D95
type_guessed: f64
name: read_data
arguments: tag: D90
type_guessed: byte[16]
name: read_data
arguments: tag: D39
type_guessed: byte[8]
name: read_data
arguments: tag: D149
type_guessed: f64
name: read_data
arguments: tag: D23
type_guessed: f64
name: read_data
arguments: tag: D134
type_guessed: f64
name: read_data
arguments: tag: D178
type_guessed: f64
name: read_data
arguments: tag: D77
type_guessed: f64
name: read_data
arguments: tag: D159
type_guessed: byte[8]
name: read_data
arguments: tag: D101
type_guessed: byte[8]
name: read_data
arguments: tag: D114
type_guessed: f64

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

tool: D103: 6

tool: D74: 12

tool: D188: 5

tool: D183: 10

tool: D91: 4

tool: D120: 8

tool: D8: 3

tool: D95: 540540

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

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

tool: D149: 64

tool: D23: 2496

tool: D134: 34320

tool: D178: 205920

tool: D77: 135135

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

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

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