int KeplerSTM_C_vallado(double x0[], double dt, double mu, double x1[],
                        double epsmult) {
  double epsval = 1.0e-12;
  double r0[3] = {x0[0], x0[1], x0[2]};
  double v0[3] = {x0[3], x0[4], x0[5]};
  double r0norm = sqrt(pow(r0[0], 2) + pow(r0[1], 2) + pow(r0[2], 2));
  double v0norm2 = DOT(v0, v0, 3);
  double nu0 = DOT(r0, v0, 3);
  double beta = 2.0 * mu / r0norm - v0norm2;
  double alpha = beta / mu;
  double nu0osmu = nu0 / sqrt(mu);
  double xi;
  if (alpha >= epsval) {
    xi = sqrt(mu * dt * alpha);
    if (fabs(alpha - 1.0) > epsval) {
      xi *= 0.97;
    }
  } else if (fabs(alpha) < epsval) {
    double h2 = pow(r0[0] * v0[1] - r0[1] * v0[0], 2) +
                pow(r0[0] * v0[2] - r0[2] * v0[0], 2) +
                pow(r0[1] * v0[2] - r0[2] * v0[1], 2);
    double p = h2 / mu;
    double s = atan2(1.0, (3.0 * sqrt(mu / pow(p, 3.0)) * dt)) / 2.0;
    double w = atan(pow(tan(s), 1.0 / 3.0));
    xi = sqrt(p) * 2.0 / tan(2.0 * w);
    alpha = 0.0;
  } else {
    double a = 1.0 / alpha;
    double sn = dt / fabs(dt);
    xi = sn * sqrt(-a) *
         log(-2 * mu * alpha * dt /
             (nu0 + sn * sqrt(-mu * alpha) * (1.0 - r0norm * alpha)));
  }
  int counter = 0;
  double r = r0norm;
  double xiup = (((fabs(xi)) > (fabs(r))) ? (fabs(xi)) : (fabs(r))) * 10.0;
  double psi, c2, c3, psi12;
  while ((fabs(xiup) >
          epsmult * pow(2, log(fabs((((fabs(xi)) > (fabs(r))) ? (fabs(xi))
                                                              : (fabs(r))))) /
                                   log(2) -
                               52.0)) &&
         (counter < 1000)) {
    psi = pow(xi, 2.0) * alpha;
    psi12 = sqrt(fabs(psi));
    if (psi >= 0) {
      c2 = (1 - cos(psi12)) / psi;
      c3 = (psi12 - sin(psi12)) / pow(psi12, 3.0);
    } else {
      c2 = (1 - cosh(psi12)) / psi;
      c3 = (sinh(psi12) - psi12) / pow(psi12, 3.0);
    }
    if (c2 + c3 == 0.) {
      c2 = 1.0 / 2.0;
      c3 = 1.0 / 6.0;
    }
    r = pow(xi, 2.0) * c2 + nu0osmu * xi * (1 - psi * c3) +
        r0norm * (1 - psi * c2);
    xiup = (sqrt(mu) * dt - pow(xi, 3.0) * c3 - nu0osmu * pow(xi, 2.0) * c2 -
            r0norm * xi * (1 - psi * c3)) /
           r;
    xi += xiup;
    counter += 1;
  }
  if (counter == 1000) {
    return -3;
  }
  double f = 1.0 - pow(xi, 2.0) / r0norm * c2;
  double g = dt - pow(xi, 3.0) / sqrt(mu) * c3;
  double F = sqrt(mu) / r / r0norm * xi * (psi * c3 - 1.0);
  double G = 1.0 - pow(xi, 2.0) / r * c2;
  int i;
  for (i = 0; i < 3; i++) {
    x1[i] = x0[i] * f + x0[i + 3] * g;
  }
  for (i = 3; i < 6; i++) {
    x1[i] = x0[i - 3] * F + x0[i] * G;
  }
  return 0;
}


