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

```asm
<HO_deriv_86>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D36(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D173(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1244(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D513(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D222(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x30(%rbp),%xmm2
  mulsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  movsd  D56(%rip),%xmm0
  movapd %xmm0,%xmm6
  subsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D342(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1213(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D384(%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  D934(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1302(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D555(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D87(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D587(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D263(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm7
  addsd  -0x30(%rbp),%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D731(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D516(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D954(%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  D231(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D831(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D822(%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  D220(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1256(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1244(%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  D492(%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,-0x38(%rbp)
  movsd  D987(%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  D50(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1022(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D128(%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  D805(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x38(%rbp)
  movsd  D658(%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  D589(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1075(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D677(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D776(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D52(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D90(%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  D1223(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D754(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D939(%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  D1183(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1270(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1010(%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  D607(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1044(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1176(%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  D993(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D332(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D343(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x30(%rbp),%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D955(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D232(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D526(%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  D420(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D283(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D737(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm7
  addsd  -0x30(%rbp),%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1009(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D849(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D454(%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  D1081(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D507(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D710(%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  D402(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D391(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D590(%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  D129(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D851(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D8(%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  D938(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D310(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D630(%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  D590(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D820(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1223(%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  D630(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1251(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1191(%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  D1029(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D442(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D666(%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  D666(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D549(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1212(%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  D737(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D215(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1009(%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  D555(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D537(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D412(%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  D110(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D622(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D231(%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  D188(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D918(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D220(%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  D90(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D869(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D31(%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  D526(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D177(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D624(%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  D422(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D961(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D449(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x30(%rbp),%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D1057(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D276(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D129(%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  D449(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1108(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D492(%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  D845(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D219(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D188(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D200(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D902(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D402(%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  D1262(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D953(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D636(%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  -0x18(%rbp),%xmm1
  movsd  D1018(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm4
  mulsd  -0x18(%rbp),%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D200(%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
  movapd %xmm5,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D259(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D636(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D2(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D955(%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  D1112(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1179(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D558(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D355(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D1095(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D749(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D386(%rip),%xmm1
  movapd %xmm0,%xmm3
  divsd  %xmm1,%xmm3
  movq   %xmm3,%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: unpack_data
arguments: tag: D36
type_infered: byte[8]
name: unpack_data
arguments: tag: D173
type_infered: byte[8]
name: unpack_data
arguments: tag: D1244
type_infered: f64
name: unpack_data
arguments: tag: D513
type_infered: byte[8]
name: unpack_data
arguments: tag: D222
type_infered: f64
name: unpack_data
arguments: tag: D56
type_infered: byte[8]
name: unpack_data
arguments: tag: D342
type_infered: f64
name: unpack_data
arguments: tag: D1213
type_infered: byte[8]
name: unpack_data
arguments: tag: D384
type_infered: f64
name: unpack_data
arguments: tag: D934
type_infered: f64
name: unpack_data
arguments: tag: D1302
type_infered: byte[8]
name: unpack_data
arguments: tag: D555
type_infered: f64
name: unpack_data
arguments: tag: D87
type_infered: f64
name: unpack_data
arguments: tag: D587
type_infered: byte[8]
name: unpack_data
arguments: tag: D263
type_infered: f64
name: unpack_data
arguments: tag: D731
type_infered: f64
name: unpack_data
arguments: tag: D516
type_infered: byte[8]
name: unpack_data
arguments: tag: D954
type_infered: f64
name: unpack_data
arguments: tag: D231
type_infered: f64
name: unpack_data
arguments: tag: D831
type_infered: byte[8]
name: unpack_data
arguments: tag: D822
type_infered: f64
name: unpack_data
arguments: tag: D220
type_infered: f64
name: unpack_data
arguments: tag: D1256
type_infered: byte[8]
name: unpack_data
arguments: tag: D492
type_infered: f64
name: unpack_data
arguments: tag: D1316
type_infered: byte[8]
name: unpack_data
arguments: tag: D987
type_infered: f64
name: unpack_data
arguments: tag: D50
type_infered: f64
name: unpack_data
arguments: tag: D1022
type_infered: byte[8]
name: unpack_data
arguments: tag: D128
type_infered: f64
name: unpack_data
arguments: tag: D805
type_infered: f64
name: unpack_data
arguments: tag: D658
type_infered: f64
name: unpack_data
arguments: tag: D589
type_infered: f64
name: unpack_data
arguments: tag: D1075
type_infered: byte[8]
name: unpack_data
arguments: tag: D677
type_infered: f64
name: unpack_data
arguments: tag: D776
type_infered: f64
name: unpack_data
arguments: tag: D52
type_infered: byte[8]
name: unpack_data
arguments: tag: D90
type_infered: f64
name: unpack_data
arguments: tag: D1223
type_infered: f64
name: unpack_data
arguments: tag: D754
type_infered: byte[8]
name: unpack_data
arguments: tag: D939
type_infered: f64
name: unpack_data
arguments: tag: D1183
type_infered: f64
name: unpack_data
arguments: tag: D1270
type_infered: byte[8]
name: unpack_data
arguments: tag: D1010
type_infered: f64
name: unpack_data
arguments: tag: D607
type_infered: f64
name: unpack_data
arguments: tag: D1044
type_infered: byte[8]
name: unpack_data
arguments: tag: D1176
type_infered: f64
name: unpack_data
arguments: tag: D993
type_infered: f64
name: unpack_data
arguments: tag: D332
type_infered: byte[8]
name: unpack_data
arguments: tag: D343
type_infered: f64
name: unpack_data
arguments: tag: D955
type_infered: f64
name: unpack_data
arguments: tag: D232
type_infered: byte[8]
name: unpack_data
arguments: tag: D526
type_infered: f64
name: unpack_data
arguments: tag: D420
type_infered: f64
name: unpack_data
arguments: tag: D283
type_infered: byte[8]
name: unpack_data
arguments: tag: D737
type_infered: f64
name: unpack_data
arguments: tag: D1009
type_infered: f64
name: unpack_data
arguments: tag: D849
type_infered: byte[8]
name: unpack_data
arguments: tag: D454
type_infered: f64
name: unpack_data
arguments: tag: D1081
type_infered: f64
name: unpack_data
arguments: tag: D507
type_infered: f32[2]
name: unpack_data
arguments: tag: D710
type_infered: f64
name: unpack_data
arguments: tag: D402
type_infered: f64
name: unpack_data
arguments: tag: D391
type_infered: byte[8]
name: unpack_data
arguments: tag: D590
type_infered: f64
name: unpack_data
arguments: tag: D129
type_infered: f64
name: unpack_data
arguments: tag: D851
type_infered: byte[8]
name: unpack_data
arguments: tag: D8
type_infered: f64
name: unpack_data
arguments: tag: D938
type_infered: f64
name: unpack_data
arguments: tag: D310
type_infered: byte[8]
name: unpack_data
arguments: tag: D630
type_infered: f64
name: unpack_data
arguments: tag: D820
type_infered: byte[8]
name: unpack_data
arguments: tag: D1251
type_infered: byte[8]
name: unpack_data
arguments: tag: D1191
type_infered: f64
name: unpack_data
arguments: tag: D1029
type_infered: f64
name: unpack_data
arguments: tag: D442
type_infered: byte[8]
name: unpack_data
arguments: tag: D666
type_infered: f64
name: unpack_data
arguments: tag: D549
type_infered: byte[8]
name: unpack_data
arguments: tag: D1212
type_infered: f64
name: unpack_data
arguments: tag: D215
type_infered: byte[8]
name: unpack_data
arguments: tag: D537
type_infered: byte[8]
name: unpack_data
arguments: tag: D412
type_infered: f64
name: unpack_data
arguments: tag: D110
type_infered: f64
name: unpack_data
arguments: tag: D622
type_infered: byte[8]
name: unpack_data
arguments: tag: D188
type_infered: f64
name: unpack_data
arguments: tag: D918
type_infered: byte[8]
name: unpack_data
arguments: tag: D869
type_infered: byte[8]
name: unpack_data
arguments: tag: D31
type_infered: f64
name: unpack_data
arguments: tag: D177
type_infered: byte[8]
name: unpack_data
arguments: tag: D624
type_infered: f64
name: unpack_data
arguments: tag: D422
type_infered: f64
name: unpack_data
arguments: tag: D961
type_infered: byte[8]
name: unpack_data
arguments: tag: D449
type_infered: f64
name: unpack_data
arguments: tag: D1057
type_infered: f64
name: unpack_data
arguments: tag: D276
type_infered: byte[8]
name: unpack_data
arguments: tag: D1108
type_infered: byte[8]
name: unpack_data
arguments: tag: D845
type_infered: f64
name: unpack_data
arguments: tag: D219
type_infered: byte[8]
name: unpack_data
arguments: tag: D200
type_infered: f64
name: unpack_data
arguments: tag: D902
type_infered: byte[8]
name: unpack_data
arguments: tag: D1262
type_infered: f64
name: unpack_data
arguments: tag: D953
type_infered: byte[8]
name: unpack_data
arguments: tag: D636
type_infered: f64
name: unpack_data
arguments: tag: D1018
type_infered: byte[8]
name: unpack_data
arguments: tag: D259
type_infered: byte[8]
name: unpack_data
arguments: tag: D2
type_infered: byte[8]
name: unpack_data
arguments: tag: D1112
type_infered: f64
name: unpack_data
arguments: tag: D1179
type_infered: byte[8]
name: unpack_data
arguments: tag: D558
type_infered: f64
name: unpack_data
arguments: tag: D355
type_infered: byte[8]
name: unpack_data
arguments: tag: D1095
type_infered: byte[8]
name: unpack_data
arguments: tag: D749
type_infered: byte[8]
name: unpack_data
arguments: tag: D386
type_infered: byte[8]

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

tool: {"D173": [0xc8,0x3b,0x30,0x00,0x39,0x53,0xe1,0xb2]}

tool: D1244: 40

tool: {"D513": [0x00,0x00,0xf0,0xc4,0x02,0x2a,0xce,0x41]}

tool: D222: 80

tool: {"D56": [0x2e,0x51,0x31,0x92,0x0c,0xb9,0x22,0xcb]}

tool: D342: 31

tool: {"D1213": [0x74,0xda,0x0c,0xf1,0xf4,0x0a,0x01,0x46]}

tool: D384: 62

tool: D934: 21

tool: {"D1302": [0xea,0xd3,0x2c,0xac,0x4d,0xc8,0x5d,0x49]}

tool: D555: 42

tool: D87: 33

tool: {"D587": [0xf1,0x63,0x20,0x7b,0x38,0xe7,0x2e,0x45]}

tool: D263: 66

tool: D731: 25

tool: {"D516": [0xa1,0x33,0x83,0x0d,0x16,0xaa,0x29,0x48]}

tool: D954: 50

tool: D231: 30

tool: {"D831": [0x9c,0x8e,0xc5,0x8b,0xf8,0x5c,0x64,0x46]}

tool: D822: 60

tool: D220: 20

tool: {"D1256": [0xbc,0xd1,0x41,0x3c,0x8b,0x8c,0xa2,0x49]}

tool: D492: 28

tool: {"D1316": [0x14,0xda,0x84,0x11,0xf5,0x2f,0x23,0x47]}

tool: D987: 56

tool: D50: 35

tool: {"D1022": [0x4d,0x66,0x34,0x35,0xdd,0x18,0x4e,0x44]}

tool: D128: 70

tool: D805: 43

tool: D658: 86

tool: D589: 37

tool: {"D1075": [0xcb,0x04,0x69,0x0c,0xb6,0x1d,0x5d,0x43]}

tool: D677: 74

tool: D776: 19

tool: {"D52": [0x7f,0xe5,0x68,0x27,0x4d,0x1a,0xe4,0x49]}

tool: D90: 38

tool: D1223: 32

tool: {"D754": [0x20,0xf4,0x4f,0xe0,0xa5,0xb7,0x98,0x45]}

tool: D939: 64

tool: D1183: 39

tool: {"D1270": [0x00,0x48,0x5b,0x4d,0x97,0x5f,0x58,0x42]}

tool: D1010: 78

tool: D607: 23

tool: {"D1044": [0x21,0x76,0x7c,0x76,0xf8,0x86,0xc9,0x48]}

tool: D1176: 46

tool: D993: 27

tool: {"D332": [0xd6,0xba,0xa4,0x07,0x9d,0x6a,0x7e,0x47]}

tool: D343: 54

tool: D955: 12

tool: {"D232": [0xda,0x95,0x95,0xe1,0xba,0x04,0x50,0x4b]}

tool: D526: 24

tool: D420: 9

tool: {"D283": [0xdb,0x7b,0x87,0x92,0x7f,0xe5,0xac,0x4b]}

tool: D737: 18

tool: D1009: 36

tool: {"D849": [0x67,0x76,0x7a,0x23,0xcf,0xff,0xd6,0x43]}

tool: D454: 72

tool: D1081: 41

tool: {"D507": [2.0,11.665283203125]}

tool: D710: 82

tool: D402: 8

tool: {"D391": [0x03,0x51,0xf6,0x32,0x0d,0xe0,0xc1,0x4b]}

tool: D590: 16

tool: D129: 22

tool: {"D851": [0xa5,0x78,0x49,0xd1,0xf3,0xda,0x14,0x49]}

tool: D8: 44

tool: D938: 13

tool: {"D310": [0x7d,0x91,0xe7,0x50,0xfb,0x54,0x26,0x4b]}

tool: D630: 26

tool: {"D820": [0x67,0x44,0x9a,0xf0,0xfe,0x70,0x95,0x4a]}

tool: {"D1251": [0xde,0xcc,0x57,0x7a,0x3e,0x1b,0xd5,0x47]}

tool: D1191: 52

tool: D1029: 17

tool: {"D442": [0x21,0x3c,0x60,0x87,0x84,0xb1,0x5e,0x4a]}

tool: D666: 34

tool: {"D549": [0x2b,0xc4,0xe6,0xa5,0xc1,0x8b,0xc0,0x44]}

tool: D1212: 68

tool: {"D215": [0xca,0xce,0x68,0x5e,0x61,0xe5,0x22,0x4a]}

tool: {"D537": [0x00,0x00,0x00,0x00,0x00,0xe6,0x9d,0x40]}

tool: D412: 84

tool: D110: 15

tool: {"D622": [0x3e,0x24,0x73,0x5d,0xef,0xa0,0xc9,0x4a]}

tool: D188: 10

tool: {"D918": [0x0a,0x88,0x4f,0xce,0xf1,0x78,0x92,0x4b]}

tool: {"D869": [0x0c,0x9a,0xca,0xf3,0x89,0xf3,0xdd,0x42]}

tool: D31: 76

tool: {"D177": [0x07,0xb0,0x08,0x0a,0xe1,0x58,0x7b,0x48]}

tool: D624: 48

tool: D422: 7

tool: {"D961": [0xda,0x32,0xa8,0xaf,0xe1,0x18,0xd1,0x4b]}

tool: D449: 14

tool: D1057: 11

tool: {"D276": [0x16,0x5c,0x14,0x02,0x0c,0x06,0x73,0x4b]}

tool: {"D1108": [0xa5,0x7a,0xe9,0xb7,0x08,0x0b,0xfa,0x4a]}

tool: D845: 5

tool: {"D219": [0x4b,0xaa,0xca,0xc2,0x38,0x86,0xd9,0x4b]}

tool: D200: 4

tool: {"D902": [0x16,0x46,0x69,0x51,0xff,0x37,0xd2,0x4b]}

tool: D1262: 3

tool: {"D953": [0xfa,0xd8,0x3e,0x42,0x7a,0x98,0xc0,0x4b]}

tool: D636: 6

tool: {"D1018": [0x7a,0x42,0xe6,0x4c,0x38,0x34,0xa1,0x4b]}

tool: {"D259": [0xbb,0xf9,0x62,0x58,0x22,0x94,0x70,0x4b]}

tool: {"D2": [0xa8,0x39,0xa2,0x0f,0x8f,0x90,0xd8,0x4b]}

tool: D1112: 29

tool: {"D1179": [0x36,0xca,0xfd,0x3a,0xbc,0x29,0xc5,0x46]}

tool: D558: 58

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

tool: {"D1095": [0x8e,0x4c,0x90,0xc8,0xbc,0xfe,0x23,0x42]}

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

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

assistant: ```c
double HO_deriv_86(const double a, const double x) {
  double retval = -0.4e1 / 0.3039300249299069843480665237076997760553662020242701756025390625e64 * pow(a, 0.5e1 / 0.4e1) * (-0.7886984146931086243832326290214809188636752942529811056885888671875e67 / 0.8796093022208e13 - 0.8097115215e10 / 0.8e1 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.86417262660359531067741848649375e32 / 0.512e3 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.2785732978733345806769925669843074696521274478984375e52 / 0.1048576e7 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.19128157765555734475746791625e29 / 0.1024e4 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.572335222744939106037328873833839559890090625e45 / 0.131072e6 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.13216451336973031567435121854873125e35 / 0.1024e4 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.111040074680682408910475042490037646192336058297890625e54 / 0.2097152e7 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.204034723604894862824017976061252418125e39 / 0.4096e4 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.284259312095857019546625e24 / 0.256e3 * pow(a, 0.35e2) * pow(x, 0.70e2) + pow(a, 0.43e2) * pow(x, 0.86e2) + 0.1049016582921151845e19 / 0.32e2 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.7701839766385678362399490729102235234017294269158203125e55 / 0.8388608e7 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.3916624378369725108683518296375e31 / 0.2048e4 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.3349854923625e13 / 0.8e1 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.1165877706342936835047401647466413110661089421875e49 / 0.262144e6 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.82801476166530025485018782233883128760625e41 / 0.32768e5 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.1647404763424004914238478858307613136019000949962024666755703125e64 / 0.268435456e9 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.6086308607073535723670732319739412624756341596866708284478173828125e67 / 0.17179869184e11 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.424261360430340307875e21 / 0.64e2 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.6984705e7 / 0.4e1 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.30119654778636537064219013933280001979139816193747560795094107421875e68 / 0.34359738368e11 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.60960060094419272107433487940586367404791248140625e50 / 0.524288e6 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.143544303082720327237322858129367541651629808007360492674921875e63 / 0.134217728e9 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.134589786839185576239435320926452300309745266549882162421875e60 / 0.67108864e8 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.7354514703402346826137221891099995052571875e43 / 0.65536e5 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.6020805411615274660308728284605464962899743552794657078125e58 / 0.33554432e8 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.80011176924068492799571875e26 / 0.512e3 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.231664494093088862315765659361858256074587751799150609375e57 / 0.16777216e8 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.3827e4 / 0.2e1 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.643494634340543803722284984247141241298569313929983712734375e60 / 0.33554432e8 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.972687476927696861276041460131625943901151735388651812468677734375e66 / 0.8589934592e10 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.2107637037704835e16 / 0.16e2 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.39031205017105121961788313764342396173505859375e47 / 0.262144e6 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.57617428780364161135586691197208666206379988090374845597409322265625e68 / 0.34359738368e11 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.125213818428032588280206530673380662855135474888053217120861328125e66 / 0.4294967296e10 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.10462412761131219186393794324297925776357857726484000923828125e62 / 0.67108864e8 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.344066931922142946183804204565955666754032997401109833092557158203125e69 / 0.137438953472e12 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.491176247788807178955171174521951813086809729654722626288336669921875e69 / 0.274877906944e12 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.894833818698881442387420939765446757659969725661876493710751533203125e69 / 0.1099511627776e13 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.463818493144783151604053879834609397244812699923177986881766787109375e69 / 0.2199023255552e13 * a * a * pow(x, 0.4e1) + 0.111739873665480302795566657441135822666755384174222930060273486328125e69 / 0.4398046511104e13 * a * x * x - 0.165565635480546684344227947422881608400281097852759946426007919921875e69 / 0.68719476736e11 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.1758155615591640008449254990112546875e37 / 0.2048e4 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * sqrt(0.1843764745839932075853e22) * x * exp(-a * x * x / 0.2e1);
  return retval;
}
```