user: 下面的汇编指令对应的C源代码是什么:

```asm
<HO_deriv_77>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D790(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D67(%rip),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D922(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D1113(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D461(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D211(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  D1142(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D781(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D19(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D293(%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  D1001(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D696(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-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  D593(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D206(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1181(%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  D1166(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D684(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D199(%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  D1052(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D549(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D358(%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  D608(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D820(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-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  D704(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D667(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D497(%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  D999(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1175(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D180(%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  D271(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1032(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D260(%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  D398(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D301(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D352(%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  D307(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x38(%rbp)
  movsd  D1127(%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  D421(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D316(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D193(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  -0x30(%rbp),%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D898(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D303(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D411(%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  D272(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D916(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1006(%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  D654(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D489(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D3(%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  D406(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D175(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-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),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D405(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1112(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D852(%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  D169(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D744(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-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),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D1172(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D749(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D1089(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D852(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D716(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D398(%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  D1089(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D232(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D37(%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  D1050(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D516(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D452(%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  D452(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1120(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D511(%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  D3(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1040(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D406(%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  D93(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D635(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D1166(%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  D278(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D185(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1052(%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  D260(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1022(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D940(%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  D1006(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D57(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D1085(%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  D1167(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D291(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D929(%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  D457(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D873(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D169(%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  D929(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D965(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D608(%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  D768(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D427(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D278(%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  D424(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1133(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D405(%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  D725(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D228(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D910(%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  D424(%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  D926(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,-0x30(%rbp)
  movsd  D910(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D340(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D272(%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  %xmm1,-0x30(%rbp)
  movsd  D365(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1046(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D835(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D1010(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D949(%rip),%xmm1
  movapd %xmm0,%xmm5
  divsd  %xmm1,%xmm5
  movq   %xmm5,%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: tag: D790
datatype: byte[8]
name: read_data
arguments: tag: D67
datatype: byte[8]
name: read_data
arguments: tag: D922
datatype: byte[8]
name: read_data
arguments: tag: D1113
datatype: f64
name: read_data
arguments: tag: D461
datatype: byte[8]
name: read_data
arguments: tag: D211
datatype: f64
name: read_data
arguments: tag: D1142
datatype: byte[8]
name: read_data
arguments: tag: D781
datatype: f64
name: read_data
arguments: tag: D19
datatype: byte[8]
name: read_data
arguments: tag: D293
datatype: f64
name: read_data
arguments: tag: D1001
datatype: f64
name: read_data
arguments: tag: D696
datatype: byte[8]
name: read_data
arguments: tag: D387
datatype: f64
name: read_data
arguments: tag: D593
datatype: f64
name: read_data
arguments: tag: D206
datatype: byte[8]
name: read_data
arguments: tag: D1181
datatype: f64
name: read_data
arguments: tag: D1166
datatype: f64
name: read_data
arguments: tag: D684
datatype: byte[8]
name: read_data
arguments: tag: D199
datatype: f64
name: read_data
arguments: tag: D1052
datatype: f64
name: read_data
arguments: tag: D549
datatype: byte[8]
name: read_data
arguments: tag: D358
datatype: f64
name: read_data
arguments: tag: D608
datatype: f64
name: read_data
arguments: tag: D820
datatype: byte[8]
name: read_data
arguments: tag: D140
datatype: f64
name: read_data
arguments: tag: D704
datatype: f64
name: read_data
arguments: tag: D667
datatype: byte[8]
name: read_data
arguments: tag: D497
datatype: f64
name: read_data
arguments: tag: D999
datatype: f64
name: read_data
arguments: tag: D1175
datatype: f32[2]
name: read_data
arguments: tag: D180
datatype: f64
name: read_data
arguments: tag: D271
datatype: f64
name: read_data
arguments: tag: D1032
datatype: byte[8]
name: read_data
arguments: tag: D260
datatype: f64
name: read_data
arguments: tag: D398
datatype: f64
name: read_data
arguments: tag: D301
datatype: byte[8]
name: read_data
arguments: tag: D352
datatype: f64
name: read_data
arguments: tag: D307
datatype: f64
name: read_data
arguments: tag: D1127
datatype: f64
name: read_data
arguments: tag: D421
datatype: f64
name: read_data
arguments: tag: D316
datatype: byte[8]
name: read_data
arguments: tag: D193
datatype: f64
name: read_data
arguments: tag: D898
datatype: f64
name: read_data
arguments: tag: D303
datatype: byte[8]
name: read_data
arguments: tag: D411
datatype: f64
name: read_data
arguments: tag: D272
datatype: f64
name: read_data
arguments: tag: D916
datatype: byte[8]
name: read_data
arguments: tag: D1006
datatype: f64
name: read_data
arguments: tag: D654
datatype: f64
name: read_data
arguments: tag: D489
datatype: byte[8]
name: read_data
arguments: tag: D3
datatype: f64
name: read_data
arguments: tag: D406
datatype: f64
name: read_data
arguments: tag: D175
datatype: byte[8]
name: read_data
arguments: tag: D996
datatype: f64
name: read_data
arguments: tag: D405
datatype: f64
name: read_data
arguments: tag: D1112
datatype: byte[8]
name: read_data
arguments: tag: D852
datatype: f64
name: read_data
arguments: tag: D169
datatype: f64
name: read_data
arguments: tag: D744
datatype: byte[8]
name: read_data
arguments: tag: D1088
datatype: f64
name: read_data
arguments: tag: D1172
datatype: f64
name: read_data
arguments: tag: D749
datatype: byte[8]
name: read_data
arguments: tag: D1089
datatype: f64
name: read_data
arguments: tag: D716
datatype: byte[8]
name: read_data
arguments: tag: D232
datatype: byte[8]
name: read_data
arguments: tag: D37
datatype: f64
name: read_data
arguments: tag: D1050
datatype: f64
name: read_data
arguments: tag: D516
datatype: byte[8]
name: read_data
arguments: tag: D452
datatype: f64
name: read_data
arguments: tag: D1120
datatype: byte[8]
name: read_data
arguments: tag: D511
datatype: f64
name: read_data
arguments: tag: D1040
datatype: byte[8]
name: read_data
arguments: tag: D93
datatype: f64
name: read_data
arguments: tag: D635
datatype: byte[8]
name: read_data
arguments: tag: D278
datatype: f64
name: read_data
arguments: tag: D185
datatype: byte[8]
name: read_data
arguments: tag: D1022
datatype: f64
name: read_data
arguments: tag: D940
datatype: f64
name: read_data
arguments: tag: D57
datatype: byte[8]
name: read_data
arguments: tag: D1085
datatype: f64
name: read_data
arguments: tag: D1167
datatype: f64
name: read_data
arguments: tag: D291
datatype: byte[8]
name: read_data
arguments: tag: D929
datatype: f64
name: read_data
arguments: tag: D457
datatype: f64
name: read_data
arguments: tag: D873
datatype: byte[8]
name: read_data
arguments: tag: D965
datatype: byte[8]
name: read_data
arguments: tag: D768
datatype: f64
name: read_data
arguments: tag: D427
datatype: byte[8]
name: read_data
arguments: tag: D424
datatype: f64
name: read_data
arguments: tag: D1133
datatype: byte[8]
name: read_data
arguments: tag: D725
datatype: f64
name: read_data
arguments: tag: D228
datatype: byte[8]
name: read_data
arguments: tag: D910
datatype: f64
name: read_data
arguments: tag: D513
datatype: byte[8]
name: read_data
arguments: tag: D926
datatype: byte[8]
name: read_data
arguments: tag: D340
datatype: byte[8]
name: read_data
arguments: tag: D365
datatype: f64
name: read_data
arguments: tag: D1046
datatype: byte[8]
name: read_data
arguments: tag: D835
datatype: f64
name: read_data
arguments: tag: D1010
datatype: byte[8]
name: read_data
arguments: tag: D949
datatype: byte[8]

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

tool: {"D67": [0x0f,0x10,0x63,0x4b,0x2f,0x6d,0x84,0xb4]}

tool: {"D922": [0xe4,0x8d,0x63,0x7b,0x2e,0x6a,0xfb,0x41]}

tool: D1113: 31

tool: {"D461": [0x6f,0xdd,0x4a,0xf6,0x17,0xcb,0x21,0x44]}

tool: D211: 62

tool: {"D1142": [0x3c,0x1a,0x14,0x33,0xa6,0x97,0x64,0x49]}

tool: D781: 21

tool: {"D19": [0x35,0x96,0x75,0x1e,0x96,0x24,0xb4,0x47]}

tool: D293: 42

tool: D1001: 33

tool: {"D696": [0x80,0x96,0x4e,0xab,0xbb,0xea,0x3c,0x43]}

tool: D387: 66

tool: D593: 25

tool: {"D206": [0xa2,0xce,0xed,0xc4,0x8e,0x0e,0x71,0x46]}

tool: D1181: 50

tool: D1166: 30

tool: {"D684": [0xdd,0xac,0x45,0x2f,0x3e,0xd4,0x8d,0x44]}

tool: D199: 60

tool: D1052: 20

tool: {"D549": [0x46,0xd6,0x39,0xbb,0x72,0x06,0xfd,0x47]}

tool: D358: 40

tool: D608: 28

tool: {"D820": [0xd4,0x8a,0xf5,0x80,0xb8,0x38,0x59,0x45]}

tool: D140: 56

tool: D704: 35

tool: {"D667": [0x00,0x78,0xa8,0xda,0x03,0xc0,0x43,0x42]}

tool: D497: 70

tool: D999: 37

tool: {"D1175": [2.0,11.072579383850098]}

tool: D180: 74

tool: D271: 19

tool: {"D1032": [0x95,0x29,0xfd,0x41,0xff,0xfd,0x41,0x48]}

tool: D260: 38

tool: D398: 32

tool: {"D301": [0x2c,0x08,0x54,0x01,0xf1,0xb0,0xb1,0x43]}

tool: D352: 64

tool: D307: 39

tool: D1127: 78

tool: D421: 23

tool: {"D316": [0x6b,0x24,0xd1,0x05,0x6c,0xe1,0x18,0x47]}

tool: D193: 46

tool: D898: 27

tool: {"D303": [0x60,0x81,0xe1,0x7b,0x01,0xcb,0xb9,0x45]}

tool: D411: 54

tool: D272: 12

tool: {"D916": [0x8f,0xc6,0xf8,0x02,0xf0,0x94,0xbb,0x49]}

tool: D1006: 24

tool: D654: 9

tool: {"D489": [0xfe,0x08,0xb5,0xab,0x99,0x01,0x1c,0x4a]}

tool: D3: 18

tool: D406: 36

tool: {"D175": [0x00,0x00,0xc0,0xd3,0xdb,0xe9,0xbe,0x41]}

tool: D996: 72

tool: D405: 8

tool: {"D1112": [0xcc,0x06,0x40,0xee,0x48,0x87,0x31,0x4a]}

tool: D852: 16

tool: D169: 22

tool: {"D744": [0xc1,0x15,0x8b,0x28,0x50,0x19,0x68,0x47]}

tool: D1088: 44

tool: D1172: 13

tool: {"D749": [0x26,0x3c,0x09,0x5f,0xb4,0x0d,0x92,0x49]}

tool: D1089: 26

tool: {"D716": [0x4f,0xf4,0xa6,0x89,0xae,0xfb,0xfa,0x48]}

tool: {"D232": [0xf8,0x60,0x63,0x98,0xc4,0x9d,0x16,0x46]}

tool: D37: 52

tool: D1050: 17

tool: {"D516": [0xd5,0xd3,0x5f,0x5e,0x28,0x6a,0xc1,0x48]}

tool: D452: 34

tool: {"D1120": [0xd0,0xe6,0x9a,0xa0,0x8f,0x10,0xc3,0x42]}

tool: D511: 68

tool: {"D1040": [0xc8,0x2c,0x2d,0x2d,0x25,0x24,0x83,0x48]}

tool: D93: 15

tool: {"D635": [0x54,0x90,0x55,0x8a,0x2a,0xb5,0x31,0x49]}

tool: D278: 10

tool: {"D185": [0x13,0xd9,0xab,0xff,0x8a,0x6e,0x01,0x4a]}

tool: D1022: 1540

tool: D940: 76

tool: {"D57": [0xa1,0xd1,0x7b,0x38,0x0a,0x2d,0xc6,0x46]}

tool: D1085: 48

tool: D1167: 7

tool: {"D291": [0x9b,0x4f,0x68,0x59,0xed,0xaa,0x40,0x4a]}

tool: D929: 14

tool: D457: 11

tool: {"D873": [0x84,0xba,0x74,0x9c,0xf3,0x3f,0xe1,0x49]}

tool: {"D965": [0x86,0xd7,0x65,0xbd,0x11,0x90,0x63,0x49]}

tool: D768: 5

tool: {"D427": [0xf3,0x97,0x8a,0x7a,0x00,0xef,0x46,0x4a]}

tool: D424: 4

tool: {"D1133": [0x56,0x5d,0x2b,0x8a,0xd5,0xe3,0x3d,0x4a]}

tool: D725: 3

tool: {"D228": [0x04,0x6b,0x9c,0xea,0xd9,0x8f,0x27,0x4a]}

tool: D910: 6

tool: {"D513": [0xaa,0x90,0xaf,0x3e,0xe6,0x5b,0x03,0x4a]}

tool: {"D926": [0x90,0x2f,0x74,0xf5,0x73,0xc6,0xc8,0x49]}

tool: {"D340": [0xc3,0xf1,0xda,0x99,0x0c,0x4e,0x47,0x4a]}

tool: D365: 29

tool: {"D1046": [0x72,0x7d,0xfd,0xa3,0xbd,0x0d,0xf5,0x44]}

tool: D835: 58

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

tool: {"D949": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x40]}

assistant: ```c
double HO_deriv_77(const double a, const double x) {
  double retval = -0.4e1 / 0.28852781849653407740151498092045500116065790377220703125e56 * pow(0.3141592654e1, -0.1e1 / 0.4e1) * pow(a, 0.3e1 / 0.4e1) * sqrt(0.54156305096875624929e20) * (-0.1009847364737869270905302433221592504062302663202724609375e58 / 0.274877906944e12 + 0.10503330738196133462625e23 / 0.64e2 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.3509390852395149616363735090195237788796875e43 / 0.131072e6 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.520921030511140875e18 / 0.64e2 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.88564311675173361517121354902554375e35 / 0.4096e4 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.140863818623609137431375e24 / 0.8e1 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.80910415691093712623255864697215967080765625e44 / 0.131072e6 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.31222785542965291696067521875e29 / 0.256e3 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.2714427413775e13 / 0.16e2 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.4498725e7 / 0.4e1 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.6419822982938159749865922229941170353546265625e46 / 0.524288e6 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.81586155683387730375e20 / 0.64e2 * pow(a, 0.32e2) * pow(x, 0.64e2) + pow(a, 0.39e2) * pow(x, 0.78e2) + 0.1058301748899606965713790228182268859375e40 / 0.32768e5 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.8174125255148313366030477226875e31 / 0.1024e4 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.2641810376605203357310814597452989995074655945930859375e55 / 0.16777216e8 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.2746845113302644718379068708862069217982279335781144921875e58 / 0.268435456e9 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.2074570575e10 / 0.4e1 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.6876744077482778151902717595117522516266996654094451171875e58 / 0.268435456e9 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.8200423712061660392081722142439077953125e40 / 0.8192e4 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.432296243444487822105406025037761999194034609334140625e54 / 0.16777216e8 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.78871783149879186664004018434183907898929868515625e50 / 0.2097152e7 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.229356338041514439740972802189375e33 / 0.512e3 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.6362895276825973140681826109088610360657731328125e49 / 0.2097152e7 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.335389601148525e15 / 0.8e1 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.54638445000066904408665173458216014025944609375e47 / 0.262144e6 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.1656307446147462919944084387117862065877527238828125e52 / 0.4194304e7 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.106856674888203570280192604234908871180088669812996484375e57 / 0.33554432e8 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.1540e4 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.3684609570636929474438728067172309375e37 / 0.4096e4 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.209249498357690249479325549680004613709267183903159728515625e60 / 0.4294967296e10 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.52870516757774264592415133697078669901429153411421484375e56 / 0.67108864e8 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.457456342269299282651223306918266665813793237390625e51 / 0.131072e6 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.1151652375799615846968649234899975682577184674953347205078125e61 / 0.17179869184e11 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.750489708691334788729080616872195503518987273501887708984375e60 / 0.17179869184e11 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.1183204495684536829077379350924632550592997953719192333984375e61 / 0.68719476736e11 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.121518299556790268932271392797664964655497087138727861328125e60 / 0.34359738368e11 * a * a * pow(x, 0.4e1) + 0.77758247084815933859708287358062622812797305066609794921875e59 / 0.274877906944e12 * a * x * x - 0.73143550642316822161147087148068194036658055320822798828125e59 / 0.1073741824e10 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.407237299640854016314105125e27 / 0.256e3 * pow(a, 0.29e2) * pow(x, 0.58e2)) * exp(-a * x * x / 0.2e1);
  return retval;
}
```