// File: /workspace/github_c_makefile_star2_O1/halcy[P]quasi_crystals_bot/Vector/MatrixDouble.c
// Function: dmat4x4inverse
dmat4x4_t dmat4x4inverse(dmat4x4_t m)
{
	dmat4x4_t res;

	double a0=m.m[0]*m.m[5]-m.m[1]*m.m[4];
	double a1=m.m[0]*m.m[6]-m.m[2]*m.m[4];
	double a2=m.m[0]*m.m[7]-m.m[3]*m.m[4];
	double a3=m.m[1]*m.m[6]-m.m[2]*m.m[5];
	double a4=m.m[1]*m.m[7]-m.m[3]*m.m[5];
	double a5=m.m[2]*m.m[7]-m.m[3]*m.m[6];
	double b0=m.m[8]*m.m[13]-m.m[9]*m.m[12];
	double b1=m.m[8]*m.m[14]-m.m[10]*m.m[12];
	double b2=m.m[8]*m.m[15]-m.m[11]*m.m[12];
	double b3=m.m[9]*m.m[14]-m.m[10]*m.m[13];
	double b4=m.m[9]*m.m[15]-m.m[11]*m.m[13];
	double b5=m.m[10]*m.m[15]-m.m[11]*m.m[14];
	double det=a0*b5-a1*b4+a2*b3+a3*b2-a4*b1+a5*b0;
	// singular if det==0

	res.m[0]=(m.m[5]*b5-m.m[6]*b4+m.m[7]*b3)/det;
	res.m[4]=-(m.m[4]*b5-m.m[6]*b2+m.m[7]*b1)/det;
	res.m[8]=(m.m[4]*b4-m.m[5]*b2+m.m[7]*b0)/det;
	res.m[12]=-(m.m[4]*b3-m.m[5]*b1+m.m[6]*b0)/det;

	res.m[1]=-(m.m[1]*b5-m.m[2]*b4+m.m[3]*b3)/det;
	res.m[5]=(m.m[0]*b5-m.m[2]*b2+m.m[3]*b1)/det;
	res.m[9]=-(m.m[0]*b4-m.m[1]*b2+m.m[3]*b0)/det;
	res.m[13]=(m.m[0]*b3-m.m[1]*b1+m.m[2]*b0)/det;

	res.m[2]=(m.m[13]*a5-m.m[14]*a4+m.m[15]*a3)/det;
	res.m[6]=-(m.m[12]*a5-m.m[14]*a2+m.m[15]*a1)/det;
	res.m[10]=(m.m[12]*a4-m.m[13]*a2+m.m[15]*a0)/det;
	res.m[14]=-(m.m[12]*a3-m.m[13]*a1+m.m[14]*a0)/det;

	res.m[3]=-(m.m[9]*a5-m.m[10]*a4+m.m[11]*a3)/det;
	res.m[7]=(m.m[8]*a5-m.m[10]*a2+m.m[11]*a1)/det;
	res.m[11]=-(m.m[8]*a4-m.m[9]*a2+m.m[11]*a0)/det;
	res.m[15]=(m.m[8]*a3-m.m[9]*a1+m.m[10]*a0)/det;

	return res;
}

