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

```asm
<HO_deriv_70>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D880(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D136(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D364(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D762(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D130(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm4
  mulsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D1076(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D653(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D246(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm5
  addsd  -0x30(%rbp),%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D470(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1044(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D777(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm7
  addsd  -0x30(%rbp),%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D298(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1029(%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  D654(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D999(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D802(%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  D254(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1050(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D140(%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  D347(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D36(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D635(%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  D832(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x38(%rbp)
  movsd  D529(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x30(%rbp),%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D1021(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D721(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D736(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  -0x30(%rbp),%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D166(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D239(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D91(%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  D560(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D595(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D194(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm5
  addsd  -0x30(%rbp),%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D124(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D896(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D395(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x30(%rbp),%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D630(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D399(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D834(%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  D596(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D253(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D921(%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  D112(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1071(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D554(%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  D944(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D988(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D324(%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  D207(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1037(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-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  D554(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D471(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D166(%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  D940(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D68(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D669(%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  D147(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D585(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D206(%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  D206(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D906(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D742(%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  D921(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1055(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D108(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x38(%rbp),%xmm4
  mulsd  %xmm0,%xmm4
  movapd %xmm4,%xmm1
  movsd  -0x30(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  D1025(%rip),%xmm1
  movapd %xmm0,%xmm4
  subsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D976(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D486(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D654(%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  D304(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D133(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D254(%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  D834(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D641(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D837(%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  D783(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D119(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1020(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D709(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D496(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D944(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm5
  addsd  -0x30(%rbp),%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D1020(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D817(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D347(%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  D801(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D649(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D304(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm7
  addsd  -0x30(%rbp),%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D361(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D157(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D112(%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  D224(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D508(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D576(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  -0x30(%rbp),%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D373(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x18(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D361(%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
  movapd %xmm2,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D889(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movapd %xmm1,%xmm3
  addsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D576(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D358(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D630(%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  D256(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D484(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D448(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D535(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D59(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D12(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D420(%rip),%xmm1
  movapd %xmm0,%xmm6
  divsd  %xmm1,%xmm6
  movq   %xmm6,%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: read_data
arguments: data_label: D880
datatype: byte[8]
name: read_data
arguments: data_label: D136
datatype: byte[8]
name: read_data
arguments: data_label: D364
datatype: f64
name: read_data
arguments: data_label: D762
datatype: byte[8]
name: read_data
arguments: data_label: D130
datatype: f64
name: read_data
arguments: data_label: D1076
datatype: f64
name: read_data
arguments: data_label: D653
datatype: byte[8]
name: read_data
arguments: data_label: D246
datatype: f64
name: read_data
arguments: data_label: D470
datatype: f64
name: read_data
arguments: data_label: D1044
datatype: byte[8]
name: read_data
arguments: data_label: D777
datatype: f64
name: read_data
arguments: data_label: D1
datatype: f64
name: read_data
arguments: data_label: D298
datatype: byte[8]
name: read_data
arguments: data_label: D1029
datatype: f64
name: read_data
arguments: data_label: D654
datatype: f64
name: read_data
arguments: data_label: D999
datatype: byte[8]
name: read_data
arguments: data_label: D802
datatype: f64
name: read_data
arguments: data_label: D254
datatype: f64
name: read_data
arguments: data_label: D1050
datatype: byte[8]
name: read_data
arguments: data_label: D140
datatype: f64
name: read_data
arguments: data_label: D347
datatype: f64
name: read_data
arguments: data_label: D36
datatype: byte[8]
name: read_data
arguments: data_label: D635
datatype: f64
name: read_data
arguments: data_label: D832
datatype: f64
name: read_data
arguments: data_label: D529
datatype: f64
name: read_data
arguments: data_label: D1021
datatype: f64
name: read_data
arguments: data_label: D721
datatype: byte[8]
name: read_data
arguments: data_label: D736
datatype: f64
name: read_data
arguments: data_label: D166
datatype: f64
name: read_data
arguments: data_label: D239
datatype: byte[8]
name: read_data
arguments: data_label: D91
datatype: f64
name: read_data
arguments: data_label: D560
datatype: f64
name: read_data
arguments: data_label: D595
datatype: byte[8]
name: read_data
arguments: data_label: D194
datatype: f64
name: read_data
arguments: data_label: D124
datatype: f64
name: read_data
arguments: data_label: D896
datatype: byte[8]
name: read_data
arguments: data_label: D395
datatype: f64
name: read_data
arguments: data_label: D630
datatype: f64
name: read_data
arguments: data_label: D399
datatype: byte[8]
name: read_data
arguments: data_label: D834
datatype: f64
name: read_data
arguments: data_label: D596
datatype: f64
name: read_data
arguments: data_label: D253
datatype: byte[8]
name: read_data
arguments: data_label: D921
datatype: f64
name: read_data
arguments: data_label: D112
datatype: f64
name: read_data
arguments: data_label: D1071
datatype: byte[8]
name: read_data
arguments: data_label: D554
datatype: f64
name: read_data
arguments: data_label: D944
datatype: f64
name: read_data
arguments: data_label: D988
datatype: byte[8]
name: read_data
arguments: data_label: D324
datatype: f64
name: read_data
arguments: data_label: D207
datatype: f64
name: read_data
arguments: data_label: D1037
datatype: byte[8]
name: read_data
arguments: data_label: D940
datatype: f64
name: read_data
arguments: data_label: D471
datatype: byte[8]
name: read_data
arguments: data_label: D68
datatype: byte[8]
name: read_data
arguments: data_label: D669
datatype: f64
name: read_data
arguments: data_label: D147
datatype: f64
name: read_data
arguments: data_label: D585
datatype: byte[8]
name: read_data
arguments: data_label: D206
datatype: f64
name: read_data
arguments: data_label: D906
datatype: byte[8]
name: read_data
arguments: data_label: D742
datatype: f64
name: read_data
arguments: data_label: D1055
datatype: byte[8]
name: read_data
arguments: data_label: D108
datatype: f64
name: read_data
arguments: data_label: D1025
datatype: byte[8]
name: read_data
arguments: data_label: D976
datatype: f64
name: read_data
arguments: data_label: D486
datatype: byte[8]
name: read_data
arguments: data_label: D304
datatype: f64
name: read_data
arguments: data_label: D133
datatype: byte[8]
name: read_data
arguments: data_label: D641
datatype: byte[8]
name: read_data
arguments: data_label: D837
datatype: f64
name: read_data
arguments: data_label: D783
datatype: f64
name: read_data
arguments: data_label: D119
datatype: byte[8]
name: read_data
arguments: data_label: D1020
datatype: f64
name: read_data
arguments: data_label: D709
datatype: f64
name: read_data
arguments: data_label: D496
datatype: byte[8]
name: read_data
arguments: data_label: D817
datatype: byte[8]
name: read_data
arguments: data_label: D801
datatype: f64
name: read_data
arguments: data_label: D649
datatype: byte[8]
name: read_data
arguments: data_label: D361
datatype: f64
name: read_data
arguments: data_label: D157
datatype: byte[8]
name: read_data
arguments: data_label: D224
datatype: f64
name: read_data
arguments: data_label: D508
datatype: byte[8]
name: read_data
arguments: data_label: D576
datatype: f64
name: read_data
arguments: data_label: D373
datatype: byte[8]
name: read_data
arguments: data_label: D889
datatype: byte[8]
name: read_data
arguments: data_label: D358
datatype: byte[8]
name: read_data
arguments: data_label: D256
datatype: f64
name: read_data
arguments: data_label: D484
datatype: byte[8]
name: read_data
arguments: data_label: D448
datatype: f64
name: read_data
arguments: data_label: D535
datatype: byte[8]
name: read_data
arguments: data_label: D59
datatype: byte[8]
name: read_data
arguments: data_label: D12
datatype: byte[8]
name: read_data
arguments: data_label: D420
datatype: f64

tool: {"D880": [0x00,0x00,0x00,0x00,0x00,0x00,0xf4,0x3f]}

tool: {"D136": [0x9d,0x4f,0xa8,0x2c,0x6a,0xa2,0xd0,0xb5]}

tool: D364: 31

tool: {"D762": [0x00,0x80,0x38,0xa9,0x75,0x16,0x32,0x42]}

tool: D130: 62

tool: D1076: 21

tool: {"D653": [0x90,0xaf,0x5c,0x5c,0x74,0x2c,0x25,0x46]}

tool: D246: 42

tool: D470: 33

tool: {"D1044": [0x00,0x00,0x00,0x80,0xea,0x7d,0x27,0x41]}

tool: D777: 66

tool: D1: 25

tool: {"D298": [0xd8,0x46,0xd9,0xb6,0xf9,0x8d,0xc3,0x44]}

tool: D1029: 50

tool: D654: 30

tool: {"D999": [0x80,0x21,0xb5,0x52,0xee,0x4b,0xac,0x42]}

tool: D802: 60

tool: D254: 20

tool: {"D1050": [0x41,0xaa,0xfe,0x0b,0x9e,0x51,0x74,0x46]}

tool: D140: 40

tool: D347: 28

tool: {"D36": [0xd7,0x9d,0xd7,0x47,0xa5,0xe3,0x90,0x43]}

tool: D635: 56

tool: D832: 35

tool: D529: 70

tool: D1021: 19

tool: {"D721": [0x3e,0xdc,0x93,0x09,0xd7,0x97,0xc0,0x46]}

tool: D736: 38

tool: D166: 32

tool: {"D239": [0x00,0x00,0x60,0x66,0xcc,0x5b,0xb1,0x41]}

tool: D91: 64

tool: D560: 23

tool: {"D595": [0xee,0x34,0xcb,0x09,0x70,0x4e,0x7c,0x45]}

tool: D194: 46

tool: D124: 27

tool: {"D896": [0x3b,0xee,0x01,0x02,0x5e,0xf1,0xfa,0x43]}

tool: D395: 54

tool: D630: 12

tool: {"D399": [0x05,0xa0,0xb9,0xf5,0xb1,0x3e,0x62,0x48]}

tool: D834: 24

tool: D596: 9

tool: {"D253": [0xd7,0x20,0x14,0x33,0x56,0x23,0xd3,0x48]}

tool: D921: 18

tool: D112: 8

tool: {"D1071": [0x8c,0xf1,0x43,0xf6,0x6a,0xcb,0xee,0x48]}

tool: D554: 16

tool: D944: 22

tool: {"D988": [0x92,0x87,0xf2,0xa7,0xad,0xc6,0xd2,0x45]}

tool: D324: 44

tool: D207: 13

tool: {"D1037": [0xc4,0x9c,0xfb,0x09,0x34,0xcd,0x32,0x48]}

tool: D940: 26

tool: {"D471": [0xa9,0x11,0xcf,0xc9,0x8a,0x10,0x8b,0x47]}

tool: {"D68": [0x6c,0xf6,0xb3,0x04,0xc4,0xc3,0x61,0x44]}

tool: D669: 52

tool: D147: 17

tool: {"D585": [0xd7,0x61,0xf3,0xe5,0x03,0x26,0x4b,0x47]}

tool: D206: 34

tool: {"D906": [0x00,0x00,0x00,0x00,0x00,0xf6,0x93,0x40]}

tool: D742: 68

tool: {"D1055": [0x01,0x99,0x8a,0xdd,0x78,0x0a,0x07,0x47]}

tool: D108: 36

tool: {"D1025": [0xd7,0xec,0x1c,0xd1,0xde,0x6d,0x79,0x48]}

tool: D976: 15

tool: {"D486": [0x39,0x7e,0x4f,0xca,0xed,0xbc,0xc6,0x47]}

tool: D304: 10

tool: {"D133": [0x03,0x5f,0x37,0x64,0xc5,0xa5,0xb2,0x48]}

tool: {"D641": [0x2a,0x12,0x93,0x18,0xbd,0x18,0x22,0x45]}

tool: D837: 48

tool: D783: 7

tool: {"D119": [0x37,0x64,0xbe,0x4d,0xf1,0xfe,0x02,0x49]}

tool: D1020: 14

tool: D709: 11

tool: {"D496": [0xb1,0xd5,0x7d,0x70,0xb6,0xfe,0x8c,0x48]}

tool: {"D817": [0xbe,0x16,0x59,0xff,0x72,0x04,0x00,0x48]}

tool: D801: 5

tool: {"D649": [0x7e,0x8c,0x64,0xbb,0x92,0x0e,0x17,0x49]}

tool: D361: 4

tool: {"D157": [0x05,0x3b,0x29,0x4b,0x18,0xc4,0x14,0x49]}

tool: D224: 3

tool: {"D508": [0x22,0x2a,0x00,0x6b,0x8a,0xb6,0x07,0x49]}

tool: D576: 6

tool: {"D373": [0xec,0x90,0xbf,0xa4,0x9a,0xa0,0xee,0x48]}

tool: {"D889": [0x3a,0xa2,0x89,0x44,0x73,0x47,0xc2,0x48]}

tool: {"D358": [0xeb,0xad,0x81,0x06,0x1f,0x77,0x11,0x49]}

tool: D256: 29

tool: {"D484": [0xe6,0xbf,0xfa,0xff,0xc7,0x45,0x21,0x43]}

tool: D448: 58

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

tool: {"D59": [0x5b,0x13,0x7b,0x2b,0x16,0x4e,0xda,0x41]}

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

tool: D420: 2

assistant: ```c
double HO_deriv_70(const double a, const double x) {
  double retval = -0.2e1 / 0.11246082998479258235510224019880651046862914453125e50 * pow(a, 0.5e1 / 0.4e1) * (0.155372442225e12 / 0.2e1 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.1717810610989294694904198489196875e34 / 0.2048e4 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.3079125e7 / 0.4e1 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.47280101323354009268333175e26 / 0.256e3 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.62224893045315e14 / 0.4e1 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.105501334110475854585419269232473125e36 / 0.4096e4 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.4867992209195490375e19 / 0.16e2 * pow(a, 0.28e2) * pow(x, 0.56e2) + pow(a, 0.35e2) * pow(x, 0.70e2) + 0.22056046235076214550209186830135346875e38 / 0.32768e5 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.2329830195e10 / 0.8e1 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.280332978388383081177538396875e30 / 0.512e3 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.1988030747738859498675e22 / 0.64e2 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.52079991283832938472033042337204738638963765625e47 / 0.1048576e7 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.111881072399715783887360687489549505245970354609375e51 / 0.16777216e8 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.720101753250203216077185996714580148940866103515625e51 / 0.33554432e8 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.23801518311636181978164488810625e32 / 0.1024e4 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.3354313121137120370578016338712507212605234375e46 / 0.524288e6 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.1178830359671603296393750804983518841140625e43 / 0.262144e6 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.335565879661438525724625e24 / 0.128e3 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.36952619246201056226482081358900528934375e41 / 0.131072e6 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.2555e4 / 0.2e1 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.980051786019477368977170634676573765625e39 / 0.65536e5 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.4757093108356726233620824760409515392823012813671875e52 / 0.34359738368e11 + 0.7923037811884555733376714125971797275409375e43 / 0.131072e6 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.13626707463008356798669636966400415931235878265625e50 / 0.8388608e7 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.5600637377039661987005600625e28 / 0.512e3 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.1776799640305358564012165219322032618929519905703125e52 / 0.33554432e8 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.1324256188627375999609387187634052114965104296875e49 / 0.4194304e7 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.178599751962880300733710615079016768698578125e45 / 0.262144e6 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.17253240710355834462331540792455566807161667224453125e53 / 0.134217728e9 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.31077925583908625730597197955383519131836393929296875e53 / 0.268435456e9 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.283907365296608874155455605381887035678054275369140625e54 / 0.4294967296e10 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.183344891124207347013523182196114254017006094329296875e54 / 0.8589934592e10 * a * a * pow(x, 0.4e1) + 0.54712193787601591315757239856719367342988078814453125e53 / 0.17179869184e11 * a * x * x - 0.6534550944321499253202491961910652137768218062109375e52 / 0.67108864e8 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.19447199598051225e17 / 0.8e1 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * sqrt(0.3116285494907301262e19) * x * exp(-a * x * x / 0.2e1);
  return retval;
}
```