user: 下面的汇编指令对应的C源代码是什么：

```asm
<HO_deriv_47>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x158,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D639(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D494(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D19(%rip),%xmm15
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D630(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D403(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D656(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D52(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D86(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D103(%rip),%xmm10
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D519(%rip),%xmm14
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D65(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D129(%rip),%xmm12
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D437(%rip),%xmm11
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D378(%rip),%xmm3
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D44(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D670(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D713(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D679(%rip),%xmm1
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D378(%rip),%rax
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D177(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D381(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D151(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D129(%rip),%rax
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D632(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D51(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D46(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D472(%rip),%xmm12
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D19(%rip),%rax
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D519(%rip),%rax
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D191(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D78(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D709(%rip),%xmm14
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D266(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D44(%rip),%rax
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D709(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D657(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D418(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D472(%rip),%rax
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D311(%rip),%xmm12
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D437(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D94(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D240(%rip),%xmm11
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  mov    D311(%rip),%rax
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D240(%rip),%rax
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D103(%rip),%rax
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D228(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm4
  movsd  (%rsp),%xmm5
  xorpd  D70(%rip),%xmm4
  movsd  %xmm0,0xe8(%rsp)
  movapd %xmm4,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  D422(%rip),%xmm0
  call   <exp@plt>
  movq   %rbx,%xmm1
  movsd  0x148(%rsp),%xmm2
  movsd  0x140(%rsp),%xmm8
  mulsd  D725(%rip),%xmm2
  movsd  0x138(%rsp),%xmm7
  mulsd  D115(%rip),%xmm1
  movsd  0x128(%rsp),%xmm6
  mulsd  0x18(%rsp),%xmm1
  movsd  0x130(%rsp),%xmm9
  mulsd  0x10(%rsp),%xmm2
  movsd  0x120(%rsp),%xmm5
  mulsd  D463(%rip),%xmm8
  movsd  0x118(%rsp),%xmm4
  mulsd  0x28(%rsp),%xmm8
  movsd  0x110(%rsp),%xmm3
  mulsd  D483(%rip),%xmm7
  mulsd  0x38(%rsp),%xmm7
  addsd  %xmm1,%xmm2
  movq   %r14,%xmm1
  mulsd  D301(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  mulsd  D183(%rip),%xmm6
  mulsd  D662(%rip),%xmm9
  mulsd  0x40(%rsp),%xmm9
  mulsd  D254(%rip),%xmm5
  subsd  %xmm1,%xmm2
  movq   %r15,%xmm1
  mulsd  D118(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm1
  subsd  %xmm8,%xmm2
  mulsd  0x50(%rsp),%xmm5
  mulsd  D700(%rip),%xmm4
  mulsd  0x58(%rsp),%xmm4
  mulsd  D14(%rip),%xmm3
  addsd  %xmm1,%xmm2
  movsd  0x48(%rsp),%xmm1
  mulsd  0x60(%rsp),%xmm3
  mulsd  %xmm6,%xmm1
  subsd  %xmm7,%xmm2
  addsd  %xmm2,%xmm9
  movq   %rbp,%xmm2
  mulsd  D293(%rip),%xmm2
  mulsd  0x68(%rsp),%xmm2
  addsd  %xmm9,%xmm1
  subsd  %xmm5,%xmm1
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  addsd  %xmm2,%xmm1
  movq   %r12,%xmm2
  mulsd  D187(%rip),%xmm2
  movsd  0x8(%rsp),%xmm6
  mulsd  0x70(%rsp),%xmm2
  movsd  (%rsp),%xmm5
  movsd  0x108(%rsp),%xmm15
  mulsd  D123(%rip),%xmm15
  mulsd  0x90(%rsp),%xmm15
  movsd  0x100(%rsp),%xmm13
  mulsd  D689(%rip),%xmm13
  movsd  0xf8(%rsp),%xmm14
  mulsd  0xa8(%rsp),%xmm13
  movsd  0xf0(%rsp),%xmm11
  mulsd  D440(%rip),%xmm14
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D597(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  mulsd  0xb0(%rsp),%xmm14
  mulsd  D267(%rip),%xmm11
  addsd  %xmm2,%xmm1
  addsd  D61(%rip),%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  0x88(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D390(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  subsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D601(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm14,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D342(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  D131(%rip),%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  0xd8(%rsp),%xmm2
  mulsd  D71(%rip),%xmm6
  mulsd  0xe0(%rsp),%xmm11
  addsd  %xmm2,%xmm1
  movapd %xmm6,%xmm2
  mulsd  %xmm5,%xmm2
  mulsd  %xmm5,%xmm2
  subsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm11
  mulsd  D166(%rip),%xmm11
  mulsd  0xe8(%rsp),%xmm11
  mulsd  %xmm11,%xmm0
  mulsd  D710(%rip),%xmm0
  add    $0x158,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D639
type: f64
name: retrieve_data
arguments: data_label: D494
type: f64
name: retrieve_data
arguments: data_label: D19
type: f64
name: retrieve_data
arguments: data_label: D630
type: f64
name: retrieve_data
arguments: data_label: D403
type: f64
name: retrieve_data
arguments: data_label: D656
type: f64
name: retrieve_data
arguments: data_label: D52
type: f64
name: retrieve_data
arguments: data_label: D86
type: f64
name: retrieve_data
arguments: data_label: D103
type: f64
name: retrieve_data
arguments: data_label: D519
type: f64
name: retrieve_data
arguments: data_label: D65
type: f64
name: retrieve_data
arguments: data_label: D129
type: f64
name: retrieve_data
arguments: data_label: D437
type: f64
name: retrieve_data
arguments: data_label: D378
type: f64
name: retrieve_data
arguments: data_label: D44
type: f64
name: retrieve_data
arguments: data_label: D670
type: f64
name: retrieve_data
arguments: data_label: D713
type: f64
name: retrieve_data
arguments: data_label: D679
type: f64
name: retrieve_data
arguments: data_label: D177
type: f64
name: retrieve_data
arguments: data_label: D381
type: f64
name: retrieve_data
arguments: data_label: D151
type: f64
name: retrieve_data
arguments: data_label: D632
type: f64
name: retrieve_data
arguments: data_label: D51
type: f64
name: retrieve_data
arguments: data_label: D46
type: f64
name: retrieve_data
arguments: data_label: D472
type: f64
name: retrieve_data
arguments: data_label: D191
type: f64
name: retrieve_data
arguments: data_label: D78
type: f64
name: retrieve_data
arguments: data_label: D709
type: f64
name: retrieve_data
arguments: data_label: D266
type: f64
name: retrieve_data
arguments: data_label: D657
type: f64
name: retrieve_data
arguments: data_label: D418
type: f64
name: retrieve_data
arguments: data_label: D311
type: f64
name: retrieve_data
arguments: data_label: D94
type: f64
name: retrieve_data
arguments: data_label: D240
type: f64
name: retrieve_data
arguments: data_label: D228
type: byte[8]
name: retrieve_data
arguments: data_label: D70
type: byte[16]
name: retrieve_data
arguments: data_label: D422
type: byte[8]
name: retrieve_data
arguments: data_label: D725
type: f32[2]
name: retrieve_data
arguments: data_label: D115
type: byte[8]
name: retrieve_data
arguments: data_label: D463
type: byte[8]
name: retrieve_data
arguments: data_label: D483
type: byte[8]
name: retrieve_data
arguments: data_label: D301
type: byte[8]
name: retrieve_data
arguments: data_label: D183
type: byte[8]
name: retrieve_data
arguments: data_label: D662
type: byte[8]
name: retrieve_data
arguments: data_label: D254
type: byte[8]
name: retrieve_data
arguments: data_label: D118
type: byte[8]
name: retrieve_data
arguments: data_label: D700
type: byte[8]
name: retrieve_data
arguments: data_label: D14
type: byte[8]
name: retrieve_data
arguments: data_label: D293
type: byte[8]
name: retrieve_data
arguments: data_label: D187
type: byte[8]
name: retrieve_data
arguments: data_label: D123
type: byte[8]
name: retrieve_data
arguments: data_label: D689
type: byte[8]
name: retrieve_data
arguments: data_label: D440
type: byte[8]
name: retrieve_data
arguments: data_label: D597
type: byte[8]
name: retrieve_data
arguments: data_label: D267
type: byte[8]
name: retrieve_data
arguments: data_label: D61
type: byte[8]
name: retrieve_data
arguments: data_label: D390
type: byte[8]
name: retrieve_data
arguments: data_label: D601
type: byte[8]
name: retrieve_data
arguments: data_label: D342
type: byte[8]
name: retrieve_data
arguments: data_label: D131
type: byte[8]
name: retrieve_data
arguments: data_label: D71
type: byte[8]
name: retrieve_data
arguments: data_label: D166
type: byte[8]
name: retrieve_data
arguments: data_label: D710
type: byte[8]

tool: D639: 21

tool: D494: 42

tool: D19: 20

tool: D630: 40

tool: D403: 19

tool: D656: 38

tool: D52: 23

tool: D86: 46

tool: D103: 12

tool: D519: 24

tool: D65: 9

tool: D129: 18

tool: D437: 8

tool: D378: 16

tool: D44: 22

tool: D670: 44

tool: D713: 13

tool: D679: 26

tool: D177: 32

tool: D381: 17

tool: D151: 34

tool: D632: 36

tool: D51: 15

tool: D46: 30

tool: D472: 10

tool: D191: 48

tool: D78: 7

tool: D709: 14

tool: D266: 11

tool: D657: 28

tool: D418: 5

tool: D311: 4

tool: D94: 3

tool: D240: 6

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

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

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

tool: {"D725": [2097152.0,-15.542879104614258]}

tool: {"D115": [0x00,0x00,0x6a,0xbb,0x7a,0x86,0xe5,0x41]}

tool: {"D463": [0x00,0x00,0x00,0x00,0x00,0x5c,0x82,0x40]}

tool: {"D483": [0xd1,0x6d,0x27,0x5c,0xf2,0xb2,0xfd,0x44]}

tool: {"D301": [0x00,0x84,0x91,0x10,0xc0,0x2b,0x4b,0x42]}

tool: {"D183": [0x00,0x00,0x00,0x00,0x82,0x4c,0x03,0x41]}

tool: {"D662": [0x02,0x3f,0xf3,0xca,0x75,0x34,0x22,0x45]}

tool: {"D254": [0x94,0x66,0x4c,0xc6,0xda,0x11,0x2d,0x44]}

tool: {"D118": [0x03,0xa7,0x7b,0x73,0x66,0x4e,0x69,0x44]}

tool: {"D700": [0x66,0x52,0x3c,0x24,0xb8,0x24,0x55,0x43]}

tool: {"D14": [0x5a,0xb1,0x4b,0xbf,0x93,0xb1,0x02,0x43]}

tool: {"D293": [0xb8,0x72,0x7b,0xcd,0x99,0xba,0xa9,0x42]}

tool: {"D187": [0x81,0xe6,0x82,0x85,0x9b,0xc6,0xa2,0x43]}

tool: {"D123": [0x93,0xef,0x8c,0x97,0xf9,0x76,0x40,0x45]}

tool: {"D689": [0x91,0x9b,0xe6,0x45,0xfb,0x4b,0xea,0x43]}

tool: {"D440": [0x94,0x69,0x14,0x69,0xfa,0xf3,0x62,0x45]}

tool: {"D597": [0xbc,0xb9,0x7a,0x87,0xbc,0x46,0xd2,0x44]}

tool: {"D267": [0x13,0x4d,0xa5,0x75,0x31,0x51,0x55,0x45]}

tool: {"D61": [0xba,0x50,0x90,0x93,0xca,0x1a,0xbe,0x44]}

tool: {"D390": [0x52,0x23,0xed,0x1d,0x90,0x41,0xa1,0x44]}

tool: {"D601": [0x4e,0x97,0x8b,0xae,0x6a,0xd1,0x65,0x45]}

tool: {"D342": [0xc7,0x9f,0xd5,0x33,0x7a,0xc0,0x5d,0x45]}

tool: {"D131": [0x9b,0x67,0xa4,0x33,0x74,0xbc,0x44,0x45]}

tool: {"D71": [0x48,0xfb,0x5d,0xc4,0xac,0x1b,0x16,0x45]}

tool: {"D166": [0xd9,0x3c,0xf2,0x71,0xd4,0xf3,0x07,0xba]}

tool: {"D710": [0x29,0xce,0x6e,0xca,0xbe,0x4c,0x1c,0x41]}

assistant: ```c
double HO_deriv_47(const double a, const double x) {
  double retval = -0.4e1 / 0.79504546184962274902660509375e29 * pow(0.3141592654e1, -0.1e1 / 0.4e1) * (-0.207081765e9 / 0.8e1 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.46225251765e11 / 0.16e2 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.7468679963745e13 / 0.32e2 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.1175e4 / 0.2e1 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.7648344991338362183998125e25 / 0.2048e4 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.36765594373363507018478986875e29 / 0.16384e5 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.721171274246745714593241665625e30 / 0.65536e5 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.632385e6 / 0.4e1 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.274555974048043770707625e24 / 0.1024e4 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.1523545039728436725e19 / 0.64e2 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.84188763336152475e17 / 0.128e3 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.905255519743575e15 / 0.64e2 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.173176286182465641075e21 / 0.256e3 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.2828122644104885155267614375e28 / 0.8192e4 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.1192568192774434123539907640625e31 / 0.8388608e7 + pow(a, 0.24e2) * pow(x, 0.48e2) - 0.5217886278373513111468748521875e31 / 0.131072e6 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.166890809939203749194420625e27 / 0.4096e4 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.7761446280723232822725e22 / 0.512e3 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.96103328660689398740671520165625e32 / 0.524288e6 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.221261152032750011054104197590625e33 / 0.1048576e7 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.301719752771931833255596633078125e33 / 0.2097152e7 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.210289524659225217117537047296875e33 / 0.4194304e7 * a * a * pow(x, 0.4e1) - 0.56050705060398403806375659109375e32 / 0.8388608e7 * a * x * x + 0.27022711864422177658582055353125e32 / 0.262144e6 * pow(a, 0.6e1) * pow(x, 0.12e2)) * pow(a, 0.3e1 / 0.4e1) * exp(-a * x * x / 0.2e1) * sqrt(0.214984024554e12);
  return retval;
}
```