user: Demonstrate the C code that generates the assembly output below:

```asm
<HO_64>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D782(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D923(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D162(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D936(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D169(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D762(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D38(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D238(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D410(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D133(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D623(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D285(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D700(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D902(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D532(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D112(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D221(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D986(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D200(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D988(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D895(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D444(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D102(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D78(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D409(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D904(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D838(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D954(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D342(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D725(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D321(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D395(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D794(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D611(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D417(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D664(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D599(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D72(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D622(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D691(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D679(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D428(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D371(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D991(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D600(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D210(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D939(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D629(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D830(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D587(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D958(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D639(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D162(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D339(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D317(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D410(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D18(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D297(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D532(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D2(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D738(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D895(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D479(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D131(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D838(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D668(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D987(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D794(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D874(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D35(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D622(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D276(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D819(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D600(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D552(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D516(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D958(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D87(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D841(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D18(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D753(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D358(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D479(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D376(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D275(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D874(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D959(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D153(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D552(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D119(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D890(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D753(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D586(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x18(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D959(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D391(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x20(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D615(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D998(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D980(%rip),%xmm1
  movapd %xmm0,%xmm6
  divsd  %xmm1,%xmm6
  movq   %xmm6,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D430(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D425(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D782
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D923
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D162
data_type: f64
name: extract_symbolic_data
arguments: label: D936
data_type: f64
name: extract_symbolic_data
arguments: label: D169
data_type: f64
name: extract_symbolic_data
arguments: label: D762
data_type: f64
name: extract_symbolic_data
arguments: label: D38
data_type: f64
name: extract_symbolic_data
arguments: label: D238
data_type: f64
name: extract_symbolic_data
arguments: label: D410
data_type: f64
name: extract_symbolic_data
arguments: label: D133
data_type: f64
name: extract_symbolic_data
arguments: label: D623
data_type: f64
name: extract_symbolic_data
arguments: label: D285
data_type: f64
name: extract_symbolic_data
arguments: label: D700
data_type: f64
name: extract_symbolic_data
arguments: label: D902
data_type: f64
name: extract_symbolic_data
arguments: label: D532
data_type: f64
name: extract_symbolic_data
arguments: label: D112
data_type: f64
name: extract_symbolic_data
arguments: label: D221
data_type: f64
name: extract_symbolic_data
arguments: label: D986
data_type: f64
name: extract_symbolic_data
arguments: label: D200
data_type: f64
name: extract_symbolic_data
arguments: label: D988
data_type: f64
name: extract_symbolic_data
arguments: label: D895
data_type: f64
name: extract_symbolic_data
arguments: label: D444
data_type: f64
name: extract_symbolic_data
arguments: label: D102
data_type: f64
name: extract_symbolic_data
arguments: label: D78
data_type: f64
name: extract_symbolic_data
arguments: label: D409
data_type: f64
name: extract_symbolic_data
arguments: label: D904
data_type: f64
name: extract_symbolic_data
arguments: label: D838
data_type: f64
name: extract_symbolic_data
arguments: label: D954
data_type: f64
name: extract_symbolic_data
arguments: label: D342
data_type: f64
name: extract_symbolic_data
arguments: label: D725
data_type: f64
name: extract_symbolic_data
arguments: label: D321
data_type: f64
name: extract_symbolic_data
arguments: label: D395
data_type: f64
name: extract_symbolic_data
arguments: label: D794
data_type: f64
name: extract_symbolic_data
arguments: label: D611
data_type: f64
name: extract_symbolic_data
arguments: label: D417
data_type: f64
name: extract_symbolic_data
arguments: label: D664
data_type: f64
name: extract_symbolic_data
arguments: label: D599
data_type: f64
name: extract_symbolic_data
arguments: label: D72
data_type: f64
name: extract_symbolic_data
arguments: label: D622
data_type: f64
name: extract_symbolic_data
arguments: label: D691
data_type: f64
name: extract_symbolic_data
arguments: label: D679
data_type: f64
name: extract_symbolic_data
arguments: label: D428
data_type: f64
name: extract_symbolic_data
arguments: label: D371
data_type: f64
name: extract_symbolic_data
arguments: label: D991
data_type: f64
name: extract_symbolic_data
arguments: label: D600
data_type: f64
name: extract_symbolic_data
arguments: label: D210
data_type: f64
name: extract_symbolic_data
arguments: label: D939
data_type: f64
name: extract_symbolic_data
arguments: label: D629
data_type: f64
name: extract_symbolic_data
arguments: label: D830
data_type: f64
name: extract_symbolic_data
arguments: label: D587
data_type: f64
name: extract_symbolic_data
arguments: label: D958
data_type: f64
name: extract_symbolic_data
arguments: label: D639
data_type: f64
name: extract_symbolic_data
arguments: label: D339
data_type: f64
name: extract_symbolic_data
arguments: label: D317
data_type: f64
name: extract_symbolic_data
arguments: label: D18
data_type: f64
name: extract_symbolic_data
arguments: label: D297
data_type: f64
name: extract_symbolic_data
arguments: label: D2
data_type: f64
name: extract_symbolic_data
arguments: label: D738
data_type: f64
name: extract_symbolic_data
arguments: label: D479
data_type: f64
name: extract_symbolic_data
arguments: label: D131
data_type: f64
name: extract_symbolic_data
arguments: label: D668
data_type: f64
name: extract_symbolic_data
arguments: label: D987
data_type: f64
name: extract_symbolic_data
arguments: label: D874
data_type: f64
name: extract_symbolic_data
arguments: label: D35
data_type: f64
name: extract_symbolic_data
arguments: label: D276
data_type: f64
name: extract_symbolic_data
arguments: label: D819
data_type: f64
name: extract_symbolic_data
arguments: label: D552
data_type: f64
name: extract_symbolic_data
arguments: label: D516
data_type: f64
name: extract_symbolic_data
arguments: label: D87
data_type: f64
name: extract_symbolic_data
arguments: label: D841
data_type: f64
name: extract_symbolic_data
arguments: label: D753
data_type: f64
name: extract_symbolic_data
arguments: label: D358
data_type: f64
name: extract_symbolic_data
arguments: label: D376
data_type: f64
name: extract_symbolic_data
arguments: label: D275
data_type: f64
name: extract_symbolic_data
arguments: label: D959
data_type: f64
name: extract_symbolic_data
arguments: label: D153
data_type: f64
name: extract_symbolic_data
arguments: label: D119
data_type: f64
name: extract_symbolic_data
arguments: label: D890
data_type: f64
name: extract_symbolic_data
arguments: label: D586
data_type: f64
name: extract_symbolic_data
arguments: label: D391
data_type: f64
name: extract_symbolic_data
arguments: label: D615
data_type: f64
name: extract_symbolic_data
arguments: label: D998
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D980
data_type: f64
name: extract_symbolic_data
arguments: label: D430
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D425
data_type: f64

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

tool: {"D923": [0x42,0x24,0x35,0xba,0x24,0xbd,0x8e,0x41]}

tool: D162: 32

tool: D936: 4294967296

tool: D169: 64

tool: D762: 31

tool: D38: 4329327034368

tool: D238: 62

tool: D410: 30

tool: D133: 2046689355497472.0

tool: D623: 60

tool: D285: 29

tool: D700: 6.037733598717542e+17

tool: D902: 58

tool: D532: 28

tool: D112: 1.2475467048350122e+20

tool: D221: 56

tool: D986: 27

tool: D200: 1.9212219254459188e+22

tool: D988: 54

tool: D895: 26

tool: D444: 2.2910571460942582e+24

tool: D102: 52

tool: D78: 25

tool: D409: 2.169958411229276e+26

tool: D904: 50

tool: D838: 24

tool: D954: 1.6613744085974144e+28

tool: D342: 48

tool: D725: 23

tool: D321: 1.0411279627210464e+30

tool: D395: 46

tool: D794: 22

tool: D611: 5.387837207081415e+31

tool: D417: 44

tool: D664: 21

tool: D599: 2.3167699990450084e+33

tool: D72: 42

tool: D622: 20

tool: D691: 8.311412371573967e+34

tool: D679: 40

tool: D428: 19

tool: D371: 2.4934237114721902e+36

tool: D991: 38

tool: D600: 18

tool: D210: 6.260274532731963e+37

tool: D939: 36

tool: D629: 17

tool: D830: 1.3146576518737123e+39

tool: D587: 34

tool: D958: 16

tool: D639: 2.304759195941102e+40

tool: D339: 15

tool: D317: 3.362236944667019e+41

tool: D18: 14

tool: D297: 4.0627029748059813e+42

tool: D2: 13

tool: D738: 4.041320327570161e+43

tool: D479: 12

tool: D131: 3.2835727661507557e+44

tool: D668: 11

tool: D987: 2.157776389184782e+45

tool: D874: 10

tool: D35: 1.1328326043220106e+46

tool: D276: 9

tool: D819: 4.679091191764827e+46

tool: D552: 8

tool: D516: 1.4914603173750385e+47

tool: D87: 7

tool: D841: 3.5795047617000923e+47

tool: D753: 6

tool: D358: 6.264133332975161e+47

tool: D376: 5

tool: D275: 7.656162962525198e+47

tool: D959: 4

tool: D153: 6.1522738091720335e+47

tool: D119: 3

tool: D890: 2.9700632182209818e+47

tool: D586: 7.425158045552454e+46

tool: D391: 7.185636818276569e+45

tool: D615: 1.1227557528557138e+44

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

tool: D980: 2

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

tool: D425: 2.2962853523386428e+52

assistant: ```c
double HO_64(const double a, const double x) {
  double retval = sqrt(0.4155610296921974e16) * pow(a, 0.1e1 / 0.4e1) * (0.4294967296e10 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.4329327034368e13 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.2046689355497472e16 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.603773359871754240e18 * pow(a, 0.29e2) * pow(x, 0.58e2) + 0.124754670483501219840e21 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.19212219254459187855360e23 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.2291057146094258151751680e25 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.216995841122927593515909120e27 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.16613744085974143878561792000e29 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.1041127962721046349723205632000e31 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.53878372070814148598175891456000e32 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.2316769999045008389721563332608000e34 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.83114123715739675981261084557312000e35 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.2493423711472190279437832536719360000e37 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.62602745327319634515885581189775360000e38 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.1314657651873712324833597204985282560000e40 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.23047591959411019194739000999898234880000e41 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.336223694466701927076192485174986014720000e42 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.4062702974805981618837325862531081011200000e43 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.40413203275701606629487083579914437427200000e44 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.328357276615075553864582554086804804096000000e45 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.2157776389184782211110113926856145855488000000e46 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.11328326043220106608328098115994765741312000000e47 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.46790911917648266425703013957369684583680000000e47 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.149146031737503849231928356989115869610480000000e48 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.357950476170009238156628056773878087065152000000e48 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.626413333297516166774099099354286652364016000000e48 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.765616296252519759390565565877461464000464000000e48 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.615227380917203378081704472580102962143230000000e48 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.297006321822098182522202159176601430000180000000e48 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.74251580455524545630550539794150357500045000000e47 * a * a * pow(x, 0.4e1) - 0.7185636818276568931988761915562937822585000000e46 * a * x * x + 0.112275575285571389562324404930670903477890625e45) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.22962853523386427563974241567613937036967280640000000e53;
  return retval;
}
```