double adisit_1(double tpot, double sal, double p) {
  double a_a1 = 3.6504E-4, a_a2 = 8.3198E-5, a_a3 = 5.4065E-7, a_a4 = 4.0274E-9,
         a_b1 = 1.7439E-5, a_b2 = 2.9778E-7, a_c1 = 8.9309E-7, a_c2 = 3.1628E-8,
         a_c3 = 2.1987E-10, a_d = 4.1057E-9, a_e1 = 1.6056E-10,
         a_e2 = 5.0484E-12;
  double dc, dv, dvs, fne, fst, qc, qn3, qnq, qv, qvs, t, tpo;
  qc = p * (a_a1 + p * (a_c1 - a_e1 * p));
  qv = p * (a_b1 - a_d * p);
  dc = 1. + p * (-a_a2 + p * (a_c2 - a_e2 * p));
  dv = a_b2 * p;
  qnq = -p * (-a_a3 + p * a_c3);
  qn3 = -p * a_a4;
  {
    tpo = tpot;
    qvs = qv * (sal - 35.) + qc;
    dvs = dv * (sal - 35.) + dc;
    t = (tpo + qvs) / dvs;
    fne = -qvs + t * (dvs + t * (qnq + t * qn3)) - tpo;
    fst = dvs + t * (2. * qnq + 3. * qn3 * t);
    t = t - fne / fst;
  }
  return (t);
}


