user: Translate the below assembly code into C programming language:

```asm
<HO_deriv_48>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x158,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D635(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D483(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D446(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  mov    D370(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D508(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  movsd  D517(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D711(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  movsd  D390(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D273(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  mov    D736(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  mov    D186(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  movsd  D108(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  mov    D14(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  mov    D54(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  mov    D36(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  mov    D4(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  movsd  D164(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  movsd  D748(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  movsd  D119(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  mov    D36(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D153(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  movsd  D135(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  movsd  D162(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D14(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D458(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  movsd  D343(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D486(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  mov    D741(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  mov    D370(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  mov    D186(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D305(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  movsd  D198(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  mov    D699(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  movsd  D573(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  mov    D4(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  mov    D699(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  movsd  D320(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  movsd  D326(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D741(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  mov    D209(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D54(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  movsd  D427(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D142(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  mov    D209(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D142(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D736(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D252(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D22(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D743(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D128(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D685(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D210(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D582(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x68(%rsp),%xmm0
  mulsd  D579(%rip),%xmm0
  mulsd  0x70(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x78(%rsp),%xmm0
  mulsd  D358(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D307(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D275(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D322(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D600(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D297(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  addsd  D30(%rip),%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D414(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xe8(%rsp),%xmm0
  mulsd  D613(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xf8(%rsp),%xmm0
  mulsd  0x100(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x108(%rsp),%xmm1
  mulsd  D100(%rip),%xmm1
  mulsd  0x110(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %r15,%xmm1
  mulsd  D548(%rip),%xmm1
  mulsd  0x118(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %r14,%xmm1
  mulsd  D101(%rip),%xmm1
  mulsd  0x120(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movq   %r13,%xmm1
  mulsd  D636(%rip),%xmm1
  mulsd  0x128(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %r12,%xmm1
  mulsd  D52(%rip),%xmm1
  mulsd  0x130(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movq   %rbp,%xmm1
  mulsd  D50(%rip),%xmm1
  mulsd  0x138(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm1
  mulsd  D87(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  0x140(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  mulsd  D617(%rip),%xmm4
  movapd %xmm4,%xmm1
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  movq   %rbx,%xmm1
  mulsd  D48(%rip),%xmm1
  mulsd  0x148(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D143(%rip),%xmm1
  mulsd  D541(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D440(%rip),%xmm0
  add    $0x158,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: parse_data
arguments: tag: D635
type_infered: byte[8]
name: parse_data
arguments: tag: D483
type_infered: f64
name: parse_data
arguments: tag: D446
type_infered: f64
name: parse_data
arguments: tag: D370
type_infered: f64
name: parse_data
arguments: tag: D508
type_infered: f64
name: parse_data
arguments: tag: D517
type_infered: f64
name: parse_data
arguments: tag: D711
type_infered: f64
name: parse_data
arguments: tag: D390
type_infered: f64
name: parse_data
arguments: tag: D273
type_infered: f64
name: parse_data
arguments: tag: D736
type_infered: f64
name: parse_data
arguments: tag: D186
type_infered: f64
name: parse_data
arguments: tag: D108
type_infered: f64
name: parse_data
arguments: tag: D14
type_infered: f64
name: parse_data
arguments: tag: D54
type_infered: f64
name: parse_data
arguments: tag: D36
type_infered: f64
name: parse_data
arguments: tag: D4
type_infered: f64
name: parse_data
arguments: tag: D164
type_infered: f64
name: parse_data
arguments: tag: D748
type_infered: f64
name: parse_data
arguments: tag: D119
type_infered: f64
name: parse_data
arguments: tag: D153
type_infered: f64
name: parse_data
arguments: tag: D135
type_infered: f64
name: parse_data
arguments: tag: D162
type_infered: f64
name: parse_data
arguments: tag: D458
type_infered: f64
name: parse_data
arguments: tag: D343
type_infered: f64
name: parse_data
arguments: tag: D486
type_infered: f64
name: parse_data
arguments: tag: D741
type_infered: f64
name: parse_data
arguments: tag: D305
type_infered: f64
name: parse_data
arguments: tag: D198
type_infered: f64
name: parse_data
arguments: tag: D699
type_infered: f64
name: parse_data
arguments: tag: D573
type_infered: f64
name: parse_data
arguments: tag: D320
type_infered: f64
name: parse_data
arguments: tag: D326
type_infered: f64
name: parse_data
arguments: tag: D209
type_infered: f64
name: parse_data
arguments: tag: D427
type_infered: f64
name: parse_data
arguments: tag: D142
type_infered: f64
name: parse_data
arguments: tag: D252
type_infered: byte[16]
name: parse_data
arguments: tag: D22
type_infered: byte[8]
name: parse_data
arguments: tag: D743
type_infered: byte[8]
name: parse_data
arguments: tag: D128
type_infered: byte[8]
name: parse_data
arguments: tag: D685
type_infered: byte[8]
name: parse_data
arguments: tag: D210
type_infered: f64
name: parse_data
arguments: tag: D582
type_infered: byte[8]
name: parse_data
arguments: tag: D579
type_infered: byte[8]
name: parse_data
arguments: tag: D358
type_infered: byte[8]
name: parse_data
arguments: tag: D307
type_infered: f64
name: parse_data
arguments: tag: D275
type_infered: byte[8]
name: parse_data
arguments: tag: D322
type_infered: byte[8]
name: parse_data
arguments: tag: D600
type_infered: byte[8]
name: parse_data
arguments: tag: D297
type_infered: byte[8]
name: parse_data
arguments: tag: D30
type_infered: byte[8]
name: parse_data
arguments: tag: D414
type_infered: byte[8]
name: parse_data
arguments: tag: D613
type_infered: byte[8]
name: parse_data
arguments: tag: D100
type_infered: byte[8]
name: parse_data
arguments: tag: D548
type_infered: byte[8]
name: parse_data
arguments: tag: D101
type_infered: byte[8]
name: parse_data
arguments: tag: D636
type_infered: byte[8]
name: parse_data
arguments: tag: D52
type_infered: byte[8]
name: parse_data
arguments: tag: D50
type_infered: byte[8]
name: parse_data
arguments: tag: D87
type_infered: byte[8]
name: parse_data
arguments: tag: D617
type_infered: byte[8]
name: parse_data
arguments: tag: D48
type_infered: byte[8]
name: parse_data
arguments: tag: D143
type_infered: byte[8]
name: parse_data
arguments: tag: D541
type_infered: byte[8]
name: parse_data
arguments: tag: D440
type_infered: byte[8]

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

tool: D483: 21

tool: D446: 42

tool: D370: 20

tool: D508: 40

tool: D517: 19

tool: D711: 38

tool: D390: 23

tool: D273: 46

tool: D736: 12

tool: D186: 24

tool: D108: 9

tool: D14: 18

tool: D54: 8

tool: D36: 16

tool: D4: 22

tool: D164: 44

tool: D748: 13

tool: D119: 26

tool: D153: 32

tool: D135: 17

tool: D162: 34

tool: D458: 36

tool: D343: 15

tool: D486: 30

tool: D741: 10

tool: D305: 48

tool: D198: 7

tool: D699: 14

tool: D573: 11

tool: D320: 28

tool: D326: 5

tool: D209: 4

tool: D427: 3

tool: D142: 6

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

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

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

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

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

tool: D210: 612

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

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

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

tool: D307: 171879

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

tool: {"D440": [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;
}
```