double TakeoverFXoption(double v, double b, double E, double X, double T,
                        double r, double rf, double vV, double vE, double Rho) {
  double sT, a1, a2, result;
  assert(((X) == (X)) && (X) >= 0.000001 && (X) <= 1000000000000.0);
  assert(((T) == (T)) && (T) >= (1.0 / (253.0 * 24.0)) && (T) <= (20.0));
  assert(((r) == (r)) && (r) >= 0.0 && (r) <= 1000.0);
  assert(((b) == (b)) && (b) >= -1000.0 && (b) <= 1000.0);
  assert(((vV) == (vV)) && (vV) >= 0.0000001 && vV <= 100.99999);
  assert(((vE) == (vE)) && (vE) >= 0.0000001 && vE <= 100.99999);
  sT = sqrt(T);
  a1 =
      (log(v / b) + (rf - Rho * vE * vV - ((vV) * (vV)) / 2.0) * T) / (vV * sT);
  a2 = (log(E / X) + (r - rf - ((vE) * (vE)) / 2.0) * T) / (vE * sT);
  result =
      b * (E * exp(-rf * T) * cbnd(a2 + vE * sT, -a1 - Rho * vE * sT, -Rho) -
           X * exp(-r * T) * cbnd(-a1, a2, -Rho));
  assert(((result) == (result)));
  return result;
}


