#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 carlson_elliptic_rc(double, double);
double carlson_elliptic_rf(double, double, double);
double fabs(double);
double sqrt(double);
double carlson_elliptic_rj(double x, double y, double z, double p) {
  double a, alamb, alpha, ans, ave, b, beta, delp, delx, dely, delz, ea, eb, ec,
      ed, ee, fac, pt, rcx, rho, sqrtx, sqrty, sqrtz, sum, tau, xt, yt, zt;
  sum = 0.0;
  fac = 1.0;
  if (p > 0.0) {
    xt = x;
    yt = y;
    zt = z;
    pt = p;
    a = b = rcx = 0.0;
  } else {
    xt = ((((x) < (y) ? (x) : (y))) < (z) ? (((x) < (y) ? (x) : (y))) : (z));
    zt = ((((x) > (y) ? (x) : (y))) > (z) ? (((x) > (y) ? (x) : (y))) : (z));
    yt = x + y + z - xt - zt;
    a = 1.0 / (yt - p);
    b = a * (zt - yt) * (yt - xt);
    pt = yt + b;
    rho = xt * zt / yt;
    tau = p * pt / yt;
    rcx = carlson_elliptic_rc(rho, tau);
  }
  do {
    sqrtx = sqrt(xt);
    sqrty = sqrt(yt);
    sqrtz = sqrt(zt);
    alamb = sqrtx * (sqrty + sqrtz) + sqrty * sqrtz;
    alpha = ((pt * (sqrtx + sqrty + sqrtz) + sqrtx * sqrty * sqrtz) *
             (pt * (sqrtx + sqrty + sqrtz) + sqrtx * sqrty * sqrtz));
    beta = pt * ((pt + alamb) * (pt + alamb));
    sum += fac * carlson_elliptic_rc(alpha, beta);
    fac = 0.25 * fac;
    xt = 0.25 * (xt + alamb);
    yt = 0.25 * (yt + alamb);
    zt = 0.25 * (zt + alamb);
    pt = 0.25 * (pt + alamb);
    ave = 0.2 * (xt + yt + zt + pt + pt);
    delx = (ave - xt) / ave;
    dely = (ave - yt) / ave;
    delz = (ave - zt) / ave;
    delp = (ave - pt) / ave;
  } while (fabs(delx) > 0.0015 || fabs(dely) > 0.0015 || fabs(delz) > 0.0015 ||
           fabs(delp) > 0.0015);
  ea = delx * (dely + delz) + dely * delz;
  eb = delx * dely * delz;
  ec = delp * delp;
  ed = ea - 3.0 * ec;
  ee = eb + 2.0 * delp * (ea - ec);
  ans =
      3.0 * sum +
      fac *
          (1.0 +
           ed * (-(3.0 / 14.0) + (0.75 * (3.0 / 22.0)) * ed -
                 (1.5 * (3.0 / 26.0)) * ee) +
           eb * ((0.5 * (1.0 / 3.0)) + delp * (-((3.0 / 22.0) + (3.0 / 22.0)) +
                                               delp * (3.0 / 26.0))) +
           delp * ea * ((1.0 / 3.0) - delp * (3.0 / 22.0)) -
           (1.0 / 3.0) * delp * ec) /
          (ave * sqrt(ave));
  if (p <= 0.0)
    ans = a * (b * ans + 3.0 * (rcx - carlson_elliptic_rf(xt, yt, zt)));
  return (ans);
}


