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

```asm
<HO_90>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x2a8,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D784(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D319(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D997(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D439(%rip),%xmm15
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D460(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D398(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1294(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D561(%rip),%xmm14
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D341(%rip),%xmm1
  movsd  %xmm0,0x298(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1049(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D626(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D141(%rip),%xmm13
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D531(%rip),%xmm1
  movsd  %xmm0,0x290(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D971(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1127(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D109(%rip),%xmm12
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D260(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D121(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1345(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1009(%rip),%xmm11
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D993(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D41(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D929(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D350(%rip),%xmm10
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D843(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D916(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D552(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1164(%rip),%xmm9
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D813(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D166(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1328(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1138(%rip),%xmm8
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D579(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D42(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D996(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D23(%rip),%xmm7
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D400(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D244(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D287(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1253(%rip),%xmm6
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D322(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1109(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D392(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D3(%rip),%xmm5
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D511(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1172(%rip),%xmm1
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D987(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D700(%rip),%xmm4
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D439(%rip),%rax
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D446(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D561(%rip),%rax
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D164(%rip),%xmm14
  movsd  %xmm0,0x158(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D141(%rip),%rax
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D609(%rip),%xmm1
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D109(%rip),%rax
  movsd  %xmm0,0x280(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D305(%rip),%xmm12
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D1009(%rip),%rax
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D569(%rip),%xmm1
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D350(%rip),%rax
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D538(%rip),%xmm10
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D1164(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D702(%rip),%xmm1
  movsd  %xmm0,0x198(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1138(%rip),%rax
  movsd  %xmm0,0x270(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D533(%rip),%xmm8
  movsd  %xmm0,0x1a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D23(%rip),%rax
  movsd  %xmm0,0x1a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D769(%rip),%xmm1
  movsd  %xmm0,0x1b0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1253(%rip),%rax
  movsd  %xmm0,0x1b8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D597(%rip),%xmm6
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D3(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D515(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D700(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1222(%rip),%xmm4
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D164(%rip),%rax
  movsd  %xmm0,0x1e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D386(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D305(%rip),%rax
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1325(%rip),%xmm5
  movsd  %xmm0,0x1f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D538(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1032(%rip),%xmm1
  movsd  %xmm0,0x200(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D533(%rip),%rax
  movsd  %xmm0,0x258(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D77(%rip),%xmm7
  movsd  %xmm0,0x208(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D597(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D809(%rip),%xmm1
  movsd  %xmm0,0x210(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1222(%rip),%rax
  movsd  %xmm0,0x248(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1231(%rip),%xmm4
  movsd  %xmm0,0x218(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D1325(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1154(%rip),%xmm1
  movsd  %xmm0,0x228(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D77(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D1231(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm6
  xorpd  D189(%rip),%xmm3
  movsd  %xmm0,0x238(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D1198(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm4
  movsd  0x298(%rsp),%xmm3
  mulsd  D1254(%rip),%xmm1
  movq   %r12,%xmm5
  movsd  0x290(%rsp),%xmm2
  mulsd  D1218(%rip),%xmm4
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D950(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D1042(%rip),%xmm5
  mulsd  D584(%rip),%xmm2
  subsd  %xmm4,%xmm1
  mulsd  0x38(%rsp),%xmm2
  movq   %rbp,%xmm4
  mulsd  D636(%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  D268(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x48(%rsp),%xmm2
  mulsd  D600(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x58(%rsp),%xmm2
  mulsd  D1329(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D1372(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D466(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  D1040(%rip),%xmm2
  mulsd  0x90(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D715(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D296(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D628(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D631(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D1050(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D707(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D343(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x108(%rsp),%xmm2
  mulsd  D357(%rip),%xmm2
  mulsd  0x110(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x118(%rsp),%xmm2
  mulsd  D1234(%rip),%xmm2
  mulsd  0x120(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x128(%rsp),%xmm2
  mulsd  D436(%rip),%xmm2
  mulsd  0x130(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D276(%rip),%xmm2
  mulsd  0x140(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D900(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  movsd  0x288(%rsp),%xmm15
  mulsd  D290(%rip),%xmm15
  movsd  0x280(%rsp),%xmm13
  mulsd  0x158(%rsp),%xmm15
  movsd  0x278(%rsp),%xmm11
  mulsd  D1013(%rip),%xmm13
  movsd  0x270(%rsp),%xmm9
  mulsd  0x170(%rsp),%xmm13
  mulsd  D128(%rip),%xmm11
  subsd  %xmm2,%xmm1
  movsd  0x160(%rsp),%xmm2
  mulsd  D358(%rip),%xmm2
  mulsd  0x168(%rsp),%xmm2
  mulsd  0x188(%rsp),%xmm11
  addsd  %xmm15,%xmm1
  mulsd  D1086(%rip),%xmm9
  mulsd  0x1a0(%rsp),%xmm9
  subsd  %xmm2,%xmm1
  movsd  0x178(%rsp),%xmm2
  mulsd  D208(%rip),%xmm2
  mulsd  0x180(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x190(%rsp),%xmm2
  mulsd  D408(%rip),%xmm2
  mulsd  0x198(%rsp),%xmm2
  addsd  %xmm11,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x1a8(%rsp),%xmm2
  mulsd  D667(%rip),%xmm2
  mulsd  0x1b0(%rsp),%xmm2
  addsd  %xmm9,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x1b8(%rsp),%xmm2
  mulsd  D1159(%rip),%xmm2
  mulsd  0x1c0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x1c8(%rsp),%xmm2
  mulsd  D1310(%rip),%xmm2
  mulsd  0x1d0(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm7
  movsd  0x268(%rsp),%xmm14
  mulsd  D1041(%rip),%xmm14
  mulsd  0x1f8(%rsp),%xmm14
  movsd  0x260(%rsp),%xmm12
  mulsd  D0(%rip),%xmm12
  movsd  0x258(%rsp),%xmm10
  mulsd  0x200(%rsp),%xmm12
  movsd  0x250(%rsp),%xmm8
  mulsd  D1276(%rip),%xmm10
  subsd  %xmm2,%xmm1
  movsd  0x1d8(%rsp),%xmm2
  mulsd  D539(%rip),%xmm2
  movsd  0x248(%rsp),%xmm6
  mulsd  0x1e0(%rsp),%xmm2
  movsd  0x240(%rsp),%xmm5
  mulsd  0x208(%rsp),%xmm10
  mulsd  D844(%rip),%xmm8
  mulsd  0x210(%rsp),%xmm8
  mulsd  D147(%rip),%xmm6
  addsd  %xmm2,%xmm1
  mulsd  D637(%rip),%xmm5
  movsd  0x1e8(%rsp),%xmm2
  mulsd  D352(%rip),%xmm2
  mulsd  0x1f0(%rsp),%xmm2
  mulsd  0x218(%rsp),%xmm6
  mulsd  0x230(%rsp),%xmm5
  subsd  %xmm2,%xmm1
  movsd  0x220(%rsp),%xmm2
  mulsd  D676(%rip),%xmm2
  mulsd  0x228(%rsp),%xmm2
  addsd  %xmm14,%xmm1
  subsd  %xmm12,%xmm1
  addsd  %xmm10,%xmm1
  subsd  %xmm8,%xmm1
  addsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D1251(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  addsd  %xmm1,%xmm5
  mulsd  %xmm7,%xmm2
  mulsd  D473(%rip),%xmm7
  mulsd  0x238(%rsp),%xmm2
  movsd  (%rsp),%xmm3
  movapd %xmm7,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm5
  movq   %rbx,%xmm2
  mulsd  D1136(%rip),%xmm2
  mulsd  %xmm3,%xmm1
  addsd  %xmm5,%xmm1
  subsd  D20(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D1313(%rip),%xmm0
  divsd  D108(%rip),%xmm0
  add    $0x2a8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: tag: D784
type_infered: byte[8]
name: read_data
arguments: tag: D319
type_infered: f64
name: read_data
arguments: tag: D997
type_infered: f64
name: read_data
arguments: tag: D439
type_infered: f64
name: read_data
arguments: tag: D460
type_infered: f64
name: read_data
arguments: tag: D398
type_infered: f64
name: read_data
arguments: tag: D1294
type_infered: f64
name: read_data
arguments: tag: D561
type_infered: f64
name: read_data
arguments: tag: D341
type_infered: f64
name: read_data
arguments: tag: D1049
type_infered: f64
name: read_data
arguments: tag: D626
type_infered: f64
name: read_data
arguments: tag: D141
type_infered: f64
name: read_data
arguments: tag: D531
type_infered: f64
name: read_data
arguments: tag: D971
type_infered: f64
name: read_data
arguments: tag: D1127
type_infered: f64
name: read_data
arguments: tag: D109
type_infered: f64
name: read_data
arguments: tag: D260
type_infered: f64
name: read_data
arguments: tag: D121
type_infered: f64
name: read_data
arguments: tag: D1345
type_infered: f64
name: read_data
arguments: tag: D1009
type_infered: f64
name: read_data
arguments: tag: D993
type_infered: f64
name: read_data
arguments: tag: D41
type_infered: f64
name: read_data
arguments: tag: D929
type_infered: f64
name: read_data
arguments: tag: D350
type_infered: f64
name: read_data
arguments: tag: D843
type_infered: f64
name: read_data
arguments: tag: D916
type_infered: f64
name: read_data
arguments: tag: D552
type_infered: f64
name: read_data
arguments: tag: D1164
type_infered: f64
name: read_data
arguments: tag: D813
type_infered: f64
name: read_data
arguments: tag: D166
type_infered: f64
name: read_data
arguments: tag: D1328
type_infered: f64
name: read_data
arguments: tag: D1138
type_infered: f64
name: read_data
arguments: tag: D579
type_infered: f64
name: read_data
arguments: tag: D42
type_infered: f64
name: read_data
arguments: tag: D996
type_infered: f64
name: read_data
arguments: tag: D23
type_infered: f64
name: read_data
arguments: tag: D400
type_infered: f64
name: read_data
arguments: tag: D244
type_infered: f64
name: read_data
arguments: tag: D287
type_infered: f64
name: read_data
arguments: tag: D1253
type_infered: f64
name: read_data
arguments: tag: D322
type_infered: f64
name: read_data
arguments: tag: D1109
type_infered: f64
name: read_data
arguments: tag: D392
type_infered: f64
name: read_data
arguments: tag: D3
type_infered: f64
name: read_data
arguments: tag: D511
type_infered: f64
name: read_data
arguments: tag: D1172
type_infered: f64
name: read_data
arguments: tag: D987
type_infered: f64
name: read_data
arguments: tag: D700
type_infered: f64
name: read_data
arguments: tag: D446
type_infered: f64
name: read_data
arguments: tag: D164
type_infered: f64
name: read_data
arguments: tag: D609
type_infered: f64
name: read_data
arguments: tag: D305
type_infered: f64
name: read_data
arguments: tag: D569
type_infered: f64
name: read_data
arguments: tag: D538
type_infered: f64
name: read_data
arguments: tag: D702
type_infered: f64
name: read_data
arguments: tag: D533
type_infered: f64
name: read_data
arguments: tag: D769
type_infered: f64
name: read_data
arguments: tag: D597
type_infered: f64
name: read_data
arguments: tag: D515
type_infered: f64
name: read_data
arguments: tag: D1222
type_infered: f64
name: read_data
arguments: tag: D386
type_infered: f64
name: read_data
arguments: tag: D1325
type_infered: f64
name: read_data
arguments: tag: D1032
type_infered: f64
name: read_data
arguments: tag: D77
type_infered: f64
name: read_data
arguments: tag: D809
type_infered: f64
name: read_data
arguments: tag: D1231
type_infered: f64
name: read_data
arguments: tag: D1154
type_infered: f64
name: read_data
arguments: tag: D189
type_infered: byte[16]
name: read_data
arguments: tag: D1198
type_infered: byte[8]
name: read_data
arguments: tag: D1254
type_infered: f64
name: read_data
arguments: tag: D1218
type_infered: f64
name: read_data
arguments: tag: D950
type_infered: f64
name: read_data
arguments: tag: D1042
type_infered: f64
name: read_data
arguments: tag: D584
type_infered: f64
name: read_data
arguments: tag: D636
type_infered: f64
name: read_data
arguments: tag: D268
type_infered: f64
name: read_data
arguments: tag: D600
type_infered: f64
name: read_data
arguments: tag: D1329
type_infered: f64
name: read_data
arguments: tag: D1372
type_infered: f64
name: read_data
arguments: tag: D466
type_infered: f64
name: read_data
arguments: tag: D1040
type_infered: f64
name: read_data
arguments: tag: D715
type_infered: f64
name: read_data
arguments: tag: D296
type_infered: f64
name: read_data
arguments: tag: D628
type_infered: f64
name: read_data
arguments: tag: D631
type_infered: f64
name: read_data
arguments: tag: D1050
type_infered: f64
name: read_data
arguments: tag: D707
type_infered: f64
name: read_data
arguments: tag: D343
type_infered: f64
name: read_data
arguments: tag: D357
type_infered: f64
name: read_data
arguments: tag: D1234
type_infered: f64
name: read_data
arguments: tag: D436
type_infered: f64
name: read_data
arguments: tag: D276
type_infered: f64
name: read_data
arguments: tag: D900
type_infered: f64
name: read_data
arguments: tag: D290
type_infered: f64
name: read_data
arguments: tag: D1013
type_infered: f64
name: read_data
arguments: tag: D128
type_infered: f64
name: read_data
arguments: tag: D358
type_infered: f64
name: read_data
arguments: tag: D1086
type_infered: f64
name: read_data
arguments: tag: D208
type_infered: f64
name: read_data
arguments: tag: D408
type_infered: f64
name: read_data
arguments: tag: D667
type_infered: f64
name: read_data
arguments: tag: D1159
type_infered: f64
name: read_data
arguments: tag: D1310
type_infered: f64
name: read_data
arguments: tag: D1041
type_infered: f64
name: read_data
arguments: tag: D0
type_infered: f64
name: read_data
arguments: tag: D1276
type_infered: f64
name: read_data
arguments: tag: D539
type_infered: f64
name: read_data
arguments: tag: D844
type_infered: f64
name: read_data
arguments: tag: D147
type_infered: f64
name: read_data
arguments: tag: D637
type_infered: f64
name: read_data
arguments: tag: D352
type_infered: f64
name: read_data
arguments: tag: D676
type_infered: f64
name: read_data
arguments: tag: D1251
type_infered: f64
name: read_data
arguments: tag: D473
type_infered: f64
name: read_data
arguments: tag: D1136
type_infered: byte[8]
name: read_data
arguments: tag: D20
type_infered: f64
name: read_data
arguments: tag: D1313
type_infered: byte[8]
name: read_data
arguments: tag: D108
type_infered: f64

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

tool: D319: 45

tool: D997: 90

tool: D439: 44

tool: D460: 88

tool: D398: 43

tool: D1294: 86

tool: D561: 42

tool: D341: 84

tool: D1049: 41

tool: D626: 82

tool: D141: 40

tool: D531: 80

tool: D971: 39

tool: D1127: 78

tool: D109: 38

tool: D260: 76

tool: D121: 37

tool: D1345: 74

tool: D1009: 36

tool: D993: 72

tool: D41: 35

tool: D929: 70

tool: D350: 34

tool: D843: 68

tool: D916: 33

tool: D552: 66

tool: D1164: 32

tool: D813: 64

tool: D166: 31

tool: D1328: 62

tool: D1138: 30

tool: D579: 60

tool: D42: 29

tool: D996: 58

tool: D23: 28

tool: D400: 56

tool: D244: 27

tool: D287: 54

tool: D1253: 26

tool: D322: 52

tool: D1109: 25

tool: D392: 50

tool: D3: 24

tool: D511: 48

tool: D1172: 23

tool: D987: 46

tool: D700: 22

tool: D446: 21

tool: D164: 20

tool: D609: 19

tool: D305: 18

tool: D569: 17

tool: D538: 16

tool: D702: 15

tool: D533: 14

tool: D769: 13

tool: D597: 12

tool: D515: 11

tool: D1222: 10

tool: D386: 9

tool: D1325: 8

tool: D1032: 7

tool: D77: 6

tool: D809: 5

tool: D1231: 4

tool: D1154: 3

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

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

tool: D1254: 35184372088832

tool: D1218: 7.045670510788608e+16

tool: D950: 4.107432151850712e+22

tool: D1042: 1.7898135601689477e+25

tool: D584: 5.943970833321075e+27

tool: D636: 6.742706678824698e+19

tool: D268: 1.5652456527745497e+30

tool: D600: 3.357451925201409e+32

tool: D1329: 5.980461241765011e+34

tool: D1372: 8.974014341115162e+36

tool: D466: 1.1468790327945178e+39

tool: D1040: 1.2589603928176184e+41

tool: D715: 1.194963239516056e+43

tool: D296: 9.858446726007463e+44

tool: D628: 7.098081642725374e+46

tool: D631: 4.474157462131227e+48

tool: D1050: 2.474768346241335e+50

tool: D707: 1.203174140099096e+52

tool: D343: 5.1469115993128e+53

tool: D357: 1.9382185522675307e+55

tool: D1234: 6.425194500766864e+56

tool: D436: 1.8740150627236687e+58

tool: D276: 4.804293160800678e+59

tool: D900: 1.0809659611801526e+61

tool: D290: 2.1304037484925505e+62

tool: D1013: 5.502832882356258e+64

tool: D128: 8.059357325617604e+66

tool: D358: 3.668555254904172e+63

tool: D1086: 6.444150954014517e+68

tool: D208: 7.163873178326759e+65

tool: D408: 7.795343895985303e+67

tool: D667: 4.521299459671476e+69

tool: D1159: 2.6703924933684652e+70

tool: D1310: 1.3149660005223504e+71

tool: D1041: 4.647824679787454e+72

tool: D0: 9.609691567668656e+72

tool: D1276: 1.5173197212108405e+73

tool: D539: 5.337214943296598e+71

tool: D844: 1.7702063414126472e+73

tool: D147: 1.4604202316654337e+73

tool: D637: 2.6715004237782325e+72

tool: D352: 1.7612809312878774e+72

tool: D676: 8.014501271334698e+72

tool: D1251: 4.659593762403894e+71

tool: D473: 3.176995747093564e+70

tool: {"D1136": [0xa4,0xa5,0x6f,0x31,0x85,0xb6,0x68,0x42]}

tool: D20: 3.529995274548405e+68

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

tool: D108: 1.0350055600960812e+81

assistant: ```c
double HO_90(const double a, const double x) {
  double retval = sqrt(0.721023758941343134511605e24) * pow(a, 0.1e1 / 0.4e1) * (0.35184372088832e14 * pow(a, 0.45e2) * pow(x, 0.90e2) - 0.70456705107886080e17 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.67427066788246978560e20 * pow(a, 0.43e2) * pow(x, 0.86e2) - 0.41074321518507117772800e23 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.17898135601689476569497600e26 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.5943970833321075168730152960e28 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.1565245652774549794432273612800e31 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.335745192520140930905722689945600e33 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.59804612417650103317581854146560000e35 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.8974014341115162725599366002769920000e37 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.1146879032794517796331598975153995776000e40 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.125896039281761839915491432954404536320000e42 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.11949632395160561305312061844588897239040000e44 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.985844672600746307688245102178584022220800000e45 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.70980816427253734153553647356858049599897600000e47 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.4474157462131227042812331571727285726446878720000e49 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.247476834624133495805557090061165491744092979200000e51 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.12031741400990960840193702055032545819205461606400000e53 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.514691159931279991497175032354170015599344746496000000e54 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.19382185522675307048222565034179402429543745585152000000e56 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.642519450076686428648578030883047190539375166147788800000e57 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.18740150627236687502250192567422209724065109012643840000000e59 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.480429316080067806875868573092096649289669158324142080000000e60 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.10809659611801525654707042894572174609017556062293196800000000e62 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.213040374849255068111517970380526607919387667394361753600000000e63 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.3668555254904172272880339449952668188371855632530909396992000000e64 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.55028328823562584093205091749290022825577834487963640954880000000e65 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.716387317832675863287466287032423815673726252685897029468160000000e66 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.8059357325617603461983995729114767926329420342716341581516800000000e67 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.77953438959853026589190027655748013908117324349377028055705600000000e68 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.644415095401451686470637561954183581640436547954850098593832960000000e69 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.4521299459671475542173021604033384806670804812263867627230924800000000e70 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.26703924933684652420959408848822179014399440922433468173332649600000000e71 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.131496600052235030860784967816169820904239671208952684186865320000000000e72 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.533721494329659831140833104665630449552502194906925600523159240000000000e72 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.1761280931287877442764749245396580483523257243192854481726425492000000000e73 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.4647824679787454362851421619796531831519706613981143771222511715000000000e73 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.9609691567668655642111723078768505003006960972150202662122220167500000000e73 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.15173197212108403645439562755950271057379412061289793677035084475000000000e74 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.17702063414126470919679489881941982900275980738171425956540931887500000000e74 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.14604202316654338508735579152602135892727684108991426414146268807187500000e74 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.8014501271334697962110988559354830672838363230544075471177830442968750000e73 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.2671500423778232654036996186451610224279454410181358490392610147656250000e73 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.465959376240389416401801660427606434467346699450236945998711072265625000e72 * a * a * pow(x, 0.4e1) + 0.31769957470935642027395567756427711440955456780697973590821209472656250e71 * a * x * x - 0.352999527454840466971061863960307904899505075341088595453568994140625e69) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.1035005560096081184452661851547186171653906749560143573341288527403417600000000000e82;
  return retval;
}
```