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

```asm
<det6x6>:
  endbr64
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x4f0,%rsp
  movsd  0x48(%rdi),%xmm4
  movsd  0x50(%rdi),%xmm5
  mov    %fs:0x28,%rax
  mov    %rax,0x4e8(%rsp)
  xor    %eax,%eax
  movsd  0x68(%rdi),%xmm6
  movsd  0x70(%rdi),%xmm7
  movsd  0x38(%rdi),%xmm9
  movsd  0x40(%rdi),%xmm8
  movsd  %xmm4,0x20(%rsp)
  movsd  0x58(%rdi),%xmm15
  movsd  0x78(%rdi),%xmm2
  movsd  %xmm5,0x28(%rsp)
  movsd  0x88(%rdi),%xmm14
  movsd  0x80(%rdi),%xmm3
  movsd  %xmm6,0x38(%rsp)
  movsd  0x98(%rdi),%xmm4
  movsd  0xa0(%rdi),%xmm5
  movsd  %xmm7,0x40(%rsp)
  movsd  0xa8(%rdi),%xmm6
  movsd  0xb0(%rdi),%xmm7
  movsd  %xmm9,0x10(%rsp)
  movsd  %xmm8,0x18(%rsp)
  movsd  %xmm15,0x30(%rsp)
  movsd  %xmm14,0x58(%rsp)
  movsd  %xmm2,0x48(%rsp)
  movsd  %xmm3,0x50(%rsp)
  movsd  %xmm4,0x60(%rsp)
  movsd  %xmm5,0x68(%rsp)
  movsd  %xmm6,0x70(%rsp)
  movsd  %xmm7,0x78(%rsp)
  movsd  0xb8(%rdi),%xmm13
  movsd  0xc8(%rdi),%xmm2
  movsd  0xd0(%rdi),%xmm3
  movsd  0x50(%rdi),%xmm7
  movsd  %xmm8,0xe8(%rsp)
  movsd  0xe8(%rdi),%xmm12
  movsd  0x30(%rdi),%xmm10
  movsd  %xmm2,0x88(%rsp)
  movsd  0x118(%rdi),%xmm11
  movsd  0x108(%rdi),%xmm1
  movsd  %xmm3,0x90(%rsp)
  movsd  0x100(%rdi),%xmm2
  movsd  0xf8(%rdi),%xmm3
  movsd  %xmm7,0xf8(%rsp)
  movsd  0x110(%rdi),%xmm0
  movsd  0x60(%rdi),%xmm7
  movsd  %xmm13,0x80(%rsp)
  movsd  0xe0(%rdi),%xmm5
  movsd  0x48(%rdi),%xmm6
  movsd  %xmm12,0xa8(%rsp)
  movsd  0xd8(%rdi),%xmm4
  movsd  %xmm11,0xd0(%rsp)
  movsd  %xmm10,0xe0(%rsp)
  movsd  %xmm15,0x100(%rsp)
  movsd  %xmm3,0xb0(%rsp)
  movsd  %xmm1,0xc0(%rsp)
  movsd  %xmm5,0xa0(%rsp)
  movsd  %xmm2,0xb8(%rsp)
  movsd  %xmm0,0xc8(%rsp)
  movsd  %xmm6,0xf0(%rsp)
  movsd  %xmm7,0x108(%rsp)
  movsd  %xmm4,0x98(%rsp)
  movsd  0x70(%rdi),%xmm4
  movsd  0x78(%rdi),%xmm5
  movsd  0x80(%rdi),%xmm6
  movsd  %xmm0,(%rsp)
  movsd  %xmm4,0x110(%rsp)
  movsd  0xa0(%rdi),%xmm4
  movsd  %xmm5,0x118(%rsp)
  movsd  0xa8(%rdi),%xmm5
  movsd  %xmm4,0x138(%rsp)
  movsd  0xb0(%rdi),%xmm4
  movsd  %xmm6,0x120(%rsp)
  movsd  0x90(%rdi),%xmm6
  movsd  %xmm4,0x148(%rsp)
  movsd  0xd0(%rdi),%xmm4
  movsd  %xmm5,0x140(%rsp)
  movsd  0xc0(%rdi),%xmm5
  movsd  %xmm4,0x160(%rsp)
  movsd  0xd8(%rdi),%xmm4
  movsd  %xmm14,0x128(%rsp)
  movsd  %xmm4,0x168(%rsp)
  movsd  0xe0(%rdi),%xmm4
  movsd  %xmm13,0x150(%rsp)
  movsd  %xmm4,0x170(%rsp)
  movsd  0xf0(%rdi),%xmm4
  movsd  %xmm12,0x178(%rsp)
  movsd  %xmm4,0x180(%rsp)
  movsd  %xmm11,0x1a0(%rsp)
  movsd  %xmm1,0x190(%rsp)
  movsd  %xmm6,0x130(%rsp)
  movsd  %xmm5,0x158(%rsp)
  movsd  %xmm2,0x188(%rsp)
  movsd  %xmm0,0x198(%rsp)
  movsd  %xmm10,0x1b0(%rsp)
  movsd  0x48(%rdi),%xmm0
  movsd  %xmm9,0x1b8(%rsp)
  movsd  %xmm0,0x1c0(%rsp)
  movsd  0x50(%rdi),%xmm0
  movsd  %xmm15,0x1d0(%rsp)
  movsd  %xmm0,0x1c8(%rsp)
  movsd  0x68(%rdi),%xmm0
  movsd  %xmm14,0x1f8(%rsp)
  movsd  %xmm0,0x1e0(%rsp)
  movsd  0x78(%rdi),%xmm0
  movsd  %xmm13,0x220(%rsp)
  movsd  %xmm0,0x1e8(%rsp)
  movsd  0x80(%rdi),%xmm0
  movsd  %xmm12,0x248(%rsp)
  movsd  %xmm0,0x1f0(%rsp)
  movsd  0x98(%rdi),%xmm0
  movsd  %xmm4,0x250(%rsp)
  movsd  %xmm0,0x208(%rsp)
  movsd  0xa8(%rdi),%xmm0
  movsd  %xmm3,0x258(%rsp)
  movsd  %xmm0,0x210(%rsp)
  movsd  0xb0(%rdi),%xmm0
  movsd  %xmm7,0x1d8(%rsp)
  movsd  %xmm0,0x218(%rsp)
  movsd  0xc8(%rdi),%xmm0
  movsd  %xmm6,0x200(%rsp)
  movsd  %xmm0,0x230(%rsp)
  movsd  0xd8(%rdi),%xmm0
  movsd  %xmm5,0x228(%rsp)
  movsd  %xmm0,0x238(%rsp)
  movsd  0xe0(%rdi),%xmm0
  movsd  %xmm0,0x240(%rsp)
  movsd  %xmm1,0x260(%rsp)
  movsd  (%rsp),%xmm0
  movsd  %xmm11,0x270(%rsp)
  movsd  %xmm0,0x268(%rsp)
  movsd  0x50(%rdi),%xmm0
  movsd  %xmm10,0x280(%rsp)
  movsd  %xmm0,0x298(%rsp)
  movsd  0x68(%rdi),%xmm0
  movsd  %xmm9,0x288(%rsp)
  movsd  %xmm0,0x2b0(%rsp)
  movsd  0x70(%rdi),%xmm0
  movsd  %xmm8,0x290(%rsp)
  movsd  %xmm0,0x2b8(%rsp)
  movsd  0x80(%rdi),%xmm0
  movsd  %xmm15,0x2a0(%rsp)
  movsd  %xmm0,0x2c0(%rsp)
  movsd  0x98(%rdi),%xmm0
  movsd  %xmm14,0x2c8(%rsp)
  movsd  %xmm0,0x2d8(%rsp)
  movsd  0xa0(%rdi),%xmm0
  movsd  %xmm13,0x2f0(%rsp)
  movsd  %xmm0,0x2e0(%rsp)
  movsd  0xb0(%rdi),%xmm0
  movsd  %xmm7,0x2a8(%rsp)
  movsd  %xmm0,0x2e8(%rsp)
  movsd  0xc8(%rdi),%xmm0
  movsd  %xmm6,0x2d0(%rsp)
  movsd  %xmm0,0x300(%rsp)
  movsd  0xd0(%rdi),%xmm0
  movsd  %xmm5,0x2f8(%rsp)
  movsd  %xmm0,0x308(%rsp)
  movsd  0xe0(%rdi),%xmm0
  movsd  %xmm0,0x310(%rsp)
  movsd  %xmm12,0x318(%rsp)
  movsd  (%rsp),%xmm0
  movsd  %xmm4,0x320(%rsp)
  movsd  %xmm0,0x338(%rsp)
  movsd  0x48(%rdi),%xmm0
  movsd  %xmm11,0x340(%rsp)
  movsd  %xmm0,0x368(%rsp)
  movsd  0x68(%rdi),%xmm0
  movsd  %xmm10,0x350(%rsp)
  movsd  %xmm0,0x380(%rsp)
  movsd  0x70(%rdi),%xmm0
  movsd  %xmm9,0x358(%rsp)
  movsd  %xmm0,0x388(%rsp)
  movsd  0x78(%rdi),%xmm0
  movsd  %xmm8,0x360(%rsp)
  movsd  %xmm0,0x390(%rsp)
  movsd  0x98(%rdi),%xmm0
  movsd  %xmm15,0x370(%rsp)
  movsd  %xmm0,0x3a8(%rsp)
  movsd  0xa0(%rdi),%xmm0
  movsd  %xmm14,0x398(%rsp)
  movsd  %xmm0,0x3b0(%rsp)
  movsd  0xa8(%rdi),%xmm0
  movsd  %xmm13,0x3c0(%rsp)
  movsd  %xmm0,0x3b8(%rsp)
  movsd  0xc8(%rdi),%xmm0
  movsd  %xmm3,0x328(%rsp)
  movsd  %xmm0,0x3d0(%rsp)
  movsd  0xd0(%rdi),%xmm0
  movsd  %xmm2,0x330(%rsp)
  movsd  %xmm7,0x378(%rsp)
  movsd  %xmm6,0x3a0(%rsp)
  movsd  %xmm5,0x3c8(%rsp)
  movsd  %xmm0,0x3d8(%rsp)
  movsd  0xd8(%rdi),%xmm0
  movsd  %xmm7,0x448(%rsp)
  movsd  0x68(%rdi),%xmm7
  movsd  %xmm6,0x470(%rsp)
  movsd  0x98(%rdi),%xmm6
  movsd  %xmm7,0x450(%rsp)
  movsd  0x70(%rdi),%xmm7
  movsd  %xmm6,0x478(%rsp)
  movsd  0xa0(%rdi),%xmm6
  movsd  %xmm0,0x3e0(%rsp)
  movsd  0x48(%rdi),%xmm0
  movsd  %xmm7,0x458(%rsp)
  movsd  0x78(%rdi),%xmm7
  movsd  %xmm6,0x480(%rsp)
  movsd  0xa8(%rdi),%xmm6
  movsd  %xmm0,0x438(%rsp)
  movsd  0x50(%rdi),%xmm0
  movsd  %xmm7,0x460(%rsp)
  movsd  0x80(%rdi),%xmm7
  movsd  %xmm6,0x488(%rsp)
  movsd  0xb0(%rdi),%xmm6
  movsd  %xmm12,0x3e8(%rsp)
  movsd  %xmm4,0x3f0(%rsp)
  movsd  %xmm11,0x410(%rsp)
  movsd  %xmm10,0x420(%rsp)
  movsd  %xmm9,0x428(%rsp)
  movsd  %xmm8,0x430(%rsp)
  movsd  %xmm3,0x3f8(%rsp)
  movsd  %xmm1,0x408(%rsp)
  movsd  %xmm2,0x400(%rsp)
  movsd  %xmm0,0x440(%rsp)
  movsd  %xmm7,0x468(%rsp)
  movsd  %xmm6,0x490(%rsp)
  movsd  (%rsp),%xmm0
  movsd  0xe0(%rdi),%xmm7
  movsd  %xmm5,0x498(%rsp)
  movsd  0xc8(%rdi),%xmm5
  movsd  %xmm2,0x4d0(%rsp)
  movsd  (%rdi),%xmm2
  movsd  %xmm5,0x4a0(%rsp)
  movsd  0xd0(%rdi),%xmm5
  movsd  %xmm7,0x4b8(%rsp)
  movsd  %xmm5,0x4a8(%rsp)
  movsd  0xd8(%rdi),%xmm5
  lea    0x10(%rsp),%rdi
  movsd  %xmm4,0x4c0(%rsp)
  movsd  %xmm5,0x4b0(%rsp)
  movsd  %xmm3,0x4c8(%rsp)
  movsd  %xmm1,0x4d8(%rsp)
  movsd  %xmm0,0x4e0(%rsp)
  movsd  %xmm2,(%rsp)
  call   <det5x5@plt>
  pxor   %xmm0,%xmm0
  movsd  (%rsp),%xmm1
  movsd  0x8(%rbx),%xmm2
  cvtsi2sd %eax,%xmm0
  lea    0xe0(%rsp),%rdi
  xor    %eax,%eax
  movsd  %xmm2,(%rsp)
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,0x8(%rsp)
  call   <det5x5@plt>
  pxor   %xmm0,%xmm0
  movsd  0x8(%rsp),%xmm1
  movsd  0x10(%rbx),%xmm3
  cvtsi2sd %eax,%xmm0
  mulsd  (%rsp),%xmm0
  lea    0x1b0(%rsp),%rdi
  xor    %eax,%eax
  movsd  %xmm3,0x8(%rsp)
  subsd  %xmm0,%xmm1
  movsd  %xmm1,(%rsp)
  call   <det5x5@plt>
  pxor   %xmm0,%xmm0
  movsd  0x18(%rbx),%xmm2
  lea    0x280(%rsp),%rdi
  cvtsi2sd %eax,%xmm0
  mulsd  0x8(%rsp),%xmm0
  xor    %eax,%eax
  addsd  (%rsp),%xmm0
  movsd  %xmm2,(%rsp)
  movsd  %xmm0,0x8(%rsp)
  call   <det5x5@plt>
  pxor   %xmm1,%xmm1
  movsd  0x8(%rsp),%xmm0
  movsd  0x20(%rbx),%xmm2
  cvtsi2sd %eax,%xmm1
  mulsd  (%rsp),%xmm1
  lea    0x350(%rsp),%rdi
  xor    %eax,%eax
  movsd  %xmm2,0x8(%rsp)
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rsp)
  call   <det5x5@plt>
  pxor   %xmm0,%xmm0
  movsd  0x28(%rbx),%xmm3
  lea    0x420(%rsp),%rdi
  cvtsi2sd %eax,%xmm0
  mulsd  0x8(%rsp),%xmm0
  xor    %eax,%eax
  addsd  (%rsp),%xmm0
  movsd  %xmm3,(%rsp)
  movsd  %xmm0,0x8(%rsp)
  call   <det5x5@plt>
  pxor   %xmm1,%xmm1
  movsd  0x8(%rsp),%xmm0
  cvtsi2sd %eax,%xmm1
  mulsd  (%rsp),%xmm1
  subsd  %xmm1,%xmm0
  mov    0x4e8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L9
  add    $0x4f0,%rsp
  pop    %rbx
  ret
L9:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
double det6x6(double M[6 * 6]) {
  double minor11[5 * 5] = {M[7], M[8], M[9], M[10], M[11], M[13], M[14], M[15], M[16], M[17], M[19], M[20], M[21], M[22], M[23], M[25], M[26], M[27], M[28], M[29], M[31], M[32], M[33], M[34], M[35]};
  double minor12[5 * 5] = {M[6], M[8], M[9], M[10], M[11], M[12], M[14], M[15], M[16], M[17], M[18], M[20], M[21], M[22], M[23], M[24], M[26], M[27], M[28], M[29], M[30], M[32], M[33], M[34], M[35]};
  double minor13[5 * 5] = {M[6], M[7], M[9], M[10], M[11], M[12], M[13], M[15], M[16], M[17], M[18], M[19], M[21], M[22], M[23], M[24], M[25], M[27], M[28], M[29], M[30], M[31], M[33], M[34], M[35]};
  double minor14[5 * 5] = {M[6], M[7], M[8], M[10], M[11], M[12], M[13], M[14], M[16], M[17], M[18], M[19], M[20], M[22], M[23], M[24], M[25], M[26], M[28], M[29], M[30], M[31], M[32], M[34], M[35]};
  double minor15[5 * 5] = {M[6], M[7], M[8], M[9], M[11], M[12], M[13], M[14], M[15], M[17], M[18], M[19], M[20], M[21], M[23], M[24], M[25], M[26], M[27], M[29], M[30], M[31], M[32], M[33], M[35]};
  double minor16[5 * 5] = {M[6], M[7], M[8], M[9], M[10], M[12], M[13], M[14], M[15], M[16], M[18], M[19], M[20], M[21], M[22], M[24], M[25], M[26], M[27], M[28], M[30], M[31], M[32], M[33], M[34]};
  return M[0] * (det5x5(minor11)) - M[1] * (det5x5(minor12)) + M[2] * (det5x5(minor13)) - M[3] * (det5x5(minor14)) + M[4] * (det5x5(minor15)) - M[5] * (det5x5(minor16));
}
```