#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 asin(double);
double astrofuncs_y1lim(double, double, double, double);
double astrofuncs_y2lim(double, double, double, double);
double pow(double, double);
double sqrt(double);
double astrofuncs_Kv_broad(double delv, double rprs, double vp, double yp,
                           double u1, double u2) {
  double y1_, y2_;
  if (delv >= 1.0 || delv <= -1.0)
    return 0.0;
  if (delv - vp <= -rprs || delv - vp >= rprs)
    return 0.0;
  y1_ = astrofuncs_y1lim(rprs, delv, vp, yp);
  y2_ = astrofuncs_y2lim(rprs, delv, vp, yp);
  return ((1.0 - u1 - u2) * (y2_ - y1_) +
          (u1 + 2.0 * u2) * 0.5 *
              ((y2_ * (1.0 - delv * delv - y2_ * y2_) +
                (1.0 - delv * delv) * asin((y2_) / sqrt(1.0 - delv * delv))) -
               (y1_ * (1.0 - delv * delv - y1_ * y1_) +
                (1.0 - delv * delv) * asin((y1_) / sqrt(1.0 - delv * delv)))) -
          u2 * (1.0 - delv * delv) * (y2_ - y1_) +
          (u2 / 3.0) * (pow(y2_, 3.0) - pow(y1_, 3.0)));
}