x86 assembly (clang, -O0):
<carlson_elliptic_rj>:
push   %rbp
mov    %rsp,%rbp
sub    $0x180,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  0xe9e(%rip),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    11d0 <carlson_elliptic_rj+0xa0>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
jmp    1408 <carlson_elliptic_rj+0x2d8>
movsd  -0x8(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11f6 <carlson_elliptic_rj+0xc6>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
jmp    1203 <carlson_elliptic_rj+0xd3>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
movsd  -0x108(%rbp),%xmm1
ff
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1262 <carlson_elliptic_rj+0x132>
movsd  -0x8(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1240 <carlson_elliptic_rj+0x110>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x110(%rbp)
ff
jmp    124d <carlson_elliptic_rj+0x11d>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x110(%rbp)
ff
movsd  -0x110(%rbp),%xmm0
ff
movsd  %xmm0,-0x118(%rbp)
ff
jmp    126f <carlson_elliptic_rj+0x13f>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x118(%rbp)
ff
movsd  -0x118(%rbp),%xmm0
ff
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    12a1 <carlson_elliptic_rj+0x171>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x120(%rbp)
ff
jmp    12ae <carlson_elliptic_rj+0x17e>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x120(%rbp)
ff
movsd  -0x120(%rbp),%xmm0
ff
ucomisd -0x18(%rbp),%xmm0
jbe    1305 <carlson_elliptic_rj+0x1d5>
movsd  -0x8(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    12e3 <carlson_elliptic_rj+0x1b3>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x128(%rbp)
ff
jmp    12f0 <carlson_elliptic_rj+0x1c0>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x128(%rbp)
ff
movsd  -0x128(%rbp),%xmm0
ff
movsd  %xmm0,-0x130(%rbp)
ff
jmp    1312 <carlson_elliptic_rj+0x1e2>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x130(%rbp)
ff
movsd  -0x130(%rbp),%xmm0
ff
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0x8(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
addsd  -0x18(%rbp),%xmm0
subsd  -0xf0(%rbp),%xmm0
ff
subsd  -0x100(%rbp),%xmm0
ff
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0xf8(%rbp),%xmm1
ff
subsd  -0x20(%rbp),%xmm1
movsd  0xca2(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x100(%rbp),%xmm1
ff
subsd  -0xf8(%rbp),%xmm1
ff
mulsd  %xmm1,%xmm0
movsd  -0xf8(%rbp),%xmm1
ff
subsd  -0xf0(%rbp),%xmm1
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0xf8(%rbp),%xmm0
ff
addsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0xf0(%rbp),%xmm0
ff
mulsd  -0x100(%rbp),%xmm0
ff
divsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
mulsd  -0xb0(%rbp),%xmm0
ff
divsd  -0xf8(%rbp),%xmm0
ff
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  -0xc0(%rbp),%xmm0
ff
movsd  -0xe8(%rbp),%xmm1
ff
call   1050 <carlson_elliptic_rc@plt>
movsd  %xmm0,-0xb8(%rbp)
ff
jmp    140d <carlson_elliptic_rj+0x2dd>
movsd  -0xf0(%rbp),%xmm0
ff
call   1040 <sqrt@plt>
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0xf8(%rbp),%xmm0
ff
call   1040 <sqrt@plt>
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x100(%rbp),%xmm0
ff
call   1040 <sqrt@plt>
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0xc8(%rbp),%xmm0
ff
movsd  -0xd0(%rbp),%xmm2
ff
addsd  -0xd8(%rbp),%xmm2
ff
movsd  -0xd0(%rbp),%xmm1
ff
mulsd  -0xd8(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0xb0(%rbp),%xmm0
ff
movsd  -0xc8(%rbp),%xmm2
ff
addsd  -0xd0(%rbp),%xmm2
ff
addsd  -0xd8(%rbp),%xmm2
ff
movsd  -0xc8(%rbp),%xmm1
ff
mulsd  -0xd0(%rbp),%xmm1
ff
mulsd  -0xd8(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0xb0(%rbp),%xmm1
ff
movsd  -0xc8(%rbp),%xmm3
ff
addsd  -0xd0(%rbp),%xmm3
ff
addsd  -0xd8(%rbp),%xmm3
ff
movsd  -0xc8(%rbp),%xmm2
ff
mulsd  -0xd0(%rbp),%xmm2
ff
mulsd  -0xd8(%rbp),%xmm2
ff
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0xb0(%rbp),%xmm0
ff
movsd  -0xb0(%rbp),%xmm1
ff
addsd  -0x30(%rbp),%xmm1
movsd  -0xb0(%rbp),%xmm2
ff
addsd  -0x30(%rbp),%xmm2
mulsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0x138(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm1
call   1050 <carlson_elliptic_rc@plt>
movaps %xmm0,%xmm2
movsd  -0x138(%rbp),%xmm0
ff
movsd  -0xe0(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  0xa8d(%rip),%xmm0
mulsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0xf0(%rbp),%xmm1
ff
addsd  -0x30(%rbp),%xmm1
movsd  0xa68(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0xf8(%rbp),%xmm1
ff
addsd  -0x30(%rbp),%xmm1
movsd  0xa47(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0x100(%rbp),%xmm1
ff
addsd  -0x30(%rbp),%xmm1
movsd  0xa26(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0xb0(%rbp),%xmm1
ff
addsd  -0x30(%rbp),%xmm1
movsd  0xa05(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0xf0(%rbp),%xmm1
ff
addsd  -0xf8(%rbp),%xmm1
ff
addsd  -0x100(%rbp),%xmm1
ff
addsd  -0xb0(%rbp),%xmm1
ff
addsd  -0xb0(%rbp),%xmm1
ff
movsd  0x9c1(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
subsd  -0xf0(%rbp),%xmm0
ff
divsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x48(%rbp),%xmm0
subsd  -0xf8(%rbp),%xmm0
ff
divsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x48(%rbp),%xmm0
subsd  -0x100(%rbp),%xmm0
ff
divsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x48(%rbp),%xmm0
subsd  -0xb0(%rbp),%xmm0
ff
divsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x68(%rbp),%xmm0
movaps 0x9c8(%rip),%xmm1
pand   %xmm1,%xmm0
mov    $0x1,%al
movsd  0x952(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x139(%rbp)
ja     174f <carlson_elliptic_rj+0x61f>
movsd  -0x70(%rbp),%xmm0
movaps 0x99e(%rip),%xmm1
pand   %xmm1,%xmm0
mov    $0x1,%al
movsd  0x928(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x139(%rbp)
ja     174f <carlson_elliptic_rj+0x61f>
movsd  -0x78(%rbp),%xmm0
movaps 0x974(%rip),%xmm1
pand   %xmm1,%xmm0
mov    $0x1,%al
movsd  0x8fe(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x139(%rbp)
ja     174f <carlson_elliptic_rj+0x61f>
movsd  -0x60(%rbp),%xmm0
movaps 0x94a(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0x8d6(%rip),%xmm1
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x139(%rbp)
mov    -0x139(%rbp),%al
test   $0x1,%al
jne    140d <carlson_elliptic_rj+0x2dd>
movsd  -0x68(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
addsd  -0x78(%rbp),%xmm2
movsd  -0x70(%rbp),%xmm1
mulsd  -0x78(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x68(%rbp),%xmm0
mulsd  -0x70(%rbp),%xmm0
mulsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
mulsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x80(%rbp),%xmm1
movsd  -0x90(%rbp),%xmm0
ff
movsd  0x8af(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x88(%rbp),%xmm1
ff
movsd  0x887(%rip),%xmm0
mulsd  -0x60(%rbp),%xmm0
movsd  -0x80(%rbp),%xmm2
subsd  -0x90(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0xe0(%rbp),%xmm0
ff
movsd  %xmm0,-0x148(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
movsd  -0x98(%rbp),%xmm2
ff
movsd  -0x98(%rbp),%xmm3
ff
movsd  0x825(%rip),%xmm1
mulsd  %xmm1,%xmm3
movsd  0x821(%rip),%xmm1
addsd  %xmm1,%xmm3
movsd  -0xa0(%rbp),%xmm1
ff
movsd  0x7fd(%rip),%xmm4
mulsd  %xmm4,%xmm1
addsd  %xmm3,%xmm1
mulsd  %xmm1,%xmm2
movsd  0x799(%rip),%xmm1
addsd  %xmm1,%xmm2
movsd  -0x88(%rbp),%xmm1
ff
movsd  -0x60(%rbp),%xmm3
movsd  -0x60(%rbp),%xmm4
movsd  0x7bb(%rip),%xmm5
mulsd  %xmm5,%xmm4
movsd  0x7b7(%rip),%xmm5
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm3
movsd  0x797(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
movsd  -0x60(%rbp),%xmm2
mulsd  -0x80(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm3
movq   %xmm3,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm3
movsd  0x755(%rip),%xmm4
mulsd  %xmm4,%xmm3
movsd  0x741(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
movsd  0x72d(%rip),%xmm1
mulsd  -0x60(%rbp),%xmm1
movsd  -0x90(%rbp),%xmm3
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x150(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x158(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
call   1040 <sqrt@plt>
movsd  -0x158(%rbp),%xmm2
ff
movsd  -0x150(%rbp),%xmm1
ff
movaps %xmm0,%xmm3
movsd  -0x148(%rbp),%xmm0
ff
mulsd  %xmm3,%xmm2
divsd  %xmm2,%xmm1
movsd  0x6ab(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x20(%rbp),%xmm0
jb     1a28 <carlson_elliptic_rj+0x8f8>
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x160(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x170(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x168(%rbp)
ff
movsd  -0xb8(%rbp),%xmm0
ff
movsd  %xmm0,-0x178(%rbp)
ff
movsd  -0xf0(%rbp),%xmm0
ff
movsd  -0xf8(%rbp),%xmm1
ff
movsd  -0x100(%rbp),%xmm2
ff
call   1030 <carlson_elliptic_rf@plt>
movsd  -0x178(%rbp),%xmm4
ff
movsd  -0x170(%rbp),%xmm1
ff
movsd  -0x168(%rbp),%xmm3
ff
movaps %xmm0,%xmm2
movsd  -0x160(%rbp),%xmm0
ff
subsd  %xmm2,%xmm4
movsd  0x60d(%rip),%xmm2
mulsd  %xmm4,%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
add    $0x180,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<carlson_elliptic_rj>:
sub    $0x98,%rsp
movapd %xmm0,%xmm12
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm3
movapd %xmm3,0x80(%rsp)
jbe    1180 <carlson_elliptic_rj+0x50>
unpcklpd %xmm3,%xmm2
movapd %xmm2,(%rsp)
unpcklpd %xmm1,%xmm12
xorpd  %xmm0,%xmm0
movsd  %xmm0,0x40(%rsp)
xorpd  %xmm0,%xmm0
movapd %xmm0,0x70(%rsp)
xorpd  %xmm0,%xmm0
movsd  %xmm0,0x48(%rsp)
jmp    1251 <carlson_elliptic_rj+0x121>
movapd %xmm12,%xmm0
minsd  %xmm1,%xmm0
minsd  %xmm2,%xmm0
movapd %xmm0,%xmm5
movapd %xmm12,%xmm4
maxsd  %xmm1,%xmm4
maxsd  %xmm2,%xmm4
addsd  %xmm1,%xmm12
addsd  %xmm2,%xmm12
subsd  %xmm0,%xmm12
subsd  %xmm4,%xmm12
movapd %xmm12,0x10(%rsp)
movapd %xmm12,%xmm0
subsd  %xmm3,%xmm0
movsd  0xe36(%rip),%xmm1
divsd  %xmm0,%xmm1
movapd %xmm4,%xmm0
movapd %xmm4,0x20(%rsp)
subsd  %xmm12,%xmm0
movsd  %xmm1,0x48(%rsp)
mulsd  %xmm1,%xmm0
movapd %xmm12,%xmm1
movapd %xmm5,(%rsp)
subsd  %xmm5,%xmm1
mulsd  %xmm0,%xmm1
movapd %xmm12,%xmm2
movapd %xmm1,0x70(%rsp)
addsd  %xmm1,%xmm2
movapd %xmm2,0x30(%rsp)
movapd %xmm5,%xmm0
mulsd  %xmm4,%xmm0
divsd  %xmm12,%xmm0
movapd %xmm2,%xmm1
mulsd  %xmm3,%xmm1
divsd  %xmm12,%xmm1
call   1050 <carlson_elliptic_rc@plt>
movsd  %xmm0,0x40(%rsp)
movapd 0x20(%rsp),%xmm0
unpcklpd 0x30(%rsp),%xmm0
movapd (%rsp),%xmm12
unpcklpd 0x10(%rsp),%xmm12
movapd %xmm0,(%rsp)
movsd  0xda6(%rip),%xmm11
xorpd  %xmm10,%xmm10
jmp    13da <carlson_elliptic_rj+0x2aa>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movapd %xmm1,%xmm0
movsd  %xmm5,0x60(%rsp)
call   1040 <sqrt@plt>
movsd  0x60(%rsp),%xmm5
movapd 0x10(%rsp),%xmm3
movsd  0x50(%rsp),%xmm4
movapd %xmm5,%xmm1
addsd  %xmm0,%xmm1
movapd %xmm5,%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm4,%xmm1
addsd  %xmm2,%xmm1
movapd %xmm4,%xmm2
addsd  %xmm5,%xmm2
addsd  %xmm0,%xmm2
mulsd  %xmm5,%xmm4
mulsd  %xmm0,%xmm4
movapd (%rsp),%xmm5
movapd %xmm5,%xmm0
unpckhpd %xmm5,%xmm0
mulsd  %xmm0,%xmm2
addsd  %xmm4,%xmm2
mulsd  %xmm2,%xmm2
unpcklpd %xmm1,%xmm1
addpd  %xmm1,%xmm3
movapd %xmm3,0x10(%rsp)
addpd  %xmm1,%xmm5
movapd %xmm5,(%rsp)
movapd %xmm5,%xmm1
unpckhpd %xmm5,%xmm1
mulsd  %xmm1,%xmm1
mulsd  %xmm0,%xmm1
movapd %xmm2,%xmm0
call   1050 <carlson_elliptic_rc@plt>
movapd 0x10(%rsp),%xmm12
movsd  0x30(%rsp),%xmm11
mulsd  %xmm11,%xmm0
movsd  0x20(%rsp),%xmm10
addsd  %xmm0,%xmm10
mulsd  0xcda(%rip),%xmm11
movapd 0xd4a(%rip),%xmm0
movapd (%rsp),%xmm2
mulpd  %xmm0,%xmm2
mulpd  %xmm0,%xmm12
movapd %xmm12,%xmm1
unpckhpd %xmm12,%xmm1
movapd %xmm12,%xmm7
addsd  %xmm1,%xmm7
addsd  %xmm2,%xmm7
movapd %xmm2,%xmm0
unpckhpd %xmm2,%xmm0
addsd  %xmm0,%xmm7
addsd  %xmm0,%xmm7
mulsd  0xc9d(%rip),%xmm7
movapd %xmm7,%xmm3
unpcklpd %xmm7,%xmm3
movapd %xmm3,%xmm6
movapd %xmm2,(%rsp)
subpd  %xmm2,%xmm6
movapd %xmm3,%xmm2
subpd  %xmm12,%xmm2
divpd  %xmm3,%xmm2
divpd  %xmm3,%xmm6
movapd %xmm6,%xmm0
movapd 0xceb(%rip),%xmm4
andpd  %xmm4,%xmm0
movapd %xmm2,%xmm3
andpd  %xmm4,%xmm3
movapd 0xce7(%rip),%xmm5
movapd %xmm5,%xmm4
cmpltpd %xmm0,%xmm4
movapd %xmm5,%xmm0
cmpltpd %xmm3,%xmm0
packssdw %xmm4,%xmm0
movmskps %xmm0,%eax
test   %eax,%eax
je     147d <carlson_elliptic_rj+0x34d>
ucomisd 0xc8d(%rip),%xmm12
movapd %xmm12,0x10(%rsp)
movsd  %xmm10,0x20(%rsp)
movsd  %xmm11,0x30(%rsp)
jb     1410 <carlson_elliptic_rj+0x2e0>
xorps  %xmm1,%xmm1
sqrtsd %xmm12,%xmm1
jmp    1425 <carlson_elliptic_rj+0x2f5>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movapd %xmm12,%xmm0
call   1040 <sqrt@plt>
movapd 0x10(%rsp),%xmm12
movapd %xmm0,%xmm1
movapd %xmm12,%xmm0
unpckhpd %xmm12,%xmm0
ucomisd 0xc39(%rip),%xmm0
movsd  %xmm1,0x50(%rsp)
jb     1450 <carlson_elliptic_rj+0x320>
xorps  %xmm5,%xmm5
sqrtsd %xmm0,%xmm5
jmp    1459 <carlson_elliptic_rj+0x329>
nopl   0x0(%rax,%rax,1)
call   1040 <sqrt@plt>
movapd %xmm0,%xmm5
movapd (%rsp),%xmm1
ucomisd 0xc0a(%rip),%xmm1
movapd %xmm1,(%rsp)
jb     1270 <carlson_elliptic_rj+0x140>
xorps  %xmm0,%xmm0
sqrtsd %xmm1,%xmm0
jmp    1285 <carlson_elliptic_rj+0x155>
movapd %xmm2,%xmm3
unpckhpd %xmm2,%xmm3
movapd %xmm3,%xmm9
addsd  %xmm6,%xmm9
movapd %xmm3,%xmm4
mulsd  %xmm6,%xmm4
mulsd  %xmm2,%xmm9
addsd  %xmm4,%xmm9
mulsd  %xmm2,%xmm3
mulsd  %xmm6,%xmm3
unpckhpd %xmm6,%xmm6
movapd %xmm6,%xmm8
mulsd  %xmm6,%xmm8
movsd  0xb59(%rip),%xmm4
mulsd  %xmm8,%xmm4
addsd  %xmm9,%xmm4
movapd %xmm6,%xmm2
addsd  %xmm6,%xmm2
movapd %xmm9,%xmm0
subsd  %xmm8,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm3,%xmm0
movsd  0xb35(%rip),%xmm2
mulsd  %xmm4,%xmm2
addsd  0xb31(%rip),%xmm2
mulsd  0xb31(%rip),%xmm0
addsd  %xmm2,%xmm0
mulsd  %xmm4,%xmm0
addsd  0xaf1(%rip),%xmm0
movsd  0xb21(%rip),%xmm4
mulsd  %xmm6,%xmm4
addsd  0xb1d(%rip),%xmm4
mulsd  %xmm6,%xmm4
addsd  0xb19(%rip),%xmm4
mulsd  %xmm3,%xmm4
addsd  %xmm0,%xmm4
mulsd  %xmm6,%xmm9
movsd  0xb0c(%rip),%xmm3
mulsd  %xmm6,%xmm3
addsd  0xb08(%rip),%xmm3
mulsd  %xmm9,%xmm3
addsd  %xmm4,%xmm3
mulsd  0xaff(%rip),%xmm6
mulsd  %xmm8,%xmm6
addsd  %xmm3,%xmm6
mulsd  %xmm6,%xmm11
xorpd  %xmm4,%xmm4
ucomisd %xmm4,%xmm7
jb     1582 <carlson_elliptic_rj+0x452>
xorps  %xmm0,%xmm0
sqrtsd %xmm7,%xmm0
jmp    15d1 <carlson_elliptic_rj+0x4a1>
movapd %xmm7,%xmm0
movapd %xmm12,0x10(%rsp)
movsd  %xmm10,0x20(%rsp)
movsd  %xmm11,0x30(%rsp)
movapd %xmm1,0x50(%rsp)
movapd %xmm7,0x60(%rsp)
call   1040 <sqrt@plt>
xorpd  %xmm4,%xmm4
movapd 0x60(%rsp),%xmm7
movapd 0x50(%rsp),%xmm1
movsd  0x30(%rsp),%xmm11
movsd  0x20(%rsp),%xmm10
movapd 0x10(%rsp),%xmm12
movapd 0x80(%rsp),%xmm3
movapd (%rsp),%xmm2
mulsd  %xmm0,%xmm7
mulsd  0xa7c(%rip),%xmm10
divsd  %xmm7,%xmm11
addsd  %xmm11,%xmm10
ucomisd %xmm3,%xmm4
jb     163b <carlson_elliptic_rj+0x50b>
movapd %xmm12,%xmm0
movsd  %xmm10,0x20(%rsp)
call   1030 <carlson_elliptic_rf@plt>
movsd  0x40(%rsp),%xmm2
subsd  %xmm0,%xmm2
mulsd  0xa49(%rip),%xmm2
movapd 0x70(%rsp),%xmm1
mulsd  0x20(%rsp),%xmm1
addsd  %xmm2,%xmm1
movsd  0x48(%rsp),%xmm10
mulsd  %xmm1,%xmm10
movapd %xmm10,%xmm0
add    $0x98,%rsp
ret

LLVM IR (-O0):
define double @carlson_elliptic_rj(double %0, double %1, double %2, double %3) {
%5 = alloca double
%6 = alloca double
%7 = alloca double
%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
store double %0, double* %5
store double %1, double* %6
store double %2, double* %7
store double %3, double* %8
store double 0.000000e+00, double* %32
store double 1.000000e+00, double* %25
%37 = load double, double* %8
%38 = fcmp ogt double %37, 0.000000e+00
br i1 %38, label %39, label %44
39: ; preds = %4
%40 = load double, double* %5
store double %40, double* %34
%41 = load double, double* %6
store double %41, double* %35
%42 = load double, double* %7
store double %42, double* %36
%43 = load double, double* %8
store double %43, double* %26
store double 0.000000e+00, double* %27
store double 0.000000e+00, double* %14
store double 0.000000e+00, double* %9
br label %133
44: ; preds = %4
%45 = load double, double* %5
%46 = load double, double* %6
%47 = fcmp olt double %45, %46
br i1 %47, label %48, label %50
48: ; preds = %44
%49 = load double, double* %5
br label %52
50: ; preds = %44
%51 = load double, double* %6
br label %52
52: ; preds = %50, %48
%53 = phi double [ %49, %48 ], [ %51, %50 ]
%54 = load double, double* %7
%55 = fcmp olt double %53, %54
br i1 %55, label %56, label %66
56: ; preds = %52
%57 = load double, double* %5
%58 = load double, double* %6
%59 = fcmp olt double %57, %58
br i1 %59, label %60, label %62
60: ; preds = %56
%61 = load double, double* %5
br label %64
62: ; preds = %56
%63 = load double, double* %6
br label %64
64: ; preds = %62, %60
%65 = phi double [ %61, %60 ], [ %63, %62 ]
br label %68
66: ; preds = %52
%67 = load double, double* %7
br label %68
68: ; preds = %66, %64
%69 = phi double [ %65, %64 ], [ %67, %66 ]
store double %69, double* %34
%70 = load double, double* %5
%71 = load double, double* %6
%72 = fcmp ogt double %70, %71
br i1 %72, label %73, label %75
73: ; preds = %68
%74 = load double, double* %5
br label %77
75: ; preds = %68
%76 = load double, double* %6
br label %77
77: ; preds = %75, %73
%78 = phi double [ %74, %73 ], [ %76, %75 ]
%79 = load double, double* %7
%80 = fcmp ogt double %78, %79
br i1 %80, label %81, label %91
81: ; preds = %77
%82 = load double, double* %5
%83 = load double, double* %6
%84 = fcmp ogt double %82, %83
br i1 %84, label %85, label %87
85: ; preds = %81
%86 = load double, double* %5
br label %89
87: ; preds = %81
%88 = load double, double* %6
br label %89
89: ; preds = %87, %85
%90 = phi double [ %86, %85 ], [ %88, %87 ]
br label %93
91: ; preds = %77
%92 = load double, double* %7
br label %93
93: ; preds = %91, %89
%94 = phi double [ %90, %89 ], [ %92, %91 ]
store double %94, double* %36
%95 = load double, double* %5
%96 = load double, double* %6
%97 = fadd double %95, %96
%98 = load double, double* %7
%99 = fadd double %97, %98
%100 = load double, double* %34
%101 = fsub double %99, %100
%102 = load double, double* %36
%103 = fsub double %101, %102
store double %103, double* %35
%104 = load double, double* %35
%105 = load double, double* %8
%106 = fsub double %104, %105
%107 = fdiv double 1.000000e+00, %106
store double %107, double* %9
%108 = load double, double* %9
%109 = load double, double* %36
%110 = load double, double* %35
%111 = fsub double %109, %110
%112 = fmul double %108, %111
%113 = load double, double* %35
%114 = load double, double* %34
%115 = fsub double %113, %114
%116 = fmul double %112, %115
store double %116, double* %14
%117 = load double, double* %35
%118 = load double, double* %14
%119 = fadd double %117, %118
store double %119, double* %26
%120 = load double, double* %34
%121 = load double, double* %36
%122 = fmul double %120, %121
%123 = load double, double* %35
%124 = fdiv double %122, %123
store double %124, double* %28
%125 = load double, double* %8
%126 = load double, double* %26
%127 = fmul double %125, %126
%128 = load double, double* %35
%129 = fdiv double %127, %128
store double %129, double* %33
%130 = load double, double* %28
%131 = load double, double* %33
%132 = call double @carlson_elliptic_rc(double %130, double %131)
store double %132, double* %27
br label %133
133: ; preds = %93, %39
br label %134
134: ; preds = %253, %133
%135 = load double, double* %34
%136 = call double @sqrt(double %135)
store double %136, double* %29
%137 = load double, double* %35
%138 = call double @sqrt(double %137)
store double %138, double* %30
%139 = load double, double* %36
%140 = call double @sqrt(double %139)
store double %140, double* %31
%141 = load double, double* %29
%142 = load double, double* %30
%143 = load double, double* %31
%144 = fadd double %142, %143
%145 = load double, double* %30
%146 = load double, double* %31
%147 = fmul double %145, %146
%148 = call double @llvm.fmuladd.f64(double %141, double %144, double %147)
store double %148, double* %10
%149 = load double, double* %26
%150 = load double, double* %29
%151 = load double, double* %30
%152 = fadd double %150, %151
%153 = load double, double* %31
%154 = fadd double %152, %153
%155 = load double, double* %29
%156 = load double, double* %30
%157 = fmul double %155, %156
%158 = load double, double* %31
%159 = fmul double %157, %158
%160 = call double @llvm.fmuladd.f64(double %149, double %154, double %159)
%161 = load double, double* %26
%162 = load double, double* %29
%163 = load double, double* %30
%164 = fadd double %162, %163
%165 = load double, double* %31
%166 = fadd double %164, %165
%167 = load double, double* %29
%168 = load double, double* %30
%169 = fmul double %167, %168
%170 = load double, double* %31
%171 = fmul double %169, %170
%172 = call double @llvm.fmuladd.f64(double %161, double %166, double %171)
%173 = fmul double %160, %172
store double %173, double* %11
%174 = load double, double* %26
%175 = load double, double* %26
%176 = load double, double* %10
%177 = fadd double %175, %176
%178 = load double, double* %26
%179 = load double, double* %10
%180 = fadd double %178, %179
%181 = fmul double %177, %180
%182 = fmul double %174, %181
store double %182, double* %15
%183 = load double, double* %25
%184 = load double, double* %11
%185 = load double, double* %15
%186 = call double @carlson_elliptic_rc(double %184, double %185)
%187 = load double, double* %32
%188 = call double @llvm.fmuladd.f64(double %183, double %186, double %187)
store double %188, double* %32
%189 = load double, double* %25
%190 = fmul double 2.500000e-01, %189
store double %190, double* %25
%191 = load double, double* %34
%192 = load double, double* %10
%193 = fadd double %191, %192
%194 = fmul double 2.500000e-01, %193
store double %194, double* %34
%195 = load double, double* %35
%196 = load double, double* %10
%197 = fadd double %195, %196
%198 = fmul double 2.500000e-01, %197
store double %198, double* %35
%199 = load double, double* %36
%200 = load double, double* %10
%201 = fadd double %199, %200
%202 = fmul double 2.500000e-01, %201
store double %202, double* %36
%203 = load double, double* %26
%204 = load double, double* %10
%205 = fadd double %203, %204
%206 = fmul double 2.500000e-01, %205
store double %206, double* %26
%207 = load double, double* %34
%208 = load double, double* %35
%209 = fadd double %207, %208
%210 = load double, double* %36
%211 = fadd double %209, %210
%212 = load double, double* %26
%213 = fadd double %211, %212
%214 = load double, double* %26
%215 = fadd double %213, %214
%216 = fmul double 2.000000e-01, %215
store double %216, double* %13
%217 = load double, double* %13
%218 = load double, double* %34
%219 = fsub double %217, %218
%220 = load double, double* %13
%221 = fdiv double %219, %220
store double %221, double* %17
%222 = load double, double* %13
%223 = load double, double* %35
%224 = fsub double %222, %223
%225 = load double, double* %13
%226 = fdiv double %224, %225
store double %226, double* %18
%227 = load double, double* %13
%228 = load double, double* %36
%229 = fsub double %227, %228
%230 = load double, double* %13
%231 = fdiv double %229, %230
store double %231, double* %19
%232 = load double, double* %13
%233 = load double, double* %26
%234 = fsub double %232, %233
%235 = load double, double* %13
%236 = fdiv double %234, %235
store double %236, double* %16
br label %237
237: ; preds = %134
%238 = load double, double* %17
%239 = call double @llvm.fabs.f64(double %238)
%240 = fcmp ogt double %239, 1.500000e-03
br i1 %240, label %253, label %241
241: ; preds = %237
%242 = load double, double* %18
%243 = call double @llvm.fabs.f64(double %242)
%244 = fcmp ogt double %243, 1.500000e-03
br i1 %244, label %253, label %245
245: ; preds = %241
%246 = load double, double* %19
%247 = call double @llvm.fabs.f64(double %246)
%248 = fcmp ogt double %247, 1.500000e-03
br i1 %248, label %253, label %249
249: ; preds = %245
%250 = load double, double* %16
%251 = call double @llvm.fabs.f64(double %250)
%252 = fcmp ogt double %251, 1.500000e-03
br label %253
253: ; preds = %249, %245, %241, %237
%254 = phi i1 [ true, %245 ], [ true, %241 ], [ true, %237 ], [ %252, %249 ]
br i1 %254, label %134, label %255
255: ; preds = %253
%256 = load double, double* %17
%257 = load double, double* %18
%258 = load double, double* %19
%259 = fadd double %257, %258
%260 = load double, double* %18
%261 = load double, double* %19
%262 = fmul double %260, %261
%263 = call double @llvm.fmuladd.f64(double %256, double %259, double %262)
store double %263, double* %20
%264 = load double, double* %17
%265 = load double, double* %18
%266 = fmul double %264, %265
%267 = load double, double* %19
%268 = fmul double %266, %267
store double %268, double* %21
%269 = load double, double* %16
%270 = load double, double* %16
%271 = fmul double %269, %270
store double %271, double* %22
%272 = load double, double* %20
%273 = load double, double* %22
%274 = call double @llvm.fmuladd.f64(double -3.000000e+00, double %273, double %272)
store double %274, double* %23
%275 = load double, double* %21
%276 = load double, double* %16
%277 = fmul double 2.000000e+00, %276
%278 = load double, double* %20
%279 = load double, double* %22
%280 = fsub double %278, %279
%281 = call double @llvm.fmuladd.f64(double %277, double %280, double %275)
store double %281, double* %24
%282 = load double, double* %32
%283 = load double, double* %25
%284 = load double, double* %23
%285 = load double, double* %23
%286 = call double @llvm.fmuladd.f64(double 0x3FBA2E8BA2E8BA2E, double %285, double 0xBFCB6DB6DB6DB6DB)
%287 = load double, double* %24
%288 = call double @llvm.fmuladd.f64(double 0xBFC6276276276276, double %287, double %286)
%289 = call double @llvm.fmuladd.f64(double %284, double %288, double 1.000000e+00)
%290 = load double, double* %21
%291 = load double, double* %16
%292 = load double, double* %16
%293 = call double @llvm.fmuladd.f64(double %292, double 0x3FBD89D89D89D89E, double 0xBFD1745D1745D174)
%294 = call double @llvm.fmuladd.f64(double %291, double %293, double 0x3FC5555555555555)
%295 = call double @llvm.fmuladd.f64(double %290, double %294, double %289)
%296 = load double, double* %16
%297 = load double, double* %20
%298 = fmul double %296, %297
%299 = load double, double* %16
%300 = fneg double %299
%301 = call double @llvm.fmuladd.f64(double %300, double 0x3FC1745D1745D174, double 0x3FD5555555555555)
%302 = call double @llvm.fmuladd.f64(double %298, double %301, double %295)
%303 = load double, double* %16
%304 = fmul double 0x3FD5555555555555, %303
%305 = load double, double* %22
%306 = fneg double %304
%307 = call double @llvm.fmuladd.f64(double %306, double %305, double %302)
%308 = fmul double %283, %307
%309 = load double, double* %13
%310 = load double, double* %13
%311 = call double @sqrt(double %310)
%312 = fmul double %309, %311
%313 = fdiv double %308, %312
%314 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %282, double %313)
store double %314, double* %12
%315 = load double, double* %8
%316 = fcmp ole double %315, 0.000000e+00
br i1 %316, label %317, label %330
317: ; preds = %255
%318 = load double, double* %9
%319 = load double, double* %14
%320 = load double, double* %12
%321 = load double, double* %27
%322 = load double, double* %34
%323 = load double, double* %35
%324 = load double, double* %36
%325 = call double @carlson_elliptic_rf(double %322, double %323, double %324)
%326 = fsub double %321, %325
%327 = fmul double 3.000000e+00, %326
%328 = call double @llvm.fmuladd.f64(double %319, double %320, double %327)
%329 = fmul double %318, %328
store double %329, double* %12
br label %330
330: ; preds = %317, %255
%331 = load double, double* %12
ret double %331
}

LLVM IR (-O2):
define double @carlson_elliptic_rj(double %0, double %1, double %2, double %3) {
%5 = fcmp ogt double %3, 0.000000e+00
%6 = insertelement <4 x double> poison, double %0, i64 0
%7 = insertelement <4 x double> %6, double %1, i64 1
%8 = insertelement <4 x double> %7, double %2, i64 2
%9 = insertelement <4 x double> %8, double %3, i64 3
br i1 %5, label %39, label %10
10: ; preds = %4
%11 = fcmp olt double %0, %1
%12 = select i1 %11, double %0, double %1
%13 = fcmp olt double %12, %2
%14 = select i1 %13, double %12, double %2
%15 = fcmp ogt double %0, %1
%16 = select i1 %15, double %0, double %1
%17 = fcmp ogt double %16, %2
%18 = select i1 %17, double %16, double %2
%19 = fadd double %0, %1
%20 = fadd double %19, %2
%21 = fsub double %20, %14
%22 = fsub double %21, %18
%23 = fsub double %22, %3
%24 = fdiv double 1.000000e+00, %23
%25 = fsub double %18, %22
%26 = fmul double %25, %24
%27 = fsub double %22, %14
%28 = fmul double %27, %26
%29 = fadd double %22, %28
%30 = fmul double %14, %18
%31 = fdiv double %30, %22
%32 = fmul double %29, %3
%33 = fdiv double %32, %22
%34 = tail call double @carlson_elliptic_rc(double %31, double %33)
%35 = insertelement <4 x double> poison, double %14, i64 0
%36 = insertelement <4 x double> %35, double %22, i64 1
%37 = insertelement <4 x double> %36, double %18, i64 2
%38 = insertelement <4 x double> %37, double %29, i64 3
br label %39
39: ; preds = %4, %10
%40 = phi double [ %34, %10 ], [ 0.000000e+00, %4 ]
%41 = phi double [ %28, %10 ], [ 0.000000e+00, %4 ]
%42 = phi double [ %24, %10 ], [ 0.000000e+00, %4 ]
%43 = phi <4 x double> [ %38, %10 ], [ %9, %4 ]
br label %44
44: ; preds = %44, %39
%45 = phi double [ 1.000000e+00, %39 ], [ %72, %44 ]
%46 = phi double [ 0.000000e+00, %39 ], [ %71, %44 ]
%47 = phi <4 x double> [ %43, %39 ], [ %73, %44 ]
%48 = extractelement <4 x double> %47, i64 0
%49 = tail call double @sqrt(double %48)
%50 = extractelement <4 x double> %47, i64 1
%51 = tail call double @sqrt(double %50)
%52 = extractelement <4 x double> %47, i64 2
%53 = tail call double @sqrt(double %52)
%54 = fadd double %51, %53
%55 = fmul double %51, %53
%56 = tail call double @llvm.fmuladd.f64(double %49, double %54, double %55)
%57 = fadd double %49, %51
%58 = fadd double %57, %53
%59 = fmul double %49, %51
%60 = fmul double %59, %53
%61 = extractelement <4 x double> %47, i64 3
%62 = tail call double @llvm.fmuladd.f64(double %61, double %58, double %60)
%63 = fmul double %62, %62
%64 = insertelement <4 x double> poison, double %56, i64 0
%65 = shufflevector <4 x double> %64, <4 x double> poison, <4 x i32> zeroinitializer
%66 = fadd <4 x double> %47, %65
%67 = extractelement <4 x double> %66, i64 3
%68 = fmul double %67, %67
%69 = fmul double %61, %68
%70 = tail call double @carlson_elliptic_rc(double %63, double %69)
%71 = tail call double @llvm.fmuladd.f64(double %45, double %70, double %46)
%72 = fmul double %45, 2.500000e-01
%73 = fmul <4 x double> %66, <double 2.500000e-01, double 2.500000e-01, double 2.500000e-01, double 2.500000e-01>
%74 = extractelement <4 x double> %73, i64 0
%75 = extractelement <4 x double> %73, i64 1
%76 = fadd double %74, %75
%77 = extractelement <4 x double> %73, i64 2
%78 = fadd double %77, %76
%79 = extractelement <4 x double> %73, i64 3
%80 = fadd double %79, %78
%81 = fadd double %79, %80
%82 = fmul double %81, 2.000000e-01
%83 = insertelement <4 x double> poison, double %82, i64 0
%84 = shufflevector <4 x double> %83, <4 x double> poison, <4 x i32> zeroinitializer
%85 = fsub <4 x double> %84, %73
%86 = fdiv <4 x double> %85, %84
%87 = call <4 x double> @llvm.fabs.v4f64(<4 x double> %86)
%88 = freeze <4 x double> %87
%89 = fcmp ogt <4 x double> %88, <double 1.500000e-03, double 1.500000e-03, double 1.500000e-03, double 1.500000e-03>
%90 = bitcast <4 x i1> %89 to i4
%91 = icmp eq i4 %90, 0
br i1 %91, label %92, label %44
92: ; preds = %44
%93 = extractelement <4 x double> %73, i64 0
%94 = extractelement <4 x double> %73, i64 2
%95 = extractelement <4 x double> %86, i64 1
%96 = extractelement <4 x double> %86, i64 2
%97 = fadd double %95, %96
%98 = fmul double %95, %96
%99 = extractelement <4 x double> %86, i64 0
%100 = tail call double @llvm.fmuladd.f64(double %99, double %97, double %98)
%101 = fmul double %99, %95
%102 = fmul double %96, %101
%103 = extractelement <4 x double> %86, i64 3
%104 = fmul double %103, %103
%105 = tail call double @llvm.fmuladd.f64(double %104, double -3.000000e+00, double %100)
%106 = fmul double %103, 2.000000e+00
%107 = fsub double %100, %104
%108 = tail call double @llvm.fmuladd.f64(double %106, double %107, double %102)
%109 = tail call double @llvm.fmuladd.f64(double %105, double 0x3FBA2E8BA2E8BA2E, double 0xBFCB6DB6DB6DB6DB)
%110 = tail call double @llvm.fmuladd.f64(double %108, double 0xBFC6276276276276, double %109)
%111 = tail call double @llvm.fmuladd.f64(double %105, double %110, double 1.000000e+00)
%112 = tail call double @llvm.fmuladd.f64(double %103, double 0x3FBD89D89D89D89E, double 0xBFD1745D1745D174)
%113 = tail call double @llvm.fmuladd.f64(double %103, double %112, double 0x3FC5555555555555)
%114 = tail call double @llvm.fmuladd.f64(double %102, double %113, double %111)
%115 = fmul double %103, %100
%116 = fneg double %103
%117 = tail call double @llvm.fmuladd.f64(double %116, double 0x3FC1745D1745D174, double 0x3FD5555555555555)
%118 = tail call double @llvm.fmuladd.f64(double %115, double %117, double %114)
%119 = fmul double %103, 0xBFD5555555555555
%120 = tail call double @llvm.fmuladd.f64(double %119, double %104, double %118)
%121 = fmul double %72, %120
%122 = tail call double @sqrt(double %82)
%123 = fmul double %82, %122
%124 = fdiv double %121, %123
%125 = tail call double @llvm.fmuladd.f64(double %71, double 3.000000e+00, double %124)
%126 = fcmp ugt double %3, 0.000000e+00
br i1 %126, label %133, label %127
127: ; preds = %92
%128 = tail call double @carlson_elliptic_rf(double %93, double %75, double %94)
%129 = fsub double %40, %128
%130 = fmul double %129, 3.000000e+00
%131 = tail call double @llvm.fmuladd.f64(double %41, double %125, double %130)
%132 = fmul double %42, %131
br label %133
133: ; preds = %127, %92
%134 = phi double [ %132, %127 ], [ %125, %92 ]
ret double %134
}