_Bool isOuterMB(double q, double e, double i) {
  if (e > .4)
    return 0;
  double a = q / (1 - e);
  return a > 2.8 && a < 3.25 && i < ((a - 2.8) / .45) * 16 + 20;
}


x86 assembly (clang, -O0):
<isOuterMB>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  0xee0(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1133 <isOuterMB+0x33>
movb   $0x0,-0x1(%rbp)
jmp    11ce <isOuterMB+0xce>
movsd  -0x10(%rbp),%xmm0
movsd  0xed0(%rip),%xmm1
subsd  -0x18(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
xor    %eax,%eax
movsd  0xeab(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x29(%rbp)
jbe    11c6 <isOuterMB+0xc6>
xor    %eax,%eax
movsd  0xea4(%rip),%xmm0
ucomisd -0x28(%rbp),%xmm0
mov    %al,-0x29(%rbp)
jbe    11c6 <isOuterMB+0xc6>
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
movsd  0xe74(%rip),%xmm2
subsd  %xmm2,%xmm0
movsd  0xe90(%rip),%xmm2
divsd  %xmm2,%xmm0
movsd  0xe74(%rip),%xmm2
mulsd  %xmm2,%xmm0
movsd  0xe70(%rip),%xmm2
addsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
and    $0x1,%al
mov    %al,-0x1(%rbp)
mov    -0x1(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isOuterMB>:
ucomisd 0xef8(%rip),%xmm1
jbe    110d <isOuterMB+0xd>
xor    %eax,%eax
ret
movsd  0xef3(%rip),%xmm3
subsd  %xmm1,%xmm3
divsd  %xmm3,%xmm0
xor    %eax,%eax
ucomisd 0xee9(%rip),%xmm0
jbe    115e <isOuterMB+0x5e>
movsd  0xee7(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    115e <isOuterMB+0x5e>
addsd  0xee1(%rip),%xmm0
divsd  0xee1(%rip),%xmm0
mulsd  0xee1(%rip),%xmm0
addsd  0xee1(%rip),%xmm0
ucomisd %xmm2,%xmm0
seta   %al
ret

LLVM IR (-O0):
define zeroext i1 @isOuterMB(double %0, double %1, double %2) {
%4 = alloca i1
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
store double %0, double* %5
store double %1, double* %6
store double %2, double* %7
%9 = load double, double* %6
%10 = fcmp ogt double %9, 4.000000e-01
br i1 %10, label %11, label %12
11: ; preds = %3
store i1 false, i1* %4
br label %31
12: ; preds = %3
%13 = load double, double* %5
%14 = load double, double* %6
%15 = fsub double 1.000000e+00, %14
%16 = fdiv double %13, %15
store double %16, double* %8
%17 = load double, double* %8
%18 = fcmp ogt double %17, 2.800000e+00
br i1 %18, label %19, label %29
19: ; preds = %12
%20 = load double, double* %8
%21 = fcmp olt double %20, 3.250000e+00
br i1 %21, label %22, label %29
22: ; preds = %19
%23 = load double, double* %7
%24 = load double, double* %8
%25 = fsub double %24, 2.800000e+00
%26 = fdiv double %25, 4.500000e-01
%27 = call double @llvm.fmuladd.f64(double %26, double 1.600000e+01, double 2.000000e+01)
%28 = fcmp olt double %23, %27
br label %29
29: ; preds = %22, %19, %12
%30 = phi i1 [ false, %19 ], [ false, %12 ], [ %28, %22 ]
store i1 %30, i1* %4
br label %31
31: ; preds = %29, %11
%32 = load i1, i1* %4
ret i1 %32
}

LLVM IR (-O2):
define zeroext i1 @isOuterMB(double %0, double %1, double %2) {
%4 = fcmp ogt double %1, 4.000000e-01
br i1 %4, label %16, label %5
5: ; preds = %3
%6 = fsub double 1.000000e+00, %1
%7 = fdiv double %0, %6
%8 = fcmp ogt double %7, 2.800000e+00
%9 = fcmp olt double %7, 3.250000e+00
%10 = and i1 %8, %9
br i1 %10, label %11, label %16
11: ; preds = %5
%12 = fadd double %7, -2.800000e+00
%13 = fdiv double %12, 4.500000e-01
%14 = tail call double @llvm.fmuladd.f64(double %13, double 1.600000e+01, double 2.000000e+01)
%15 = fcmp ogt double %14, %2
br label %16
16: ; preds = %5, %11, %3
%17 = phi i1 [ false, %3 ], [ false, %5 ], [ %15, %11 ]
ret i1 %17
}