user: 这段汇编代码用C语言表示是什么样的?

```asm
<inv3>:
  endbr64
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x18,%rsp
  movsd  0x8(%rdi),%xmm4
  movsd  0x10(%rdi),%xmm5
  movsd  0x40(%rdi),%xmm0
  movsd  0x38(%rdi),%xmm1
  movsd  (%rdi),%xmm7
  movsd  0x30(%rdi),%xmm6
  movapd %xmm4,%xmm3
  movapd %xmm5,%xmm2
  mulsd  %xmm0,%xmm3
  mulsd  %xmm1,%xmm2
  mulsd  %xmm7,%xmm0
  mulsd  %xmm6,%xmm5
  mulsd  %xmm7,%xmm1
  mulsd  %xmm6,%xmm4
  subsd  %xmm2,%xmm3
  mulsd  0x18(%rdi),%xmm3
  subsd  %xmm5,%xmm0
  mulsd  0x20(%rdi),%xmm0
  subsd  %xmm4,%xmm1
  mulsd  0x28(%rdi),%xmm1
  subsd  %xmm3,%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rsp)
  call   <fabs@plt>
  test   %eax,%eax
  jle    L1
  movsd  0x20(%rbx),%xmm1
  movsd  0x28(%rbx),%xmm3
  xor    %eax,%eax
  mulsd  0x38(%rbx),%xmm3
  movsd  0x8(%rsp),%xmm0
  mulsd  0x40(%rbx),%xmm1
  movq   D8(%rip),%xmm2
  subsd  %xmm3,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x0(%rbp)
  movsd  0x18(%rbx),%xmm1
  movsd  0x28(%rbx),%xmm3
  mulsd  0x40(%rbx),%xmm1
  mulsd  0x30(%rbx),%xmm3
  subsd  %xmm3,%xmm1
  xorpd  %xmm2,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x18(%rbp)
  movsd  0x18(%rbx),%xmm1
  movsd  0x20(%rbx),%xmm3
  mulsd  0x38(%rbx),%xmm1
  mulsd  0x30(%rbx),%xmm3
  subsd  %xmm3,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x30(%rbp)
  movsd  0x8(%rbx),%xmm1
  movsd  0x10(%rbx),%xmm3
  mulsd  0x40(%rbx),%xmm1
  mulsd  0x38(%rbx),%xmm3
  subsd  %xmm3,%xmm1
  xorpd  %xmm2,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x8(%rbp)
  movsd  (%rbx),%xmm1
  movsd  0x10(%rbx),%xmm3
  mulsd  0x40(%rbx),%xmm1
  mulsd  0x30(%rbx),%xmm3
  subsd  %xmm3,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x20(%rbp)
  movsd  (%rbx),%xmm1
  movsd  0x8(%rbx),%xmm3
  mulsd  0x38(%rbx),%xmm1
  mulsd  0x30(%rbx),%xmm3
  subsd  %xmm3,%xmm1
  xorpd  %xmm2,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x38(%rbp)
  movsd  0x8(%rbx),%xmm1
  movsd  0x10(%rbx),%xmm3
  mulsd  0x28(%rbx),%xmm1
  mulsd  0x20(%rbx),%xmm3
  subsd  %xmm3,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x10(%rbp)
  movsd  (%rbx),%xmm1
  movsd  0x10(%rbx),%xmm3
  mulsd  0x28(%rbx),%xmm1
  mulsd  0x18(%rbx),%xmm3
  subsd  %xmm3,%xmm1
  xorpd  %xmm2,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x28(%rbp)
  movsd  (%rbx),%xmm1
  movsd  0x8(%rbx),%xmm2
  mulsd  0x20(%rbx),%xmm1
  mulsd  0x18(%rbx),%xmm2
  subsd  %xmm2,%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x40(%rbp)
L16:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  ret
L1:
  mov    $0xffffffff,%eax
  jmp    L16
```

tool_calls: name: extract_symbolic_data
arguments: label: D8
type: f32[2]

tool: {"D8": [0.0,-0.0]}

assistant: ```c
int inv3(const double *a, double *b) {
  double det = ((a[3 * 1 + 0] * -(a[3 * 0 + 1] * a[3 * 2 + 2] - a[3 * 0 + 2] * a[3 * 2 + 1]) + a[3 * 1 + 1] * (a[3 * 0 + 0] * a[3 * 2 + 2] - a[3 * 0 + 2] * a[3 * 2 + 0])) + a[3 * 1 + 2] * -(a[3 * 0 + 0] * a[3 * 2 + 1] - a[3 * 0 + 1] * a[3 * 2 + 0]));
  if (fabs(det) < (1e-60))
    return -1;
  b[3 * 0 + 0] = (a[3 * 1 + 1] * a[3 * 2 + 2] - a[3 * 1 + 2] * a[3 * 2 + 1]) / det;
  b[3 * 1 + 0] = -(a[3 * 1 + 0] * a[3 * 2 + 2] - a[3 * 1 + 2] * a[3 * 2 + 0]) / det;
  b[3 * 2 + 0] = (a[3 * 1 + 0] * a[3 * 2 + 1] - a[3 * 1 + 1] * a[3 * 2 + 0]) / det;
  b[3 * 0 + 1] = -(a[3 * 0 + 1] * a[3 * 2 + 2] - a[3 * 0 + 2] * a[3 * 2 + 1]) / det;
  b[3 * 1 + 1] = (a[3 * 0 + 0] * a[3 * 2 + 2] - a[3 * 0 + 2] * a[3 * 2 + 0]) / det;
  b[3 * 2 + 1] = -(a[3 * 0 + 0] * a[3 * 2 + 1] - a[3 * 0 + 1] * a[3 * 2 + 0]) / det;
  b[3 * 0 + 2] = (a[3 * 0 + 1] * a[3 * 1 + 2] - a[3 * 0 + 2] * a[3 * 1 + 1]) / det;
  b[3 * 1 + 2] = -(a[3 * 0 + 0] * a[3 * 1 + 2] - a[3 * 0 + 2] * a[3 * 1 + 0]) / det;
  b[3 * 2 + 2] = (a[3 * 0 + 0] * a[3 * 1 + 1] - a[3 * 0 + 1] * a[3 * 1 + 0]) / det;
  return 0;
}
```