#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 sqrt(double);
double gsw_ct_freezing(double sa, double p, double saturation_fraction) {
  double c0 = 0.017947064327968736e0, c1 = -6.076099099929818e0,
         c2 = 4.883198653547851e0, c3 = -11.88081601230542e0,
         c4 = 13.34658511480257e0, c5 = -8.722761043208607e0,
         c6 = 2.082038908808201e0, c7 = -7.389420998107497e0,
         c8 = -2.110913185058476e0, c9 = 0.2295491578006229e0,
         c10 = -0.9891538123307282e0, c11 = -0.08987150128406496e0,
         c12 = 0.3831132432071728e0, c13 = 1.054318231187074e0,
         c14 = 1.065556599652796e0, c15 = -0.7997496801694032e0,
         c16 = 0.3850133554097069e0, c17 = -2.078616693017569e0,
         c18 = 0.8756340772729538e0, c19 = -2.079022768390933e0,
         c20 = 1.596435439942262e0, c21 = 0.1338002171109174e0,
         c22 = 1.242891021876471e0;
  double ct_freezing;
  double sa_r, x, p_r, a, b;
  sa_r = sa * 1e-2;
  x = sqrt(sa_r);
  p_r = p * 1e-4;
  ct_freezing =
      c0 + sa_r * (c1 + x * (c2 + x * (c3 + x * (c4 + x * (c5 + c6 * x))))) +
      p_r * (c7 + p_r * (c8 + c9 * p_r)) +
      sa_r * p_r *
          (c10 + p_r * (c12 + p_r * (c15 + c21 * sa_r)) +
           sa_r * (c13 + c17 * p_r + c19 * sa_r) +
           x * (c11 + p_r * (c14 + c18 * p_r) +
                sa_r * (c16 + c20 * p_r + c22 * sa_r)));
  a = 0.014289763856964e0;
  b = 0.057000649899720e0;
  ct_freezing = ct_freezing - saturation_fraction * (1e-3) * (2.4e0 - a * sa) *
                                  (1e0 + b * (1e0 - sa / 35.16504e0));
  if (p > 10000e0 || sa > 120e0 ||
      (p + sa * 71.428571428571402e0) > 13571.42857142857e0)
    ct_freezing = 9e15;
  return (ct_freezing);
}


