double DF(double v, double s, double a1, double a2, double a3) {
  double r;
  r = s / (s - 1.0);
  return -(a1 + 1.0) / (v * v) - a3 / ((r + v) * (r + v)) +
         (a1 + a2 + a3 + 2) / ((1.0 + v) * (1.0 + v));
}


x86 assembly (clang, -O0):
<DF>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  0xed1(%rip),%xmm2
subsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xebc(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0x8(%rbp),%xmm1
mulsd  -0x8(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  -0x28(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm2
addsd  -0x8(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm3
addsd  -0x8(%rbp),%xmm3
mulsd  %xmm3,%xmm2
divsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
addsd  -0x20(%rbp),%xmm1
addsd  -0x28(%rbp),%xmm1
movsd  0xe5e(%rip),%xmm2
addsd  %xmm2,%xmm1
movsd  0xe4a(%rip),%xmm2
addsd  -0x8(%rbp),%xmm2
movsd  0xe3d(%rip),%xmm3
addsd  -0x8(%rbp),%xmm3
mulsd  %xmm3,%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<DF>:
movsd  0xef8(%rip),%xmm5
addsd  %xmm1,%xmm5
divsd  %xmm5,%xmm1
movsd  0xef0(%rip),%xmm5
addsd  %xmm2,%xmm3
addsd  %xmm5,%xmm2
xorpd  0xef8(%rip),%xmm2
addsd  %xmm0,%xmm1
mulsd  %xmm1,%xmm1
addsd  %xmm4,%xmm3
divsd  %xmm1,%xmm4
addsd  0xed0(%rip),%xmm3
unpcklpd %xmm3,%xmm2
addsd  %xmm0,%xmm5
unpcklpd %xmm5,%xmm0
mulpd  %xmm0,%xmm0
divpd  %xmm0,%xmm2
movapd %xmm2,%xmm0
subsd  %xmm4,%xmm0
unpckhpd %xmm2,%xmm2
addsd  %xmm0,%xmm2
movapd %xmm2,%xmm0
ret

LLVM IR (-O0):
define double @DF(double %0, double %1, double %2, double %3, double %4) {
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
store double %0, double* %6
store double %1, double* %7
store double %2, double* %8
store double %3, double* %9
store double %4, double* %10
%12 = load double, double* %7
%13 = load double, double* %7
%14 = fsub double %13, 1.000000e+00
%15 = fdiv double %12, %14
store double %15, double* %11
%16 = load double, double* %8
%17 = fadd double %16, 1.000000e+00
%18 = fneg double %17
%19 = load double, double* %6
%20 = load double, double* %6
%21 = fmul double %19, %20
%22 = fdiv double %18, %21
%23 = load double, double* %10
%24 = load double, double* %11
%25 = load double, double* %6
%26 = fadd double %24, %25
%27 = load double, double* %11
%28 = load double, double* %6
%29 = fadd double %27, %28
%30 = fmul double %26, %29
%31 = fdiv double %23, %30
%32 = fsub double %22, %31
%33 = load double, double* %8
%34 = load double, double* %9
%35 = fadd double %33, %34
%36 = load double, double* %10
%37 = fadd double %35, %36
%38 = fadd double %37, 2.000000e+00
%39 = load double, double* %6
%40 = fadd double 1.000000e+00, %39
%41 = load double, double* %6
%42 = fadd double 1.000000e+00, %41
%43 = fmul double %40, %42
%44 = fdiv double %38, %43
%45 = fadd double %32, %44
ret double %45
}

LLVM IR (-O2):
define double @DF(double %0, double %1, double %2, double %3, double %4) {
%6 = fadd double %1, -1.000000e+00
%7 = fdiv double %1, %6
%8 = fadd double %2, 1.000000e+00
%9 = fneg double %8
%10 = fadd double %7, %0
%11 = fmul double %10, %10
%12 = fdiv double %4, %11
%13 = fadd double %2, %3
%14 = fadd double %13, %4
%15 = fadd double %14, 2.000000e+00
%16 = fadd double %0, 1.000000e+00
%17 = insertelement <2 x double> poison, double %0, i64 0
%18 = insertelement <2 x double> %17, double %16, i64 1
%19 = fmul <2 x double> %18, %18
%20 = insertelement <2 x double> poison, double %9, i64 0
%21 = insertelement <2 x double> %20, double %15, i64 1
%22 = fdiv <2 x double> %21, %19
%23 = extractelement <2 x double> %22, i64 0
%24 = fsub double %23, %12
%25 = extractelement <2 x double> %22, i64 1
%26 = fadd double %24, %25
ret double %26
}