// File: /workspace/github_cpp_makefile_star2_O1/PeterDenton[P]Nu-Pert/src/Exact.cpp
// Function: Exact::UMNSm(double, double)
Matrix<std::complex<double> > UMNSm(double a, double delta)
{
	double t12m = atan2(sqrt(s12msq(a)), sqrt(c12msq(a)));
	double t13m = atan2(sqrt(s13msq(a)), sqrt(c13msq(a)));
	double t23m = atan2(sqrt(s23msq(a, delta)), sqrt(c23msq(a, delta)));
	double deltam = atan2(sdeltam(a, delta), cdeltam(a, delta));

	Matrix<std::complex<double> > U12m = U12(t12m);
	Matrix<std::complex<double> > U13m = U13(t13m);
	Matrix<std::complex<double> > U23m = U23(deltam, t23m);

	return U23m * U13m * U12m;
}

// Assembly:
pushq %rbx
subq $0xc0, %rsp
movsd %xmm1, 0x20(%rsp)
movq %rdi, %rbx
movsd %xmm0, (%rsp)
callq 0x48b5
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x5080
sqrtsd %xmm0, %xmm0
jmp 0x5085
callq 0x2120
movsd %xmm0, 0x18(%rsp)
movsd (%rsp), %xmm0
callq 0x48b5
movapd %xmm0, %xmm1
movsd 0x8f77(%rip), %xmm0     # 0xe018
subsd %xmm1, %xmm0
ucomisd 0x92ab(%rip), %xmm0     # 0xe358
jb 0x50b8
xorps %xmm1, %xmm1
sqrtsd %xmm0, %xmm1
jmp 0x50c1
callq 0x2120
movapd %xmm0, %xmm1
movsd 0x18(%rsp), %xmm0
callq 0x2060
movsd %xmm0, 0x18(%rsp)
movsd (%rsp), %xmm0
callq 0x4aac
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x50ec
sqrtsd %xmm0, %xmm0
jmp 0x50f1
callq 0x2120
movsd %xmm0, 0x10(%rsp)
movsd (%rsp), %xmm0
callq 0x4aac
movapd %xmm0, %xmm1
movsd 0x8f0b(%rip), %xmm0     # 0xe018
subsd %xmm1, %xmm0
ucomisd 0x923f(%rip), %xmm0     # 0xe358
jb 0x5124
xorps %xmm1, %xmm1
sqrtsd %xmm0, %xmm1
jmp 0x512d
callq 0x2120
movapd %xmm0, %xmm1
movsd 0x10(%rsp), %xmm0
callq 0x2060
movsd %xmm0, 0x10(%rsp)
movsd (%rsp), %xmm0
movsd 0x20(%rsp), %xmm1
callq 0x4bf1
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x515e
sqrtsd %xmm0, %xmm0
jmp 0x5163
callq 0x2120
movsd %xmm0, 0x8(%rsp)
movsd (%rsp), %xmm0
movsd 0x20(%rsp), %xmm1
callq 0x4bf1
movsd 0x8e97(%rip), %xmm1     # 0xe018
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
ucomisd 0x91c7(%rip), %xmm1     # 0xe358
jb 0x519c
xorps %xmm1, %xmm1
sqrtsd %xmm0, %xmm1
jmp 0x51a5
callq 0x2120
movapd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
callq 0x2060
movsd %xmm0, 0x28(%rsp)
movsd (%rsp), %xmm0
movsd 0x20(%rsp), %xmm1
callq 0x4ecc
movsd %xmm0, 0x8(%rsp)
movsd (%rsp), %xmm0
movsd 0x20(%rsp), %xmm1
callq 0x4cf5
movaps %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
callq 0x2060
movsd %xmm0, (%rsp)
leaq 0xa8(%rsp), %rdi
movsd 0x18(%rsp), %xmm0
callq 0x3d1d
leaq 0x90(%rsp), %rdi
movsd 0x10(%rsp), %xmm0
callq 0x3bf7
leaq 0x78(%rsp), %rdi
movsd (%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
callq 0x3a86
leaq 0x48(%rsp), %rdi
leaq 0x90(%rsp), %rsi
callq 0xa502
leaq 0x60(%rsp), %rdi
leaq 0x78(%rsp), %rsi
leaq 0x48(%rsp), %rdx
callq 0xa842
leaq 0x30(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
callq 0xa502
leaq 0x60(%rsp), %rsi
leaq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0xa842
leaq 0x30(%rsp), %rdi
callq 0xa582
leaq 0x60(%rsp), %rdi
callq 0xa582
leaq 0x48(%rsp), %rdi
callq 0xa582
leaq 0x78(%rsp), %rdi
callq 0xa582
leaq 0x90(%rsp), %rdi
callq 0xa582
leaq 0xa8(%rsp), %rdi
callq 0xa582
movq %rbx, %rax
addq $0xc0, %rsp
popq %rbx
retq
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xa582
jmp 0x52d4
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0xa582
jmp 0x52e3
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xa582
jmp 0x52f2
movq %rax, %rbx
leaq 0x78(%rsp), %rdi
callq 0xa582
jmp 0x5301
movq %rax, %rbx
leaq 0x90(%rsp), %rdi
callq 0xa582
leaq 0xa8(%rsp), %rdi
callq 0xa582
movq %rbx, %rdi
callq 0x22a0
movq %rax, %rbx
jmp 0x530e