#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 atan(double);
double cos(double);
double sin(double);
double sqrt(int);
void satrings(double sb, double sl, double sr, double el, double er, double JD,
              double *etiltp, double *stiltp) {
  double t, i, om;
  double x, y, z;
  double la, be;
  double s, b, sp, bp;
  t = (JD - 2451545.) / 365250.;
  i = ((28.04922 - .13 * t + .0004 * t * t) * 3.141592653589793 / 180.);
  om = ((169.53 + 13.826 * t + .04 * t * t) * 3.141592653589793 / 180.);
  x = sr * cos(sb) * cos(sl) - er * cos(el);
  y = sr * cos(sb) * sin(sl) - er * sin(el);
  z = sr * sin(sb);
  la = atan(y / x);
  if (x < 0)
    la += 3.141592653589793;
  be = atan(z / sqrt(x * x + y * y));
  s = sin(i) * cos(be) * sin(la - om) - cos(i) * sin(be);
  b = atan(s / sqrt(1. - s * s));
  sp = sin(i) * cos(sb) * sin(sl - om) - cos(i) * sin(sb);
  bp = atan(sp / sqrt(1. - sp * sp));
  *etiltp = b;
  *stiltp = bp;
}


x86 assembly (clang, -O0):
<satrings>:
push   %rbp
mov    %rsp,%rbp
sub    $0x140,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  %xmm5,-0x30(%rbp)
mov    %rdi,-0x38(%rbp)
mov    %rsi,-0x40(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  0xeca(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xeb6(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm1
movsd  0xe90(%rip),%xmm0
mulsd  %xmm0,%xmm1
movsd  0xe8c(%rip),%xmm0
addsd  %xmm0,%xmm1
movsd  0xe70(%rip),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xe36(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe22(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x48(%rbp),%xmm1
movsd  0xe24(%rip),%xmm0
mulsd  %xmm0,%xmm1
movsd  0xe20(%rip),%xmm0
addsd  %xmm0,%xmm1
movsd  0xe04(%rip),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xde2(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xdce(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
call   1050 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0xe8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
call   1050 <cos@plt>
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
call   1050 <cos@plt>
movsd  -0xe0(%rbp),%xmm1
ff
movsd  -0xd8(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0xd0(%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  -0x18(%rbp),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
call   1050 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0xc8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
call   1030 <sin@plt>
movsd  -0xc0(%rbp),%xmm1
ff
movsd  -0xb8(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0xb0(%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,-0x68(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
call   1030 <sin@plt>
movaps %xmm0,%xmm1
movsd  -0xa8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x68(%rbp),%xmm0
divsd  -0x60(%rbp),%xmm0
call   1040 <atan@plt>
movsd  %xmm0,-0x78(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x60(%rbp),%xmm0
jbe    13ce <satrings+0x28e>
movsd  0xc44(%rip),%xmm0
addsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x140(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm2
movsd  -0x68(%rbp),%xmm1
mulsd  -0x68(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1060 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x140(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
call   1040 <atan@plt>
movsd  %xmm0,-0x80(%rbp)
movsd  -0x50(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0x138(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
call   1050 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0x138(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x120(%rbp)
ff
movsd  -0x78(%rbp),%xmm0
subsd  -0x58(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0x128(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
call   1050 <cos@plt>
movsd  %xmm0,-0x130(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
call   1030 <sin@plt>
movsd  -0x130(%rbp),%xmm1
ff
movsd  -0x128(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0x120(%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,-0x88(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x118(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  -0x88(%rbp),%xmm1
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xb48(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1060 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x118(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
call   1040 <atan@plt>
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0x110(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
call   1050 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0x110(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
subsd  -0x58(%rbp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
call   1050 <cos@plt>
movsd  %xmm0,-0x108(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
call   1030 <sin@plt>
movsd  -0x108(%rbp),%xmm1
ff
movsd  -0x100(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0xf8(%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,-0x98(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
movsd  -0x98(%rbp),%xmm1
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xa30(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1060 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0xf0(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
call   1040 <atan@plt>
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x90(%rbp),%xmm0
ff
mov    -0x38(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0xa0(%rbp),%xmm0
ff
mov    -0x40(%rbp),%rax
movsd  %xmm0,(%rax)
add    $0x140,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<satrings>:
push   %r14
push   %rbx
sub    $0x58,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
movsd  %xmm4,0x10(%rsp)
movsd  %xmm3,0x40(%rsp)
movsd  %xmm2,0x18(%rsp)
movsd  %xmm1,0x30(%rsp)
movsd  %xmm0,0x28(%rsp)
addsd  0xe8d(%rip),%xmm5
divsd  0xe8d(%rip),%xmm5
movsd  0xe8d(%rip),%xmm1
mulsd  %xmm5,%xmm1
addsd  0xe89(%rip),%xmm1
movsd  0xe89(%rip),%xmm3
mulsd  %xmm5,%xmm3
mulsd  %xmm5,%xmm3
addsd  %xmm1,%xmm3
movsd  0xe7d(%rip),%xmm1
mulsd  %xmm1,%xmm3
movapd %xmm1,%xmm4
movsd  0xe75(%rip),%xmm2
divsd  %xmm2,%xmm3
movsd  %xmm3,0x20(%rsp)
movsd  0xe6b(%rip),%xmm1
mulsd  %xmm5,%xmm1
addsd  0xe67(%rip),%xmm1
movsd  0xe67(%rip),%xmm3
mulsd  %xmm5,%xmm3
mulsd  %xmm5,%xmm3
addsd  %xmm1,%xmm3
mulsd  %xmm4,%xmm3
divsd  %xmm2,%xmm3
movsd  %xmm3,0x38(%rsp)
call   1050 <cos@plt>
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0x30(%rsp),%xmm0
call   1050 <cos@plt>
movsd  %xmm0,(%rsp)
movsd  0x40(%rsp),%xmm0
call   1050 <cos@plt>
mulsd  0x10(%rsp),%xmm0
movsd  (%rsp),%xmm1
mulsd  0x8(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movsd  0x28(%rsp),%xmm0
call   1050 <cos@plt>
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x50(%rsp)
movsd  0x30(%rsp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,0x8(%rsp)
movsd  0x40(%rsp),%xmm0
call   1030 <sin@plt>
mulsd  0x10(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
mulsd  0x50(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0x28(%rsp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
divsd  (%rsp),%xmm0
call   1040 <atan@plt>
movsd  0xd6f(%rip),%xmm2
addsd  %xmm0,%xmm2
xorpd  %xmm1,%xmm1
movsd  (%rsp),%xmm3
movapd %xmm3,%xmm4
cmpltsd %xmm1,%xmm4
movapd %xmm4,%xmm1
andnpd %xmm0,%xmm1
andpd  %xmm2,%xmm4
orpd   %xmm1,%xmm4
movapd %xmm4,0x40(%rsp)
movsd  0x10(%rsp),%xmm0
mulsd  0x18(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0x8(%rsp),%xmm1
mulsd  %xmm1,%xmm1
movapd %xmm3,%xmm0
mulsd  %xmm3,%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1060 <sqrt@plt>
movsd  0x10(%rsp),%xmm1
divsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
call   1040 <atan@plt>
movsd  %xmm0,0x8(%rsp)
movsd  0x20(%rsp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,(%rsp)
movsd  0x8(%rsp),%xmm0
call   1050 <cos@plt>
mulsd  (%rsp),%xmm0
movsd  %xmm0,0x18(%rsp)
movapd 0x40(%rsp),%xmm0
subsd  0x38(%rsp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,(%rsp)
movsd  0x20(%rsp),%xmm0
call   1050 <cos@plt>
movsd  %xmm0,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
call   1030 <sin@plt>
mulsd  0x10(%rsp),%xmm0
movsd  (%rsp),%xmm1
mulsd  0x18(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movapd %xmm1,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xc9f(%rip),%xmm1
subsd  %xmm0,%xmm1
cvttsd2si %xmm1,%edi
call   1060 <sqrt@plt>
movsd  (%rsp),%xmm1
divsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
call   1040 <atan@plt>
movsd  %xmm0,0x8(%rsp)
movsd  0x20(%rsp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,(%rsp)
movsd  0x28(%rsp),%xmm0
call   1050 <cos@plt>
mulsd  (%rsp),%xmm0
movsd  %xmm0,0x18(%rsp)
movsd  0x30(%rsp),%xmm0
subsd  0x38(%rsp),%xmm0
call   1030 <sin@plt>
movsd  %xmm0,(%rsp)
movsd  0x20(%rsp),%xmm0
call   1050 <cos@plt>
movsd  %xmm0,0x20(%rsp)
movsd  0x28(%rsp),%xmm0
call   1030 <sin@plt>
mulsd  0x20(%rsp),%xmm0
movsd  (%rsp),%xmm1
mulsd  0x18(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movapd %xmm1,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xbf8(%rip),%xmm1
subsd  %xmm0,%xmm1
cvttsd2si %xmm1,%edi
call   1060 <sqrt@plt>
movsd  (%rsp),%xmm1
divsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
call   1040 <atan@plt>
movsd  0x8(%rsp),%xmm1
movsd  %xmm1,(%rbx)
movsd  %xmm0,(%r14)
add    $0x58,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define void @satrings(double %0, double %1, double %2, double %3, double %4, double %5, double* nocapture writeonly %6, double* nocapture writeonly %7) {
%9 = fadd double %5, 0xC142B42C80000000
%10 = fdiv double %9, 3.652500e+05
%11 = tail call double @llvm.fmuladd.f64(double %10, double -1.300000e-01, double 0x403C0C99AE924F22)
%12 = fmul double %10, 4.000000e-04
%13 = tail call double @llvm.fmuladd.f64(double %12, double %10, double %11)
%14 = fmul double %13, 0x400921FB54442D18
%15 = fdiv double %14, 1.800000e+02
%16 = tail call double @llvm.fmuladd.f64(double %10, double 1.382600e+01, double 1.695300e+02)
%17 = fmul double %10, 4.000000e-02
%18 = tail call double @llvm.fmuladd.f64(double %17, double %10, double %16)
%19 = fmul double %18, 0x400921FB54442D18
%20 = fdiv double %19, 1.800000e+02
%21 = tail call double @cos(double %0)
%22 = fmul double %21, %2
%23 = tail call double @cos(double %1)
%24 = tail call double @cos(double %3)
%25 = fneg double %24
%26 = fmul double %25, %4
%27 = tail call double @llvm.fmuladd.f64(double %22, double %23, double %26)
%28 = tail call double @cos(double %0)
%29 = fmul double %28, %2
%30 = tail call double @sin(double %1)
%31 = tail call double @sin(double %3)
%32 = fneg double %31
%33 = fmul double %32, %4
%34 = tail call double @llvm.fmuladd.f64(double %29, double %30, double %33)
%35 = tail call double @sin(double %0)
%36 = fdiv double %34, %27
%37 = tail call double @atan(double %36)
%38 = fcmp olt double %27, 0.000000e+00
%39 = fadd double %37, 0x400921FB54442D18
%40 = select i1 %38, double %39, double %37
%41 = fmul double %35, %2
%42 = fmul double %34, %34
%43 = tail call double @llvm.fmuladd.f64(double %27, double %27, double %42)
%44 = fptosi double %43 to i32
%45 = tail call double @sqrt(i32 %44)
%46 = fdiv double %41, %45
%47 = tail call double @atan(double %46)
%48 = tail call double @sin(double %15)
%49 = tail call double @cos(double %47)
%50 = fmul double %48, %49
%51 = fsub double %40, %20
%52 = tail call double @sin(double %51)
%53 = tail call double @cos(double %15)
%54 = tail call double @sin(double %47)
%55 = fneg double %53
%56 = fmul double %54, %55
%57 = tail call double @llvm.fmuladd.f64(double %50, double %52, double %56)
%58 = fneg double %57
%59 = tail call double @llvm.fmuladd.f64(double %58, double %57, double 1.000000e+00)
%60 = fptosi double %59 to i32
%61 = tail call double @sqrt(i32 %60)
%62 = fdiv double %57, %61
%63 = tail call double @atan(double %62)
%64 = tail call double @sin(double %15)
%65 = tail call double @cos(double %0)
%66 = fmul double %64, %65
%67 = fsub double %1, %20
%68 = tail call double @sin(double %67)
%69 = tail call double @cos(double %15)
%70 = tail call double @sin(double %0)
%71 = fneg double %69
%72 = fmul double %70, %71
%73 = tail call double @llvm.fmuladd.f64(double %66, double %68, double %72)
%74 = fneg double %73
%75 = tail call double @llvm.fmuladd.f64(double %74, double %73, double 1.000000e+00)
%76 = fptosi double %75 to i32
%77 = tail call double @sqrt(i32 %76)
%78 = fdiv double %73, %77
%79 = tail call double @atan(double %78)
store double %63, double* %6
store double %79, double* %7
ret void
}