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

```asm
<HO_20>:
  endbr64
  sub    $0xa8,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D40(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D289(%rip),%xmm3
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D328(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D249(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D2(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D33(%rip),%xmm5
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D83(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D156(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D89(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D255(%rip),%xmm12
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D54(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D26(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D289(%rip),%rax
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D265(%rip),%xmm3
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  mov    D33(%rip),%rax
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D25(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D255(%rip),%rax
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D265(%rip),%rax
  movsd  %xmm0,0x48(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm6
  movsd  (%rsp),%xmm4
  xorpd  D303(%rip),%xmm6
  movsd  %xmm0,0x50(%rsp)
  movapd %xmm6,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  D70(%rip),%xmm0
  call   <exp@plt>
  movsd  0x68(%rsp),%xmm7
  movsd  (%rsp),%xmm4
  movapd %xmm0,%xmm3
  movsd  0x18(%rsp),%xmm0
  movsd  0x88(%rsp),%xmm11
  mulsd  D188(%rip),%xmm11
  movsd  0x60(%rsp),%xmm6
  movsd  0x90(%rsp),%xmm2
  movsd  D43(%rip),%xmm1
  movsd  0x80(%rsp),%xmm10
  movsd  0x78(%rsp),%xmm9
  mulsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm8
  movsd  0x58(%rsp),%xmm5
  mulsd  0x10(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm2
  mulsd  %xmm11,%xmm0
  mulsd  D252(%rip),%xmm10
  mulsd  D84(%rip),%xmm9
  mulsd  D85(%rip),%xmm8
  mulsd  D13(%rip),%xmm7
  subsd  %xmm0,%xmm1
  movsd  0x20(%rsp),%xmm0
  mulsd  D53(%rip),%xmm6
  mulsd  D145(%rip),%xmm5
  mulsd  %xmm10,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  %xmm9,%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x30(%rsp),%xmm0
  mulsd  %xmm8,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  %xmm7,%xmm0
  movsd  D290(%rip),%xmm7
  mulsd  %xmm2,%xmm7
  subsd  %xmm0,%xmm1
  movsd  0x40(%rsp),%xmm0
  mulsd  %xmm6,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  %xmm5,%xmm0
  subsd  %xmm0,%xmm1
  movapd %xmm7,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  0x50(%rsp),%xmm0
  mulsd  D291(%rip),%xmm2
  addsd  %xmm1,%xmm0
  movapd %xmm2,%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  %xmm4,%xmm1
  movsd  0x98(%rsp),%xmm4
  mulsd  D153(%rip),%xmm4
  subsd  %xmm1,%xmm0
  addsd  D276(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D77(%rip),%xmm0
  divsd  D48(%rip),%xmm0
  add    $0xa8,%rsp
  ret
```

tool_calls: name: disassemble_data
arguments: label: D40
type_guessed: byte[8]
name: disassemble_data
arguments: label: D289
type_guessed: f64
name: disassemble_data
arguments: label: D328
type_guessed: f64
name: disassemble_data
arguments: label: D249
type_guessed: f64
name: disassemble_data
arguments: label: D2
type_guessed: f64
name: disassemble_data
arguments: label: D33
type_guessed: f64
name: disassemble_data
arguments: label: D83
type_guessed: f64
name: disassemble_data
arguments: label: D156
type_guessed: f64
name: disassemble_data
arguments: label: D89
type_guessed: f64
name: disassemble_data
arguments: label: D255
type_guessed: f64
name: disassemble_data
arguments: label: D54
type_guessed: f64
name: disassemble_data
arguments: label: D26
type_guessed: f64
name: disassemble_data
arguments: label: D265
type_guessed: f64
name: disassemble_data
arguments: label: D25
type_guessed: f64
name: disassemble_data
arguments: label: D303
type_guessed: byte[16]
name: disassemble_data
arguments: label: D70
type_guessed: byte[8]
name: disassemble_data
arguments: label: D188
type_guessed: f64
name: disassemble_data
arguments: label: D43
type_guessed: f64
name: disassemble_data
arguments: label: D252
type_guessed: f64
name: disassemble_data
arguments: label: D84
type_guessed: f64
name: disassemble_data
arguments: label: D85
type_guessed: f64
name: disassemble_data
arguments: label: D13
type_guessed: f64
name: disassemble_data
arguments: label: D53
type_guessed: f64
name: disassemble_data
arguments: label: D145
type_guessed: f64
name: disassemble_data
arguments: label: D290
type_guessed: f64
name: disassemble_data
arguments: label: D291
type_guessed: f64
name: disassemble_data
arguments: label: D153
type_guessed: byte[8]
name: disassemble_data
arguments: label: D276
type_guessed: f64
name: disassemble_data
arguments: label: D77
type_guessed: byte[8]
name: disassemble_data
arguments: label: D48
type_guessed: f64

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

tool: D289: 10

tool: D328: 20

tool: D249: 9

tool: D2: 18

tool: D33: 8

tool: D83: 16

tool: D156: 7

tool: D89: 14

tool: D255: 6

tool: D54: 12

tool: D26: 5

tool: D265: 4

tool: D25: 3

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

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

tool: D188: 97280

tool: D43: 1024

tool: D252: 3720960

tool: D84: 74419200

tool: D85: 846518400

tool: D13: 5587021440

tool: D53: 20951330400

tool: D145: 41902660800

tool: D290: 39283744500

tool: D291: 13094581500

tool: {"D153": [0x55,0x2f,0x49,0x06,0x52,0xdd,0x6a,0x40]}

tool: D276: 654729075

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

tool: D48: 335221286400

assistant: ```c
double HO_20(const double a, const double x) {
  double retval = sqrt(0.46189e5) * pow(a, 0.1e1 / 0.4e1) * (0.1024e4 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.97280e5 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.3720960e7 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.74419200e8 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.846518400e9 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.5587021440e10 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.20951330400e11 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.41902660800e11 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.39283744500e11 * a * a * pow(x, 0.4e1) - 0.13094581500e11 * a * x * x + 0.654729075e9) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.335221286400e12;
  return retval;
}
```