x86 assembly (clang, -O0):
<gsw_ct_freezing>:
push   %rbp
mov    %rsp,%rbp
sub    $0x100,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  0xfc6(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xfb1(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xf9c(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xf87(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xf72(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xf5d(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xf48(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xf33(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xf1e(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xf09(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xef4(%rip),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xedf(%rip),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  0xeca(%rip),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0xeb5(%rip),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xe9d(%rip),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0xe85(%rip),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  0xe6d(%rip),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  0xe55(%rip),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  0xe3d(%rip),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  0xe25(%rip),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  0xe0d(%rip),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  0xdf5(%rip),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  0xddd(%rip),%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  0xdc5(%rip),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0xe0(%rbp),%xmm0
ff
call   1030 <sqrt@plt>
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  0xd93(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0x20(%rbp),%xmm1
movsd  -0xe0(%rbp),%xmm0
ff
movsd  -0x28(%rbp),%xmm3
movsd  -0xe8(%rbp),%xmm2
ff
movsd  -0x30(%rbp),%xmm5
movsd  -0xe8(%rbp),%xmm4
ff
movsd  -0x38(%rbp),%xmm7
movsd  -0xe8(%rbp),%xmm6
ff
movsd  -0x40(%rbp),%xmm9
movsd  -0xe8(%rbp),%xmm8
ff ff
movsd  -0x48(%rbp),%xmm11
movsd  -0x50(%rbp),%xmm10
movsd  -0xe8(%rbp),%xmm12
ff ff
mulsd  %xmm12,%xmm10
addsd  %xmm11,%xmm10
mulsd  %xmm10,%xmm8
addsd  %xmm9,%xmm8
mulsd  %xmm8,%xmm6
addsd  %xmm7,%xmm6
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0xf0(%rbp),%xmm1
ff
movsd  -0x58(%rbp),%xmm3
movsd  -0xf0(%rbp),%xmm2
ff
movsd  -0x60(%rbp),%xmm5
movsd  -0x68(%rbp),%xmm4
movsd  -0xf0(%rbp),%xmm6
ff
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xe0(%rbp),%xmm0
ff
mulsd  -0xf0(%rbp),%xmm0
ff
movsd  -0x70(%rbp),%xmm3
movsd  -0xf0(%rbp),%xmm2
ff
movsd  -0x80(%rbp),%xmm5
movsd  -0xf0(%rbp),%xmm4
ff
movsd  -0x98(%rbp),%xmm7
ff
movsd  -0xc8(%rbp),%xmm6
ff
movsd  -0xe0(%rbp),%xmm8
ff ff
mulsd  %xmm8,%xmm6
addsd  %xmm7,%xmm6
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
movsd  -0xe0(%rbp),%xmm3
ff
movsd  -0x88(%rbp),%xmm4
ff
movsd  -0xa8(%rbp),%xmm5
ff
movsd  -0xf0(%rbp),%xmm6
ff
mulsd  %xmm6,%xmm5
addsd  %xmm4,%xmm5
movsd  -0xb8(%rbp),%xmm4
ff
movsd  -0xe0(%rbp),%xmm6
ff
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm3
addsd  %xmm2,%xmm3
movsd  -0xe8(%rbp),%xmm2
ff
movsd  -0x78(%rbp),%xmm4
movsd  -0xf0(%rbp),%xmm5
ff
movsd  -0x90(%rbp),%xmm7
ff
movsd  -0xb0(%rbp),%xmm6
ff
movsd  -0xf0(%rbp),%xmm8
ff ff
mulsd  %xmm8,%xmm6
addsd  %xmm7,%xmm6
mulsd  %xmm6,%xmm5
addsd  %xmm4,%xmm5
movsd  -0xe0(%rbp),%xmm4
ff
movsd  -0xa0(%rbp),%xmm6
ff
movsd  -0xc0(%rbp),%xmm7
ff
movsd  -0xf0(%rbp),%xmm8
ff ff
mulsd  %xmm8,%xmm7
addsd  %xmm6,%xmm7
movsd  -0xd0(%rbp),%xmm6
ff
movsd  -0xe0(%rbp),%xmm8
ff ff
mulsd  %xmm8,%xmm6
addsd  %xmm7,%xmm6
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  0xb63(%rip),%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  0xb4b(%rip),%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0xd8(%rbp),%xmm1
ff
movsd  0xb2b(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  -0xf8(%rbp),%xmm2
ff
movsd  -0x8(%rbp),%xmm3
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mulsd  %xmm3,%xmm2
movsd  0xaee(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
movsd  -0x100(%rbp),%xmm2
ff
movsd  -0x8(%rbp),%xmm4
movsd  0xac9(%rip),%xmm3
divsd  %xmm3,%xmm4
movsd  0xab5(%rip),%xmm3
subsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
movsd  0xaa5(%rip),%xmm3
addsd  %xmm3,%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  0xa65(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     15e8 <gsw_ct_freezing+0x4d8>
movsd  -0x8(%rbp),%xmm0
movsd  0xb4e(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     15e8 <gsw_ct_freezing+0x4d8>
movsd  -0x10(%rbp),%xmm1
movsd  -0x8(%rbp),%xmm0
movsd  0xb42(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xb2a(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    15f8 <gsw_ct_freezing+0x4e8>
movsd  0xb28(%rip),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0xd8(%rbp),%xmm0
ff
add    $0x100,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gsw_ct_freezing>:
sub    $0x28,%rsp
movapd %xmm0,%xmm8
movsd  0xedf(%rip),%xmm6
mulsd  %xmm0,%xmm6
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm6
jb     1143 <gsw_ct_freezing+0x33>
xorps  %xmm0,%xmm0
sqrtsd %xmm6,%xmm0
ucomisd 0xed1(%rip),%xmm8
jbe    1189 <gsw_ct_freezing+0x79>
jmp    11ae <gsw_ct_freezing+0x9e>
movapd %xmm6,%xmm0
movsd  %xmm8,0x20(%rsp)
movsd  %xmm1,0x18(%rsp)
movsd  %xmm6,0x10(%rsp)
movsd  %xmm2,0x8(%rsp)
call   1030 <sqrt@plt>
movsd  0x8(%rsp),%xmm2
movsd  0x10(%rsp),%xmm6
movsd  0x18(%rsp),%xmm1
movsd  0x20(%rsp),%xmm8
ucomisd 0xe89(%rip),%xmm8
ja     11ae <gsw_ct_freezing+0x9e>
ucomisd 0xe87(%rip),%xmm1
ja     11ae <gsw_ct_freezing+0x9e>
movsd  0xf6d(%rip),%xmm3
mulsd  %xmm8,%xmm3
addsd  %xmm1,%xmm3
ucomisd 0xf64(%rip),%xmm3
jbe    11bb <gsw_ct_freezing+0xab>
movsd  0xf62(%rip),%xmm7
jmp    1346 <gsw_ct_freezing+0x236>
mulsd  0xe45(%rip),%xmm1
mulsd  0xe55(%rip),%xmm2
movsd  0xe55(%rip),%xmm3
mulsd  %xmm8,%xmm3
addsd  0xe50(%rip),%xmm3
divsd  0xe4f(%rip),%xmm8
movsd  0xe4f(%rip),%xmm4
addsd  %xmm4,%xmm8
mulsd  0xe49(%rip),%xmm8
mulsd  %xmm2,%xmm3
addsd  %xmm4,%xmm8
mulsd  %xmm3,%xmm8
movsd  0xe3b(%rip),%xmm4
mulsd  %xmm1,%xmm4
addsd  0xe37(%rip),%xmm4
movsd  0xe37(%rip),%xmm2
movsd  0xe37(%rip),%xmm3
mulsd  %xmm1,%xmm3
addsd  0xe33(%rip),%xmm3
mulsd  %xmm6,%xmm2
mulsd  %xmm1,%xmm3
addsd  0xe2b(%rip),%xmm3
addsd  %xmm4,%xmm2
mulsd  %xmm6,%xmm2
addsd  %xmm3,%xmm2
movsd  0xe1f(%rip),%xmm5
mulsd  %xmm1,%xmm5
addsd  0xe1b(%rip),%xmm5
movsd  0xe1b(%rip),%xmm3
movsd  0xe1b(%rip),%xmm4
mulsd  %xmm6,%xmm4
addsd  0xe17(%rip),%xmm4
mulsd  %xmm6,%xmm3
mulsd  %xmm1,%xmm4
addsd  0xe0f(%rip),%xmm4
addsd  %xmm5,%xmm3
mulsd  %xmm1,%xmm4
addsd  0xe07(%rip),%xmm4
movsd  0xe07(%rip),%xmm7
mulsd  %xmm1,%xmm7
addsd  0xe03(%rip),%xmm7
mulsd  %xmm6,%xmm3
mulsd  %xmm1,%xmm7
addsd  0xdfb(%rip),%xmm7
movsd  0xdfb(%rip),%xmm5
mulsd  %xmm0,%xmm5
addsd  0xdf7(%rip),%xmm5
addsd  %xmm4,%xmm3
mulsd  %xmm0,%xmm5
addsd  0xdef(%rip),%xmm5
mulsd  %xmm0,%xmm2
mulsd  %xmm0,%xmm5
addsd  0xde7(%rip),%xmm5
addsd  %xmm3,%xmm2
movapd %xmm6,%xmm3
mulsd  %xmm0,%xmm5
addsd  0xddb(%rip),%xmm5
mulsd  %xmm1,%xmm3
mulsd  %xmm0,%xmm5
addsd  0xdd3(%rip),%xmm5
mulsd  %xmm3,%xmm2
mulsd  %xmm6,%xmm5
addsd  0xdcb(%rip),%xmm5
mulsd  %xmm1,%xmm7
addsd  %xmm5,%xmm7
addsd  %xmm2,%xmm7
addsd  %xmm8,%xmm7
movapd %xmm7,%xmm0
add    $0x28,%rsp
ret

LLVM IR (-O0):
define double @gsw_ct_freezing(double %0, double %1, double %2) {
%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
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
%31 = alloca double
%32 = alloca double
%33 = alloca double
%34 = alloca double
%35 = alloca double
store double %0, double* %4
store double %1, double* %5
store double %2, double* %6
store double 0x3F9260B719642E95, double* %7
store double 0xC0184DECEC25D07E, double* %8
store double 0x401388653A536FE0, double* %9
store double 0xC027C2FA50FD4A32, double* %10
store double 0x402AB1739AAAB703, double* %11
store double 0xC021720DBC46CEC0, double* %12
store double 0x4000A80403F2A560, double* %13
store double 0xC01D8EC460CCFD51, double* %14
store double 0xC000E32673B42BBA, double* %15
store double 0x3FCD61DDE6C9FC84, double* %16
store double 0xBFEFA725E555930A, double* %17
store double 0xBFB701D196DB83E0, double* %18
store double 0x3FD884ED688F50B7, double* %19
store double 0x3FF0DE7CCB28669B, double* %20
store double 0x3FF10C8513B8BB49, double* %21
store double 0xBFE9978CA42A0CAB, double* %22
store double 0x3FD8A40F0E8081B1, double* %23
store double 0xC000A101C9EB70E8, double* %24
store double 0x3FEC0531C1A4D0AE, double* %25
store double 0xC000A1D6B06F070B, double* %26
store double 0x3FF98AFFE34BA361, double* %27
store double 0x3FC1205D92583419, double* %28
store double 0x3FF3E2E1B2373932, double* %29
%36 = load double, double* %4
%37 = fmul double %36, 1.000000e-02
store double %37, double* %31
%38 = load double, double* %31
%39 = call double @sqrt(double %38)
store double %39, double* %32
%40 = load double, double* %5
%41 = fmul double %40, 1.000000e-04
store double %41, double* %33
%42 = load double, double* %7
%43 = load double, double* %31
%44 = load double, double* %8
%45 = load double, double* %32
%46 = load double, double* %9
%47 = load double, double* %32
%48 = load double, double* %10
%49 = load double, double* %32
%50 = load double, double* %11
%51 = load double, double* %32
%52 = load double, double* %12
%53 = load double, double* %13
%54 = load double, double* %32
%55 = call double @llvm.fmuladd.f64(double %53, double %54, double %52)
%56 = call double @llvm.fmuladd.f64(double %51, double %55, double %50)
%57 = call double @llvm.fmuladd.f64(double %49, double %56, double %48)
%58 = call double @llvm.fmuladd.f64(double %47, double %57, double %46)
%59 = call double @llvm.fmuladd.f64(double %45, double %58, double %44)
%60 = call double @llvm.fmuladd.f64(double %43, double %59, double %42)
%61 = load double, double* %33
%62 = load double, double* %14
%63 = load double, double* %33
%64 = load double, double* %15
%65 = load double, double* %16
%66 = load double, double* %33
%67 = call double @llvm.fmuladd.f64(double %65, double %66, double %64)
%68 = call double @llvm.fmuladd.f64(double %63, double %67, double %62)
%69 = call double @llvm.fmuladd.f64(double %61, double %68, double %60)
%70 = load double, double* %31
%71 = load double, double* %33
%72 = fmul double %70, %71
%73 = load double, double* %17
%74 = load double, double* %33
%75 = load double, double* %19
%76 = load double, double* %33
%77 = load double, double* %22
%78 = load double, double* %28
%79 = load double, double* %31
%80 = call double @llvm.fmuladd.f64(double %78, double %79, double %77)
%81 = call double @llvm.fmuladd.f64(double %76, double %80, double %75)
%82 = call double @llvm.fmuladd.f64(double %74, double %81, double %73)
%83 = load double, double* %31
%84 = load double, double* %20
%85 = load double, double* %24
%86 = load double, double* %33
%87 = call double @llvm.fmuladd.f64(double %85, double %86, double %84)
%88 = load double, double* %26
%89 = load double, double* %31
%90 = call double @llvm.fmuladd.f64(double %88, double %89, double %87)
%91 = call double @llvm.fmuladd.f64(double %83, double %90, double %82)
%92 = load double, double* %32
%93 = load double, double* %18
%94 = load double, double* %33
%95 = load double, double* %21
%96 = load double, double* %25
%97 = load double, double* %33
%98 = call double @llvm.fmuladd.f64(double %96, double %97, double %95)
%99 = call double @llvm.fmuladd.f64(double %94, double %98, double %93)
%100 = load double, double* %31
%101 = load double, double* %23
%102 = load double, double* %27
%103 = load double, double* %33
%104 = call double @llvm.fmuladd.f64(double %102, double %103, double %101)
%105 = load double, double* %29
%106 = load double, double* %31
%107 = call double @llvm.fmuladd.f64(double %105, double %106, double %104)
%108 = call double @llvm.fmuladd.f64(double %100, double %107, double %99)
%109 = call double @llvm.fmuladd.f64(double %92, double %108, double %91)
%110 = call double @llvm.fmuladd.f64(double %72, double %109, double %69)
store double %110, double* %30
store double 0x3F8D43F3A3773DBA, double* %34
store double 0x3FAD2F306E570FE3, double* %35
%111 = load double, double* %30
%112 = load double, double* %6
%113 = fmul double %112, 1.000000e-03
%114 = load double, double* %34
%115 = load double, double* %4
%116 = fneg double %114
%117 = call double @llvm.fmuladd.f64(double %116, double %115, double 2.400000e+00)
%118 = fmul double %113, %117
%119 = load double, double* %35
%120 = load double, double* %4
%121 = fdiv double %120, 0x4041952007DD4413
%122 = fsub double 1.000000e+00, %121
%123 = call double @llvm.fmuladd.f64(double %119, double %122, double 1.000000e+00)
%124 = fneg double %118
%125 = call double @llvm.fmuladd.f64(double %124, double %123, double %111)
store double %125, double* %30
%126 = load double, double* %5
%127 = fcmp ogt double %126, 1.000000e+04
br i1 %127, label %136, label %128
128: ; preds = %3
%129 = load double, double* %4
%130 = fcmp ogt double %129, 1.200000e+02
br i1 %130, label %136, label %131
131: ; preds = %128
%132 = load double, double* %5
%133 = load double, double* %4
%134 = call double @llvm.fmuladd.f64(double %133, double 0x4051DB6DB6DB6DB5, double %132)
%135 = fcmp ogt double %134, 0x40CA81B6DB6DB6DB
br i1 %135, label %136, label %137
136: ; preds = %131, %128, %3
store double 9.000000e+15, double* %30
br label %137
137: ; preds = %136, %131
%138 = load double, double* %30
ret double %138
}

LLVM IR (-O2):
define double @gsw_ct_freezing(double %0, double %1, double %2) {
%4 = fmul double %0, 1.000000e-02
%5 = tail call double @sqrt(double %4)
%6 = fmul double %1, 1.000000e-04
%7 = fcmp ogt double %1, 1.000000e+04
%8 = fcmp ogt double %0, 1.200000e+02
%9 = or i1 %8, %7
br i1 %9, label %43, label %10
10: ; preds = %3
%11 = fmul double %2, -1.000000e-03
%12 = tail call double @llvm.fmuladd.f64(double %0, double 0xBF8D43F3A3773DBA, double 2.400000e+00)
%13 = fmul double %12, %11
%14 = fdiv double %0, 0x4041952007DD4413
%15 = fsub double 1.000000e+00, %14
%16 = tail call double @llvm.fmuladd.f64(double %15, double 0x3FAD2F306E570FE3, double 1.000000e+00)
%17 = fmul double %4, %6
%18 = tail call double @llvm.fmuladd.f64(double %6, double 0x3FF98AFFE34BA361, double 0x3FD8A40F0E8081B1)
%19 = tail call double @llvm.fmuladd.f64(double %4, double 0x3FF3E2E1B2373932, double %18)
%20 = tail call double @llvm.fmuladd.f64(double %6, double 0x3FEC0531C1A4D0AE, double 0x3FF10C8513B8BB49)
%21 = tail call double @llvm.fmuladd.f64(double %6, double %20, double 0xBFB701D196DB83E0)
%22 = tail call double @llvm.fmuladd.f64(double %4, double %19, double %21)
%23 = tail call double @llvm.fmuladd.f64(double %6, double 0xC000A101C9EB70E8, double 0x3FF0DE7CCB28669B)
%24 = tail call double @llvm.fmuladd.f64(double %4, double 0xC000A1D6B06F070B, double %23)
%25 = tail call double @llvm.fmuladd.f64(double %4, double 0x3FC1205D92583419, double 0xBFE9978CA42A0CAB)
%26 = tail call double @llvm.fmuladd.f64(double %6, double %25, double 0x3FD884ED688F50B7)
%27 = tail call double @llvm.fmuladd.f64(double %6, double %26, double 0xBFEFA725E555930A)
%28 = tail call double @llvm.fmuladd.f64(double %4, double %24, double %27)
%29 = tail call double @llvm.fmuladd.f64(double %5, double %22, double %28)
%30 = tail call double @llvm.fmuladd.f64(double %6, double 0x3FCD61DDE6C9FC84, double 0xC000E32673B42BBA)
%31 = tail call double @llvm.fmuladd.f64(double %6, double %30, double 0xC01D8EC460CCFD51)
%32 = tail call double @llvm.fmuladd.f64(double %5, double 0x4000A80403F2A560, double 0xC021720DBC46CEC0)
%33 = tail call double @llvm.fmuladd.f64(double %5, double %32, double 0x402AB1739AAAB703)
%34 = tail call double @llvm.fmuladd.f64(double %5, double %33, double 0xC027C2FA50FD4A32)
%35 = tail call double @llvm.fmuladd.f64(double %5, double %34, double 0x401388653A536FE0)
%36 = tail call double @llvm.fmuladd.f64(double %5, double %35, double 0xC0184DECEC25D07E)
%37 = tail call double @llvm.fmuladd.f64(double %4, double %36, double 0x3F9260B719642E95)
%38 = tail call double @llvm.fmuladd.f64(double %6, double %31, double %37)
%39 = tail call double @llvm.fmuladd.f64(double %17, double %29, double %38)
%40 = tail call double @llvm.fmuladd.f64(double %13, double %16, double %39)
%41 = tail call double @llvm.fmuladd.f64(double %0, double 0x4051DB6DB6DB6DB5, double %1)
%42 = fcmp ogt double %41, 0x40CA81B6DB6DB6DB
br i1 %42, label %43, label %44
43: ; preds = %10, %3
br label %44
44: ; preds = %43, %10
%45 = phi double [ 9.000000e+15, %43 ], [ %40, %10 ]
ret double %45
}