user: 下面的汇编指令对应的C源代码是什么:

```asm
<HO_82>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x268,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D279(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D1029(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D686(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1191(%rip),%xmm15
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D934(%rip),%xmm1
  movsd  %xmm0,0x258(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1117(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D320(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D272(%rip),%xmm14
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D1112(%rip),%xmm1
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D159(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D303(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D721(%rip),%xmm13
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D443(%rip),%xmm1
  movsd  %xmm0,0x248(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D976(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D992(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D181(%rip),%xmm12
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D146(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D826(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D583(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D16(%rip),%xmm11
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D999(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D269(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D468(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1007(%rip),%xmm10
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D1019(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D462(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D885(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1122(%rip),%xmm9
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D1207(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1201(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D701(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D25(%rip),%xmm8
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D893(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D458(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D718(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D13(%rip),%xmm7
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D1220(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D768(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D423(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D436(%rip),%xmm6
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D70(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D382(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D808(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D31(%rip),%xmm5
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D1191(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D843(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D272(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D173(%rip),%xmm14
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D721(%rip),%rax
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D681(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D181(%rip),%rax
  movsd  %xmm0,0x238(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D525(%rip),%xmm12
  movsd  %xmm0,0x148(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D16(%rip),%rax
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D53(%rip),%xmm1
  movsd  %xmm0,0x158(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1007(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D350(%rip),%xmm10
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D1122(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D639(%rip),%xmm1
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D25(%rip),%rax
  movsd  %xmm0,0x228(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D575(%rip),%xmm8
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D13(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D172(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D436(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1119(%rip),%xmm6
  movsd  %xmm0,0x198(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D31(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D398(%rip),%xmm1
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D173(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D81(%rip),%xmm5
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D525(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D502(%rip),%xmm1
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D350(%rip),%rax
  movsd  %xmm0,0x218(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D153(%rip),%xmm7
  movsd  %xmm0,0x1c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D575(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1241(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1119(%rip),%rax
  movsd  %xmm0,0x208(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1063(%rip),%xmm6
  movsd  %xmm0,0x1d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D81(%rip),%rax
  movsd  %xmm0,0x1e0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D154(%rip),%xmm1
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D153(%rip),%rax
  movsd  %xmm0,0x200(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1063(%rip),%rax
  movsd  %xmm0,0x1f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm4
  xorpd  D925(%rip),%xmm3
  movsd  %xmm0,0x1f8(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  D192(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm6
  movsd  0x258(%rsp),%xmm4
  mulsd  D97(%rip),%xmm1
  movsd  0x250(%rsp),%xmm3
  mulsd  D955(%rip),%xmm4
  movsd  0x248(%rsp),%xmm2
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D903(%rip),%xmm6
  mulsd  D337(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D794(%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  D914(%rip),%xmm3
  mulsd  0x30(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D477(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D266(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x50(%rsp),%xmm2
  mulsd  D965(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x60(%rsp),%xmm2
  mulsd  D26(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm2
  mulsd  D619(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D616(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x90(%rsp),%xmm2
  mulsd  D74(%rip),%xmm2
  mulsd  0x98(%rsp),%xmm2
  movsd  0x240(%rsp),%xmm15
  mulsd  D750(%rip),%xmm15
  mulsd  0x130(%rsp),%xmm15
  addsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D890(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb0(%rsp),%xmm2
  mulsd  D1133(%rip),%xmm2
  mulsd  0xb8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc0(%rsp),%xmm2
  mulsd  D1039(%rip),%xmm2
  mulsd  0xc8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D1179(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe0(%rsp),%xmm2
  mulsd  D451(%rip),%xmm2
  mulsd  0xe8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf0(%rsp),%xmm2
  mulsd  D2(%rip),%xmm2
  mulsd  0xf8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x100(%rsp),%xmm2
  mulsd  D225(%rip),%xmm2
  mulsd  0x108(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x110(%rsp),%xmm2
  mulsd  D783(%rip),%xmm2
  mulsd  0x118(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D908(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D1254(%rip),%xmm2
  mulsd  0x140(%rsp),%xmm2
  movsd  0x238(%rsp),%xmm13
  mulsd  D344(%rip),%xmm13
  movsd  0x230(%rsp),%xmm11
  mulsd  0x148(%rsp),%xmm13
  addsd  %xmm15,%xmm1
  movsd  0x228(%rsp),%xmm9
  mulsd  D1124(%rip),%xmm11
  movsd  0x220(%rsp),%xmm14
  mulsd  0x160(%rsp),%xmm11
  mulsd  D1188(%rip),%xmm9
  subsd  %xmm2,%xmm1
  movsd  0x150(%rsp),%xmm2
  mulsd  D318(%rip),%xmm2
  mulsd  0x158(%rsp),%xmm2
  mulsd  0x178(%rsp),%xmm9
  addsd  %xmm13,%xmm1
  mulsd  D581(%rip),%xmm14
  subsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  D414(%rip),%xmm2
  mulsd  0x170(%rsp),%xmm2
  addsd  %xmm11,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x180(%rsp),%xmm2
  mulsd  D531(%rip),%xmm2
  mulsd  0x188(%rsp),%xmm2
  addsd  %xmm9,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x190(%rsp),%xmm2
  mulsd  D1130(%rip),%xmm2
  mulsd  0x198(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x1a0(%rsp),%xmm2
  mulsd  D1134(%rip),%xmm2
  mulsd  0x1a8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1b0(%rsp),%xmm2
  mulsd  D1108(%rip),%xmm2
  mulsd  0x1b8(%rsp),%xmm2
  mulsd  0x1c0(%rsp),%xmm14
  movsd  0x8(%rsp),%xmm7
  movsd  0x218(%rsp),%xmm12
  movsd  (%rsp),%xmm4
  mulsd  D899(%rip),%xmm12
  movsd  0x210(%rsp),%xmm10
  mulsd  0x1c8(%rsp),%xmm12
  movsd  0x208(%rsp),%xmm8
  mulsd  D306(%rip),%xmm10
  addsd  %xmm2,%xmm1
  movsd  0x1e0(%rsp),%xmm2
  mulsd  0x1d0(%rsp),%xmm10
  movsd  0x200(%rsp),%xmm5
  mulsd  D441(%rip),%xmm8
  subsd  %xmm14,%xmm1
  mulsd  D542(%rip),%xmm2
  mulsd  0x1d8(%rsp),%xmm8
  mulsd  0x1e8(%rsp),%xmm2
  addsd  %xmm12,%xmm1
  mulsd  D161(%rip),%xmm5
  mulsd  0x1f0(%rsp),%xmm5
  subsd  %xmm10,%xmm1
  addsd  %xmm8,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D1074(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  addsd  %xmm1,%xmm5
  mulsd  %xmm7,%xmm2
  mulsd  D1193(%rip),%xmm7
  mulsd  0x1f8(%rsp),%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm4,%xmm1
  subsd  %xmm2,%xmm5
  movq   %rbx,%xmm2
  mulsd  D746(%rip),%xmm2
  mulsd  %xmm4,%xmm1
  addsd  %xmm5,%xmm1
  subsd  D1178(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D580(%rip),%xmm0
  divsd  D178(%rip),%xmm0
  add    $0x268,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D279
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1029
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D686
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1191
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D934
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1117
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D320
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D272
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1112
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D159
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D303
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D721
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D443
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D976
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D992
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D181
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D146
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D826
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D583
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D16
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D999
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D269
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D468
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1007
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1019
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D462
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D885
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1122
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1207
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1201
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D701
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D25
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D893
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D458
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D718
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D13
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1220
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D768
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D423
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D436
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D70
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D382
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D808
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D31
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D843
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D173
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D681
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D525
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D53
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D350
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D639
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D575
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D172
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1119
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D398
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D81
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D502
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D153
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1241
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1063
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D154
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D925
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D192
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D97
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D955
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D903
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D337
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D794
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D914
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D477
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D266
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D965
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D26
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D619
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D616
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D74
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D750
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D890
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1133
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1039
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1179
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D451
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D2
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D225
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D783
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D908
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1254
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D344
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1124
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1188
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D318
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D581
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D414
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D531
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1130
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1134
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1108
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D899
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D306
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D441
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D542
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D161
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1074
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1193
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D746
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D1178
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D580
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D178
type_guessed: f64

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

tool: D1029: 41

tool: D686: 82

tool: D1191: 40

tool: D934: 80

tool: D1117: 39

tool: D320: 78

tool: D272: 38

tool: D1112: 76

tool: D159: 37

tool: D303: 74

tool: D721: 36

tool: D443: 72

tool: D976: 35

tool: D992: 70

tool: D181: 34

tool: D146: 68

tool: D826: 33

tool: D583: 66

tool: D16: 32

tool: D999: 64

tool: D269: 31

tool: D468: 62

tool: D1007: 30

tool: D1019: 60

tool: D462: 29

tool: D885: 58

tool: D1122: 28

tool: D1207: 56

tool: D1201: 27

tool: D701: 54

tool: D25: 26

tool: D893: 52

tool: D458: 25

tool: D718: 50

tool: D13: 24

tool: D1220: 48

tool: D768: 23

tool: D423: 46

tool: D436: 22

tool: D70: 44

tool: D382: 21

tool: D808: 42

tool: D31: 20

tool: D843: 19

tool: D173: 18

tool: D681: 17

tool: D525: 16

tool: D53: 15

tool: D350: 14

tool: D639: 13

tool: D575: 12

tool: D172: 11

tool: D1119: 10

tool: D398: 9

tool: D81: 8

tool: D502: 7

tool: D153: 6

tool: D1241: 5

tool: D1063: 4

tool: D154: 3

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

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

tool: D97: 2199023255552

tool: D955: 3651478115844096.0

tool: D903: 2.884667711516836e+18

tool: D337: 1.4437761896141763e+21

tool: D794: 1.389246567652686e+26

tool: D914: 5.143452675500503e+23

tool: D477: 2.959095189100221e+28

tool: D266: 5.104439201197882e+30

tool: D965: 7.267445312705483e+32

tool: D26: 8.660372330974034e+34

tool: D619: 8.729655309621827e+36

tool: D616: 7.503535541134033e+38

tool: D74: 5.53385746158635e+40

tool: D750: 1.0107634859169484e+56

tool: D890: 3.5182563015393217e+42

tool: D1133: 1.935040965846627e+44

tool: D1039: 9.23014540708841e+45

tool: D1179: 3.82474150306226e+47

tool: D451: 1.3780318650739025e+49

tool: D2: 4.317833177231561e+50

tool: D225: 1.1760414048512279e+52

tool: D783: 2.781337922473154e+53

tool: D908: 5.701742741069966e+54

tool: D1254: 1.544710283912206e+57

tool: D344: 2.0274322476347704e+58

tool: D1124: 2.1697891826840795e+60

tool: D1188: 1.1798228680844682e+62

tool: D318: 2.2747789818462122e+59

tool: D581: 7.797787958031279e+64

tool: D414: 1.7478857304955085e+61

tool: D531: 6.6110764159905545e+62

tool: D1130: 3.041095151355655e+63

tool: D1134: 1.1330531934889618e+64

tool: D1108: 3.3637516681703555e+64

tool: D899: 1.3760802278878727e+65

tool: D306: 1.7889042962542346e+65

tool: D441: 1.6398289382330483e+65

tool: D542: 9.971932732498267e+64

tool: D161: 3.673869954078309e+64

tool: D1074: 7.065134527073671e+63

tool: D1193: 5.2988508953052525e+62

tool: {"D746": [0x83,0xca,0xf2,0x22,0x08,0x45,0xf3,0x41]}

tool: D1178: 6.462013286957625e+60

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

tool: D178: 1.1277871028337967e+71

assistant: ```c
double HO_82(const double a, const double x) {
  double retval = sqrt(0.26756398390576450090e20) * pow(a, 0.1e1 / 0.4e1) * (0.2199023255552e13 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.3651478115844096e16 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.2884667711516835840e19 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.1443776189614176337920e22 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.514345267550050320384000e24 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.138924656765268591535718400e27 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.29590951891002209997108019200e29 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.5104439201197881224501133312000e31 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.726744531270548339338348855296000e33 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.86603723309740343771153238589440000e35 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.8729655309621826652132246449815552000e37 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.750353554113403372690094456209145856000e39 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.55338574615863498735894466145424506880000e41 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.3518256301539321669632059713014873456640000e43 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.193504096584662691829763284215818040115200000e45 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.9230145407088410400279708657094520513495040000e46 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.382474150306226005961590427478354193777950720000e48 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.13780318650739025214792596284146584922882048000000e50 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.431783317723156123396834683569926327583637504000000e51 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.11760414048512278624097997302496677606554337280000000e53 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.278133792247315389459917636204046425395010076672000000e54 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.5701742741069965483928311542182951720597706571776000000e55 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.101076348591694842669638250065970507774232071045120000000e57 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.1544710283912205965146862821660375368810546650972160000000e58 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.20274322476347703292552574534292426715638424794009600000000e59 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.227477898184621230942439886274761027749463126188787712000000e60 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.2169789182684079433604811222928489803148725203646898176000000e61 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.17478857304955084326260979295812834525364730807155568640000000e62 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.117982286808446819202261610246736633046211932948300088320000000e63 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.661107641599055452426465919486024236896877210486164288000000000e63 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.3041095151355655081161743229635711489725635168236355724800000000e64 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.11330531934889618124973591710416925066558414901009647942400000000e65 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.33637516681703553808515350390300246291345294237372392329000000000e65 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.77977879580312783828831039541150570948118636641181454944500000000e65 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.137608022788787265580290069778501007555503476425614332255000000000e66 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.178890429625423445254377090712051309822154519353298631931500000000e66 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.163982893823304824816512333152713700670308309407190412603875000000e66 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.99719327324982663739771013403677250407619917882750926583437500000e65 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.36738699540783086640968268096091618571228390798908236109687500000e65 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.7065134527073670507878513095402234340620844384405430021093750000e64 * a * a * pow(x, 0.4e1) + 0.529885089530525288090888482155167575546563328830407251582031250e63 * a * x * x - 0.6462013286957625464523030270184970433494674741834234775390625e61) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.112778710283379666114816907171606316221304161549552889553223680000000000e72;
  return retval;
}
```