x86 assembly (clang, -O0):
<adisit_1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x58,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  0xf51(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xf3c(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xf27(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xf12(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xefd(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xee8(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xed3(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xebe(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xea9(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xe94(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xe7f(%rip),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xe6a(%rip),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm4
movsd  -0x70(%rbp),%xmm3
movsd  -0x18(%rbp),%xmm5
movq   %xmm3,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm3
mulsd  %xmm5,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm2
movsd  -0x68(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm3
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
movsd  -0x18(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm4
movsd  -0x78(%rbp),%xmm3
movsd  -0x18(%rbp),%xmm5
movq   %xmm3,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm3
mulsd  %xmm5,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd65(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x48(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0x30(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
movsd  -0x18(%rbp),%xmm1
movsd  -0x60(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0xc0(%rbp),%xmm0
ff
movsd  -0x10(%rbp),%xmm2
movsd  0xca1(%rip),%xmm1
subsd  %xmm1,%xmm2
movsd  -0xa8(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  -0x10(%rbp),%xmm2
movsd  0xc70(%rip),%xmm1
subsd  %xmm1,%xmm2
movsd  -0x80(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0xd8(%rbp),%xmm0
ff
addsd  -0xc8(%rbp),%xmm0
ff
divsd  -0x90(%rbp),%xmm0
ff
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0xc8(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  -0xd0(%rbp),%xmm0
ff
movsd  -0x90(%rbp),%xmm3
ff
movsd  -0xd0(%rbp),%xmm2
ff
movsd  -0xb8(%rbp),%xmm5
ff
movsd  -0xd0(%rbp),%xmm4
ff
movsd  -0xb0(%rbp),%xmm6
ff
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
subsd  -0xd8(%rbp),%xmm0
ff
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x90(%rbp),%xmm1
ff
movsd  -0xd0(%rbp),%xmm0
ff
movsd  -0xb8(%rbp),%xmm2
ff
movsd  0xb98(%rip),%xmm3
mulsd  -0xb0(%rbp),%xmm3
ff
mulsd  -0xd0(%rbp),%xmm3
ff
addsd  %xmm2,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0xd0(%rbp),%xmm0
ff
movsd  -0x98(%rbp),%xmm1
ff
divsd  -0xa0(%rbp),%xmm1
ff
subsd  %xmm1,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0xd0(%rbp),%xmm0
ff
add    $0x58,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<adisit_1>:
movsd  0xef8(%rip),%xmm3
mulsd  %xmm2,%xmm3
addsd  0xef4(%rip),%xmm3
mulsd  %xmm2,%xmm3
addsd  0xef0(%rip),%xmm3
movsd  0xef0(%rip),%xmm4
mulsd  %xmm2,%xmm4
addsd  0xeec(%rip),%xmm4
movsd  0xeec(%rip),%xmm6
mulsd  %xmm2,%xmm6
addsd  0xee8(%rip),%xmm6
mulsd  %xmm2,%xmm6
addsd  0xee4(%rip),%xmm6
mulsd  %xmm2,%xmm3
mulsd  %xmm2,%xmm6
addsd  0xedc(%rip),%xmm6
mulsd  %xmm2,%xmm4
movsd  0xed7(%rip),%xmm8
mulsd  %xmm2,%xmm8
movapd 0xf02(%rip),%xmm7
movsd  0xeca(%rip),%xmm5
mulsd  %xmm2,%xmm5
addsd  0xec6(%rip),%xmm5
xorpd  %xmm2,%xmm7
mulsd  %xmm7,%xmm5
mulsd  0xebe(%rip),%xmm2
addsd  0xebe(%rip),%xmm1
mulsd  %xmm1,%xmm4
addsd  %xmm3,%xmm4
mulsd  %xmm8,%xmm1
addsd  %xmm6,%xmm1
movapd %xmm4,%xmm3
addsd  %xmm0,%xmm3
divsd  %xmm1,%xmm3
movapd %xmm3,%xmm6
mulsd  %xmm2,%xmm6
addsd  %xmm5,%xmm6
mulsd  %xmm3,%xmm6
addsd  %xmm1,%xmm6
mulsd  %xmm3,%xmm6
subsd  %xmm4,%xmm6
mulsd  0xe85(%rip),%xmm2
subsd  %xmm0,%xmm6
mulsd  %xmm3,%xmm2
addsd  %xmm5,%xmm5
addsd  %xmm2,%xmm5
mulsd  %xmm3,%xmm5
addsd  %xmm1,%xmm5
divsd  %xmm5,%xmm6
subsd  %xmm6,%xmm3
movapd %xmm3,%xmm0
ret

LLVM IR (-O0):
define double @adisit_1(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
store double %0, double* %4
store double %1, double* %5
store double %2, double* %6
store double 3.650400e-04, double* %7
store double 8.319800e-05, double* %8
store double 5.406500e-07, double* %9
store double 4.027400e-09, double* %10
store double 1.743900e-05, double* %11
store double 2.977800e-07, double* %12
store double 8.930900e-07, double* %13
store double 3.162800e-08, double* %14
store double 2.198700e-10, double* %15
store double 4.105700e-09, double* %16
store double 1.605600e-10, double* %17
store double 5.048400e-12, double* %18
%31 = load double, double* %6
%32 = load double, double* %7
%33 = load double, double* %6
%34 = load double, double* %13
%35 = load double, double* %17
%36 = load double, double* %6
%37 = fneg double %35
%38 = call double @llvm.fmuladd.f64(double %37, double %36, double %34)
%39 = call double @llvm.fmuladd.f64(double %33, double %38, double %32)
%40 = fmul double %31, %39
store double %40, double* %24
%41 = load double, double* %6
%42 = load double, double* %11
%43 = load double, double* %16
%44 = load double, double* %6
%45 = fneg double %43
%46 = call double @llvm.fmuladd.f64(double %45, double %44, double %42)
%47 = fmul double %41, %46
store double %47, double* %27
%48 = load double, double* %6
%49 = load double, double* %8
%50 = fneg double %49
%51 = load double, double* %6
%52 = load double, double* %14
%53 = load double, double* %18
%54 = load double, double* %6
%55 = fneg double %53
%56 = call double @llvm.fmuladd.f64(double %55, double %54, double %52)
%57 = call double @llvm.fmuladd.f64(double %51, double %56, double %50)
%58 = call double @llvm.fmuladd.f64(double %48, double %57, double 1.000000e+00)
store double %58, double* %19
%59 = load double, double* %12
%60 = load double, double* %6
%61 = fmul double %59, %60
store double %61, double* %20
%62 = load double, double* %6
%63 = fneg double %62
%64 = load double, double* %9
%65 = fneg double %64
%66 = load double, double* %6
%67 = load double, double* %15
%68 = call double @llvm.fmuladd.f64(double %66, double %67, double %65)
%69 = fmul double %63, %68
store double %69, double* %26
%70 = load double, double* %6
%71 = fneg double %70
%72 = load double, double* %10
%73 = fmul double %71, %72
store double %73, double* %25
%74 = load double, double* %4
store double %74, double* %30
%75 = load double, double* %27
%76 = load double, double* %5
%77 = fsub double %76, 3.500000e+01
%78 = load double, double* %24
%79 = call double @llvm.fmuladd.f64(double %75, double %77, double %78)
store double %79, double* %28
%80 = load double, double* %20
%81 = load double, double* %5
%82 = fsub double %81, 3.500000e+01
%83 = load double, double* %19
%84 = call double @llvm.fmuladd.f64(double %80, double %82, double %83)
store double %84, double* %21
%85 = load double, double* %30
%86 = load double, double* %28
%87 = fadd double %85, %86
%88 = load double, double* %21
%89 = fdiv double %87, %88
store double %89, double* %29
%90 = load double, double* %28
%91 = fneg double %90
%92 = load double, double* %29
%93 = load double, double* %21
%94 = load double, double* %29
%95 = load double, double* %26
%96 = load double, double* %29
%97 = load double, double* %25
%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 = call double @llvm.fmuladd.f64(double %92, double %99, double %91)
%101 = load double, double* %30
%102 = fsub double %100, %101
store double %102, double* %22
%103 = load double, double* %21
%104 = load double, double* %29
%105 = load double, double* %26
%106 = load double, double* %25
%107 = fmul double 3.000000e+00, %106
%108 = load double, double* %29
%109 = fmul double %107, %108
%110 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %105, double %109)
%111 = call double @llvm.fmuladd.f64(double %104, double %110, double %103)
store double %111, double* %23
%112 = load double, double* %29
%113 = load double, double* %22
%114 = load double, double* %23
%115 = fdiv double %113, %114
%116 = fsub double %112, %115
store double %116, double* %29
%117 = load double, double* %29
ret double %117
}

LLVM IR (-O2):
define double @adisit_1(double %0, double %1, double %2) {
%4 = tail call double @llvm.fmuladd.f64(double %2, double -1.605600e-10, double 8.930900e-07)
%5 = tail call double @llvm.fmuladd.f64(double %2, double %4, double 3.650400e-04)
%6 = fmul double %5, %2
%7 = tail call double @llvm.fmuladd.f64(double %2, double -4.105700e-09, double 1.743900e-05)
%8 = fmul double %7, %2
%9 = tail call double @llvm.fmuladd.f64(double %2, double -5.048400e-12, double 3.162800e-08)
%10 = tail call double @llvm.fmuladd.f64(double %2, double %9, double -8.319800e-05)
%11 = tail call double @llvm.fmuladd.f64(double %2, double %10, double 1.000000e+00)
%12 = fmul double %2, 2.977800e-07
%13 = fneg double %2
%14 = tail call double @llvm.fmuladd.f64(double %2, double 2.198700e-10, double -5.406500e-07)
%15 = fmul double %14, %13
%16 = fmul double %2, -4.027400e-09
%17 = fadd double %1, -3.500000e+01
%18 = tail call double @llvm.fmuladd.f64(double %8, double %17, double %6)
%19 = tail call double @llvm.fmuladd.f64(double %12, double %17, double %11)
%20 = fadd double %18, %0
%21 = fdiv double %20, %19
%22 = fneg double %18
%23 = tail call double @llvm.fmuladd.f64(double %21, double %16, double %15)
%24 = tail call double @llvm.fmuladd.f64(double %21, double %23, double %19)
%25 = tail call double @llvm.fmuladd.f64(double %21, double %24, double %22)
%26 = fsub double %25, %0
%27 = fmul double %16, 3.000000e+00
%28 = fmul double %27, %21
%29 = tail call double @llvm.fmuladd.f64(double %15, double 2.000000e+00, double %28)
%30 = tail call double @llvm.fmuladd.f64(double %21, double %29, double %19)
%31 = fdiv double %26, %30
%32 = fsub double %21, %31
ret double %32
}