user: 请将以下的汇编代码转换成C语言代码:

```asm
<HO_deriv_90>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D1037(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D753(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D56(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm2
  mulsd  -0x28(%rbp),%xmm2
  movsd  %xmm2,-0x28(%rbp)
  movsd  D1236(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1103(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1204(%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  D220(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D151(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D900(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm5
  addsd  -0x28(%rbp),%xmm5
  movsd  %xmm5,-0x28(%rbp)
  movsd  D974(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D970(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D408(%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  D695(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D107(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D1234(%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  D260(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1182(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1266(%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  D339(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D512(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D17(%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  D32(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D11(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1037(%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  D437(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1159(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D769(%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  D1310(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D530(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D720(%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  D887(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D560(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D106(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm5
  addsd  -0x28(%rbp),%xmm5
  movsd  %xmm5,-0x28(%rbp)
  movsd  D154(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D996(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D207(%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  D1230(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D162(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D359(%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  D534(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D547(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D498(%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  D384(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x30(%rbp)
  movsd  D392(%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  D730(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D920(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D686(%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  D294(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D100(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D142(%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  D818(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D502(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D1337(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  D490(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D527(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D20(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D1212(%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  D1140(%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  D1114(%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  D353(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1145(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D1163(%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  D826(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1200(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D53(%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  D358(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D147(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1293(%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  D513(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D942(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D695(%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  D2(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D85(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1142(%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  D1293(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D263(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D534(%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  D1142(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D407(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1062(%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  D262(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D455(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D476(%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  D476(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D202(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D778(%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  D1114(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D785(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D353(%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  D900(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1017(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1257(%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  D210(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1247(%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
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1287(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D850(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D32(%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  D359(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D520(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D172(%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  D1212(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1211(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D374(%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  D385(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1091(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D153(%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  D1085(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1309(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D513(%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  D153(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D668(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D437(%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  D643(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1287(%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  D1179(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D596(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D358(%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  D721(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D442(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1155(%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  D221(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x18(%rbp),%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1179(%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  D646(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D1155(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D328(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D527(%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  D752(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1228(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D418(%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  D637(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D292(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D602(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D1233(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D344(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D645(%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: read_data
arguments: label: D1037
type_guessed: f64
name: read_data
arguments: label: D753
type_guessed: byte[8]
name: read_data
arguments: label: D56
type_guessed: f64
name: read_data
arguments: label: D1236
type_guessed: f64
name: read_data
arguments: label: D1103
type_guessed: byte[8]
name: read_data
arguments: label: D1204
type_guessed: f64
name: read_data
arguments: label: D220
type_guessed: f64
name: read_data
arguments: label: D151
type_guessed: byte[8]
name: read_data
arguments: label: D900
type_guessed: f64
name: read_data
arguments: label: D974
type_guessed: f64
name: read_data
arguments: label: D970
type_guessed: byte[8]
name: read_data
arguments: label: D408
type_guessed: f64
name: read_data
arguments: label: D695
type_guessed: f64
name: read_data
arguments: label: D107
type_guessed: byte[8]
name: read_data
arguments: label: D1234
type_guessed: f64
name: read_data
arguments: label: D260
type_guessed: f64
name: read_data
arguments: label: D1182
type_guessed: byte[8]
name: read_data
arguments: label: D1266
type_guessed: f64
name: read_data
arguments: label: D339
type_guessed: f64
name: read_data
arguments: label: D512
type_guessed: byte[8]
name: read_data
arguments: label: D17
type_guessed: f64
name: read_data
arguments: label: D32
type_guessed: f64
name: read_data
arguments: label: D11
type_guessed: byte[8]
name: read_data
arguments: label: D437
type_guessed: f64
name: read_data
arguments: label: D1159
type_guessed: byte[8]
name: read_data
arguments: label: D769
type_guessed: f64
name: read_data
arguments: label: D1310
type_guessed: f64
name: read_data
arguments: label: D530
type_guessed: byte[8]
name: read_data
arguments: label: D720
type_guessed: f64
name: read_data
arguments: label: D887
type_guessed: f64
name: read_data
arguments: label: D560
type_guessed: byte[8]
name: read_data
arguments: label: D106
type_guessed: f64
name: read_data
arguments: label: D154
type_guessed: f64
name: read_data
arguments: label: D996
type_guessed: byte[8]
name: read_data
arguments: label: D207
type_guessed: f64
name: read_data
arguments: label: D1230
type_guessed: f64
name: read_data
arguments: label: D162
type_guessed: byte[8]
name: read_data
arguments: label: D359
type_guessed: f64
name: read_data
arguments: label: D534
type_guessed: f64
name: read_data
arguments: label: D547
type_guessed: byte[8]
name: read_data
arguments: label: D498
type_guessed: f64
name: read_data
arguments: label: D384
type_guessed: f64
name: read_data
arguments: label: D392
type_guessed: f64
name: read_data
arguments: label: D730
type_guessed: f64
name: read_data
arguments: label: D920
type_guessed: byte[8]
name: read_data
arguments: label: D686
type_guessed: f64
name: read_data
arguments: label: D294
type_guessed: f64
name: read_data
arguments: label: D100
type_guessed: byte[8]
name: read_data
arguments: label: D142
type_guessed: f64
name: read_data
arguments: label: D818
type_guessed: f64
name: read_data
arguments: label: D502
type_guessed: byte[8]
name: read_data
arguments: label: D1337
type_guessed: f64
name: read_data
arguments: label: D490
type_guessed: byte[8]
name: read_data
arguments: label: D527
type_guessed: f64
name: read_data
arguments: label: D20
type_guessed: byte[8]
name: read_data
arguments: label: D1212
type_guessed: f64
name: read_data
arguments: label: D1140
type_guessed: f64
name: read_data
arguments: label: D477
type_guessed: byte[8]
name: read_data
arguments: label: D1114
type_guessed: f64
name: read_data
arguments: label: D353
type_guessed: f64
name: read_data
arguments: label: D1145
type_guessed: byte[8]
name: read_data
arguments: label: D1163
type_guessed: f64
name: read_data
arguments: label: D826
type_guessed: f64
name: read_data
arguments: label: D1200
type_guessed: byte[8]
name: read_data
arguments: label: D53
type_guessed: f64
name: read_data
arguments: label: D358
type_guessed: f64
name: read_data
arguments: label: D147
type_guessed: byte[8]
name: read_data
arguments: label: D1293
type_guessed: f64
name: read_data
arguments: label: D513
type_guessed: f64
name: read_data
arguments: label: D942
type_guessed: byte[8]
name: read_data
arguments: label: D2
type_guessed: f64
name: read_data
arguments: label: D85
type_guessed: byte[8]
name: read_data
arguments: label: D1142
type_guessed: f64
name: read_data
arguments: label: D263
type_guessed: byte[8]
name: read_data
arguments: label: D407
type_guessed: byte[8]
name: read_data
arguments: label: D1062
type_guessed: f64
name: read_data
arguments: label: D262
type_guessed: f64
name: read_data
arguments: label: D455
type_guessed: byte[8]
name: read_data
arguments: label: D476
type_guessed: f64
name: read_data
arguments: label: D202
type_guessed: byte[8]
name: read_data
arguments: label: D778
type_guessed: f64
name: read_data
arguments: label: D785
type_guessed: byte[8]
name: read_data
arguments: label: D1017
type_guessed: byte[8]
name: read_data
arguments: label: D1257
type_guessed: f64
name: read_data
arguments: label: D210
type_guessed: f64
name: read_data
arguments: label: D1247
type_guessed: byte[8]
name: read_data
arguments: label: D1287
type_guessed: f64
name: read_data
arguments: label: D850
type_guessed: byte[8]
name: read_data
arguments: label: D520
type_guessed: byte[8]
name: read_data
arguments: label: D172
type_guessed: f64
name: read_data
arguments: label: D1211
type_guessed: byte[8]
name: read_data
arguments: label: D374
type_guessed: f64
name: read_data
arguments: label: D385
type_guessed: f64
name: read_data
arguments: label: D1091
type_guessed: byte[8]
name: read_data
arguments: label: D153
type_guessed: f64
name: read_data
arguments: label: D1085
type_guessed: f64
name: read_data
arguments: label: D1309
type_guessed: byte[8]
name: read_data
arguments: label: D668
type_guessed: byte[8]
name: read_data
arguments: label: D1314
type_guessed: f64
name: read_data
arguments: label: D643
type_guessed: byte[8]
name: read_data
arguments: label: D1179
type_guessed: f64
name: read_data
arguments: label: D596
type_guessed: byte[8]
name: read_data
arguments: label: D721
type_guessed: f64
name: read_data
arguments: label: D442
type_guessed: byte[8]
name: read_data
arguments: label: D1155
type_guessed: f64
name: read_data
arguments: label: D221
type_guessed: byte[8]
name: read_data
arguments: label: D646
type_guessed: byte[8]
name: read_data
arguments: label: D328
type_guessed: byte[8]
name: read_data
arguments: label: D752
type_guessed: f64
name: read_data
arguments: label: D1228
type_guessed: byte[8]
name: read_data
arguments: label: D418
type_guessed: f64
name: read_data
arguments: label: D637
type_guessed: byte[8]
name: read_data
arguments: label: D292
type_guessed: byte[8]
name: read_data
arguments: label: D602
type_guessed: byte[8]
name: read_data
arguments: label: D1233
type_guessed: byte[8]
name: read_data
arguments: label: D344
type_guessed: byte[8]
name: read_data
arguments: label: D645
type_guessed: f64

tool: D1037: 40

tool: {"D753": [0x2b,0x99,0x4b,0x26,0xbf,0xf2,0xe7,0xc2]}

tool: D56: 80

tool: D1236: 31

tool: {"D1103": [0x26,0x2f,0xc4,0x16,0x20,0x7c,0xe7,0x46]}

tool: D1204: 62

tool: D220: 21

tool: {"D151": [0xf9,0x94,0xb3,0xa3,0xeb,0xc8,0x2a,0x4a]}

tool: D900: 42

tool: D974: 33

tool: {"D970": [0x46,0x24,0xd2,0x14,0x64,0x6e,0x1d,0x46]}

tool: D408: 66

tool: D695: 44

tool: {"D107": [0x00,0x00,0x00,0x00,0x00,0x59,0xa0,0x40]}

tool: D1234: 88

tool: D260: 25

tool: {"D1182": [0xad,0x66,0x66,0x1b,0xba,0xd3,0x00,0x49]}

tool: D1266: 50

tool: D339: 30

tool: {"D512": [0x06,0xfb,0x88,0x54,0x3d,0x4a,0x48,0x47]}

tool: D17: 60

tool: D32: 20

tool: {"D11": [0x08,0x9b,0xd0,0xbd,0x1c,0xab,0x6e,0x4a]}

tool: D437: 28

tool: {"D1159": [0x05,0xe8,0x71,0xcb,0x67,0xa1,0x01,0x48]}

tool: D769: 56

tool: D1310: 35

tool: {"D530": [0x9a,0x47,0x60,0x2b,0xa3,0x13,0x45,0x45]}

tool: D720: 70

tool: D887: 43

tool: {"D560": [0x00,0x00,0x00,0x80,0x44,0xee,0x3f,0x41]}

tool: D106: 86

tool: D154: 37

tool: {"D996": [0xfa,0xed,0xf5,0x89,0xa9,0x6e,0x60,0x44]}

tool: D207: 74

tool: D1230: 19

tool: {"D162": [0x55,0x97,0xc9,0xd5,0xa1,0xa7,0xae,0x4a]}

tool: D359: 38

tool: D534: 32

tool: {"D547": [0x39,0x70,0xe8,0xb2,0x9f,0xe4,0x83,0x46]}

tool: D498: 64

tool: D384: 45

tool: D392: 90

tool: D730: 39

tool: {"D920": [0xaa,0x4a,0x47,0xda,0x0f,0xc2,0x69,0x43]}

tool: D686: 78

tool: D294: 23

tool: {"D100": [0xfa,0x88,0xc3,0x52,0xdf,0x7a,0x9b,0x49]}

tool: D142: 46

tool: D818: 27

tool: {"D502": [0x5d,0xfa,0x7a,0x89,0xfe,0xd0,0x58,0x48]}

tool: D1337: 54

tool: {"D490": [0x37,0xf0,0xe1,0xfe,0xd6,0x83,0xd2,0x4b]}

tool: D527: 12

tool: {"D20": [0xab,0x8f,0x9c,0xc0,0xa4,0xe9,0x0d,0x4c]}

tool: D1212: 24

tool: D1140: 9

tool: {"D477": [0xa9,0x1d,0x2a,0x36,0x4c,0x91,0x66,0x4c]}

tool: D1114: 18

tool: D353: 36

tool: {"D1145": [0x91,0xd5,0x70,0x33,0x52,0x29,0xd4,0x44]}

tool: D1163: 72

tool: D826: 41

tool: {"D1200": [0x00,0x46,0x61,0xec,0xb1,0xa8,0x61,0x42]}

tool: D53: 82

tool: D358: 8

tool: {"D147": [0x6e,0x50,0xb4,0x39,0x06,0x65,0x7a,0x4c]}

tool: D1293: 16

tool: D513: 22

tool: {"D942": [0x00,0x4f,0xe1,0x6c,0xc5,0x7a,0xe4,0x49]}

tool: D2: 13

tool: {"D85": [0x8e,0x6a,0x29,0x7a,0x39,0x36,0xe6,0x4b]}

tool: D1142: 26

tool: {"D263": [0x25,0x14,0xf0,0x11,0x57,0x1c,0x5a,0x4b]}

tool: {"D407": [0xa9,0xcc,0xc1,0x88,0x90,0xc8,0xae,0x48]}

tool: D1062: 52

tool: D262: 17

tool: {"D455": [0xa9,0x8c,0x50,0x79,0xb1,0x16,0x24,0x4b]}

tool: D476: 34

tool: {"D202": [0x75,0x66,0x2b,0x1f,0x36,0xef,0xb2,0x45]}

tool: D778: 68

tool: {"D785": [0xde,0x2d,0x26,0x05,0x91,0xa8,0xea,0x4a]}

tool: {"D1017": [0x00,0x00,0x90,0x76,0xfc,0xd9,0xd3,0x41]}

tool: D1257: 84

tool: D210: 15

tool: {"D1247": [0x71,0xe9,0xe2,0x15,0x78,0x1b,0x8d,0x4b]}

tool: D1287: 10

tool: {"D850": [0xe1,0x73,0x01,0x3f,0xef,0x91,0x4e,0x4c]}

tool: {"D520": [0x81,0x68,0xec,0x94,0xae,0x92,0xe6,0x43]}

tool: D172: 76

tool: {"D1211": [0xb7,0x17,0xb0,0x35,0xf6,0x34,0x50,0x49]}

tool: D374: 48

tool: D385: 7

tool: {"D1091": [0xf0,0xcd,0xb2,0x5f,0x0a,0xe7,0x87,0x4c]}

tool: D153: 14

tool: D1085: 11

tool: {"D1309": [0xb2,0x10,0xb0,0xcc,0xc2,0xb4,0x30,0x4c]}

tool: {"D668": [0xee,0xe0,0x89,0x5e,0x47,0xa6,0xbb,0x4b]}

tool: D1314: 5

tool: {"D643": [0x4e,0x45,0xa4,0x88,0xcd,0x0f,0x90,0x4c]}

tool: D1179: 4

tool: {"D596": [0x97,0x79,0x1e,0x85,0x58,0xcc,0x85,0x4c]}

tool: D721: 3

tool: {"D442": [0x92,0xcc,0xb5,0x39,0x73,0xe6,0x72,0x4c]}

tool: D1155: 6

tool: {"D221": [0xaa,0xbe,0xba,0x48,0xf0,0xab,0x52,0x4c]}

tool: {"D646": [0xfe,0x27,0x43,0xd1,0x7f,0x2a,0x21,0x4c]}

tool: {"D328": [0x91,0xa5,0x61,0xca,0xe8,0x47,0x90,0x4c]}

tool: D752: 29

tool: {"D1228": [0x27,0x7d,0x11,0x6a,0x2d,0x10,0xa6,0x47]}

tool: D418: 58

tool: {"D637": [0x32,0xdb,0x31,0xd8,0xdb,0x53,0xed,0xb1]}

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

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

tool: {"D1233": [0xa4,0xa5,0x6f,0x31,0x85,0xb6,0x68,0x42]}

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

tool: D645: 2

assistant: ```c
double HO_deriv_90(const double a, const double x) {
  double retval = -0.4e1 / 0.117666509151613488990353954653435968299835025113696198484522998046875e69 * (-0.6740827259509035e16 / 0.32e2 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.3902092444294292300636918921264803125e37 / 0.1024e4 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.164190625612383412580162968097138950995483430417838671875e57 / 0.8388608e7 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.2387743800217328409148086710540625e34 / 0.4096e4 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.4185e4 / 0.2e1 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.24592773575422203468623033354586006952459364184375e50 / 0.524288e6 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.516591132654631426577261748482268583125e39 / 0.2048e4 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.6015897273336832587034270384757416592114514190241862796875e58 / 0.16777216e8 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.49146633239818184817053402361609310545703125e44 / 0.65536e5 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.26091701370821240017172434125e29 / 0.512e3 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.4185225e7 / 0.2e1 * pow(a, 0.43e2) * pow(x, 0.86e2) + 0.620793777119112303381675e24 / 0.256e3 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.96211690435280549530228934167574286632753400702095039765625e59 / 0.16777216e8 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.413162729395866243596850238722155625e36 / 0.8192e4 * pow(a, 0.32e2) * pow(x, 0.64e2) + pow(a, 0.45e2) * pow(x, 0.90e2) + 0.928031713301714175e18 / 0.16e2 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.20562954935244155034182635192995707929801857336328125e53 / 0.524288e6 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.2213695418810050559319597384773180971806590625e46 / 0.65536e5 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.63892914469326124521762197376815730786810418636737035777095987939453125e71 / 0.35184372088832e14 - 0.201610998126961912550226952608775994941070589646538783372439992578125e69 / 0.8589934592e10 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.77877818956142584410442200249469026371064163042652799620607463974609375e71 / 0.68719476736e11 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.194989198062412766319181875e27 / 0.512e3 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.9708118618275e13 / 0.16e2 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.364338030483761070989989500918383117071725312593010900562997777490234375e72 / 0.137438953472e12 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.980776791318793439000755466723698987851808588063828125e54 / 0.1048576e7 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.18713416724180415967017091523651971875144284138894258024389470703125e68 / 0.4294967296e10 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.2685330108877956728337447223248673426844159057630406508081640625e64 / 0.268435456e9 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.175742462869601050723604920436831501394168890625e48 / 0.131072e6 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.129124835081458795701342705010536290323576223142275370187265625e63 / 0.134217728e9 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.6000557087169089519264623558125e31 / 0.1024e4 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.2677406132820180949048290036683506663366016352871432672265625e61 / 0.33554432e8 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.5328848745e10 / 0.4e1 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.5987024578317162584924160856128921559715635160703496926071953125e64 / 0.67108864e8 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.6593336819599801624933143334004126159022610122629500826775355845703125e70 / 0.17179869184e11 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.416397918740181753375e21 / 0.32e2 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.1515928600164383916100236598002152718634422639609375e52 / 0.1048576e7 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.329938012294544714685990492219231154502911694561900461466778529599609375e72 / 0.68719476736e11 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.900790990132641741162029377991627478333558179668405766847638408203125e69 / 0.8589934592e10 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.90994843756542305512589067316661423705611805919301493015464453125e65 / 0.134217728e9 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.7094655102692874673277795554247060334251232905220266809144920358037109375e73 / 0.1099511627776e13 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.9628532777367380190591673755336011850007200270028646225790032407177734375e73 / 0.2199023255552e13 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.4174219412153488521932806541330640975436647515908372641238453355712890625e73 / 0.2199023255552e13 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.2061870239863723167577972347392158472518009145067298486044296494775390625e73 / 0.4398046511104e13 * a * a * pow(x, 0.4e1) + 0.947803731216246653817301104733426724655171127290822878792832749267578125e72 / 0.17592186044416e14 * a * x * x - 0.898932907748609851389974095567366319154639646860267724355594197412109375e72 / 0.137438953472e12 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.480493793591863585984610937875511716428125e42 / 0.32768e5 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(a, 0.5e1 / 0.4e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * sqrt(0.721023758941343134511605e24) * x * exp(-a * x * x / 0.2e1);
  return retval;
}
```