user: 请从给定的汇编指令推导出C源代码:

```asm
<HO_37>:
  endbr64
  push   %r15
  push   %r14
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x100,%rsp
  movsd  %xmm1,0x8(%rsp)
  movsd  D383(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  call   <pow@plt>
  movsd  D438(%rip),%xmm4
  movq   %xmm0,%rbx
  movsd  0x10(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  movsd  D80(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D344(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D100(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D255(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D421(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D229(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D67(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D196(%rip),%xmm12
  movsd  %xmm0,0x30(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D89(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D127(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D363(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D570(%rip),%xmm3
  movsd  %xmm0,0x40(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D458(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D15(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D567(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D290(%rip),%xmm14
  movsd  %xmm0,0x50(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D28(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D48(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D438(%rip),%rax
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D152(%rip),%xmm13
  movsd  %xmm0,0x60(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  mov    D255(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D26(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D196(%rip),%rax
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D451(%rip),%xmm12
  movsd  %xmm0,0x70(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D570(%rip),%rax
  movq   %xmm0,%rbp
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D364(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D290(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D131(%rip),%xmm14
  movsd  %xmm0,0x80(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D152(%rip),%rax
  movq   %xmm0,%r12
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D57(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D451(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D131(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x10(%rsp),%xmm6
  xorpd  D349(%rip),%xmm6
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm7
  movapd %xmm6,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  D489(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm12
  movsd  0xf8(%rsp),%xmm2
  movsd  0xf0(%rsp),%xmm11
  mulsd  D171(%rip),%xmm2
  movsd  0xe8(%rsp),%xmm10
  mulsd  D381(%rip),%xmm12
  movsd  0xe0(%rsp),%xmm9
  mulsd  0x18(%rsp),%xmm2
  movsd  0xd8(%rsp),%xmm8
  mulsd  0x20(%rsp),%xmm12
  movsd  0xd0(%rsp),%xmm7
  mulsd  D546(%rip),%xmm11
  movsd  0xc8(%rsp),%xmm6
  mulsd  0x30(%rsp),%xmm11
  movsd  0xc0(%rsp),%xmm5
  mulsd  D112(%rip),%xmm10
  movsd  0xb8(%rsp),%xmm4
  mulsd  0x38(%rsp),%xmm10
  movsd  0xb0(%rsp),%xmm15
  subsd  %xmm12,%xmm2
  mulsd  D92(%rip),%xmm7
  mulsd  D123(%rip),%xmm9
  mulsd  0x40(%rsp),%xmm9
  mulsd  D68(%rip),%xmm8
  movapd %xmm2,%xmm1
  movq   %r15,%xmm2
  mulsd  D323(%rip),%xmm2
  mulsd  0x28(%rsp),%xmm2
  mulsd  0x48(%rsp),%xmm8
  mulsd  0x50(%rsp),%xmm7
  mulsd  D341(%rip),%xmm6
  mulsd  0x58(%rsp),%xmm6
  addsd  %xmm2,%xmm1
  mulsd  D0(%rip),%xmm5
  movq   %rbp,%xmm2
  mulsd  0x60(%rsp),%xmm5
  mulsd  D324(%rip),%xmm4
  subsd  %xmm11,%xmm1
  mulsd  0x68(%rsp),%xmm4
  mulsd  D172(%rip),%xmm15
  movsd  0xa8(%rsp),%xmm3
  mulsd  0x70(%rsp),%xmm15
  movsd  0xa0(%rsp),%xmm13
  addsd  %xmm10,%xmm1
  mulsd  D240(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  mulsd  D362(%rip),%xmm3
  mulsd  0x80(%rsp),%xmm3
  subsd  %xmm9,%xmm1
  mulsd  D140(%rip),%xmm13
  mulsd  0x90(%rsp),%xmm13
  addsd  %xmm8,%xmm1
  subsd  %xmm7,%xmm1
  movsd  0x8(%rsp),%xmm7
  addsd  %xmm6,%xmm1
  subsd  %xmm5,%xmm1
  movsd  0x10(%rsp),%xmm5
  addsd  %xmm4,%xmm1
  subsd  %xmm15,%xmm1
  addsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D271(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  subsd  %xmm3,%xmm1
  addsd  %xmm2,%xmm1
  movsd  D17(%rip),%xmm2
  mulsd  %xmm5,%xmm2
  subsd  %xmm13,%xmm1
  mulsd  %xmm5,%xmm2
  mulsd  0x98(%rsp),%xmm2
  mulsd  D135(%rip),%xmm5
  addsd  %xmm2,%xmm1
  movapd %xmm5,%xmm2
  mulsd  %xmm7,%xmm2
  mulsd  %xmm7,%xmm2
  subsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  addsd  D442(%rip),%xmm1
  mulsd  D413(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D191(%rip),%xmm0
  divsd  D492(%rip),%xmm0
  add    $0x100,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: unpack_data
arguments: data_label: D383
datatype: byte[8]
name: unpack_data
arguments: data_label: D438
datatype: f64
name: unpack_data
arguments: data_label: D80
datatype: f64
name: unpack_data
arguments: data_label: D344
datatype: f64
name: unpack_data
arguments: data_label: D100
datatype: f64
name: unpack_data
arguments: data_label: D255
datatype: f64
name: unpack_data
arguments: data_label: D421
datatype: f64
name: unpack_data
arguments: data_label: D229
datatype: f64
name: unpack_data
arguments: data_label: D67
datatype: f64
name: unpack_data
arguments: data_label: D196
datatype: f64
name: unpack_data
arguments: data_label: D89
datatype: f64
name: unpack_data
arguments: data_label: D127
datatype: f64
name: unpack_data
arguments: data_label: D363
datatype: f64
name: unpack_data
arguments: data_label: D570
datatype: f64
name: unpack_data
arguments: data_label: D458
datatype: f64
name: unpack_data
arguments: data_label: D15
datatype: f64
name: unpack_data
arguments: data_label: D567
datatype: f64
name: unpack_data
arguments: data_label: D290
datatype: f64
name: unpack_data
arguments: data_label: D28
datatype: f64
name: unpack_data
arguments: data_label: D48
datatype: f64
name: unpack_data
arguments: data_label: D152
datatype: f64
name: unpack_data
arguments: data_label: D26
datatype: f64
name: unpack_data
arguments: data_label: D451
datatype: f64
name: unpack_data
arguments: data_label: D364
datatype: f64
name: unpack_data
arguments: data_label: D131
datatype: f64
name: unpack_data
arguments: data_label: D57
datatype: f64
name: unpack_data
arguments: data_label: D349
datatype: byte[16]
name: unpack_data
arguments: data_label: D489
datatype: byte[8]
name: unpack_data
arguments: data_label: D171
datatype: f64
name: unpack_data
arguments: data_label: D381
datatype: f64
name: unpack_data
arguments: data_label: D546
datatype: f64
name: unpack_data
arguments: data_label: D112
datatype: f64
name: unpack_data
arguments: data_label: D92
datatype: f64
name: unpack_data
arguments: data_label: D123
datatype: f64
name: unpack_data
arguments: data_label: D68
datatype: f64
name: unpack_data
arguments: data_label: D323
datatype: f64
name: unpack_data
arguments: data_label: D341
datatype: f64
name: unpack_data
arguments: data_label: D0
datatype: f64
name: unpack_data
arguments: data_label: D324
datatype: f64
name: unpack_data
arguments: data_label: D172
datatype: f64
name: unpack_data
arguments: data_label: D240
datatype: f64
name: unpack_data
arguments: data_label: D362
datatype: f64
name: unpack_data
arguments: data_label: D140
datatype: f64
name: unpack_data
arguments: data_label: D271
datatype: f64
name: unpack_data
arguments: data_label: D17
datatype: f64
name: unpack_data
arguments: data_label: D135
datatype: f64
name: unpack_data
arguments: data_label: D442
datatype: f64
name: unpack_data
arguments: data_label: D413
datatype: byte[8]
name: unpack_data
arguments: data_label: D191
datatype: byte[8]
name: unpack_data
arguments: data_label: D492
datatype: f64

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

tool: D438: 18

tool: D80: 36

tool: D344: 17

tool: D100: 34

tool: D255: 16

tool: D421: 32

tool: D229: 15

tool: D67: 30

tool: D196: 14

tool: D89: 28

tool: D127: 13

tool: D363: 26

tool: D570: 12

tool: D458: 24

tool: D15: 11

tool: D567: 22

tool: D290: 10

tool: D28: 20

tool: D48: 9

tool: D152: 8

tool: D26: 7

tool: D451: 6

tool: D364: 5

tool: D131: 4

tool: D57: 3

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

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

tool: D171: 262144

tool: D381: 87293952

tool: D546: 1142677831680

tool: D112: 66418148966400

tool: D92: 1.690175845822464e+18

tool: D123: 2696576848035840.0

tool: D68: 7.887487280504832e+16

tool: D323: 12984975360

tool: D341: 2.6725905562067714e+19

tool: D0: 3.1180223155745666e+20

tool: D324: 2.6659090798162545e+21

tool: D172: 1.64801652206823e+22

tool: D240: 7.210072284048506e+22

tool: D362: 2.1630216852145518e+23

tool: D140: 5.0985511151485865e+23

tool: D271: 4.2487925959571555e+23

tool: D17: 3.3459241693162594e+23

tool: D135: 9.84095343916547e+22

tool: D442: 8.200794532637892e+21

tool: {"D413": [0x0c,0x32,0x5d,0x3e,0xcc,0x01,0xf4,0x40]}

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

tool: D492: 2.1497890819638275e+26

assistant: ```c
double HO_37(const double a, const double x) {
  double retval = sqrt(0.6715600122e10) * pow(a, 0.3e1 / 0.4e1) * x * (0.262144e6 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.87293952e8 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.12984975360e11 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.1142677831680e13 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.66418148966400e14 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.2696576848035840e16 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.78874872805048320e17 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.1690175845822464000e19 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.26725905562067712000e20 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.311802231557456640000e21 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.2665909079816254272000e22 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.16480165220682299136000e23 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.72100722840485058720000e23 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.216302168521455176160000e24 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.424879259595715524600000e24 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.509855111514858629520000e24 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.334592416931625975622500e24 * a * a * pow(x, 0.4e1) - 0.98409534391654698712500e23 * a * x * x + 0.8200794532637891559375e22) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.214978908196382744494080000e27;
  return retval;
}
```