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  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D1400(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D1163(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D1245(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  mov    D274(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D1061(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  movsd  D846(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D934(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  mov    D1066(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D485(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D1242(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  movsd  D1422(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  mov    D1449(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D825(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  movsd  D803(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  movsd  D859(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  mov    D113(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  D623(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  movsd  D351(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  movsd  D238(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  mov    D586(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D64(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  movsd  D1200(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  movsd  D99(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D206(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D704(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  movsd  D1114(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D228(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  mov    D880(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  movsd  D1155(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  movsd  D535(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D790(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  mov    D835(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  movsd  D124(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  movsd  D1221(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  movsd  D771(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  mov    D16(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  movsd  D813(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  movsd  D183(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  movsd  D191(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D250(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  movsd  D70(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  movsd  D855(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  movsd  D401(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  mov    D881(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  movsd  D985(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x170(%rsp)
  movsd  D408(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x178(%rsp)
  movsd  D1120(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x180(%rsp)
  mov    D427(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x188(%rsp)
  movsd  D1217(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x190(%rsp)
  movsd  D1409(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x198(%rsp)
  mov    D274(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a0(%rsp)
  mov    D148(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a8(%rsp)
  mov    D1066(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b0(%rsp)
  movsd  D271(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b8(%rsp)
  mov    D1449(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c0(%rsp)
  mov    D4(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c8(%rsp)
  mov    D113(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d0(%rsp)
  movsd  D1317(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d8(%rsp)
  mov    D586(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e0(%rsp)
  mov    D1259(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e8(%rsp)
  mov    D206(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f0(%rsp)
  movsd  D959(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f8(%rsp)
  mov    D880(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x200(%rsp)
  mov    D343(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x208(%rsp)
  mov    D835(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x210(%rsp)
  movsd  D384(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D16(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x218(%rsp)
  mov    D521(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D250(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x220(%rsp)
  movsd  D35(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D881(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x228(%rsp)
  mov    D1196(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x230(%rsp)
  mov    D427(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x238(%rsp)
  movsd  D916(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x240(%rsp)
  mov    D148(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x248(%rsp)
  mov    D433(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x250(%rsp)
  mov    D4(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x258(%rsp)
  movsd  D1111(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x260(%rsp)
  mov    D1259(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x268(%rsp)
  mov    D1222(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x270(%rsp)
  mov    D343(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x278(%rsp)
  movsd  D56(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x280(%rsp)
  mov    D521(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x288(%rsp)
  mov    D419(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x290(%rsp)
  mov    D1196(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x298(%rsp)
  movsd  D182(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D433(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2a0(%rsp)
  mov    D1090(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D1222(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2a8(%rsp)
  movsd  D684(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D419(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2b0(%rsp)
  mov    D1090(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2b8(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D296(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D350(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D1110(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D894(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D416(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D379(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D1272(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x68(%rsp),%xmm0
  mulsd  D150(%rip),%xmm0
  mulsd  0x70(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x78(%rsp),%xmm0
  mulsd  D522(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D185(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D875(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D9(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D1257(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D276(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D464(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xe8(%rsp),%xmm0
  mulsd  D130(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xf8(%rsp),%xmm0
  mulsd  D88(%rip),%xmm0
  mulsd  0x100(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x108(%rsp),%xmm0
  mulsd  D254(%rip),%xmm0
  mulsd  0x110(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x118(%rsp),%xmm0
  mulsd  D1098(%rip),%xmm0
  mulsd  0x120(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x128(%rsp),%xmm0
  mulsd  D1015(%rip),%xmm0
  mulsd  0x130(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x138(%rsp),%xmm0
  mulsd  D25(%rip),%xmm0
  mulsd  0x140(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x148(%rsp),%xmm0
  mulsd  D24(%rip),%xmm0
  mulsd  0x150(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x158(%rsp),%xmm0
  mulsd  D283(%rip),%xmm0
  mulsd  0x160(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x168(%rsp),%xmm0
  mulsd  D594(%rip),%xmm0
  mulsd  0x170(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x178(%rsp),%xmm0
  mulsd  D725(%rip),%xmm0
  mulsd  0x180(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x188(%rsp),%xmm0
  mulsd  D13(%rip),%xmm0
  mulsd  0x190(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x198(%rsp),%xmm0
  mulsd  D364(%rip),%xmm0
  mulsd  0x1a0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1a8(%rsp),%xmm0
  mulsd  D92(%rip),%xmm0
  mulsd  0x1b0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1b8(%rsp),%xmm0
  mulsd  D1277(%rip),%xmm0
  mulsd  0x1c0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1c8(%rsp),%xmm0
  mulsd  D31(%rip),%xmm0
  mulsd  0x1d0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1d8(%rsp),%xmm0
  mulsd  D349(%rip),%xmm0
  mulsd  0x1e0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1e8(%rsp),%xmm0
  mulsd  D987(%rip),%xmm0
  mulsd  0x1f0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1f8(%rsp),%xmm0
  mulsd  D369(%rip),%xmm0
  mulsd  0x200(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x208(%rsp),%xmm0
  mulsd  D1328(%rip),%xmm0
  mulsd  0x210(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D1210(%rip),%xmm0
  mulsd  0x218(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D414(%rip),%xmm0
  mulsd  0x220(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D234(%rip),%xmm0
  mulsd  0x228(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x230(%rsp),%xmm0
  mulsd  D664(%rip),%xmm0
  mulsd  0x238(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x240(%rsp),%xmm0
  mulsd  D1414(%rip),%xmm0
  mulsd  0x248(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x250(%rsp),%xmm0
  mulsd  D432(%rip),%xmm0
  mulsd  0x258(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x260(%rsp),%xmm0
  mulsd  D1394(%rip),%xmm0
  mulsd  0x268(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x270(%rsp),%xmm0
  mulsd  D37(%rip),%xmm0
  mulsd  0x278(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x280(%rsp),%xmm0
  mulsd  D705(%rip),%xmm0
  mulsd  0x288(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x290(%rsp),%xmm0
  mulsd  D836(%rip),%xmm0
  mulsd  0x298(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D227(%rip),%xmm0
  mulsd  0x2a0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D460(%rip),%xmm0
  mulsd  0x2a8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbx,%xmm0
  mulsd  D585(%rip),%xmm0
  mulsd  0x2b0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D776(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x2b8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  D1179(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  subsd  D72(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D1296(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D848(%rip),%xmm0
  divsd  D657(%rip),%xmm0
  add    $0x2c8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: unpack_data
arguments: label: D1400
type_guessed: byte[8]
name: unpack_data
arguments: label: D1163
type_guessed: f64
name: unpack_data
arguments: label: D1245
type_guessed: f64
name: unpack_data
arguments: label: D274
type_guessed: f64
name: unpack_data
arguments: label: D1061
type_guessed: f64
name: unpack_data
arguments: label: D846
type_guessed: f64
name: unpack_data
arguments: label: D934
type_guessed: f64
name: unpack_data
arguments: label: D1066
type_guessed: f64
name: unpack_data
arguments: label: D485
type_guessed: f64
name: unpack_data
arguments: label: D1242
type_guessed: f64
name: unpack_data
arguments: label: D1422
type_guessed: f64
name: unpack_data
arguments: label: D1449
type_guessed: f64
name: unpack_data
arguments: label: D825
type_guessed: f64
name: unpack_data
arguments: label: D803
type_guessed: f64
name: unpack_data
arguments: label: D859
type_guessed: f64
name: unpack_data
arguments: label: D113
type_guessed: f64
name: unpack_data
arguments: label: D623
type_guessed: f64
name: unpack_data
arguments: label: D351
type_guessed: f64
name: unpack_data
arguments: label: D238
type_guessed: f64
name: unpack_data
arguments: label: D586
type_guessed: f64
name: unpack_data
arguments: label: D64
type_guessed: f64
name: unpack_data
arguments: label: D1200
type_guessed: f64
name: unpack_data
arguments: label: D99
type_guessed: f64
name: unpack_data
arguments: label: D206
type_guessed: f64
name: unpack_data
arguments: label: D704
type_guessed: f64
name: unpack_data
arguments: label: D1114
type_guessed: f64
name: unpack_data
arguments: label: D228
type_guessed: f64
name: unpack_data
arguments: label: D880
type_guessed: f64
name: unpack_data
arguments: label: D1155
type_guessed: f64
name: unpack_data
arguments: label: D535
type_guessed: f64
name: unpack_data
arguments: label: D790
type_guessed: f64
name: unpack_data
arguments: label: D835
type_guessed: f64
name: unpack_data
arguments: label: D124
type_guessed: f64
name: unpack_data
arguments: label: D1221
type_guessed: f64
name: unpack_data
arguments: label: D771
type_guessed: f64
name: unpack_data
arguments: label: D16
type_guessed: f64
name: unpack_data
arguments: label: D813
type_guessed: f64
name: unpack_data
arguments: label: D183
type_guessed: f64
name: unpack_data
arguments: label: D191
type_guessed: f64
name: unpack_data
arguments: label: D250
type_guessed: f64
name: unpack_data
arguments: label: D70
type_guessed: f64
name: unpack_data
arguments: label: D855
type_guessed: f64
name: unpack_data
arguments: label: D401
type_guessed: f64
name: unpack_data
arguments: label: D881
type_guessed: f64
name: unpack_data
arguments: label: D985
type_guessed: f64
name: unpack_data
arguments: label: D408
type_guessed: f64
name: unpack_data
arguments: label: D1120
type_guessed: f64
name: unpack_data
arguments: label: D427
type_guessed: f64
name: unpack_data
arguments: label: D1217
type_guessed: f64
name: unpack_data
arguments: label: D1409
type_guessed: f64
name: unpack_data
arguments: label: D148
type_guessed: f64
name: unpack_data
arguments: label: D271
type_guessed: f64
name: unpack_data
arguments: label: D4
type_guessed: f64
name: unpack_data
arguments: label: D1317
type_guessed: f64
name: unpack_data
arguments: label: D1259
type_guessed: f64
name: unpack_data
arguments: label: D959
type_guessed: f64
name: unpack_data
arguments: label: D343
type_guessed: f64
name: unpack_data
arguments: label: D384
type_guessed: f64
name: unpack_data
arguments: label: D521
type_guessed: f64
name: unpack_data
arguments: label: D35
type_guessed: f64
name: unpack_data
arguments: label: D1196
type_guessed: f64
name: unpack_data
arguments: label: D916
type_guessed: f64
name: unpack_data
arguments: label: D433
type_guessed: f64
name: unpack_data
arguments: label: D1111
type_guessed: f64
name: unpack_data
arguments: label: D1222
type_guessed: f64
name: unpack_data
arguments: label: D56
type_guessed: f64
name: unpack_data
arguments: label: D419
type_guessed: f64
name: unpack_data
arguments: label: D182
type_guessed: f64
name: unpack_data
arguments: label: D1090
type_guessed: f64
name: unpack_data
arguments: label: D684
type_guessed: f64
name: unpack_data
arguments: label: D296
type_guessed: byte[16]
name: unpack_data
arguments: label: D350
type_guessed: byte[8]
name: unpack_data
arguments: label: D1110
type_guessed: f64
name: unpack_data
arguments: label: D894
type_guessed: f64
name: unpack_data
arguments: label: D416
type_guessed: f64
name: unpack_data
arguments: label: D379
type_guessed: f64
name: unpack_data
arguments: label: D1272
type_guessed: f64
name: unpack_data
arguments: label: D150
type_guessed: f64
name: unpack_data
arguments: label: D522
type_guessed: f64
name: unpack_data
arguments: label: D185
type_guessed: f64
name: unpack_data
arguments: label: D875
type_guessed: f64
name: unpack_data
arguments: label: D9
type_guessed: f64
name: unpack_data
arguments: label: D1257
type_guessed: f64
name: unpack_data
arguments: label: D276
type_guessed: f64
name: unpack_data
arguments: label: D464
type_guessed: f64
name: unpack_data
arguments: label: D130
type_guessed: f64
name: unpack_data
arguments: label: D88
type_guessed: f64
name: unpack_data
arguments: label: D254
type_guessed: f64
name: unpack_data
arguments: label: D1098
type_guessed: f64
name: unpack_data
arguments: label: D1015
type_guessed: f64
name: unpack_data
arguments: label: D25
type_guessed: f64
name: unpack_data
arguments: label: D24
type_guessed: f64
name: unpack_data
arguments: label: D283
type_guessed: f64
name: unpack_data
arguments: label: D594
type_guessed: f64
name: unpack_data
arguments: label: D725
type_guessed: f64
name: unpack_data
arguments: label: D13
type_guessed: f64
name: unpack_data
arguments: label: D364
type_guessed: f64
name: unpack_data
arguments: label: D92
type_guessed: f64
name: unpack_data
arguments: label: D1277
type_guessed: f64
name: unpack_data
arguments: label: D31
type_guessed: f64
name: unpack_data
arguments: label: D349
type_guessed: f64
name: unpack_data
arguments: label: D987
type_guessed: f64
name: unpack_data
arguments: label: D369
type_guessed: f64
name: unpack_data
arguments: label: D1328
type_guessed: f64
name: unpack_data
arguments: label: D1210
type_guessed: f64
name: unpack_data
arguments: label: D414
type_guessed: f64
name: unpack_data
arguments: label: D234
type_guessed: f64
name: unpack_data
arguments: label: D664
type_guessed: f64
name: unpack_data
arguments: label: D1414
type_guessed: f64
name: unpack_data
arguments: label: D432
type_guessed: f64
name: unpack_data
arguments: label: D1394
type_guessed: f64
name: unpack_data
arguments: label: D37
type_guessed: f64
name: unpack_data
arguments: label: D705
type_guessed: f64
name: unpack_data
arguments: label: D836
type_guessed: f64
name: unpack_data
arguments: label: D227
type_guessed: f64
name: unpack_data
arguments: label: D460
type_guessed: f64
name: unpack_data
arguments: label: D585
type_guessed: f64
name: unpack_data
arguments: label: D776
type_guessed: f64
name: unpack_data
arguments: label: D1179
type_guessed: f64
name: unpack_data
arguments: label: D72
type_guessed: f64
name: unpack_data
arguments: label: D1296
type_guessed: byte[8]
name: unpack_data
arguments: label: D848
type_guessed: byte[8]
name: unpack_data
arguments: label: D657
type_guessed: f64

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

tool: D1163: 47

tool: D1245: 94

tool: D274: 46

tool: D1061: 92

tool: D846: 45

tool: D934: 90

tool: D1066: 44

tool: D485: 88

tool: D1242: 43

tool: D1422: 86

tool: D1449: 42

tool: D825: 84

tool: D803: 41

tool: D859: 82

tool: D113: 40

tool: D623: 80

tool: D351: 39

tool: D238: 78

tool: D586: 38

tool: D64: 76

tool: D1200: 37

tool: D99: 74

tool: D206: 36

tool: D704: 72

tool: D1114: 35

tool: D228: 70

tool: D880: 34

tool: D1155: 68

tool: D535: 33

tool: D790: 66

tool: D835: 32

tool: D124: 64

tool: D1221: 31

tool: D771: 62

tool: D16: 30

tool: D813: 60

tool: D183: 29

tool: D191: 58

tool: D250: 28

tool: D70: 56

tool: D855: 27

tool: D401: 54

tool: D881: 26

tool: D985: 52

tool: D408: 25

tool: D1120: 50

tool: D427: 24

tool: D1217: 48

tool: D1409: 23

tool: D148: 22

tool: D271: 21

tool: D4: 20

tool: D1317: 19

tool: D1259: 18

tool: D959: 17

tool: D343: 16

tool: D384: 15

tool: D521: 14

tool: D35: 13

tool: D1196: 12

tool: D916: 11

tool: D433: 10

tool: D1111: 9

tool: D1222: 8

tool: D56: 7

tool: D419: 6

tool: D182: 5

tool: D1090: 4

tool: D684: 3

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

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

tool: D1110: 140737488355328

tool: D894: 3.1419644275326976e+17

tool: D416: 3.36033095524622e+20

tool: D379: 2.2934258769555452e+23

tool: D1272: 1.1226319667697394e+26

tool: D150: 4.199766187685595e+28

tool: D522: 1.2494304408364644e+31

tool: D185: 3.037008421547492e+33

tool: D875: 6.1499420536336714e+35

tool: D9: 1.05266508151363e+38

tool: D1257: 1.5400490142544408e+40

tool: D276: 1.9425618247982152e+42

tool: D464: 2.1271051981540455e+44

tool: D130: 2.0330216990049243e+46

tool: D88: 1.70338175209484e+48

tool: D254: 1.2553923512938973e+50

tool: D1098: 8.160050283410332e+51

tool: D1015: 4.687228883382464e+53

tool: D25: 2.382674682386086e+55

tool: D24: 1.0728306267269982e+57

tool: D283: 4.2805942006407226e+58

tool: D594: 1.5134958066551126e+60

tool: D725: 4.739993685388057e+61

tool: D13: 1.3138025975803855e+63

tool: D364: 3.2188163640719444e+64

tool: D92: 6.959080979123543e+65

tool: D1277: 1.3249019556408285e+67

tool: D31: 2.215530492488274e+68

tool: D349: 3.244169649714973e+69

tool: D987: 4.144706397308267e+70

tool: D369: 4.600624101012177e+71

tool: D1328: 4.415115064681041e+72

tool: D1210: 3.642469928361859e+73

tool: D414: 2.566285631345855e+74

tool: D234: 1.5322234798917897e+75

tool: D664: 7.683006306314546e+75

tool: D1414: 3.201252627631061e+76

tool: D432: 1.0944823172846735e+77

tool: D1394: 3.024227455655019e+77

tool: D37: 6.630037114320618e+77

tool: D705: 1.1271063094345052e+78

tool: D836: 1.4432458840319882e+78

tool: D227: 1.3401568923154178e+78

tool: D460: 8.570770822947439e+77

tool: D585: 3.506224427569407e+77

tool: D776: 8.181190330995283e+76

tool: D1179: 8.892598185864438e+75

tool: D72: 2.838063250807799e+74

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

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

tool: D657: 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;
}
```