#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 fabs(double const);
double const pow(double const, double const);
double sin(double);
double sqrt(double);
int exactE(const double xIN, const double yIN, double *H, double *M, double *mu,
           double *ub, double *vb) {
  const double L = 750000.0;
  const double M0 = 0.3 / 31556926.0;
  const double g = 9.81;
  const double rho = 910.0;
  const double n = 3.0;
  const double A = 1.0E-16 / 31556926.0;
  const double Gamma = 2 * pow(rho * g, n) * A / (n + 2);
  const double mu_max = 2.5e-11;
  const double r1 = 200e3, r2 = 700e3, theta1 = 10 * (3.14159265358979 / 180),
               theta2 = 40 * (3.14159265358979 / 180);
  const double rbot = (r2 - r1) * (r2 - r1),
               thetabot = (theta2 - theta1) * (theta2 - theta1);
  double x = fabs(xIN), y = fabs(yIN), sgnx = 1.0, sgny = 1.0, r, theta;
  double m, q, C, chi;
  double mufactor, dchidr, P, dhdr, h_x, h_y, d2hdr2, dmudr, Mb;
  r = sqrt(x * x + y * y);
  if (xIN < 0)
    sgnx = -1.0;
  if (yIN < 0)
    sgny = -1.0;
  if (r < L) {
    m = 2.0 * n + 2.0;
    q = 1.0 + 1.0 / n;
    C = pow(pow(2.0, n - 1) * M0 / Gamma, 1.0 / m);
    chi = pow(L, q) - pow(r, q);
    *H = C * pow(chi, n / m);
    if (x < 1.0)
      theta = 3.14159265358979 / 2.0;
    else
      theta = atan(y / x);
    if ((r <= r1) || (r >= r2) || (theta <= theta1) || (theta >= theta2)) {
      *M = M0;
      *mu = 0.0;
      *ub = 0.0;
      *vb = 0.0;
    } else {
      mufactor =
          mu_max * (4.0 * (theta - theta1) * (theta2 - theta) / thetabot);
      *mu = mufactor * (4.0 * (r - r1) * (r2 - r) / rbot);
      dchidr = -q * pow(r, 1.0 / n);
      dhdr = ((n * C) / m) * pow(chi, (n - m) / m) * dchidr;
      P = rho * g * (*H);
      h_x = dhdr * cos(theta);
      h_y = dhdr * sin(theta);
      *ub = sgnx * (-(*mu) * P * h_x);
      *vb = sgny * (-(*mu) * P * h_y);
      d2hdr2 = dhdr * (-((n + 2.0) / m) * dchidr / chi + 1.0 / (n * r));
      dmudr = mufactor * 4.0 * (r1 + r2 - 2.0 * r) / rbot;
      Mb = -P * (((*mu) / r) * (*H) * dhdr + dmudr * (*H) * dhdr +
                 2.0 * (*mu) * dhdr * dhdr + (*mu) * (*H) * d2hdr2);
      *M = M0 + Mb;
    }
  } else {
    *H = 0.0;
    *M = M0;
    *mu = 0.0;
    *ub = 0.0;
    *vb = 0.0;
  }
  return 0;
}


