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

```asm
<HO_deriv_41>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D78(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D206(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D277(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D100(%rip),%xmm1
  movapd %xmm0,%xmm2
  divsd  %xmm1,%xmm2
  movq   %xmm2,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D381(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x30(%rbp)
  movsd  D314(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm3
  mulsd  -0x30(%rbp),%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D633(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D174(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D384(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D299(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D24(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D336(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D150(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D607(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D149(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D260(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D547(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D341(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm5
  addsd  -0x30(%rbp),%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D343(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D467(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D197(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D387(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D297(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D175(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x30(%rbp),%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D291(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D162(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D548(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D552(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D166(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D569(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm7
  addsd  -0x30(%rbp),%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D1(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D148(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D240(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D372(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D488(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D645(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  -0x30(%rbp),%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D422(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D321(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D633(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D312(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D198(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D150(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  -0x30(%rbp),%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D300(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D562(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D343(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D551(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D619(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D291(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0x30(%rbp),%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D542(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D354(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D451(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D201(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D422(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm5
  addsd  -0x30(%rbp),%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D513(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D326(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D300(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D538(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D135(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D542(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x30(%rbp),%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D25(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm5
  mulsd  -0x18(%rbp),%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D513(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movapd %xmm6,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D638(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  D418(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D618(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: label: D78
type_guessed: byte[8]
name: retrieve_data
arguments: label: D206
type_guessed: byte[8]
name: retrieve_data
arguments: label: D277
type_guessed: byte[8]
name: retrieve_data
arguments: label: D100
type_guessed: f64
name: retrieve_data
arguments: label: D381
type_guessed: f64
name: retrieve_data
arguments: label: D314
type_guessed: f64
name: retrieve_data
arguments: label: D633
type_guessed: f64
name: retrieve_data
arguments: label: D174
type_guessed: f64
name: retrieve_data
arguments: label: D384
type_guessed: f64
name: retrieve_data
arguments: label: D299
type_guessed: f64
name: retrieve_data
arguments: label: D24
type_guessed: byte[8]
name: retrieve_data
arguments: label: D336
type_guessed: f64
name: retrieve_data
arguments: label: D150
type_guessed: f64
name: retrieve_data
arguments: label: D607
type_guessed: f64
name: retrieve_data
arguments: label: D149
type_guessed: f64
name: retrieve_data
arguments: label: D260
type_guessed: f64
name: retrieve_data
arguments: label: D547
type_guessed: byte[8]
name: retrieve_data
arguments: label: D341
type_guessed: f64
name: retrieve_data
arguments: label: D343
type_guessed: f64
name: retrieve_data
arguments: label: D467
type_guessed: byte[8]
name: retrieve_data
arguments: label: D197
type_guessed: f64
name: retrieve_data
arguments: label: D387
type_guessed: f64
name: retrieve_data
arguments: label: D297
type_guessed: byte[8]
name: retrieve_data
arguments: label: D175
type_guessed: f64
name: retrieve_data
arguments: label: D291
type_guessed: f64
name: retrieve_data
arguments: label: D162
type_guessed: byte[8]
name: retrieve_data
arguments: label: D548
type_guessed: f64
name: retrieve_data
arguments: label: D552
type_guessed: f64
name: retrieve_data
arguments: label: D166
type_guessed: byte[8]
name: retrieve_data
arguments: label: D569
type_guessed: f64
name: retrieve_data
arguments: label: D1
type_guessed: f64
name: retrieve_data
arguments: label: D148
type_guessed: byte[8]
name: retrieve_data
arguments: label: D240
type_guessed: f64
name: retrieve_data
arguments: label: D372
type_guessed: f64
name: retrieve_data
arguments: label: D488
type_guessed: byte[8]
name: retrieve_data
arguments: label: D645
type_guessed: f64
name: retrieve_data
arguments: label: D422
type_guessed: f64
name: retrieve_data
arguments: label: D321
type_guessed: byte[8]
name: retrieve_data
arguments: label: D312
type_guessed: f64
name: retrieve_data
arguments: label: D198
type_guessed: byte[8]
name: retrieve_data
arguments: label: D300
type_guessed: f64
name: retrieve_data
arguments: label: D562
type_guessed: byte[8]
name: retrieve_data
arguments: label: D551
type_guessed: f64
name: retrieve_data
arguments: label: D619
type_guessed: byte[8]
name: retrieve_data
arguments: label: D542
type_guessed: f64
name: retrieve_data
arguments: label: D354
type_guessed: byte[8]
name: retrieve_data
arguments: label: D451
type_guessed: f64
name: retrieve_data
arguments: label: D201
type_guessed: byte[8]
name: retrieve_data
arguments: label: D513
type_guessed: f64
name: retrieve_data
arguments: label: D326
type_guessed: byte[8]
name: retrieve_data
arguments: label: D538
type_guessed: f64
name: retrieve_data
arguments: label: D135
type_guessed: byte[8]
name: retrieve_data
arguments: label: D25
type_guessed: byte[8]
name: retrieve_data
arguments: label: D638
type_guessed: byte[8]
name: retrieve_data
arguments: label: D418
type_guessed: byte[8]
name: retrieve_data
arguments: label: D618
type_guessed: byte[8]

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

tool: {"D206": [0xb4,0xe0,0x8f,0x35,0x5d,0x97,0xda,0xba]}

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

tool: D100: 2

tool: D381: 21

tool: D314: 42

tool: D633: 20

tool: D174: 451

tool: D384: 40

tool: D299: 19

tool: {"D24": [0x00,0x00,0x00,0x00,0x68,0x72,0xf6,0x40]}

tool: D336: 38

tool: D150: 18

tool: D607: 11240970

tool: D149: 36

tool: D260: 17

tool: {"D547": [0x00,0x00,0x28,0xb2,0x25,0x7b,0xcb,0x41]}

tool: D341: 34

tool: D343: 16

tool: {"D467": [0x00,0xa0,0x48,0x86,0x6a,0x0d,0x29,0x42]}

tool: D197: 32

tool: D387: 15

tool: {"D297": [0x00,0x3f,0x5e,0x36,0x4e,0xcd,0x80,0x42]}

tool: D175: 30

tool: D291: 14

tool: {"D162": [0x70,0x1f,0x4d,0xfa,0x2c,0xeb,0xd0,0x42]}

tool: D548: 28

tool: D552: 13

tool: {"D166": [0x94,0xf1,0xc8,0x48,0xa7,0xdf,0x19,0x43]}

tool: D569: 26

tool: D1: 12

tool: {"D148": [0x88,0x7f,0x3b,0xa4,0x5a,0x34,0x5e,0x43]}

tool: D240: 24

tool: D372: 11

tool: {"D488": [0xdd,0xfc,0x7d,0xe7,0x75,0xeb,0x9a,0x43]}

tool: D645: 22

tool: D422: 10

tool: {"D321": [0x32,0x48,0x13,0xa5,0x68,0x3c,0xd2,0x43]}

tool: D312: 9

tool: {"D198": [0x6d,0xed,0x75,0xca,0x25,0x9c,0x02,0x44]}

tool: D300: 8

tool: {"D562": [0x18,0x37,0x26,0x8a,0x2e,0x35,0x2c,0x44]}

tool: D551: 7

tool: {"D619": [0xb5,0xad,0x31,0xeb,0x89,0x1c,0x4f,0x44]}

tool: D542: 6

tool: {"D354": [0xb1,0x3a,0xbb,0x18,0x57,0x44,0x68,0x44]}

tool: D451: 5

tool: {"D201": [0x35,0x1c,0xe1,0xfa,0x6e,0xb8,0x79,0x44]}

tool: D513: 4

tool: {"D326": [0xde,0x75,0x85,0x9f,0x1c,0x7b,0x81,0x44]}

tool: D538: 3

tool: {"D135": [0x16,0xe9,0x25,0x0c,0x7a,0xe8,0x7b,0x44]}

tool: {"D25": [0x87,0x61,0xc0,0x5c,0x00,0x99,0x66,0x44]}

tool: {"D638": [0x7a,0x63,0xe2,0x3e,0x8d,0xcb,0x3b,0x44]}

tool: {"D418": [0xaa,0x34,0xa4,0xf2,0x99,0xb1,0xe5,0x43]}

tool: {"D618": [0x4f,0xdc,0x8b,0x13,0xad,0x19,0x21,0x41]}

assistant: ```c
double HO_deriv_41(const double a, const double x) {
  double retval = -0.2e1 / 0.4371023485895996201146875e25 * pow(0.3141592654e1, -0.1e1 / 0.4e1) * pow(a, 0.3e1 / 0.4e1) * exp(-a * x * x / 0.2e1) * (pow(a, 0.21e2) * pow(x, 0.42e2) - 0.451e3 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.183885e6 / 0.2e1 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.11240970e8 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.14753773125e11 / 0.16e2 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.860794139205e12 / 0.16e2 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.18473966526015e14 / 0.8e1 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.297636127363575e15 / 0.4e1 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.233049087725679225e18 / 0.128e3 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.4352928362692284375e19 / 0.128e3 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.124145516903983950375e21 / 0.256e3 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.84098575967214934125e20 / 0.16e2 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.87883011885739606160625e23 / 0.2048e4 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.532829169964589080708125e24 / 0.2048e4 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.2350716926314363591359375e25 / 0.2048e4 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.3667118405050407202520625e25 / 0.1024e4 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.497505730285171910475298125e27 / 0.65536e5 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.676259776460766269406009375e27 / 0.65536e5 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.1079642801016311061683278125e28 / 0.131072e6 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.109275587147399905028671875e27 / 0.32768e5 * a * a * pow(x, 0.4e1) + 0.537635888765207532741065625e27 / 0.1048576e7 * a * x * x - 0.13113070457687988603440625e26 / 0.1048576e7) * sqrt(0.313983760090e12);
  return retval;
}
```