// File: /workspace/github_cpp_makefile_star2_O3/PeterDenton[P]Nu-Pert/src/Hat.cpp
// Function: Hat::Pemu(double, double, double)
double Pemu(double a, double LE, double delta)
{
	double L4E = km_per_GeV_to_per_eV2 * LE / 4; // in eV^-2 now

	double Dlpm = lp(a) - lm(a);
	double Dlp0 = lp(a) - l0(a);
	double Dlm0 = lm(a) - l0(a);

	double Deltapm = Dlpm * L4E;
	double Deltap0 = Dlp0 * L4E;
	double Deltam0 = Dlm0 * L4E;

	double A = s23sq * pow(sin(2 * t13), 2) + 4 * eps * Jr * cos(delta) * (Dlpm - (Dmsqee - a)) / Dlp0;
	double B = 8 * eps * Jr * pow(Dmsqee, 3) / (Dlpm * Dlp0 * Dlm0);
	double C = sin(Deltapm) * sin(Deltam0) * cos(delta - Deltap0);

	double P = A * pow(Dmsqee * sin(Deltapm) / Dlpm, 2) + B * C;
	ProbabilityWarning W(&P);
	return P;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movsd %xmm2, 0x88(%rsp)
leaq 0xbd61(%rip), %rbx      # 0x13188
movsd (%rbx), %xmm2
leaq 0xbd6a(%rip), %r15      # 0x1319c
movl (%r15), %ebp
movapd %xmm2, %xmm3
subsd %xmm0, %xmm3
leaq 0x6e64(%rip), %rax      # 0xe2a8
movsd (%rax), %xmm7
mulsd 0x70c0(%rip), %xmm7     # 0xe510
mulsd %xmm3, %xmm3
movapd %xmm0, 0x10(%rsp)
mulsd %xmm0, %xmm7
movapd %xmm7, %xmm0
movapd %xmm2, 0x50(%rsp)
mulsd %xmm2, %xmm0
addsd %xmm3, %xmm0
xorpd %xmm2, %xmm2
ucomisd %xmm2, %xmm0
movsd %xmm7, 0x20(%rsp)
movsd %xmm1, 0x8(%rsp)
jb 0x748d
sqrtsd %xmm0, %xmm10
jmp 0x74a1
callq 0x2120
xorpd %xmm2, %xmm2
movsd 0x20(%rsp), %xmm7
movapd %xmm0, %xmm10
leaq 0x6e80(%rip), %r13      # 0xe328
leaq 0xbce1(%rip), %r14      # 0x13190
movsd (%r14), %xmm11
movsd (%rbx), %xmm9
leaq 0x6dd8(%rip), %rax      # 0xe298
movsd (%rax), %xmm6
movl (%r15), %r12d
movapd %xmm9, %xmm1
subsd 0x10(%rsp), %xmm1
mulsd %xmm1, %xmm1
movapd %xmm7, %xmm0
mulsd %xmm9, %xmm0
addsd %xmm1, %xmm0
ucomisd %xmm2, %xmm0
jb 0x74ef
sqrtsd %xmm0, %xmm0
jmp 0x7530
movapd %xmm6, 0x30(%rsp)
movapd %xmm9, 0x40(%rsp)
movapd %xmm10, 0x70(%rsp)
movapd %xmm11, 0x60(%rsp)
callq 0x2120
movapd 0x60(%rsp), %xmm11
movapd 0x70(%rsp), %xmm10
movapd 0x40(%rsp), %xmm9
movsd 0x20(%rsp), %xmm7
movapd 0x30(%rsp), %xmm6
movsd 0x8(%rsp), %xmm3
unpcklpd %xmm0, %xmm10           # xmm10 = xmm10[0],xmm0[0]
mulsd (%r13), %xmm3
movsd (%rbx), %xmm5
movapd 0x50(%rsp), %xmm2
unpcklpd %xmm9, %xmm2            # xmm2 = xmm2[0],xmm9[0]
movapd 0x10(%rsp), %xmm4
movapd %xmm4, %xmm8
unpcklpd %xmm4, %xmm8            # xmm8 = xmm8[0],xmm4[0]
movd %r12d, %xmm0
movd %ebp, %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
cvtdq2pd %xmm1, %xmm0
movapd %xmm8, 0x70(%rsp)
addpd %xmm8, %xmm2
mulpd %xmm10, %xmm0
movhpd (%r14), %xmm11          # xmm11 = xmm11[0],mem[0]
unpcklpd %xmm5, %xmm9            # xmm9 = xmm9[0],xmm5[0]
mulpd %xmm11, %xmm9
unpcklpd %xmm6, %xmm6            # xmm6 = xmm6[0,0]
mulpd %xmm6, %xmm9
movapd %xmm2, %xmm1
addpd %xmm0, %xmm1
subpd %xmm0, %xmm2
movsd %xmm1, %xmm2            # xmm2 = xmm1[0],xmm2[1]
mulpd 0x710e(%rip), %xmm2     # 0xe6c0
addpd %xmm9, %xmm2
movapd %xmm2, %xmm0
unpckhpd %xmm2, %xmm0            # xmm0 = xmm0[1],xmm2[1]
subpd %xmm0, %xmm2
movapd %xmm2, 0x50(%rsp)
movl (%r15), %ebp
movapd %xmm5, %xmm1
subsd %xmm4, %xmm1
mulsd %xmm1, %xmm1
movapd %xmm7, %xmm0
movapd %xmm5, 0x40(%rsp)
mulsd %xmm5, %xmm0
addsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
movapd %xmm6, 0x30(%rsp)
jb 0x7605
xorps %xmm9, %xmm9
sqrtsd %xmm0, %xmm9
jmp 0x7625
movsd %xmm3, 0x8(%rsp)
callq 0x2120
xorpd %xmm1, %xmm1
movsd 0x20(%rsp), %xmm7
movsd 0x8(%rsp), %xmm3
movapd %xmm0, %xmm9
mulsd 0x6d0b(%rip), %xmm3     # 0xe338
movsd (%r14), %xmm8
movsd (%rbx), %xmm5
leaq 0x6c83(%rip), %rax      # 0xe2c0
movsd (%rax), %xmm6
movl (%r15), %r15d
movapd %xmm5, %xmm0
subsd 0x10(%rsp), %xmm0
mulsd %xmm0, %xmm0
mulsd %xmm5, %xmm7
addsd %xmm0, %xmm7
ucomisd %xmm1, %xmm7
jb 0x7669
xorps %xmm0, %xmm0
sqrtsd %xmm7, %xmm0
jmp 0x76be
movapd %xmm7, %xmm0
movsd %xmm3, 0x8(%rsp)
movapd %xmm5, 0x20(%rsp)
movapd %xmm6, 0x60(%rsp)
movapd %xmm8, 0xa0(%rsp)
movapd %xmm9, 0x90(%rsp)
callq 0x2120
movapd 0x90(%rsp), %xmm9
movapd 0xa0(%rsp), %xmm8
movapd 0x60(%rsp), %xmm6
movapd 0x20(%rsp), %xmm5
movsd 0x8(%rsp), %xmm3
movapd 0x30(%rsp), %xmm2
unpcklpd %xmm0, %xmm9            # xmm9 = xmm9[0],xmm0[0]
movapd 0x40(%rsp), %xmm4
unpcklpd %xmm5, %xmm4            # xmm4 = xmm4[0],xmm5[0]
addpd 0x70(%rsp), %xmm4
movd %r15d, %xmm0
movd %ebp, %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
cvtdq2pd %xmm1, %xmm0
movhpd (%r14), %xmm8           # xmm8 = xmm8[0],mem[0]
mulpd %xmm9, %xmm0
movhpd (%rbx), %xmm5           # xmm5 = xmm5[0],mem[0]
movapd %xmm8, %xmm1
mulpd %xmm5, %xmm1
mulpd %xmm1, %xmm2
movapd %xmm4, %xmm1
addpd %xmm0, %xmm1
subpd %xmm0, %xmm4
movsd %xmm1, %xmm4            # xmm4 = xmm1[0],xmm4[1]
mulpd 0x6fa3(%rip), %xmm4     # 0xe6c0
addpd %xmm2, %xmm4
unpcklpd %xmm6, %xmm6            # xmm6 = xmm6[0,0]
mulpd %xmm8, %xmm6
mulpd %xmm5, %xmm6
subpd %xmm6, %xmm4
movapd %xmm4, 0x40(%rsp)
movapd %xmm3, %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x20(%rsp)
movapd %xmm3, %xmm0
mulsd %xmm4, %xmm0
movsd %xmm0, 0x70(%rsp)
unpckhpd %xmm4, %xmm4            # xmm4 = xmm4[1,1]
movapd %xmm4, 0x60(%rsp)
mulsd %xmm4, %xmm3
movsd %xmm3, 0x8(%rsp)
leaq 0x6b2f(%rip), %r15      # 0xe2a0
leaq 0x6ba0(%rip), %rax      # 0xe318
movsd (%rax), %xmm0
addsd %xmm0, %xmm0
callq 0x2070
movsd (%r14), %xmm1
mulsd 0x6d7e(%rip), %xmm1     # 0xe510
mulsd %xmm0, %xmm0
movsd %xmm0, 0x30(%rsp)
leaq 0x6b7d(%rip), %rax      # 0xe320
movsd (%rax), %xmm0
movsd %xmm0, 0xa0(%rsp)
mulsd %xmm0, %xmm1
movsd %xmm1, 0x90(%rsp)
movsd 0x88(%rsp), %xmm0
callq 0x22c0
mulsd 0x90(%rsp), %xmm0
movsd (%rbx), %xmm2
movapd %xmm2, %xmm1
subsd 0x10(%rsp), %xmm1
movapd 0x50(%rsp), %xmm3
subsd %xmm1, %xmm3
mulsd %xmm0, %xmm3
divsd 0x40(%rsp), %xmm3
movsd 0x30(%rsp), %xmm0
mulsd (%r15), %xmm0
addsd %xmm3, %xmm0
movsd %xmm0, 0x30(%rsp)
movsd (%r14), %xmm0
mulsd 0x6d00(%rip), %xmm0     # 0xe518
mulsd 0xa0(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd 0x6b19(%rip), %xmm1     # 0xe348
movapd %xmm2, %xmm0
callq 0x2290
mulsd 0x10(%rsp), %xmm0
movapd 0x50(%rsp), %xmm1
mulsd 0x40(%rsp), %xmm1
mulsd 0x60(%rsp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
movsd 0x20(%rsp), %xmm0
callq 0x2070
movsd %xmm0, 0x40(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x2070
mulsd 0x40(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movsd 0x88(%rsp), %xmm0
subsd 0x70(%rsp), %xmm0
callq 0x22c0
mulsd 0x8(%rsp), %xmm0
mulsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movsd (%rbx), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd 0x20(%rsp), %xmm0
callq 0x2070
mulsd 0x10(%rsp), %xmm0
divsd 0x50(%rsp), %xmm0
mulsd %xmm0, %xmm0
mulsd 0x30(%rsp), %xmm0
addsd 0x8(%rsp), %xmm0
leaq 0xb8(%rsp), %rbx
movsd %xmm0, (%rbx)
leaq 0xc0(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0xcf56
movsd (%rbx), %xmm0
movsd %xmm0, 0x50(%rsp)
movq %r14, %rdi
callq 0xcaf4
movsd 0x50(%rsp), %xmm0
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq