#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 log(int);
double sqrt(double);
double gsw_enthalpy_sso_0_p(double p) {
  double v01 = 9.998420897506056e2, v05 = -6.698001071123802e0,
         v08 = -3.988822378968490e-2, v12 = -2.233269627352527e-2,
         v15 = -1.806789763745328e-4, v17 = -3.087032500374211e-7,
         v20 = 1.550932729220080e-10, v21 = 1.0e0, v26 = -7.521448093615448e-3,
         v31 = -3.303308871386421e-5, v36 = 5.419326551148740e-6,
         v37 = -2.742185394906099e-5, v41 = -1.105097577149576e-7,
         v43 = -1.119011592875110e-10, v47 = -1.200507748551599e-15,
         db2pa = 1e4, sso = 35.16504e0, sqrtsso = 5.930011804372737e0;
  double a0, a1, a2, a3, b0, b1, b2, b1sq, sqrt_disc, n, m, a, b, part;
  a0 = v21 + sso * (v26 + v36 * sso + v31 * sqrtsso);
  a1 = v37 + v41 * sso;
  a2 = v43;
  a3 = v47;
  b0 = v01 + sso * (v05 + v08 * sqrtsso);
  b1 = 0.5 * (v12 + v15 * sso);
  b2 = v17 + v20 * sso;
  b1sq = b1 * b1;
  sqrt_disc = sqrt(b1sq - b0 * b2);
  n = a0 + (2e0 * a3 * b0 * b1 / b2 - a2 * b0) / b2;
  m = a1 + (4e0 * a3 * b1sq / b2 - a3 * b0 - 2 * a2 * b1) / b2;
  a = b1 - sqrt_disc;
  b = b1 + sqrt_disc;
  part = (n * b2 - m * b1) / (b2 * (b - a));
  return (db2pa * (p * (a2 - 2e0 * a3 * b1 / b2 + 0.5e0 * a3 * p) / b2 +
                   (m / (2e0 * b2)) * log(1e0 + p * (2e0 * b1 + b2 * p) / b0) +
                   part * log(1e0 + (b2 * p * (b - a)) / (a * (b + b2 * p)))));
}


