user: Demonstrate the C code that generates the assembly output below:

```asm
<HO_deriv_81>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D236(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D872(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1007(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D962(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D620(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm6
  mulsd  -0x30(%rbp),%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D1214(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D279(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1149(%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  D1072(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D386(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D595(%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  D1207(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1183(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D767(%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  D552(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1162(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D1126(%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  D1017(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D413(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D436(%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  D1080(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D775(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1007(%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  D524(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1249(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D650(%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  D873(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D353(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1081(%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  D1182(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D969(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D64(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  D255(%rip),%xmm1
  movapd %xmm0,%xmm3
  subsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D325(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1240(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D120(%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  D178(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1163(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D468(%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  D206(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1022(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1112(%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  D102(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D679(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D124(%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  D1128(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D138(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D839(%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  D1008(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D802(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D1150(%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  D1057(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D941(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1143(%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  D287(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1006(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D474(%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  D1137(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x38(%rbp)
  movsd  D457(%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  D393(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D937(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D429(%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  D318(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D67(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1151(%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  D74(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1198(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1247(%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  D429(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D548(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D178(%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  D1247(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D346(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D831(%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  D489(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D215(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D999(%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  D999(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D912(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D1048(%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  D1143(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D981(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D287(%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  D47(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1220(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D1017(%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  D402(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D27(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1080(%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  D120(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1187(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D514(%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  D1150(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D300(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D619(%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  D1086(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D277(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D387(%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  D222(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D800(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D318(%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  D387(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D464(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D524(%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  D956(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D372(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D402(%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  D627(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D68(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D393(%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  D181(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D927(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x38(%rbp)
  movsd  D811(%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  -0x18(%rbp),%xmm1
  movsd  D500(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D627(%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
  movapd %xmm3,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D959(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movapd %xmm1,%xmm4
  addsd  %xmm0,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D811(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D918(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1008(%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  D847(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D322(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D750(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x38(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D559(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D905(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D1021(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: unpack_data
arguments: tag: D236
type: byte[8]
name: unpack_data
arguments: tag: D872
type: byte[8]
name: unpack_data
arguments: tag: D1007
type: f64
name: unpack_data
arguments: tag: D962
type: byte[8]
name: unpack_data
arguments: tag: D620
type: f64
name: unpack_data
arguments: tag: D1214
type: f64
name: unpack_data
arguments: tag: D279
type: byte[8]
name: unpack_data
arguments: tag: D1149
type: f64
name: unpack_data
arguments: tag: D1072
type: f64
name: unpack_data
arguments: tag: D386
type: byte[8]
name: unpack_data
arguments: tag: D595
type: f64
name: unpack_data
arguments: tag: D1207
type: f64
name: unpack_data
arguments: tag: D1183
type: byte[8]
name: unpack_data
arguments: tag: D767
type: f64
name: unpack_data
arguments: tag: D552
type: f64
name: unpack_data
arguments: tag: D1162
type: byte[8]
name: unpack_data
arguments: tag: D1126
type: f64
name: unpack_data
arguments: tag: D1017
type: f64
name: unpack_data
arguments: tag: D413
type: byte[8]
name: unpack_data
arguments: tag: D436
type: f64
name: unpack_data
arguments: tag: D1080
type: f64
name: unpack_data
arguments: tag: D775
type: byte[8]
name: unpack_data
arguments: tag: D524
type: f64
name: unpack_data
arguments: tag: D1249
type: byte[8]
name: unpack_data
arguments: tag: D650
type: f64
name: unpack_data
arguments: tag: D873
type: f64
name: unpack_data
arguments: tag: D353
type: byte[8]
name: unpack_data
arguments: tag: D1081
type: f64
name: unpack_data
arguments: tag: D1182
type: f64
name: unpack_data
arguments: tag: D969
type: byte[8]
name: unpack_data
arguments: tag: D64
type: f64
name: unpack_data
arguments: tag: D255
type: byte[8]
name: unpack_data
arguments: tag: D325
type: f64
name: unpack_data
arguments: tag: D1240
type: byte[8]
name: unpack_data
arguments: tag: D120
type: f64
name: unpack_data
arguments: tag: D178
type: f64
name: unpack_data
arguments: tag: D1163
type: byte[8]
name: unpack_data
arguments: tag: D468
type: f64
name: unpack_data
arguments: tag: D206
type: f64
name: unpack_data
arguments: tag: D1022
type: f64
name: unpack_data
arguments: tag: D1112
type: f64
name: unpack_data
arguments: tag: D102
type: f64
name: unpack_data
arguments: tag: D679
type: byte[8]
name: unpack_data
arguments: tag: D124
type: f64
name: unpack_data
arguments: tag: D1128
type: f64
name: unpack_data
arguments: tag: D138
type: byte[8]
name: unpack_data
arguments: tag: D839
type: f64
name: unpack_data
arguments: tag: D1008
type: f64
name: unpack_data
arguments: tag: D802
type: byte[8]
name: unpack_data
arguments: tag: D1150
type: f64
name: unpack_data
arguments: tag: D1057
type: f64
name: unpack_data
arguments: tag: D941
type: byte[8]
name: unpack_data
arguments: tag: D1143
type: f64
name: unpack_data
arguments: tag: D287
type: f64
name: unpack_data
arguments: tag: D1006
type: byte[8]
name: unpack_data
arguments: tag: D474
type: f64
name: unpack_data
arguments: tag: D1137
type: f64
name: unpack_data
arguments: tag: D457
type: f64
name: unpack_data
arguments: tag: D393
type: f64
name: unpack_data
arguments: tag: D937
type: byte[8]
name: unpack_data
arguments: tag: D429
type: f64
name: unpack_data
arguments: tag: D318
type: f64
name: unpack_data
arguments: tag: D67
type: byte[8]
name: unpack_data
arguments: tag: D1151
type: f64
name: unpack_data
arguments: tag: D74
type: f64
name: unpack_data
arguments: tag: D1198
type: byte[8]
name: unpack_data
arguments: tag: D1247
type: f64
name: unpack_data
arguments: tag: D548
type: byte[8]
name: unpack_data
arguments: tag: D346
type: byte[8]
name: unpack_data
arguments: tag: D831
type: f64
name: unpack_data
arguments: tag: D489
type: f64
name: unpack_data
arguments: tag: D215
type: byte[8]
name: unpack_data
arguments: tag: D999
type: f64
name: unpack_data
arguments: tag: D912
type: byte[8]
name: unpack_data
arguments: tag: D1048
type: f64
name: unpack_data
arguments: tag: D981
type: byte[8]
name: unpack_data
arguments: tag: D47
type: f64
name: unpack_data
arguments: tag: D1220
type: byte[8]
name: unpack_data
arguments: tag: D402
type: f64
name: unpack_data
arguments: tag: D27
type: byte[8]
name: unpack_data
arguments: tag: D1187
type: f64
name: unpack_data
arguments: tag: D514
type: f64
name: unpack_data
arguments: tag: D300
type: byte[8]
name: unpack_data
arguments: tag: D619
type: f64
name: unpack_data
arguments: tag: D1086
type: f64
name: unpack_data
arguments: tag: D277
type: byte[8]
name: unpack_data
arguments: tag: D387
type: f64
name: unpack_data
arguments: tag: D222
type: f64
name: unpack_data
arguments: tag: D800
type: byte[8]
name: unpack_data
arguments: tag: D464
type: byte[8]
name: unpack_data
arguments: tag: D956
type: f64
name: unpack_data
arguments: tag: D372
type: byte[8]
name: unpack_data
arguments: tag: D627
type: f64
name: unpack_data
arguments: tag: D68
type: byte[8]
name: unpack_data
arguments: tag: D181
type: f64
name: unpack_data
arguments: tag: D927
type: byte[8]
name: unpack_data
arguments: tag: D811
type: f64
name: unpack_data
arguments: tag: D500
type: byte[8]
name: unpack_data
arguments: tag: D959
type: byte[8]
name: unpack_data
arguments: tag: D918
type: byte[8]
name: unpack_data
arguments: tag: D847
type: f64
name: unpack_data
arguments: tag: D322
type: byte[8]
name: unpack_data
arguments: tag: D750
type: f64
name: unpack_data
arguments: tag: D559
type: byte[8]
name: unpack_data
arguments: tag: D905
type: byte[8]
name: unpack_data
arguments: tag: D1021
type: f64

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

tool: {"D872": [0x6e,0x35,0x69,0x54,0xf6,0x88,0xb7,0xb3]}

tool: D1007: 40

tool: {"D962": [0x00,0x00,0x00,0x00,0x00,0x94,0x9a,0xc0]}

tool: D620: 80

tool: D1214: 31

tool: {"D279": [0xa8,0x42,0x70,0x3f,0xac,0x56,0x10,0x45]}

tool: D1149: 62

tool: D1072: 21

tool: {"D386": [0x1d,0x4b,0xfd,0xea,0x0d,0x48,0x81,0x48]}

tool: D595: 42

tool: D1207: 33

tool: {"D1183": [0xe0,0x1f,0xe3,0x86,0x4f,0x69,0x35,0x44]}

tool: D767: 66

tool: D552: 25

tool: {"D1162": [0x76,0x71,0x61,0x05,0xed,0x48,0x47,0x47]}

tool: D1126: 50

tool: D1017: 30

tool: {"D413": [0x51,0xe5,0x52,0x99,0xa4,0x5f,0x76,0x45]}

tool: D436: 60

tool: D1080: 20

tool: {"D775": [0x1d,0x58,0xb4,0x30,0x3e,0x81,0xc6,0x48]}

tool: D524: 28

tool: {"D1249": [0xaa,0x87,0x6d,0x33,0xc2,0x98,0x3a,0x46]}

tool: D650: 56

tool: D873: 35

tool: {"D353": [0xd1,0x07,0x0a,0x87,0xc4,0x66,0x4b,0x43]}

tool: D1081: 70

tool: D1182: 37

tool: {"D969": [0x00,0x70,0x32,0x8f,0xbe,0xe2,0x4d,0x42]}

tool: D64: 74

tool: {"D255": [0xde,0x1b,0xb6,0x1a,0xd5,0x15,0x10,0x4a]}

tool: D325: 19

tool: {"D1240": [0xf0,0xf7,0x05,0x6a,0x26,0x56,0x09,0x49]}

tool: D120: 38

tool: D178: 32

tool: {"D1163": [0x98,0x8a,0xde,0xd5,0x2f,0x57,0xa4,0x44]}

tool: D468: 64

tool: D206: 39

tool: D1022: 1375785

tool: D1112: 78

tool: D102: 23

tool: {"D679": [0xae,0x9d,0xad,0x6c,0x48,0x92,0xea,0x47]}

tool: D124: 46

tool: D1128: 27

tool: {"D138": [0x7c,0x89,0x3c,0x47,0xa2,0x47,0x97,0x46]}

tool: D839: 54

tool: D1008: 12

tool: {"D802": [0x47,0xd8,0x9e,0x39,0x3c,0xf3,0x75,0x4a]}

tool: D1150: 24

tool: D1057: 9

tool: {"D941": [0xb8,0xd5,0x18,0x18,0xcc,0x32,0xd2,0x4a]}

tool: D1143: 18

tool: D287: 36

tool: {"D1006": [0x68,0x8d,0xee,0xc2,0xc1,0x1d,0xd0,0x42]}

tool: D474: 72

tool: D1137: 41

tool: D457: 82

tool: D393: 8

tool: {"D937": [0x17,0xd7,0x57,0x14,0xf1,0x61,0xe5,0x4a]}

tool: D429: 16

tool: D318: 22

tool: {"D67": [0x69,0x89,0xf4,0x5d,0xe7,0xff,0x36,0x48]}

tool: D1151: 44

tool: D74: 13

tool: {"D1198": [0x71,0x0f,0x4a,0x66,0xee,0xe3,0x4e,0x4a]}

tool: D1247: 26

tool: {"D548": [0x30,0x0f,0xa6,0x53,0x11,0x2b,0xbd,0x49]}

tool: {"D346": [0xa7,0xe0,0xe8,0xa8,0x8c,0xaa,0xf1,0x46]}

tool: D831: 52

tool: D489: 17

tool: {"D215": [0xc3,0xb8,0xe2,0xad,0x71,0x7b,0x84,0x49]}

tool: D999: 34

tool: {"D912": [0xe4,0x2d,0x9c,0x1d,0x51,0xdb,0xc2,0x43]}

tool: D1048: 68

tool: {"D981": [0xe3,0xc6,0x92,0x5e,0xab,0x95,0x48,0x49]}

tool: D47: 15

tool: {"D1220": [0x62,0xef,0x98,0xe9,0xf7,0xa6,0xf1,0x49]}

tool: D402: 10

tool: {"D27": [0x90,0x6b,0x34,0xde,0x20,0x2f,0xb8,0x4a]}

tool: D1187: 704593890

tool: D514: 76

tool: {"D300": [0x00,0xcc,0x2d,0x30,0x44,0xad,0x9a,0x47]}

tool: D619: 48

tool: D1086: 7

tool: {"D277": [0x2a,0x41,0x9a,0xd8,0x37,0x1f,0xf3,0x4a]}

tool: D387: 14

tool: D222: 11

tool: {"D800": [0xc1,0x50,0xbf,0xc1,0x6f,0x9a,0x99,0x4a]}

tool: {"D464": [0x3f,0xf1,0xea,0x0b,0x44,0x0a,0x22,0x4a]}

tool: D956: 5

tool: {"D372": [0x2b,0x2c,0xde,0x06,0x07,0x65,0xf7,0x4a]}

tool: D627: 4

tool: {"D68": [0x38,0xe2,0xdc,0x90,0x8c,0xd2,0xec,0x4a]}

tool: D181: 3

tool: {"D927": [0xef,0x85,0x0d,0x4e,0x87,0x82,0xd5,0x4a]}

tool: D811: 6

tool: {"D500": [0x5d,0xb2,0x7d,0xa6,0x68,0xc1,0xb0,0x4a]}

tool: {"D959": [0x45,0x7b,0xce,0xb5,0xa1,0x5b,0x74,0x4a]}

tool: {"D918": [0x2d,0xab,0x89,0x50,0xa2,0x30,0xf9,0x4a]}

tool: D847: 29

tool: {"D322": [0x37,0x30,0x9e,0x08,0x24,0x47,0xda,0x45]}

tool: D750: 58

tool: {"D559": [0x26,0xa8,0x1c,0x2f,0xb4,0xd8,0x1e,0x42]}

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

tool: D1021: 2

assistant: ```c
double HO_deriv_81(const double a, const double x) {
  double retval = -0.2e1 / 0.102571639475517864516238575717221752912613884791019599609375e60 * pow(0.3141592654e1, -0.1e1 / 0.4e1) * pow(a, 0.3e1 / 0.4e1) * (-0.1701e4 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.316033824681095102639182125e27 / 0.64e2 * pow(a, 0.31e2) * pow(x, 0.62e2) + 0.49329854590387573349926459523081290864640953125e47 / 0.262144e6 * pow(a, 0.21e2) * pow(x, 0.42e2) + 0.101112334785303977260125e24 / 0.256e3 * pow(a, 0.33e2) * pow(x, 0.66e2) + 0.7923429538365865022602115595582850475625e40 / 0.32768e5 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.13848590930722568463777208875e29 / 0.32e2 * pow(a, 0.30e2) * pow(x, 0.60e2) - 0.1027840084989878782422238197603874109655059859375e49 / 0.262144e6 * pow(a, 0.20e2) * pow(x, 0.40e2) - 0.1078890865322948468440934791381875e34 / 0.512e3 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.246810196364556825e18 / 0.16e2 * pow(a, 0.35e2) * pow(x, 0.70e2) + 0.2053731054375e13 / 0.8e1 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.6462013286957625464523030270184970433494674741834234775390625e61 / 0.1099511627776e13 + 0.37029370803814254668789431840362444097103842734375e50 / 0.524288e6 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.12295122342090534649828125e26 / 0.256e3 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.1375785e7 * pow(a, 0.39e2) * pow(x, 0.78e2) + 0.9258787714005320275852319064164181063609375e43 / 0.32768e5 * pow(a, 0.23e2) * pow(x, 0.46e2) + 0.120875735837108115445697323849265625e36 / 0.1024e4 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.17222905940333624740173568488896698959269232302049404296875e59 / 0.33554432e8 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.116974977027646695313529943716268958616054043413118551830078125e63 / 0.4294967296e10 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.567039707959725e15 / 0.8e1 * pow(a, 0.36e2) * pow(x, 0.72e2) + pow(a, 0.41e2) * pow(x, 0.82e2) - 0.274883912392489805799042345943461425788909065903555052681640625e63 / 0.4294967296e10 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.128227189348735590796259815763736762723046875e45 / 0.16384e5 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.3029717343877589723524159168903937988351449128474800703125e58 / 0.33554432e8 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.1396880850460238688603939195412819823424601329567140625e55 / 0.8388608e7 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.1467651207127650899902484961209810625e37 / 0.256e3 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.122612833252195099064516890430823324856315948822265625e54 / 0.8388608e7 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.5435075600793964125e19 / 0.2e1 * pow(a, 0.34e2) * pow(x, 0.68e2) - 0.17965250293361919276852291638215871773819186640625e50 / 0.16384e5 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.6762987241039430667203686967068593877046379863661890625e55 / 0.4194304e7 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.151806026423766439484033092061488194310668549490709007421875e60 / 0.16777216e8 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.704593890e9 * pow(a, 0.38e2) * pow(x, 0.76e2) - 0.290484865170740304363199335947451767953125e42 / 0.32768e5 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.491644517395152673328970809517319720210687915964228035400390625e63 / 0.4294967296e10 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.160714316574656052575448213384961768002780893424266726953125e60 / 0.67108864e8 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.27646374045045102147026680553605445948456594301702421875e56 / 0.2097152e7 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.4811998027589356520911375629862406612657675237939657686927734375e64 / 0.34359738368e11 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.2964217809202990766654778599651991437421628656575675409111328125e64 / 0.34359738368e11 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.2212162548568493784021717362493321545066343653287919704775390625e64 / 0.68719476736e11 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.53850110724646878871025252251541420279122289515285289794921875e62 / 0.8589934592e10 * a * a * pow(x, 0.4e1) + 0.523423076243567662626365451884982605113068654088573016806640625e63 / 0.1099511627776e13 * a * x * x - 0.323829855457607227499348773202074589045439773981771532650390625e63 / 0.2147483648e10 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.16655593784757489071627435443125e32 / 0.512e3 * pow(a, 0.29e2) * pow(x, 0.58e2)) * sqrt(0.1097012334013634453690e22) * exp(-a * x * x / 0.2e1);
  return retval;
}
```