user: 请将以下的汇编代码转换成C语言代码：

```asm
<HO_95>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x2c8,%rsp
  movsd  %xmm1,(%rsp)
  movsd  D343(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  call   <pow@plt>
  movsd  D1365(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D466(%rip),%xmm1
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D664(%rip),%xmm4
  movsd  %xmm0,0x10(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  movsd  D633(%rip),%xmm1
  movq   %xmm0,%r15
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D104(%rip),%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D701(%rip),%xmm1
  movq   %xmm0,%rbp
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D297(%rip),%xmm15
  movsd  %xmm0,0x20(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  movsd  D1384(%rip),%xmm1
  movsd  %xmm0,0x2b8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D418(%rip),%xmm1
  movsd  %xmm0,0x28(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1442(%rip),%xmm1
  movq   %xmm0,%r12
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D40(%rip),%xmm14
  movsd  %xmm0,0x30(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D858(%rip),%xmm1
  movsd  %xmm0,0x2b0(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D371(%rip),%xmm1
  movsd  %xmm0,0x38(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D891(%rip),%xmm1
  movq   %xmm0,%r13
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D711(%rip),%xmm13
  movsd  %xmm0,0x40(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D131(%rip),%xmm1
  movsd  %xmm0,0x48(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D753(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D621(%rip),%xmm1
  movsd  %xmm0,0x58(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D763(%rip),%xmm12
  movsd  %xmm0,0x60(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  movsd  D330(%rip),%xmm1
  movsd  %xmm0,0x68(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1039(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1048(%rip),%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D199(%rip),%xmm11
  movsd  %xmm0,0x80(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm11,%xmm1
  call   <pow@plt>
  movsd  D977(%rip),%xmm1
  movsd  %xmm0,0x88(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D998(%rip),%xmm1
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D416(%rip),%xmm1
  movsd  %xmm0,0x98(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D741(%rip),%xmm10
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  movsd  D930(%rip),%xmm1
  movsd  %xmm0,0xa8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1359(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D123(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1368(%rip),%xmm9
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm9,%xmm1
  call   <pow@plt>
  movsd  D1197(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1121(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D86(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D562(%rip),%xmm8
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  movsd  D1374(%rip),%xmm1
  movsd  %xmm0,0xe8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D402(%rip),%xmm1
  movsd  %xmm0,0xf0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D1349(%rip),%xmm1
  movsd  %xmm0,0xf8(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D137(%rip),%xmm7
  movsd  %xmm0,0x100(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  movsd  D1243(%rip),%xmm1
  movsd  %xmm0,0x108(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D500(%rip),%xmm1
  movsd  %xmm0,0x110(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D567(%rip),%xmm1
  movsd  %xmm0,0x118(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D666(%rip),%xmm6
  movsd  %xmm0,0x120(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  movsd  D943(%rip),%xmm1
  movsd  %xmm0,0x128(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D1183(%rip),%xmm1
  movsd  %xmm0,0x130(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D480(%rip),%xmm1
  movsd  %xmm0,0x138(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D432(%rip),%xmm5
  movsd  %xmm0,0x140(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D1029(%rip),%xmm1
  movsd  %xmm0,0x148(%rsp)
  movsd  (%rsp),%xmm0
  call   <pow@plt>
  movsd  D992(%rip),%xmm1
  movsd  %xmm0,0x150(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D664(%rip),%rax
  movsd  %xmm0,0x158(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D528(%rip),%xmm4
  movsd  %xmm0,0x160(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D297(%rip),%rax
  movsd  %xmm0,0x168(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D915(%rip),%xmm1
  movsd  %xmm0,0x170(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D40(%rip),%rax
  movsd  %xmm0,0x2a8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1213(%rip),%xmm14
  movsd  %xmm0,0x178(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D711(%rip),%rax
  movsd  %xmm0,0x180(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D852(%rip),%xmm1
  movsd  %xmm0,0x188(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D763(%rip),%rax
  movsd  %xmm0,0x2a0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D984(%rip),%xmm12
  movsd  %xmm0,0x190(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm12,%xmm1
  call   <pow@plt>
  mov    D199(%rip),%rax
  movsd  %xmm0,0x198(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D329(%rip),%xmm1
  movsd  %xmm0,0x1a0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D741(%rip),%rax
  movsd  %xmm0,0x298(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D505(%rip),%xmm10
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm10,%xmm1
  call   <pow@plt>
  mov    D1368(%rip),%rax
  movsd  %xmm0,0x1b0(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D322(%rip),%xmm1
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D562(%rip),%rax
  movsd  %xmm0,0x290(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D430(%rip),%xmm8
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm8,%xmm1
  call   <pow@plt>
  mov    D137(%rip),%rax
  movsd  %xmm0,0x1c8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1052(%rip),%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D666(%rip),%rax
  movsd  %xmm0,0x1d8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D499(%rip),%xmm6
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm6,%xmm1
  call   <pow@plt>
  mov    D432(%rip),%rax
  movsd  %xmm0,0x1e8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1172(%rip),%xmm1
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D528(%rip),%rax
  movsd  %xmm0,0x1f8(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1293(%rip),%xmm4
  movsd  %xmm0,0x200(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D1213(%rip),%rax
  movsd  %xmm0,0x208(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D278(%rip),%xmm1
  movsd  %xmm0,0x210(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D984(%rip),%rax
  movsd  %xmm0,0x288(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1056(%rip),%xmm5
  movsd  %xmm0,0x218(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  mov    D505(%rip),%rax
  movsd  %xmm0,0x280(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D918(%rip),%xmm1
  movsd  %xmm0,0x220(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D430(%rip),%rax
  movsd  %xmm0,0x278(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D698(%rip),%xmm7
  movsd  %xmm0,0x228(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm7,%xmm1
  call   <pow@plt>
  mov    D499(%rip),%rax
  movsd  %xmm0,0x270(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D1240(%rip),%xmm1
  movsd  %xmm0,0x230(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D1293(%rip),%rax
  movsd  %xmm0,0x268(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D916(%rip),%xmm4
  movsd  %xmm0,0x238(%rsp)
  movsd  0x8(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  mov    D1056(%rip),%rax
  movsd  %xmm0,0x240(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D455(%rip),%xmm1
  movsd  %xmm0,0x248(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  mov    D698(%rip),%rax
  movsd  %xmm0,0x260(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D916(%rip),%rax
  movsd  %xmm0,0x250(%rsp)
  movsd  (%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm3
  movsd  (%rsp),%xmm6
  xorpd  D1010(%rip),%xmm3
  movsd  %xmm0,0x258(%rsp)
  movapd %xmm3,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D501(%rip),%xmm0
  call   <exp@plt>
  movq   %r14,%xmm1
  movq   %r15,%xmm4
  movsd  0x2b8(%rsp),%xmm3
  mulsd  D1390(%rip),%xmm1
  movq   %r12,%xmm5
  movsd  0x2b0(%rsp),%xmm2
  mulsd  D190(%rip),%xmm4
  mulsd  0x18(%rsp),%xmm4
  mulsd  0x10(%rsp),%xmm1
  mulsd  D421(%rip),%xmm3
  mulsd  0x28(%rsp),%xmm3
  mulsd  D921(%rip),%xmm5
  mulsd  D355(%rip),%xmm2
  subsd  %xmm4,%xmm1
  mulsd  0x38(%rsp),%xmm2
  movq   %rbp,%xmm4
  mulsd  D583(%rip),%xmm4
  mulsd  0x20(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  subsd  %xmm3,%xmm1
  movsd  0x30(%rsp),%xmm3
  mulsd  %xmm5,%xmm3
  addsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r13,%xmm2
  mulsd  D1294(%rip),%xmm2
  mulsd  0x40(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x48(%rsp),%xmm2
  mulsd  D1198(%rip),%xmm2
  mulsd  0x50(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x58(%rsp),%xmm2
  mulsd  D89(%rip),%xmm2
  mulsd  0x60(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm2
  mulsd  D1262(%rip),%xmm2
  mulsd  0x70(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x78(%rsp),%xmm2
  mulsd  D676(%rip),%xmm2
  mulsd  0x80(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x88(%rsp),%xmm2
  mulsd  D256(%rip),%xmm2
  mulsd  0x90(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x98(%rsp),%xmm2
  mulsd  D381(%rip),%xmm2
  mulsd  0xa0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  D833(%rip),%xmm2
  mulsd  0xb0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  mulsd  D460(%rip),%xmm2
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xc8(%rsp),%xmm2
  mulsd  D889(%rip),%xmm2
  mulsd  0xd0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xd8(%rsp),%xmm2
  mulsd  D1050(%rip),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xe8(%rsp),%xmm2
  mulsd  D569(%rip),%xmm2
  mulsd  0xf0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  D663(%rip),%xmm2
  mulsd  0x100(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x108(%rsp),%xmm2
  mulsd  D855(%rip),%xmm2
  mulsd  0x110(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x118(%rsp),%xmm2
  mulsd  D263(%rip),%xmm2
  mulsd  0x120(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x128(%rsp),%xmm2
  mulsd  D688(%rip),%xmm2
  mulsd  0x130(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x138(%rsp),%xmm2
  mulsd  D590(%rip),%xmm2
  mulsd  0x140(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x148(%rsp),%xmm2
  mulsd  D805(%rip),%xmm2
  mulsd  0x150(%rsp),%xmm2
  movsd  0x2a8(%rsp),%xmm15
  mulsd  D1216(%rip),%xmm15
  movsd  0x2a0(%rsp),%xmm13
  mulsd  0x178(%rsp),%xmm15
  movsd  0x298(%rsp),%xmm11
  mulsd  D529(%rip),%xmm13
  movsd  0x290(%rsp),%xmm9
  mulsd  0x190(%rsp),%xmm13
  mulsd  D1031(%rip),%xmm11
  subsd  %xmm2,%xmm1
  movsd  0x158(%rsp),%xmm2
  mulsd  D513(%rip),%xmm2
  mulsd  0x160(%rsp),%xmm2
  mulsd  0x1a8(%rsp),%xmm11
  mulsd  D1184(%rip),%xmm9
  mulsd  0x1c0(%rsp),%xmm9
  addsd  %xmm2,%xmm1
  movsd  0x168(%rsp),%xmm2
  mulsd  D423(%rip),%xmm2
  mulsd  0x170(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x180(%rsp),%xmm2
  mulsd  D1342(%rip),%xmm2
  mulsd  0x188(%rsp),%xmm2
  addsd  %xmm15,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x198(%rsp),%xmm2
  mulsd  D549(%rip),%xmm2
  mulsd  0x1a0(%rsp),%xmm2
  addsd  %xmm13,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x1b0(%rsp),%xmm2
  mulsd  D830(%rip),%xmm2
  mulsd  0x1b8(%rsp),%xmm2
  addsd  %xmm11,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x1c8(%rsp),%xmm2
  mulsd  D1030(%rip),%xmm2
  mulsd  0x1d0(%rsp),%xmm2
  movsd  0x288(%rsp),%xmm14
  mulsd  D594(%rip),%xmm14
  movsd  0x280(%rsp),%xmm12
  mulsd  0x218(%rsp),%xmm14
  addsd  %xmm9,%xmm1
  movsd  0x278(%rsp),%xmm10
  mulsd  D473(%rip),%xmm12
  movsd  0x270(%rsp),%xmm8
  mulsd  0x220(%rsp),%xmm12
  movsd  0x268(%rsp),%xmm6
  subsd  %xmm2,%xmm1
  mulsd  D327(%rip),%xmm6
  movsd  0x1d8(%rsp),%xmm2
  mulsd  D975(%rip),%xmm2
  movsd  0x260(%rsp),%xmm5
  mulsd  0x1e0(%rsp),%xmm2
  mulsd  D1325(%rip),%xmm10
  mulsd  0x228(%rsp),%xmm10
  mulsd  D905(%rip),%xmm8
  mulsd  0x230(%rsp),%xmm8
  mulsd  0x238(%rsp),%xmm6
  addsd  %xmm2,%xmm1
  movsd  0x1e8(%rsp),%xmm2
  mulsd  D1445(%rip),%xmm2
  mulsd  0x1f0(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x1f8(%rsp),%xmm2
  mulsd  D634(%rip),%xmm2
  mulsd  0x200(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x208(%rsp),%xmm2
  mulsd  D873(%rip),%xmm2
  mulsd  0x210(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0x240(%rsp),%xmm2
  mulsd  D738(%rip),%xmm2
  mulsd  0x248(%rsp),%xmm2
  mulsd  D1101(%rip),%xmm5
  movsd  0x8(%rsp),%xmm7
  addsd  %xmm14,%xmm1
  movsd  (%rsp),%xmm3
  mulsd  0x250(%rsp),%xmm5
  subsd  %xmm12,%xmm1
  addsd  %xmm10,%xmm1
  subsd  %xmm8,%xmm1
  addsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D1425(%rip),%xmm2
  mulsd  %xmm7,%xmm2
  addsd  %xmm1,%xmm5
  mulsd  %xmm7,%xmm2
  mulsd  D286(%rip),%xmm7
  mulsd  0x258(%rsp),%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm5
  movq   %rbx,%xmm2
  mulsd  D1433(%rip),%xmm2
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm2
  addsd  %xmm5,%xmm1
  subsd  D1329(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D211(%rip),%xmm0
  divsd  D743(%rip),%xmm0
  add    $0x2c8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D343
type_infered: byte[8]
name: extract_symbolic_data
arguments: tag: D1365
type_infered: f64
name: extract_symbolic_data
arguments: tag: D466
type_infered: f64
name: extract_symbolic_data
arguments: tag: D664
type_infered: f64
name: extract_symbolic_data
arguments: tag: D633
type_infered: f64
name: extract_symbolic_data
arguments: tag: D104
type_infered: f64
name: extract_symbolic_data
arguments: tag: D701
type_infered: f64
name: extract_symbolic_data
arguments: tag: D297
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1384
type_infered: f64
name: extract_symbolic_data
arguments: tag: D418
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1442
type_infered: f64
name: extract_symbolic_data
arguments: tag: D40
type_infered: f64
name: extract_symbolic_data
arguments: tag: D858
type_infered: f64
name: extract_symbolic_data
arguments: tag: D371
type_infered: f64
name: extract_symbolic_data
arguments: tag: D891
type_infered: f64
name: extract_symbolic_data
arguments: tag: D711
type_infered: f64
name: extract_symbolic_data
arguments: tag: D131
type_infered: f64
name: extract_symbolic_data
arguments: tag: D753
type_infered: f64
name: extract_symbolic_data
arguments: tag: D621
type_infered: f64
name: extract_symbolic_data
arguments: tag: D763
type_infered: f64
name: extract_symbolic_data
arguments: tag: D330
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1039
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1048
type_infered: f64
name: extract_symbolic_data
arguments: tag: D199
type_infered: f64
name: extract_symbolic_data
arguments: tag: D977
type_infered: f64
name: extract_symbolic_data
arguments: tag: D998
type_infered: f64
name: extract_symbolic_data
arguments: tag: D416
type_infered: f64
name: extract_symbolic_data
arguments: tag: D741
type_infered: f64
name: extract_symbolic_data
arguments: tag: D930
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1359
type_infered: f64
name: extract_symbolic_data
arguments: tag: D123
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1368
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1197
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1121
type_infered: f64
name: extract_symbolic_data
arguments: tag: D86
type_infered: f64
name: extract_symbolic_data
arguments: tag: D562
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1374
type_infered: f64
name: extract_symbolic_data
arguments: tag: D402
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1349
type_infered: f64
name: extract_symbolic_data
arguments: tag: D137
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1243
type_infered: f64
name: extract_symbolic_data
arguments: tag: D500
type_infered: f64
name: extract_symbolic_data
arguments: tag: D567
type_infered: f64
name: extract_symbolic_data
arguments: tag: D666
type_infered: f64
name: extract_symbolic_data
arguments: tag: D943
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1183
type_infered: f64
name: extract_symbolic_data
arguments: tag: D480
type_infered: f64
name: extract_symbolic_data
arguments: tag: D432
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1029
type_infered: f64
name: extract_symbolic_data
arguments: tag: D992
type_infered: f64
name: extract_symbolic_data
arguments: tag: D528
type_infered: f64
name: extract_symbolic_data
arguments: tag: D915
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1213
type_infered: f64
name: extract_symbolic_data
arguments: tag: D852
type_infered: f64
name: extract_symbolic_data
arguments: tag: D984
type_infered: f64
name: extract_symbolic_data
arguments: tag: D329
type_infered: f64
name: extract_symbolic_data
arguments: tag: D505
type_infered: f64
name: extract_symbolic_data
arguments: tag: D322
type_infered: f64
name: extract_symbolic_data
arguments: tag: D430
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1052
type_infered: f64
name: extract_symbolic_data
arguments: tag: D499
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1172
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1293
type_infered: f64
name: extract_symbolic_data
arguments: tag: D278
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1056
type_infered: f64
name: extract_symbolic_data
arguments: tag: D918
type_infered: f64
name: extract_symbolic_data
arguments: tag: D698
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1240
type_infered: f64
name: extract_symbolic_data
arguments: tag: D916
type_infered: f64
name: extract_symbolic_data
arguments: tag: D455
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1010
type_infered: byte[16]
name: extract_symbolic_data
arguments: tag: D501
type_infered: byte[8]
name: extract_symbolic_data
arguments: tag: D1390
type_infered: f64
name: extract_symbolic_data
arguments: tag: D190
type_infered: f64
name: extract_symbolic_data
arguments: tag: D421
type_infered: f64
name: extract_symbolic_data
arguments: tag: D921
type_infered: f64
name: extract_symbolic_data
arguments: tag: D355
type_infered: f64
name: extract_symbolic_data
arguments: tag: D583
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1294
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1198
type_infered: f64
name: extract_symbolic_data
arguments: tag: D89
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1262
type_infered: f64
name: extract_symbolic_data
arguments: tag: D676
type_infered: f64
name: extract_symbolic_data
arguments: tag: D256
type_infered: f64
name: extract_symbolic_data
arguments: tag: D381
type_infered: f64
name: extract_symbolic_data
arguments: tag: D833
type_infered: f64
name: extract_symbolic_data
arguments: tag: D460
type_infered: f64
name: extract_symbolic_data
arguments: tag: D889
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1050
type_infered: f64
name: extract_symbolic_data
arguments: tag: D569
type_infered: f64
name: extract_symbolic_data
arguments: tag: D663
type_infered: f64
name: extract_symbolic_data
arguments: tag: D855
type_infered: f64
name: extract_symbolic_data
arguments: tag: D263
type_infered: f64
name: extract_symbolic_data
arguments: tag: D688
type_infered: f64
name: extract_symbolic_data
arguments: tag: D590
type_infered: f64
name: extract_symbolic_data
arguments: tag: D805
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1216
type_infered: f64
name: extract_symbolic_data
arguments: tag: D529
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1031
type_infered: f64
name: extract_symbolic_data
arguments: tag: D513
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1184
type_infered: f64
name: extract_symbolic_data
arguments: tag: D423
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1342
type_infered: f64
name: extract_symbolic_data
arguments: tag: D549
type_infered: f64
name: extract_symbolic_data
arguments: tag: D830
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1030
type_infered: f64
name: extract_symbolic_data
arguments: tag: D594
type_infered: f64
name: extract_symbolic_data
arguments: tag: D473
type_infered: f64
name: extract_symbolic_data
arguments: tag: D327
type_infered: f64
name: extract_symbolic_data
arguments: tag: D975
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1325
type_infered: f64
name: extract_symbolic_data
arguments: tag: D905
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1445
type_infered: f64
name: extract_symbolic_data
arguments: tag: D634
type_infered: f64
name: extract_symbolic_data
arguments: tag: D873
type_infered: f64
name: extract_symbolic_data
arguments: tag: D738
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1101
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1425
type_infered: f64
name: extract_symbolic_data
arguments: tag: D286
type_infered: f64
name: extract_symbolic_data
arguments: tag: D1433
type_infered: byte[8]
name: extract_symbolic_data
arguments: tag: D1329
type_infered: f64
name: extract_symbolic_data
arguments: tag: D211
type_infered: byte[8]
name: extract_symbolic_data
arguments: tag: D743
type_infered: f64

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

tool: D1365: 47

tool: D466: 94

tool: D664: 46

tool: D633: 92

tool: D104: 45

tool: D701: 90

tool: D297: 44

tool: D1384: 88

tool: D418: 43

tool: D1442: 86

tool: D40: 42

tool: D858: 84

tool: D371: 41

tool: D891: 82

tool: D711: 40

tool: D131: 80

tool: D753: 39

tool: D621: 78

tool: D763: 38

tool: D330: 76

tool: D1039: 37

tool: D1048: 74

tool: D199: 36

tool: D977: 72

tool: D998: 35

tool: D416: 70

tool: D741: 34

tool: D930: 68

tool: D1359: 33

tool: D123: 66

tool: D1368: 32

tool: D1197: 64

tool: D1121: 31

tool: D86: 62

tool: D562: 30

tool: D1374: 60

tool: D402: 29

tool: D1349: 58

tool: D137: 28

tool: D1243: 56

tool: D500: 27

tool: D567: 54

tool: D666: 26

tool: D943: 52

tool: D1183: 25

tool: D480: 50

tool: D432: 24

tool: D1029: 48

tool: D992: 23

tool: D528: 22

tool: D915: 21

tool: D1213: 20

tool: D852: 19

tool: D984: 18

tool: D329: 17

tool: D505: 16

tool: D322: 15

tool: D430: 14

tool: D1052: 13

tool: D499: 12

tool: D1172: 11

tool: D1293: 10

tool: D278: 9

tool: D1056: 8

tool: D918: 7

tool: D698: 6

tool: D1240: 5

tool: D916: 4

tool: D455: 3

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

tool: {"D501": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

tool: D1390: 140737488355328

tool: D190: 3.1419644275326976e+17

tool: D421: 2.2934258769555452e+23

tool: D921: 1.1226319667697394e+26

tool: D355: 4.199766187685595e+28

tool: D583: 3.36033095524622e+20

tool: D1294: 1.2494304408364644e+31

tool: D1198: 3.037008421547492e+33

tool: D89: 6.1499420536336714e+35

tool: D1262: 1.05266508151363e+38

tool: D676: 1.5400490142544408e+40

tool: D256: 1.9425618247982152e+42

tool: D381: 2.1271051981540455e+44

tool: D833: 2.0330216990049243e+46

tool: D460: 1.70338175209484e+48

tool: D889: 1.2553923512938973e+50

tool: D1050: 8.160050283410332e+51

tool: D569: 4.687228883382464e+53

tool: D663: 2.382674682386086e+55

tool: D855: 1.0728306267269982e+57

tool: D263: 4.2805942006407226e+58

tool: D688: 1.5134958066551126e+60

tool: D590: 4.739993685388057e+61

tool: D805: 1.3138025975803855e+63

tool: D1216: 1.3249019556408285e+67

tool: D529: 3.244169649714973e+69

tool: D1031: 4.600624101012177e+71

tool: D513: 3.2188163640719444e+64

tool: D1184: 3.642469928361859e+73

tool: D423: 6.959080979123543e+65

tool: D1342: 2.215530492488274e+68

tool: D549: 4.144706397308267e+70

tool: D830: 4.415115064681041e+72

tool: D1030: 2.566285631345855e+74

tool: D594: 3.024227455655019e+77

tool: D473: 6.630037114320618e+77

tool: D327: 1.3401568923154178e+78

tool: D975: 1.5322234798917897e+75

tool: D1325: 1.1271063094345052e+78

tool: D905: 1.4432458840319882e+78

tool: D1445: 7.683006306314546e+75

tool: D634: 3.201252627631061e+76

tool: D873: 1.0944823172846735e+77

tool: D738: 8.570770822947439e+77

tool: D1101: 3.506224427569407e+77

tool: D1425: 8.181190330995283e+76

tool: D286: 8.892598185864438e+75

tool: {"D1433": [0xba,0x59,0x77,0xdd,0x8e,0x41,0x63,0x42]}

tool: D1329: 2.838063250807799e+74

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

tool: D743: 4.7550225441934164e+85

assistant: ```c
double HO_95(const double a, const double x) {
  double retval = sqrt(0.437759660807231218259973e24) * pow(a, 0.3e1 / 0.4e1) * x * (0.140737488355328e15 * pow(a, 0.47e2) * pow(x, 0.94e2) - 0.314196442753269760e18 * pow(a, 0.46e2) * pow(x, 0.92e2) + 0.336033095524622008320e21 * pow(a, 0.45e2) * pow(x, 0.90e2) - 0.229342587695554520678400e24 * pow(a, 0.44e2) * pow(x, 0.88e2) + 0.112263196676973937872076800e27 * pow(a, 0.43e2) * pow(x, 0.86e2) - 0.41997661876855950157943930880e29 * pow(a, 0.42e2) * pow(x, 0.84e2) + 0.12494304408364645171988319436800e32 * pow(a, 0.41e2) * pow(x, 0.82e2) - 0.3037008421547491965734017931673600e34 * pow(a, 0.40e2) * pow(x, 0.80e2) + 0.614994205363367123061138631163904000e36 * pow(a, 0.39e2) * pow(x, 0.78e2) - 0.105266508151363005897298229034221568000e39 * pow(a, 0.38e2) * pow(x, 0.76e2) + 0.15400490142544407762774730907706615398400e41 * pow(a, 0.37e2) * pow(x, 0.74e2) - 0.1942561824798215070077267194040266260480000e43 * pow(a, 0.36e2) * pow(x, 0.72e2) + 0.212710519815404550173460757747409155522560000e45 * pow(a, 0.35e2) * pow(x, 0.70e2) - 0.20330216990049242583886537807781221210521600000e47 * pow(a, 0.34e2) * pow(x, 0.68e2) + 0.1703381752094840110778493489180526605710131200000e49 * pow(a, 0.33e2) * pow(x, 0.66e2) - 0.125539235129389716164374970152604810840836669440000e51 * pow(a, 0.32e2) * pow(x, 0.64e2) + 0.8160050283410331550684373059919312704654383513600000e52 * pow(a, 0.31e2) * pow(x, 0.62e2) - 0.468722888338246397602546487824188756240882676531200000e54 * pow(a, 0.30e2) * pow(x, 0.60e2) + 0.23826746823860858544796113131062928442244869390336000000e56 * pow(a, 0.29e2) * pow(x, 0.58e2) - 0.1072830626726998130793319725453912383281078198075392000000e58 * pow(a, 0.28e2) * pow(x, 0.56e2) + 0.42805942006407225418653457045611104092915020103208140800000e59 * pow(a, 0.27e2) * pow(x, 0.54e2) - 0.1513495806655112613016675802684106894713781067934859264000000e61 * pow(a, 0.26e2) * pow(x, 0.52e2) + 0.47399936853880572289476801274970438657172507082141728768000000e62 * pow(a, 0.25e2) * pow(x, 0.50e2) - 0.1313802597580385427588759165773637158432498837602841395200000000e64 * pow(a, 0.24e2) * pow(x, 0.48e2) + 0.32188163640719442975924599561454110381596221521269614182400000000e65 * pow(a, 0.23e2) * pow(x, 0.46e2) - 0.695908097912354357139489842518637866450110309289849058623488000000e66 * pow(a, 0.22e2) * pow(x, 0.44e2) + 0.13249019556408284876309518155643297842030946273018280154562560000000e68 * pow(a, 0.21e2) * pow(x, 0.42e2) - 0.221553049248827430431620275824924036136184157121027907029073920000000e69 * pow(a, 0.20e2) * pow(x, 0.40e2) + 0.3244169649714973088463011181722101957708410872129337210068582400000000e70 * pow(a, 0.19e2) * pow(x, 0.38e2) - 0.41447063973082673423294677338897888804516076831859290907945164800000000e71 * pow(a, 0.18e2) * pow(x, 0.36e2) + 0.460062410101217674998570918461766565730128452833638129078191329280000000e72 * pow(a, 0.17e2) * pow(x, 0.34e2) - 0.4415115064681040590712091878786308171119781119935720754863287756800000000e73 * pow(a, 0.16e2) * pow(x, 0.32e2) + 0.36424699283618584873374757999987042411738194239469696227622123993600000000e74 * pow(a, 0.15e2) * pow(x, 0.30e2) - 0.256628563134585484335140340454454162446337277596263768876428600864000000000e75 * pow(a, 0.14e2) * pow(x, 0.28e2) + 0.1532223479891789803530396738595711616959013745648280737703382528688000000000e76 * pow(a, 0.13e2) * pow(x, 0.26e2) - 0.7683006306314546014845275074958496822180197496036379127626960965278400000000e76 * pow(a, 0.12e2) * pow(x, 0.24e2) + 0.32012526276310608395188646145660403425750822900151579698445670688660000000000e77 * pow(a, 0.11e2) * pow(x, 0.22e2) - 0.109448231728467350324090911822325433333985921537004725185226414651770000000000e78 * pow(a, 0.10e2) * pow(x, 0.20e2) + 0.302422745565501889053409098456425539475487414773302530117072987853575000000000e78 * pow(a, 0.9e1) * pow(x, 0.18e2) - 0.663003711432061833694012254308317528850107024695317085256660011832837500000000e78 * pow(a, 0.8e1) * pow(x, 0.16e2) + 0.1127106309434505117279820832324139799045181941982039044936322020115823750000000e79 * pow(a, 0.7e1) * pow(x, 0.14e2) - 0.1443245884031988259931477895049203401216391511074562191686753806245871875000000e79 * pow(a, 0.6e1) * pow(x, 0.12e2) + 0.1340156892315417669936372331117117443986649260283522035137699962942595312500000e79 * pow(a, 0.5e1) * pow(x, 0.10e2) - 0.857077082294743858680238118737691388596112899018531534099691836765613281250000e78 * pow(a, 0.4e1) * pow(x, 0.8e1) + 0.350622442756940669460097412210873749880228004143944718495328478676841796875000e78 * pow(a, 0.3e1) * pow(x, 0.6e1) - 0.81811903309952822874022729515870541638719867633587100982243311691263085937500e77 * a * a * pow(x, 0.4e1) + 0.8892598185864437268915514077812015395513029090607293585026446922963378906250e76 * a * x * x - 0.283806325080779912837729172696128150920628587998105114415737667754150390625e75) * exp(-a * x * x / 0.2e1) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.47550225441934161776124190783780827098123783888292116046445477525967811379200000000000e86;
  return retval;
}
```