user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<HO_deriv_95>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D1062(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1394(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1315(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D1281(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D1004(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x30(%rbp)
  movsd  D15(%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  D294(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1340(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D766(%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  D1297(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D463(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D356(%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  D1229(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D117(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D108(%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  D465(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1000(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D415(%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  D612(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D537(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D57(%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  D1171(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D589(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D965(%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  D412(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D25(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D1062(%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  D1378(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D163(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D957(%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  D289(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1052(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D78(%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  D1314(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D852(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D911(%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  D626(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1068(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D575(%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  D276(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D857(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D234(%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  D566(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D363(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D864(%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  D651(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D862(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D1233(%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  D18(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D593(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1420(%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  D905(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1038(%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
  movsd  -0x28(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D621(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D480(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D755(%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  D38(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D502(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D994(%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  D583(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1157(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D1345(%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  D501(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D339(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D410(%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  D470(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1186(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D450(%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  D884(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D610(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D681(%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  D1344(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D554(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1033(%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  D390(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D143(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D733(%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  D948(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1003(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D465(%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  D33(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D716(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D1117(%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  D1033(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D36(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D566(%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  D1117(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D569(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D95(%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  D483(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D158(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D923(%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  D923(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D899(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1048(%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  D410(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D518(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D470(%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  D356(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D477(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1063(%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  D838(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D476(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D1171(%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  D81(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1318(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D412(%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  D234(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D65(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D695(%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  D1345(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D4(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1004(%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  D474(%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  D142(%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  D1397(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D84(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D948(%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  D142(%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  D1378(%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  D888(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1174(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D81(%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  D1251(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1007(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1344(%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  D915(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D881(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D31(%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  -0x18(%rbp),%xmm1
  movsd  D914(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1251(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D113(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mulsd  -0x20(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D31(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1212(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D583(%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  D930(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D726(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D880(%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  D1126(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D1218(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D970(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D250(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D205(%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: label: D1062
type: f64
name: disassemble_data
arguments: label: D1394
type: byte[8]
name: disassemble_data
arguments: label: D1315
type: f64
name: disassemble_data
arguments: label: D1281
type: byte[8]
name: disassemble_data
arguments: label: D1004
type: f64
name: disassemble_data
arguments: label: D15
type: f64
name: disassemble_data
arguments: label: D294
type: f64
name: disassemble_data
arguments: label: D1340
type: byte[8]
name: disassemble_data
arguments: label: D766
type: f64
name: disassemble_data
arguments: label: D1297
type: f64
name: disassemble_data
arguments: label: D463
type: byte[8]
name: disassemble_data
arguments: label: D356
type: f64
name: disassemble_data
arguments: label: D1229
type: f64
name: disassemble_data
arguments: label: D117
type: byte[8]
name: disassemble_data
arguments: label: D108
type: f64
name: disassemble_data
arguments: label: D465
type: f64
name: disassemble_data
arguments: label: D1000
type: byte[8]
name: disassemble_data
arguments: label: D415
type: f64
name: disassemble_data
arguments: label: D612
type: f64
name: disassemble_data
arguments: label: D537
type: byte[8]
name: disassemble_data
arguments: label: D57
type: f64
name: disassemble_data
arguments: label: D1171
type: f64
name: disassemble_data
arguments: label: D589
type: byte[8]
name: disassemble_data
arguments: label: D965
type: f64
name: disassemble_data
arguments: label: D412
type: f64
name: disassemble_data
arguments: label: D25
type: byte[8]
name: disassemble_data
arguments: label: D1378
type: f64
name: disassemble_data
arguments: label: D163
type: byte[8]
name: disassemble_data
arguments: label: D957
type: f64
name: disassemble_data
arguments: label: D289
type: f64
name: disassemble_data
arguments: label: D1052
type: byte[8]
name: disassemble_data
arguments: label: D78
type: f64
name: disassemble_data
arguments: label: D1314
type: f64
name: disassemble_data
arguments: label: D852
type: byte[8]
name: disassemble_data
arguments: label: D911
type: f64
name: disassemble_data
arguments: label: D626
type: f64
name: disassemble_data
arguments: label: D1068
type: byte[8]
name: disassemble_data
arguments: label: D575
type: f64
name: disassemble_data
arguments: label: D276
type: f64
name: disassemble_data
arguments: label: D857
type: byte[8]
name: disassemble_data
arguments: label: D234
type: f64
name: disassemble_data
arguments: label: D566
type: f64
name: disassemble_data
arguments: label: D363
type: byte[8]
name: disassemble_data
arguments: label: D864
type: f64
name: disassemble_data
arguments: label: D651
type: f64
name: disassemble_data
arguments: label: D862
type: byte[8]
name: disassemble_data
arguments: label: D1233
type: f64
name: disassemble_data
arguments: label: D18
type: f64
name: disassemble_data
arguments: label: D593
type: byte[8]
name: disassemble_data
arguments: label: D1420
type: f64
name: disassemble_data
arguments: label: D905
type: f64
name: disassemble_data
arguments: label: D1038
type: byte[8]
name: disassemble_data
arguments: label: D38
type: f64
name: disassemble_data
arguments: label: D621
type: f64
name: disassemble_data
arguments: label: D480
type: byte[8]
name: disassemble_data
arguments: label: D755
type: f64
name: disassemble_data
arguments: label: D502
type: byte[8]
name: disassemble_data
arguments: label: D994
type: f64
name: disassemble_data
arguments: label: D583
type: f64
name: disassemble_data
arguments: label: D1157
type: byte[8]
name: disassemble_data
arguments: label: D1345
type: f64
name: disassemble_data
arguments: label: D501
type: f64
name: disassemble_data
arguments: label: D339
type: byte[8]
name: disassemble_data
arguments: label: D410
type: f64
name: disassemble_data
arguments: label: D470
type: f64
name: disassemble_data
arguments: label: D1186
type: byte[8]
name: disassemble_data
arguments: label: D450
type: f64
name: disassemble_data
arguments: label: D884
type: f64
name: disassemble_data
arguments: label: D610
type: byte[8]
name: disassemble_data
arguments: label: D681
type: f64
name: disassemble_data
arguments: label: D1344
type: f64
name: disassemble_data
arguments: label: D554
type: byte[8]
name: disassemble_data
arguments: label: D1033
type: f64
name: disassemble_data
arguments: label: D390
type: f64
name: disassemble_data
arguments: label: D143
type: byte[8]
name: disassemble_data
arguments: label: D733
type: f64
name: disassemble_data
arguments: label: D948
type: f64
name: disassemble_data
arguments: label: D1003
type: byte[8]
name: disassemble_data
arguments: label: D33
type: f64
name: disassemble_data
arguments: label: D716
type: byte[8]
name: disassemble_data
arguments: label: D1117
type: f64
name: disassemble_data
arguments: label: D36
type: byte[8]
name: disassemble_data
arguments: label: D569
type: byte[8]
name: disassemble_data
arguments: label: D95
type: f64
name: disassemble_data
arguments: label: D483
type: f64
name: disassemble_data
arguments: label: D158
type: byte[8]
name: disassemble_data
arguments: label: D923
type: f64
name: disassemble_data
arguments: label: D899
type: byte[8]
name: disassemble_data
arguments: label: D1048
type: f64
name: disassemble_data
arguments: label: D518
type: byte[8]
name: disassemble_data
arguments: label: D477
type: byte[8]
name: disassemble_data
arguments: label: D1063
type: f64
name: disassemble_data
arguments: label: D838
type: f64
name: disassemble_data
arguments: label: D476
type: byte[8]
name: disassemble_data
arguments: label: D81
type: f64
name: disassemble_data
arguments: label: D1318
type: byte[8]
name: disassemble_data
arguments: label: D65
type: byte[8]
name: disassemble_data
arguments: label: D695
type: f64
name: disassemble_data
arguments: label: D4
type: byte[8]
name: disassemble_data
arguments: label: D474
type: f64
name: disassemble_data
arguments: label: D657
type: byte[8]
name: disassemble_data
arguments: label: D142
type: f64
name: disassemble_data
arguments: label: D1397
type: f64
name: disassemble_data
arguments: label: D84
type: byte[8]
name: disassemble_data
arguments: label: D1013
type: byte[8]
name: disassemble_data
arguments: label: D888
type: f64
name: disassemble_data
arguments: label: D1174
type: byte[8]
name: disassemble_data
arguments: label: D1251
type: f64
name: disassemble_data
arguments: label: D1007
type: byte[8]
name: disassemble_data
arguments: label: D915
type: f64
name: disassemble_data
arguments: label: D881
type: byte[8]
name: disassemble_data
arguments: label: D31
type: f64
name: disassemble_data
arguments: label: D914
type: byte[8]
name: disassemble_data
arguments: label: D113
type: byte[8]
name: disassemble_data
arguments: label: D1212
type: byte[8]
name: disassemble_data
arguments: label: D930
type: f64
name: disassemble_data
arguments: label: D726
type: byte[8]
name: disassemble_data
arguments: label: D880
type: f64
name: disassemble_data
arguments: label: D1126
type: byte[8]
name: disassemble_data
arguments: label: D1218
type: byte[8]
name: disassemble_data
arguments: label: D970
type: byte[8]
name: disassemble_data
arguments: label: D250
type: byte[8]
name: disassemble_data
arguments: label: D205
type: f64

tool: D1062: 40

tool: {"D1394": [0xa8,0x14,0xf6,0xad,0x45,0xba,0x74,0x44]}

tool: D1315: 80

tool: {"D1281": [0x7d,0x59,0x4f,0x35,0x1e,0x14,0x74,0x4c]}

tool: D1004: 48

tool: D15: 96

tool: D294: 31

tool: {"D1340": [0xec,0x70,0x51,0x62,0x9e,0x85,0x34,0x48]}

tool: D766: 62

tool: D1297: 21

tool: {"D463": [0x39,0x3a,0xd5,0xac,0x78,0x59,0x4d,0x4b]}

tool: D356: 42

tool: D1229: 33

tool: {"D117": [0x67,0x6f,0x13,0x57,0x8d,0x7f,0x74,0x47]}

tool: D108: 66

tool: D465: 44

tool: {"D1000": [0x00,0xc6,0x59,0x4c,0xbd,0x6f,0x6b,0x42]}

tool: D415: 88

tool: D612: 25

tool: {"D537": [0xfa,0x04,0x95,0xb5,0xdc,0x23,0x32,0x4a]}

tool: D57: 50

tool: D1171: 30

tool: {"D589": [0x63,0x17,0xb7,0xde,0x39,0x1a,0x91,0x48]}

tool: D965: 60

tool: D412: 20

tool: {"D25": [0x22,0x6e,0xbc,0x25,0x3e,0x94,0x8c,0x4b]}

tool: D1378: 28

tool: {"D163": [0xd0,0x50,0x00,0xba,0xb4,0x8f,0x40,0x49]}

tool: D957: 56

tool: D289: 35

tool: {"D1052": [0x65,0x54,0x74,0x22,0x6c,0xd3,0xa8,0x46]}

tool: D78: 70

tool: D1314: 43

tool: {"D852": [0x42,0x5d,0x7a,0x7e,0x54,0xe8,0xf4,0x42]}

tool: D911: 86

tool: D626: 37

tool: {"D1068": [0xb7,0x01,0x93,0x15,0x83,0xc7,0xd1,0x45]}

tool: D575: 74

tool: D276: 19

tool: {"D857": [0xcc,0xe1,0x87,0x7a,0x57,0x56,0xc8,0x4b]}

tool: D234: 38

tool: D566: 32

tool: {"D363": [0xa1,0x64,0xca,0x3d,0x55,0xcf,0xd5,0x47]}

tool: D864: 64

tool: D651: 45

tool: {"D862": [0x00,0x00,0xc8,0x66,0x30,0x85,0xdb,0x41]}

tool: D1233: 90

tool: D18: 39

tool: {"D593": [0x13,0xea,0x78,0x9b,0xa8,0xef,0xec,0x44]}

tool: D1420: 78

tool: D905: 23

tool: {"D1038": [0x81,0x33,0xe1,0x9c,0x2d,0xf9,0xc4,0x4a]}

tool: D38: 46

tool: D621: 27

tool: {"D480": [0xab,0x12,0x9d,0x02,0x70,0x41,0x93,0x49]}

tool: D755: 54

tool: {"D502": [0x00,0x00,0x00,0xa0,0xe8,0xcc,0x43,0x41]}

tool: D994: 92

tool: D583: 12

tool: {"D1157": [0xc8,0xb5,0xb6,0x26,0xd2,0xf6,0x0e,0x4d]}

tool: D1345: 24

tool: D501: 9

tool: {"D339": [0xbb,0xff,0xdd,0xe0,0xbc,0xac,0x5b,0x4d]}

tool: D410: 18

tool: D470: 36

tool: {"D1186": [0x2b,0xe3,0x64,0xc9,0x52,0xcb,0x3f,0x46]}

tool: D450: 72

tool: D884: 41

tool: {"D610": [0xee,0x07,0xf0,0xe8,0xb1,0x1b,0xf9,0x43]}

tool: D681: 82

tool: D1344: 8

tool: {"D554": [0xca,0x68,0x24,0xcd,0xa6,0xc4,0x6a,0x4d]}

tool: D1033: 16

tool: D390: 47

tool: {"D143": [0x00,0x00,0x00,0x00,0x00,0x2f,0xa2,0x40]}

tool: D733: 94

tool: D948: 22

tool: {"D1003": [0x5d,0xda,0x01,0xb6,0xb3,0x72,0x0a,0x4b]}

tool: D33: 13

tool: {"D716": [0xed,0x21,0xa3,0x5c,0xc2,0x1c,0xeb,0x4c]}

tool: D1117: 26

tool: {"D36": [0x08,0x4a,0x95,0xfb,0x01,0xc5,0x69,0x4c]}

tool: {"D569": [0x78,0xd7,0x05,0xb4,0x91,0xda,0xe3,0x49]}

tool: D95: 52

tool: D483: 17

tool: {"D158": [0x78,0xeb,0x2b,0xdd,0x89,0x39,0x37,0x4c]}

tool: D923: 34

tool: {"D899": [0xc0,0x14,0x49,0xaa,0xaa,0x00,0x11,0x47]}

tool: D1048: 68

tool: {"D518": [0x81,0x4c,0x94,0xfb,0xad,0x0d,0x02,0x4c]}

tool: {"D477": [0xb5,0x11,0x87,0x98,0x3d,0x58,0x79,0x43]}

tool: D1063: 84

tool: D838: 15

tool: {"D476": [0x11,0x3b,0xc3,0x69,0xa7,0x82,0x98,0x4c]}

tool: D81: 10

tool: {"D1318": [0xc2,0x80,0x34,0xca,0x14,0x76,0x46,0x4d]}

tool: {"D65": [0xa6,0xfa,0x42,0x46,0xfd,0x44,0x61,0x45]}

tool: D695: 76

tool: {"D4": [0x5f,0xdf,0x0c,0x5e,0x87,0x57,0x7d,0x4a]}

tool: D474: 7

tool: {"D657": [0x8f,0xe0,0xe4,0x35,0x1d,0xcf,0x73,0x4d]}

tool: D142: 14

tool: D1397: 11

tool: {"D84": [0x70,0x72,0x12,0x36,0x37,0x37,0x2d,0x4d]}

tool: {"D1013": [0x5b,0x75,0x8e,0x16,0x5c,0xd7,0xc3,0x4c]}

tool: D888: 5

tool: {"D1174": [0x71,0xaf,0x1c,0x32,0xd8,0xd6,0x70,0x4d]}

tool: D1251: 4

tool: {"D1007": [0x53,0x7a,0x63,0x4d,0x44,0x69,0x61,0x4d]}

tool: D915: 3

tool: {"D881": [0x6d,0x95,0x3c,0xc9,0x1c,0xe7,0x45,0x4d]}

tool: D31: 6

tool: {"D914": [0xde,0x9d,0x55,0x1c,0x44,0xe0,0x1c,0x4d]}

tool: {"D113": [0xd6,0xc8,0x21,0xd7,0xdc,0xcd,0xdd,0x4c]}

tool: {"D1212": [0xf1,0x6b,0xf6,0x19,0x6f,0xb3,0x75,0x4d]}

tool: D930: 29

tool: {"D726": [0xe6,0x57,0x70,0x75,0x78,0x45,0xe9,0x48]}

tool: D880: 58

tool: {"D1126": [0x5f,0x5d,0x79,0x1e,0x7e,0x6c,0x0f,0xb1]}

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

tool: {"D970": [0xba,0x59,0x77,0xdd,0x8e,0x41,0x63,0x42]}

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

tool: D205: 2

assistant: ```c
double HO_deriv_95(const double a, const double x) {
  double retval = -0.8e1 / 0.2702917381721713455597420692344077627815510361886715375387977788134765625e73 * pow(0.3141592654e1, -0.1e1 / 0.4e1) * (0.283806325080779912837729172696128150920628587998105114415737667754150390625e75 / 0.140737488355328e15 + 0.1566135119917296783179325e25 / 0.256e3 * pow(a, 0.40e2) * pow(x, 0.80e2) + pow(a, 0.48e2) * pow(x, 0.96e2) - 0.457654733300720008693478065821856938597796875e45 / 0.65536e5 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.377302594268028106743302133806984826728589461737067200505859375e63 / 0.67108864e8 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.55801545390799642444246922137145906086875e41 / 0.32768e5 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.15083365608675e14 / 0.16e2 * pow(a, 0.44e2) * pow(x, 0.88e2) - 0.111198406729945379923345924341593072710880538785221265625e57 / 0.4194304e7 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.48818851832760394363246344857233057332168065625e47 / 0.131072e6 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.11756748837391755806121294489425647200862847627727013967762578125e65 / 0.134217728e9 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.387271075434409524775567208962455801442028870409375e51 / 0.524288e6 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.2062452485374114804796539922701618125e37 / 0.8192e4 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.11769898262116995e17 / 0.32e2 * pow(a, 0.43e2) * pow(x, 0.86e2) - 0.45075992027545662892012798869375e32 / 0.2048e4 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.320376740096982238527969576694602709112442208947951206399192578125e66 / 0.268435456e9 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.1899909759734368778458883301336158231053125e43 / 0.16384e5 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.14774832345e11 / 0.8e1 * pow(a, 0.45e2) * pow(x, 0.90e2) - 0.559706860713300588464801625e27 / 0.512e3 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.263303731563826582075112583864567405508176412676515689515625e60 / 0.16777216e8 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.28817524142619296990652501137500387577892148298109375e53 / 0.1048576e7 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.10381125e8 / 0.4e1 * pow(a, 0.46e2) * pow(x, 0.92e2) + 0.109417814420983524788242442880675207021609257959502469672421725986630859375e75 / 0.68719476736e11 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.25035296395221084866049941894454698355017062130422129521410338988479541015625e77 / 0.549755813888e12 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.10317818175118714870451404215778125e35 / 0.4096e4 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.3705313872562107931125e22 / 0.128e3 * pow(a, 0.41e2) * pow(x, 0.82e2) + 0.96860698467027783516234602777855763980445323139081480424215173603703603515625e77 / 0.1099511627776e13 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.4655e4 / 0.2e1 * pow(a, 0.47e2) * pow(x, 0.94e2) + 0.10625096312156732308289184825177669961997487590566036174921875e62 / 0.33554432e8 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.11975839908054900075724117924082692988299211090952138438871652646448828125e74 / 0.34359738368e11 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.5557968030337308482875787048337866578939543798747207065982379759765625e70 / 0.4294967296e10 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.1901614883640431475331792515772999883845491762201328125e55 / 0.2097152e7 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.156534571977414392209335891913971999905962196114448969059753298046875e69 / 0.1073741824e10 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.361605398870100948152442532349078784375e39 / 0.16384e5 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.7604994877263170591966529769901231580723660643052795000733041484375e67 / 0.536870912e9 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.7305109496836576425e19 / 0.64e2 * pow(a, 0.42e2) * pow(x, 0.84e2) - 0.84582168025315040003036977444705351392225421082752951167768215616796875e71 / 0.8589934592e10 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.5079757054420539542693980950635272733377327670020315935560210342853017578125e76 / 0.274877906944e12 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.171028741680488450342576067075e30 / 0.1024e4 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.5755692179331679876314031999371190735387126479375889453125e58 / 0.8388608e7 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.286716258211711953423887349686114068545220635012580435402056001687237939453125e78 / 0.2199023255552e13 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.825914390706651702552177512863783898560795750234854549071754727041943359375e75 / 0.137438953472e12 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.1095514137059908306793147779757676065417821630363760990615211420134765625e73 / 0.17179869184e11 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.974925181110271139248770860064123954528078422633579620038399464320885107421875e78 / 0.8796093022208e13 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.1008039522926204424697780060106262030905655511913841065674069376195920166015625e79 / 0.17592186044416e14 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.634042250652134377273676153747996697700078974160300032612385665607288916015625e78 / 0.35184372088832e14 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.208976057367814275819514580828582361794556183629271399248121502689639404296875e78 / 0.70368744177664e14 * a * a * pow(x, 0.4e1) - 0.26961600882674091719584271406132174337459715859819985869495078436644287109375e77 / 0.140737488355328e15 * a * x * x + 0.628198543272852032782674530211148801868741840757900953970796857629341552734375e78 / 0.4398046511104e13 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.4616768452031144471720401943077566402728716828125e49 / 0.262144e6 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(a, 0.3e1 / 0.4e1) * sqrt(0.437759660807231218259973e24) * exp(-a * x * x / 0.2e1);
  return retval;
}
```