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

```asm
<HO_86>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x288,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D924(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D8(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D495(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D796(%rip),%xmm5
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D82(%rip),%xmm1
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1062(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D48(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D365(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D1210(%rip),%xmm1
  movsd  %xmm0,0x270(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D387(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D292(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D740(%rip),%xmm14
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D242(%rip),%xmm1
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1267(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1136(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D793(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D871(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D185(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1038(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D410(%rip),%xmm12
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D102(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D483(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D149(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1227(%rip),%xmm11
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D650(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1133(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D354(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1152(%rip),%xmm10
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D582(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D965(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D277(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1132(%rip),%xmm9
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D427(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1150(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D171(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1281(%rip),%xmm8
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D1010(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D640(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D625(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D962(%rip),%xmm7
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D339(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D983(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D148(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D349(%rip),%xmm6
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D884(%rip),%xmm1
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D991(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D796(%rip),%rax
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D930(%rip),%xmm5
  movsd  %xmm0,0x138(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D365(%rip),%rax
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1315(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D740(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D758(%rip),%xmm14
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D793(%rip),%rax
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D24(%rip),%xmm1
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D410(%rip),%rax
  movsd  %xmm0,0x258(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D300(%rip),%xmm12
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D1227(%rip),%rax
  movsd  %xmm0,0x170(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D150(%rip),%xmm1
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1152(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D58(%rip),%xmm10
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D1132(%rip),%rax
  movsd  %xmm0,0x188(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D114(%rip),%xmm1
  movsd  %xmm0,0x190(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1281(%rip),%rax
  movsd  %xmm0,0x248(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D780(%rip),%xmm8
  movsd  %xmm0,0x198(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D962(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1164(%rip),%xmm1
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D349(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D433(%rip),%xmm6
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D930(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1275(%rip),%xmm1
  movsd  %xmm0,0x1c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D758(%rip),%rax
  movsd  %xmm0,0x1d0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D832(%rip),%xmm5
  movsd  %xmm0,0x1d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D300(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1212(%rip),%xmm1
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D58(%rip),%rax
  movsd  %xmm0,0x238(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D516(%rip),%xmm7
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D780(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D81(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D433(%rip),%rax
  movsd  %xmm0,0x228(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1122(%rip),%xmm6
  movsd  %xmm0,0x1f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D832(%rip),%rax
  movsd  %xmm0,0x200(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1186(%rip),%xmm1
  movsd  %xmm0,0x208(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D516(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1122(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm4
  xorpd  D548(%rip),%xmm3
  movsd  %xmm0,0x218(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  D155(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm6
  movsd  0x278(%rsp),%xmm4
  mulsd  D1175(%rip),%xmm1
  movsd  0x270(%rsp),%xmm3
  mulsd  D59(%rip),%xmm4
  movsd  0x268(%rsp),%xmm2
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D903(%rip),%xmm6
  mulsd  D136(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D811(%rip),%xmm2
  subsd  %xmm4,%xmm1
  movsd  0x20(%rsp),%xmm4
  mulsd  0x38(%rsp),%xmm2
  mulsd  %xmm6,%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  movq   %rbp,%xmm3
  mulsd  D1291(%rip),%xmm3
  mulsd  0x30(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D834(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D1018(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x50(%rsp),%xmm2
  mulsd  D1282(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x60(%rsp),%xmm2
  mulsd  D688(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm2
  mulsd  D258(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D267(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x90(%rsp),%xmm2
  mulsd  D821(%rip),%xmm2
  mulsd  0x98(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D1083(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb0(%rsp),%xmm2
  mulsd  D1294(%rip),%xmm2
  mulsd  0xb8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc0(%rsp),%xmm2
  mulsd  D469(%rip),%xmm2
  mulsd  0xc8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D736(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe0(%rsp),%xmm2
  mulsd  D360(%rip),%xmm2
  mulsd  0xe8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf0(%rsp),%xmm2
  mulsd  D1324(%rip),%xmm2
  mulsd  0xf8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x100(%rsp),%xmm2
  mulsd  D293(%rip),%xmm2
  mulsd  0x108(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x110(%rsp),%xmm2
  mulsd  D125(%rip),%xmm2
  mulsd  0x118(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D854(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x130(%rsp),%xmm2
  mulsd  D998(%rip),%xmm2
  mulsd  0x138(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x140(%rsp),%xmm2
  mulsd  D1250(%rip),%xmm2
  mulsd  0x148(%rsp),%xmm2
  movsd  0x260(%rsp),%xmm15
  mulsd  D31(%rip),%xmm15
  movsd  0x258(%rsp),%xmm13
  mulsd  0x150(%rsp),%xmm15
  movsd  0x250(%rsp),%xmm11
  mulsd  D215(%rip),%xmm13
  movsd  0x248(%rsp),%xmm9
  mulsd  0x168(%rsp),%xmm13
  mulsd  D353(%rip),%xmm11
  subsd  %xmm2,%xmm1
  movsd  0x158(%rsp),%xmm2
  mulsd  D580(%rip),%xmm2
  mulsd  0x160(%rsp),%xmm2
  mulsd  0x180(%rsp),%xmm11
  addsd  %xmm15,%xmm1
  mulsd  D1226(%rip),%xmm9
  mulsd  0x198(%rsp),%xmm9
  subsd  %xmm2,%xmm1
  movsd  0x170(%rsp),%xmm2
  mulsd  D630(%rip),%xmm2
  mulsd  0x178(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x188(%rsp),%xmm2
  mulsd  D566(%rip),%xmm2
  mulsd  0x190(%rsp),%xmm2
  addsd  %xmm11,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x1a0(%rsp),%xmm2
  mulsd  D918(%rip),%xmm2
  mulsd  0x1a8(%rsp),%xmm2
  addsd  %xmm9,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x1b0(%rsp),%xmm2
  mulsd  D1095(%rip),%xmm2
  mulsd  0x1b8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x1c0(%rsp),%xmm2
  mulsd  D183(%rip),%xmm2
  mulsd  0x1c8(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm7
  movsd  0x240(%rsp),%xmm14
  movsd  (%rsp),%xmm4
  mulsd  D179(%rip),%xmm14
  movsd  0x238(%rsp),%xmm12
  mulsd  0x1e0(%rsp),%xmm14
  movsd  0x230(%rsp),%xmm10
  mulsd  D746(%rip),%xmm12
  movsd  0x228(%rsp),%xmm8
  mulsd  0x1e8(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x1d0(%rsp),%xmm2
  mulsd  D303(%rip),%xmm2
  movsd  0x220(%rsp),%xmm5
  mulsd  0x1d8(%rsp),%xmm2
  mulsd  D559(%rip),%xmm10
  mulsd  0x1f0(%rsp),%xmm10
  mulsd  D802(%rip),%xmm8
  mulsd  0x1f8(%rsp),%xmm8
  addsd  %xmm2,%xmm1
  mulsd  D825(%rip),%xmm5
  movsd  0x200(%rsp),%xmm2
  mulsd  D699(%rip),%xmm2
  mulsd  0x208(%rsp),%xmm2
  mulsd  0x210(%rsp),%xmm5
  subsd  %xmm14,%xmm1
  addsd  %xmm12,%xmm1
  subsd  %xmm10,%xmm1
  addsd  %xmm8,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D881(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  addsd  %xmm1,%xmm5
  mulsd  %xmm7,%xmm2
  mulsd  D1120(%rip),%xmm7
  mulsd  0x218(%rsp),%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm4,%xmm1
  subsd  %xmm2,%xmm5
  movq   %rbx,%xmm2
  mulsd  D1285(%rip),%xmm2
  mulsd  %xmm4,%xmm1
  addsd  %xmm5,%xmm1
  subsd  D391(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D308(%rip),%xmm0
  divsd  D622(%rip),%xmm0
  add    $0x288,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D924
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D8
type_guessed: f64
name: extract_symbolic_data
arguments: label: D495
type_guessed: f64
name: extract_symbolic_data
arguments: label: D796
type_guessed: f64
name: extract_symbolic_data
arguments: label: D82
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1062
type_guessed: f64
name: extract_symbolic_data
arguments: label: D48
type_guessed: f64
name: extract_symbolic_data
arguments: label: D365
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1210
type_guessed: f64
name: extract_symbolic_data
arguments: label: D387
type_guessed: f64
name: extract_symbolic_data
arguments: label: D292
type_guessed: f64
name: extract_symbolic_data
arguments: label: D740
type_guessed: f64
name: extract_symbolic_data
arguments: label: D242
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1267
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1136
type_guessed: f64
name: extract_symbolic_data
arguments: label: D793
type_guessed: f64
name: extract_symbolic_data
arguments: label: D871
type_guessed: f64
name: extract_symbolic_data
arguments: label: D185
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1038
type_guessed: f64
name: extract_symbolic_data
arguments: label: D410
type_guessed: f64
name: extract_symbolic_data
arguments: label: D102
type_guessed: f64
name: extract_symbolic_data
arguments: label: D483
type_guessed: f64
name: extract_symbolic_data
arguments: label: D149
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1227
type_guessed: f64
name: extract_symbolic_data
arguments: label: D650
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1133
type_guessed: f64
name: extract_symbolic_data
arguments: label: D354
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1152
type_guessed: f64
name: extract_symbolic_data
arguments: label: D582
type_guessed: f64
name: extract_symbolic_data
arguments: label: D965
type_guessed: f64
name: extract_symbolic_data
arguments: label: D277
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1132
type_guessed: f64
name: extract_symbolic_data
arguments: label: D427
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1150
type_guessed: f64
name: extract_symbolic_data
arguments: label: D171
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1281
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1010
type_guessed: f64
name: extract_symbolic_data
arguments: label: D640
type_guessed: f64
name: extract_symbolic_data
arguments: label: D625
type_guessed: f64
name: extract_symbolic_data
arguments: label: D962
type_guessed: f64
name: extract_symbolic_data
arguments: label: D339
type_guessed: f64
name: extract_symbolic_data
arguments: label: D983
type_guessed: f64
name: extract_symbolic_data
arguments: label: D148
type_guessed: f64
name: extract_symbolic_data
arguments: label: D349
type_guessed: f64
name: extract_symbolic_data
arguments: label: D884
type_guessed: f64
name: extract_symbolic_data
arguments: label: D991
type_guessed: f64
name: extract_symbolic_data
arguments: label: D930
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1315
type_guessed: f64
name: extract_symbolic_data
arguments: label: D758
type_guessed: f64
name: extract_symbolic_data
arguments: label: D24
type_guessed: f64
name: extract_symbolic_data
arguments: label: D300
type_guessed: f64
name: extract_symbolic_data
arguments: label: D150
type_guessed: f64
name: extract_symbolic_data
arguments: label: D58
type_guessed: f64
name: extract_symbolic_data
arguments: label: D114
type_guessed: f64
name: extract_symbolic_data
arguments: label: D780
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1164
type_guessed: f64
name: extract_symbolic_data
arguments: label: D433
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1275
type_guessed: f64
name: extract_symbolic_data
arguments: label: D832
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1212
type_guessed: f64
name: extract_symbolic_data
arguments: label: D516
type_guessed: f64
name: extract_symbolic_data
arguments: label: D81
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1122
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1186
type_guessed: f64
name: extract_symbolic_data
arguments: label: D548
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D155
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D1175
type_guessed: f64
name: extract_symbolic_data
arguments: label: D59
type_guessed: f64
name: extract_symbolic_data
arguments: label: D903
type_guessed: f64
name: extract_symbolic_data
arguments: label: D136
type_guessed: f64
name: extract_symbolic_data
arguments: label: D811
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1291
type_guessed: f64
name: extract_symbolic_data
arguments: label: D834
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1018
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1282
type_guessed: f64
name: extract_symbolic_data
arguments: label: D688
type_guessed: f64
name: extract_symbolic_data
arguments: label: D258
type_guessed: f64
name: extract_symbolic_data
arguments: label: D267
type_guessed: f64
name: extract_symbolic_data
arguments: label: D821
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1083
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1294
type_guessed: f64
name: extract_symbolic_data
arguments: label: D469
type_guessed: f64
name: extract_symbolic_data
arguments: label: D736
type_guessed: f64
name: extract_symbolic_data
arguments: label: D360
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1324
type_guessed: f64
name: extract_symbolic_data
arguments: label: D293
type_guessed: f64
name: extract_symbolic_data
arguments: label: D125
type_guessed: f64
name: extract_symbolic_data
arguments: label: D854
type_guessed: f64
name: extract_symbolic_data
arguments: label: D998
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1250
type_guessed: f64
name: extract_symbolic_data
arguments: label: D31
type_guessed: f64
name: extract_symbolic_data
arguments: label: D215
type_guessed: f64
name: extract_symbolic_data
arguments: label: D353
type_guessed: f64
name: extract_symbolic_data
arguments: label: D580
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1226
type_guessed: f64
name: extract_symbolic_data
arguments: label: D630
type_guessed: f64
name: extract_symbolic_data
arguments: label: D566
type_guessed: f64
name: extract_symbolic_data
arguments: label: D918
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1095
type_guessed: f64
name: extract_symbolic_data
arguments: label: D183
type_guessed: f64
name: extract_symbolic_data
arguments: label: D179
type_guessed: f64
name: extract_symbolic_data
arguments: label: D746
type_guessed: f64
name: extract_symbolic_data
arguments: label: D303
type_guessed: f64
name: extract_symbolic_data
arguments: label: D559
type_guessed: f64
name: extract_symbolic_data
arguments: label: D802
type_guessed: f64
name: extract_symbolic_data
arguments: label: D825
type_guessed: f64
name: extract_symbolic_data
arguments: label: D699
type_guessed: f64
name: extract_symbolic_data
arguments: label: D881
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1120
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1285
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D391
type_guessed: f64
name: extract_symbolic_data
arguments: label: D308
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D622
type_guessed: f64

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

tool: D8: 43

tool: D495: 86

tool: D796: 42

tool: D82: 84

tool: D1062: 41

tool: D48: 82

tool: D365: 40

tool: D1210: 80

tool: D387: 39

tool: D292: 78

tool: D740: 38

tool: D242: 76

tool: D1267: 37

tool: D1136: 74

tool: D793: 36

tool: D871: 72

tool: D185: 35

tool: D1038: 70

tool: D410: 34

tool: D102: 68

tool: D483: 33

tool: D149: 66

tool: D1227: 32

tool: D650: 64

tool: D1133: 31

tool: D354: 62

tool: D1152: 30

tool: D582: 60

tool: D965: 29

tool: D277: 58

tool: D1132: 28

tool: D427: 56

tool: D1150: 27

tool: D171: 54

tool: D1281: 26

tool: D1010: 52

tool: D640: 25

tool: D625: 50

tool: D962: 24

tool: D339: 48

tool: D983: 23

tool: D148: 46

tool: D349: 22

tool: D884: 44

tool: D991: 21

tool: D930: 20

tool: D1315: 19

tool: D758: 18

tool: D24: 17

tool: D300: 16

tool: D150: 15

tool: D58: 14

tool: D114: 13

tool: D780: 12

tool: D1164: 11

tool: D433: 10

tool: D1275: 9

tool: D832: 8

tool: D1212: 7

tool: D516: 6

tool: D81: 5

tool: D1122: 4

tool: D1186: 3

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

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

tool: D1175: 8796093022208

tool: D59: 1.607485999808512e+16

tool: D903: 1.4009240488331182e+19

tool: D136: 7.754114610291309e+21

tool: D811: 9.197814439008397e+26

tool: D1291: 3.062875271065067e+24

tool: D834: 2.184480929264494e+29

tool: D1018: 4.21448784995957e+31

tool: D1282: 6.732644340310414e+33

tool: D688: 9.032964489916473e+35

tool: D258: 1.028854655401486e+38

tool: D267: 1.0031332890164491e+40

tool: D821: 8.426319627738172e+41

tool: D1083: 6.128527083097263e+43

tool: D1294: 3.874104620386484e+45

tool: D469: 2.1346316458329526e+47

tool: D736: 1.0272914795571085e+49

tool: D360: 4.323688550724183e+50

tool: D1324: 1.5925586161834074e+52

tool: D293: 5.1339060653280896e+53

tool: D125: 1.4477615104225212e+55

tool: D854: 3.5676980078269273e+56

tool: D998: 7.670550716827894e+57

tool: D1250: 1.435726992867134e+59

tool: D31: 2.3330563634090927e+60

tool: D215: 3.9741820491932813e+62

tool: D353: 3.65687830780531e+64

tool: D580: 3.2802772469531844e+61

tool: D1226: 1.7278750004380088e+66

tool: D630: 4.1287335733285754e+63

tool: D566: 2.7426587308539825e+65

tool: D918: 9.057409276489562e+66

tool: D1095: 3.9060077504861237e+67

tool: D183: 1.3671027126701433e+68

tool: D179: 8.34909156666409e+68

tool: D746: 1.3915152611106815e+69

tool: D303: 3.8198458148136357e+68

tool: D559: 1.7111876859604329e+69

tool: D802: 1.4860314114919547e+69

tool: D825: 3.000640350127986e+68

tool: D699: 8.573258143222816e+68

tool: D881: 5.48897625023412e+67

tool: D1120: 3.9206973215958e+66

tool: {"D1285": [0x8e,0x4c,0x90,0xc8,0xbc,0xfe,0x23,0x42]}

tool: D391: 4.558950373948605e+64

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

tool: D622: 6.683491928813646e+75

assistant: ```c
double HO_86(const double a, const double x) {
  double retval = sqrt(0.1843764745839932075853e22) * pow(a, 0.1e1 / 0.4e1) * (0.8796093022208e13 * pow(a, 0.43e2) * pow(x, 0.86e2) - 0.16074859998085120e17 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.14009240488331182080e20 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.7754114610291309281280e22 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.3062875271065067166105600e25 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.919781443900839669981511680e27 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.218448092926449421620609024000e30 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.42144878499595706271233212416000e32 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.6732644340310414076829505683456000e34 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.903296448991647221974625345863680000e36 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.102885465540148618582909826893873152000e39 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.10031332890164490311833708122152632320000e41 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.842631962773817186194031482260821114880000e42 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.61285270830972626888188982036738951086080000e44 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.3874104620386483914003374935893855122227200000e46 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.213463164583295263661585958967751417234718720000e48 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.10272914795571084563713824275323036954420838400000e50 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.432368855072418294431602427587860761228712345600000e51 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.15925586161834073844897356082819538038590904729600000e53 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.513390606532808959473664768459314055191417323520000000e54 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.14477615104225212657157346470552656356397968523264000000e56 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.356769800782692740479948895167190460211235652894720000000e57 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.7670550716827893920318901246094594894541566537236480000000e58 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.143572699286713405769447260280161874004354104099143680000000e60 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.2333056363409092843753517979552630452570754191611084800000000e61 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.32802772469531845383174462792509984163144803934051852288000000e62 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.397418204919328126757690606909255577361177432277935902720000000e63 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.4128733573328575539093785749557266275918898879776334100480000000e64 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.36568783078053097631973530924650072729567390078018959175680000000e65 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.274265873085398232239801481934875545471755425585142193817600000000e66 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.1727875000438008863110749336189715936472059181186395821050880000000e67 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.9057409276489562588886992488091252892797084417509332932928000000000e67 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.39060077504861238664575155104893528100187426550508998273252000000000e68 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.136710271267014335326013042867127348350655992926781493956382000000000e69 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.381984581481363583999154090364032296862127039060124762525185000000000e69 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.834909156666408976455293940367099163141506242517129838090761500000000e69 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.1391515261110681627425489900611831938569177070861883063484602500000000e70 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.1711187685960432812104318661563198735267501533086910253744578750000000e70 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.1486031411491954810511645153462777849048093436628106272988713125000000e70 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.857325814322281621449026050074679528296976982670061311339642187500000e69 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.300064035012798567507159117526137834903941943934521458968874765625000e69 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.54889762502341201373260814181610579555599136085583193713818554687500e68 * a * a * pow(x, 0.4e1) + 0.3920697321595800098090058155829327111114224006113085265272753906250e67 * a * x * x - 0.45589503739486047652209978556154966408304930303640526340380859375e65) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.6683491928813645773296279552803733511906927221749603340703141724160000000000e76;
  return retval;
}
```