user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<HO_54>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x188,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D262(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D164(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D292(%rip),%xmm1
  movsd  %xmm0,0x178(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D381(%rip),%xmm9
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D245(%rip),%xmm1
  movsd  %xmm0,0x170(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D468(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D337(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D170(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D79(%rip),%xmm1
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D429(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D192(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D105(%rip),%xmm14
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D158(%rip),%xmm1
  movsd  %xmm0,0x160(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D653(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D146(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D456(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D504(%rip),%xmm1
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D723(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D206(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D199(%rip),%xmm12
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D454(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D711(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D698(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D474(%rip),%xmm11
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D739(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D513(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D768(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D58(%rip),%xmm10
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D278(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D744(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D381(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D592(%rip),%xmm9
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D170(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D248(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D105(%rip),%rax
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D526(%rip),%xmm14
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D456(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D2(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D199(%rip),%rax
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D54(%rip),%xmm12
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D474(%rip),%rax
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D74(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D58(%rip),%rax
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D125(%rip),%xmm10
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D592(%rip),%rax
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D141(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D526(%rip),%rax
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D630(%rip),%xmm9
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  mov    D54(%rip),%rax
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D119(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D125(%rip),%rax
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D630(%rip),%rax
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm5
  movsd  (%rsp),%xmm6
  xorpd  D365(%rip),%xmm5
  movsd  %xmm0,0x118(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D332(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x178(%rsp),%xmm2
  movsd  0x170(%rsp),%xmm7
  mulsd  D284(%rip),%xmm2
  movsd  0x168(%rsp),%xmm6
  mulsd  D0(%rip),%xmm7
  movsd  0x160(%rsp),%xmm5
  mulsd  0x10(%rsp),%xmm2
  movsd  0x158(%rsp),%xmm4
  mulsd  0x18(%rsp),%xmm7
  movsd  0x150(%rsp),%xmm8
  mulsd  D201(%rip),%xmm1
  movsd  0x148(%rsp),%xmm3
  mulsd  0x20(%rsp),%xmm1
  mulsd  D8(%rip),%xmm6
  mulsd  0x28(%rsp),%xmm6
  subsd  %xmm7,%xmm2
  mulsd  D522(%rip),%xmm5
  mulsd  0x38(%rsp),%xmm5
  mulsd  D392(%rip),%xmm4
  addsd  %xmm1,%xmm2
  movq   %r15,%xmm1
  mulsd  D675(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm1
  subsd  %xmm6,%xmm2
  mulsd  0x48(%rsp),%xmm4
  mulsd  D301(%rip),%xmm8
  mulsd  0x50(%rsp),%xmm8
  mulsd  D174(%rip),%xmm3
  addsd  %xmm1,%xmm2
  mulsd  0x58(%rsp),%xmm3
  movq   %rbp,%xmm1
  mulsd  D189(%rip),%xmm1
  mulsd  0x40(%rsp),%xmm1
  subsd  %xmm5,%xmm2
  addsd  %xmm1,%xmm2
  movq   %r12,%xmm1
  mulsd  D476(%rip),%xmm1
  mulsd  0x60(%rsp),%xmm1
  subsd  %xmm4,%xmm2
  addsd  %xmm8,%xmm2
  subsd  %xmm3,%xmm2
  addsd  %xmm1,%xmm2
  movq   %r13,%xmm1
  mulsd  D710(%rip),%xmm1
  mulsd  0x68(%rsp),%xmm1
  subsd  %xmm1,%xmm2
  movsd  0x70(%rsp),%xmm1
  mulsd  D110(%rip),%xmm1
  movsd  0x80(%rsp),%xmm3
  mulsd  0x78(%rsp),%xmm1
  mulsd  D834(%rip),%xmm3
  movsd  0x140(%rsp),%xmm15
  mulsd  0x88(%rsp),%xmm3
  movsd  0x138(%rsp),%xmm13
  mulsd  D555(%rip),%xmm15
  movsd  0x130(%rsp),%xmm11
  mulsd  0xb0(%rsp),%xmm15
  mulsd  D34(%rip),%xmm13
  addsd  %xmm1,%xmm2
  movsd  0x90(%rsp),%xmm1
  mulsd  D14(%rip),%xmm1
  mulsd  0x98(%rsp),%xmm1
  mulsd  0xc8(%rsp),%xmm13
  subsd  %xmm3,%xmm2
  mulsd  D484(%rip),%xmm11
  mulsd  0xe0(%rsp),%xmm11
  addsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D499(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D321(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D444(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D464(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  addsd  %xmm11,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D830(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  movsd  0x128(%rsp),%xmm14
  movsd  0x8(%rsp),%xmm4
  movsd  (%rsp),%xmm6
  mulsd  D59(%rip),%xmm14
  movsd  0x120(%rsp),%xmm12
  mulsd  0x108(%rsp),%xmm14
  mulsd  D269(%rip),%xmm12
  mulsd  0x110(%rsp),%xmm12
  addsd  %xmm2,%xmm1
  movsd  D678(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  subsd  %xmm14,%xmm1
  addsd  %xmm12,%xmm1
  mulsd  %xmm4,%xmm2
  mulsd  0x118(%rsp),%xmm2
  mulsd  D606(%rip),%xmm4
  subsd  %xmm2,%xmm1
  movapd %xmm4,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  subsd  D387(%rip),%xmm1
  mulsd  D177(%rip),%xmm2
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D550(%rip),%xmm0
  divsd  D549(%rip),%xmm0
  add    $0x188,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: disassemble_data
arguments: data_label: D262
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D164
type_infered: f64
name: disassemble_data
arguments: data_label: D292
type_infered: f64
name: disassemble_data
arguments: data_label: D381
type_infered: f64
name: disassemble_data
arguments: data_label: D245
type_infered: f64
name: disassemble_data
arguments: data_label: D468
type_infered: f64
name: disassemble_data
arguments: data_label: D337
type_infered: f64
name: disassemble_data
arguments: data_label: D170
type_infered: f64
name: disassemble_data
arguments: data_label: D79
type_infered: f64
name: disassemble_data
arguments: data_label: D429
type_infered: f64
name: disassemble_data
arguments: data_label: D192
type_infered: f64
name: disassemble_data
arguments: data_label: D105
type_infered: f64
name: disassemble_data
arguments: data_label: D158
type_infered: f64
name: disassemble_data
arguments: data_label: D653
type_infered: f64
name: disassemble_data
arguments: data_label: D146
type_infered: f64
name: disassemble_data
arguments: data_label: D456
type_infered: f64
name: disassemble_data
arguments: data_label: D504
type_infered: f64
name: disassemble_data
arguments: data_label: D723
type_infered: f64
name: disassemble_data
arguments: data_label: D206
type_infered: f64
name: disassemble_data
arguments: data_label: D199
type_infered: f64
name: disassemble_data
arguments: data_label: D454
type_infered: f64
name: disassemble_data
arguments: data_label: D711
type_infered: f64
name: disassemble_data
arguments: data_label: D698
type_infered: f64
name: disassemble_data
arguments: data_label: D474
type_infered: f64
name: disassemble_data
arguments: data_label: D739
type_infered: f64
name: disassemble_data
arguments: data_label: D513
type_infered: f64
name: disassemble_data
arguments: data_label: D768
type_infered: f64
name: disassemble_data
arguments: data_label: D58
type_infered: f64
name: disassemble_data
arguments: data_label: D278
type_infered: f64
name: disassemble_data
arguments: data_label: D744
type_infered: f64
name: disassemble_data
arguments: data_label: D592
type_infered: f64
name: disassemble_data
arguments: data_label: D248
type_infered: f64
name: disassemble_data
arguments: data_label: D526
type_infered: f64
name: disassemble_data
arguments: data_label: D2
type_infered: f64
name: disassemble_data
arguments: data_label: D54
type_infered: f64
name: disassemble_data
arguments: data_label: D74
type_infered: f64
name: disassemble_data
arguments: data_label: D125
type_infered: f64
name: disassemble_data
arguments: data_label: D141
type_infered: f64
name: disassemble_data
arguments: data_label: D630
type_infered: f64
name: disassemble_data
arguments: data_label: D119
type_infered: f64
name: disassemble_data
arguments: data_label: D365
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D332
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D284
type_infered: f64
name: disassemble_data
arguments: data_label: D0
type_infered: f64
name: disassemble_data
arguments: data_label: D201
type_infered: f64
name: disassemble_data
arguments: data_label: D8
type_infered: f64
name: disassemble_data
arguments: data_label: D522
type_infered: f64
name: disassemble_data
arguments: data_label: D392
type_infered: f64
name: disassemble_data
arguments: data_label: D675
type_infered: f64
name: disassemble_data
arguments: data_label: D301
type_infered: f64
name: disassemble_data
arguments: data_label: D174
type_infered: f64
name: disassemble_data
arguments: data_label: D189
type_infered: f64
name: disassemble_data
arguments: data_label: D476
type_infered: f64
name: disassemble_data
arguments: data_label: D710
type_infered: f64
name: disassemble_data
arguments: data_label: D110
type_infered: f64
name: disassemble_data
arguments: data_label: D834
type_infered: f64
name: disassemble_data
arguments: data_label: D555
type_infered: f64
name: disassemble_data
arguments: data_label: D34
type_infered: f64
name: disassemble_data
arguments: data_label: D14
type_infered: f64
name: disassemble_data
arguments: data_label: D484
type_infered: f64
name: disassemble_data
arguments: data_label: D499
type_infered: f64
name: disassemble_data
arguments: data_label: D321
type_infered: f64
name: disassemble_data
arguments: data_label: D444
type_infered: f64
name: disassemble_data
arguments: data_label: D464
type_infered: f64
name: disassemble_data
arguments: data_label: D830
type_infered: f64
name: disassemble_data
arguments: data_label: D59
type_infered: f64
name: disassemble_data
arguments: data_label: D269
type_infered: f64
name: disassemble_data
arguments: data_label: D678
type_infered: f64
name: disassemble_data
arguments: data_label: D606
type_infered: f64
name: disassemble_data
arguments: data_label: D387
type_infered: f64
name: disassemble_data
arguments: data_label: D177
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D550
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D549
type_infered: f64

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

tool: D164: 27

tool: D292: 54

tool: D381: 26

tool: D245: 52

tool: D468: 25

tool: D337: 50

tool: D170: 24

tool: D79: 48

tool: D429: 23

tool: D192: 46

tool: D105: 22

tool: D158: 44

tool: D653: 21

tool: D146: 42

tool: D456: 20

tool: D504: 40

tool: D723: 19

tool: D206: 38

tool: D199: 18

tool: D454: 36

tool: D711: 17

tool: D698: 34

tool: D474: 16

tool: D739: 32

tool: D513: 15

tool: D768: 30

tool: D58: 14

tool: D278: 28

tool: D744: 13

tool: D592: 12

tool: D248: 11

tool: D526: 10

tool: D2: 9

tool: D54: 8

tool: D74: 7

tool: D125: 6

tool: D141: 5

tool: D630: 4

tool: D119: 3

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

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

tool: D284: 134217728

tool: D0: 96032784384

tool: D201: 31834868023296

tool: D8: 6499618888089600.0

tool: D522: 9.485218824333558e+19

tool: D392: 4.598671216507517e+23

tool: D675: 9.164462632206336e+17

tool: D301: 2.2418522180474145e+25

tool: D174: 8.755678384929624e+26

tool: D189: 7.477514173182955e+21

tool: D476: 2.758038691252832e+28

tool: D710: 7.032998662694721e+29

tool: D110: 1.4534863902902425e+31

tool: D834: 2.4317945376009825e+32

tool: D555: 3.0674808284457394e+35

tool: D34: 1.0999324637294403e+37

tool: D14: 3.2829226257613265e+33

tool: D484: 1.3286026338205607e+38

tool: D499: 3.556499511241437e+34

tool: D321: 2.0840825628557818e+36

tool: D444: 4.428675446068536e+37

tool: D464: 2.8786390399445483e+38

tool: D830: 4.317958559916823e+38

tool: D59: 4.224089895570805e+38

tool: D269: 2.4640524390829694e+38

tool: D678: 7.392157317248908e+37

tool: D606: 8.529412289133356e+36

tool: D387: 1.5795207942839547e+35

tool: {"D177": [0x65,0x79,0xf6,0x04,0xb6,0x0b,0x38,0x41]}

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

tool: D549: 7.57141758348385e+41

assistant: ```c
double HO_54(const double a, const double x) {
  double retval = sqrt(0.2483341104143e13) * pow(a, 0.1e1 / 0.4e1) * (0.134217728e9 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.96032784384e11 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.31834868023296e14 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.6499618888089600e16 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.916446263220633600e18 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.94852188243335577600e20 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.7477514173182954700800e22 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.459867121650751714099200e24 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.22418522180474146062336000e26 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.875567838492962482323456000e27 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.27580386912528318193188864000e29 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.703299866269472113926316032000e30 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.14534863902902423687810531328000e32 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.243179453760098242469137735680000e33 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.3282922625761326273333359431680000e34 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.35564995112414367961111393843200000e35 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.306748082844573923664585771897600000e36 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.2084082562855781657838803332598400000e37 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.10999324637294403194149239810936000000e38 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.44286754460685360229074570817716000000e38 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.132860263382056080687223712453148000000e39 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.287863903994454841488984710315154000000e39 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.431795855991682262233477065472731000000e39 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.422408989557080473924053651005932500000e39 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.246405243908296943122364629753460625000e39 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.73921573172489082936709388926038187500e38 * a * a * pow(x, 0.4e1) + 0.8529412289133355723466467953004406250e37 * a * x * x - 0.157952079428395476360490147277859375e36) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.757141758348384982949382019072131072000000e42;
  return retval;
}
```