#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 */
long modpow(int, long, long);
double pow16(long);
double compute_term(long n, long j) {
  double s = 0.0, t = 0.0;
  double newt;
  double pow;
  double diff;
  long k = 0;
  long r;
  while (k <= n) {
    r = 8 * k + j;
    s = s + modpow(16, n - k, r) / r;
    s -= (long)s;
    k++;
  }
  k = n + 1;
  while (1) {
    pow = pow16(n - k);
    newt = t + pow / ((k << 3) + j);
    diff = t - newt;
    diff = diff < 0 ? -diff : diff;
    if (diff < (1e-18)) {
      break;
    } else {
      t = newt;
    }
    k++;
  }
  return s + t;
}


x86 assembly (clang, -O0):
<compute_term>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x18(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x20(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x8(%rbp),%rax
jg     11c9 <compute_term+0xa9>
mov    -0x40(%rbp),%rax
shl    $0x3,%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x8(%rbp),%rsi
sub    -0x40(%rbp),%rsi
mov    -0x48(%rbp),%rdx
mov    $0x10,%edi
call   1040 <modpow@plt>
movsd  -0x50(%rbp),%xmm0
cqto
idivq  -0x48(%rbp)
cvtsi2sd %rax,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
cvttsd2si -0x18(%rbp),%rax
cvtsi2sd %rax,%xmm1
movsd  -0x18(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1148 <compute_term+0x28>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rdi
sub    -0x40(%rbp),%rdi
call   1030 <pow16@plt>
movsd  %xmm0,-0x30(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm1
mov    -0x40(%rbp),%rax
shl    $0x3,%rax
add    -0x10(%rbp),%rax
cvtsi2sd %rax,%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x20(%rbp),%xmm0
subsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x38(%rbp),%xmm0
jbe    1252 <compute_term+0x132>
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    125c <compute_term+0x13c>
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xd92(%rip),%xmm0
ucomisd -0x38(%rbp),%xmm0
jbe    127e <compute_term+0x15e>
jmp    1299 <compute_term+0x179>
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11d5 <compute_term+0xb5>
movsd  -0x18(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<compute_term>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%r14
mov    %rdi,%r15
xorpd  %xmm1,%xmm1
test   %rdi,%rdi
js     11aa <compute_term+0x8a>
mov    %r14,%rbx
mov    %r15,%r12
xorpd  %xmm1,%xmm1
jmp    1182 <compute_term+0x62>
cs nopw 0x0(%rax,%rax,1)
cqto
idiv   %rbx
movsd  0x8(%rsp),%xmm1
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
addsd  %xmm0,%xmm1
cvttsd2si %xmm1,%rax
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
subsd  %xmm0,%xmm1
add    $0x8,%rbx
add    $0xffffffffffffffff,%r12
jae    11aa <compute_term+0x8a>
movsd  %xmm1,0x8(%rsp)
mov    $0x10,%edi
mov    %r12,%rsi
mov    %rbx,%rdx
call   1040 <modpow@plt>
mov    %rax,%rcx
or     %rbx,%rcx
shr    $0x20,%rcx
jne    1150 <compute_term+0x30>
xor    %edx,%edx
div    %ebx
jmp    1155 <compute_term+0x35>
movsd  %xmm1,0x8(%rsp)
lea    (%r14,%r15,8),%r14
add    $0x8,%r14
mov    $0xffffffffffffffff,%rbx
xorpd  %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsd  %xmm0,0x10(%rsp)
mov    %rbx,%rdi
call   1030 <pow16@plt>
movsd  0x10(%rsp),%xmm5
xorpd  %xmm4,%xmm4
xorps  %xmm1,%xmm1
cvtsi2sd %r14,%xmm1
divsd  %xmm1,%xmm0
addsd  %xmm5,%xmm0
movapd %xmm5,%xmm1
subsd  %xmm0,%xmm1
movapd %xmm1,%xmm2
xorpd  0xdf4(%rip),%xmm2
movapd %xmm1,%xmm3
cmpltsd %xmm4,%xmm3
andpd  %xmm3,%xmm2
andnpd %xmm1,%xmm3
orpd   %xmm2,%xmm3
add    $0x8,%r14
add    $0xffffffffffffffff,%rbx
movsd  0xddf(%rip),%xmm1
ucomisd %xmm3,%xmm1
jbe    11d0 <compute_term+0xb0>
movsd  0x8(%rsp),%xmm0
addsd  %xmm5,%xmm0
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define double @compute_term(i64 %0, i64 %1) {
%3 = alloca i64
%4 = alloca i64
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca i64
%11 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
store double 0.000000e+00, double* %5
store double 0.000000e+00, double* %6
store i64 0, i64* %10
br label %12
12: ; preds = %16, %2
%13 = load i64, i64* %10
%14 = load i64, i64* %3
%15 = icmp sle i64 %13, %14
br i1 %15, label %16, label %38
16: ; preds = %12
%17 = load i64, i64* %10
%18 = mul nsw i64 8, %17
%19 = load i64, i64* %4
%20 = add nsw i64 %18, %19
store i64 %20, i64* %11
%21 = load double, double* %5
%22 = load i64, i64* %3
%23 = load i64, i64* %10
%24 = sub nsw i64 %22, %23
%25 = load i64, i64* %11
%26 = call i64 @modpow(i32 16, i64 %24, i64 %25)
%27 = load i64, i64* %11
%28 = sdiv i64 %26, %27
%29 = sitofp i64 %28 to double
%30 = fadd double %21, %29
store double %30, double* %5
%31 = load double, double* %5
%32 = fptosi double %31 to i64
%33 = sitofp i64 %32 to double
%34 = load double, double* %5
%35 = fsub double %34, %33
store double %35, double* %5
%36 = load i64, i64* %10
%37 = add nsw i64 %36, 1
store i64 %37, i64* %10
br label %12
38: ; preds = %12
%39 = load i64, i64* %3
%40 = add nsw i64 %39, 1
store i64 %40, i64* %10
br label %41
41: ; preds = %38, %72
%42 = load i64, i64* %3
%43 = load i64, i64* %10
%44 = sub nsw i64 %42, %43
%45 = call double @pow16(i64 %44)
store double %45, double* %8
%46 = load double, double* %6
%47 = load double, double* %8
%48 = load i64, i64* %10
%49 = shl i64 %48, 3
%50 = load i64, i64* %4
%51 = add nsw i64 %49, %50
%52 = sitofp i64 %51 to double
%53 = fdiv double %47, %52
%54 = fadd double %46, %53
store double %54, double* %7
%55 = load double, double* %6
%56 = load double, double* %7
%57 = fsub double %55, %56
store double %57, double* %9
%58 = load double, double* %9
%59 = fcmp olt double %58, 0.000000e+00
br i1 %59, label %60, label %63
60: ; preds = %41
%61 = load double, double* %9
%62 = fneg double %61
br label %65
63: ; preds = %41
%64 = load double, double* %9
br label %65
65: ; preds = %63, %60
%66 = phi double [ %62, %60 ], [ %64, %63 ]
store double %66, double* %9
%67 = load double, double* %9
%68 = fcmp olt double %67, 1.000000e-18
br i1 %68, label %69, label %70
69: ; preds = %65
br label %75
70: ; preds = %65
%71 = load double, double* %7
store double %71, double* %6
br label %72
72: ; preds = %70
%73 = load i64, i64* %10
%74 = add nsw i64 %73, 1
store i64 %74, i64* %10
br label %41
75: ; preds = %69
%76 = load double, double* %5
%77 = load double, double* %6
%78 = fadd double %76, %77
ret double %78
}

LLVM IR (-O2):
define double @compute_term(i64 %0, i64 %1) {
%3 = icmp slt i64 %0, 0
br i1 %3, label %4, label %6
4: ; preds = %6, %2
%5 = phi double [ 0.000000e+00, %2 ], [ %18, %6 ]
br label %21
6: ; preds = %2, %6
%7 = phi double [ %18, %6 ], [ 0.000000e+00, %2 ]
%8 = phi i64 [ %19, %6 ], [ 0, %2 ]
%9 = shl nsw i64 %8, 3
%10 = add nsw i64 %9, %1
%11 = sub nsw i64 %0, %8
%12 = tail call i64 @modpow(i32 16, i64 %11, i64 %10)
%13 = sdiv i64 %12, %10
%14 = sitofp i64 %13 to double
%15 = fadd double %7, %14
%16 = fptosi double %15 to i64
%17 = sitofp i64 %16 to double
%18 = fsub double %15, %17
%19 = add nuw i64 %8, 1
%20 = icmp eq i64 %8, %0
br i1 %20, label %4, label %6
21: ; preds = %4, %21
%22 = phi double [ %31, %21 ], [ 0.000000e+00, %4 ]
%23 = phi i64 [ %24, %21 ], [ %0, %4 ]
%24 = add nsw i64 %23, 1
%25 = sub nsw i64 %0, %24
%26 = tail call double @pow16(i64 %25)
%27 = shl i64 %24, 3
%28 = add nsw i64 %27, %1
%29 = sitofp i64 %28 to double
%30 = fdiv double %26, %29
%31 = fadd double %22, %30
%32 = fsub double %22, %31
%33 = fcmp olt double %32, 0.000000e+00
%34 = fneg double %32
%35 = select i1 %33, double %34, double %32
%36 = fcmp olt double %35, 1.000000e-18
br i1 %36, label %37, label %21
37: ; preds = %21
%38 = fadd double %5, %22
ret double %38
}