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

```asm
<HO_38>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x108,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D41(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D234(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  movsd  D521(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  mov    D412(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  movsd  D370(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D103(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  movsd  D210(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  mov    D409(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  movsd  D474(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D577(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D444(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  mov    D247(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  movsd  D218(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D469(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  movsd  D214(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  mov    D414(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  movsd  D350(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  D435(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  movsd  D427(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  mov    D43(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  movsd  D575(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D346(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  mov    D412(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  mov    D417(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D409(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D44(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D247(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  mov    D198(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D414(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D119(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D43(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  mov    D116(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D417(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  movsd  D587(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D198(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  mov    D116(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D0(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D40(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movq   %rbx,%xmm1
  mulsd  D573(%rip),%xmm1
  mulsd  0x18(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm0
  mulsd  D327(%rip),%xmm0
  mulsd  0x28(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x30(%rsp),%xmm0
  mulsd  D481(%rip),%xmm0
  mulsd  0x38(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x40(%rsp),%xmm0
  mulsd  D342(%rip),%xmm0
  mulsd  0x48(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x50(%rsp),%xmm0
  mulsd  D104(%rip),%xmm0
  mulsd  0x58(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x60(%rsp),%xmm0
  mulsd  D186(%rip),%xmm0
  mulsd  0x68(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x70(%rsp),%xmm0
  mulsd  D378(%rip),%xmm0
  mulsd  0x78(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x80(%rsp),%xmm0
  mulsd  D576(%rip),%xmm0
  mulsd  0x88(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x90(%rsp),%xmm0
  mulsd  D256(%rip),%xmm0
  mulsd  0x98(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xa0(%rsp),%xmm0
  mulsd  D290(%rip),%xmm0
  mulsd  0xa8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb0(%rsp),%xmm0
  mulsd  D279(%rip),%xmm0
  mulsd  0xb8(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc0(%rsp),%xmm0
  mulsd  D139(%rip),%xmm0
  mulsd  0xc8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D54(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D316(%rip),%xmm0
  mulsd  0xd8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D56(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D261(%rip),%xmm0
  mulsd  0xe8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D63(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D322(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0xf8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  D431(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  subsd  D418(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D202(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D404(%rip),%xmm0
  divsd  D102(%rip),%xmm0
  add    $0x108,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: data_label: D41
type: byte[8]
name: read_data
arguments: data_label: D234
type: f64
name: read_data
arguments: data_label: D521
type: f64
name: read_data
arguments: data_label: D412
type: f64
name: read_data
arguments: data_label: D370
type: f64
name: read_data
arguments: data_label: D103
type: f64
name: read_data
arguments: data_label: D210
type: f64
name: read_data
arguments: data_label: D409
type: f64
name: read_data
arguments: data_label: D474
type: f64
name: read_data
arguments: data_label: D577
type: f64
name: read_data
arguments: data_label: D444
type: f64
name: read_data
arguments: data_label: D247
type: f64
name: read_data
arguments: data_label: D218
type: f64
name: read_data
arguments: data_label: D469
type: f64
name: read_data
arguments: data_label: D214
type: f64
name: read_data
arguments: data_label: D414
type: f64
name: read_data
arguments: data_label: D350
type: f64
name: read_data
arguments: data_label: D435
type: f64
name: read_data
arguments: data_label: D427
type: f64
name: read_data
arguments: data_label: D43
type: f64
name: read_data
arguments: data_label: D575
type: f64
name: read_data
arguments: data_label: D346
type: f64
name: read_data
arguments: data_label: D417
type: f64
name: read_data
arguments: data_label: D44
type: f64
name: read_data
arguments: data_label: D198
type: f64
name: read_data
arguments: data_label: D119
type: f64
name: read_data
arguments: data_label: D116
type: f64
name: read_data
arguments: data_label: D587
type: f64
name: read_data
arguments: data_label: D0
type: byte[16]
name: read_data
arguments: data_label: D40
type: byte[8]
name: read_data
arguments: data_label: D573
type: f64
name: read_data
arguments: data_label: D327
type: f64
name: read_data
arguments: data_label: D481
type: f64
name: read_data
arguments: data_label: D342
type: f64
name: read_data
arguments: data_label: D104
type: f64
name: read_data
arguments: data_label: D186
type: f64
name: read_data
arguments: data_label: D378
type: f64
name: read_data
arguments: data_label: D576
type: f64
name: read_data
arguments: data_label: D256
type: f64
name: read_data
arguments: data_label: D290
type: f64
name: read_data
arguments: data_label: D279
type: f64
name: read_data
arguments: data_label: D139
type: f64
name: read_data
arguments: data_label: D54
type: f64
name: read_data
arguments: data_label: D316
type: f64
name: read_data
arguments: data_label: D56
type: f64
name: read_data
arguments: data_label: D261
type: f64
name: read_data
arguments: data_label: D63
type: f64
name: read_data
arguments: data_label: D322
type: f64
name: read_data
arguments: data_label: D431
type: f64
name: read_data
arguments: data_label: D418
type: f64
name: read_data
arguments: data_label: D202
type: byte[8]
name: read_data
arguments: data_label: D404
type: byte[8]
name: read_data
arguments: data_label: D102
type: f64

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

tool: D234: 19

tool: D521: 38

tool: D412: 18

tool: D370: 36

tool: D103: 17

tool: D210: 34

tool: D409: 16

tool: D474: 32

tool: D577: 15

tool: D444: 30

tool: D247: 14

tool: D218: 28

tool: D469: 13

tool: D214: 26

tool: D414: 12

tool: D350: 24

tool: D435: 11

tool: D427: 22

tool: D43: 10

tool: D575: 20

tool: D346: 9

tool: D417: 8

tool: D44: 7

tool: D198: 6

tool: D119: 5

tool: D116: 4

tool: D587: 3

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

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

tool: D573: 524288

tool: D327: 184287232

tool: D481: 29025239040

tool: D342: 2713859850240

tool: D104: 168259310714880

tool: D186: 7319280016097280.0

tool: D378: 2.3055732050706432e+17

tool: D576: 5.352223511771136e+18

tool: D256: 9.23258555780521e+19

tool: D290: 1.1848484799183352e+21

tool: D279: 1.1256060559224184e+22

tool: D139: 7.828078479824093e+22

tool: D54: 3.914039239912046e+23

tool: D316: 1.369913733969216e+24

tool: D56: 3.229082372927438e+24

tool: D261: 4.843623559391157e+24

tool: D63: 4.2381706144672625e+24

tool: D322: 1.8697811534414392e+24

tool: D431: 3.116301922402399e+23

tool: D418: 8.200794532637892e+21

tool: {"D202": [0x59,0x5d,0xe4,0x82,0x15,0x5c,0xd2,0x40]}

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

tool: D102: 4.299578163927655e+26

assistant: ```c
double HO_38(const double a, const double x) {
  double retval = sqrt(0.353452638e9) * pow(a, 0.1e1 / 0.4e1) * (0.524288e6 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.184287232e9 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.29025239040e11 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.2713859850240e13 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.168259310714880e15 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.7319280016097280e16 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.230557320507064320e18 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.5352223511771136000e19 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.92325855578052096000e20 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.1184848479918335232000e22 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.11256060559224184704000e23 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.78280784798240920896000e23 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.391403923991204604480000e24 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.1369913733969216115680000e25 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.3229082372927437986960000e25 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.4843623559391156980440000e25 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.4238170614467262357885000e25 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.1869781153441439275537500e25 * a * a * pow(x, 0.4e1) + 0.311630192240239879256250e24 * a * x * x - 0.8200794532637891559375e22) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.429957816392765488988160000e27;
  return retval;
}
```