user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<HO_88>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D951(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D230(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1040(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D899(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1290(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D607(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D93(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D810(%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  D662(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1060(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D664(%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  D533(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D579(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D474(%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  D509(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D449(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D236(%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  D0(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D618(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1105(%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  D1305(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D466(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D275(%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  D1079(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1027(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1012(%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  D762(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D360(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D300(%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  D1118(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D293(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1067(%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  D990(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1339(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D735(%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  D1024(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D99(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1298(%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  D1329(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D448(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-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  %xmm0,-0x30(%rbp)
  movsd  D1222(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D921(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D875(%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  D263(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1128(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D499(%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  D1184(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1046(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D913(%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  D69(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1220(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D980(%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  D588(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D661(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D917(%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  D738(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1017(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1317(%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  D930(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1185(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D395(%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  D229(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D577(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D676(%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  D89(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D284(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D238(%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  D987(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D969(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1040(%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  D1009(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D662(%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  D389(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D370(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D509(%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  D572(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1282(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1305(%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  D190(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1357(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D762(%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  D119(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1309(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D990(%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  D948(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1050(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1329(%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  D938(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D909(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D263(%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  D516(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D391(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D69(%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  D627(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1078(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D738(%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  D292(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D927(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D229(%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  D25(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D601(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-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),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1039(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D70(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D389(%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  D699(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D522(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D190(%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  D1268(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D483(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D948(%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  D953(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D430(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D516(%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  D855(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D746(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D292(%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  D610(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D703(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1039(%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  D139(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D192(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1268(%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  D91(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D172(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D855(%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  -0x18(%rbp),%xmm1
  movsd  D402(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x18(%rbp),%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D139(%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  D252(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x20(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D918(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D1082(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D836(%rip),%xmm1
  movapd %xmm0,%xmm6
  divsd  %xmm1,%xmm6
  movq   %xmm6,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D977(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D363(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D951
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D230
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D1040
data_type: f64
name: extract_symbolic_data
arguments: label: D899
data_type: f64
name: extract_symbolic_data
arguments: label: D1290
data_type: f64
name: extract_symbolic_data
arguments: label: D607
data_type: f64
name: extract_symbolic_data
arguments: label: D93
data_type: f64
name: extract_symbolic_data
arguments: label: D810
data_type: f64
name: extract_symbolic_data
arguments: label: D662
data_type: f64
name: extract_symbolic_data
arguments: label: D1060
data_type: f64
name: extract_symbolic_data
arguments: label: D664
data_type: f64
name: extract_symbolic_data
arguments: label: D533
data_type: f64
name: extract_symbolic_data
arguments: label: D579
data_type: f64
name: extract_symbolic_data
arguments: label: D474
data_type: f64
name: extract_symbolic_data
arguments: label: D509
data_type: f64
name: extract_symbolic_data
arguments: label: D449
data_type: f64
name: extract_symbolic_data
arguments: label: D236
data_type: f64
name: extract_symbolic_data
arguments: label: D0
data_type: f64
name: extract_symbolic_data
arguments: label: D618
data_type: f64
name: extract_symbolic_data
arguments: label: D1105
data_type: f64
name: extract_symbolic_data
arguments: label: D1305
data_type: f64
name: extract_symbolic_data
arguments: label: D466
data_type: f64
name: extract_symbolic_data
arguments: label: D275
data_type: f64
name: extract_symbolic_data
arguments: label: D1079
data_type: f64
name: extract_symbolic_data
arguments: label: D1027
data_type: f64
name: extract_symbolic_data
arguments: label: D1012
data_type: f64
name: extract_symbolic_data
arguments: label: D762
data_type: f64
name: extract_symbolic_data
arguments: label: D360
data_type: f64
name: extract_symbolic_data
arguments: label: D300
data_type: f64
name: extract_symbolic_data
arguments: label: D1118
data_type: f64
name: extract_symbolic_data
arguments: label: D293
data_type: f64
name: extract_symbolic_data
arguments: label: D1067
data_type: f64
name: extract_symbolic_data
arguments: label: D990
data_type: f64
name: extract_symbolic_data
arguments: label: D1339
data_type: f64
name: extract_symbolic_data
arguments: label: D735
data_type: f64
name: extract_symbolic_data
arguments: label: D1024
data_type: f64
name: extract_symbolic_data
arguments: label: D99
data_type: f64
name: extract_symbolic_data
arguments: label: D1298
data_type: f64
name: extract_symbolic_data
arguments: label: D1329
data_type: f64
name: extract_symbolic_data
arguments: label: D448
data_type: f64
name: extract_symbolic_data
arguments: label: D165
data_type: f64
name: extract_symbolic_data
arguments: label: D1222
data_type: f64
name: extract_symbolic_data
arguments: label: D921
data_type: f64
name: extract_symbolic_data
arguments: label: D875
data_type: f64
name: extract_symbolic_data
arguments: label: D263
data_type: f64
name: extract_symbolic_data
arguments: label: D1128
data_type: f64
name: extract_symbolic_data
arguments: label: D499
data_type: f64
name: extract_symbolic_data
arguments: label: D1184
data_type: f64
name: extract_symbolic_data
arguments: label: D1046
data_type: f64
name: extract_symbolic_data
arguments: label: D913
data_type: f64
name: extract_symbolic_data
arguments: label: D69
data_type: f64
name: extract_symbolic_data
arguments: label: D1220
data_type: f64
name: extract_symbolic_data
arguments: label: D980
data_type: f64
name: extract_symbolic_data
arguments: label: D588
data_type: f64
name: extract_symbolic_data
arguments: label: D661
data_type: f64
name: extract_symbolic_data
arguments: label: D917
data_type: f64
name: extract_symbolic_data
arguments: label: D738
data_type: f64
name: extract_symbolic_data
arguments: label: D1017
data_type: f64
name: extract_symbolic_data
arguments: label: D1317
data_type: f64
name: extract_symbolic_data
arguments: label: D930
data_type: f64
name: extract_symbolic_data
arguments: label: D1185
data_type: f64
name: extract_symbolic_data
arguments: label: D395
data_type: f64
name: extract_symbolic_data
arguments: label: D229
data_type: f64
name: extract_symbolic_data
arguments: label: D577
data_type: f64
name: extract_symbolic_data
arguments: label: D676
data_type: f64
name: extract_symbolic_data
arguments: label: D89
data_type: f64
name: extract_symbolic_data
arguments: label: D284
data_type: f64
name: extract_symbolic_data
arguments: label: D238
data_type: f64
name: extract_symbolic_data
arguments: label: D987
data_type: f64
name: extract_symbolic_data
arguments: label: D969
data_type: f64
name: extract_symbolic_data
arguments: label: D1133
data_type: f64
name: extract_symbolic_data
arguments: label: D1009
data_type: f64
name: extract_symbolic_data
arguments: label: D389
data_type: f64
name: extract_symbolic_data
arguments: label: D370
data_type: f64
name: extract_symbolic_data
arguments: label: D572
data_type: f64
name: extract_symbolic_data
arguments: label: D1282
data_type: f64
name: extract_symbolic_data
arguments: label: D190
data_type: f64
name: extract_symbolic_data
arguments: label: D1357
data_type: f64
name: extract_symbolic_data
arguments: label: D119
data_type: f64
name: extract_symbolic_data
arguments: label: D1309
data_type: f64
name: extract_symbolic_data
arguments: label: D948
data_type: f64
name: extract_symbolic_data
arguments: label: D1050
data_type: f64
name: extract_symbolic_data
arguments: label: D938
data_type: f64
name: extract_symbolic_data
arguments: label: D909
data_type: f64
name: extract_symbolic_data
arguments: label: D516
data_type: f64
name: extract_symbolic_data
arguments: label: D391
data_type: f64
name: extract_symbolic_data
arguments: label: D627
data_type: f64
name: extract_symbolic_data
arguments: label: D1078
data_type: f64
name: extract_symbolic_data
arguments: label: D292
data_type: f64
name: extract_symbolic_data
arguments: label: D927
data_type: f64
name: extract_symbolic_data
arguments: label: D25
data_type: f64
name: extract_symbolic_data
arguments: label: D601
data_type: f64
name: extract_symbolic_data
arguments: label: D1039
data_type: f64
name: extract_symbolic_data
arguments: label: D70
data_type: f64
name: extract_symbolic_data
arguments: label: D699
data_type: f64
name: extract_symbolic_data
arguments: label: D522
data_type: f64
name: extract_symbolic_data
arguments: label: D1268
data_type: f64
name: extract_symbolic_data
arguments: label: D483
data_type: f64
name: extract_symbolic_data
arguments: label: D953
data_type: f64
name: extract_symbolic_data
arguments: label: D430
data_type: f64
name: extract_symbolic_data
arguments: label: D855
data_type: f64
name: extract_symbolic_data
arguments: label: D746
data_type: f64
name: extract_symbolic_data
arguments: label: D610
data_type: f64
name: extract_symbolic_data
arguments: label: D703
data_type: f64
name: extract_symbolic_data
arguments: label: D139
data_type: f64
name: extract_symbolic_data
arguments: label: D192
data_type: f64
name: extract_symbolic_data
arguments: label: D91
data_type: f64
name: extract_symbolic_data
arguments: label: D172
data_type: f64
name: extract_symbolic_data
arguments: label: D402
data_type: f64
name: extract_symbolic_data
arguments: label: D252
data_type: f64
name: extract_symbolic_data
arguments: label: D918
data_type: f64
name: extract_symbolic_data
arguments: label: D1082
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D836
data_type: f64
name: extract_symbolic_data
arguments: label: D977
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D363
data_type: f64

tool: {"D951": [0x00,0x00,0x00,0x00,0x00,0x00,0xd0,0x3f]}

tool: {"D230": [0x4f,0x5c,0x5f,0x19,0x18,0x82,0x2a,0x42]}

tool: D1040: 44

tool: D899: 17592186044416

tool: D1290: 88

tool: D607: 43

tool: D93: 3.3671444089012224e+16

tool: D810: 86

tool: D662: 42

tool: D1060: 3.076728203633492e+19

tool: D664: 84

tool: D533: 41

tool: D579: 1.7875790863110588e+22

tool: D474: 82

tool: D509: 40

tool: D449: 7.420687682048783e+24

tool: D236: 80

tool: D0: 39

tool: D618: 2.3449373075274154e+27

tool: D1105: 78

tool: D1305: 38

tool: D466: 5.868205612087357e+29

tool: D275: 76

tool: D1079: 37

tool: D1027: 1.1945989996034977e+32

tool: D1012: 74

tool: D762: 36

tool: D360: 2.0166324362056545e+34

tool: D300: 72

tool: D1118: 35

tool: D293: 2.8636180594120295e+36

tool: D1067: 70

tool: D990: 34

tool: D1339: 3.457818806740026e+38

tool: D735: 68

tool: D1024: 33

tool: D99: 3.580414200797172e+40

tool: D1298: 66

tool: D1329: 32

tool: D448: 3.1999951919624723e+42

tool: D165: 64

tool: D1222: 31

tool: D921: 2.48122704115244e+44

tool: D875: 62

tool: D263: 30

tool: D1128: 1.6757144052925943e+46

tool: D499: 60

tool: D1184: 29

tool: D1046: 9.886714991226306e+47

tool: D913: 58

tool: D69: 28

tool: D1220: 5.107106212655339e+49

tool: D980: 56

tool: D588: 27

tool: D661: 2.3132186963203596e+51

tool: D917: 54

tool: D738: 26

tool: D1017: 9.195044317873429e+52

tool: D1317: 52

tool: D930: 25

tool: D1185: 3.208586517236886e+54

tool: D395: 50

tool: D229: 24

tool: D577: 9.826296209037965e+55

tool: D676: 48

tool: D89: 23

tool: D284: 2.6390624104273386e+57

tool: D238: 46

tool: D987: 22

tool: D969: 6.207794533618854e+58

tool: D1133: 21

tool: D1009: 1.2766464410442251e+60

tool: D389: 20

tool: D370: 2.2899845536230788e+61

tool: D572: 19

tool: D1282: 3.572375903652003e+62

tool: D190: 18

tool: D1357: 4.8295774235910736e+63

tool: D119: 17

tool: D1309: 5.634506994189585e+64

tool: D948: 16

tool: D1050: 5.644568613822067e+65

tool: D938: 15

tool: D909: 4.827079366303009e+66

tool: D516: 14

tool: D391: 3.4996325405696816e+67

tool: D627: 13

tool: D1078: 2.1336469360247413e+68

tool: D292: 12

tool: D927: 1.083492584700064e+69

tool: D25: 11

tool: D601: 4.530968990563904e+69

tool: D1039: 10

tool: D70: 1.539196818853326e+70

tool: D699: 9

tool: D522: 4.1778199368875997e+70

tool: D1268: 8

tool: D483: 8.877867365886148e+70

tool: D953: 7

tool: D430: 1.439654167440997e+71

tool: D855: 6

tool: D746: 1.7237964373306676e+71

tool: D610: 5

tool: D703: 1.4585969854336418e+71

tool: D139: 4

tool: D192: 8.204608043064236e+70

tool: D91: 3

tool: D172: 2.801573478119495e+70

tool: D402: 5.002809782356241e+69

tool: D252: 3.490332406295052e+68

tool: D918: 3.9662868253352865e+66

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

tool: D836: 2

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

tool: D363: 7.752850637423829e+77

assistant: ```c
double HO_88(const double a, const double x) {
  double retval = sqrt(0.3240556219961092739378e22) * pow(a, 0.1e1 / 0.4e1) * (0.17592186044416e14 * pow(a, 0.44e2) * pow(x, 0.88e2) - 0.33671444089012224e17 * pow(a, 0.43e2) * pow(x, 0.86e2) + 0.30767282036334919680e20 * pow(a, 0.42e2) * pow(x, 0.84e2) - 0.17875790863110588334080e23 * pow(a, 0.41e2) * pow(x, 0.82e2) + 0.7420687682048782982184960e25 * pow(a, 0.40e2) * pow(x, 0.80e2) - 0.2344937307527415422370447360e28 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.586820561208735709448204451840e30 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.119459899960349769423384477696000e33 * pow(a, 0.37e2) * pow(x, 0.74e2) + 0.20166324362056545450785092141056000e35 * pow(a, 0.36e2) * pow(x, 0.72e2) - 0.2863618059412029454011483084029952000e37 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.345781880674002556571886582396616704000e39 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.35804142007971719266852619759067856896000e41 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.3199995191962472409474952890966689710080000e43 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.248122704115244014519288654930340248289280000e45 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.16757144052925943980570530231188336054108160000e47 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.988671499122630694853661283640111827192381440000e48 * pow(a, 0.29e2) * pow(x, 0.58e2) + 0.51071062126553391831034440683034526573406453760000e50 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.2313218696320359512346854077996269733030762905600000e52 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.91950443178734290615787449600351721887972825497600000e53 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.3208586517236886035698267320264904821669788594995200000e55 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.98262962090379634843259436683112710163637275721728000000e56 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.2639062410427338764361824870917884215823401119383552000000e58 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.62077945336188536843511107759091140076755003603681280000000e59 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.1276646441044225127260032781306526489404570291501793280000000e61 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.22899845536230788220226838014685818903694479603813416960000000e62 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.357237590365200296235538673029098774897633881819489304576000000e63 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.4829577423591073235645840137297239206789165748444249636864000000e64 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.56345069941895854415868134935134457412540267065182912430080000000e65 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.564456861382206684416107566046614832293483746849421676308480000000e66 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.4827079366303008887420506082053809600302895490298502611189760000000e67 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.34996325405696814433798669094890119602195992304664143931125760000000e68 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.213364693602474126709288659965620406606936856309081393644605440000000e69 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.1083492584700063924695606476387916127300851223444553952101512000000000e70 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.4530968990563903685090717992167649259621741479859043799697232000000000e70 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.15391968188533261047881703767510690867244445321285869378383244000000000e71 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.41778199368875994272821767368957589496806351586347359741325948000000000e71 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.88778673658861487829746255659034877680713497120988139450317639500000000e71 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.143965416744099709994183117284921423266021887223224009919434010000000000e72 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.172379643733066758019350837801682230489578838648860327666690722500000000e72 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.145859698543364179862527631986038810414259017318266431102584457500000000e72 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.82046080430642351172671792992146830858020697241524867495203757343750000e71 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.28015734781194949180912319558294039805177799058081662071532990312500000e71 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.5002809782356240925162914206838221393781749831800296798488033984375000e70 * a * a * pow(x, 0.4e1) - 0.349033240629505180825319595825922422821982546404671869661955859375000e69 * a * x * x + 0.3966286825335286145742268134385482077522528936416725791613134765625e67) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.775285063742382909702368428125233087381203557722953987521564440002560000000000e78;
  return retval;
}
```