double mux_driver_delay(C, B, A, Ndbl, Nspd, Ndwl, Ntbl, Ntspd, inputtime,
                        outputtime)
int C, B, A, Ndbl, Nspd, Ndwl, Ntbl, Ntspd;
double inputtime, *outputtime;
{
  double Ceq, Req, tf, nextinputtime;
  double Tst1, Tst2, Tst3;
  Ceq = gatecap(20.0 + 80.0, 15.0) * (8 * B / 64) + draincap(30.0, 1, 1) +
        draincap(50.0, 0, 1);
  Req = transreson(50.0, 0, 1);
  tf = Ceq * Req;
  Tst1 = horowitz(inputtime, tf, 0.437, 0.486, 0);
  nextinputtime = Tst1 / 0.486;
  Ceq = gatecap(120.0 + 200.0, 15.0) + 2 * draincap(20.0, 1, 1) +
        draincap(80.0, 0, 2);
  Req = transreson(20.0, 1, 1);
  tf = Ceq * Req;
  Tst2 = horowitz(nextinputtime, tf, 0.486, 0.437, 1);
  nextinputtime = Tst2 / (1 - 0.437);
  Ceq = 64 * gatecap(12.0 + 20.0 + 6.0 + 40.0, 20.0) + draincap(200.0, 0, 1) +
        draincap(120.0, 1, 1) + 1.8e-15 * 8 * B * A * Nspd * Ndbl / 2.0;
  Req = (0.080 * 8 * B * A * Nspd * Ndbl / 2) / 2 + transreson(200.0, 0, 1);
  tf = Ceq * Req;
  Tst3 = horowitz(nextinputtime, tf, 0.437, 0.437, 0);
  *outputtime = Tst3 / (0.437);
  return (Tst1 + Tst2 + Tst3);
}


