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

```asm
<HO_deriv_97>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D217(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D906(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1479(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D339(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1007(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D380(%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  D641(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D833(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D586(%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  D1068(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1059(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D1331(%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  D560(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1190(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D441(%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  D331(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D105(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D318(%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  D1060(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D879(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D801(%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  D38(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D682(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D203(%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  D706(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1013(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D217(%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  D362(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D726(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1327(%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  D1237(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1430(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1247(%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  D1442(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D37(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D626(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x28(%rbp),%xmm6
  movsd  %xmm6,-0x28(%rbp)
  movsd  D859(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D821(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D231(%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  D267(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D414(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D545(%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  D653(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D221(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D1384(%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  D1097(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1217(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D928(%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  D317(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1462(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D1170(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x28(%rbp),%xmm6
  movsd  %xmm6,-0x28(%rbp)
  movsd  D989(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1445(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D438(%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  D716(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D349(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D981(%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  D438(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1428(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D239(%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  D990(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D674(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D283(%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  D42(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1477(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D214(%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  D1347(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x30(%rbp)
  movsd  D14(%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  D188(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D657(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D419(%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  D598(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1266(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1034(%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  D1286(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1316(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D715(%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  D278(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D285(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D753(%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  D1255(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1033(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D331(%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  D112(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1307(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D670(%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  D715(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D659(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D653(%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  D670(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1202(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D1492(%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  D447(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D310(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D162(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D1104(%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  D1104(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D466(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1086(%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  D214(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1139(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D188(%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  D1331(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D649(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1311(%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  D532(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D259(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D38(%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  D728(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D958(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D706(%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  D545(%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  D596(%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  D283(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D817(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D339(%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  D433(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1456(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1368(%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  D773(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D551(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D1255(%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  D1368(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D743(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D362(%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  D950(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D515(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D728(%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  D905(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D464(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D1286(%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  D581(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1101(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D457(%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  D1010(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x18(%rbp),%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D905(%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  D638(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D457(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D184(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D990(%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  D511(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D383(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D851(%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  D323(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D260(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D921(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D900(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D1314(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D1325(%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: disassemble_data
arguments: data_label: D217
type_guessed: f64
name: disassemble_data
arguments: data_label: D906
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1479
type_guessed: f64
name: disassemble_data
arguments: data_label: D339
type_guessed: f64
name: disassemble_data
arguments: data_label: D1007
type_guessed: f64
name: disassemble_data
arguments: data_label: D380
type_guessed: f64
name: disassemble_data
arguments: data_label: D641
type_guessed: f64
name: disassemble_data
arguments: data_label: D833
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D586
type_guessed: f64
name: disassemble_data
arguments: data_label: D1068
type_guessed: f64
name: disassemble_data
arguments: data_label: D1059
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1331
type_guessed: f64
name: disassemble_data
arguments: data_label: D560
type_guessed: f64
name: disassemble_data
arguments: data_label: D1190
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D441
type_guessed: f64
name: disassemble_data
arguments: data_label: D331
type_guessed: f64
name: disassemble_data
arguments: data_label: D105
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D318
type_guessed: f64
name: disassemble_data
arguments: data_label: D1060
type_guessed: f64
name: disassemble_data
arguments: data_label: D879
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D801
type_guessed: f64
name: disassemble_data
arguments: data_label: D38
type_guessed: f64
name: disassemble_data
arguments: data_label: D682
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D203
type_guessed: f64
name: disassemble_data
arguments: data_label: D706
type_guessed: f64
name: disassemble_data
arguments: data_label: D1013
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D362
type_guessed: f64
name: disassemble_data
arguments: data_label: D726
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1327
type_guessed: f64
name: disassemble_data
arguments: data_label: D1237
type_guessed: f64
name: disassemble_data
arguments: data_label: D1430
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1247
type_guessed: f64
name: disassemble_data
arguments: data_label: D1442
type_guessed: f64
name: disassemble_data
arguments: data_label: D37
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D626
type_guessed: f64
name: disassemble_data
arguments: data_label: D859
type_guessed: f64
name: disassemble_data
arguments: data_label: D821
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D231
type_guessed: f64
name: disassemble_data
arguments: data_label: D267
type_guessed: f64
name: disassemble_data
arguments: data_label: D414
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D545
type_guessed: f64
name: disassemble_data
arguments: data_label: D653
type_guessed: f64
name: disassemble_data
arguments: data_label: D221
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1384
type_guessed: f64
name: disassemble_data
arguments: data_label: D1097
type_guessed: f64
name: disassemble_data
arguments: data_label: D1217
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D928
type_guessed: f64
name: disassemble_data
arguments: data_label: D317
type_guessed: f64
name: disassemble_data
arguments: data_label: D1462
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1170
type_guessed: f64
name: disassemble_data
arguments: data_label: D989
type_guessed: f64
name: disassemble_data
arguments: data_label: D1445
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D438
type_guessed: f64
name: disassemble_data
arguments: data_label: D716
type_guessed: f64
name: disassemble_data
arguments: data_label: D349
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D981
type_guessed: f64
name: disassemble_data
arguments: data_label: D1428
type_guessed: f64
name: disassemble_data
arguments: data_label: D239
type_guessed: f64
name: disassemble_data
arguments: data_label: D990
type_guessed: f64
name: disassemble_data
arguments: data_label: D674
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D283
type_guessed: f64
name: disassemble_data
arguments: data_label: D42
type_guessed: f64
name: disassemble_data
arguments: data_label: D1477
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D214
type_guessed: f64
name: disassemble_data
arguments: data_label: D1347
type_guessed: f64
name: disassemble_data
arguments: data_label: D14
type_guessed: f64
name: disassemble_data
arguments: data_label: D188
type_guessed: f64
name: disassemble_data
arguments: data_label: D657
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D419
type_guessed: f64
name: disassemble_data
arguments: data_label: D598
type_guessed: f64
name: disassemble_data
arguments: data_label: D1266
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1034
type_guessed: f64
name: disassemble_data
arguments: data_label: D1286
type_guessed: f64
name: disassemble_data
arguments: data_label: D1316
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D715
type_guessed: f64
name: disassemble_data
arguments: data_label: D278
type_guessed: f64
name: disassemble_data
arguments: data_label: D285
type_guessed: f64
name: disassemble_data
arguments: data_label: D753
type_guessed: f64
name: disassemble_data
arguments: data_label: D1255
type_guessed: f64
name: disassemble_data
arguments: data_label: D1033
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D112
type_guessed: f64
name: disassemble_data
arguments: data_label: D1307
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D670
type_guessed: f64
name: disassemble_data
arguments: data_label: D659
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1202
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1492
type_guessed: f64
name: disassemble_data
arguments: data_label: D447
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D310
type_guessed: f64
name: disassemble_data
arguments: data_label: D162
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1104
type_guessed: f64
name: disassemble_data
arguments: data_label: D466
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1086
type_guessed: f64
name: disassemble_data
arguments: data_label: D1139
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D649
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1311
type_guessed: f64
name: disassemble_data
arguments: data_label: D532
type_guessed: f64
name: disassemble_data
arguments: data_label: D259
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D728
type_guessed: f64
name: disassemble_data
arguments: data_label: D958
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D17
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D596
type_guessed: f64
name: disassemble_data
arguments: data_label: D817
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D433
type_guessed: f64
name: disassemble_data
arguments: data_label: D1456
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1368
type_guessed: f64
name: disassemble_data
arguments: data_label: D773
type_guessed: f64
name: disassemble_data
arguments: data_label: D551
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D743
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D950
type_guessed: f64
name: disassemble_data
arguments: data_label: D515
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D905
type_guessed: f64
name: disassemble_data
arguments: data_label: D464
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D581
type_guessed: f64
name: disassemble_data
arguments: data_label: D1101
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D457
type_guessed: f64
name: disassemble_data
arguments: data_label: D1010
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D638
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D184
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D511
type_guessed: f64
name: disassemble_data
arguments: data_label: D383
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D851
type_guessed: f64
name: disassemble_data
arguments: data_label: D323
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D260
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D921
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D900
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1314
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D1325
type_guessed: f64

tool: D217: 40

tool: {"D906": [0xcf,0x6d,0x25,0x96,0x07,0xb1,0xf5,0xc4]}

tool: D1479: 80

tool: D339: 48

tool: D1007: 2425

tool: D380: 96

tool: D641: 31

tool: {"D833": [0x7b,0xf0,0x47,0x73,0xad,0x5f,0xa5,0x48]}

tool: D586: 62

tool: D1068: 21

tool: {"D1059": [0x63,0x65,0xd1,0xd5,0x8b,0x92,0xb3,0x4b]}

tool: D1331: 42

tool: D560: 33

tool: {"D1190": [0x77,0x5d,0xd6,0x0c,0x5b,0x0a,0xe8,0x47]}

tool: D441: 66

tool: D331: 44

tool: {"D105": [0xcc,0x58,0x88,0x06,0xe0,0xe8,0xf9,0x42]}

tool: D318: 88

tool: D1060: 25

tool: {"D879": [0x51,0x5c,0xae,0xf6,0x9d,0x44,0x9c,0x4a]}

tool: D801: 50

tool: D38: 30

tool: {"D682": [0x95,0x4b,0x8e,0xcf,0xff,0xdd,0x00,0x49]}

tool: D203: 60

tool: D706: 20

tool: {"D1013": [0x71,0x00,0xf5,0xd8,0x2a,0x65,0xf2,0x4b]}

tool: D362: 28

tool: {"D726": [0x28,0x9f,0x2f,0x13,0xc5,0x87,0xad,0x49]}

tool: D1327: 56

tool: D1237: 35

tool: {"D1430": [0x41,0xb6,0x29,0xa8,0x89,0xa7,0x20,0x47]}

tool: D1247: 70

tool: D1442: 43

tool: {"D37": [0xfb,0x2b,0x4b,0x20,0x1f,0x71,0x80,0x43]}

tool: D626: 86

tool: D859: 37

tool: {"D821": [0x1c,0x5c,0x32,0xa1,0x3a,0xdc,0x4b,0x46]}

tool: D231: 74

tool: D267: 19

tool: {"D414": [0x10,0xe6,0xbd,0x2f,0x81,0x46,0x2e,0x4c]}

tool: D545: 38

tool: D653: 32

tool: {"D221": [0x23,0xcc,0x42,0x22,0x03,0x10,0x48,0x48]}

tool: D1384: 64

tool: D1097: 45

tool: {"D1217": [0x00,0xf4,0x87,0x07,0x3a,0x41,0x70,0x42]}

tool: D928: 90

tool: D317: 39

tool: {"D1462": [0x3a,0x72,0x4a,0xcd,0xb3,0x3c,0x6b,0x45]}

tool: D1170: 78

tool: D989: 23

tool: {"D1445": [0xba,0xb9,0x74,0x85,0x7c,0x25,0x2e,0x4b]}

tool: D438: 46

tool: D716: 27

tool: {"D349": [0x48,0x6a,0xa4,0x50,0x4f,0x61,0x00,0x4a]}

tool: D981: 54

tool: D1428: 2094495780

tool: D239: 92

tool: D990: 12

tool: {"D674": [0x66,0x47,0xa2,0xb8,0x77,0x2a,0x6f,0x4d]}

tool: D283: 24

tool: D42: 9

tool: {"D1477": [0x7b,0x6e,0x0b,0x86,0xca,0xbe,0xb9,0x4d]}

tool: D214: 18

tool: D1347: 49

tool: D14: 98

tool: D188: 36

tool: {"D657": [0xea,0x66,0xc6,0x7c,0x66,0xfb,0xb6,0x46]}

tool: D419: 72

tool: D598: 41

tool: {"D1266": [0x4a,0xce,0xd4,0xee,0x2b,0x94,0x7d,0x44]}

tool: D1034: 82

tool: D1286: 8

tool: {"D1316": [0xdb,0xb5,0x59,0x0a,0xd0,0x49,0xc8,0x4d]}

tool: D715: 16

tool: D278: 47

tool: D285: 2819790

tool: D753: 94

tool: D1255: 22

tool: {"D1033": [0xf3,0x3e,0x7d,0xe3,0x15,0x4c,0x72,0x4b]}

tool: D112: 13

tool: {"D1307": [0xac,0xa6,0xde,0x54,0x0c,0x0e,0x4c,0x4d]}

tool: D670: 26

tool: {"D659": [0x9f,0x86,0xf4,0x87,0x7e,0x1d,0xcd,0x4c]}

tool: {"D1202": [0x7a,0x71,0x9c,0x9a,0xed,0x25,0x50,0x4a]}

tool: D1492: 52

tool: {"D447": [0xa2,0x43,0xcc,0xc8,0x7d,0x6e,0xce,0x4c]}

tool: D310: 17

tool: {"D162": [0xf2,0x39,0x8f,0x05,0x81,0x11,0x9b,0x4c]}

tool: D1104: 34

tool: {"D466": [0x53,0x85,0xc3,0x8f,0xda,0x47,0x85,0x47]}

tool: D1086: 68

tool: {"D1139": [0xaa,0xa7,0x7f,0x2d,0x12,0xba,0x65,0x4c]}

tool: {"D649": [0x7c,0xdf,0x13,0x0c,0x8d,0x12,0x01,0x44]}

tool: D1311: 84

tool: D532: 15

tool: {"D259": [0x00,0xdb,0x0f,0x82,0xb5,0xde,0xfa,0x4c]}

tool: D728: 10

tool: {"D958": [0x0f,0x0c,0xb0,0x5c,0xc7,0x6f,0xa5,0x4d]}

tool: {"D17": [0xa8,0xda,0x4f,0x43,0xc3,0x89,0xdd,0x45]}

tool: D596: 76

tool: {"D817": [0xfa,0x9f,0x11,0xc3,0x6e,0xf0,0xe5,0x4a]}

tool: D433: 7

tool: {"D1456": [0x74,0xca,0x40,0x79,0xa4,0x8a,0xd1,0x4d]}

tool: D1368: 14

tool: D773: 11

tool: {"D551": [0xe4,0x5f,0xf8,0x38,0xd6,0x9f,0x8c,0x4d]}

tool: {"D743": [0x8d,0x8c,0x8f,0xe8,0xa8,0x1f,0x25,0x4d]}

tool: D950: 5

tool: {"D515": [0xd6,0x8f,0x6d,0x65,0x3d,0x74,0xcc,0x4d]}

tool: D905: 4

tool: {"D464": [0xb8,0xe6,0x13,0xa3,0x90,0xc2,0xbc,0x4d]}

tool: D581: 3

tool: {"D1101": [0x52,0xc1,0x92,0xcb,0x3c,0xb1,0xa1,0x4d]}

tool: D457: 6

tool: {"D1010": [0xb9,0x32,0x99,0x56,0xde,0xd2,0x76,0x4d]}

tool: {"D638": [0x41,0xcb,0x2a,0x52,0xbb,0x0f,0x37,0x4d]}

tool: {"D184": [0xf9,0x25,0xda,0x6f,0xf1,0xc3,0xd2,0x4d]}

tool: D511: 29

tool: {"D383": [0xb3,0x92,0x06,0xbc,0xca,0xaa,0x57,0x49]}

tool: D851: 58

tool: {"D323": [0x57,0x33,0xd8,0x5c,0x56,0x9a,0x8b,0xb0]}

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

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

tool: {"D900": [0x44,0x53,0xcc,0x94,0x2a,0x5b,0x93,0x42]}

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

tool: D1325: 2

assistant: ```c
double HO_deriv_97(const double a, const double x) {
  double retval = -0.2e1 / 0.262182986027006205192949807157375529898104505103011391412633845449072265625e75 * (-0.209787528206064564337306725e27 / 0.128e3 * pow(a, 0.40e2) * pow(x, 0.80e2) - 0.2425e4 * pow(a, 0.48e2) * pow(x, 0.96e2) + 0.15252810829340406853840584357826914071523496875e47 / 0.16384e5 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.16103274723359439595804135070882112404776198226938028117590078125e65 / 0.33554432e8 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.16753749699475797410046516384509758946559375e44 / 0.65536e5 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.1823230824420915e16 / 0.4e1 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.11090083352883707538552288595250993631911902748424672984375e59 / 0.4194304e7 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.385178405130248278971259438610417758568158565625e48 / 0.8192e4 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.242154886670706055614647134592543865848625150139880002758870234375e66 / 0.33554432e8 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.11048615975628742324479417432164180217610823655796875e53 / 0.131072e6 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.88550214085160765143641607500910456875e38 / 0.2048e4 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.1184762400535739025e19 / 0.8e1 * pow(a, 0.43e2) * pow(x, 0.86e2) + 0.4520587200457418429356605608645625e34 / 0.1024e4 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.6376745348995259464519041210936988467347128953683506739316916171875e67 / 0.67108864e8 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.1073225495454655492914156255454772205459009375e46 / 0.65536e5 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.4468083122685e13 / 0.4e1 * pow(a, 0.45e2) * pow(x, 0.90e2) + 0.33717919619602308081937470525e29 / 0.128e3 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.6055430918209183512949770435030751975991517604494156926953125e61 / 0.4194304e7 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.784451734269640705038038637683656795450368479561578125e54 / 0.262144e6 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.2094495780e10 * pow(a, 0.46e2) * pow(x, 0.92e2) - 0.1762091521042170972555054939209638179486996968915385332060505865213271484375e76 / 0.17179869184e11 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.1490549750206507763093856195688464902750774464634029270057485906810647431640625e79 / 0.549755813888e12 * pow(a, 0.9e1) * pow(x, 0.18e2) + pow(a, 0.49e2) * pow(x, 0.98e2) - 0.477318142347415009468421115028381875e36 / 0.1024e4 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.1117455294621594259155825e25 / 0.128e3 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.2812396555267691408303973666022220020673905779393064270853875162617513720703125e79 / 0.549755813888e12 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.2819790e7 * pow(a, 0.47e2) * pow(x, 0.94e2) - 0.58804962472386959892423326224631969189073182070309923935078125e62 / 0.2097152e7 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.396549397758685345880905029253260255777216849176306752724886650883416015625e75 / 0.17179869184e11 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.401891615575481378843581910749812643353501194320320772752944078265234375e72 / 0.4294967296e10 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.6186744571744459669433496396036629435765643385348171875e55 / 0.65536e5 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.27529213532835651545259729751524430639300973035816196098326553772152587890625e77 / 0.281474976710656e15 + 0.46704764507337147326155143143091569744094112969793375312752468205859375e71 / 0.4294967296e10 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.226294991550966399811528552502326723125e39 / 0.64e2 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.9152413189758406295542846000997760090945348416577185050509987890625e67 / 0.8388608e7 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.78732846799238657025e20 / 0.2e1 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.1483597025646647902101199793915735912982150032978745119502618527082421875e73 / 0.2147483648e10 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.9696065790817022704927509256400422194120945659949332921722261960329462890625e76 / 0.8589934592e10 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.2340252217665617823653117657625e31 / 0.64e2 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.275429056421618654347880811276576047324058625793067563296875e60 / 0.4194304e7 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.4062350579831109811994628628698762252084530570234426169011153012669742041015625e79 / 0.549755813888e12 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.12947166953263344367500605630447317003011557900121246203622052275245126953125e77 / 0.34359738368e11 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.4665287032455121716245941520626591244437845284427138267351607657451953125e73 / 0.1073741824e10 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.26358042134253014826662822962952434147246140211521044212886318384531582080078125e80 / 0.4398046511104e13 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.13320730971074104267238200852244778547532995590768699763501687785731014599609375e80 / 0.4398046511104e13 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.8194529228274078943305646222703772186965256306994621038601870839510753662109375e79 / 0.8796093022208e13 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.82587640598506954635779189254573291917902919107448588294979661316457763671875e77 / 0.549755813888e12 * a * a * pow(x, 0.4e1) + 0.2670333712685058199890193785897869772012194384474171021537675715898801025390625e79 / 0.281474976710656e15 * a * x * x - 0.2172885193863151759904103685117942599952190770125390741564105099800094580078125e79 / 0.274877906944e12 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.276716697756218954769175971985237181493701209528125e51 / 0.131072e6 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * pow(a, 0.3e1 / 0.4e1) * sqrt(0.28308458065534285447478254e26) * exp(-a * x * x / 0.2e1);
  return retval;
}
```