#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 atan(int);
float pow(float, int);
int sqrt(float);
float r3(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 * (-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):
<r3>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x9c(%rbp)
ff
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   1060 <sqrt@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x98(%rbp)
ff
movss  -0x4(%rbp),%xmm0
mov    $0x3,%edi
call   1050 <pow@plt>
movss  -0x4(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  -0x8(%rbp),%xmm1
mulss  %xmm1,%xmm0
call   1060 <sqrt@plt>
movss  -0x9c(%rbp),%xmm0
ff
movss  -0x98(%rbp),%xmm2
ff
shl    $0x1,%eax
cvtsi2ss %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x90(%rbp)
ff
movss  -0x4(%rbp),%xmm0
mulss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x94(%rbp)
ff
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   1060 <sqrt@plt>
movss  -0x94(%rbp),%xmm0
ff
movss  -0x90(%rbp),%xmm1
ff
cvtsi2ss %eax,%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x88(%rbp)
ff
movss  -0x8(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x8c(%rbp)
ff
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   1060 <sqrt@plt>
movss  -0x8c(%rbp),%xmm0
ff
movss  -0x88(%rbp),%xmm1
ff
cvtsi2ss %eax,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x80(%rbp)
movss  0xd5a(%rip),%xmm0
mulss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x84(%rbp)
ff
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  -0x84(%rbp),%xmm0
ff
movss  -0x80(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x78(%rbp)
movss  0xceb(%rip),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x7c(%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  -0x7c(%rbp),%xmm0
movss  -0x78(%rbp),%xmm1
cvtsi2ss %eax,%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x74(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
movss  0xc5f(%rip),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mulss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x70(%rbp)
movss  -0x4(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
call   1060 <sqrt@plt>
mov    %eax,%edi
call   1040 <asin@plt>
movss  -0x74(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x70(%rbp),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x6c(%rbp)
movss  -0x8(%rbp),%xmm0
movss  -0x4(%rbp),%xmm1
movss  -0x8(%rbp),%xmm2
movss  0xc0e(%rip),%xmm3
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x68(%rbp)
movss  -0x4(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
call   1060 <sqrt@plt>
mov    %eax,%edi
call   1040 <asin@plt>
movss  -0x6c(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x68(%rbp),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xbb1(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  0xbb8(%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  0xb00(%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  0xaa0(%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  0x9c4(%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  0x944(%rip),%xmm3
mulss  %xmm3,%xmm2
addss  %xmm1,%xmm2
movss  -0xc(%rbp),%xmm1
movss  0x92b(%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  0x89e(%rip),%xmm1
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <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  0x863(%rip),%xmm3
mulss  %xmm3,%xmm2
addss  %xmm1,%xmm2
movss  -0xc(%rbp),%xmm1
movss  0x84a(%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  0x816(%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  0x7a5(%rip),%xmm1
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <atan@plt>
movss  -0x1c(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x18(%rbp),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0x76b(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x10(%rbp),%xmm0
addss  -0x14(%rbp),%xmm0
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<r3>:
sub    $0xe8,%rsp
movaps %xmm2,0x60(%rsp)
movaps %xmm1,0x20(%rsp)
movaps %xmm0,%xmm2
movaps %xmm0,0x10(%rsp)
movaps %xmm1,%xmm0
subss  %xmm2,%xmm0
movaps %xmm0,0x40(%rsp)
mulss  %xmm2,%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0xc(%rsp)
movaps 0x10(%rsp),%xmm0
mov    $0x3,%edi
call   1050 <pow@plt>
mulss  0x40(%rsp),%xmm0
call   1060 <sqrt@plt>
add    %eax,%eax
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0xc(%rsp),%xmm1
mulss  0x20(%rsp),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0xc(%rsp)
movaps 0x40(%rsp),%xmm2
movaps 0x60(%rsp),%xmm0
addss  %xmm0,%xmm2
movaps %xmm2,0x50(%rsp)
movaps 0x10(%rsp),%xmm1
subss  %xmm0,%xmm1
movaps %xmm1,0x70(%rsp)
movaps %xmm2,%xmm0
divss  %xmm1,%xmm0
movaps %xmm0,0x30(%rsp)
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movaps 0x10(%rsp),%xmm1
movaps 0x20(%rsp),%xmm2
mulss  %xmm2,%xmm1
mulss  %xmm0,%xmm1
movss  0xc(%rsp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0xc(%rsp)
mulss  0x60(%rsp),%xmm2
movaps %xmm2,0x90(%rsp)
movaps 0x30(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x90(%rsp),%xmm0
addss  0xc(%rsp),%xmm0
movss  %xmm0,0x30(%rsp)
movaps 0x10(%rsp),%xmm0
addss  %xmm0,%xmm0
movaps %xmm0,0x90(%rsp)
movaps 0x50(%rsp),%xmm0
mulss  0x70(%rsp),%xmm0
movaps %xmm0,0x50(%rsp)
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x90(%rsp),%xmm0
movss  0x30(%rsp),%xmm1
subss  %xmm0,%xmm1
movss  %xmm1,0x30(%rsp)
movaps 0x50(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0xd5e(%rip),%xmm2
movss  %xmm2,0xc(%rsp)
movaps 0x60(%rsp),%xmm1
mulss  %xmm2,%xmm1
mulss  %xmm0,%xmm1
addss  0x30(%rsp),%xmm1
movaps %xmm1,0xd0(%rsp)
movaps 0x10(%rsp),%xmm2
movaps %xmm2,%xmm0
mulss  0xd31(%rip),%xmm0
movaps 0x20(%rsp),%xmm1
subss  %xmm1,%xmm0
mulss  %xmm1,%xmm0
movaps %xmm0,0x30(%rsp)
movaps %xmm2,%xmm0
divss  %xmm1,%xmm0
call   1060 <sqrt@plt>
mov    %eax,%edi
call   1040 <asin@plt>
movaps %xmm0,0xb0(%rsp)
movss  0xd00(%rip),%xmm0
movaps 0x10(%rsp),%xmm1
mulss  %xmm0,%xmm1
movaps 0x20(%rsp),%xmm2
addss  %xmm2,%xmm1
movaps %xmm1,0xa0(%rsp)
movaps 0x70(%rsp),%xmm0
divss  %xmm2,%xmm0
call   1060 <sqrt@plt>
mov    %eax,%edi
call   1040 <asin@plt>
movaps %xmm0,0xc0(%rsp)
movss  0xc(%rsp),%xmm0
mulss  0x10(%rsp),%xmm0
movss  %xmm0,0xc(%rsp)
movaps 0x50(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x70(%rsp)
movaps 0x50(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x20(%rsp),%xmm0
movss  0x70(%rsp),%xmm1
mulss  0xc(%rsp),%xmm1
subss  %xmm0,%xmm1
movss  %xmm1,0x70(%rsp)
movss  0xc6f(%rip),%xmm0
mulss  0x60(%rsp),%xmm0
movss  %xmm0,0x8c(%rsp)
movaps 0x50(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x8c(%rsp),%xmm0
addss  0x70(%rsp),%xmm0
movss  %xmm0,0x70(%rsp)
movaps 0x60(%rsp),%xmm1
shufps $0x0,%xmm1,%xmm1
mulps  0xc3e(%rip),%xmm1
movaps 0x10(%rsp),%xmm0
unpcklps 0x40(%rsp),%xmm0
addps  %xmm0,%xmm1
movaps %xmm1,%xmm0
shufps $0x55,%xmm1,%xmm0
mulss  %xmm1,%xmm0
movaps %xmm0,0x10(%rsp)
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x90(%rsp),%xmm0
addss  0x70(%rsp),%xmm0
movss  %xmm0,0x40(%rsp)
movaps 0x10(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x20(%rsp),%xmm0
addss  0x40(%rsp),%xmm0
movss  %xmm0,0x40(%rsp)
movaps 0x10(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movaps 0x60(%rsp),%xmm1
movss  0xba7(%rip),%xmm2
mulss  %xmm1,%xmm2
mulss  %xmm0,%xmm2
addss  0x40(%rsp),%xmm2
movaps 0x30(%rsp),%xmm0
unpcklps %xmm2,%xmm0
movaps %xmm0,0x30(%rsp)
movss  0xb8c(%rip),%xmm0
mulss  %xmm1,%xmm0
movaps %xmm1,%xmm3
movaps 0xa0(%rsp),%xmm1
addss  %xmm1,%xmm0
unpcklps %xmm0,%xmm1
movaps %xmm1,%xmm2
movaps 0x20(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0xc(%rsp)
shufps $0x0,%xmm0,%xmm0
mulps  %xmm2,%xmm0
movaps %xmm0,0x20(%rsp)
movaps %xmm3,%xmm0
addss  %xmm3,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,0x40(%rsp)
movaps 0x50(%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   1030 <atan@plt>
movaps 0x20(%rsp),%xmm1
shufps $0x55,%xmm1,%xmm1
xorps  0xb25(%rip),%xmm1
mulss  %xmm0,%xmm1
movaps 0xd0(%rsp),%xmm0
unpcklps %xmm1,%xmm0
movaps 0xb1f(%rip),%xmm2
movaps 0xb0(%rsp),%xmm1
movss  %xmm1,%xmm2
mulps  0x30(%rsp),%xmm2
addps  %xmm0,%xmm2
movaps %xmm2,0x50(%rsp)
movaps 0x60(%rsp),%xmm0
mulss  0xabd(%rip),%xmm0
addss  0xc(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,0x60(%rsp)
movaps 0x10(%rsp),%xmm0
call   1060 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
addsd  %xmm0,%xmm0
movsd  0x60(%rsp),%xmm1
divsd  %xmm0,%xmm1
cvttsd2si %xmm1,%edi
call   1030 <atan@plt>
movapd 0xc0(%rsp),%xmm1
unpcklps %xmm0,%xmm1
mulps  0x20(%rsp),%xmm1
addps  0x50(%rsp),%xmm1
mulps  0xab4(%rip),%xmm1
movaps %xmm1,%xmm0
shufps $0x55,%xmm1,%xmm0
addss  %xmm1,%xmm0
add    $0xe8,%rsp
ret

LLVM IR (-O0):
define float @r3(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 = fmul float -2.000000e+00, %122
%124 = load float, float* %4
%125 = load float, float* %6
%126 = fsub float %124, %125
%127 = load float, float* %4
%128 = fneg float %127
%129 = load float, float* %5
%130 = fadd float %128, %129
%131 = load float, float* %6
%132 = fadd float %130, %131
%133 = fmul float %126, %132
%134 = call i32 @sqrt(float %133)
%135 = sitofp i32 %134 to float
%136 = load float, float* %5
%137 = load float, float* %4
%138 = load float, float* %6
%139 = fsub float %137, %138
%140 = load float, float* %4
%141 = fneg float %140
%142 = load float, float* %5
%143 = fadd float %141, %142
%144 = load float, float* %6
%145 = fadd float %143, %144
%146 = fmul float %139, %145
%147 = call i32 @sqrt(float %146)
%148 = sitofp i32 %147 to float
%149 = fmul float %136, %148
%150 = fneg float %149
%151 = call float @llvm.fmuladd.f32(float %123, float %135, float %150)
%152 = load float, float* %6
%153 = fmul float 6.000000e+00, %152
%154 = load float, float* %4
%155 = load float, float* %6
%156 = fsub float %154, %155
%157 = load float, float* %4
%158 = fneg float %157
%159 = load float, float* %5
%160 = fadd float %158, %159
%161 = load float, float* %6
%162 = fadd float %160, %161
%163 = fmul float %156, %162
%164 = call i32 @sqrt(float %163)
%165 = sitofp i32 %164 to float
%166 = call float @llvm.fmuladd.f32(float %153, float %165, float %151)
%167 = load float, float* %4
%168 = fmul float 2.000000e+00, %167
%169 = load float, float* %4
%170 = load float, float* %6
%171 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %170, float %169)
%172 = load float, float* %4
%173 = fneg float %172
%174 = load float, float* %5
%175 = fadd float %173, %174
%176 = load float, float* %6
%177 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %176, float %175)
%178 = fmul float %171, %177
%179 = call i32 @sqrt(float %178)
%180 = sitofp i32 %179 to float
%181 = call float @llvm.fmuladd.f32(float %168, float %180, float %166)
%182 = load float, float* %5
%183 = load float, float* %4
%184 = load float, float* %6
%185 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %184, float %183)
%186 = load float, float* %4
%187 = fneg float %186
%188 = load float, float* %5
%189 = fadd float %187, %188
%190 = load float, float* %6
%191 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %190, float %189)
%192 = fmul float %185, %191
%193 = call i32 @sqrt(float %192)
%194 = sitofp i32 %193 to float
%195 = call float @llvm.fmuladd.f32(float %182, float %194, float %181)
%196 = load float, float* %6
%197 = fmul float 4.000000e+00, %196
%198 = load float, float* %4
%199 = load float, float* %6
%200 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %199, float %198)
%201 = load float, float* %4
%202 = fneg float %201
%203 = load float, float* %5
%204 = fadd float %202, %203
%205 = load float, float* %6
%206 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %205, float %204)
%207 = fmul float %200, %206
%208 = call i32 @sqrt(float %207)
%209 = sitofp i32 %208 to float
%210 = fneg float %197
%211 = call float @llvm.fmuladd.f32(float %210, float %209, float %195)
%212 = load float, float* %5
%213 = load float, float* %4
%214 = load float, float* %5
%215 = call float @llvm.fmuladd.f32(float -4.000000e+00, float %213, float %214)
%216 = load float, float* %6
%217 = call float @llvm.fmuladd.f32(float 8.000000e+00, float %216, float %215)
%218 = fmul float %212, %217
%219 = load float, float* %4
%220 = load float, float* %5
%221 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %219, float %220)
%222 = load float, float* %6
%223 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %222, float %221)
%224 = fpext float %223 to double
%225 = load float, float* %4
%226 = load float, float* %6
%227 = fsub float %225, %226
%228 = load float, float* %4
%229 = fneg float %228
%230 = load float, float* %5
%231 = fadd float %229, %230
%232 = load float, float* %6
%233 = fadd float %231, %232
%234 = fmul float %227, %233
%235 = call i32 @sqrt(float %234)
%236 = sitofp i32 %235 to double
%237 = fmul double 2.000000e+00, %236
%238 = fdiv double %224, %237
%239 = fptosi double %238 to i32
%240 = call float @atan(i32 %239)
%241 = fmul float %218, %240
%242 = fneg float %241
%243 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %211, float %242)
%244 = load float, float* %5
%245 = load float, float* %4
%246 = load float, float* %5
%247 = call float @llvm.fmuladd.f32(float -4.000000e+00, float %245, float %246)
%248 = load float, float* %6
%249 = call float @llvm.fmuladd.f32(float 8.000000e+00, float %248, float %247)
%250 = fmul float %244, %249
%251 = load float, float* %4
%252 = load float, float* %5
%253 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %251, float %252)
%254 = load float, float* %6
%255 = call float @llvm.fmuladd.f32(float 4.000000e+00, float %254, float %253)
%256 = fpext float %255 to double
%257 = load float, float* %4
%258 = load float, float* %6
%259 = call float @llvm.fmuladd.f32(float -2.000000e+00, float %258, float %257)
%260 = load float, float* %4
%261 = fneg float %260
%262 = load float, float* %5
%263 = fadd float %261, %262
%264 = load float, float* %6
%265 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %264, float %263)
%266 = fmul float %259, %265
%267 = call i32 @sqrt(float %266)
%268 = sitofp i32 %267 to double
%269 = fmul double 2.000000e+00, %268
%270 = fdiv double %256, %269
%271 = fptosi double %270 to i32
%272 = call float @atan(i32 %271)
%273 = call float @llvm.fmuladd.f32(float %250, float %272, float %243)
%274 = fpext float %273 to double
%275 = fdiv double %274, 8.000000e+00
%276 = fptrunc double %275 to float
store float %276, float* %8
%277 = load float, float* %7
%278 = load float, float* %8
%279 = fadd float %277, %278
ret float %279
}

LLVM IR (-O2):
define float @r3(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 %0, 2.000000e+00
%27 = fmul float %15, %14
%28 = tail call i32 @sqrt(float %27)
%29 = sitofp i32 %28 to float
%30 = fneg float %26
%31 = tail call float @llvm.fmuladd.f32(float %30, float %29, float %25)
%32 = tail call i32 @sqrt(float %27)
%33 = sitofp i32 %32 to float
%34 = fmul float %2, -2.000000e+00
%35 = tail call float @llvm.fmuladd.f32(float %34, float %33, float %31)
%36 = fneg float %1
%37 = tail call float @llvm.fmuladd.f32(float %0, float 4.000000e+00, float %36)
%38 = fmul float %37, %1
%39 = fdiv float %0, %1
%40 = tail call i32 @sqrt(float %39)
%41 = tail call float @asin(i32 %40)
%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 = fmul float %0, -2.000000e+00
%47 = tail call i32 @sqrt(float %27)
%48 = sitofp i32 %47 to float
%49 = tail call i32 @sqrt(float %27)
%50 = sitofp i32 %49 to float
%51 = fneg float %50
%52 = fmul float %51, %1
%53 = tail call float @llvm.fmuladd.f32(float %46, float %48, float %52)
%54 = fmul float %2, 6.000000e+00
%55 = tail call i32 @sqrt(float %27)
%56 = sitofp i32 %55 to float
%57 = tail call float @llvm.fmuladd.f32(float %54, float %56, float %53)
%58 = insertelement <2 x float> poison, float %2, i64 0
%59 = shufflevector <2 x float> %58, <2 x float> poison, <2 x i32> zeroinitializer
%60 = insertelement <2 x float> poison, float %0, i64 0
%61 = insertelement <2 x float> %60, float %4, i64 1
%62 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %59, <2 x float> <float -2.000000e+00, float 2.000000e+00>, <2 x float> %61)
%63 = shufflevector <2 x float> %62, <2 x float> poison, <2 x i32> <i32 1, i32 undef>
%64 = fmul <2 x float> %62, %63
%65 = extractelement <2 x float> %64, i64 0
%66 = tail call i32 @sqrt(float %65)
%67 = sitofp i32 %66 to float
%68 = tail call float @llvm.fmuladd.f32(float %26, float %67, float %57)
%69 = tail call i32 @sqrt(float %65)
%70 = sitofp i32 %69 to float
%71 = tail call float @llvm.fmuladd.f32(float %1, float %70, float %68)
%72 = tail call i32 @sqrt(float %65)
%73 = sitofp i32 %72 to float
%74 = fmul float %2, -4.000000e+00
%75 = tail call float @llvm.fmuladd.f32(float %74, float %73, float %71)
%76 = tail call float @llvm.fmuladd.f32(float %2, float 8.000000e+00, float %42)
%77 = insertelement <2 x float> poison, float %42, i64 0
%78 = insertelement <2 x float> %77, float %76, i64 1
%79 = insertelement <2 x float> poison, float %1, i64 0
%80 = shufflevector <2 x float> %79, <2 x float> poison, <2 x i32> zeroinitializer
%81 = fmul <2 x float> %78, %80
%82 = tail call float @llvm.fmuladd.f32(float %0, float -2.000000e+00, float %1)
%83 = tail call float @llvm.fmuladd.f32(float %2, float 2.000000e+00, float %82)
%84 = fpext float %83 to double
%85 = tail call i32 @sqrt(float %27)
%86 = sitofp i32 %85 to double
%87 = fmul double %86, 2.000000e+00
%88 = fdiv double %84, %87
%89 = fptosi double %88 to i32
%90 = tail call float @atan(i32 %89)
%91 = extractelement <2 x float> %81, i64 1
%92 = fneg float %91
%93 = fmul float %90, %92
%94 = insertelement <2 x float> poison, float %38, i64 0
%95 = insertelement <2 x float> %94, float %75, i64 1
%96 = insertelement <2 x float> <float poison, float 2.000000e+00>, float %41, i64 0
%97 = insertelement <2 x float> poison, float %35, i64 0
%98 = insertelement <2 x float> %97, float %93, i64 1
%99 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %95, <2 x float> %96, <2 x float> %98)
%100 = tail call float @llvm.fmuladd.f32(float %2, float 4.000000e+00, float %82)
%101 = fpext float %100 to double
%102 = tail call i32 @sqrt(float %65)
%103 = sitofp i32 %102 to double
%104 = fmul double %103, 2.000000e+00
%105 = fdiv double %101, %104
%106 = fptosi double %105 to i32
%107 = tail call float @atan(i32 %106)
%108 = insertelement <2 x float> poison, float %45, i64 0
%109 = insertelement <2 x float> %108, float %107, i64 1
%110 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %81, <2 x float> %109, <2 x float> %99)
%111 = fmul <2 x float> %110, <float 2.500000e-01, float 1.250000e-01>
%112 = shufflevector <2 x float> %111, <2 x float> poison, <2 x i32> <i32 1, i32 undef>
%113 = fadd <2 x float> %111, %112
%114 = extractelement <2 x float> %113, i64 0
ret float %114
}