x86 assembly (clang, -O0):
<KeplerSTM_C_vallado>:
push   %rbp
mov    %rsp,%rbp
sub    $0x210,%rsp
mov    %rdi,-0x10(%rbp)
movsd  %xmm0,-0x18(%rbp)
movsd  %xmm1,-0x20(%rbp)
mov    %rsi,-0x28(%rbp)
movsd  %xmm2,-0x30(%rbp)
movsd  0xe2e(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x10(%rax),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x18(%rax),%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x20(%rax),%xmm0
movsd  %xmm0,-0x68(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x28(%rax),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x50(%rbp),%xmm0
movsd  0xdc1(%rip),%xmm1
call   10b0 <pow@plt>
movsd  %xmm0,-0x150(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  0xda7(%rip),%xmm1
call   10b0 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x150(%rbp),%xmm0
ff
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x148(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movsd  0xd7e(%rip),%xmm1
call   10b0 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x148(%rbp),%xmm0
ff
addsd  %xmm1,%xmm0
call   10c0 <sqrt@plt>
movsd  %xmm0,-0x78(%rbp)
lea    -0x70(%rbp),%rdi
lea    -0x70(%rbp),%rsi
mov    $0x3,%edx
mov    $0x0,%al
call   10d0 <DOT@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x80(%rbp)
lea    -0x50(%rbp),%rdi
lea    -0x70(%rbp),%rsi
mov    $0x3,%edx
mov    $0x0,%al
call   10d0 <DOT@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xd1b(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
divsd  -0x78(%rbp),%xmm0
subsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x90(%rbp),%xmm0
ff
divsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x140(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
call   10c0 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x140(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
ucomisd -0x38(%rbp),%xmm0
jb     13bb <KeplerSTM_C_vallado+0x20b>
movsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
mulsd  -0x98(%rbp),%xmm0
ff
call   10c0 <sqrt@plt>
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
movsd  0xc8c(%rip),%xmm1
subsd  %xmm1,%xmm0
movaps 0xcd1(%rip),%xmm1
pand   %xmm1,%xmm0
ucomisd -0x38(%rbp),%xmm0
jbe    13b6 <KeplerSTM_C_vallado+0x206>
movsd  0xc8a(%rip),%xmm0
mulsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0xa8(%rbp)
ff
jmp    1743 <KeplerSTM_C_vallado+0x593>
movsd  -0x98(%rbp),%xmm1
ff
movaps 0xc96(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  -0x38(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    15d4 <KeplerSTM_C_vallado+0x424>
movsd  -0x50(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm2
movsd  -0x48(%rbp),%xmm1
mulsd  -0x70(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xbe8(%rip),%xmm1
call   10b0 <pow@plt>
movsd  %xmm0,-0x170(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  -0x70(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xba0(%rip),%xmm1
call   10b0 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x170(%rbp),%xmm0
ff
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x168(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  -0x68(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xb49(%rip),%xmm1
call   10b0 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x168(%rbp),%xmm0
ff
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0xb0(%rbp),%xmm0
ff
divsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x160(%rbp)
ff
movsd  -0xb8(%rbp),%xmm0
ff
movsd  0xb23(%rip),%xmm1
call   10b0 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x160(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
call   10c0 <sqrt@plt>
movsd  0xb02(%rip),%xmm1
mulsd  %xmm0,%xmm1
mulsd  -0x18(%rbp),%xmm1
movsd  0xad9(%rip),%xmm0
call   1040 <atan2@plt>
movsd  0xabc(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0xc0(%rbp),%xmm0
ff
call   1080 <tan@plt>
movsd  0xabb(%rip),%xmm1
call   10b0 <pow@plt>
call   1070 <atan@plt>
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0xb8(%rbp),%xmm0
ff
call   10c0 <sqrt@plt>
movsd  0xa74(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x158(%rbp)
ff
movsd  0xa60(%rip),%xmm0
mulsd  -0xc8(%rbp),%xmm0
ff
call   1080 <tan@plt>
movaps %xmm0,%xmm1
movsd  -0x158(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
jmp    173e <KeplerSTM_C_vallado+0x58e>
movsd  0xa34(%rip),%xmm0
divsd  -0x98(%rbp),%xmm0
ff
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movaps 0xa63(%rip),%xmm2
pand   %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0xd8(%rbp),%xmm0
ff
movsd  %xmm0,-0x198(%rbp)
ff
movsd  -0xd0(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
call   10c0 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x198(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x178(%rbp)
ff
movsd  0x9b8(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x98(%rbp),%xmm0
ff
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x180(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x188(%rbp)
ff
movsd  -0xd8(%rbp),%xmm0
ff
movsd  %xmm0,-0x190(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x98(%rbp),%xmm0
ff
call   10c0 <sqrt@plt>
movsd  -0x190(%rbp),%xmm1
ff
movsd  -0x188(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movsd  -0x180(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm1
movsd  -0x78(%rbp),%xmm3
movsd  -0x98(%rbp),%xmm4
ff
movq   %xmm3,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm3
mulsd  %xmm4,%xmm3
movsd  0x8fe(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
call   10a0 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x178(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
jmp    1743 <KeplerSTM_C_vallado+0x593>
movl   $0x0,-0xdc(%rbp)
movsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
movaps 0x8f7(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  -0xe8(%rbp),%xmm1
ff
movaps 0x8e4(%rip),%xmm2
pand   %xmm2,%xmm1
ucomisd %xmm1,%xmm0
jbe    17aa <KeplerSTM_C_vallado+0x5fa>
movsd  -0xa8(%rbp),%xmm0
ff
movaps 0x8c7(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x1a0(%rbp)
ff
jmp    17c5 <KeplerSTM_C_vallado+0x615>
movsd  -0xe8(%rbp),%xmm0
ff
movaps 0x8a7(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x1a0(%rbp)
ff
movsd  -0x1a0(%rbp),%xmm0
ff
movsd  0x863(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0xf0(%rbp),%xmm0
ff
movaps 0x870(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x1b0(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x1a8(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
movaps 0x848(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  -0xe8(%rbp),%xmm1
ff
movaps 0x835(%rip),%xmm2
pand   %xmm2,%xmm1
ucomisd %xmm1,%xmm0
jbe    1859 <KeplerSTM_C_vallado+0x6a9>
movsd  -0xa8(%rbp),%xmm0
ff
movaps 0x818(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x1b8(%rbp)
ff
jmp    1874 <KeplerSTM_C_vallado+0x6c4>
movsd  -0xe8(%rbp),%xmm0
ff
movaps 0x7f8(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x1b8(%rbp)
ff
movsd  -0x1b8(%rbp),%xmm0
ff
movaps 0x7dd(%rip),%xmm1
pand   %xmm1,%xmm0
call   10a0 <log@plt>
movsd  %xmm0,-0x1c8(%rbp)
ff
movsd  0x764(%rip),%xmm0
call   10a0 <log@plt>
movsd  -0x1c8(%rbp),%xmm1
ff
divsd  %xmm0,%xmm1
movsd  0x78b(%rip),%xmm0
subsd  %xmm0,%xmm1
movsd  0x73f(%rip),%xmm0
call   10b0 <pow@plt>
movsd  -0x1a8(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0x1b0(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm1
xor    %eax,%eax
ucomisd %xmm1,%xmm0
mov    %al,-0x1b9(%rbp)
jbe    1902 <KeplerSTM_C_vallado+0x752>
cmpl   $0x3e8,-0xdc(%rbp)
setl   %al
mov    %al,-0x1b9(%rbp)
mov    -0x1b9(%rbp),%al
test   $0x1,%al
jne    1915 <KeplerSTM_C_vallado+0x765>
jmp    1cef <KeplerSTM_C_vallado+0xb3f>
movsd  -0xa8(%rbp),%xmm0
ff
movsd  0x6db(%rip),%xmm1
call   10b0 <pow@plt>
mulsd  -0x98(%rbp),%xmm0
ff
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0xf8(%rbp),%xmm0
ff
movaps 0x717(%rip),%xmm1
pand   %xmm1,%xmm0
call   10c0 <sqrt@plt>
movsd  %xmm0,-0x110(%rbp)
ff
movsd  -0xf8(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1a00 <KeplerSTM_C_vallado+0x850>
movsd  -0x110(%rbp),%xmm0
ff
call   1090 <cos@plt>
movaps %xmm0,%xmm1
movsd  0x689(%rip),%xmm0
subsd  %xmm1,%xmm0
divsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0x110(%rbp),%xmm0
ff
movsd  %xmm0,-0x1d8(%rbp)
ff
movsd  -0x110(%rbp),%xmm0
ff
call   1060 <sin@plt>
movaps %xmm0,%xmm1
movsd  -0x1d8(%rbp),%xmm0
ff
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x1d0(%rbp)
ff
movsd  -0x110(%rbp),%xmm0
ff
movsd  0x649(%rip),%xmm1
call   10b0 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x1d0(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
jmp    1a75 <KeplerSTM_C_vallado+0x8c5>
movsd  -0x110(%rbp),%xmm0
ff
call   1050 <cosh@plt>
movaps %xmm0,%xmm1
movsd  0x5f8(%rip),%xmm0
subsd  %xmm1,%xmm0
divsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0x110(%rbp),%xmm0
ff
call   1030 <sinh@plt>
subsd  -0x110(%rbp),%xmm0
ff
movsd  %xmm0,-0x1e0(%rbp)
ff
movsd  -0x110(%rbp),%xmm0
ff
movsd  0x5cf(%rip),%xmm1
call   10b0 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x1e0(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
movsd  -0x100(%rbp),%xmm0
ff
addsd  -0x108(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1ab8 <KeplerSTM_C_vallado+0x908>
jp     1ab8 <KeplerSTM_C_vallado+0x908>
movsd  0x5b8(%rip),%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  0x5a0(%rip),%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
movsd  0x538(%rip),%xmm1
call   10b0 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x100(%rbp),%xmm2
ff
movsd  -0xa0(%rbp),%xmm0
ff
mulsd  -0xa8(%rbp),%xmm0
ff
movsd  -0xf8(%rbp),%xmm3
ff
movsd  -0x108(%rbp),%xmm4
ff
movq   %xmm3,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm3
mulsd  %xmm4,%xmm3
movsd  0x4f5(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x78(%rbp),%xmm0
movsd  -0xf8(%rbp),%xmm2
ff
movsd  -0x100(%rbp),%xmm3
ff
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mulsd  %xmm3,%xmm2
movsd  0x4ad(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
call   10c0 <sqrt@plt>
movsd  %xmm0,-0x1f8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x200(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
movsd  0x482(%rip),%xmm1
call   10b0 <pow@plt>
movsd  -0x200(%rbp),%xmm2
ff
movaps %xmm0,%xmm1
movsd  -0x1f8(%rbp),%xmm0
ff
mulsd  -0x108(%rbp),%xmm1
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x1e8(%rbp)
ff
movsd  -0xa0(%rbp),%xmm0
ff
movsd  %xmm0,-0x1f0(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
movsd  0x3f3(%rip),%xmm1
call   10b0 <pow@plt>
movsd  -0x1f0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0x1e8(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm1
movsd  -0x100(%rbp),%xmm2
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x78(%rbp),%xmm0
mulsd  -0xa8(%rbp),%xmm0
ff
movsd  -0xf8(%rbp),%xmm2
ff
movsd  -0x108(%rbp),%xmm3
ff
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mulsd  %xmm3,%xmm2
movsd  0x380(%rip),%xmm3
addsd  %xmm3,%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
divsd  -0xe8(%rbp),%xmm0
ff
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0xf0(%rbp),%xmm0
ff
addsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0xa8(%rbp)
ff
mov    -0xdc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xdc(%rbp)
jmp    17e1 <KeplerSTM_C_vallado+0x631>
cmpl   $0x3e8,-0xdc(%rbp)
jne    1d0b <KeplerSTM_C_vallado+0xb5b>
movl   $0xfffffffd,-0x4(%rbp)
jmp    1f6c <KeplerSTM_C_vallado+0xdbc>
movsd  -0xa8(%rbp),%xmm0
ff
movsd  0x2e5(%rip),%xmm1
call   10b0 <pow@plt>
divsd  -0x78(%rbp),%xmm0
movsd  -0x100(%rbp),%xmm1
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0x2c0(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x118(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x210(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
movsd  0x2af(%rip),%xmm1
call   10b0 <pow@plt>
movsd  %xmm0,-0x208(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
call   10c0 <sqrt@plt>
movsd  -0x210(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0x208(%rbp),%xmm0
ff
divsd  %xmm2,%xmm0
movsd  -0x108(%rbp),%xmm2
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x120(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
call   10c0 <sqrt@plt>
divsd  -0xe8(%rbp),%xmm0
ff
divsd  -0x78(%rbp),%xmm0
mulsd  -0xa8(%rbp),%xmm0
ff
movsd  -0xf8(%rbp),%xmm1
ff
movsd  -0x108(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm1
movsd  0x237(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x128(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
movsd  0x1cf(%rip),%xmm1
call   10b0 <pow@plt>
divsd  -0xe8(%rbp),%xmm0
ff
movsd  -0x100(%rbp),%xmm1
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0x1a7(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x130(%rbp)
ff
movl   $0x0,-0x134(%rbp)
cmpl   $0x3,-0x134(%rbp)
jge    1eed <KeplerSTM_C_vallado+0xd3d>
mov    -0x10(%rbp),%rax
movslq -0x134(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  -0x118(%rbp),%xmm2
ff
mov    -0x10(%rbp),%rax
mov    -0x134(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  -0x120(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
movslq -0x134(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x134(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x134(%rbp)
jmp    1e7f <KeplerSTM_C_vallado+0xccf>
movl   $0x3,-0x134(%rbp)
cmpl   $0x6,-0x134(%rbp)
jge    1f65 <KeplerSTM_C_vallado+0xdb5>
mov    -0x10(%rbp),%rax
mov    -0x134(%rbp),%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  -0x128(%rbp),%xmm2
ff
mov    -0x10(%rbp),%rax
movslq -0x134(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  -0x130(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
movslq -0x134(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x134(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x134(%rbp)
jmp    1ef7 <KeplerSTM_C_vallado+0xd47>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x210,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<KeplerSTM_C_vallado>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x158,%rsp
movsd  %xmm2,0x88(%rsp)
mov    %rsi,%r14
movaps %xmm1,0x20(%rsp)
movaps %xmm0,0x70(%rsp)
mov    %rdi,%r15
movupd (%rdi),%xmm1
movapd %xmm1,0xf0(%rsp)
movsd  0x10(%rdi),%xmm0
movsd  %xmm0,0x100(%rsp)
movups 0x18(%rdi),%xmm2
movaps %xmm2,0xd0(%rsp)
movsd  0x28(%rdi),%xmm2
movsd  %xmm2,0xe0(%rsp)
mulpd  %xmm1,%xmm1
movapd %xmm1,%xmm2
unpckhpd %xmm1,%xmm2
addsd  %xmm1,%xmm2
mulsd  %xmm0,%xmm0
addsd  %xmm2,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1243 <KeplerSTM_C_vallado+0x83>
sqrtsd %xmm0,%xmm0
jmp    1248 <KeplerSTM_C_vallado+0x88>
call   10d0 <sqrt@plt>
movapd %xmm0,0x40(%rsp)
lea    0xd0(%rsp),%rbx
mov    %rbx,%rdi
mov    %rbx,%rsi
mov    $0x3,%edx
xor    %eax,%eax
call   10e0 <DOT@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,(%rsp)
lea    0xf0(%rsp),%rdi
mov    %rbx,%rsi
mov    $0x3,%edx
xor    %eax,%eax
call   10e0 <DOT@plt>
cvtsi2sd %eax,%xmm4
movapd 0x20(%rsp),%xmm6
movapd %xmm6,%xmm3
addsd  %xmm6,%xmm3
divsd  0x40(%rsp),%xmm3
subsd  (%rsp),%xmm3
divsd  %xmm6,%xmm3
ucomisd 0xda4(%rip),%xmm6
movapd %xmm3,0x60(%rsp)
jb     12c5 <KeplerSTM_C_vallado+0x105>
xorps  %xmm0,%xmm0
sqrtsd %xmm6,%xmm0
jmp    12e6 <KeplerSTM_C_vallado+0x126>
movapd %xmm6,%xmm0
movsd  %xmm4,0x50(%rsp)
call   10d0 <sqrt@plt>
movsd  0x50(%rsp),%xmm4
movapd 0x60(%rsp),%xmm3
movapd 0x20(%rsp),%xmm6
movapd 0x70(%rsp),%xmm2
movapd %xmm4,%xmm1
divsd  %xmm0,%xmm1
movapd %xmm1,0x110(%rsp)
ucomisd 0xcfb(%rip),%xmm3
jae    13dc <KeplerSTM_C_vallado+0x21c>
movapd 0xd4d(%rip),%xmm0
andpd  %xmm3,%xmm0
movsd  0xce1(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    13f8 <KeplerSTM_C_vallado+0x238>
movapd 0xf0(%rsp),%xmm7
movsd  0xd0(%rsp),%xmm1
movsd  0x100(%rsp),%xmm2
movapd %xmm7,%xmm3
movsd  %xmm2,%xmm3
xorpd  0xd1c(%rip),%xmm2
movupd 0xd8(%rsp),%xmm4
mulsd  %xmm1,%xmm2
movapd %xmm4,%xmm5
unpckhpd %xmm4,%xmm5
mulsd  %xmm7,%xmm5
addsd  %xmm2,%xmm5
mulsd  %xmm5,%xmm5
mulpd  %xmm4,%xmm7
unpcklpd %xmm1,%xmm4
mulpd  %xmm3,%xmm4
shufpd $0x1,%xmm7,%xmm7
subpd  %xmm4,%xmm7
mulpd  %xmm7,%xmm7
movapd %xmm7,%xmm0
unpckhpd %xmm7,%xmm0
addsd  %xmm5,%xmm0
addsd  %xmm7,%xmm0
divsd  %xmm6,%xmm0
movsd  0xc7e(%rip),%xmm1
movapd %xmm0,(%rsp)
call   10c0 <pow@plt>
movapd %xmm0,%xmm1
movapd 0x20(%rsp),%xmm0
divsd  %xmm1,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1481 <KeplerSTM_C_vallado+0x2c1>
xorps  %xmm1,%xmm1
sqrtsd %xmm0,%xmm1
jmp    148a <KeplerSTM_C_vallado+0x2ca>
movapd %xmm2,%xmm0
mulsd  %xmm6,%xmm0
mulsd  %xmm3,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     143b <KeplerSTM_C_vallado+0x27b>
sqrtsd %xmm0,%xmm0
jmp    144c <KeplerSTM_C_vallado+0x28c>
movapd 0xc60(%rip),%xmm0
andpd  %xmm2,%xmm0
movapd %xmm2,%xmm5
divsd  %xmm0,%xmm5
movsd  0xbf4(%rip),%xmm0
divsd  %xmm3,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
movsd  %xmm4,0x50(%rsp)
movapd %xmm5,0x10(%rsp)
jb     14dd <KeplerSTM_C_vallado+0x31d>
sqrtsd %xmm0,%xmm0
jmp    14fe <KeplerSTM_C_vallado+0x33e>
call   10d0 <sqrt@plt>
movapd 0x60(%rsp),%xmm3
movapd 0x20(%rsp),%xmm6
movapd 0x40(%rsp),%xmm1
movsd  0xbae(%rip),%xmm2
addsd  %xmm3,%xmm2
andpd  0xbfa(%rip),%xmm2
ucomisd 0xb92(%rip),%xmm2
jbe    15f6 <KeplerSTM_C_vallado+0x436>
mulsd  0xb94(%rip),%xmm0
jmp    15f6 <KeplerSTM_C_vallado+0x436>
call   10d0 <sqrt@plt>
movapd %xmm0,%xmm1
mulsd  0xb96(%rip),%xmm1
mulsd  0x70(%rsp),%xmm1
movsd  0xb80(%rip),%xmm0
call   1040 <atan2@plt>
mulsd  0xb83(%rip),%xmm0
call   1090 <tan@plt>
movsd  0xb7e(%rip),%xmm1
call   10c0 <pow@plt>
call   1080 <atan@plt>
movapd %xmm0,%xmm1
movapd (%rsp),%xmm0
ucomisd 0xb83(%rip),%xmm0
jb     1537 <KeplerSTM_C_vallado+0x377>
sqrtsd %xmm0,%xmm0
jmp    1546 <KeplerSTM_C_vallado+0x386>
call   10d0 <sqrt@plt>
xorpd  %xmm1,%xmm1
movapd 0x10(%rsp),%xmm5
movapd 0x60(%rsp),%xmm3
movapd 0x20(%rsp),%xmm6
movapd 0x70(%rsp),%xmm2
mulsd  %xmm5,%xmm0
movapd %xmm0,(%rsp)
movsd  0xb09(%rip),%xmm4
mulsd  %xmm6,%xmm4
mulsd  %xmm3,%xmm4
mulsd  %xmm2,%xmm4
movapd 0xb4d(%rip),%xmm0
xorpd  %xmm6,%xmm0
mulsd  %xmm3,%xmm0
ucomisd %xmm1,%xmm0
jb     1587 <KeplerSTM_C_vallado+0x3c7>
sqrtsd %xmm0,%xmm0
jmp    15a4 <KeplerSTM_C_vallado+0x3e4>
movsd  %xmm1,(%rsp)
call   10d0 <sqrt@plt>
movsd  (%rsp),%xmm1
addsd  %xmm0,%xmm0
movapd %xmm0,(%rsp)
addsd  %xmm1,%xmm1
movapd %xmm1,%xmm0
call   1090 <tan@plt>
movapd (%rsp),%xmm1
divsd  %xmm0,%xmm1
movapd %xmm1,(%rsp)
movapd (%rsp),%xmm0
xorpd  %xmm1,%xmm1
movapd %xmm1,0x60(%rsp)
movapd 0x20(%rsp),%xmm6
movapd 0x40(%rsp),%xmm1
jmp    15f6 <KeplerSTM_C_vallado+0x436>
movsd  %xmm4,0x30(%rsp)
call   10d0 <sqrt@plt>
movsd  0x30(%rsp),%xmm4
movapd 0x10(%rsp),%xmm5
movapd 0x60(%rsp),%xmm3
movapd 0x40(%rsp),%xmm1
movsd  0x50(%rsp),%xmm2
mulsd  %xmm0,%xmm5
movapd %xmm1,%xmm0
mulsd  %xmm3,%xmm0
movsd  0xa5c(%rip),%xmm1
subsd  %xmm0,%xmm1
mulsd  %xmm5,%xmm1
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm4
movapd %xmm4,%xmm0
call   10b0 <log@plt>
movapd 0x40(%rsp),%xmm1
movapd (%rsp),%xmm2
mulsd  %xmm0,%xmm2
movapd %xmm2,%xmm0
movapd 0x20(%rsp),%xmm6
movapd 0xa62(%rip),%xmm3
movapd %xmm0,%xmm4
andpd  %xmm3,%xmm4
movapd %xmm0,%xmm2
movapd %xmm1,%xmm0
andpd  %xmm3,%xmm0
maxsd  %xmm0,%xmm4
movapd %xmm2,%xmm0
mulsd  0xa1e(%rip),%xmm4
movapd 0xa46(%rip),%xmm2
movapd 0x110(%rsp),%xmm3
xorpd  %xmm2,%xmm3
movapd %xmm3,0x130(%rsp)
xorpd  %xmm1,%xmm2
movapd %xmm2,0x140(%rsp)
unpcklpd %xmm1,%xmm2
movapd %xmm2,0x120(%rsp)
xor    %ebp,%ebp
xorps  %xmm2,%xmm2
sqrtsd %xmm6,%xmm2
movsd  %xmm2,0xc8(%rsp)
movapd %xmm1,%xmm3
jmp    179c <KeplerSTM_C_vallado+0x5dc>
cs nopw 0x0(%rax,%rax,1)
nop
movaps %xmm0,0x10(%rsp)
movd   %ebx,%xmm0
pshufd $0x44,%xmm0,%xmm0
psllq  $0x3f,%xmm0
psrad  $0x1f,%xmm0
pshufd $0xf5,%xmm0,%xmm2
movdqa %xmm2,%xmm0
pandn  %xmm1,%xmm0
pand   0x9d3(%rip),%xmm2
por    %xmm0,%xmm2
movdqa %xmm2,0x30(%rsp)
movapd 0x110(%rsp),%xmm4
movapd (%rsp),%xmm0
mulsd  %xmm0,%xmm4
movapd 0x50(%rsp),%xmm3
unpcklpd %xmm3,%xmm3
mulpd  %xmm2,%xmm3
movapd 0x9b1(%rip),%xmm1
subpd  %xmm3,%xmm1
movapd %xmm1,0x90(%rsp)
mulsd  %xmm1,%xmm4
movapd %xmm4,0xa0(%rsp)
movsd  0x927(%rip),%xmm1
call   10c0 <pow@plt>
movapd 0x30(%rsp),%xmm3
mulsd  %xmm3,%xmm0
movapd 0x10(%rsp),%xmm1
mulsd  0x70(%rsp),%xmm1
subsd  %xmm0,%xmm1
unpcklpd 0xa0(%rsp),%xmm1
movapd %xmm1,%xmm2
movapd 0xb0(%rsp),%xmm1
movapd %xmm1,%xmm0
mulsd  0x130(%rsp),%xmm0
unpcklpd %xmm1,%xmm0
movapd %xmm3,%xmm1
unpckhpd %xmm3,%xmm1
movapd %xmm1,0xa0(%rsp)
mulpd  %xmm0,%xmm1
movapd (%rsp),%xmm0
addpd  %xmm2,%xmm1
movapd %xmm0,%xmm4
mulsd  0x140(%rsp),%xmm4
shufpd $0x2,0x120(%rsp),%xmm4
mulpd  0x90(%rsp),%xmm4
addpd  %xmm1,%xmm4
movapd %xmm4,%xmm3
unpckhpd %xmm4,%xmm3
divsd  %xmm3,%xmm4
addsd  %xmm4,%xmm0
add    $0x1,%ebp
movapd 0x8bc(%rip),%xmm2
andpd  %xmm2,%xmm4
movapd %xmm4,0x10(%rsp)
movapd %xmm0,(%rsp)
andpd  %xmm2,%xmm0
movapd %xmm3,0xb0(%rsp)
movapd %xmm3,%xmm1
andpd  %xmm2,%xmm1
maxsd  %xmm1,%xmm0
call   10b0 <log@plt>
divsd  0x86f(%rip),%xmm0
addsd  0x86f(%rip),%xmm0
call   1060 <exp2@plt>
mulsd  0x88(%rsp),%xmm0
movapd 0x10(%rsp),%xmm1
ucomisd %xmm0,%xmm1
jbe    1958 <KeplerSTM_C_vallado+0x798>
cmp    $0x3e7,%ebp
ja     1958 <KeplerSTM_C_vallado+0x798>
movapd (%rsp),%xmm1
mulsd  %xmm1,%xmm1
movapd 0x60(%rsp),%xmm0
movapd %xmm1,0xb0(%rsp)
mulsd  %xmm1,%xmm0
movapd %xmm0,0x50(%rsp)
andpd  0x82b(%rip),%xmm0
ucomisd 0x81b(%rip),%xmm0
jb     1850 <KeplerSTM_C_vallado+0x690>
xorps  %xmm1,%xmm1
sqrtsd %xmm0,%xmm1
jmp    1859 <KeplerSTM_C_vallado+0x699>
nopl   0x0(%rax,%rax,1)
call   10d0 <sqrt@plt>
movapd %xmm0,%xmm1
movapd 0x50(%rsp),%xmm0
ucomisd 0x7f1(%rip),%xmm0
movsd  %xmm1,0x30(%rsp)
movapd %xmm1,%xmm0
jae    18a0 <KeplerSTM_C_vallado+0x6e0>
call   1050 <cosh@plt>
movsd  %xmm0,0x90(%rsp)
movsd  0x30(%rsp),%xmm0
call   1030 <sinh@plt>
movsd  0x30(%rsp),%xmm1
subsd  %xmm1,%xmm0
movapd %xmm0,0x10(%rsp)
jmp    18cd <KeplerSTM_C_vallado+0x70d>
xchg   %ax,%ax
call   10a0 <cos@plt>
movsd  %xmm0,0x90(%rsp)
movsd  0x30(%rsp),%xmm0
call   1070 <sin@plt>
movsd  0x30(%rsp),%xmm1
movapd %xmm1,%xmm2
subsd  %xmm0,%xmm2
movapd %xmm2,0x10(%rsp)
movapd %xmm1,%xmm0
movsd  0x74f(%rip),%xmm1
call   10c0 <pow@plt>
movsd  0x73a(%rip),%xmm1
subsd  0x90(%rsp),%xmm1
movapd 0x10(%rsp),%xmm2
unpcklpd %xmm1,%xmm2
unpcklpd 0x50(%rsp),%xmm0
divpd  %xmm0,%xmm2
movapd %xmm2,%xmm0
unpckhpd %xmm2,%xmm0
addsd  %xmm2,%xmm0
xorpd  %xmm1,%xmm1
cmpeqsd %xmm1,%xmm0
movq   %xmm0,%rbx
and    $0x1,%ebx
movapd 0x20(%rsp),%xmm0
ucomisd %xmm1,%xmm0
movsd  0xc8(%rsp),%xmm0
movapd %xmm2,%xmm1
jae    1680 <KeplerSTM_C_vallado+0x4c0>
movaps 0x20(%rsp),%xmm0
movapd %xmm1,0x10(%rsp)
call   10d0 <sqrt@plt>
movapd 0x10(%rsp),%xmm1
jmp    1680 <KeplerSTM_C_vallado+0x4c0>
mov    $0xfffffffd,%eax
cmp    $0x3e8,%ebp
je     1b40 <KeplerSTM_C_vallado+0x980>
movapd 0x6ff(%rip),%xmm1
movapd (%rsp),%xmm0
xorpd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
movapd %xmm1,0x90(%rsp)
divsd  0x40(%rsp),%xmm1
mulsd  0xa0(%rsp),%xmm1
movapd %xmm1,0x10(%rsp)
movsd  0x684(%rip),%xmm1
call   10c0 <pow@plt>
movapd %xmm0,%xmm3
movapd 0x20(%rsp),%xmm1
sqrtsd %xmm1,%xmm7
xorpd  %xmm4,%xmm4
ucomisd %xmm4,%xmm1
movapd %xmm7,%xmm0
jae    19f6 <KeplerSTM_C_vallado+0x836>
movapd %xmm1,%xmm0
movsd  %xmm7,0x60(%rsp)
movsd  %xmm3,0x88(%rsp)
call   10d0 <sqrt@plt>
xorpd  %xmm4,%xmm4
movsd  0x88(%rsp),%xmm3
movsd  0x60(%rsp),%xmm7
movapd 0x20(%rsp),%xmm1
movapd 0x10(%rsp),%xmm6
addsd  0x61c(%rip),%xmm6
divsd  %xmm0,%xmm3
movapd 0x30(%rsp),%xmm0
mulsd  %xmm0,%xmm3
movapd 0x70(%rsp),%xmm2
subsd  %xmm3,%xmm2
ucomisd %xmm4,%xmm1
jae    1a4d <KeplerSTM_C_vallado+0x88d>
movapd %xmm1,%xmm0
movapd %xmm2,0x70(%rsp)
movapd %xmm6,0x10(%rsp)
call   10d0 <sqrt@plt>
movapd 0x10(%rsp),%xmm6
movapd 0x70(%rsp),%xmm2
movapd %xmm0,%xmm7
movapd 0x30(%rsp),%xmm0
movapd 0xb0(%rsp),%xmm4
divsd  %xmm4,%xmm7
divsd  0x40(%rsp),%xmm7
movapd 0x50(%rsp),%xmm3
mulsd  %xmm0,%xmm3
addsd  0x596(%rip),%xmm3
movsd  0x18(%r15),%xmm0
mulsd  %xmm2,%xmm0
movsd  (%r15),%xmm1
mulsd  %xmm6,%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,(%r14)
movsd  0x20(%r15),%xmm0
mulsd  %xmm2,%xmm0
movsd  0x8(%r15),%xmm1
mulsd  %xmm6,%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%r14)
mulsd  0x28(%r15),%xmm2
mulsd  0x10(%r15),%xmm6
movapd 0x90(%rsp),%xmm5
divsd  %xmm4,%xmm5
addsd  %xmm2,%xmm6
movsd  %xmm6,0x10(%r14)
movapd (%rsp),%xmm2
mulsd  %xmm7,%xmm2
mulsd  %xmm3,%xmm2
mulsd  0xa0(%rsp),%xmm5
addsd  0x533(%rip),%xmm5
movsd  0x18(%r15),%xmm0
mulsd  %xmm5,%xmm0
movsd  (%r15),%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x18(%r14)
movsd  0x20(%r15),%xmm0
mulsd  %xmm5,%xmm0
movsd  0x8(%r15),%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x20(%r14)
mulsd  0x28(%r15),%xmm5
mulsd  0x10(%r15),%xmm2
addsd  %xmm5,%xmm2
movsd  %xmm2,0x28(%r14)
xor    %eax,%eax
add    $0x158,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @KeplerSTM_C_vallado(double* %0, double %1, double %2, double* %3, double %4) {
%6 = alloca i32
%7 = alloca double*
%8 = alloca double
%9 = alloca double
%10 = alloca double*
%11 = alloca double
%12 = alloca double
%13 = alloca [3 x double]
%14 = alloca [3 x 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 i32
%29 = alloca double
%30 = alloca double
%31 = alloca double
%32 = alloca double
%33 = alloca double
%34 = alloca double
%35 = alloca double
%36 = alloca double
%37 = alloca double
%38 = alloca double
%39 = alloca i32
store double* %0, double** %7
store double %1, double* %8
store double %2, double* %9
store double* %3, double** %10
store double %4, double* %11
store double 0x3D719799812DEA11, double* %12
%40 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 0
%41 = load double*, double** %7
%42 = getelementptr inbounds double, double* %41, i64 0
%43 = load double, double* %42
store double %43, double* %40
%44 = getelementptr inbounds double, double* %40, i64 1
%45 = load double*, double** %7
%46 = getelementptr inbounds double, double* %45, i64 1
%47 = load double, double* %46
store double %47, double* %44
%48 = getelementptr inbounds double, double* %44, i64 1
%49 = load double*, double** %7
%50 = getelementptr inbounds double, double* %49, i64 2
%51 = load double, double* %50
store double %51, double* %48
%52 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 0
%53 = load double*, double** %7
%54 = getelementptr inbounds double, double* %53, i64 3
%55 = load double, double* %54
store double %55, double* %52
%56 = getelementptr inbounds double, double* %52, i64 1
%57 = load double*, double** %7
%58 = getelementptr inbounds double, double* %57, i64 4
%59 = load double, double* %58
store double %59, double* %56
%60 = getelementptr inbounds double, double* %56, i64 1
%61 = load double*, double** %7
%62 = getelementptr inbounds double, double* %61, i64 5
%63 = load double, double* %62
store double %63, double* %60
%64 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 0
%65 = load double, double* %64
%66 = call double @pow(double %65, double 2.000000e+00)
%67 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 1
%68 = load double, double* %67
%69 = call double @pow(double %68, double 2.000000e+00)
%70 = fadd double %66, %69
%71 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 2
%72 = load double, double* %71
%73 = call double @pow(double %72, double 2.000000e+00)
%74 = fadd double %70, %73
%75 = call double @sqrt(double %74)
store double %75, double* %15
%76 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 0
%77 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 0
%78 = call i32 (double*, double*, i32, ...) bitcast (i32 (...)* @DOT to i32 (double*, double*, i32, ...)*)(double* %76, double* %77, i32 3)
%79 = sitofp i32 %78 to double
store double %79, double* %16
%80 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 0
%81 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 0
%82 = call i32 (double*, double*, i32, ...) bitcast (i32 (...)* @DOT to i32 (double*, double*, i32, ...)*)(double* %80, double* %81, i32 3)
%83 = sitofp i32 %82 to double
store double %83, double* %17
%84 = load double, double* %9
%85 = fmul double 2.000000e+00, %84
%86 = load double, double* %15
%87 = fdiv double %85, %86
%88 = load double, double* %16
%89 = fsub double %87, %88
store double %89, double* %18
%90 = load double, double* %18
%91 = load double, double* %9
%92 = fdiv double %90, %91
store double %92, double* %19
%93 = load double, double* %17
%94 = load double, double* %9
%95 = call double @sqrt(double %94)
%96 = fdiv double %93, %95
store double %96, double* %20
%97 = load double, double* %19
%98 = load double, double* %12
%99 = fcmp oge double %97, %98
br i1 %99, label %100, label %116
100: ; preds = %5
%101 = load double, double* %9
%102 = load double, double* %8
%103 = fmul double %101, %102
%104 = load double, double* %19
%105 = fmul double %103, %104
%106 = call double @sqrt(double %105)
store double %106, double* %21
%107 = load double, double* %19
%108 = fsub double %107, 1.000000e+00
%109 = call double @llvm.fabs.f64(double %108)
%110 = load double, double* %12
%111 = fcmp ogt double %109, %110
br i1 %111, label %112, label %115
112: ; preds = %100
%113 = load double, double* %21
%114 = fmul double %113, 0x3FEF0A3D70A3D70A
store double %114, double* %21
br label %115
115: ; preds = %112, %100
br label %219
116: ; preds = %5
%117 = load double, double* %19
%118 = call double @llvm.fabs.f64(double %117)
%119 = load double, double* %12
%120 = fcmp olt double %118, %119
br i1 %120, label %121, label %184
121: ; preds = %116
%122 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 0
%123 = load double, double* %122
%124 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 1
%125 = load double, double* %124
%126 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 1
%127 = load double, double* %126
%128 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 0
%129 = load double, double* %128
%130 = fmul double %127, %129
%131 = fneg double %130
%132 = call double @llvm.fmuladd.f64(double %123, double %125, double %131)
%133 = call double @pow(double %132, double 2.000000e+00)
%134 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 0
%135 = load double, double* %134
%136 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 2
%137 = load double, double* %136
%138 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 2
%139 = load double, double* %138
%140 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 0
%141 = load double, double* %140
%142 = fmul double %139, %141
%143 = fneg double %142
%144 = call double @llvm.fmuladd.f64(double %135, double %137, double %143)
%145 = call double @pow(double %144, double 2.000000e+00)
%146 = fadd double %133, %145
%147 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 1
%148 = load double, double* %147
%149 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 2
%150 = load double, double* %149
%151 = getelementptr inbounds [3 x double], [3 x double]* %13, i64 0, i64 2
%152 = load double, double* %151
%153 = getelementptr inbounds [3 x double], [3 x double]* %14, i64 0, i64 1
%154 = load double, double* %153
%155 = fmul double %152, %154
%156 = fneg double %155
%157 = call double @llvm.fmuladd.f64(double %148, double %150, double %156)
%158 = call double @pow(double %157, double 2.000000e+00)
%159 = fadd double %146, %158
store double %159, double* %22
%160 = load double, double* %22
%161 = load double, double* %9
%162 = fdiv double %160, %161
store double %162, double* %23
%163 = load double, double* %9
%164 = load double, double* %23
%165 = call double @pow(double %164, double 3.000000e+00)
%166 = fdiv double %163, %165
%167 = call double @sqrt(double %166)
%168 = fmul double 3.000000e+00, %167
%169 = load double, double* %8
%170 = fmul double %168, %169
%171 = call double @atan2(double 1.000000e+00, double %170)
%172 = fdiv double %171, 2.000000e+00
store double %172, double* %24
%173 = load double, double* %24
%174 = call double @tan(double %173)
%175 = call double @pow(double %174, double 0x3FD5555555555555)
%176 = call double @atan(double %175)
store double %176, double* %25
%177 = load double, double* %23
%178 = call double @sqrt(double %177)
%179 = fmul double %178, 2.000000e+00
%180 = load double, double* %25
%181 = fmul double 2.000000e+00, %180
%182 = call double @tan(double %181)
%183 = fdiv double %179, %182
store double %183, double* %21
store double 0.000000e+00, double* %19
br label %218
184: ; preds = %116
%185 = load double, double* %19
%186 = fdiv double 1.000000e+00, %185
store double %186, double* %26
%187 = load double, double* %8
%188 = load double, double* %8
%189 = call double @llvm.fabs.f64(double %188)
%190 = fdiv double %187, %189
store double %190, double* %27
%191 = load double, double* %27
%192 = load double, double* %26
%193 = fneg double %192
%194 = call double @sqrt(double %193)
%195 = fmul double %191, %194
%196 = load double, double* %9
%197 = fmul double -2.000000e+00, %196
%198 = load double, double* %19
%199 = fmul double %197, %198
%200 = load double, double* %8
%201 = fmul double %199, %200
%202 = load double, double* %17
%203 = load double, double* %27
%204 = load double, double* %9
%205 = fneg double %204
%206 = load double, double* %19
%207 = fmul double %205, %206
%208 = call double @sqrt(double %207)
%209 = fmul double %203, %208
%210 = load double, double* %15
%211 = load double, double* %19
%212 = fneg double %210
%213 = call double @llvm.fmuladd.f64(double %212, double %211, double 1.000000e+00)
%214 = call double @llvm.fmuladd.f64(double %209, double %213, double %202)
%215 = fdiv double %201, %214
%216 = call double @log(double %215)
%217 = fmul double %195, %216
store double %217, double* %21
br label %218
218: ; preds = %184, %121
br label %219
219: ; preds = %218, %115
store i32 0, i32* %28
%220 = load double, double* %15
store double %220, double* %29
%221 = load double, double* %21
%222 = call double @llvm.fabs.f64(double %221)
%223 = load double, double* %29
%224 = call double @llvm.fabs.f64(double %223)
%225 = fcmp ogt double %222, %224
br i1 %225, label %226, label %229
226: ; preds = %219
%227 = load double, double* %21
%228 = call double @llvm.fabs.f64(double %227)
br label %232
229: ; preds = %219
%230 = load double, double* %29
%231 = call double @llvm.fabs.f64(double %230)
br label %232
232: ; preds = %229, %226
%233 = phi double [ %228, %226 ], [ %231, %229 ]
%234 = fmul double %233, 1.000000e+01
store double %234, double* %30
br label %235
235: ; preds = %307, %232
%236 = load double, double* %30
%237 = call double @llvm.fabs.f64(double %236)
%238 = load double, double* %11
%239 = load double, double* %21
%240 = call double @llvm.fabs.f64(double %239)
%241 = load double, double* %29
%242 = call double @llvm.fabs.f64(double %241)
%243 = fcmp ogt double %240, %242
br i1 %243, label %244, label %247
244: ; preds = %235
%245 = load double, double* %21
%246 = call double @llvm.fabs.f64(double %245)
br label %250
247: ; preds = %235
%248 = load double, double* %29
%249 = call double @llvm.fabs.f64(double %248)
br label %250
250: ; preds = %247, %244
%251 = phi double [ %246, %244 ], [ %249, %247 ]
%252 = call double @llvm.fabs.f64(double %251)
%253 = call double @log(double %252)
%254 = call double @log(double 2.000000e+00)
%255 = fdiv double %253, %254
%256 = fsub double %255, 5.200000e+01
%257 = call double @pow(double 2.000000e+00, double %256)
%258 = fmul double %238, %257
%259 = fcmp ogt double %237, %258
br i1 %259, label %260, label %263
260: ; preds = %250
%261 = load i32, i32* %28
%262 = icmp slt i32 %261, 1000
br label %263
263: ; preds = %260, %250
%264 = phi i1 [ false, %250 ], [ %262, %260 ]
br i1 %264, label %265, label %358
265: ; preds = %263
%266 = load double, double* %21
%267 = call double @pow(double %266, double 2.000000e+00)
%268 = load double, double* %19
%269 = fmul double %267, %268
store double %269, double* %31
%270 = load double, double* %31
%271 = call double @llvm.fabs.f64(double %270)
%272 = call double @sqrt(double %271)
store double %272, double* %34
%273 = load double, double* %31
%274 = fcmp oge double %273, 0.000000e+00
br i1 %274, label %275, label %288
275: ; preds = %265
%276 = load double, double* %34
%277 = call double @cos(double %276)
%278 = fsub double 1.000000e+00, %277
%279 = load double, double* %31
%280 = fdiv double %278, %279
store double %280, double* %32
%281 = load double, double* %34
%282 = load double, double* %34
%283 = call double @sin(double %282)
%284 = fsub double %281, %283
%285 = load double, double* %34
%286 = call double @pow(double %285, double 3.000000e+00)
%287 = fdiv double %284, %286
store double %287, double* %33
br label %301
288: ; preds = %265
%289 = load double, double* %34
%290 = call double @cosh(double %289)
%291 = fsub double 1.000000e+00, %290
%292 = load double, double* %31
%293 = fdiv double %291, %292
store double %293, double* %32
%294 = load double, double* %34
%295 = call double @sinh(double %294)
%296 = load double, double* %34
%297 = fsub double %295, %296
%298 = load double, double* %34
%299 = call double @pow(double %298, double 3.000000e+00)
%300 = fdiv double %297, %299
store double %300, double* %33
br label %301
301: ; preds = %288, %275
%302 = load double, double* %32
%303 = load double, double* %33
%304 = fadd double %302, %303
%305 = fcmp oeq double %304, 0.000000e+00
br i1 %305, label %306, label %307
306: ; preds = %301
store double 5.000000e-01, double* %32
store double 0x3FC5555555555555, double* %33
br label %307
307: ; preds = %306, %301
%308 = load double, double* %21
%309 = call double @pow(double %308, double 2.000000e+00)
%310 = load double, double* %32
%311 = load double, double* %20
%312 = load double, double* %21
%313 = fmul double %311, %312
%314 = load double, double* %31
%315 = load double, double* %33
%316 = fneg double %314
%317 = call double @llvm.fmuladd.f64(double %316, double %315, double 1.000000e+00)
%318 = fmul double %313, %317
%319 = call double @llvm.fmuladd.f64(double %309, double %310, double %318)
%320 = load double, double* %15
%321 = load double, double* %31
%322 = load double, double* %32
%323 = fneg double %321
%324 = call double @llvm.fmuladd.f64(double %323, double %322, double 1.000000e+00)
%325 = call double @llvm.fmuladd.f64(double %320, double %324, double %319)
store double %325, double* %29
%326 = load double, double* %9
%327 = call double @sqrt(double %326)
%328 = load double, double* %8
%329 = load double, double* %21
%330 = call double @pow(double %329, double 3.000000e+00)
%331 = load double, double* %33
%332 = fmul double %330, %331
%333 = fneg double %332
%334 = call double @llvm.fmuladd.f64(double %327, double %328, double %333)
%335 = load double, double* %20
%336 = load double, double* %21
%337 = call double @pow(double %336, double 2.000000e+00)
%338 = fmul double %335, %337
%339 = load double, double* %32
%340 = fneg double %338
%341 = call double @llvm.fmuladd.f64(double %340, double %339, double %334)
%342 = load double, double* %15
%343 = load double, double* %21
%344 = fmul double %342, %343
%345 = load double, double* %31
%346 = load double, double* %33
%347 = fneg double %345
%348 = call double @llvm.fmuladd.f64(double %347, double %346, double 1.000000e+00)
%349 = fneg double %344
%350 = call double @llvm.fmuladd.f64(double %349, double %348, double %341)
%351 = load double, double* %29
%352 = fdiv double %350, %351
store double %352, double* %30
%353 = load double, double* %30
%354 = load double, double* %21
%355 = fadd double %354, %353
store double %355, double* %21
%356 = load i32, i32* %28
%357 = add nsw i32 %356, 1
store i32 %357, i32* %28
br label %235
358: ; preds = %263
%359 = load i32, i32* %28
%360 = icmp eq i32 %359, 1000
br i1 %360, label %361, label %362
361: ; preds = %358
store i32 -3, i32* %6
br label %452
362: ; preds = %358
%363 = load double, double* %21
%364 = call double @pow(double %363, double 2.000000e+00)
%365 = load double, double* %15
%366 = fdiv double %364, %365
%367 = load double, double* %32
%368 = fneg double %366
%369 = call double @llvm.fmuladd.f64(double %368, double %367, double 1.000000e+00)
store double %369, double* %35
%370 = load double, double* %8
%371 = load double, double* %21
%372 = call double @pow(double %371, double 3.000000e+00)
%373 = load double, double* %9
%374 = call double @sqrt(double %373)
%375 = fdiv double %372, %374
%376 = load double, double* %33
%377 = fneg double %375
%378 = call double @llvm.fmuladd.f64(double %377, double %376, double %370)
store double %378, double* %36
%379 = load double, double* %9
%380 = call double @sqrt(double %379)
%381 = load double, double* %29
%382 = fdiv double %380, %381
%383 = load double, double* %15
%384 = fdiv double %382, %383
%385 = load double, double* %21
%386 = fmul double %384, %385
%387 = load double, double* %31
%388 = load double, double* %33
%389 = call double @llvm.fmuladd.f64(double %387, double %388, double -1.000000e+00)
%390 = fmul double %386, %389
store double %390, double* %37
%391 = load double, double* %21
%392 = call double @pow(double %391, double 2.000000e+00)
%393 = load double, double* %29
%394 = fdiv double %392, %393
%395 = load double, double* %32
%396 = fneg double %394
%397 = call double @llvm.fmuladd.f64(double %396, double %395, double 1.000000e+00)
store double %397, double* %38
store i32 0, i32* %39
br label %398
398: ; preds = %421, %362
%399 = load i32, i32* %39
%400 = icmp slt i32 %399, 3
br i1 %400, label %401, label %424
401: ; preds = %398
%402 = load double*, double** %7
%403 = load i32, i32* %39
%404 = sext i32 %403 to i64
%405 = getelementptr inbounds double, double* %402, i64 %404
%406 = load double, double* %405
%407 = load double, double* %35
%408 = load double*, double** %7
%409 = load i32, i32* %39
%410 = add nsw i32 %409, 3
%411 = sext i32 %410 to i64
%412 = getelementptr inbounds double, double* %408, i64 %411
%413 = load double, double* %412
%414 = load double, double* %36
%415 = fmul double %413, %414
%416 = call double @llvm.fmuladd.f64(double %406, double %407, double %415)
%417 = load double*, double** %10
%418 = load i32, i32* %39
%419 = sext i32 %418 to i64
%420 = getelementptr inbounds double, double* %417, i64 %419
store double %416, double* %420
br label %421
421: ; preds = %401
%422 = load i32, i32* %39
%423 = add nsw i32 %422, 1
store i32 %423, i32* %39
br label %398
424: ; preds = %398
store i32 3, i32* %39
br label %425
425: ; preds = %448, %424
%426 = load i32, i32* %39
%427 = icmp slt i32 %426, 6
br i1 %427, label %428, label %451
428: ; preds = %425
%429 = load double*, double** %7
%430 = load i32, i32* %39
%431 = sub nsw i32 %430, 3
%432 = sext i32 %431 to i64
%433 = getelementptr inbounds double, double* %429, i64 %432
%434 = load double, double* %433
%435 = load double, double* %37
%436 = load double*, double** %7
%437 = load i32, i32* %39
%438 = sext i32 %437 to i64
%439 = getelementptr inbounds double, double* %436, i64 %438
%440 = load double, double* %439
%441 = load double, double* %38
%442 = fmul double %440, %441
%443 = call double @llvm.fmuladd.f64(double %434, double %435, double %442)
%444 = load double*, double** %10
%445 = load i32, i32* %39
%446 = sext i32 %445 to i64
%447 = getelementptr inbounds double, double* %444, i64 %446
store double %443, double* %447
br label %448
448: ; preds = %428
%449 = load i32, i32* %39
%450 = add nsw i32 %449, 1
store i32 %450, i32* %39
br label %425
451: ; preds = %425
store i32 0, i32* %6
br label %452
452: ; preds = %451, %361
%453 = load i32, i32* %6
ret i32 %453
}

LLVM IR (-O2):
define i32 @KeplerSTM_C_vallado(double* nocapture %0, double %1, double %2, double* nocapture writeonly %3, double %4) {
%6 = alloca [3 x double]
%7 = alloca [3 x double]
%8 = bitcast [3 x double]* %6 to i8*
%9 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 0
%10 = getelementptr inbounds double, double* %0, i64 1
%11 = bitcast double* %0 to <2 x double>*
%12 = load <2 x double>, <2 x double>* %11
%13 = bitcast [3 x double]* %6 to <2 x double>*
store <2 x double> %12, <2 x double>* %13
%14 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 2
%15 = getelementptr inbounds double, double* %0, i64 2
%16 = load double, double* %15
store double %16, double* %14
%17 = bitcast [3 x double]* %7 to i8*
%18 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 0
%19 = getelementptr inbounds double, double* %0, i64 3
%20 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 1
%21 = getelementptr inbounds double, double* %0, i64 4
%22 = bitcast double* %19 to <2 x double>*
%23 = load <2 x double>, <2 x double>* %22
%24 = bitcast [3 x double]* %7 to <2 x double>*
store <2 x double> %23, <2 x double>* %24
%25 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 2
%26 = getelementptr inbounds double, double* %0, i64 5
%27 = load double, double* %26
store double %27, double* %25
%28 = fmul <2 x double> %12, %12
%29 = shufflevector <2 x double> %28, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%30 = fadd <2 x double> %28, %29
%31 = extractelement <2 x double> %30, i64 0
%32 = fmul double %16, %16
%33 = fadd double %31, %32
%34 = tail call double @sqrt(double %33)
%35 = call i32 (double*, double*, i32, ...) bitcast (i32 (...)* @DOT to i32 (double*, double*, i32, ...)*)(double* %18, double* %18, i32 3)
%36 = sitofp i32 %35 to double
%37 = call i32 (double*, double*, i32, ...) bitcast (i32 (...)* @DOT to i32 (double*, double*, i32, ...)*)(double* %9, double* %18, i32 3)
%38 = sitofp i32 %37 to double
%39 = fmul double %2, 2.000000e+00
%40 = fdiv double %39, %34
%41 = fsub double %40, %36
%42 = fdiv double %41, %2
%43 = call double @sqrt(double %2)
%44 = fdiv double %38, %43
%45 = fcmp ult double %42, 0x3D719799812DEA11
br i1 %45, label %55, label %46
46: ; preds = %5
%47 = fmul double %1, %2
%48 = fmul double %47, %42
%49 = call double @sqrt(double %48)
%50 = fadd double %42, -1.000000e+00
%51 = call double @llvm.fabs.f64(double %50)
%52 = fcmp ogt double %51, 0x3D719799812DEA11
br i1 %52, label %53, label %118
53: ; preds = %46
%54 = fmul double %49, 0x3FEF0A3D70A3D70A
br label %118
55: ; preds = %5
%56 = call double @llvm.fabs.f64(double %42)
%57 = fcmp olt double %56, 0x3D719799812DEA11
br i1 %57, label %58, label %99
58: ; preds = %55
%59 = bitcast [3 x double]* %6 to <2 x double>*
%60 = load <2 x double>, <2 x double>* %59
%61 = shufflevector <2 x double> %60, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%62 = load double, double* %18
%63 = bitcast double* %20 to <2 x double>*
%64 = load <2 x double>, <2 x double>* %63
%65 = shufflevector <2 x double> %64, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%66 = load double, double* %14
%67 = insertelement <2 x double> %60, double %66, i64 0
%68 = fneg <2 x double> %67
%69 = extractelement <2 x double> %68, i64 0
%70 = fmul double %62, %69
%71 = extractelement <2 x double> %60, i64 0
%72 = extractelement <2 x double> %64, i64 1
%73 = call double @llvm.fmuladd.f64(double %71, double %72, double %70)
%74 = fmul double %73, %73
%75 = insertelement <2 x double> %64, double %62, i64 1
%76 = fmul <2 x double> %75, %68
%77 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %61, <2 x double> %65, <2 x double> %76)
%78 = fmul <2 x double> %77, %77
%79 = extractelement <2 x double> %78, i64 1
%80 = fadd double %79, %74
%81 = extractelement <2 x double> %78, i64 0
%82 = fadd double %81, %80
%83 = fdiv double %82, %2
%84 = call double @pow(double %83, double 3.000000e+00)
%85 = fdiv double %2, %84
%86 = call double @sqrt(double %85)
%87 = fmul double %86, 3.000000e+00
%88 = fmul double %87, %1
%89 = call double @atan2(double 1.000000e+00, double %88)
%90 = fmul double %89, 5.000000e-01
%91 = call double @tan(double %90)
%92 = call double @pow(double %91, double 0x3FD5555555555555)
%93 = call double @atan(double %92)
%94 = call double @sqrt(double %83)
%95 = fmul double %94, 2.000000e+00
%96 = fmul double %93, 2.000000e+00
%97 = call double @tan(double %96)
%98 = fdiv double %95, %97
br label %118
99: ; preds = %55
%100 = call double @llvm.fabs.f64(double %1)
%101 = fdiv double %1, %100
%102 = fdiv double -1.000000e+00, %42
%103 = call double @sqrt(double %102)
%104 = fmul double %101, %103
%105 = fmul double %2, -2.000000e+00
%106 = fmul double %105, %42
%107 = fmul double %106, %1
%108 = fneg double %2
%109 = fmul double %42, %108
%110 = call double @sqrt(double %109)
%111 = fmul double %101, %110
%112 = fneg double %34
%113 = call double @llvm.fmuladd.f64(double %112, double %42, double 1.000000e+00)
%114 = call double @llvm.fmuladd.f64(double %111, double %113, double %38)
%115 = fdiv double %107, %114
%116 = call double @log(double %115)
%117 = fmul double %104, %116
br label %118
118: ; preds = %58, %99, %46, %53
%119 = phi double [ %54, %53 ], [ %49, %46 ], [ %98, %58 ], [ %117, %99 ]
%120 = phi double [ %42, %53 ], [ %42, %46 ], [ 0.000000e+00, %58 ], [ %42, %99 ]
%121 = call double @llvm.fabs.f64(double %119)
%122 = call double @llvm.fabs.f64(double %34)
%123 = fcmp ogt double %121, %122
%124 = select i1 %123, double %121, double %122
%125 = fmul double %124, 1.000000e+01
%126 = fneg double %44
%127 = fneg double %34
%128 = insertelement <2 x double> poison, double %34, i64 1
br label %129
129: ; preds = %164, %118
%130 = phi double [ %125, %118 ], [ %207, %164 ]
%131 = phi double [ undef, %118 ], [ %152, %164 ]
%132 = phi double [ undef, %118 ], [ %197, %164 ]
%133 = phi double [ undef, %118 ], [ %191, %164 ]
%134 = phi double [ %34, %118 ], [ %206, %164 ]
%135 = phi i32 [ 0, %118 ], [ %209, %164 ]
%136 = phi double [ %119, %118 ], [ %208, %164 ]
%137 = call double @llvm.fabs.f64(double %130)
%138 = call double @llvm.fabs.f64(double %136)
%139 = call double @llvm.fabs.f64(double %134)
%140 = fcmp ogt double %138, %139
%141 = select i1 %140, double %138, double %139
%142 = call double @log(double %141)
%143 = fdiv double %142, 0x3FE62E42FEFA39EF
%144 = fadd double %143, -5.200000e+01
%145 = call double @exp2(double %144)
%146 = fmul double %145, %4
%147 = fcmp ogt double %137, %146
%148 = icmp ult i32 %135, 1000
%149 = select i1 %147, i1 %148, i1 false
br i1 %149, label %150, label %210
150: ; preds = %129
%151 = fmul double %136, %136
%152 = fmul double %120, %151
%153 = call double @llvm.fabs.f64(double %152)
%154 = call double @sqrt(double %153)
%155 = fcmp ult double %152, 0.000000e+00
br i1 %155, label %160, label %156
156: ; preds = %150
%157 = call double @cos(double %154)
%158 = call double @sin(double %154)
%159 = fsub double %154, %158
br label %164
160: ; preds = %150
%161 = call double @cosh(double %154)
%162 = call double @sinh(double %154)
%163 = fsub double %162, %154
br label %164
164: ; preds = %160, %156
%165 = phi double [ %163, %160 ], [ %159, %156 ]
%166 = phi double [ %161, %160 ], [ %157, %156 ]
%167 = call double @pow(double %154, double 3.000000e+00)
%168 = fsub double 1.000000e+00, %166
%169 = insertelement <2 x double> poison, double %165, i64 0
%170 = insertelement <2 x double> %169, double %168, i64 1
%171 = insertelement <2 x double> poison, double %167, i64 0
%172 = insertelement <2 x double> %171, double %152, i64 1
%173 = fdiv <2 x double> %170, %172
%174 = shufflevector <2 x double> %173, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%175 = fadd <2 x double> %173, %174
%176 = extractelement <2 x double> %175, i64 0
%177 = fcmp oeq double %176, 0.000000e+00
%178 = insertelement <2 x i1> poison, i1 %177, i64 0
%179 = shufflevector <2 x i1> %178, <2 x i1> poison, <2 x i32> zeroinitializer
%180 = select <2 x i1> %179, <2 x double> <double 0x3FC5555555555555, double 5.000000e-01>, <2 x double> %173
%181 = fmul double %44, %136
%182 = fneg double %152
%183 = insertelement <2 x double> poison, double %182, i64 0
%184 = shufflevector <2 x double> %183, <2 x double> poison, <2 x i32> zeroinitializer
%185 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %184, <2 x double> %180, <2 x double> <double 1.000000e+00, double 1.000000e+00>)
%186 = extractelement <2 x double> %185, i64 0
%187 = fmul double %181, %186
%188 = call double @sqrt(double %2)
%189 = call double @pow(double %136, double 3.000000e+00)
%190 = fneg double %189
%191 = extractelement <2 x double> %180, i64 0
%192 = fmul double %191, %190
%193 = call double @llvm.fmuladd.f64(double %188, double %1, double %192)
%194 = fmul double %151, %126
%195 = insertelement <2 x double> poison, double %194, i64 0
%196 = insertelement <2 x double> %195, double %151, i64 1
%197 = extractelement <2 x double> %180, i64 1
%198 = shufflevector <2 x double> %180, <2 x double> undef, <2 x i32> <i32 1, i32 1>
%199 = insertelement <2 x double> poison, double %193, i64 0
%200 = insertelement <2 x double> %199, double %187, i64 1
%201 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %196, <2 x double> %198, <2 x double> %200)
%202 = fmul double %136, %127
%203 = insertelement <2 x double> %128, double %202, i64 0
%204 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %203, <2 x double> %185, <2 x double> %201)
%205 = extractelement <2 x double> %204, i64 0
%206 = extractelement <2 x double> %204, i64 1
%207 = fdiv double %205, %206
%208 = fadd double %136, %207
%209 = add nuw nsw i32 %135, 1
br label %129
210: ; preds = %129
%211 = icmp eq i32 %135, 1000
br i1 %211, label %259, label %212
212: ; preds = %210
%213 = fneg double %136
%214 = fmul double %136, %213
%215 = fdiv double %214, %34
%216 = call double @llvm.fmuladd.f64(double %215, double %132, double 1.000000e+00)
%217 = call double @pow(double %136, double 3.000000e+00)
%218 = call double @sqrt(double %2)
%219 = fneg double %217
%220 = fdiv double %219, %218
%221 = call double @llvm.fmuladd.f64(double %220, double %133, double %1)
%222 = call double @sqrt(double %2)
%223 = fdiv double %222, %134
%224 = fdiv double %223, %34
%225 = call double @llvm.fmuladd.f64(double %131, double %133, double -1.000000e+00)
%226 = fdiv double %214, %134
%227 = load double, double* %0
%228 = load double, double* %19
%229 = fmul double %221, %228
%230 = call double @llvm.fmuladd.f64(double %227, double %216, double %229)
store double %230, double* %3
%231 = load double, double* %10
%232 = load double, double* %21
%233 = fmul double %221, %232
%234 = call double @llvm.fmuladd.f64(double %231, double %216, double %233)
%235 = getelementptr inbounds double, double* %3, i64 1
store double %234, double* %235
%236 = load double, double* %15
%237 = load double, double* %26
%238 = fmul double %221, %237
%239 = call double @llvm.fmuladd.f64(double %236, double %216, double %238)
%240 = getelementptr inbounds double, double* %3, i64 2
store double %239, double* %240
%241 = fmul double %136, %224
%242 = fmul double %225, %241
%243 = call double @llvm.fmuladd.f64(double %226, double %132, double 1.000000e+00)
%244 = load double, double* %0
%245 = load double, double* %19
%246 = fmul double %243, %245
%247 = call double @llvm.fmuladd.f64(double %244, double %242, double %246)
%248 = getelementptr inbounds double, double* %3, i64 3
store double %247, double* %248
%249 = load double, double* %10
%250 = load double, double* %21
%251 = fmul double %243, %250
%252 = call double @llvm.fmuladd.f64(double %249, double %242, double %251)
%253 = getelementptr inbounds double, double* %3, i64 4
store double %252, double* %253
%254 = load double, double* %15
%255 = load double, double* %26
%256 = fmul double %243, %255
%257 = call double @llvm.fmuladd.f64(double %254, double %242, double %256)
%258 = getelementptr inbounds double, double* %3, i64 5
store double %257, double* %258
br label %259
259: ; preds = %212, %210
%260 = phi i32 [ -3, %210 ], [ 0, %212 ]
ret i32 %260
}