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

```asm
<HO_51>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x168,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D196(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D117(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D198(%rip),%xmm1
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D50(%rip),%xmm15
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D54(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D296(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D424(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D209(%rip),%xmm14
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D367(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D492(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D90(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D23(%rip),%xmm13
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D535(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D466(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D786(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D278(%rip),%xmm12
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D781(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D88(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D99(%rip),%xmm1
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D482(%rip),%xmm11
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D573(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D67(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D356(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D592(%rip),%xmm10
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D736(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D303(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D304(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D452(%rip),%xmm9
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D50(%rip),%rax
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D752(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D209(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D613(%rip),%xmm14
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D23(%rip),%rax
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D22(%rip),%xmm1
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D278(%rip),%rax
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D737(%rip),%xmm12
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D482(%rip),%rax
  movsd  %xmm0,0xb0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D508(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D592(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D647(%rip),%xmm10
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D452(%rip),%rax
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D332(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D613(%rip),%rax
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D625(%rip),%xmm9
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D737(%rip),%rax
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D682(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D647(%rip),%rax
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D625(%rip),%rax
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm5
  movsd  (%rsp),%xmm6
  xorpd  D227(%rip),%xmm5
  movsd  %xmm0,0xf8(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D20(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x158(%rsp),%xmm2
  movsd  0x150(%rsp),%xmm7
  mulsd  D677(%rip),%xmm2
  movsd  0x148(%rsp),%xmm6
  mulsd  D678(%rip),%xmm7
  movsd  0x140(%rsp),%xmm5
  mulsd  0x10(%rsp),%xmm2
  movsd  0x138(%rsp),%xmm4
  mulsd  0x18(%rsp),%xmm7
  movsd  0x130(%rsp),%xmm8
  mulsd  D551(%rip),%xmm1
  movsd  0x128(%rsp),%xmm3
  mulsd  0x20(%rsp),%xmm1
  mulsd  D444(%rip),%xmm6
  mulsd  0x28(%rsp),%xmm6
  subsd  %xmm7,%xmm2
  mulsd  D181(%rip),%xmm5
  mulsd  0x38(%rsp),%xmm5
  mulsd  D206(%rip),%xmm4
  addsd  %xmm1,%xmm2
  movq   %r15,%xmm1
  mulsd  D12(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm1
  subsd  %xmm6,%xmm2
  mulsd  0x48(%rsp),%xmm4
  mulsd  D288(%rip),%xmm8
  mulsd  0x50(%rsp),%xmm8
  mulsd  D37(%rip),%xmm3
  addsd  %xmm1,%xmm2
  mulsd  0x58(%rsp),%xmm3
  movq   %rbp,%xmm1
  mulsd  D713(%rip),%xmm1
  mulsd  0x40(%rsp),%xmm1
  subsd  %xmm5,%xmm2
  addsd  %xmm1,%xmm2
  movq   %r12,%xmm1
  mulsd  D773(%rip),%xmm1
  mulsd  0x60(%rsp),%xmm1
  subsd  %xmm4,%xmm2
  addsd  %xmm8,%xmm2
  subsd  %xmm3,%xmm2
  movq   %r13,%xmm3
  mulsd  D481(%rip),%xmm3
  mulsd  0x68(%rsp),%xmm3
  addsd  %xmm1,%xmm2
  movsd  0x70(%rsp),%xmm1
  mulsd  D593(%rip),%xmm1
  movsd  0x120(%rsp),%xmm15
  mulsd  0x78(%rsp),%xmm1
  mulsd  D97(%rip),%xmm15
  movsd  0x118(%rsp),%xmm13
  mulsd  0x90(%rsp),%xmm15
  movsd  0x110(%rsp),%xmm11
  mulsd  D70(%rip),%xmm13
  subsd  %xmm3,%xmm2
  movsd  0x108(%rsp),%xmm14
  mulsd  0xa8(%rsp),%xmm13
  movsd  0x100(%rsp),%xmm12
  mulsd  D228(%rip),%xmm11
  mulsd  0xc0(%rsp),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  D325(%rip),%xmm2
  mulsd  0x88(%rsp),%xmm2
  mulsd  D493(%rip),%xmm14
  mulsd  D694(%rip),%xmm12
  mulsd  0xe8(%rsp),%xmm14
  mulsd  0xf0(%rsp),%xmm12
  subsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D488(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xb0(%rsp),%xmm2
  mulsd  D529(%rip),%xmm2
  mulsd  0xb8(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D457(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  addsd  %xmm11,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D7(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm4
  movsd  (%rsp),%xmm6
  addsd  %xmm2,%xmm1
  movsd  D766(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  subsd  %xmm14,%xmm1
  addsd  %xmm12,%xmm1
  mulsd  %xmm4,%xmm2
  mulsd  0xf8(%rsp),%xmm2
  mulsd  D516(%rip),%xmm4
  subsd  %xmm2,%xmm1
  movapd %xmm4,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  subsd  D255(%rip),%xmm1
  mulsd  D314(%rip),%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D158(%rip),%xmm0
  divsd  D544(%rip),%xmm0
  add    $0x168,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D196
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D117
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D198
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D50
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D54
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D296
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D424
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D209
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D367
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D492
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D90
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D23
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D535
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D466
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D786
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D278
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D781
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D88
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D99
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D482
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D573
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D67
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D356
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D592
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D736
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D303
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D304
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D452
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D752
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D613
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D22
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D737
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D508
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D647
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D332
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D625
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D682
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D227
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D20
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D677
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D678
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D551
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D444
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D181
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D206
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D12
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D288
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D37
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D713
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D773
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D481
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D593
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D97
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D70
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D228
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D325
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D493
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D694
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D488
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D529
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D457
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D7
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D766
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D516
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D255
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D314
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D158
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D544
type_guessed: f64

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

tool: D117: 25

tool: D198: 50

tool: D50: 24

tool: D54: 48

tool: D296: 23

tool: D424: 46

tool: D209: 22

tool: D367: 44

tool: D492: 21

tool: D90: 42

tool: D23: 20

tool: D535: 40

tool: D466: 19

tool: D786: 38

tool: D278: 18

tool: D781: 36

tool: D88: 17

tool: D99: 34

tool: D482: 16

tool: D573: 32

tool: D67: 15

tool: D356: 30

tool: D592: 14

tool: D736: 28

tool: D303: 13

tool: D304: 26

tool: D452: 12

tool: D752: 11

tool: D613: 10

tool: D22: 9

tool: D737: 8

tool: D508: 7

tool: D647: 6

tool: D332: 5

tool: D625: 4

tool: D682: 3

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

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

tool: D677: 33554432

tool: D678: 21390950400

tool: D551: 6288939417600

tool: D444: 1133057251737600.0

tool: D181: 1.2661489891698278e+19

tool: D206: 4.579389576186731e+22

tool: D12: 1.40215834902528e+17

tool: D288: 1.9061709110877267e+24

tool: D37: 6.30095384498443e+25

tool: D713: 8.65201809266049e+20

tool: D773: 1.6634518150758895e+27

tool: D481: 3.515932245501312e+28

tool: D593: 5.947785381973053e+29

tool: D97: 8.603046713211023e+31

tool: D70: 4.7612486653427253e+33

tool: D228: 9.046372464151179e+34

tool: D325: 8.029510265663621e+30

tool: D493: 6.383048991975091e+35

tool: D694: 5.222494629797802e+35

tool: D488: 7.255236061474629e+32

tool: D529: 2.3946280052164883e+34

tool: D457: 2.4996555493049307e+35

tool: D7: 4.8743283211446154e+35

tool: D766: 2.3841823309946486e+35

tool: D516: 4.9670465229055185e+34

tool: D255: 2.980227913743311e+33

tool: {"D314": [0x4a,0xc4,0xb9,0x5b,0x78,0xa0,0x34,0x41]}

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

tool: D544: 1.1904744628119261e+39

assistant: ```c
double HO_51(const double a, const double x) {
  double retval = sqrt(0.1827364208709e13) * pow(a, 0.3e1 / 0.4e1) * x * (0.33554432e8 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.21390950400e11 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.6288939417600e13 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.1133057251737600e16 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.140215834902528000e18 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.12661489891698278400e20 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.865201809266049024000e21 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.45793895761867309056000e23 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.1906170911087726739456000e25 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.63009538449844300554240000e26 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.1663451815075889534631936000e28 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.35159322455013119709265920000e29 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.594778538197305275081748480000e30 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.8029510265663621213603604480000e31 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.86030467132110227288610048000000e32 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.725523606147462916800611404800000e33 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.4761248665342725391504012344000000e34 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.23946280052164883586681944436000000e35 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.90463724641511782438576234536000000e35 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.249965554930493083053960648060000000e36 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.487432832114461511955223263717000000e36 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.638304899197509122798506654867500000e36 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.522249462979780191380596353982500000e36 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.238418233099464869978098335513750000e36 * a * a * pow(x, 0.4e1) + 0.49670465229055181245437153232031250e35 * a * x * x - 0.2980227913743310874726229193921875e34) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.1190474462811926073819783048855552000000e40;
  return retval;
}
```