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

```asm
<HO_99>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x2e8,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D164(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D1186(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D486(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  mov    D267(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D1325(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  movsd  D713(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D1167(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  mov    D1188(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D596(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D120(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  movsd  D556(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  mov    D1018(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D1227(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  movsd  D654(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  movsd  D762(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  mov    D1433(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  D858(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  movsd  D133(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  movsd  D1435(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  mov    D15(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D1145(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  movsd  D836(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  movsd  D791(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D1220(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D1074(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  movsd  D857(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D1006(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  mov    D1504(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  movsd  D748(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  movsd  D997(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D959(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  mov    D254(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  movsd  D148(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  movsd  D339(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  movsd  D1467(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  mov    D542(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  movsd  D577(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  movsd  D901(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  movsd  D805(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D365(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  movsd  D957(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  movsd  D261(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  movsd  D1392(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  mov    D1132(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  movsd  D520(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x170(%rsp)
  movsd  D227(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x178(%rsp)
  movsd  D273(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x180(%rsp)
  mov    D902(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x188(%rsp)
  movsd  D1357(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x190(%rsp)
  movsd  D802(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x198(%rsp)
  movsd  D1315(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a0(%rsp)
  mov    D890(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1a8(%rsp)
  mov    D267(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b0(%rsp)
  movsd  D642(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1b8(%rsp)
  mov    D1188(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c0(%rsp)
  mov    D1037(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1c8(%rsp)
  mov    D1018(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d0(%rsp)
  movsd  D1468(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1d8(%rsp)
  mov    D1433(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e0(%rsp)
  mov    D439(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1e8(%rsp)
  mov    D15(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f0(%rsp)
  movsd  D874(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x1f8(%rsp)
  mov    D1220(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x200(%rsp)
  mov    D562(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x208(%rsp)
  mov    D1504(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x210(%rsp)
  movsd  D940(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x218(%rsp)
  mov    D254(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x220(%rsp)
  mov    D397(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x228(%rsp)
  mov    D542(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x230(%rsp)
  movsd  D667(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x238(%rsp)
  mov    D365(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x240(%rsp)
  mov    D7(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D1132(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x248(%rsp)
  movsd  D644(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D902(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x250(%rsp)
  mov    D28(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D890(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x258(%rsp)
  movsd  D469(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D1037(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x260(%rsp)
  mov    D798(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x268(%rsp)
  mov    D439(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x270(%rsp)
  movsd  D926(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x278(%rsp)
  mov    D562(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x280(%rsp)
  mov    D364(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x288(%rsp)
  mov    D397(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x290(%rsp)
  movsd  D850(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x298(%rsp)
  mov    D7(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2a0(%rsp)
  mov    D1209(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2a8(%rsp)
  mov    D28(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2b0(%rsp)
  movsd  D519(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2b8(%rsp)
  mov    D798(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2c0(%rsp)
  mov    D814(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D364(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2c8(%rsp)
  movsd  D312(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D1209(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2d0(%rsp)
  mov    D814(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x2d8(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D784(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D993(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D479(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D188(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D1035(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D776(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D679(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x68(%rsp),%xmm0
  mulsd  D1483(%rip),%xmm0
  mulsd  0x70(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x78(%rsp),%xmm0
  mulsd  D1117(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D309(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D109(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D522(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D234(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D1172(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D862(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xe8(%rsp),%xmm0
  mulsd  D812(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xf8(%rsp),%xmm0
  mulsd  D468(%rip),%xmm0
  mulsd  0x100(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x108(%rsp),%xmm0
  mulsd  D39(%rip),%xmm0
  mulsd  0x110(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x118(%rsp),%xmm0
  mulsd  D1403(%rip),%xmm0
  mulsd  0x120(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x128(%rsp),%xmm0
  mulsd  D780(%rip),%xmm0
  mulsd  0x130(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x138(%rsp),%xmm0
  mulsd  D879(%rip),%xmm0
  mulsd  0x140(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x148(%rsp),%xmm0
  mulsd  D304(%rip),%xmm0
  mulsd  0x150(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x158(%rsp),%xmm0
  mulsd  D91(%rip),%xmm0
  mulsd  0x160(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x168(%rsp),%xmm0
  mulsd  D1337(%rip),%xmm0
  mulsd  0x170(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x178(%rsp),%xmm0
  mulsd  D1320(%rip),%xmm0
  mulsd  0x180(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x188(%rsp),%xmm0
  mulsd  D1164(%rip),%xmm0
  mulsd  0x190(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x198(%rsp),%xmm0
  mulsd  D622(%rip),%xmm0
  mulsd  0x1a0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1a8(%rsp),%xmm0
  mulsd  D950(%rip),%xmm0
  mulsd  0x1b0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1b8(%rsp),%xmm0
  mulsd  D1365(%rip),%xmm0
  mulsd  0x1c0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1c8(%rsp),%xmm0
  mulsd  D991(%rip),%xmm0
  mulsd  0x1d0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1d8(%rsp),%xmm0
  mulsd  D350(%rip),%xmm0
  mulsd  0x1e0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x1e8(%rsp),%xmm0
  mulsd  D521(%rip),%xmm0
  mulsd  0x1f0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1f8(%rsp),%xmm0
  mulsd  D61(%rip),%xmm0
  mulsd  0x200(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x208(%rsp),%xmm0
  mulsd  D428(%rip),%xmm0
  mulsd  0x210(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x218(%rsp),%xmm0
  mulsd  D807(%rip),%xmm0
  mulsd  0x220(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x228(%rsp),%xmm0
  mulsd  D480(%rip),%xmm0
  mulsd  0x230(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x238(%rsp),%xmm0
  mulsd  D535(%rip),%xmm0
  mulsd  0x240(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D662(%rip),%xmm0
  mulsd  0x248(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D871(%rip),%xmm0
  mulsd  0x250(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D122(%rip),%xmm0
  mulsd  0x258(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D1411(%rip),%xmm0
  mulsd  0x260(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x268(%rsp),%xmm0
  mulsd  D485(%rip),%xmm0
  mulsd  0x270(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x278(%rsp),%xmm0
  mulsd  D126(%rip),%xmm0
  mulsd  0x280(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x288(%rsp),%xmm0
  mulsd  D438(%rip),%xmm0
  mulsd  0x290(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x298(%rsp),%xmm0
  mulsd  D67(%rip),%xmm0
  mulsd  0x2a0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x2a8(%rsp),%xmm0
  mulsd  D226(%rip),%xmm0
  mulsd  0x2b0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x2b8(%rsp),%xmm0
  mulsd  D362(%rip),%xmm0
  mulsd  0x2c0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D16(%rip),%xmm0
  mulsd  0x2c8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbx,%xmm0
  mulsd  D688(%rip),%xmm0
  mulsd  0x2d0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D1313(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x2d8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  D477(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  subsd  D66(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D639(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D466(%rip),%xmm0
  divsd  D1295(%rip),%xmm0
  add    $0x2e8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: disassemble_data
arguments: label: D164
type: byte[8]
name: disassemble_data
arguments: label: D1186
type: f64
name: disassemble_data
arguments: label: D486
type: f64
name: disassemble_data
arguments: label: D267
type: f64
name: disassemble_data
arguments: label: D1325
type: f64
name: disassemble_data
arguments: label: D713
type: f64
name: disassemble_data
arguments: label: D1167
type: f64
name: disassemble_data
arguments: label: D1188
type: f64
name: disassemble_data
arguments: label: D596
type: f64
name: disassemble_data
arguments: label: D120
type: f64
name: disassemble_data
arguments: label: D556
type: f64
name: disassemble_data
arguments: label: D1018
type: f64
name: disassemble_data
arguments: label: D1227
type: f64
name: disassemble_data
arguments: label: D654
type: f64
name: disassemble_data
arguments: label: D762
type: f64
name: disassemble_data
arguments: label: D1433
type: f64
name: disassemble_data
arguments: label: D858
type: f64
name: disassemble_data
arguments: label: D133
type: f64
name: disassemble_data
arguments: label: D1435
type: f64
name: disassemble_data
arguments: label: D15
type: f64
name: disassemble_data
arguments: label: D1145
type: f64
name: disassemble_data
arguments: label: D836
type: f64
name: disassemble_data
arguments: label: D791
type: f64
name: disassemble_data
arguments: label: D1220
type: f64
name: disassemble_data
arguments: label: D1074
type: f64
name: disassemble_data
arguments: label: D857
type: f64
name: disassemble_data
arguments: label: D1006
type: f64
name: disassemble_data
arguments: label: D1504
type: f64
name: disassemble_data
arguments: label: D748
type: f64
name: disassemble_data
arguments: label: D997
type: f64
name: disassemble_data
arguments: label: D959
type: f64
name: disassemble_data
arguments: label: D254
type: f64
name: disassemble_data
arguments: label: D148
type: f64
name: disassemble_data
arguments: label: D339
type: f64
name: disassemble_data
arguments: label: D1467
type: f64
name: disassemble_data
arguments: label: D542
type: f64
name: disassemble_data
arguments: label: D577
type: f64
name: disassemble_data
arguments: label: D901
type: f64
name: disassemble_data
arguments: label: D805
type: f64
name: disassemble_data
arguments: label: D365
type: f64
name: disassemble_data
arguments: label: D957
type: f64
name: disassemble_data
arguments: label: D261
type: f64
name: disassemble_data
arguments: label: D1392
type: f64
name: disassemble_data
arguments: label: D1132
type: f64
name: disassemble_data
arguments: label: D520
type: f64
name: disassemble_data
arguments: label: D227
type: f64
name: disassemble_data
arguments: label: D273
type: f64
name: disassemble_data
arguments: label: D902
type: f64
name: disassemble_data
arguments: label: D1357
type: f64
name: disassemble_data
arguments: label: D802
type: f64
name: disassemble_data
arguments: label: D1315
type: f64
name: disassemble_data
arguments: label: D890
type: f64
name: disassemble_data
arguments: label: D642
type: f64
name: disassemble_data
arguments: label: D1037
type: f64
name: disassemble_data
arguments: label: D1468
type: f64
name: disassemble_data
arguments: label: D439
type: f64
name: disassemble_data
arguments: label: D874
type: f64
name: disassemble_data
arguments: label: D562
type: f64
name: disassemble_data
arguments: label: D940
type: f64
name: disassemble_data
arguments: label: D397
type: f64
name: disassemble_data
arguments: label: D667
type: f64
name: disassemble_data
arguments: label: D7
type: f64
name: disassemble_data
arguments: label: D644
type: f64
name: disassemble_data
arguments: label: D28
type: f64
name: disassemble_data
arguments: label: D469
type: f64
name: disassemble_data
arguments: label: D798
type: f64
name: disassemble_data
arguments: label: D926
type: f64
name: disassemble_data
arguments: label: D364
type: f64
name: disassemble_data
arguments: label: D850
type: f64
name: disassemble_data
arguments: label: D1209
type: f64
name: disassemble_data
arguments: label: D519
type: f64
name: disassemble_data
arguments: label: D814
type: f64
name: disassemble_data
arguments: label: D312
type: f64
name: disassemble_data
arguments: label: D784
type: byte[16]
name: disassemble_data
arguments: label: D993
type: byte[8]
name: disassemble_data
arguments: label: D479
type: f64
name: disassemble_data
arguments: label: D188
type: f64
name: disassemble_data
arguments: label: D1035
type: f64
name: disassemble_data
arguments: label: D776
type: f64
name: disassemble_data
arguments: label: D679
type: f64
name: disassemble_data
arguments: label: D1483
type: f64
name: disassemble_data
arguments: label: D1117
type: f64
name: disassemble_data
arguments: label: D309
type: f64
name: disassemble_data
arguments: label: D109
type: f64
name: disassemble_data
arguments: label: D522
type: f64
name: disassemble_data
arguments: label: D234
type: f64
name: disassemble_data
arguments: label: D1172
type: f64
name: disassemble_data
arguments: label: D862
type: f64
name: disassemble_data
arguments: label: D812
type: f64
name: disassemble_data
arguments: label: D468
type: f64
name: disassemble_data
arguments: label: D39
type: f64
name: disassemble_data
arguments: label: D1403
type: f64
name: disassemble_data
arguments: label: D780
type: f64
name: disassemble_data
arguments: label: D879
type: f64
name: disassemble_data
arguments: label: D304
type: f64
name: disassemble_data
arguments: label: D91
type: f64
name: disassemble_data
arguments: label: D1337
type: f64
name: disassemble_data
arguments: label: D1320
type: f64
name: disassemble_data
arguments: label: D1164
type: f64
name: disassemble_data
arguments: label: D622
type: f64
name: disassemble_data
arguments: label: D950
type: f64
name: disassemble_data
arguments: label: D1365
type: f64
name: disassemble_data
arguments: label: D991
type: f64
name: disassemble_data
arguments: label: D350
type: f64
name: disassemble_data
arguments: label: D521
type: f64
name: disassemble_data
arguments: label: D61
type: f64
name: disassemble_data
arguments: label: D428
type: f64
name: disassemble_data
arguments: label: D807
type: f64
name: disassemble_data
arguments: label: D480
type: f64
name: disassemble_data
arguments: label: D535
type: f64
name: disassemble_data
arguments: label: D662
type: f64
name: disassemble_data
arguments: label: D871
type: f64
name: disassemble_data
arguments: label: D122
type: f64
name: disassemble_data
arguments: label: D1411
type: f64
name: disassemble_data
arguments: label: D485
type: f64
name: disassemble_data
arguments: label: D126
type: f64
name: disassemble_data
arguments: label: D438
type: f64
name: disassemble_data
arguments: label: D67
type: f64
name: disassemble_data
arguments: label: D226
type: f64
name: disassemble_data
arguments: label: D362
type: f64
name: disassemble_data
arguments: label: D16
type: f64
name: disassemble_data
arguments: label: D688
type: f64
name: disassemble_data
arguments: label: D1313
type: f64
name: disassemble_data
arguments: label: D477
type: f64
name: disassemble_data
arguments: label: D66
type: f64
name: disassemble_data
arguments: label: D639
type: byte[8]
name: disassemble_data
arguments: label: D466
type: byte[8]
name: disassemble_data
arguments: label: D1295
type: f64

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

tool: D1186: 49

tool: D486: 98

tool: D267: 48

tool: D1325: 96

tool: D713: 47

tool: D1167: 94

tool: D1188: 46

tool: D596: 92

tool: D120: 45

tool: D556: 90

tool: D1018: 44

tool: D1227: 88

tool: D654: 43

tool: D762: 86

tool: D1433: 42

tool: D858: 84

tool: D133: 41

tool: D1435: 82

tool: D15: 40

tool: D1145: 80

tool: D836: 39

tool: D791: 78

tool: D1220: 38

tool: D1074: 76

tool: D857: 37

tool: D1006: 74

tool: D1504: 36

tool: D748: 72

tool: D997: 35

tool: D959: 70

tool: D254: 34

tool: D148: 68

tool: D339: 33

tool: D1467: 66

tool: D542: 32

tool: D577: 64

tool: D901: 31

tool: D805: 62

tool: D365: 30

tool: D957: 60

tool: D261: 29

tool: D1392: 58

tool: D1132: 28

tool: D520: 56

tool: D227: 27

tool: D273: 54

tool: D902: 26

tool: D1357: 52

tool: D802: 25

tool: D1315: 50

tool: D890: 24

tool: D642: 23

tool: D1037: 22

tool: D1468: 21

tool: D439: 20

tool: D874: 19

tool: D562: 18

tool: D940: 17

tool: D397: 16

tool: D667: 15

tool: D7: 14

tool: D644: 13

tool: D28: 12

tool: D469: 11

tool: D798: 10

tool: D926: 9

tool: D364: 8

tool: D850: 7

tool: D1209: 6

tool: D519: 5

tool: D814: 4

tool: D312: 3

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

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

tool: D479: 562949953421312

tool: D188: 1.3654351120233923e+18

tool: D1035: 1.5893664703952286e+21

tool: D776: 1.1827535483857826e+24

tool: D679: 6.324774599992972e+26

tool: D1483: 2.5899951986971222e+29

tool: D1117: 8.45201766508161e+31

tool: D309: 2.258499863219307e+34

tool: D109: 5.039277819808079e+36

tool: D522: 9.527034678226052e+38

tool: D234: 1.5433796178726203e+41

tool: D1172: 2.1614330012116105e+43

tool: D862: 2.6351470673104885e+45

tool: D812: 2.8125127353025407e+47

tool: D468: 2.6397440958482415e+49

tool: D39: 2.1865880260609603e+51

tool: D1403: 1.6030423466059414e+53

tool: D780: 1.0424490083369814e+55

tool: D879: 6.023038714835892e+56

tool: D304: 3.0955248973880257e+58

tool: D91: 1.4162026405550217e+60

tool: D1337: 5.769339804737243e+61

tool: D1320: 2.0926968928092363e+63

tool: D1164: 6.755771490916775e+64

tool: D622: 1.9394693988506906e+66

tool: D950: 4.9456469670692607e+67

tool: D1365: 1.1184770833218175e+69

tool: D991: 2.2390254205016384e+70

tool: D350: 3.9582770826725394e+71

tool: D521: 6.1626279407815565e+72

tool: D61: 8.422258185734795e+73

tool: D428: 1.0065956960692714e+75

tool: D807: 1.0474886462220856e+76

tool: D480: 9.443268856093044e+76

tool: D535: 7.332420523554599e+77

tool: D662: 4.8708222049326975e+78

tool: D871: 2.7466025211148266e+79

tool: D122: 1.302780385015276e+80

tool: D1411: 5.14255415137609e+80

tool: D485: 1.668033590125834e+81

tool: D126: 4.378588174080315e+81

tool: D438: 9.130958265460167e+81

tool: D67: 1.4783456239316462e+82

tool: D226: 1.8049568664281727e+82

tool: D362: 1.5998481316067894e+82

tool: D16: 9.776849693152603e+81

tool: D688: 3.825723792972757e+81

tool: D1313: 8.546829750258287e+80

tool: D477: 8.90294765651905e+79

tool: D66: 2.7253921397507295e+78

tool: {"D639": [0xff,0xd6,0xa1,0x93,0x72,0xb2,0xa6,0x42]}

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

tool: D1295: 8.52366321181935e+90

assistant: ```c
double HO_99(const double a, const double x) {
  double retval = sqrt(0.155696519360438569961130397e27) * pow(a, 0.3e1 / 0.4e1) * x * (0.562949953421312e15 * pow(a, 0.49e2) * pow(x, 0.98e2) - 0.1365435112023392256e19 * pow(a, 0.48e2) * pow(x, 0.96e2) + 0.1589366470395228585984e22 * pow(a, 0.47e2) * pow(x, 0.94e2) - 0.1182753548385782606069760e25 * pow(a, 0.46e2) * pow(x, 0.92e2) + 0.632477459999297248595804160e27 * pow(a, 0.45e2) * pow(x, 0.90e2) - 0.258999519869712223299981803520e30 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.84520176650816088870227395215360e32 * pow(a, 0.43e2) * pow(x, 0.86e2) - 0.22584998632193070604537191821475840e35 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.5039277819808078878637360925166796800e37 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.952703467822605134666829957130144972800e39 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.154337961787262031816026453055083485593600e42 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.21614330012116105455689886448305100868812800e44 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.2635147067310488523472858656155863547589427200e46 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.281251273530254063562968568108943128636948480000e48 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.26397440958482417108695764178225090787782164480000e50 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.2186588026060960217170299132762978353587955957760000e52 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.160304234660594145921297555170685850547417021153280000e54 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.10424490083369813430352614543599600457657030404997120000e56 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.602303871483589220420373284741310248664628423399833600000e57 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.30955248973880256512657605923678392516895245023680921600000e59 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.1416202640555021735454085471008286457647957459833402163200000e61 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.57693398047372433080046196211789955453229886042260740505600000e62 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.2092696892809236436267130208045835656894429502805639587430400000e64 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.67557714909167741475145399107566651097570169818834234507264000000e65 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.1939469398850690578182299166046392608592743625215699482312704000000e67 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.49456469670692609743648628734183011519114962443000336798973952000000e68 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.1118477083321817481894822834449985029739984535249392232222949376000000e70 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.22390254205016383294968583037785811428683764492677648204314968064000000e71 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.395827708267253918964623164417999166328516550852694137897711042560000000e72 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.6162627940781556703880253749473331848183628369310048388304018472960000000e73 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.84222581857347941619696801242802201925176254380570661306821585797120000000e74 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.1006595696069271366777344027756716639137993620903271935941206372188160000000e76 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.10474886462220855160526736288843332526029746117524673583388178810583040000000e77 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.94432688560930436674445577149420952317995438483745163365393430186316800000000e77 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.733242052355459861236871540219033276822082228226727150837172516740812800000000e78 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.4870822204932697649644932374312149624603831944648973216275503146921113600000000e79 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.27466025211148267302164479777371288160960496798992821191775753856249612800000000e80 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.130278038501527592203509897322396245195907221303330814031260670318156947200000000e81 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.514255415137608916592802226272616757352265347249990055386555277571672160000000000e81 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.1668033590125834049974089272397077430899014523772403641189724169559398160000000000e82 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.4378588174080314381181984340042328256109913124902559558123025945093420170000000000e82 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.9130958265460167794903894172527294290180428589735825419988261422085059135000000000e82 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.14783456239316462144130114374568000279339741526238955441885756588137714790000000000e83 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.18049568664281727036437930341042325922449684421570817690674470252958837825000000000e83 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.15998481316067894418660892802287516158534947555483224771279644087849878981250000000e83 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.9776849693152602144737212268064593207993579061684192915782004720352703821875000000e82 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.3825723792972757360984126539677449516171400502398162445306001847094536278125000000e82 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.854682975025828772134751673757728083399993729259163950547085519031758104687500000e81 * a * a * pow(x, 0.4e1) + 0.89029476565190497097369966016430008687499346797829578181988074899141469238281250e80 * a * x * x - 0.2725392139750729502980713245400918633290796330545803413734328823443106201171875e79) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.8523663211819350103340917943137415942301277004679691554021630519394885996589875200000000000e91;
  return retval;
}
```