#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 overlap(double, int, int, int, double, double, double, double, int, int,
            int, double, double, double);
int pow(double, int);
double kinetic(double alpha1, int l1, int m1, int n1, double xa, double ya,
               double za, double alpha2, int l2, int m2, int n2, double xb,
               double yb, double zb) {
  double term0, term1, term2;
  term0 =
      alpha2 * (2 * (l2 + m2 + n2) + 3) *
      overlap(alpha1, l1, m1, n1, xa, ya, za, alpha2, l2, m2, n2, xb, yb, zb);
  term1 = -2 * pow(alpha2, 2) *
          (overlap(alpha1, l1, m1, n1, xa, ya, za, alpha2, l2 + 2, m2, n2, xb,
                   yb, zb) +
           overlap(alpha1, l1, m1, n1, xa, ya, za, alpha2, l2, m2 + 2, n2, xb,
                   yb, zb) +
           overlap(alpha1, l1, m1, n1, xa, ya, za, alpha2, l2, m2, n2 + 2, xb,
                   yb, zb));
  term2 = -0.5 * (l2 * (l2 - 1) *
                      overlap(alpha1, l1, m1, n1, xa, ya, za, alpha2, l2 - 2,
                              m2, n2, xb, yb, zb) +
                  m2 * (m2 - 1) *
                      overlap(alpha1, l1, m1, n1, xa, ya, za, alpha2, l2,
                              m2 - 2, n2, xb, yb, zb) +
                  n2 * (n2 - 1) *
                      overlap(alpha1, l1, m1, n1, xa, ya, za, alpha2, l2, m2,
                              n2 - 2, xb, yb, zb));
  return term0 + term1 + term2;
}