x86 assembly (clang, -O0):
<mux_driver_delay>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9d,-0x18(%rbp)
movsd  %xmm0,-0x20(%rbp)
movsd  0xf02(%rip),%xmm0
movsd  0xee2(%rip),%xmm1
mov    $0x2,%al
call   1040 <gatecap@plt>
mov    %eax,-0x7c(%rbp)
mov    -0x8(%rbp),%eax
shl    $0x3,%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x7c(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x78(%rbp)
movsd  0xec7(%rip),%xmm0
mov    $0x1,%esi
mov    %esi,%edi
mov    $0x1,%al
call   1030 <draincap@plt>
mov    %eax,%ecx
mov    -0x78(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x74(%rbp)
movsd  0xe9f(%rip),%xmm0
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
mov    %eax,%ecx
mov    -0x74(%rbp),%eax
add    %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xe79(%rip),%xmm0
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1050 <transreson@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm1
movsd  0xdd9(%rip),%xmm2
movsd  0xe19(%rip),%xmm3
xor    %edi,%edi
mov    $0x4,%al
call   1060 <horowitz@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  0xdfa(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xdf9(%rip),%xmm0
movsd  0xdf9(%rip),%xmm1
mov    $0x2,%al
call   1040 <gatecap@plt>
mov    %eax,-0x70(%rbp)
movsd  0xdbf(%rip),%xmm0
mov    $0x1,%esi
mov    %esi,%edi
mov    $0x1,%al
call   1030 <draincap@plt>
mov    %eax,%ecx
mov    -0x70(%rbp),%eax
shl    $0x1,%ecx
add    %ecx,%eax
mov    %eax,-0x6c(%rbp)
movsd  0xdb4(%rip),%xmm0
xor    %edi,%edi
mov    $0x2,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
mov    %eax,%ecx
mov    -0x6c(%rbp),%eax
add    %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xd76(%rip),%xmm0
mov    $0x1,%esi
mov    %esi,%edi
mov    $0x1,%al
call   1050 <transreson@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm1
movsd  0xd4e(%rip),%xmm2
movsd  0xcfe(%rip),%xmm3
mov    $0x1,%edi
mov    $0x4,%al
call   1060 <horowitz@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
movsd  0xd1c(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xcfb(%rip),%xmm0
movsd  0xcfb(%rip),%xmm1
mov    $0x2,%al
call   1040 <gatecap@plt>
shl    $0x6,%eax
mov    %eax,-0x68(%rbp)
movsd  0xcb6(%rip),%xmm0
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
mov    %eax,%ecx
mov    -0x68(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x64(%rbp)
movsd  0xcb6(%rip),%xmm0
mov    $0x1,%esi
mov    %esi,%edi
mov    $0x1,%al
call   1030 <draincap@plt>
mov    %eax,%ecx
mov    -0x64(%rbp),%eax
add    %ecx,%eax
cvtsi2sd %eax,%xmm0
cvtsi2sdl -0x8(%rbp),%xmm2
movsd  0xc88(%rip),%xmm1
mulsd  %xmm2,%xmm1
cvtsi2sdl -0xc(%rbp),%xmm2
mulsd  %xmm2,%xmm1
cvtsi2sdl -0x14(%rbp),%xmm2
mulsd  %xmm2,%xmm1
cvtsi2sdl -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm1
movsd  0xc51(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
cvtsi2sdl -0x8(%rbp),%xmm1
movsd  0xc3f(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsi2sdl -0xc(%rbp),%xmm1
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x14(%rbp),%xmm1
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x10(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xc10(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xc04(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xbeb(%rip),%xmm0
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1050 <transreson@plt>
movsd  -0x60(%rbp),%xmm0
cvtsi2sd %eax,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm1
movsd  0xba2(%rip),%xmm3
xor    %edi,%edi
movaps %xmm3,%xmm2
mov    $0x4,%al
call   1060 <horowitz@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  0xb80(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    0x20(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x48(%rbp),%xmm0
addsd  -0x50(%rbp),%xmm0
addsd  -0x58(%rbp),%xmm0
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mux_driver_delay>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
movsd  %xmm0,0x18(%rsp)
mov    %r8d,%r14d
mov    %ecx,%r12d
mov    %edx,%r15d
mov    %esi,%r13d
movsd  0xe98(%rip),%xmm0
movsd  0xe98(%rip),%xmm1
mov    $0x2,%al
call   1040 <gatecap@plt>
lea    0x7(%r13),%ebp
test   %r13d,%r13d
cmovns %r13d,%ebp
sar    $0x3,%ebp
imul   %eax,%ebp
movsd  0xe80(%rip),%xmm0
mov    $0x1,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
mov    %eax,%ebx
add    %ebp,%ebx
movsd  0xe6b(%rip),%xmm0
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
add    %ebx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0xe46(%rip),%xmm0
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1050 <transreson@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
mulsd  0x8(%rsp),%xmm1
movsd  0xe2b(%rip),%xmm2
movsd  0xe2b(%rip),%xmm3
movsd  0x18(%rsp),%xmm0
xor    %edi,%edi
mov    $0x4,%al
call   1060 <horowitz@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x18(%rsp)
divsd  0xe07(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0xe01(%rip),%xmm0
movsd  0xdd1(%rip),%xmm1
mov    $0x2,%al
call   1040 <gatecap@plt>
mov    %eax,%ebx
movsd  0xdf0(%rip),%xmm0
mov    $0x1,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
lea    (%rbx,%rax,2),%ebx
movsd  0xddc(%rip),%xmm0
xor    %edi,%edi
mov    $0x2,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
add    %ebx,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0xdaf(%rip),%xmm0
mov    $0x1,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1050 <transreson@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
mulsd  0x10(%rsp),%xmm1
movsd  0x8(%rsp),%xmm0
movsd  0xd73(%rip),%xmm2
movsd  0xd63(%rip),%xmm3
mov    $0x1,%edi
mov    $0x4,%al
call   1060 <horowitz@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x8(%rsp)
divsd  0xd6a(%rip),%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0xd64(%rip),%xmm0
movsd  0xd44(%rip),%xmm1
mov    $0x2,%al
call   1040 <gatecap@plt>
mov    %eax,%ebx
shl    $0x6,%ebx
movsd  0xd50(%rip),%xmm0
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
mov    %eax,%ebp
add    %ebx,%ebp
movsd  0xd3e(%rip),%xmm0
mov    $0x1,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1030 <draincap@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %r13d,%xmm0
mov    %eax,%ebx
movd   %r14d,%xmm1
movd   %r15d,%xmm2
punpckldq %xmm1,%xmm2
cvtdq2pd %xmm2,%xmm1
xorps  %xmm2,%xmm2
cvtsi2sd %r12d,%xmm2
add    %ebp,%ebx
movsd  0xd07(%rip),%xmm3
mulsd  %xmm0,%xmm3
unpcklpd %xmm3,%xmm0
movsd  0xcff(%rip),%xmm3
unpcklpd %xmm1,%xmm3
mulpd  %xmm0,%xmm3
mulpd  %xmm1,%xmm3
shufpd $0x1,%xmm2,%xmm1
movapd 0xcf6(%rip),%xmm0
cvtsi2sd %r12d,%xmm0
mulpd  %xmm3,%xmm1
mulpd  %xmm1,%xmm0
mulpd  0xcf1(%rip),%xmm0
movapd %xmm0,0x20(%rsp)
movsd  0xcab(%rip),%xmm0
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x1,%al
call   1050 <transreson@plt>
movd   %ebx,%xmm0
movd   %eax,%xmm1
punpckldq %xmm1,%xmm0
cvtdq2pd %xmm0,%xmm0
addpd  0x20(%rsp),%xmm0
movapd %xmm0,%xmm1
unpckhpd %xmm0,%xmm1
mulsd  %xmm0,%xmm1
movsd  0x10(%rsp),%xmm0
movsd  0xc35(%rip),%xmm2
movaps %xmm2,%xmm3
xor    %edi,%edi
mov    $0x4,%al
call   1060 <horowitz@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  0x18(%rsp),%xmm1
addsd  0x8(%rsp),%xmm1
addsd  %xmm0,%xmm1
divsd  0xc0a(%rip),%xmm0
mov    0x80(%rsp),%rax
movsd  %xmm0,(%rax)
movapd %xmm1,%xmm0
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define double @mux_driver_delay(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, double %8, double* %9) {
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%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
store i32 %0, i32* %11
store i32 %1, i32* %12
store i32 %2, i32* %13
store i32 %3, i32* %14
store i32 %4, i32* %15
store i32 %5, i32* %16
store i32 %6, i32* %17
store i32 %7, i32* %18
store double %8, double* %19
store double* %9, double** %20
%28 = call i32 (double, double, ...) bitcast (i32 (...)* @gatecap to i32 (double, double, ...)*)(double 1.000000e+02, double 1.500000e+01)
%29 = load i32, i32* %12
%30 = mul nsw i32 8, %29
%31 = sdiv i32 %30, 64
%32 = mul nsw i32 %28, %31
%33 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 3.000000e+01, i32 1, i32 1)
%34 = add nsw i32 %32, %33
%35 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 5.000000e+01, i32 0, i32 1)
%36 = add nsw i32 %34, %35
%37 = sitofp i32 %36 to double
store double %37, double* %21
%38 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @transreson to i32 (double, i32, i32, ...)*)(double 5.000000e+01, i32 0, i32 1)
%39 = sitofp i32 %38 to double
store double %39, double* %22
%40 = load double, double* %21
%41 = load double, double* %22
%42 = fmul double %40, %41
store double %42, double* %23
%43 = load double, double* %19
%44 = load double, double* %23
%45 = call i32 (double, double, double, double, i32, ...) bitcast (i32 (...)* @horowitz to i32 (double, double, double, double, i32, ...)*)(double %43, double %44, double 4.370000e-01, double 4.860000e-01, i32 0)
%46 = sitofp i32 %45 to double
store double %46, double* %25
%47 = load double, double* %25
%48 = fdiv double %47, 4.860000e-01
store double %48, double* %24
%49 = call i32 (double, double, ...) bitcast (i32 (...)* @gatecap to i32 (double, double, ...)*)(double 3.200000e+02, double 1.500000e+01)
%50 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 2.000000e+01, i32 1, i32 1)
%51 = mul nsw i32 2, %50
%52 = add nsw i32 %49, %51
%53 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 8.000000e+01, i32 0, i32 2)
%54 = add nsw i32 %52, %53
%55 = sitofp i32 %54 to double
store double %55, double* %21
%56 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @transreson to i32 (double, i32, i32, ...)*)(double 2.000000e+01, i32 1, i32 1)
%57 = sitofp i32 %56 to double
store double %57, double* %22
%58 = load double, double* %21
%59 = load double, double* %22
%60 = fmul double %58, %59
store double %60, double* %23
%61 = load double, double* %24
%62 = load double, double* %23
%63 = call i32 (double, double, double, double, i32, ...) bitcast (i32 (...)* @horowitz to i32 (double, double, double, double, i32, ...)*)(double %61, double %62, double 4.860000e-01, double 4.370000e-01, i32 1)
%64 = sitofp i32 %63 to double
store double %64, double* %26
%65 = load double, double* %26
%66 = fdiv double %65, 5.630000e-01
store double %66, double* %24
%67 = call i32 (double, double, ...) bitcast (i32 (...)* @gatecap to i32 (double, double, ...)*)(double 7.800000e+01, double 2.000000e+01)
%68 = mul nsw i32 64, %67
%69 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 2.000000e+02, i32 0, i32 1)
%70 = add nsw i32 %68, %69
%71 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 1.200000e+02, i32 1, i32 1)
%72 = add nsw i32 %70, %71
%73 = sitofp i32 %72 to double
%74 = load i32, i32* %12
%75 = sitofp i32 %74 to double
%76 = fmul double 1.440000e-14, %75
%77 = load i32, i32* %13
%78 = sitofp i32 %77 to double
%79 = fmul double %76, %78
%80 = load i32, i32* %15
%81 = sitofp i32 %80 to double
%82 = fmul double %79, %81
%83 = load i32, i32* %14
%84 = sitofp i32 %83 to double
%85 = fmul double %82, %84
%86 = fdiv double %85, 2.000000e+00
%87 = fadd double %73, %86
store double %87, double* %21
%88 = load i32, i32* %12
%89 = sitofp i32 %88 to double
%90 = fmul double 6.400000e-01, %89
%91 = load i32, i32* %13
%92 = sitofp i32 %91 to double
%93 = fmul double %90, %92
%94 = load i32, i32* %15
%95 = sitofp i32 %94 to double
%96 = fmul double %93, %95
%97 = load i32, i32* %14
%98 = sitofp i32 %97 to double
%99 = fmul double %96, %98
%100 = fdiv double %99, 2.000000e+00
%101 = fdiv double %100, 2.000000e+00
%102 = call i32 (double, i32, i32, ...) bitcast (i32 (...)* @transreson to i32 (double, i32, i32, ...)*)(double 2.000000e+02, i32 0, i32 1)
%103 = sitofp i32 %102 to double
%104 = fadd double %101, %103
store double %104, double* %22
%105 = load double, double* %21
%106 = load double, double* %22
%107 = fmul double %105, %106
store double %107, double* %23
%108 = load double, double* %24
%109 = load double, double* %23
%110 = call i32 (double, double, double, double, i32, ...) bitcast (i32 (...)* @horowitz to i32 (double, double, double, double, i32, ...)*)(double %108, double %109, double 4.370000e-01, double 4.370000e-01, i32 0)
%111 = sitofp i32 %110 to double
store double %111, double* %27
%112 = load double, double* %27
%113 = fdiv double %112, 4.370000e-01
%114 = load double*, double** %20
store double %113, double* %114
%115 = load double, double* %25
%116 = load double, double* %26
%117 = fadd double %115, %116
%118 = load double, double* %27
%119 = fadd double %117, %118
ret double %119
}

LLVM IR (-O2):
define double @mux_driver_delay(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, double %8, double* nocapture writeonly %9) {
%11 = tail call i32 (double, double, ...) bitcast (i32 (...)* @gatecap to i32 (double, double, ...)*)(double 1.000000e+02, double 1.500000e+01)
%12 = sdiv i32 %1, 8
%13 = mul nsw i32 %11, %12
%14 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 3.000000e+01, i32 1, i32 1)
%15 = add nsw i32 %13, %14
%16 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 5.000000e+01, i32 0, i32 1)
%17 = add nsw i32 %15, %16
%18 = sitofp i32 %17 to double
%19 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @transreson to i32 (double, i32, i32, ...)*)(double 5.000000e+01, i32 0, i32 1)
%20 = sitofp i32 %19 to double
%21 = fmul double %18, %20
%22 = tail call i32 (double, double, double, double, i32, ...) bitcast (i32 (...)* @horowitz to i32 (double, double, double, double, i32, ...)*)(double %8, double %21, double 4.370000e-01, double 4.860000e-01, i32 0)
%23 = sitofp i32 %22 to double
%24 = fdiv double %23, 4.860000e-01
%25 = tail call i32 (double, double, ...) bitcast (i32 (...)* @gatecap to i32 (double, double, ...)*)(double 3.200000e+02, double 1.500000e+01)
%26 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 2.000000e+01, i32 1, i32 1)
%27 = shl nsw i32 %26, 1
%28 = add nsw i32 %27, %25
%29 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 8.000000e+01, i32 0, i32 2)
%30 = add nsw i32 %28, %29
%31 = sitofp i32 %30 to double
%32 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @transreson to i32 (double, i32, i32, ...)*)(double 2.000000e+01, i32 1, i32 1)
%33 = sitofp i32 %32 to double
%34 = fmul double %33, %31
%35 = tail call i32 (double, double, double, double, i32, ...) bitcast (i32 (...)* @horowitz to i32 (double, double, double, double, i32, ...)*)(double %24, double %34, double 4.860000e-01, double 4.370000e-01, i32 1)
%36 = sitofp i32 %35 to double
%37 = fdiv double %36, 5.630000e-01
%38 = tail call i32 (double, double, ...) bitcast (i32 (...)* @gatecap to i32 (double, double, ...)*)(double 7.800000e+01, double 2.000000e+01)
%39 = shl nsw i32 %38, 6
%40 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 2.000000e+02, i32 0, i32 1)
%41 = add nsw i32 %39, %40
%42 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @draincap to i32 (double, i32, i32, ...)*)(double 1.200000e+02, i32 1, i32 1)
%43 = add nsw i32 %41, %42
%44 = sitofp i32 %1 to double
%45 = insertelement <2 x i32> poison, i32 %2, i64 0
%46 = insertelement <2 x i32> %45, i32 %4, i64 1
%47 = sitofp <2 x i32> %46 to <2 x double>
%48 = sitofp i32 %3 to double
%49 = fmul double %44, 6.400000e-01
%50 = insertelement <2 x double> poison, double %44, i64 0
%51 = insertelement <2 x double> %50, double %49, i64 1
%52 = shufflevector <2 x double> <double 1.440000e-14, double poison>, <2 x double> %47, <2 x i32> <i32 0, i32 2>
%53 = fmul <2 x double> %51, %52
%54 = fmul <2 x double> %53, %47
%55 = extractelement <2 x double> %47, i64 1
%56 = insertelement <2 x double> poison, double %55, i64 0
%57 = insertelement <2 x double> %56, double %48, i64 1
%58 = fmul <2 x double> %54, %57
%59 = insertelement <2 x double> <double poison, double 5.000000e-01>, double %48, i64 0
%60 = fmul <2 x double> %58, %59
%61 = fmul <2 x double> %60, <double 5.000000e-01, double 5.000000e-01>
%62 = tail call i32 (double, i32, i32, ...) bitcast (i32 (...)* @transreson to i32 (double, i32, i32, ...)*)(double 2.000000e+02, i32 0, i32 1)
%63 = insertelement <2 x i32> poison, i32 %43, i64 0
%64 = insertelement <2 x i32> %63, i32 %62, i64 1
%65 = sitofp <2 x i32> %64 to <2 x double>
%66 = fadd <2 x double> %61, %65
%67 = shufflevector <2 x double> %66, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%68 = fmul <2 x double> %66, %67
%69 = extractelement <2 x double> %68, i64 0
%70 = tail call i32 (double, double, double, double, i32, ...) bitcast (i32 (...)* @horowitz to i32 (double, double, double, double, i32, ...)*)(double %37, double %69, double 4.370000e-01, double 4.370000e-01, i32 0)
%71 = sitofp i32 %70 to double
%72 = fdiv double %71, 4.370000e-01
store double %72, double* %9
%73 = fadd double %23, %36
%74 = fadd double %73, %71
ret double %74
}