user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<HO_39>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x108,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D34(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D95(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D587(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D492(%rip),%xmm13
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D412(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D94(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D485(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D489(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D498(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D413(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D103(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D555(%rip),%xmm12
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D509(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D87(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D172(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D83(%rip),%xmm3
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D321(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D401(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D445(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D468(%rip),%xmm14
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D531(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D338(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D492(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D6(%rip),%xmm13
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  mov    D489(%rip),%rax
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D234(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D555(%rip),%rax
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D259(%rip),%xmm12
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D83(%rip),%rax
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D150(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D468(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D5(%rip),%xmm14
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D6(%rip),%rax
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D561(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D259(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D5(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm5
  movsd  (%rsp),%xmm6
  xorpd  D387(%rip),%xmm5
  movsd  %xmm0,0x98(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D180(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0xf8(%rsp),%xmm2
  movsd  0xf0(%rsp),%xmm11
  mulsd  D246(%rip),%xmm2
  movsd  0xe8(%rsp),%xmm10
  mulsd  D400(%rip),%xmm1
  movsd  0xe0(%rsp),%xmm9
  mulsd  0x18(%rsp),%xmm1
  movsd  0xd8(%rsp),%xmm8
  mulsd  0x10(%rsp),%xmm2
  movsd  0xd0(%rsp),%xmm7
  mulsd  D17(%rip),%xmm11
  movsd  0xc8(%rsp),%xmm6
  mulsd  0x28(%rsp),%xmm11
  movsd  0xc0(%rsp),%xmm5
  mulsd  D102(%rip),%xmm10
  movsd  0xb8(%rsp),%xmm4
  mulsd  0x30(%rsp),%xmm10
  subsd  %xmm1,%xmm2
  movq   %r15,%xmm1
  mulsd  D306(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  mulsd  D507(%rip),%xmm9
  mulsd  0x38(%rsp),%xmm9
  mulsd  D355(%rip),%xmm8
  mulsd  0x40(%rsp),%xmm8
  addsd  %xmm1,%xmm2
  mulsd  D535(%rip),%xmm7
  mulsd  0x48(%rsp),%xmm7
  mulsd  D478(%rip),%xmm6
  subsd  %xmm11,%xmm2
  mulsd  0x50(%rsp),%xmm6
  mulsd  D35(%rip),%xmm5
  mulsd  0x58(%rsp),%xmm5
  addsd  %xmm10,%xmm2
  mulsd  D380(%rip),%xmm4
  mulsd  0x60(%rsp),%xmm4
  subsd  %xmm9,%xmm2
  addsd  %xmm8,%xmm2
  movapd %xmm2,%xmm1
  movq   %rbp,%xmm2
  subsd  %xmm7,%xmm1
  mulsd  D580(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  movsd  0xb0(%rsp),%xmm15
  mulsd  D163(%rip),%xmm15
  movsd  0xa8(%rsp),%xmm3
  addsd  %xmm6,%xmm1
  movsd  (%rsp),%xmm6
  mulsd  0x70(%rsp),%xmm15
  mulsd  D160(%rip),%xmm3
  movsd  0xa0(%rsp),%xmm13
  mulsd  0x80(%rsp),%xmm3
  mulsd  D242(%rip),%xmm13
  subsd  %xmm5,%xmm1
  mulsd  0x90(%rsp),%xmm13
  addsd  %xmm4,%xmm1
  movsd  0x8(%rsp),%xmm4
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D89(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D298(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D206(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  addsd  %xmm13,%xmm1
  mulsd  %xmm4,%xmm2
  mulsd  0x98(%rsp),%xmm2
  mulsd  D469(%rip),%xmm4
  subsd  %xmm2,%xmm1
  movapd %xmm4,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  subsd  D125(%rip),%xmm1
  mulsd  D596(%rip),%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D67(%rip),%xmm0
  divsd  D288(%rip),%xmm0
  add    $0x108,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D34
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D95
datatype: f64
name: extract_symbolic_data
arguments: tag: D587
datatype: f64
name: extract_symbolic_data
arguments: tag: D492
datatype: f64
name: extract_symbolic_data
arguments: tag: D412
datatype: f64
name: extract_symbolic_data
arguments: tag: D94
datatype: f64
name: extract_symbolic_data
arguments: tag: D485
datatype: f64
name: extract_symbolic_data
arguments: tag: D489
datatype: f64
name: extract_symbolic_data
arguments: tag: D498
datatype: f64
name: extract_symbolic_data
arguments: tag: D413
datatype: f64
name: extract_symbolic_data
arguments: tag: D103
datatype: f64
name: extract_symbolic_data
arguments: tag: D555
datatype: f64
name: extract_symbolic_data
arguments: tag: D509
datatype: f64
name: extract_symbolic_data
arguments: tag: D87
datatype: f64
name: extract_symbolic_data
arguments: tag: D172
datatype: f64
name: extract_symbolic_data
arguments: tag: D83
datatype: f64
name: extract_symbolic_data
arguments: tag: D321
datatype: f64
name: extract_symbolic_data
arguments: tag: D401
datatype: f64
name: extract_symbolic_data
arguments: tag: D445
datatype: f64
name: extract_symbolic_data
arguments: tag: D468
datatype: f64
name: extract_symbolic_data
arguments: tag: D531
datatype: f64
name: extract_symbolic_data
arguments: tag: D338
datatype: f64
name: extract_symbolic_data
arguments: tag: D6
datatype: f64
name: extract_symbolic_data
arguments: tag: D234
datatype: f64
name: extract_symbolic_data
arguments: tag: D259
datatype: f64
name: extract_symbolic_data
arguments: tag: D150
datatype: f64
name: extract_symbolic_data
arguments: tag: D5
datatype: f64
name: extract_symbolic_data
arguments: tag: D561
datatype: f64
name: extract_symbolic_data
arguments: tag: D387
datatype: byte[16]
name: extract_symbolic_data
arguments: tag: D180
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D246
datatype: f64
name: extract_symbolic_data
arguments: tag: D400
datatype: f64
name: extract_symbolic_data
arguments: tag: D17
datatype: f64
name: extract_symbolic_data
arguments: tag: D102
datatype: f64
name: extract_symbolic_data
arguments: tag: D306
datatype: f64
name: extract_symbolic_data
arguments: tag: D507
datatype: f64
name: extract_symbolic_data
arguments: tag: D355
datatype: f64
name: extract_symbolic_data
arguments: tag: D535
datatype: f64
name: extract_symbolic_data
arguments: tag: D478
datatype: f64
name: extract_symbolic_data
arguments: tag: D35
datatype: f64
name: extract_symbolic_data
arguments: tag: D380
datatype: f64
name: extract_symbolic_data
arguments: tag: D580
datatype: f64
name: extract_symbolic_data
arguments: tag: D163
datatype: f64
name: extract_symbolic_data
arguments: tag: D160
datatype: f64
name: extract_symbolic_data
arguments: tag: D242
datatype: f64
name: extract_symbolic_data
arguments: tag: D89
datatype: f64
name: extract_symbolic_data
arguments: tag: D298
datatype: f64
name: extract_symbolic_data
arguments: tag: D206
datatype: f64
name: extract_symbolic_data
arguments: tag: D469
datatype: f64
name: extract_symbolic_data
arguments: tag: D125
datatype: f64
name: extract_symbolic_data
arguments: tag: D596
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D67
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D288
datatype: f64

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

tool: D95: 19

tool: D587: 38

tool: D492: 18

tool: D412: 36

tool: D94: 17

tool: D485: 34

tool: D489: 16

tool: D498: 32

tool: D413: 15

tool: D103: 30

tool: D555: 14

tool: D509: 28

tool: D87: 13

tool: D172: 26

tool: D83: 12

tool: D321: 24

tool: D401: 11

tool: D445: 22

tool: D468: 10

tool: D531: 20

tool: D338: 9

tool: D6: 8

tool: D234: 7

tool: D259: 6

tool: D150: 5

tool: D5: 4

tool: D561: 3

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

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

tool: D246: 524288

tool: D400: 194248704

tool: D17: 3207288913920

tool: D102: 211681068318720

tool: D306: 32342409216

tool: D507: 9843169676820480.0

tool: D355: 3.3302724073242624e+17

tool: D535: 8.349468678362972e+18

tool: D478: 1.5655253771930573e+20

tool: D35: 2.2004328912769083e+21

tool: D380: 2.3104545358407537e+22

tool: D580: 1.795853298312586e+23

tool: D163: 1.0176502023771319e+24

tool: D160: 1.1448564776742734e+25

tool: D242: 2.361266485203189e+25

tool: D89: 4.109741201907648e+24

tool: D298: 2.0989035424028345e+25

tool: D206: 1.4584292996843226e+25

tool: D469: 4.0511924991231186e+24

tool: D125: 3.1983098677287775e+23

tool: {"D596": [0x95,0x29,0x08,0x1c,0x56,0x06,0xdb,0x40]}

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

tool: D288: 2.794725806552976e+27

assistant: ```c
double HO_39(const double a, const double x) {
  double retval = sqrt(0.765814049e9) * pow(a, 0.3e1 / 0.4e1) * x * (0.524288e6 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.194248704e9 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.32342409216e11 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.3207288913920e13 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.211681068318720e15 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.9843169676820480e16 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.333027240732426240e18 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.8349468678362972160e19 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.156552537719305728000e21 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.2200432891276908288000e22 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.23104545358407537024000e23 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.179585329831258583232000e24 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.1017650202377131971648000e25 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.4109741201907648347040000e25 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.11448564776742734681040000e26 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.20989035424028346915240000e26 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.23612664852031890279645000e26 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.14584292996843226349192500e26 * a * a * pow(x, 0.4e1) + 0.4051192499123118430331250e25 * a * x * x - 0.319830986772877770815625e24) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.2794725806552975678423040000e28;
  return retval;
}
```