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

```asm
<HO_36>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D389(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D37(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D360(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D234(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D420(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D370(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D160(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D185(%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  D107(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D242(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D307(%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  D367(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D150(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D521(%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  D267(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D520(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D491(%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  D343(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D531(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D298(%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  D490(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D301(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D24(%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  D58(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D96(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D145(%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  D0(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D527(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D238(%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  D81(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D499(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D360(%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  D189(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D220(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D107(%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  D526(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D210(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D267(%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  D495(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D111(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D490(%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  D303(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D569(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D0(%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  D577(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D338(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D189(%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  D470(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D355(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D495(%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  D41(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x18(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D577(%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  D348(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D27(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D174(%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  D502(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D199(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: data_label: D389
data_type: byte[8]
name: disassemble_data
arguments: data_label: D37
data_type: byte[8]
name: disassemble_data
arguments: data_label: D360
data_type: f64
name: disassemble_data
arguments: data_label: D234
data_type: f64
name: disassemble_data
arguments: data_label: D420
data_type: f64
name: disassemble_data
arguments: data_label: D370
data_type: f64
name: disassemble_data
arguments: data_label: D160
data_type: f64
name: disassemble_data
arguments: data_label: D185
data_type: f64
name: disassemble_data
arguments: data_label: D107
data_type: f64
name: disassemble_data
arguments: data_label: D242
data_type: f64
name: disassemble_data
arguments: data_label: D307
data_type: f64
name: disassemble_data
arguments: data_label: D367
data_type: f64
name: disassemble_data
arguments: data_label: D150
data_type: f64
name: disassemble_data
arguments: data_label: D521
data_type: f64
name: disassemble_data
arguments: data_label: D267
data_type: f64
name: disassemble_data
arguments: data_label: D520
data_type: f64
name: disassemble_data
arguments: data_label: D491
data_type: f64
name: disassemble_data
arguments: data_label: D343
data_type: f64
name: disassemble_data
arguments: data_label: D531
data_type: f64
name: disassemble_data
arguments: data_label: D298
data_type: f64
name: disassemble_data
arguments: data_label: D490
data_type: f64
name: disassemble_data
arguments: data_label: D301
data_type: f64
name: disassemble_data
arguments: data_label: D24
data_type: f64
name: disassemble_data
arguments: data_label: D58
data_type: f64
name: disassemble_data
arguments: data_label: D96
data_type: f64
name: disassemble_data
arguments: data_label: D145
data_type: f64
name: disassemble_data
arguments: data_label: D0
data_type: f64
name: disassemble_data
arguments: data_label: D527
data_type: f64
name: disassemble_data
arguments: data_label: D238
data_type: f64
name: disassemble_data
arguments: data_label: D81
data_type: f64
name: disassemble_data
arguments: data_label: D499
data_type: f64
name: disassemble_data
arguments: data_label: D189
data_type: f64
name: disassemble_data
arguments: data_label: D220
data_type: f64
name: disassemble_data
arguments: data_label: D526
data_type: f64
name: disassemble_data
arguments: data_label: D210
data_type: f64
name: disassemble_data
arguments: data_label: D495
data_type: f64
name: disassemble_data
arguments: data_label: D111
data_type: f64
name: disassemble_data
arguments: data_label: D303
data_type: f64
name: disassemble_data
arguments: data_label: D569
data_type: f64
name: disassemble_data
arguments: data_label: D577
data_type: f64
name: disassemble_data
arguments: data_label: D338
data_type: f64
name: disassemble_data
arguments: data_label: D470
data_type: f64
name: disassemble_data
arguments: data_label: D355
data_type: f64
name: disassemble_data
arguments: data_label: D41
data_type: f64
name: disassemble_data
arguments: data_label: D163
data_type: f64
name: disassemble_data
arguments: data_label: D348
data_type: f64
name: disassemble_data
arguments: data_label: D27
data_type: byte[8]
name: disassemble_data
arguments: data_label: D174
data_type: f64
name: disassemble_data
arguments: data_label: D502
data_type: byte[8]
name: disassemble_data
arguments: data_label: D199
data_type: f64

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

tool: {"D37": [0x52,0x5e,0xb9,0xdb,0x2c,0x9b,0xc2,0x40]}

tool: D360: 18

tool: D234: 262144

tool: D420: 36

tool: D370: 17

tool: D160: 82575360

tool: D185: 34

tool: D107: 16

tool: D242: 11581194240

tool: D307: 32

tool: D367: 15

tool: D150: 957378723840

tool: D521: 30

tool: D267: 14

tool: D520: 52057468108800

tool: D491: 28

tool: D343: 13

tool: D531: 1967772294512640.0

tool: D298: 26

tool: D490: 12

tool: D301: 5.3293832976384e+16

tool: D24: 24

tool: D58: 11

tool: D96: 1.050649850105856e+18

tool: D145: 22

tool: D0: 10

tool: D527: 1.5168757210903296e+19

tool: D238: 20

tool: D81: 9

tool: D499: 1.6011465944842368e+20

tool: D189: 8

tool: D220: 1.224877144780441e+21

tool: D526: 7

tool: D210: 6.68114806243877e+21

tool: D495: 6

tool: D111: 2.533268640341367e+22

tool: D303: 5

tool: D569: 6.430605010097316e+22

tool: D577: 4

tool: D338: 1.0334900909084972e+23

tool: D470: 3

tool: D355: 9.645907515145973e+22

tool: D41: 4.5215191477246755e+22

tool: D163: 7.979151437161192e+21

tool: D348: 2.2164309547669976e+20

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

tool: D174: 2

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

tool: D199: 5.810240762064399e+24

assistant: ```c
double HO_36(const double a, const double x) {
  double retval = sqrt(0.90751353e8) * pow(a, 0.1e1 / 0.4e1) * (0.262144e6 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.82575360e8 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.11581194240e11 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.957378723840e12 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.52057468108800e14 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.1967772294512640e16 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.53293832976384000e17 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.1050649850105856000e19 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.15168757210903296000e20 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.160114659448423680000e21 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.1224877144780441152000e22 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.6681148062438769920000e22 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.25332686403413669280000e23 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.64306050100973160480000e23 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.103349009090849722200000e24 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.96459075151459740720000e23 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.45215191477246753462500e23 * a * a * pow(x, 0.4e1) - 0.7979151437161191787500e22 * a * x * x + 0.221643095476699771875e21) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.5810240762064398499840000e25;
  return retval;
}
```