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

```asm
<HO_95>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D843(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D349(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1333(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1349(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D1379(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1033(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D810(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D0(%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  D708(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D970(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D60(%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  D805(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D213(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1243(%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  D331(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1237(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D406(%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  D142(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D631(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D587(%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  D443(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D565(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1227(%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  D173(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1332(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D720(%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  D238(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1444(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1310(%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  D804(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D134(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1070(%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  D1001(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D361(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D854(%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  D1128(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D947(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D511(%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  D1422(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1061(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1166(%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  D527(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D71(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D61(%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  D409(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1003(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1273(%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  D1103(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1231(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D402(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D989(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1447(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1285(%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  D1374(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1025(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1186(%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  D517(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1185(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D629(%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  D909(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1413(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1301(%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  D768(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1397(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D654(%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  D691(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1260(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D492(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1035(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D930(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D428(%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  D1085(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D79(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D998(%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  D117(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D666(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1033(%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  D1199(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1022(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D805(%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  D588(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D416(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D142(%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  D1415(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D190(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D173(%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  D54(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D648(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D804(%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  D566(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D961(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1128(%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  D765(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D913(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D527(%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  D49(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1283(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1103(%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  D474(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D589(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1374(%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  D1104(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D189(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D909(%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  D196(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D917(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D691(%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  D82(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D260(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1085(%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  D506(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D457(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1199(%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  D928(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1390(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1415(%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  D976(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D821(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D566(%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  D1175(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D93(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D49(%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  D557(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1410(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1104(%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  D516(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D352(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D82(%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  D1169(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D771(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D928(%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  D789(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D161(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1175(%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  D305(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1419(%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
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D862(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm6
  mulsd  -0x18(%rbp),%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D789(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D64(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  D932(%rip),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D924(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D365(%rip),%xmm1
  movapd %xmm0,%xmm7
  divsd  %xmm1,%xmm7
  movq   %xmm7,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D1440(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D923(%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: data_label: D843
data_type: byte[8]
name: extract_symbolic_data
arguments: data_label: D349
data_type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1333
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1349
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1379
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1033
data_type: f64
name: extract_symbolic_data
arguments: data_label: D810
data_type: f64
name: extract_symbolic_data
arguments: data_label: D0
data_type: f64
name: extract_symbolic_data
arguments: data_label: D708
data_type: f64
name: extract_symbolic_data
arguments: data_label: D970
data_type: f64
name: extract_symbolic_data
arguments: data_label: D60
data_type: f64
name: extract_symbolic_data
arguments: data_label: D805
data_type: f64
name: extract_symbolic_data
arguments: data_label: D213
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1243
data_type: f64
name: extract_symbolic_data
arguments: data_label: D331
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1237
data_type: f64
name: extract_symbolic_data
arguments: data_label: D406
data_type: f64
name: extract_symbolic_data
arguments: data_label: D142
data_type: f64
name: extract_symbolic_data
arguments: data_label: D631
data_type: f64
name: extract_symbolic_data
arguments: data_label: D587
data_type: f64
name: extract_symbolic_data
arguments: data_label: D443
data_type: f64
name: extract_symbolic_data
arguments: data_label: D565
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1227
data_type: f64
name: extract_symbolic_data
arguments: data_label: D173
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1332
data_type: f64
name: extract_symbolic_data
arguments: data_label: D720
data_type: f64
name: extract_symbolic_data
arguments: data_label: D238
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1444
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1310
data_type: f64
name: extract_symbolic_data
arguments: data_label: D804
data_type: f64
name: extract_symbolic_data
arguments: data_label: D134
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1070
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1001
data_type: f64
name: extract_symbolic_data
arguments: data_label: D361
data_type: f64
name: extract_symbolic_data
arguments: data_label: D854
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1128
data_type: f64
name: extract_symbolic_data
arguments: data_label: D947
data_type: f64
name: extract_symbolic_data
arguments: data_label: D511
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1422
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1061
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1166
data_type: f64
name: extract_symbolic_data
arguments: data_label: D527
data_type: f64
name: extract_symbolic_data
arguments: data_label: D71
data_type: f64
name: extract_symbolic_data
arguments: data_label: D61
data_type: f64
name: extract_symbolic_data
arguments: data_label: D409
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1003
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1273
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1103
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1231
data_type: f64
name: extract_symbolic_data
arguments: data_label: D402
data_type: f64
name: extract_symbolic_data
arguments: data_label: D989
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1447
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1285
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1374
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1025
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1186
data_type: f64
name: extract_symbolic_data
arguments: data_label: D517
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1185
data_type: f64
name: extract_symbolic_data
arguments: data_label: D629
data_type: f64
name: extract_symbolic_data
arguments: data_label: D909
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1413
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1301
data_type: f64
name: extract_symbolic_data
arguments: data_label: D768
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1397
data_type: f64
name: extract_symbolic_data
arguments: data_label: D654
data_type: f64
name: extract_symbolic_data
arguments: data_label: D691
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1260
data_type: f64
name: extract_symbolic_data
arguments: data_label: D492
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1035
data_type: f64
name: extract_symbolic_data
arguments: data_label: D930
data_type: f64
name: extract_symbolic_data
arguments: data_label: D428
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1085
data_type: f64
name: extract_symbolic_data
arguments: data_label: D79
data_type: f64
name: extract_symbolic_data
arguments: data_label: D998
data_type: f64
name: extract_symbolic_data
arguments: data_label: D117
data_type: f64
name: extract_symbolic_data
arguments: data_label: D666
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1199
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1022
data_type: f64
name: extract_symbolic_data
arguments: data_label: D588
data_type: f64
name: extract_symbolic_data
arguments: data_label: D416
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1415
data_type: f64
name: extract_symbolic_data
arguments: data_label: D190
data_type: f64
name: extract_symbolic_data
arguments: data_label: D54
data_type: f64
name: extract_symbolic_data
arguments: data_label: D648
data_type: f64
name: extract_symbolic_data
arguments: data_label: D566
data_type: f64
name: extract_symbolic_data
arguments: data_label: D961
data_type: f64
name: extract_symbolic_data
arguments: data_label: D765
data_type: f64
name: extract_symbolic_data
arguments: data_label: D913
data_type: f64
name: extract_symbolic_data
arguments: data_label: D49
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1283
data_type: f64
name: extract_symbolic_data
arguments: data_label: D474
data_type: f64
name: extract_symbolic_data
arguments: data_label: D589
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1104
data_type: f64
name: extract_symbolic_data
arguments: data_label: D189
data_type: f64
name: extract_symbolic_data
arguments: data_label: D196
data_type: f64
name: extract_symbolic_data
arguments: data_label: D917
data_type: f64
name: extract_symbolic_data
arguments: data_label: D82
data_type: f64
name: extract_symbolic_data
arguments: data_label: D260
data_type: f64
name: extract_symbolic_data
arguments: data_label: D506
data_type: f64
name: extract_symbolic_data
arguments: data_label: D457
data_type: f64
name: extract_symbolic_data
arguments: data_label: D928
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1390
data_type: f64
name: extract_symbolic_data
arguments: data_label: D976
data_type: f64
name: extract_symbolic_data
arguments: data_label: D821
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1175
data_type: f64
name: extract_symbolic_data
arguments: data_label: D93
data_type: f64
name: extract_symbolic_data
arguments: data_label: D557
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1410
data_type: f64
name: extract_symbolic_data
arguments: data_label: D516
data_type: f64
name: extract_symbolic_data
arguments: data_label: D352
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1169
data_type: f64
name: extract_symbolic_data
arguments: data_label: D771
data_type: f64
name: extract_symbolic_data
arguments: data_label: D789
data_type: f64
name: extract_symbolic_data
arguments: data_label: D161
data_type: f64
name: extract_symbolic_data
arguments: data_label: D305
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1419
data_type: f64
name: extract_symbolic_data
arguments: data_label: D862
data_type: f64
name: extract_symbolic_data
arguments: data_label: D64
data_type: f64
name: extract_symbolic_data
arguments: data_label: D932
data_type: f64
name: extract_symbolic_data
arguments: data_label: D924
data_type: byte[8]
name: extract_symbolic_data
arguments: data_label: D365
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1440
data_type: byte[8]
name: extract_symbolic_data
arguments: data_label: D923
data_type: f64

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

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

tool: D1333: 47

tool: D1349: 140737488355328

tool: D1379: 94

tool: D1033: 46

tool: D810: 3.1419644275326976e+17

tool: D0: 92

tool: D708: 45

tool: D970: 3.36033095524622e+20

tool: D60: 90

tool: D805: 44

tool: D213: 2.2934258769555452e+23

tool: D1243: 88

tool: D331: 43

tool: D1237: 1.1226319667697394e+26

tool: D406: 86

tool: D142: 42

tool: D631: 4.199766187685595e+28

tool: D587: 84

tool: D443: 41

tool: D565: 1.2494304408364644e+31

tool: D1227: 82

tool: D173: 40

tool: D1332: 3.037008421547492e+33

tool: D720: 80

tool: D238: 39

tool: D1444: 6.1499420536336714e+35

tool: D1310: 78

tool: D804: 38

tool: D134: 1.05266508151363e+38

tool: D1070: 76

tool: D1001: 37

tool: D361: 1.5400490142544408e+40

tool: D854: 74

tool: D1128: 36

tool: D947: 1.9425618247982152e+42

tool: D511: 72

tool: D1422: 35

tool: D1061: 2.1271051981540455e+44

tool: D1166: 70

tool: D527: 34

tool: D71: 2.0330216990049243e+46

tool: D61: 68

tool: D409: 33

tool: D1003: 1.70338175209484e+48

tool: D1273: 66

tool: D1103: 32

tool: D1231: 1.2553923512938973e+50

tool: D402: 64

tool: D989: 31

tool: D1447: 8.160050283410332e+51

tool: D1285: 62

tool: D1374: 30

tool: D1025: 4.687228883382464e+53

tool: D1186: 60

tool: D517: 29

tool: D1185: 2.382674682386086e+55

tool: D629: 58

tool: D909: 28

tool: D1413: 1.0728306267269982e+57

tool: D1301: 56

tool: D768: 27

tool: D1397: 4.2805942006407226e+58

tool: D654: 54

tool: D691: 26

tool: D1260: 1.5134958066551126e+60

tool: D492: 52

tool: D1035: 25

tool: D930: 4.739993685388057e+61

tool: D428: 50

tool: D1085: 24

tool: D79: 1.3138025975803855e+63

tool: D998: 48

tool: D117: 23

tool: D666: 3.2188163640719444e+64

tool: D1199: 22

tool: D1022: 6.959080979123543e+65

tool: D588: 21

tool: D416: 1.3249019556408285e+67

tool: D1415: 20

tool: D190: 2.215530492488274e+68

tool: D54: 19

tool: D648: 3.244169649714973e+69

tool: D566: 18

tool: D961: 4.144706397308267e+70

tool: D765: 17

tool: D913: 4.600624101012177e+71

tool: D49: 16

tool: D1283: 4.415115064681041e+72

tool: D474: 15

tool: D589: 3.642469928361859e+73

tool: D1104: 14

tool: D189: 2.566285631345855e+74

tool: D196: 13

tool: D917: 1.5322234798917897e+75

tool: D82: 12

tool: D260: 7.683006306314546e+75

tool: D506: 11

tool: D457: 3.201252627631061e+76

tool: D928: 10

tool: D1390: 1.0944823172846735e+77

tool: D976: 9

tool: D821: 3.024227455655019e+77

tool: D1175: 8

tool: D93: 6.630037114320618e+77

tool: D557: 7

tool: D1410: 1.1271063094345052e+78

tool: D516: 6

tool: D352: 1.4432458840319882e+78

tool: D1169: 5

tool: D771: 1.3401568923154178e+78

tool: D789: 4

tool: D161: 8.570770822947439e+77

tool: D305: 3

tool: D1419: 3.506224427569407e+77

tool: D862: 8.181190330995283e+76

tool: D64: 8.892598185864438e+75

tool: D932: 2.838063250807799e+74

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

tool: D365: 2

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

tool: D923: 4.7550225441934164e+85

assistant: ```c
double HO_95(const double a, const double x) {
  double retval = sqrt(0.437759660807231218259973e24) * pow(a, 0.3e1 / 0.4e1) * x * (0.140737488355328e15 * pow(a, 0.47e2) * pow(x, 0.94e2) - 0.314196442753269760e18 * pow(a, 0.46e2) * pow(x, 0.92e2) + 0.336033095524622008320e21 * pow(a, 0.45e2) * pow(x, 0.90e2) - 0.229342587695554520678400e24 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.112263196676973937872076800e27 * pow(a, 0.43e2) * pow(x, 0.86e2) - 0.41997661876855950157943930880e29 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.12494304408364645171988319436800e32 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.3037008421547491965734017931673600e34 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.614994205363367123061138631163904000e36 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.105266508151363005897298229034221568000e39 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.15400490142544407762774730907706615398400e41 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.1942561824798215070077267194040266260480000e43 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.212710519815404550173460757747409155522560000e45 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.20330216990049242583886537807781221210521600000e47 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.1703381752094840110778493489180526605710131200000e49 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.125539235129389716164374970152604810840836669440000e51 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.8160050283410331550684373059919312704654383513600000e52 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.468722888338246397602546487824188756240882676531200000e54 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.23826746823860858544796113131062928442244869390336000000e56 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.1072830626726998130793319725453912383281078198075392000000e58 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.42805942006407225418653457045611104092915020103208140800000e59 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.1513495806655112613016675802684106894713781067934859264000000e61 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.47399936853880572289476801274970438657172507082141728768000000e62 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.1313802597580385427588759165773637158432498837602841395200000000e64 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.32188163640719442975924599561454110381596221521269614182400000000e65 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.695908097912354357139489842518637866450110309289849058623488000000e66 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.13249019556408284876309518155643297842030946273018280154562560000000e68 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.221553049248827430431620275824924036136184157121027907029073920000000e69 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.3244169649714973088463011181722101957708410872129337210068582400000000e70 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.41447063973082673423294677338897888804516076831859290907945164800000000e71 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.460062410101217674998570918461766565730128452833638129078191329280000000e72 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.4415115064681040590712091878786308171119781119935720754863287756800000000e73 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.36424699283618584873374757999987042411738194239469696227622123993600000000e74 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.256628563134585484335140340454454162446337277596263768876428600864000000000e75 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.1532223479891789803530396738595711616959013745648280737703382528688000000000e76 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.7683006306314546014845275074958496822180197496036379127626960965278400000000e76 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.32012526276310608395188646145660403425750822900151579698445670688660000000000e77 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.109448231728467350324090911822325433333985921537004725185226414651770000000000e78 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.302422745565501889053409098456425539475487414773302530117072987853575000000000e78 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.663003711432061833694012254308317528850107024695317085256660011832837500000000e78 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.1127106309434505117279820832324139799045181941982039044936322020115823750000000e79 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.1443245884031988259931477895049203401216391511074562191686753806245871875000000e79 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.1340156892315417669936372331117117443986649260283522035137699962942595312500000e79 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.857077082294743858680238118737691388596112899018531534099691836765613281250000e78 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.350622442756940669460097412210873749880228004143944718495328478676841796875000e78 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.81811903309952822874022729515870541638719867633587100982243311691263085937500e77 * a * a * pow(x, 0.4e1) + 0.8892598185864437268915514077812015395513029090607293585026446922963378906250e76 * a * x * x - 0.283806325080779912837729172696128150920628587998105114415737667754150390625e75) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.47550225441934161776124190783780827098123783888292116046445477525967811379200000000000e86;
  return retval;
}
```