user: Demonstrate the C code that generates the assembly output below:

```asm
<matrix_invert>:
  endbr64
  movsd  0x48(%rdi),%xmm14
  movsd  0x40(%rdi),%xmm13
  xor    %r8d,%r8d
  movsd  0x68(%rdi),%xmm5
  movsd  0x60(%rdi),%xmm11
  movapd %xmm13,%xmm9
  movapd %xmm14,%xmm0
  movsd  0x50(%rdi),%xmm4
  movsd  0x70(%rdi),%xmm2
  mulsd  %xmm11,%xmm0
  movapd %xmm13,%xmm1
  movsd  0x58(%rdi),%xmm7
  movsd  0x78(%rdi),%xmm6
  mulsd  %xmm5,%xmm9
  movapd %xmm4,%xmm15
  movsd  0x30(%rdi),%xmm10
  movsd  0x28(%rdi),%xmm8
  mulsd  %xmm2,%xmm1
  movsd  0x38(%rdi),%xmm12
  movsd  0x20(%rdi),%xmm3
  mulsd  %xmm5,%xmm15
  subsd  %xmm0,%xmm9
  movapd %xmm4,%xmm0
  mulsd  %xmm11,%xmm0
  subsd  %xmm0,%xmm1
  movapd %xmm11,%xmm0
  mulsd  %xmm7,%xmm0
  movsd  %xmm1,-0x30(%rsp)
  movapd %xmm13,%xmm1
  mulsd  %xmm6,%xmm1
  subsd  %xmm0,%xmm1
  movapd %xmm14,%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm7,%xmm2
  movsd  %xmm1,-0x38(%rsp)
  subsd  %xmm15,%xmm0
  movapd %xmm14,%xmm15
  mulsd  %xmm6,%xmm15
  movapd %xmm15,%xmm1
  movapd %xmm5,%xmm15
  mulsd  %xmm7,%xmm15
  movsd  (%rdi),%xmm7
  movsd  %xmm7,-0x28(%rsp)
  movsd  0x10(%rdi),%xmm7
  movsd  %xmm7,-0x18(%rsp)
  subsd  %xmm15,%xmm1
  movapd %xmm4,%xmm15
  mulsd  %xmm6,%xmm15
  subsd  %xmm2,%xmm15
  movsd  0x8(%rdi),%xmm2
  movsd  %xmm2,-0x20(%rsp)
  movsd  0x18(%rdi),%xmm2
  movapd %xmm15,%xmm7
  movsd  %xmm15,-0x8(%rsp)
  movsd  %xmm2,-0x10(%rsp)
  mulsd  %xmm8,%xmm7
  movapd %xmm10,%xmm2
  mulsd  %xmm1,%xmm2
  mulsd  %xmm3,%xmm15
  mulsd  %xmm3,%xmm1
  subsd  %xmm2,%xmm7
  movapd %xmm12,%xmm2
  mulsd  %xmm0,%xmm2
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm7
  movsd  -0x28(%rsp),%xmm2
  mulsd  %xmm7,%xmm2
  movq   %xmm2,%rdx
  movsd  -0x38(%rsp),%xmm2
  mulsd  %xmm10,%xmm2
  subsd  %xmm2,%xmm15
  movsd  -0x30(%rsp),%xmm2
  mulsd  %xmm12,%xmm2
  addsd  %xmm2,%xmm15
  mulsd  -0x20(%rsp),%xmm15
  movq   %rdx,%xmm2
  subsd  %xmm15,%xmm2
  movsd  -0x38(%rsp),%xmm15
  mulsd  %xmm8,%xmm15
  subsd  %xmm15,%xmm1
  movapd %xmm12,%xmm15
  mulsd  %xmm9,%xmm15
  mulsd  %xmm10,%xmm9
  addsd  %xmm15,%xmm1
  mulsd  -0x18(%rsp),%xmm1
  movsd  -0x30(%rsp),%xmm15
  addsd  %xmm1,%xmm2
  movapd %xmm15,%xmm1
  mulsd  %xmm8,%xmm1
  subsd  %xmm1,%xmm0
  addsd  %xmm9,%xmm0
  mulsd  -0x10(%rsp),%xmm0
  subsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  andpd  D1(%rip),%xmm0
  movsd  D3(%rip),%xmm1
  comisd %xmm0,%xmm1
  ja     L4
  divsd  %xmm2,%xmm7
  movsd  -0x18(%rsp),%xmm9
  movsd  -0x8(%rsp),%xmm0
  mov    $0x1,%r8d
  movsd  -0x38(%rsp),%xmm1
  mulsd  %xmm9,%xmm1
  movsd  %xmm7,(%rsi)
  movsd  -0x28(%rsp),%xmm7
  mulsd  %xmm7,%xmm0
  subsd  %xmm1,%xmm0
  movapd %xmm15,%xmm1
  movsd  -0x10(%rsp),%xmm15
  mulsd  %xmm15,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm12,%xmm1
  mulsd  %xmm11,%xmm12
  divsd  %xmm2,%xmm0
  mulsd  %xmm3,%xmm5
  mulsd  %xmm8,%xmm11
  subsd  %xmm11,%xmm5
  mulsd  %xmm15,%xmm5
  movsd  %xmm0,0x28(%rsi)
  movapd %xmm8,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  %xmm3,%xmm6
  subsd  %xmm1,%xmm0
  movapd %xmm14,%xmm1
  subsd  %xmm12,%xmm6
  movsd  -0x20(%rsp),%xmm12
  mulsd  %xmm10,%xmm1
  mulsd  %xmm13,%xmm10
  mulsd  %xmm7,%xmm0
  mulsd  %xmm12,%xmm6
  subsd  %xmm6,%xmm0
  addsd  %xmm5,%xmm0
  divsd  %xmm2,%xmm0
  movsd  %xmm0,0x50(%rsi)
  movapd %xmm8,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm3,%xmm4
  mulsd  %xmm13,%xmm8
  mulsd  %xmm14,%xmm3
  subsd  %xmm1,%xmm0
  subsd  %xmm10,%xmm4
  mulsd  %xmm7,%xmm0
  subsd  %xmm8,%xmm3
  mulsd  %xmm12,%xmm4
  mulsd  %xmm9,%xmm3
  subsd  %xmm4,%xmm0
  addsd  %xmm3,%xmm0
  divsd  %xmm2,%xmm0
  movsd  %xmm0,0x78(%rsi)
L4:
  mov    %r8d,%eax
  ret
```

