// File: PeterDenton[P]Nu-Pert/src/GF.cpp
// Function: GF::G2(int, int, double, double)
double G2(int alpha, int Beta, double a, double delta)
{
	double cpsi = cos(Check::psi(a));
	Matrix<std::complex<double> > U = Check::UMNSm(a, delta);
	double deltaalphabeta = alpha == Beta ? 1 : 0;
	return cpsi * std::real((U(alpha, 1) * std::conj(U(Beta, 2)) + U(alpha, 2) * std::conj(U(Beta, 1)))
				* (2. * std::conj(U(alpha, 2)) * U(Beta, 2) - deltaalphabeta));
}

// Assembly:
subq $0x1f8, %rsp            # imm = 0x1F8
movl %edi, 0x1f4(%rsp)
movl %esi, 0x1f0(%rsp)
movsd %xmm0, 0x1e8(%rsp)
movsd %xmm1, 0x1e0(%rsp)
movsd 0x1e8(%rsp), %xmm0
callq 0x2ea0
callq 0x22d0
movsd %xmm0, 0x1d8(%rsp)
movsd 0x1e8(%rsp), %xmm0
movsd 0x1e0(%rsp), %xmm1
leaq 0x1c0(%rsp), %rdi
movq %rdi, 0xe8(%rsp)
callq 0x3c60
movl 0x1f4(%rsp), %eax
movl 0x1f0(%rsp), %ecx
subl %ecx, %eax
movsd 0xa096(%rip), %xmm0     # 0x12018
xorps %xmm1, %xmm1
movsd %xmm1, 0xf0(%rsp)
movsd %xmm0, 0xf8(%rsp)
je 0x7fab
movsd 0xf0(%rsp), %xmm0
movsd %xmm0, 0xf8(%rsp)
movq 0xe8(%rsp), %rdi
movsd 0xf8(%rsp), %xmm0
movsd %xmm0, 0x1b8(%rsp)
movsd 0x1d8(%rsp), %xmm0
movsd %xmm0, 0xd8(%rsp)
movslq 0x1f4(%rsp), %rsi
movl $0x1, %edx
callq 0xce30
movq %rax, 0xe0(%rsp)
jmp 0x7ff3
movslq 0x1f0(%rsp), %rsi
leaq 0x1c0(%rsp), %rdi
movl $0x2, %edx
callq 0xce30
movq %rax, 0xd0(%rsp)
jmp 0x8017
movq 0xd0(%rsp), %rdi
callq 0x46f0
movsd %xmm1, 0xc0(%rsp)
movsd %xmm0, 0xc8(%rsp)
jmp 0x8038
movq 0xe0(%rsp), %rdi
movsd 0xc0(%rsp), %xmm0
movsd 0xc8(%rsp), %xmm1
movsd %xmm1, 0x168(%rsp)
movsd %xmm0, 0x170(%rsp)
leaq 0x168(%rsp), %rsi
callq 0x46b0
movsd %xmm1, 0xb0(%rsp)
movsd %xmm0, 0xb8(%rsp)
jmp 0x8085
movsd 0xb0(%rsp), %xmm0
movsd 0xb8(%rsp), %xmm1
movsd %xmm1, 0x188(%rsp)
movsd %xmm0, 0x190(%rsp)
movslq 0x1f4(%rsp), %rsi
leaq 0x1c0(%rsp), %rdi
movl $0x2, %edx
callq 0xce30
movq %rax, 0xa8(%rsp)
jmp 0x80cd
movslq 0x1f0(%rsp), %rsi
leaq 0x1c0(%rsp), %rdi
movl $0x1, %edx
callq 0xce30
movq %rax, 0xa0(%rsp)
jmp 0x80f1
movq 0xa0(%rsp), %rdi
callq 0x46f0
movsd %xmm1, 0x90(%rsp)
movsd %xmm0, 0x98(%rsp)
jmp 0x8112
movq 0xa8(%rsp), %rdi
movsd 0x90(%rsp), %xmm0
movsd 0x98(%rsp), %xmm1
movsd %xmm1, 0x148(%rsp)
movsd %xmm0, 0x150(%rsp)
leaq 0x148(%rsp), %rsi
callq 0x46b0
movsd %xmm1, 0x80(%rsp)
movsd %xmm0, 0x88(%rsp)
jmp 0x815f
movsd 0x80(%rsp), %xmm0
movsd 0x88(%rsp), %xmm1
movsd %xmm1, 0x158(%rsp)
movsd %xmm0, 0x160(%rsp)
leaq 0x188(%rsp), %rdi
leaq 0x158(%rsp), %rsi
callq 0x9150
movsd %xmm1, 0x70(%rsp)
movsd %xmm0, 0x78(%rsp)
jmp 0x81a6
movsd 0x70(%rsp), %xmm0
movsd 0x78(%rsp), %xmm1
movsd %xmm1, 0x198(%rsp)
movsd %xmm0, 0x1a0(%rsp)
movabsq $0x4000000000000000, %rax # imm = 0x4000000000000000
movq %rax, 0x110(%rsp)
movslq 0x1f4(%rsp), %rsi
leaq 0x1c0(%rsp), %rdi
movl $0x2, %edx
callq 0xce30
movq %rax, 0x68(%rsp)
jmp 0x81f7
movq 0x68(%rsp), %rdi
callq 0x46f0
movsd %xmm1, 0x58(%rsp)
movsd %xmm0, 0x60(%rsp)
jmp 0x820f
movsd 0x58(%rsp), %xmm0
movsd 0x60(%rsp), %xmm1
movsd %xmm1, 0x100(%rsp)
movsd %xmm0, 0x108(%rsp)
leaq 0x110(%rsp), %rdi
leaq 0x100(%rsp), %rsi
callq 0x5230
movsd %xmm1, 0x48(%rsp)
movsd %xmm0, 0x50(%rsp)
jmp 0x8250
movsd 0x48(%rsp), %xmm0
movsd 0x50(%rsp), %xmm1
movsd %xmm1, 0x118(%rsp)
movsd %xmm0, 0x120(%rsp)
movslq 0x1f0(%rsp), %rsi
leaq 0x1c0(%rsp), %rdi
movl $0x2, %edx
callq 0xce30
movq %rax, 0x40(%rsp)
jmp 0x828f
movq 0x40(%rsp), %rsi
leaq 0x118(%rsp), %rdi
callq 0x46b0
movsd %xmm1, 0x30(%rsp)
movsd %xmm0, 0x38(%rsp)
jmp 0x82af
movsd 0x30(%rsp), %xmm0
movsd 0x38(%rsp), %xmm1
movsd %xmm1, 0x128(%rsp)
movsd %xmm0, 0x130(%rsp)
leaq 0x128(%rsp), %rdi
leaq 0x1b8(%rsp), %rsi
callq 0x9190
movsd %xmm1, 0x20(%rsp)
movsd %xmm0, 0x28(%rsp)
jmp 0x82f0
movsd 0x20(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
movsd %xmm1, 0x138(%rsp)
movsd %xmm0, 0x140(%rsp)
leaq 0x198(%rsp), %rdi
leaq 0x138(%rsp), %rsi
callq 0x46b0
movsd %xmm1, 0x10(%rsp)
movsd %xmm0, 0x18(%rsp)
jmp 0x8331
movsd 0x10(%rsp), %xmm0
movsd 0x18(%rsp), %xmm1
movsd %xmm1, 0x1a8(%rsp)
movsd %xmm0, 0x1b0(%rsp)
leaq 0x1a8(%rsp), %rdi
callq 0x9140
movsd %xmm0, 0x8(%rsp)
jmp 0x8364
movsd 0x8(%rsp), %xmm1
movsd 0xd8(%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, (%rsp)
leaq 0x1c0(%rsp), %rdi
callq 0xce00
movsd (%rsp), %xmm0
addq $0x1f8, %rsp            # imm = 0x1F8
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x180(%rsp)
movl %eax, 0x17c(%rsp)
leaq 0x1c0(%rsp), %rdi
callq 0xce00
movq 0x180(%rsp), %rdi
callq 0x22b0
nopw %cs:(%rax,%rax)