user: What is the c source code of the assembly code below:

```asm
<HO_51>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D711(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D740(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D227(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D782(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D156(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D195(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D183(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D121(%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  D708(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D506(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D27(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D505(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D73(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D660(%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  D44(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D488(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D260(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D437(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D706(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D770(%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  D11(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D337(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D346(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D247(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D362(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D714(%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  D142(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D397(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D621(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D424(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D654(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D647(%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  D234(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D787(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D327(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D560(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D567(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D326(%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  D445(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D101(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D608(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D456(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D746(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D195(%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  D344(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D94(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D505(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D205(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D766(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D437(%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  D732(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D502(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D247(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D213(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D413(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D424(%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  D692(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D477(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D560(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D659(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D347(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D456(%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  D370(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D98(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D205(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D345(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D776(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D213(%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  D571(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D585(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D659(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D119(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm6
  mulsd  -0x18(%rbp),%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D345(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D106(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  D42(%rip),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D600(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D528(%rip),%xmm1
  movapd %xmm0,%xmm2
  divsd  %xmm1,%xmm2
  movq   %xmm2,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D765(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D491(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: read_data
arguments: data_tag: D711
datatype: byte[8]
name: read_data
arguments: data_tag: D740
datatype: byte[8]
name: read_data
arguments: data_tag: D227
datatype: f64
name: read_data
arguments: data_tag: D782
datatype: f64
name: read_data
arguments: data_tag: D156
datatype: f64
name: read_data
arguments: data_tag: D195
datatype: f64
name: read_data
arguments: data_tag: D183
datatype: f64
name: read_data
arguments: data_tag: D121
datatype: f64
name: read_data
arguments: data_tag: D708
datatype: f64
name: read_data
arguments: data_tag: D506
datatype: f64
name: read_data
arguments: data_tag: D27
datatype: f64
name: read_data
arguments: data_tag: D505
datatype: f64
name: read_data
arguments: data_tag: D73
datatype: f64
name: read_data
arguments: data_tag: D660
datatype: f64
name: read_data
arguments: data_tag: D44
datatype: f64
name: read_data
arguments: data_tag: D488
datatype: f64
name: read_data
arguments: data_tag: D260
datatype: f64
name: read_data
arguments: data_tag: D437
datatype: f64
name: read_data
arguments: data_tag: D706
datatype: f64
name: read_data
arguments: data_tag: D770
datatype: f64
name: read_data
arguments: data_tag: D11
datatype: f64
name: read_data
arguments: data_tag: D337
datatype: f64
name: read_data
arguments: data_tag: D346
datatype: f64
name: read_data
arguments: data_tag: D247
datatype: f64
name: read_data
arguments: data_tag: D362
datatype: f64
name: read_data
arguments: data_tag: D714
datatype: f64
name: read_data
arguments: data_tag: D142
datatype: f64
name: read_data
arguments: data_tag: D397
datatype: f64
name: read_data
arguments: data_tag: D621
datatype: f64
name: read_data
arguments: data_tag: D424
datatype: f64
name: read_data
arguments: data_tag: D654
datatype: f64
name: read_data
arguments: data_tag: D647
datatype: f64
name: read_data
arguments: data_tag: D234
datatype: f64
name: read_data
arguments: data_tag: D787
datatype: f64
name: read_data
arguments: data_tag: D327
datatype: f64
name: read_data
arguments: data_tag: D560
datatype: f64
name: read_data
arguments: data_tag: D567
datatype: f64
name: read_data
arguments: data_tag: D326
datatype: f64
name: read_data
arguments: data_tag: D445
datatype: f64
name: read_data
arguments: data_tag: D101
datatype: f64
name: read_data
arguments: data_tag: D608
datatype: f64
name: read_data
arguments: data_tag: D456
datatype: f64
name: read_data
arguments: data_tag: D746
datatype: f64
name: read_data
arguments: data_tag: D344
datatype: f64
name: read_data
arguments: data_tag: D94
datatype: f64
name: read_data
arguments: data_tag: D205
datatype: f64
name: read_data
arguments: data_tag: D766
datatype: f64
name: read_data
arguments: data_tag: D732
datatype: f64
name: read_data
arguments: data_tag: D502
datatype: f64
name: read_data
arguments: data_tag: D213
datatype: f64
name: read_data
arguments: data_tag: D413
datatype: f64
name: read_data
arguments: data_tag: D692
datatype: f64
name: read_data
arguments: data_tag: D477
datatype: f64
name: read_data
arguments: data_tag: D659
datatype: f64
name: read_data
arguments: data_tag: D347
datatype: f64
name: read_data
arguments: data_tag: D370
datatype: f64
name: read_data
arguments: data_tag: D98
datatype: f64
name: read_data
arguments: data_tag: D345
datatype: f64
name: read_data
arguments: data_tag: D776
datatype: f64
name: read_data
arguments: data_tag: D571
datatype: f64
name: read_data
arguments: data_tag: D585
datatype: f64
name: read_data
arguments: data_tag: D119
datatype: f64
name: read_data
arguments: data_tag: D106
datatype: f64
name: read_data
arguments: data_tag: D42
datatype: f64
name: read_data
arguments: data_tag: D600
datatype: byte[8]
name: read_data
arguments: data_tag: D528
datatype: f64
name: read_data
arguments: data_tag: D765
datatype: byte[8]
name: read_data
arguments: data_tag: D491
datatype: f64

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

tool: {"D740": [0x4a,0xc4,0xb9,0x5b,0x78,0xa0,0x34,0x41]}

tool: D227: 25

tool: D782: 33554432

tool: D156: 50

tool: D195: 24

tool: D183: 21390950400

tool: D121: 48

tool: D708: 23

tool: D506: 6288939417600

tool: D27: 46

tool: D505: 22

tool: D73: 1133057251737600.0

tool: D660: 44

tool: D44: 21

tool: D488: 1.40215834902528e+17

tool: D260: 42

tool: D437: 20

tool: D706: 1.2661489891698278e+19

tool: D770: 40

tool: D11: 19

tool: D337: 8.65201809266049e+20

tool: D346: 38

tool: D247: 18

tool: D362: 4.579389576186731e+22

tool: D714: 36

tool: D142: 17

tool: D397: 1.9061709110877267e+24

tool: D621: 34

tool: D424: 16

tool: D654: 6.30095384498443e+25

tool: D647: 32

tool: D234: 15

tool: D787: 1.6634518150758895e+27

tool: D327: 30

tool: D560: 14

tool: D567: 3.515932245501312e+28

tool: D326: 28

tool: D445: 13

tool: D101: 5.947785381973053e+29

tool: D608: 26

tool: D456: 12

tool: D746: 8.029510265663621e+30

tool: D344: 11

tool: D94: 8.603046713211023e+31

tool: D205: 10

tool: D766: 7.255236061474629e+32

tool: D732: 9

tool: D502: 4.7612486653427253e+33

tool: D213: 8

tool: D413: 2.3946280052164883e+34

tool: D692: 7

tool: D477: 9.046372464151179e+34

tool: D659: 6

tool: D347: 2.4996555493049307e+35

tool: D370: 5

tool: D98: 4.8743283211446154e+35

tool: D345: 4

tool: D776: 6.383048991975091e+35

tool: D571: 3

tool: D585: 5.222494629797802e+35

tool: D119: 2.3841823309946486e+35

tool: D106: 4.9670465229055185e+34

tool: D42: 2.980227913743311e+33

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

tool: D528: 2

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

tool: D491: 1.1904744628119261e+39

assistant: ```c
double HO_51(const double a, const double x) {
  double retval = sqrt(0.1827364208709e13) * pow(a, 0.3e1 / 0.4e1) * x * (0.33554432e8 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.21390950400e11 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.6288939417600e13 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.1133057251737600e16 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.140215834902528000e18 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.12661489891698278400e20 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.865201809266049024000e21 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.45793895761867309056000e23 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.1906170911087726739456000e25 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.63009538449844300554240000e26 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.1663451815075889534631936000e28 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.35159322455013119709265920000e29 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.594778538197305275081748480000e30 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.8029510265663621213603604480000e31 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.86030467132110227288610048000000e32 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.725523606147462916800611404800000e33 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.4761248665342725391504012344000000e34 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.23946280052164883586681944436000000e35 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.90463724641511782438576234536000000e35 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.249965554930493083053960648060000000e36 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.487432832114461511955223263717000000e36 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.638304899197509122798506654867500000e36 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.522249462979780191380596353982500000e36 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.238418233099464869978098335513750000e36 * a * a * pow(x, 0.4e1) + 0.49670465229055181245437153232031250e35 * a * x * x - 0.2980227913743310874726229193921875e34) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.1190474462811926073819783048855552000000e40;
  return retval;
}
```