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  D534(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D387(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D498(%rip),%xmm15
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D584(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D704(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D560(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D184(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D76(%rip),%xmm1
  movsd  %xmm0,0x140(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D736(%rip),%xmm10
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D518(%rip),%xmm14
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D353(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D453(%rip),%xmm12
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D327(%rip),%xmm11
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D599(%rip),%xmm3
  movsd  %xmm0,0x130(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm3,%xmm1
  call   <pow@plt>
  movsd  D117(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D101(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D441(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D116(%rip),%xmm1
  movsd  %xmm0,0x120(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D599(%rip),%rax
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D104(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D650(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D325(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  mov    D453(%rip),%rax
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D330(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D437(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D140(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D185(%rip),%xmm12
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D498(%rip),%rax
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D518(%rip),%rax
  movsd  %xmm0,0x78(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D510(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D632(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D477(%rip),%xmm14
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D216(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D117(%rip),%rax
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D477(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D646(%rip),%xmm1
  movsd  %xmm0,0x100(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D107(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D185(%rip),%rax
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D440(%rip),%xmm12
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D327(%rip),%rax
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D186(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D235(%rip),%xmm11
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  mov    D440(%rip),%rax
  movsd  %xmm0,0xd0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D235(%rip),%rax
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D736(%rip),%rax
  movsd  %xmm0,0xf0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D57(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm4
  movsd  (%rsp),%xmm5
  xorpd  D473(%rip),%xmm4
  movsd  %xmm0,0xe8(%rsp)
  movapd %xmm4,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  D586(%rip),%xmm0
  call   <exp@plt>
  movq   %rbx,%xmm1
  movsd  0x148(%rsp),%xmm2
  movsd  0x140(%rsp),%xmm8
  mulsd  D552(%rip),%xmm2
  movsd  0x138(%rsp),%xmm7
  mulsd  D397(%rip),%xmm1
  movsd  0x128(%rsp),%xmm6
  mulsd  0x18(%rsp),%xmm1
  movsd  0x130(%rsp),%xmm9
  mulsd  0x10(%rsp),%xmm2
  movsd  0x120(%rsp),%xmm5
  mulsd  D286(%rip),%xmm8
  movsd  0x118(%rsp),%xmm4
  mulsd  0x28(%rsp),%xmm8
  movsd  0x110(%rsp),%xmm3
  mulsd  D33(%rip),%xmm7
  mulsd  0x38(%rsp),%xmm7
  addsd  %xmm1,%xmm2
  movq   %r14,%xmm1
  mulsd  D88(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  mulsd  D651(%rip),%xmm6
  mulsd  D664(%rip),%xmm9
  mulsd  0x40(%rsp),%xmm9
  mulsd  D696(%rip),%xmm5
  subsd  %xmm1,%xmm2
  movq   %r15,%xmm1
  mulsd  D236(%rip),%xmm1
  mulsd  0x30(%rsp),%xmm1
  subsd  %xmm8,%xmm2
  mulsd  0x50(%rsp),%xmm5
  mulsd  D429(%rip),%xmm4
  mulsd  0x58(%rsp),%xmm4
  mulsd  D90(%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  D654(%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  D68(%rip),%xmm2
  movsd  0x8(%rsp),%xmm6
  mulsd  0x70(%rsp),%xmm2
  movsd  (%rsp),%xmm5
  movsd  0x108(%rsp),%xmm15
  mulsd  D111(%rip),%xmm15
  mulsd  0x90(%rsp),%xmm15
  movsd  0x100(%rsp),%xmm13
  mulsd  D396(%rip),%xmm13
  movsd  0xf8(%rsp),%xmm14
  mulsd  0xa8(%rsp),%xmm13
  movsd  0xf0(%rsp),%xmm11
  mulsd  D99(%rip),%xmm14
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D408(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  mulsd  0xb0(%rsp),%xmm14
  mulsd  D32(%rip),%xmm11
  addsd  %xmm2,%xmm1
  addsd  D344(%rip),%xmm1
  movsd  0x80(%rsp),%xmm2
  mulsd  0x88(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D31(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  subsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D340(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm14,%xmm1
  addsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D592(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  D418(%rip),%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  mulsd  0xd8(%rsp),%xmm2
  mulsd  D502(%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  D108(%rip),%xmm11
  mulsd  0xe8(%rsp),%xmm11
  mulsd  %xmm11,%xmm0
  mulsd  D2(%rip),%xmm0
  add    $0x158,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: disassemble_data
arguments: label: D534
type_infered: f64
name: disassemble_data
arguments: label: D387
type_infered: f64
name: disassemble_data
arguments: label: D498
type_infered: f64
name: disassemble_data
arguments: label: D584
type_infered: f64
name: disassemble_data
arguments: label: D704
type_infered: f64
name: disassemble_data
arguments: label: D560
type_infered: f64
name: disassemble_data
arguments: label: D184
type_infered: f64
name: disassemble_data
arguments: label: D76
type_infered: f64
name: disassemble_data
arguments: label: D736
type_infered: f64
name: disassemble_data
arguments: label: D518
type_infered: f64
name: disassemble_data
arguments: label: D353
type_infered: f64
name: disassemble_data
arguments: label: D453
type_infered: f64
name: disassemble_data
arguments: label: D327
type_infered: f64
name: disassemble_data
arguments: label: D599
type_infered: f64
name: disassemble_data
arguments: label: D117
type_infered: f64
name: disassemble_data
arguments: label: D101
type_infered: f64
name: disassemble_data
arguments: label: D441
type_infered: f64
name: disassemble_data
arguments: label: D116
type_infered: f64
name: disassemble_data
arguments: label: D104
type_infered: f64
name: disassemble_data
arguments: label: D650
type_infered: f64
name: disassemble_data
arguments: label: D325
type_infered: f64
name: disassemble_data
arguments: label: D330
type_infered: f64
name: disassemble_data
arguments: label: D437
type_infered: f64
name: disassemble_data
arguments: label: D140
type_infered: f64
name: disassemble_data
arguments: label: D185
type_infered: f64
name: disassemble_data
arguments: label: D510
type_infered: f64
name: disassemble_data
arguments: label: D632
type_infered: f64
name: disassemble_data
arguments: label: D477
type_infered: f64
name: disassemble_data
arguments: label: D216
type_infered: f64
name: disassemble_data
arguments: label: D646
type_infered: f64
name: disassemble_data
arguments: label: D107
type_infered: f64
name: disassemble_data
arguments: label: D440
type_infered: f64
name: disassemble_data
arguments: label: D186
type_infered: f64
name: disassemble_data
arguments: label: D235
type_infered: f64
name: disassemble_data
arguments: label: D57
type_infered: byte[8]
name: disassemble_data
arguments: label: D473
type_infered: byte[16]
name: disassemble_data
arguments: label: D586
type_infered: byte[8]
name: disassemble_data
arguments: label: D552
type_infered: f32[2]
name: disassemble_data
arguments: label: D397
type_infered: byte[8]
name: disassemble_data
arguments: label: D286
type_infered: byte[8]
name: disassemble_data
arguments: label: D33
type_infered: byte[8]
name: disassemble_data
arguments: label: D88
type_infered: byte[8]
name: disassemble_data
arguments: label: D651
type_infered: byte[8]
name: disassemble_data
arguments: label: D664
type_infered: byte[8]
name: disassemble_data
arguments: label: D696
type_infered: byte[8]
name: disassemble_data
arguments: label: D236
type_infered: byte[8]
name: disassemble_data
arguments: label: D429
type_infered: byte[8]
name: disassemble_data
arguments: label: D90
type_infered: byte[8]
name: disassemble_data
arguments: label: D654
type_infered: byte[8]
name: disassemble_data
arguments: label: D68
type_infered: byte[8]
name: disassemble_data
arguments: label: D111
type_infered: byte[8]
name: disassemble_data
arguments: label: D396
type_infered: byte[8]
name: disassemble_data
arguments: label: D99
type_infered: byte[8]
name: disassemble_data
arguments: label: D408
type_infered: byte[8]
name: disassemble_data
arguments: label: D32
type_infered: byte[8]
name: disassemble_data
arguments: label: D344
type_infered: byte[8]
name: disassemble_data
arguments: label: D31
type_infered: byte[8]
name: disassemble_data
arguments: label: D340
type_infered: byte[8]
name: disassemble_data
arguments: label: D592
type_infered: byte[8]
name: disassemble_data
arguments: label: D418
type_infered: byte[8]
name: disassemble_data
arguments: label: D502
type_infered: byte[8]
name: disassemble_data
arguments: label: D108
type_infered: byte[8]
name: disassemble_data
arguments: label: D2
type_infered: byte[8]

tool: D534: 21

tool: D387: 42

tool: D498: 20

tool: D584: 40

tool: D704: 19

tool: D560: 38

tool: D184: 23

tool: D76: 46

tool: D736: 12

tool: D518: 24

tool: D353: 9

tool: D453: 18

tool: D327: 8

tool: D599: 16

tool: D117: 22

tool: D101: 44

tool: D441: 13

tool: D116: 26

tool: D104: 32

tool: D650: 17

tool: D325: 34

tool: D330: 36

tool: D437: 15

tool: D140: 30

tool: D185: 10

tool: D510: 48

tool: D632: 7

tool: D477: 14

tool: D216: 11

tool: D646: 28

tool: D107: 5

tool: D440: 4

tool: D186: 3

tool: D235: 6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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