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

```asm
<matrix_inverse>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x8(%rbp)
  mov    %rsi,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x10(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mov    -0x10(%rbp),%rax
  movsd  %xmm0,0x8(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  mov    -0x10(%rbp),%rax
  movsd  %xmm0,0x10(%rax)
  mov    -0x8(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm2
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movq   D10(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  movsd  %xmm0,0x18(%rax)
  mov    -0x10(%rbp),%rax
  lea    0x20(%rax),%rdx
  mov    -0x8(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x8(%rbp),%rax
  lea    0x20(%rax),%rdx
  mov    -0x10(%rbp),%rax
  add    $0x20,%rax
  movsd  0x8(%rdx),%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x8(%rbp),%rax
  lea    0x40(%rax),%rdx
  mov    -0x10(%rbp),%rax
  add    $0x20,%rax
  movsd  0x8(%rdx),%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x8(%rbp),%rax
  movsd  0x8(%rax),%xmm1
  mov    -0x8(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  movsd  0x8(%rax),%xmm2
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  movsd  0x8(%rax),%xmm2
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x20,%rax
  movq   D10(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x10(%rbp),%rax
  lea    0x40(%rax),%rdx
  mov    -0x8(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x8(%rbp),%rax
  lea    0x20(%rax),%rdx
  mov    -0x10(%rbp),%rax
  add    $0x40,%rax
  movsd  0x10(%rdx),%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x8(%rbp),%rax
  lea    0x40(%rax),%rdx
  mov    -0x10(%rbp),%rax
  add    $0x40,%rax
  movsd  0x10(%rdx),%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x8(%rbp),%rax
  movsd  0x10(%rax),%xmm1
  mov    -0x8(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  movsd  0x10(%rax),%xmm2
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  movsd  0x10(%rax),%xmm2
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  movsd  0x18(%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x40,%rax
  movq   D10(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x60,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x60,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x60,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x60,%rax
  movsd  D19(%rip),%xmm0
  movsd  %xmm0,0x18(%rax)
  nop
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D10
datatype: byte[8]
name: extract_symbolic_data
arguments: label: D19
datatype: byte[8]

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

tool: {"D19": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
void matrix_inverse(double T[4][4], double TIN[4][4]) {
  TIN[0][0] = T[0][0];
  TIN[0][1] = T[1][0];
  TIN[0][2] = T[2][0];
  TIN[0][3] = -(T[0][0] * T[0][3] + T[1][0] * T[1][3] + T[2][0] * T[2][3]);
  TIN[1][0] = T[0][1];
  TIN[1][1] = T[1][1];
  TIN[1][2] = T[2][1];
  TIN[1][3] = -(T[0][1] * T[0][3] + T[1][1] * T[1][3] + T[2][1] * T[2][3]);
  TIN[2][0] = T[0][2];
  TIN[2][1] = T[1][2];
  TIN[2][2] = T[2][2];
  TIN[2][3] = -(T[0][2] * T[0][3] + T[1][2] * T[1][3] + T[2][2] * T[2][3]);
  TIN[3][0] = 0;
  TIN[3][1] = 0;
  TIN[3][2] = 0;
  TIN[3][3] = 1;
}
```