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

```asm
<HO_22>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x88,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D73(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D170(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  movsd  D272(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  mov    D120(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  movsd  D326(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  movsd  D97(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  movsd  D332(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  mov    D361(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  movsd  D10(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  movsd  D317(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D223(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  mov    D58(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D104(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D86(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  mov    D120(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  mov    D329(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D361(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D24(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D58(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  mov    D329(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D210(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D316(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movq   %rbx,%xmm1
  mulsd  D16(%rip),%xmm1
  mulsd  0x18(%rsp),%xmm1
  movq   %r15,%xmm0
  mulsd  D181(%rip),%xmm0
  mulsd  0x20(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D115(%rip),%xmm0
  mulsd  0x28(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D252(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D114(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D78(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D303(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D48(%rip),%xmm0
  mulsd  0x68(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D178(%rip),%xmm0
  mulsd  0x70(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D27(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x78(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  D74(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  subsd  D96(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D19(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D354(%rip),%xmm0
  divsd  D165(%rip),%xmm0
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: parse_data
arguments: data_label: D73
type_infered: byte[8]
name: parse_data
arguments: data_label: D170
type_infered: f64
name: parse_data
arguments: data_label: D272
type_infered: f64
name: parse_data
arguments: data_label: D120
type_infered: f64
name: parse_data
arguments: data_label: D326
type_infered: f64
name: parse_data
arguments: data_label: D97
type_infered: f64
name: parse_data
arguments: data_label: D332
type_infered: f64
name: parse_data
arguments: data_label: D361
type_infered: f64
name: parse_data
arguments: data_label: D10
type_infered: f64
name: parse_data
arguments: data_label: D317
type_infered: f64
name: parse_data
arguments: data_label: D223
type_infered: f64
name: parse_data
arguments: data_label: D58
type_infered: f64
name: parse_data
arguments: data_label: D104
type_infered: f64
name: parse_data
arguments: data_label: D86
type_infered: f64
name: parse_data
arguments: data_label: D329
type_infered: f64
name: parse_data
arguments: data_label: D24
type_infered: f64
name: parse_data
arguments: data_label: D210
type_infered: byte[16]
name: parse_data
arguments: data_label: D316
type_infered: byte[8]
name: parse_data
arguments: data_label: D16
type_infered: f64
name: parse_data
arguments: data_label: D181
type_infered: f64
name: parse_data
arguments: data_label: D115
type_infered: f64
name: parse_data
arguments: data_label: D252
type_infered: f64
name: parse_data
arguments: data_label: D114
type_infered: f64
name: parse_data
arguments: data_label: D78
type_infered: f64
name: parse_data
arguments: data_label: D303
type_infered: f64
name: parse_data
arguments: data_label: D48
type_infered: f64
name: parse_data
arguments: data_label: D178
type_infered: f64
name: parse_data
arguments: data_label: D27
type_infered: f64
name: parse_data
arguments: data_label: D74
type_infered: f64
name: parse_data
arguments: data_label: D96
type_infered: f64
name: parse_data
arguments: data_label: D19
type_infered: byte[8]
name: parse_data
arguments: data_label: D354
type_infered: byte[8]
name: parse_data
arguments: data_label: D165
type_infered: f64

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

tool: D170: 11

tool: D272: 22

tool: D120: 10

tool: D326: 20

tool: D97: 9

tool: D332: 18

tool: D361: 8

tool: D10: 16

tool: D317: 7

tool: D223: 14

tool: D58: 6

tool: D104: 12

tool: D86: 5

tool: D329: 4

tool: D24: 3

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

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

tool: D16: 2048

tool: D181: 236544

tool: D115: 11235840

tool: D252: 286513920

tool: D114: 4297708800

tool: D78: 39109150080

tool: D303: 215100325440

tool: D48: 691393903200

tool: D178: 1209939330600

tool: D27: 1008282775500

tool: D74: 302484832650

tool: D96: 13749310575

tool: {"D19": [0x99,0x30,0x14,0x30,0x33,0x3f,0x7a,0x40]}

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

tool: D165: 14079294028800

assistant: ```c
double HO_22(const double a, const double x) {
  double retval = sqrt(0.176358e6) * pow(a, 0.1e1 / 0.4e1) * (0.2048e4 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.236544e6 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.11235840e8 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.286513920e9 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.4297708800e10 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.39109150080e11 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.215100325440e12 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.691393903200e12 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.1209939330600e13 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.1008282775500e13 * a * a * pow(x, 0.4e1) + 0.302484832650e12 * a * x * x - 0.13749310575e11) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.14079294028800e14;
  return retval;
}
```