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

```asm
<HO_deriv_75>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D738(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D992(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D403(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1103(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1036(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D1129(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x28(%rbp)
  movsd  D360(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D296(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1117(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x28(%rbp)
  movsd  D839(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D8(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D370(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x28(%rbp)
  movsd  D505(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D0(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D659(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D947(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D974(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D958(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0x28(%rbp),%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D1081(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D510(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D935(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D1099(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D198(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D342(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D442(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1001(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D757(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D541(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D188(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D644(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  D735(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D986(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D23(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D855(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D171(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D858(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D101(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x28(%rbp)
  movsd  D433(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1034(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1029(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x28(%rbp)
  movsd  D975(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D963(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D851(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D201(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D912(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D9(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x28(%rbp)
  movsd  D211(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1056(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1030(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D385(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1135(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D118(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x28(%rbp),%xmm6
  movsd  %xmm6,-0x28(%rbp)
  movsd  D1015(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D255(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D794(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D216(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1157(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D462(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x28(%rbp)
  movsd  D118(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D521(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D986(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D462(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D475(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x30(%rbp)
  movsd  D972(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D626(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D486(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D484(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x28(%rbp)
  movsd  D484(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D743(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1016(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D9(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D41(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D211(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D337(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D617(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D505(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x28(%rbp)
  movsd  D418(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1134(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D947(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D644(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x30(%rbp)
  movsd  D162(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm7
  addsd  -0x28(%rbp),%xmm7
  movsd  %xmm7,-0x28(%rbp)
  movsd  D851(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D897(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1035(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D51(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D167(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x30(%rbp)
  movsd  D1120(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x28(%rbp)
  movsd  D373(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D909(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1015(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x28(%rbp)
  movsd  D1120(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D728(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1081(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D215(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1010(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x30(%rbp)
  movsd  D418(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x28(%rbp)
  movsd  D412(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D474(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D385(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D448(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D984(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D514(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D715(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D412(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D108(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mulsd  -0x20(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D514(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1079(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x30(%rbp)
  movsd  D975(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D995(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1070(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x30(%rbp)
  movsd  D785(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  D39(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  D75(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D754(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D718(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D1093(%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: extract_symbolic_data
arguments: tag: D738
type: f64
name: extract_symbolic_data
arguments: tag: D992
type: byte[8]
name: extract_symbolic_data
arguments: tag: D403
type: f64
name: extract_symbolic_data
arguments: tag: D1103
type: f64
name: extract_symbolic_data
arguments: tag: D1036
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1129
type: f64
name: extract_symbolic_data
arguments: tag: D360
type: f64
name: extract_symbolic_data
arguments: tag: D296
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1117
type: f64
name: extract_symbolic_data
arguments: tag: D839
type: f64
name: extract_symbolic_data
arguments: tag: D8
type: byte[8]
name: extract_symbolic_data
arguments: tag: D370
type: f64
name: extract_symbolic_data
arguments: tag: D505
type: f64
name: extract_symbolic_data
arguments: tag: D0
type: byte[8]
name: extract_symbolic_data
arguments: tag: D659
type: f64
name: extract_symbolic_data
arguments: tag: D947
type: f64
name: extract_symbolic_data
arguments: tag: D974
type: byte[8]
name: extract_symbolic_data
arguments: tag: D958
type: f64
name: extract_symbolic_data
arguments: tag: D1081
type: f64
name: extract_symbolic_data
arguments: tag: D510
type: byte[8]
name: extract_symbolic_data
arguments: tag: D935
type: f64
name: extract_symbolic_data
arguments: tag: D1099
type: f64
name: extract_symbolic_data
arguments: tag: D198
type: byte[8]
name: extract_symbolic_data
arguments: tag: D342
type: f64
name: extract_symbolic_data
arguments: tag: D442
type: f64
name: extract_symbolic_data
arguments: tag: D1001
type: byte[8]
name: extract_symbolic_data
arguments: tag: D757
type: f64
name: extract_symbolic_data
arguments: tag: D541
type: f64
name: extract_symbolic_data
arguments: tag: D188
type: byte[8]
name: extract_symbolic_data
arguments: tag: D644
type: f64
name: extract_symbolic_data
arguments: tag: D735
type: byte[8]
name: extract_symbolic_data
arguments: tag: D986
type: f64
name: extract_symbolic_data
arguments: tag: D23
type: byte[8]
name: extract_symbolic_data
arguments: tag: D855
type: f64
name: extract_symbolic_data
arguments: tag: D171
type: f64
name: extract_symbolic_data
arguments: tag: D858
type: byte[8]
name: extract_symbolic_data
arguments: tag: D101
type: f64
name: extract_symbolic_data
arguments: tag: D433
type: f64
name: extract_symbolic_data
arguments: tag: D1034
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1029
type: f64
name: extract_symbolic_data
arguments: tag: D975
type: f64
name: extract_symbolic_data
arguments: tag: D963
type: byte[8]
name: extract_symbolic_data
arguments: tag: D851
type: f64
name: extract_symbolic_data
arguments: tag: D201
type: f64
name: extract_symbolic_data
arguments: tag: D912
type: byte[8]
name: extract_symbolic_data
arguments: tag: D9
type: f64
name: extract_symbolic_data
arguments: tag: D211
type: f64
name: extract_symbolic_data
arguments: tag: D1056
type: f64
name: extract_symbolic_data
arguments: tag: D1030
type: f64
name: extract_symbolic_data
arguments: tag: D385
type: f64
name: extract_symbolic_data
arguments: tag: D1135
type: byte[8]
name: extract_symbolic_data
arguments: tag: D118
type: f64
name: extract_symbolic_data
arguments: tag: D1015
type: f64
name: extract_symbolic_data
arguments: tag: D255
type: byte[8]
name: extract_symbolic_data
arguments: tag: D794
type: f64
name: extract_symbolic_data
arguments: tag: D216
type: f64
name: extract_symbolic_data
arguments: tag: D1157
type: byte[8]
name: extract_symbolic_data
arguments: tag: D462
type: f64
name: extract_symbolic_data
arguments: tag: D521
type: byte[8]
name: extract_symbolic_data
arguments: tag: D475
type: byte[8]
name: extract_symbolic_data
arguments: tag: D972
type: f64
name: extract_symbolic_data
arguments: tag: D626
type: f64
name: extract_symbolic_data
arguments: tag: D486
type: byte[8]
name: extract_symbolic_data
arguments: tag: D484
type: f64
name: extract_symbolic_data
arguments: tag: D743
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1016
type: f64
name: extract_symbolic_data
arguments: tag: D41
type: byte[8]
name: extract_symbolic_data
arguments: tag: D337
type: f64
name: extract_symbolic_data
arguments: tag: D617
type: byte[8]
name: extract_symbolic_data
arguments: tag: D418
type: f64
name: extract_symbolic_data
arguments: tag: D1134
type: byte[8]
name: extract_symbolic_data
arguments: tag: D162
type: f64
name: extract_symbolic_data
arguments: tag: D897
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1035
type: f64
name: extract_symbolic_data
arguments: tag: D51
type: f64
name: extract_symbolic_data
arguments: tag: D167
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1120
type: f64
name: extract_symbolic_data
arguments: tag: D373
type: f64
name: extract_symbolic_data
arguments: tag: D909
type: byte[8]
name: extract_symbolic_data
arguments: tag: D728
type: byte[8]
name: extract_symbolic_data
arguments: tag: D215
type: f64
name: extract_symbolic_data
arguments: tag: D1010
type: byte[8]
name: extract_symbolic_data
arguments: tag: D412
type: f64
name: extract_symbolic_data
arguments: tag: D474
type: byte[8]
name: extract_symbolic_data
arguments: tag: D448
type: f64
name: extract_symbolic_data
arguments: tag: D984
type: byte[8]
name: extract_symbolic_data
arguments: tag: D514
type: f64
name: extract_symbolic_data
arguments: tag: D715
type: byte[8]
name: extract_symbolic_data
arguments: tag: D108
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1079
type: byte[8]
name: extract_symbolic_data
arguments: tag: D995
type: f64
name: extract_symbolic_data
arguments: tag: D1070
type: byte[8]
name: extract_symbolic_data
arguments: tag: D785
type: f64
name: extract_symbolic_data
arguments: tag: D39
type: byte[8]
name: extract_symbolic_data
arguments: tag: D75
type: byte[8]
name: extract_symbolic_data
arguments: tag: D754
type: byte[8]
name: extract_symbolic_data
arguments: tag: D718
type: byte[8]
name: extract_symbolic_data
arguments: tag: D1093
type: f64

tool: D738: 31

tool: {"D992": [0x72,0xad,0xfa,0xe4,0x2a,0xd9,0xa7,0xc3]}

tool: D403: 62

tool: D1103: 21

tool: {"D1036": [0x50,0x74,0xcf,0x9c,0xe3,0x9b,0x4e,0x47]}

tool: D1129: 42

tool: D360: 33

tool: {"D296": [0x08,0xe9,0x3f,0x00,0xaf,0x02,0xbd,0x42]}

tool: D1117: 66

tool: D839: 25

tool: {"D8": [0x5a,0xb6,0x78,0x25,0xae,0x1a,0x04,0x46]}

tool: D370: 50

tool: D505: 30

tool: {"D0": [0xfc,0xef,0xd2,0x11,0x6a,0x82,0x16,0x44]}

tool: D659: 60

tool: D947: 20

tool: {"D974": [0xe8,0x9b,0xec,0x2d,0xfe,0x4a,0x97,0x47]}

tool: D958: 40

tool: D1081: 28

tool: {"D510": [0xa7,0x2b,0xe7,0x68,0x6d,0x4d,0xe7,0x44]}

tool: D935: 56

tool: D1099: 35

tool: {"D198": [0x00,0x00,0xc0,0x7c,0x88,0x5c,0xba,0x41]}

tool: D342: 70

tool: D442: 37

tool: {"D1001": [0x00,0x00,0x00,0x00,0x00,0xda,0x96,0x40]}

tool: D757: 74

tool: D541: 19

tool: {"D188": [0x02,0xf7,0x40,0x56,0x7f,0x6a,0xde,0x47]}

tool: D644: 38

tool: {"D735": [0x6a,0xab,0x9f,0x69,0xa1,0x1d,0x11,0x49]}

tool: D986: 32

tool: {"D23": [0xd8,0x0e,0x7b,0x3e,0x38,0xba,0x34,0x43]}

tool: D855: 64

tool: D171: 23

tool: {"D858": [0x7d,0x43,0x8c,0x8b,0x0b,0xc8,0xb0,0x46]}

tool: D101: 46

tool: D433: 27

tool: {"D1034": [0x92,0x71,0x4b,0xfe,0x9d,0x04,0x4a,0x45]}

tool: D1029: 54

tool: D975: 12

tool: {"D963": [0x17,0xc1,0x46,0x78,0x31,0x97,0x5f,0x49]}

tool: D851: 24

tool: D201: 9

tool: {"D912": [0xe1,0x2a,0xfd,0xcd,0x39,0xd8,0xc1,0x49]}

tool: D9: 18

tool: D211: 36

tool: D1056: 1012875

tool: D1030: 72

tool: D385: 8

tool: {"D1135": [0xa5,0x7c,0x1f,0xa9,0x6b,0x17,0xd7,0x49]}

tool: D118: 16

tool: D1015: 22

tool: {"D255": [0x98,0x52,0x18,0x49,0x1f,0x48,0x01,0x47]}

tool: D794: 44

tool: D216: 13

tool: {"D1157": [0x87,0x74,0xa7,0x86,0xee,0xe6,0x33,0x49]}

tool: D462: 26

tool: {"D521": [0xde,0x89,0x5f,0x12,0xfa,0x45,0x9a,0x48]}

tool: {"D475": [0x9f,0xa3,0x41,0xba,0xf0,0xbb,0xa8,0x45]}

tool: D972: 52

tool: D626: 17

tool: {"D486": [0xa5,0x3f,0x88,0x3d,0xe2,0x35,0x60,0x48]}

tool: D484: 34

tool: {"D743": [0x00,0x90,0x1b,0x94,0xf5,0xd7,0x3f,0x42]}

tool: D1016: 68

tool: {"D41": [0x93,0x92,0xbc,0x3a,0x84,0xff,0x20,0x48]}

tool: D337: 15

tool: {"D617": [0x33,0xff,0xb7,0xd7,0x44,0x00,0xd2,0x48]}

tool: D418: 10

tool: {"D1134": [0xd1,0x92,0xa8,0x2c,0xca,0x76,0xa5,0x49]}

tool: D162: 76

tool: {"D897": [0x74,0xff,0x09,0x72,0x72,0x06,0x5c,0x46]}

tool: D1035: 48

tool: D51: 7

tool: {"D167": [0x58,0xfc,0xf1,0xa1,0xdb,0xac,0xe6,0x49]}

tool: D1120: 14

tool: D373: 11

tool: {"D909": [0x11,0xe9,0xb5,0xa7,0x8c,0x7f,0x84,0x49]}

tool: {"D728": [0x3e,0xcd,0x46,0x26,0xe2,0xb9,0x04,0x49]}

tool: D215: 5

tool: {"D1010": [0xd9,0x6d,0xb7,0xdf,0x82,0x96,0xf0,0x49]}

tool: D412: 4

tool: {"D474": [0xf9,0xb1,0x64,0xf6,0x8a,0x43,0xe6,0x49]}

tool: D448: 3

tool: {"D984": [0xf5,0x29,0x24,0x67,0xf6,0x0e,0xd2,0x49]}

tool: D514: 6

tool: {"D715": [0x8f,0x9e,0x47,0x0f,0x7c,0x82,0xae,0x49]}

tool: {"D108": [0xe1,0x1c,0xc7,0x27,0xb9,0x0e,0x74,0x49]}

tool: {"D1079": [0x9f,0xbb,0x6c,0x82,0xb3,0x5a,0xf0,0x49]}

tool: D995: 29

tool: {"D1070": [0xd2,0xe3,0x6c,0x3a,0x17,0xab,0x81,0x44]}

tool: D785: 58

tool: {"D39": [0x16,0x36,0xa8,0x07,0x21,0x16,0xbc,0xb4]}

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

tool: {"D754": [0x8e,0x4d,0x04,0x0c,0xe7,0xd4,0x17,0x42]}

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

tool: D1093: 2

assistant: ```c
double HO_deriv_75(const double a, const double x) {
  double retval = -0.4e1 / 0.2622980168150309794559227099276863646915071852474609375e55 * pow(0.3141592654e1, -0.1e1 / 0.4e1) * (-0.6873807583060543125e19 / 0.8e1 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.20831366357707655023924031006303350546875e41 / 0.65536e5 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.1020715621416225e16 / 0.32e2 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.407762019990416307427389103550625e33 / 0.2048e4 * pow(a, 0.25e2) * pow(x, 0.50e2) + 0.6643611404667826714125e22 / 0.64e2 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.253637666743240478442808353282808674234375e42 / 0.32768e5 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.28170934324479962432542125e26 / 0.32e2 * pow(a, 0.28e2) * pow(x, 0.56e2) - 0.1769087475e10 / 0.4e1 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.2925e4 / 0.2e1 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.21196862149256525698434698095777582061015625e44 / 0.131072e6 * pow(a, 0.19e2) * pow(x, 0.38e2) + 0.13114900840751548972796135496384318234575359262373046875e56 / 0.137438953472e12 + 0.186696008428804875e18 / 0.32e2 * pow(a, 0.32e2) * pow(x, 0.64e2) - 0.697073170840479328687390568491396875e36 / 0.2048e4 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.16104384122161045190603248125e29 / 0.256e3 * pow(a, 0.27e2) * pow(x, 0.54e2) + 0.1477430770486971367414237952965693777149810694921875e52 / 0.524288e6 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.27346819012641860996076793291592415466256458661080078125e56 / 0.134217728e9 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.1012875e7 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.70775200250628338757010685921822758833565222863153515625e56 / 0.134217728e9 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.367541693568626317739040178047020484375e39 / 0.32768e5 * pow(a, 0.22e2) * pow(x, 0.44e2) - 0.3723125541627167845883879641473548318417522951203125e52 / 0.8388608e7 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.599977183134705959894194129600984460237047265625e48 / 0.1048576e7 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.3919281237893274773427423140625e31 / 0.1024e4 * pow(a, 0.26e2) * pow(x, 0.52e2) - 0.46272750071826995599682945943082461639197109375e47 / 0.1048576e7 * pow(a, 0.17e2) * pow(x, 0.34e2) + 0.2188274909625e13 / 0.16e2 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.1516282205743483471628028737117956370097984375e46 / 0.524288e6 * pow(a, 0.18e2) * pow(x, 0.36e2) - 0.3288570589297765130898322026305685838574656171875e49 / 0.524288e6 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.4111689834265241315513824223103525781807923163967578125e55 / 0.67108864e8 * pow(a, 0.10e2) * pow(x, 0.20e2) + pow(a, 0.38e2) * pow(x, 0.76e2) + 0.18189384225062688223476670795640625e35 / 0.2048e4 * pow(a, 0.24e2) * pow(x, 0.48e2) - 0.138998732940038578014242997967906177215825437691392578125e57 / 0.134217728e9 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.245417666875335799364920637742634688537662998767578125e54 / 0.16777216e8 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.242329914735958266612917336200722259744148844140625e51 / 0.4194304e7 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.13015519036602742790580058114067272623064465984407064453125e59 / 0.8589934592e10 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.4367261979970265807941113120295977972113594634370224609375e58 / 0.4294967296e10 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.7084669434173986755104472395146808710317609073533919921875e58 / 0.17179869184e11 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.5984766416996290181252636498183377221044555610062900390625e58 / 0.68719476736e11 * a * a * pow(x, 0.4e1) - 0.983617563056366172959710162228823867593151944677978515625e57 / 0.137438953472e12 * a * x * x + 0.6416100933536563347469042732286683687426145203580947265625e58 / 0.4294967296e10 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.1334980755445208947700625e25 / 0.128e3 * pow(a, 0.29e2) * pow(x, 0.58e2)) * pow(a, 0.3e1 / 0.4e1) * sqrt(0.654798961625859828687e21) * exp(-a * x * x / 0.2e1);
  return retval;
}
```