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

```asm
<HO_76>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D245(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D104(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D860(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D388(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D787(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D813(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1017(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D374(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D638(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1043(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D610(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D660(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D865(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D739(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D986(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D364(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D626(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D66(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1012(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D545(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D1042(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1002(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D632(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D777(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D143(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D958(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D384(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D941(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D895(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1113(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D166(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D230(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1073(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D655(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D641(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D337(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D96(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D383(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D609(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D716(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D291(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D434(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D60(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D775(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D838(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D984(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1120(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D590(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D320(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D119(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D1175(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1130(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1089(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D494(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D128(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D56(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D296(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D613(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D476(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D219(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D79(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D860(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D153(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D845(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D638(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D852(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D335(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D986(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D663(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D485(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1042(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1141(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D197(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D384(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D23(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D18(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1073(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D978(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D321(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D609(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D453(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D31(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D838(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D349(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D880(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1175(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D893(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1080(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D296(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D385(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D331(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D153(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D644(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D350(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D663(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D565(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D194(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D23(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D943(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D344(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D453(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D67(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D344(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D893(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1144(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D731(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D644(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D373(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D495(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D943(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D33(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm5
  mulsd  -0x18(%rbp),%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1144(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D520(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x20(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D715(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D11(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D397(%rip),%xmm1
  movapd %xmm0,%xmm3
  divsd  %xmm1,%xmm3
  movq   %xmm3,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D861(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D317(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: read_data
arguments: tag: D245
type_infered: byte[8]
name: read_data
arguments: tag: D104
type_infered: byte[8]
name: read_data
arguments: tag: D860
type_infered: f64
name: read_data
arguments: tag: D388
type_infered: f64
name: read_data
arguments: tag: D787
type_infered: f64
name: read_data
arguments: tag: D813
type_infered: f64
name: read_data
arguments: tag: D1017
type_infered: f64
name: read_data
arguments: tag: D374
type_infered: f64
name: read_data
arguments: tag: D638
type_infered: f64
name: read_data
arguments: tag: D1043
type_infered: f64
name: read_data
arguments: tag: D610
type_infered: f64
name: read_data
arguments: tag: D660
type_infered: f64
name: read_data
arguments: tag: D865
type_infered: f64
name: read_data
arguments: tag: D739
type_infered: f64
name: read_data
arguments: tag: D986
type_infered: f64
name: read_data
arguments: tag: D364
type_infered: f64
name: read_data
arguments: tag: D626
type_infered: f64
name: read_data
arguments: tag: D66
type_infered: f64
name: read_data
arguments: tag: D1012
type_infered: f64
name: read_data
arguments: tag: D545
type_infered: f64
name: read_data
arguments: tag: D1042
type_infered: f64
name: read_data
arguments: tag: D1002
type_infered: f64
name: read_data
arguments: tag: D632
type_infered: f64
name: read_data
arguments: tag: D777
type_infered: f64
name: read_data
arguments: tag: D143
type_infered: f64
name: read_data
arguments: tag: D958
type_infered: f64
name: read_data
arguments: tag: D384
type_infered: f64
name: read_data
arguments: tag: D941
type_infered: f64
name: read_data
arguments: tag: D895
type_infered: f64
name: read_data
arguments: tag: D1113
type_infered: f64
name: read_data
arguments: tag: D166
type_infered: f64
name: read_data
arguments: tag: D230
type_infered: f64
name: read_data
arguments: tag: D1073
type_infered: f64
name: read_data
arguments: tag: D655
type_infered: f64
name: read_data
arguments: tag: D641
type_infered: f64
name: read_data
arguments: tag: D337
type_infered: f64
name: read_data
arguments: tag: D96
type_infered: f64
name: read_data
arguments: tag: D383
type_infered: f64
name: read_data
arguments: tag: D609
type_infered: f64
name: read_data
arguments: tag: D716
type_infered: f64
name: read_data
arguments: tag: D291
type_infered: f64
name: read_data
arguments: tag: D434
type_infered: f64
name: read_data
arguments: tag: D60
type_infered: f64
name: read_data
arguments: tag: D775
type_infered: f64
name: read_data
arguments: tag: D838
type_infered: f64
name: read_data
arguments: tag: D984
type_infered: f64
name: read_data
arguments: tag: D1120
type_infered: f64
name: read_data
arguments: tag: D590
type_infered: f64
name: read_data
arguments: tag: D320
type_infered: f64
name: read_data
arguments: tag: D119
type_infered: f64
name: read_data
arguments: tag: D1175
type_infered: f64
name: read_data
arguments: tag: D1130
type_infered: f64
name: read_data
arguments: tag: D1089
type_infered: f64
name: read_data
arguments: tag: D494
type_infered: f64
name: read_data
arguments: tag: D128
type_infered: f64
name: read_data
arguments: tag: D56
type_infered: f64
name: read_data
arguments: tag: D296
type_infered: f64
name: read_data
arguments: tag: D613
type_infered: f64
name: read_data
arguments: tag: D476
type_infered: f64
name: read_data
arguments: tag: D219
type_infered: f64
name: read_data
arguments: tag: D79
type_infered: f64
name: read_data
arguments: tag: D153
type_infered: f64
name: read_data
arguments: tag: D845
type_infered: f64
name: read_data
arguments: tag: D852
type_infered: f64
name: read_data
arguments: tag: D335
type_infered: f64
name: read_data
arguments: tag: D663
type_infered: f64
name: read_data
arguments: tag: D485
type_infered: f64
name: read_data
arguments: tag: D1141
type_infered: f64
name: read_data
arguments: tag: D197
type_infered: f64
name: read_data
arguments: tag: D23
type_infered: f64
name: read_data
arguments: tag: D18
type_infered: f64
name: read_data
arguments: tag: D978
type_infered: f64
name: read_data
arguments: tag: D321
type_infered: f64
name: read_data
arguments: tag: D453
type_infered: f64
name: read_data
arguments: tag: D31
type_infered: f64
name: read_data
arguments: tag: D349
type_infered: f64
name: read_data
arguments: tag: D880
type_infered: f64
name: read_data
arguments: tag: D893
type_infered: f64
name: read_data
arguments: tag: D1080
type_infered: f64
name: read_data
arguments: tag: D385
type_infered: f64
name: read_data
arguments: tag: D331
type_infered: f64
name: read_data
arguments: tag: D644
type_infered: f64
name: read_data
arguments: tag: D350
type_infered: f64
name: read_data
arguments: tag: D565
type_infered: f64
name: read_data
arguments: tag: D194
type_infered: f64
name: read_data
arguments: tag: D943
type_infered: f64
name: read_data
arguments: tag: D344
type_infered: f64
name: read_data
arguments: tag: D67
type_infered: f64
name: read_data
arguments: tag: D1144
type_infered: f64
name: read_data
arguments: tag: D731
type_infered: f64
name: read_data
arguments: tag: D373
type_infered: f64
name: read_data
arguments: tag: D495
type_infered: f64
name: read_data
arguments: tag: D33
type_infered: f64
name: read_data
arguments: tag: D520
type_infered: f64
name: read_data
arguments: tag: D715
type_infered: f64
name: read_data
arguments: tag: D11
type_infered: byte[8]
name: read_data
arguments: tag: D397
type_infered: f64
name: read_data
arguments: tag: D861
type_infered: byte[8]
name: read_data
arguments: tag: D317
type_infered: f64

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

tool: {"D104": [0x82,0xa0,0xb2,0x9d,0x93,0xed,0xfe,0x41]}

tool: D860: 38

tool: D388: 274877906944

tool: D787: 76

tool: D813: 37

tool: D1017: 391701017395200

tool: D374: 74

tool: D638: 36

tool: D1043: 2.644961119961088e+17

tool: D610: 72

tool: D660: 35

tool: D865: 1.1267534371034235e+20

tool: D739: 70

tool: D986: 34

tool: D364: 3.4013869382559597e+22

tool: D626: 68

tool: D66: 33

tool: D1012: 7.748359445347076e+24

tool: D545: 66

tool: D1042: 32

tool: D1002: 1.3850192508557898e+27

tool: D632: 64

tool: D777: 31

tool: D143: 1.9944277212323374e+29

tool: D958: 62

tool: D384: 30

tool: D941: 2.357164263031469e+31

tool: D895: 60

tool: D1113: 29

tool: D166: 2.3178781919809442e+33

tool: D230: 58

tool: D1073: 28

tool: D655: 1.9157263256722503e+35

tool: D641: 56

tool: D337: 27

tool: D96: 1.3410084279705754e+37

tool: D383: 54

tool: D609: 26

tool: D716: 7.995762751774555e+38

tool: D291: 52

tool: D434: 25

tool: D60: 4.077839003405023e+40

tool: D775: 50

tool: D838: 24

tool: D984: 1.7840545639896975e+42

tool: D1120: 48

tool: D590: 23

tool: D320: 6.708045160601263e+43

tool: D119: 46

tool: D1175: 22

tool: D1130: 2.169633356631971e+45

tool: D1089: 44

tool: D494: 21

tool: D128: 6.036685751099543e+46

tool: D56: 42

tool: D296: 20

tool: D613: 1.4437740088046406e+48

tool: D476: 40

tool: D219: 19

tool: D79: 2.9635361233358416e+49

tool: D153: 18

tool: D845: 5.2084147367627415e+50

tool: D852: 17

tool: D335: 7.812622105144112e+51

tool: D663: 16

tool: D485: 9.961093184058743e+52

tool: D1141: 15

tool: D197: 1.074065699846334e+54

tool: D23: 14

tool: D18: 9.733720404857402e+54

tool: D978: 13

tool: D321: 7.358692626072196e+55

tool: D453: 12

tool: D31: 4.599182891295123e+56

tool: D349: 11

tool: D880: 2.3506934777730624e+57

tool: D893: 10

tool: D1080: 9.696610595813883e+57

tool: D385: 9

tool: D331: 3.1764758848355826e+58

tool: D644: 8

tool: D350: 8.100013506330735e+58

tool: D565: 7

tool: D194: 1.5677445496124002e+59

tool: D943: 6

tool: D344: 2.2291367814801316e+59

tool: D67: 5

tool: D1144: 4

tool: D731: 1.4751640465677343e+59

tool: D373: 3

tool: D495: 5.900656186270937e+58

tool: D33: 1.2293033721397786e+58

tool: D520: 9.967324638971177e+56

tool: D715: 1.3114900840751548e+55

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

tool: D397: 2

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

tool: D317: 3.6049964928838915e+65

assistant: ```c
double HO_76(const double a, const double x) {
  double retval = sqrt(0.68926206486932613546e20) * pow(a, 0.1e1 / 0.4e1) * (0.274877906944e12 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.391701017395200e15 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.264496111996108800e18 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.112675343710342348800e21 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.34013869382559596544000e23 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.7748359445347076092723200e25 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.1385019250855789851574272000e28 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.199442772123233738626695168000e30 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.23571642630314687483942535168000e32 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.2317878191980944269254349291520000e34 * pow(a, 0.29e2) * pow(x, 0.58e2) + 0.191572632567225043853871968944128000e36 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.13410084279705753069771037826088960000e38 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.799576275177455526785098130380554240000e39 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.40778390034050231866040004649408266240000e41 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.1784054563989697644139250203411611648000000e43 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.67080451606012631419635807648276597964800000e44 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.2169633356631971047478845653623946215424000000e46 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.60366857510995429732793764362595679993856000000e47 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.1443774008804640694442650864338746679853056000000e49 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.29635361233358414254349149320637431849615360000000e50 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.520841473676274130520186299310202864756989952000000e51 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.7812622105144111957802794489653042971354849280000000e52 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.99610931840587427461985629743076297884774328320000000e53 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.1074065699846334000459671138099257472844523192320000000e55 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.9733720404857401879165769689024520847653491430400000000e55 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.73586926260721958206493218849025377608260395213824000000e56 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.459918289129512238790582617806408610051627470086400000000e57 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.2350693477773062553818533379899421784708318180441600000000e58 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.9696610595813883034501450192085114861921812494321600000000e58 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.31764758848355823733711647180968479720088696102088000000000e59 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.81000135063307350520964700311469623286226175060324400000000e59 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.156774454961240033266383290925425077328179693665144000000000e60 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.222913678148013172300638741784588781826005501930126625000000e60 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.222913678148013172300638741784588781826005501930126625000000e60 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.147516404656773422846010932063330811502503640983172031250000e60 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.59006561862709369138404372825332324601001456393268812500000e59 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.12293033721397785237167577671944234291875303415264335937500e59 * a * a * pow(x, 0.4e1) - 0.996732463897117721932506297725208185827727303940351562500e57 * a * x * x + 0.13114900840751548972796135496384318234575359262373046875e56) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.360499649288389164156811492045794387614448796667794685952000000000e66;
  return retval;
}
```