#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
double exp(double);
double dProbN(double x, int fUpper) {
  double p;
  double y;
  if (x < 0)
    x = -x, fUpper = !fUpper;
  else if (x == 0)
    return 0.5;
  if (!(x <= 8 || (fUpper && x <= 37)))
    return (fUpper) ? 0 : 1;
  y = x * x / 2;
  if (x <= 1.28) {
    p = 0.5 - x * (0.398942280444 -
                   0.399903438504 * y /
                       (y + 5.75885480458 -
                        29.8213557808 / (y + 2.62433121679 +
                                         48.6959930692 / (y + 5.92885724438))));
  } else {
    p = 0.398942280385 * exp(-y) /
        (x - 3.8052e-8 +
         1.00000615302 /
             (x + 3.98064794e-4 +
              1.98615381364 /
                  (x - 0.151679116635 +
                   5.29330324926 /
                       (x + 4.8385912808 -
                        15.1508972451 /
                            (x + 0.742380924027 +
                             30.789933034 / (x + 3.99019417011))))));
  }
  return (fUpper) ? p : 1 - p;
}


x86 assembly (clang, -O0):
<dProbN>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movsd  %xmm0,-0x10(%rbp)
mov    %edi,-0x14(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    1165 <dProbN+0x55>
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x10(%rbp)
cmpl   $0x0,-0x14(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
jmp    1194 <dProbN+0x84>
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    118f <dProbN+0x7f>
jp     118f <dProbN+0x7f>
movsd  0xe7b(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13be <dProbN+0x2ae>
jmp    1194 <dProbN+0x84>
movsd  0xe6c(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jae    11e2 <dProbN+0xd2>
cmpl   $0x0,-0x14(%rbp)
je     11c4 <dProbN+0xb4>
movsd  0xe57(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jae    11e2 <dProbN+0xd2>
mov    -0x14(%rbp),%edx
mov    $0x1,%eax
xor    %ecx,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13be <dProbN+0x2ae>
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  0xe2c(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xe13(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     12aa <dProbN+0x19a>
movsd  -0x10(%rbp),%xmm0
movsd  0xe9b(%rip),%xmm2
mulsd  -0x28(%rbp),%xmm2
movsd  0xe86(%rip),%xmm1
addsd  -0x28(%rbp),%xmm1
movsd  0xe71(%rip),%xmm4
addsd  -0x28(%rbp),%xmm4
movsd  0xe5c(%rip),%xmm5
addsd  -0x28(%rbp),%xmm5
movsd  0xe47(%rip),%xmm3
divsd  %xmm5,%xmm3
addsd  %xmm3,%xmm4
movsd  0xe2f(%rip),%xmm3
divsd  %xmm4,%xmm3
subsd  %xmm3,%xmm1
divsd  %xmm1,%xmm2
movsd  0xe13(%rip),%xmm1
subsd  %xmm2,%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xd64(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    1389 <dProbN+0x279>
movsd  -0x28(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
call   1030 <exp@plt>
movaps %xmm0,%xmm1
movsd  0xdaa(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  0xd91(%rip),%xmm2
subsd  %xmm2,%xmm1
movsd  0xd7d(%rip),%xmm3
addsd  -0x10(%rbp),%xmm3
movsd  -0x10(%rbp),%xmm4
movsd  0xd63(%rip),%xmm2
subsd  %xmm2,%xmm4
movsd  0xd4f(%rip),%xmm5
addsd  -0x10(%rbp),%xmm5
movsd  0xd3a(%rip),%xmm6
addsd  -0x10(%rbp),%xmm6
movsd  0xd25(%rip),%xmm7
addsd  -0x10(%rbp),%xmm7
movsd  0xd10(%rip),%xmm2
divsd  %xmm7,%xmm2
addsd  %xmm2,%xmm6
movsd  0xcf8(%rip),%xmm2
divsd  %xmm6,%xmm2
subsd  %xmm2,%xmm5
movsd  0xce0(%rip),%xmm2
divsd  %xmm5,%xmm2
addsd  %xmm2,%xmm4
movsd  0xcc8(%rip),%xmm2
divsd  %xmm4,%xmm2
addsd  %xmm2,%xmm3
movsd  0xcb0(%rip),%xmm2
divsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     13a2 <dProbN+0x292>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    13b4 <dProbN+0x2a4>
movsd  0xd16(%rip),%xmm0
subsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dProbN>:
push   %rbx
sub    $0x10,%rsp
mov    %edi,%ebx
movapd %xmm0,%xmm5
xorpd  %xmm0,%xmm0
ucomisd %xmm5,%xmm0
jbe    1138 <dProbN+0x28>
xorpd  0xf93(%rip),%xmm5
xor    %eax,%eax
test   %ebx,%ebx
sete   %al
mov    %eax,%ebx
jmp    114d <dProbN+0x3d>
ucomisd %xmm0,%xmm5
jne    114d <dProbN+0x3d>
jp     114d <dProbN+0x3d>
movsd  0xeb8(%rip),%xmm0
jmp    12eb <dProbN+0x1db>
movsd  0xeb3(%rip),%xmm0
ucomisd %xmm5,%xmm0
jae    1175 <dProbN+0x65>
movsd  0xead(%rip),%xmm0
ucomisd %xmm5,%xmm0
jb     12d9 <dProbN+0x1c9>
test   %ebx,%ebx
je     12d9 <dProbN+0x1c9>
movapd %xmm5,%xmm0
mulsd  %xmm5,%xmm0
mulsd  0xe7b(%rip),%xmm0
movsd  0xe93(%rip),%xmm1
ucomisd %xmm5,%xmm1
jae    125b <dProbN+0x14b>
xorpd  0xf21(%rip),%xmm0
movapd %xmm5,(%rsp)
call   1030 <exp@plt>
mulsd  0xeaf(%rip),%xmm0
movsd  0xeaf(%rip),%xmm1
movapd (%rsp),%xmm6
addsd  %xmm6,%xmm1
movsd  0xea6(%rip),%xmm2
addsd  %xmm6,%xmm2
movsd  0xea2(%rip),%xmm3
addsd  %xmm6,%xmm3
movsd  0xe9e(%rip),%xmm4
addsd  %xmm6,%xmm4
movsd  0xe9a(%rip),%xmm5
addsd  %xmm6,%xmm5
addsd  0xe96(%rip),%xmm6
movapd %xmm6,%xmm7
movsd  0xe92(%rip),%xmm6
divsd  %xmm7,%xmm6
addsd  %xmm5,%xmm6
movsd  0xe8a(%rip),%xmm5
divsd  %xmm6,%xmm5
addsd  %xmm4,%xmm5
movsd  0xe82(%rip),%xmm4
divsd  %xmm5,%xmm4
addsd  %xmm3,%xmm4
movsd  0xe7a(%rip),%xmm3
divsd  %xmm4,%xmm3
addsd  %xmm2,%xmm3
movsd  0xe72(%rip),%xmm2
divsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
divsd  %xmm2,%xmm0
test   %ebx,%ebx
je     12c7 <dProbN+0x1b7>
jmp    12eb <dProbN+0x1db>
movsd  0xdc5(%rip),%xmm1
mulsd  %xmm0,%xmm1
movsd  0xdc1(%rip),%xmm2
addsd  %xmm0,%xmm2
movsd  0xdbd(%rip),%xmm3
addsd  %xmm0,%xmm3
addsd  0xdb9(%rip),%xmm0
movsd  0xdb9(%rip),%xmm4
divsd  %xmm0,%xmm4
addsd  %xmm3,%xmm4
movsd  0xdb1(%rip),%xmm0
divsd  %xmm4,%xmm0
addsd  %xmm2,%xmm0
divsd  %xmm0,%xmm1
addsd  0xda5(%rip),%xmm1
mulsd  %xmm1,%xmm5
movsd  0xd41(%rip),%xmm0
subsd  %xmm5,%xmm0
test   %ebx,%ebx
jne    12eb <dProbN+0x1db>
movsd  0xd49(%rip),%xmm1
subsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
jmp    12eb <dProbN+0x1db>
test   %ebx,%ebx
je     12e3 <dProbN+0x1d3>
xorpd  %xmm0,%xmm0
jmp    12eb <dProbN+0x1db>
movsd  0xd2d(%rip),%xmm0
add    $0x10,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define double @dProbN(double %0, i32 %1) {
%3 = alloca double
%4 = alloca double
%5 = alloca i32
%6 = alloca double
%7 = alloca double
store double %0, double* %4
store i32 %1, i32* %5
%8 = load double, double* %4
%9 = fcmp olt double %8, 0.000000e+00
br i1 %9, label %10, label %17
10: ; preds = %2
%11 = load double, double* %4
%12 = fneg double %11
store double %12, double* %4
%13 = load i32, i32* %5
%14 = icmp ne i32 %13, 0
%15 = xor i1 %14, true
%16 = zext i1 %15 to i32
store i32 %16, i32* %5
br label %22
17: ; preds = %2
%18 = load double, double* %4
%19 = fcmp oeq double %18, 0.000000e+00
br i1 %19, label %20, label %21
20: ; preds = %17
store double 5.000000e-01, double* %3
br label %100
21: ; preds = %17
br label %22
22: ; preds = %21, %10
%23 = load double, double* %4
%24 = fcmp ole double %23, 8.000000e+00
br i1 %24, label %37, label %25
25: ; preds = %22
%26 = load i32, i32* %5
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %31
28: ; preds = %25
%29 = load double, double* %4
%30 = fcmp ole double %29, 3.700000e+01
br i1 %30, label %37, label %31
31: ; preds = %28, %25
%32 = load i32, i32* %5
%33 = icmp ne i32 %32, 0
%34 = zext i1 %33 to i64
%35 = select i1 %33, i32 0, i32 1
%36 = sitofp i32 %35 to double
store double %36, double* %3
br label %100
37: ; preds = %28, %22
%38 = load double, double* %4
%39 = load double, double* %4
%40 = fmul double %38, %39
%41 = fdiv double %40, 2.000000e+00
store double %41, double* %7
%42 = load double, double* %4
%43 = fcmp ole double %42, 1.280000e+00
br i1 %43, label %44, label %62
44: ; preds = %37
%45 = load double, double* %4
%46 = load double, double* %7
%47 = fmul double 0x3FD99804977BB02A, %46
%48 = load double, double* %7
%49 = fadd double %48, 0x401709113BE05594
%50 = load double, double* %7
%51 = fadd double %50, 0x4004FEA15D6FE126
%52 = load double, double* %7
%53 = fadd double %52, 0x4017B7265A7D0F22
%54 = fdiv double 0x404859164D073A74, %53
%55 = fadd double %51, %54
%56 = fdiv double 0x403DD2445F58EAA3, %55
%57 = fsub double %49, %56
%58 = fdiv double %47, %57
%59 = fsub double 0x3FD9884533DFE9B9, %58
%60 = fneg double %45
%61 = call double @llvm.fmuladd.f64(double %60, double %59, double 5.000000e-01)
store double %61, double* %6
br label %90
62: ; preds = %37
%63 = load double, double* %7
%64 = fneg double %63
%65 = call double @exp(double %64)
%66 = fmul double 0x3FD9884533CFB1F8, %65
%67 = load double, double* %4
%68 = fsub double %67, 3.805200e-08
%69 = load double, double* %4
%70 = fadd double %69, 0x3F3A166B459C7B69
%71 = load double, double* %4
%72 = fsub double %71, 0x3FC36A38A6B77CC0
%73 = load double, double* %4
%74 = fadd double %73, 0x40135AB7AC36FCAD
%75 = load double, double* %4
%76 = fadd double %75, 0x3FE7C195A3BBD8E3
%77 = load double, double* %4
%78 = fadd double %77, 0x400FEBEAEBCA7F9D
%79 = fdiv double 0x403ECA390D230F60, %78
%80 = fadd double %76, %79
%81 = fdiv double 0x402E4D42675985A1, %80
%82 = fsub double %74, %81
%83 = fdiv double 0x40152C57AFDD8769, %82
%84 = fadd double %72, %83
%85 = fdiv double 0x3FFFC74938A68D3A, %84
%86 = fadd double %70, %85
%87 = fdiv double 0x3FF0000673B05093, %86
%88 = fadd double %68, %87
%89 = fdiv double %66, %88
store double %89, double* %6
br label %90
90: ; preds = %62, %44
%91 = load i32, i32* %5
%92 = icmp ne i32 %91, 0
br i1 %92, label %93, label %95
93: ; preds = %90
%94 = load double, double* %6
br label %98
95: ; preds = %90
%96 = load double, double* %6
%97 = fsub double 1.000000e+00, %96
br label %98
98: ; preds = %95, %93
%99 = phi double [ %94, %93 ], [ %97, %95 ]
store double %99, double* %3
br label %100
100: ; preds = %98, %31, %20
%101 = load double, double* %3
ret double %101
}

LLVM IR (-O2):
define double @dProbN(double %0, i32 %1) {
%3 = fcmp olt double %0, 0.000000e+00
br i1 %3, label %4, label %8
4: ; preds = %2
%5 = fneg double %0
%6 = icmp eq i32 %1, 0
%7 = zext i1 %6 to i32
br label %10
8: ; preds = %2
%9 = fcmp oeq double %0, 0.000000e+00
br i1 %9, label %64, label %10
10: ; preds = %8, %4
%11 = phi double [ %5, %4 ], [ %0, %8 ]
%12 = phi i32 [ %7, %4 ], [ %1, %8 ]
%13 = fcmp ugt double %11, 8.000000e+00
br i1 %13, label %14, label %21
14: ; preds = %10
%15 = icmp ne i32 %12, 0
%16 = fcmp ole double %11, 3.700000e+01
%17 = and i1 %16, %15
br i1 %17, label %21, label %18
18: ; preds = %14
%19 = xor i1 %15, true
%20 = uitofp i1 %19 to double
br label %64
21: ; preds = %14, %10
%22 = fmul double %11, %11
%23 = fmul double %22, 5.000000e-01
%24 = fcmp ugt double %11, 1.280000e+00
br i1 %24, label %38, label %25
25: ; preds = %21
%26 = fmul double %23, 0x3FD99804977BB02A
%27 = fadd double %23, 0x401709113BE05594
%28 = fadd double %23, 0x4004FEA15D6FE126
%29 = fadd double %23, 0x4017B7265A7D0F22
%30 = fdiv double 0x404859164D073A74, %29
%31 = fadd double %28, %30
%32 = fdiv double 0x403DD2445F58EAA3, %31
%33 = fsub double %27, %32
%34 = fdiv double %26, %33
%35 = fsub double 0x3FD9884533DFE9B9, %34
%36 = fneg double %11
%37 = tail call double @llvm.fmuladd.f64(double %36, double %35, double 5.000000e-01)
br label %59
38: ; preds = %21
%39 = fneg double %23
%40 = tail call double @exp(double %39)
%41 = fmul double %40, 0x3FD9884533CFB1F8
%42 = fadd double %11, -3.805200e-08
%43 = fadd double %11, 0x3F3A166B459C7B69
%44 = fadd double %11, 0xBFC36A38A6B77CC0
%45 = fadd double %11, 0x40135AB7AC36FCAD
%46 = fadd double %11, 0x3FE7C195A3BBD8E3
%47 = fadd double %11, 0x400FEBEAEBCA7F9D
%48 = fdiv double 0x403ECA390D230F60, %47
%49 = fadd double %46, %48
%50 = fdiv double 0x402E4D42675985A1, %49
%51 = fsub double %45, %50
%52 = fdiv double 0x40152C57AFDD8769, %51
%53 = fadd double %44, %52
%54 = fdiv double 0x3FFFC74938A68D3A, %53
%55 = fadd double %43, %54
%56 = fdiv double 0x3FF0000673B05093, %55
%57 = fadd double %42, %56
%58 = fdiv double %41, %57
br label %59
59: ; preds = %38, %25
%60 = phi double [ %37, %25 ], [ %58, %38 ]
%61 = icmp eq i32 %12, 0
%62 = fsub double 1.000000e+00, %60
%63 = select i1 %61, double %62, double %60
br label %64
64: ; preds = %8, %59, %18
%65 = phi double [ %63, %59 ], [ %20, %18 ], [ 5.000000e-01, %8 ]
ret double %65
}