x86 assembly (clang, -O0):
<kinetic>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
movsd  %xmm0,-0x8(%rbp)
mov    %edi,-0xc(%rbp)
mov    %esi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movsd  %xmm1,-0x20(%rbp)
movsd  %xmm2,-0x28(%rbp)
movsd  %xmm3,-0x30(%rbp)
movsd  %xmm4,-0x38(%rbp)
mov    %ecx,-0x3c(%rbp)
mov    %r8d,-0x40(%rbp)
mov    %r9d,-0x44(%rbp)
movsd  %xmm5,-0x50(%rbp)
movsd  %xmm6,-0x58(%rbp)
movsd  %xmm7,-0x60(%rbp)
movsd  -0x38(%rbp),%xmm0
mov    -0x3c(%rbp),%eax
add    -0x40(%rbp),%eax
add    -0x44(%rbp),%eax
shl    $0x1,%eax
add    $0x3,%eax
cvtsi2sd %eax,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
mov    -0x3c(%rbp),%ecx
mov    -0x40(%rbp),%r8d
mov    -0x44(%rbp),%r9d
movsd  -0x50(%rbp),%xmm5
movsd  -0x58(%rbp),%xmm6
movsd  -0x60(%rbp),%xmm7
call   1030 <overlap@plt>
movsd  -0xa0(%rbp),%xmm0
ff
cvtsi2sd %eax,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x38(%rbp),%xmm0
mov    $0x2,%edi
call   1040 <pow@plt>
imul   $0xfffffffe,%eax,%eax
mov    %eax,-0x90(%rbp)
movsd  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
mov    -0x3c(%rbp),%ecx
add    $0x2,%ecx
mov    -0x40(%rbp),%r8d
mov    -0x44(%rbp),%r9d
movsd  -0x50(%rbp),%xmm5
movsd  -0x58(%rbp),%xmm6
movsd  -0x60(%rbp),%xmm7
call   1030 <overlap@plt>
mov    %eax,-0x98(%rbp)
movsd  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
mov    -0x3c(%rbp),%ecx
mov    -0x40(%rbp),%r8d
add    $0x2,%r8d
mov    -0x44(%rbp),%r9d
movsd  -0x50(%rbp),%xmm5
movsd  -0x58(%rbp),%xmm6
movsd  -0x60(%rbp),%xmm7
call   1030 <overlap@plt>
mov    %eax,%ecx
mov    -0x98(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x94(%rbp)
movsd  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
mov    -0x3c(%rbp),%ecx
mov    -0x40(%rbp),%r8d
mov    -0x44(%rbp),%r9d
add    $0x2,%r9d
movsd  -0x50(%rbp),%xmm5
movsd  -0x58(%rbp),%xmm6
movsd  -0x60(%rbp),%xmm7
call   1030 <overlap@plt>
mov    -0x94(%rbp),%ecx
mov    %eax,%edx
mov    -0x90(%rbp),%eax
add    %edx,%ecx
imul   %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    %eax,-0x8c(%rbp)
movsd  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
mov    -0x3c(%rbp),%ecx
sub    $0x2,%ecx
mov    -0x40(%rbp),%r8d
mov    -0x44(%rbp),%r9d
movsd  -0x50(%rbp),%xmm5
movsd  -0x58(%rbp),%xmm6
movsd  -0x60(%rbp),%xmm7
call   1030 <overlap@plt>
mov    %eax,%ecx
mov    -0x8c(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x84(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x40(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    %eax,-0x88(%rbp)
movsd  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
mov    -0x3c(%rbp),%ecx
mov    -0x40(%rbp),%r8d
sub    $0x2,%r8d
mov    -0x44(%rbp),%r9d
movsd  -0x50(%rbp),%xmm5
movsd  -0x58(%rbp),%xmm6
movsd  -0x60(%rbp),%xmm7
call   1030 <overlap@plt>
mov    -0x88(%rbp),%ecx
mov    %eax,%edx
mov    -0x84(%rbp),%eax
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    %eax,-0x80(%rbp)
movsd  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
mov    -0x3c(%rbp),%ecx
mov    -0x40(%rbp),%r8d
mov    -0x44(%rbp),%r9d
sub    $0x2,%r9d
movsd  -0x50(%rbp),%xmm5
movsd  -0x58(%rbp),%xmm6
movsd  -0x60(%rbp),%xmm7
call   1030 <overlap@plt>
mov    -0x80(%rbp),%ecx
mov    %eax,%edx
mov    -0x7c(%rbp),%eax
imul   %edx,%ecx
add    %ecx,%eax
cvtsi2sd %eax,%xmm1
movsd  0xbc3(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x68(%rbp),%xmm0
addsd  -0x70(%rbp),%xmm0
addsd  -0x78(%rbp),%xmm0
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<kinetic>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
movsd  %xmm7,0x40(%rsp)
movsd  %xmm6,0x38(%rsp)
movsd  %xmm5,0x30(%rsp)
mov    %r9d,%r13d
mov    %r8d,%r14d
mov    %ecx,%r15d
movsd  %xmm4,0x8(%rsp)
movsd  %xmm3,0x28(%rsp)
movsd  %xmm2,0x20(%rsp)
movsd  %xmm1,0x18(%rsp)
movsd  %xmm0,0x10(%rsp)
lea    (%r14,%r15,1),%eax
add    %r9d,%eax
add    %eax,%eax
add    $0x3,%eax
cvtsi2sd %eax,%xmm8
mulsd  %xmm4,%xmm8
movsd  %xmm8,0x48(%rsp)
mov    %edi,%r12d
mov    %esi,%ebp
mov    %edx,%ebx
mov    %r14,0x68(%rsp)
call   1030 <overlap@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0x48(%rsp),%xmm0
movsd  %xmm0,0x48(%rsp)
movsd  0x8(%rsp),%xmm0
mov    $0x2,%edi
call   1040 <pow@plt>
mov    %eax,0x64(%rsp)
lea    0x2(%r15),%ecx
movsd  0x10(%rsp),%xmm0
mov    %r12d,%edi
mov    %ebp,%esi
mov    %ebx,%edx
movsd  0x18(%rsp),%xmm1
movsd  0x20(%rsp),%xmm2
movsd  0x28(%rsp),%xmm3
movsd  0x8(%rsp),%xmm4
mov    %r14d,%r8d
mov    %r13d,%r9d
movsd  0x30(%rsp),%xmm5
movsd  0x38(%rsp),%xmm6
movsd  0x40(%rsp),%xmm7
call   1030 <overlap@plt>
mov    %eax,0x5c(%rsp)
lea    0x2(%r14),%r8d
movsd  0x10(%rsp),%xmm0
mov    %r12d,%edi
mov    %r12d,%r14d
mov    %r12d,0x54(%rsp)
mov    %ebp,%esi
mov    %ebp,%r12d
mov    %ebp,0x58(%rsp)
mov    %ebx,%edx
movsd  0x18(%rsp),%xmm1
movsd  0x20(%rsp),%xmm2
movsd  0x28(%rsp),%xmm3
movsd  0x8(%rsp),%xmm4
mov    %r15d,%ecx
mov    %r13d,%r9d
movsd  0x30(%rsp),%xmm5
movsd  0x38(%rsp),%xmm6
movsd  0x40(%rsp),%xmm7
call   1030 <overlap@plt>
mov    %eax,%ebp
add    0x5c(%rsp),%ebp
lea    0x2(%r13),%r9d
movsd  0x10(%rsp),%xmm0
mov    %r14d,%edi
mov    %r12d,%esi
mov    %ebx,%edx
mov    %ebx,%r12d
mov    %ebx,0x60(%rsp)
movsd  0x18(%rsp),%xmm1
movsd  0x20(%rsp),%xmm2
movsd  0x28(%rsp),%xmm3
movsd  0x8(%rsp),%xmm4
mov    %r15d,%ecx
mov    0x68(%rsp),%r14
mov    %r14d,%r8d
movsd  0x30(%rsp),%xmm5
movsd  0x38(%rsp),%xmm6
movsd  0x40(%rsp),%xmm7
call   1030 <overlap@plt>
add    %ebp,%eax
imul   0x64(%rsp),%eax
add    %eax,%eax
neg    %eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
addsd  0x48(%rsp),%xmm0
movsd  %xmm0,0x48(%rsp)
mov    %r15,0x70(%rsp)
lea    -0x1(%r15),%ebx
imul   %r15d,%ebx
lea    -0x2(%r15),%ecx
movsd  0x10(%rsp),%xmm0
mov    0x54(%rsp),%ebp
mov    %ebp,%edi
mov    0x58(%rsp),%r15d
mov    %r15d,%esi
mov    %r12d,%edx
movsd  0x18(%rsp),%xmm1
movsd  0x20(%rsp),%xmm2
movsd  0x28(%rsp),%xmm3
movsd  0x8(%rsp),%xmm4
mov    %r14d,%r8d
mov    %r14,%r12
mov    %r13d,%r9d
movsd  0x30(%rsp),%xmm5
movsd  0x38(%rsp),%xmm6
movsd  0x40(%rsp),%xmm7
call   1030 <overlap@plt>
mov    %eax,%r14d
imul   %ebx,%r14d
mov    %r12,%rax
lea    -0x1(%r12),%ebx
imul   %eax,%ebx
lea    -0x2(%r12),%r8d
movsd  0x10(%rsp),%xmm0
mov    %ebp,%edi
mov    %r15d,%esi
mov    0x60(%rsp),%ebp
mov    %ebp,%edx
movsd  0x18(%rsp),%xmm1
movsd  0x20(%rsp),%xmm2
movsd  0x28(%rsp),%xmm3
movsd  0x8(%rsp),%xmm4
mov    0x70(%rsp),%r15
mov    %r15d,%ecx
mov    %r13d,%r9d
movsd  0x30(%rsp),%xmm5
movsd  0x38(%rsp),%xmm6
movsd  0x40(%rsp),%xmm7
call   1030 <overlap@plt>
mov    %eax,%r12d
imul   %ebx,%r12d
add    %r14d,%r12d
lea    -0x1(%r13),%ebx
imul   %r13d,%ebx
add    $0xfffffffe,%r13d
movsd  0x10(%rsp),%xmm0
mov    0x54(%rsp),%edi
mov    0x58(%rsp),%esi
mov    %ebp,%edx
movsd  0x18(%rsp),%xmm1
movsd  0x20(%rsp),%xmm2
movsd  0x28(%rsp),%xmm3
movsd  0x8(%rsp),%xmm4
mov    %r15d,%ecx
mov    0x68(%rsp),%r8
mov    %r13d,%r9d
movsd  0x30(%rsp),%xmm5
movsd  0x38(%rsp),%xmm6
movsd  0x40(%rsp),%xmm7
call   1030 <overlap@plt>
imul   %ebx,%eax
add    %r12d,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xbf7(%rip),%xmm0
addsd  0x48(%rsp),%xmm0
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define double @kinetic(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %8, i32 %9, i32 %10, double %11, double %12, double %13) {
%15 = alloca double
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca double
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
%31 = alloca double
store double %0, double* %15
store i32 %1, i32* %16
store i32 %2, i32* %17
store i32 %3, i32* %18
store double %4, double* %19
store double %5, double* %20
store double %6, double* %21
store double %7, double* %22
store i32 %8, i32* %23
store i32 %9, i32* %24
store i32 %10, i32* %25
store double %11, double* %26
store double %12, double* %27
store double %13, double* %28
%32 = load double, double* %22
%33 = load i32, i32* %23
%34 = load i32, i32* %24
%35 = add nsw i32 %33, %34
%36 = load i32, i32* %25
%37 = add nsw i32 %35, %36
%38 = mul nsw i32 2, %37
%39 = add nsw i32 %38, 3
%40 = sitofp i32 %39 to double
%41 = fmul double %32, %40
%42 = load double, double* %15
%43 = load i32, i32* %16
%44 = load i32, i32* %17
%45 = load i32, i32* %18
%46 = load double, double* %19
%47 = load double, double* %20
%48 = load double, double* %21
%49 = load double, double* %22
%50 = load i32, i32* %23
%51 = load i32, i32* %24
%52 = load i32, i32* %25
%53 = load double, double* %26
%54 = load double, double* %27
%55 = load double, double* %28
%56 = call i32 @overlap(double %42, i32 %43, i32 %44, i32 %45, double %46, double %47, double %48, double %49, i32 %50, i32 %51, i32 %52, double %53, double %54, double %55)
%57 = sitofp i32 %56 to double
%58 = fmul double %41, %57
store double %58, double* %29
%59 = load double, double* %22
%60 = call i32 @pow(double %59, i32 2)
%61 = mul nsw i32 -2, %60
%62 = load double, double* %15
%63 = load i32, i32* %16
%64 = load i32, i32* %17
%65 = load i32, i32* %18
%66 = load double, double* %19
%67 = load double, double* %20
%68 = load double, double* %21
%69 = load double, double* %22
%70 = load i32, i32* %23
%71 = add nsw i32 %70, 2
%72 = load i32, i32* %24
%73 = load i32, i32* %25
%74 = load double, double* %26
%75 = load double, double* %27
%76 = load double, double* %28
%77 = call i32 @overlap(double %62, i32 %63, i32 %64, i32 %65, double %66, double %67, double %68, double %69, i32 %71, i32 %72, i32 %73, double %74, double %75, double %76)
%78 = load double, double* %15
%79 = load i32, i32* %16
%80 = load i32, i32* %17
%81 = load i32, i32* %18
%82 = load double, double* %19
%83 = load double, double* %20
%84 = load double, double* %21
%85 = load double, double* %22
%86 = load i32, i32* %23
%87 = load i32, i32* %24
%88 = add nsw i32 %87, 2
%89 = load i32, i32* %25
%90 = load double, double* %26
%91 = load double, double* %27
%92 = load double, double* %28
%93 = call i32 @overlap(double %78, i32 %79, i32 %80, i32 %81, double %82, double %83, double %84, double %85, i32 %86, i32 %88, i32 %89, double %90, double %91, double %92)
%94 = add nsw i32 %77, %93
%95 = load double, double* %15
%96 = load i32, i32* %16
%97 = load i32, i32* %17
%98 = load i32, i32* %18
%99 = load double, double* %19
%100 = load double, double* %20
%101 = load double, double* %21
%102 = load double, double* %22
%103 = load i32, i32* %23
%104 = load i32, i32* %24
%105 = load i32, i32* %25
%106 = add nsw i32 %105, 2
%107 = load double, double* %26
%108 = load double, double* %27
%109 = load double, double* %28
%110 = call i32 @overlap(double %95, i32 %96, i32 %97, i32 %98, double %99, double %100, double %101, double %102, i32 %103, i32 %104, i32 %106, double %107, double %108, double %109)
%111 = add nsw i32 %94, %110
%112 = mul nsw i32 %61, %111
%113 = sitofp i32 %112 to double
store double %113, double* %30
%114 = load i32, i32* %23
%115 = load i32, i32* %23
%116 = sub nsw i32 %115, 1
%117 = mul nsw i32 %114, %116
%118 = load double, double* %15
%119 = load i32, i32* %16
%120 = load i32, i32* %17
%121 = load i32, i32* %18
%122 = load double, double* %19
%123 = load double, double* %20
%124 = load double, double* %21
%125 = load double, double* %22
%126 = load i32, i32* %23
%127 = sub nsw i32 %126, 2
%128 = load i32, i32* %24
%129 = load i32, i32* %25
%130 = load double, double* %26
%131 = load double, double* %27
%132 = load double, double* %28
%133 = call i32 @overlap(double %118, i32 %119, i32 %120, i32 %121, double %122, double %123, double %124, double %125, i32 %127, i32 %128, i32 %129, double %130, double %131, double %132)
%134 = mul nsw i32 %117, %133
%135 = load i32, i32* %24
%136 = load i32, i32* %24
%137 = sub nsw i32 %136, 1
%138 = mul nsw i32 %135, %137
%139 = load double, double* %15
%140 = load i32, i32* %16
%141 = load i32, i32* %17
%142 = load i32, i32* %18
%143 = load double, double* %19
%144 = load double, double* %20
%145 = load double, double* %21
%146 = load double, double* %22
%147 = load i32, i32* %23
%148 = load i32, i32* %24
%149 = sub nsw i32 %148, 2
%150 = load i32, i32* %25
%151 = load double, double* %26
%152 = load double, double* %27
%153 = load double, double* %28
%154 = call i32 @overlap(double %139, i32 %140, i32 %141, i32 %142, double %143, double %144, double %145, double %146, i32 %147, i32 %149, i32 %150, double %151, double %152, double %153)
%155 = mul nsw i32 %138, %154
%156 = add nsw i32 %134, %155
%157 = load i32, i32* %25
%158 = load i32, i32* %25
%159 = sub nsw i32 %158, 1
%160 = mul nsw i32 %157, %159
%161 = load double, double* %15
%162 = load i32, i32* %16
%163 = load i32, i32* %17
%164 = load i32, i32* %18
%165 = load double, double* %19
%166 = load double, double* %20
%167 = load double, double* %21
%168 = load double, double* %22
%169 = load i32, i32* %23
%170 = load i32, i32* %24
%171 = load i32, i32* %25
%172 = sub nsw i32 %171, 2
%173 = load double, double* %26
%174 = load double, double* %27
%175 = load double, double* %28
%176 = call i32 @overlap(double %161, i32 %162, i32 %163, i32 %164, double %165, double %166, double %167, double %168, i32 %169, i32 %170, i32 %172, double %173, double %174, double %175)
%177 = mul nsw i32 %160, %176
%178 = add nsw i32 %156, %177
%179 = sitofp i32 %178 to double
%180 = fmul double -5.000000e-01, %179
store double %180, double* %31
%181 = load double, double* %29
%182 = load double, double* %30
%183 = fadd double %181, %182
%184 = load double, double* %31
%185 = fadd double %183, %184
ret double %185
}

LLVM IR (-O2):
define double @kinetic(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %8, i32 %9, i32 %10, double %11, double %12, double %13) {
%15 = add nsw i32 %9, %8
%16 = add nsw i32 %15, %10
%17 = shl nsw i32 %16, 1
%18 = add nsw i32 %17, 3
%19 = sitofp i32 %18 to double
%20 = fmul double %19, %7
%21 = tail call i32 @overlap(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %8, i32 %9, i32 %10, double %11, double %12, double %13)
%22 = sitofp i32 %21 to double
%23 = fmul double %20, %22
%24 = tail call i32 @pow(double %7, i32 2)
%25 = mul nsw i32 %24, -2
%26 = add nsw i32 %8, 2
%27 = tail call i32 @overlap(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %26, i32 %9, i32 %10, double %11, double %12, double %13)
%28 = add nsw i32 %9, 2
%29 = tail call i32 @overlap(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %8, i32 %28, i32 %10, double %11, double %12, double %13)
%30 = add nsw i32 %29, %27
%31 = add nsw i32 %10, 2
%32 = tail call i32 @overlap(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %8, i32 %9, i32 %31, double %11, double %12, double %13)
%33 = add nsw i32 %30, %32
%34 = mul nsw i32 %25, %33
%35 = sitofp i32 %34 to double
%36 = add nsw i32 %8, -1
%37 = mul nsw i32 %36, %8
%38 = add nsw i32 %8, -2
%39 = tail call i32 @overlap(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %38, i32 %9, i32 %10, double %11, double %12, double %13)
%40 = mul nsw i32 %37, %39
%41 = add nsw i32 %9, -1
%42 = mul nsw i32 %41, %9
%43 = add nsw i32 %9, -2
%44 = tail call i32 @overlap(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %8, i32 %43, i32 %10, double %11, double %12, double %13)
%45 = mul nsw i32 %42, %44
%46 = add nsw i32 %45, %40
%47 = add nsw i32 %10, -1
%48 = mul nsw i32 %47, %10
%49 = add nsw i32 %10, -2
%50 = tail call i32 @overlap(double %0, i32 %1, i32 %2, i32 %3, double %4, double %5, double %6, double %7, i32 %8, i32 %9, i32 %49, double %11, double %12, double %13)
%51 = mul nsw i32 %48, %50
%52 = add nsw i32 %46, %51
%53 = sitofp i32 %52 to double
%54 = fmul double %53, 5.000000e-01
%55 = fadd double %23, %35
%56 = fsub double %55, %54
ret double %56
}