user: Converte this assembly snippet into its equivalent C code:

```asm
<HO_95>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x2c8,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D818(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D1257(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D0(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D680(%rip),%xmm4
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  movsd  D748(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D296(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D268(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D743(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D139(%rip),%xmm1
  movsd  %xmm0,0x2b8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D383(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D558(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D616(%rip),%xmm14
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D186(%rip),%xmm1
  movsd  %xmm0,0x2b0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D829(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D998(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1208(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D1080(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D893(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D559(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D332(%rip),%xmm12
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D784(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D812(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1236(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D278(%rip),%xmm11
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D1064(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D256(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D474(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1124(%rip),%xmm10
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D102(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D749(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1201(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D202(%rip),%xmm9
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D1184(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1129(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D73(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1301(%rip),%xmm8
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D92(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D661(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1046(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D676(%rip),%xmm7
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D1246(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1189(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1103(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1373(%rip),%xmm6
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D535(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D394(%rip),%xmm1
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D697(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D718(%rip),%xmm5
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D843(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1298(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D680(%rip),%rax
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D967(%rip),%xmm4
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D743(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D525(%rip),%xmm1
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D616(%rip),%rax
  movsd  %xmm0,0x2a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D787(%rip),%xmm14
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D1208(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D216(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D332(%rip),%rax
  movsd  %xmm0,0x2a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1346(%rip),%xmm12
  movsd  %xmm0,0x190(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D278(%rip),%rax
  movsd  %xmm0,0x198(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D277(%rip),%xmm1
  movsd  %xmm0,0x1a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1124(%rip),%rax
  movsd  %xmm0,0x298(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D72(%rip),%xmm10
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D202(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D55(%rip),%xmm1
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1301(%rip),%rax
  movsd  %xmm0,0x290(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1251(%rip),%xmm8
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D676(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D74(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1373(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D432(%rip),%xmm6
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D718(%rip),%rax
  movsd  %xmm0,0x1e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D979(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D967(%rip),%rax
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1043(%rip),%xmm4
  movsd  %xmm0,0x200(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D787(%rip),%rax
  movsd  %xmm0,0x208(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D16(%rip),%xmm1
  movsd  %xmm0,0x210(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1346(%rip),%rax
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1085(%rip),%xmm5
  movsd  %xmm0,0x218(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D72(%rip),%rax
  movsd  %xmm0,0x280(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1389(%rip),%xmm1
  movsd  %xmm0,0x220(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1251(%rip),%rax
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D688(%rip),%xmm7
  movsd  %xmm0,0x228(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D432(%rip),%rax
  movsd  %xmm0,0x270(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D431(%rip),%xmm1
  movsd  %xmm0,0x230(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1043(%rip),%rax
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D369(%rip),%xmm4
  movsd  %xmm0,0x238(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D1085(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D592(%rip),%xmm1
  movsd  %xmm0,0x248(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D688(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D369(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm6
  xorpd  D673(%rip),%xmm3
  movsd  %xmm0,0x258(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D834(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm4
  movsd  0x2b8(%rsp),%xmm3
  mulsd  D276(%rip),%xmm1
  movq   %r12,%xmm5
  movsd  0x2b0(%rsp),%xmm2
  mulsd  D577(%rip),%xmm4
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D737(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D964(%rip),%xmm5
  mulsd  D201(%rip),%xmm2
  subsd  %xmm4,%xmm1
  mulsd  0x38(%rsp),%xmm2
  movq   %rbp,%xmm4
  mulsd  D846(%rip),%xmm4
  mulsd  0x20(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  movsd  0x30(%rsp),%xmm3
  mulsd  %xmm5,%xmm3
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D313(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x48(%rsp),%xmm2
  mulsd  D1(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x58(%rsp),%xmm2
  mulsd  D69(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D753(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D888(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  D205(%rip),%xmm2
  mulsd  0x90(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D1212(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D291(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D190(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D600(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D1002(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D925(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D272(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x108(%rsp),%xmm2
  mulsd  D1407(%rip),%xmm2
  mulsd  0x110(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x118(%rsp),%xmm2
  mulsd  D800(%rip),%xmm2
  mulsd  0x120(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x128(%rsp),%xmm2
  mulsd  D1371(%rip),%xmm2
  mulsd  0x130(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D803(%rip),%xmm2
  mulsd  0x140(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D821(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  movsd  0x2a8(%rsp),%xmm15
  mulsd  D849(%rip),%xmm15
  movsd  0x2a0(%rsp),%xmm13
  mulsd  0x178(%rsp),%xmm15
  movsd  0x298(%rsp),%xmm11
  mulsd  D358(%rip),%xmm13
  movsd  0x290(%rsp),%xmm9
  mulsd  0x190(%rsp),%xmm13
  mulsd  D624(%rip),%xmm11
  subsd  %xmm2,%xmm1
  movsd  0x158(%rsp),%xmm2
  mulsd  D382(%rip),%xmm2
  mulsd  0x160(%rsp),%xmm2
  mulsd  0x1a8(%rsp),%xmm11
  mulsd  D113(%rip),%xmm9
  mulsd  0x1c0(%rsp),%xmm9
  addsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  D733(%rip),%xmm2
  mulsd  0x170(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x180(%rsp),%xmm2
  mulsd  D1408(%rip),%xmm2
  mulsd  0x188(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x198(%rsp),%xmm2
  mulsd  D509(%rip),%xmm2
  mulsd  0x1a0(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x1b0(%rsp),%xmm2
  mulsd  D811(%rip),%xmm2
  mulsd  0x1b8(%rsp),%xmm2
  addsd  %xmm11,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x1c8(%rsp),%xmm2
  mulsd  D899(%rip),%xmm2
  mulsd  0x1d0(%rsp),%xmm2
  movsd  0x288(%rsp),%xmm14
  mulsd  D158(%rip),%xmm14
  movsd  0x280(%rsp),%xmm12
  mulsd  0x218(%rsp),%xmm14
  addsd  %xmm9,%xmm1
  movsd  0x278(%rsp),%xmm10
  mulsd  D443(%rip),%xmm12
  movsd  0x270(%rsp),%xmm8
  mulsd  0x220(%rsp),%xmm12
  movsd  0x268(%rsp),%xmm6
  subsd  %xmm2,%xmm1
  mulsd  D608(%rip),%xmm6
  movsd  0x1d8(%rsp),%xmm2
  mulsd  D987(%rip),%xmm2
  movsd  0x260(%rsp),%xmm5
  mulsd  0x1e0(%rsp),%xmm2
  mulsd  D439(%rip),%xmm10
  mulsd  0x228(%rsp),%xmm10
  mulsd  D120(%rip),%xmm8
  mulsd  0x230(%rsp),%xmm8
  mulsd  0x238(%rsp),%xmm6
  addsd  %xmm2,%xmm1
  movsd  0x1e8(%rsp),%xmm2
  mulsd  D763(%rip),%xmm2
  mulsd  0x1f0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1f8(%rsp),%xmm2
  mulsd  D362(%rip),%xmm2
  mulsd  0x200(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x208(%rsp),%xmm2
  mulsd  D1353(%rip),%xmm2
  mulsd  0x210(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x240(%rsp),%xmm2
  mulsd  D609(%rip),%xmm2
  mulsd  0x248(%rsp),%xmm2
  mulsd  D372(%rip),%xmm5
  movsd  0x8(%rsp),%xmm7
  addsd  %xmm14,%xmm1
  movsd  (%rsp),%xmm3
  mulsd  0x250(%rsp),%xmm5
  subsd  %xmm12,%xmm1
  addsd  %xmm10,%xmm1
  subsd  %xmm8,%xmm1
  addsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D567(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  addsd  %xmm1,%xmm5
  mulsd  %xmm7,%xmm2
  mulsd  D598(%rip),%xmm7
  mulsd  0x258(%rsp),%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm5
  movq   %rbx,%xmm2
  mulsd  D63(%rip),%xmm2
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm2
  addsd  %xmm5,%xmm1
  subsd  D105(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D199(%rip),%xmm0
  divsd  D880(%rip),%xmm0
  add    $0x2c8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D818
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D1257
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D0
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D680
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D748
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D296
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D268
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D743
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D139
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D383
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D558
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D616
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D186
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D829
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D998
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1208
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1080
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D893
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D559
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D332
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D784
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D812
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1236
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D278
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1064
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D256
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D474
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1124
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D102
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D749
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1201
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D202
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1184
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1129
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D73
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1301
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D92
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D661
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1046
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D676
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1246
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1189
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1103
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1373
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D535
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D394
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D697
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D718
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D843
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1298
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D967
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D525
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D787
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D216
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1346
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D277
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D72
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D55
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1251
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D74
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D432
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D979
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1043
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D16
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1085
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1389
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D688
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D431
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D369
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D592
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D673
type_guessed: byte[16]
name: extract_symbolic_data
arguments: tag: D834
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D276
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D577
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D737
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D964
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D201
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D846
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D313
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D69
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D753
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D888
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D205
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1212
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D291
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D190
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D600
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1002
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D925
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D272
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1407
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D800
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1371
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D803
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D821
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D849
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D358
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D624
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D382
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D113
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D733
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1408
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D509
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D811
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D899
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D158
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D443
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D608
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D987
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D439
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D120
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D763
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D362
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D1353
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D609
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D372
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D567
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D598
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D63
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D105
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D199
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D880
type_guessed: f64

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

tool: D1257: 47

tool: D0: 94

tool: D680: 46

tool: D748: 92

tool: D296: 45

tool: D268: 90

tool: D743: 44

tool: D139: 88

tool: D383: 43

tool: D558: 86

tool: D616: 42

tool: D186: 84

tool: D829: 41

tool: D998: 82

tool: D1208: 40

tool: D1080: 80

tool: D893: 39

tool: D559: 78

tool: D332: 38

tool: D784: 76

tool: D812: 37

tool: D1236: 74

tool: D278: 36

tool: D1064: 72

tool: D256: 35

tool: D474: 70

tool: D1124: 34

tool: D102: 68

tool: D749: 33

tool: D1201: 66

tool: D202: 32

tool: D1184: 64

tool: D1129: 31

tool: D73: 62

tool: D1301: 30

tool: D92: 60

tool: D661: 29

tool: D1046: 58

tool: D676: 28

tool: D1246: 56

tool: D1189: 27

tool: D1103: 54

tool: D1373: 26

tool: D535: 52

tool: D394: 25

tool: D697: 50

tool: D718: 24

tool: D843: 48

tool: D1298: 23

tool: D967: 22

tool: D525: 21

tool: D787: 20

tool: D216: 19

tool: D1346: 18

tool: D277: 17

tool: D72: 16

tool: D55: 15

tool: D1251: 14

tool: D74: 13

tool: D432: 12

tool: D979: 11

tool: D1043: 10

tool: D16: 9

tool: D1085: 8

tool: D1389: 7

tool: D688: 6

tool: D431: 5

tool: D369: 4

tool: D592: 3

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

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

tool: D276: 140737488355328

tool: D577: 3.1419644275326976e+17

tool: D737: 2.2934258769555452e+23

tool: D964: 1.1226319667697394e+26

tool: D201: 4.199766187685595e+28

tool: D846: 3.36033095524622e+20

tool: D313: 1.2494304408364644e+31

tool: D1: 3.037008421547492e+33

tool: D69: 6.1499420536336714e+35

tool: D753: 1.05266508151363e+38

tool: D888: 1.5400490142544408e+40

tool: D205: 1.9425618247982152e+42

tool: D1212: 2.1271051981540455e+44

tool: D291: 2.0330216990049243e+46

tool: D190: 1.70338175209484e+48

tool: D600: 1.2553923512938973e+50

tool: D1002: 8.160050283410332e+51

tool: D925: 4.687228883382464e+53

tool: D272: 2.382674682386086e+55

tool: D1407: 1.0728306267269982e+57

tool: D800: 4.2805942006407226e+58

tool: D1371: 1.5134958066551126e+60

tool: D803: 4.739993685388057e+61

tool: D821: 1.3138025975803855e+63

tool: D849: 1.3249019556408285e+67

tool: D358: 3.244169649714973e+69

tool: D624: 4.600624101012177e+71

tool: D382: 3.2188163640719444e+64

tool: D113: 3.642469928361859e+73

tool: D733: 6.959080979123543e+65

tool: D1408: 2.215530492488274e+68

tool: D509: 4.144706397308267e+70

tool: D811: 4.415115064681041e+72

tool: D899: 2.566285631345855e+74

tool: D158: 3.024227455655019e+77

tool: D443: 6.630037114320618e+77

tool: D608: 1.3401568923154178e+78

tool: D987: 1.5322234798917897e+75

tool: D439: 1.1271063094345052e+78

tool: D120: 1.4432458840319882e+78

tool: D763: 7.683006306314546e+75

tool: D362: 3.201252627631061e+76

tool: D1353: 1.0944823172846735e+77

tool: D609: 8.570770822947439e+77

tool: D372: 3.506224427569407e+77

tool: D567: 8.181190330995283e+76

tool: D598: 8.892598185864438e+75

tool: {"D63": [0xba,0x59,0x77,0xdd,0x8e,0x41,0x63,0x42]}

tool: D105: 2.838063250807799e+74

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

tool: D880: 4.7550225441934164e+85

assistant: ```c
double HO_95(const double a, const double x) {
  double retval = sqrt(0.437759660807231218259973e24) * pow(a, 0.3e1 / 0.4e1) * x * (0.140737488355328e15 * pow(a, 0.47e2) * pow(x, 0.94e2) - 0.314196442753269760e18 * pow(a, 0.46e2) * pow(x, 0.92e2) + 0.336033095524622008320e21 * pow(a, 0.45e2) * pow(x, 0.90e2) - 0.229342587695554520678400e24 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.112263196676973937872076800e27 * pow(a, 0.43e2) * pow(x, 0.86e2) - 0.41997661876855950157943930880e29 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.12494304408364645171988319436800e32 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.3037008421547491965734017931673600e34 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.614994205363367123061138631163904000e36 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.105266508151363005897298229034221568000e39 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.15400490142544407762774730907706615398400e41 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.1942561824798215070077267194040266260480000e43 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.212710519815404550173460757747409155522560000e45 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.20330216990049242583886537807781221210521600000e47 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.1703381752094840110778493489180526605710131200000e49 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.125539235129389716164374970152604810840836669440000e51 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.8160050283410331550684373059919312704654383513600000e52 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.468722888338246397602546487824188756240882676531200000e54 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.23826746823860858544796113131062928442244869390336000000e56 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.1072830626726998130793319725453912383281078198075392000000e58 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.42805942006407225418653457045611104092915020103208140800000e59 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.1513495806655112613016675802684106894713781067934859264000000e61 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.47399936853880572289476801274970438657172507082141728768000000e62 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.1313802597580385427588759165773637158432498837602841395200000000e64 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.32188163640719442975924599561454110381596221521269614182400000000e65 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.695908097912354357139489842518637866450110309289849058623488000000e66 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.13249019556408284876309518155643297842030946273018280154562560000000e68 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.221553049248827430431620275824924036136184157121027907029073920000000e69 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.3244169649714973088463011181722101957708410872129337210068582400000000e70 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.41447063973082673423294677338897888804516076831859290907945164800000000e71 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.460062410101217674998570918461766565730128452833638129078191329280000000e72 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.4415115064681040590712091878786308171119781119935720754863287756800000000e73 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.36424699283618584873374757999987042411738194239469696227622123993600000000e74 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.256628563134585484335140340454454162446337277596263768876428600864000000000e75 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.1532223479891789803530396738595711616959013745648280737703382528688000000000e76 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.7683006306314546014845275074958496822180197496036379127626960965278400000000e76 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.32012526276310608395188646145660403425750822900151579698445670688660000000000e77 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.109448231728467350324090911822325433333985921537004725185226414651770000000000e78 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.302422745565501889053409098456425539475487414773302530117072987853575000000000e78 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.663003711432061833694012254308317528850107024695317085256660011832837500000000e78 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.1127106309434505117279820832324139799045181941982039044936322020115823750000000e79 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.1443245884031988259931477895049203401216391511074562191686753806245871875000000e79 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.1340156892315417669936372331117117443986649260283522035137699962942595312500000e79 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.857077082294743858680238118737691388596112899018531534099691836765613281250000e78 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.350622442756940669460097412210873749880228004143944718495328478676841796875000e78 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.81811903309952822874022729515870541638719867633587100982243311691263085937500e77 * a * a * pow(x, 0.4e1) + 0.8892598185864437268915514077812015395513029090607293585026446922963378906250e76 * a * x * x - 0.283806325080779912837729172696128150920628587998105114415737667754150390625e75) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.47550225441934161776124190783780827098123783888292116046445477525967811379200000000000e86;
  return retval;
}
```