user: 这段汇编代码用C语言表示是什么样的?

```asm
<HO_53>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x178,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D276(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  mov    D691(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D109(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  movsd  D671(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D93(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  mov    D176(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D66(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  movsd  D262(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D427(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  mov    D187(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  movsd  D622(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  movsd  D78(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D33(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  mov    D369(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  movsd  D34(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  movsd  D811(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  D363(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  mov    D679(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  movsd  D263(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  movsd  D108(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D656(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  mov    D159(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  movsd  D15(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  movsd  D698(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D428(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  mov    D481(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D653(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  movsd  D517(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D691(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  mov    D366(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  mov    D176(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D609(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  mov    D187(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  mov    D583(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  mov    D369(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  movsd  D96(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  mov    D679(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  mov    D493(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  mov    D159(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  movsd  D733(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  mov    D481(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D721(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D366(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  movsd  D746(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D583(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  mov    D461(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D493(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  movsd  D737(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D721(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  mov    D461(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D275(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D105(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D482(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D52(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D587(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D547(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D232(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x68(%rsp),%xmm0
  mulsd  D509(%rip),%xmm0
  mulsd  0x70(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x78(%rsp),%xmm0
  mulsd  D90(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D601(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D426(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D539(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D266(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D273(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D200(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D0(%rip),%xmm0
  mulsd  0xe8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xf0(%rsp),%xmm0
  mulsd  D446(%rip),%xmm0
  mulsd  0xf8(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x100(%rsp),%xmm0
  mulsd  D9(%rip),%xmm0
  mulsd  0x108(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x110(%rsp),%xmm0
  mulsd  D518(%rip),%xmm0
  mulsd  0x118(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x120(%rsp),%xmm0
  mulsd  D260(%rip),%xmm0
  mulsd  0x128(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x130(%rsp),%xmm0
  mulsd  D233(%rip),%xmm0
  mulsd  0x138(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D559(%rip),%xmm0
  mulsd  0x140(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D261(%rip),%xmm0
  mulsd  0x148(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D632(%rip),%xmm0
  mulsd  0x150(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D203(%rip),%xmm0
  mulsd  0x158(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %rbx,%xmm0
  mulsd  D819(%rip),%xmm0
  mulsd  0x160(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D676(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x168(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  D723(%rip),%xmm4
  movapd %xmm4,%xmm1
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  addsd  D18(%rip),%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D660(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D652(%rip),%xmm0
  divsd  D785(%rip),%xmm0
  add    $0x178,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D276
data_type: byte[8]
name: retrieve_data
arguments: data_label: D691
data_type: f64
name: retrieve_data
arguments: data_label: D109
data_type: f64
name: retrieve_data
arguments: data_label: D671
data_type: f64
name: retrieve_data
arguments: data_label: D93
data_type: f64
name: retrieve_data
arguments: data_label: D176
data_type: f64
name: retrieve_data
arguments: data_label: D66
data_type: f64
name: retrieve_data
arguments: data_label: D262
data_type: f64
name: retrieve_data
arguments: data_label: D427
data_type: f64
name: retrieve_data
arguments: data_label: D187
data_type: f64
name: retrieve_data
arguments: data_label: D622
data_type: f64
name: retrieve_data
arguments: data_label: D78
data_type: f64
name: retrieve_data
arguments: data_label: D33
data_type: f64
name: retrieve_data
arguments: data_label: D369
data_type: f64
name: retrieve_data
arguments: data_label: D34
data_type: f64
name: retrieve_data
arguments: data_label: D811
data_type: f64
name: retrieve_data
arguments: data_label: D363
data_type: f64
name: retrieve_data
arguments: data_label: D679
data_type: f64
name: retrieve_data
arguments: data_label: D263
data_type: f64
name: retrieve_data
arguments: data_label: D108
data_type: f64
name: retrieve_data
arguments: data_label: D656
data_type: f64
name: retrieve_data
arguments: data_label: D159
data_type: f64
name: retrieve_data
arguments: data_label: D15
data_type: f64
name: retrieve_data
arguments: data_label: D698
data_type: f64
name: retrieve_data
arguments: data_label: D428
data_type: f64
name: retrieve_data
arguments: data_label: D481
data_type: f64
name: retrieve_data
arguments: data_label: D653
data_type: f64
name: retrieve_data
arguments: data_label: D517
data_type: f64
name: retrieve_data
arguments: data_label: D366
data_type: f64
name: retrieve_data
arguments: data_label: D609
data_type: f64
name: retrieve_data
arguments: data_label: D583
data_type: f64
name: retrieve_data
arguments: data_label: D96
data_type: f64
name: retrieve_data
arguments: data_label: D493
data_type: f64
name: retrieve_data
arguments: data_label: D733
data_type: f64
name: retrieve_data
arguments: data_label: D721
data_type: f64
name: retrieve_data
arguments: data_label: D746
data_type: f64
name: retrieve_data
arguments: data_label: D461
data_type: f64
name: retrieve_data
arguments: data_label: D737
data_type: f64
name: retrieve_data
arguments: data_label: D275
data_type: byte[16]
name: retrieve_data
arguments: data_label: D105
data_type: byte[8]
name: retrieve_data
arguments: data_label: D482
data_type: f64
name: retrieve_data
arguments: data_label: D52
data_type: f64
name: retrieve_data
arguments: data_label: D587
data_type: f64
name: retrieve_data
arguments: data_label: D547
data_type: f64
name: retrieve_data
arguments: data_label: D232
data_type: f64
name: retrieve_data
arguments: data_label: D509
data_type: f64
name: retrieve_data
arguments: data_label: D90
data_type: f64
name: retrieve_data
arguments: data_label: D601
data_type: f64
name: retrieve_data
arguments: data_label: D426
data_type: f64
name: retrieve_data
arguments: data_label: D539
data_type: f64
name: retrieve_data
arguments: data_label: D266
data_type: f64
name: retrieve_data
arguments: data_label: D273
data_type: f64
name: retrieve_data
arguments: data_label: D200
data_type: f64
name: retrieve_data
arguments: data_label: D0
data_type: f64
name: retrieve_data
arguments: data_label: D446
data_type: f64
name: retrieve_data
arguments: data_label: D9
data_type: f64
name: retrieve_data
arguments: data_label: D518
data_type: f64
name: retrieve_data
arguments: data_label: D260
data_type: f64
name: retrieve_data
arguments: data_label: D233
data_type: f64
name: retrieve_data
arguments: data_label: D559
data_type: f64
name: retrieve_data
arguments: data_label: D261
data_type: f64
name: retrieve_data
arguments: data_label: D632
data_type: f64
name: retrieve_data
arguments: data_label: D203
data_type: f64
name: retrieve_data
arguments: data_label: D819
data_type: f64
name: retrieve_data
arguments: data_label: D676
data_type: f64
name: retrieve_data
arguments: data_label: D723
data_type: f64
name: retrieve_data
arguments: data_label: D18
data_type: f64
name: retrieve_data
arguments: data_label: D660
data_type: byte[8]
name: retrieve_data
arguments: data_label: D652
data_type: byte[8]
name: retrieve_data
arguments: data_label: D785
data_type: f64

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

tool: D691: 26

tool: D109: 52

tool: D671: 25

tool: D93: 50

tool: D176: 24

tool: D66: 48

tool: D262: 23

tool: D427: 46

tool: D187: 22

tool: D622: 44

tool: D78: 21

tool: D33: 42

tool: D369: 20

tool: D34: 40

tool: D811: 19

tool: D363: 38

tool: D679: 18

tool: D263: 36

tool: D108: 17

tool: D656: 34

tool: D159: 16

tool: D15: 32

tool: D698: 15

tool: D428: 30

tool: D481: 14

tool: D653: 28

tool: D517: 13

tool: D366: 12

tool: D609: 11

tool: D583: 10

tool: D96: 9

tool: D493: 8

tool: D733: 7

tool: D721: 6

tool: D746: 5

tool: D461: 4

tool: D737: 3

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

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

tool: D482: 67108864

tool: D52: 46238007296

tool: D587: 14738364825600

tool: D547: 2888719505817600.0

tool: D232: 3.903382232236032e+17

tool: D509: 3.864348409913672e+19

tool: D90: 2.907922178460038e+21

tool: D601: 1.703211561669451e+23

tool: D426: 7.887998544981644e+24

tool: D539: 2.9185594616432084e+26

tool: D266: 8.682714398388544e+27

tool: D273: 2.083851455613251e+29

tool: D200: 4.0374621952506733e+30

tool: D0: 6.304652504891436e+31

tool: D446: 7.903332247203193e+32

tool: D9: 7.903332247203192e+33

tool: D518: 6.248572057945025e+34

tool: D260: 3.8594121534366326e+35

tool: D233: 1.8332207728824004e+36

tool: D559: 6.561000660842276e+36

tool: D261: 1.7222626734710972e+37

tool: D632: 3.198487822160609e+37

tool: D203: 3.9981097777007615e+37

tool: D819: 3.128955478200596e+37

tool: D676: 1.3689180217127607e+37

tool: D723: 2.7378360434255214e+36

tool: D18: 1.5795207942839547e+35

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

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

tool: D785: 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;
}
```