#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 acos(int);
int fabs(double);
double log(int);
int sqrt(int);
int th_Gamma(double);
double for_large_negative(double a, double x) {
  double d3, d6, v_ax, X, theta, d9, d12;
  const double MY_PI = acos(-1);
  d3 = (x * x * x / 48.0 + a * x / 2.0) / a;
  d6 = 3.0 * x * x / 4.0 - 2.0 * a;
  d9 = (-7 * x * x * x * x * x * x * x * x * x / 5760 -
        7 * a * x * x * x * x * x * x * x / 320 -
        49 * a * a * x * x * x * x * x / 320 + 31 * a * a * a * x * x * x / 12 -
        19 * a * a * a * a * x) /
       (a * a * a);
  d12 = 153 * x * x * x * x / 8 - 186 * a * x * x + 80 * a * a;
  X = sqrt(x * x + 4.0 * a);
  theta = fabs(x) * X / 4.0 +
          a * (log((fabs(x) / (2 * sqrt(a))) +
                   sqrt((fabs(x) / (2 * sqrt(a))) * (fabs(x) / (2 * sqrt(a))) +
                        1)));
  v_ax = -0.5 * log(X) - d3 / (X * X * X) + d6 / (X * X * X * X * X * X) -
         d9 / (X * X * X * X * X * X * X * X * X) +
         d12 / (X * X * X * X * X * X * X * X * X * X * X * X);
  return 0.25 * log(2 * MY_PI) - 0.5 * log(th_Gamma(0.5 + a)) + theta + v_ax;
}


