user: Converte this assembly snippet into its equivalent C code:

```asm
<HO_deriv_84>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D487(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1040(%rip),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D24(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D204(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D1067(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D921(%rip),%xmm1
  movapd %xmm0,%xmm6
  divsd  %xmm1,%xmm6
  movq   %xmm6,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm3
  mulsd  -0x28(%rbp),%xmm3
  movsd  %xmm3,-0x28(%rbp)
  movsd  D533(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1126(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D532(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D851(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D334(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D922(%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  D721(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D439(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D548(%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  D217(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D370(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D697(%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  D460(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D950(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D171(%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  D637(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D132(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D1114(%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  D105(%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  D533(%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  D623(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D550(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D443(%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  D489(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D940(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D210(%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  D273(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D365(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D202(%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  D252(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D699(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D239(%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  D493(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D668(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D611(%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  D414(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D746(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D228(%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  D72(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D701(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D540(%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  D377(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D435(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D722(%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  D226(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1157(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D793(%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  D1224(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1071(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D703(%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  D94(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D282(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D250(%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  D547(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1128(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D133(%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  D671(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D667(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D1159(%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  D1278(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D828(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D530(%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  D1287(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D409(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D9(%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  D1159(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D901(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D493(%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  D9(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D727(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1158(%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  D109(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D126(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D843(%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  D843(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D306(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D1265(%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  D703(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D864(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D94(%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  D548(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x38(%rbp)
  movsd  D915(%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  D1133(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D390(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D637(%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  D673(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D975(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D105(%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  D239(%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  D295(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm1
  addsd  %xmm0,%xmm1
  movsd  D162(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,-0x30(%rbp)
  movsd  D793(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D698(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D299(%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  D127(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1096(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1130(%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  D535(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1249(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D1278(%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  D1130(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D506(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D623(%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  D1288(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D527(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D673(%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  D165(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D339(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D671(%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  D777(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D97(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D944(%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  -0x18(%rbp),%xmm1
  movsd  D763(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D165(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D1170(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mulsd  -0x20(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D944(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D353(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D226(%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  D1221(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D534(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D351(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0x30(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  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: data_label: D487
type: byte[8]
name: read_data
arguments: data_label: D1040
type: byte[8]
name: read_data
arguments: data_label: D24
type: byte[8]
name: read_data
arguments: data_label: D204
type: byte[8]
name: read_data
arguments: data_label: D1067
type: byte[8]
name: read_data
arguments: data_label: D921
type: f64
name: read_data
arguments: data_label: D533
type: f64
name: read_data
arguments: data_label: D1126
type: byte[8]
name: read_data
arguments: data_label: D532
type: f64
name: read_data
arguments: data_label: D851
type: f64
name: read_data
arguments: data_label: D334
type: byte[8]
name: read_data
arguments: data_label: D922
type: f64
name: read_data
arguments: data_label: D721
type: f64
name: read_data
arguments: data_label: D439
type: byte[8]
name: read_data
arguments: data_label: D548
type: f64
name: read_data
arguments: data_label: D217
type: f64
name: read_data
arguments: data_label: D370
type: byte[8]
name: read_data
arguments: data_label: D697
type: f64
name: read_data
arguments: data_label: D460
type: f64
name: read_data
arguments: data_label: D950
type: byte[8]
name: read_data
arguments: data_label: D171
type: f64
name: read_data
arguments: data_label: D637
type: f64
name: read_data
arguments: data_label: D132
type: byte[8]
name: read_data
arguments: data_label: D1114
type: f64
name: read_data
arguments: data_label: D105
type: f64
name: read_data
arguments: data_label: D831
type: byte[8]
name: read_data
arguments: data_label: D623
type: f64
name: read_data
arguments: data_label: D550
type: byte[8]
name: read_data
arguments: data_label: D443
type: f64
name: read_data
arguments: data_label: D489
type: f64
name: read_data
arguments: data_label: D940
type: byte[8]
name: read_data
arguments: data_label: D210
type: f64
name: read_data
arguments: data_label: D273
type: f64
name: read_data
arguments: data_label: D365
type: byte[8]
name: read_data
arguments: data_label: D202
type: f64
name: read_data
arguments: data_label: D252
type: f64
name: read_data
arguments: data_label: D699
type: byte[8]
name: read_data
arguments: data_label: D239
type: f64
name: read_data
arguments: data_label: D493
type: f64
name: read_data
arguments: data_label: D668
type: byte[8]
name: read_data
arguments: data_label: D611
type: f64
name: read_data
arguments: data_label: D414
type: f64
name: read_data
arguments: data_label: D746
type: f64
name: read_data
arguments: data_label: D228
type: f64
name: read_data
arguments: data_label: D72
type: f64
name: read_data
arguments: data_label: D701
type: byte[8]
name: read_data
arguments: data_label: D540
type: f64
name: read_data
arguments: data_label: D377
type: f64
name: read_data
arguments: data_label: D435
type: byte[8]
name: read_data
arguments: data_label: D722
type: f64
name: read_data
arguments: data_label: D226
type: f64
name: read_data
arguments: data_label: D1157
type: byte[8]
name: read_data
arguments: data_label: D793
type: f64
name: read_data
arguments: data_label: D1224
type: f64
name: read_data
arguments: data_label: D1071
type: byte[8]
name: read_data
arguments: data_label: D703
type: f64
name: read_data
arguments: data_label: D94
type: f64
name: read_data
arguments: data_label: D282
type: byte[8]
name: read_data
arguments: data_label: D250
type: f64
name: read_data
arguments: data_label: D547
type: f64
name: read_data
arguments: data_label: D1128
type: f64
name: read_data
arguments: data_label: D133
type: f64
name: read_data
arguments: data_label: D671
type: f64
name: read_data
arguments: data_label: D667
type: byte[8]
name: read_data
arguments: data_label: D1159
type: f64
name: read_data
arguments: data_label: D1278
type: f64
name: read_data
arguments: data_label: D828
type: byte[8]
name: read_data
arguments: data_label: D530
type: f64
name: read_data
arguments: data_label: D1287
type: f64
name: read_data
arguments: data_label: D409
type: byte[8]
name: read_data
arguments: data_label: D9
type: f64
name: read_data
arguments: data_label: D901
type: byte[8]
name: read_data
arguments: data_label: D727
type: byte[8]
name: read_data
arguments: data_label: D1158
type: f64
name: read_data
arguments: data_label: D109
type: f64
name: read_data
arguments: data_label: D126
type: byte[8]
name: read_data
arguments: data_label: D843
type: f64
name: read_data
arguments: data_label: D306
type: byte[8]
name: read_data
arguments: data_label: D1265
type: f64
name: read_data
arguments: data_label: D864
type: byte[8]
name: read_data
arguments: data_label: D915
type: f64
name: read_data
arguments: data_label: D1133
type: f64
name: read_data
arguments: data_label: D390
type: byte[8]
name: read_data
arguments: data_label: D673
type: f64
name: read_data
arguments: data_label: D975
type: byte[8]
name: read_data
arguments: data_label: D587
type: byte[8]
name: read_data
arguments: data_label: D295
type: f64
name: read_data
arguments: data_label: D162
type: byte[8]
name: read_data
arguments: data_label: D698
type: byte[8]
name: read_data
arguments: data_label: D299
type: f64
name: read_data
arguments: data_label: D127
type: f64
name: read_data
arguments: data_label: D1096
type: byte[8]
name: read_data
arguments: data_label: D1130
type: f64
name: read_data
arguments: data_label: D535
type: f64
name: read_data
arguments: data_label: D1249
type: byte[8]
name: read_data
arguments: data_label: D506
type: byte[8]
name: read_data
arguments: data_label: D1288
type: f64
name: read_data
arguments: data_label: D527
type: byte[8]
name: read_data
arguments: data_label: D165
type: f64
name: read_data
arguments: data_label: D339
type: byte[8]
name: read_data
arguments: data_label: D777
type: f64
name: read_data
arguments: data_label: D97
type: byte[8]
name: read_data
arguments: data_label: D944
type: f64
name: read_data
arguments: data_label: D763
type: byte[8]
name: read_data
arguments: data_label: D1170
type: byte[8]
name: read_data
arguments: data_label: D353
type: byte[8]
name: read_data
arguments: data_label: D1221
type: f64
name: read_data
arguments: data_label: D534
type: byte[8]
name: read_data
arguments: data_label: D351
type: f64

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

tool: {"D1040": [0x85,0x3f,0x33,0x90,0x6c,0x68,0x12,0xb3]}

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

tool: {"D204": [0x3b,0x23,0x84,0x13,0xf3,0x23,0x49,0x42]}

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

tool: D921: 2

tool: D533: 40

tool: {"D1126": [0x00,0x00,0x00,0xc0,0x23,0x43,0x38,0x41]}

tool: D532: 80

tool: D851: 31

tool: {"D334": [0x6f,0x2b,0x31,0x2c,0xc6,0x9d,0x8b,0x45]}

tool: D922: 62

tool: D721: 21

tool: {"D439": [0x8d,0xf7,0x8d,0xbf,0xca,0x3e,0xf6,0x48]}

tool: D548: 42

tool: D217: 33

tool: {"D370": [0x27,0x74,0xb3,0x0b,0xf5,0xd5,0xb4,0x44]}

tool: D697: 66

tool: D460: 25

tool: {"D950": [0x82,0xbd,0x35,0x74,0xca,0x4d,0xbf,0x47]}

tool: D171: 50

tool: D637: 30

tool: {"D132": [0x9f,0xbd,0xcf,0x62,0x90,0xe2,0xf1,0x45]}

tool: D1114: 60

tool: D105: 20

tool: {"D831": [0x22,0xc0,0xab,0xd5,0x92,0xfb,0x3c,0x49]}

tool: D623: 28

tool: {"D550": [0xbd,0x25,0xb8,0x1d,0x26,0x78,0xb3,0x46]}

tool: D443: 56

tool: D489: 35

tool: {"D940": [0x73,0xaa,0x0d,0xdc,0x97,0x35,0xd0,0x43]}

tool: D210: 70

tool: D273: 37

tool: {"D365": [0x68,0x04,0x97,0x55,0xaa,0x7b,0xd7,0x42]}

tool: D202: 74

tool: D252: 19

tool: {"D699": [0xbf,0x5d,0x4e,0x4b,0x44,0x65,0x80,0x49]}

tool: D239: 38

tool: D493: 32

tool: {"D668": [0x20,0xd9,0x73,0xb4,0x3d,0x58,0x22,0x45]}

tool: D611: 64

tool: D414: 39

tool: D746: 877922955

tool: D228: 78

tool: D72: 23

tool: {"D701": [0xf1,0xdb,0xb7,0xae,0xff,0x50,0x61,0x48]}

tool: D540: 46

tool: D377: 27

tool: {"D435": [0x38,0xaf,0x8e,0x0a,0x67,0x78,0x10,0x47]}

tool: D722: 54

tool: D226: 12

tool: {"D1157": [0x62,0xa4,0x66,0xf0,0x62,0xec,0xf0,0x4a]}

tool: D793: 24

tool: D1224: 9

tool: {"D1071": [0xd3,0xa4,0x73,0x23,0x70,0xc2,0x50,0x4b]}

tool: D703: 18

tool: D94: 36

tool: {"D282": [0x00,0xef,0x48,0xef,0xc8,0xa8,0x55,0x43]}

tool: D250: 72

tool: D547: 41

tool: D1128: 1827

tool: D133: 82

tool: D671: 8

tool: {"D667": [0xc3,0xdf,0xf5,0xe5,0x0b,0x5a,0x65,0x4b]}

tool: D1159: 16

tool: D1278: 22

tool: {"D828": [0x88,0xb6,0x05,0x9c,0x5c,0xb9,0xad,0x48]}

tool: D530: 44

tool: D1287: 13

tool: {"D409": [0x04,0x67,0x25,0x7b,0xe9,0xd2,0xc6,0x4a]}

tool: D9: 26

tool: {"D901": [0xb6,0x63,0xb5,0x73,0xe7,0xb2,0x33,0x4a]}

tool: {"D727": [0x05,0x69,0x6f,0xb9,0xf2,0x4c,0x68,0x47]}

tool: D1158: 52

tool: D109: 17

tool: {"D126": [0xb4,0x56,0x64,0xb9,0xa5,0x24,0xfb,0x49]}

tool: D843: 34

tool: {"D306": [0xa9,0x96,0x28,0x22,0xbf,0x10,0x44,0x44]}

tool: D1265: 68

tool: {"D864": [0xbd,0xcd,0x10,0xc1,0x88,0x0f,0xc0,0x49]}

tool: D915: 84

tool: D1133: 15

tool: {"D390": [0x3e,0xfe,0x18,0x3e,0x87,0x6d,0x68,0x4a]}

tool: D673: 10

tool: {"D975": [0xcb,0xb5,0xc8,0xfe,0x40,0xca,0x34,0x4b]}

tool: {"D587": [0x00,0xa8,0xf8,0x91,0xf6,0x1c,0x54,0x42]}

tool: D295: 76

tool: {"D162": [0x47,0xc2,0xf4,0x1c,0xe2,0x8a,0xcb,0x4a]}

tool: {"D698": [0xbb,0x61,0x4b,0x7d,0x3f,0x9d,0x11,0x48]}

tool: D299: 48

tool: D127: 7

tool: {"D1096": [0x46,0xe0,0x6b,0xa9,0x48,0x03,0x75,0x4b]}

tool: D1130: 14

tool: D535: 11

tool: {"D1249": [0x7b,0xeb,0xf0,0xac,0x13,0xc1,0x14,0x4b]}

tool: {"D506": [0x87,0x7c,0x4f,0x76,0x38,0xb8,0x99,0x4a]}

tool: D1288: 5

tool: {"D527": [0x95,0x49,0x48,0x42,0x1c,0x91,0x80,0x4b]}

tool: D165: 4

tool: {"D339": [0xc7,0xef,0xc3,0x95,0xa9,0x47,0x78,0x4b]}

tool: D777: 3

tool: {"D97": [0x2e,0x53,0x9c,0xeb,0xce,0xb0,0x66,0x4b]}

tool: D944: 6

tool: {"D763": [0xe8,0xdd,0xea,0x0a,0x16,0x1e,0x48,0x4b]}

tool: {"D1170": [0x64,0xeb,0x0a,0xc0,0x82,0xd0,0x17,0x4b]}

tool: {"D353": [0xcd,0xfb,0x08,0x13,0x03,0x0a,0x7f,0x4b]}

tool: D1221: 29

tool: {"D534": [0xb6,0x18,0xda,0x02,0xb6,0x07,0x54,0x46]}

tool: D351: 58

assistant: ```c
double HO_deriv_84(const double a, const double x) {
  double retval = -0.2e1 / 0.178782367605827637851803837475117515326686001190747162119140625e63 * pow(a, 0.5e1 / 0.4e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * sqrt(0.46636402394774752506870e23) * x * exp(-a * x * x / 0.2e1) * (0.6360207e7 / 0.4e1 * pow(a, 0.40e2) * pow(x, 0.80e2) - 0.68374659700953671935877382375e29 / 0.64e2 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.8127878721589131467001359970699502618060004484375e49 / 0.262144e6 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.25188900748587144111918375e26 / 0.256e3 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.1363475856794523111376506676178177057026875e43 / 0.32768e5 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.45343901660934314083158160522875e32 / 0.512e3 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.677732432814426025194407601221813143500326229328125e51 / 0.1048576e7 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.808724394659690606444071391312270625e36 / 0.2048e4 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.74752425584024663475e20 / 0.16e2 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.826236996870285e15 / 0.8e1 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.6134312262632764039971626602902525098989302625078125e52 / 0.524288e6 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.11354814084054851342334777375e29 / 0.1024e4 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.877922955e9 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.1544674621973795261704174010775540060658078125e46 / 0.32768e5 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.21892813480212332434623136159506511875e38 / 0.1024e4 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.13597415348269635397868071627709988241547221825538796494765625e62 / 0.134217728e9 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.27577872458157656242288989655833497564537361774249750966427734375e65 / 0.4294967296e10 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.780359100465119175e18 / 0.32e2 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.1827e4 * pow(a, 0.41e2) * pow(x, 0.82e2) + 0.281075137172878363952865927684289753323331124308413024750544921875e66 / 0.17179869184e11 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.339388875275136723150856119034219269425077734375e48 / 0.262144e6 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.573071144946229844354593057106551228570955709122324756484375e60 / 0.33554432e8 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.966028507568855345363237481167247933649130678790375796875e57 / 0.33554432e8 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.33076233722778188685683450365508338310625e41 / 0.32768e5 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.20798381043775269963963464140937497682073536665363546875e56 / 0.8388608e7 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.189512500355620506689625e24 / 0.256e3 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.1538307573585869705932121416274433984938149469743828125e55 / 0.8388608e7 * pow(a, 0.18e2) * pow(x, 0.36e2) + pow(a, 0.42e2) * pow(x, 0.84e2) - 0.1197938027634046896237137152234162279440000655207205671875e58 / 0.4194304e7 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.8552532253343500204562280803389044940071284001512836676248828125e64 / 0.4294967296e10 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.2764328550165e13 / 0.8e1 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.90642660376154612390864545599884580270629802603708811194404296875e65 / 0.4398046511104e13 + 0.196405450800163448186377747401856457024109375e45 / 0.131072e6 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.138306813529511575913314980289094957984496267516838155035982421875e66 / 0.4294967296e10 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.33350723963219739768964513836596800970646967881327081502734375e62 / 0.67108864e8 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.80722309128290117936061559492531192036468286699548242421875e59 / 0.33554432e8 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.1744691617226244979851573190761041802160136438274743910388517578125e67 / 0.34359738368e11 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.5113950437119629028992280901750753114242968606727195407643271484375e67 / 0.137438953472e12 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.1194802562709746103763605045846210354928242545957763284442216796875e67 / 0.68719476736e11 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.5079743410784380674283302434180513962977129351832699117291142578125e67 / 0.1099511627776e13 * a * a * pow(x, 0.4e1) - 0.626989763193637525946276058025237126250687806175950297551826171875e66 / 0.1099511627776e13 * a * x * x + 0.1634399871708959375577775949867907084139369870978549810586501953125e67 / 0.34359738368e11 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.3250072951441632752191925598804375e34 / 0.512e3 * pow(a, 0.29e2) * pow(x, 0.58e2));
  return retval;
}
```