user: Translate the below assembly code into C programming language:

```asm
<HO_30>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D402(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D311(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D126(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D95(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D324(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D204(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D383(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D68(%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  D448(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D240(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D201(%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  D390(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D133(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D206(%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  D371(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D58(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D36(%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  D374(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D302(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D137(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D101(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D78(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D148(%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  D61(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D432(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D283(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D177(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D379(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D204(%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  D100(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D146(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D390(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D74(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D262(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D374(%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  D221(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D157(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D61(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D2(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D242(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D100(%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  -0x18(%rbp),%xmm1
  movsd  D419(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x18(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D221(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D338(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  D184(%rip),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D186(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D223(%rip),%xmm1
  movapd %xmm0,%xmm3
  divsd  %xmm1,%xmm3
  movq   %xmm3,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D414(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D330(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: read_data
arguments: label: D402
type_infered: byte[8]
name: read_data
arguments: label: D311
type_infered: byte[8]
name: read_data
arguments: label: D126
type_infered: f64
name: read_data
arguments: label: D95
type_infered: f64
name: read_data
arguments: label: D324
type_infered: f64
name: read_data
arguments: label: D204
type_infered: f64
name: read_data
arguments: label: D383
type_infered: f64
name: read_data
arguments: label: D68
type_infered: f64
name: read_data
arguments: label: D448
type_infered: f64
name: read_data
arguments: label: D240
type_infered: f64
name: read_data
arguments: label: D201
type_infered: f64
name: read_data
arguments: label: D390
type_infered: f64
name: read_data
arguments: label: D133
type_infered: f64
name: read_data
arguments: label: D206
type_infered: f64
name: read_data
arguments: label: D371
type_infered: f64
name: read_data
arguments: label: D58
type_infered: f64
name: read_data
arguments: label: D36
type_infered: f64
name: read_data
arguments: label: D374
type_infered: f64
name: read_data
arguments: label: D302
type_infered: f64
name: read_data
arguments: label: D137
type_infered: f64
name: read_data
arguments: label: D101
type_infered: f64
name: read_data
arguments: label: D78
type_infered: f64
name: read_data
arguments: label: D148
type_infered: f64
name: read_data
arguments: label: D61
type_infered: f64
name: read_data
arguments: label: D432
type_infered: f64
name: read_data
arguments: label: D283
type_infered: f64
name: read_data
arguments: label: D177
type_infered: f64
name: read_data
arguments: label: D379
type_infered: f64
name: read_data
arguments: label: D100
type_infered: f64
name: read_data
arguments: label: D146
type_infered: f64
name: read_data
arguments: label: D74
type_infered: f64
name: read_data
arguments: label: D262
type_infered: f64
name: read_data
arguments: label: D221
type_infered: f64
name: read_data
arguments: label: D157
type_infered: f64
name: read_data
arguments: label: D2
type_infered: f64
name: read_data
arguments: label: D242
type_infered: f64
name: read_data
arguments: label: D419
type_infered: f64
name: read_data
arguments: label: D338
type_infered: f64
name: read_data
arguments: label: D184
type_infered: f64
name: read_data
arguments: label: D186
type_infered: byte[8]
name: read_data
arguments: label: D223
type_infered: f64
name: read_data
arguments: label: D414
type_infered: byte[8]
name: read_data
arguments: label: D330
type_infered: f64

tool: {"D402": [0x00,0x00,0x00,0x00,0x00,0x00,0xd0,0x3f]}

tool: {"D311": [0xbc,0x60,0xef,0x1a,0x8a,0x37,0x90,0x40]}

tool: D126: 15

tool: D95: 32768

tool: D324: 30

tool: D204: 14

tool: D383: 7127040

tool: D68: 28

tool: D448: 13

tool: D240: 673505280

tool: D201: 26

tool: D390: 12

tool: D133: 36481536000

tool: D206: 24

tool: D371: 11

tool: D58: 1258612992000

tool: D36: 22

tool: D374: 10

tool: D302: 29073960115200

tool: D137: 20

tool: D101: 9

tool: D78: 460337701824000

tool: D148: 18

tool: D61: 8

tool: D432: 5030833455648000.0

tool: D283: 16

tool: D177: 7

tool: D379: 3.773125091736e+16

tool: D100: 6

tool: D146: 1.9075243519332e+17

tool: D74: 5

tool: D262: 6.29483036137956e+17

tool: D221: 4

tool: D157: 1.28757893755491e+18

tool: D2: 3

tool: D242: 1.502175427147395e+18

tool: D419: 8.666396695081125e+17

tool: D338: 1.8570850060888125e+17

tool: D184: 6190283353629375.0

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

tool: D223: 2

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

tool: D330: 1.690360041097728e+19

assistant: ```c
double HO_30(const double a, const double x) {
  double retval = sqrt(0.1077205e7) * pow(a, 0.1e1 / 0.4e1) * (0.32768e5 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.7127040e7 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.673505280e9 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.36481536000e11 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.1258612992000e13 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.29073960115200e14 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.460337701824000e15 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.5030833455648000e16 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.37731250917360000e17 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.190752435193320000e18 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.629483036137956000e18 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.1287578937554910000e19 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.1502175427147395000e19 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.866639669508112500e18 * a * a * pow(x, 0.4e1) + 0.185708500608881250e18 * a * x * x - 0.6190283353629375e16) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.16903600410977280000e20;
  return retval;
}
```