x86 assembly (clang, -O0):
<for_large_negative>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
mov    $0xffffffff,%edi
call   1030 <acos@plt>
movsd  %xmm0,-0x50(%rbp)
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  0xf05(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  -0x8(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  0xe6f(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
divsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xecd(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  0xe53(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  -0x8(%rbp),%xmm1
addsd  %xmm1,%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xe95(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  0xe58(%rip),%xmm0
divsd  %xmm0,%xmm1
movsd  0xe44(%rip),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  0xe04(%rip),%xmm2
divsd  %xmm2,%xmm0
subsd  %xmm0,%xmm1
movsd  0xdfc(%rip),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  0xdc9(%rip),%xmm2
divsd  %xmm2,%xmm0
subsd  %xmm0,%xmm1
movsd  0xdb1(%rip),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  0xd83(%rip),%xmm2
divsd  %xmm2,%xmm0
addsd  %xmm0,%xmm1
movsd  0xd6b(%rip),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x8(%rbp),%xmm1
mulsd  -0x8(%rbp),%xmm1
mulsd  -0x8(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xd0b(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  0xce7(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xcd3(%rip),%xmm1
mulsd  -0x8(%rbp),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xc95(%rip),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  -0x8(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm2
movsd  0xc64(%rip),%xmm1
mulsd  -0x8(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1070 <sqrt@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1040 <fabs@plt>
cvtsi2sd %eax,%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  0xc2a(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1040 <fabs@plt>
mov    %eax,-0x7c(%rbp)
cvttsd2si -0x8(%rbp),%edi
call   1070 <sqrt@plt>
mov    %eax,%ecx
mov    -0x7c(%rbp),%eax
shl    $0x1,%ecx
cltd
idiv   %ecx
mov    %eax,-0x6c(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1040 <fabs@plt>
mov    %eax,-0x78(%rbp)
cvttsd2si -0x8(%rbp),%edi
call   1070 <sqrt@plt>
mov    %eax,%ecx
mov    -0x78(%rbp),%eax
shl    $0x1,%ecx
cltd
idiv   %ecx
mov    %eax,-0x74(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1040 <fabs@plt>
mov    %eax,-0x70(%rbp)
cvttsd2si -0x8(%rbp),%edi
call   1070 <sqrt@plt>
mov    -0x74(%rbp),%edi
mov    %eax,%ecx
mov    -0x70(%rbp),%eax
shl    $0x1,%ecx
cltd
idiv   %ecx
imul   %eax,%edi
add    $0x1,%edi
call   1070 <sqrt@plt>
mov    -0x6c(%rbp),%edi
add    %eax,%edi
call   1060 <log@plt>
movsd  -0x68(%rbp),%xmm1
movaps %xmm0,%xmm2
movsd  -0x60(%rbp),%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
cvttsd2si -0x30(%rbp),%edi
call   1060 <log@plt>
movsd  -0x18(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
divsd  %xmm2,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  0xb30(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  -0x40(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
divsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
movsd  -0x48(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
mulsd  -0x30(%rbp),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xa65(%rip),%xmm0
mulsd  -0x50(%rbp),%xmm0
cvttsd2si %xmm0,%edi
call   1060 <log@plt>
movsd  %xmm0,-0x58(%rbp)
movsd  0xa42(%rip),%xmm0
addsd  -0x8(%rbp),%xmm0
call   1050 <th_Gamma@plt>
mov    %eax,%edi
call   1060 <log@plt>
movaps %xmm0,%xmm2
movsd  -0x58(%rbp),%xmm0
movsd  0xa21(%rip),%xmm1
mulsd  %xmm2,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  0x9f6(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x38(%rbp),%xmm0
addsd  -0x28(%rbp),%xmm0
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<for_large_negative>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x90,%rsp
movaps %xmm1,0x10(%rsp)
movaps %xmm0,0x20(%rsp)
mov    $0xffffffff,%edi
call   1030 <acos@plt>
movsd  %xmm0,0x30(%rsp)
movapd 0x10(%rsp),%xmm4
movapd %xmm4,%xmm0
mulsd  %xmm4,%xmm0
movsd  0xec9(%rip),%xmm1
movapd 0x20(%rsp),%xmm7
mulsd  %xmm7,%xmm1
addsd  %xmm0,%xmm1
mulsd  %xmm4,%xmm0
divsd  0xe57(%rip),%xmm0
movapd %xmm7,%xmm2
mulsd  %xmm4,%xmm2
mulsd  0xe4f(%rip),%xmm2
addsd  %xmm0,%xmm2
movapd %xmm2,0x70(%rsp)
movsd  0xe45(%rip),%xmm0
mulsd  %xmm4,%xmm0
mulsd  %xmm4,%xmm0
mulsd  0xe3d(%rip),%xmm0
movapd %xmm0,%xmm5
movapd %xmm7,%xmm0
addsd  %xmm7,%xmm0
movsd  0xe31(%rip),%xmm2
mulsd  %xmm4,%xmm2
unpcklpd %xmm7,%xmm2
movapd 0xe71(%rip),%xmm3
movsd  %xmm4,%xmm3
mulpd  %xmm2,%xmm3
movapd %xmm4,%xmm2
movapd %xmm4,%xmm6
unpcklpd %xmm4,%xmm2
mulpd  %xmm2,%xmm3
mulpd  %xmm2,%xmm3
mulpd  %xmm2,%xmm3
mulpd  %xmm2,%xmm3
mulpd  %xmm2,%xmm3
mulpd  %xmm2,%xmm3
mulpd  %xmm2,%xmm3
divpd  0xe49(%rip),%xmm3
subsd  %xmm0,%xmm5
movsd  %xmm5,0x48(%rsp)
movsd  0xddf(%rip),%xmm0
mulsd  %xmm7,%xmm0
movapd %xmm7,%xmm4
unpcklpd %xmm7,%xmm4
movapd 0xe33(%rip),%xmm5
unpcklpd %xmm0,%xmm5
mulpd  %xmm4,%xmm5
movapd %xmm7,%xmm0
unpcklpd %xmm6,%xmm0
mulpd  %xmm0,%xmm5
mulpd  %xmm0,%xmm5
mulpd  %xmm2,%xmm5
mulpd  %xmm2,%xmm5
mulpd  %xmm2,%xmm5
divpd  0xe17(%rip),%xmm5
movapd %xmm3,%xmm0
unpckhpd %xmm3,%xmm0
subsd  %xmm0,%xmm3
movapd %xmm5,%xmm0
unpckhpd %xmm5,%xmm0
subsd  %xmm0,%xmm3
addsd  %xmm5,%xmm3
movsd  0xd83(%rip),%xmm0
mulsd  %xmm7,%xmm0
mulsd  %xmm7,%xmm0
mulsd  %xmm7,%xmm0
mulsd  %xmm7,%xmm0
mulsd  %xmm6,%xmm0
addsd  %xmm3,%xmm0
movapd %xmm0,%xmm3
movapd %xmm7,%xmm0
mulsd  %xmm7,%xmm0
mulsd  %xmm7,%xmm0
movsd  0xd5b(%rip),%xmm2
mulsd  %xmm6,%xmm2
mulsd  %xmm6,%xmm2
mulsd  %xmm6,%xmm2
mulsd  %xmm6,%xmm2
mulsd  0xd4b(%rip),%xmm2
divsd  %xmm0,%xmm3
movapd %xmm3,0x60(%rsp)
movsd  0xd41(%rip),%xmm0
mulsd  %xmm7,%xmm0
mulsd  %xmm6,%xmm0
mulsd  %xmm6,%xmm0
addsd  %xmm2,%xmm0
movsd  0xd31(%rip),%xmm2
mulsd  %xmm7,%xmm2
mulsd  %xmm7,%xmm2
addsd  %xmm0,%xmm2
movapd %xmm2,0x50(%rsp)
cvttsd2si %xmm1,%edi
call   1070 <sqrt@plt>
mov    %eax,%r14d
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x8(%rsp)
movaps 0x10(%rsp),%xmm0
call   1040 <fabs@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0x8(%rsp),%xmm0
movapd %xmm0,0x80(%rsp)
movaps 0x10(%rsp),%xmm0
call   1040 <fabs@plt>
mov    %eax,%ebp
cvttsd2si 0x20(%rsp),%ebx
mov    %ebx,%edi
call   1070 <sqrt@plt>
mov    %eax,%ecx
add    %eax,%ecx
mov    %ebp,%eax
cltd
idiv   %ecx
mov    %eax,%r12d
movaps 0x10(%rsp),%xmm0
call   1040 <fabs@plt>
mov    %eax,%r15d
mov    %ebx,%edi
call   1070 <sqrt@plt>
mov    %eax,%ecx
add    %eax,%ecx
mov    %r15d,%eax
cltd
idiv   %ecx
mov    %eax,%ebp
movapd 0x10(%rsp),%xmm0
call   1040 <fabs@plt>
mov    %eax,%r15d
mov    %ebx,%edi
call   1070 <sqrt@plt>
mov    %eax,%ecx
add    %eax,%ecx
mov    %r15d,%eax
cltd
idiv   %ecx
imul   %eax,%ebp
add    $0x1,%ebp
mov    %ebp,%edi
call   1070 <sqrt@plt>
add    %eax,%r12d
mov    %r12d,%edi
call   1060 <log@plt>
movapd %xmm0,0x10(%rsp)
mov    %r14d,%edi
call   1060 <log@plt>
movsd  0x8(%rsp),%xmm2
movapd %xmm2,%xmm3
mulsd  %xmm2,%xmm3
mulsd  %xmm2,%xmm3
movapd 0x70(%rsp),%xmm1
divsd  0x20(%rsp),%xmm1
divsd  %xmm3,%xmm1
mulsd  0xc42(%rip),%xmm0
subsd  %xmm1,%xmm0
mulsd  %xmm2,%xmm3
mulsd  %xmm2,%xmm3
mulsd  %xmm2,%xmm3
movsd  0x48(%rsp),%xmm1
divsd  %xmm3,%xmm1
addsd  %xmm1,%xmm0
mulsd  %xmm2,%xmm3
mulsd  %xmm2,%xmm3
mulsd  %xmm2,%xmm3
movapd %xmm3,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
movapd 0x50(%rsp),%xmm2
unpcklpd 0x60(%rsp),%xmm2
unpcklpd %xmm3,%xmm1
divpd  %xmm1,%xmm2
movapd %xmm2,%xmm1
unpckhpd %xmm2,%xmm1
subsd  %xmm1,%xmm0
addsd  %xmm2,%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0x30(%rsp),%xmm0
addsd  %xmm0,%xmm0
cvttsd2si %xmm0,%edi
call   1060 <log@plt>
movapd %xmm0,0x30(%rsp)
movsd  0xb65(%rip),%xmm0
addsd  0x20(%rsp),%xmm0
call   1050 <th_Gamma@plt>
mov    %eax,%edi
call   1060 <log@plt>
movapd 0x80(%rsp),%xmm1
unpcklpd %xmm0,%xmm1
mulpd  0xbe6(%rip),%xmm1
movapd 0x20(%rsp),%xmm0
unpcklpd 0x30(%rsp),%xmm0
movapd 0x10(%rsp),%xmm2
shufpd $0x2,0xbdb(%rip),%xmm2
mulpd  %xmm0,%xmm2
addpd  %xmm1,%xmm2
movapd %xmm2,%xmm0
unpckhpd %xmm2,%xmm0
addsd  %xmm2,%xmm0
addsd  0x8(%rsp),%xmm0
add    $0x90,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define double @for_large_negative(double %0, double %1) {
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
store double %0, double* %3
store double %1, double* %4
%13 = call double @acos(i32 -1)
store double %13, double* %12
%14 = load double, double* %4
%15 = load double, double* %4
%16 = fmul double %14, %15
%17 = load double, double* %4
%18 = fmul double %16, %17
%19 = fdiv double %18, 4.800000e+01
%20 = load double, double* %3
%21 = load double, double* %4
%22 = fmul double %20, %21
%23 = fdiv double %22, 2.000000e+00
%24 = fadd double %19, %23
%25 = load double, double* %3
%26 = fdiv double %24, %25
store double %26, double* %5
%27 = load double, double* %4
%28 = fmul double 3.000000e+00, %27
%29 = load double, double* %4
%30 = fmul double %28, %29
%31 = fdiv double %30, 4.000000e+00
%32 = load double, double* %3
%33 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %32, double %31)
store double %33, double* %6
%34 = load double, double* %4
%35 = fmul double -7.000000e+00, %34
%36 = load double, double* %4
%37 = fmul double %35, %36
%38 = load double, double* %4
%39 = fmul double %37, %38
%40 = load double, double* %4
%41 = fmul double %39, %40
%42 = load double, double* %4
%43 = fmul double %41, %42
%44 = load double, double* %4
%45 = fmul double %43, %44
%46 = load double, double* %4
%47 = fmul double %45, %46
%48 = load double, double* %4
%49 = fmul double %47, %48
%50 = load double, double* %4
%51 = fmul double %49, %50
%52 = fdiv double %51, 5.760000e+03
%53 = load double, double* %3
%54 = fmul double 7.000000e+00, %53
%55 = load double, double* %4
%56 = fmul double %54, %55
%57 = load double, double* %4
%58 = fmul double %56, %57
%59 = load double, double* %4
%60 = fmul double %58, %59
%61 = load double, double* %4
%62 = fmul double %60, %61
%63 = load double, double* %4
%64 = fmul double %62, %63
%65 = load double, double* %4
%66 = fmul double %64, %65
%67 = load double, double* %4
%68 = fmul double %66, %67
%69 = fdiv double %68, 3.200000e+02
%70 = fsub double %52, %69
%71 = load double, double* %3
%72 = fmul double 4.900000e+01, %71
%73 = load double, double* %3
%74 = fmul double %72, %73
%75 = load double, double* %4
%76 = fmul double %74, %75
%77 = load double, double* %4
%78 = fmul double %76, %77
%79 = load double, double* %4
%80 = fmul double %78, %79
%81 = load double, double* %4
%82 = fmul double %80, %81
%83 = load double, double* %4
%84 = fmul double %82, %83
%85 = fdiv double %84, 3.200000e+02
%86 = fsub double %70, %85
%87 = load double, double* %3
%88 = fmul double 3.100000e+01, %87
%89 = load double, double* %3
%90 = fmul double %88, %89
%91 = load double, double* %3
%92 = fmul double %90, %91
%93 = load double, double* %4
%94 = fmul double %92, %93
%95 = load double, double* %4
%96 = fmul double %94, %95
%97 = load double, double* %4
%98 = fmul double %96, %97
%99 = fdiv double %98, 1.200000e+01
%100 = fadd double %86, %99
%101 = load double, double* %3
%102 = fmul double 1.900000e+01, %101
%103 = load double, double* %3
%104 = fmul double %102, %103
%105 = load double, double* %3
%106 = fmul double %104, %105
%107 = load double, double* %3
%108 = fmul double %106, %107
%109 = load double, double* %4
%110 = fneg double %108
%111 = call double @llvm.fmuladd.f64(double %110, double %109, double %100)
%112 = load double, double* %3
%113 = load double, double* %3
%114 = fmul double %112, %113
%115 = load double, double* %3
%116 = fmul double %114, %115
%117 = fdiv double %111, %116
store double %117, double* %10
%118 = load double, double* %4
%119 = fmul double 1.530000e+02, %118
%120 = load double, double* %4
%121 = fmul double %119, %120
%122 = load double, double* %4
%123 = fmul double %121, %122
%124 = load double, double* %4
%125 = fmul double %123, %124
%126 = fdiv double %125, 8.000000e+00
%127 = load double, double* %3
%128 = fmul double 1.860000e+02, %127
%129 = load double, double* %4
%130 = fmul double %128, %129
%131 = load double, double* %4
%132 = fneg double %130
%133 = call double @llvm.fmuladd.f64(double %132, double %131, double %126)
%134 = load double, double* %3
%135 = fmul double 8.000000e+01, %134
%136 = load double, double* %3
%137 = call double @llvm.fmuladd.f64(double %135, double %136, double %133)
store double %137, double* %11
%138 = load double, double* %4
%139 = load double, double* %4
%140 = load double, double* %3
%141 = fmul double 4.000000e+00, %140
%142 = call double @llvm.fmuladd.f64(double %138, double %139, double %141)
%143 = fptosi double %142 to i32
%144 = call i32 @sqrt(i32 %143)
%145 = sitofp i32 %144 to double
store double %145, double* %8
%146 = load double, double* %4
%147 = call i32 @fabs(double %146)
%148 = sitofp i32 %147 to double
%149 = load double, double* %8
%150 = fmul double %148, %149
%151 = fdiv double %150, 4.000000e+00
%152 = load double, double* %3
%153 = load double, double* %4
%154 = call i32 @fabs(double %153)
%155 = load double, double* %3
%156 = fptosi double %155 to i32
%157 = call i32 @sqrt(i32 %156)
%158 = mul nsw i32 2, %157
%159 = sdiv i32 %154, %158
%160 = load double, double* %4
%161 = call i32 @fabs(double %160)
%162 = load double, double* %3
%163 = fptosi double %162 to i32
%164 = call i32 @sqrt(i32 %163)
%165 = mul nsw i32 2, %164
%166 = sdiv i32 %161, %165
%167 = load double, double* %4
%168 = call i32 @fabs(double %167)
%169 = load double, double* %3
%170 = fptosi double %169 to i32
%171 = call i32 @sqrt(i32 %170)
%172 = mul nsw i32 2, %171
%173 = sdiv i32 %168, %172
%174 = mul nsw i32 %166, %173
%175 = add nsw i32 %174, 1
%176 = call i32 @sqrt(i32 %175)
%177 = add nsw i32 %159, %176
%178 = call double @log(i32 %177)
%179 = call double @llvm.fmuladd.f64(double %152, double %178, double %151)
store double %179, double* %9
%180 = load double, double* %8
%181 = fptosi double %180 to i32
%182 = call double @log(i32 %181)
%183 = load double, double* %5
%184 = load double, double* %8
%185 = load double, double* %8
%186 = fmul double %184, %185
%187 = load double, double* %8
%188 = fmul double %186, %187
%189 = fdiv double %183, %188
%190 = fneg double %189
%191 = call double @llvm.fmuladd.f64(double -5.000000e-01, double %182, double %190)
%192 = load double, double* %6
%193 = load double, double* %8
%194 = load double, double* %8
%195 = fmul double %193, %194
%196 = load double, double* %8
%197 = fmul double %195, %196
%198 = load double, double* %8
%199 = fmul double %197, %198
%200 = load double, double* %8
%201 = fmul double %199, %200
%202 = load double, double* %8
%203 = fmul double %201, %202
%204 = fdiv double %192, %203
%205 = fadd double %191, %204
%206 = load double, double* %10
%207 = load double, double* %8
%208 = load double, double* %8
%209 = fmul double %207, %208
%210 = load double, double* %8
%211 = fmul double %209, %210
%212 = load double, double* %8
%213 = fmul double %211, %212
%214 = load double, double* %8
%215 = fmul double %213, %214
%216 = load double, double* %8
%217 = fmul double %215, %216
%218 = load double, double* %8
%219 = fmul double %217, %218
%220 = load double, double* %8
%221 = fmul double %219, %220
%222 = load double, double* %8
%223 = fmul double %221, %222
%224 = fdiv double %206, %223
%225 = fsub double %205, %224
%226 = load double, double* %11
%227 = load double, double* %8
%228 = load double, double* %8
%229 = fmul double %227, %228
%230 = load double, double* %8
%231 = fmul double %229, %230
%232 = load double, double* %8
%233 = fmul double %231, %232
%234 = load double, double* %8
%235 = fmul double %233, %234
%236 = load double, double* %8
%237 = fmul double %235, %236
%238 = load double, double* %8
%239 = fmul double %237, %238
%240 = load double, double* %8
%241 = fmul double %239, %240
%242 = load double, double* %8
%243 = fmul double %241, %242
%244 = load double, double* %8
%245 = fmul double %243, %244
%246 = load double, double* %8
%247 = fmul double %245, %246
%248 = load double, double* %8
%249 = fmul double %247, %248
%250 = fdiv double %226, %249
%251 = fadd double %225, %250
store double %251, double* %7
%252 = load double, double* %12
%253 = fmul double 2.000000e+00, %252
%254 = fptosi double %253 to i32
%255 = call double @log(i32 %254)
%256 = load double, double* %3
%257 = fadd double 5.000000e-01, %256
%258 = call i32 @th_Gamma(double %257)
%259 = call double @log(i32 %258)
%260 = fmul double 5.000000e-01, %259
%261 = fneg double %260
%262 = call double @llvm.fmuladd.f64(double 2.500000e-01, double %255, double %261)
%263 = load double, double* %9
%264 = fadd double %262, %263
%265 = load double, double* %7
%266 = fadd double %264, %265
ret double %266
}

LLVM IR (-O2):
define double @for_large_negative(double %0, double %1) {
%3 = tail call double @acos(i32 -1)
%4 = fmul double %1, %1
%5 = fmul double %4, %1
%6 = fdiv double %5, 4.800000e+01
%7 = fmul double %0, %1
%8 = fmul double %7, 5.000000e-01
%9 = fadd double %8, %6
%10 = fmul double %1, 3.000000e+00
%11 = fmul double %10, %1
%12 = fmul double %11, 2.500000e-01
%13 = tail call double @llvm.fmuladd.f64(double %0, double -2.000000e+00, double %12)
%14 = fmul double %1, -7.000000e+00
%15 = insertelement <2 x double> poison, double %0, i64 1
%16 = insertelement <2 x double> %15, double %14, i64 0
%17 = insertelement <2 x double> <double poison, double 7.000000e+00>, double %1, i64 0
%18 = fmul <2 x double> %16, %17
%19 = insertelement <2 x double> poison, double %1, i64 0
%20 = shufflevector <2 x double> %19, <2 x double> poison, <2 x i32> zeroinitializer
%21 = fmul <2 x double> %18, %20
%22 = fmul <2 x double> %21, %20
%23 = fmul <2 x double> %22, %20
%24 = fmul <2 x double> %23, %20
%25 = fmul <2 x double> %24, %20
%26 = fmul <2 x double> %25, %20
%27 = fmul <2 x double> %26, %20
%28 = fdiv <2 x double> %27, <double 5.760000e+03, double 3.200000e+02>
%29 = shufflevector <2 x double> %28, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%30 = fsub <2 x double> %28, %29
%31 = fmul double %0, 4.900000e+01
%32 = insertelement <2 x double> poison, double %0, i64 0
%33 = shufflevector <2 x double> %32, <2 x double> poison, <2 x i32> zeroinitializer
%34 = insertelement <2 x double> <double 3.100000e+01, double poison>, double %31, i64 1
%35 = fmul <2 x double> %33, %34
%36 = insertelement <2 x double> %32, double %1, i64 1
%37 = fmul <2 x double> %35, %36
%38 = fmul <2 x double> %37, %36
%39 = fmul <2 x double> %38, %20
%40 = fmul <2 x double> %39, %20
%41 = fmul <2 x double> %40, %20
%42 = fdiv <2 x double> %41, <double 1.200000e+01, double 3.200000e+02>
%43 = shufflevector <2 x double> %42, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%44 = fsub <2 x double> %30, %43
%45 = fadd <2 x double> %42, %44
%46 = extractelement <2 x double> %45, i64 0
%47 = fmul double %0, -1.900000e+01
%48 = fmul double %47, %0
%49 = fmul double %48, %0
%50 = fmul double %49, %0
%51 = tail call double @llvm.fmuladd.f64(double %50, double %1, double %46)
%52 = fmul double %0, %0
%53 = fmul double %52, %0
%54 = fdiv double %51, %53
%55 = fmul double %1, 1.530000e+02
%56 = fmul double %55, %1
%57 = fmul double %56, %1
%58 = fmul double %57, %1
%59 = fmul double %58, 1.250000e-01
%60 = fmul double %0, -1.860000e+02
%61 = fmul double %60, %1
%62 = tail call double @llvm.fmuladd.f64(double %61, double %1, double %59)
%63 = fmul double %0, 8.000000e+01
%64 = tail call double @llvm.fmuladd.f64(double %63, double %0, double %62)
%65 = fmul double %0, 4.000000e+00
%66 = tail call double @llvm.fmuladd.f64(double %1, double %1, double %65)
%67 = fptosi double %66 to i32
%68 = tail call i32 @sqrt(i32 %67)
%69 = sitofp i32 %68 to double
%70 = tail call i32 @fabs(double %1)
%71 = sitofp i32 %70 to double
%72 = fmul double %69, %71
%73 = tail call i32 @fabs(double %1)
%74 = fptosi double %0 to i32
%75 = tail call i32 @sqrt(i32 %74)
%76 = shl nsw i32 %75, 1
%77 = sdiv i32 %73, %76
%78 = tail call i32 @fabs(double %1)
%79 = tail call i32 @sqrt(i32 %74)
%80 = shl nsw i32 %79, 1
%81 = sdiv i32 %78, %80
%82 = tail call i32 @fabs(double %1)
%83 = tail call i32 @sqrt(i32 %74)
%84 = shl nsw i32 %83, 1
%85 = sdiv i32 %82, %84
%86 = mul nsw i32 %85, %81
%87 = add nsw i32 %86, 1
%88 = tail call i32 @sqrt(i32 %87)
%89 = add nsw i32 %88, %77
%90 = tail call double @log(i32 %89)
%91 = tail call double @log(i32 %68)
%92 = fmul double %69, %69
%93 = fmul double %92, %69
%94 = fneg double %9
%95 = fdiv double %94, %0
%96 = fdiv double %95, %93
%97 = tail call double @llvm.fmuladd.f64(double %91, double -5.000000e-01, double %96)
%98 = fmul double %93, %69
%99 = fmul double %98, %69
%100 = fmul double %99, %69
%101 = fdiv double %13, %100
%102 = fadd double %101, %97
%103 = fmul double %100, %69
%104 = fmul double %103, %69
%105 = fmul double %104, %69
%106 = fmul double %105, %69
%107 = fmul double %106, %69
%108 = fmul double %107, %69
%109 = insertelement <2 x double> poison, double %64, i64 0
%110 = insertelement <2 x double> %109, double %54, i64 1
%111 = insertelement <2 x double> poison, double %108, i64 0
%112 = insertelement <2 x double> %111, double %105, i64 1
%113 = fdiv <2 x double> %110, %112
%114 = extractelement <2 x double> %113, i64 1
%115 = fsub double %102, %114
%116 = extractelement <2 x double> %113, i64 0
%117 = fadd double %116, %115
%118 = fmul double %3, 2.000000e+00
%119 = fptosi double %118 to i32
%120 = tail call double @log(i32 %119)
%121 = fadd double %0, 5.000000e-01
%122 = tail call i32 @th_Gamma(double %121)
%123 = tail call double @log(i32 %122)
%124 = insertelement <2 x double> poison, double %72, i64 0
%125 = insertelement <2 x double> %124, double %123, i64 1
%126 = fmul <2 x double> %125, <double 2.500000e-01, double -5.000000e-01>
%127 = insertelement <2 x double> %32, double %120, i64 1
%128 = insertelement <2 x double> <double poison, double 2.500000e-01>, double %90, i64 0
%129 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %127, <2 x double> %128, <2 x double> %126)
%130 = shufflevector <2 x double> %129, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%131 = fadd <2 x double> %129, %130
%132 = extractelement <2 x double> %131, i64 0
%133 = fadd double %117, %132
ret double %133
}