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

```asm
<HO_85>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x278,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D382(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D393(%rip),%xmm5
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D1267(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D966(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1287(%rip),%xmm1
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1024(%rip),%xmm15
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D686(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D750(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D58(%rip),%xmm1
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1112(%rip),%xmm14
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D426(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D956(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D655(%rip),%xmm1
  movsd  %xmm0,0x258(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D689(%rip),%xmm13
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D243(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D474(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D549(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D682(%rip),%xmm12
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D35(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D327(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D335(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1064(%rip),%xmm11
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D438(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D493(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D812(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1272(%rip),%xmm10
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D297(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1010(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D886(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D596(%rip),%xmm9
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D1181(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1253(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D524(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D269(%rip),%xmm8
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D953(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D794(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D588(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1050(%rip),%xmm7
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D1135(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D211(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D663(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D984(%rip),%xmm6
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D1257(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1186(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D393(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D504(%rip),%xmm5
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D1024(%rip),%rax
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D177(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1112(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D454(%rip),%xmm14
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D689(%rip),%rax
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D633(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D682(%rip),%rax
  movsd  %xmm0,0x248(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D209(%rip),%xmm12
  movsd  %xmm0,0x158(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D1064(%rip),%rax
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D883(%rip),%xmm1
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1272(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D232(%rip),%xmm10
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D596(%rip),%rax
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D650(%rip),%xmm1
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D269(%rip),%rax
  movsd  %xmm0,0x238(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1042(%rip),%xmm8
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D1050(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D808(%rip),%xmm1
  movsd  %xmm0,0x198(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D984(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D74(%rip),%xmm6
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D504(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D171(%rip),%xmm1
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D454(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D391(%rip),%xmm5
  movsd  %xmm0,0x1c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D209(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D927(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D232(%rip),%rax
  movsd  %xmm0,0x228(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1151(%rip),%xmm7
  movsd  %xmm0,0x1d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D1042(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D166(%rip),%xmm1
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D74(%rip),%rax
  movsd  %xmm0,0x218(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D793(%rip),%xmm6
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D391(%rip),%rax
  movsd  %xmm0,0x1f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D419(%rip),%xmm1
  movsd  %xmm0,0x1f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1151(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D793(%rip),%rax
  movsd  %xmm0,0x200(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm4
  xorpd  D533(%rip),%xmm3
  movsd  %xmm0,0x208(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  D896(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm6
  movsd  0x268(%rsp),%xmm4
  mulsd  D72(%rip),%xmm1
  movsd  0x260(%rsp),%xmm3
  mulsd  D739(%rip),%xmm4
  movsd  0x258(%rsp),%xmm2
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D311(%rip),%xmm6
  mulsd  D665(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D200(%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  D202(%rip),%xmm3
  mulsd  0x30(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D1117(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D1041(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x50(%rsp),%xmm2
  mulsd  D1110(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x60(%rsp),%xmm2
  mulsd  D909(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm2
  mulsd  D992(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D1108(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x90(%rsp),%xmm2
  mulsd  D139(%rip),%xmm2
  mulsd  0x98(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D1049(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb0(%rsp),%xmm2
  mulsd  D515(%rip),%xmm2
  mulsd  0xb8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc0(%rsp),%xmm2
  mulsd  D440(%rip),%xmm2
  mulsd  0xc8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D508(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe0(%rsp),%xmm2
  mulsd  D696(%rip),%xmm2
  mulsd  0xe8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf0(%rsp),%xmm2
  mulsd  D786(%rip),%xmm2
  mulsd  0xf8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x100(%rsp),%xmm2
  mulsd  D261(%rip),%xmm2
  mulsd  0x108(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x110(%rsp),%xmm2
  mulsd  D688(%rip),%xmm2
  mulsd  0x118(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D30(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x130(%rsp),%xmm2
  mulsd  D1187(%rip),%xmm2
  mulsd  0x138(%rsp),%xmm2
  movsd  0x250(%rsp),%xmm15
  mulsd  D489(%rip),%xmm15
  movsd  0x248(%rsp),%xmm13
  mulsd  0x140(%rsp),%xmm15
  movsd  0x240(%rsp),%xmm11
  mulsd  D300(%rip),%xmm13
  movsd  0x238(%rsp),%xmm9
  mulsd  0x158(%rsp),%xmm13
  mulsd  D457(%rip),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D290(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  mulsd  0x170(%rsp),%xmm11
  subsd  %xmm15,%xmm1
  mulsd  D1278(%rip),%xmm9
  mulsd  0x188(%rsp),%xmm9
  addsd  %xmm2,%xmm1
  movsd  0x160(%rsp),%xmm2
  mulsd  D1145(%rip),%xmm2
  mulsd  0x168(%rsp),%xmm2
  subsd  %xmm13,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x178(%rsp),%xmm2
  mulsd  D646(%rip),%xmm2
  mulsd  0x180(%rsp),%xmm2
  subsd  %xmm11,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x190(%rsp),%xmm2
  mulsd  D1194(%rip),%xmm2
  mulsd  0x198(%rsp),%xmm2
  subsd  %xmm9,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x1a0(%rsp),%xmm2
  mulsd  D1071(%rip),%xmm2
  mulsd  0x1a8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1b0(%rsp),%xmm2
  mulsd  D432(%rip),%xmm2
  mulsd  0x1b8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x1c0(%rsp),%xmm2
  mulsd  D68(%rip),%xmm2
  mulsd  0x1c8(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm7
  movsd  0x230(%rsp),%xmm14
  movsd  (%rsp),%xmm4
  mulsd  D37(%rip),%xmm14
  movsd  0x228(%rsp),%xmm12
  mulsd  0x1d0(%rsp),%xmm14
  movsd  0x220(%rsp),%xmm10
  mulsd  D815(%rip),%xmm12
  movsd  0x218(%rsp),%xmm8
  mulsd  0x1d8(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x1f0(%rsp),%xmm2
  mulsd  D1059(%rip),%xmm10
  movsd  0x210(%rsp),%xmm5
  mulsd  0x1e0(%rsp),%xmm10
  addsd  %xmm14,%xmm1
  mulsd  D1106(%rip),%xmm2
  mulsd  D370(%rip),%xmm8
  mulsd  0x1e8(%rsp),%xmm8
  subsd  %xmm12,%xmm1
  mulsd  D43(%rip),%xmm5
  mulsd  0x1f8(%rsp),%xmm2
  mulsd  0x200(%rsp),%xmm5
  addsd  %xmm10,%xmm1
  subsd  %xmm8,%xmm1
  addsd  %xmm2,%xmm1
  movsd  D568(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  subsd  %xmm5,%xmm1
  mulsd  %xmm7,%xmm2
  mulsd  0x208(%rsp),%xmm2
  mulsd  D1100(%rip),%xmm7
  addsd  %xmm1,%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  %xmm4,%xmm1
  subsd  %xmm1,%xmm2
  movsd  D147(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  D47(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D574(%rip),%xmm0
  divsd  D165(%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: data_label: D382
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D393
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1267
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D966
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1287
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1024
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D686
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D750
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D58
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1112
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D426
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D956
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D655
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D689
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D243
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D474
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D549
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D682
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D35
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D327
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D335
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1064
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D438
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D493
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D812
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1272
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D297
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1010
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D886
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D596
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1181
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1253
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D524
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D269
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D953
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D794
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D588
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1050
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1135
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D211
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D663
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D984
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1257
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1186
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D504
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D177
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D454
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D633
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D209
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D883
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D232
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D650
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1042
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D808
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D74
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D171
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D391
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D927
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1151
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D166
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D793
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D419
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D533
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D896
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D72
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D739
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D311
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D665
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D200
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D202
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1117
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1041
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1110
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D909
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D992
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1108
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D139
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1049
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D515
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D440
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D508
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D696
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D786
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D261
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D688
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D30
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1187
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D489
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D300
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D457
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D290
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1278
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1145
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D646
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1194
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1071
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D432
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D68
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D37
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D815
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1059
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1106
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D370
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D43
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D568
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D1100
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D147
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D47
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D574
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D165
type_guessed: f64

tool: {"D382": [0x00,0x00,0x00,0x00,0x00,0x00,0xe8,0x3f]}

tool: D393: 42

tool: D1267: 84

tool: D966: 41

tool: D1287: 82

tool: D1024: 40

tool: D686: 80

tool: D750: 39

tool: D58: 78

tool: D1112: 38

tool: D426: 76

tool: D956: 37

tool: D655: 74

tool: D689: 36

tool: D243: 72

tool: D474: 35

tool: D549: 70

tool: D682: 34

tool: D35: 68

tool: D327: 33

tool: D335: 66

tool: D1064: 32

tool: D438: 64

tool: D493: 31

tool: D812: 62

tool: D1272: 30

tool: D297: 60

tool: D1010: 29

tool: D886: 58

tool: D596: 28

tool: D1181: 56

tool: D1253: 27

tool: D524: 54

tool: D269: 26

tool: D953: 52

tool: D794: 25

tool: D588: 50

tool: D1050: 24

tool: D1135: 48

tool: D211: 23

tool: D663: 46

tool: D984: 22

tool: D1257: 44

tool: D1186: 21

tool: D504: 20

tool: D177: 19

tool: D454: 18

tool: D633: 17

tool: D209: 16

tool: D883: 15

tool: D232: 14

tool: D650: 13

tool: D1042: 12

tool: D808: 11

tool: D74: 10

tool: D171: 9

tool: D391: 8

tool: D927: 7

tool: D1151: 6

tool: D166: 5

tool: D793: 4

tool: D419: 3

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

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

tool: D72: 4398046511104

tool: D739: 7850513022320640.0

tool: D311: 6.678823953739284e+18

tool: D665: 3.6065649350192136e+21

tool: D200: 4.0641505660734776e+26

tool: D202: 1.3889783205992746e+24

tool: D1117: 9.398348184044917e+28

tool: D1041: 1.7642042162621458e+31

tool: D1110: 2.740029673382145e+33

tool: D909: 3.571172007641396e+35

tool: D992: 3.9479306544475634e+37

tool: D1108: 3.7325889823867874e+39

tool: D139: 3.037394284417248e+41

tool: D1049: 2.1378582848013708e+43

tool: D515: 1.3063841161768375e+45

tool: D440: 6.949963498060776e+46

tool: D508: 3.2252174358188286e+48

tool: D696: 1.3071616548701018e+50

tool: D786: 4.629530860998277e+51

tool: D261: 1.432717971719467e+53

tool: D688: 3.871920318571859e+54

tool: D30: 9.126669322347954e+55

tool: D1187: 1.873041454109137e+57

tool: D489: 3.33889998341194e+58

tool: D300: 6.865696563390386e+60

tool: D457: 7.681364787588048e+62

tool: D290: 5.154426849392182e+59

tool: D1278: 4.4647932827855524e+64

tool: D1145: 7.85594126003323e+61

tool: D646: 6.378276118265075e+63

tool: D1194: 2.6119040704295483e+65

tool: D1071: 1.263824550207846e+66

tool: D432: 4.996056425040391e+66

tool: D68: 1.5896543170583063e+67

tool: D37: 3.99751306201427e+67

tool: D815: 7.766596806199153e+67

tool: D1059: 1.1326287009040431e+68

tool: D1106: 8.639717508674155e+67

tool: D370: 1.1938518739258834e+68

tool: D43: 3.9875619270803794e+67

tool: D568: 1.0467350058585996e+67

tool: D1100: 1.2765061047056094e+66

tool: D147: 4.558950373948605e+64

tool: {"D47": [0x25,0x9d,0x32,0xcb,0xb9,0x63,0x50,0x42]}

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

tool: D165: 3.341745964406823e+75

assistant: ```c
double HO_85(const double a, const double x) {
  double retval = sqrt(0.79281884071117079261679e23) * pow(a, 0.3e1 / 0.4e1) * x * (0.4398046511104e13 * pow(a, 0.42e2) * pow(x, 0.84e2) - 0.7850513022320640e16 * pow(a, 0.41e2) * pow(x, 0.82e2) + 0.6678823953739284480e19 * pow(a, 0.40e2) * pow(x, 0.80e2) - 0.3606564935019213619200e22 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.1388978320599274645094400e25 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.406415056607347761154621440e27 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.93983481840449169767006208000e29 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.17642042162621458439120879616000e32 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.2740029673382145263825961615360000e34 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.357117200764139599385316997201920000e36 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.39479306544475632712046794040672256000e38 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.3732588982386787092775333254754467840000e40 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.303739428441724799674592743605644820480000e42 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.21378582848013707054019412338397308518400000e44 * pow(a, 0.29e2) * pow(x, 0.58e2) + 0.1306384116176837598908114803964206959820800000e46 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.69499634980607760261911707570895810262466560000e47 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.3225217435818828874654340179461883694992588800000e49 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.130716165487010182037461199038190462697052569600000e51 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.4629530860998277280493417465935912220520611840000000e52 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.143271797171946686364743656314227178192953671680000000e54 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.3871920318571859199007197311891989490664572977152000000e55 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.91266693223479538262312508066025466565664934461440000000e56 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.1873041454109136887519731699627749916108987177697280000000e58 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.33388999834119396690569130297712063721942814906777600000000e59 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.515442684939218186410660948970929983707492205123379200000000e60 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.6865696563390386242990003840292787382983796172243410944000000e61 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.78559412600332304126520236249504009478372283124708259840000000e62 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.768136478758804751459308976661816981566306768330480762880000000e63 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.6378276118265075168367476324066873150505940129887027763200000000e64 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.44647932827855526178572334268468112053541580909209194342400000000e65 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.261190407042954828144648155470538455513218248318873786903040000000e66 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.1263824550207845942635394300663895752483314104768744130176000000000e67 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.4996056425040390991980543094811962896535601070413941639602000000000e67 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.15896543170583062247210818938038063761704185224044359762370000000000e68 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.39975130620142700651074265270654542694873759901640963520077500000000e68 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.77665968061991532693515715382985968664326162094616729124722000000000e68 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.113262870090404318511377084933521204302142319721316063306886250000000e69 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.119385187392588335728208278713711539669825688354900715377528750000000e69 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.86397175086741558750677043805975456340005432362099201917948437500000e68 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.39875619270803796346466327910450210618464045705584247039053125000000e68 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.10467350058585996540947411076493180287346811997715864847751445312500e68 * a * a * pow(x, 0.4e1) - 0.1276506104705609334261879399572339059432538048501934737530664062500e67 * a * x * x + 0.45589503739486047652209978556154966408304930303640526340380859375e65) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.3341745964406822886648139776401866755953463610874801670351570862080000000000e76;
  return retval;
}
```