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

```asm
<HO_85>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x278,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D826(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D371(%rip),%xmm5
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D705(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1295(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D915(%rip),%xmm1
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D392(%rip),%xmm15
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D831(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D828(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D748(%rip),%xmm1
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D292(%rip),%xmm14
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D914(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D633(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D639(%rip),%xmm1
  movsd  %xmm0,0x258(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D793(%rip),%xmm13
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D48(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D442(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1261(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1287(%rip),%xmm12
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D279(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D288(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D492(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D131(%rip),%xmm11
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D665(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D859(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D513(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D798(%rip),%xmm10
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D113(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1276(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D440(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1132(%rip),%xmm9
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D617(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D327(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1093(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1081(%rip),%xmm8
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D662(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1080(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D40(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D364(%rip),%xmm7
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D807(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1176(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D276(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D731(%rip),%xmm6
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D869(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D261(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D371(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1222(%rip),%xmm5
  movsd  %xmm0,0x128(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D392(%rip),%rax
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D785(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D292(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D856(%rip),%xmm14
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D793(%rip),%rax
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D229(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1287(%rip),%rax
  movsd  %xmm0,0x248(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D8(%rip),%xmm12
  movsd  %xmm0,0x158(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D131(%rip),%rax
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1290(%rip),%xmm1
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D798(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D797(%rip),%xmm10
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D1132(%rip),%rax
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D313(%rip),%xmm1
  movsd  %xmm0,0x180(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1081(%rip),%rax
  movsd  %xmm0,0x238(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D388(%rip),%xmm8
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D364(%rip),%rax
  movsd  %xmm0,0x190(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D611(%rip),%xmm1
  movsd  %xmm0,0x198(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D731(%rip),%rax
  movsd  %xmm0,0x1a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1217(%rip),%xmm6
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D1222(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1070(%rip),%xmm1
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D856(%rip),%rax
  movsd  %xmm0,0x1c0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D316(%rip),%xmm5
  movsd  %xmm0,0x1c8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D8(%rip),%rax
  movsd  %xmm0,0x230(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D596(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D797(%rip),%rax
  movsd  %xmm0,0x228(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D369(%rip),%xmm7
  movsd  %xmm0,0x1d8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D388(%rip),%rax
  movsd  %xmm0,0x220(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D951(%rip),%xmm1
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1217(%rip),%rax
  movsd  %xmm0,0x218(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D700(%rip),%xmm6
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D316(%rip),%rax
  movsd  %xmm0,0x1f0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D810(%rip),%xmm1
  movsd  %xmm0,0x1f8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D369(%rip),%rax
  movsd  %xmm0,0x210(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D700(%rip),%rax
  movsd  %xmm0,0x200(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm4
  xorpd  D3(%rip),%xmm3
  movsd  %xmm0,0x208(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  D485(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm6
  movsd  0x268(%rsp),%xmm4
  mulsd  D414(%rip),%xmm1
  movsd  0x260(%rsp),%xmm3
  mulsd  D92(%rip),%xmm4
  movsd  0x258(%rsp),%xmm2
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D875(%rip),%xmm6
  mulsd  D87(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D1266(%rip),%xmm2
  subsd  %xmm4,%xmm1
  movsd  0x20(%rsp),%xmm4
  mulsd  0x38(%rsp),%xmm2
  mulsd  %xmm6,%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  movq   %rbp,%xmm3
  mulsd  D1240(%rip),%xmm3
  mulsd  0x30(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D1021(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D231(%rip),%xmm2
  mulsd  0x48(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x50(%rsp),%xmm2
  mulsd  D1005(%rip),%xmm2
  mulsd  0x58(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x60(%rsp),%xmm2
  mulsd  D778(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x70(%rsp),%xmm2
  mulsd  D1123(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D375(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x90(%rsp),%xmm2
  mulsd  D317(%rip),%xmm2
  mulsd  0x98(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D174(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb0(%rsp),%xmm2
  mulsd  D499(%rip),%xmm2
  mulsd  0xb8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc0(%rsp),%xmm2
  mulsd  D1181(%rip),%xmm2
  mulsd  0xc8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D135(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe0(%rsp),%xmm2
  mulsd  D941(%rip),%xmm2
  mulsd  0xe8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf0(%rsp),%xmm2
  mulsd  D344(%rip),%xmm2
  mulsd  0xf8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x100(%rsp),%xmm2
  mulsd  D126(%rip),%xmm2
  mulsd  0x108(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x110(%rsp),%xmm2
  mulsd  D998(%rip),%xmm2
  mulsd  0x118(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x120(%rsp),%xmm2
  mulsd  D1038(%rip),%xmm2
  mulsd  0x128(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x130(%rsp),%xmm2
  mulsd  D689(%rip),%xmm2
  mulsd  0x138(%rsp),%xmm2
  movsd  0x250(%rsp),%xmm15
  mulsd  D741(%rip),%xmm15
  movsd  0x248(%rsp),%xmm13
  mulsd  0x140(%rsp),%xmm15
  movsd  0x240(%rsp),%xmm11
  mulsd  D417(%rip),%xmm13
  movsd  0x238(%rsp),%xmm9
  mulsd  0x158(%rsp),%xmm13
  mulsd  D421(%rip),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D39(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  mulsd  0x170(%rsp),%xmm11
  subsd  %xmm15,%xmm1
  mulsd  D326(%rip),%xmm9
  mulsd  0x188(%rsp),%xmm9
  addsd  %xmm2,%xmm1
  movsd  0x160(%rsp),%xmm2
  mulsd  D1078(%rip),%xmm2
  mulsd  0x168(%rsp),%xmm2
  subsd  %xmm13,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x178(%rsp),%xmm2
  mulsd  D4(%rip),%xmm2
  mulsd  0x180(%rsp),%xmm2
  subsd  %xmm11,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x190(%rsp),%xmm2
  mulsd  D1188(%rip),%xmm2
  mulsd  0x198(%rsp),%xmm2
  subsd  %xmm9,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0x1a0(%rsp),%xmm2
  mulsd  D173(%rip),%xmm2
  mulsd  0x1a8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1b0(%rsp),%xmm2
  mulsd  D1283(%rip),%xmm2
  mulsd  0x1b8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x1c0(%rsp),%xmm2
  mulsd  D1098(%rip),%xmm2
  mulsd  0x1c8(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm7
  movsd  0x230(%rsp),%xmm14
  movsd  (%rsp),%xmm4
  mulsd  D491(%rip),%xmm14
  movsd  0x228(%rsp),%xmm12
  mulsd  0x1d0(%rsp),%xmm14
  movsd  0x220(%rsp),%xmm10
  mulsd  D726(%rip),%xmm12
  movsd  0x218(%rsp),%xmm8
  mulsd  0x1d8(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x1f0(%rsp),%xmm2
  mulsd  D627(%rip),%xmm10
  movsd  0x210(%rsp),%xmm5
  mulsd  0x1e0(%rsp),%xmm10
  addsd  %xmm14,%xmm1
  mulsd  D452(%rip),%xmm2
  mulsd  D1076(%rip),%xmm8
  mulsd  0x1e8(%rsp),%xmm8
  subsd  %xmm12,%xmm1
  mulsd  D161(%rip),%xmm5
  mulsd  0x1f8(%rsp),%xmm2
  mulsd  0x200(%rsp),%xmm5
  addsd  %xmm10,%xmm1
  subsd  %xmm8,%xmm1
  addsd  %xmm2,%xmm1
  movsd  D50(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  subsd  %xmm5,%xmm1
  mulsd  %xmm7,%xmm2
  mulsd  0x208(%rsp),%xmm2
  mulsd  D716(%rip),%xmm7
  addsd  %xmm1,%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  %xmm4,%xmm1
  subsd  %xmm1,%xmm2
  movsd  D1004(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  D573(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D437(%rip),%xmm0
  divsd  D1238(%rip),%xmm0
  add    $0x278,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: disassemble_data
arguments: label: D826
type_infered: byte[8]
name: disassemble_data
arguments: label: D371
type_infered: f64
name: disassemble_data
arguments: label: D705
type_infered: f64
name: disassemble_data
arguments: label: D1295
type_infered: f64
name: disassemble_data
arguments: label: D915
type_infered: f64
name: disassemble_data
arguments: label: D392
type_infered: f64
name: disassemble_data
arguments: label: D831
type_infered: f64
name: disassemble_data
arguments: label: D828
type_infered: f64
name: disassemble_data
arguments: label: D748
type_infered: f64
name: disassemble_data
arguments: label: D292
type_infered: f64
name: disassemble_data
arguments: label: D914
type_infered: f64
name: disassemble_data
arguments: label: D633
type_infered: f64
name: disassemble_data
arguments: label: D639
type_infered: f64
name: disassemble_data
arguments: label: D793
type_infered: f64
name: disassemble_data
arguments: label: D48
type_infered: f64
name: disassemble_data
arguments: label: D442
type_infered: f64
name: disassemble_data
arguments: label: D1261
type_infered: f64
name: disassemble_data
arguments: label: D1287
type_infered: f64
name: disassemble_data
arguments: label: D279
type_infered: f64
name: disassemble_data
arguments: label: D288
type_infered: f64
name: disassemble_data
arguments: label: D492
type_infered: f64
name: disassemble_data
arguments: label: D131
type_infered: f64
name: disassemble_data
arguments: label: D665
type_infered: f64
name: disassemble_data
arguments: label: D859
type_infered: f64
name: disassemble_data
arguments: label: D513
type_infered: f64
name: disassemble_data
arguments: label: D798
type_infered: f64
name: disassemble_data
arguments: label: D113
type_infered: f64
name: disassemble_data
arguments: label: D1276
type_infered: f64
name: disassemble_data
arguments: label: D440
type_infered: f64
name: disassemble_data
arguments: label: D1132
type_infered: f64
name: disassemble_data
arguments: label: D617
type_infered: f64
name: disassemble_data
arguments: label: D327
type_infered: f64
name: disassemble_data
arguments: label: D1093
type_infered: f64
name: disassemble_data
arguments: label: D1081
type_infered: f64
name: disassemble_data
arguments: label: D662
type_infered: f64
name: disassemble_data
arguments: label: D1080
type_infered: f64
name: disassemble_data
arguments: label: D40
type_infered: f64
name: disassemble_data
arguments: label: D364
type_infered: f64
name: disassemble_data
arguments: label: D807
type_infered: f64
name: disassemble_data
arguments: label: D1176
type_infered: f64
name: disassemble_data
arguments: label: D276
type_infered: f64
name: disassemble_data
arguments: label: D731
type_infered: f64
name: disassemble_data
arguments: label: D869
type_infered: f64
name: disassemble_data
arguments: label: D261
type_infered: f64
name: disassemble_data
arguments: label: D1222
type_infered: f64
name: disassemble_data
arguments: label: D785
type_infered: f64
name: disassemble_data
arguments: label: D856
type_infered: f64
name: disassemble_data
arguments: label: D229
type_infered: f64
name: disassemble_data
arguments: label: D8
type_infered: f64
name: disassemble_data
arguments: label: D1290
type_infered: f64
name: disassemble_data
arguments: label: D797
type_infered: f64
name: disassemble_data
arguments: label: D313
type_infered: f64
name: disassemble_data
arguments: label: D388
type_infered: f64
name: disassemble_data
arguments: label: D611
type_infered: f64
name: disassemble_data
arguments: label: D1217
type_infered: f64
name: disassemble_data
arguments: label: D1070
type_infered: f64
name: disassemble_data
arguments: label: D316
type_infered: f64
name: disassemble_data
arguments: label: D596
type_infered: f64
name: disassemble_data
arguments: label: D369
type_infered: f64
name: disassemble_data
arguments: label: D951
type_infered: f64
name: disassemble_data
arguments: label: D700
type_infered: f64
name: disassemble_data
arguments: label: D810
type_infered: f64
name: disassemble_data
arguments: label: D3
type_infered: byte[16]
name: disassemble_data
arguments: label: D485
type_infered: byte[8]
name: disassemble_data
arguments: label: D414
type_infered: f64
name: disassemble_data
arguments: label: D92
type_infered: f64
name: disassemble_data
arguments: label: D875
type_infered: f64
name: disassemble_data
arguments: label: D87
type_infered: f64
name: disassemble_data
arguments: label: D1266
type_infered: f64
name: disassemble_data
arguments: label: D1240
type_infered: f64
name: disassemble_data
arguments: label: D1021
type_infered: f64
name: disassemble_data
arguments: label: D231
type_infered: f64
name: disassemble_data
arguments: label: D1005
type_infered: f64
name: disassemble_data
arguments: label: D778
type_infered: f64
name: disassemble_data
arguments: label: D1123
type_infered: f64
name: disassemble_data
arguments: label: D375
type_infered: f64
name: disassemble_data
arguments: label: D317
type_infered: f64
name: disassemble_data
arguments: label: D174
type_infered: f64
name: disassemble_data
arguments: label: D499
type_infered: f64
name: disassemble_data
arguments: label: D1181
type_infered: f64
name: disassemble_data
arguments: label: D135
type_infered: f64
name: disassemble_data
arguments: label: D941
type_infered: f64
name: disassemble_data
arguments: label: D344
type_infered: f64
name: disassemble_data
arguments: label: D126
type_infered: f64
name: disassemble_data
arguments: label: D998
type_infered: f64
name: disassemble_data
arguments: label: D1038
type_infered: f64
name: disassemble_data
arguments: label: D689
type_infered: f64
name: disassemble_data
arguments: label: D741
type_infered: f64
name: disassemble_data
arguments: label: D417
type_infered: f64
name: disassemble_data
arguments: label: D421
type_infered: f64
name: disassemble_data
arguments: label: D39
type_infered: f64
name: disassemble_data
arguments: label: D326
type_infered: f64
name: disassemble_data
arguments: label: D1078
type_infered: f64
name: disassemble_data
arguments: label: D4
type_infered: f64
name: disassemble_data
arguments: label: D1188
type_infered: f64
name: disassemble_data
arguments: label: D173
type_infered: f64
name: disassemble_data
arguments: label: D1283
type_infered: f64
name: disassemble_data
arguments: label: D1098
type_infered: f64
name: disassemble_data
arguments: label: D491
type_infered: f64
name: disassemble_data
arguments: label: D726
type_infered: f64
name: disassemble_data
arguments: label: D627
type_infered: f64
name: disassemble_data
arguments: label: D452
type_infered: f64
name: disassemble_data
arguments: label: D1076
type_infered: f64
name: disassemble_data
arguments: label: D161
type_infered: f64
name: disassemble_data
arguments: label: D50
type_infered: f64
name: disassemble_data
arguments: label: D716
type_infered: f64
name: disassemble_data
arguments: label: D1004
type_infered: f64
name: disassemble_data
arguments: label: D573
type_infered: byte[8]
name: disassemble_data
arguments: label: D437
type_infered: byte[8]
name: disassemble_data
arguments: label: D1238
type_infered: f64

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

tool: D371: 42

tool: D705: 84

tool: D1295: 41

tool: D915: 82

tool: D392: 40

tool: D831: 80

tool: D828: 39

tool: D748: 78

tool: D292: 38

tool: D914: 76

tool: D633: 37

tool: D639: 74

tool: D793: 36

tool: D48: 72

tool: D442: 35

tool: D1261: 70

tool: D1287: 34

tool: D279: 68

tool: D288: 33

tool: D492: 66

tool: D131: 32

tool: D665: 64

tool: D859: 31

tool: D513: 62

tool: D798: 30

tool: D113: 60

tool: D1276: 29

tool: D440: 58

tool: D1132: 28

tool: D617: 56

tool: D327: 27

tool: D1093: 54

tool: D1081: 26

tool: D662: 52

tool: D1080: 25

tool: D40: 50

tool: D364: 24

tool: D807: 48

tool: D1176: 23

tool: D276: 46

tool: D731: 22

tool: D869: 44

tool: D261: 21

tool: D1222: 20

tool: D785: 19

tool: D856: 18

tool: D229: 17

tool: D8: 16

tool: D1290: 15

tool: D797: 14

tool: D313: 13

tool: D388: 12

tool: D611: 11

tool: D1217: 10

tool: D1070: 9

tool: D316: 8

tool: D596: 7

tool: D369: 6

tool: D951: 5

tool: D700: 4

tool: D810: 3

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

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

tool: D414: 4398046511104

tool: D92: 7850513022320640.0

tool: D875: 6.678823953739284e+18

tool: D87: 3.6065649350192136e+21

tool: D1266: 4.0641505660734776e+26

tool: D1240: 1.3889783205992746e+24

tool: D1021: 9.398348184044917e+28

tool: D231: 1.7642042162621458e+31

tool: D1005: 2.740029673382145e+33

tool: D778: 3.571172007641396e+35

tool: D1123: 3.9479306544475634e+37

tool: D375: 3.7325889823867874e+39

tool: D317: 3.037394284417248e+41

tool: D174: 2.1378582848013708e+43

tool: D499: 1.3063841161768375e+45

tool: D1181: 6.949963498060776e+46

tool: D135: 3.2252174358188286e+48

tool: D941: 1.3071616548701018e+50

tool: D344: 4.629530860998277e+51

tool: D126: 1.432717971719467e+53

tool: D998: 3.871920318571859e+54

tool: D1038: 9.126669322347954e+55

tool: D689: 1.873041454109137e+57

tool: D741: 3.33889998341194e+58

tool: D417: 6.865696563390386e+60

tool: D421: 7.681364787588048e+62

tool: D39: 5.154426849392182e+59

tool: D326: 4.4647932827855524e+64

tool: D1078: 7.85594126003323e+61

tool: D4: 6.378276118265075e+63

tool: D1188: 2.6119040704295483e+65

tool: D173: 1.263824550207846e+66

tool: D1283: 4.996056425040391e+66

tool: D1098: 1.5896543170583063e+67

tool: D491: 3.99751306201427e+67

tool: D726: 7.766596806199153e+67

tool: D627: 1.1326287009040431e+68

tool: D452: 8.639717508674155e+67

tool: D1076: 1.1938518739258834e+68

tool: D161: 3.9875619270803794e+67

tool: D50: 1.0467350058585996e+67

tool: D716: 1.2765061047056094e+66

tool: D1004: 4.558950373948605e+64

tool: {"D573": [0x25,0x9d,0x32,0xcb,0xb9,0x63,0x50,0x42]}

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

tool: D1238: 3.341745964406823e+75

assistant: ```c
double HO_85(const double a, const double x) {
  double retval = sqrt(0.79281884071117079261679e23) * pow(a, 0.3e1 / 0.4e1) * x * (0.4398046511104e13 * pow(a, 0.42e2) * pow(x, 0.84e2) - 0.7850513022320640e16 * pow(a, 0.41e2) * pow(x, 0.82e2) + 0.6678823953739284480e19 * pow(a, 0.40e2) * pow(x, 0.80e2) - 0.3606564935019213619200e22 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.1388978320599274645094400e25 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.406415056607347761154621440e27 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.93983481840449169767006208000e29 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.17642042162621458439120879616000e32 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.2740029673382145263825961615360000e34 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.357117200764139599385316997201920000e36 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.39479306544475632712046794040672256000e38 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.3732588982386787092775333254754467840000e40 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.303739428441724799674592743605644820480000e42 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.21378582848013707054019412338397308518400000e44 * pow(a, 0.29e2) * pow(x, 0.58e2) + 0.1306384116176837598908114803964206959820800000e46 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.69499634980607760261911707570895810262466560000e47 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.3225217435818828874654340179461883694992588800000e49 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.130716165487010182037461199038190462697052569600000e51 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.4629530860998277280493417465935912220520611840000000e52 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.143271797171946686364743656314227178192953671680000000e54 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.3871920318571859199007197311891989490664572977152000000e55 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.91266693223479538262312508066025466565664934461440000000e56 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.1873041454109136887519731699627749916108987177697280000000e58 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.33388999834119396690569130297712063721942814906777600000000e59 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.515442684939218186410660948970929983707492205123379200000000e60 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.6865696563390386242990003840292787382983796172243410944000000e61 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.78559412600332304126520236249504009478372283124708259840000000e62 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.768136478758804751459308976661816981566306768330480762880000000e63 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.6378276118265075168367476324066873150505940129887027763200000000e64 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.44647932827855526178572334268468112053541580909209194342400000000e65 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.261190407042954828144648155470538455513218248318873786903040000000e66 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.1263824550207845942635394300663895752483314104768744130176000000000e67 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.4996056425040390991980543094811962896535601070413941639602000000000e67 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.15896543170583062247210818938038063761704185224044359762370000000000e68 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.39975130620142700651074265270654542694873759901640963520077500000000e68 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.77665968061991532693515715382985968664326162094616729124722000000000e68 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.113262870090404318511377084933521204302142319721316063306886250000000e69 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.119385187392588335728208278713711539669825688354900715377528750000000e69 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.86397175086741558750677043805975456340005432362099201917948437500000e68 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.39875619270803796346466327910450210618464045705584247039053125000000e68 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.10467350058585996540947411076493180287346811997715864847751445312500e68 * a * a * pow(x, 0.4e1) - 0.1276506104705609334261879399572339059432538048501934737530664062500e67 * a * x * x + 0.45589503739486047652209978556154966408304930303640526340380859375e65) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.3341745964406822886648139776401866755953463610874801670351570862080000000000e76;
  return retval;
}
```