tool_calls: name: parse_data
arguments: label: D1
type_infered: qword[2]
name: parse_data
arguments: label: D3
type_infered: f64

tool: {"D1": [0x7fffffffffffffff,0x0000000000000000]}

tool: D3: 0.0001

assistant: ```c
bool matrix_invert(double mat[4][4], double inverse[4][4]) {
  double Det2_12_01 = mat[1][0] * mat[2][1] - mat[1][1] * mat[2][0];
  double Det2_12_02 = mat[1][0] * mat[2][2] - mat[1][2] * mat[2][0];
  double Det2_12_12 = mat[1][1] * mat[2][2] - mat[1][2] * mat[2][1];
  double Det2_13_01 = mat[1][0] * mat[3][1] - mat[1][1] * mat[3][0];
  double Det2_13_03 = mat[1][0] * mat[3][3] - mat[1][3] * mat[3][0];
  double Det2_13_13 = mat[1][1] * mat[3][3] - mat[1][3] * mat[3][1];
  double Det2_23_01 = mat[2][0] * mat[3][1] - mat[2][1] * mat[3][0];
  double Det2_23_02 = mat[2][0] * mat[3][2] - mat[2][2] * mat[3][0];
  double Det2_23_03 = mat[2][0] * mat[3][3] - mat[2][3] * mat[3][0];
  double Det2_23_12 = mat[2][1] * mat[3][2] - mat[2][2] * mat[3][1];
  double Det2_23_13 = mat[2][1] * mat[3][3] - mat[2][3] * mat[3][1];
  double Det2_23_23 = mat[2][2] * mat[3][3] - mat[2][3] * mat[3][2];
  double Det3_012_012 = mat[0][0] * Det2_12_12 - mat[0][1] * Det2_12_02 + mat[0][2] * Det2_12_01;
  double Det3_013_013 = mat[0][0] * Det2_13_13 - mat[0][1] * Det2_13_03 + mat[0][3] * Det2_13_01;
  double Det3_023_023 = mat[0][0] * Det2_23_23 - mat[0][2] * Det2_23_03 + mat[0][3] * Det2_23_02;
  double Det3_123_012 = mat[1][0] * Det2_23_12 - mat[1][1] * Det2_23_02 + mat[1][2] * Det2_23_01;
  double Det3_123_013 = mat[1][0] * Det2_23_13 - mat[1][1] * Det2_23_03 + mat[1][3] * Det2_23_01;
  double Det3_123_023 = mat[1][0] * Det2_23_23 - mat[1][2] * Det2_23_03 + mat[1][3] * Det2_23_02;
  double Det3_123_123 = mat[1][1] * Det2_23_23 - mat[1][2] * Det2_23_13 + mat[1][3] * Det2_23_12;
  static double det;
  det = mat[0][0] * Det3_123_123 - mat[0][1] * Det3_123_023 + mat[0][2] * Det3_123_013 - mat[0][3] * Det3_123_012;
  if (fabs(det) < 0.0001)
    return false;
  inverse[0][0] = Det3_123_123 / det;
  inverse[1][1] = Det3_023_023 / det;
  inverse[2][2] = Det3_013_013 / det;
  inverse[3][3] = Det3_012_012 / det;
  return true;
}
```