user: Please show me the C implementation that matches the assembly code listed below:

```asm
<HO_deriv_48>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x158,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D552(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D565(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D8(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D328(%rip),%xmm15
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D482(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D573(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D724(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D444(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D10(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D734(%rip),%xmm10
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D705(%rip),%xmm14
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D401(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D646(%rip),%xmm12
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D351(%rip),%xmm11
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D606(%rip),%xmm3
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D48(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D620(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D479(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D369(%rip),%xmm1
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D606(%rip),%rax
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D457(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D455(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D310(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D646(%rip),%rax
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D84(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D190(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D304(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D588(%rip),%xmm12
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D328(%rip),%rax
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D705(%rip),%rax
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D462(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D105(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D58(%rip),%xmm14
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D88(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D48(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D58(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D299(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D151(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D588(%rip),%rax
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D67(%rip),%xmm12
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D351(%rip),%rax
  movsd  %xmm0,0xc0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D703(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D528(%rip),%xmm11
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  mov    D67(%rip),%rax
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D528(%rip),%rax
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D734(%rip),%rax
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm5
  movsd  (%rsp),%xmm6
  xorpd  D423(%rip),%xmm5
  movsd  %xmm0,0xe8(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D697(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movsd  0x148(%rsp),%xmm2
  movsd  0x140(%rsp),%xmm7
  mulsd  D246(%rip),%xmm2
  movsd  0x138(%rsp),%xmm6
  mulsd  D212(%rip),%xmm1
  movsd  0x130(%rsp),%xmm9
  mulsd  0x18(%rsp),%xmm1
  movsd  0x128(%rsp),%xmm8
  mulsd  0x10(%rsp),%xmm2
  movsd  0x120(%rsp),%xmm5
  mulsd  D238(%rip),%xmm7
  movsd  0x118(%rsp),%xmm4
  mulsd  0x28(%rsp),%xmm7
  movsd  0x110(%rsp),%xmm3
  mulsd  D174(%rip),%xmm6
  mulsd  0x38(%rsp),%xmm6
  addsd  %xmm1,%xmm2
  movq   %r15,%xmm1
  mulsd  D556(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  mulsd  D428(%rip),%xmm9
  mulsd  0x40(%rsp),%xmm9
  mulsd  D398(%rip),%xmm8
  mulsd  0x48(%rsp),%xmm8
  subsd  %xmm1,%xmm2
  movq   %rbp,%xmm1
  mulsd  D17(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm1
  subsd  %xmm7,%xmm2
  mulsd  D197(%rip),%xmm5
  mulsd  0x50(%rsp),%xmm5
  mulsd  D654(%rip),%xmm4
  mulsd  0x58(%rsp),%xmm4
  addsd  %xmm1,%xmm2
  mulsd  D599(%rip),%xmm3
  movq   %r12,%xmm1
  mulsd  0x60(%rsp),%xmm3
  mulsd  D223(%rip),%xmm1
  subsd  %xmm6,%xmm2
  mulsd  0x68(%rsp),%xmm1
  addsd  %xmm2,%xmm9
  movq   %r13,%xmm2
  addsd  %xmm8,%xmm9
  subsd  %xmm5,%xmm9
  addsd  %xmm4,%xmm9
  subsd  %xmm3,%xmm9
  addsd  %xmm9,%xmm1
  addsd  D95(%rip),%xmm1
  mulsd  D488(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm4
  movsd  0x108(%rsp),%xmm15
  movsd  (%rsp),%xmm6
  mulsd  D403(%rip),%xmm15
  movsd  0x100(%rsp),%xmm13
  mulsd  0x98(%rsp),%xmm15
  movsd  0xf8(%rsp),%xmm14
  mulsd  D527(%rip),%xmm13
  movsd  0xf0(%rsp),%xmm11
  mulsd  0xb0(%rsp),%xmm13
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D562(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  mulsd  D736(%rip),%xmm14
  mulsd  0xb8(%rsp),%xmm14
  addsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  0x90(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa0(%rsp),%xmm2
  mulsd  D519(%rip),%xmm2
  mulsd  0xa8(%rsp),%xmm2
  subsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xc0(%rsp),%xmm2
  mulsd  D9(%rip),%xmm2
  mulsd  0xc8(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm14,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xd0(%rsp),%xmm2
  mulsd  D72(%rip),%xmm2
  mulsd  0xd8(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  D185(%rip),%xmm2
  mulsd  %xmm4,%xmm2
  mulsd  %xmm4,%xmm2
  mulsd  0xe0(%rsp),%xmm2
  mulsd  D580(%rip),%xmm4
  mulsd  D209(%rip),%xmm11
  mulsd  0xe8(%rsp),%xmm11
  addsd  %xmm2,%xmm1
  movapd %xmm4,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  subsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  D420(%rip),%xmm2
  mulsd  D571(%rip),%xmm2
  addsd  %xmm11,%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm0,%xmm1
  mulsd  %xmm6,%xmm1
  mulsd  D25(%rip),%xmm1
  add    $0x158,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  movapd %xmm1,%xmm0
  ret
```

