#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 fabs(double);
double probZUT(double z) {
  double Z_MAX = 5;
  double y, x, w;
  if (z == 0.0)
    x = 0.0;
  else {
    y = 0.5 * fabs(z);
    if (y >= (Z_MAX * 0.5))
      x = 1.0;
    else if (y < 1.0) {
      w = y * y;
      x = ((((((((0.000124818987 * w - 0.001075204047) * w + 0.005198775019) *
                    w -
                0.019198292004) *
                   w +
               0.059054035642) *
                  w -
              0.151968751364) *
                 w +
             0.319152932694) *
                w -
            0.531923007300) *
               w +
           0.797884560593) *
          y * 2.0;
    } else {
      y -= 2.0;
      x = (((((((((((((-0.000045255659 * y + 0.000152529290) * y -
                      0.000019538132) *
                         y -
                     0.000676904986) *
                        y +
                    0.001390604284) *
                       y -
                   0.000794620820) *
                      y -
                  0.002034254874) *
                     y +
                 0.006549791214) *
                    y -
                0.010557625006) *
                   y +
               0.011630447319) *
                  y -
              0.009279453341) *
                 y +
             0.005353579108) *
                y -
            0.002141268741) *
               y +
           0.000535310849) *
              y +
          0.999936657524;
    }
  }
  return (z < 0.0 ? ((x + 1.0) * 0.5) : ((1.0 - x) * 0.5));
}