// Assembly:
leaq -0x68(%rsp), %rsp
movsd 0x98(%rsp), %xmm3
movsd 0x70(%rsp), %xmm2
movsd 0x78(%rsp), %xmm1
movsd 0x90(%rsp), %xmm4
movapd %xmm3, %xmm0
movapd %xmm3, %xmm5
movsd %xmm3, -0x78(%rsp)
movapd %xmm4, %xmm3
movapd %xmm4, %xmm7
movsd %xmm4, 0x18(%rsp)
mulsd %xmm2, %xmm0
movsd %xmm0, -0x58(%rsp)
movsd %xmm2, -0x60(%rsp)
mulsd %xmm1, %xmm3
movsd %xmm3, -0x80(%rsp)
movsd %xmm1, -0x20(%rsp)
movsd 0xa0(%rsp), %xmm4
movsd 0x80(%rsp), %xmm6
movsd %xmm6, -0x50(%rsp)
movsd 0xa8(%rsp), %xmm8
movsd 0x88(%rsp), %xmm0
movapd %xmm8, %xmm3
movapd %xmm8, %xmm9
movsd %xmm8, 0x10(%rsp)
movapd %xmm0, %xmm8
movapd %xmm0, %xmm13
movsd %xmm0, -0x40(%rsp)
mulsd %xmm2, %xmm3
movsd %xmm3, -0x30(%rsp)
mulsd %xmm7, %xmm8
movsd %xmm8, -0x48(%rsp)
movsd %xmm4, 0x8(%rsp)
movapd %xmm4, %xmm0
movapd %xmm6, %xmm14
mulsd %xmm1, %xmm0
movapd %xmm0, %xmm8
mulsd %xmm5, %xmm14
movapd %xmm9, %xmm0
mulsd %xmm6, %xmm0
movsd %xmm0, -0x8(%rsp)
mulsd %xmm4, %xmm13
movsd 0xb0(%rsp), %xmm1
movsd 0xd8(%rsp), %xmm0
movapd %xmm0, %xmm3
movsd %xmm0, 0x28(%rsp)
movsd 0xd0(%rsp), %xmm9
movsd 0xb8(%rsp), %xmm6
movapd %xmm9, %xmm2
movsd %xmm9, -0x28(%rsp)
mulsd %xmm1, %xmm3
movsd %xmm3, -0x70(%rsp)
movapd %xmm1, %xmm5
movsd %xmm1, 0x38(%rsp)
mulsd %xmm6, %xmm2
movapd %xmm6, %xmm7
movsd %xmm6, 0x30(%rsp)
movsd 0xe8(%rsp), %xmm4
movsd 0xc8(%rsp), %xmm1
movapd %xmm4, %xmm11
movapd %xmm4, %xmm10
movapd %xmm1, %xmm6
movsd %xmm1, -0x38(%rsp)
mulsd %xmm5, %xmm11
movsd %xmm11, -0x68(%rsp)
mulsd %xmm9, %xmm6
movsd 0xe0(%rsp), %xmm5
movsd 0xc0(%rsp), %xmm4
movapd %xmm5, %xmm11
movapd %xmm5, %xmm12
movapd %xmm4, %xmm9
mulsd %xmm7, %xmm11
movapd %xmm11, %xmm15
mulsd %xmm0, %xmm9
movapd %xmm10, %xmm5
movapd %xmm10, %xmm11
movsd %xmm10, -0x18(%rsp)
movapd %xmm1, %xmm10
mulsd %xmm4, %xmm5
movsd %xmm4, 0x60(%rsp)
mulsd %xmm12, %xmm10
movapd %xmm12, %xmm7
movsd %xmm12, -0x10(%rsp)
movsd -0x58(%rsp), %xmm0
subsd -0x80(%rsp), %xmm0
movsd %xmm0, -0x58(%rsp)
movsd -0x30(%rsp), %xmm1
subsd -0x48(%rsp), %xmm1
movsd %xmm1, -0x30(%rsp)
subsd %xmm14, %xmm8
movsd %xmm8, -0x48(%rsp)
movsd -0x8(%rsp), %xmm14
subsd %xmm13, %xmm14
movsd %xmm14, -0x8(%rsp)
movsd -0x70(%rsp), %xmm1
subsd %xmm2, %xmm1
movsd %xmm1, -0x70(%rsp)
movsd -0x68(%rsp), %xmm1
subsd %xmm6, %xmm1
movsd %xmm1, -0x68(%rsp)
movapd %xmm15, %xmm12
subsd %xmm9, %xmm12
movsd %xmm12, (%rsp)
subsd %xmm10, %xmm5
movsd 0x8(%rsp), %xmm15
movsd -0x50(%rsp), %xmm8
mulsd -0x60(%rsp), %xmm15
mulsd 0x18(%rsp), %xmm8
movsd 0x10(%rsp), %xmm13
movsd -0x40(%rsp), %xmm2
mulsd -0x20(%rsp), %xmm13
mulsd -0x78(%rsp), %xmm2
movapd %xmm4, %xmm3
mulsd 0x38(%rsp), %xmm7
mulsd -0x28(%rsp), %xmm3
movsd -0x38(%rsp), %xmm4
mulsd 0x30(%rsp), %xmm11
movsd %xmm11, -0x80(%rsp)
mulsd 0x28(%rsp), %xmm4
movapd %xmm5, %xmm6
movapd %xmm12, %xmm9
mulsd %xmm0, %xmm6
mulsd -0x30(%rsp), %xmm9
movapd %xmm1, %xmm10
movsd -0x70(%rsp), %xmm11
mulsd -0x48(%rsp), %xmm10
mulsd %xmm14, %xmm11
subsd %xmm3, %xmm7
movsd -0x80(%rsp), %xmm1
subsd %xmm4, %xmm1
subsd %xmm8, %xmm15
movsd %xmm15, 0x58(%rsp)
subsd %xmm2, %xmm13
movsd %xmm13, 0x50(%rsp)
addsd %xmm6, %xmm10
addsd %xmm9, %xmm11
movapd %xmm1, %xmm0
movapd %xmm1, %xmm4
movapd %xmm7, %xmm2
mulsd %xmm15, %xmm0
mulsd %xmm13, %xmm2
addsd %xmm0, %xmm2
addsd %xmm10, %xmm11
subsd %xmm2, %xmm11
movsd 0x16b9(%rip), %xmm0     # 0xe050
divsd %xmm11, %xmm0
movsd %xmm0, 0x20(%rsp)
movapd %xmm5, %xmm12
mulsd -0x78(%rsp), %xmm12
movsd (%rsp), %xmm6
movapd %xmm6, %xmm3
movsd %xmm1, -0x80(%rsp)
movsd 0x10(%rsp), %xmm11
mulsd %xmm11, %xmm3
movsd 0x8(%rsp), %xmm8
mulsd %xmm8, %xmm1
movsd %xmm1, 0x40(%rsp)
movapd %xmm5, %xmm1
movapd %xmm7, %xmm10
movsd %xmm7, 0x48(%rsp)
movapd %xmm7, %xmm14
movsd 0x18(%rsp), %xmm15
mulsd %xmm15, %xmm1
mulsd %xmm11, %xmm14
movsd -0x68(%rsp), %xmm9
mulsd %xmm8, %xmm9
mulsd %xmm15, %xmm4
movsd -0x70(%rsp), %xmm0
mulsd %xmm0, %xmm11
mulsd %xmm6, %xmm15
mulsd %xmm0, %xmm8
movapd %xmm5, %xmm7
mulsd -0x20(%rsp), %xmm7
movsd -0x40(%rsp), %xmm13
mulsd %xmm13, %xmm6
movapd %xmm10, %xmm0
mulsd -0x60(%rsp), %xmm5
mulsd %xmm13, %xmm0
addsd %xmm12, %xmm3
addsd %xmm1, %xmm14
addsd %xmm4, %xmm11
addsd %xmm15, %xmm8
addsd %xmm7, %xmm6
addsd %xmm5, %xmm0
movsd -0x68(%rsp), %xmm2
movapd %xmm2, %xmm1
movsd -0x78(%rsp), %xmm5
mulsd %xmm5, %xmm1
mulsd %xmm10, %xmm5
movsd -0x80(%rsp), %xmm12
movapd %xmm12, %xmm4
movapd %xmm2, %xmm7
movapd %xmm2, %xmm10
movsd -0x50(%rsp), %xmm2
mulsd %xmm2, %xmm4
mulsd %xmm2, %xmm7
subsd 0x40(%rsp), %xmm3
subsd %xmm14, %xmm9
subsd %xmm1, %xmm11
subsd %xmm8, %xmm5
subsd %xmm6, %xmm4
subsd %xmm7, %xmm0
movsd -0x70(%rsp), %xmm1
mulsd %xmm1, %xmm13
mulsd %xmm2, %xmm1
movapd %xmm1, %xmm7
movsd 0x20(%rsp), %xmm1
mulsd %xmm1, %xmm3
mulsd %xmm1, %xmm9
mulsd %xmm1, %xmm11
mulsd %xmm1, %xmm5
mulsd %xmm1, %xmm4
mulsd %xmm1, %xmm0
movsd -0x60(%rsp), %xmm1
movapd %xmm12, %xmm8
mulsd %xmm1, %xmm8
movsd (%rsp), %xmm2
mulsd %xmm1, %xmm2
movq %rdi, %rax
movsd %xmm3, (%rdi)
movsd %xmm9, 0x20(%rdi)
movsd %xmm11, 0x40(%rdi)
movsd %xmm5, 0x60(%rdi)
movsd %xmm4, 0x8(%rdi)
movsd %xmm0, 0x28(%rdi)
addsd %xmm8, %xmm13
movsd %xmm13, -0x40(%rsp)
addsd %xmm2, %xmm7
movsd %xmm7, -0x70(%rsp)
movsd -0x18(%rsp), %xmm0
movapd %xmm0, %xmm1
movapd %xmm0, %xmm5
movsd -0x58(%rsp), %xmm3
mulsd %xmm3, %xmm0
movsd %xmm0, -0x18(%rsp)
movsd -0x10(%rsp), %xmm0
movapd %xmm0, %xmm4
movapd %xmm0, %xmm13
mulsd %xmm3, %xmm0
movsd %xmm0, -0x10(%rsp)
movsd -0x38(%rsp), %xmm0
movsd %xmm0, -0x78(%rsp)
movapd %xmm0, %xmm9
mulsd %xmm3, %xmm0
movsd %xmm0, -0x38(%rsp)
movsd 0x60(%rsp), %xmm8
mulsd %xmm8, %xmm3
movsd %xmm3, -0x58(%rsp)
movapd %xmm8, %xmm6
mulsd -0x20(%rsp), %xmm10
movsd %xmm10, -0x68(%rsp)
movsd 0x28(%rsp), %xmm0
movapd %xmm0, %xmm7
movsd -0x8(%rsp), %xmm2
mulsd %xmm2, %xmm7
movsd 0x50(%rsp), %xmm12
mulsd %xmm12, %xmm4
movsd %xmm4, -0x50(%rsp)
movsd -0x48(%rsp), %xmm14
mulsd %xmm14, %xmm1
movsd %xmm1, -0x60(%rsp)
movsd -0x28(%rsp), %xmm1
movapd %xmm1, %xmm10
mulsd %xmm2, %xmm10
movsd -0x30(%rsp), %xmm15
mulsd %xmm15, %xmm13
movsd 0x58(%rsp), %xmm4
mulsd %xmm4, %xmm5
movsd %xmm5, -0x80(%rsp)
movapd %xmm1, %xmm11
mulsd %xmm12, %xmm11
movapd %xmm0, %xmm3
mulsd %xmm15, %xmm3
mulsd %xmm14, %xmm1
movsd %xmm1, -0x28(%rsp)
movapd %xmm4, %xmm5
mulsd %xmm4, %xmm0
movapd %xmm0, %xmm4
mulsd %xmm15, %xmm8
mulsd %xmm5, %xmm9
movsd 0x30(%rsp), %xmm1
mulsd %xmm1, %xmm15
mulsd %xmm1, %xmm5
mulsd %xmm2, %xmm1
mulsd %xmm12, %xmm6
movsd -0x78(%rsp), %xmm0
mulsd %xmm14, %xmm0
movsd %xmm0, -0x78(%rsp)
movsd 0x38(%rsp), %xmm0
mulsd %xmm0, %xmm2
mulsd %xmm0, %xmm12
mulsd %xmm0, %xmm14
movsd 0x48(%rsp), %xmm0
mulsd -0x20(%rsp), %xmm0
subsd -0x50(%rsp), %xmm7
subsd %xmm10, %xmm13
subsd %xmm3, %xmm11
subsd -0x28(%rsp), %xmm4
subsd %xmm1, %xmm6
movsd -0x68(%rsp), %xmm3
subsd -0x40(%rsp), %xmm3
subsd %xmm8, %xmm2
subsd %xmm12, %xmm15
subsd %xmm5, %xmm14
movsd -0x70(%rsp), %xmm1
subsd %xmm0, %xmm1
movsd -0x60(%rsp), %xmm5
addsd %xmm7, %xmm5
subsd -0x80(%rsp), %xmm13
movsd -0x18(%rsp), %xmm7
addsd %xmm11, %xmm7
subsd -0x10(%rsp), %xmm4
subsd -0x78(%rsp), %xmm6
addsd %xmm2, %xmm9
movsd 0x20(%rsp), %xmm0
mulsd %xmm0, %xmm3
movapd %xmm3, %xmm2
subsd -0x38(%rsp), %xmm15
movsd -0x58(%rsp), %xmm3
addsd %xmm14, %xmm3
mulsd %xmm0, %xmm1
mulsd %xmm0, %xmm5
mulsd %xmm0, %xmm13
mulsd %xmm0, %xmm7
mulsd %xmm0, %xmm4
mulsd %xmm0, %xmm6
movsd %xmm2, 0x48(%rdi)
mulsd %xmm0, %xmm9
mulsd %xmm0, %xmm15
mulsd %xmm0, %xmm3
movsd %xmm1, 0x68(%rdi)
movsd %xmm5, 0x10(%rdi)
movsd %xmm13, 0x30(%rdi)
movsd %xmm7, 0x50(%rdi)
movsd %xmm4, 0x70(%rdi)
movsd %xmm6, 0x18(%rdi)
movsd %xmm9, 0x38(%rdi)
movsd %xmm15, 0x58(%rdi)
movsd %xmm3, 0x78(%rdi)
leaq 0x68(%rsp), %rsp
retq