#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 */
int /*<<< orphan*/ M_PI;
double atof(char *);
double copysign(double, double);
double erf(double);
double exp(double);
double fabs(double);
int /*<<< orphan*/ log(double);
double sqrt(int /*<<< orphan*/);
double TH_erfinv(double y) {
  double x, z, num, dem;
  double a[4] = {0.886226899, -1.645349621, 0.914624893, -0.140543331};
  double b[4] = {-2.118377725, 1.442710462, -0.329097515, 0.012229801};
  double c[4] = {-1.970840454, -1.624906493, 3.429567803, 1.641345311};
  double d[2] = {3.543889200, 1.637067800};
  if (fabs(y) > 1.0)
    return (atof("NaN"));
  if (fabs(y) == 1.0)
    return ((copysign(1.0, y)) * atof("INFINITY"));
  if (fabs(y) <= 0.7) {
    z = y * y;
    num = (((a[3] * z + a[2]) * z + a[1]) * z + a[0]);
    dem = ((((b[3] * z + b[2]) * z + b[1]) * z + b[0]) * z + 1.0);
    x = y * num / dem;
  } else {
    z = sqrt(-log((1.0 - fabs(y)) / 2.0));
    num = ((c[3] * z + c[2]) * z + c[1]) * z + c[0];
    dem = (d[1] * z + d[0]) * z + 1.0;
    x = (copysign(1.0, y)) * num / dem;
  }
  x = x - (erf(x) - y) / ((2.0 / sqrt(M_PI)) * exp(-x * x));
  x = x - (erf(x) - y) / ((2.0 / sqrt(M_PI)) * exp(-x * x));
  return (x);
}


