// File: /workspace/github_c_makefile_star2_O0/halcy[P]quasi_crystals_bot/Vector/QuaternionDouble.c
// Function: dquatmat3x3
dquat_t dquatmat3x3(dmat3x3_t m)
{
	if(dmat3x3_11(m)>dmat3x3_22(m) && dmat3x3_11(m)>dmat3x3_33(m))
	{
		double r=sqrt(1+dmat3x3_11(m)-dmat3x3_22(m)-dmat3x3_33(m));
		if(r==0) return dquatone;
		return dquat(
			(dmat3x3_32(m)-dmat3x3_23(m))/(2*r),
			dvec3(
				r/2,
				(dmat3x3_12(m)+dmat3x3_21(m))/(2*r),
				(dmat3x3_31(m)+dmat3x3_13(m))/(2*r)
			)
		);
	}
	else if(dmat3x3_22(m)>dmat3x3_11(m) && dmat3x3_22(m)>dmat3x3_33(m))
	{
		double r=sqrt(1+dmat3x3_22(m)-dmat3x3_33(m)-dmat3x3_11(m));
		if(r==0) return dquatone;
		return dquat(
			(dmat3x3_13(m)-dmat3x3_31(m))/(2*r),
			dvec3(
				(dmat3x3_12(m)+dmat3x3_21(m))/(2*r),
				r/2,
				(dmat3x3_23(m)+dmat3x3_32(m))/(2*r)
			)
		);
	}
	else
	{
		double r=sqrt(1+dmat3x3_33(m)-dmat3x3_11(m)-dmat3x3_22(m));
		if(r==0) return dquatone;
		return dquat(
			(dmat3x3_21(m)-dmat3x3_12(m))/(2*r),
			dvec3(
				(dmat3x3_31(m)+dmat3x3_13(m))/(2*r),
				(dmat3x3_23(m)+dmat3x3_32(m))/(2*r),
				r/2
			)
		);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
leaq -0x1a0(%rsp), %rsp
movq %rdi, -0x80(%rbp)
movq %rdi, -0x78(%rbp)
leaq 0x10(%rbp), %rcx
movq %rcx, -0x70(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16300
movq -0x70(%rbp), %rcx
movsd %xmm0, -0x68(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16310
movaps %xmm0, %xmm1
movsd -0x68(%rbp), %xmm0
ucomisd %xmm1, %xmm0
jbe 0x15bcf
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16300
movq -0x70(%rbp), %rcx
movsd %xmm0, -0x88(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16320
movaps %xmm0, %xmm1
movsd -0x88(%rbp), %xmm0
ucomisd %xmm1, %xmm0
jbe 0x15bcf
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16300
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd 0x1c1b(%rip), %xmm0     # 0x17510
addsd %xmm1, %xmm0
movsd %xmm0, -0x98(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16310
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0x98(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd %xmm0, -0x90(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16320
movaps %xmm0, %xmm1
movsd -0x90(%rbp), %xmm0
subsd %xmm1, %xmm0
sqrtsd %xmm0, %xmm0
movsd %xmm0, -0x8(%rbp)
movsd -0x8(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x159b6
jp 0x159b6
movq -0x80(%rbp), %rdi
movsd 0x1b64(%rip), %xmm0     # 0x17510
callq 0x16330
jmp 0x162f2
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x163b0
movq -0x70(%rbp), %rcx
movsd %xmm0, -0xc8(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x163c0
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0xc8(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd 0x160b(%rip), %xmm1     # 0x17048
mulsd -0x8(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0xa0(%rbp)
movsd -0x8(%rbp), %xmm0
movsd 0x15ed(%rip), %xmm1     # 0x17048
divsd %xmm1, %xmm0
movsd %xmm0, -0xa8(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16410
movq -0x70(%rbp), %rcx
movsd %xmm0, -0xc0(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16420
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0xc0(%rbp), %xmm0
addsd %xmm1, %xmm0
movsd 0x155e(%rip), %xmm1     # 0x17048
mulsd -0x8(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0xb0(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16430
movq -0x70(%rbp), %rcx
movsd %xmm0, -0xb8(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16440
movsd -0xb8(%rbp), %xmm2
movsd -0xb0(%rbp), %xmm1
movaps %xmm0, %xmm3
movsd -0xa8(%rbp), %xmm0
addsd %xmm3, %xmm2
movsd 0x14be(%rip), %xmm3     # 0x17048
mulsd -0x8(%rbp), %xmm3
divsd %xmm3, %xmm2
leaq -0x20(%rbp), %rdi
callq 0x163d0
movq -0x80(%rbp), %rdi
movsd -0xa0(%rbp), %xmm0
leaq -0x20(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x16370
jmp 0x162f2
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16310
movq -0x70(%rbp), %rcx
movsd %xmm0, -0xd0(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16300
movaps %xmm0, %xmm1
movsd -0xd0(%rbp), %xmm0
ucomisd %xmm1, %xmm0
jbe 0x15fec
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16310
movq -0x70(%rbp), %rcx
movsd %xmm0, -0xd8(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16320
movaps %xmm0, %xmm1
movsd -0xd8(%rbp), %xmm0
ucomisd %xmm1, %xmm0
jbe 0x15fec
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16310
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd 0x17fe(%rip), %xmm0     # 0x17510
addsd %xmm1, %xmm0
movsd %xmm0, -0xe8(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16320
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0xe8(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd %xmm0, -0xe0(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16300
movaps %xmm0, %xmm1
movsd -0xe0(%rbp), %xmm0
subsd %xmm1, %xmm0
sqrtsd %xmm0, %xmm0
movsd %xmm0, -0x28(%rbp)
movsd -0x28(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x15dd3
jp 0x15dd3
movq -0x80(%rbp), %rdi
movsd 0x1747(%rip), %xmm0     # 0x17510
callq 0x16330
jmp 0x162f2
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16440
movq -0x70(%rbp), %rcx
movsd %xmm0, -0x118(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16430
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0x118(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd 0x11ee(%rip), %xmm1     # 0x17048
mulsd -0x28(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0xf0(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16410
movq -0x70(%rbp), %rcx
movsd %xmm0, -0x110(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16420
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0x110(%rbp), %xmm0
addsd %xmm1, %xmm0
movsd 0x115a(%rip), %xmm1     # 0x17048
mulsd -0x28(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0xf8(%rbp)
movsd -0x28(%rbp), %xmm0
movsd 0x113c(%rip), %xmm1     # 0x17048
divsd %xmm1, %xmm0
movsd %xmm0, -0x100(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x163c0
movq -0x70(%rbp), %rcx
movsd %xmm0, -0x108(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x163b0
movsd -0x108(%rbp), %xmm2
movsd -0x100(%rbp), %xmm1
movaps %xmm0, %xmm3
movsd -0xf8(%rbp), %xmm0
addsd %xmm3, %xmm2
movsd 0x10a1(%rip), %xmm3     # 0x17048
mulsd -0x28(%rbp), %xmm3
divsd %xmm3, %xmm2
leaq -0x40(%rbp), %rdi
callq 0x163d0
movq -0x80(%rbp), %rdi
movsd -0xf0(%rbp), %xmm0
leaq -0x40(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x16370
jmp 0x162f2
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16320
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd 0x14e3(%rip), %xmm0     # 0x17510
addsd %xmm1, %xmm0
movsd %xmm0, -0x128(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16300
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0x128(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd %xmm0, -0x120(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16310
movaps %xmm0, %xmm1
movsd -0x120(%rbp), %xmm0
subsd %xmm1, %xmm0
sqrtsd %xmm0, %xmm0
movsd %xmm0, -0x48(%rbp)
movsd -0x48(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x160ee
jp 0x160ee
movq -0x80(%rbp), %rdi
movsd 0x142c(%rip), %xmm0     # 0x17510
callq 0x16330
jmp 0x162f2
movq -0x70(%rbp), %rcx
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16420
movq -0x70(%rbp), %rcx
movsd %xmm0, -0x150(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16410
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0x150(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd 0xed3(%rip), %xmm1      # 0x17048
mulsd -0x48(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0x130(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16430
movq -0x70(%rbp), %rcx
movsd %xmm0, -0x148(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x16440
movq -0x70(%rbp), %rcx
movaps %xmm0, %xmm1
movsd -0x148(%rbp), %xmm0
addsd %xmm1, %xmm0
movsd 0xe3f(%rip), %xmm1      # 0x17048
mulsd -0x48(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0x138(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x163c0
movq -0x70(%rbp), %rcx
movsd %xmm0, -0x140(%rbp)
movq 0x40(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x40(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups 0x20(%rcx), %xmm2
movups 0x30(%rcx), %xmm3
movups %xmm3, 0x30(%rax)
movups %xmm2, 0x20(%rax)
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x163b0
movsd -0x140(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x138(%rbp), %xmm0
addsd %xmm2, %xmm1
movsd 0xda7(%rip), %xmm2      # 0x17048
mulsd -0x48(%rbp), %xmm2
divsd %xmm2, %xmm1
movsd -0x48(%rbp), %xmm2
movsd 0xd91(%rip), %xmm3      # 0x17048
divsd %xmm3, %xmm2
leaq -0x60(%rbp), %rdi
callq 0x163d0
movq -0x80(%rbp), %rdi
movsd -0x130(%rbp), %xmm0
leaq -0x60(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x16370
movq -0x78(%rbp), %rax
leaq 0x1a0(%rsp), %rsp
popq %rbp
retq