tool_calls: name: disassemble_data
arguments: data_label: D552
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D565
type_infered: f64
name: disassemble_data
arguments: data_label: D8
type_infered: f64
name: disassemble_data
arguments: data_label: D328
type_infered: f64
name: disassemble_data
arguments: data_label: D482
type_infered: f64
name: disassemble_data
arguments: data_label: D573
type_infered: f64
name: disassemble_data
arguments: data_label: D724
type_infered: f64
name: disassemble_data
arguments: data_label: D444
type_infered: f64
name: disassemble_data
arguments: data_label: D10
type_infered: f64
name: disassemble_data
arguments: data_label: D734
type_infered: f64
name: disassemble_data
arguments: data_label: D705
type_infered: f64
name: disassemble_data
arguments: data_label: D401
type_infered: f64
name: disassemble_data
arguments: data_label: D646
type_infered: f64
name: disassemble_data
arguments: data_label: D351
type_infered: f64
name: disassemble_data
arguments: data_label: D606
type_infered: f64
name: disassemble_data
arguments: data_label: D48
type_infered: f64
name: disassemble_data
arguments: data_label: D620
type_infered: f64
name: disassemble_data
arguments: data_label: D479
type_infered: f64
name: disassemble_data
arguments: data_label: D369
type_infered: f64
name: disassemble_data
arguments: data_label: D457
type_infered: f64
name: disassemble_data
arguments: data_label: D455
type_infered: f64
name: disassemble_data
arguments: data_label: D310
type_infered: f64
name: disassemble_data
arguments: data_label: D84
type_infered: f64
name: disassemble_data
arguments: data_label: D190
type_infered: f64
name: disassemble_data
arguments: data_label: D304
type_infered: f64
name: disassemble_data
arguments: data_label: D588
type_infered: f64
name: disassemble_data
arguments: data_label: D462
type_infered: f64
name: disassemble_data
arguments: data_label: D105
type_infered: f64
name: disassemble_data
arguments: data_label: D58
type_infered: f64
name: disassemble_data
arguments: data_label: D88
type_infered: f64
name: disassemble_data
arguments: data_label: D299
type_infered: f64
name: disassemble_data
arguments: data_label: D151
type_infered: f64
name: disassemble_data
arguments: data_label: D67
type_infered: f64
name: disassemble_data
arguments: data_label: D703
type_infered: f64
name: disassemble_data
arguments: data_label: D528
type_infered: f64
name: disassemble_data
arguments: data_label: D423
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D697
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D246
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D212
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D238
type_infered: f64
name: disassemble_data
arguments: data_label: D174
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D556
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D428
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D398
type_infered: f64
name: disassemble_data
arguments: data_label: D17
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D197
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D654
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D599
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D223
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D95
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D488
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D403
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D527
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D562
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D736
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D519
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D9
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D72
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D185
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D580
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D209
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D420
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D571
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D25
type_infered: byte[8]

tool: {"D552": [0x00,0x00,0x00,0x00,0x00,0x00,0xf4,0x3f]}

tool: D565: 21

tool: D8: 42

tool: D328: 20

tool: D482: 40

tool: D573: 19

tool: D724: 38

tool: D444: 23

tool: D10: 46

tool: D734: 12

tool: D705: 24

tool: D401: 9

tool: D646: 18

tool: D351: 8

tool: D606: 16

tool: D48: 22

tool: D620: 44

tool: D479: 13

tool: D369: 26

tool: D457: 32

tool: D455: 17

tool: D310: 34

tool: D84: 36

tool: D190: 15

tool: D304: 30

tool: D588: 10

tool: D462: 48

tool: D105: 7

tool: D58: 14

tool: D88: 11

tool: D299: 28

tool: D151: 5

tool: D67: 4

tool: D703: 3

tool: D528: 6

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

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

tool: {"D246": [0x00,0x00,0x00,0x10,0x1d,0x11,0x7c,0xc1]}

tool: {"D212": [0x00,0x00,0xe4,0xa0,0x7e,0xa6,0xe9,0x41]}

