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

```asm
<HO_53>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x178,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D82(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D228(%rip),%xmm9
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D119(%rip),%xmm1
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D633(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D101(%rip),%xmm1
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D407(%rip),%xmm15
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D690(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D104(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D175(%rip),%xmm1
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D81(%rip),%xmm14
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D12(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D672(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D130(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D590(%rip),%xmm13
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D551(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D766(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D363(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D552(%rip),%xmm12
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D660(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D419(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D548(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D598(%rip),%xmm11
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D202(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D157(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D46(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D795(%rip),%xmm10
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D456(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D665(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D228(%rip),%rax
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D23(%rip),%xmm9
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D407(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D265(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D81(%rip),%rax
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D90(%rip),%xmm14
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D590(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D573(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D552(%rip),%rax
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D243(%rip),%xmm12
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D598(%rip),%rax
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D688(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D795(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D515(%rip),%xmm10
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D23(%rip),%rax
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D802(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D90(%rip),%rax
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D320(%rip),%xmm9
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D243(%rip),%rax
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D566(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D515(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D320(%rip),%rax
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm5
  movsd  (%rsp),%xmm6
  xorpd  D290(%rip),%xmm5
  movsd  %xmm0,0x108(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D429(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x168(%rsp),%xmm2
  movsd  0x160(%rsp),%xmm7
  mulsd  D7(%rip),%xmm2
  movsd  0x158(%rsp),%xmm6
  mulsd  D401(%rip),%xmm7
  movsd  0x150(%rsp),%xmm5
  mulsd  0x10(%rsp),%xmm2
  movsd  0x148(%rsp),%xmm4
  mulsd  0x18(%rsp),%xmm7
  movsd  0x140(%rsp),%xmm8
  mulsd  D317(%rip),%xmm1
  movsd  0x138(%rsp),%xmm3
  mulsd  0x20(%rsp),%xmm1
  mulsd  D191(%rip),%xmm6
  mulsd  0x28(%rsp),%xmm6
  subsd  %xmm7,%xmm2
  mulsd  D263(%rip),%xmm5
  mulsd  0x38(%rsp),%xmm5
  mulsd  D694(%rip),%xmm4
  addsd  %xmm1,%xmm2
  movq   %r15,%xmm1
  mulsd  D153(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm1
  subsd  %xmm6,%xmm2
  mulsd  0x48(%rsp),%xmm4
  mulsd  D791(%rip),%xmm8
  mulsd  0x50(%rsp),%xmm8
  mulsd  D133(%rip),%xmm3
  addsd  %xmm1,%xmm2
  mulsd  0x58(%rsp),%xmm3
  movq   %rbp,%xmm1
  mulsd  D364(%rip),%xmm1
  mulsd  0x40(%rsp),%xmm1
  subsd  %xmm5,%xmm2
  addsd  %xmm1,%xmm2
  movq   %r12,%xmm1
  mulsd  D463(%rip),%xmm1
  mulsd  0x60(%rsp),%xmm1
  subsd  %xmm4,%xmm2
  addsd  %xmm8,%xmm2
  subsd  %xmm3,%xmm2
  movq   %r13,%xmm3
  mulsd  D421(%rip),%xmm3
  mulsd  0x68(%rsp),%xmm3
  addsd  %xmm1,%xmm2
  movsd  0x70(%rsp),%xmm1
  mulsd  D382(%rip),%xmm1
  movsd  0x130(%rsp),%xmm15
  mulsd  0x78(%rsp),%xmm1
  mulsd  D329(%rip),%xmm15
  movsd  0x128(%rsp),%xmm13
  mulsd  0xa0(%rsp),%xmm15
  movsd  0x120(%rsp),%xmm11
  mulsd  D508(%rip),%xmm13
  subsd  %xmm3,%xmm2
  movsd  0x118(%rsp),%xmm14
  mulsd  0xb8(%rsp),%xmm13
  mulsd  D747(%rip),%xmm11
  mulsd  0xd0(%rsp),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D185(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  mulsd  D783(%rip),%xmm14
  mulsd  0xf8(%rsp),%xmm14
  subsd  %xmm2,%xmm1
  movsd  0x90(%rsp),%xmm2
  mulsd  D620(%rip),%xmm2
  mulsd  0x98(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D402(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  subsd  %xmm15,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xc0(%rsp),%xmm2
  mulsd  D772(%rip),%xmm2
  mulsd  0xc8(%rsp),%xmm2
  subsd  %xmm13,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D629(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  subsd  %xmm11,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D303(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  movsd  0x110(%rsp),%xmm12
  movsd  0x8(%rsp),%xmm4
  movsd  (%rsp),%xmm6
  mulsd  D693(%rip),%xmm12
  mulsd  0x100(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  D706(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  addsd  %xmm14,%xmm1
  subsd  %xmm12,%xmm1
  mulsd  %xmm4,%xmm2
  mulsd  0x108(%rsp),%xmm2
  mulsd  D446(%rip),%xmm4
  addsd  %xmm2,%xmm1
  movapd %xmm4,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  subsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  addsd  D704(%rip),%xmm1
  mulsd  D726(%rip),%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D235(%rip),%xmm0
  divsd  D799(%rip),%xmm0
  add    $0x178,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D82
type_guessed: byte[8]
name: unpack_data
arguments: data_tag: D228
type_guessed: f64
name: unpack_data
arguments: data_tag: D119
type_guessed: f64
name: unpack_data
arguments: data_tag: D633
type_guessed: f64
name: unpack_data
arguments: data_tag: D101
type_guessed: f64
name: unpack_data
arguments: data_tag: D407
type_guessed: f64
name: unpack_data
arguments: data_tag: D690
type_guessed: f64
name: unpack_data
arguments: data_tag: D104
type_guessed: f64
name: unpack_data
arguments: data_tag: D175
type_guessed: f64
name: unpack_data
arguments: data_tag: D81
type_guessed: f64
name: unpack_data
arguments: data_tag: D12
type_guessed: f64
name: unpack_data
arguments: data_tag: D672
type_guessed: f64
name: unpack_data
arguments: data_tag: D130
type_guessed: f64
name: unpack_data
arguments: data_tag: D590
type_guessed: f64
name: unpack_data
arguments: data_tag: D551
type_guessed: f64
name: unpack_data
arguments: data_tag: D766
type_guessed: f64
name: unpack_data
arguments: data_tag: D363
type_guessed: f64
name: unpack_data
arguments: data_tag: D552
type_guessed: f64
name: unpack_data
arguments: data_tag: D660
type_guessed: f64
name: unpack_data
arguments: data_tag: D419
type_guessed: f64
name: unpack_data
arguments: data_tag: D548
type_guessed: f64
name: unpack_data
arguments: data_tag: D598
type_guessed: f64
name: unpack_data
arguments: data_tag: D202
type_guessed: f64
name: unpack_data
arguments: data_tag: D157
type_guessed: f64
name: unpack_data
arguments: data_tag: D46
type_guessed: f64
name: unpack_data
arguments: data_tag: D795
type_guessed: f64
name: unpack_data
arguments: data_tag: D456
type_guessed: f64
name: unpack_data
arguments: data_tag: D665
type_guessed: f64
name: unpack_data
arguments: data_tag: D23
type_guessed: f64
name: unpack_data
arguments: data_tag: D265
type_guessed: f64
name: unpack_data
arguments: data_tag: D90
type_guessed: f64
name: unpack_data
arguments: data_tag: D573
type_guessed: f64
name: unpack_data
arguments: data_tag: D243
type_guessed: f64
name: unpack_data
arguments: data_tag: D688
type_guessed: f64
name: unpack_data
arguments: data_tag: D515
type_guessed: f64
name: unpack_data
arguments: data_tag: D802
type_guessed: f64
name: unpack_data
arguments: data_tag: D320
type_guessed: f64
name: unpack_data
arguments: data_tag: D566
type_guessed: f64
name: unpack_data
arguments: data_tag: D290
type_guessed: byte[16]
name: unpack_data
arguments: data_tag: D429
type_guessed: byte[8]
name: unpack_data
arguments: data_tag: D7
type_guessed: f64
name: unpack_data
arguments: data_tag: D401
type_guessed: f64
name: unpack_data
arguments: data_tag: D317
type_guessed: f64
name: unpack_data
arguments: data_tag: D191
type_guessed: f64
name: unpack_data
arguments: data_tag: D263
type_guessed: f64
name: unpack_data
arguments: data_tag: D694
type_guessed: f64
name: unpack_data
arguments: data_tag: D153
type_guessed: f64
name: unpack_data
arguments: data_tag: D791
type_guessed: f64
name: unpack_data
arguments: data_tag: D133
type_guessed: f64
name: unpack_data
arguments: data_tag: D364
type_guessed: f64
name: unpack_data
arguments: data_tag: D463
type_guessed: f64
name: unpack_data
arguments: data_tag: D421
type_guessed: f64
name: unpack_data
arguments: data_tag: D382
type_guessed: f64
name: unpack_data
arguments: data_tag: D329
type_guessed: f64
name: unpack_data
arguments: data_tag: D508
type_guessed: f64
name: unpack_data
arguments: data_tag: D747
type_guessed: f64
name: unpack_data
arguments: data_tag: D185
type_guessed: f64
name: unpack_data
arguments: data_tag: D783
type_guessed: f64
name: unpack_data
arguments: data_tag: D620
type_guessed: f64
name: unpack_data
arguments: data_tag: D402
type_guessed: f64
name: unpack_data
arguments: data_tag: D772
type_guessed: f64
name: unpack_data
arguments: data_tag: D629
type_guessed: f64
name: unpack_data
arguments: data_tag: D303
type_guessed: f64
name: unpack_data
arguments: data_tag: D693
type_guessed: f64
name: unpack_data
arguments: data_tag: D706
type_guessed: f64
name: unpack_data
arguments: data_tag: D446
type_guessed: f64
name: unpack_data
arguments: data_tag: D704
type_guessed: f64
name: unpack_data
arguments: data_tag: D726
type_guessed: byte[8]
name: unpack_data
arguments: data_tag: D235
type_guessed: byte[8]
name: unpack_data
arguments: data_tag: D799
type_guessed: f64

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

tool: D228: 26

tool: D119: 52

tool: D633: 25

tool: D101: 50

tool: D407: 24

tool: D690: 48

tool: D104: 23

tool: D175: 46

tool: D81: 22

tool: D12: 44

tool: D672: 21

tool: D130: 42

tool: D590: 20

tool: D551: 40

tool: D766: 19

tool: D363: 38

tool: D552: 18

tool: D660: 36

tool: D419: 17

tool: D548: 34

tool: D598: 16

tool: D202: 32

tool: D157: 15

tool: D46: 30

tool: D795: 14

tool: D456: 28

tool: D665: 13

tool: D23: 12

tool: D265: 11

tool: D90: 10

tool: D573: 9

tool: D243: 8

tool: D688: 7

tool: D515: 6

tool: D802: 5

tool: D320: 4

tool: D566: 3

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

tool: {"D429": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

tool: D7: 67108864

tool: D401: 46238007296

tool: D317: 14738364825600

tool: D191: 2888719505817600.0

tool: D263: 3.864348409913672e+19

tool: D694: 1.703211561669451e+23

tool: D153: 3.903382232236032e+17

tool: D791: 7.887998544981644e+24

tool: D133: 2.9185594616432084e+26

tool: D364: 2.907922178460038e+21

tool: D463: 8.682714398388544e+27

tool: D421: 2.083851455613251e+29

tool: D382: 4.0374621952506733e+30

tool: D329: 7.903332247203192e+33

tool: D508: 3.8594121534366326e+35

tool: D747: 6.561000660842276e+36

tool: D185: 6.304652504891436e+31

tool: D783: 3.9981097777007615e+37

tool: D620: 7.903332247203193e+32

tool: D402: 6.248572057945025e+34

tool: D772: 1.8332207728824004e+36

tool: D629: 1.7222626734710972e+37

tool: D303: 3.198487822160609e+37

tool: D693: 3.128955478200596e+37

tool: D706: 1.3689180217127607e+37

tool: D446: 2.7378360434255214e+36

tool: D704: 1.5795207942839547e+35

tool: {"D726": [0xa0,0x64,0xa9,0x8a,0x00,0xd3,0x44,0x41]}

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

tool: D799: 1.2619029305806416e+41

assistant: ```c
double HO_53(const double a, const double x) {
  double retval = sqrt(0.7450023312429e13) * pow(a, 0.3e1 / 0.4e1) * x * (0.67108864e8 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.46238007296e11 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.14738364825600e14 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.2888719505817600e16 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.390338223223603200e18 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.38643484099136716800e20 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.2907922178460037939200e22 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.170321156166945079296000e24 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.7887998544981643984896000e25 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.291855946164320827441152000e27 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.8682714398388544616374272000e28 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.208385145561325070792982528000e30 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.4037462195250673246614036480000e31 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.63046525048914359158665338880000e32 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.790333224720319288024697640960000e33 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.7903332247203192880246976409600000e34 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.62485720579450243709452657238400000e35 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.385941215343663269970148765296000000e36 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.1833220772882400532358206635156000000e37 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.6561000660842275589492529010032000000e37 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.17222626734710973422417888651334000000e38 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.31984878221606093498776078923906000000e38 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.39981097777007616873470098654882500000e38 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.31289554782005961031411381555995000000e38 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.13689180217127607951242479430747812500e38 * a * a * pow(x, 0.4e1) - 0.2737836043425521590248495886149562500e37 * a * x * x + 0.157952079428395476360490147277859375e36) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.126190293058064163824897003178688512000000e42;
  return retval;
}
```