#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 DBL_EPSILON;
double DBL_MIN;
double fabs(double);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ printf(char *, int);
int /*<<< orphan*/ stderr;
double betacf(double a, double b, double x) {
  int m, m2;
  double aa, c, d, del, h, qab, qam, qap;
  qab = a + b;
  qap = a + 1.0;
  qam = a - 1.0;
  c = 1.0;
  d = 1.0 - qab * x / qap;
  if (fabs(d) < DBL_MIN)
    d = DBL_MIN;
  d = 1.0 / d;
  h = d;
  for (m = 1; m <= 100; m++) {
    m2 = 2 * m;
    aa = m * (b - m) * x / ((qam + m2) * (a + m2));
    d = 1.0 + aa * d;
    if (fabs(d) < DBL_MIN)
      d = DBL_MIN;
    c = 1.0 + aa / c;
    if (fabs(c) < DBL_MIN)
      c = DBL_MIN;
    d = 1.0 / d;
    h *= d * c;
    aa = -(a + m) * (qab + m) * x / ((a + m2) * (qap + m2));
    d = 1.0 + aa * d;
    if (fabs(d) < DBL_MIN)
      d = DBL_MIN;
    c = 1.0 + aa / c;
    if (fabs(c) < DBL_MIN)
      c = DBL_MIN;
    d = 1.0 / d;
    del = d * c;
    h *= del;
    if (fabs(del - 1.0) < DBL_EPSILON)
      break;
  }
  if (m > 100) {
    fprintf(stderr, "a or b too big, or MAXIT too small in betacf");
  }
  if (0)
    printf("betacf iters = %d\n", m);
  return h;
}