x86 assembly (clang, -O0):
<TakeoverFXoption>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
movsd  0x18(%rbp),%xmm8
movsd  0x10(%rbp),%xmm8
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  %xmm5,-0x30(%rbp)
movsd  %xmm6,-0x38(%rbp)
movsd  %xmm7,-0x40(%rbp)
movsd  -0x20(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x20(%rbp),%xmm0
mov    %al,-0x61(%rbp)
jne    11d9 <TakeoverFXoption+0x89>
jp     11d9 <TakeoverFXoption+0x89>
movsd  -0x20(%rbp),%xmm0
xor    %eax,%eax
movsd  0xe47(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x61(%rbp)
jb     11d9 <TakeoverFXoption+0x89>
movsd  0xe3a(%rip),%xmm0
ucomisd -0x20(%rbp),%xmm0
setae  %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x28(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x28(%rbp),%xmm0
mov    %al,-0x62(%rbp)
jne    1232 <TakeoverFXoption+0xe2>
jp     1232 <TakeoverFXoption+0xe2>
movsd  -0x28(%rbp),%xmm0
xor    %eax,%eax
movsd  0xdfe(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x62(%rbp)
jb     1232 <TakeoverFXoption+0xe2>
movsd  0xdf1(%rip),%xmm0
ucomisd -0x28(%rbp),%xmm0
setae  %al
mov    %al,-0x62(%rbp)
mov    -0x62(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x30(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x30(%rbp),%xmm0
mov    %al,-0x63(%rbp)
jne    1286 <TakeoverFXoption+0x136>
jp     1286 <TakeoverFXoption+0x136>
movsd  -0x30(%rbp),%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x63(%rbp)
jb     1286 <TakeoverFXoption+0x136>
movsd  0xda5(%rip),%xmm0
ucomisd -0x30(%rbp),%xmm0
setae  %al
mov    %al,-0x63(%rbp)
mov    -0x63(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x10(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x10(%rbp),%xmm0
mov    %al,-0x64(%rbp)
jne    12df <TakeoverFXoption+0x18f>
jp     12df <TakeoverFXoption+0x18f>
movsd  -0x10(%rbp),%xmm0
xor    %eax,%eax
movsd  0xd69(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x64(%rbp)
jb     12df <TakeoverFXoption+0x18f>
movsd  0xd4c(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
setae  %al
mov    %al,-0x64(%rbp)
mov    -0x64(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x40(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x40(%rbp),%xmm0
mov    %al,-0x65(%rbp)
jne    1338 <TakeoverFXoption+0x1e8>
jp     1338 <TakeoverFXoption+0x1e8>
movsd  -0x40(%rbp),%xmm0
xor    %eax,%eax
movsd  0xd18(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x65(%rbp)
jb     1338 <TakeoverFXoption+0x1e8>
movsd  0xd0b(%rip),%xmm0
ucomisd -0x40(%rbp),%xmm0
setae  %al
mov    %al,-0x65(%rbp)
mov    -0x65(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  0x10(%rbp),%xmm0
xor    %eax,%eax
ucomisd 0x10(%rbp),%xmm0
mov    %al,-0x66(%rbp)
jne    1391 <TakeoverFXoption+0x241>
jp     1391 <TakeoverFXoption+0x241>
movsd  0x10(%rbp),%xmm0
xor    %eax,%eax
movsd  0xcbf(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x66(%rbp)
jb     1391 <TakeoverFXoption+0x241>
movsd  0xcb2(%rip),%xmm0
ucomisd 0x10(%rbp),%xmm0
setae  %al
mov    %al,-0x66(%rbp)
mov    -0x66(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x28(%rbp),%xmm0
call   1070 <sqrt@plt>
movsd  %xmm0,-0x48(%rbp)
movsd  -0x8(%rbp),%xmm0
divsd  -0x10(%rbp),%xmm0
call   1060 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x38(%rbp),%xmm2
movsd  0x18(%rbp),%xmm0
mulsd  0x10(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm3
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm3,%xmm0
addsd  %xmm2,%xmm0
movsd  -0x40(%rbp),%xmm2
mulsd  -0x40(%rbp),%xmm2
movsd  0xc3a(%rip),%xmm3
divsd  %xmm3,%xmm2
subsd  %xmm2,%xmm0
movsd  -0x28(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x40(%rbp),%xmm1
mulsd  -0x48(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x18(%rbp),%xmm0
divsd  -0x20(%rbp),%xmm0
call   1060 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x30(%rbp),%xmm0
subsd  -0x38(%rbp),%xmm0
movsd  0x10(%rbp),%xmm2
mulsd  0x10(%rbp),%xmm2
movsd  0xbe4(%rip),%xmm3
divsd  %xmm3,%xmm2
subsd  %xmm2,%xmm0
movsd  -0x28(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0x10(%rbp),%xmm1
mulsd  -0x48(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x28(%rbp),%xmm0
call   1050 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0x98(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x58(%rbp),%xmm1
movsd  0x10(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x50(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
movsd  0x18(%rbp),%xmm1
mulsd  0x10(%rbp),%xmm1
movsd  -0x48(%rbp),%xmm3
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
movsd  0x18(%rbp),%xmm2
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x28(%rbp),%xmm0
call   1050 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0x90(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0x58(%rbp),%xmm1
movsd  0x18(%rbp),%xmm2
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
movsd  -0x88(%rbp),%xmm2
ff
movsd  -0x80(%rbp),%xmm1
movsd  -0x78(%rbp),%xmm3
movsd  -0x70(%rbp),%xmm0
cvtsi2sd %eax,%xmm4
mulsd  %xmm4,%xmm2
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x60(%rbp),%xmm0
ucomisd -0x60(%rbp),%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x60(%rbp),%xmm0
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<TakeoverFXoption>:
sub    $0xa8,%rsp
movsd  %xmm7,0x20(%rsp)
movaps %xmm6,0x80(%rsp)
movaps %xmm5,0x50(%rsp)
movsd  %xmm4,(%rsp)
movsd  %xmm2,0x10(%rsp)
movsd  %xmm1,0x18(%rsp)
movsd  %xmm0,0x40(%rsp)
ucomisd %xmm3,%xmm3
setnp  %al
ucomisd 0xe70(%rip),%xmm3
setae  %cl
and    %al,%cl
movsd  0xe6b(%rip),%xmm0
movsd  %xmm3,0x38(%rsp)
ucomisd %xmm3,%xmm0
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  (%rsp),%xmm1
ucomisd %xmm1,%xmm1
setnp  %al
ucomisd 0xe46(%rip),%xmm1
setae  %cl
and    %al,%cl
movsd  0xe41(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
xorpd  %xmm0,%xmm0
movapd 0x50(%rsp),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
movsd  0xe1d(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %cl
and    %al,%cl
movzbl %cl,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x18(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xdfd(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xde8(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x20(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xdd0(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xdcb(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0xb0(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xd98(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xd93(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  (%rsp),%xmm0
ucomisd 0xd83(%rip),%xmm0
jb     12d2 <TakeoverFXoption+0x182>
movsd  (%rsp),%xmm0
sqrtsd %xmm0,%xmm0
jmp    12dc <TakeoverFXoption+0x18c>
movsd  (%rsp),%xmm0
call   1070 <sqrt@plt>
movsd  %xmm0,0x8(%rsp)
movsd  0x40(%rsp),%xmm0
divsd  0x18(%rsp),%xmm0
call   1060 <log@plt>
movapd %xmm0,%xmm2
movsd  0xb8(%rsp),%xmm0
xorpd  0xd48(%rip),%xmm0
movapd %xmm0,0x40(%rsp)
movapd %xmm0,%xmm1
movsd  0xb0(%rsp),%xmm0
mulsd  %xmm0,%xmm1
movapd %xmm1,0x90(%rsp)
movapd %xmm1,%xmm0
movsd  0x20(%rsp),%xmm1
mulsd  %xmm1,%xmm0
addsd  0x80(%rsp),%xmm0
movsd  0x8(%rsp),%xmm3
mulsd  %xmm1,%xmm3
movsd  %xmm3,0x68(%rsp)
mulsd  %xmm1,%xmm1
mulsd  0xce5(%rip),%xmm1
subsd  %xmm1,%xmm0
mulsd  (%rsp),%xmm0
addsd  %xmm0,%xmm2
movapd %xmm2,0x20(%rsp)
movsd  0x10(%rsp),%xmm0
divsd  0x38(%rsp),%xmm0
call   1060 <log@plt>
movapd 0x50(%rsp),%xmm2
movapd 0x80(%rsp),%xmm3
subsd  %xmm3,%xmm2
movsd  0x8(%rsp),%xmm1
movsd  0xb0(%rsp),%xmm4
mulsd  %xmm4,%xmm1
movapd %xmm1,%xmm5
movsd  %xmm1,0x60(%rsp)
mulsd  %xmm4,%xmm4
mulsd  0xc85(%rip),%xmm4
subsd  %xmm4,%xmm2
movsd  (%rsp),%xmm1
mulsd  %xmm1,%xmm2
addsd  %xmm0,%xmm2
divsd  %xmm5,%xmm2
movapd %xmm2,0x70(%rsp)
movapd %xmm3,%xmm0
xorpd  0xc6e(%rip),%xmm0
mulsd  %xmm1,%xmm0
call   1050 <exp@plt>
mulsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0x60(%rsp),%xmm0
addsd  0x70(%rsp),%xmm0
movapd 0x20(%rsp),%xmm2
xorpd  0xc3f(%rip),%xmm2
divsd  0x68(%rsp),%xmm2
movapd %xmm2,0x20(%rsp)
movapd 0x90(%rsp),%xmm1
mulsd  0x8(%rsp),%xmm1
addsd  %xmm2,%xmm1
movaps 0x40(%rsp),%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x8(%rsp)
movapd 0x50(%rsp),%xmm0
xorpd  0xbf3(%rip),%xmm0
mulsd  (%rsp),%xmm0
call   1050 <exp@plt>
movsd  %xmm0,(%rsp)
movaps 0x20(%rsp),%xmm0
movaps 0x70(%rsp),%xmm1
movaps 0x40(%rsp),%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  (%rsp),%xmm1
mulsd  0x38(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movsd  0x8(%rsp),%xmm0
subsd  %xmm1,%xmm0
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x8(%rsp)
xor    %edi,%edi
ucomisd %xmm0,%xmm0
setnp  %dil
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x8(%rsp),%xmm0
add    $0xa8,%rsp
ret

LLVM IR (-O0):
define double @TakeoverFXoption(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9) {
%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
store double %0, double* %11
store double %1, double* %12
store double %2, double* %13
store double %3, double* %14
store double %4, double* %15
store double %5, double* %16
store double %6, double* %17
store double %7, double* %18
store double %8, double* %19
store double %9, double* %20
%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, 0x3F2596179C29D2CE
br i1 %43, label %44, label %47
44: ; preds = %41
%45 = load double, double* %15
%46 = fcmp ole double %45, 2.000000e+01
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, 0.000000e+00
br i1 %56, label %57, label %60
57: ; preds = %54
%58 = load double, double* %16
%59 = fcmp ole double %58, 1.000000e+03
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* %12
%65 = load double, double* %12
%66 = fcmp oeq double %64, %65
br i1 %66, label %67, label %73
67: ; preds = %60
%68 = load double, double* %12
%69 = fcmp oge double %68, -1.000000e+03
br i1 %69, label %70, label %73
70: ; preds = %67
%71 = load double, double* %12
%72 = fcmp ole double %71, 1.000000e+03
br label %73
73: ; preds = %70, %67, %60
%74 = phi i1 [ false, %67 ], [ false, %60 ], [ %72, %70 ]
%75 = zext i1 %74 to i32
%76 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %75)
%77 = load double, double* %18
%78 = load double, double* %18
%79 = fcmp oeq double %77, %78
br i1 %79, label %80, label %86
80: ; preds = %73
%81 = load double, double* %18
%82 = fcmp oge double %81, 0x3E7AD7F29ABCAF48
br i1 %82, label %83, label %86
83: ; preds = %80
%84 = load double, double* %18
%85 = fcmp ole double %84, 0x40593FFFD60E94EE
br label %86
86: ; preds = %83, %80, %73
%87 = phi i1 [ false, %80 ], [ false, %73 ], [ %85, %83 ]
%88 = zext i1 %87 to i32
%89 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %88)
%90 = load double, double* %19
%91 = load double, double* %19
%92 = fcmp oeq double %90, %91
br i1 %92, label %93, label %99
93: ; preds = %86
%94 = load double, double* %19
%95 = fcmp oge double %94, 0x3E7AD7F29ABCAF48
br i1 %95, label %96, label %99
96: ; preds = %93
%97 = load double, double* %19
%98 = fcmp ole double %97, 0x40593FFFD60E94EE
br label %99
99: ; preds = %96, %93, %86
%100 = phi i1 [ false, %93 ], [ false, %86 ], [ %98, %96 ]
%101 = zext i1 %100 to i32
%102 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %101)
%103 = load double, double* %15
%104 = call double @sqrt(double %103)
store double %104, double* %21
%105 = load double, double* %11
%106 = load double, double* %12
%107 = fdiv double %105, %106
%108 = call double @log(double %107)
%109 = load double, double* %17
%110 = load double, double* %20
%111 = load double, double* %19
%112 = fmul double %110, %111
%113 = load double, double* %18
%114 = fneg double %112
%115 = call double @llvm.fmuladd.f64(double %114, double %113, double %109)
%116 = load double, double* %18
%117 = load double, double* %18
%118 = fmul double %116, %117
%119 = fdiv double %118, 2.000000e+00
%120 = fsub double %115, %119
%121 = load double, double* %15
%122 = call double @llvm.fmuladd.f64(double %120, double %121, double %108)
%123 = load double, double* %18
%124 = load double, double* %21
%125 = fmul double %123, %124
%126 = fdiv double %122, %125
store double %126, double* %22
%127 = load double, double* %13
%128 = load double, double* %14
%129 = fdiv double %127, %128
%130 = call double @log(double %129)
%131 = load double, double* %16
%132 = load double, double* %17
%133 = fsub double %131, %132
%134 = load double, double* %19
%135 = load double, double* %19
%136 = fmul double %134, %135
%137 = fdiv double %136, 2.000000e+00
%138 = fsub double %133, %137
%139 = load double, double* %15
%140 = call double @llvm.fmuladd.f64(double %138, double %139, double %130)
%141 = load double, double* %19
%142 = load double, double* %21
%143 = fmul double %141, %142
%144 = fdiv double %140, %143
store double %144, double* %23
%145 = load double, double* %12
%146 = load double, double* %13
%147 = load double, double* %17
%148 = fneg double %147
%149 = load double, double* %15
%150 = fmul double %148, %149
%151 = call double @exp(double %150)
%152 = fmul double %146, %151
%153 = load double, double* %23
%154 = load double, double* %19
%155 = load double, double* %21
%156 = call double @llvm.fmuladd.f64(double %154, double %155, double %153)
%157 = load double, double* %22
%158 = fneg double %157
%159 = load double, double* %20
%160 = load double, double* %19
%161 = fmul double %159, %160
%162 = load double, double* %21
%163 = fneg double %161
%164 = call double @llvm.fmuladd.f64(double %163, double %162, double %158)
%165 = load double, double* %20
%166 = fneg double %165
%167 = call i32 (double, double, double, ...) bitcast (i32 (...)* @cbnd to i32 (double, double, double, ...)*)(double %156, double %164, double %166)
%168 = sitofp i32 %167 to double
%169 = load double, double* %14
%170 = load double, double* %16
%171 = fneg double %170
%172 = load double, double* %15
%173 = fmul double %171, %172
%174 = call double @exp(double %173)
%175 = fmul double %169, %174
%176 = load double, double* %22
%177 = fneg double %176
%178 = load double, double* %23
%179 = load double, double* %20
%180 = fneg double %179
%181 = call i32 (double, double, double, ...) bitcast (i32 (...)* @cbnd to i32 (double, double, double, ...)*)(double %177, double %178, double %180)
%182 = sitofp i32 %181 to double
%183 = fmul double %175, %182
%184 = fneg double %183
%185 = call double @llvm.fmuladd.f64(double %152, double %168, double %184)
%186 = fmul double %145, %185
store double %186, double* %24
%187 = load double, double* %24
%188 = load double, double* %24
%189 = fcmp oeq double %187, %188
%190 = zext i1 %189 to i32
%191 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %190)
%192 = load double, double* %24
ret double %192
}

LLVM IR (-O2):
define double @TakeoverFXoption(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9) {
%11 = fcmp ord double %3, 0.000000e+00
%12 = fcmp oge double %3, 0x3EB0C6F7A0B5ED8D
%13 = and i1 %11, %12
%14 = fcmp ole double %3, 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 %4, 0.000000e+00
%19 = fcmp oge double %4, 0x3F2596179C29D2CE
%20 = and i1 %18, %19
%21 = fcmp ole double %4, 2.000000e+01
%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 oge double %5, 0.000000e+00
%26 = fcmp ole double %5, 1.000000e+03
%27 = and i1 %25, %26
%28 = zext i1 %27 to i32
%29 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %28)
%30 = fcmp ord double %1, 0.000000e+00
%31 = fcmp oge double %1, -1.000000e+03
%32 = and i1 %30, %31
%33 = fcmp ole double %1, 1.000000e+03
%34 = and i1 %33, %32
%35 = zext i1 %34 to i32
%36 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %35)
%37 = fcmp ord double %7, 0.000000e+00
%38 = fcmp oge double %7, 0x3E7AD7F29ABCAF48
%39 = and i1 %37, %38
%40 = fcmp ole double %7, 0x40593FFFD60E94EE
%41 = and i1 %40, %39
%42 = zext i1 %41 to i32
%43 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %42)
%44 = fcmp ord double %8, 0.000000e+00
%45 = fcmp oge double %8, 0x3E7AD7F29ABCAF48
%46 = and i1 %44, %45
%47 = fcmp ole double %8, 0x40593FFFD60E94EE
%48 = and i1 %47, %46
%49 = zext i1 %48 to i32
%50 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %49)
%51 = tail call double @sqrt(double %4)
%52 = fdiv double %0, %1
%53 = tail call double @log(double %52)
%54 = fneg double %9
%55 = fmul double %54, %8
%56 = tail call double @llvm.fmuladd.f64(double %55, double %7, double %6)
%57 = fmul double %7, %7
%58 = fmul double %57, 5.000000e-01
%59 = fsub double %56, %58
%60 = tail call double @llvm.fmuladd.f64(double %59, double %4, double %53)
%61 = fmul double %51, %7
%62 = fdiv double %2, %3
%63 = tail call double @log(double %62)
%64 = fsub double %5, %6
%65 = fmul double %8, %8
%66 = fmul double %65, 5.000000e-01
%67 = fsub double %64, %66
%68 = tail call double @llvm.fmuladd.f64(double %67, double %4, double %63)
%69 = fmul double %51, %8
%70 = fdiv double %68, %69
%71 = fneg double %6
%72 = fmul double %71, %4
%73 = tail call double @exp(double %72)
%74 = fmul double %73, %2
%75 = tail call double @llvm.fmuladd.f64(double %8, double %51, double %70)
%76 = fneg double %60
%77 = fdiv double %76, %61
%78 = tail call double @llvm.fmuladd.f64(double %55, double %51, double %77)
%79 = tail call i32 (double, double, double, ...) bitcast (i32 (...)* @cbnd to i32 (double, double, double, ...)*)(double %75, double %78, double %54)
%80 = sitofp i32 %79 to double
%81 = fneg double %5
%82 = fmul double %81, %4
%83 = tail call double @exp(double %82)
%84 = tail call i32 (double, double, double, ...) bitcast (i32 (...)* @cbnd to i32 (double, double, double, ...)*)(double %77, double %70, double %54)
%85 = sitofp i32 %84 to double
%86 = fneg double %83
%87 = fmul double %86, %3
%88 = fmul double %87, %85
%89 = tail call double @llvm.fmuladd.f64(double %74, double %80, double %88)
%90 = fmul double %89, %1
%91 = fcmp ord double %90, 0.000000e+00
%92 = zext i1 %91 to i32
%93 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %92)
ret double %90
}