x86 assembly (clang, -O0):
<gsw_enthalpy_sso_0_p>:
push   %rbp
mov    %rsp,%rbp
sub    $0x130,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  0xf68(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xf53(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xf3e(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xf29(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xf14(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xeff(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xeea(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xe6d(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xec8(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xeb3(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xe9e(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xe89(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xe74(%rip),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xe5f(%rip),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  0xe4a(%rip),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0xe35(%rip),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xe1d(%rip),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0xe05(%rip),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x48(%rbp),%xmm1
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x50(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm3
movsd  -0x90(%rbp),%xmm4
ff
mulsd  %xmm4,%xmm3
addsd  %xmm2,%xmm3
movsd  -0x58(%rbp),%xmm2
movsd  -0x98(%rbp),%xmm4
ff
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x68(%rbp),%xmm1
movsd  -0x70(%rbp),%xmm0
movsd  -0x90(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x10(%rbp),%xmm1
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x18(%rbp),%xmm3
movsd  -0x20(%rbp),%xmm2
movsd  -0x98(%rbp),%xmm4
ff
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x28(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm1
movsd  -0x90(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xd0c(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x38(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm0
movsd  -0x90(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0xc8(%rbp),%xmm0
ff
mulsd  -0xc8(%rbp),%xmm0
ff
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0xd8(%rbp),%xmm1
ff
movsd  -0xc0(%rbp),%xmm0
ff
movsd  -0xd0(%rbp),%xmm2
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1040 <sqrt@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0xa0(%rbp),%xmm0
ff
movsd  0xc6a(%rip),%xmm2
mulsd  -0xb8(%rbp),%xmm2
ff
mulsd  -0xc0(%rbp),%xmm2
ff
mulsd  -0xc8(%rbp),%xmm2
ff
divsd  -0xd0(%rbp),%xmm2
ff
movsd  -0xb0(%rbp),%xmm1
ff
movsd  -0xc0(%rbp),%xmm3
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
divsd  -0xd0(%rbp),%xmm1
ff
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xe8(%rbp)
movsd  -0xa8(%rbp),%xmm0
ff
movsd  0xc07(%rip),%xmm1
mulsd  -0xb8(%rbp),%xmm1
ff
mulsd  -0xd8(%rbp),%xmm1
ff
divsd  -0xd0(%rbp),%xmm1
ff
movsd  -0xb8(%rbp),%xmm2
ff
movsd  -0xc0(%rbp),%xmm3
ff
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mulsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
movsd  0xba8(%rip),%xmm1
mulsd  -0xb0(%rbp),%xmm1
ff
movsd  -0xc8(%rbp),%xmm3
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
divsd  -0xd0(%rbp),%xmm1
ff
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0xc8(%rbp),%xmm0
ff
subsd  -0xe0(%rbp),%xmm0
ff
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0xc8(%rbp),%xmm0
ff
addsd  -0xe0(%rbp),%xmm0
ff
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0xe8(%rbp),%xmm0
ff
movsd  -0xd0(%rbp),%xmm2
ff
movsd  -0xf0(%rbp),%xmm1
ff
mulsd  -0xc8(%rbp),%xmm1
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0xd0(%rbp),%xmm1
ff
movsd  -0x100(%rbp),%xmm2
ff
subsd  -0xf8(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x110(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
movsd  -0xb0(%rbp),%xmm2
ff
movsd  0xaa9(%rip),%xmm1
mulsd  -0xb8(%rbp),%xmm1
ff
mulsd  -0xc8(%rbp),%xmm1
ff
divsd  -0xd0(%rbp),%xmm1
ff
subsd  %xmm1,%xmm2
movsd  0xa8d(%rip),%xmm1
mulsd  -0xb8(%rbp),%xmm1
ff
movsd  -0x8(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
divsd  -0xd0(%rbp),%xmm0
ff
movsd  %xmm0,-0x130(%rbp)
ff
movsd  -0xf0(%rbp),%xmm0
ff
movsd  0xa4c(%rip),%xmm1
mulsd  -0xd0(%rbp),%xmm1
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x128(%rbp)
ff
movsd  -0x8(%rbp),%xmm1
movsd  -0xc8(%rbp),%xmm0
ff
movsd  -0xd0(%rbp),%xmm2
ff
mulsd  -0x8(%rbp),%xmm2
addsd  %xmm0,%xmm0
addsd  %xmm2,%xmm0
mulsd  %xmm0,%xmm1
divsd  -0xc0(%rbp),%xmm1
ff
movsd  0x9fa(%rip),%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <log@plt>
movsd  -0x130(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0x128(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x118(%rbp)
ff
movsd  -0x108(%rbp),%xmm0
ff
movsd  %xmm0,-0x120(%rbp)
ff
movsd  -0xd0(%rbp),%xmm1
ff
mulsd  -0x8(%rbp),%xmm1
movsd  -0x100(%rbp),%xmm0
ff
subsd  -0xf8(%rbp),%xmm0
ff
mulsd  %xmm0,%xmm1
movsd  -0xf8(%rbp),%xmm0
ff
movsd  -0x100(%rbp),%xmm3
ff
movsd  -0xd0(%rbp),%xmm2
ff
movsd  -0x8(%rbp),%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
divsd  %xmm0,%xmm1
movsd  0x964(%rip),%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <log@plt>
movsd  -0x120(%rbp),%xmm1
ff
movsd  -0x118(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0x110(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
add    $0x130,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gsw_enthalpy_sso_0_p>:
sub    $0x18,%rsp
movsd  0xee4(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xee0(%rip),%xmm1
mulsd  %xmm0,%xmm1
movsd  0xedc(%rip),%xmm2
divsd  %xmm2,%xmm1
movsd  %xmm1,0x8(%rsp)
mulsd  %xmm0,%xmm2
movsd  %xmm2,0x10(%rsp)
movsd  0xec8(%rip),%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm0,%xmm1
divsd  0xec0(%rip),%xmm1
addsd  0xec0(%rip),%xmm1
cvttsd2si %xmm1,%edi
call   1030 <log@plt>
mulsd  0xeb7(%rip),%xmm0
addsd  0x8(%rsp),%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0xeab(%rip),%xmm0
movsd  0x10(%rsp),%xmm1
mulsd  %xmm1,%xmm0
addsd  0xea1(%rip),%xmm1
mulsd  0xea1(%rip),%xmm1
divsd  %xmm1,%xmm0
addsd  0xe75(%rip),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <log@plt>
mulsd  0xe8c(%rip),%xmm0
addsd  0x8(%rsp),%xmm0
mulsd  0xe86(%rip),%xmm0
add    $0x18,%rsp
ret

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

LLVM IR (-O2):
define double @gsw_enthalpy_sso_0_p(double %0) {
%2 = tail call double @llvm.fmuladd.f64(double %0, double 0xBCC5A05D6377C5EB, double 0x3D7D3F18F637E480)
%3 = fmul double %2, %0
%4 = fdiv double %3, 0xBE9459C8EAB3F101
%5 = fmul double %0, 0xBE9459C8EAB3F101
%6 = fadd double %5, 0xBF9D5FEFA4B4AA7B
%7 = fmul double %6, %0
%8 = fdiv double %7, 0x40879FE8FA4D96C1
%9 = fadd double %8, 1.000000e+00
%10 = fptosi double %9 to i32
%11 = tail call double @log(i32 %10)
%12 = tail call double @llvm.fmuladd.f64(double %11, double 0x404C684675FBFFB0, double %4)
%13 = fmul double %5, 0x3FA55B50351AFADB
%14 = tail call double @llvm.fmuladd.f64(double %0, double 0xBE9459C8EAB3F101, double 0x3F7AAD618B029676)
%15 = fmul double %14, 0x3FA205A403BAA80C
%16 = fdiv double %13, %15
%17 = fsub double 1.000000e+00, %16
%18 = fptosi double %17 to i32
%19 = tail call double @log(i32 %18)
%20 = tail call double @llvm.fmuladd.f64(double %19, double 0x404C666CFBE46F81, double %12)
%21 = fmul double %20, 1.000000e+04
ret double %21
}