#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
float asin(int);
float pow(float, int);
int sqrt(float);
float r2(float t, float Tr, float Ts) {
  float p1;
  float p2;
  p1 = (Tr * sqrt(t * (-t + Tr)) + 2 * sqrt(pow(t, 3) * (-t + Tr)) -
        t * Tr * sqrt((-t + Tr + Ts) / (t - Ts)) +
        Tr * Ts * sqrt((-t + Tr + Ts) / (t - Ts)) -
        2 * t * sqrt((t - Ts) * (-t + Tr + Ts)) -
        2 * Ts * sqrt((t - Ts) * (-t + Tr + Ts)) +
        (4 * t - Tr) * Tr * asin(sqrt(t / Tr)) +
        Tr * (-4 * t + Tr) * asin(sqrt((t - Ts) / Tr))) /
       4.;
  p2 = (-((2 * t + Tr - 6 * Ts) * sqrt((t - Ts) * (-t + Tr + Ts))) +
        Tr * (-4 * t + Tr + 8 * Ts) * asin(sqrt((t - Ts) / Tr))) /
       4.;
  return p1 + p2;
}


x86 assembly (clang, -O0):
<r2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x58(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  -0x8(%rbp),%xmm1
mulss  %xmm1,%xmm0
call   1050 <sqrt@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x54(%rbp)
movss  -0x4(%rbp),%xmm0
mov    $0x3,%edi
call   1040 <pow@plt>
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  -0x8(%rbp),%xmm1
mulss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  -0x58(%rbp),%xmm0
movss  -0x54(%rbp),%xmm2
shl    $0x1,%eax
cvtsi2ss %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x4(%rbp),%xmm0
mulss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x4(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
addss  -0x8(%rbp),%xmm0
addss  -0xc(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
subss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  -0x50(%rbp),%xmm0
movss  -0x4c(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x8(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x4(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
addss  -0x8(%rbp),%xmm0
addss  -0xc(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
subss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  -0x48(%rbp),%xmm0
movss  -0x44(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  0xd85(%rip),%xmm0
mulss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x4(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  -0x8(%rbp),%xmm1
addss  -0xc(%rbp),%xmm1
mulss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  -0x40(%rbp),%xmm0
movss  -0x3c(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
movss  0xd1c(%rip),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x4(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  -0x8(%rbp),%xmm1
addss  -0xc(%rbp),%xmm1
mulss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  -0x38(%rbp),%xmm0
movss  -0x34(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
movss  0xc98(%rip),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mulss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x4(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
call   1050 <sqrt@plt>
mov    %eax,%edi
call   1030 <asin@plt>
movss  -0x30(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x2c(%rbp),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x8(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
movss  -0x8(%rbp),%xmm2
movss  0xc37(%rip),%xmm3
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x4(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
call   1050 <sqrt@plt>
mov    %eax,%edi
call   1030 <asin@plt>
movss  -0x28(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x24(%rbp),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xbde(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x4(%rbp),%xmm1
movss  -0x8(%rbp),%xmm0
addss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  -0xc(%rbp),%xmm0
movss  0xbc2(%rip),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x4(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  -0x8(%rbp),%xmm1
addss  -0xc(%rbp),%xmm1
mulss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  -0x20(%rbp),%xmm0
cvtsi2ss %eax,%xmm1
mulss  %xmm1,%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x8(%rbp),%xmm0
movss  -0x4(%rbp),%xmm2
movss  -0x8(%rbp),%xmm1
movss  0xb4c(%rip),%xmm3
mulss  %xmm3,%xmm2
addss  %xmm1,%xmm2
movss  -0xc(%rbp),%xmm1
movss  0xb33(%rip),%xmm3
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x4(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
call   1050 <sqrt@plt>
mov    %eax,%edi
call   1030 <asin@plt>
movss  -0x1c(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x18(%rbp),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xade(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x10(%rbp),%xmm0
addss  -0x14(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<r2>:
sub    $0x88,%rsp
movaps %xmm2,0x60(%rsp)
movaps %xmm1,0x30(%rsp)
movaps %xmm0,%xmm2
movss  %xmm0,0x20(%rsp)
movaps %xmm1,%xmm0
subss  %xmm2,%xmm0
movaps %xmm0,0x40(%rsp)
mulss  %xmm2,%xmm0
call   1050 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x10(%rsp)
movss  0x20(%rsp),%xmm0
mov    $0x3,%edi
call   1040 <pow@plt>
mulss  0x40(%rsp),%xmm0
call   1050 <sqrt@plt>
add    %eax,%eax
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0x10(%rsp),%xmm1
mulss  0x30(%rsp),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0x10(%rsp)
movaps 0x60(%rsp),%xmm0
movaps 0x40(%rsp),%xmm2
addss  %xmm0,%xmm2
movaps %xmm2,0x40(%rsp)
movss  0x20(%rsp),%xmm1
subss  %xmm0,%xmm1
movss  %xmm1,0xc(%rsp)
movaps %xmm2,%xmm0
divss  %xmm1,%xmm0
movaps %xmm0,0x50(%rsp)
call   1050 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0x20(%rsp),%xmm1
movaps 0x30(%rsp),%xmm2
mulss  %xmm2,%xmm1
mulss  %xmm0,%xmm1
movss  0x10(%rsp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0x10(%rsp)
mulss  0x60(%rsp),%xmm2
movaps %xmm2,0x70(%rsp)
movaps 0x50(%rsp),%xmm0
call   1050 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x70(%rsp),%xmm0
addss  0x10(%rsp),%xmm0
movss  %xmm0,0x10(%rsp)
movaps 0x40(%rsp),%xmm0
mulss  0xc(%rsp),%xmm0
movaps %xmm0,0x40(%rsp)
call   1050 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0x20(%rsp),%xmm1
mulss  0xda4(%rip),%xmm1
mulss  %xmm0,%xmm1
addss  0x10(%rsp),%xmm1
movss  %xmm1,0x10(%rsp)
movaps 0x40(%rsp),%xmm0
call   1050 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0xd7b(%rip),%xmm1
mulss  0x60(%rsp),%xmm1
mulss  %xmm0,%xmm1
addss  0x10(%rsp),%xmm1
movss  %xmm1,0x10(%rsp)
movss  0xd61(%rip),%xmm2
movss  0x20(%rsp),%xmm0
mulss  %xmm0,%xmm2
movaps 0x30(%rsp),%xmm1
subss  %xmm1,%xmm2
mulss  %xmm1,%xmm2
movss  %xmm2,0x50(%rsp)
divss  %xmm1,%xmm0
call   1050 <sqrt@plt>
mov    %eax,%edi
call   1030 <asin@plt>
mulss  0x50(%rsp),%xmm0
addss  0x10(%rsp),%xmm0
movaps %xmm0,0x10(%rsp)
movss  0xd1f(%rip),%xmm0
mulss  0x20(%rsp),%xmm0
movaps 0x30(%rsp),%xmm1
addss  %xmm1,%xmm0
movaps %xmm0,0x70(%rsp)
movss  0xc(%rsp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,0xc(%rsp)
call   1050 <sqrt@plt>
mov    %eax,%edi
call   1030 <asin@plt>
movaps %xmm0,0x50(%rsp)
movss  0x20(%rsp),%xmm0
addss  %xmm0,%xmm0
addss  0x30(%rsp),%xmm0
movss  0xcd6(%rip),%xmm1
mulss  0x60(%rsp),%xmm1
addss  %xmm0,%xmm1
movaps %xmm1,0x20(%rsp)
movaps 0x40(%rsp),%xmm0
call   1050 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movaps 0x20(%rsp),%xmm1
xorps  0xcbe(%rip),%xmm1
mulss  %xmm0,%xmm1
movaps 0x10(%rsp),%xmm0
unpcklps %xmm1,%xmm0
movaps %xmm0,0x10(%rsp)
movaps 0x60(%rsp),%xmm0
mulss  0xc90(%rip),%xmm0
movaps 0x70(%rsp),%xmm1
addss  %xmm1,%xmm0
unpcklps %xmm0,%xmm1
movaps 0x30(%rsp),%xmm0
shufps $0x0,%xmm0,%xmm0
mulps  %xmm1,%xmm0
movaps %xmm0,0x30(%rsp)
movss  0xc(%rsp),%xmm0
call   1050 <sqrt@plt>
mov    %eax,%edi
call   1030 <asin@plt>
movaps 0x50(%rsp),%xmm1
unpcklps %xmm0,%xmm1
mulps  0x30(%rsp),%xmm1
addps  0x10(%rsp),%xmm1
mulps  0xc68(%rip),%xmm1
movaps %xmm1,%xmm0
shufps $0x55,%xmm1,%xmm0
addss  %xmm1,%xmm0
add    $0x88,%rsp
ret

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

LLVM IR (-O2):
define float @r2(float %0, float %1, float %2) {
%4 = fsub float %1, %0
%5 = fmul float %4, %0
%6 = tail call i32 @sqrt(float %5)
%7 = sitofp i32 %6 to float
%8 = tail call float @pow(float %0, i32 3)
%9 = fmul float %4, %8
%10 = tail call i32 @sqrt(float %9)
%11 = shl nsw i32 %10, 1
%12 = sitofp i32 %11 to float
%13 = tail call float @llvm.fmuladd.f32(float %1, float %7, float %12)
%14 = fadd float %4, %2
%15 = fsub float %0, %2
%16 = fdiv float %14, %15
%17 = tail call i32 @sqrt(float %16)
%18 = sitofp i32 %17 to float
%19 = fneg float %0
%20 = fmul float %19, %1
%21 = tail call float @llvm.fmuladd.f32(float %20, float %18, float %13)
%22 = fmul float %1, %2
%23 = tail call i32 @sqrt(float %16)
%24 = sitofp i32 %23 to float
%25 = tail call float @llvm.fmuladd.f32(float %22, float %24, float %21)
%26 = fmul float %15, %14
%27 = tail call i32 @sqrt(float %26)
%28 = sitofp i32 %27 to float
%29 = fmul float %0, -2.000000e+00
%30 = tail call float @llvm.fmuladd.f32(float %29, float %28, float %25)
%31 = tail call i32 @sqrt(float %26)
%32 = sitofp i32 %31 to float
%33 = fmul float %2, -2.000000e+00
%34 = tail call float @llvm.fmuladd.f32(float %33, float %32, float %30)
%35 = fneg float %1
%36 = tail call float @llvm.fmuladd.f32(float %0, float 4.000000e+00, float %35)
%37 = fmul float %36, %1
%38 = fdiv float %0, %1
%39 = tail call i32 @sqrt(float %38)
%40 = tail call float @asin(i32 %39)
%41 = tail call float @llvm.fmuladd.f32(float %37, float %40, float %34)
%42 = tail call float @llvm.fmuladd.f32(float %0, float -4.000000e+00, float %1)
%43 = fdiv float %15, %1
%44 = tail call i32 @sqrt(float %43)
%45 = tail call float @asin(i32 %44)
%46 = tail call float @llvm.fmuladd.f32(float %0, float 2.000000e+00, float %1)
%47 = tail call float @llvm.fmuladd.f32(float %2, float -6.000000e+00, float %46)
%48 = tail call i32 @sqrt(float %26)
%49 = sitofp i32 %48 to float
%50 = fneg float %47
%51 = fmul float %50, %49
%52 = tail call float @llvm.fmuladd.f32(float %2, float 8.000000e+00, float %42)
%53 = insertelement <2 x float> poison, float %42, i64 0
%54 = insertelement <2 x float> %53, float %52, i64 1
%55 = insertelement <2 x float> poison, float %1, i64 0
%56 = shufflevector <2 x float> %55, <2 x float> poison, <2 x i32> zeroinitializer
%57 = fmul <2 x float> %54, %56
%58 = tail call i32 @sqrt(float %43)
%59 = tail call float @asin(i32 %58)
%60 = insertelement <2 x float> poison, float %45, i64 0
%61 = insertelement <2 x float> %60, float %59, i64 1
%62 = insertelement <2 x float> poison, float %41, i64 0
%63 = insertelement <2 x float> %62, float %51, i64 1
%64 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %57, <2 x float> %61, <2 x float> %63)
%65 = fmul <2 x float> %64, <float 2.500000e-01, float 2.500000e-01>
%66 = shufflevector <2 x float> %65, <2 x float> poison, <2 x i32> <i32 1, i32 undef>
%67 = fadd <2 x float> %65, %66
%68 = extractelement <2 x float> %67, i64 0
ret float %68
}