user: What would the C source look like for the assembly code provided here:

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

tool_calls: name: disassemble_data
arguments: label: D3
datatype: qword[2]
name: disassemble_data
arguments: label: D4
datatype: f64

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

tool: D4: 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;
}
```