user: What would the C source look like for the assembly code provided here:

```asm
<HO_deriv_54>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x188,%rsp
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  D587(%rip),%xmm1
  call   <pow@plt>
  movsd  %xmm0,0x10(%rsp)
  movsd  D15(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x18(%rsp)
  movsd  D295(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x20(%rsp)
  movsd  D817(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x28(%rsp)
  movsd  D150(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x30(%rsp)
  mov    D609(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x38(%rsp)
  movsd  D339(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x40(%rsp)
  movsd  D275(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x48(%rsp)
  movsd  D130(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D460(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x58(%rsp)
  movsd  D138(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x60(%rsp)
  movsd  D612(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D305(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x70(%rsp)
  mov    D726(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x78(%rsp)
  mov    D104(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x80(%rsp)
  movsd  D7(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x88(%rsp)
  mov    D730(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x90(%rsp)
  mov    D555(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x98(%rsp)
  mov    D453(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa0(%rsp)
  mov    D60(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xa8(%rsp)
  movsd  D396(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb0(%rsp)
  movsd  D136(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xb8(%rsp)
  mov    D183(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc0(%rsp)
  mov    D453(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xc8(%rsp)
  movsd  D537(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd0(%rsp)
  mov    D183(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xd8(%rsp)
  movsd  D707(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe0(%rsp)
  movsd  D542(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xe8(%rsp)
  movsd  D775(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf0(%rsp)
  mov    D730(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r15
  movsd  D642(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0xf8(%rsp)
  movsd  D3(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x100(%rsp)
  movsd  D687(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x108(%rsp)
  mov    D186(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x110(%rsp)
  mov    D609(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x118(%rsp)
  mov    D104(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x120(%rsp)
  movsd  D684(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x128(%rsp)
  movsd  D712(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x130(%rsp)
  mov    D640(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x138(%rsp)
  movsd  D92(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x140(%rsp)
  mov    D60(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x148(%rsp)
  mov    D640(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  movsd  D373(%rip),%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x150(%rsp)
  movsd  D143(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r13
  mov    D186(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x158(%rsp)
  mov    D118(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%r12
  mov    D555(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x160(%rsp)
  movsd  D699(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbp
  mov    D155(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x168(%rsp)
  mov    D118(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x170(%rsp)
  mov    D155(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    D726(%rip),%rax
  movq   %rax,%xmm1
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm5
  xorpd  D704(%rip),%xmm5
  movapd %xmm5,%xmm0
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D234(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm2
  movsd  0x18(%rsp),%xmm1
  mulsd  D623(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  D107(%rip),%xmm0
  mulsd  0x30(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x38(%rsp),%xmm0
  mulsd  D203(%rip),%xmm0
  mulsd  0x40(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  D309(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  subsd  D175(%rip),%xmm1
  movsd  0x58(%rsp),%xmm0
  mulsd  D16(%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  D608(%rip),%xmm0
  mulsd  0x80(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x88(%rsp),%xmm0
  mulsd  D324(%rip),%xmm0
  mulsd  0x90(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x98(%rsp),%xmm0
  mulsd  D811(%rip),%xmm0
  mulsd  0xa0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  D5(%rip),%xmm0
  mulsd  0xb0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xb8(%rsp),%xmm0
  mulsd  D267(%rip),%xmm0
  mulsd  0xc0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0xc8(%rsp),%xmm0
  mulsd  D600(%rip),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xd8(%rsp),%xmm0
  mulsd  D435(%rip),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0xe8(%rsp),%xmm0
  mulsd  D721(%rip),%xmm0
  mulsd  0xf0(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %r15,%xmm0
  mulsd  D213(%rip),%xmm0
  mulsd  0xf8(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x100(%rsp),%xmm0
  mulsd  D370(%rip),%xmm0
  mulsd  0x108(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x110(%rsp),%xmm1
  mulsd  D487(%rip),%xmm1
  mulsd  0x118(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x120(%rsp),%xmm1
  mulsd  D514(%rip),%xmm1
  mulsd  0x128(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x130(%rsp),%xmm1
  mulsd  D501(%rip),%xmm1
  mulsd  0x138(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x140(%rsp),%xmm1
  mulsd  D238(%rip),%xmm1
  mulsd  0x148(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movq   %r14,%xmm1
  mulsd  D562(%rip),%xmm1
  mulsd  0x150(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %r13,%xmm1
  mulsd  D772(%rip),%xmm1
  mulsd  0x158(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movq   %r12,%xmm1
  mulsd  D701(%rip),%xmm1
  mulsd  0x160(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movq   %rbp,%xmm1
  mulsd  D697(%rip),%xmm1
  mulsd  0x168(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x8(%rsp),%xmm4
  movapd %xmm4,%xmm1
  mulsd  D627(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  0x170(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  D554(%rip),%xmm4
  movapd %xmm4,%xmm1
  movsd  (%rsp),%xmm3
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm0
  movq   %rbx,%xmm1
  mulsd  D731(%rip),%xmm1
  mulsd  0x178(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x10(%rsp),%xmm1
  mulsd  D694(%rip),%xmm1
  mulsd  D108(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm3,%xmm0
  mulsd  D825(%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_label: D587
type: byte[8]
name: unpack_data
arguments: data_label: D15
type: f64
name: unpack_data
arguments: data_label: D295
type: f64
name: unpack_data
arguments: data_label: D817
type: f64
name: unpack_data
arguments: data_label: D150
type: f64
name: unpack_data
arguments: data_label: D609
type: f64
name: unpack_data
arguments: data_label: D339
type: f64
name: unpack_data
arguments: data_label: D275
type: f64
name: unpack_data
arguments: data_label: D130
type: f64
name: unpack_data
arguments: data_label: D460
type: f64
name: unpack_data
arguments: data_label: D138
type: f64
name: unpack_data
arguments: data_label: D612
type: f64
name: unpack_data
arguments: data_label: D305
type: f64
name: unpack_data
arguments: data_label: D726
type: f64
name: unpack_data
arguments: data_label: D104
type: f64
name: unpack_data
arguments: data_label: D7
type: f64
name: unpack_data
arguments: data_label: D730
type: f64
name: unpack_data
arguments: data_label: D555
type: f64
name: unpack_data
arguments: data_label: D453
type: f64
name: unpack_data
arguments: data_label: D60
type: f64
name: unpack_data
arguments: data_label: D396
type: f64
name: unpack_data
arguments: data_label: D136
type: f64
name: unpack_data
arguments: data_label: D183
type: f64
name: unpack_data
arguments: data_label: D537
type: f64
name: unpack_data
arguments: data_label: D707
type: f64
name: unpack_data
arguments: data_label: D542
type: f64
name: unpack_data
arguments: data_label: D775
type: f64
name: unpack_data
arguments: data_label: D642
type: f64
name: unpack_data
arguments: data_label: D3
type: f64
name: unpack_data
arguments: data_label: D687
type: f64
name: unpack_data
arguments: data_label: D186
type: f64
name: unpack_data
arguments: data_label: D684
type: f64
name: unpack_data
arguments: data_label: D712
type: f64
name: unpack_data
arguments: data_label: D640
type: f64
name: unpack_data
arguments: data_label: D92
type: f64
name: unpack_data
arguments: data_label: D373
type: f64
name: unpack_data
arguments: data_label: D143
type: f64
name: unpack_data
arguments: data_label: D118
type: f64
name: unpack_data
arguments: data_label: D699
type: f64
name: unpack_data
arguments: data_label: D155
type: f64
name: unpack_data
arguments: data_label: D704
type: byte[16]
name: unpack_data
arguments: data_label: D234
type: byte[8]
name: unpack_data
arguments: data_label: D623
type: byte[8]
name: unpack_data
arguments: data_label: D107
type: byte[8]
name: unpack_data
arguments: data_label: D203
type: byte[8]
name: unpack_data
arguments: data_label: D309
type: byte[8]
name: unpack_data
arguments: data_label: D175
type: byte[8]
name: unpack_data
arguments: data_label: D16
type: byte[8]
name: unpack_data
arguments: data_label: D608
type: byte[8]
name: unpack_data
arguments: data_label: D324
type: byte[8]
name: unpack_data
arguments: data_label: D811
type: byte[8]
name: unpack_data
arguments: data_label: D5
type: byte[8]
name: unpack_data
arguments: data_label: D267
type: byte[8]
name: unpack_data
arguments: data_label: D600
type: byte[8]
name: unpack_data
arguments: data_label: D435
type: byte[8]
name: unpack_data
arguments: data_label: D721
type: byte[8]
name: unpack_data
arguments: data_label: D213
type: byte[8]
name: unpack_data
arguments: data_label: D370
type: byte[8]
name: unpack_data
arguments: data_label: D487
type: byte[8]
name: unpack_data
arguments: data_label: D514
type: byte[8]
name: unpack_data
arguments: data_label: D501
type: byte[8]
name: unpack_data
arguments: data_label: D238
type: byte[8]
name: unpack_data
arguments: data_label: D562
type: byte[8]
name: unpack_data
arguments: data_label: D772
type: byte[8]
name: unpack_data
arguments: data_label: D701
type: byte[8]
name: unpack_data
arguments: data_label: D697
type: byte[8]
name: unpack_data
arguments: data_label: D627
type: byte[8]
name: unpack_data
arguments: data_label: D554
type: byte[8]
name: unpack_data
arguments: data_label: D731
type: byte[8]
name: unpack_data
arguments: data_label: D694
type: byte[8]
name: unpack_data
arguments: data_label: D108
type: byte[8]
name: unpack_data
arguments: data_label: D825
type: byte[8]

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

tool: D15: 21

tool: D295: 42

tool: D817: 25

tool: D150: 50

tool: D609: 20

tool: D339: 40

tool: D275: 19

tool: D130: 38

tool: D460: 23

tool: D138: 46

tool: D612: 27

tool: D305: 54

tool: D726: 12

tool: D104: 24

tool: D7: 9

tool: D730: 18

tool: D555: 8

tool: D453: 16

tool: D60: 22

tool: D396: 44

tool: D136: 13

tool: D183: 26

tool: D537: 32

tool: D707: 52

tool: D542: 17

tool: D775: 34

tool: D642: 36

tool: D3: 15

tool: D687: 30

tool: D186: 10

tool: D684: 48

tool: D712: 7

tool: D640: 14

tool: D92: 11

tool: D373: 28

tool: D143: 5

tool: D118: 4

tool: D699: 3

tool: D155: 6

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

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

tool: {"D623": [0x26,0x76,0xbf,0x01,0xd2,0xbc,0xd3,0x42]}

tool: {"D107": [0x00,0x00,0x00,0x00,0x69,0xbf,0x10,0x41]}

tool: {"D203": [0x7e,0x0f,0xd8,0xe7,0x4d,0x7c,0x34,0x43]}

tool: {"D309": [0x90,0xea,0x92,0x31,0x44,0xe1,0x90,0x43]}

tool: {"D175": [0xd0,0x19,0x9d,0x40,0xa9,0xe7,0xf9,0x45]}

tool: {"D16": [0x00,0x00,0xe7,0xba,0x40,0x0c,0x01,0x42]}

tool: {"D608": [0x29,0x9c,0xf0,0x61,0xdd,0x49,0x87,0x45]}

tool: {"D324": [0xb0,0xea,0xa7,0x52,0xfe,0xd0,0x13,0x46]}

tool: {"D811": [0x31,0xfb,0x45,0x7d,0x8c,0xc8,0x36,0x46]}

tool: {"D5": [0x00,0x3a,0x79,0xf6,0x82,0xb5,0x6d,0x42]}

tool: {"D267": [0xbd,0x55,0x72,0x88,0x24,0x19,0x4f,0x45]}

tool: {"D600": [0xb5,0x72,0x24,0xb3,0x76,0xb6,0x84,0x44]}

tool: {"D435": [0x00,0x00,0x00,0x00,0x00,0x0c,0x88,0x40]}

tool: {"D721": [0x85,0x78,0xa6,0xeb,0xe1,0xde,0x37,0x44]}

tool: {"D213": [0x82,0x30,0xf7,0x6d,0xb9,0x53,0xe6,0x43]}

tool: {"D370": [0x65,0x46,0x4a,0xe1,0x42,0x38,0xcd,0x44]}

tool: {"D487": [0x93,0x62,0x72,0x73,0x57,0x94,0xea,0x45]}

tool: {"D514": [0x00,0x00,0x00,0x17,0x0d,0xbf,0x8c,0x41]}

tool: {"D501": [0xce,0x65,0x86,0x6f,0x48,0xc8,0x53,0x46]}

tool: {"D238": [0xc7,0xf3,0x1e,0x2f,0xf3,0xee,0xbb,0x45]}

tool: {"D562": [0x61,0xd2,0x28,0xc5,0x83,0xbe,0x10,0x45]}

tool: {"D772": [0x70,0x8b,0x8e,0x6c,0x3f,0xd7,0x76,0x46]}

tool: {"D701": [0xbc,0x10,0x85,0x29,0x83,0xdc,0x7b,0x46]}

tool: {"D697": [0xe3,0x77,0xd8,0x0a,0x50,0x4f,0x75,0x46]}

tool: {"D627": [0xca,0x50,0x6c,0x47,0x71,0x3f,0x62,0x46]}

tool: {"D554": [0xd2,0x12,0xd3,0x08,0xba,0x9b,0x3c,0x46]}

tool: {"D731": [0x9e,0xa3,0xb5,0xd1,0x9f,0x3f,0x69,0x46]}

tool: {"D694": [0x61,0x6b,0x91,0xfb,0x2f,0x74,0xed,0xb8]}

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

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

assistant: ```c
double HO_deriv_54(const double a, const double x) {
  double retval = -0.4e1 / 0.22564582775485068051498592468265625e35 * pow(a, 0.5e1 / 0.4e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) * (0.2777817357990675e16 / 0.32e2 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.1097577e7 / 0.4e1 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.369035109007089525e18 / 0.64e2 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.77845014660843304875e20 / 0.256e3 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.17216776657695106923293426053286671875e38 / 0.134217728e9 + 0.73220012775e11 / 0.8e1 * pow(a, 0.23e2) * pow(x, 0.46e2) + pow(a, 0.27e2) * pow(x, 0.54e2) - 0.7380431114636770695054854679375e31 / 0.8192e4 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.102892531043769602247900989185359375e36 / 0.262144e6 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.946385148171814912983440966463140625e36 / 0.524288e6 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.16332711738525e14 / 0.16e2 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.307981791108522859572424805625e30 / 0.4096e4 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.25040176716544112129131125e26 / 0.2048e4 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.1539e4 / 0.2e1 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.450903542314719906286875e24 / 0.1024e4 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.6589781499294204836625e22 / 0.512e3 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.282596280086712122600194125e27 / 0.1024e4 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.8625527720152742166464541322603125e34 / 0.131072e6 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.482282775e9 / 0.8e1 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.3286907557628991579501628302877359375e37 / 0.524288e6 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.566556623800057985708622668034375e33 / 0.65536e5 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.10364156659655318498282679375e29 / 0.2048e4 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.60721292248830318126582712332102796875e38 / 0.2097152e7 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.148136485921059471758088259554163828125e39 / 0.4194304e7 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.453209645045617591814349229725115078125e39 / 0.16777216e8 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.388088259155567685417724291861700484375e39 / 0.33554432e8 * a * a * pow(x, 0.4e1) + 0.152107852489544843735152011828578578125e39 / 0.67108864e8 * a * x * x - 0.16780528057369062274297786598900203125e38 / 0.1048576e7 * pow(a, 0.6e1) * pow(x, 0.12e2)) * exp(-a * x * x / 0.2e1) * x * sqrt(0.2483341104143e13);
  return retval;
}
```