user: Demonstrate the C code that generates the assembly output below:

```asm
<HO_82>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D219(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D775(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D650(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D304(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D484(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D420(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D805(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D491(%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  D715(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D181(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1022(%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  D387(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D753(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1063(%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  D467(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D789(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D511(%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  D300(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D850(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D607(%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  D1149(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1177(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D575(%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  D476(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D437(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D394(%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  D87(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D80(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D762(%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  D475(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D233(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1088(%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  D562(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D545(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D820(%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  D461(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D459(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D695(%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  D1210(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D653(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D264(%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  D1167(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D648(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D83(%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  D694(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1021(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1203(%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  D329(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D254(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D216(%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  D1111(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D742(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D702(%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  D1014(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D161(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1097(%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  D1236(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D756(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D973(%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  D703(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D567(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D746(%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  D248(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D507(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D143(%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  D316(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D961(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D420(%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  D736(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1139(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D387(%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  D616(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D449(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D300(%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  D482(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D17(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-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  D436(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D592(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D475(%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  D1195(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D242(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D461(%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  D1155(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D906(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1167(%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  D811(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D339(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D329(%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  D221(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D410(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1014(%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  D319(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D284(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D703(%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  D881(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D85(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D316(%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  D935(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D210(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D616(%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  D1182(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D195(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D436(%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  D7(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1231(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1155(%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  D1067(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D586(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D221(%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  D354(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1249(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D881(%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  D861(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1182(%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  D269(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D550(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1067(%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  D186(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x18(%rbp),%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D494(%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  D1073(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  D827(%rip),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D1000(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D214(%rip),%xmm1
  movapd %xmm0,%xmm4
  divsd  %xmm1,%xmm4
  movq   %xmm4,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D1226(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D909(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D219
datatype: byte[8]
name: extract_symbolic_data
arguments: label: D775
datatype: byte[8]
name: extract_symbolic_data
arguments: label: D650
datatype: f64
name: extract_symbolic_data
arguments: label: D304
datatype: f64
name: extract_symbolic_data
arguments: label: D484
datatype: f64
name: extract_symbolic_data
arguments: label: D420
datatype: f64
name: extract_symbolic_data
arguments: label: D805
datatype: f64
name: extract_symbolic_data
arguments: label: D491
datatype: f64
name: extract_symbolic_data
arguments: label: D715
datatype: f64
name: extract_symbolic_data
arguments: label: D181
datatype: f64
name: extract_symbolic_data
arguments: label: D1022
datatype: f64
name: extract_symbolic_data
arguments: label: D387
datatype: f64
name: extract_symbolic_data
arguments: label: D753
datatype: f64
name: extract_symbolic_data
arguments: label: D1063
datatype: f64
name: extract_symbolic_data
arguments: label: D467
datatype: f64
name: extract_symbolic_data
arguments: label: D789
datatype: f64
name: extract_symbolic_data
arguments: label: D511
datatype: f64
name: extract_symbolic_data
arguments: label: D300
datatype: f64
name: extract_symbolic_data
arguments: label: D850
datatype: f64
name: extract_symbolic_data
arguments: label: D607
datatype: f64
name: extract_symbolic_data
arguments: label: D1149
datatype: f64
name: extract_symbolic_data
arguments: label: D1177
datatype: f64
name: extract_symbolic_data
arguments: label: D575
datatype: f64
name: extract_symbolic_data
arguments: label: D476
datatype: f64
name: extract_symbolic_data
arguments: label: D437
datatype: f64
name: extract_symbolic_data
arguments: label: D394
datatype: f64
name: extract_symbolic_data
arguments: label: D87
datatype: f64
name: extract_symbolic_data
arguments: label: D80
datatype: f64
name: extract_symbolic_data
arguments: label: D762
datatype: f64
name: extract_symbolic_data
arguments: label: D475
datatype: f64
name: extract_symbolic_data
arguments: label: D233
datatype: f64
name: extract_symbolic_data
arguments: label: D1088
datatype: f64
name: extract_symbolic_data
arguments: label: D562
datatype: f64
name: extract_symbolic_data
arguments: label: D545
datatype: f64
name: extract_symbolic_data
arguments: label: D820
datatype: f64
name: extract_symbolic_data
arguments: label: D461
datatype: f64
name: extract_symbolic_data
arguments: label: D459
datatype: f64
name: extract_symbolic_data
arguments: label: D695
datatype: f64
name: extract_symbolic_data
arguments: label: D1210
datatype: f64
name: extract_symbolic_data
arguments: label: D653
datatype: f64
name: extract_symbolic_data
arguments: label: D264
datatype: f64
name: extract_symbolic_data
arguments: label: D1167
datatype: f64
name: extract_symbolic_data
arguments: label: D648
datatype: f64
name: extract_symbolic_data
arguments: label: D83
datatype: f64
name: extract_symbolic_data
arguments: label: D694
datatype: f64
name: extract_symbolic_data
arguments: label: D1021
datatype: f64
name: extract_symbolic_data
arguments: label: D1203
datatype: f64
name: extract_symbolic_data
arguments: label: D329
datatype: f64
name: extract_symbolic_data
arguments: label: D254
datatype: f64
name: extract_symbolic_data
arguments: label: D216
datatype: f64
name: extract_symbolic_data
arguments: label: D1111
datatype: f64
name: extract_symbolic_data
arguments: label: D742
datatype: f64
name: extract_symbolic_data
arguments: label: D702
datatype: f64
name: extract_symbolic_data
arguments: label: D1014
datatype: f64
name: extract_symbolic_data
arguments: label: D161
datatype: f64
name: extract_symbolic_data
arguments: label: D1097
datatype: f64
name: extract_symbolic_data
arguments: label: D1236
datatype: f64
name: extract_symbolic_data
arguments: label: D756
datatype: f64
name: extract_symbolic_data
arguments: label: D973
datatype: f64
name: extract_symbolic_data
arguments: label: D703
datatype: f64
name: extract_symbolic_data
arguments: label: D567
datatype: f64
name: extract_symbolic_data
arguments: label: D746
datatype: f64
name: extract_symbolic_data
arguments: label: D248
datatype: f64
name: extract_symbolic_data
arguments: label: D507
datatype: f64
name: extract_symbolic_data
arguments: label: D143
datatype: f64
name: extract_symbolic_data
arguments: label: D316
datatype: f64
name: extract_symbolic_data
arguments: label: D961
datatype: f64
name: extract_symbolic_data
arguments: label: D736
datatype: f64
name: extract_symbolic_data
arguments: label: D1139
datatype: f64
name: extract_symbolic_data
arguments: label: D616
datatype: f64
name: extract_symbolic_data
arguments: label: D449
datatype: f64
name: extract_symbolic_data
arguments: label: D482
datatype: f64
name: extract_symbolic_data
arguments: label: D17
datatype: f64
name: extract_symbolic_data
arguments: label: D436
datatype: f64
name: extract_symbolic_data
arguments: label: D592
datatype: f64
name: extract_symbolic_data
arguments: label: D1195
datatype: f64
name: extract_symbolic_data
arguments: label: D242
datatype: f64
name: extract_symbolic_data
arguments: label: D1155
datatype: f64
name: extract_symbolic_data
arguments: label: D906
datatype: f64
name: extract_symbolic_data
arguments: label: D811
datatype: f64
name: extract_symbolic_data
arguments: label: D339
datatype: f64
name: extract_symbolic_data
arguments: label: D221
datatype: f64
name: extract_symbolic_data
arguments: label: D410
datatype: f64
name: extract_symbolic_data
arguments: label: D319
datatype: f64
name: extract_symbolic_data
arguments: label: D284
datatype: f64
name: extract_symbolic_data
arguments: label: D881
datatype: f64
name: extract_symbolic_data
arguments: label: D85
datatype: f64
name: extract_symbolic_data
arguments: label: D935
datatype: f64
name: extract_symbolic_data
arguments: label: D210
datatype: f64
name: extract_symbolic_data
arguments: label: D1182
datatype: f64
name: extract_symbolic_data
arguments: label: D195
datatype: f64
name: extract_symbolic_data
arguments: label: D7
datatype: f64
name: extract_symbolic_data
arguments: label: D1231
datatype: f64
name: extract_symbolic_data
arguments: label: D1067
datatype: f64
name: extract_symbolic_data
arguments: label: D586
datatype: f64
name: extract_symbolic_data
arguments: label: D354
datatype: f64
name: extract_symbolic_data
arguments: label: D1249
datatype: f64
name: extract_symbolic_data
arguments: label: D494
datatype: f64
name: extract_symbolic_data
arguments: label: D861
datatype: f64
name: extract_symbolic_data
arguments: label: D269
datatype: f64
name: extract_symbolic_data
arguments: label: D550
datatype: f64
name: extract_symbolic_data
arguments: label: D186
datatype: f64
name: extract_symbolic_data
arguments: label: D1073
datatype: f64
name: extract_symbolic_data
arguments: label: D827
datatype: f64
name: extract_symbolic_data
arguments: label: D1000
datatype: byte[8]
name: extract_symbolic_data
arguments: label: D214
datatype: f64
name: extract_symbolic_data
arguments: label: D1226
datatype: byte[8]
name: extract_symbolic_data
arguments: label: D909
datatype: f64

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

tool: {"D775": [0x83,0xca,0xf2,0x22,0x08,0x45,0xf3,0x41]}

tool: D650: 41

tool: D304: 2199023255552

tool: D484: 82

tool: D420: 40

tool: D805: 3651478115844096.0

tool: D491: 80

tool: D715: 39

tool: D181: 2.884667711516836e+18

tool: D1022: 78

tool: D387: 38

tool: D753: 1.4437761896141763e+21

tool: D1063: 76

tool: D467: 37

tool: D789: 5.143452675500503e+23

tool: D511: 74

tool: D300: 36

tool: D850: 1.389246567652686e+26

tool: D607: 72

tool: D1149: 35

tool: D1177: 2.959095189100221e+28

tool: D575: 70

tool: D476: 34

tool: D437: 5.104439201197882e+30

tool: D394: 68

tool: D87: 33

tool: D80: 7.267445312705483e+32

tool: D762: 66

tool: D475: 32

tool: D233: 8.660372330974034e+34

tool: D1088: 64

tool: D562: 31

tool: D545: 8.729655309621827e+36

tool: D820: 62

tool: D461: 30

tool: D459: 7.503535541134033e+38

tool: D695: 60

tool: D1210: 29

tool: D653: 5.53385746158635e+40

tool: D264: 58

tool: D1167: 28

tool: D648: 3.5182563015393217e+42

tool: D83: 56

tool: D694: 27

tool: D1021: 1.935040965846627e+44

tool: D1203: 54

tool: D329: 26

tool: D254: 9.23014540708841e+45

tool: D216: 52

tool: D1111: 25

tool: D742: 3.82474150306226e+47

tool: D702: 50

tool: D1014: 24

tool: D161: 1.3780318650739025e+49

tool: D1097: 48

tool: D1236: 23

tool: D756: 4.317833177231561e+50

tool: D973: 46

tool: D703: 22

tool: D567: 1.1760414048512279e+52

tool: D746: 44

tool: D248: 21

tool: D507: 2.781337922473154e+53

tool: D143: 42

tool: D316: 20

tool: D961: 5.701742741069966e+54

tool: D736: 19

tool: D1139: 1.0107634859169484e+56

tool: D616: 18

tool: D449: 1.544710283912206e+57

tool: D482: 17

tool: D17: 2.0274322476347704e+58

tool: D436: 16

tool: D592: 2.2747789818462122e+59

tool: D1195: 15

tool: D242: 2.1697891826840795e+60

tool: D1155: 14

tool: D906: 1.7478857304955085e+61

tool: D811: 13

tool: D339: 1.1798228680844682e+62

tool: D221: 12

tool: D410: 6.6110764159905545e+62

tool: D319: 11

tool: D284: 3.041095151355655e+63

tool: D881: 10

tool: D85: 1.1330531934889618e+64

tool: D935: 9

tool: D210: 3.3637516681703555e+64

tool: D1182: 8

tool: D195: 7.797787958031279e+64

tool: D7: 7

tool: D1231: 1.3760802278878727e+65

tool: D1067: 6

tool: D586: 1.7889042962542346e+65

tool: D354: 5

tool: D1249: 1.6398289382330483e+65

tool: D494: 4

tool: D861: 9.971932732498267e+64

tool: D269: 3

tool: D550: 3.673869954078309e+64

tool: D186: 7.065134527073671e+63

tool: D1073: 5.2988508953052525e+62

tool: D827: 6.462013286957625e+60

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

tool: D214: 2

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

tool: D909: 1.1277871028337967e+71

assistant: ```c
double HO_82(const double a, const double x) {
  double retval = sqrt(0.26756398390576450090e20) * pow(a, 0.1e1 / 0.4e1) * (0.2199023255552e13 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.3651478115844096e16 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.2884667711516835840e19 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.1443776189614176337920e22 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.514345267550050320384000e24 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.138924656765268591535718400e27 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.29590951891002209997108019200e29 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.5104439201197881224501133312000e31 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.726744531270548339338348855296000e33 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.86603723309740343771153238589440000e35 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.8729655309621826652132246449815552000e37 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.750353554113403372690094456209145856000e39 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.55338574615863498735894466145424506880000e41 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.3518256301539321669632059713014873456640000e43 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.193504096584662691829763284215818040115200000e45 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.9230145407088410400279708657094520513495040000e46 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.382474150306226005961590427478354193777950720000e48 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.13780318650739025214792596284146584922882048000000e50 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.431783317723156123396834683569926327583637504000000e51 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.11760414048512278624097997302496677606554337280000000e53 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.278133792247315389459917636204046425395010076672000000e54 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.5701742741069965483928311542182951720597706571776000000e55 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.101076348591694842669638250065970507774232071045120000000e57 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.1544710283912205965146862821660375368810546650972160000000e58 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.20274322476347703292552574534292426715638424794009600000000e59 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.227477898184621230942439886274761027749463126188787712000000e60 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.2169789182684079433604811222928489803148725203646898176000000e61 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.17478857304955084326260979295812834525364730807155568640000000e62 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.117982286808446819202261610246736633046211932948300088320000000e63 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.661107641599055452426465919486024236896877210486164288000000000e63 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.3041095151355655081161743229635711489725635168236355724800000000e64 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.11330531934889618124973591710416925066558414901009647942400000000e65 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.33637516681703553808515350390300246291345294237372392329000000000e65 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.77977879580312783828831039541150570948118636641181454944500000000e65 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.137608022788787265580290069778501007555503476425614332255000000000e66 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.178890429625423445254377090712051309822154519353298631931500000000e66 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.163982893823304824816512333152713700670308309407190412603875000000e66 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.99719327324982663739771013403677250407619917882750926583437500000e65 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.36738699540783086640968268096091618571228390798908236109687500000e65 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.7065134527073670507878513095402234340620844384405430021093750000e64 * a * a * pow(x, 0.4e1) + 0.529885089530525288090888482155167575546563328830407251582031250e63 * a * x * x - 0.6462013286957625464523030270184970433494674741834234775390625e61) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.112778710283379666114816907171606316221304161549552889553223680000000000e72;
  return retval;
}
```