double TwoAssetCorrelation(int fCall, double S1, double S2, double X1,
                           double X2, double T, double b1, double b2, double r,
                           double v1, double v2, double Rho) {
  double sT, d1, d2, result;
  assert(((S1) == (S1)) && (S1) >= 0.000001 && (S1) <= 1000000000000.0);
  assert(((S2) == (S2)) && (S2) >= 0.000001 && (S2) <= 1000000000000.0);
  assert(((X1) == (X1)) && (X1) >= 0.000001 && (X1) <= 1000000000000.0);
  assert(((X2) == (X2)) && (X2) >= 0.000001 && (X2) <= 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(((b1) == (b1)) && (b1) >= -1000.0 && (b1) <= 1000.0);
  assert(((b2) == (b2)) && (b2) >= -1000.0 && (b2) <= 1000.0);
  assert(((v1) == (v1)) && (v1) >= 0.0000001 && v1 <= 100.99999);
  assert(((v2) == (v2)) && (v2) >= 0.0000001 && v2 <= 100.99999);
  sT = sqrt(T);
  d1 = (log(S1 / X1) + (b1 - ((v1) * (v1)) / 2.0) * T) / (v1 * sT);
  d2 = (log(S2 / X2) + (b2 - ((v2) * (v2)) / 2.0) * T) / (v2 * sT);
  if (fCall) {
    result =
        S2 * exp((b2 - r) * T) * cbnd(d2 + v2 * sT, d1 + Rho * v2 * sT, Rho) -
        X2 * exp(-r * T) * cbnd(d2, d1, Rho);
  } else {
    result =
        X2 * exp(-r * T) * cbnd(-d2, -d1, Rho) -
        S2 * exp((b2 - r) * T) * cbnd(-d2 - v2 * sT, -d1 - Rho * v2 * sT, Rho);
  }
  assert(((result) == (result)));
  return result;
}


x86 assembly (clang, -O0):
<TwoAssetCorrelation>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
movsd  0x20(%rbp),%xmm8
movsd  0x18(%rbp),%xmm8
movsd  0x10(%rbp),%xmm8
mov    %edi,-0x4(%rbp)
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  %xmm6,-0x40(%rbp)
movsd  %xmm7,-0x48(%rbp)
movsd  -0x10(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x10(%rbp),%xmm0
mov    %al,-0x69(%rbp)
jne    11e2 <TwoAssetCorrelation+0x92>
jp     11e2 <TwoAssetCorrelation+0x92>
movsd  -0x10(%rbp),%xmm0
xor    %eax,%eax
movsd  0xe3e(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x69(%rbp)
jb     11e2 <TwoAssetCorrelation+0x92>
movsd  0xe31(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
setae  %al
mov    %al,-0x69(%rbp)
mov    -0x69(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x18(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x18(%rbp),%xmm0
mov    %al,-0x6a(%rbp)
jne    123b <TwoAssetCorrelation+0xeb>
jp     123b <TwoAssetCorrelation+0xeb>
movsd  -0x18(%rbp),%xmm0
xor    %eax,%eax
movsd  0xde5(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x6a(%rbp)
jb     123b <TwoAssetCorrelation+0xeb>
movsd  0xdd8(%rip),%xmm0
ucomisd -0x18(%rbp),%xmm0
setae  %al
mov    %al,-0x6a(%rbp)
mov    -0x6a(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x20(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x20(%rbp),%xmm0
mov    %al,-0x6b(%rbp)
jne    1294 <TwoAssetCorrelation+0x144>
jp     1294 <TwoAssetCorrelation+0x144>
movsd  -0x20(%rbp),%xmm0
xor    %eax,%eax
movsd  0xd8c(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x6b(%rbp)
jb     1294 <TwoAssetCorrelation+0x144>
movsd  0xd7f(%rip),%xmm0
ucomisd -0x20(%rbp),%xmm0
setae  %al
mov    %al,-0x6b(%rbp)
mov    -0x6b(%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,-0x6c(%rbp)
jne    12ed <TwoAssetCorrelation+0x19d>
jp     12ed <TwoAssetCorrelation+0x19d>
movsd  -0x28(%rbp),%xmm0
xor    %eax,%eax
movsd  0xd33(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x6c(%rbp)
jb     12ed <TwoAssetCorrelation+0x19d>
movsd  0xd26(%rip),%xmm0
ucomisd -0x28(%rbp),%xmm0
setae  %al
mov    %al,-0x6c(%rbp)
mov    -0x6c(%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,-0x6d(%rbp)
jne    1346 <TwoAssetCorrelation+0x1f6>
jp     1346 <TwoAssetCorrelation+0x1f6>
movsd  -0x30(%rbp),%xmm0
xor    %eax,%eax
movsd  0xcea(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x6d(%rbp)
jb     1346 <TwoAssetCorrelation+0x1f6>
movsd  0xcdd(%rip),%xmm0
ucomisd -0x30(%rbp),%xmm0
setae  %al
mov    %al,-0x6d(%rbp)
mov    -0x6d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x48(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x48(%rbp),%xmm0
mov    %al,-0x6e(%rbp)
jne    139a <TwoAssetCorrelation+0x24a>
jp     139a <TwoAssetCorrelation+0x24a>
movsd  -0x48(%rbp),%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x6e(%rbp)
jb     139a <TwoAssetCorrelation+0x24a>
movsd  0xc91(%rip),%xmm0
ucomisd -0x48(%rbp),%xmm0
setae  %al
mov    %al,-0x6e(%rbp)
mov    -0x6e(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x38(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x38(%rbp),%xmm0
mov    %al,-0x6f(%rbp)
jne    13f3 <TwoAssetCorrelation+0x2a3>
jp     13f3 <TwoAssetCorrelation+0x2a3>
movsd  -0x38(%rbp),%xmm0
xor    %eax,%eax
movsd  0xc55(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x6f(%rbp)
jb     13f3 <TwoAssetCorrelation+0x2a3>
movsd  0xc38(%rip),%xmm0
ucomisd -0x38(%rbp),%xmm0
setae  %al
mov    %al,-0x6f(%rbp)
mov    -0x6f(%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,-0x70(%rbp)
jne    144c <TwoAssetCorrelation+0x2fc>
jp     144c <TwoAssetCorrelation+0x2fc>
movsd  -0x40(%rbp),%xmm0
xor    %eax,%eax
movsd  0xbfc(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x70(%rbp)
jb     144c <TwoAssetCorrelation+0x2fc>
movsd  0xbdf(%rip),%xmm0
ucomisd -0x40(%rbp),%xmm0
setae  %al
mov    %al,-0x70(%rbp)
mov    -0x70(%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,-0x71(%rbp)
jne    14a5 <TwoAssetCorrelation+0x355>
jp     14a5 <TwoAssetCorrelation+0x355>
movsd  0x10(%rbp),%xmm0
xor    %eax,%eax
movsd  0xbab(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x71(%rbp)
jb     14a5 <TwoAssetCorrelation+0x355>
movsd  0xb9e(%rip),%xmm0
ucomisd 0x10(%rbp),%xmm0
setae  %al
mov    %al,-0x71(%rbp)
mov    -0x71(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  0x18(%rbp),%xmm0
xor    %eax,%eax
ucomisd 0x18(%rbp),%xmm0
mov    %al,-0x72(%rbp)
jne    14fe <TwoAssetCorrelation+0x3ae>
jp     14fe <TwoAssetCorrelation+0x3ae>
movsd  0x18(%rbp),%xmm0
xor    %eax,%eax
movsd  0xb52(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x72(%rbp)
jb     14fe <TwoAssetCorrelation+0x3ae>
movsd  0xb45(%rip),%xmm0
ucomisd 0x18(%rbp),%xmm0
setae  %al
mov    %al,-0x72(%rbp)
mov    -0x72(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x30(%rbp),%xmm0
call   1070 <sqrt@plt>
movsd  %xmm0,-0x50(%rbp)
movsd  -0x10(%rbp),%xmm0
divsd  -0x20(%rbp),%xmm0
call   1060 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x38(%rbp),%xmm0
movsd  0x10(%rbp),%xmm2
mulsd  0x10(%rbp),%xmm2
movsd  0xafb(%rip),%xmm3
divsd  %xmm3,%xmm2
subsd  %xmm2,%xmm0
movsd  -0x30(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0x10(%rbp),%xmm1
mulsd  -0x50(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x18(%rbp),%xmm0
divsd  -0x28(%rbp),%xmm0
call   1060 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x40(%rbp),%xmm0
movsd  0x18(%rbp),%xmm2
mulsd  0x18(%rbp),%xmm2
movsd  0xaaa(%rip),%xmm3
divsd  %xmm3,%xmm2
subsd  %xmm2,%xmm0
movsd  -0x30(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0x18(%rbp),%xmm1
mulsd  -0x50(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
cmpl   $0x0,-0x4(%rbp)
je     16ee <TwoAssetCorrelation+0x59e>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
subsd  -0x48(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1050 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xa0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x60(%rbp),%xmm1
movsd  0x18(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  0x20(%rbp),%xmm1
mulsd  0x18(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
movsd  0x20(%rbp),%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1050 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0x98(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm1
movsd  0x20(%rbp),%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
movsd  -0x90(%rbp),%xmm1
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  -0x80(%rbp),%xmm2
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,-0x68(%rbp)
jmp    189f <TwoAssetCorrelation+0x74f>
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1050 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xc8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0x58(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  0x20(%rbp),%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
subsd  -0x48(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1050 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xc0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  0x18(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x58(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
movsd  0x20(%rbp),%xmm1
mulsd  0x18(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm3
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
movsd  0x20(%rbp),%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
movsd  -0xb8(%rbp),%xmm1
ff
movsd  -0xb0(%rbp),%xmm0
ff
movsd  -0xa8(%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,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
ucomisd -0x68(%rbp),%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movsd  -0x68(%rbp),%xmm0
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<TwoAssetCorrelation>:
push   %rbx
sub    $0x70,%rsp
movaps %xmm7,0x60(%rsp)
movsd  %xmm6,0x58(%rsp)
movaps %xmm5,0x40(%rsp)
movsd  %xmm4,0x8(%rsp)
movsd  %xmm3,0x18(%rsp)
movsd  %xmm2,0x10(%rsp)
movsd  %xmm1,0x20(%rsp)
mov    %edi,%ebx
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xe72(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xe6d(%rip),%xmm1
movsd  %xmm0,0x30(%rsp)
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x20(%rsp),%xmm1
ucomisd %xmm1,%xmm1
setnp  %al
ucomisd 0xe37(%rip),%xmm1
setae  %cl
and    %al,%cl
movsd  0xe32(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x10(%rsp),%xmm1
ucomisd %xmm1,%xmm1
setnp  %al
ucomisd 0xe02(%rip),%xmm1
setae  %cl
and    %al,%cl
movsd  0xdfd(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x18(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xdcd(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xdc8(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x8(%rsp),%xmm1
ucomisd %xmm1,%xmm1
setnp  %al
ucomisd 0xda8(%rip),%xmm1
setae  %cl
and    %al,%cl
movsd  0xda3(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
xorpd  %xmm1,%xmm1
movapd 0x60(%rsp),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
movsd  0xd7f(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %cl
and    %al,%cl
movzbl %cl,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movapd 0x40(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xd5f(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xd4a(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x58(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xd2a(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xd15(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x80(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xcfa(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xcf5(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x88(%rsp),%xmm0
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd 0xcc2(%rip),%xmm0
setae  %cl
and    %al,%cl
movsd  0xcbd(%rip),%xmm1
ucomisd %xmm0,%xmm1
setae  %al
and    %cl,%al
movzbl %al,%edi
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x8(%rsp),%xmm0
ucomisd 0xcac(%rip),%xmm0
jb     13aa <TwoAssetCorrelation+0x25a>
movsd  0x8(%rsp),%xmm0
sqrtsd %xmm0,%xmm0
jmp    13b5 <TwoAssetCorrelation+0x265>
movsd  0x8(%rsp),%xmm0
call   1070 <sqrt@plt>
movsd  %xmm0,0x28(%rsp)
movsd  0x10(%rsp),%xmm1
movsd  0x30(%rsp),%xmm0
divsd  %xmm1,%xmm0
call   1060 <log@plt>
movsd  0x28(%rsp),%xmm1
movsd  0x80(%rsp),%xmm2
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm2
mulsd  0xc51(%rip),%xmm2
movapd 0x40(%rsp),%xmm3
subsd  %xmm2,%xmm3
mulsd  0x8(%rsp),%xmm3
addsd  %xmm0,%xmm3
divsd  %xmm1,%xmm3
movapd %xmm3,0x40(%rsp)
movsd  0x20(%rsp),%xmm0
divsd  0x18(%rsp),%xmm0
call   1060 <log@plt>
movsd  0x88(%rsp),%xmm4
movapd %xmm4,%xmm1
mulsd  %xmm4,%xmm1
mulsd  0xc09(%rip),%xmm1
movsd  0x58(%rsp),%xmm2
movapd %xmm2,%xmm3
subsd  %xmm1,%xmm3
mulsd  0x8(%rsp),%xmm3
addsd  %xmm0,%xmm3
movsd  0x28(%rsp),%xmm0
mulsd  %xmm4,%xmm0
divsd  %xmm0,%xmm3
movapd %xmm3,0x30(%rsp)
test   %ebx,%ebx
je     152f <TwoAssetCorrelation+0x3df>
subsd  0x60(%rsp),%xmm2
mulsd  0x8(%rsp),%xmm2
movsd  %xmm0,0x10(%rsp)
movapd %xmm2,%xmm0
call   1050 <exp@plt>
mulsd  0x20(%rsp),%xmm0
movsd  %xmm0,0x20(%rsp)
movsd  0x10(%rsp),%xmm3
addsd  0x30(%rsp),%xmm3
movsd  0x90(%rsp),%xmm2
movsd  0x88(%rsp),%xmm1
mulsd  %xmm2,%xmm1
mulsd  0x28(%rsp),%xmm1
addsd  0x40(%rsp),%xmm1
movapd %xmm3,%xmm0
mov    $0x3,%al
call   1030 <cbnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0x20(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
movapd 0x60(%rsp),%xmm0
xorpd  0xb64(%rip),%xmm0
mulsd  0x8(%rsp),%xmm0
call   1050 <exp@plt>
movsd  %xmm0,0x8(%rsp)
movaps 0x30(%rsp),%xmm0
movaps 0x40(%rsp),%xmm1
movsd  0x90(%rsp),%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  0x8(%rsp),%xmm1
mulsd  0x18(%rsp),%xmm1
jmp    160d <TwoAssetCorrelation+0x4bd>
movapd 0x60(%rsp),%xmm0
xorpd  0xb13(%rip),%xmm0
mulsd  0x8(%rsp),%xmm0
call   1050 <exp@plt>
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x18(%rsp)
movaps 0x30(%rsp),%xmm0
movaps 0xaf0(%rip),%xmm2
xorps  %xmm2,%xmm0
movaps 0x40(%rsp),%xmm1
xorps  %xmm2,%xmm1
movsd  0x90(%rsp),%xmm2
mov    $0x3,%al
call   1030 <cbnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0x58(%rsp),%xmm0
subsd  0x60(%rsp),%xmm0
mulsd  0x8(%rsp),%xmm0
call   1050 <exp@plt>
movsd  %xmm0,0x8(%rsp)
movsd  0x88(%rsp),%xmm4
movapd %xmm4,%xmm0
movapd 0xa90(%rip),%xmm3
xorpd  %xmm3,%xmm0
movsd  0x28(%rsp),%xmm1
mulsd  %xmm1,%xmm0
subsd  0x30(%rsp),%xmm0
movsd  0x90(%rsp),%xmm2
xorpd  %xmm2,%xmm3
mulsd  %xmm4,%xmm3
mulsd  %xmm1,%xmm3
subsd  0x40(%rsp),%xmm3
movapd %xmm3,%xmm1
mov    $0x3,%al
call   1030 <cbnd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  0x8(%rsp),%xmm1
mulsd  0x20(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movsd  0x10(%rsp),%xmm0
subsd  %xmm1,%xmm0
xor    %edi,%edi
movsd  %xmm0,0x10(%rsp)
ucomisd %xmm0,%xmm0
setnp  %dil
xor    %eax,%eax
call   1040 <assert@plt>
movsd  0x10(%rsp),%xmm0
add    $0x70,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define double @TwoAssetCorrelation(i32 %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double %10, double %11) {
%13 = alloca i32
%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
store i32 %0, i32* %13
store double %1, double* %14
store double %2, double* %15
store double %3, double* %16
store double %4, double* %17
store double %5, double* %18
store double %6, double* %19
store double %7, double* %20
store double %8, double* %21
store double %9, double* %22
store double %10, double* %23
store double %11, double* %24
%29 = load double, double* %14
%30 = load double, double* %14
%31 = fcmp oeq double %29, %30
br i1 %31, label %32, label %38
32: ; preds = %12
%33 = load double, double* %14
%34 = fcmp oge double %33, 0x3EB0C6F7A0B5ED8D
br i1 %34, label %35, label %38
35: ; preds = %32
%36 = load double, double* %14
%37 = fcmp ole double %36, 1.000000e+12
br label %38
38: ; preds = %35, %32, %12
%39 = phi i1 [ false, %32 ], [ false, %12 ], [ %37, %35 ]
%40 = zext i1 %39 to i32
%41 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %40)
%42 = load double, double* %15
%43 = load double, double* %15
%44 = fcmp oeq double %42, %43
br i1 %44, label %45, label %51
45: ; preds = %38
%46 = load double, double* %15
%47 = fcmp oge double %46, 0x3EB0C6F7A0B5ED8D
br i1 %47, label %48, label %51
48: ; preds = %45
%49 = load double, double* %15
%50 = fcmp ole double %49, 1.000000e+12
br label %51
51: ; preds = %48, %45, %38
%52 = phi i1 [ false, %45 ], [ false, %38 ], [ %50, %48 ]
%53 = zext i1 %52 to i32
%54 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %53)
%55 = load double, double* %16
%56 = load double, double* %16
%57 = fcmp oeq double %55, %56
br i1 %57, label %58, label %64
58: ; preds = %51
%59 = load double, double* %16
%60 = fcmp oge double %59, 0x3EB0C6F7A0B5ED8D
br i1 %60, label %61, label %64
61: ; preds = %58
%62 = load double, double* %16
%63 = fcmp ole double %62, 1.000000e+12
br label %64
64: ; preds = %61, %58, %51
%65 = phi i1 [ false, %58 ], [ false, %51 ], [ %63, %61 ]
%66 = zext i1 %65 to i32
%67 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %66)
%68 = load double, double* %17
%69 = load double, double* %17
%70 = fcmp oeq double %68, %69
br i1 %70, label %71, label %77
71: ; preds = %64
%72 = load double, double* %17
%73 = fcmp oge double %72, 0x3EB0C6F7A0B5ED8D
br i1 %73, label %74, label %77
74: ; preds = %71
%75 = load double, double* %17
%76 = fcmp ole double %75, 1.000000e+12
br label %77
77: ; preds = %74, %71, %64
%78 = phi i1 [ false, %71 ], [ false, %64 ], [ %76, %74 ]
%79 = zext i1 %78 to i32
%80 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %79)
%81 = load double, double* %18
%82 = load double, double* %18
%83 = fcmp oeq double %81, %82
br i1 %83, label %84, label %90
84: ; preds = %77
%85 = load double, double* %18
%86 = fcmp oge double %85, 0x3F2596179C29D2CE
br i1 %86, label %87, label %90
87: ; preds = %84
%88 = load double, double* %18
%89 = fcmp ole double %88, 2.000000e+01
br label %90
90: ; preds = %87, %84, %77
%91 = phi i1 [ false, %84 ], [ false, %77 ], [ %89, %87 ]
%92 = zext i1 %91 to i32
%93 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %92)
%94 = load double, double* %21
%95 = load double, double* %21
%96 = fcmp oeq double %94, %95
br i1 %96, label %97, label %103
97: ; preds = %90
%98 = load double, double* %21
%99 = fcmp oge double %98, 0.000000e+00
br i1 %99, label %100, label %103
100: ; preds = %97
%101 = load double, double* %21
%102 = fcmp ole double %101, 1.000000e+03
br label %103
103: ; preds = %100, %97, %90
%104 = phi i1 [ false, %97 ], [ false, %90 ], [ %102, %100 ]
%105 = zext i1 %104 to i32
%106 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %105)
%107 = load double, double* %19
%108 = load double, double* %19
%109 = fcmp oeq double %107, %108
br i1 %109, label %110, label %116
110: ; preds = %103
%111 = load double, double* %19
%112 = fcmp oge double %111, -1.000000e+03
br i1 %112, label %113, label %116
113: ; preds = %110
%114 = load double, double* %19
%115 = fcmp ole double %114, 1.000000e+03
br label %116
116: ; preds = %113, %110, %103
%117 = phi i1 [ false, %110 ], [ false, %103 ], [ %115, %113 ]
%118 = zext i1 %117 to i32
%119 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %118)
%120 = load double, double* %20
%121 = load double, double* %20
%122 = fcmp oeq double %120, %121
br i1 %122, label %123, label %129
123: ; preds = %116
%124 = load double, double* %20
%125 = fcmp oge double %124, -1.000000e+03
br i1 %125, label %126, label %129
126: ; preds = %123
%127 = load double, double* %20
%128 = fcmp ole double %127, 1.000000e+03
br label %129
129: ; preds = %126, %123, %116
%130 = phi i1 [ false, %123 ], [ false, %116 ], [ %128, %126 ]
%131 = zext i1 %130 to i32
%132 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %131)
%133 = load double, double* %22
%134 = load double, double* %22
%135 = fcmp oeq double %133, %134
br i1 %135, label %136, label %142
136: ; preds = %129
%137 = load double, double* %22
%138 = fcmp oge double %137, 0x3E7AD7F29ABCAF48
br i1 %138, label %139, label %142
139: ; preds = %136
%140 = load double, double* %22
%141 = fcmp ole double %140, 0x40593FFFD60E94EE
br label %142
142: ; preds = %139, %136, %129
%143 = phi i1 [ false, %136 ], [ false, %129 ], [ %141, %139 ]
%144 = zext i1 %143 to i32
%145 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %144)
%146 = load double, double* %23
%147 = load double, double* %23
%148 = fcmp oeq double %146, %147
br i1 %148, label %149, label %155
149: ; preds = %142
%150 = load double, double* %23
%151 = fcmp oge double %150, 0x3E7AD7F29ABCAF48
br i1 %151, label %152, label %155
152: ; preds = %149
%153 = load double, double* %23
%154 = fcmp ole double %153, 0x40593FFFD60E94EE
br label %155
155: ; preds = %152, %149, %142
%156 = phi i1 [ false, %149 ], [ false, %142 ], [ %154, %152 ]
%157 = zext i1 %156 to i32
%158 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %157)
%159 = load double, double* %18
%160 = call double @sqrt(double %159)
store double %160, double* %25
%161 = load double, double* %14
%162 = load double, double* %16
%163 = fdiv double %161, %162
%164 = call double @log(double %163)
%165 = load double, double* %19
%166 = load double, double* %22
%167 = load double, double* %22
%168 = fmul double %166, %167
%169 = fdiv double %168, 2.000000e+00
%170 = fsub double %165, %169
%171 = load double, double* %18
%172 = call double @llvm.fmuladd.f64(double %170, double %171, double %164)
%173 = load double, double* %22
%174 = load double, double* %25
%175 = fmul double %173, %174
%176 = fdiv double %172, %175
store double %176, double* %26
%177 = load double, double* %15
%178 = load double, double* %17
%179 = fdiv double %177, %178
%180 = call double @log(double %179)
%181 = load double, double* %20
%182 = load double, double* %23
%183 = load double, double* %23
%184 = fmul double %182, %183
%185 = fdiv double %184, 2.000000e+00
%186 = fsub double %181, %185
%187 = load double, double* %18
%188 = call double @llvm.fmuladd.f64(double %186, double %187, double %180)
%189 = load double, double* %23
%190 = load double, double* %25
%191 = fmul double %189, %190
%192 = fdiv double %188, %191
store double %192, double* %27
%193 = load i32, i32* %13
%194 = icmp ne i32 %193, 0
br i1 %194, label %195, label %232
195: ; preds = %155
%196 = load double, double* %15
%197 = load double, double* %20
%198 = load double, double* %21
%199 = fsub double %197, %198
%200 = load double, double* %18
%201 = fmul double %199, %200
%202 = call double @exp(double %201)
%203 = fmul double %196, %202
%204 = load double, double* %27
%205 = load double, double* %23
%206 = load double, double* %25
%207 = call double @llvm.fmuladd.f64(double %205, double %206, double %204)
%208 = load double, double* %26
%209 = load double, double* %24
%210 = load double, double* %23
%211 = fmul double %209, %210
%212 = load double, double* %25
%213 = call double @llvm.fmuladd.f64(double %211, double %212, double %208)
%214 = load double, double* %24
%215 = call i32 (double, double, double, ...) bitcast (i32 (...)* @cbnd to i32 (double, double, double, ...)*)(double %207, double %213, double %214)
%216 = sitofp i32 %215 to double
%217 = load double, double* %17
%218 = load double, double* %21
%219 = fneg double %218
%220 = load double, double* %18
%221 = fmul double %219, %220
%222 = call double @exp(double %221)
%223 = fmul double %217, %222
%224 = load double, double* %27
%225 = load double, double* %26
%226 = load double, double* %24
%227 = call i32 (double, double, double, ...) bitcast (i32 (...)* @cbnd to i32 (double, double, double, ...)*)(double %224, double %225, double %226)
%228 = sitofp i32 %227 to double
%229 = fmul double %223, %228
%230 = fneg double %229
%231 = call double @llvm.fmuladd.f64(double %203, double %216, double %230)
store double %231, double* %28
br label %275
232: ; preds = %155
%233 = load double, double* %17
%234 = load double, double* %21
%235 = fneg double %234
%236 = load double, double* %18
%237 = fmul double %235, %236
%238 = call double @exp(double %237)
%239 = fmul double %233, %238
%240 = load double, double* %27
%241 = fneg double %240
%242 = load double, double* %26
%243 = fneg double %242
%244 = load double, double* %24
%245 = call i32 (double, double, double, ...) bitcast (i32 (...)* @cbnd to i32 (double, double, double, ...)*)(double %241, double %243, double %244)
%246 = sitofp i32 %245 to double
%247 = load double, double* %15
%248 = load double, double* %20
%249 = load double, double* %21
%250 = fsub double %248, %249
%251 = load double, double* %18
%252 = fmul double %250, %251
%253 = call double @exp(double %252)
%254 = fmul double %247, %253
%255 = load double, double* %27
%256 = fneg double %255
%257 = load double, double* %23
%258 = load double, double* %25
%259 = fneg double %257
%260 = call double @llvm.fmuladd.f64(double %259, double %258, double %256)
%261 = load double, double* %26
%262 = fneg double %261
%263 = load double, double* %24
%264 = load double, double* %23
%265 = fmul double %263, %264
%266 = load double, double* %25
%267 = fneg double %265
%268 = call double @llvm.fmuladd.f64(double %267, double %266, double %262)
%269 = load double, double* %24
%270 = call i32 (double, double, double, ...) bitcast (i32 (...)* @cbnd to i32 (double, double, double, ...)*)(double %260, double %268, double %269)
%271 = sitofp i32 %270 to double
%272 = fmul double %254, %271
%273 = fneg double %272
%274 = call double @llvm.fmuladd.f64(double %239, double %246, double %273)
store double %274, double* %28
br label %275
275: ; preds = %232, %195
%276 = load double, double* %28
%277 = load double, double* %28
%278 = fcmp oeq double %276, %277
%279 = zext i1 %278 to i32
%280 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %279)
%281 = load double, double* %28
ret double %281
}

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