user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<HO_86>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D1269(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D699(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1128(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1246(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D206(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D248(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D800(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D817(%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  D246(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D315(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D463(%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  D101(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D826(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D638(%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  D745(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D378(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1182(%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  D668(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D310(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1096(%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  D595(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D414(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1156(%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  D887(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D771(%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  D474(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D873(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-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  D811(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D132(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D284(%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  D537(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1023(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D725(%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  D896(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D223(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1027(%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  D893(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1025(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D71(%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  D86(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D573(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1044(%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  D163(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D77(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D857(%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  D1108(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D379(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1039(%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  D11(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D839(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D911(%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  D940(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1257(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D957(%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  D661(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D287(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D65(%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  D996(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D231(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D688(%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  D1038(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D968(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D330(%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  D555(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D329(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D117(%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  D630(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D20(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D248(%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  D169(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D50(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D101(%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  D402(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1279(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D668(%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  D121(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D609(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D66(%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  D744(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D863(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D811(%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  D202(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D507(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D896(%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  D498(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1130(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D86(%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  D909(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D385(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1108(%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  D251(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D49(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D940(%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  D895(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D281(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D996(%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  D1194(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1070(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D555(%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  D306(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D778(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D169(%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  D274(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D150(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D121(%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  D532(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D93(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D202(%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  D1169(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1026(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D909(%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  D1114(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1323(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D895(%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  D574(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D926(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D306(%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  D787(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D500(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D532(%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  D1248(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D779(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1114(%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  -0x18(%rbp),%xmm1
  movsd  D513(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x18(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D787(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D522(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  D849(%rip),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D705(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D27(%rip),%xmm1
  movapd %xmm0,%xmm5
  divsd  %xmm1,%xmm5
  movq   %xmm5,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D311(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D153(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: parse_data
arguments: data_tag: D1269
type: byte[8]
name: parse_data
arguments: data_tag: D699
type: byte[8]
name: parse_data
arguments: data_tag: D1128
type: f64
name: parse_data
arguments: data_tag: D1246
type: f64
name: parse_data
arguments: data_tag: D206
type: f64
name: parse_data
arguments: data_tag: D248
type: f64
name: parse_data
arguments: data_tag: D800
type: f64
name: parse_data
arguments: data_tag: D817
type: f64
name: parse_data
arguments: data_tag: D246
type: f64
name: parse_data
arguments: data_tag: D315
type: f64
name: parse_data
arguments: data_tag: D463
type: f64
name: parse_data
arguments: data_tag: D101
type: f64
name: parse_data
arguments: data_tag: D826
type: f64
name: parse_data
arguments: data_tag: D638
type: f64
name: parse_data
arguments: data_tag: D745
type: f64
name: parse_data
arguments: data_tag: D378
type: f64
name: parse_data
arguments: data_tag: D1182
type: f64
name: parse_data
arguments: data_tag: D668
type: f64
name: parse_data
arguments: data_tag: D310
type: f64
name: parse_data
arguments: data_tag: D1096
type: f64
name: parse_data
arguments: data_tag: D595
type: f64
name: parse_data
arguments: data_tag: D414
type: f64
name: parse_data
arguments: data_tag: D1156
type: f64
name: parse_data
arguments: data_tag: D66
type: f64
name: parse_data
arguments: data_tag: D887
type: f64
name: parse_data
arguments: data_tag: D771
type: f64
name: parse_data
arguments: data_tag: D474
type: f64
name: parse_data
arguments: data_tag: D873
type: f64
name: parse_data
arguments: data_tag: D291
type: f64
name: parse_data
arguments: data_tag: D811
type: f64
name: parse_data
arguments: data_tag: D132
type: f64
name: parse_data
arguments: data_tag: D284
type: f64
name: parse_data
arguments: data_tag: D537
type: f64
name: parse_data
arguments: data_tag: D1023
type: f64
name: parse_data
arguments: data_tag: D725
type: f64
name: parse_data
arguments: data_tag: D896
type: f64
name: parse_data
arguments: data_tag: D223
type: f64
name: parse_data
arguments: data_tag: D1027
type: f64
name: parse_data
arguments: data_tag: D893
type: f64
name: parse_data
arguments: data_tag: D1025
type: f64
name: parse_data
arguments: data_tag: D71
type: f64
name: parse_data
arguments: data_tag: D86
type: f64
name: parse_data
arguments: data_tag: D573
type: f64
name: parse_data
arguments: data_tag: D1044
type: f64
name: parse_data
arguments: data_tag: D163
type: f64
name: parse_data
arguments: data_tag: D77
type: f64
name: parse_data
arguments: data_tag: D857
type: f64
name: parse_data
arguments: data_tag: D1108
type: f64
name: parse_data
arguments: data_tag: D379
type: f64
name: parse_data
arguments: data_tag: D1039
type: f64
name: parse_data
arguments: data_tag: D11
type: f64
name: parse_data
arguments: data_tag: D839
type: f64
name: parse_data
arguments: data_tag: D911
type: f64
name: parse_data
arguments: data_tag: D940
type: f64
name: parse_data
arguments: data_tag: D1257
type: f64
name: parse_data
arguments: data_tag: D957
type: f64
name: parse_data
arguments: data_tag: D661
type: f64
name: parse_data
arguments: data_tag: D287
type: f64
name: parse_data
arguments: data_tag: D65
type: f64
name: parse_data
arguments: data_tag: D996
type: f64
name: parse_data
arguments: data_tag: D231
type: f64
name: parse_data
arguments: data_tag: D688
type: f64
name: parse_data
arguments: data_tag: D1038
type: f64
name: parse_data
arguments: data_tag: D968
type: f64
name: parse_data
arguments: data_tag: D330
type: f64
name: parse_data
arguments: data_tag: D555
type: f64
name: parse_data
arguments: data_tag: D329
type: f64
name: parse_data
arguments: data_tag: D117
type: f64
name: parse_data
arguments: data_tag: D630
type: f64
name: parse_data
arguments: data_tag: D20
type: f64
name: parse_data
arguments: data_tag: D169
type: f64
name: parse_data
arguments: data_tag: D50
type: f64
name: parse_data
arguments: data_tag: D402
type: f64
name: parse_data
arguments: data_tag: D1279
type: f64
name: parse_data
arguments: data_tag: D121
type: f64
name: parse_data
arguments: data_tag: D609
type: f64
name: parse_data
arguments: data_tag: D744
type: f64
name: parse_data
arguments: data_tag: D863
type: f64
name: parse_data
arguments: data_tag: D202
type: f64
name: parse_data
arguments: data_tag: D507
type: f64
name: parse_data
arguments: data_tag: D498
type: f64
name: parse_data
arguments: data_tag: D1130
type: f64
name: parse_data
arguments: data_tag: D909
type: f64
name: parse_data
arguments: data_tag: D385
type: f64
name: parse_data
arguments: data_tag: D251
type: f64
name: parse_data
arguments: data_tag: D49
type: f64
name: parse_data
arguments: data_tag: D895
type: f64
name: parse_data
arguments: data_tag: D281
type: f64
name: parse_data
arguments: data_tag: D1194
type: f64
name: parse_data
arguments: data_tag: D1070
type: f64
name: parse_data
arguments: data_tag: D306
type: f64
name: parse_data
arguments: data_tag: D778
type: f64
name: parse_data
arguments: data_tag: D274
type: f64
name: parse_data
arguments: data_tag: D150
type: f64
name: parse_data
arguments: data_tag: D532
type: f64
name: parse_data
arguments: data_tag: D93
type: f64
name: parse_data
arguments: data_tag: D1169
type: f64
name: parse_data
arguments: data_tag: D1026
type: f64
name: parse_data
arguments: data_tag: D1114
type: f64
name: parse_data
arguments: data_tag: D1323
type: f64
name: parse_data
arguments: data_tag: D574
type: f64
name: parse_data
arguments: data_tag: D926
type: f64
name: parse_data
arguments: data_tag: D787
type: f64
name: parse_data
arguments: data_tag: D500
type: f64
name: parse_data
arguments: data_tag: D1248
type: f64
name: parse_data
arguments: data_tag: D779
type: f64
name: parse_data
arguments: data_tag: D513
type: f64
name: parse_data
arguments: data_tag: D522
type: f64
name: parse_data
arguments: data_tag: D849
type: f64
name: parse_data
arguments: data_tag: D705
type: byte[8]
name: parse_data
arguments: data_tag: D27
type: f64
name: parse_data
arguments: data_tag: D311
type: byte[8]
name: parse_data
arguments: data_tag: D153
type: f64

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

tool: {"D699": [0x8e,0x4c,0x90,0xc8,0xbc,0xfe,0x23,0x42]}

tool: D1128: 43

tool: D1246: 8796093022208

tool: D206: 86

tool: D248: 42

tool: D800: 1.607485999808512e+16

tool: D817: 84

tool: D246: 41

tool: D315: 1.4009240488331182e+19

tool: D463: 82

tool: D101: 40

tool: D826: 7.754114610291309e+21

tool: D638: 80

tool: D745: 39

tool: D378: 3.062875271065067e+24

tool: D1182: 78

tool: D668: 38

tool: D310: 9.197814439008397e+26

tool: D1096: 76

tool: D595: 37

tool: D414: 2.184480929264494e+29

tool: D1156: 74

tool: D66: 36

tool: D887: 4.21448784995957e+31

tool: D771: 72

tool: D474: 35

tool: D873: 6.732644340310414e+33

tool: D291: 70

tool: D811: 34

tool: D132: 9.032964489916473e+35

tool: D284: 68

tool: D537: 33

tool: D1023: 1.028854655401486e+38

tool: D725: 66

tool: D896: 32

tool: D223: 1.0031332890164491e+40

tool: D1027: 64

tool: D893: 31

tool: D1025: 8.426319627738172e+41

tool: D71: 62

tool: D86: 30

tool: D573: 6.128527083097263e+43

tool: D1044: 60

tool: D163: 29

tool: D77: 3.874104620386484e+45

tool: D857: 58

tool: D1108: 28

tool: D379: 2.1346316458329526e+47

tool: D1039: 56

tool: D11: 27

tool: D839: 1.0272914795571085e+49

tool: D911: 54

tool: D940: 26

tool: D1257: 4.323688550724183e+50

tool: D957: 52

tool: D661: 25

tool: D287: 1.5925586161834074e+52

tool: D65: 50

tool: D996: 24

tool: D231: 5.1339060653280896e+53

tool: D688: 48

tool: D1038: 23

tool: D968: 1.4477615104225212e+55

tool: D330: 46

tool: D555: 22

tool: D329: 3.5676980078269273e+56

tool: D117: 44

tool: D630: 21

tool: D20: 7.670550716827894e+57

tool: D169: 20

tool: D50: 1.435726992867134e+59

tool: D402: 19

tool: D1279: 2.3330563634090927e+60

tool: D121: 18

tool: D609: 3.2802772469531844e+61

tool: D744: 17

tool: D863: 3.9741820491932813e+62

tool: D202: 16

tool: D507: 4.1287335733285754e+63

tool: D498: 15

tool: D1130: 3.65687830780531e+64

tool: D909: 14

tool: D385: 2.7426587308539825e+65

tool: D251: 13

tool: D49: 1.7278750004380088e+66

tool: D895: 12

tool: D281: 9.057409276489562e+66

tool: D1194: 11

tool: D1070: 3.9060077504861237e+67

tool: D306: 10

tool: D778: 1.3671027126701433e+68

tool: D274: 9

tool: D150: 3.8198458148136357e+68

tool: D532: 8

tool: D93: 8.34909156666409e+68

tool: D1169: 7

tool: D1026: 1.3915152611106815e+69

tool: D1114: 6

tool: D1323: 1.7111876859604329e+69

tool: D574: 5

tool: D926: 1.4860314114919547e+69

tool: D787: 4

tool: D500: 8.573258143222816e+68

tool: D1248: 3

tool: D779: 3.000640350127986e+68

tool: D513: 5.48897625023412e+67

tool: D522: 3.9206973215958e+66

tool: D849: 4.558950373948605e+64

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

tool: D27: 2

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

tool: D153: 6.683491928813646e+75

assistant: ```c
double HO_86(const double a, const double x) {
  double retval = sqrt(0.1843764745839932075853e22) * pow(a, 0.1e1 / 0.4e1) * (0.8796093022208e13 * pow(a, 0.43e2) * pow(x, 0.86e2) - 0.16074859998085120e17 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.14009240488331182080e20 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.7754114610291309281280e22 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.3062875271065067166105600e25 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.919781443900839669981511680e27 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.218448092926449421620609024000e30 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.42144878499595706271233212416000e32 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.6732644340310414076829505683456000e34 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.903296448991647221974625345863680000e36 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.102885465540148618582909826893873152000e39 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.10031332890164490311833708122152632320000e41 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.842631962773817186194031482260821114880000e42 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.61285270830972626888188982036738951086080000e44 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.3874104620386483914003374935893855122227200000e46 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.213463164583295263661585958967751417234718720000e48 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.10272914795571084563713824275323036954420838400000e50 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.432368855072418294431602427587860761228712345600000e51 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.15925586161834073844897356082819538038590904729600000e53 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.513390606532808959473664768459314055191417323520000000e54 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.14477615104225212657157346470552656356397968523264000000e56 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.356769800782692740479948895167190460211235652894720000000e57 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.7670550716827893920318901246094594894541566537236480000000e58 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.143572699286713405769447260280161874004354104099143680000000e60 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.2333056363409092843753517979552630452570754191611084800000000e61 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.32802772469531845383174462792509984163144803934051852288000000e62 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.397418204919328126757690606909255577361177432277935902720000000e63 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.4128733573328575539093785749557266275918898879776334100480000000e64 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.36568783078053097631973530924650072729567390078018959175680000000e65 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.274265873085398232239801481934875545471755425585142193817600000000e66 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.1727875000438008863110749336189715936472059181186395821050880000000e67 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.9057409276489562588886992488091252892797084417509332932928000000000e67 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.39060077504861238664575155104893528100187426550508998273252000000000e68 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.136710271267014335326013042867127348350655992926781493956382000000000e69 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.381984581481363583999154090364032296862127039060124762525185000000000e69 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.834909156666408976455293940367099163141506242517129838090761500000000e69 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.1391515261110681627425489900611831938569177070861883063484602500000000e70 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.1711187685960432812104318661563198735267501533086910253744578750000000e70 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.1486031411491954810511645153462777849048093436628106272988713125000000e70 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.857325814322281621449026050074679528296976982670061311339642187500000e69 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.300064035012798567507159117526137834903941943934521458968874765625000e69 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.54889762502341201373260814181610579555599136085583193713818554687500e68 * a * a * pow(x, 0.4e1) + 0.3920697321595800098090058155829327111114224006113085265272753906250e67 * a * x * x - 0.45589503739486047652209978556154966408304930303640526340380859375e65) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.6683491928813645773296279552803733511906927221749603340703141724160000000000e76;
  return retval;
}
```