user: What would the C source look like for the assembly code provided here?

```asm
<HO_88>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x298,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D459(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D9(%rip),%xmm15
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D1250(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1335(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D218(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D85(%rip),%xmm14
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D43(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D946(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D45(%rip),%xmm1
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D72(%rip),%xmm13
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D628(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D879(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1223(%rip),%xmm1
  movsd  %xmm0,0x280(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1077(%rip),%xmm12
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D631(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D994(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D4(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D251(%rip),%xmm11
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D671(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D974(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D131(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D745(%rip),%xmm10
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D1312(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D108(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D771(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D858(%rip),%xmm9
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D330(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D757(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D488(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D388(%rip),%xmm8
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D78(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1139(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1340(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D180(%rip),%xmm7
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D123(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D627(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1260(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1080(%rip),%xmm6
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D1183(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D567(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1252(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D445(%rip),%xmm5
  movsd  %xmm0,0x110(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D103(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1306(%rip),%xmm1
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1025(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D465(%rip),%xmm4
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D9(%rip),%rax
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D36(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D85(%rip),%rax
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D767(%rip),%xmm14
  movsd  %xmm0,0x148(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D72(%rip),%rax
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1148(%rip),%xmm1
  movsd  %xmm0,0x158(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1077(%rip),%rax
  movsd  %xmm0,0x270(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D782(%rip),%xmm12
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D251(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D470(%rip),%xmm1
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D745(%rip),%rax
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D389(%rip),%xmm10
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D858(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D604(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D388(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D931(%rip),%xmm8
  movsd  %xmm0,0x190(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D180(%rip),%rax
  movsd  %xmm0,0x198(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D804(%rip),%xmm1
  movsd  %xmm0,0x1a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1080(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D34(%rip),%xmm6
  movsd  %xmm0,0x1b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D445(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D583(%rip),%xmm1
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D465(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1061(%rip),%xmm4
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D767(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D261(%rip),%xmm1
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D782(%rip),%rax
  movsd  %xmm0,0x258(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D89(%rip),%xmm5
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D389(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D210(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D931(%rip),%rax
  movsd  %xmm0,0x248(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D79(%rip),%xmm7
  movsd  %xmm0,0x1f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D34(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D973(%rip),%xmm1
  movsd  %xmm0,0x200(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1061(%rip),%rax
  movsd  %xmm0,0x238(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D74(%rip),%xmm4
  movsd  %xmm0,0x208(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D89(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1180(%rip),%xmm1
  movsd  %xmm0,0x218(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D79(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D74(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm5
  xorpd  D1010(%rip),%xmm3
  movsd  %xmm0,0x228(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  D374(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm4
  movsd  0x288(%rsp),%xmm3
  mulsd  D1166(%rip),%xmm1
  movq   %r12,%xmm6
  movsd  0x280(%rsp),%xmm2
  mulsd  D685(%rip),%xmm4
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D1212(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D26(%rip),%xmm6
  mulsd  D932(%rip),%xmm2
  subsd  %xmm4,%xmm1
  mulsd  0x38(%rsp),%xmm2
  movq   %rbp,%xmm4
  mulsd  D122(%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  D28(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x48(%rsp),%xmm2
  mulsd  D531(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x58(%rsp),%xmm2
  mulsd  D285(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D566(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D35(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  D363(%rip),%xmm2
  mulsd  0x90(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D926(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D405(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D20(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D1229(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D1035(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D635(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D417(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x108(%rsp),%xmm2
  mulsd  D17(%rip),%xmm2
  mulsd  0x110(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x118(%rsp),%xmm2
  mulsd  D62(%rip),%xmm2
  mulsd  0x120(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x128(%rsp),%xmm2
  mulsd  D880(%rip),%xmm2
  mulsd  0x130(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D730(%rip),%xmm2
  mulsd  0x140(%rsp),%xmm2
  movsd  0x278(%rsp),%xmm15
  mulsd  D333(%rip),%xmm15
  movsd  0x270(%rsp),%xmm13
  mulsd  0x148(%rsp),%xmm15
  movsd  0x268(%rsp),%xmm11
  mulsd  D616(%rip),%xmm13
  movsd  0x260(%rsp),%xmm9
  mulsd  0x160(%rsp),%xmm13
  mulsd  D1213(%rip),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x150(%rsp),%xmm2
  mulsd  D646(%rip),%xmm2
  mulsd  0x158(%rsp),%xmm2
  mulsd  0x178(%rsp),%xmm11
  subsd  %xmm15,%xmm1
  mulsd  D221(%rip),%xmm9
  mulsd  0x190(%rsp),%xmm9
  addsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  D46(%rip),%xmm2
  mulsd  0x170(%rsp),%xmm2
  subsd  %xmm13,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x180(%rsp),%xmm2
  mulsd  D853(%rip),%xmm2
  mulsd  0x188(%rsp),%xmm2
  subsd  %xmm11,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x198(%rsp),%xmm2
  mulsd  D325(%rip),%xmm2
  mulsd  0x1a0(%rsp),%xmm2
  subsd  %xmm9,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x1a8(%rsp),%xmm2
  mulsd  D866(%rip),%xmm2
  mulsd  0x1b0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1b8(%rsp),%xmm2
  mulsd  D372(%rip),%xmm2
  mulsd  0x1c0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x1c8(%rsp),%xmm2
  mulsd  D168(%rip),%xmm2
  mulsd  0x1d0(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm7
  movsd  0x258(%rsp),%xmm14
  movsd  (%rsp),%xmm3
  mulsd  D411(%rip),%xmm14
  movsd  0x250(%rsp),%xmm12
  mulsd  0x1e8(%rsp),%xmm14
  movsd  0x248(%rsp),%xmm10
  mulsd  D830(%rip),%xmm12
  movsd  0x240(%rsp),%xmm8
  mulsd  0x1f0(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x1d8(%rsp),%xmm2
  mulsd  D367(%rip),%xmm2
  movsd  0x238(%rsp),%xmm6
  mulsd  0x1e0(%rsp),%xmm2
  movsd  0x230(%rsp),%xmm5
  mulsd  D432(%rip),%xmm10
  mulsd  0x1f8(%rsp),%xmm10
  mulsd  D39(%rip),%xmm8
  mulsd  0x200(%rsp),%xmm8
  addsd  %xmm2,%xmm1
  mulsd  D282(%rip),%xmm6
  movsd  0x210(%rsp),%xmm2
  mulsd  0x208(%rsp),%xmm6
  mulsd  D739(%rip),%xmm2
  subsd  %xmm14,%xmm1
  mulsd  D652(%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  D1356(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  subsd  %xmm5,%xmm1
  mulsd  %xmm7,%xmm2
  mulsd  0x228(%rsp),%xmm2
  mulsd  D129(%rip),%xmm7
  addsd  %xmm1,%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm2
  movsd  D555(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  D169(%rip),%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D690(%rip),%xmm0
  divsd  D817(%rip),%xmm0
  add    $0x298,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: parse_data
arguments: tag: D459
data_type: byte[8]
name: parse_data
arguments: tag: D9
data_type: f64
name: parse_data
arguments: tag: D1250
data_type: f64
name: parse_data
arguments: tag: D1335
data_type: f64
name: parse_data
arguments: tag: D218
data_type: f64
name: parse_data
arguments: tag: D85
data_type: f64
name: parse_data
arguments: tag: D43
data_type: f64
name: parse_data
arguments: tag: D946
data_type: f64
name: parse_data
arguments: tag: D45
data_type: f64
name: parse_data
arguments: tag: D72
data_type: f64
name: parse_data
arguments: tag: D628
data_type: f64
name: parse_data
arguments: tag: D879
data_type: f64
name: parse_data
arguments: tag: D1223
data_type: f64
name: parse_data
arguments: tag: D1077
data_type: f64
name: parse_data
arguments: tag: D631
data_type: f64
name: parse_data
arguments: tag: D994
data_type: f64
name: parse_data
arguments: tag: D4
data_type: f64
name: parse_data
arguments: tag: D251
data_type: f64
name: parse_data
arguments: tag: D671
data_type: f64
name: parse_data
arguments: tag: D974
data_type: f64
name: parse_data
arguments: tag: D131
data_type: f64
name: parse_data
arguments: tag: D745
data_type: f64
name: parse_data
arguments: tag: D1312
data_type: f64
name: parse_data
arguments: tag: D108
data_type: f64
name: parse_data
arguments: tag: D771
data_type: f64
name: parse_data
arguments: tag: D858
data_type: f64
name: parse_data
arguments: tag: D330
data_type: f64
name: parse_data
arguments: tag: D757
data_type: f64
name: parse_data
arguments: tag: D488
data_type: f64
name: parse_data
arguments: tag: D388
data_type: f64
name: parse_data
arguments: tag: D78
data_type: f64
name: parse_data
arguments: tag: D1139
data_type: f64
name: parse_data
arguments: tag: D1340
data_type: f64
name: parse_data
arguments: tag: D180
data_type: f64
name: parse_data
arguments: tag: D123
data_type: f64
name: parse_data
arguments: tag: D627
data_type: f64
name: parse_data
arguments: tag: D1260
data_type: f64
name: parse_data
arguments: tag: D1080
data_type: f64
name: parse_data
arguments: tag: D1183
data_type: f64
name: parse_data
arguments: tag: D567
data_type: f64
name: parse_data
arguments: tag: D1252
data_type: f64
name: parse_data
arguments: tag: D445
data_type: f64
name: parse_data
arguments: tag: D103
data_type: f64
name: parse_data
arguments: tag: D1306
data_type: f64
name: parse_data
arguments: tag: D1025
data_type: f64
name: parse_data
arguments: tag: D465
data_type: f64
name: parse_data
arguments: tag: D36
data_type: f64
name: parse_data
arguments: tag: D767
data_type: f64
name: parse_data
arguments: tag: D1148
data_type: f64
name: parse_data
arguments: tag: D782
data_type: f64
name: parse_data
arguments: tag: D470
data_type: f64
name: parse_data
arguments: tag: D389
data_type: f64
name: parse_data
arguments: tag: D604
data_type: f64
name: parse_data
arguments: tag: D931
data_type: f64
name: parse_data
arguments: tag: D804
data_type: f64
name: parse_data
arguments: tag: D34
data_type: f64
name: parse_data
arguments: tag: D583
data_type: f64
name: parse_data
arguments: tag: D1061
data_type: f64
name: parse_data
arguments: tag: D261
data_type: f64
name: parse_data
arguments: tag: D89
data_type: f64
name: parse_data
arguments: tag: D210
data_type: f64
name: parse_data
arguments: tag: D79
data_type: f64
name: parse_data
arguments: tag: D973
data_type: f64
name: parse_data
arguments: tag: D74
data_type: f64
name: parse_data
arguments: tag: D1180
data_type: f64
name: parse_data
arguments: tag: D1010
data_type: byte[16]
name: parse_data
arguments: tag: D374
data_type: byte[8]
name: parse_data
arguments: tag: D1166
data_type: f64
name: parse_data
arguments: tag: D685
data_type: f64
name: parse_data
arguments: tag: D1212
data_type: f64
name: parse_data
arguments: tag: D26
data_type: f64
name: parse_data
arguments: tag: D932
data_type: f64
name: parse_data
arguments: tag: D122
data_type: f64
name: parse_data
arguments: tag: D28
data_type: f64
name: parse_data
arguments: tag: D531
data_type: f64
name: parse_data
arguments: tag: D285
data_type: f64
name: parse_data
arguments: tag: D566
data_type: f64
name: parse_data
arguments: tag: D35
data_type: f64
name: parse_data
arguments: tag: D363
data_type: f64
name: parse_data
arguments: tag: D926
data_type: f64
name: parse_data
arguments: tag: D405
data_type: f64
name: parse_data
arguments: tag: D20
data_type: f64
name: parse_data
arguments: tag: D1229
data_type: f64
name: parse_data
arguments: tag: D1035
data_type: f64
name: parse_data
arguments: tag: D635
data_type: f64
name: parse_data
arguments: tag: D417
data_type: f64
name: parse_data
arguments: tag: D17
data_type: f64
name: parse_data
arguments: tag: D62
data_type: f64
name: parse_data
arguments: tag: D880
data_type: f64
name: parse_data
arguments: tag: D730
data_type: f64
name: parse_data
arguments: tag: D333
data_type: f64
name: parse_data
arguments: tag: D616
data_type: f64
name: parse_data
arguments: tag: D1213
data_type: f64
name: parse_data
arguments: tag: D646
data_type: f64
name: parse_data
arguments: tag: D221
data_type: f64
name: parse_data
arguments: tag: D46
data_type: f64
name: parse_data
arguments: tag: D853
data_type: f64
name: parse_data
arguments: tag: D325
data_type: f64
name: parse_data
arguments: tag: D866
data_type: f64
name: parse_data
arguments: tag: D372
data_type: f64
name: parse_data
arguments: tag: D168
data_type: f64
name: parse_data
arguments: tag: D411
data_type: f64
name: parse_data
arguments: tag: D830
data_type: f64
name: parse_data
arguments: tag: D367
data_type: f64
name: parse_data
arguments: tag: D432
data_type: f64
name: parse_data
arguments: tag: D39
data_type: f64
name: parse_data
arguments: tag: D282
data_type: f64
name: parse_data
arguments: tag: D739
data_type: f64
name: parse_data
arguments: tag: D652
data_type: f64
name: parse_data
arguments: tag: D1356
data_type: f64
name: parse_data
arguments: tag: D129
data_type: f64
name: parse_data
arguments: tag: D555
data_type: f64
name: parse_data
arguments: tag: D169
data_type: byte[8]
name: parse_data
arguments: tag: D690
data_type: byte[8]
name: parse_data
arguments: tag: D817
data_type: f64

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

tool: D9: 44

tool: D1250: 88

tool: D1335: 43

tool: D218: 86

tool: D85: 42

tool: D43: 84

tool: D946: 41

tool: D45: 82

tool: D72: 40

tool: D628: 80

tool: D879: 39

tool: D1223: 78

tool: D1077: 38

tool: D631: 76

tool: D994: 37

tool: D4: 74

tool: D251: 36

tool: D671: 72

tool: D974: 35

tool: D131: 70

tool: D745: 34

tool: D1312: 68

tool: D108: 33

tool: D771: 66

tool: D858: 32

tool: D330: 64

tool: D757: 31

tool: D488: 62

tool: D388: 30

tool: D78: 60

tool: D1139: 29

tool: D1340: 58

tool: D180: 28

tool: D123: 56

tool: D627: 27

tool: D1260: 54

tool: D1080: 26

tool: D1183: 52

tool: D567: 25

tool: D1252: 50

tool: D445: 24

tool: D103: 48

tool: D1306: 23

tool: D1025: 46

tool: D465: 22

tool: D36: 21

tool: D767: 20

tool: D1148: 19

tool: D782: 18

tool: D470: 17

tool: D389: 16

tool: D604: 15

tool: D931: 14

tool: D804: 13

tool: D34: 12

tool: D583: 11

tool: D1061: 10

tool: D261: 9

tool: D89: 8

tool: D210: 7

tool: D79: 6

tool: D973: 5

tool: D74: 4

tool: D1180: 3

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

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

tool: D1166: 17592186044416

tool: D685: 3.3671444089012224e+16

tool: D1212: 1.7875790863110588e+22

tool: D26: 7.420687682048783e+24

tool: D932: 2.3449373075274154e+27

tool: D122: 3.076728203633492e+19

tool: D28: 5.868205612087357e+29

tool: D531: 1.1945989996034977e+32

tool: D285: 2.0166324362056545e+34

tool: D566: 2.8636180594120295e+36

tool: D35: 3.457818806740026e+38

tool: D363: 3.580414200797172e+40

tool: D926: 3.1999951919624723e+42

tool: D405: 2.48122704115244e+44

tool: D20: 1.6757144052925943e+46

tool: D1229: 9.886714991226306e+47

tool: D1035: 5.107106212655339e+49

tool: D635: 2.3132186963203596e+51

tool: D417: 9.195044317873429e+52

tool: D17: 3.208586517236886e+54

tool: D62: 9.826296209037965e+55

tool: D880: 2.6390624104273386e+57

tool: D730: 6.207794533618854e+58

tool: D333: 1.2766464410442251e+60

tool: D616: 3.572375903652003e+62

tool: D1213: 5.634506994189585e+64

tool: D646: 2.2899845536230788e+61

tool: D221: 4.827079366303009e+66

tool: D46: 4.8295774235910736e+63

tool: D853: 5.644568613822067e+65

tool: D325: 3.4996325405696816e+67

tool: D866: 2.1336469360247413e+68

tool: D372: 1.083492584700064e+69

tool: D168: 4.530968990563904e+69

tool: D411: 4.1778199368875997e+70

tool: D830: 8.877867365886148e+70

tool: D367: 1.539196818853326e+70

tool: D432: 1.439654167440997e+71

tool: D39: 1.7237964373306676e+71

tool: D282: 1.4585969854336418e+71

tool: D739: 8.204608043064236e+70

tool: D652: 2.801573478119495e+70

tool: D1356: 5.002809782356241e+69

tool: D129: 3.490332406295052e+68

tool: D555: 3.9662868253352865e+66

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

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

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