#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 INFINITY;
double NAN;
double cfrac_log(double x, unsigned int n) {
  if (x == 0)
    return -INFINITY;
  if (x == INFINITY)
    return INFINITY;
  if (x < 0)
    return NAN;
  if (x == 1)
    return 0;
  double pom1 = (x - 1) / (x + 1);
  double pom2 = pom1 * pom1;
  double vysledok = 2 * n + 1;
  for (unsigned int i = n; i >= 1; i--) {
    vysledok = (2 * (double)i - 1) - (double)i * pom2 * (double)i / vysledok;
  }
  vysledok = (2 * pom1) / vysledok;
  return vysledok;
}


x86 assembly (clang, -O0):
<cfrac_log>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
mov    %edi,-0x14(%rbp)
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1150 <cfrac_log+0x50>
jp     1150 <cfrac_log+0x50>
mov    0x2eb5(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1288 <cfrac_log+0x188>
movsd  -0x10(%rbp),%xmm0
mov    0x2e84(%rip),%rax
ucomisd (%rax),%xmm0
jne    1181 <cfrac_log+0x81>
jp     1181 <cfrac_log+0x81>
mov    0x2e6d(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1288 <cfrac_log+0x188>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    11a4 <cfrac_log+0xa4>
mov    0x2e62(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1288 <cfrac_log+0x188>
movsd  -0x10(%rbp),%xmm0
movsd  0xe4f(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    11ce <cfrac_log+0xce>
jp     11ce <cfrac_log+0xce>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1288 <cfrac_log+0x188>
movsd  -0x10(%rbp),%xmm1
movsd  0xe25(%rip),%xmm2
movaps %xmm1,%xmm0
subsd  %xmm2,%xmm0
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
mulsd  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x14(%rbp),%ecx
mov    %ecx,%eax
lea    0x1(%rax,%rax,1),%eax
cvtsi2sd %rax,%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x34(%rbp)
jb     1267 <cfrac_log+0x167>
mov    -0x34(%rbp),%eax
cvtsi2sd %rax,%xmm2
movaps %xmm2,%xmm0
addsd  %xmm0,%xmm0
movsd  0xdd9(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm3
movaps %xmm2,%xmm1
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm1
divsd  -0x30(%rbp),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    1216 <cfrac_log+0x116>
movsd  0xd99(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<cfrac_log>:
movapd %xmm0,%xmm1
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm1
mov    0x2ecd(%rip),%rax
movsd  (%rax),%xmm0
jne    1124 <cfrac_log+0x24>
jp     1124 <cfrac_log+0x24>
xorpd  0xeed(%rip),%xmm0
ret
ucomisd %xmm1,%xmm0
jne    112d <cfrac_log+0x2d>
jp     112d <cfrac_log+0x2d>
ret
xorpd  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
jbe    1143 <cfrac_log+0x43>
mov    0x2eba(%rip),%rax
movsd  (%rax),%xmm0
ret
ucomisd 0xeb5(%rip),%xmm1
jne    114f <cfrac_log+0x4f>
jnp    112c <cfrac_log+0x2c>
movsd  0xeb1(%rip),%xmm0
addsd  %xmm1,%xmm0
addsd  0xe9d(%rip),%xmm1
divsd  %xmm1,%xmm0
lea    (%rdi,%rdi,1),%eax
add    $0x1,%eax
cvtsi2sd %rax,%xmm4
test   %edi,%edi
je     1188 <cfrac_log+0x88>
movapd %xmm0,%xmm1
mulsd  %xmm0,%xmm1
test   $0x1,%dil
jne    1191 <cfrac_log+0x91>
mov    %edi,%eax
jmp    11c3 <cfrac_log+0xc3>
movapd %xmm4,%xmm2
jmp    1232 <cfrac_log+0x132>
mov    %edi,%eax
cvtsi2sd %rax,%xmm3
movapd %xmm1,%xmm5
mulsd  %xmm3,%xmm5
movapd %xmm3,%xmm2
addsd  %xmm3,%xmm2
addsd  0xe58(%rip),%xmm2
mulsd  %xmm3,%xmm5
divsd  %xmm4,%xmm5
subsd  %xmm5,%xmm2
lea    -0x1(%rdi),%eax
movapd %xmm2,%xmm4
cmp    $0x1,%edi
je     1232 <cfrac_log+0x132>
movsd  0xe38(%rip),%xmm3
movapd %xmm4,%xmm2
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %eax,%ecx
xorps  %xmm4,%xmm4
cvtsi2sd %rcx,%xmm4
movapd %xmm1,%xmm5
mulsd  %xmm4,%xmm5
mulsd  %xmm4,%xmm5
addsd  %xmm4,%xmm4
addsd  %xmm3,%xmm4
divsd  %xmm2,%xmm5
lea    -0x1(%rax),%ecx
xorps  %xmm2,%xmm2
cvtsi2sd %rcx,%xmm2
subsd  %xmm5,%xmm4
movapd %xmm1,%xmm5
mulsd  %xmm2,%xmm5
mulsd  %xmm2,%xmm5
addsd  %xmm2,%xmm2
addsd  %xmm3,%xmm2
divsd  %xmm4,%xmm5
subsd  %xmm5,%xmm2
add    $0xfffffffe,%eax
jne    11e0 <cfrac_log+0xe0>
addsd  %xmm0,%xmm0
divsd  %xmm2,%xmm0
ret

LLVM IR (-O0):
@INFINITY = global double 0.000000e+00
@NAN = global double 0.000000e+00
define double @cfrac_log(double %0, i32 %1) {
%3 = alloca double
%4 = alloca double
%5 = alloca i32
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca i32
store double %0, double* %4
store i32 %1, i32* %5
%10 = load double, double* %4
%11 = fcmp oeq double %10, 0.000000e+00
br i1 %11, label %12, label %15
12: ; preds = %2
%13 = load double, double* @INFINITY
%14 = fneg double %13
store double %14, double* %3
br label %70
15: ; preds = %2
%16 = load double, double* %4
%17 = load double, double* @INFINITY
%18 = fcmp oeq double %16, %17
br i1 %18, label %19, label %21
19: ; preds = %15
%20 = load double, double* @INFINITY
store double %20, double* %3
br label %70
21: ; preds = %15
%22 = load double, double* %4
%23 = fcmp olt double %22, 0.000000e+00
br i1 %23, label %24, label %26
24: ; preds = %21
%25 = load double, double* @NAN
store double %25, double* %3
br label %70
26: ; preds = %21
%27 = load double, double* %4
%28 = fcmp oeq double %27, 1.000000e+00
br i1 %28, label %29, label %30
29: ; preds = %26
store double 0.000000e+00, double* %3
br label %70
30: ; preds = %26
%31 = load double, double* %4
%32 = fsub double %31, 1.000000e+00
%33 = load double, double* %4
%34 = fadd double %33, 1.000000e+00
%35 = fdiv double %32, %34
store double %35, double* %6
%36 = load double, double* %6
%37 = load double, double* %6
%38 = fmul double %36, %37
store double %38, double* %7
%39 = load i32, i32* %5
%40 = mul i32 2, %39
%41 = add i32 %40, 1
%42 = uitofp i32 %41 to double
store double %42, double* %8
%43 = load i32, i32* %5
store i32 %43, i32* %9
br label %44
44: ; preds = %61, %30
%45 = load i32, i32* %9
%46 = icmp uge i32 %45, 1
br i1 %46, label %47, label %64
47: ; preds = %44
%48 = load i32, i32* %9
%49 = uitofp i32 %48 to double
%50 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %49, double -1.000000e+00)
%51 = load i32, i32* %9
%52 = uitofp i32 %51 to double
%53 = load double, double* %7
%54 = fmul double %52, %53
%55 = load i32, i32* %9
%56 = uitofp i32 %55 to double
%57 = fmul double %54, %56
%58 = load double, double* %8
%59 = fdiv double %57, %58
%60 = fsub double %50, %59
store double %60, double* %8
br label %61
61: ; preds = %47
%62 = load i32, i32* %9
%63 = add i32 %62, -1
store i32 %63, i32* %9
br label %44
64: ; preds = %44
%65 = load double, double* %6
%66 = fmul double 2.000000e+00, %65
%67 = load double, double* %8
%68 = fdiv double %66, %67
store double %68, double* %8
%69 = load double, double* %8
store double %69, double* %3
br label %70
70: ; preds = %64, %29, %24, %19, %12
%71 = load double, double* %3
ret double %71
}

LLVM IR (-O2):
@INFINITY = global double 0.000000e+00
@NAN = global double 0.000000e+00
define double @cfrac_log(double %0, i32 %1) {
%3 = fcmp oeq double %0, 0.000000e+00
%4 = load double, double* @INFINITY
br i1 %3, label %5, label %7
5: ; preds = %2
%6 = fneg double %4
br label %62
7: ; preds = %2
%8 = fcmp oeq double %4, %0
br i1 %8, label %62, label %9
9: ; preds = %7
%10 = fcmp olt double %0, 0.000000e+00
br i1 %10, label %11, label %13
11: ; preds = %9
%12 = load double, double* @NAN
br label %62
13: ; preds = %9
%14 = fcmp oeq double %0, 1.000000e+00
br i1 %14, label %62, label %15
15: ; preds = %13
%16 = fadd double %0, -1.000000e+00
%17 = fadd double %0, 1.000000e+00
%18 = fdiv double %16, %17
%19 = fmul double %18, %18
%20 = shl i32 %1, 1
%21 = or i32 %20, 1
%22 = uitofp i32 %21 to double
%23 = icmp eq i32 %1, 0
br i1 %23, label %40, label %24
24: ; preds = %15
%25 = and i32 %1, 1
%26 = icmp eq i32 %25, 0
br i1 %26, label %35, label %27
27: ; preds = %24
%28 = uitofp i32 %1 to double
%29 = tail call double @llvm.fmuladd.f64(double %28, double 2.000000e+00, double -1.000000e+00)
%30 = fmul double %19, %28
%31 = fmul double %30, %28
%32 = fdiv double %31, %22
%33 = fsub double %29, %32
%34 = add i32 %1, -1
br label %35
35: ; preds = %27, %24
%36 = phi double [ undef, %24 ], [ %33, %27 ]
%37 = phi i32 [ %1, %24 ], [ %34, %27 ]
%38 = phi double [ %22, %24 ], [ %33, %27 ]
%39 = icmp eq i32 %1, 1
br i1 %39, label %40, label %44
40: ; preds = %35, %44, %15
%41 = phi double [ %22, %15 ], [ %36, %35 ], [ %59, %44 ]
%42 = fmul double %18, 2.000000e+00
%43 = fdiv double %42, %41
br label %62
44: ; preds = %35, %44
%45 = phi i32 [ %60, %44 ], [ %37, %35 ]
%46 = phi double [ %59, %44 ], [ %38, %35 ]
%47 = uitofp i32 %45 to double
%48 = tail call double @llvm.fmuladd.f64(double %47, double 2.000000e+00, double -1.000000e+00)
%49 = fmul double %19, %47
%50 = fmul double %49, %47
%51 = fdiv double %50, %46
%52 = fsub double %48, %51
%53 = add i32 %45, -1
%54 = uitofp i32 %53 to double
%55 = tail call double @llvm.fmuladd.f64(double %54, double 2.000000e+00, double -1.000000e+00)
%56 = fmul double %19, %54
%57 = fmul double %56, %54
%58 = fdiv double %57, %52
%59 = fsub double %55, %58
%60 = add i32 %45, -2
%61 = icmp eq i32 %60, 0
br i1 %61, label %40, label %44
62: ; preds = %13, %7, %40, %11, %5
%63 = phi double [ %6, %5 ], [ %12, %11 ], [ %43, %40 ], [ %4, %7 ], [ 0.000000e+00, %13 ]
ret double %63
}