user: What is the c source code of the assembly code below:

```asm
<HO_88>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x298,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D463(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D629(%rip),%xmm15
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D371(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1042(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D886(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D194(%rip),%xmm14
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D1317(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D163(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D868(%rip),%xmm1
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D338(%rip),%xmm13
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D210(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D157(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D346(%rip),%xmm1
  movsd  %xmm0,0x280(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D976(%rip),%xmm12
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D470(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D221(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D29(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D220(%rip),%xmm11
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D680(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D19(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D832(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D636(%rip),%xmm10
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D642(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D891(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1120(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D549(%rip),%xmm9
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D49(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D111(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D753(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D305(%rip),%xmm8
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D1176(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1212(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D240(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D187(%rip),%xmm7
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D784(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D992(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D682(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D509(%rip),%xmm6
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D837(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D877(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D993(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D235(%rip),%xmm5
  movsd  %xmm0,0x110(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D1348(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D434(%rip),%xmm1
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D984(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D309(%rip),%xmm4
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D629(%rip),%rax
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D690(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D194(%rip),%rax
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D441(%rip),%xmm14
  movsd  %xmm0,0x148(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D338(%rip),%rax
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D107(%rip),%xmm1
  movsd  %xmm0,0x158(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D976(%rip),%rax
  movsd  %xmm0,0x270(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D588(%rip),%xmm12
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D220(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1059(%rip),%xmm1
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D636(%rip),%rax
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1327(%rip),%xmm10
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D549(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D337(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D305(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D407(%rip),%xmm8
  movsd  %xmm0,0x190(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D187(%rip),%rax
  movsd  %xmm0,0x198(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D577(%rip),%xmm1
  movsd  %xmm0,0x1a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D509(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D378(%rip),%xmm6
  movsd  %xmm0,0x1b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D235(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D136(%rip),%xmm1
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D309(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D985(%rip),%xmm4
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D441(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D168(%rip),%xmm1
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D588(%rip),%rax
  movsd  %xmm0,0x258(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1207(%rip),%xmm5
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D1327(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D930(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D407(%rip),%rax
  movsd  %xmm0,0x248(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D380(%rip),%xmm7
  movsd  %xmm0,0x1f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D378(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D336(%rip),%xmm1
  movsd  %xmm0,0x200(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D985(%rip),%rax
  movsd  %xmm0,0x238(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1244(%rip),%xmm4
  movsd  %xmm0,0x208(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D1207(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1115(%rip),%xmm1
  movsd  %xmm0,0x218(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D380(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1244(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm5
  xorpd  D982(%rip),%xmm3
  movsd  %xmm0,0x228(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  D1285(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm4
  movsd  0x288(%rsp),%xmm3
  mulsd  D1165(%rip),%xmm1
  movq   %r12,%xmm6
  movsd  0x280(%rsp),%xmm2
  mulsd  D427(%rip),%xmm4
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D1129(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D552(%rip),%xmm6
  mulsd  D503(%rip),%xmm2
  subsd  %xmm4,%xmm1
  mulsd  0x38(%rsp),%xmm2
  movq   %rbp,%xmm4
  mulsd  D40(%rip),%xmm4
  mulsd  0x20(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  movsd  0x30(%rsp),%xmm3
  mulsd  %xmm6,%xmm3
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D360(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x48(%rsp),%xmm2
  mulsd  D656(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x58(%rsp),%xmm2
  mulsd  D821(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D676(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D345(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  D1270(%rip),%xmm2
  mulsd  0x90(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D190(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D137(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D892(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D354(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D1135(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D1342(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D331(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x108(%rsp),%xmm2
  mulsd  D104(%rip),%xmm2
  mulsd  0x110(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x118(%rsp),%xmm2
  mulsd  D1019(%rip),%xmm2
  mulsd  0x120(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x128(%rsp),%xmm2
  mulsd  D1155(%rip),%xmm2
  mulsd  0x130(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D685(%rip),%xmm2
  mulsd  0x140(%rsp),%xmm2
  movsd  0x278(%rsp),%xmm15
  mulsd  D897(%rip),%xmm15
  movsd  0x270(%rsp),%xmm13
  mulsd  0x148(%rsp),%xmm15
  movsd  0x268(%rsp),%xmm11
  mulsd  D978(%rip),%xmm13
  movsd  0x260(%rsp),%xmm9
  mulsd  0x160(%rsp),%xmm13
  mulsd  D861(%rip),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x150(%rsp),%xmm2
  mulsd  D820(%rip),%xmm2
  mulsd  0x158(%rsp),%xmm2
  mulsd  0x178(%rsp),%xmm11
  subsd  %xmm15,%xmm1
  mulsd  D64(%rip),%xmm9
  mulsd  0x190(%rsp),%xmm9
  addsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  D830(%rip),%xmm2
  mulsd  0x170(%rsp),%xmm2
  subsd  %xmm13,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x180(%rsp),%xmm2
  mulsd  D578(%rip),%xmm2
  mulsd  0x188(%rsp),%xmm2
  subsd  %xmm11,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x198(%rsp),%xmm2
  mulsd  D268(%rip),%xmm2
  mulsd  0x1a0(%rsp),%xmm2
  subsd  %xmm9,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x1a8(%rsp),%xmm2
  mulsd  D256(%rip),%xmm2
  mulsd  0x1b0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1b8(%rsp),%xmm2
  mulsd  D1172(%rip),%xmm2
  mulsd  0x1c0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x1c8(%rsp),%xmm2
  mulsd  D1214(%rip),%xmm2
  mulsd  0x1d0(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm7
  movsd  0x258(%rsp),%xmm14
  movsd  (%rsp),%xmm3
  mulsd  D616(%rip),%xmm14
  movsd  0x250(%rsp),%xmm12
  mulsd  0x1e8(%rsp),%xmm14
  movsd  0x248(%rsp),%xmm10
  mulsd  D458(%rip),%xmm12
  movsd  0x240(%rsp),%xmm8
  mulsd  0x1f0(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x1d8(%rsp),%xmm2
  mulsd  D1273(%rip),%xmm2
  movsd  0x238(%rsp),%xmm6
  mulsd  0x1e0(%rsp),%xmm2
  movsd  0x230(%rsp),%xmm5
  mulsd  D79(%rip),%xmm10
  mulsd  0x1f8(%rsp),%xmm10
  mulsd  D226(%rip),%xmm8
  mulsd  0x200(%rsp),%xmm8
  addsd  %xmm2,%xmm1
  mulsd  D1050(%rip),%xmm6
  movsd  0x210(%rsp),%xmm2
  mulsd  0x208(%rsp),%xmm6
  mulsd  D303(%rip),%xmm2
  subsd  %xmm14,%xmm1
  mulsd  D1046(%rip),%xmm5
  mulsd  0x218(%rsp),%xmm2
  mulsd  0x220(%rsp),%xmm5
  addsd  %xmm12,%xmm1
  subsd  %xmm10,%xmm1
  addsd  %xmm8,%xmm1
  subsd  %xmm6,%xmm1
  addsd  %xmm2,%xmm1
  movsd  D462(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  subsd  %xmm5,%xmm1
  mulsd  %xmm7,%xmm2
  mulsd  0x228(%rsp),%xmm2
  mulsd  D596(%rip),%xmm7
  addsd  %xmm1,%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm2
  movsd  D628(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  D1222(%rip),%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D829(%rip),%xmm0
  divsd  D648(%rip),%xmm0
  add    $0x298,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D463
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D629
type_guessed: f64
name: extract_symbolic_data
arguments: label: D371
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1042
type_guessed: f64
name: extract_symbolic_data
arguments: label: D886
type_guessed: f64
name: extract_symbolic_data
arguments: label: D194
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1317
type_guessed: f64
name: extract_symbolic_data
arguments: label: D163
type_guessed: f64
name: extract_symbolic_data
arguments: label: D868
type_guessed: f64
name: extract_symbolic_data
arguments: label: D338
type_guessed: f64
name: extract_symbolic_data
arguments: label: D210
type_guessed: f64
name: extract_symbolic_data
arguments: label: D157
type_guessed: f64
name: extract_symbolic_data
arguments: label: D346
type_guessed: f64
name: extract_symbolic_data
arguments: label: D976
type_guessed: f64
name: extract_symbolic_data
arguments: label: D470
type_guessed: f64
name: extract_symbolic_data
arguments: label: D221
type_guessed: f64
name: extract_symbolic_data
arguments: label: D29
type_guessed: f64
name: extract_symbolic_data
arguments: label: D220
type_guessed: f64
name: extract_symbolic_data
arguments: label: D680
type_guessed: f64
name: extract_symbolic_data
arguments: label: D19
type_guessed: f64
name: extract_symbolic_data
arguments: label: D832
type_guessed: f64
name: extract_symbolic_data
arguments: label: D636
type_guessed: f64
name: extract_symbolic_data
arguments: label: D642
type_guessed: f64
name: extract_symbolic_data
arguments: label: D891
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1120
type_guessed: f64
name: extract_symbolic_data
arguments: label: D549
type_guessed: f64
name: extract_symbolic_data
arguments: label: D49
type_guessed: f64
name: extract_symbolic_data
arguments: label: D111
type_guessed: f64
name: extract_symbolic_data
arguments: label: D753
type_guessed: f64
name: extract_symbolic_data
arguments: label: D305
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1176
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1212
type_guessed: f64
name: extract_symbolic_data
arguments: label: D240
type_guessed: f64
name: extract_symbolic_data
arguments: label: D187
type_guessed: f64
name: extract_symbolic_data
arguments: label: D784
type_guessed: f64
name: extract_symbolic_data
arguments: label: D992
type_guessed: f64
name: extract_symbolic_data
arguments: label: D682
type_guessed: f64
name: extract_symbolic_data
arguments: label: D509
type_guessed: f64
name: extract_symbolic_data
arguments: label: D837
type_guessed: f64
name: extract_symbolic_data
arguments: label: D877
type_guessed: f64
name: extract_symbolic_data
arguments: label: D993
type_guessed: f64
name: extract_symbolic_data
arguments: label: D235
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1348
type_guessed: f64
name: extract_symbolic_data
arguments: label: D434
type_guessed: f64
name: extract_symbolic_data
arguments: label: D984
type_guessed: f64
name: extract_symbolic_data
arguments: label: D309
type_guessed: f64
name: extract_symbolic_data
arguments: label: D690
type_guessed: f64
name: extract_symbolic_data
arguments: label: D441
type_guessed: f64
name: extract_symbolic_data
arguments: label: D107
type_guessed: f64
name: extract_symbolic_data
arguments: label: D588
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1059
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1327
type_guessed: f64
name: extract_symbolic_data
arguments: label: D337
type_guessed: f64
name: extract_symbolic_data
arguments: label: D407
type_guessed: f64
name: extract_symbolic_data
arguments: label: D577
type_guessed: f64
name: extract_symbolic_data
arguments: label: D378
type_guessed: f64
name: extract_symbolic_data
arguments: label: D136
type_guessed: f64
name: extract_symbolic_data
arguments: label: D985
type_guessed: f64
name: extract_symbolic_data
arguments: label: D168
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1207
type_guessed: f64
name: extract_symbolic_data
arguments: label: D930
type_guessed: f64
name: extract_symbolic_data
arguments: label: D380
type_guessed: f64
name: extract_symbolic_data
arguments: label: D336
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1244
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1115
type_guessed: f64
name: extract_symbolic_data
arguments: label: D982
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D1285
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D1165
type_guessed: f64
name: extract_symbolic_data
arguments: label: D427
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1129
type_guessed: f64
name: extract_symbolic_data
arguments: label: D552
type_guessed: f64
name: extract_symbolic_data
arguments: label: D503
type_guessed: f64
name: extract_symbolic_data
arguments: label: D40
type_guessed: f64
name: extract_symbolic_data
arguments: label: D360
type_guessed: f64
name: extract_symbolic_data
arguments: label: D656
type_guessed: f64
name: extract_symbolic_data
arguments: label: D821
type_guessed: f64
name: extract_symbolic_data
arguments: label: D676
type_guessed: f64
name: extract_symbolic_data
arguments: label: D345
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1270
type_guessed: f64
name: extract_symbolic_data
arguments: label: D190
type_guessed: f64
name: extract_symbolic_data
arguments: label: D137
type_guessed: f64
name: extract_symbolic_data
arguments: label: D892
type_guessed: f64
name: extract_symbolic_data
arguments: label: D354
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1135
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1342
type_guessed: f64
name: extract_symbolic_data
arguments: label: D331
type_guessed: f64
name: extract_symbolic_data
arguments: label: D104
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1019
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1155
type_guessed: f64
name: extract_symbolic_data
arguments: label: D685
type_guessed: f64
name: extract_symbolic_data
arguments: label: D897
type_guessed: f64
name: extract_symbolic_data
arguments: label: D978
type_guessed: f64
name: extract_symbolic_data
arguments: label: D861
type_guessed: f64
name: extract_symbolic_data
arguments: label: D820
type_guessed: f64
name: extract_symbolic_data
arguments: label: D64
type_guessed: f64
name: extract_symbolic_data
arguments: label: D830
type_guessed: f64
name: extract_symbolic_data
arguments: label: D578
type_guessed: f64
name: extract_symbolic_data
arguments: label: D268
type_guessed: f64
name: extract_symbolic_data
arguments: label: D256
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1172
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1214
type_guessed: f64
name: extract_symbolic_data
arguments: label: D616
type_guessed: f64
name: extract_symbolic_data
arguments: label: D458
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1273
type_guessed: f64
name: extract_symbolic_data
arguments: label: D79
type_guessed: f64
name: extract_symbolic_data
arguments: label: D226
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1050
type_guessed: f64
name: extract_symbolic_data
arguments: label: D303
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1046
type_guessed: f64
name: extract_symbolic_data
arguments: label: D462
type_guessed: f64
name: extract_symbolic_data
arguments: label: D596
type_guessed: f64
name: extract_symbolic_data
arguments: label: D628
type_guessed: f64
name: extract_symbolic_data
arguments: label: D1222
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D829
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D648
type_guessed: f64

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

tool: D629: 44

tool: D371: 88

tool: D1042: 43

tool: D886: 86

tool: D194: 42

tool: D1317: 84

tool: D163: 41

tool: D868: 82

tool: D338: 40

tool: D210: 80

tool: D157: 39

tool: D346: 78

tool: D976: 38

tool: D470: 76

tool: D221: 37

tool: D29: 74

tool: D220: 36

tool: D680: 72

tool: D19: 35

tool: D832: 70

tool: D636: 34

tool: D642: 68

tool: D891: 33

tool: D1120: 66

tool: D549: 32

tool: D49: 64

tool: D111: 31

tool: D753: 62

tool: D305: 30

tool: D1176: 60

tool: D1212: 29

tool: D240: 58

tool: D187: 28

tool: D784: 56

tool: D992: 27

tool: D682: 54

tool: D509: 26

tool: D837: 52

tool: D877: 25

tool: D993: 50

tool: D235: 24

tool: D1348: 48

tool: D434: 23

tool: D984: 46

tool: D309: 22

tool: D690: 21

tool: D441: 20

tool: D107: 19

tool: D588: 18

tool: D1059: 17

tool: D1327: 16

tool: D337: 15

tool: D407: 14

tool: D577: 13

tool: D378: 12

tool: D136: 11

tool: D985: 10

tool: D168: 9

tool: D1207: 8

tool: D930: 7

tool: D380: 6

tool: D336: 5

tool: D1244: 4

tool: D1115: 3

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

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

tool: D1165: 17592186044416

tool: D427: 3.3671444089012224e+16

tool: D1129: 1.7875790863110588e+22

tool: D552: 7.420687682048783e+24

tool: D503: 2.3449373075274154e+27

tool: D40: 3.076728203633492e+19

tool: D360: 5.868205612087357e+29

tool: D656: 1.1945989996034977e+32

tool: D821: 2.0166324362056545e+34

tool: D676: 2.8636180594120295e+36

tool: D345: 3.457818806740026e+38

tool: D1270: 3.580414200797172e+40

tool: D190: 3.1999951919624723e+42

tool: D137: 2.48122704115244e+44

tool: D892: 1.6757144052925943e+46

tool: D354: 9.886714991226306e+47

tool: D1135: 5.107106212655339e+49

tool: D1342: 2.3132186963203596e+51

tool: D331: 9.195044317873429e+52

tool: D104: 3.208586517236886e+54

tool: D1019: 9.826296209037965e+55

tool: D1155: 2.6390624104273386e+57

tool: D685: 6.207794533618854e+58

tool: D897: 1.2766464410442251e+60

tool: D978: 3.572375903652003e+62

tool: D861: 5.634506994189585e+64

tool: D820: 2.2899845536230788e+61

tool: D64: 4.827079366303009e+66

tool: D830: 4.8295774235910736e+63

tool: D578: 5.644568613822067e+65

tool: D268: 3.4996325405696816e+67

tool: D256: 2.1336469360247413e+68

tool: D1172: 1.083492584700064e+69

tool: D1214: 4.530968990563904e+69

tool: D616: 4.1778199368875997e+70

tool: D458: 8.877867365886148e+70

tool: D1273: 1.539196818853326e+70

tool: D79: 1.439654167440997e+71

tool: D226: 1.7237964373306676e+71

tool: D1050: 1.4585969854336418e+71

tool: D303: 8.204608043064236e+70

tool: D1046: 2.801573478119495e+70

tool: D462: 5.002809782356241e+69

tool: D596: 3.490332406295052e+68

tool: D628: 3.9662868253352865e+66

tool: {"D1222": [0x4f,0x5c,0x5f,0x19,0x18,0x82,0x2a,0x42]}

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

tool: D648: 7.752850637423829e+77

assistant: ```c
double HO_88(const double a, const double x) {
  double retval = sqrt(0.3240556219961092739378e22) * pow(a, 0.1e1 / 0.4e1) * (0.17592186044416e14 * pow(a, 0.44e2) * pow(x, 0.88e2) - 0.33671444089012224e17 * pow(a, 0.43e2) * pow(x, 0.86e2) + 0.30767282036334919680e20 * pow(a, 0.42e2) * pow(x, 0.84e2) - 0.17875790863110588334080e23 * pow(a, 0.41e2) * pow(x, 0.82e2) + 0.7420687682048782982184960e25 * pow(a, 0.40e2) * pow(x, 0.80e2) - 0.2344937307527415422370447360e28 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.586820561208735709448204451840e30 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.119459899960349769423384477696000e33 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.20166324362056545450785092141056000e35 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.2863618059412029454011483084029952000e37 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.345781880674002556571886582396616704000e39 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.35804142007971719266852619759067856896000e41 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.3199995191962472409474952890966689710080000e43 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.248122704115244014519288654930340248289280000e45 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.16757144052925943980570530231188336054108160000e47 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.988671499122630694853661283640111827192381440000e48 * pow(a, 0.29e2) * pow(x, 0.58e2) + 0.51071062126553391831034440683034526573406453760000e50 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.2313218696320359512346854077996269733030762905600000e52 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.91950443178734290615787449600351721887972825497600000e53 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.3208586517236886035698267320264904821669788594995200000e55 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.98262962090379634843259436683112710163637275721728000000e56 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.2639062410427338764361824870917884215823401119383552000000e58 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.62077945336188536843511107759091140076755003603681280000000e59 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.1276646441044225127260032781306526489404570291501793280000000e61 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.22899845536230788220226838014685818903694479603813416960000000e62 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.357237590365200296235538673029098774897633881819489304576000000e63 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.4829577423591073235645840137297239206789165748444249636864000000e64 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.56345069941895854415868134935134457412540267065182912430080000000e65 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.564456861382206684416107566046614832293483746849421676308480000000e66 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.4827079366303008887420506082053809600302895490298502611189760000000e67 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.34996325405696814433798669094890119602195992304664143931125760000000e68 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.213364693602474126709288659965620406606936856309081393644605440000000e69 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.1083492584700063924695606476387916127300851223444553952101512000000000e70 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.4530968990563903685090717992167649259621741479859043799697232000000000e70 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.15391968188533261047881703767510690867244445321285869378383244000000000e71 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.41778199368875994272821767368957589496806351586347359741325948000000000e71 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.88778673658861487829746255659034877680713497120988139450317639500000000e71 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.143965416744099709994183117284921423266021887223224009919434010000000000e72 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.172379643733066758019350837801682230489578838648860327666690722500000000e72 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.145859698543364179862527631986038810414259017318266431102584457500000000e72 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.82046080430642351172671792992146830858020697241524867495203757343750000e71 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.28015734781194949180912319558294039805177799058081662071532990312500000e71 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.5002809782356240925162914206838221393781749831800296798488033984375000e70 * a * a * pow(x, 0.4e1) - 0.349033240629505180825319595825922422821982546404671869661955859375000e69 * a * x * x + 0.3966286825335286145742268134385482077522528936416725791613134765625e67) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.775285063742382909702368428125233087381203557722953987521564440002560000000000e78;
  return retval;
}
```