x86 assembly (clang, -O0):
<TH_erfinv>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
movsd  %xmm0,-0x10(%rbp)
mov    0xef9(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    0xef6(%rip),%rax
mov    %rax,-0x48(%rbp)
mov    0xef3(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    0xef0(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    0xeed(%rip),%rax
mov    %rax,-0x70(%rbp)
mov    0xeea(%rip),%rax
mov    %rax,-0x68(%rbp)
mov    0xee7(%rip),%rax
mov    %rax,-0x60(%rbp)
mov    0xee4(%rip),%rax
mov    %rax,-0x58(%rbp)
mov    0xee1(%rip),%rax
mov    %rax,-0x90(%rbp)
mov    0xedb(%rip),%rax
mov    %rax,-0x88(%rbp)
mov    0xed5(%rip),%rax
mov    %rax,-0x80(%rbp)
mov    0xed2(%rip),%rax
mov    %rax,-0x78(%rbp)
mov    0xe5f(%rip),%rax
mov    %rax,-0xa0(%rbp)
mov    0xe59(%rip),%rax
mov    %rax,-0x98(%rbp)
movsd  -0x10(%rbp),%xmm0
movaps 0xe0e(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xde2(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    123e <TH_erfinv+0xee>
lea    0xe91(%rip),%rdi
call   1030 <atof@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    15af <TH_erfinv+0x45f>
movsd  -0x10(%rbp),%xmm0
movaps 0xdd6(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xdaa(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    12ae <TH_erfinv+0x15e>
jp     12ae <TH_erfinv+0x15e>
movsd  -0x10(%rbp),%xmm0
movaps 0xdbe(%rip),%xmm1
pand   %xmm1,%xmm0
movaps 0xdc3(%rip),%xmm1
por    %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
lea    0xe34(%rip),%rdi
call   1030 <atof@plt>
movaps %xmm0,%xmm1
movsd  -0xa8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15af <TH_erfinv+0x45f>
movsd  -0x10(%rbp),%xmm1
movaps 0xd66(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  0xd42(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     138d <TH_erfinv+0x23d>
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x48(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x68(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x70(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xc95(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x10(%rbp),%xmm0
mulsd  -0x28(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    146f <TH_erfinv+0x31f>
movsd  -0x10(%rbp),%xmm1
movaps 0xc87(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  0xc5b(%rip),%xmm0
subsd  %xmm1,%xmm0
movsd  0xc5f(%rip),%xmm1
divsd  %xmm1,%xmm0
call   1050 <log@plt>
xor    %edi,%edi
sub    %eax,%edi
call   1060 <sqrt@plt>
movsd  %xmm0,-0x20(%rbp)
movsd  -0x78(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x80(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x88(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x90(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x98(%rbp),%xmm0
ff
movsd  -0x20(%rbp),%xmm2
movsd  -0xa0(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xbc4(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x10(%rbp),%xmm0
movaps 0xbdf(%rip),%xmm1
pand   %xmm1,%xmm0
movaps 0xbe4(%rip),%xmm1
por    %xmm1,%xmm0
mulsd  -0x28(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1070 <erf@plt>
subsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
mov    0x2b4e(%rip),%rax
mov    (%rax),%edi
call   1060 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  0xb64(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x18(%rbp),%xmm0
call   1040 <exp@plt>
movsd  -0xd8(%rbp),%xmm2
ff
movsd  -0xd0(%rbp),%xmm1
ff
movaps %xmm0,%xmm3
movsd  -0xc8(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm2
divsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1070 <erf@plt>
subsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
mov    0x2ab3(%rip),%rax
mov    (%rax),%edi
call   1060 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  0xac9(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x18(%rbp),%xmm0
call   1040 <exp@plt>
movsd  -0xc0(%rbp),%xmm2
ff
movsd  -0xb8(%rbp),%xmm1
ff
movaps %xmm0,%xmm3
movsd  -0xb0(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm2
divsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<TH_erfinv>:
push   %rbx
sub    $0x40,%rsp
movapd 0xea3(%rip),%xmm1
andpd  %xmm0,%xmm1
ucomisd 0xec7(%rip),%xmm1
jbe    117c <TH_erfinv+0x2c>
lea    0xf4e(%rip),%rdi
add    $0x40,%rsp
pop    %rbx
jmp    1030 <atof@plt>
movapd %xmm0,%xmm2
ucomisd 0xea8(%rip),%xmm1
jne    11bd <TH_erfinv+0x6d>
jp     11bd <TH_erfinv+0x6d>
andpd  0xe7c(%rip),%xmm2
orpd   0xe84(%rip),%xmm2
movapd %xmm2,0x10(%rsp)
lea    0xf1b(%rip),%rdi
call   1030 <atof@plt>
movapd %xmm0,%xmm1
mulsd  0x10(%rsp),%xmm1
jmp    13a5 <TH_erfinv+0x255>
movsd  0xe73(%rip),%xmm0
ucomisd %xmm1,%xmm0
movapd %xmm2,0x10(%rsp)
jae    1263 <TH_erfinv+0x113>
movsd  0xe53(%rip),%xmm0
subsd  %xmm1,%xmm0
mulsd  0xe97(%rip),%xmm0
call   1050 <log@plt>
neg    %eax
mov    %eax,%edi
call   1060 <sqrt@plt>
movsd  0xe89(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xe85(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xe81(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xe7d(%rip),%xmm1
movsd  0xe7d(%rip),%xmm2
mulsd  %xmm0,%xmm2
addsd  0xe79(%rip),%xmm2
mulsd  %xmm0,%xmm2
addsd  0xded(%rip),%xmm2
movapd 0xdc5(%rip),%xmm0
andpd  0x10(%rsp),%xmm0
orpd   0xdc7(%rip),%xmm0
mulsd  %xmm1,%xmm0
divsd  %xmm2,%xmm0
jmp    12d7 <TH_erfinv+0x187>
movapd %xmm2,%xmm3
mulsd  %xmm2,%xmm3
movsd  0xdcd(%rip),%xmm0
mulsd  %xmm3,%xmm0
addsd  0xdc9(%rip),%xmm0
mulsd  %xmm3,%xmm0
addsd  0xdc5(%rip),%xmm0
mulsd  %xmm3,%xmm0
addsd  0xdc1(%rip),%xmm0
movsd  0xdc1(%rip),%xmm1
mulsd  %xmm3,%xmm1
addsd  0xdbd(%rip),%xmm1
mulsd  %xmm3,%xmm1
addsd  0xdb9(%rip),%xmm1
mulsd  %xmm3,%xmm1
addsd  0xdb5(%rip),%xmm1
mulsd  %xmm3,%xmm1
addsd  0xd61(%rip),%xmm1
mulsd  %xmm2,%xmm0
divsd  %xmm1,%xmm0
movapd %xmm0,(%rsp)
call   1070 <erf@plt>
subsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x38(%rsp)
mov    0x2cf4(%rip),%rbx
mov    (%rbx),%edi
call   1060 <sqrt@plt>
movsd  0xdb5(%rip),%xmm1
movsd  %xmm1,0x28(%rsp)
divsd  %xmm0,%xmm1
movsd  %xmm1,0x30(%rsp)
movapd (%rsp),%xmm0
xorpd  0xcf0(%rip),%xmm0
mulsd  (%rsp),%xmm0
call   1040 <exp@plt>
mulsd  0x30(%rsp),%xmm0
movsd  0x38(%rsp),%xmm1
divsd  %xmm0,%xmm1
movapd (%rsp),%xmm0
subsd  %xmm1,%xmm0
movapd %xmm0,(%rsp)
movapd (%rsp),%xmm0
call   1070 <erf@plt>
subsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
mov    (%rbx),%edi
call   1060 <sqrt@plt>
movsd  0x28(%rsp),%xmm1
divsd  %xmm0,%xmm1
movsd  %xmm1,0x28(%rsp)
movapd 0xc93(%rip),%xmm0
xorpd  (%rsp),%xmm0
mulsd  (%rsp),%xmm0
call   1040 <exp@plt>
movapd (%rsp),%xmm1
mulsd  0x28(%rsp),%xmm0
movsd  0x10(%rsp),%xmm2
divsd  %xmm0,%xmm2
subsd  %xmm2,%xmm1
movapd %xmm1,%xmm0
add    $0x40,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@__const.TH_erfinv.a = [4 x double] [double 0x3FEC5BF883814BBC, double 0xBFFA535A1FCAE55B, double 0x3FED449B6C715C28, double 0xBFC1FD52E9286F82]
@__const.TH_erfinv.b = [4 x double] [double 0xC000F270054B995C, double 0x3FF7155790BE315C, double 0xBFD50FEF0607ABF1, double 0x3F890BF01AA717A9]
@__const.TH_erfinv.c = [4 x double] [double 0xBFFF888FFFF9054B, double 0xBFF9FF9DF367E38B, double 0x400B6FC13E8A6585, double 0x3FFA42F34D0301D7]
@__const.TH_erfinv.d = [2 x double] [double 0x400C59E294B52E4B, double 0x3FFA316E01655ACE]
@.str = [4 x i8] c"NaN\00"
@.str.1 = [9 x i8] c"INFINITY\00"
@M_PI = global i32 0
define double @TH_erfinv(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca [4 x double]
%9 = alloca [4 x double]
%10 = alloca [4 x double]
%11 = alloca [2 x double]
store double %0, double* %3
%12 = bitcast [4 x double]* %8 to i8*
%13 = bitcast [4 x double]* %9 to i8*
%14 = bitcast [4 x double]* %10 to i8*
%15 = bitcast [2 x double]* %11 to i8*
%16 = load double, double* %3
%17 = call double @llvm.fabs.f64(double %16)
%18 = fcmp ogt double %17, 1.000000e+00
br i1 %18, label %19, label %21
19: ; preds = %1
%20 = call double @atof(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
store double %20, double* %2
br label %143
21: ; preds = %1
%22 = load double, double* %3
%23 = call double @llvm.fabs.f64(double %22)
%24 = fcmp oeq double %23, 1.000000e+00
br i1 %24, label %25, label %30
25: ; preds = %21
%26 = load double, double* %3
%27 = call double @llvm.copysign.f64(double 1.000000e+00, double %26)
%28 = call double @atof(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
%29 = fmul double %27, %28
store double %29, double* %2
br label %143
30: ; preds = %21
%31 = load double, double* %3
%32 = call double @llvm.fabs.f64(double %31)
%33 = fcmp ole double %32, 0x3FE6666666666666
br i1 %33, label %34, label %73
34: ; preds = %30
%35 = load double, double* %3
%36 = load double, double* %3
%37 = fmul double %35, %36
store double %37, double* %5
%38 = getelementptr inbounds [4 x double], [4 x double]* %8, i64 0, i64 3
%39 = load double, double* %38
%40 = load double, double* %5
%41 = getelementptr inbounds [4 x double], [4 x double]* %8, i64 0, i64 2
%42 = load double, double* %41
%43 = call double @llvm.fmuladd.f64(double %39, double %40, double %42)
%44 = load double, double* %5
%45 = getelementptr inbounds [4 x double], [4 x double]* %8, i64 0, i64 1
%46 = load double, double* %45
%47 = call double @llvm.fmuladd.f64(double %43, double %44, double %46)
%48 = load double, double* %5
%49 = getelementptr inbounds [4 x double], [4 x double]* %8, i64 0, i64 0
%50 = load double, double* %49
%51 = call double @llvm.fmuladd.f64(double %47, double %48, double %50)
store double %51, double* %6
%52 = getelementptr inbounds [4 x double], [4 x double]* %9, i64 0, i64 3
%53 = load double, double* %52
%54 = load double, double* %5
%55 = getelementptr inbounds [4 x double], [4 x double]* %9, i64 0, i64 2
%56 = load double, double* %55
%57 = call double @llvm.fmuladd.f64(double %53, double %54, double %56)
%58 = load double, double* %5
%59 = getelementptr inbounds [4 x double], [4 x double]* %9, i64 0, i64 1
%60 = load double, double* %59
%61 = call double @llvm.fmuladd.f64(double %57, double %58, double %60)
%62 = load double, double* %5
%63 = getelementptr inbounds [4 x double], [4 x double]* %9, i64 0, i64 0
%64 = load double, double* %63
%65 = call double @llvm.fmuladd.f64(double %61, double %62, double %64)
%66 = load double, double* %5
%67 = call double @llvm.fmuladd.f64(double %65, double %66, double 1.000000e+00)
store double %67, double* %7
%68 = load double, double* %3
%69 = load double, double* %6
%70 = fmul double %68, %69
%71 = load double, double* %7
%72 = fdiv double %70, %71
store double %72, double* %4
br label %109
73: ; preds = %30
%74 = load double, double* %3
%75 = call double @llvm.fabs.f64(double %74)
%76 = fsub double 1.000000e+00, %75
%77 = fdiv double %76, 2.000000e+00
%78 = call i32 @log(double %77)
%79 = sub nsw i32 0, %78
%80 = call double @sqrt(i32 %79)
store double %80, double* %5
%81 = getelementptr inbounds [4 x double], [4 x double]* %10, i64 0, i64 3
%82 = load double, double* %81
%83 = load double, double* %5
%84 = getelementptr inbounds [4 x double], [4 x double]* %10, i64 0, i64 2
%85 = load double, double* %84
%86 = call double @llvm.fmuladd.f64(double %82, double %83, double %85)
%87 = load double, double* %5
%88 = getelementptr inbounds [4 x double], [4 x double]* %10, i64 0, i64 1
%89 = load double, double* %88
%90 = call double @llvm.fmuladd.f64(double %86, double %87, double %89)
%91 = load double, double* %5
%92 = getelementptr inbounds [4 x double], [4 x double]* %10, i64 0, i64 0
%93 = load double, double* %92
%94 = call double @llvm.fmuladd.f64(double %90, double %91, double %93)
store double %94, double* %6
%95 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 1
%96 = load double, double* %95
%97 = load double, double* %5
%98 = getelementptr inbounds [2 x double], [2 x double]* %11, i64 0, i64 0
%99 = load double, double* %98
%100 = call double @llvm.fmuladd.f64(double %96, double %97, double %99)
%101 = load double, double* %5
%102 = call double @llvm.fmuladd.f64(double %100, double %101, double 1.000000e+00)
store double %102, double* %7
%103 = load double, double* %3
%104 = call double @llvm.copysign.f64(double 1.000000e+00, double %103)
%105 = load double, double* %6
%106 = fmul double %104, %105
%107 = load double, double* %7
%108 = fdiv double %106, %107
store double %108, double* %4
br label %109
109: ; preds = %73, %34
%110 = load double, double* %4
%111 = load double, double* %4
%112 = call double @erf(double %111)
%113 = load double, double* %3
%114 = fsub double %112, %113
%115 = load i32, i32* @M_PI
%116 = call double @sqrt(i32 %115)
%117 = fdiv double 2.000000e+00, %116
%118 = load double, double* %4
%119 = fneg double %118
%120 = load double, double* %4
%121 = fmul double %119, %120
%122 = call double @exp(double %121)
%123 = fmul double %117, %122
%124 = fdiv double %114, %123
%125 = fsub double %110, %124
store double %125, double* %4
%126 = load double, double* %4
%127 = load double, double* %4
%128 = call double @erf(double %127)
%129 = load double, double* %3
%130 = fsub double %128, %129
%131 = load i32, i32* @M_PI
%132 = call double @sqrt(i32 %131)
%133 = fdiv double 2.000000e+00, %132
%134 = load double, double* %4
%135 = fneg double %134
%136 = load double, double* %4
%137 = fmul double %135, %136
%138 = call double @exp(double %137)
%139 = fmul double %133, %138
%140 = fdiv double %130, %139
%141 = fsub double %126, %140
store double %141, double* %4
%142 = load double, double* %4
store double %142, double* %2
br label %143
143: ; preds = %109, %25, %19
%144 = load double, double* %2
ret double %144
}

LLVM IR (-O2):
@.str = [4 x i8] c"NaN\00"
@.str.1 = [9 x i8] c"INFINITY\00"
@M_PI = global i32 0
define double @TH_erfinv(double %0) {
%2 = tail call double @llvm.fabs.f64(double %0)
%3 = fcmp ogt double %2, 1.000000e+00
br i1 %3, label %4, label %6
4: ; preds = %1
%5 = tail call double @atof(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
br label %63
6: ; preds = %1
%7 = fcmp oeq double %2, 1.000000e+00
br i1 %7, label %8, label %12
8: ; preds = %6
%9 = tail call double @llvm.copysign.f64(double 1.000000e+00, double %0)
%10 = tail call double @atof(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.1, i64 0, i64 0))
%11 = fmul double %9, %10
br label %63
12: ; preds = %6
%13 = fcmp ugt double %2, 0x3FE6666666666666
br i1 %13, label %25, label %14
14: ; preds = %12
%15 = fmul double %0, %0
%16 = tail call double @llvm.fmuladd.f64(double %15, double 0xBFC1FD52E9286F82, double 0x3FED449B6C715C28)
%17 = tail call double @llvm.fmuladd.f64(double %16, double %15, double 0xBFFA535A1FCAE55B)
%18 = tail call double @llvm.fmuladd.f64(double %17, double %15, double 0x3FEC5BF883814BBC)
%19 = tail call double @llvm.fmuladd.f64(double %15, double 0x3F890BF01AA717A9, double 0xBFD50FEF0607ABF1)
%20 = tail call double @llvm.fmuladd.f64(double %19, double %15, double 0x3FF7155790BE315C)
%21 = tail call double @llvm.fmuladd.f64(double %20, double %15, double 0xC000F270054B995C)
%22 = tail call double @llvm.fmuladd.f64(double %21, double %15, double 1.000000e+00)
%23 = fmul double %18, %0
%24 = fdiv double %23, %22
br label %39
25: ; preds = %12
%26 = fsub double 1.000000e+00, %2
%27 = fmul double %26, 5.000000e-01
%28 = tail call i32 @log(double %27)
%29 = sub nsw i32 0, %28
%30 = tail call double @sqrt(i32 %29)
%31 = tail call double @llvm.fmuladd.f64(double %30, double 0x3FFA42F34D0301D7, double 0x400B6FC13E8A6585)
%32 = tail call double @llvm.fmuladd.f64(double %31, double %30, double 0xBFF9FF9DF367E38B)
%33 = tail call double @llvm.fmuladd.f64(double %32, double %30, double 0xBFFF888FFFF9054B)
%34 = tail call double @llvm.fmuladd.f64(double %30, double 0x3FFA316E01655ACE, double 0x400C59E294B52E4B)
%35 = tail call double @llvm.fmuladd.f64(double %34, double %30, double 1.000000e+00)
%36 = tail call double @llvm.copysign.f64(double 1.000000e+00, double %0)
%37 = fmul double %36, %33
%38 = fdiv double %37, %35
br label %39
39: ; preds = %25, %14
%40 = phi double [ %24, %14 ], [ %38, %25 ]
%41 = tail call double @erf(double %40)
%42 = fsub double %41, %0
%43 = load i32, i32* @M_PI
%44 = tail call double @sqrt(i32 %43)
%45 = fdiv double 2.000000e+00, %44
%46 = fneg double %40
%47 = fmul double %40, %46
%48 = tail call double @exp(double %47)
%49 = fmul double %45, %48
%50 = fdiv double %42, %49
%51 = fsub double %40, %50
%52 = tail call double @erf(double %51)
%53 = fsub double %52, %0
%54 = load i32, i32* @M_PI
%55 = tail call double @sqrt(i32 %54)
%56 = fdiv double 2.000000e+00, %55
%57 = fneg double %51
%58 = fmul double %51, %57
%59 = tail call double @exp(double %58)
%60 = fmul double %56, %59
%61 = fdiv double %53, %60
%62 = fsub double %51, %61
br label %63
63: ; preds = %39, %8, %4
%64 = phi double [ %5, %4 ], [ %11, %8 ], [ %62, %39 ]
ret double %64
}