x86 assembly (clang, -O0):
<probZUT>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  0xeef(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x8(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    113b <probZUT+0x3b>
jp     113b <probZUT+0x3b>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    13ca <probZUT+0x2ca>
movsd  -0x8(%rbp),%xmm1
movaps 0xf99(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  0xeb5(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  0xe9f(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jb     118a <probZUT+0x8a>
movsd  0xe90(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    13c5 <probZUT+0x2c5>
movsd  0xe7e(%rip),%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    1277 <probZUT+0x177>
movsd  -0x18(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  0xf17(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xf13(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xeee(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xed1(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xeb4(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe97(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe7a(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe5d(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe40(%rip),%xmm1
addsd  %xmm1,%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  0xe27(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    13c0 <probZUT+0x2c0>
movsd  -0x18(%rbp),%xmm0
movsd  0xe0c(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  0xde6(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xde2(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xdbd(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xda0(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd83(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd66(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd49(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd2c(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd0f(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xcf2(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xcd5(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xcb8(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xc9b(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xc7e(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xc61(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    13c5 <probZUT+0x2c5>
jmp    13ca <probZUT+0x2ca>
xorps  %xmm0,%xmm0
ucomisd -0x8(%rbp),%xmm0
jbe    13fb <probZUT+0x2fb>
movsd  0xc30(%rip),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  0xc1b(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    1419 <probZUT+0x319>
movsd  0xc0d(%rip),%xmm0
subsd  -0x20(%rbp),%xmm0
movsd  0xbf8(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<probZUT>:
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
xorpd  %xmm2,%xmm2
jne    1114 <probZUT+0x14>
jnp    1279 <probZUT+0x179>
movapd 0xee4(%rip),%xmm3
andpd  %xmm0,%xmm3
mulsd  0xef8(%rip),%xmm3
movsd  0xef8(%rip),%xmm2
ucomisd 0xef8(%rip),%xmm3
jae    1279 <probZUT+0x179>
ucomisd %xmm3,%xmm2
jbe    11c1 <probZUT+0xc1>
movapd %xmm3,%xmm4
mulsd  %xmm3,%xmm4
movsd  0xf64(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xf60(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xf5c(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xf58(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xf54(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xf50(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xf4c(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xf48(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xf44(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  %xmm2,%xmm2
jmp    1279 <probZUT+0x179>
addsd  0xe6f(%rip),%xmm3
movsd  0xe6f(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe6b(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe67(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe63(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe5f(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe5b(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe57(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe53(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe4f(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe4b(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe47(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe43(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe3f(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe3b(%rip),%xmm2
mulsd  %xmm3,%xmm2
addsd  0xe37(%rip),%xmm2
movapd 0xd8f(%rip),%xmm3
xorpd  %xmm2,%xmm3
cmpltsd %xmm1,%xmm0
andpd  %xmm0,%xmm2
andnpd %xmm3,%xmm0
orpd   %xmm2,%xmm0
addsd  0xd8a(%rip),%xmm0
mulsd  0xd7a(%rip),%xmm0
ret

LLVM IR (-O0):
define double @probZUT(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
store double %0, double* %2
store double 5.000000e+00, double* %3
%7 = load double, double* %2
%8 = fcmp oeq double %7, 0.000000e+00
br i1 %8, label %9, label %10
9: ; preds = %1
store double 0.000000e+00, double* %5
br label %78
10: ; preds = %1
%11 = load double, double* %2
%12 = call double @llvm.fabs.f64(double %11)
%13 = fmul double 5.000000e-01, %12
store double %13, double* %4
%14 = load double, double* %4
%15 = load double, double* %3
%16 = fmul double %15, 5.000000e-01
%17 = fcmp oge double %14, %16
br i1 %17, label %18, label %19
18: ; preds = %10
store double 1.000000e+00, double* %5
br label %77
19: ; preds = %10
%20 = load double, double* %4
%21 = fcmp olt double %20, 1.000000e+00
br i1 %21, label %22, label %45
22: ; preds = %19
%23 = load double, double* %4
%24 = load double, double* %4
%25 = fmul double %23, %24
store double %25, double* %6
%26 = load double, double* %6
%27 = call double @llvm.fmuladd.f64(double 0x3F205C3AEF25BECF, double %26, double 0xBF519DBB8DFA21CC)
%28 = load double, double* %6
%29 = call double @llvm.fmuladd.f64(double %27, double %28, double 0x3F754B4F8AF94F71)
%30 = load double, double* %6
%31 = call double @llvm.fmuladd.f64(double %29, double %30, double 0xBF93A8B7912F5918)
%32 = load double, double* %6
%33 = call double @llvm.fmuladd.f64(double %31, double %32, double 0x3FAE3C549F8EF466)
%34 = load double, double* %6
%35 = call double @llvm.fmuladd.f64(double %33, double %34, double 0xBFC373B6488FA8B0)
%36 = load double, double* %6
%37 = call double @llvm.fmuladd.f64(double %35, double %36, double 0x3FD46D006C15F74E)
%38 = load double, double* %6
%39 = call double @llvm.fmuladd.f64(double %37, double %38, double 0xBFE10583660AFDB3)
%40 = load double, double* %6
%41 = call double @llvm.fmuladd.f64(double %39, double %40, double 0x3FE9884533B75E55)
%42 = load double, double* %4
%43 = fmul double %41, %42
%44 = fmul double %43, 2.000000e+00
store double %44, double* %5
br label %76
45: ; preds = %19
%46 = load double, double* %4
%47 = fsub double %46, 2.000000e+00
store double %47, double* %4
%48 = load double, double* %4
%49 = call double @llvm.fmuladd.f64(double 0xBF07BA1C9A586733, double %48, double 0x3F23FE089FDCE2C3)
%50 = load double, double* %4
%51 = call double @llvm.fmuladd.f64(double %49, double %50, double 0xBEF47CBA351AB72F)
%52 = load double, double* %4
%53 = call double @llvm.fmuladd.f64(double %51, double %52, double 0xBF462E4A6380D6A6)
%54 = load double, double* %4
%55 = call double @llvm.fmuladd.f64(double %53, double %54, double 0x3F56C89DFAF928DD)
%56 = load double, double* %4
%57 = call double @llvm.fmuladd.f64(double %55, double %56, double 0xBF4A09C337A1A6B4)
%58 = load double, double* %4
%59 = call double @llvm.fmuladd.f64(double %57, double %58, double 0xBF60AA2444FA5608)
%60 = load double, double* %4
%61 = call double @llvm.fmuladd.f64(double %59, double %60, double 0x3F7AD3F430F4C4F3)
%62 = load double, double* %4
%63 = call double @llvm.fmuladd.f64(double %61, double %62, double 0xBF859F3C70FE5D84)
%64 = load double, double* %4
%65 = call double @llvm.fmuladd.f64(double %63, double %64, double 0x3F87D1B436FBD04B)
%66 = load double, double* %4
%67 = call double @llvm.fmuladd.f64(double %65, double %66, double 0xBF83011B24FEACC1)
%68 = load double, double* %4
%69 = call double @llvm.fmuladd.f64(double %67, double %68, double 0x3F75EDA272F76F46)
%70 = load double, double* %4
%71 = call double @llvm.fmuladd.f64(double %69, double %70, double 0xBF618A90E6DD8762)
%72 = load double, double* %4
%73 = call double @llvm.fmuladd.f64(double %71, double %72, double 0x3F418A834B799E45)
%74 = load double, double* %4
%75 = call double @llvm.fmuladd.f64(double %73, double %74, double 0x3FEFFF7B29446363)
store double %75, double* %5
br label %76
76: ; preds = %45, %22
br label %77
77: ; preds = %76, %18
br label %78
78: ; preds = %77, %9
%79 = load double, double* %2
%80 = fcmp olt double %79, 0.000000e+00
br i1 %80, label %81, label %85
81: ; preds = %78
%82 = load double, double* %5
%83 = fadd double %82, 1.000000e+00
%84 = fmul double %83, 5.000000e-01
br label %89
85: ; preds = %78
%86 = load double, double* %5
%87 = fsub double 1.000000e+00, %86
%88 = fmul double %87, 5.000000e-01
br label %89
89: ; preds = %85, %81
%90 = phi double [ %84, %81 ], [ %88, %85 ]
ret double %90
}

LLVM IR (-O2):
define double @probZUT(double %0) {
%2 = fcmp oeq double %0, 0.000000e+00
br i1 %2, label %37, label %3
3: ; preds = %1
%4 = tail call double @llvm.fabs.f64(double %0)
%5 = fmul double %4, 5.000000e-01
%6 = fcmp ult double %5, 2.500000e+00
br i1 %6, label %7, label %37
7: ; preds = %3
%8 = fcmp olt double %5, 1.000000e+00
br i1 %8, label %9, label %21
9: ; preds = %7
%10 = fmul double %5, %5
%11 = tail call double @llvm.fmuladd.f64(double %10, double 0x3F205C3AEF25BECF, double 0xBF519DBB8DFA21CC)
%12 = tail call double @llvm.fmuladd.f64(double %11, double %10, double 0x3F754B4F8AF94F71)
%13 = tail call double @llvm.fmuladd.f64(double %12, double %10, double 0xBF93A8B7912F5918)
%14 = tail call double @llvm.fmuladd.f64(double %13, double %10, double 0x3FAE3C549F8EF466)
%15 = tail call double @llvm.fmuladd.f64(double %14, double %10, double 0xBFC373B6488FA8B0)
%16 = tail call double @llvm.fmuladd.f64(double %15, double %10, double 0x3FD46D006C15F74E)
%17 = tail call double @llvm.fmuladd.f64(double %16, double %10, double 0xBFE10583660AFDB3)
%18 = tail call double @llvm.fmuladd.f64(double %17, double %10, double 0x3FE9884533B75E55)
%19 = fmul double %5, %18
%20 = fmul double %19, 2.000000e+00
br label %37
21: ; preds = %7
%22 = fadd double %5, -2.000000e+00
%23 = tail call double @llvm.fmuladd.f64(double %22, double 0xBF07BA1C9A586733, double 0x3F23FE089FDCE2C3)
%24 = tail call double @llvm.fmuladd.f64(double %23, double %22, double 0xBEF47CBA351AB72F)
%25 = tail call double @llvm.fmuladd.f64(double %24, double %22, double 0xBF462E4A6380D6A6)
%26 = tail call double @llvm.fmuladd.f64(double %25, double %22, double 0x3F56C89DFAF928DD)
%27 = tail call double @llvm.fmuladd.f64(double %26, double %22, double 0xBF4A09C337A1A6B4)
%28 = tail call double @llvm.fmuladd.f64(double %27, double %22, double 0xBF60AA2444FA5608)
%29 = tail call double @llvm.fmuladd.f64(double %28, double %22, double 0x3F7AD3F430F4C4F3)
%30 = tail call double @llvm.fmuladd.f64(double %29, double %22, double 0xBF859F3C70FE5D84)
%31 = tail call double @llvm.fmuladd.f64(double %30, double %22, double 0x3F87D1B436FBD04B)
%32 = tail call double @llvm.fmuladd.f64(double %31, double %22, double 0xBF83011B24FEACC1)
%33 = tail call double @llvm.fmuladd.f64(double %32, double %22, double 0x3F75EDA272F76F46)
%34 = tail call double @llvm.fmuladd.f64(double %33, double %22, double 0xBF618A90E6DD8762)
%35 = tail call double @llvm.fmuladd.f64(double %34, double %22, double 0x3F418A834B799E45)
%36 = tail call double @llvm.fmuladd.f64(double %35, double %22, double 0x3FEFFF7B29446363)
br label %37
37: ; preds = %3, %1, %21, %9
%38 = phi double [ %20, %9 ], [ %36, %21 ], [ 0.000000e+00, %1 ], [ 1.000000e+00, %3 ]
%39 = fcmp olt double %0, 0.000000e+00
%40 = fneg double %38
%41 = select i1 %39, double %38, double %40
%42 = fadd double %41, 1.000000e+00
%43 = fmul double %42, 5.000000e-01
ret double %43
}