user: 请从给定的汇编指令推导出C源代码:

```asm
<HO_deriv_73>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D73(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D848(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D610(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm2
  mulsd  -0x28(%rbp),%xmm2
  movsd  %xmm2,-0x28(%rbp)
  movsd  D703(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D722(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D366(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1097(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D921(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D496(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0x28(%rbp),%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D637(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D944(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D70(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D906(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D259(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D806(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D528(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D328(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D315(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x30(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  D576(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D770(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1092(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D949(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D897(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D945(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D914(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D36(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x30(%rbp)
  movsd  D589(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  -0x28(%rbp),%xmm2
  movsd  %xmm2,-0x28(%rbp)
  movsd  D492(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D52(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D498(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D758(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D868(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D789(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x28(%rbp)
  movsd  D1027(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1006(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D649(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D468(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1062(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D427(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D627(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D626(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D539(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D1085(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D549(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D163(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1123(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D668(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D347(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x28(%rbp)
  movsd  D961(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D579(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D735(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x28(%rbp)
  movsd  D972(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1051(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D110(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x28(%rbp)
  movsd  D613(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D635(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D654(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D735(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D254(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D758(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x28(%rbp)
  movsd  D654(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1014(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1113(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x28(%rbp)
  movsd  D447(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D17(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D463(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D463(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D720(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D443(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x28(%rbp)
  movsd  D163(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D590(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1123(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x28(%rbp)
  movsd  D269(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D837(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D906(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D885(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D999(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D528(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x28(%rbp)
  movsd  D539(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D400(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D818(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x28(%rbp)
  movsd  D444(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D899(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D376(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D551(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1104(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D972(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D376(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D497(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D770(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x28(%rbp)
  movsd  D763(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D856(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D885(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D881(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D712(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D961(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x28(%rbp)
  movsd  D461(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D169(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D292(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D522(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x18(%rbp),%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D881(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D58(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D292(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1131(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D627(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D1021(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D209(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D301(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  addsd  %xmm0,%xmm1
  movsd  D66(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D1007(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D790(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D333(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D396(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D302(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: label: D73
type_infered: f64
name: retrieve_data
arguments: label: D848
type_infered: byte[8]
name: retrieve_data
arguments: label: D610
type_infered: f64
name: retrieve_data
arguments: label: D703
type_infered: f64
name: retrieve_data
arguments: label: D722
type_infered: byte[8]
name: retrieve_data
arguments: label: D366
type_infered: f64
name: retrieve_data
arguments: label: D1097
type_infered: f64
name: retrieve_data
arguments: label: D921
type_infered: byte[8]
name: retrieve_data
arguments: label: D496
type_infered: f64
name: retrieve_data
arguments: label: D637
type_infered: f64
name: retrieve_data
arguments: label: D944
type_infered: byte[8]
name: retrieve_data
arguments: label: D70
type_infered: f64
name: retrieve_data
arguments: label: D906
type_infered: f64
name: retrieve_data
arguments: label: D259
type_infered: byte[8]
name: retrieve_data
arguments: label: D806
type_infered: f64
name: retrieve_data
arguments: label: D528
type_infered: f64
name: retrieve_data
arguments: label: D328
type_infered: byte[8]
name: retrieve_data
arguments: label: D315
type_infered: f64
name: retrieve_data
arguments: label: D576
type_infered: byte[8]
name: retrieve_data
arguments: label: D770
type_infered: f64
name: retrieve_data
arguments: label: D1092
type_infered: byte[8]
name: retrieve_data
arguments: label: D949
type_infered: f64
name: retrieve_data
arguments: label: D897
type_infered: f64
name: retrieve_data
arguments: label: D945
type_infered: byte[8]
name: retrieve_data
arguments: label: D914
type_infered: f64
name: retrieve_data
arguments: label: D36
type_infered: f64
name: retrieve_data
arguments: label: D589
type_infered: f64
name: retrieve_data
arguments: label: D492
type_infered: f64
name: retrieve_data
arguments: label: D52
type_infered: byte[8]
name: retrieve_data
arguments: label: D498
type_infered: f64
name: retrieve_data
arguments: label: D758
type_infered: f64
name: retrieve_data
arguments: label: D868
type_infered: byte[8]
name: retrieve_data
arguments: label: D789
type_infered: f64
name: retrieve_data
arguments: label: D1027
type_infered: f64
name: retrieve_data
arguments: label: D1006
type_infered: byte[8]
name: retrieve_data
arguments: label: D649
type_infered: f64
name: retrieve_data
arguments: label: D468
type_infered: f64
name: retrieve_data
arguments: label: D1062
type_infered: byte[8]
name: retrieve_data
arguments: label: D427
type_infered: f64
name: retrieve_data
arguments: label: D627
type_infered: f64
name: retrieve_data
arguments: label: D626
type_infered: byte[8]
name: retrieve_data
arguments: label: D539
type_infered: f64
name: retrieve_data
arguments: label: D1085
type_infered: f64
name: retrieve_data
arguments: label: D549
type_infered: byte[8]
name: retrieve_data
arguments: label: D163
type_infered: f64
name: retrieve_data
arguments: label: D1123
type_infered: f64
name: retrieve_data
arguments: label: D668
type_infered: f64
name: retrieve_data
arguments: label: D347
type_infered: f64
name: retrieve_data
arguments: label: D961
type_infered: f64
name: retrieve_data
arguments: label: D579
type_infered: byte[8]
name: retrieve_data
arguments: label: D735
type_infered: f64
name: retrieve_data
arguments: label: D972
type_infered: f64
name: retrieve_data
arguments: label: D1051
type_infered: byte[8]
name: retrieve_data
arguments: label: D110
type_infered: f64
name: retrieve_data
arguments: label: D613
type_infered: f64
name: retrieve_data
arguments: label: D635
type_infered: byte[8]
name: retrieve_data
arguments: label: D654
type_infered: f64
name: retrieve_data
arguments: label: D254
type_infered: byte[8]
name: retrieve_data
arguments: label: D1014
type_infered: byte[8]
name: retrieve_data
arguments: label: D1113
type_infered: f64
name: retrieve_data
arguments: label: D447
type_infered: f64
name: retrieve_data
arguments: label: D17
type_infered: byte[8]
name: retrieve_data
arguments: label: D463
type_infered: f64
name: retrieve_data
arguments: label: D720
type_infered: f64
name: retrieve_data
arguments: label: D443
type_infered: f64
name: retrieve_data
arguments: label: D590
type_infered: byte[8]
name: retrieve_data
arguments: label: D269
type_infered: f64
name: retrieve_data
arguments: label: D837
type_infered: byte[8]
name: retrieve_data
arguments: label: D885
type_infered: f64
name: retrieve_data
arguments: label: D999
type_infered: byte[8]
name: retrieve_data
arguments: label: D400
type_infered: byte[8]
name: retrieve_data
arguments: label: D818
type_infered: f64
name: retrieve_data
arguments: label: D444
type_infered: f64
name: retrieve_data
arguments: label: D899
type_infered: byte[8]
name: retrieve_data
arguments: label: D376
type_infered: f64
name: retrieve_data
arguments: label: D551
type_infered: f64
name: retrieve_data
arguments: label: D1104
type_infered: byte[8]
name: retrieve_data
arguments: label: D497
type_infered: byte[8]
name: retrieve_data
arguments: label: D763
type_infered: f64
name: retrieve_data
arguments: label: D856
type_infered: byte[8]
name: retrieve_data
arguments: label: D881
type_infered: f64
name: retrieve_data
arguments: label: D712
type_infered: byte[8]
name: retrieve_data
arguments: label: D461
type_infered: f64
name: retrieve_data
arguments: label: D169
type_infered: byte[8]
name: retrieve_data
arguments: label: D292
type_infered: f64
name: retrieve_data
arguments: label: D522
type_infered: byte[8]
name: retrieve_data
arguments: label: D58
type_infered: byte[8]
name: retrieve_data
arguments: label: D1131
type_infered: byte[8]
name: retrieve_data
arguments: label: D1021
type_infered: f64
name: retrieve_data
arguments: label: D209
type_infered: byte[8]
name: retrieve_data
arguments: label: D301
type_infered: f64
name: retrieve_data
arguments: label: D66
type_infered: byte[8]
name: retrieve_data
arguments: label: D1007
type_infered: byte[8]
name: retrieve_data
arguments: label: D790
type_infered: byte[8]
name: retrieve_data
arguments: label: D333
type_infered: byte[8]
name: retrieve_data
arguments: label: D396
type_infered: byte[8]
name: retrieve_data
arguments: label: D302
type_infered: f64

tool: D73: 31

tool: {"D848": [0xba,0x3b,0x30,0x3c,0x92,0x6e,0x2d,0x43]}

tool: D610: 62

tool: D703: 21

tool: {"D722": [0xbd,0x1f,0xb3,0x0a,0x08,0x21,0xe7,0x46]}

tool: D366: 42

tool: D1097: 33

tool: {"D921": [0x00,0x10,0x59,0x5a,0x9e,0x84,0x39,0x42]}

tool: D496: 66

tool: D637: 25

tool: {"D944": [0x1e,0x18,0x02,0x78,0x41,0x2a,0x97,0x45]}

tool: D70: 50

tool: D906: 30

tool: {"D259": [0x2c,0xe0,0xd9,0xba,0xb9,0xc7,0x9f,0x43]}

tool: D806: 60

tool: D528: 20

tool: {"D328": [0x2b,0x14,0xa5,0xf8,0x13,0xa6,0x32,0x47]}

tool: D315: 40

tool: {"D576": [0xfd,0x61,0x8b,0x95,0xfb,0x35,0xbd,0x48]}

tool: D770: 28

tool: {"D1092": [0x07,0x4f,0xb9,0x7c,0xf0,0x99,0x74,0x44]}

tool: D949: 56

tool: D897: 35

tool: {"D945": [0x00,0x00,0x00,0x00,0x61,0xc2,0x2b,0x41]}

tool: D914: 70

tool: D36: 37

tool: D589: 74

tool: D492: 19

tool: {"D52": [0xdd,0x6f,0xf7,0x1c,0x9e,0xb8,0x79,0x47]}

tool: D498: 38

tool: D758: 32

tool: {"D868": [0x90,0x9d,0x47,0x6e,0x1f,0xe7,0xb5,0x42]}

tool: D789: 64

tool: D1027: 23

tool: {"D1006": [0x40,0x9a,0xd6,0x2e,0x77,0x58,0x46,0x46]}

tool: D649: 46

tool: D468: 27

tool: {"D1062": [0xee,0x7d,0xcc,0xcc,0x25,0x53,0xd9,0x44]}

tool: D427: 54

tool: D627: 12

tool: {"D626": [0x81,0xf1,0x62,0x9b,0xdb,0x59,0x02,0x49]}

tool: D539: 24

tool: D1085: 9

tool: {"D549": [0xb6,0xe4,0xce,0x06,0x50,0x28,0x67,0x49]}

tool: D163: 18

tool: D1123: 36

tool: D668: 1387

tool: D347: 72

tool: D961: 8

tool: {"D579": [0x4e,0x69,0xa3,0x30,0x89,0x03,0x7f,0x49]}

tool: D735: 16

tool: D972: 22

tool: {"D1051": [0xea,0x23,0xc8,0x4e,0x4e,0x90,0x98,0x46]}

tool: D110: 44

tool: D613: 13

tool: {"D635": [0x34,0x44,0xab,0x9d,0xb8,0x38,0xd6,0x48]}

tool: D654: 26

tool: {"D254": [0x10,0x87,0xa5,0x04,0xd7,0xc5,0x39,0x48]}

tool: {"D1014": [0xa7,0xd5,0x18,0x72,0x3e,0x49,0x3a,0x45]}

tool: D1113: 52

tool: D447: 17

tool: {"D17": [0x79,0xa4,0x84,0xfa,0x07,0x57,0xfe,0x47]}

tool: D463: 34

tool: D720: 375508350

tool: D443: 68

tool: {"D590": [0x47,0x64,0x80,0x08,0xe4,0x47,0xbe,0x47]}

tool: D269: 15

tool: {"D837": [0x86,0x29,0xe0,0xd1,0x9f,0x78,0x72,0x48]}

tool: D885: 10

tool: {"D999": [0xce,0xb1,0x5d,0x93,0xa4,0xe1,0x4a,0x49]}

tool: {"D400": [0xa8,0x57,0xb0,0xcb,0xd1,0x66,0xf1,0x45]}

tool: D818: 48

tool: D444: 7

tool: {"D899": [0x0d,0x86,0x31,0xf7,0xd4,0x7b,0x8f,0x49]}

tool: D376: 14

tool: D551: 11

tool: {"D1104": [0xd8,0x3d,0x76,0x4d,0x3d,0xbe,0x28,0x49]}

tool: {"D497": [0xee,0x5c,0x84,0xc2,0x47,0x34,0xa6,0x48]}

tool: D763: 5

tool: {"D856": [0xdd,0xef,0xc5,0x30,0xcc,0x89,0x98,0x49]}

tool: D881: 4

tool: {"D712": [0x30,0xbd,0x24,0xef,0x1d,0xf9,0x90,0x49]}

tool: D461: 3

tool: {"D169": [0x9e,0xcc,0xa9,0xb6,0xe6,0x5a,0x7c,0x49]}

tool: D292: 6

tool: {"D522": [0xae,0x9a,0x2d,0x46,0x8c,0xa5,0x58,0x49]}

tool: {"D58": [0xe2,0x7d,0x49,0x7b,0xc9,0xa8,0x20,0x49]}

tool: {"D1131": [0xbb,0x3f,0x40,0x8b,0x28,0x73,0x97,0x49]}

tool: D1021: 29

tool: {"D209": [0x61,0xba,0x4c,0x06,0x2b,0x17,0x0c,0x44]}

tool: D301: 58

tool: {"D66": [0x5e,0x5b,0xc2,0xc3,0x18,0x87,0xf1,0xb4]}

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

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

tool: {"D333": [0x97,0xaa,0xc4,0xdf,0x1d,0x97,0x3d,0x42]}

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

tool: D302: 2

assistant: ```c
double HO_deriv_73(const double a, const double x) {
  double retval = -0.2e1 / 0.174865344543353986303948473285124243127671456831640625e54 * (0.16568697357367155e17 / 0.4e1 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.122975011225517426218218194507317404375e39 / 0.32768e5 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.1753586443665e13 / 0.16e2 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.1835325255141460433359808224425e31 / 0.1024e4 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.1145001573855794655e19 / 0.2e1 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.3172919074316985135732428820989575693125e40 / 0.32768e5 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.174865344543353986303948473285124243127671456831640625e54 / 0.68719476736e11 - 0.389148041719543024593675e24 / 0.64e2 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.1819233e7 / 0.2e1 * pow(a, 0.35e2) * pow(x, 0.70e2) + pow(a, 0.37e2) * pow(x, 0.74e2) + 0.140039329514607677286955963395527569171875e42 / 0.65536e5 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.385318543194585e15 / 0.16e2 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.3625775799374242301178676082923125e34 / 0.1024e4 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.61231598390566356782804775e26 / 0.128e3 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.214560216398648454438896538755017871059954490109375e51 / 0.4194304e7 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.277255634469973957120369801557895404888494955364453125e54 / 0.67108864e8 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.1387e4 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.742633261771298944032226593138362811290191527657890625e54 / 0.67108864e8 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.63770997883111673414848479340824375e35 / 0.512e3 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.32476856576470361590006672119245881227437280140625e50 / 0.4194304e7 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.4598023337416725554504454710936073100675509375e46 / 0.524288e6 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.508447295726695105741935975e27 / 0.16e2 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.338301919902134150147017781608610209693809375e45 / 0.524288e6 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.375508350e9 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.659457933532425243951301718535302553009375e42 / 0.16384e5 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.26362961392273326141657202715680494360926353125e47 / 0.262144e6 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.314297885229120275278152001766035276796674443328125e51 / 0.262144e6 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.88236791112570213142298472328125e32 / 0.1024e4 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.1507770561778091795459369143644554798680085828881171875e55 / 0.67108864e8 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.2314375336687158390684573831186259765502784537234375e52 / 0.8388608e7 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.126763686871469014793156409520866046945500703125e48 / 0.131072e6 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.150419169376193099018656476719863873938422987166577265625e57 / 0.4294967296e10 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.104044880003295621850849341604648924660964516814826171875e57 / 0.4294967296e10 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.86908076238046931193062391222706748834452714045325390625e56 / 0.8589934592e10 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.4721364302670557630206608778698354564447129334454296875e55 / 0.2147483648e10 * a * a * pow(x, 0.4e1) + 0.12765170151664841000188238549814069748320016348709765625e56 / 0.68719476736e11 * a * x * x - 0.1123024101622873378707580195097797916975490022763203125e55 / 0.33554432e8 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.4145426152618820194125e22 / 0.64e2 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * pow(a, 0.3e1 / 0.4e1) * sqrt(0.16151707720104542440946e23) * exp(-a * x * x / 0.2e1);
  return retval;
}
```