user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<HO_deriv_53>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x188,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D391(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D651(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D521(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  movsd  D573(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D219(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  mov    D75(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D423(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  movsd  D762(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D233(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D542(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  movsd  D213(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  movsd  D169(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D438(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  mov    D442(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  mov    D784(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  movsd  D54(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  mov    D120(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  mov    D578(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  mov    D422(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  mov    D756(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D810(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  movsd  D429(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  mov    D511(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D422(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D766(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  mov    D511(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D168(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  movsd  D501(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  movsd  D171(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  mov    D120(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  movsd  D472(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D95(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  movsd  D627(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  mov    D370(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  mov    D75(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  mov    D784(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  movsd  D816(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  movsd  D262(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  mov    D148(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  movsd  D220(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D756(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  mov    D148(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  movsd  D194(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  movsd  D359(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D370(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  mov    D175(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D578(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  movsd  D98(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D497(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  mov    D175(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x170(%rsp)
  mov    D497(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D442(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D292(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D264(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D663(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D132(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D99(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D373(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D779(%rip),%xmm0
  mulsd  0x60(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x68(%rsp),%xmm0
  mulsd  0x70(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x78(%rsp),%xmm0
  mulsd  D273(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D204(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D746(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D416(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D828(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D595(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D684(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xe8(%rsp),%xmm0
  mulsd  D397(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D163(%rip),%xmm0
  mulsd  0xf8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x100(%rsp),%xmm0
  mulsd  D333(%rip),%xmm0
  mulsd  0x108(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x110(%rsp),%xmm0
  mulsd  D522(%rip),%xmm0
  mulsd  0x118(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x120(%rsp),%xmm0
  mulsd  D582(%rip),%xmm0
  mulsd  0x128(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x130(%rsp),%xmm0
  mulsd  D823(%rip),%xmm0
  mulsd  0x138(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x140(%rsp),%xmm0
  mulsd  D40(%rip),%xmm0
  mulsd  0x148(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r14,%xmm0
  mulsd  D425(%rip),%xmm0
  mulsd  0x150(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %r13,%xmm0
  mulsd  D544(%rip),%xmm0
  mulsd  0x158(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r12,%xmm0
  mulsd  D671(%rip),%xmm0
  mulsd  0x160(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movq   %rbp,%xmm0
  mulsd  D47(%rip),%xmm0
  mulsd  0x168(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  mulsd  D337(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  0x170(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  mulsd  D318(%rip),%xmm4
  movapd %xmm4,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  subsd  D74(%rip),%xmm0
  movq   %rbx,%xmm1
  mulsd  D353(%rip),%xmm1
  mulsd  0x178(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D621(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  D133(%rip),%xmm0
  add    $0x188,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D391
datatype: byte[8]
name: unpack_data
arguments: data_tag: D651
datatype: f64
name: unpack_data
arguments: data_tag: D521
datatype: f64
name: unpack_data
arguments: data_tag: D573
datatype: f64
name: unpack_data
arguments: data_tag: D219
datatype: f64
name: unpack_data
arguments: data_tag: D75
datatype: f64
name: unpack_data
arguments: data_tag: D423
datatype: f64
name: unpack_data
arguments: data_tag: D762
datatype: f64
name: unpack_data
arguments: data_tag: D233
datatype: f64
name: unpack_data
arguments: data_tag: D542
datatype: f64
name: unpack_data
arguments: data_tag: D213
datatype: f64
name: unpack_data
arguments: data_tag: D169
datatype: f64
name: unpack_data
arguments: data_tag: D438
datatype: f64
name: unpack_data
arguments: data_tag: D442
datatype: f64
name: unpack_data
arguments: data_tag: D784
datatype: f64
name: unpack_data
arguments: data_tag: D54
datatype: f64
name: unpack_data
arguments: data_tag: D120
datatype: f64
name: unpack_data
arguments: data_tag: D578
datatype: f64
name: unpack_data
arguments: data_tag: D422
datatype: f64
name: unpack_data
arguments: data_tag: D756
datatype: f64
name: unpack_data
arguments: data_tag: D810
datatype: f64
name: unpack_data
arguments: data_tag: D429
datatype: f64
name: unpack_data
arguments: data_tag: D511
datatype: f64
name: unpack_data
arguments: data_tag: D766
datatype: f64
name: unpack_data
arguments: data_tag: D168
datatype: f64
name: unpack_data
arguments: data_tag: D501
datatype: f64
name: unpack_data
arguments: data_tag: D171
datatype: f64
name: unpack_data
arguments: data_tag: D472
datatype: f64
name: unpack_data
arguments: data_tag: D95
datatype: f64
name: unpack_data
arguments: data_tag: D627
datatype: f64
name: unpack_data
arguments: data_tag: D370
datatype: f64
name: unpack_data
arguments: data_tag: D816
datatype: f64
name: unpack_data
arguments: data_tag: D262
datatype: f64
name: unpack_data
arguments: data_tag: D148
datatype: f64
name: unpack_data
arguments: data_tag: D220
datatype: f64
name: unpack_data
arguments: data_tag: D194
datatype: f64
name: unpack_data
arguments: data_tag: D359
datatype: f64
name: unpack_data
arguments: data_tag: D175
datatype: f64
name: unpack_data
arguments: data_tag: D98
datatype: f64
name: unpack_data
arguments: data_tag: D497
datatype: f64
name: unpack_data
arguments: data_tag: D292
datatype: byte[16]
name: unpack_data
arguments: data_tag: D264
datatype: byte[8]
name: unpack_data
arguments: data_tag: D663
datatype: byte[8]
name: unpack_data
arguments: data_tag: D132
datatype: byte[8]
name: unpack_data
arguments: data_tag: D99
datatype: byte[8]
name: unpack_data
arguments: data_tag: D373
datatype: byte[8]
name: unpack_data
arguments: data_tag: D779
datatype: byte[8]
name: unpack_data
arguments: data_tag: D273
datatype: byte[8]
name: unpack_data
arguments: data_tag: D204
datatype: byte[8]
name: unpack_data
arguments: data_tag: D746
datatype: byte[8]
name: unpack_data
arguments: data_tag: D416
datatype: f64
name: unpack_data
arguments: data_tag: D828
datatype: byte[8]
name: unpack_data
arguments: data_tag: D595
datatype: byte[8]
name: unpack_data
arguments: data_tag: D684
datatype: f64
name: unpack_data
arguments: data_tag: D397
datatype: byte[8]
name: unpack_data
arguments: data_tag: D163
datatype: byte[8]
name: unpack_data
arguments: data_tag: D333
datatype: byte[8]
name: unpack_data
arguments: data_tag: D522
datatype: byte[8]
name: unpack_data
arguments: data_tag: D582
datatype: byte[8]
name: unpack_data
arguments: data_tag: D823
datatype: byte[8]
name: unpack_data
arguments: data_tag: D40
datatype: byte[8]
name: unpack_data
arguments: data_tag: D425
datatype: byte[8]
name: unpack_data
arguments: data_tag: D544
datatype: byte[8]
name: unpack_data
arguments: data_tag: D671
datatype: byte[8]
name: unpack_data
arguments: data_tag: D47
datatype: byte[8]
name: unpack_data
arguments: data_tag: D337
datatype: byte[8]
name: unpack_data
arguments: data_tag: D318
datatype: byte[8]
name: unpack_data
arguments: data_tag: D74
datatype: byte[8]
name: unpack_data
arguments: data_tag: D353
datatype: byte[8]
name: unpack_data
arguments: data_tag: D621
datatype: byte[8]
name: unpack_data
arguments: data_tag: D133
datatype: byte[8]

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

tool: D651: 21

tool: D521: 42

tool: D573: 25

tool: D219: 50

tool: D75: 20

tool: D423: 40

tool: D762: 19

tool: D233: 38

tool: D542: 23

tool: D213: 46

tool: D169: 27

tool: D438: 54

tool: D442: 12

tool: D784: 24

tool: D54: 9

tool: D120: 18

tool: D578: 8

tool: D422: 16

tool: D756: 22

tool: D810: 44

tool: D429: 13

tool: D511: 26

tool: D766: 32

tool: D168: 52

tool: D501: 17

tool: D171: 34

tool: D472: 36

tool: D95: 15

tool: D627: 30

tool: D370: 10

tool: D816: 48

tool: D262: 7

tool: D148: 14

tool: D220: 11

tool: D194: 28

tool: D359: 5

tool: D175: 4

tool: D98: 3

tool: D497: 6

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

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

tool: {"D663": [0x04,0xdd,0x8e,0x7f,0xfa,0xf6,0xce,0x42]}

tool: {"D132": [0x00,0x00,0x00,0x00,0x2e,0x19,0x0f,0x41]}

tool: {"D99": [0xe9,0x9f,0x1b,0xbc,0x28,0xa8,0x2e,0x43]}

tool: {"D373": [0x7a,0xe5,0x7f,0x87,0xea,0x09,0x88,0x43]}

tool: {"D779": [0x00,0x00,0x56,0xe6,0x71,0x34,0xfd,0x41]}

tool: {"D273": [0xa8,0x52,0x04,0x15,0x4d,0x4f,0x75,0x45]}

tool: {"D204": [0xfa,0x23,0x7a,0x3f,0x4f,0x95,0xfb,0x45]}

tool: {"D746": [0xea,0xda,0xae,0x44,0xb7,0x61,0x1c,0x46]}

tool: D416: 837574960950

tool: {"D828": [0x87,0x29,0xe6,0xae,0x39,0xb9,0x3e,0x45]}

tool: {"D595": [0xae,0x5d,0x85,0x72,0x9f,0xfc,0x78,0x44]}

tool: D684: 742

tool: {"D397": [0x50,0x66,0xde,0xe7,0xe4,0x87,0x2e,0x44]}

tool: {"D163": [0xd9,0x27,0x6a,0xd1,0x5c,0x2d,0xde,0x43]}

tool: {"D333": [0x84,0x8e,0x97,0xe5,0xdd,0x8f,0xc0,0x44]}

tool: {"D522": [0x2b,0x4b,0x12,0x52,0xcd,0x70,0xd4,0x45]}

tool: {"D582": [0x00,0x00,0x00,0x0e,0x30,0xa8,0x89,0x41]}

tool: {"D823": [0xd8,0x99,0xe4,0xea,0xbf,0xbf,0x35,0x46]}

tool: {"D40": [0xaa,0x0e,0xc5,0x39,0x88,0x85,0xa7,0x45]}

tool: {"D425": [0x35,0xe4,0x9f,0xc4,0x31,0xc3,0x01,0x45]}

tool: {"D544": [0x30,0x1c,0xd8,0x70,0x4c,0x6c,0x52,0x46]}

tool: {"D671": [0x01,0xbf,0x5d,0xcf,0xed,0x63,0x52,0x46]}

tool: {"D47": [0xdb,0x65,0x53,0x79,0x6f,0xe2,0x45,0x46]}

tool: {"D337": [0x40,0x1c,0x78,0x9a,0xbe,0xc6,0x2a,0x46]}

tool: {"D318": [0x30,0x8c,0x75,0x6b,0x23,0x31,0xf9,0x45]}

tool: {"D74": [0xca,0x9a,0x97,0x86,0xa3,0x6b,0x9e,0x45]}

tool: {"D353": [0x1f,0xe6,0xcb,0x3f,0x10,0x10,0x48,0x46]}

tool: {"D621": [0x58,0x3e,0x7d,0x75,0xb8,0x97,0x00,0xb9]}

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

assistant: ```c
double HO_deriv_53(const double a, const double x) {
  double retval = -0.4e1 / 0.7521527591828356017166197489421875e34 * pow(0.3141592654e1, -0.1e1 / 0.4e1) * pow(a, 0.3e1 / 0.4e1) * (0.2178951260911425e16 / 0.32e2 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.1019031e7 / 0.4e1 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.138066275350478475e18 / 0.32e2 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.55429548780412681875e20 / 0.256e3 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.62716965675e11 / 0.8e1 * pow(a, 0.23e2) * pow(x, 0.46e2) + pow(a, 0.27e2) * pow(x, 0.54e2) - 0.1688333915112986760306666103125e31 / 0.4096e4 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.35805093220359385397621223342890625e35 / 0.262144e6 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.147366225780637049373367350811265625e36 / 0.262144e6 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.837574960950e12 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.152135583559631774005655626875e30 / 0.4096e4 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.7551799327211716356404625e25 / 0.1024e4 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.742e3 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.288355598665462853650125e24 / 0.1024e4 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.1113342079789431867375e22 / 0.128e3 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.160177638361385352191108625e27 / 0.1024e4 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.829170579839901556576491487940625e33 / 0.32768e5 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.215226375e9 / 0.4e1 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.903419036307383650506295498451671875e36 / 0.524288e6 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.238537463149534843706184682284375e33 / 0.65536e5 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.687152590603576215021028125e27 / 0.256e3 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.12244211194208582667500217713057765625e38 / 0.2097152e7 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.12222482336721078527895070920310546875e38 / 0.2097152e7 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.58179015922792333792780537580678203125e38 / 0.16777216e8 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.8897967141132945168307611629986078125e37 / 0.8388608e7 * a * a * pow(x, 0.4e1) + 0.8371460209704960247105977805726546875e37 / 0.67108864e8 * a * x * x - 0.157952079428395476360490147277859375e36 / 0.67108864e8 - 0.249881861106297605459188116593015625e36 / 0.65536e5 * pow(a, 0.6e1) * pow(x, 0.12e2)) * exp(-a * x * x / 0.2e1) * sqrt(0.7450023312429e13);
  return retval;
}
```