user: 提供的汇编代码用C语言表示会是什么样子：

```asm
<binvrhs>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    -0x18(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  D17(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  mov    -0x20(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  movsd  0x20(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  0x8(%rax),%xmm1
  movsd  D17(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movsd  0x20(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x10(%rax),%xmm1
  movsd  D17(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x10(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x10(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x10(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x50,%rax
  movsd  0x20(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x10(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x18(%rax),%xmm1
  movsd  D17(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x78,%rax
  movsd  0x20(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x20(%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x20(%rax),%xmm1
  movsd  D17(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xa0,%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  nop
  pop    %rbp
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D17
type: f64

tool: D17: 1

assistant: ```c
void binvrhs(double lhs[5][5], double r[5]) {
  double pivot, coeff;
  pivot = 1.00 / lhs[0][0];
  lhs[1][0] = lhs[1][0] * pivot;
  lhs[2][0] = lhs[2][0] * pivot;
  lhs[3][0] = lhs[3][0] * pivot;
  lhs[4][0] = lhs[4][0] * pivot;
  r[0] = r[0] * pivot;
  coeff = lhs[0][1];
  lhs[1][1] = lhs[1][1] - coeff * lhs[1][0];
  lhs[2][1] = lhs[2][1] - coeff * lhs[2][0];
  lhs[3][1] = lhs[3][1] - coeff * lhs[3][0];
  lhs[4][1] = lhs[4][1] - coeff * lhs[4][0];
  r[1] = r[1] - coeff * r[0];
  coeff = lhs[0][2];
  lhs[1][2] = lhs[1][2] - coeff * lhs[1][0];
  lhs[2][2] = lhs[2][2] - coeff * lhs[2][0];
  lhs[3][2] = lhs[3][2] - coeff * lhs[3][0];
  lhs[4][2] = lhs[4][2] - coeff * lhs[4][0];
  r[2] = r[2] - coeff * r[0];
  coeff = lhs[0][3];
  lhs[1][3] = lhs[1][3] - coeff * lhs[1][0];
  lhs[2][3] = lhs[2][3] - coeff * lhs[2][0];
  lhs[3][3] = lhs[3][3] - coeff * lhs[3][0];
  lhs[4][3] = lhs[4][3] - coeff * lhs[4][0];
  r[3] = r[3] - coeff * r[0];
  coeff = lhs[0][4];
  lhs[1][4] = lhs[1][4] - coeff * lhs[1][0];
  lhs[2][4] = lhs[2][4] - coeff * lhs[2][0];
  lhs[3][4] = lhs[3][4] - coeff * lhs[3][0];
  lhs[4][4] = lhs[4][4] - coeff * lhs[4][0];
  r[4] = r[4] - coeff * r[0];
  pivot = 1.00 / lhs[1][1];
  lhs[2][1] = lhs[2][1] * pivot;
  lhs[3][1] = lhs[3][1] * pivot;
  lhs[4][1] = lhs[4][1] * pivot;
  r[1] = r[1] * pivot;
  coeff = lhs[1][0];
  lhs[2][0] = lhs[2][0] - coeff * lhs[2][1];
  lhs[3][0] = lhs[3][0] - coeff * lhs[3][1];
  lhs[4][0] = lhs[4][0] - coeff * lhs[4][1];
  r[0] = r[0] - coeff * r[1];
  coeff = lhs[1][2];
  lhs[2][2] = lhs[2][2] - coeff * lhs[2][1];
  lhs[3][2] = lhs[3][2] - coeff * lhs[3][1];
  lhs[4][2] = lhs[4][2] - coeff * lhs[4][1];
  r[2] = r[2] - coeff * r[1];
  coeff = lhs[1][3];
  lhs[2][3] = lhs[2][3] - coeff * lhs[2][1];
  lhs[3][3] = lhs[3][3] - coeff * lhs[3][1];
  lhs[4][3] = lhs[4][3] - coeff * lhs[4][1];
  r[3] = r[3] - coeff * r[1];
  coeff = lhs[1][4];
  lhs[2][4] = lhs[2][4] - coeff * lhs[2][1];
  lhs[3][4] = lhs[3][4] - coeff * lhs[3][1];
  lhs[4][4] = lhs[4][4] - coeff * lhs[4][1];
  r[4] = r[4] - coeff * r[1];
  pivot = 1.00 / lhs[2][2];
  lhs[3][2] = lhs[3][2] * pivot;
  lhs[4][2] = lhs[4][2] * pivot;
  r[2] = r[2] * pivot;
  coeff = lhs[2][0];
  lhs[3][0] = lhs[3][0] - coeff * lhs[3][2];
  lhs[4][0] = lhs[4][0] - coeff * lhs[4][2];
  r[0] = r[0] - coeff * r[2];
  coeff = lhs[2][1];
  lhs[3][1] = lhs[3][1] - coeff * lhs[3][2];
  lhs[4][1] = lhs[4][1] - coeff * lhs[4][2];
  r[1] = r[1] - coeff * r[2];
  coeff = lhs[2][3];
  lhs[3][3] = lhs[3][3] - coeff * lhs[3][2];
  lhs[4][3] = lhs[4][3] - coeff * lhs[4][2];
  r[3] = r[3] - coeff * r[2];
  coeff = lhs[2][4];
  lhs[3][4] = lhs[3][4] - coeff * lhs[3][2];
  lhs[4][4] = lhs[4][4] - coeff * lhs[4][2];
  r[4] = r[4] - coeff * r[2];
  pivot = 1.00 / lhs[3][3];
  lhs[4][3] = lhs[4][3] * pivot;
  r[3] = r[3] * pivot;
  coeff = lhs[3][0];
  lhs[4][0] = lhs[4][0] - coeff * lhs[4][3];
  r[0] = r[0] - coeff * r[3];
  coeff = lhs[3][1];
  lhs[4][1] = lhs[4][1] - coeff * lhs[4][3];
  r[1] = r[1] - coeff * r[3];
  coeff = lhs[3][2];
  lhs[4][2] = lhs[4][2] - coeff * lhs[4][3];
  r[2] = r[2] - coeff * r[3];
  coeff = lhs[3][4];
  lhs[4][4] = lhs[4][4] - coeff * lhs[4][3];
  r[4] = r[4] - coeff * r[3];
  pivot = 1.00 / lhs[4][4];
  r[4] = r[4] * pivot;
  coeff = lhs[4][0];
  r[0] = r[0] - coeff * r[4];
  coeff = lhs[4][1];
  r[1] = r[1] - coeff * r[4];
  coeff = lhs[4][2];
  r[2] = r[2] - coeff * r[4];
  coeff = lhs[4][3];
  r[3] = r[3] - coeff * r[4];
}
```