x86 assembly (clang, -O0):
<betacf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  -0x8(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xed2(%rip),%xmm0
addsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x8(%rbp),%xmm0
movsd  0xebb(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xeaa(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x50(%rbp),%xmm1
mulsd  -0x18(%rbp),%xmm1
divsd  -0x60(%rbp),%xmm1
movsd  0xe8e(%rip),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm1
movaps 0xe69(%rip),%xmm0
pand   %xmm0,%xmm1
mov    0x2e2e(%rip),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    11c0 <betacf+0xb0>
mov    0x2e19(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xe48(%rip),%xmm0
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x1,-0x1c(%rbp)
cmpl   $0x64,-0x1c(%rbp)
jg     1487 <betacf+0x377>
mov    -0x1c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x20(%rbp)
cvtsi2sdl -0x1c(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
cvtsi2sdl -0x1c(%rbp),%xmm2
subsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm1
cvtsi2sdl -0x20(%rbp),%xmm2
addsd  %xmm2,%xmm1
movsd  -0x8(%rbp),%xmm2
cvtsi2sdl -0x20(%rbp),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xdbf(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm1
movaps 0xd9a(%rip),%xmm0
pand   %xmm0,%xmm1
mov    0x2d5f(%rip),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    128f <betacf+0x17f>
mov    0x2d4a(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x28(%rbp),%xmm1
divsd  -0x30(%rbp),%xmm1
movsd  0xd6f(%rip),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm1
movaps 0xd4a(%rip),%xmm0
pand   %xmm0,%xmm1
mov    0x2d0f(%rip),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    12df <betacf+0x1cf>
mov    0x2cfa(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xd29(%rip),%xmm0
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x8(%rbp),%xmm0
cvtsi2sdl -0x1c(%rbp),%xmm1
addsd  %xmm1,%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0x50(%rbp),%xmm1
cvtsi2sdl -0x1c(%rbp),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  -0x8(%rbp),%xmm1
cvtsi2sdl -0x20(%rbp),%xmm2
addsd  %xmm2,%xmm1
movsd  -0x60(%rbp),%xmm2
cvtsi2sdl -0x20(%rbp),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xc90(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm1
movaps 0xc6b(%rip),%xmm0
pand   %xmm0,%xmm1
mov    0x2c30(%rip),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    13be <betacf+0x2ae>
mov    0x2c1b(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x28(%rbp),%xmm1
divsd  -0x30(%rbp),%xmm1
movsd  0xc40(%rip),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm1
movaps 0xc1b(%rip),%xmm0
pand   %xmm0,%xmm1
mov    0x2be0(%rip),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    140e <betacf+0x2fe>
mov    0x2bcb(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xbfa(%rip),%xmm0
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x40(%rbp),%xmm1
movsd  0xbc5(%rip),%xmm0
subsd  %xmm0,%xmm1
movaps 0xbaa(%rip),%xmm0
pand   %xmm0,%xmm1
mov    0x2b87(%rip),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    1474 <betacf+0x364>
jmp    1487 <betacf+0x377>
jmp    1479 <betacf+0x369>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11e3 <betacf+0xd3>
cmpl   $0x64,-0x1c(%rbp)
jle    14a6 <betacf+0x396>
mov    0x2b40(%rip),%rax
mov    (%rax),%edi
lea    0xb77(%rip),%rsi
call   1030 <fprintf@plt>
movsd  -0x48(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<betacf>:
sub    $0x18,%rsp
movapd %xmm0,%xmm12
movsd  %xmm1,0x10(%rsp)
addsd  %xmm1,%xmm12
movsd  0xed3(%rip),%xmm15
movapd %xmm0,%xmm13
addsd  %xmm15,%xmm13
movsd  0xec9(%rip),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movapd %xmm12,%xmm1
mulsd  %xmm2,%xmm1
divsd  %xmm13,%xmm1
movapd %xmm15,%xmm3
subsd  %xmm1,%xmm3
movapd 0xea8(%rip),%xmm1
andpd  %xmm3,%xmm1
mov    0x2e5d(%rip),%rax
movsd  (%rax),%xmm11
cmpltsd %xmm11,%xmm1
movapd %xmm1,%xmm4
andnpd %xmm3,%xmm4
andpd  %xmm11,%xmm1
orpd   %xmm4,%xmm1
movapd %xmm15,%xmm4
divsd  %xmm1,%xmm4
mov    0x2e49(%rip),%rax
movsd  (%rax),%xmm9
mov    $0x1,%eax
mov    $0x2,%ecx
movapd 0xe59(%rip),%xmm14
movapd %xmm15,%xmm3
movsd  %xmm4,(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xorps  %xmm5,%xmm5
cvtsi2sd %eax,%xmm5
movsd  0x10(%rsp),%xmm1
subsd  %xmm5,%xmm1
mulsd  %xmm5,%xmm1
mulsd  %xmm2,%xmm1
xorps  %xmm6,%xmm6
cvtsi2sd %ecx,%xmm6
movsd  0x8(%rsp),%xmm8
addsd  %xmm6,%xmm8
movapd %xmm6,%xmm10
addsd  %xmm0,%xmm10
mulsd  %xmm10,%xmm8
divsd  %xmm8,%xmm1
mulsd  %xmm1,%xmm4
addsd  %xmm15,%xmm4
movapd %xmm4,%xmm7
andpd  %xmm14,%xmm7
cmpltsd %xmm11,%xmm7
movapd %xmm7,%xmm8
andnpd %xmm4,%xmm8
andpd  %xmm11,%xmm7
orpd   %xmm8,%xmm7
divsd  %xmm3,%xmm1
addsd  %xmm15,%xmm1
movapd %xmm1,%xmm3
andpd  %xmm14,%xmm3
cmpltsd %xmm11,%xmm3
movapd %xmm3,%xmm4
andnpd %xmm1,%xmm4
andpd  %xmm11,%xmm3
orpd   %xmm4,%xmm3
movapd %xmm15,%xmm1
divsd  %xmm7,%xmm1
movapd %xmm1,%xmm4
mulsd  %xmm3,%xmm4
movsd  (%rsp),%xmm7
mulsd  %xmm4,%xmm7
movapd %xmm12,%xmm4
addsd  %xmm5,%xmm4
addsd  %xmm0,%xmm5
xorpd  0xd8c(%rip),%xmm5
mulsd  %xmm4,%xmm5
mulsd  %xmm2,%xmm5
addsd  %xmm13,%xmm6
mulsd  %xmm10,%xmm6
divsd  %xmm6,%xmm5
mulsd  %xmm5,%xmm1
addsd  %xmm15,%xmm1
movapd %xmm1,%xmm6
andpd  %xmm14,%xmm6
cmpltsd %xmm11,%xmm6
movapd %xmm6,%xmm4
andnpd %xmm1,%xmm4
andpd  %xmm11,%xmm6
orpd   %xmm4,%xmm6
divsd  %xmm3,%xmm5
addsd  %xmm15,%xmm5
movapd %xmm5,%xmm3
andpd  %xmm14,%xmm3
cmpltsd %xmm11,%xmm3
movapd %xmm3,%xmm1
andnpd %xmm5,%xmm1
andpd  %xmm11,%xmm3
orpd   %xmm1,%xmm3
movapd %xmm15,%xmm4
divsd  %xmm6,%xmm4
movapd %xmm4,%xmm1
mulsd  %xmm3,%xmm1
mulsd  %xmm1,%xmm7
addsd  0xcef(%rip),%xmm1
andpd  %xmm14,%xmm1
ucomisd %xmm1,%xmm9
ja     1356 <betacf+0x246>
movsd  %xmm7,(%rsp)
add    $0x1,%eax
add    $0x2,%ecx
cmp    $0xca,%ecx
jne    11d0 <betacf+0xc0>
mov    0x2c95(%rip),%rax
mov    (%rax),%edi
lea    0xce4(%rip),%rsi
call   1030 <fprintf@plt>
movsd  (%rsp),%xmm7
movapd %xmm7,%xmm0
add    $0x18,%rsp
ret

LLVM IR (-O0):
@DBL_MIN = global double 0.000000e+00
@DBL_EPSILON = global double 0.000000e+00
@stderr = global i32 0
@.str = [45 x i8] c"a or b too big, or MAXIT too small in betacf\00"
define double @betacf(double %0, double %1, double %2) {
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca i32
%8 = alloca i32
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
store double %0, double* %4
store double %1, double* %5
store double %2, double* %6
%17 = load double, double* %4
%18 = load double, double* %5
%19 = fadd double %17, %18
store double %19, double* %14
%20 = load double, double* %4
%21 = fadd double %20, 1.000000e+00
store double %21, double* %16
%22 = load double, double* %4
%23 = fsub double %22, 1.000000e+00
store double %23, double* %15
store double 1.000000e+00, double* %10
%24 = load double, double* %14
%25 = load double, double* %6
%26 = fmul double %24, %25
%27 = load double, double* %16
%28 = fdiv double %26, %27
%29 = fsub double 1.000000e+00, %28
store double %29, double* %11
%30 = load double, double* %11
%31 = call double @llvm.fabs.f64(double %30)
%32 = load double, double* @DBL_MIN
%33 = fcmp olt double %31, %32
br i1 %33, label %34, label %36
34: ; preds = %3
%35 = load double, double* @DBL_MIN
store double %35, double* %11
br label %36
36: ; preds = %34, %3
%37 = load double, double* %11
%38 = fdiv double 1.000000e+00, %37
store double %38, double* %11
%39 = load double, double* %11
store double %39, double* %13
store i32 1, i32* %7
br label %40
40: ; preds = %151, %36
%41 = load i32, i32* %7
%42 = icmp sle i32 %41, 100
br i1 %42, label %43, label %154
43: ; preds = %40
%44 = load i32, i32* %7
%45 = mul nsw i32 2, %44
store i32 %45, i32* %8
%46 = load i32, i32* %7
%47 = sitofp i32 %46 to double
%48 = load double, double* %5
%49 = load i32, i32* %7
%50 = sitofp i32 %49 to double
%51 = fsub double %48, %50
%52 = fmul double %47, %51
%53 = load double, double* %6
%54 = fmul double %52, %53
%55 = load double, double* %15
%56 = load i32, i32* %8
%57 = sitofp i32 %56 to double
%58 = fadd double %55, %57
%59 = load double, double* %4
%60 = load i32, i32* %8
%61 = sitofp i32 %60 to double
%62 = fadd double %59, %61
%63 = fmul double %58, %62
%64 = fdiv double %54, %63
store double %64, double* %9
%65 = load double, double* %9
%66 = load double, double* %11
%67 = call double @llvm.fmuladd.f64(double %65, double %66, double 1.000000e+00)
store double %67, double* %11
%68 = load double, double* %11
%69 = call double @llvm.fabs.f64(double %68)
%70 = load double, double* @DBL_MIN
%71 = fcmp olt double %69, %70
br i1 %71, label %72, label %74
72: ; preds = %43
%73 = load double, double* @DBL_MIN
store double %73, double* %11
br label %74
74: ; preds = %72, %43
%75 = load double, double* %9
%76 = load double, double* %10
%77 = fdiv double %75, %76
%78 = fadd double 1.000000e+00, %77
store double %78, double* %10
%79 = load double, double* %10
%80 = call double @llvm.fabs.f64(double %79)
%81 = load double, double* @DBL_MIN
%82 = fcmp olt double %80, %81
br i1 %82, label %83, label %85
83: ; preds = %74
%84 = load double, double* @DBL_MIN
store double %84, double* %10
br label %85
85: ; preds = %83, %74
%86 = load double, double* %11
%87 = fdiv double 1.000000e+00, %86
store double %87, double* %11
%88 = load double, double* %11
%89 = load double, double* %10
%90 = fmul double %88, %89
%91 = load double, double* %13
%92 = fmul double %91, %90
store double %92, double* %13
%93 = load double, double* %4
%94 = load i32, i32* %7
%95 = sitofp i32 %94 to double
%96 = fadd double %93, %95
%97 = fneg double %96
%98 = load double, double* %14
%99 = load i32, i32* %7
%100 = sitofp i32 %99 to double
%101 = fadd double %98, %100
%102 = fmul double %97, %101
%103 = load double, double* %6
%104 = fmul double %102, %103
%105 = load double, double* %4
%106 = load i32, i32* %8
%107 = sitofp i32 %106 to double
%108 = fadd double %105, %107
%109 = load double, double* %16
%110 = load i32, i32* %8
%111 = sitofp i32 %110 to double
%112 = fadd double %109, %111
%113 = fmul double %108, %112
%114 = fdiv double %104, %113
store double %114, double* %9
%115 = load double, double* %9
%116 = load double, double* %11
%117 = call double @llvm.fmuladd.f64(double %115, double %116, double 1.000000e+00)
store double %117, double* %11
%118 = load double, double* %11
%119 = call double @llvm.fabs.f64(double %118)
%120 = load double, double* @DBL_MIN
%121 = fcmp olt double %119, %120
br i1 %121, label %122, label %124
122: ; preds = %85
%123 = load double, double* @DBL_MIN
store double %123, double* %11
br label %124
124: ; preds = %122, %85
%125 = load double, double* %9
%126 = load double, double* %10
%127 = fdiv double %125, %126
%128 = fadd double 1.000000e+00, %127
store double %128, double* %10
%129 = load double, double* %10
%130 = call double @llvm.fabs.f64(double %129)
%131 = load double, double* @DBL_MIN
%132 = fcmp olt double %130, %131
br i1 %132, label %133, label %135
133: ; preds = %124
%134 = load double, double* @DBL_MIN
store double %134, double* %10
br label %135
135: ; preds = %133, %124
%136 = load double, double* %11
%137 = fdiv double 1.000000e+00, %136
store double %137, double* %11
%138 = load double, double* %11
%139 = load double, double* %10
%140 = fmul double %138, %139
store double %140, double* %12
%141 = load double, double* %12
%142 = load double, double* %13
%143 = fmul double %142, %141
store double %143, double* %13
%144 = load double, double* %12
%145 = fsub double %144, 1.000000e+00
%146 = call double @llvm.fabs.f64(double %145)
%147 = load double, double* @DBL_EPSILON
%148 = fcmp olt double %146, %147
br i1 %148, label %149, label %150
149: ; preds = %135
br label %154
150: ; preds = %135
br label %151
151: ; preds = %150
%152 = load i32, i32* %7
%153 = add nsw i32 %152, 1
store i32 %153, i32* %7
br label %40
154: ; preds = %149, %40
%155 = load i32, i32* %7
%156 = icmp sgt i32 %155, 100
br i1 %156, label %157, label %160
157: ; preds = %154
%158 = load i32, i32* @stderr
%159 = call i32 @fprintf(i32 %158, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str, i64 0, i64 0))
br label %160
160: ; preds = %157, %154
%161 = load double, double* %13
ret double %161
}

LLVM IR (-O2):
@DBL_MIN = global double 0.000000e+00
@DBL_EPSILON = global double 0.000000e+00
@stderr = global i32 0
@.str = [45 x i8] c"a or b too big, or MAXIT too small in betacf\00"
define double @betacf(double %0, double %1, double %2) {
%4 = fadd double %0, %1
%5 = fadd double %0, 1.000000e+00
%6 = fadd double %0, -1.000000e+00
%7 = fmul double %4, %2
%8 = fdiv double %7, %5
%9 = fsub double 1.000000e+00, %8
%10 = tail call double @llvm.fabs.f64(double %9)
%11 = load double, double* @DBL_MIN
%12 = fcmp olt double %10, %11
%13 = select i1 %12, double %11, double %9
%14 = fdiv double 1.000000e+00, %13
%15 = load double, double* @DBL_EPSILON
br label %19
16: ; preds = %19
%17 = add nuw nsw i32 %20, 1
%18 = icmp eq i32 %17, 101
br i1 %18, label %69, label %19
19: ; preds = %3, %16
%20 = phi i32 [ 1, %3 ], [ %17, %16 ]
%21 = phi double [ 1.000000e+00, %3 ], [ %62, %16 ]
%22 = phi double [ %14, %3 ], [ %65, %16 ]
%23 = phi double [ %14, %3 ], [ %63, %16 ]
%24 = shl nuw nsw i32 %20, 1
%25 = sitofp i32 %20 to double
%26 = fsub double %1, %25
%27 = fmul double %26, %25
%28 = fmul double %27, %2
%29 = sitofp i32 %24 to double
%30 = fadd double %6, %29
%31 = fadd double %29, %0
%32 = fmul double %30, %31
%33 = fdiv double %28, %32
%34 = tail call double @llvm.fmuladd.f64(double %33, double %23, double 1.000000e+00)
%35 = tail call double @llvm.fabs.f64(double %34)
%36 = fcmp olt double %35, %11
%37 = select i1 %36, double %11, double %34
%38 = fdiv double %33, %21
%39 = fadd double %38, 1.000000e+00
%40 = tail call double @llvm.fabs.f64(double %39)
%41 = fcmp olt double %40, %11
%42 = select i1 %41, double %11, double %39
%43 = fdiv double 1.000000e+00, %37
%44 = fmul double %43, %42
%45 = fmul double %22, %44
%46 = fadd double %25, %0
%47 = fneg double %46
%48 = fadd double %4, %25
%49 = fmul double %48, %47
%50 = fmul double %49, %2
%51 = fadd double %5, %29
%52 = fmul double %31, %51
%53 = fdiv double %50, %52
%54 = tail call double @llvm.fmuladd.f64(double %53, double %43, double 1.000000e+00)
%55 = tail call double @llvm.fabs.f64(double %54)
%56 = fcmp olt double %55, %11
%57 = select i1 %56, double %11, double %54
%58 = fdiv double %53, %42
%59 = fadd double %58, 1.000000e+00
%60 = tail call double @llvm.fabs.f64(double %59)
%61 = fcmp olt double %60, %11
%62 = select i1 %61, double %11, double %59
%63 = fdiv double 1.000000e+00, %57
%64 = fmul double %63, %62
%65 = fmul double %45, %64
%66 = fadd double %64, -1.000000e+00
%67 = tail call double @llvm.fabs.f64(double %66)
%68 = fcmp olt double %67, %15
br i1 %68, label %72, label %16
69: ; preds = %16
%70 = load i32, i32* @stderr
%71 = tail call i32 @fprintf(i32 %70, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str, i64 0, i64 0))
br label %72
72: ; preds = %19, %69
ret double %65
}