user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<HO_70>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x20(%rbp)
  movsd  D387(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D770(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D745(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D760(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x30(%rbp)
  movsd  D1072(%rip),%xmm0
  mov    -0x20(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D606(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D80(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D353(%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  D381(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D768(%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
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D1081(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D970(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D501(%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  D299(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D801(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D124(%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  D373(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D712(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D398(%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  D565(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D38(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D795(%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  D108(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D283(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D698(%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  D664(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1045(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D354(%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  D1038(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D99(%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  D759(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D83(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D175(%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  D780(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D79(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D814(%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  D305(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D938(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D115(%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  D366(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D772(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1069(%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  D1087(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D898(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D352(%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  D226(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D969(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D517(%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  D858(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D967(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D112(%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  D292(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D209(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D510(%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  D300(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D191(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D606(%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  D139(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D830(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D1081(%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  D818(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D239(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D373(%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  D575(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D54(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D108(%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  D177(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D41(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-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  D439(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D136(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D780(%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  D480(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D263(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D366(%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  D785(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D1013(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D226(%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  D386(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D368(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D292(%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  D1000(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D710(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D139(%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  D899(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D384(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D575(%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  D634(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D579(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x38(%rbp)
  movsd  D439(%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  D931(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D212(%rip),%xmm1
  movapd %xmm0,%xmm2
  mulsd  %xmm1,%xmm2
  movsd  %xmm2,-0x38(%rbp)
  movsd  D785(%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  D604(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D249(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x38(%rbp)
  movsd  D1000(%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  D645(%rip),%xmm0
  mov    -0x18(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  D351(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x38(%rbp)
  movsd  D634(%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  D187(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm5
  mulsd  -0x18(%rbp),%xmm5
  movsd  %xmm5,-0x38(%rbp)
  movsd  D604(%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  D447(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  D1016(%rip),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D289(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D973(%rip),%xmm1
  movapd %xmm0,%xmm7
  divsd  %xmm1,%xmm7
  movq   %xmm7,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D505(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D388(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: unpack_data
arguments: tag: D387
data_type: byte[8]
name: unpack_data
arguments: tag: D770
data_type: byte[8]
name: unpack_data
arguments: tag: D745
data_type: f64
name: unpack_data
arguments: tag: D760
data_type: f64
name: unpack_data
arguments: tag: D1072
data_type: f64
name: unpack_data
arguments: tag: D606
data_type: f64
name: unpack_data
arguments: tag: D80
data_type: f64
name: unpack_data
arguments: tag: D353
data_type: f64
name: unpack_data
arguments: tag: D381
data_type: f64
name: unpack_data
arguments: tag: D768
data_type: f64
name: unpack_data
arguments: tag: D650
data_type: f64
name: unpack_data
arguments: tag: D1081
data_type: f64
name: unpack_data
arguments: tag: D970
data_type: f64
name: unpack_data
arguments: tag: D501
data_type: f64
name: unpack_data
arguments: tag: D299
data_type: f64
name: unpack_data
arguments: tag: D801
data_type: f64
name: unpack_data
arguments: tag: D124
data_type: f64
name: unpack_data
arguments: tag: D373
data_type: f64
name: unpack_data
arguments: tag: D712
data_type: f64
name: unpack_data
arguments: tag: D398
data_type: f64
name: unpack_data
arguments: tag: D565
data_type: f64
name: unpack_data
arguments: tag: D38
data_type: f64
name: unpack_data
arguments: tag: D795
data_type: f64
name: unpack_data
arguments: tag: D108
data_type: f64
name: unpack_data
arguments: tag: D283
data_type: f64
name: unpack_data
arguments: tag: D698
data_type: f64
name: unpack_data
arguments: tag: D664
data_type: f64
name: unpack_data
arguments: tag: D1045
data_type: f64
name: unpack_data
arguments: tag: D354
data_type: f64
name: unpack_data
arguments: tag: D999
data_type: f64
name: unpack_data
arguments: tag: D1038
data_type: f64
name: unpack_data
arguments: tag: D99
data_type: f64
name: unpack_data
arguments: tag: D759
data_type: f64
name: unpack_data
arguments: tag: D83
data_type: f64
name: unpack_data
arguments: tag: D175
data_type: f64
name: unpack_data
arguments: tag: D780
data_type: f64
name: unpack_data
arguments: tag: D79
data_type: f64
name: unpack_data
arguments: tag: D814
data_type: f64
name: unpack_data
arguments: tag: D305
data_type: f64
name: unpack_data
arguments: tag: D938
data_type: f64
name: unpack_data
arguments: tag: D115
data_type: f64
name: unpack_data
arguments: tag: D366
data_type: f64
name: unpack_data
arguments: tag: D772
data_type: f64
name: unpack_data
arguments: tag: D1069
data_type: f64
name: unpack_data
arguments: tag: D1087
data_type: f64
name: unpack_data
arguments: tag: D898
data_type: f64
name: unpack_data
arguments: tag: D352
data_type: f64
name: unpack_data
arguments: tag: D226
data_type: f64
name: unpack_data
arguments: tag: D969
data_type: f64
name: unpack_data
arguments: tag: D517
data_type: f64
name: unpack_data
arguments: tag: D858
data_type: f64
name: unpack_data
arguments: tag: D967
data_type: f64
name: unpack_data
arguments: tag: D112
data_type: f64
name: unpack_data
arguments: tag: D292
data_type: f64
name: unpack_data
arguments: tag: D209
data_type: f64
name: unpack_data
arguments: tag: D510
data_type: f64
name: unpack_data
arguments: tag: D300
data_type: f64
name: unpack_data
arguments: tag: D191
data_type: f64
name: unpack_data
arguments: tag: D139
data_type: f64
name: unpack_data
arguments: tag: D830
data_type: f64
name: unpack_data
arguments: tag: D818
data_type: f64
name: unpack_data
arguments: tag: D239
data_type: f64
name: unpack_data
arguments: tag: D575
data_type: f64
name: unpack_data
arguments: tag: D54
data_type: f64
name: unpack_data
arguments: tag: D177
data_type: f64
name: unpack_data
arguments: tag: D41
data_type: f64
name: unpack_data
arguments: tag: D439
data_type: f64
name: unpack_data
arguments: tag: D136
data_type: f64
name: unpack_data
arguments: tag: D480
data_type: f64
name: unpack_data
arguments: tag: D263
data_type: f64
name: unpack_data
arguments: tag: D785
data_type: f64
name: unpack_data
arguments: tag: D1013
data_type: f64
name: unpack_data
arguments: tag: D386
data_type: f64
name: unpack_data
arguments: tag: D368
data_type: f64
name: unpack_data
arguments: tag: D1000
data_type: f64
name: unpack_data
arguments: tag: D710
data_type: f64
name: unpack_data
arguments: tag: D899
data_type: f64
name: unpack_data
arguments: tag: D384
data_type: f64
name: unpack_data
arguments: tag: D634
data_type: f64
name: unpack_data
arguments: tag: D579
data_type: f64
name: unpack_data
arguments: tag: D931
data_type: f64
name: unpack_data
arguments: tag: D212
data_type: f64
name: unpack_data
arguments: tag: D604
data_type: f64
name: unpack_data
arguments: tag: D249
data_type: f64
name: unpack_data
arguments: tag: D645
data_type: f64
name: unpack_data
arguments: tag: D351
data_type: f64
name: unpack_data
arguments: tag: D187
data_type: f64
name: unpack_data
arguments: tag: D447
data_type: f64
name: unpack_data
arguments: tag: D1016
data_type: f64
name: unpack_data
arguments: tag: D289
data_type: byte[8]
name: unpack_data
arguments: tag: D973
data_type: f64
name: unpack_data
arguments: tag: D505
data_type: byte[8]
name: unpack_data
arguments: tag: D388
data_type: f64

tool: {"D387": [0x00,0x00,0x00,0x00,0x00,0x00,0xd0,0x3f]}

tool: {"D770": [0x5b,0x13,0x7b,0x2b,0x16,0x4e,0xda,0x41]}

tool: D745: 35

tool: D760: 34359738368

tool: D1072: 70

tool: D606: 34

tool: D80: 41489384079360

tool: D353: 68

tool: D381: 33

tool: D768: 2.362820423319552e+16

tool: D650: 66

tool: D1081: 32

tool: D970: 8.447083013367398e+18

tool: D501: 64

tool: D299: 31

tool: D801: 2.1286649193685844e+21

tool: D124: 62

tool: D373: 30

tool: D712: 4.025305362525993e+23

tool: D398: 60

tool: D565: 29

tool: D38: 5.937325409725839e+25

tool: D795: 58

tool: D108: 28

tool: D283: 7.010284930197724e+27

tool: D698: 56

tool: D664: 27

tool: D1045: 6.747399245315309e+29

tool: D354: 54

tool: D999: 26

tool: D1038: 5.364182400025671e+31

tool: D99: 52

tool: D759: 25

tool: D83: 3.55645293121702e+33

tool: D175: 50

tool: D780: 24

tool: D79: 1.9802976548822043e+35

tool: D814: 48

tool: D305: 23

tool: D938: 9.30739897794636e+36

tool: D115: 46

tool: D366: 22

tool: D772: 3.7050607469901856e+38

tool: D1069: 44

tool: D1087: 21

tool: D898: 1.2517812380902556e+40

tool: D352: 42

tool: D226: 20

tool: D969: 3.5926121533190335e+41

tool: D517: 40

tool: D858: 19

tool: D967: 8.756992123715144e+42

tool: D112: 38

tool: D292: 18

tool: D209: 1.810636900874043e+44

tool: D510: 36

tool: D300: 17

tool: D191: 3.168614576529575e+45

tool: D139: 16

tool: D830: 4.677875730087084e+46

tool: D818: 15

tool: D239: 5.800565905307983e+47

tool: D575: 14

tool: D54: 6.007728973354697e+48

tool: D177: 13

tool: D41: 5.161185345291081e+49

tool: D439: 12

tool: D136: 3.6464896461295677e+50

tool: D480: 11

tool: D263: 2.0967315465245014e+51

tool: D785: 10

tool: D1013: 9.686899744943197e+51

tool: D386: 9

tool: D368: 3.539444137575399e+52

tool: D1000: 8

tool: D710: 1.002842505646363e+53

tool: D899: 7

tool: D384: 2.1489482263850636e+53

tool: D634: 6

tool: D579: 3.371625665535186e+53

tool: D931: 5

tool: D212: 3.7087882320887044e+53

tool: D604: 4

tool: D249: 2.6918624265159953e+53

tool: D645: 3

tool: D351: 1.177689811600748e+53

tool: D187: 2.6765677536380634e+52

tool: D447: 2.361677429680644e+51

tool: D1016: 3.3738248995437775e+49

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

tool: D973: 2

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

tool: D388: 1.9320623474628014e+59

assistant: ```c
double HO_70(const double a, const double x) {
  double retval = sqrt(0.3116285494907301262e19) * pow(a, 0.1e1 / 0.4e1) * (0.34359738368e11 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.41489384079360e14 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.23628204233195520e17 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.8447083013367398400e19 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.2128664919368584396800e22 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.402530536252599309434880e24 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.59373254097258398141644800e26 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.7010284930197723723438489600e28 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.674739924531530908380954624000e30 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.53641824000256707216285892608000e32 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.3556452931217019688439754679910400e34 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.198029765488220414469940885585920000e36 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.9307398977946359480087221622538240000e37 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.370506074699018540841933629974118400000e39 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.12517812380902554987016757641268428800000e41 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.359261215331903328127380944304403906560000e42 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.8756992123715143623104910517419845222400000e43 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.181063690087404293148316238051357387980800000e45 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.3168614576529575130095534165898754289664000000e46 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.46778757300870832841673543870242135697408000000e47 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.580056590530798327236751943991002482647859200000e48 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.6007728973354696960666359419906811427424256000000e49 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.51611853452910805707542815016472152717417472000000e50 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.364648964612956779455465540877248905068710400000000e51 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.2096731546524501481868926860044181204145084800000000e52 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.9686899744943196846234442093404117163150291776000000e52 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.35394441375753988476625846110515043480741450720000000e53 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.100284250564636300683773230646459289862100777040000000e54 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.214894822638506358608085494242412763990215950800000000e54 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.337162566553518597126478965104475198674304336600000000e54 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.370878823208870456839126861614922718541734770260000000e54 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.269186242651599525125172722139863263457710720350000000e54 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.117768981160074792242263065936190177762748440153125000e54 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.26765677536380634600514333167315949491533736398437500e53 * a * a * pow(x, 0.4e1) + 0.2361677429680644229457147044174936719841212035156250e52 * a * x * x - 0.33738248995437774706530672059641953140588743359375e50) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.193206234746280127423420312156084200277857523885670400000000e60;
  return retval;
}
```