x86 assembly (clang, -O0):
<exactE>:
push   %rbp
mov    %rsp,%rbp
sub    $0x170,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
mov    %rdi,-0x18(%rbp)
mov    %rsi,-0x20(%rbp)
mov    %rdx,-0x28(%rbp)
mov    %rcx,-0x30(%rbp)
mov    %r8,-0x38(%rbp)
movsd  0xeff(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xeea(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xed5(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xec0(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xeab(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xe86(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xe89(%rip),%xmm0
movsd  0xe89(%rip),%xmm1
call   1060 <pow@plt>
movaps %xmm0,%xmm1
movsd  0xe69(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  0xe55(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe41(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xe28(%rip),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  0xe13(%rip),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0xdfe(%rip),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xde6(%rip),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0xdce(%rip),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  0xdb6(%rip),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  0xd9e(%rip),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
movaps 0xe42(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movaps 0xe2a(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  0xd56(%rip),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  0xd46(%rip),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0xb0(%rbp),%xmm0
ff
movsd  -0xb0(%rbp),%xmm2
ff
movsd  -0xb8(%rbp),%xmm1
ff
mulsd  -0xb8(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1070 <sqrt@plt>
movsd  %xmm0,-0xd0(%rbp)
ff
xorps  %xmm0,%xmm0
ucomisd -0x8(%rbp),%xmm0
jbe    1315 <exactE+0x1c5>
movsd  0xd7b(%rip),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    1333 <exactE+0x1e3>
movsd  0xd5d(%rip),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  0xd45(%rip),%xmm0
ucomisd -0xd0(%rbp),%xmm0
ff
jbe    18f2 <exactE+0x7a2>
movsd  0xd47(%rip),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  0xd2f(%rip),%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  0xcdf(%rip),%xmm1
movaps %xmm1,%xmm0
call   1060 <pow@plt>
movsd  0xcf7(%rip),%xmm1
mulsd  %xmm1,%xmm0
divsd  -0x70(%rbp),%xmm0
movsd  0xc6e(%rip),%xmm1
divsd  -0xe0(%rbp),%xmm1
ff
call   1060 <pow@plt>
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0xe8(%rbp),%xmm1
ff
movsd  0xcc9(%rip),%xmm0
call   1060 <pow@plt>
movsd  %xmm0,-0x150(%rbp)
ff
movsd  -0xd0(%rbp),%xmm0
ff
movsd  -0xe8(%rbp),%xmm1
ff
call   1060 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x150(%rbp),%xmm0
ff
subsd  %xmm1,%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0xf0(%rbp),%xmm0
ff
movsd  %xmm0,-0x148(%rbp)
ff
movsd  -0xf8(%rbp),%xmm0
ff
movsd  0xc50(%rip),%xmm1
divsd  -0xe0(%rbp),%xmm1
ff
call   1060 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x148(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  0xbc4(%rip),%xmm0
ucomisd -0xb0(%rbp),%xmm0
ff
jbe    145f <exactE+0x30f>
movsd  0xc4e(%rip),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
jmp    147c <exactE+0x32c>
movsd  -0xb8(%rbp),%xmm0
ff
divsd  -0xb0(%rbp),%xmm0
ff
call   1040 <atan@plt>
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  0xbac(%rip),%xmm0
ucomisd -0xd0(%rbp),%xmm0
ff
jae    14dc <exactE+0x38c>
movsd  -0xd0(%rbp),%xmm0
ff
movsd  0xb86(%rip),%xmm1
ucomisd %xmm1,%xmm0
jae    14dc <exactE+0x38c>
movsd  0xb6c(%rip),%xmm0
ucomisd -0xd8(%rbp),%xmm0
ff
jae    14dc <exactE+0x38c>
movsd  -0xd8(%rbp),%xmm0
ff
movsd  0xb46(%rip),%xmm1
ucomisd %xmm1,%xmm0
jb     1512 <exactE+0x3c2>
mov    -0x20(%rbp),%rax
movsd  0xb90(%rip),%xmm0
movsd  %xmm0,(%rax)
mov    -0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
jmp    18ed <exactE+0x79d>
movsd  -0xd8(%rbp),%xmm0
ff
movsd  0xafe(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xb82(%rip),%xmm1
mulsd  %xmm0,%xmm1
movsd  0xade(%rip),%xmm0
subsd  -0xd8(%rbp),%xmm0
ff
mulsd  %xmm0,%xmm1
movsd  0xaba(%rip),%xmm0
divsd  %xmm0,%xmm1
movsd  0xade(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0x100(%rbp),%xmm0
ff
movsd  -0xd0(%rbp),%xmm2
ff
movsd  0xab2(%rip),%xmm1
subsd  %xmm1,%xmm2
movsd  0xb26(%rip),%xmm1
mulsd  %xmm2,%xmm1
movsd  0xa92(%rip),%xmm2
subsd  -0xd0(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm1
movsd  0xa66(%rip),%xmm2
divsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0xe8(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x170(%rbp)
ff
movsd  -0xd0(%rbp),%xmm0
ff
movsd  0xac7(%rip),%xmm1
call   1060 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x170(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
movsd  0xa4b(%rip),%xmm0
mulsd  -0xf0(%rbp),%xmm0
ff
divsd  -0xe0(%rbp),%xmm0
ff
movsd  %xmm0,-0x168(%rbp)
ff
movsd  -0xf8(%rbp),%xmm0
ff
movsd  0xa23(%rip),%xmm1
subsd  -0xe0(%rbp),%xmm1
ff
divsd  -0xe0(%rbp),%xmm1
ff
call   1060 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x168(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
mulsd  -0x108(%rbp),%xmm0
ff
movsd  %xmm0,-0x118(%rbp)
ff
mov    -0x18(%rbp),%rax
movsd  0x9db(%rip),%xmm0
mulsd  (%rax),%xmm0
movsd  %xmm0,-0x110(%rbp)
ff
movsd  -0x118(%rbp),%xmm0
ff
movsd  %xmm0,-0x160(%rbp)
ff
movsd  -0xd8(%rbp),%xmm0
ff
call   1050 <cos@plt>
movaps %xmm0,%xmm1
movsd  -0x160(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x120(%rbp)
ff
movsd  -0x118(%rbp),%xmm0
ff
movsd  %xmm0,-0x158(%rbp)
ff
movsd  -0xd8(%rbp),%xmm0
ff
call   1030 <sin@plt>
movaps %xmm0,%xmm1
movsd  -0x158(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x128(%rbp)
ff
movsd  -0xc0(%rbp),%xmm0
ff
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  -0x110(%rbp),%xmm1
ff
mulsd  -0x120(%rbp),%xmm1
ff
mulsd  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0xc8(%rbp),%xmm0
ff
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  -0x110(%rbp),%xmm1
ff
mulsd  -0x128(%rbp),%xmm1
ff
mulsd  %xmm1,%xmm0
mov    -0x38(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x118(%rbp),%xmm0
ff
movsd  0x8b9(%rip),%xmm1
divsd  -0xe0(%rbp),%xmm1
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  -0x108(%rbp),%xmm1
ff
divsd  -0xf8(%rbp),%xmm1
ff
movsd  0x8a2(%rip),%xmm3
mulsd  -0xd0(%rbp),%xmm3
ff
movsd  0x832(%rip),%xmm2
divsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x130(%rbp)
ff
movsd  0x8c6(%rip),%xmm0
mulsd  -0x100(%rbp),%xmm0
ff
movsd  -0xd0(%rbp),%xmm2
ff
addsd  %xmm2,%xmm2
movsd  0x8a2(%rip),%xmm1
subsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  0x7fa(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x138(%rbp)
ff
movsd  -0x110(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm1
divsd  -0xd0(%rbp),%xmm1
ff
mov    -0x18(%rbp),%rax
mulsd  (%rax),%xmm1
movsd  -0x118(%rbp),%xmm3
ff
movsd  -0x138(%rbp),%xmm2
ff
mov    -0x18(%rbp),%rax
mulsd  (%rax),%xmm2
mulsd  -0x118(%rbp),%xmm2
ff
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mov    -0x28(%rbp),%rax
movsd  0x7c3(%rip),%xmm2
mulsd  (%rax),%xmm2
mulsd  -0x118(%rbp),%xmm2
ff
movsd  -0x118(%rbp),%xmm3
ff
mulsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x18(%rbp),%rax
mulsd  (%rax),%xmm1
movsd  -0x130(%rbp),%xmm3
ff
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x140(%rbp)
ff
movsd  0x79b(%rip),%xmm0
addsd  -0x140(%rbp),%xmm0
ff
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    192e <exactE+0x7de>
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
movsd  0x76f(%rip),%xmm0
movsd  %xmm0,(%rax)
mov    -0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x30(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x38(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
xor    %eax,%eax
add    $0x170,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<exactE>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x70,%rsp
mov    %r8,%r12
mov    %rcx,%r13
mov    %rdx,%rbx
mov    %rsi,%r14
mov    %rdi,%r15
movapd %xmm0,%xmm2
movapd %xmm1,0x60(%rsp)
mulsd  %xmm1,%xmm1
mulsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
movapd %xmm2,0x30(%rsp)
jb     1198 <exactE+0x48>
sqrtsd %xmm0,%xmm0
jmp    11a3 <exactE+0x53>
call   1070 <sqrt@plt>
movapd 0x30(%rsp),%xmm2
movsd  0xe55(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    1220 <exactE+0xd0>
movapd 0xf17(%rip),%xmm1
andpd  %xmm2,%xmm1
movapd %xmm1,0x20(%rsp)
movsd  0xe3d(%rip),%xmm1
movsd  %xmm0,0x18(%rsp)
call   1060 <pow@plt>
movsd  0xe32(%rip),%xmm2
subsd  %xmm0,%xmm2
movsd  0xe2e(%rip),%xmm1
movsd  %xmm2,0x10(%rsp)
movapd %xmm2,%xmm0
call   1060 <pow@plt>
mulsd  0xe1f(%rip),%xmm0
movsd  %xmm0,(%r15)
movsd  0xe22(%rip),%xmm0
ucomisd 0x20(%rsp),%xmm0
jbe    122c <exactE+0xdc>
movsd  0xe0a(%rip),%xmm2
jmp    1249 <exactE+0xf9>
movq   $0x0,(%r15)
jmp    14df <exactE+0x38f>
movapd 0x60(%rsp),%xmm0
divsd  0x30(%rsp),%xmm0
andpd  0xe90(%rip),%xmm0
call   1040 <atan@plt>
movapd %xmm0,%xmm2
movsd  0xde7(%rip),%xmm1
movsd  0x18(%rsp),%xmm0
ucomisd %xmm0,%xmm1
jae    14df <exactE+0x38f>
ucomisd 0xdd7(%rip),%xmm0
jae    14df <exactE+0x38f>
movsd  0xdd1(%rip),%xmm1
ucomisd %xmm2,%xmm1
jae    14df <exactE+0x38f>
ucomisd 0xdc7(%rip),%xmm2
jae    14df <exactE+0x38f>
movsd  0xdc1(%rip),%xmm1
addsd  %xmm2,%xmm1
movapd %xmm2,%xmm4
movsd  %xmm2,0x8(%rsp)
movsd  0xdb3(%rip),%xmm2
mulsd  %xmm2,%xmm1
movapd %xmm2,%xmm3
movsd  0xd93(%rip),%xmm2
subsd  %xmm4,%xmm2
mulsd  %xmm1,%xmm2
divsd  0xd9b(%rip),%xmm2
mulsd  0xd9b(%rip),%xmm2
movapd %xmm2,%xmm4
movsd  %xmm2,0x58(%rsp)
movsd  0xd91(%rip),%xmm2
addsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm2
movsd  0xd49(%rip),%xmm1
subsd  %xmm0,%xmm1
mulsd  %xmm2,%xmm1
divsd  0xd79(%rip),%xmm1
mulsd  %xmm4,%xmm1
movsd  %xmm1,(%rbx)
movsd  0xd71(%rip),%xmm1
call   1060 <pow@plt>
mulsd  0xd6c(%rip),%xmm0
movsd  %xmm0,0x20(%rsp)
movsd  0xd66(%rip),%xmm1
movsd  0x10(%rsp),%xmm0
call   1060 <pow@plt>
mulsd  0xd5b(%rip),%xmm0
mulsd  0x20(%rsp),%xmm0
movsd  %xmm0,(%rsp)
movsd  (%r15),%xmm0
mulsd  0xd4b(%rip),%xmm0
movsd  %xmm0,0x50(%rsp)
movsd  0x8(%rsp),%xmm0
call   1050 <cos@plt>
mulsd  (%rsp),%xmm0
movsd  %xmm0,0x48(%rsp)
movsd  0x8(%rsp),%xmm0
call   1030 <sin@plt>
movsd  (%rbx),%xmm2
movapd 0xd50(%rip),%xmm1
xorpd  %xmm1,%xmm2
movsd  0x50(%rsp),%xmm6
mulsd  %xmm6,%xmm2
mulsd  0x48(%rsp),%xmm2
xorpd  %xmm3,%xmm3
movapd 0x30(%rsp),%xmm5
cmpltsd %xmm3,%xmm5
movapd %xmm5,%xmm4
andnpd %xmm2,%xmm4
xorpd  %xmm1,%xmm2
andpd  %xmm5,%xmm2
orpd   %xmm4,%xmm2
movsd  (%rsp),%xmm7
mulsd  %xmm7,%xmm0
movlpd %xmm2,0x0(%r13)
movsd  (%rbx),%xmm2
xorpd  %xmm1,%xmm2
mulsd  %xmm6,%xmm2
movapd %xmm6,%xmm5
mulsd  %xmm0,%xmm2
xorpd  %xmm2,%xmm1
movapd 0x60(%rsp),%xmm4
cmpltsd %xmm3,%xmm4
movapd %xmm4,%xmm0
andnpd %xmm2,%xmm0
andpd  %xmm1,%xmm4
orpd   %xmm0,%xmm4
movlpd %xmm4,(%r12)
movsd  0x20(%rsp),%xmm0
mulsd  0xc7b(%rip),%xmm0
divsd  0x10(%rsp),%xmm0
movapd %xmm0,%xmm2
movsd  0xc81(%rip),%xmm0
movsd  0x18(%rsp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xbef(%rip),%xmm4
divsd  %xmm0,%xmm4
addsd  %xmm2,%xmm4
movsd  0x58(%rsp),%xmm2
mulsd  0xc09(%rip),%xmm2
movapd %xmm1,%xmm0
movapd %xmm1,%xmm3
addsd  %xmm1,%xmm0
movsd  0xc4d(%rip),%xmm1
subsd  %xmm0,%xmm1
movapd %xmm7,%xmm6
mulsd  %xmm7,%xmm4
mulsd  %xmm2,%xmm1
divsd  0xbfd(%rip),%xmm1
movsd  (%rbx),%xmm0
movapd %xmm0,%xmm2
divsd  %xmm3,%xmm2
movsd  (%r15),%xmm3
mulsd  %xmm3,%xmm2
mulsd  %xmm3,%xmm1
mulsd  %xmm7,%xmm1
mulsd  %xmm7,%xmm2
addsd  %xmm1,%xmm2
movapd %xmm0,%xmm1
addsd  %xmm0,%xmm1
mulsd  %xmm7,%xmm1
mulsd  %xmm7,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm3,%xmm0
mulsd  %xmm4,%xmm0
addsd  %xmm1,%xmm0
mulsd  %xmm5,%xmm0
movsd  0xbec(%rip),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%r14)
jmp    1503 <exactE+0x3b3>
movabs $0x3e446a53246ee1a5,%rax
6a 44 3e
mov    %rax,(%r14)
movq   $0x0,(%rbx)
movq   $0x0,0x0(%r13)
movq   $0x0,(%r12)
xor    %eax,%eax
add    $0x70,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @exactE(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
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = alloca double
%28 = alloca double
%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 double
%40 = alloca double
%41 = alloca double
%42 = alloca double
%43 = alloca double
%44 = alloca double
%45 = alloca double
%46 = alloca double
%47 = 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
store double 7.500000e+05, double* %15
store double 0x3E446A53246EE1A5, double* %16
store double 9.810000e+00, double* %17
store double 9.100000e+02, double* %18
store double 3.000000e+00, double* %19
store double 0x3B0EA5C21302C416, double* %20
%48 = call double @pow(double 8.927100e+03, double 3.000000e+00)
%49 = fmul double 2.000000e+00, %48
%50 = fmul double %49, 0x3B0EA5C21302C416
%51 = fdiv double %50, 5.000000e+00
store double %51, double* %21
store double 2.500000e-11, double* %22
store double 2.000000e+05, double* %23
store double 7.000000e+05, double* %24
store double 0x3FC657184AE74481, double* %25
store double 0x3FE657184AE74481, double* %26
store double 2.500000e+11, double* %27
store double 0x3FD18BC4418CAFD9, double* %28
%52 = load double, double* %8
%53 = call double @llvm.fabs.f64(double %52)
store double %53, double* %29
%54 = load double, double* %9
%55 = call double @llvm.fabs.f64(double %54)
store double %55, double* %30
store double 1.000000e+00, double* %31
store double 1.000000e+00, double* %32
%56 = load double, double* %29
%57 = load double, double* %29
%58 = load double, double* %30
%59 = load double, double* %30
%60 = fmul double %58, %59
%61 = call double @llvm.fmuladd.f64(double %56, double %57, double %60)
%62 = call double @sqrt(double %61)
store double %62, double* %33
%63 = load double, double* %8
%64 = fcmp olt double %63, 0.000000e+00
br i1 %64, label %65, label %66
65: ; preds = %7
store double -1.000000e+00, double* %31
br label %66
66: ; preds = %65, %7
%67 = load double, double* %9
%68 = fcmp olt double %67, 0.000000e+00
br i1 %68, label %69, label %70
69: ; preds = %66
store double -1.000000e+00, double* %32
br label %70
70: ; preds = %69, %66
%71 = load double, double* %33
%72 = fcmp olt double %71, 7.500000e+05
br i1 %72, label %73, label %242
73: ; preds = %70
store double 8.000000e+00, double* %35
store double 0x3FF5555555555555, double* %36
%74 = call double @pow(double 2.000000e+00, double 2.000000e+00)
%75 = fmul double %74, 0x3E446A53246EE1A5
%76 = load double, double* %21
%77 = fdiv double %75, %76
%78 = load double, double* %35
%79 = fdiv double 1.000000e+00, %78
%80 = call double @pow(double %77, double %79)
store double %80, double* %37
%81 = load double, double* %36
%82 = call double @pow(double 7.500000e+05, double %81)
%83 = load double, double* %33
%84 = load double, double* %36
%85 = call double @pow(double %83, double %84)
%86 = fsub double %82, %85
store double %86, double* %38
%87 = load double, double* %37
%88 = load double, double* %38
%89 = load double, double* %35
%90 = fdiv double 3.000000e+00, %89
%91 = call double @pow(double %88, double %90)
%92 = fmul double %87, %91
%93 = load double*, double** %10
store double %92, double* %93
%94 = load double, double* %29
%95 = fcmp olt double %94, 1.000000e+00
br i1 %95, label %96, label %97
96: ; preds = %73
store double 0x3FF921FB54442D11, double* %34
br label %102
97: ; preds = %73
%98 = load double, double* %30
%99 = load double, double* %29
%100 = fdiv double %98, %99
%101 = call double @atan(double %100)
store double %101, double* %34
br label %102
102: ; preds = %97, %96
%103 = load double, double* %33
%104 = fcmp ole double %103, 2.000000e+05
br i1 %104, label %114, label %105
105: ; preds = %102
%106 = load double, double* %33
%107 = fcmp oge double %106, 7.000000e+05
br i1 %107, label %114, label %108
108: ; preds = %105
%109 = load double, double* %34
%110 = fcmp ole double %109, 0x3FC657184AE74481
br i1 %110, label %114, label %111
111: ; preds = %108
%112 = load double, double* %34
%113 = fcmp oge double %112, 0x3FE657184AE74481
br i1 %113, label %114, label %119
114: ; preds = %111, %108, %105, %102
%115 = load double*, double** %11
store double 0x3E446A53246EE1A5, double* %115
%116 = load double*, double** %12
store double 0.000000e+00, double* %116
%117 = load double*, double** %13
store double 0.000000e+00, double* %117
%118 = load double*, double** %14
store double 0.000000e+00, double* %118
br label %241
119: ; preds = %111
%120 = load double, double* %34
%121 = fsub double %120, 0x3FC657184AE74481
%122 = fmul double 4.000000e+00, %121
%123 = load double, double* %34
%124 = fsub double 0x3FE657184AE74481, %123
%125 = fmul double %122, %124
%126 = fdiv double %125, 0x3FD18BC4418CAFD9
%127 = fmul double 2.500000e-11, %126
store double %127, double* %39
%128 = load double, double* %39
%129 = load double, double* %33
%130 = fsub double %129, 2.000000e+05
%131 = fmul double 4.000000e+00, %130
%132 = load double, double* %33
%133 = fsub double 7.000000e+05, %132
%134 = fmul double %131, %133
%135 = fdiv double %134, 2.500000e+11
%136 = fmul double %128, %135
%137 = load double*, double** %12
store double %136, double* %137
%138 = load double, double* %36
%139 = fneg double %138
%140 = load double, double* %33
%141 = call double @pow(double %140, double 0x3FD5555555555555)
%142 = fmul double %139, %141
store double %142, double* %40
%143 = load double, double* %37
%144 = fmul double 3.000000e+00, %143
%145 = load double, double* %35
%146 = fdiv double %144, %145
%147 = load double, double* %38
%148 = load double, double* %35
%149 = fsub double 3.000000e+00, %148
%150 = load double, double* %35
%151 = fdiv double %149, %150
%152 = call double @pow(double %147, double %151)
%153 = fmul double %146, %152
%154 = load double, double* %40
%155 = fmul double %153, %154
store double %155, double* %42
%156 = load double*, double** %10
%157 = load double, double* %156
%158 = fmul double 8.927100e+03, %157
store double %158, double* %41
%159 = load double, double* %42
%160 = load double, double* %34
%161 = call double @cos(double %160)
%162 = fmul double %159, %161
store double %162, double* %43
%163 = load double, double* %42
%164 = load double, double* %34
%165 = call double @sin(double %164)
%166 = fmul double %163, %165
store double %166, double* %44
%167 = load double, double* %31
%168 = load double*, double** %12
%169 = load double, double* %168
%170 = fneg double %169
%171 = load double, double* %41
%172 = fmul double %170, %171
%173 = load double, double* %43
%174 = fmul double %172, %173
%175 = fmul double %167, %174
%176 = load double*, double** %13
store double %175, double* %176
%177 = load double, double* %32
%178 = load double*, double** %12
%179 = load double, double* %178
%180 = fneg double %179
%181 = load double, double* %41
%182 = fmul double %180, %181
%183 = load double, double* %44
%184 = fmul double %182, %183
%185 = fmul double %177, %184
%186 = load double*, double** %14
store double %185, double* %186
%187 = load double, double* %42
%188 = load double, double* %35
%189 = fdiv double 5.000000e+00, %188
%190 = fneg double %189
%191 = load double, double* %40
%192 = fmul double %190, %191
%193 = load double, double* %38
%194 = fdiv double %192, %193
%195 = load double, double* %33
%196 = fmul double 3.000000e+00, %195
%197 = fdiv double 1.000000e+00, %196
%198 = fadd double %194, %197
%199 = fmul double %187, %198
store double %199, double* %45
%200 = load double, double* %39
%201 = fmul double %200, 4.000000e+00
%202 = load double, double* %33
%203 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %202, double 9.000000e+05)
%204 = fmul double %201, %203
%205 = fdiv double %204, 2.500000e+11
store double %205, double* %46
%206 = load double, double* %41
%207 = fneg double %206
%208 = load double*, double** %12
%209 = load double, double* %208
%210 = load double, double* %33
%211 = fdiv double %209, %210
%212 = load double*, double** %10
%213 = load double, double* %212
%214 = fmul double %211, %213
%215 = load double, double* %42
%216 = load double, double* %46
%217 = load double*, double** %10
%218 = load double, double* %217
%219 = fmul double %216, %218
%220 = load double, double* %42
%221 = fmul double %219, %220
%222 = call double @llvm.fmuladd.f64(double %214, double %215, double %221)
%223 = load double*, double** %12
%224 = load double, double* %223
%225 = fmul double 2.000000e+00, %224
%226 = load double, double* %42
%227 = fmul double %225, %226
%228 = load double, double* %42
%229 = call double @llvm.fmuladd.f64(double %227, double %228, double %222)
%230 = load double*, double** %12
%231 = load double, double* %230
%232 = load double*, double** %10
%233 = load double, double* %232
%234 = fmul double %231, %233
%235 = load double, double* %45
%236 = call double @llvm.fmuladd.f64(double %234, double %235, double %229)
%237 = fmul double %207, %236
store double %237, double* %47
%238 = load double, double* %47
%239 = fadd double 0x3E446A53246EE1A5, %238
%240 = load double*, double** %11
store double %239, double* %240
br label %241
241: ; preds = %119, %114
br label %248
242: ; preds = %70
%243 = load double*, double** %10
store double 0.000000e+00, double* %243
%244 = load double*, double** %11
store double 0x3E446A53246EE1A5, double* %244
%245 = load double*, double** %12
store double 0.000000e+00, double* %245
%246 = load double*, double** %13
store double 0.000000e+00, double* %246
%247 = load double*, double** %14
store double 0.000000e+00, double* %247
br label %248
248: ; preds = %242, %241
ret i32 0
}

LLVM IR (-O2):
define i32 @exactE(double %0, double %1, double* nocapture %2, double* nocapture writeonly %3, double* nocapture %4, double* nocapture writeonly %5, double* nocapture writeonly %6) {
%8 = fmul double %1, %1
%9 = tail call double @llvm.fmuladd.f64(double %0, double %0, double %8)
%10 = tail call double @sqrt(double %9)
%11 = fcmp olt double %0, 0.000000e+00
%12 = fcmp olt double %1, 0.000000e+00
%13 = fcmp olt double %10, 7.500000e+05
br i1 %13, label %14, label %95
14: ; preds = %7
%15 = tail call double @llvm.fabs.f64(double %0)
%16 = tail call double @pow(double %10, double 0x3FF5555555555555)
%17 = fsub double 0x41903F0F18ECC10C, %16
%18 = tail call double @pow(double %17, double 3.750000e-01)
%19 = fmul double %18, 0x400E48B689D1AB63
store double %19, double* %2
%20 = fcmp olt double %15, 1.000000e+00
br i1 %20, label %25, label %21
21: ; preds = %14
%22 = fdiv double %1, %0
%23 = tail call double @llvm.fabs.f64(double %22)
%24 = tail call double @atan(double %23)
br label %25
25: ; preds = %14, %21
%26 = phi double [ %24, %21 ], [ 0x3FF921FB54442D11, %14 ]
%27 = fcmp ole double %10, 2.000000e+05
%28 = fcmp oge double %10, 7.000000e+05
%29 = or i1 %27, %28
%30 = fcmp ole double %26, 0x3FC657184AE74481
%31 = select i1 %29, i1 true, i1 %30
%32 = fcmp oge double %26, 0x3FE657184AE74481
%33 = select i1 %31, i1 true, i1 %32
br i1 %33, label %34, label %35
34: ; preds = %25
store double 0x3E446A53246EE1A5, double* %3
store double 0.000000e+00, double* %4
store double 0.000000e+00, double* %5
store double 0.000000e+00, double* %6
br label %96
35: ; preds = %25
%36 = fadd double %26, 0xBFC657184AE74481
%37 = fmul double %36, 4.000000e+00
%38 = fsub double 0x3FE657184AE74481, %26
%39 = fmul double %38, %37
%40 = fdiv double %39, 0x3FD18BC4418CAFD9
%41 = fmul double %40, 2.500000e-11
%42 = fadd double %10, -2.000000e+05
%43 = fmul double %42, 4.000000e+00
%44 = fsub double 7.000000e+05, %10
%45 = fmul double %44, %43
%46 = fdiv double %45, 2.500000e+11
%47 = fmul double %46, %41
store double %47, double* %4
%48 = tail call double @pow(double %10, double 0x3FD5555555555555)
%49 = fmul double %48, 0xBFF5555555555555
%50 = tail call double @pow(double %17, double -6.250000e-01)
%51 = fmul double %50, 0x3FF6B688E75D408A
%52 = fmul double %49, %51
%53 = load double, double* %2
%54 = fmul double %53, 8.927100e+03
%55 = tail call double @cos(double %26)
%56 = fmul double %52, %55
%57 = tail call double @sin(double %26)
%58 = fmul double %52, %57
%59 = load double, double* %4
%60 = fneg double %59
%61 = fmul double %54, %60
%62 = fmul double %56, %61
%63 = fneg double %62
%64 = select i1 %11, double %63, double %62
store double %64, double* %5
%65 = load double, double* %4
%66 = fneg double %65
%67 = fmul double %54, %66
%68 = fmul double %58, %67
%69 = fneg double %68
%70 = select i1 %12, double %69, double %68
store double %70, double* %6
%71 = fmul double %49, 6.250000e-01
%72 = fdiv double %71, %17
%73 = fmul double %10, 3.000000e+00
%74 = fdiv double 1.000000e+00, %73
%75 = fsub double %74, %72
%76 = fmul double %52, %75
%77 = fmul double %41, 4.000000e+00
%78 = tail call double @llvm.fmuladd.f64(double %10, double -2.000000e+00, double 9.000000e+05)
%79 = fmul double %78, %77
%80 = fdiv double %79, 2.500000e+11
%81 = load double, double* %4
%82 = fdiv double %81, %10
%83 = load double, double* %2
%84 = fmul double %82, %83
%85 = fmul double %80, %83
%86 = fmul double %52, %85
%87 = tail call double @llvm.fmuladd.f64(double %84, double %52, double %86)
%88 = fmul double %81, 2.000000e+00
%89 = fmul double %52, %88
%90 = tail call double @llvm.fmuladd.f64(double %89, double %52, double %87)
%91 = fmul double %81, %83
%92 = tail call double @llvm.fmuladd.f64(double %91, double %76, double %90)
%93 = fmul double %54, %92
%94 = fsub double 0x3E446A53246EE1A5, %93
store double %94, double* %3
br label %96
95: ; preds = %7
store double 0.000000e+00, double* %2
store double 0x3E446A53246EE1A5, double* %3
store double 0.000000e+00, double* %4
store double 0.000000e+00, double* %5
store double 0.000000e+00, double* %6
br label %96
96: ; preds = %34, %35, %95
ret i32 0
}