#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 */
int acos(double);
float atan(int);
int pow(float, int);
int sqrt(float);
float r4(float t, float Tr, float Ts) {
  float p1;
  float p2;
  p1 = t * Tr * acos(sqrt((t - Ts) / Tr)) +
       (-(sqrt((t - Ts) * (-t + Tr + Ts)) * (2 * t + Tr + 2 * Ts)) -
        pow(Tr, 2) * acos(1.0 / sqrt(Tr / (t - Ts)))) /
           4.;
  p2 = (2 * (-2 * t * sqrt((t - Ts) * (-t + Tr + Ts)) -
             Tr * sqrt((t - Ts) * (-t + Tr + Ts)) +
             6 * Ts * sqrt((t - Ts) * (-t + Tr + Ts)) +
             2 * t * sqrt((t - 2 * Ts) * (-t + Tr + 2 * Ts)) +
             Tr * sqrt((t - 2 * Ts) * (-t + Tr + 2 * Ts)) -
             4 * Ts * sqrt((t - 2 * Ts) * (-t + Tr + 2 * Ts))) -
        Tr * (-4 * t + Tr + 8 * Ts) *
            atan((-2 * t + Tr + 2 * Ts) /
                 (2. * sqrt((t - Ts) * (-t + Tr + Ts)))) +
        Tr * (-4 * t + Tr + 8 * Ts) *
            atan((-2 * t + Tr + 4 * Ts) /
                 (2. * sqrt((t - 2 * Ts) * (-t + Tr + 2 * Ts))))) /
       8.;
  return p1 + p2;
}


