#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 */
double asin(double);
double atan22(double, double);
double cos(double);
double epsilon(double);
double range(double);
double rangerad(double);
double sin(double);
double sqrt(double);
void libration(double day, double lambda, double beta, double alpha, double *l,
               double *b, double *p) {
  double i, f, omega, w, y, x, a, t, eps;
  t = day / 36525;
  i = 1.54242 * 0.0174532925199433;
  eps = epsilon(day);
  f = range(93.2720993 + 483202.0175273 * t - .0034029 * t * t) *
      0.0174532925199433;
  omega = range(125.044555 - 1934.1361849 * t + .0020762 * t * t) *
          0.0174532925199433;
  w = lambda - omega;
  y = sin(w) * cos(beta) * cos(i) - sin(beta) * sin(i);
  x = cos(w) * cos(beta);
  a = atan22(y, x);
  *l = a - f;
  if (*l < -90 * 0.0174532925199433)
    *l += 6.28318530717959;
  if (*l > 90 * 0.0174532925199433)
    *l -= 6.28318530717959;
  *b = asin(-sin(w) * cos(beta) * sin(i) - sin(beta) * cos(i));
  x = sin(i) * sin(omega);
  y = sin(i) * cos(omega) * cos(eps) - cos(i) * sin(eps);
  w = atan22(x, y);
  *p = rangerad(asin(sqrt(x * x + y * y) * cos(alpha - w) / cos(*b)));
}


