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

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

tool_calls: name: disassemble_data
arguments: data_label: D20
type_guessed: f32[2]
name: disassemble_data
arguments: data_label: D3
type_guessed: byte[8]
name: disassemble_data
arguments: data_label: D15
type_guessed: qword[2]

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

tool: {"D3": [0x26,0xa6,0xac,0xaa,0x04,0xb6,0x79,0x33]}

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

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