user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<HO_84>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x278,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D523(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  mov    D1031(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D1275(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  movsd  D191(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D657(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  mov    D162(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D1001(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  movsd  D525(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D579(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  mov    D322(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  movsd  D795(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  movsd  D652(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D909(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  mov    D1198(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  movsd  D247(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  movsd  D199(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  D103(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  mov    D384(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  movsd  D546(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  movsd  D1072(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D733(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  mov    D320(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  movsd  D1045(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  movsd  D357(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D1289(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  mov    D502(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D898(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  movsd  D306(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  movsd  D1298(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  mov    D345(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D1014(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  movsd  D974(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  movsd  D1179(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  mov    D653(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  movsd  D881(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  movsd  D465(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  movsd  D577(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  mov    D1059(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  movsd  D478(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  movsd  D385(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  movsd  D677(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  mov    D1018(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  movsd  D544(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  movsd  D1135(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  mov    D1031(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x170(%rsp)
  mov    D1168(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x178(%rsp)
  mov    D162(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x180(%rsp)
  movsd  D649(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x188(%rsp)
  mov    D322(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x190(%rsp)
  mov    D964(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x198(%rsp)
  mov    D1198(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a0(%rsp)
  movsd  D635(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D384(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a8(%rsp)
  mov    D125(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D320(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b0(%rsp)
  movsd  D648(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b8(%rsp)
  mov    D502(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c0(%rsp)
  mov    D481(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c8(%rsp)
  mov    D345(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d0(%rsp)
  movsd  D1175(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d8(%rsp)
  mov    D653(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e0(%rsp)
  mov    D1202(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e8(%rsp)
  mov    D1059(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f0(%rsp)
  movsd  D257(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f8(%rsp)
  mov    D1018(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x200(%rsp)
  mov    D179(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x208(%rsp)
  mov    D1168(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x210(%rsp)
  movsd  D1148(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x218(%rsp)
  mov    D964(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x220(%rsp)
  mov    D1287(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x228(%rsp)
  mov    D125(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x230(%rsp)
  movsd  D943(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x238(%rsp)
  mov    D481(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x240(%rsp)
  mov    D736(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D1202(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x248(%rsp)
  movsd  D434(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D179(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x250(%rsp)
  mov    D41(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D1287(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x258(%rsp)
  movsd  D1166(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D736(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x260(%rsp)
  mov    D41(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x268(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D223(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D1012(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D181(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D350(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D430(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D970(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D462(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x68(%rsp),%xmm0
  mulsd  D864(%rip),%xmm0
  mulsd  0x70(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x78(%rsp),%xmm0
  mulsd  D1073(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D634(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D647(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D973(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D1077(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D1068(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D910(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xe8(%rsp),%xmm0
  mulsd  D846(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xf8(%rsp),%xmm0
  mulsd  D549(%rip),%xmm0
  mulsd  0x100(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x108(%rsp),%xmm0
  mulsd  D831(%rip),%xmm0
  mulsd  0x110(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x118(%rsp),%xmm0
  mulsd  D31(%rip),%xmm0
  mulsd  0x120(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x128(%rsp),%xmm0
  mulsd  D261(%rip),%xmm0
  mulsd  0x130(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x138(%rsp),%xmm0
  mulsd  D405(%rip),%xmm0
  mulsd  0x140(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x148(%rsp),%xmm0
  mulsd  D568(%rip),%xmm0
  mulsd  0x150(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x158(%rsp),%xmm0
  mulsd  D537(%rip),%xmm0
  mulsd  0x160(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x168(%rsp),%xmm0
  mulsd  D397(%rip),%xmm0
  mulsd  0x170(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x178(%rsp),%xmm0
  mulsd  D489(%rip),%xmm0
  mulsd  0x180(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x188(%rsp),%xmm0
  mulsd  D548(%rip),%xmm0
  mulsd  0x190(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x198(%rsp),%xmm0
  mulsd  D1069(%rip),%xmm0
  mulsd  0x1a0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D486(%rip),%xmm0
  mulsd  0x1a8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D1129(%rip),%xmm0
  mulsd  0x1b0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1b8(%rsp),%xmm0
  mulsd  D716(%rip),%xmm0
  mulsd  0x1c0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1c8(%rsp),%xmm0
  mulsd  D104(%rip),%xmm0
  mulsd  0x1d0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1d8(%rsp),%xmm0
  mulsd  D1167(%rip),%xmm0
  mulsd  0x1e0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1e8(%rsp),%xmm0
  mulsd  D524(%rip),%xmm0
  mulsd  0x1f0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1f8(%rsp),%xmm0
  mulsd  D68(%rip),%xmm0
  mulsd  0x200(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x208(%rsp),%xmm0
  mulsd  D407(%rip),%xmm0
  mulsd  0x210(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x218(%rsp),%xmm0
  mulsd  D133(%rip),%xmm0
  mulsd  0x220(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x228(%rsp),%xmm0
  mulsd  D1220(%rip),%xmm0
  mulsd  0x230(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x238(%rsp),%xmm0
  mulsd  D58(%rip),%xmm0
  mulsd  0x240(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D856(%rip),%xmm0
  mulsd  0x248(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D878(%rip),%xmm0
  mulsd  0x250(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D325(%rip),%xmm0
  mulsd  0x258(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %rbx,%xmm0
  mulsd  D1024(%rip),%xmm0
  mulsd  0x260(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D598(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x268(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  D645(%rip),%xmm4
  movapd %xmm4,%xmm1
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  addsd  D897(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D751(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D627(%rip),%xmm0
  divsd  D942(%rip),%xmm0
  add    $0x278,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D523
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1031
type: f64
name: extract_symbolic_data
arguments: tag: D1275
type: f64
name: extract_symbolic_data
arguments: tag: D191
type: f64
name: extract_symbolic_data
arguments: tag: D657
type: f64
name: extract_symbolic_data
arguments: tag: D162
type: f64
name: extract_symbolic_data
arguments: tag: D1001
type: f64
name: extract_symbolic_data
arguments: tag: D525
type: f64
name: extract_symbolic_data
arguments: tag: D579
type: f64
name: extract_symbolic_data
arguments: tag: D322
type: f64
name: extract_symbolic_data
arguments: tag: D795
type: f64
name: extract_symbolic_data
arguments: tag: D652
type: f64
name: extract_symbolic_data
arguments: tag: D909
type: f64
name: extract_symbolic_data
arguments: tag: D1198
type: f64
name: extract_symbolic_data
arguments: tag: D247
type: f64
name: extract_symbolic_data
arguments: tag: D199
type: f64
name: extract_symbolic_data
arguments: tag: D103
type: f64
name: extract_symbolic_data
arguments: tag: D384
type: f64
name: extract_symbolic_data
arguments: tag: D546
type: f64
name: extract_symbolic_data
arguments: tag: D1072
type: f64
name: extract_symbolic_data
arguments: tag: D733
type: f64
name: extract_symbolic_data
arguments: tag: D320
type: f64
name: extract_symbolic_data
arguments: tag: D1045
type: f64
name: extract_symbolic_data
arguments: tag: D357
type: f64
name: extract_symbolic_data
arguments: tag: D1289
type: f64
name: extract_symbolic_data
arguments: tag: D502
type: f64
name: extract_symbolic_data
arguments: tag: D898
type: f64
name: extract_symbolic_data
arguments: tag: D306
type: f64
name: extract_symbolic_data
arguments: tag: D1298
type: f64
name: extract_symbolic_data
arguments: tag: D345
type: f64
name: extract_symbolic_data
arguments: tag: D1014
type: f64
name: extract_symbolic_data
arguments: tag: D974
type: f64
name: extract_symbolic_data
arguments: tag: D1179
type: f64
name: extract_symbolic_data
arguments: tag: D653
type: f64
name: extract_symbolic_data
arguments: tag: D881
type: f64
name: extract_symbolic_data
arguments: tag: D465
type: f64
name: extract_symbolic_data
arguments: tag: D577
type: f64
name: extract_symbolic_data
arguments: tag: D1059
type: f64
name: extract_symbolic_data
arguments: tag: D478
type: f64
name: extract_symbolic_data
arguments: tag: D385
type: f64
name: extract_symbolic_data
arguments: tag: D677
type: f64
name: extract_symbolic_data
arguments: tag: D1018
type: f64
name: extract_symbolic_data
arguments: tag: D544
type: f64
name: extract_symbolic_data
arguments: tag: D1135
type: f64
name: extract_symbolic_data
arguments: tag: D1168
type: f64
name: extract_symbolic_data
arguments: tag: D649
type: f64
name: extract_symbolic_data
arguments: tag: D964
type: f64
name: extract_symbolic_data
arguments: tag: D635
type: f64
name: extract_symbolic_data
arguments: tag: D125
type: f64
name: extract_symbolic_data
arguments: tag: D648
type: f64
name: extract_symbolic_data
arguments: tag: D481
type: f64
name: extract_symbolic_data
arguments: tag: D1175
type: f64
name: extract_symbolic_data
arguments: tag: D1202
type: f64
name: extract_symbolic_data
arguments: tag: D257
type: f64
name: extract_symbolic_data
arguments: tag: D179
type: f64
name: extract_symbolic_data
arguments: tag: D1148
type: f64
name: extract_symbolic_data
arguments: tag: D1287
type: f64
name: extract_symbolic_data
arguments: tag: D943
type: f64
name: extract_symbolic_data
arguments: tag: D736
type: f64
name: extract_symbolic_data
arguments: tag: D434
type: f64
name: extract_symbolic_data
arguments: tag: D41
type: f64
name: extract_symbolic_data
arguments: tag: D1166
type: f64
name: extract_symbolic_data
arguments: tag: D223
type: byte[16]
name: extract_symbolic_data
arguments: tag: D1012
type: byte[8]
name: extract_symbolic_data
arguments: tag: D181
type: f64
name: extract_symbolic_data
arguments: tag: D350
type: f64
name: extract_symbolic_data
arguments: tag: D430
type: f64
name: extract_symbolic_data
arguments: tag: D970
type: f64
name: extract_symbolic_data
arguments: tag: D462
type: f64
name: extract_symbolic_data
arguments: tag: D864
type: f64
name: extract_symbolic_data
arguments: tag: D1073
type: f64
name: extract_symbolic_data
arguments: tag: D634
type: f64
name: extract_symbolic_data
arguments: tag: D647
type: f64
name: extract_symbolic_data
arguments: tag: D973
type: f64
name: extract_symbolic_data
arguments: tag: D1077
type: f64
name: extract_symbolic_data
arguments: tag: D1068
type: f64
name: extract_symbolic_data
arguments: tag: D910
type: f64
name: extract_symbolic_data
arguments: tag: D846
type: f64
name: extract_symbolic_data
arguments: tag: D549
type: f64
name: extract_symbolic_data
arguments: tag: D831
type: f64
name: extract_symbolic_data
arguments: tag: D31
type: f64
name: extract_symbolic_data
arguments: tag: D261
type: f64
name: extract_symbolic_data
arguments: tag: D405
type: f64
name: extract_symbolic_data
arguments: tag: D568
type: f64
name: extract_symbolic_data
arguments: tag: D537
type: f64
name: extract_symbolic_data
arguments: tag: D397
type: f64
name: extract_symbolic_data
arguments: tag: D489
type: f64
name: extract_symbolic_data
arguments: tag: D548
type: f64
name: extract_symbolic_data
arguments: tag: D1069
type: f64
name: extract_symbolic_data
arguments: tag: D486
type: f64
name: extract_symbolic_data
arguments: tag: D1129
type: f64
name: extract_symbolic_data
arguments: tag: D716
type: f64
name: extract_symbolic_data
arguments: tag: D104
type: f64
name: extract_symbolic_data
arguments: tag: D1167
type: f64
name: extract_symbolic_data
arguments: tag: D524
type: f64
name: extract_symbolic_data
arguments: tag: D68
type: f64
name: extract_symbolic_data
arguments: tag: D407
type: f64
name: extract_symbolic_data
arguments: tag: D133
type: f64
name: extract_symbolic_data
arguments: tag: D1220
type: f64
name: extract_symbolic_data
arguments: tag: D58
type: f64
name: extract_symbolic_data
arguments: tag: D856
type: f64
name: extract_symbolic_data
arguments: tag: D878
type: f64
name: extract_symbolic_data
arguments: tag: D325
type: f64
name: extract_symbolic_data
arguments: tag: D1024
type: f64
name: extract_symbolic_data
arguments: tag: D598
type: f64
name: extract_symbolic_data
arguments: tag: D645
type: f64
name: extract_symbolic_data
arguments: tag: D897
type: f64
name: extract_symbolic_data
arguments: tag: D751
type: byte[8]
name: extract_symbolic_data
arguments: tag: D627
type: byte[8]
name: extract_symbolic_data
arguments: tag: D942
type: f64

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

tool: D1031: 42

tool: D1275: 84

tool: D191: 41

tool: D657: 82

tool: D162: 40

tool: D1001: 80

tool: D525: 39

tool: D579: 78

tool: D322: 38

tool: D795: 76

tool: D652: 37

tool: D909: 74

tool: D1198: 36

tool: D247: 72

tool: D199: 35

tool: D103: 70

tool: D384: 34

tool: D546: 68

tool: D1072: 33

tool: D733: 66

tool: D320: 32

tool: D1045: 64

tool: D357: 31

tool: D1289: 62

tool: D502: 30

tool: D898: 60

tool: D306: 29

tool: D1298: 58

tool: D345: 28

tool: D1014: 56

tool: D974: 27

tool: D1179: 54

tool: D653: 26

tool: D881: 52

tool: D465: 25

tool: D577: 50

tool: D1059: 24

tool: D478: 48

tool: D385: 23

tool: D677: 46

tool: D1018: 22

tool: D544: 44

tool: D1135: 21

tool: D1168: 20

tool: D649: 19

tool: D964: 18

tool: D635: 17

tool: D125: 16

tool: D648: 15

tool: D481: 14

tool: D1175: 13

tool: D1202: 12

tool: D257: 11

tool: D179: 10

tool: D1148: 9

tool: D1287: 8

tool: D943: 7

tool: D736: 6

tool: D434: 5

tool: D41: 4

tool: D1166: 3

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

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

tool: D181: 4398046511104

tool: D350: 7665795068854272.0

tool: D430: 6.364526355916259e+18

tool: D970: 3.351983880782563e+21

tool: D462: 1.2582509492487547e+24

tool: D864: 3.586015205358951e+26

tool: D1073: 8.071522558062105e+28

tool: D634: 1.47362940417191e+31

tool: D647: 2.2242593819219767e+33

tool: D973: 2.8149238177879238e+35

tool: D1077: 3.0190057945775484e+37

tool: D1068: 2.766507128121972e+39

tool: D910: 2.179777074699437e+41

tool: D846: 1.4839251623915397e+43

tool: D549: 8.760458190832911e+44

tool: D831: 4.4970352046275607e+46

tool: D31: 2.0110179305693874e+48

tool: D261: 7.842969929220611e+49

tool: D405: 2.6687883786931244e+51

tool: D568: 7.922087608331169e+52

tool: D537: 2.04984016865569e+54

tool: D397: 4.6170209513054355e+55

tool: D489: 9.034670543349954e+56

tool: D548: 1.5319658747419488e+58

tool: D1069: 2.243691687382479e+59

tool: D486: 2.827051526101924e+60

tool: D1129: 3.04995366565996e+61

tool: D716: 2.8014389225321114e+62

tool: D104: 2.176117734466908e+63

tool: D1167: 1.4182284545318815e+64

tool: D524: 7.682070795381025e+64

tool: D68: 3.41976054762123e+65

tool: D407: 1.2343198226570378e+66

tool: D133: 3.5533449440126846e+66

tool: D1220: 7.99502612402854e+66

tool: D58: 1.3705759069763212e+67

tool: D856: 1.7322556602061837e+67

tool: D878: 1.5449847780217313e+67

tool: D325: 9.147936185654988e+66

tool: D1024: 3.283874528183842e+66

tool: D598: 6.157264740344704e+65

tool: D645: 4.5053156636668564e+64

tool: D897: 5.363471028174829e+62

tool: {"D751": [0x3b,0x23,0x84,0x13,0xf3,0x23,0x49,0x42]}

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

tool: D942: 3.931465840478615e+74

assistant: ```c
double HO_84(const double a, const double x) {
  double retval = sqrt(0.46636402394774752506870e23) * pow(a, 0.1e1 / 0.4e1) * (0.4398046511104e13 * pow(a, 0.42e2) * pow(x, 0.84e2) - 0.7665795068854272e16 * pow(a, 0.41e2) * pow(x, 0.82e2) + 0.6364526355916259328e19 * pow(a, 0.40e2) * pow(x, 0.80e2) - 0.3351983880782563246080e22 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.1258250949248754678497280e25 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.358601520535895083371724800e27 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.80715225580621051682252390400e29 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.14736294041719100578559793561600e32 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.2224259381921976743576368840704000e34 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.281492381778792390103720456617984000e36 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.30190057945775483838624018972278784000e38 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.2766507128121971609939364647641546752000e40 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.217977707469943679766472439528756871168000e42 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.14839251623915396661025239152534602383360000e44 * pow(a, 0.29e2) * pow(x, 0.58e2) + 0.876045819083291095738382868540703490703360000e45 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.44970352046275609581236987251756112522772480000e47 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.2011017930569387415960941523664468656877731840000e49 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.78429699292206109222476719422914277618231541760000e50 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.2668788378693124549931499480363055280064823296000000e52 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.79220876083311697166387668785513851471397912576000000e53 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.2049840168655690164180280929825170906822420987904000000e55 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.46170209513054354650346327609871706615571672727552000000e56 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.903467054334995439862458819820444077181982050418688000000e57 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.15319658747419487893319953901303182178303173898403840000000e59 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.224369168738247916437581824846169522319731901053706240000000e60 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.2827051526101923747113530993061735981228621953276698624000000e61 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.30499536656599600425590209367454497797485709919004383232000000e62 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.280143892253211144649865626782545016806535409626410631168000000e63 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.2176117734466907998619491922328697898407908985490868295680000000e64 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.14182284545318814197899447355866341475830855112337038202880000000e65 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.76820707953810243571955339844276016327417131858492290265600000000e65 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.341976054762123019771930222532583556554308522466836646988800000000e66 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.1234319822657037774489310646953543774438207323278738522725200000000e67 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.3553344944012684502317712468502626017322111991256974535118000000000e67 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.7995026124028540130214853054130908538974751980328192704015500000000e67 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.13705759069763211651796890949938700352528146251991187492598000000000e68 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.17322556602061836948798848283950301834445295957377750858700250000000e68 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.15449847780217314035415189010009728663153912610634210225327250000000e68 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.9147936185654988573601098755926813024235869308928150791312187500000e67 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.3283874528183842052061932886742958521520568469871643873804375000000e67 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.615726474034470384761612416264304722785106588100933226338320312500e66 * a * a * pow(x, 0.4e1) - 0.45053156636668564738654567043729613862324872300068284854023437500e65 * a * x * x + 0.536347102817482913555411512425352545980058003572241486357421875e63) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.393146584047861516076251738400219618347466307161741372982537748480000000000e75;
  return retval;
}
```