x86 assembly (clang, -O0):
<libration>:
push   %rbp
mov    %rsp,%rbp
sub    $0x100,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
mov    %rdi,-0x28(%rbp)
mov    %rsi,-0x30(%rbp)
mov    %rdx,-0x38(%rbp)
movsd  -0x8(%rbp),%xmm0
movsd  0xe90(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  0xe77(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x8(%rbp),%xmm0
call   10a0 <epsilon@plt>
movsd  %xmm0,-0x80(%rbp)
movsd  -0x78(%rbp),%xmm1
movsd  0xe46(%rip),%xmm0
mulsd  %xmm0,%xmm1
movsd  0xe42(%rip),%xmm0
addsd  %xmm0,%xmm1
movsd  0xe26(%rip),%xmm0
mulsd  -0x78(%rbp),%xmm0
movsd  -0x78(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1050 <range@plt>
movsd  0xdd0(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x78(%rbp),%xmm1
movsd  0xdca(%rip),%xmm0
mulsd  %xmm0,%xmm1
movsd  0xdc6(%rip),%xmm0
addsd  %xmm0,%xmm1
movsd  0xdaa(%rip),%xmm0
mulsd  -0x78(%rbp),%xmm0
movsd  -0x78(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1050 <range@plt>
movsd  0xd83(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x10(%rbp),%xmm0
subsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1070 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0xa8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
call   1070 <cos@plt>
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
call   1030 <sin@plt>
movsd  -0xa0(%rbp),%xmm1
ff
movsd  -0x98(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0x90(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x58(%rbp),%xmm0
call   1070 <cos@plt>
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1070 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0x88(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x60(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm1
call   1080 <atan22@plt>
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
subsd  -0x48(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x28(%rbp),%rax
movsd  0xc5d(%rip),%xmm0
ucomisd (%rax),%xmm0
jbe    13c1 <libration+0x241>
mov    -0x28(%rbp),%rax
movsd  0xc97(%rip),%xmm0
addsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0xc87(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    13f3 <libration+0x273>
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0xc65(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rax)
movsd  -0x58(%rbp),%xmm0
call   1030 <sin@plt>
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1070 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0x100(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
call   1070 <cos@plt>
movsd  -0xf8(%rbp),%xmm1
ff
movsd  -0xf0(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0xe8(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1040 <asin@plt>
mov    -0x30(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x40(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
call   1030 <sin@plt>
movaps %xmm0,%xmm1
movsd  -0xe0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x40(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
call   1070 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0xd8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
call   1070 <cos@plt>
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
call   1070 <cos@plt>
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
call   1030 <sin@plt>
movsd  -0xd0(%rbp),%xmm1
ff
movsd  -0xc8(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0xc0(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm1
call   1080 <atan22@plt>
movsd  %xmm0,-0x58(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  -0x60(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1090 <sqrt@plt>
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
subsd  -0x58(%rbp),%xmm0
call   1070 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0xb8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
mov    -0x30(%rbp),%rax
movsd  (%rax),%xmm0
call   1070 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0xb0(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
call   1040 <asin@plt>
call   1060 <rangerad@plt>
mov    -0x38(%rbp),%rax
movsd  %xmm0,(%rax)
add    $0x100,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<libration>:
push   %r15
push   %r14
push   %rbx
sub    $0x40,%rsp
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%rbx
movsd  %xmm3,0x38(%rsp)
movsd  %xmm2,(%rsp)
movsd  %xmm1,0x8(%rsp)
movapd %xmm0,%xmm1
divsd  0xe51(%rip),%xmm1
movsd  %xmm1,0x10(%rsp)
call   10a0 <epsilon@plt>
movsd  %xmm0,0x20(%rsp)
movsd  0xe40(%rip),%xmm1
movsd  0x10(%rsp),%xmm2
mulsd  %xmm2,%xmm1
addsd  0xe36(%rip),%xmm1
movsd  0xe36(%rip),%xmm0
mulsd  %xmm2,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1050 <range@plt>
mulsd  0xe25(%rip),%xmm0
movsd  %xmm0,0x30(%rsp)
movsd  0xe1f(%rip),%xmm1
movsd  0x10(%rsp),%xmm2
mulsd  %xmm2,%xmm1
addsd  0xe15(%rip),%xmm1
movsd  0xe15(%rip),%xmm0
mulsd  %xmm2,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1050 <range@plt>
movapd %xmm0,%xmm1
mulsd  0xde0(%rip),%xmm1
movsd  %xmm1,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,0x8(%rsp)
call   1030 <sin@plt>
movsd  %xmm0,0x18(%rsp)
movsd  (%rsp),%xmm0
call   1070 <cos@plt>
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x18(%rsp)
movsd  (%rsp),%xmm0
call   1030 <sin@plt>
mulsd  0xdb7(%rip),%xmm0
movsd  0x18(%rsp),%xmm1
mulsd  0xdb1(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,0x18(%rsp)
movsd  0x8(%rsp),%xmm0
call   1070 <cos@plt>
movsd  %xmm0,0x28(%rsp)
movsd  (%rsp),%xmm0
call   1070 <cos@plt>
movsd  0x28(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movsd  0x18(%rsp),%xmm0
call   1080 <atan22@plt>
subsd  0x30(%rsp),%xmm0
movsd  0xd71(%rip),%xmm1
movapd %xmm0,%xmm2
cmpltsd 0xd6c(%rip),%xmm2
addsd  %xmm0,%xmm1
andpd  %xmm2,%xmm1
andnpd %xmm0,%xmm2
orpd   %xmm1,%xmm2
movsd  0xd5c(%rip),%xmm0
addsd  %xmm2,%xmm0
movsd  0xd58(%rip),%xmm1
cmpltsd %xmm2,%xmm1
andpd  %xmm1,%xmm0
andnpd %xmm2,%xmm1
orpd   %xmm0,%xmm1
movlpd %xmm1,(%rbx)
movsd  0x8(%rsp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,0x8(%rsp)
movsd  (%rsp),%xmm0
call   1070 <cos@plt>
mulsd  0x8(%rsp),%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  (%rsp),%xmm0
call   1030 <sin@plt>
mulsd  0xd12(%rip),%xmm0
movsd  0x8(%rsp),%xmm1
mulsd  0xcd4(%rip),%xmm1
addsd  %xmm1,%xmm0
call   1040 <asin@plt>
movsd  %xmm0,(%r15)
movsd  0x10(%rsp),%xmm0
call   1030 <sin@plt>
mulsd  0xceb(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0x10(%rsp),%xmm0
call   1070 <cos@plt>
mulsd  0xcd2(%rip),%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0x20(%rsp),%xmm0
call   1070 <cos@plt>
movsd  %xmm0,(%rsp)
movsd  0x20(%rsp),%xmm0
call   1030 <sin@plt>
mulsd  0xca1(%rip),%xmm0
movsd  (%rsp),%xmm1
mulsd  0x10(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movsd  0x8(%rsp),%xmm0
call   1080 <atan22@plt>
movapd %xmm0,%xmm2
movsd  (%rsp),%xmm0
mulsd  %xmm0,%xmm0
movsd  0x8(%rsp),%xmm1
mulsd  %xmm1,%xmm1
addsd  %xmm0,%xmm1
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm1
movapd %xmm1,%xmm0
jb     141d <libration+0x29d>
sqrtsd %xmm0,%xmm0
jmp    142e <libration+0x2ae>
movsd  %xmm2,0x8(%rsp)
call   1090 <sqrt@plt>
movsd  0x8(%rsp),%xmm2
movsd  %xmm0,(%rsp)
movsd  0x38(%rsp),%xmm0
subsd  %xmm2,%xmm0
call   1070 <cos@plt>
mulsd  (%rsp),%xmm0
movsd  %xmm0,(%rsp)
movsd  (%r15),%xmm0
call   1070 <cos@plt>
movsd  (%rsp),%xmm1
divsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
call   1040 <asin@plt>
call   1060 <rangerad@plt>
movsd  %xmm0,(%r14)
add    $0x40,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @libration(double %0, double %1, double %2, double %3, double* %4, double* %5, double* %6) {
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double*
%13 = alloca double*
%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
store double %0, double* %8
store double %1, double* %9
store double %2, double* %10
store double %3, double* %11
store double* %4, double** %12
store double* %5, double** %13
store double* %6, double** %14
%24 = load double, double* %8
%25 = fdiv double %24, 3.652500e+04
store double %25, double* %22
store double 0x3F9B90FF405C35DB, double* %15
%26 = load double, double* %8
%27 = call double @epsilon(double %26)
store double %27, double* %23
%28 = load double, double* %22
%29 = call double @llvm.fmuladd.f64(double 0x411D7E0811F2AD31, double %28, double 0x4057516A132EB0ED)
%30 = load double, double* %22
%31 = fmul double 3.402900e-03, %30
%32 = load double, double* %22
%33 = fneg double %31
%34 = call double @llvm.fmuladd.f64(double %33, double %32, double %29)
%35 = call double @range(double %34)
%36 = fmul double %35, 0x3F91DF46A2529D3A
store double %36, double* %16
%37 = load double, double* %22
%38 = call double @llvm.fmuladd.f64(double 0xC09E388B740DEED6, double %37, double 0x405F42D9FD36F7E4)
%39 = load double, double* %22
%40 = fmul double 2.076200e-03, %39
%41 = load double, double* %22
%42 = call double @llvm.fmuladd.f64(double %40, double %41, double %38)
%43 = call double @range(double %42)
%44 = fmul double %43, 0x3F91DF46A2529D3A
store double %44, double* %17
%45 = load double, double* %9
%46 = load double, double* %17
%47 = fsub double %45, %46
store double %47, double* %18
%48 = load double, double* %18
%49 = call double @sin(double %48)
%50 = load double, double* %10
%51 = call double @cos(double %50)
%52 = fmul double %49, %51
%53 = load double, double* %15
%54 = call double @cos(double %53)
%55 = load double, double* %10
%56 = call double @sin(double %55)
%57 = load double, double* %15
%58 = call double @sin(double %57)
%59 = fmul double %56, %58
%60 = fneg double %59
%61 = call double @llvm.fmuladd.f64(double %52, double %54, double %60)
store double %61, double* %19
%62 = load double, double* %18
%63 = call double @cos(double %62)
%64 = load double, double* %10
%65 = call double @cos(double %64)
%66 = fmul double %63, %65
store double %66, double* %20
%67 = load double, double* %19
%68 = load double, double* %20
%69 = call double @atan22(double %67, double %68)
store double %69, double* %21
%70 = load double, double* %21
%71 = load double, double* %16
%72 = fsub double %70, %71
%73 = load double*, double** %12
store double %72, double* %73
%74 = load double*, double** %12
%75 = load double, double* %74
%76 = fcmp olt double %75, 0xBFF921FB54442D1A
br i1 %76, label %77, label %81
77: ; preds = %7
%78 = load double*, double** %12
%79 = load double, double* %78
%80 = fadd double %79, 0x401921FB54442D1C
store double %80, double* %78
br label %81
81: ; preds = %77, %7
%82 = load double*, double** %12
%83 = load double, double* %82
%84 = fcmp ogt double %83, 0x3FF921FB54442D1A
br i1 %84, label %85, label %89
85: ; preds = %81
%86 = load double*, double** %12
%87 = load double, double* %86
%88 = fsub double %87, 0x401921FB54442D1C
store double %88, double* %86
br label %89
89: ; preds = %85, %81
%90 = load double, double* %18
%91 = call double @sin(double %90)
%92 = fneg double %91
%93 = load double, double* %10
%94 = call double @cos(double %93)
%95 = fmul double %92, %94
%96 = load double, double* %15
%97 = call double @sin(double %96)
%98 = load double, double* %10
%99 = call double @sin(double %98)
%100 = load double, double* %15
%101 = call double @cos(double %100)
%102 = fmul double %99, %101
%103 = fneg double %102
%104 = call double @llvm.fmuladd.f64(double %95, double %97, double %103)
%105 = call double @asin(double %104)
%106 = load double*, double** %13
store double %105, double* %106
%107 = load double, double* %15
%108 = call double @sin(double %107)
%109 = load double, double* %17
%110 = call double @sin(double %109)
%111 = fmul double %108, %110
store double %111, double* %20
%112 = load double, double* %15
%113 = call double @sin(double %112)
%114 = load double, double* %17
%115 = call double @cos(double %114)
%116 = fmul double %113, %115
%117 = load double, double* %23
%118 = call double @cos(double %117)
%119 = load double, double* %15
%120 = call double @cos(double %119)
%121 = load double, double* %23
%122 = call double @sin(double %121)
%123 = fmul double %120, %122
%124 = fneg double %123
%125 = call double @llvm.fmuladd.f64(double %116, double %118, double %124)
store double %125, double* %19
%126 = load double, double* %20
%127 = load double, double* %19
%128 = call double @atan22(double %126, double %127)
store double %128, double* %18
%129 = load double, double* %20
%130 = load double, double* %20
%131 = load double, double* %19
%132 = load double, double* %19
%133 = fmul double %131, %132
%134 = call double @llvm.fmuladd.f64(double %129, double %130, double %133)
%135 = call double @sqrt(double %134)
%136 = load double, double* %11
%137 = load double, double* %18
%138 = fsub double %136, %137
%139 = call double @cos(double %138)
%140 = fmul double %135, %139
%141 = load double*, double** %13
%142 = load double, double* %141
%143 = call double @cos(double %142)
%144 = fdiv double %140, %143
%145 = call double @asin(double %144)
%146 = call double @rangerad(double %145)
%147 = load double*, double** %14
store double %146, double* %147
ret void
}

LLVM IR (-O2):
define void @libration(double %0, double %1, double %2, double %3, double* nocapture writeonly %4, double* nocapture %5, double* nocapture writeonly %6) {
%8 = fdiv double %0, 3.652500e+04
%9 = tail call double @epsilon(double %0)
%10 = tail call double @llvm.fmuladd.f64(double %8, double 0x411D7E0811F2AD31, double 0x4057516A132EB0ED)
%11 = fmul double %8, -3.402900e-03
%12 = tail call double @llvm.fmuladd.f64(double %11, double %8, double %10)
%13 = tail call double @range(double %12)
%14 = fmul double %13, 0x3F91DF46A2529D3A
%15 = tail call double @llvm.fmuladd.f64(double %8, double 0xC09E388B740DEED6, double 0x405F42D9FD36F7E4)
%16 = fmul double %8, 2.076200e-03
%17 = tail call double @llvm.fmuladd.f64(double %16, double %8, double %15)
%18 = tail call double @range(double %17)
%19 = fmul double %18, 0x3F91DF46A2529D3A
%20 = fsub double %1, %19
%21 = tail call double @sin(double %20)
%22 = tail call double @cos(double %2)
%23 = fmul double %21, %22
%24 = tail call double @sin(double %2)
%25 = fmul double %24, 0xBF9B90250D644369
%26 = tail call double @llvm.fmuladd.f64(double %23, double 0x3FEFFD0823C7CA21, double %25)
%27 = tail call double @cos(double %20)
%28 = tail call double @cos(double %2)
%29 = fmul double %27, %28
%30 = tail call double @atan22(double %26, double %29)
%31 = fsub double %30, %14
%32 = fcmp olt double %31, 0xBFF921FB54442D1A
%33 = fadd double %31, 0x401921FB54442D1C
%34 = select i1 %32, double %33, double %31
%35 = fcmp ogt double %34, 0x3FF921FB54442D1A
%36 = fadd double %34, 0xC01921FB54442D1C
%37 = select i1 %35, double %36, double %34
store double %37, double* %4
%38 = tail call double @sin(double %20)
%39 = fneg double %38
%40 = tail call double @cos(double %2)
%41 = fmul double %40, %39
%42 = tail call double @sin(double %2)
%43 = fmul double %42, 0xBFEFFD0823C7CA21
%44 = tail call double @llvm.fmuladd.f64(double %41, double 0x3F9B90250D644369, double %43)
%45 = tail call double @asin(double %44)
store double %45, double* %5
%46 = tail call double @sin(double %19)
%47 = fmul double %46, 0x3F9B90250D644369
%48 = tail call double @cos(double %19)
%49 = fmul double %48, 0x3F9B90250D644369
%50 = tail call double @cos(double %9)
%51 = tail call double @sin(double %9)
%52 = fmul double %51, 0xBFEFFD0823C7CA21
%53 = tail call double @llvm.fmuladd.f64(double %49, double %50, double %52)
%54 = tail call double @atan22(double %47, double %53)
%55 = fmul double %53, %53
%56 = tail call double @llvm.fmuladd.f64(double %47, double %47, double %55)
%57 = tail call double @sqrt(double %56)
%58 = fsub double %3, %54
%59 = tail call double @cos(double %58)
%60 = fmul double %57, %59
%61 = load double, double* %5
%62 = tail call double @cos(double %61)
%63 = fdiv double %60, %62
%64 = tail call double @asin(double %63)
%65 = tail call double @rangerad(double %64)
store double %65, double* %6
ret void
}