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

```asm
<HO_37>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D472(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D452(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D16(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D279(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D523(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D442(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D436(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D289(%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  D142(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D467(%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  D188(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D84(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D38(%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  D250(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D150(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D118(%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  D133(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D52(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D460(%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  D163(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D405(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D521(%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  D49(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D68(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D398(%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  D294(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D210(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D385(%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  D573(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D282(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D16(%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  D291(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D576(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D142(%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  D518(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D171(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D250(%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  D402(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D81(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D163(%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  D15(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D473(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D294(%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  D176(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D432(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D291(%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  D59(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D441(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D402(%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  D359(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x18(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D176(%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  D498(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x20(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D324(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D401(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D157(%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  D285(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D206(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: label: D472
type_infered: byte[8]
name: retrieve_data
arguments: label: D452
type_infered: byte[8]
name: retrieve_data
arguments: label: D16
type_infered: f64
name: retrieve_data
arguments: label: D279
type_infered: f64
name: retrieve_data
arguments: label: D523
type_infered: f64
name: retrieve_data
arguments: label: D442
type_infered: f64
name: retrieve_data
arguments: label: D436
type_infered: f64
name: retrieve_data
arguments: label: D289
type_infered: f64
name: retrieve_data
arguments: label: D142
type_infered: f64
name: retrieve_data
arguments: label: D467
type_infered: f64
name: retrieve_data
arguments: label: D307
type_infered: f64
name: retrieve_data
arguments: label: D188
type_infered: f64
name: retrieve_data
arguments: label: D84
type_infered: f64
name: retrieve_data
arguments: label: D38
type_infered: f64
name: retrieve_data
arguments: label: D250
type_infered: f64
name: retrieve_data
arguments: label: D150
type_infered: f64
name: retrieve_data
arguments: label: D118
type_infered: f64
name: retrieve_data
arguments: label: D133
type_infered: f64
name: retrieve_data
arguments: label: D52
type_infered: f64
name: retrieve_data
arguments: label: D460
type_infered: f64
name: retrieve_data
arguments: label: D163
type_infered: f64
name: retrieve_data
arguments: label: D405
type_infered: f64
name: retrieve_data
arguments: label: D521
type_infered: f64
name: retrieve_data
arguments: label: D49
type_infered: f64
name: retrieve_data
arguments: label: D68
type_infered: f64
name: retrieve_data
arguments: label: D398
type_infered: f64
name: retrieve_data
arguments: label: D294
type_infered: f64
name: retrieve_data
arguments: label: D210
type_infered: f64
name: retrieve_data
arguments: label: D385
type_infered: f64
name: retrieve_data
arguments: label: D573
type_infered: f64
name: retrieve_data
arguments: label: D282
type_infered: f64
name: retrieve_data
arguments: label: D291
type_infered: f64
name: retrieve_data
arguments: label: D576
type_infered: f64
name: retrieve_data
arguments: label: D518
type_infered: f64
name: retrieve_data
arguments: label: D171
type_infered: f64
name: retrieve_data
arguments: label: D402
type_infered: f64
name: retrieve_data
arguments: label: D81
type_infered: f64
name: retrieve_data
arguments: label: D15
type_infered: f64
name: retrieve_data
arguments: label: D473
type_infered: f64
name: retrieve_data
arguments: label: D176
type_infered: f64
name: retrieve_data
arguments: label: D432
type_infered: f64
name: retrieve_data
arguments: label: D59
type_infered: f64
name: retrieve_data
arguments: label: D441
type_infered: f64
name: retrieve_data
arguments: label: D359
type_infered: f64
name: retrieve_data
arguments: label: D498
type_infered: f64
name: retrieve_data
arguments: label: D324
type_infered: f64
name: retrieve_data
arguments: label: D401
type_infered: byte[8]
name: retrieve_data
arguments: label: D157
type_infered: f64
name: retrieve_data
arguments: label: D285
type_infered: byte[8]
name: retrieve_data
arguments: label: D206
type_infered: f64

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

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

tool: D16: 18

tool: D279: 262144

tool: D523: 36

tool: D442: 17

tool: D436: 87293952

tool: D289: 34

tool: D142: 16

tool: D467: 12984975360

tool: D307: 32

tool: D188: 15

tool: D84: 1142677831680

tool: D38: 30

tool: D250: 14

tool: D150: 66418148966400

tool: D118: 28

tool: D133: 13

tool: D52: 2696576848035840.0

tool: D460: 26

tool: D163: 12

tool: D405: 7.887487280504832e+16

tool: D521: 24

tool: D49: 11

tool: D68: 1.690175845822464e+18

tool: D398: 22

tool: D294: 10

tool: D210: 2.6725905562067714e+19

tool: D385: 20

tool: D573: 9

tool: D282: 3.1180223155745666e+20

tool: D291: 8

tool: D576: 2.6659090798162545e+21

tool: D518: 7

tool: D171: 1.64801652206823e+22

tool: D402: 6

tool: D81: 7.210072284048506e+22

tool: D15: 5

tool: D473: 2.1630216852145518e+23

tool: D176: 4

tool: D432: 4.2487925959571555e+23

tool: D59: 3

tool: D441: 5.0985511151485865e+23

tool: D359: 3.3459241693162594e+23

tool: D498: 9.84095343916547e+22

tool: D324: 8.200794532637892e+21

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

tool: D157: 2

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

tool: D206: 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;
}
```