#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 log(double);
double pow(double, double);
double F(double rho_) {
  double rhon = .85 * 20.226537, rho0 = 1.15 * 20.226537;
  if (rho_ < rhon)
    return (-2.806783 * pow(rho_ / rhon - 1., 0.) +
            -0.276173 * pow(rho_ / rhon - 1., 1.) +
            0.893409 * pow(rho_ / rhon - 1., 2.) +
            -1.637201 * pow(rho_ / rhon - 1., 3.));
  else if (rhon <= rho_ && rho_ < rho0)
    return (-2.83 * pow(rho_ / 20.226537 - 1., 0.) +
            0. * pow(rho_ / 20.226537 - 1., 1.) +
            0.929508 * pow(rho_ / 20.226537 - 1., 2.) +
            -0.68232 * pow(rho_ / 20.226537 - 1., 3.));
  else if (rho0 <= rho_)
    return (-2.829437 * (1. - log(pow(rho_ / 20.226537, 0.779208))) *
            pow(rho_ / 20.226537, 0.779208));
}


x86 assembly (clang, -O0):
<F>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  0xed3(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xebe(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1249 <F+0x129>
movsd  -0x10(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
movsd  0xebb(%rip),%xmm1
subsd  %xmm1,%xmm0
xorps  %xmm1,%xmm1
call   1040 <pow@plt>
movsd  %xmm0,-0x38(%rbp)
movsd  -0x10(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
movsd  0xe98(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xe8c(%rip),%xmm1
call   1040 <pow@plt>
movaps %xmm0,%xmm2
movsd  -0x38(%rbp),%xmm0
movsd  0xebf(%rip),%xmm1
mulsd  %xmm2,%xmm1
movsd  0xeab(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x10(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
movsd  0xe4c(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xe60(%rip),%xmm1
call   1040 <pow@plt>
movsd  -0x30(%rbp),%xmm1
movsd  0xe66(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x10(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
movsd  0xe0f(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xe13(%rip),%xmm1
call   1040 <pow@plt>
movsd  -0x28(%rbp),%xmm1
movsd  0xe21(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    140c <F+0x2ec>
movsd  -0x18(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     1376 <F+0x256>
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1376 <F+0x256>
movsd  -0x10(%rbp),%xmm0
movsd  0xd9a(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xd9e(%rip),%xmm1
subsd  %xmm1,%xmm0
xorps  %xmm1,%xmm1
call   1040 <pow@plt>
movsd  %xmm0,-0x50(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xd70(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xd74(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xd68(%rip),%xmm1
call   1040 <pow@plt>
movaps %xmm0,%xmm2
movsd  -0x50(%rbp),%xmm0
xorps  %xmm1,%xmm1
mulsd  %xmm2,%xmm1
movsd  0xd74(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xd22(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xd26(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xd3a(%rip),%xmm1
call   1040 <pow@plt>
movsd  -0x48(%rbp),%xmm1
movsd  0xd20(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xcde(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xce2(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xce6(%rip),%xmm1
call   1040 <pow@plt>
movsd  -0x40(%rbp),%xmm1
movsd  0xccc(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    140c <F+0x2ec>
movsd  -0x20(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     1402 <F+0x2e2>
movsd  -0x10(%rbp),%xmm0
movsd  0xc81(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xc6d(%rip),%xmm1
call   1040 <pow@plt>
call   1030 <log@plt>
cvtsi2sd %eax,%xmm0
movsd  0xc6f(%rip),%xmm1
subsd  %xmm0,%xmm1
movsd  0xc5b(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xc3d(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xc29(%rip),%xmm1
call   1040 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x58(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    140c <F+0x2ec>
jmp    1407 <F+0x2e7>
jmp    140c <F+0x2ec>
movsd  -0x8(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<F>:
sub    $0x18,%rsp
movapd %xmm0,%xmm2
movsd  0xed0(%rip),%xmm0
ucomisd %xmm2,%xmm0
jbe    118f <F+0x6f>
divsd  0xec2(%rip),%xmm2
addsd  0xeea(%rip),%xmm2
movsd  0xf0a(%rip),%xmm0
mulsd  %xmm2,%xmm0
addsd  0xf06(%rip),%xmm0
movapd %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  0xefe(%rip),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xecc(%rip),%xmm1
movapd %xmm2,%xmm0
call   1040 <pow@plt>
mulsd  0xee3(%rip),%xmm0
jmp    11fa <F+0xda>
ucomisd 0xe69(%rip),%xmm2
jb     1205 <F+0xe5>
movsd  0xe67(%rip),%xmm0
ucomisd %xmm2,%xmm0
jbe    1205 <F+0xe5>
divsd  0xe61(%rip),%xmm2
addsd  0xe79(%rip),%xmm2
xorpd  %xmm0,%xmm0
mulsd  %xmm2,%xmm0
addsd  0xe71(%rip),%xmm0
movapd %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  0xe69(%rip),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xe5f(%rip),%xmm1
movapd %xmm2,%xmm0
call   1040 <pow@plt>
mulsd  0xe56(%rip),%xmm0
addsd  0x8(%rsp),%xmm0
add    $0x18,%rsp
ret
ucomisd 0xdfb(%rip),%xmm2
jb     126d <F+0x14d>
divsd  0xdf9(%rip),%xmm2
movsd  %xmm2,0x8(%rsp)
movsd  0xdf3(%rip),%xmm1
movapd %xmm2,%xmm0
call   1040 <pow@plt>
call   1030 <log@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  0xdde(%rip),%xmm1
subsd  %xmm0,%xmm1
mulsd  0xdda(%rip),%xmm1
movsd  %xmm1,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
movsd  0xdb6(%rip),%xmm1
call   1040 <pow@plt>
mulsd  0x10(%rsp),%xmm0
add    $0x18,%rsp
ret

LLVM IR (-O0):
define double @F(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
store double %0, double* %3
store double 0x4031314B61276245, double* %4
store double 0x403742B1473548B7, double* %5
%6 = load double, double* %3
%7 = load double, double* %4
%8 = fcmp olt double %6, %7
br i1 %8, label %9, label %34
9: ; preds = %1
%10 = load double, double* %3
%11 = load double, double* %4
%12 = fdiv double %10, %11
%13 = fsub double %12, 1.000000e+00
%14 = call double @pow(double %13, double 0.000000e+00)
%15 = load double, double* %3
%16 = load double, double* %4
%17 = fdiv double %15, %16
%18 = fsub double %17, 1.000000e+00
%19 = call double @pow(double %18, double 1.000000e+00)
%20 = fmul double -2.761730e-01, %19
%21 = call double @llvm.fmuladd.f64(double 0xC006744AA53FC009, double %14, double %20)
%22 = load double, double* %3
%23 = load double, double* %4
%24 = fdiv double %22, %23
%25 = fsub double %24, 1.000000e+00
%26 = call double @pow(double %25, double 2.000000e+00)
%27 = call double @llvm.fmuladd.f64(double 8.934090e-01, double %26, double %21)
%28 = load double, double* %3
%29 = load double, double* %4
%30 = fdiv double %28, %29
%31 = fsub double %30, 1.000000e+00
%32 = call double @pow(double %31, double 3.000000e+00)
%33 = call double @llvm.fmuladd.f64(double 0xBFFA31F9ACFFA7EB, double %32, double %27)
store double %33, double* %2
br label %81
34: ; preds = %1
%35 = load double, double* %4
%36 = load double, double* %3
%37 = fcmp ole double %35, %36
br i1 %37, label %38, label %63
38: ; preds = %34
%39 = load double, double* %3
%40 = load double, double* %5
%41 = fcmp olt double %39, %40
br i1 %41, label %42, label %63
42: ; preds = %38
%43 = load double, double* %3
%44 = fdiv double %43, 0x403439FE542E557E
%45 = fsub double %44, 1.000000e+00
%46 = call double @pow(double %45, double 0.000000e+00)
%47 = load double, double* %3
%48 = fdiv double %47, 0x403439FE542E557E
%49 = fsub double %48, 1.000000e+00
%50 = call double @pow(double %49, double 1.000000e+00)
%51 = fmul double 0.000000e+00, %50
%52 = call double @llvm.fmuladd.f64(double -2.830000e+00, double %46, double %51)
%53 = load double, double* %3
%54 = fdiv double %53, 0x403439FE542E557E
%55 = fsub double %54, 1.000000e+00
%56 = call double @pow(double %55, double 2.000000e+00)
%57 = call double @llvm.fmuladd.f64(double 9.295080e-01, double %56, double %52)
%58 = load double, double* %3
%59 = fdiv double %58, 0x403439FE542E557E
%60 = fsub double %59, 1.000000e+00
%61 = call double @pow(double %60, double 3.000000e+00)
%62 = call double @llvm.fmuladd.f64(double -6.823200e-01, double %61, double %57)
store double %62, double* %2
br label %81
63: ; preds = %38, %34
%64 = load double, double* %5
%65 = load double, double* %3
%66 = fcmp ole double %64, %65
br i1 %66, label %67, label %79
67: ; preds = %63
%68 = load double, double* %3
%69 = fdiv double %68, 0x403439FE542E557E
%70 = call double @pow(double %69, double 7.792080e-01)
%71 = call i32 @log(double %70)
%72 = sitofp i32 %71 to double
%73 = fsub double 1.000000e+00, %72
%74 = fmul double 0xC006A2AFDDA8BD23, %73
%75 = load double, double* %3
%76 = fdiv double %75, 0x403439FE542E557E
%77 = call double @pow(double %76, double 7.792080e-01)
%78 = fmul double %74, %77
store double %78, double* %2
br label %81
79: ; preds = %63
br label %80
80: ; preds = %79
br label %81
81: ; preds = %9, %42, %67, %80
%82 = load double, double* %2
ret double %82
}

LLVM IR (-O2):
define double @F(double %0) {
%2 = fcmp olt double %0, 0x4031314B61276245
br i1 %2, label %3, label %12
3: ; preds = %1
%4 = fdiv double %0, 0x4031314B61276245
%5 = fadd double %4, -1.000000e+00
%6 = fmul double %5, 2.761730e-01
%7 = fsub double 0xC006744AA53FC009, %6
%8 = fmul double %5, %5
%9 = tail call double @llvm.fmuladd.f64(double %8, double 8.934090e-01, double %7)
%10 = tail call double @pow(double %5, double 3.000000e+00)
%11 = tail call double @llvm.fmuladd.f64(double %10, double 0xBFFA31F9ACFFA7EB, double %9)
br label %36
12: ; preds = %1
%13 = fcmp oge double %0, 0x4031314B61276245
%14 = fcmp olt double %0, 0x403742B1473548B7
%15 = and i1 %13, %14
br i1 %15, label %16, label %25
16: ; preds = %12
%17 = fdiv double %0, 0x403439FE542E557E
%18 = fadd double %17, -1.000000e+00
%19 = fmul double %18, 0.000000e+00
%20 = fadd double %19, -2.830000e+00
%21 = fmul double %18, %18
%22 = tail call double @llvm.fmuladd.f64(double %21, double 9.295080e-01, double %20)
%23 = tail call double @pow(double %18, double 3.000000e+00)
%24 = tail call double @llvm.fmuladd.f64(double %23, double -6.823200e-01, double %22)
br label %36
25: ; preds = %12
%26 = fcmp ult double %0, 0x403742B1473548B7
br i1 %26, label %36, label %27
27: ; preds = %25
%28 = fdiv double %0, 0x403439FE542E557E
%29 = tail call double @pow(double %28, double 7.792080e-01)
%30 = tail call i32 @log(double %29)
%31 = sitofp i32 %30 to double
%32 = fsub double 1.000000e+00, %31
%33 = fmul double %32, 0xC006A2AFDDA8BD23
%34 = tail call double @pow(double %28, double 7.792080e-01)
%35 = fmul double %34, %33
br label %36
36: ; preds = %25, %27, %16, %3
%37 = phi double [ %11, %3 ], [ %24, %16 ], [ %35, %27 ], [ undef, %25 ]
ret double %37
}