x86 assembly (clang, -O0):
<r4>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  -0x4(%rbp),%xmm0
mulss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x78(%rbp)
movss  -0x4(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
call   1060 <sqrt@plt>
cvtsi2sd %eax,%xmm0
call   1030 <acos@plt>
movss  -0x78(%rbp),%xmm0
cvtsi2ss %eax,%xmm1
mulss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x70(%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   1060 <sqrt@plt>
cvtsi2ss %eax,%xmm0
movss  -0x4(%rbp),%xmm2
movss  -0x8(%rbp),%xmm1
addss  %xmm2,%xmm2
addss  %xmm1,%xmm2
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x74(%rbp)
movss  -0x8(%rbp),%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
mov    %eax,-0x68(%rbp)
movss  -0x8(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
subss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
call   1060 <sqrt@plt>
cvtsi2sd %eax,%xmm1
movsd  0xdde(%rip),%xmm0
divsd  %xmm1,%xmm0
call   1030 <acos@plt>
movss  -0x74(%rbp),%xmm1
movsd  -0x70(%rbp),%xmm0
mov    %eax,%ecx
mov    -0x68(%rbp),%eax
imul   %ecx,%eax
cvtsi2ss %eax,%xmm2
subss  %xmm2,%xmm1
cvtss2sd %xmm1,%xmm1
movsd  0xda7(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  0xdb2(%rip),%xmm0
mulss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x60(%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   1060 <sqrt@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x5c(%rbp)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x64(%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   1060 <sqrt@plt>
movss  -0x64(%rbp),%xmm1
movss  -0x60(%rbp),%xmm0
movss  -0x5c(%rbp),%xmm2
cvtsi2ss %eax,%xmm3
mulss  %xmm3,%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x54(%rbp)
movss  0xcfa(%rip),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x58(%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   1060 <sqrt@plt>
movss  -0x58(%rbp),%xmm0
movss  -0x54(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  0xc9a(%rip),%xmm0
mulss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
subss  %xmm1,%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm2
addss  -0x8(%rbp),%xmm2
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
call   1060 <sqrt@plt>
movss  -0x50(%rbp),%xmm0
movss  -0x4c(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
subss  %xmm1,%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm2
addss  -0x8(%rbp),%xmm2
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
call   1060 <sqrt@plt>
movss  -0x48(%rbp),%xmm0
movss  -0x44(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  0xbbe(%rip),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
subss  %xmm1,%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm2
addss  -0x8(%rbp),%xmm2
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
call   1060 <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,-0x2c(%rbp)
movss  -0x8(%rbp),%xmm0
movss  -0x4(%rbp),%xmm2
movss  -0x8(%rbp),%xmm1
movss  0xb3e(%rip),%xmm3
mulss  %xmm3,%xmm2
addss  %xmm1,%xmm2
movss  -0xc(%rbp),%xmm1
movss  0xb25(%rip),%xmm3
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
addss  %xmm0,%xmm0
subss  %xmm0,%xmm1
movss  -0xc(%rbp),%xmm0
addss  %xmm0,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %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   1060 <sqrt@plt>
movsd  -0x38(%rbp),%xmm0
cvtsi2sd %eax,%xmm2
movsd  0xa90(%rip),%xmm1
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1040 <atan@plt>
movss  -0x30(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x2c(%rbp),%xmm0
mulss  %xmm2,%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  %xmm0,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x8(%rbp),%xmm0
movss  -0x4(%rbp),%xmm2
movss  -0x8(%rbp),%xmm1
movss  0xa5d(%rip),%xmm3
mulss  %xmm3,%xmm2
addss  %xmm1,%xmm2
movss  -0xc(%rbp),%xmm1
movss  0xa44(%rip),%xmm3
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
addss  %xmm0,%xmm0
subss  %xmm0,%xmm1
movss  -0xc(%rbp),%xmm0
movss  0xa10(%rip),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
subss  %xmm1,%xmm0
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm2
addss  -0x8(%rbp),%xmm2
movss  -0xc(%rbp),%xmm1
addss  %xmm1,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
call   1060 <sqrt@plt>
movsd  -0x28(%rbp),%xmm0
cvtsi2sd %eax,%xmm2
movsd  0x997(%rip),%xmm1
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1040 <atan@plt>
movss  -0x1c(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x18(%rbp),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0x95d(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x10(%rbp),%xmm0
addss  -0x14(%rbp),%xmm0
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<r4>:
push   %rbx
sub    $0xa0,%rsp
movaps %xmm2,0x40(%rsp)
movss  %xmm1,(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,%xmm3
mulss  %xmm1,%xmm3
movaps %xmm3,0x60(%rsp)
subss  %xmm2,%xmm0
movaps %xmm0,0x50(%rsp)
divss  %xmm1,%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
call   1030 <acos@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x60(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,0x20(%rsp)
movss  (%rsp),%xmm0
subss  0x30(%rsp),%xmm0
movaps %xmm0,0x80(%rsp)
addss  0x40(%rsp),%xmm0
mulss  0x50(%rsp),%xmm0
movaps %xmm0,0x60(%rsp)
call   1060 <sqrt@plt>
xorps  %xmm1,%xmm1
cvtsi2ss %eax,%xmm1
movaps 0x30(%rsp),%xmm0
addss  %xmm0,%xmm0
movaps %xmm0,0x10(%rsp)
movaps %xmm0,%xmm3
movss  (%rsp),%xmm0
addss  %xmm0,%xmm3
movaps 0x40(%rsp),%xmm2
addss  %xmm2,%xmm2
movaps %xmm2,0x90(%rsp)
addss  %xmm2,%xmm3
xorps  0xe02(%rip),%xmm3
mulss  %xmm1,%xmm3
movaps %xmm3,0x70(%rsp)
mov    $0x2,%edi
call   1050 <pow@plt>
mov    %eax,%ebx
movss  (%rsp),%xmm0
divss  0x50(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  0xdee(%rip),%xmm0
divsd  %xmm1,%xmm0
call   1030 <acos@plt>
imul   %ebx,%eax
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movaps 0x70(%rsp),%xmm1
subss  %xmm0,%xmm1
xorps  %xmm0,%xmm0
cvtss2sd %xmm1,%xmm0
mulsd  0xdcb(%rip),%xmm0
addsd  0x20(%rsp),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,0x70(%rsp)
movss  0xdbb(%rip),%xmm0
mulss  0x30(%rsp),%xmm0
movss  %xmm0,0x50(%rsp)
movaps 0x60(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x20(%rsp)
movaps 0x60(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  (%rsp),%xmm0
movss  0x20(%rsp),%xmm1
mulss  0x50(%rsp),%xmm1
subss  %xmm0,%xmm1
movss  %xmm1,0x20(%rsp)
movss  0xd68(%rip),%xmm0
mulss  0x40(%rsp),%xmm0
movss  %xmm0,0xc(%rsp)
movaps 0x60(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0xc(%rsp),%xmm0
addss  0x20(%rsp),%xmm0
movss  %xmm0,0xc(%rsp)
movaps 0x40(%rsp),%xmm2
shufps $0x0,%xmm2,%xmm2
movaps 0x30(%rsp),%xmm1
mulps  0xd00(%rip),%xmm2
unpcklps 0x80(%rsp),%xmm1
addps  %xmm1,%xmm2
movaps %xmm2,%xmm0
shufps $0x55,%xmm2,%xmm0
mulss  %xmm2,%xmm0
movaps %xmm0,0x20(%rsp)
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x10(%rsp),%xmm0
addss  0xc(%rsp),%xmm0
movss  %xmm0,0x10(%rsp)
movaps 0x20(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  (%rsp),%xmm0
addss  0x10(%rsp),%xmm0
movss  %xmm0,0x10(%rsp)
movaps 0x20(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0xcb4(%rip),%xmm1
movaps 0x40(%rsp),%xmm2
movaps %xmm2,%xmm3
mulss  %xmm1,%xmm3
mulss  %xmm0,%xmm3
addss  0x10(%rsp),%xmm3
movaps %xmm3,0x10(%rsp)
movaps 0x30(%rsp),%xmm0
mulss  %xmm1,%xmm0
movss  (%rsp),%xmm1
addss  %xmm1,%xmm0
movss  0xc83(%rip),%xmm3
mulss  %xmm2,%xmm3
addss  %xmm0,%xmm3
mulss  %xmm1,%xmm3
movss  %xmm3,0x30(%rsp)
movss  0x50(%rsp),%xmm2
addss  %xmm1,%xmm2
movss  %xmm2,0x50(%rsp)
movaps 0x90(%rsp),%xmm0
addss  %xmm2,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,(%rsp)
movaps 0x60(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
addsd  %xmm0,%xmm0
movsd  (%rsp),%xmm1
divsd  %xmm0,%xmm1
cvttsd2si %xmm1,%edi
call   1040 <atan@plt>
mulss  0x30(%rsp),%xmm0
movaps 0x10(%rsp),%xmm1
addss  %xmm1,%xmm1
subss  %xmm0,%xmm1
movaps %xmm1,0x10(%rsp)
movaps 0x40(%rsp),%xmm0
mulss  0xc04(%rip),%xmm0
addss  0x50(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,0x40(%rsp)
movaps 0x20(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
addsd  %xmm0,%xmm0
movsd  0x40(%rsp),%xmm1
divsd  %xmm0,%xmm1
cvttsd2si %xmm1,%edi
call   1040 <atan@plt>
mulss  0x30(%rsp),%xmm0
addss  0x10(%rsp),%xmm0
mulss  0xbbc(%rip),%xmm0
addss  0x70(%rsp),%xmm0
add    $0xa0,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define float @r4(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* %4
%10 = load float, float* %5
%11 = fmul float %9, %10
%12 = load float, float* %4
%13 = load float, float* %6
%14 = fsub float %12, %13
%15 = load float, float* %5
%16 = fdiv float %14, %15
%17 = call i32 @sqrt(float %16)
%18 = sitofp i32 %17 to double
%19 = call i32 @acos(double %18)
%20 = sitofp i32 %19 to float
%21 = fmul float %11, %20
%22 = fpext float %21 to double
%23 = load float, float* %4
%24 = load float, float* %6
%25 = fsub float %23, %24
%26 = load float, float* %4
%27 = fneg float %26
%28 = load float, float* %5
%29 = fadd float %27, %28
%30 = load float, float* %6
%31 = fadd float %29, %30
%32 = fmul float %25, %31
%33 = call i32 @sqrt(float %32)
%34 = sitofp i32 %33 to float
%35 = load float, float* %4
%36 = load float, float* %5
%37 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %35, float %36)
%38 = load float, float* %6
%39 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %38, float %37)
%40 = fmul float %34, %39
%41 = fneg float %40
%42 = load float, float* %5
%43 = call i32 @pow(float %42, i32 2)
%44 = load float, float* %5
%45 = load float, float* %4
%46 = load float, float* %6
%47 = fsub float %45, %46
%48 = fdiv float %44, %47
%49 = call i32 @sqrt(float %48)
%50 = sitofp i32 %49 to double
%51 = fdiv double 1.000000e+00, %50
%52 = call i32 @acos(double %51)
%53 = mul nsw i32 %43, %52
%54 = sitofp i32 %53 to float
%55 = fsub float %41, %54
%56 = fpext float %55 to double
%57 = fdiv double %56, 4.000000e+00
%58 = fadd double %22, %57
%59 = fptrunc double %58 to float
store float %59, float* %7
%60 = load float, float* %4
%61 = fmul float -2.000000e+00, %60
%62 = load float, float* %4
%63 = load float, float* %6
%64 = fsub float %62, %63
%65 = load float, float* %4
%66 = fneg float %65
%67 = load float, float* %5
%68 = fadd float %66, %67
%69 = load float, float* %6
%70 = fadd float %68, %69
%71 = fmul float %64, %70
%72 = call i32 @sqrt(float %71)
%73 = sitofp i32 %72 to float
%74 = load float, float* %5
%75 = load float, float* %4
%76 = load float, float* %6
%77 = fsub float %75, %76
%78 = load float, float* %4
%79 = fneg float %78
%80 = load float, float* %5
%81 = fadd float %79, %80
%82 = load float, float* %6
%83 = fadd float %81, %82
%84 = fmul float %77, %83
%85 = call i32 @sqrt(float %84)
%86 = sitofp i32 %85 to float
%87 = fmul float %74, %86
%88 = fneg float %87
%89 = call float @llvm.fmuladd.f32(float %61, float %73, float %88)
%90 = load float, float* %6
%91 = fmul float 6.000000e+00, %90
%92 = load float, float* %4
%93 = load float, float* %6
%94 = fsub float %92, %93
%95 = load float, float* %4
%96 = fneg float %95
%97 = load float, float* %5
%98 = fadd float %96, %97
%99 = load float, float* %6
%100 = fadd float %98, %99
%101 = fmul float %94, %100
%102 = call i32 @sqrt(float %101)
%103 = sitofp i32 %102 to float
%104 = call float @llvm.fmuladd.f32(float %91, float %103, float %89)
%105 = load float, float* %4
%106 = fmul float 2.000000e+00, %105
%107 = load float, float* %4
%108 = load float, float* %6
%109 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %108, float %107)
%110 = load float, float* %4
%111 = fneg float %110
%112 = load float, float* %5
%113 = fadd float %111, %112
%114 = load float, float* %6
%115 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %114, float %113)
%116 = fmul float %109, %115
%117 = call i32 @sqrt(float %116)
%118 = sitofp i32 %117 to float
%119 = call float @llvm.fmuladd.f32(float %106, float %118, float %104)
%120 = load float, float* %5
%121 = load float, float* %4
%122 = load float, float* %6
%123 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %122, float %121)
%124 = load float, float* %4
%125 = fneg float %124
%126 = load float, float* %5
%127 = fadd float %125, %126
%128 = load float, float* %6
%129 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %128, float %127)
%130 = fmul float %123, %129
%131 = call i32 @sqrt(float %130)
%132 = sitofp i32 %131 to float
%133 = call float @llvm.fmuladd.f32(float %120, float %132, float %119)
%134 = load float, float* %6
%135 = fmul float 4.000000e+00, %134
%136 = load float, float* %4
%137 = load float, float* %6
%138 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %137, float %136)
%139 = load float, float* %4
%140 = fneg float %139
%141 = load float, float* %5
%142 = fadd float %140, %141
%143 = load float, float* %6
%144 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %143, float %142)
%145 = fmul float %138, %144
%146 = call i32 @sqrt(float %145)
%147 = sitofp i32 %146 to float
%148 = fneg float %135
%149 = call float @llvm.fmuladd.f32(float %148, float %147, float %133)
%150 = load float, float* %5
%151 = load float, float* %4
%152 = load float, float* %5
%153 = call float @llvm.fmuladd.f32(float -4.000000e+00, float %151, float %152)
%154 = load float, float* %6
%155 = call float @llvm.fmuladd.f32(float 8.000000e+00, float %154, float %153)
%156 = fmul float %150, %155
%157 = load float, float* %4
%158 = load float, float* %5
%159 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %157, float %158)
%160 = load float, float* %6
%161 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %160, float %159)
%162 = fpext float %161 to double
%163 = load float, float* %4
%164 = load float, float* %6
%165 = fsub float %163, %164
%166 = load float, float* %4
%167 = fneg float %166
%168 = load float, float* %5
%169 = fadd float %167, %168
%170 = load float, float* %6
%171 = fadd float %169, %170
%172 = fmul float %165, %171
%173 = call i32 @sqrt(float %172)
%174 = sitofp i32 %173 to double
%175 = fmul double 2.000000e+00, %174
%176 = fdiv double %162, %175
%177 = fptosi double %176 to i32
%178 = call float @atan(i32 %177)
%179 = fmul float %156, %178
%180 = fneg float %179
%181 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %149, float %180)
%182 = load float, float* %5
%183 = load float, float* %4
%184 = load float, float* %5
%185 = call float @llvm.fmuladd.f32(float -4.000000e+00, float %183, float %184)
%186 = load float, float* %6
%187 = call float @llvm.fmuladd.f32(float 8.000000e+00, float %186, float %185)
%188 = fmul float %182, %187
%189 = load float, float* %4
%190 = load float, float* %5
%191 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %189, float %190)
%192 = load float, float* %6
%193 = call float @llvm.fmuladd.f32(float 4.000000e+00, float %192, float %191)
%194 = fpext float %193 to double
%195 = load float, float* %4
%196 = load float, float* %6
%197 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %196, float %195)
%198 = load float, float* %4
%199 = fneg float %198
%200 = load float, float* %5
%201 = fadd float %199, %200
%202 = load float, float* %6
%203 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %202, float %201)
%204 = fmul float %197, %203
%205 = call i32 @sqrt(float %204)
%206 = sitofp i32 %205 to double
%207 = fmul double 2.000000e+00, %206
%208 = fdiv double %194, %207
%209 = fptosi double %208 to i32
%210 = call float @atan(i32 %209)
%211 = call float @llvm.fmuladd.f32(float %188, float %210, float %181)
%212 = fpext float %211 to double
%213 = fdiv double %212, 8.000000e+00
%214 = fptrunc double %213 to float
store float %214, float* %8
%215 = load float, float* %7
%216 = load float, float* %8
%217 = fadd float %215, %216
ret float %217
}

LLVM IR (-O2):
define float @r4(float %0, float %1, float %2) {
%4 = fmul float %0, %1
%5 = fsub float %0, %2
%6 = fdiv float %5, %1
%7 = tail call i32 @sqrt(float %6)
%8 = sitofp i32 %7 to double
%9 = tail call i32 @acos(double %8)
%10 = sitofp i32 %9 to float
%11 = fmul float %4, %10
%12 = fpext float %11 to double
%13 = fsub float %1, %0
%14 = fadd float %13, %2
%15 = fmul float %5, %14
%16 = tail call i32 @sqrt(float %15)
%17 = sitofp i32 %16 to float
%18 = tail call float @llvm.fmuladd.f32(float %0, float 2.000000e+00, float %1)
%19 = tail call float @llvm.fmuladd.f32(float %2, float 2.000000e+00, float %18)
%20 = fneg float %19
%21 = fmul float %20, %17
%22 = tail call i32 @pow(float %1, i32 2)
%23 = fdiv float %1, %5
%24 = tail call i32 @sqrt(float %23)
%25 = sitofp i32 %24 to double
%26 = fdiv double 1.000000e+00, %25
%27 = tail call i32 @acos(double %26)
%28 = mul nsw i32 %27, %22
%29 = sitofp i32 %28 to float
%30 = fsub float %21, %29
%31 = fpext float %30 to double
%32 = fmul double %31, 2.500000e-01
%33 = fadd double %32, %12
%34 = fptrunc double %33 to float
%35 = fmul float %0, -2.000000e+00
%36 = tail call i32 @sqrt(float %15)
%37 = sitofp i32 %36 to float
%38 = tail call i32 @sqrt(float %15)
%39 = sitofp i32 %38 to float
%40 = fneg float %39
%41 = fmul float %40, %1
%42 = tail call float @llvm.fmuladd.f32(float %35, float %37, float %41)
%43 = fmul float %2, 6.000000e+00
%44 = tail call i32 @sqrt(float %15)
%45 = sitofp i32 %44 to float
%46 = tail call float @llvm.fmuladd.f32(float %43, float %45, float %42)
%47 = fmul float %0, 2.000000e+00
%48 = insertelement <2 x float> poison, float %2, i64 0
%49 = shufflevector <2 x float> %48, <2 x float> poison, <2 x i32> zeroinitializer
%50 = insertelement <2 x float> poison, float %0, i64 0
%51 = insertelement <2 x float> %50, float %13, i64 1
%52 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %49, <2 x float> <float -2.000000e+00, float 2.000000e+00>, <2 x float> %51)
%53 = shufflevector <2 x float> %52, <2 x float> poison, <2 x i32> <i32 1, i32 undef>
%54 = fmul <2 x float> %52, %53
%55 = extractelement <2 x float> %54, i64 0
%56 = tail call i32 @sqrt(float %55)
%57 = sitofp i32 %56 to float
%58 = tail call float @llvm.fmuladd.f32(float %47, float %57, float %46)
%59 = tail call i32 @sqrt(float %55)
%60 = sitofp i32 %59 to float
%61 = tail call float @llvm.fmuladd.f32(float %1, float %60, float %58)
%62 = tail call i32 @sqrt(float %55)
%63 = sitofp i32 %62 to float
%64 = fmul float %2, -4.000000e+00
%65 = tail call float @llvm.fmuladd.f32(float %64, float %63, float %61)
%66 = tail call float @llvm.fmuladd.f32(float %0, float -4.000000e+00, float %1)
%67 = tail call float @llvm.fmuladd.f32(float %2, float 8.000000e+00, float %66)
%68 = fmul float %67, %1
%69 = tail call float @llvm.fmuladd.f32(float %0, float -2.000000e+00, float %1)
%70 = tail call float @llvm.fmuladd.f32(float %2, float 2.000000e+00, float %69)
%71 = fpext float %70 to double
%72 = tail call i32 @sqrt(float %15)
%73 = sitofp i32 %72 to double
%74 = fmul double %73, 2.000000e+00
%75 = fdiv double %71, %74
%76 = fptosi double %75 to i32
%77 = tail call float @atan(i32 %76)
%78 = fneg float %68
%79 = fmul float %77, %78
%80 = tail call float @llvm.fmuladd.f32(float %65, float 2.000000e+00, float %79)
%81 = tail call float @llvm.fmuladd.f32(float %2, float 4.000000e+00, float %69)
%82 = fpext float %81 to double
%83 = tail call i32 @sqrt(float %55)
%84 = sitofp i32 %83 to double
%85 = fmul double %84, 2.000000e+00
%86 = fdiv double %82, %85
%87 = fptosi double %86 to i32
%88 = tail call float @atan(i32 %87)
%89 = tail call float @llvm.fmuladd.f32(float %68, float %88, float %80)
%90 = fmul float %89, 1.250000e-01
%91 = fadd float %90, %34
ret float %91
}