x86 assembly (clang, -O0):
<astrofuncs_Kv_broad>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  %xmm3,-0x28(%rbp)
movsd  %xmm4,-0x30(%rbp)
movsd  %xmm5,-0x38(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xe7a(%rip),%xmm1
ucomisd %xmm1,%xmm0
jae    11a3 <astrofuncs_Kv_broad+0x53>
movsd  0xe70(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     11b0 <astrofuncs_Kv_broad+0x60>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15c6 <astrofuncs_Kv_broad+0x476>
movsd  -0x10(%rbp),%xmm1
subsd  -0x20(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
ucomisd %xmm1,%xmm0
jae    11f5 <astrofuncs_Kv_broad+0xa5>
movsd  -0x10(%rbp),%xmm0
subsd  -0x20(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jb     1202 <astrofuncs_Kv_broad+0xb2>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15c6 <astrofuncs_Kv_broad+0x476>
movsd  -0x18(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
call   1030 <astrofuncs_y1lim@plt>
movsd  %xmm0,-0x40(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
call   1070 <astrofuncs_y2lim@plt>
movsd  %xmm0,-0x48(%rbp)
movsd  0xdba(%rip),%xmm0
subsd  -0x30(%rbp),%xmm0
subsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x48(%rbp),%xmm0
subsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x30(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
movsd  0xd9a(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x10(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm0,%xmm1
movsd  0xd3f(%rip),%xmm0
addsd  %xmm0,%xmm1
movsd  -0x48(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xcdd(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xc97(%rip),%xmm1
addsd  %xmm1,%xmm0
call   1060 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0xc0(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
call   1040 <asin@plt>
movsd  -0xb8(%rbp),%xmm1
ff
movsd  -0xb0(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0xa8(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x10(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm0,%xmm1
movsd  0xc14(%rip),%xmm0
addsd  %xmm0,%xmm1
movsd  -0x40(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xbb2(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xb6c(%rip),%xmm1
addsd  %xmm1,%xmm0
call   1060 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0xa0(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
call   1040 <asin@plt>
movsd  -0x98(%rbp),%xmm5
ff
movsd  -0x90(%rbp),%xmm4
ff
movsd  -0x88(%rbp),%xmm6
ff
movsd  -0x80(%rbp),%xmm3
movsd  -0x78(%rbp),%xmm1
movsd  -0x70(%rbp),%xmm2
movaps %xmm0,%xmm7
movsd  -0x68(%rbp),%xmm0
mulsd  %xmm7,%xmm5
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
subsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x38(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm2
movsd  -0x10(%rbp),%xmm3
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mulsd  %xmm3,%xmm2
movsd  0xad2(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
movsd  -0x48(%rbp),%xmm2
subsd  -0x40(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  0xa9f(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  0xa89(%rip),%xmm1
call   1050 <pow@plt>
movsd  %xmm0,-0x60(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  0xa72(%rip),%xmm1
call   1050 <pow@plt>
movsd  -0x60(%rbp),%xmm2
movsd  -0x58(%rbp),%xmm1
movaps %xmm0,%xmm3
movsd  -0x50(%rbp),%xmm0
subsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<astrofuncs_Kv_broad>:
sub    $0xb8,%rsp
ucomisd 0xea1(%rip),%xmm0
jae    13fb <astrofuncs_Kv_broad+0x2ab>
movapd %xmm0,%xmm6
movsd  0xe97(%rip),%xmm0
ucomisd %xmm6,%xmm0
jae    13fb <astrofuncs_Kv_broad+0x2ab>
movapd %xmm1,%xmm7
movapd %xmm6,%xmm0
subsd  %xmm2,%xmm0
movapd 0xea1(%rip),%xmm1
xorpd  %xmm7,%xmm1
ucomisd %xmm0,%xmm1
jae    13fb <astrofuncs_Kv_broad+0x2ab>
ucomisd %xmm7,%xmm0
jae    13fb <astrofuncs_Kv_broad+0x2ab>
movapd %xmm7,%xmm0
movapd %xmm6,%xmm1
movsd  %xmm6,0x8(%rsp)
movsd  %xmm3,0x20(%rsp)
movsd  %xmm5,0x18(%rsp)
movsd  %xmm4,0x30(%rsp)
movsd  %xmm2,0x10(%rsp)
movapd %xmm7,0x50(%rsp)
call   1030 <astrofuncs_y1lim@plt>
movapd %xmm0,0x40(%rsp)
movaps 0x50(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
movsd  0x10(%rsp),%xmm2
movsd  0x20(%rsp),%xmm3
call   1070 <astrofuncs_y2lim@plt>
movsd  0x18(%rsp),%xmm1
movaps %xmm0,0x20(%rsp)
movsd  0xdf3(%rip),%xmm0
movapd %xmm0,%xmm2
movsd  0x30(%rsp),%xmm4
subsd  %xmm4,%xmm2
movapd %xmm1,%xmm3
addsd  %xmm1,%xmm3
addsd  %xmm4,%xmm3
movsd  0x8(%rsp),%xmm4
mulsd  %xmm4,%xmm4
subsd  %xmm4,%xmm0
xorps  %xmm4,%xmm4
sqrtsd %xmm0,%xmm4
xorpd  %xmm5,%xmm5
movapd %xmm0,0x30(%rsp)
ucomisd %xmm5,%xmm0
movsd  %xmm4,0x68(%rsp)
movapd %xmm4,%xmm0
jae    127f <astrofuncs_Kv_broad+0x12f>
movapd 0x30(%rsp),%xmm0
movsd  %xmm2,0x8(%rsp)
movsd  %xmm3,0x10(%rsp)
call   1060 <sqrt@plt>
movsd  0x10(%rsp),%xmm3
movsd  0x8(%rsp),%xmm2
movsd  0x18(%rsp),%xmm1
subsd  %xmm1,%xmm2
movsd  %xmm2,0x8(%rsp)
movapd 0x20(%rsp),%xmm2
movapd %xmm2,%xmm1
subsd  0x40(%rsp),%xmm1
movsd  %xmm1,0x50(%rsp)
mulsd  0xd69(%rip),%xmm3
movsd  %xmm3,0x10(%rsp)
movapd %xmm2,%xmm1
divsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
call   1040 <asin@plt>
movapd %xmm0,0x90(%rsp)
movapd 0x20(%rsp),%xmm0
unpcklpd 0x40(%rsp),%xmm0
movapd 0x30(%rsp),%xmm1
movapd %xmm1,%xmm2
unpcklpd %xmm1,%xmm2
movapd %xmm0,0xa0(%rsp)
mulpd  %xmm0,%xmm0
movapd %xmm2,0x80(%rsp)
subpd  %xmm0,%xmm2
movapd %xmm2,0x70(%rsp)
ucomisd 0xd17(%rip),%xmm1
movsd  0x68(%rsp),%xmm1
jae    1320 <astrofuncs_Kv_broad+0x1d0>
movapd 0x30(%rsp),%xmm0
call   1060 <sqrt@plt>
movapd %xmm0,%xmm1
movapd 0x40(%rsp),%xmm0
divsd  %xmm1,%xmm0
call   1040 <asin@plt>
movapd 0x90(%rsp),%xmm1
unpcklpd %xmm0,%xmm1
movapd 0x80(%rsp),%xmm0
mulpd  %xmm1,%xmm0
movapd 0xa0(%rsp),%xmm1
mulpd  0x70(%rsp),%xmm1
addpd  %xmm0,%xmm1
movapd %xmm1,%xmm0
unpckhpd %xmm1,%xmm0
subsd  %xmm0,%xmm1
movsd  0x10(%rsp),%xmm0
mulsd  %xmm1,%xmm0
movsd  0x8(%rsp),%xmm2
movsd  0x50(%rsp),%xmm1
mulsd  %xmm1,%xmm2
addsd  %xmm0,%xmm2
movsd  0x18(%rsp),%xmm3
movapd 0x30(%rsp),%xmm0
mulsd  %xmm3,%xmm0
mulsd  %xmm1,%xmm0
subsd  %xmm0,%xmm2
movsd  %xmm2,0x8(%rsp)
movsd  0xc6c(%rip),%xmm1
divsd  %xmm1,%xmm3
movsd  %xmm3,0x18(%rsp)
movaps 0x20(%rsp),%xmm0
call   1050 <pow@plt>
movsd  %xmm0,0x20(%rsp)
movapd 0x40(%rsp),%xmm0
movsd  0xc44(%rip),%xmm1
call   1050 <pow@plt>
movsd  0x20(%rsp),%xmm1
subsd  %xmm0,%xmm1
mulsd  0x18(%rsp),%xmm1
addsd  0x8(%rsp),%xmm1
movapd %xmm1,%xmm0
add    $0xb8,%rsp
ret
xorpd  %xmm0,%xmm0
add    $0xb8,%rsp
ret

LLVM IR (-O0):
define double @astrofuncs_Kv_broad(double %0, double %1, double %2, double %3, double %4, double %5) {
%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
store double %0, double* %8
store double %1, double* %9
store double %2, double* %10
store double %3, double* %11
store double %4, double* %12
store double %5, double* %13
%16 = load double, double* %8
%17 = fcmp oge double %16, 1.000000e+00
br i1 %17, label %21, label %18
18: ; preds = %6
%19 = load double, double* %8
%20 = fcmp ole double %19, -1.000000e+00
br i1 %20, label %21, label %22
21: ; preds = %18, %6
store double 0.000000e+00, double* %7
br label %126
22: ; preds = %18
%23 = load double, double* %8
%24 = load double, double* %10
%25 = fsub double %23, %24
%26 = load double, double* %9
%27 = fneg double %26
%28 = fcmp ole double %25, %27
br i1 %28, label %35, label %29
29: ; preds = %22
%30 = load double, double* %8
%31 = load double, double* %10
%32 = fsub double %30, %31
%33 = load double, double* %9
%34 = fcmp oge double %32, %33
br i1 %34, label %35, label %36
35: ; preds = %29, %22
store double 0.000000e+00, double* %7
br label %126
36: ; preds = %29
%37 = load double, double* %9
%38 = load double, double* %8
%39 = load double, double* %10
%40 = load double, double* %11
%41 = call double @astrofuncs_y1lim(double %37, double %38, double %39, double %40)
store double %41, double* %14
%42 = load double, double* %9
%43 = load double, double* %8
%44 = load double, double* %10
%45 = load double, double* %11
%46 = call double @astrofuncs_y2lim(double %42, double %43, double %44, double %45)
store double %46, double* %15
%47 = load double, double* %12
%48 = fsub double 1.000000e+00, %47
%49 = load double, double* %13
%50 = fsub double %48, %49
%51 = load double, double* %15
%52 = load double, double* %14
%53 = fsub double %51, %52
%54 = load double, double* %12
%55 = load double, double* %13
%56 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %55, double %54)
%57 = fmul double %56, 5.000000e-01
%58 = load double, double* %15
%59 = load double, double* %8
%60 = load double, double* %8
%61 = fneg double %59
%62 = call double @llvm.fmuladd.f64(double %61, double %60, double 1.000000e+00)
%63 = load double, double* %15
%64 = load double, double* %15
%65 = fneg double %63
%66 = call double @llvm.fmuladd.f64(double %65, double %64, double %62)
%67 = load double, double* %8
%68 = load double, double* %8
%69 = fneg double %67
%70 = call double @llvm.fmuladd.f64(double %69, double %68, double 1.000000e+00)
%71 = load double, double* %15
%72 = load double, double* %8
%73 = load double, double* %8
%74 = fneg double %72
%75 = call double @llvm.fmuladd.f64(double %74, double %73, double 1.000000e+00)
%76 = call double @sqrt(double %75)
%77 = fdiv double %71, %76
%78 = call double @asin(double %77)
%79 = fmul double %70, %78
%80 = call double @llvm.fmuladd.f64(double %58, double %66, double %79)
%81 = load double, double* %14
%82 = load double, double* %8
%83 = load double, double* %8
%84 = fneg double %82
%85 = call double @llvm.fmuladd.f64(double %84, double %83, double 1.000000e+00)
%86 = load double, double* %14
%87 = load double, double* %14
%88 = fneg double %86
%89 = call double @llvm.fmuladd.f64(double %88, double %87, double %85)
%90 = load double, double* %8
%91 = load double, double* %8
%92 = fneg double %90
%93 = call double @llvm.fmuladd.f64(double %92, double %91, double 1.000000e+00)
%94 = load double, double* %14
%95 = load double, double* %8
%96 = load double, double* %8
%97 = fneg double %95
%98 = call double @llvm.fmuladd.f64(double %97, double %96, double 1.000000e+00)
%99 = call double @sqrt(double %98)
%100 = fdiv double %94, %99
%101 = call double @asin(double %100)
%102 = fmul double %93, %101
%103 = call double @llvm.fmuladd.f64(double %81, double %89, double %102)
%104 = fsub double %80, %103
%105 = fmul double %57, %104
%106 = call double @llvm.fmuladd.f64(double %50, double %53, double %105)
%107 = load double, double* %13
%108 = load double, double* %8
%109 = load double, double* %8
%110 = fneg double %108
%111 = call double @llvm.fmuladd.f64(double %110, double %109, double 1.000000e+00)
%112 = fmul double %107, %111
%113 = load double, double* %15
%114 = load double, double* %14
%115 = fsub double %113, %114
%116 = fneg double %112
%117 = call double @llvm.fmuladd.f64(double %116, double %115, double %106)
%118 = load double, double* %13
%119 = fdiv double %118, 3.000000e+00
%120 = load double, double* %15
%121 = call double @pow(double %120, double 3.000000e+00)
%122 = load double, double* %14
%123 = call double @pow(double %122, double 3.000000e+00)
%124 = fsub double %121, %123
%125 = call double @llvm.fmuladd.f64(double %119, double %124, double %117)
store double %125, double* %7
br label %126
126: ; preds = %36, %35, %21
%127 = load double, double* %7
ret double %127
}

LLVM IR (-O2):
define double @astrofuncs_Kv_broad(double %0, double %1, double %2, double %3, double %4, double %5) {
%7 = fcmp oge double %0, 1.000000e+00
%8 = fcmp ole double %0, -1.000000e+00
%9 = or i1 %7, %8
br i1 %9, label %55, label %10
10: ; preds = %6
%11 = fsub double %0, %2
%12 = fneg double %1
%13 = fcmp ugt double %11, %12
%14 = fcmp ult double %11, %1
%15 = and i1 %13, %14
br i1 %15, label %16, label %55
16: ; preds = %10
%17 = tail call double @astrofuncs_y1lim(double %1, double %0, double %2, double %3)
%18 = tail call double @astrofuncs_y2lim(double %1, double %0, double %2, double %3)
%19 = fsub double 1.000000e+00, %4
%20 = fsub double %19, %5
%21 = fsub double %18, %17
%22 = tail call double @llvm.fmuladd.f64(double %5, double 2.000000e+00, double %4)
%23 = fmul double %22, 5.000000e-01
%24 = fneg double %0
%25 = tail call double @llvm.fmuladd.f64(double %24, double %0, double 1.000000e+00)
%26 = tail call double @sqrt(double %25)
%27 = fdiv double %18, %26
%28 = tail call double @asin(double %27)
%29 = insertelement <2 x double> poison, double %18, i64 0
%30 = insertelement <2 x double> %29, double %17, i64 1
%31 = fneg <2 x double> %30
%32 = insertelement <2 x double> poison, double %25, i64 0
%33 = shufflevector <2 x double> %32, <2 x double> poison, <2 x i32> zeroinitializer
%34 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %31, <2 x double> %30, <2 x double> %33)
%35 = tail call double @sqrt(double %25)
%36 = fdiv double %17, %35
%37 = tail call double @asin(double %36)
%38 = insertelement <2 x double> poison, double %28, i64 0
%39 = insertelement <2 x double> %38, double %37, i64 1
%40 = fmul <2 x double> %33, %39
%41 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %30, <2 x double> %34, <2 x double> %40)
%42 = shufflevector <2 x double> %41, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%43 = fsub <2 x double> %41, %42
%44 = extractelement <2 x double> %43, i64 0
%45 = fmul double %23, %44
%46 = tail call double @llvm.fmuladd.f64(double %20, double %21, double %45)
%47 = fneg double %25
%48 = fmul double %47, %5
%49 = tail call double @llvm.fmuladd.f64(double %48, double %21, double %46)
%50 = fdiv double %5, 3.000000e+00
%51 = tail call double @pow(double %18, double 3.000000e+00)
%52 = tail call double @pow(double %17, double 3.000000e+00)
%53 = fsub double %51, %52
%54 = tail call double @llvm.fmuladd.f64(double %50, double %53, double %49)
br label %55
55: ; preds = %10, %6, %16
%56 = phi double [ %54, %16 ], [ 0.000000e+00, %6 ], [ 0.000000e+00, %10 ]
ret double %56
}