double ForEquOptInDomCur(int fCall, double E, double S, double X, double T,
                         double r, double q, double vS, double vE, double Rho) {
  double v, d1, d2;
  assert(((S) == (S)) && (S) >= 0.000001 && (S) <= 1000000000000.0);
  assert(((X) == (X)) && (X) >= 0.000001 && (X) <= 1000000000000.0);
  assert(((T) == (T)) && (T) >= (1.0 / (253.0 * 24.0)) && (T) <= (20.0));
  v = sqrt(((vE) * (vE)) + ((vS) * (vS)) + 2.0 * Rho * vE * vS);
  d1 = (log(E * S / X) + (r - q + ((v) * (v)) / 2.0) * T) / (v * sqrt(T));
  d2 = d1 - v * sqrt(T);
  if (fCall)
    return E * S * exp(-q * T) * cnd(d1) - X * exp(-r * T) * cnd(d2);
  else
    return X * exp(-r * T) * cnd(-d2) - E * S * exp(-q * T) * cnd(-d1);
}


x86 assembly (clang, -O0):
<ForEquOptInDomCur>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
movsd  0x10(%rbp),%xmm8
mov    %edi,-0xc(%rbp)
movsd  %xmm0,-0x18(%rbp)
movsd  %xmm1,-0x20(%rbp)
movsd  %xmm2,-0x28(%rbp)
movsd  %xmm3,-0x30(%rbp)
movsd  %xmm4,-0x38(%rbp)
movsd  %xmm5,-0x40(%rbp)
movsd  %xmm6,-0x48(%rbp)
movsd  %xmm7,-0x50(%rbp)
movsd  -0x20(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x20(%rbp),%xmm0
mov    %al,-0x69(%rbp)
jne    11d6 <ForEquOptInDomCur+0x86>
jp     11d6 <ForEquOptInDomCur+0x86>
movsd  -0x20(%rbp),%xmm0
xor    %eax,%eax
movsd  0xe4a(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x69(%rbp)
jb     11d6 <ForEquOptInDomCur+0x86>
movsd  0xe3d(%rip),%xmm0
ucomisd -0x20(%rbp),%xmm0
setae  %al
mov    %al,-0x69(%rbp)
mov    -0x69(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsd  -0x28(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x28(%rbp),%xmm0
mov    %al,-0x6a(%rbp)
jne    122f <ForEquOptInDomCur+0xdf>
jp     122f <ForEquOptInDomCur+0xdf>
movsd  -0x28(%rbp),%xmm0
xor    %eax,%eax
movsd  0xdf1(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x6a(%rbp)
jb     122f <ForEquOptInDomCur+0xdf>
movsd  0xde4(%rip),%xmm0
ucomisd -0x28(%rbp),%xmm0
setae  %al
mov    %al,-0x6a(%rbp)
mov    -0x6a(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsd  -0x30(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x30(%rbp),%xmm0
mov    %al,-0x6b(%rbp)
jne    1288 <ForEquOptInDomCur+0x138>
jp     1288 <ForEquOptInDomCur+0x138>
movsd  -0x30(%rbp),%xmm0
xor    %eax,%eax
movsd  0xda8(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x6b(%rbp)
jb     1288 <ForEquOptInDomCur+0x138>
movsd  0xd9b(%rip),%xmm0
ucomisd -0x30(%rbp),%xmm0
setae  %al
mov    %al,-0x6b(%rbp)
mov    -0x6b(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsd  -0x50(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm2
movsd  -0x48(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xd65(%rip),%xmm0
mulsd  0x10(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1070 <sqrt@plt>
movsd  %xmm0,-0x58(%rbp)
movsd  -0x18(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
divsd  -0x28(%rbp),%xmm0
call   1050 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x38(%rbp),%xmm0
subsd  -0x40(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
mulsd  -0x58(%rbp),%xmm2
movsd  0xd11(%rip),%xmm3
divsd  %xmm3,%xmm2
addsd  %xmm2,%xmm0
movsd  -0x30(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
call   1070 <sqrt@plt>
movsd  -0x90(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0x88(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x30(%rbp),%xmm0
call   1070 <sqrt@plt>
movsd  -0x80(%rbp),%xmm1
movaps %xmm0,%xmm2
movsd  -0x78(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     14c2 <ForEquOptInDomCur+0x372>
movsd  -0x18(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1040 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xb8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
mov    $0x1,%al
call   1060 <cnd@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1040 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xb0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x68(%rbp),%xmm0
mov    $0x1,%al
call   1060 <cnd@plt>
movsd  -0xa8(%rbp),%xmm1
ff
movsd  -0xa0(%rbp),%xmm0
ff
movsd  -0x98(%rbp),%xmm2
ff
cvtsi2sd %eax,%xmm3
mulsd  %xmm3,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15f1 <ForEquOptInDomCur+0x4a1>
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1040 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xe0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x68(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    $0x1,%al
call   1060 <cnd@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1040 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xd8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    $0x1,%al
call   1060 <cnd@plt>
movsd  -0xd0(%rbp),%xmm1
ff
movsd  -0xc8(%rbp),%xmm0
ff
movsd  -0xc0(%rbp),%xmm2
ff
cvtsi2sd %eax,%xmm3
mulsd  %xmm3,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ForEquOptInDomCur>:
push   %rbx
sub    $0x70,%rsp
movsd  %xmm7,0x40(%rsp)
movsd  %xmm6,0x20(%rsp)
movaps %xmm5,0x60(%rsp)
movaps %xmm4,0x50(%rsp)
movsd  %xmm3,0x8(%rsp)
movsd  %xmm2,0x18(%rsp)
movsd  %xmm0,0x10(%rsp)
mov    %edi,%ebx
ucomisd %xmm1,%xmm1
setnp  %al
ucomisd 0xe72(%rip),%xmm1
setae  %cl
and    %al,%cl
movsd  0xe6d(%rip),%xmm0
movsd  %xmm1,0x38(%rsp)
ucomisd %xmm1,%xmm0
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1030 <assert@plt>
movsd  0x18(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xe37(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xe32(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1030 <assert@plt>
movsd  0x8(%rsp),%xmm1
ucomisd %xmm1,%xmm1
setnp  %al
ucomisd 0xe12(%rip),%xmm1
setae  %cl
and    %al,%cl
movsd  0xe0d(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1030 <assert@plt>
movsd  0x20(%rsp),%xmm2
movapd %xmm2,%xmm0
mulsd  %xmm2,%xmm0
movsd  0x40(%rsp),%xmm3
movapd %xmm3,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm0,%xmm1
movsd  0x80(%rsp),%xmm0
addsd  %xmm0,%xmm0
mulsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1267 <ForEquOptInDomCur+0x117>
sqrtsd %xmm0,%xmm0
jmp    126c <ForEquOptInDomCur+0x11c>
call   1070 <sqrt@plt>
movsd  %xmm0,0x20(%rsp)
movsd  0x10(%rsp),%xmm0
movsd  0x38(%rsp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,0x10(%rsp)
divsd  0x18(%rsp),%xmm0
call   1050 <log@plt>
movapd 0x50(%rsp),%xmm1
subsd  0x60(%rsp),%xmm1
movsd  0x20(%rsp),%xmm3
movapd %xmm3,%xmm2
mulsd  %xmm3,%xmm2
mulsd  0xd6b(%rip),%xmm2
addsd  %xmm1,%xmm2
movsd  0x8(%rsp),%xmm1
mulsd  %xmm1,%xmm2
addsd  %xmm0,%xmm2
sqrtsd %xmm1,%xmm4
ucomisd 0xd55(%rip),%xmm1
movapd %xmm4,%xmm0
jae    1306 <ForEquOptInDomCur+0x1b6>
movapd %xmm1,%xmm0
movapd %xmm2,0x40(%rsp)
movsd  %xmm4,0x38(%rsp)
call   1070 <sqrt@plt>
movsd  0x38(%rsp),%xmm4
movsd  0x20(%rsp),%xmm3
movapd 0x40(%rsp),%xmm2
movsd  0x8(%rsp),%xmm1
mulsd  %xmm3,%xmm0
divsd  %xmm0,%xmm2
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm1
movapd %xmm2,0x40(%rsp)
jae    1343 <ForEquOptInDomCur+0x1f3>
movapd %xmm1,%xmm0
movsd  %xmm3,0x20(%rsp)
call   1070 <sqrt@plt>
movsd  0x20(%rsp),%xmm3
movapd 0x40(%rsp),%xmm2
movsd  0x8(%rsp),%xmm1
movapd %xmm0,%xmm4
mulsd  %xmm4,%xmm3
subsd  %xmm3,%xmm2
movapd %xmm2,0x20(%rsp)
test   %ebx,%ebx
je     13e8 <ForEquOptInDomCur+0x298>
movapd 0x60(%rsp),%xmm0
xorpd  0xcc9(%rip),%xmm0
mulsd  %xmm1,%xmm0
call   1040 <exp@plt>
mulsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
movaps 0x40(%rsp),%xmm0
mov    $0x1,%al
call   1060 <cnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
movapd 0x50(%rsp),%xmm0
xorpd  0xc87(%rip),%xmm0
mulsd  0x8(%rsp),%xmm0
call   1040 <exp@plt>
movsd  %xmm0,0x8(%rsp)
movaps 0x20(%rsp),%xmm0
mov    $0x1,%al
call   1060 <cnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  0x8(%rsp),%xmm1
mulsd  0x18(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movsd  0x10(%rsp),%xmm0
jmp    1480 <ForEquOptInDomCur+0x330>
movapd 0x50(%rsp),%xmm0
xorpd  0xc3a(%rip),%xmm0
mulsd  %xmm1,%xmm0
call   1040 <exp@plt>
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x18(%rsp)
movaps 0x20(%rsp),%xmm0
xorps  0xc19(%rip),%xmm0
mov    $0x1,%al
call   1060 <cnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x18(%rsp)
movapd 0x60(%rsp),%xmm0
xorpd  0xbf1(%rip),%xmm0
mulsd  0x8(%rsp),%xmm0
call   1040 <exp@plt>
movsd  %xmm0,0x8(%rsp)
movaps 0x40(%rsp),%xmm0
xorps  0xbd4(%rip),%xmm0
mov    $0x1,%al
call   1060 <cnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  0x8(%rsp),%xmm1
mulsd  0x10(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movsd  0x18(%rsp),%xmm0
subsd  %xmm1,%xmm0
add    $0x70,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define double @ForEquOptInDomCur(i32 %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9) {
%11 = alloca double
%12 = alloca i32
%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
store i32 %0, i32* %12
store double %1, double* %13
store double %2, double* %14
store double %3, double* %15
store double %4, double* %16
store double %5, double* %17
store double %6, double* %18
store double %7, double* %19
store double %8, double* %20
store double %9, double* %21
%25 = load double, double* %14
%26 = load double, double* %14
%27 = fcmp oeq double %25, %26
br i1 %27, label %28, label %34
28: ; preds = %10
%29 = load double, double* %14
%30 = fcmp oge double %29, 0x3EB0C6F7A0B5ED8D
br i1 %30, label %31, label %34
31: ; preds = %28
%32 = load double, double* %14
%33 = fcmp ole double %32, 1.000000e+12
br label %34
34: ; preds = %31, %28, %10
%35 = phi i1 [ false, %28 ], [ false, %10 ], [ %33, %31 ]
%36 = zext i1 %35 to i32
%37 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %36)
%38 = load double, double* %15
%39 = load double, double* %15
%40 = fcmp oeq double %38, %39
br i1 %40, label %41, label %47
41: ; preds = %34
%42 = load double, double* %15
%43 = fcmp oge double %42, 0x3EB0C6F7A0B5ED8D
br i1 %43, label %44, label %47
44: ; preds = %41
%45 = load double, double* %15
%46 = fcmp ole double %45, 1.000000e+12
br label %47
47: ; preds = %44, %41, %34
%48 = phi i1 [ false, %41 ], [ false, %34 ], [ %46, %44 ]
%49 = zext i1 %48 to i32
%50 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %49)
%51 = load double, double* %16
%52 = load double, double* %16
%53 = fcmp oeq double %51, %52
br i1 %53, label %54, label %60
54: ; preds = %47
%55 = load double, double* %16
%56 = fcmp oge double %55, 0x3F2596179C29D2CE
br i1 %56, label %57, label %60
57: ; preds = %54
%58 = load double, double* %16
%59 = fcmp ole double %58, 2.000000e+01
br label %60
60: ; preds = %57, %54, %47
%61 = phi i1 [ false, %54 ], [ false, %47 ], [ %59, %57 ]
%62 = zext i1 %61 to i32
%63 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %62)
%64 = load double, double* %20
%65 = load double, double* %20
%66 = load double, double* %19
%67 = load double, double* %19
%68 = fmul double %66, %67
%69 = call double @llvm.fmuladd.f64(double %64, double %65, double %68)
%70 = load double, double* %21
%71 = fmul double 2.000000e+00, %70
%72 = load double, double* %20
%73 = fmul double %71, %72
%74 = load double, double* %19
%75 = call double @llvm.fmuladd.f64(double %73, double %74, double %69)
%76 = call double @sqrt(double %75)
store double %76, double* %22
%77 = load double, double* %13
%78 = load double, double* %14
%79 = fmul double %77, %78
%80 = load double, double* %15
%81 = fdiv double %79, %80
%82 = call double @log(double %81)
%83 = load double, double* %17
%84 = load double, double* %18
%85 = fsub double %83, %84
%86 = load double, double* %22
%87 = load double, double* %22
%88 = fmul double %86, %87
%89 = fdiv double %88, 2.000000e+00
%90 = fadd double %85, %89
%91 = load double, double* %16
%92 = call double @llvm.fmuladd.f64(double %90, double %91, double %82)
%93 = load double, double* %22
%94 = load double, double* %16
%95 = call double @sqrt(double %94)
%96 = fmul double %93, %95
%97 = fdiv double %92, %96
store double %97, double* %23
%98 = load double, double* %23
%99 = load double, double* %22
%100 = load double, double* %16
%101 = call double @sqrt(double %100)
%102 = fneg double %99
%103 = call double @llvm.fmuladd.f64(double %102, double %101, double %98)
store double %103, double* %24
%104 = load i32, i32* %12
%105 = icmp ne i32 %104, 0
br i1 %105, label %106, label %132
106: ; preds = %60
%107 = load double, double* %13
%108 = load double, double* %14
%109 = fmul double %107, %108
%110 = load double, double* %18
%111 = fneg double %110
%112 = load double, double* %16
%113 = fmul double %111, %112
%114 = call double @exp(double %113)
%115 = fmul double %109, %114
%116 = load double, double* %23
%117 = call i32 (double, ...) bitcast (i32 (...)* @cnd to i32 (double, ...)*)(double %116)
%118 = sitofp i32 %117 to double
%119 = load double, double* %15
%120 = load double, double* %17
%121 = fneg double %120
%122 = load double, double* %16
%123 = fmul double %121, %122
%124 = call double @exp(double %123)
%125 = fmul double %119, %124
%126 = load double, double* %24
%127 = call i32 (double, ...) bitcast (i32 (...)* @cnd to i32 (double, ...)*)(double %126)
%128 = sitofp i32 %127 to double
%129 = fmul double %125, %128
%130 = fneg double %129
%131 = call double @llvm.fmuladd.f64(double %115, double %118, double %130)
store double %131, double* %11
br label %160
132: ; preds = %60
%133 = load double, double* %15
%134 = load double, double* %17
%135 = fneg double %134
%136 = load double, double* %16
%137 = fmul double %135, %136
%138 = call double @exp(double %137)
%139 = fmul double %133, %138
%140 = load double, double* %24
%141 = fneg double %140
%142 = call i32 (double, ...) bitcast (i32 (...)* @cnd to i32 (double, ...)*)(double %141)
%143 = sitofp i32 %142 to double
%144 = load double, double* %13
%145 = load double, double* %14
%146 = fmul double %144, %145
%147 = load double, double* %18
%148 = fneg double %147
%149 = load double, double* %16
%150 = fmul double %148, %149
%151 = call double @exp(double %150)
%152 = fmul double %146, %151
%153 = load double, double* %23
%154 = fneg double %153
%155 = call i32 (double, ...) bitcast (i32 (...)* @cnd to i32 (double, ...)*)(double %154)
%156 = sitofp i32 %155 to double
%157 = fmul double %152, %156
%158 = fneg double %157
%159 = call double @llvm.fmuladd.f64(double %139, double %143, double %158)
store double %159, double* %11
br label %160
160: ; preds = %132, %106
%161 = load double, double* %11
ret double %161
}

LLVM IR (-O2):
define double @ForEquOptInDomCur(i32 %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9) {
%11 = fcmp ord double %2, 0.000000e+00
%12 = fcmp oge double %2, 0x3EB0C6F7A0B5ED8D
%13 = and i1 %11, %12
%14 = fcmp ole double %2, 1.000000e+12
%15 = and i1 %14, %13
%16 = zext i1 %15 to i32
%17 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %16)
%18 = fcmp ord double %3, 0.000000e+00
%19 = fcmp oge double %3, 0x3EB0C6F7A0B5ED8D
%20 = and i1 %18, %19
%21 = fcmp ole double %3, 1.000000e+12
%22 = and i1 %21, %20
%23 = zext i1 %22 to i32
%24 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %23)
%25 = fcmp ord double %4, 0.000000e+00
%26 = fcmp oge double %4, 0x3F2596179C29D2CE
%27 = and i1 %25, %26
%28 = fcmp ole double %4, 2.000000e+01
%29 = and i1 %28, %27
%30 = zext i1 %29 to i32
%31 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %30)
%32 = fmul double %7, %7
%33 = tail call double @llvm.fmuladd.f64(double %8, double %8, double %32)
%34 = fmul double %9, 2.000000e+00
%35 = fmul double %34, %8
%36 = tail call double @llvm.fmuladd.f64(double %35, double %7, double %33)
%37 = tail call double @sqrt(double %36)
%38 = fmul double %1, %2
%39 = fdiv double %38, %3
%40 = tail call double @log(double %39)
%41 = fsub double %5, %6
%42 = fmul double %37, %37
%43 = fmul double %42, 5.000000e-01
%44 = fadd double %41, %43
%45 = tail call double @llvm.fmuladd.f64(double %44, double %4, double %40)
%46 = tail call double @sqrt(double %4)
%47 = fmul double %37, %46
%48 = fdiv double %45, %47
%49 = tail call double @sqrt(double %4)
%50 = fneg double %37
%51 = tail call double @llvm.fmuladd.f64(double %50, double %49, double %48)
%52 = icmp eq i32 %0, 0
br i1 %52, label %69, label %53
53: ; preds = %10
%54 = fneg double %6
%55 = fmul double %54, %4
%56 = tail call double @exp(double %55)
%57 = fmul double %38, %56
%58 = tail call i32 (double, ...) bitcast (i32 (...)* @cnd to i32 (double, ...)*)(double %48)
%59 = sitofp i32 %58 to double
%60 = fneg double %5
%61 = fmul double %60, %4
%62 = tail call double @exp(double %61)
%63 = tail call i32 (double, ...) bitcast (i32 (...)* @cnd to i32 (double, ...)*)(double %51)
%64 = sitofp i32 %63 to double
%65 = fneg double %62
%66 = fmul double %65, %3
%67 = fmul double %66, %64
%68 = tail call double @llvm.fmuladd.f64(double %57, double %59, double %67)
br label %87
69: ; preds = %10
%70 = fneg double %5
%71 = fmul double %70, %4
%72 = tail call double @exp(double %71)
%73 = fmul double %72, %3
%74 = fneg double %51
%75 = tail call i32 (double, ...) bitcast (i32 (...)* @cnd to i32 (double, ...)*)(double %74)
%76 = sitofp i32 %75 to double
%77 = fneg double %6
%78 = fmul double %77, %4
%79 = tail call double @exp(double %78)
%80 = fneg double %48
%81 = tail call i32 (double, ...) bitcast (i32 (...)* @cnd to i32 (double, ...)*)(double %80)
%82 = sitofp i32 %81 to double
%83 = fneg double %38
%84 = fmul double %79, %83
%85 = fmul double %84, %82
%86 = tail call double @llvm.fmuladd.f64(double %73, double %76, double %85)
br label %87
87: ; preds = %69, %53
%88 = phi double [ %68, %53 ], [ %86, %69 ]
ret double %88
}