tool: D238: 612

tool: {"D174": [0xb2,0xfd,0x67,0x64,0x6c,0xff,0x12,0x45]}

tool: {"D556": [0x00,0x30,0x17,0x44,0x43,0x02,0x51,0x42]}

tool: {"D428": [0x74,0x3d,0xe6,0x6e,0xb7,0x05,0x3a,0x45]}

tool: D398: 171879

tool: {"D17": [0xf2,0x6b,0x89,0x92,0xa4,0xa1,0x78,0x44]}

tool: {"D197": [0x96,0xfc,0xf1,0x49,0x7b,0x35,0x3a,0x44]}

tool: {"D654": [0x5c,0x05,0xfc,0x06,0x10,0x3c,0x5f,0x43]}

tool: {"D599": [0x8e,0xca,0xd9,0xec,0xee,0x0c,0x0a,0x43]}

tool: {"D223": [0x30,0x51,0x6a,0xa0,0x98,0xf7,0xb0,0x42]}

tool: {"D95": [0x2d,0x5d,0xd3,0x83,0x4d,0xd0,0x16,0x45]}

tool: {"D488": [0x59,0x88,0xe9,0x07,0x41,0x83,0xad,0x43]}

tool: {"D403": [0xfb,0x8d,0xa9,0x0f,0x34,0xaa,0x5a,0x45]}

tool: {"D527": [0x8f,0x80,0xd8,0xd2,0x39,0x15,0xf6,0x43]}

tool: {"D562": [0x96,0xc9,0x2f,0xfb,0x7b,0x29,0xe5,0x44]}

tool: {"D736": [0xe3,0x44,0x20,0x48,0x9d,0xea,0x84,0x45]}

tool: {"D519": [0xd4,0x3f,0x34,0x58,0xec,0x3f,0xb2,0x44]}

tool: {"D9": [0x6d,0xdf,0x47,0x8e,0xd9,0x6b,0x8d,0x45]}

tool: {"D72": [0x8b,0x9b,0x30,0x71,0xf2,0xc8,0x89,0x45]}

tool: {"D185": [0x0d,0x15,0x7f,0xa9,0x62,0x27,0x79,0x45]}

tool: {"D580": [0xea,0x1b,0x85,0x59,0xe2,0x57,0x56,0x45]}

tool: {"D209": [0xea,0x0c,0xfa,0xd5,0x60,0xe9,0x73,0x45]}

tool: {"D420": [0x28,0xa0,0x07,0x9e,0x85,0xe3,0xff,0xb9]}

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

tool: {"D25": [0x9b,0xb1,0xa2,0x4b,0x4f,0x1b,0x07,0x41]}

assistant: ```c
double HO_deriv_48(const double a, const double x) {
  double retval = -0.2e1 / 0.79504546184962274902660509375e29 * pow(a, 0.5e1 / 0.4e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * (-0.29430225e8 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.27541874745e11 / 0.8e1 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.1168838508915e13 / 0.4e1 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.612e3 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.7444389124902672525758175e25 / 0.1024e4 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.11759036257067680382428501875e29 / 0.2048e4 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.2061701407552461278190090879375e31 / 0.65536e5 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.171879e6 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.61884044944162246730925e23 / 0.128e3 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.9002766143849853375e19 / 0.256e3 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.14665139419845915e17 / 0.16e2 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.298489657861395e15 / 0.16e2 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.115679114699120109983371041140625e33 / 0.16777216e8 - 0.34025839220601753525e20 / 0.32e2 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.1637334162376512458312829375e28 / 0.2048e4 * pow(a, 0.10e2) * pow(x, 0.20e2) + pow(a, 0.24e2) * pow(x, 0.48e2) - 0.2112607615146349210984907938125e31 / 0.16384e5 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.44125067257721320292296875e26 / 0.512e3 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.3258862839979126154775e22 / 0.128e3 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.53029532305369837360074559753125e32 / 0.65536e5 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.596734622148931847994402229865625e33 / 0.524288e6 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.261490452402340922154850415334375e33 / 0.262144e6 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.510180672868902918050372488659375e33 / 0.1048576e7 * a * a * pow(x, 0.4e1) - 0.113293978313571241736291225859375e33 / 0.1048576e7 * a * x * x + 0.25240994598636100010763458296875e32 / 0.65536e5 * pow(a, 0.6e1) * pow(x, 0.12e2)) * exp(-a * x * x / 0.2e1) * x * sqrt(0.35830670759e11);
  return retval;
}
```