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

```asm
<HO_70>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x208,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D912(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D1024(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D984(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1052(%rip),%xmm7
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D277(%rip),%xmm1
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D109(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D836(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D951(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D651(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D292(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D955(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D32(%rip),%xmm14
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D370(%rip),%xmm1
  movsd  %xmm0,0x1e8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D536(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D413(%rip),%xmm1
  movsd  %xmm0,0x1e0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D427(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D29(%rip),%xmm1
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D845(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D765(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D705(%rip),%xmm12
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D398(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D788(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D49(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D654(%rip),%xmm11
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D232(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D425(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D210(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D465(%rip),%xmm10
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D456(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D498(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D816(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1018(%rip),%xmm9
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D304(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D935(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D184(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D482(%rip),%xmm8
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D937(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D21(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1052(%rip),%rax
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D437(%rip),%xmm7
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D951(%rip),%rax
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D805(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D32(%rip),%rax
  movsd  %xmm0,0x1d0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D406(%rip),%xmm14
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D427(%rip),%rax
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D7(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D705(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D530(%rip),%xmm12
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D654(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D894(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D465(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1049(%rip),%xmm10
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D1018(%rip),%rax
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D81(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D482(%rip),%rax
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D201(%rip),%xmm8
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D437(%rip),%rax
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D92(%rip),%xmm1
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D406(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D111(%rip),%xmm7
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D530(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D636(%rip),%xmm1
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1049(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D377(%rip),%xmm9
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D201(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D323(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D111(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D377(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm6
  movsd  (%rsp),%xmm4
  xorpd  D993(%rip),%xmm6
  movsd  %xmm0,0x198(%rsp)
  movapd %xmm6,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  D792(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x1f8(%rsp),%xmm5
  movsd  0x1f0(%rsp),%xmm4
  mulsd  D368(%rip),%xmm1
  movsd  0x1e8(%rsp),%xmm3
  mulsd  D648(%rip),%xmm5
  movsd  0x1e0(%rsp),%xmm6
  mulsd  0x18(%rsp),%xmm5
  movsd  0x1d8(%rsp),%xmm2
  mulsd  0x10(%rsp),%xmm1
  mulsd  D928(%rip),%xmm4
  mulsd  0x28(%rsp),%xmm4
  mulsd  D606(%rip),%xmm3
  mulsd  0x38(%rsp),%xmm3
  subsd  %xmm5,%xmm1
  movq   %r15,%xmm5
  mulsd  D846(%rip),%xmm5
  mulsd  0x20(%rsp),%xmm5
  mulsd  D914(%rip),%xmm6
  mulsd  0x40(%rsp),%xmm6
  mulsd  D229(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  addsd  %xmm5,%xmm1
  movq   %rbp,%xmm5
  mulsd  D442(%rip),%xmm5
  subsd  %xmm4,%xmm1
  movsd  0x30(%rsp),%xmm4
  mulsd  %xmm5,%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  addsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D809(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D663(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x60(%rsp),%xmm2
  mulsd  D282(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm2
  mulsd  D336(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D1028(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  movsd  0x1d0(%rsp),%xmm15
  mulsd  D418(%rip),%xmm15
  movsd  0x1c8(%rsp),%xmm13
  mulsd  0x100(%rsp),%xmm15
  mulsd  D830(%rip),%xmm13
  mulsd  0x118(%rsp),%xmm13
  addsd  %xmm2,%xmm1
  movsd  0x90(%rsp),%xmm2
  mulsd  D473(%rip),%xmm2
  mulsd  0x98(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D1019(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xb0(%rsp),%xmm2
  mulsd  D610(%rip),%xmm2
  mulsd  0xb8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xc0(%rsp),%xmm2
  mulsd  D804(%rip),%xmm2
  mulsd  0xc8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D719(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xe0(%rsp),%xmm2
  mulsd  D949(%rip),%xmm2
  mulsd  0xe8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xf0(%rsp),%xmm2
  mulsd  D46(%rip),%xmm2
  mulsd  0xf8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x108(%rsp),%xmm2
  mulsd  D70(%rip),%xmm2
  mulsd  0x110(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D367(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm3
  movsd  0x1c0(%rsp),%xmm11
  mulsd  D907(%rip),%xmm11
  mulsd  0x130(%rsp),%xmm11
  addsd  %xmm13,%xmm1
  movsd  0x1b8(%rsp),%xmm14
  mulsd  D45(%rip),%xmm14
  movsd  0x1b0(%rsp),%xmm12
  mulsd  0x178(%rsp),%xmm14
  movsd  0x1a8(%rsp),%xmm10
  mulsd  D634(%rip),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D250(%rip),%xmm2
  movsd  0x1a0(%rsp),%xmm8
  mulsd  0x140(%rsp),%xmm2
  mulsd  0x180(%rsp),%xmm12
  addsd  %xmm11,%xmm1
  mulsd  D723(%rip),%xmm10
  mulsd  0x188(%rsp),%xmm10
  mulsd  D910(%rip),%xmm8
  mulsd  0x190(%rsp),%xmm8
  subsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D153(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x158(%rsp),%xmm2
  mulsd  D284(%rip),%xmm2
  mulsd  0x160(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  D88(%rip),%xmm2
  mulsd  0x170(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  D164(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm14,%xmm1
  addsd  %xmm12,%xmm1
  mulsd  %xmm3,%xmm2
  mulsd  0x198(%rsp),%xmm2
  movsd  (%rsp),%xmm6
  mulsd  D860(%rip),%xmm3
  subsd  %xmm10,%xmm1
  addsd  %xmm1,%xmm8
  movapd %xmm3,%xmm1
  mulsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm8
  movq   %rbx,%xmm2
  mulsd  D631(%rip),%xmm2
  mulsd  %xmm6,%xmm1
  addsd  %xmm8,%xmm1
  subsd  D251(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D924(%rip),%xmm0
  divsd  D778(%rip),%xmm0
  add    $0x208,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: retrieve_data
arguments: label: D912
type_infered: byte[8]
name: retrieve_data
arguments: label: D1024
type_infered: f64
name: retrieve_data
arguments: label: D984
type_infered: f64
name: retrieve_data
arguments: label: D1052
type_infered: f64
name: retrieve_data
arguments: label: D277
type_infered: f64
name: retrieve_data
arguments: label: D109
type_infered: f64
name: retrieve_data
arguments: label: D836
type_infered: f64
name: retrieve_data
arguments: label: D951
type_infered: f64
name: retrieve_data
arguments: label: D651
type_infered: f64
name: retrieve_data
arguments: label: D292
type_infered: f64
name: retrieve_data
arguments: label: D955
type_infered: f64
name: retrieve_data
arguments: label: D32
type_infered: f64
name: retrieve_data
arguments: label: D370
type_infered: f64
name: retrieve_data
arguments: label: D536
type_infered: f64
name: retrieve_data
arguments: label: D413
type_infered: f64
name: retrieve_data
arguments: label: D427
type_infered: f64
name: retrieve_data
arguments: label: D29
type_infered: f64
name: retrieve_data
arguments: label: D845
type_infered: f64
name: retrieve_data
arguments: label: D765
type_infered: f64
name: retrieve_data
arguments: label: D705
type_infered: f64
name: retrieve_data
arguments: label: D398
type_infered: f64
name: retrieve_data
arguments: label: D788
type_infered: f64
name: retrieve_data
arguments: label: D49
type_infered: f64
name: retrieve_data
arguments: label: D654
type_infered: f64
name: retrieve_data
arguments: label: D232
type_infered: f64
name: retrieve_data
arguments: label: D425
type_infered: f64
name: retrieve_data
arguments: label: D210
type_infered: f64
name: retrieve_data
arguments: label: D465
type_infered: f64
name: retrieve_data
arguments: label: D456
type_infered: f64
name: retrieve_data
arguments: label: D498
type_infered: f64
name: retrieve_data
arguments: label: D816
type_infered: f64
name: retrieve_data
arguments: label: D1018
type_infered: f64
name: retrieve_data
arguments: label: D304
type_infered: f64
name: retrieve_data
arguments: label: D935
type_infered: f64
name: retrieve_data
arguments: label: D184
type_infered: f64
name: retrieve_data
arguments: label: D482
type_infered: f64
name: retrieve_data
arguments: label: D937
type_infered: f64
name: retrieve_data
arguments: label: D21
type_infered: f64
name: retrieve_data
arguments: label: D437
type_infered: f64
name: retrieve_data
arguments: label: D805
type_infered: f64
name: retrieve_data
arguments: label: D406
type_infered: f64
name: retrieve_data
arguments: label: D7
type_infered: f64
name: retrieve_data
arguments: label: D530
type_infered: f64
name: retrieve_data
arguments: label: D894
type_infered: f64
name: retrieve_data
arguments: label: D1049
type_infered: f64
name: retrieve_data
arguments: label: D81
type_infered: f64
name: retrieve_data
arguments: label: D201
type_infered: f64
name: retrieve_data
arguments: label: D92
type_infered: f64
name: retrieve_data
arguments: label: D111
type_infered: f64
name: retrieve_data
arguments: label: D636
type_infered: f64
name: retrieve_data
arguments: label: D377
type_infered: f64
name: retrieve_data
arguments: label: D323
type_infered: f64
name: retrieve_data
arguments: label: D993
type_infered: byte[16]
name: retrieve_data
arguments: label: D792
type_infered: byte[8]
name: retrieve_data
arguments: label: D368
type_infered: f64
name: retrieve_data
arguments: label: D648
type_infered: f64
name: retrieve_data
arguments: label: D928
type_infered: f64
name: retrieve_data
arguments: label: D606
type_infered: f64
name: retrieve_data
arguments: label: D846
type_infered: f64
name: retrieve_data
arguments: label: D914
type_infered: f64
name: retrieve_data
arguments: label: D229
type_infered: f64
name: retrieve_data
arguments: label: D442
type_infered: f64
name: retrieve_data
arguments: label: D809
type_infered: f64
name: retrieve_data
arguments: label: D663
type_infered: f64
name: retrieve_data
arguments: label: D282
type_infered: f64
name: retrieve_data
arguments: label: D336
type_infered: f64
name: retrieve_data
arguments: label: D1028
type_infered: f64
name: retrieve_data
arguments: label: D418
type_infered: f64
name: retrieve_data
arguments: label: D830
type_infered: f64
name: retrieve_data
arguments: label: D473
type_infered: f64
name: retrieve_data
arguments: label: D1019
type_infered: f64
name: retrieve_data
arguments: label: D610
type_infered: f64
name: retrieve_data
arguments: label: D804
type_infered: f64
name: retrieve_data
arguments: label: D719
type_infered: f64
name: retrieve_data
arguments: label: D949
type_infered: f64
name: retrieve_data
arguments: label: D46
type_infered: f64
name: retrieve_data
arguments: label: D70
type_infered: f64
name: retrieve_data
arguments: label: D367
type_infered: f64
name: retrieve_data
arguments: label: D907
type_infered: f64
name: retrieve_data
arguments: label: D45
type_infered: f64
name: retrieve_data
arguments: label: D634
type_infered: f64
name: retrieve_data
arguments: label: D250
type_infered: f64
name: retrieve_data
arguments: label: D723
type_infered: f64
name: retrieve_data
arguments: label: D910
type_infered: f64
name: retrieve_data
arguments: label: D153
type_infered: f64
name: retrieve_data
arguments: label: D284
type_infered: f64
name: retrieve_data
arguments: label: D88
type_infered: f64
name: retrieve_data
arguments: label: D164
type_infered: f64
name: retrieve_data
arguments: label: D860
type_infered: f64
name: retrieve_data
arguments: label: D631
type_infered: byte[8]
name: retrieve_data
arguments: label: D251
type_infered: f64
name: retrieve_data
arguments: label: D924
type_infered: byte[8]
name: retrieve_data
arguments: label: D778
type_infered: f64

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

tool: D1024: 35

tool: D984: 70

tool: D1052: 34

tool: D277: 68

tool: D109: 33

tool: D836: 66

tool: D951: 32

tool: D651: 64

tool: D292: 31

tool: D955: 62

tool: D32: 30

tool: D370: 60

tool: D536: 29

tool: D413: 58

tool: D427: 28

tool: D29: 56

tool: D845: 27

tool: D765: 54

tool: D705: 26

tool: D398: 52

tool: D788: 25

tool: D49: 50

tool: D654: 24

tool: D232: 48

tool: D425: 23

tool: D210: 46

tool: D465: 22

tool: D456: 44

tool: D498: 21

tool: D816: 42

tool: D1018: 20

tool: D304: 40

tool: D935: 19

tool: D184: 38

tool: D482: 18

tool: D937: 36

tool: D21: 17

tool: D437: 16

tool: D805: 15

tool: D406: 14

tool: D7: 13

tool: D530: 12

tool: D894: 11

tool: D1049: 10

tool: D81: 9

tool: D201: 8

tool: D92: 7

tool: D111: 6

tool: D636: 5

tool: D377: 4

tool: D323: 3

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

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

tool: D368: 34359738368

tool: D648: 41489384079360

tool: D928: 8.447083013367398e+18

tool: D606: 4.025305362525993e+23

tool: D846: 2.362820423319552e+16

tool: D914: 5.937325409725839e+25

tool: D229: 7.010284930197724e+27

tool: D442: 2.1286649193685844e+21

tool: D809: 6.747399245315309e+29

tool: D663: 5.364182400025671e+31

tool: D282: 3.55645293121702e+33

tool: D336: 1.9802976548822043e+35

tool: D1028: 9.30739897794636e+36

tool: D418: 5.800565905307983e+47

tool: D830: 5.161185345291081e+49

tool: D473: 3.7050607469901856e+38

tool: D1019: 1.2517812380902556e+40

tool: D610: 3.5926121533190335e+41

tool: D804: 8.756992123715144e+42

tool: D719: 1.810636900874043e+44

tool: D949: 3.168614576529575e+45

tool: D46: 4.677875730087084e+46

tool: D70: 6.007728973354697e+48

tool: D367: 3.6464896461295677e+50

tool: D907: 2.0967315465245014e+51

tool: D45: 3.371625665535186e+53

tool: D634: 3.7087882320887044e+53

tool: D250: 9.686899744943197e+51

tool: D723: 2.6918624265159953e+53

tool: D910: 1.177689811600748e+53

tool: D153: 3.539444137575399e+52

tool: D284: 1.002842505646363e+53

tool: D88: 2.1489482263850636e+53

tool: D164: 2.6765677536380634e+52

tool: D860: 2.361677429680644e+51

tool: {"D631": [0x5b,0x13,0x7b,0x2b,0x16,0x4e,0xda,0x41]}

tool: D251: 3.3738248995437775e+49

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

tool: D778: 1.9320623474628014e+59

assistant: ```c
double HO_70(const double a, const double x) {
  double retval = sqrt(0.3116285494907301262e19) * pow(a, 0.1e1 / 0.4e1) * (0.34359738368e11 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.41489384079360e14 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.23628204233195520e17 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.8447083013367398400e19 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.2128664919368584396800e22 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.402530536252599309434880e24 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.59373254097258398141644800e26 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.7010284930197723723438489600e28 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.674739924531530908380954624000e30 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.53641824000256707216285892608000e32 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.3556452931217019688439754679910400e34 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.198029765488220414469940885585920000e36 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.9307398977946359480087221622538240000e37 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.370506074699018540841933629974118400000e39 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.12517812380902554987016757641268428800000e41 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.359261215331903328127380944304403906560000e42 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.8756992123715143623104910517419845222400000e43 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.181063690087404293148316238051357387980800000e45 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.3168614576529575130095534165898754289664000000e46 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.46778757300870832841673543870242135697408000000e47 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.580056590530798327236751943991002482647859200000e48 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.6007728973354696960666359419906811427424256000000e49 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.51611853452910805707542815016472152717417472000000e50 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.364648964612956779455465540877248905068710400000000e51 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.2096731546524501481868926860044181204145084800000000e52 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.9686899744943196846234442093404117163150291776000000e52 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.35394441375753988476625846110515043480741450720000000e53 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.100284250564636300683773230646459289862100777040000000e54 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.214894822638506358608085494242412763990215950800000000e54 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.337162566553518597126478965104475198674304336600000000e54 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.370878823208870456839126861614922718541734770260000000e54 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.269186242651599525125172722139863263457710720350000000e54 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.117768981160074792242263065936190177762748440153125000e54 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.26765677536380634600514333167315949491533736398437500e53 * a * a * pow(x, 0.4e1) + 0.2361677429680644229457147044174936719841212035156250e52 * a * x * x - 0.33738248995437774706530672059641953140588743359375e50) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.193206234746280127423420312156084200277857523885670400000000e60;
  return retval;
}
```