// File: PeterDenton[P]Nu-Pert/src/GF.cpp
// Function: GF::G1(int, int, double, double)
double G1(int alpha, int Beta, double a, double delta)
{
	double spsi = sin(Check::psi(a));
	Matrix<std::complex<double> > U = Check::UMNSm(a, delta);
	double deltaalphabeta = alpha == Beta ? 1 : 0;
	return -spsi * std::real((U(alpha, 0) * std::conj(U(Beta, 2)) + U(alpha, 2) * std::conj(U(Beta, 0)))
				* (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 0x2060
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 0xa566(%rip), %xmm0     # 0x12018
xorps %xmm1, %xmm1
movsd %xmm1, 0xf0(%rsp)
movsd %xmm0, 0xf8(%rsp)
je 0x7adb
movsd 0xf0(%rsp), %xmm0
movsd %xmm0, 0xf8(%rsp)
movq 0xe8(%rsp), %rdi
movsd 0xf8(%rsp), %xmm0
movsd %xmm0, 0x1b8(%rsp)
movaps 0xa524(%rip), %xmm1     # 0x12020
movsd 0x1d8(%rsp), %xmm0
pxor %xmm1, %xmm0
movsd %xmm0, 0xd8(%rsp)
movslq 0x1f4(%rsp), %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0xce30
movq %rax, 0xe0(%rsp)
jmp 0x7b2d
movslq 0x1f0(%rsp), %rsi
leaq 0x1c0(%rsp), %rdi
movl $0x2, %edx
callq 0xce30
movq %rax, 0xd0(%rsp)
jmp 0x7b51
movq 0xd0(%rsp), %rdi
callq 0x46f0
movsd %xmm1, 0xc0(%rsp)
movsd %xmm0, 0xc8(%rsp)
jmp 0x7b72
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 0x7bbf
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 0x7c07
movslq 0x1f0(%rsp), %rsi
xorl %eax, %eax
movl %eax, %edx
leaq 0x1c0(%rsp), %rdi
callq 0xce30
movq %rax, 0xa0(%rsp)
jmp 0x7c2a
movq 0xa0(%rsp), %rdi
callq 0x46f0
movsd %xmm1, 0x90(%rsp)
movsd %xmm0, 0x98(%rsp)
jmp 0x7c4b
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 0x7c98
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 0x7cdf
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 0x7d30
movq 0x68(%rsp), %rdi
callq 0x46f0
movsd %xmm1, 0x58(%rsp)
movsd %xmm0, 0x60(%rsp)
jmp 0x7d48
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 0x7d89
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 0x7dc8
movq 0x40(%rsp), %rsi
leaq 0x118(%rsp), %rdi
callq 0x46b0
movsd %xmm1, 0x30(%rsp)
movsd %xmm0, 0x38(%rsp)
jmp 0x7de8
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 0x7e29
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 0x7e6a
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 0x7e9d
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
nopl (%rax)