double integral_fxifxixi(int i, int j, double x1t, double x1r, double x2t,
                         double x2r, double y1t, double y1r, double y2t,
                         double y2r) {
  switch (i) {
  case 0:
    switch (j) {
    case 1:
      return 0.25 * x1t * y1r;
    case 3:
      return -0.25 * x1t * y2r;
    case 4:
      return 0.2 * x1t;
    default:
      return 0.;
    }
  case 1:
    switch (j) {
    case 0:
      return -0.25 * x1r * y1t;
    case 1:
      return -0.125 * x1r * y1r;
    case 2:
      return 0.25 * x1r * y2t;
    case 3:
      return -0.125 * x1r * y2r;
    case 4:
      return 0.1 * x1r;
    default:
      return 0.;
    }
  case 2:
    switch (j) {
    case 1:
      return -0.25 * x2t * y1r;
    case 3:
      return 0.25 * x2t * y2r;
    case 4:
      return -0.2 * x2t;
    default:
      return 0.;
    }
  case 3:
    switch (j) {
    case 0:
      return 0.25 * x2r * y1t;
    case 1:
      return 0.125 * x2r * y1r;
    case 2:
      return -0.25 * x2r * y2t;
    case 3:
      return 0.125 * x2r * y2r;
    case 4:
      return 0.1 * x2r;
    default:
      return 0.;
    }
  case 4:
    switch (j) {
    case 0:
      return -0.2 * y1t;
    case 1:
      return -0.1 * y1r;
    case 2:
      return 0.2 * y2t;
    case 3:
      return -0.1 * y2r;
    case 5:
      return 0.0571428571428571;
    default:
      return 0.;
    }
  case 5:
    switch (j) {
    case 4:
      return -0.0571428571428571;
    case 6:
      return 0.0317460317460317;
    default:
      return 0.;
    }
  case 6:
    switch (j) {
    case 5:
      return -0.0317460317460317;
    case 7:
      return 0.0202020202020202;
    default:
      return 0.;
    }
  case 7:
    switch (j) {
    case 6:
      return -0.0202020202020202;
    case 8:
      return 0.0139860139860140;
    default:
      return 0.;
    }
  case 8:
    switch (j) {
    case 7:
      return -0.0139860139860140;
    case 9:
      return 0.0102564102564103;
    default:
      return 0.;
    }
  case 9:
    switch (j) {
    case 8:
      return -0.0102564102564103;
    case 10:
      return 0.00784313725490196;
    default:
      return 0.;
    }
  case 10:
    switch (j) {
    case 9:
      return -0.00784313725490196;
    case 11:
      return 0.00619195046439629;
    default:
      return 0.;
    }
  case 11:
    switch (j) {
    case 10:
      return -0.00619195046439629;
    case 12:
      return 0.00501253132832080;
    default:
      return 0.;
    }
  case 12:
    switch (j) {
    case 11:
      return -0.00501253132832080;
    case 13:
      return 0.00414078674948240;
    default:
      return 0.;
    }
  case 13:
    switch (j) {
    case 12:
      return -0.00414078674948240;
    case 14:
      return 0.00347826086956522;
    default:
      return 0.;
    }
  case 14:
    switch (j) {
    case 13:
      return -0.00347826086956522;
    case 15:
      return 0.00296296296296296;
    default:
      return 0.;
    }
  case 15:
    switch (j) {
    case 14:
      return -0.00296296296296296;
    case 16:
      return 0.00255427841634738;
    default:
      return 0.;
    }
  case 16:
    switch (j) {
    case 15:
      return -0.00255427841634738;
    case 17:
      return 0.00222469410456062;
    default:
      return 0.;
    }
  case 17:
    switch (j) {
    case 16:
      return -0.00222469410456062;
    case 18:
      return 0.00195503421309873;
    default:
      return 0.;
    }
  case 18:
    switch (j) {
    case 17:
      return -0.00195503421309873;
    case 19:
      return 0.00173160173160173;
    default:
      return 0.;
    }
  case 19:
    switch (j) {
    case 18:
      return -0.00173160173160173;
    case 20:
      return 0.00154440154440154;
    default:
      return 0.;
    }
  case 20:
    switch (j) {
    case 19:
      return -0.00154440154440154;
    case 21:
      return 0.00138600138600139;
    default:
      return 0.;
    }
  case 21:
    switch (j) {
    case 20:
      return -0.00138600138600139;
    case 22:
      return 0.00125078173858662;
    default:
      return 0.;
    }
  case 22:
    switch (j) {
    case 21:
      return -0.00125078173858662;
    case 23:
      return 0.00113442994895065;
    default:
      return 0.;
    }
  case 23:
    switch (j) {
    case 22:
      return -0.00113442994895065;
    case 24:
      return 0.00103359173126615;
    default:
      return 0.;
    }
  case 24:
    switch (j) {
    case 23:
      return -0.00103359173126615;
    case 25:
      return 0.000945626477541371;
    default:
      return 0.;
    }
  case 25:
    switch (j) {
    case 24:
      return -0.000945626477541371;
    case 26:
      return 0.000868432479374729;
    default:
      return 0.;
    }
  case 26:
    switch (j) {
    case 25:
      return -0.000868432479374729;
    case 27:
      return 0.000800320128051221;
    default:
      return 0.;
    }
  case 27:
    switch (j) {
    case 26:
      return -0.000800320128051221;
    case 28:
      return 0.000739918608953015;
    default:
      return 0.;
    }
  case 28:
    switch (j) {
    case 27:
      return -0.000739918608953015;
    case 29:
      return 0.000686106346483705;
    default:
      return 0.;
    }
  case 29:
    switch (j) {
    case 28:
      return -0.000686106346483705;
    default:
      return 0.;
    }
  default:
    return 0.;
  }
}


x86 assembly (clang, -O0):
<integral_fxifxixi>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %edi,-0xc(%rbp)
mov    %esi,-0x10(%rbp)
movsd  %xmm0,-0x18(%rbp)
movsd  %xmm1,-0x20(%rbp)
movsd  %xmm2,-0x28(%rbp)
movsd  %xmm3,-0x30(%rbp)
movsd  %xmm4,-0x38(%rbp)
movsd  %xmm5,-0x40(%rbp)
movsd  %xmm6,-0x48(%rbp)
movsd  %xmm7,-0x50(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x58(%rbp)
sub    $0x1d,%rax
ja     1d61 <integral_fxifxixi+0xc61>
mov    -0x58(%rbp),%rax
lea    0x107e(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%eax
mov    %eax,-0x5c(%rbp)
sub    $0x1,%eax
je     1191 <integral_fxifxixi+0x91>
jmp    116f <integral_fxifxixi+0x6f>
mov    -0x5c(%rbp),%eax
sub    $0x3,%eax
je     11ad <integral_fxifxixi+0xad>
jmp    1180 <integral_fxifxixi+0x80>
mov    -0x5c(%rbp),%eax
sub    $0x4,%eax
je     11c9 <integral_fxifxixi+0xc9>
jmp    11e0 <integral_fxifxixi+0xe0>
movsd  0x1027(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x1003(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xfc7(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %rax,-0x68(%rbp)
sub    $0x4,%rax
ja     1299 <integral_fxifxixi+0x199>
mov    -0x68(%rbp),%rax
lea    0x106b(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0xf9e(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xf92(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xf6e(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xf5a(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xf1e(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0x6c(%rbp)
sub    $0x1,%eax
je     12dc <integral_fxifxixi+0x1dc>
jmp    12ba <integral_fxifxixi+0x1ba>
mov    -0x6c(%rbp),%eax
sub    $0x3,%eax
je     12f8 <integral_fxifxixi+0x1f8>
jmp    12cb <integral_fxifxixi+0x1cb>
mov    -0x6c(%rbp),%eax
sub    $0x4,%eax
je     1314 <integral_fxifxixi+0x214>
jmp    132b <integral_fxifxixi+0x22b>
movsd  0xed4(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xec0(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xe84(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %rax,-0x78(%rbp)
sub    $0x4,%rax
ja     13e4 <integral_fxifxixi+0x2e4>
mov    -0x78(%rbp),%rax
lea    0xf0c(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0xe5b(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xe2f(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xe1b(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xdf7(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xdd3(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %rax,-0x80(%rbp)
sub    $0x5,%rax
ja     1484 <integral_fxifxixi+0x384>
mov    -0x80(%rbp),%rax
lea    0xe3b(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0xd82(%rip),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xd5b(%rip),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xd4c(%rip),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xd2d(%rip),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xd0e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0x84(%rbp)
sub    $0x4,%eax
je     14bc <integral_fxifxixi+0x3bc>
jmp    14a8 <integral_fxifxixi+0x3a8>
mov    -0x84(%rbp),%eax
sub    $0x6,%eax
je     14ce <integral_fxifxixi+0x3ce>
jmp    14e0 <integral_fxifxixi+0x3e0>
movsd  0xcbc(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xca2(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0x88(%rbp)
sub    $0x5,%eax
je     1518 <integral_fxifxixi+0x418>
jmp    1504 <integral_fxifxixi+0x404>
mov    -0x88(%rbp),%eax
sub    $0x7,%eax
je     152a <integral_fxifxixi+0x42a>
jmp    153c <integral_fxifxixi+0x43c>
movsd  0xc50(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xc36(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0x8c(%rbp)
sub    $0x6,%eax
je     1574 <integral_fxifxixi+0x474>
jmp    1560 <integral_fxifxixi+0x460>
mov    -0x8c(%rbp),%eax
sub    $0x8,%eax
je     1586 <integral_fxifxixi+0x486>
jmp    1598 <integral_fxifxixi+0x498>
movsd  0xbe4(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xbca(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0x90(%rbp)
sub    $0x7,%eax
je     15d0 <integral_fxifxixi+0x4d0>
jmp    15bc <integral_fxifxixi+0x4bc>
mov    -0x90(%rbp),%eax
sub    $0x9,%eax
je     15e2 <integral_fxifxixi+0x4e2>
jmp    15f4 <integral_fxifxixi+0x4f4>
movsd  0xb78(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xb5e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0x94(%rbp)
sub    $0x8,%eax
je     162c <integral_fxifxixi+0x52c>
jmp    1618 <integral_fxifxixi+0x518>
mov    -0x94(%rbp),%eax
sub    $0xa,%eax
je     163e <integral_fxifxixi+0x53e>
jmp    1650 <integral_fxifxixi+0x550>
movsd  0xb0c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xaf2(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0x98(%rbp)
sub    $0x9,%eax
je     1688 <integral_fxifxixi+0x588>
jmp    1674 <integral_fxifxixi+0x574>
mov    -0x98(%rbp),%eax
sub    $0xb,%eax
je     169a <integral_fxifxixi+0x59a>
jmp    16ac <integral_fxifxixi+0x5ac>
movsd  0xaa0(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xa86(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0x9c(%rbp)
sub    $0xa,%eax
je     16e4 <integral_fxifxixi+0x5e4>
jmp    16d0 <integral_fxifxixi+0x5d0>
mov    -0x9c(%rbp),%eax
sub    $0xc,%eax
je     16f6 <integral_fxifxixi+0x5f6>
jmp    1708 <integral_fxifxixi+0x608>
movsd  0xa34(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0xa1a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xa0(%rbp)
sub    $0xb,%eax
je     1740 <integral_fxifxixi+0x640>
jmp    172c <integral_fxifxixi+0x62c>
mov    -0xa0(%rbp),%eax
sub    $0xd,%eax
je     1752 <integral_fxifxixi+0x652>
jmp    1764 <integral_fxifxixi+0x664>
movsd  0x9c8(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x9ae(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xa4(%rbp)
sub    $0xc,%eax
je     179c <integral_fxifxixi+0x69c>
jmp    1788 <integral_fxifxixi+0x688>
mov    -0xa4(%rbp),%eax
sub    $0xe,%eax
je     17ae <integral_fxifxixi+0x6ae>
jmp    17c0 <integral_fxifxixi+0x6c0>
movsd  0x95c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x942(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xa8(%rbp)
sub    $0xd,%eax
je     17f8 <integral_fxifxixi+0x6f8>
jmp    17e4 <integral_fxifxixi+0x6e4>
mov    -0xa8(%rbp),%eax
sub    $0xf,%eax
je     180a <integral_fxifxixi+0x70a>
jmp    181c <integral_fxifxixi+0x71c>
movsd  0x8f0(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x8d6(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xac(%rbp)
sub    $0xe,%eax
je     1854 <integral_fxifxixi+0x754>
jmp    1840 <integral_fxifxixi+0x740>
mov    -0xac(%rbp),%eax
sub    $0x10,%eax
je     1866 <integral_fxifxixi+0x766>
jmp    1878 <integral_fxifxixi+0x778>
movsd  0x884(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x86a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xb0(%rbp)
sub    $0xf,%eax
je     18b0 <integral_fxifxixi+0x7b0>
jmp    189c <integral_fxifxixi+0x79c>
mov    -0xb0(%rbp),%eax
sub    $0x11,%eax
je     18c2 <integral_fxifxixi+0x7c2>
jmp    18d4 <integral_fxifxixi+0x7d4>
movsd  0x818(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x7fe(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xb4(%rbp)
sub    $0x10,%eax
je     190c <integral_fxifxixi+0x80c>
jmp    18f8 <integral_fxifxixi+0x7f8>
mov    -0xb4(%rbp),%eax
sub    $0x12,%eax
je     191e <integral_fxifxixi+0x81e>
jmp    1930 <integral_fxifxixi+0x830>
movsd  0x7ac(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x792(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xb8(%rbp)
sub    $0x11,%eax
je     1968 <integral_fxifxixi+0x868>
jmp    1954 <integral_fxifxixi+0x854>
mov    -0xb8(%rbp),%eax
sub    $0x13,%eax
je     197a <integral_fxifxixi+0x87a>
jmp    198c <integral_fxifxixi+0x88c>
movsd  0x740(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x726(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xbc(%rbp)
sub    $0x12,%eax
je     19c4 <integral_fxifxixi+0x8c4>
jmp    19b0 <integral_fxifxixi+0x8b0>
mov    -0xbc(%rbp),%eax
sub    $0x14,%eax
je     19d6 <integral_fxifxixi+0x8d6>
jmp    19e8 <integral_fxifxixi+0x8e8>
movsd  0x6d4(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x6ba(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xc0(%rbp)
sub    $0x13,%eax
je     1a20 <integral_fxifxixi+0x920>
jmp    1a0c <integral_fxifxixi+0x90c>
mov    -0xc0(%rbp),%eax
sub    $0x15,%eax
je     1a32 <integral_fxifxixi+0x932>
jmp    1a44 <integral_fxifxixi+0x944>
movsd  0x668(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x64e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xc4(%rbp)
sub    $0x14,%eax
je     1a7c <integral_fxifxixi+0x97c>
jmp    1a68 <integral_fxifxixi+0x968>
mov    -0xc4(%rbp),%eax
sub    $0x16,%eax
je     1a8e <integral_fxifxixi+0x98e>
jmp    1aa0 <integral_fxifxixi+0x9a0>
movsd  0x5fc(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x5e2(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xc8(%rbp)
sub    $0x15,%eax
je     1ad8 <integral_fxifxixi+0x9d8>
jmp    1ac4 <integral_fxifxixi+0x9c4>
mov    -0xc8(%rbp),%eax
sub    $0x17,%eax
je     1aea <integral_fxifxixi+0x9ea>
jmp    1afc <integral_fxifxixi+0x9fc>
movsd  0x590(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x576(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xcc(%rbp)
sub    $0x16,%eax
je     1b34 <integral_fxifxixi+0xa34>
jmp    1b20 <integral_fxifxixi+0xa20>
mov    -0xcc(%rbp),%eax
sub    $0x18,%eax
je     1b46 <integral_fxifxixi+0xa46>
jmp    1b58 <integral_fxifxixi+0xa58>
movsd  0x524(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x50a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xd0(%rbp)
sub    $0x17,%eax
je     1b90 <integral_fxifxixi+0xa90>
jmp    1b7c <integral_fxifxixi+0xa7c>
mov    -0xd0(%rbp),%eax
sub    $0x19,%eax
je     1ba2 <integral_fxifxixi+0xaa2>
jmp    1bb4 <integral_fxifxixi+0xab4>
movsd  0x4b8(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x49e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xd4(%rbp)
sub    $0x18,%eax
je     1bec <integral_fxifxixi+0xaec>
jmp    1bd8 <integral_fxifxixi+0xad8>
mov    -0xd4(%rbp),%eax
sub    $0x1a,%eax
je     1bfe <integral_fxifxixi+0xafe>
jmp    1c10 <integral_fxifxixi+0xb10>
movsd  0x44c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x432(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xd8(%rbp)
sub    $0x19,%eax
je     1c48 <integral_fxifxixi+0xb48>
jmp    1c34 <integral_fxifxixi+0xb34>
mov    -0xd8(%rbp),%eax
sub    $0x1b,%eax
je     1c5a <integral_fxifxixi+0xb5a>
jmp    1c6c <integral_fxifxixi+0xb6c>
movsd  0x3e0(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x3c6(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xdc(%rbp)
sub    $0x1a,%eax
je     1ca4 <integral_fxifxixi+0xba4>
jmp    1c90 <integral_fxifxixi+0xb90>
mov    -0xdc(%rbp),%eax
sub    $0x1c,%eax
je     1cb6 <integral_fxifxixi+0xbb6>
jmp    1cc8 <integral_fxifxixi+0xbc8>
movsd  0x374(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x35a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
mov    %eax,-0xe0(%rbp)
sub    $0x1b,%eax
je     1d00 <integral_fxifxixi+0xc00>
jmp    1cec <integral_fxifxixi+0xbec>
mov    -0xe0(%rbp),%eax
sub    $0x1d,%eax
je     1d12 <integral_fxifxixi+0xc12>
jmp    1d24 <integral_fxifxixi+0xc24>
movsd  0x308(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
movsd  0x2ee(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
mov    -0x10(%rbp),%eax
sub    $0x1c,%eax
jne    1d54 <integral_fxifxixi+0xc54>
jmp    1d42 <integral_fxifxixi+0xc42>
movsd  0x2b6(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1d69 <integral_fxifxixi+0xc69>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<integral_fxifxixi>:
movapd %xmm0,%xmm8
xorpd  %xmm0,%xmm0
cmp    $0x1d,%edi
ja     1628 <integral_fxifxixi+0x528>
mov    %edi,%eax
lea    0x10b5(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
cmp    $0x4,%esi
je     163b <integral_fxifxixi+0x53b>
cmp    $0x3,%esi
je     164a <integral_fxifxixi+0x54a>
xorpd  %xmm0,%xmm0
cmp    $0x1,%esi
jne    1628 <integral_fxifxixi+0x528>
mulsd  0x1074(%rip),%xmm8
mulsd  %xmm5,%xmm8
movapd %xmm8,%xmm0
ret
xorpd  %xmm0,%xmm0
cmp    $0x4,%esi
ja     1628 <integral_fxifxixi+0x528>
mov    %esi,%eax
lea    0x1107(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mulsd  0x103a(%rip),%xmm1
mulsd  %xmm4,%xmm1
movapd %xmm1,%xmm0
ret
cmp    $0x4,%esi
je     165e <integral_fxifxixi+0x55e>
cmp    $0x3,%esi
je     166b <integral_fxifxixi+0x56b>
xorpd  %xmm0,%xmm0
cmp    $0x1,%esi
jne    1628 <integral_fxifxixi+0x528>
mulsd  0x100a(%rip),%xmm2
mulsd  %xmm5,%xmm2
movapd %xmm2,%xmm0
ret
xorpd  %xmm0,%xmm0
cmp    $0x4,%esi
ja     1628 <integral_fxifxixi+0x528>
mov    %esi,%eax
lea    0x1093(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mulsd  0xfe2(%rip),%xmm3
mulsd  %xmm4,%xmm3
movapd %xmm3,%xmm0
ret
cmp    $0x5,%esi
ja     13d0 <integral_fxifxixi+0x2d0>
movsd  0xf90(%rip),%xmm0
mov    %esi,%eax
lea    0x1047(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mulsd  0xf8e(%rip),%xmm4
movapd %xmm4,%xmm0
ret
cmp    $0x8,%esi
je     13d9 <integral_fxifxixi+0x2d9>
xorpd  %xmm0,%xmm0
jmp    13e1 <integral_fxifxixi+0x2e1>
cmp    $0xa,%esi
je     13f3 <integral_fxifxixi+0x2f3>
xorpd  %xmm0,%xmm0
jmp    13fb <integral_fxifxixi+0x2fb>
cmp    $0xc,%esi
je     140d <integral_fxifxixi+0x30d>
xorpd  %xmm0,%xmm0
jmp    1415 <integral_fxifxixi+0x315>
cmp    $0xd,%esi
je     1427 <integral_fxifxixi+0x327>
xorpd  %xmm0,%xmm0
jmp    142f <integral_fxifxixi+0x32f>
cmp    $0xf,%esi
je     1441 <integral_fxifxixi+0x341>
xorpd  %xmm0,%xmm0
jmp    1449 <integral_fxifxixi+0x349>
cmp    $0x10,%esi
je     145b <integral_fxifxixi+0x35b>
xorpd  %xmm0,%xmm0
jmp    1463 <integral_fxifxixi+0x363>
cmp    $0x11,%esi
je     1475 <integral_fxifxixi+0x375>
xorpd  %xmm0,%xmm0
jmp    147d <integral_fxifxixi+0x37d>
cmp    $0x19,%esi
je     148f <integral_fxifxixi+0x38f>
xorpd  %xmm0,%xmm0
jmp    1497 <integral_fxifxixi+0x397>
cmp    $0x1a,%esi
je     14a9 <integral_fxifxixi+0x3a9>
xorpd  %xmm0,%xmm0
jmp    14b1 <integral_fxifxixi+0x3b1>
cmp    $0x1c,%esi
je     14c3 <integral_fxifxixi+0x3c3>
xorpd  %xmm0,%xmm0
jmp    14cb <integral_fxifxixi+0x3cb>
cmp    $0x6,%esi
je     14dd <integral_fxifxixi+0x3dd>
xorpd  %xmm0,%xmm0
jmp    14e5 <integral_fxifxixi+0x3e5>
cmp    $0x7,%esi
je     14f7 <integral_fxifxixi+0x3f7>
xorpd  %xmm0,%xmm0
jmp    14ff <integral_fxifxixi+0x3ff>
cmp    $0x9,%esi
je     1511 <integral_fxifxixi+0x411>
xorpd  %xmm0,%xmm0
jmp    1519 <integral_fxifxixi+0x419>
cmp    $0xb,%esi
je     152b <integral_fxifxixi+0x42b>
xorpd  %xmm0,%xmm0
jmp    1533 <integral_fxifxixi+0x433>
cmp    $0xe,%esi
je     1545 <integral_fxifxixi+0x445>
xorpd  %xmm0,%xmm0
jmp    154d <integral_fxifxixi+0x44d>
cmp    $0x12,%esi
je     155f <integral_fxifxixi+0x45f>
xorpd  %xmm0,%xmm0
jmp    1567 <integral_fxifxixi+0x467>
cmp    $0x13,%esi
je     1579 <integral_fxifxixi+0x479>
xorpd  %xmm0,%xmm0
jmp    1581 <integral_fxifxixi+0x481>
cmp    $0x14,%esi
je     1593 <integral_fxifxixi+0x493>
xorpd  %xmm0,%xmm0
jmp    159b <integral_fxifxixi+0x49b>
cmp    $0x15,%esi
je     15ad <integral_fxifxixi+0x4ad>
xorpd  %xmm0,%xmm0
jmp    15b5 <integral_fxifxixi+0x4b5>
cmp    $0x16,%esi
je     15c3 <integral_fxifxixi+0x4c3>
xorpd  %xmm0,%xmm0
jmp    15cb <integral_fxifxixi+0x4cb>
cmp    $0x17,%esi
je     15d9 <integral_fxifxixi+0x4d9>
xorpd  %xmm0,%xmm0
jmp    15e1 <integral_fxifxixi+0x4e1>
cmp    $0x18,%esi
je     15ef <integral_fxifxixi+0x4ef>
xorpd  %xmm0,%xmm0
jmp    15f7 <integral_fxifxixi+0x4f7>
cmp    $0x1b,%esi
je     1605 <integral_fxifxixi+0x505>
xorpd  %xmm0,%xmm0
jmp    160d <integral_fxifxixi+0x50d>
cmp    $0x1d,%esi
je     161b <integral_fxifxixi+0x51b>
xorpd  %xmm0,%xmm0
jmp    1623 <integral_fxifxixi+0x523>
cmp    $0x1c,%esi
je     1629 <integral_fxifxixi+0x529>
xorpd  %xmm0,%xmm0
jmp    1628 <integral_fxifxixi+0x528>
movsd  0xd77(%rip),%xmm0
cmp    $0x6,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xd6e(%rip),%xmm0
ret
movsd  0xd3d(%rip),%xmm0
cmp    $0x8,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xd34(%rip),%xmm0
ret
movsd  0xd03(%rip),%xmm0
cmp    $0xa,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xcfa(%rip),%xmm0
ret
movsd  0xcd9(%rip),%xmm0
cmp    $0xb,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xcd0(%rip),%xmm0
ret
movsd  0xc9f(%rip),%xmm0
cmp    $0xd,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xc96(%rip),%xmm0
ret
movsd  0xc75(%rip),%xmm0
cmp    $0xe,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xc6c(%rip),%xmm0
ret
movsd  0xc4b(%rip),%xmm0
cmp    $0xf,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xc42(%rip),%xmm0
ret
movsd  0xbb1(%rip),%xmm0
cmp    $0x17,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xba8(%rip),%xmm0
ret
movsd  0xb87(%rip),%xmm0
cmp    $0x18,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xb7e(%rip),%xmm0
ret
movsd  0xb4d(%rip),%xmm0
cmp    $0x1a,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xb44(%rip),%xmm0
ret
movsd  0xc93(%rip),%xmm0
cmp    $0x4,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xc8a(%rip),%xmm0
ret
movsd  0xc69(%rip),%xmm0
cmp    $0x5,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xc60(%rip),%xmm0
ret
movsd  0xc2f(%rip),%xmm0
cmp    $0x7,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xc26(%rip),%xmm0
ret
movsd  0xbf5(%rip),%xmm0
cmp    $0x9,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xbec(%rip),%xmm0
ret
movsd  0xbab(%rip),%xmm0
cmp    $0xc,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xba2(%rip),%xmm0
ret
movsd  0xb51(%rip),%xmm0
cmp    $0x10,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xb48(%rip),%xmm0
ret
movsd  0xb27(%rip),%xmm0
cmp    $0x11,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xb1e(%rip),%xmm0
ret
movsd  0xafd(%rip),%xmm0
cmp    $0x12,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xaf4(%rip),%xmm0
ret
movsd  0xad3(%rip),%xmm0
cmp    $0x13,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xace(%rip),%xmm0
ret
movsd  0xaad(%rip),%xmm0
cmp    $0x14,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xaa8(%rip),%xmm0
ret
movsd  0xa87(%rip),%xmm0
cmp    $0x15,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xa82(%rip),%xmm0
ret
movsd  0xa61(%rip),%xmm0
cmp    $0x16,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xa5c(%rip),%xmm0
ret
movsd  0xa1b(%rip),%xmm0
cmp    $0x19,%esi
jne    1628 <integral_fxifxixi+0x528>
movsd  0xa16(%rip),%xmm0
ret
movsd  0x9e5(%rip),%xmm0
cmp    $0x1b,%esi
je     1632 <integral_fxifxixi+0x532>
ret
movsd  0x9cf(%rip),%xmm0
ret
movsd  0x9d6(%rip),%xmm0
ret
mulsd  0xb54(%rip),%xmm8
movapd %xmm8,%xmm0
ret
mulsd  0xb65(%rip),%xmm8
mulsd  %xmm7,%xmm8
movapd %xmm8,%xmm0
ret
mulsd  0xb3a(%rip),%xmm2
movapd %xmm2,%xmm0
ret
mulsd  0xb4d(%rip),%xmm2
mulsd  %xmm7,%xmm2
movapd %xmm2,%xmm0
ret
mulsd  0xb44(%rip),%xmm1
mulsd  %xmm5,%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xb2b(%rip),%xmm1
mulsd  %xmm6,%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xb22(%rip),%xmm1
mulsd  %xmm7,%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xaf1(%rip),%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xaec(%rip),%xmm3
mulsd  %xmm5,%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xae3(%rip),%xmm3
mulsd  %xmm6,%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xaca(%rip),%xmm3
mulsd  %xmm7,%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xab1(%rip),%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xa8c(%rip),%xmm5
movapd %xmm5,%xmm0
ret
mulsd  0xa87(%rip),%xmm6
movapd %xmm6,%xmm0
ret
mulsd  0xa72(%rip),%xmm7
movapd %xmm7,%xmm0
ret

LLVM IR (-O0):
define double @integral_fxifxixi(i32 %0, i32 %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9) {
%11 = alloca double
%12 = alloca i32
%13 = alloca i32
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
store i32 %0, i32* %12
store i32 %1, i32* %13
store double %2, double* %14
store double %3, double* %15
store double %4, double* %16
store double %5, double* %17
store double %6, double* %18
store double %7, double* %19
store double %8, double* %20
store double %9, double* %21
%22 = load i32, i32* %12
switch i32 %22, label %247 [
i32 0, label %23
i32 1, label %39
i32 2, label %65
i32 3, label %81
i32 4, label %107
i32 5, label %123
i32 6, label %128
i32 7, label %133
i32 8, label %138
i32 9, label %143
i32 10, label %148
i32 11, label %153
i32 12, label %158
i32 13, label %163
i32 14, label %168
i32 15, label %173
i32 16, label %178
i32 17, label %183
i32 18, label %188
i32 19, label %193
i32 20, label %198
i32 21, label %203
i32 22, label %208
i32 23, label %213
i32 24, label %218
i32 25, label %223
i32 26, label %228
i32 27, label %233
i32 28, label %238
i32 29, label %243
]
23: ; preds = %10
%24 = load i32, i32* %13
switch i32 %24, label %38 [
i32 1, label %25
i32 3, label %30
i32 4, label %35
]
25: ; preds = %23
%26 = load double, double* %14
%27 = fmul double 2.500000e-01, %26
%28 = load double, double* %19
%29 = fmul double %27, %28
store double %29, double* %11
br label %248
30: ; preds = %23
%31 = load double, double* %14
%32 = fmul double -2.500000e-01, %31
%33 = load double, double* %21
%34 = fmul double %32, %33
store double %34, double* %11
br label %248
35: ; preds = %23
%36 = load double, double* %14
%37 = fmul double 2.000000e-01, %36
store double %37, double* %11
br label %248
38: ; preds = %23
store double 0.000000e+00, double* %11
br label %248
39: ; preds = %10
%40 = load i32, i32* %13
switch i32 %40, label %64 [
i32 0, label %41
i32 1, label %46
i32 2, label %51
i32 3, label %56
i32 4, label %61
]
41: ; preds = %39
%42 = load double, double* %15
%43 = fmul double -2.500000e-01, %42
%44 = load double, double* %18
%45 = fmul double %43, %44
store double %45, double* %11
br label %248
46: ; preds = %39
%47 = load double, double* %15
%48 = fmul double -1.250000e-01, %47
%49 = load double, double* %19
%50 = fmul double %48, %49
store double %50, double* %11
br label %248
51: ; preds = %39
%52 = load double, double* %15
%53 = fmul double 2.500000e-01, %52
%54 = load double, double* %20
%55 = fmul double %53, %54
store double %55, double* %11
br label %248
56: ; preds = %39
%57 = load double, double* %15
%58 = fmul double -1.250000e-01, %57
%59 = load double, double* %21
%60 = fmul double %58, %59
store double %60, double* %11
br label %248
61: ; preds = %39
%62 = load double, double* %15
%63 = fmul double 1.000000e-01, %62
store double %63, double* %11
br label %248
64: ; preds = %39
store double 0.000000e+00, double* %11
br label %248
65: ; preds = %10
%66 = load i32, i32* %13
switch i32 %66, label %80 [
i32 1, label %67
i32 3, label %72
i32 4, label %77
]
67: ; preds = %65
%68 = load double, double* %16
%69 = fmul double -2.500000e-01, %68
%70 = load double, double* %19
%71 = fmul double %69, %70
store double %71, double* %11
br label %248
72: ; preds = %65
%73 = load double, double* %16
%74 = fmul double 2.500000e-01, %73
%75 = load double, double* %21
%76 = fmul double %74, %75
store double %76, double* %11
br label %248
77: ; preds = %65
%78 = load double, double* %16
%79 = fmul double -2.000000e-01, %78
store double %79, double* %11
br label %248
80: ; preds = %65
store double 0.000000e+00, double* %11
br label %248
81: ; preds = %10
%82 = load i32, i32* %13
switch i32 %82, label %106 [
i32 0, label %83
i32 1, label %88
i32 2, label %93
i32 3, label %98
i32 4, label %103
]
83: ; preds = %81
%84 = load double, double* %17
%85 = fmul double 2.500000e-01, %84
%86 = load double, double* %18
%87 = fmul double %85, %86
store double %87, double* %11
br label %248
88: ; preds = %81
%89 = load double, double* %17
%90 = fmul double 1.250000e-01, %89
%91 = load double, double* %19
%92 = fmul double %90, %91
store double %92, double* %11
br label %248
93: ; preds = %81
%94 = load double, double* %17
%95 = fmul double -2.500000e-01, %94
%96 = load double, double* %20
%97 = fmul double %95, %96
store double %97, double* %11
br label %248
98: ; preds = %81
%99 = load double, double* %17
%100 = fmul double 1.250000e-01, %99
%101 = load double, double* %21
%102 = fmul double %100, %101
store double %102, double* %11
br label %248
103: ; preds = %81
%104 = load double, double* %17
%105 = fmul double 1.000000e-01, %104
store double %105, double* %11
br label %248
106: ; preds = %81
store double 0.000000e+00, double* %11
br label %248
107: ; preds = %10
%108 = load i32, i32* %13
switch i32 %108, label %122 [
i32 0, label %109
i32 1, label %112
i32 2, label %115
i32 3, label %118
i32 5, label %121
]
109: ; preds = %107
%110 = load double, double* %18
%111 = fmul double -2.000000e-01, %110
store double %111, double* %11
br label %248
112: ; preds = %107
%113 = load double, double* %19
%114 = fmul double -1.000000e-01, %113
store double %114, double* %11
br label %248
115: ; preds = %107
%116 = load double, double* %20
%117 = fmul double 2.000000e-01, %116
store double %117, double* %11
br label %248
118: ; preds = %107
%119 = load double, double* %21
%120 = fmul double -1.000000e-01, %119
store double %120, double* %11
br label %248
121: ; preds = %107
store double 0x3FAD41D41D41D417, double* %11
br label %248
122: ; preds = %107
store double 0.000000e+00, double* %11
br label %248
123: ; preds = %10
%124 = load i32, i32* %13
switch i32 %124, label %127 [
i32 4, label %125
i32 6, label %126
]
125: ; preds = %123
store double 0xBFAD41D41D41D417, double* %11
br label %248
126: ; preds = %123
store double 0x3FA041041041040A, double* %11
br label %248
127: ; preds = %123
store double 0.000000e+00, double* %11
br label %248
128: ; preds = %10
%129 = load i32, i32* %13
switch i32 %129, label %132 [
i32 5, label %130
i32 7, label %131
]
130: ; preds = %128
store double 0xBFA041041041040A, double* %11
br label %248
131: ; preds = %128
store double 0x3F94AFD6A052BF5A, double* %11
br label %248
132: ; preds = %128
store double 0.000000e+00, double* %11
br label %248
133: ; preds = %10
%134 = load i32, i32* %13
switch i32 %134, label %137 [
i32 6, label %135
i32 8, label %136
]
135: ; preds = %133
store double 0xBF94AFD6A052BF5A, double* %11
br label %248
136: ; preds = %133
store double 0x3F8CA4B3055EE199, double* %11
br label %248
137: ; preds = %133
store double 0.000000e+00, double* %11
br label %248
138: ; preds = %10
%139 = load i32, i32* %13
switch i32 %139, label %142 [
i32 7, label %140
i32 9, label %141
]
140: ; preds = %138
store double 0xBF8CA4B3055EE199, double* %11
br label %248
141: ; preds = %138
store double 0x3F8501501501502E, double* %11
br label %248
142: ; preds = %138
store double 0.000000e+00, double* %11
br label %248
143: ; preds = %10
%144 = load i32, i32* %13
switch i32 %144, label %147 [
i32 8, label %145
i32 10, label %146
]
145: ; preds = %143
store double 0xBF8501501501502E, double* %11
br label %248
146: ; preds = %143
store double 0x3F80101010101010, double* %11
br label %248
147: ; preds = %143
store double 0.000000e+00, double* %11
br label %248
148: ; preds = %10
%149 = load i32, i32* %13
switch i32 %149, label %152 [
i32 9, label %150
i32 11, label %151
]
150: ; preds = %148
store double 0xBF80101010101010, double* %11
br label %248
151: ; preds = %148
store double 0x3F795CBB0BE377B4, double* %11
br label %248
152: ; preds = %148
store double 0.000000e+00, double* %11
br label %248
153: ; preds = %10
%154 = load i32, i32* %13
switch i32 %154, label %157 [
i32 10, label %155
i32 12, label %156
]
155: ; preds = %153
store double 0xBF795CBB0BE377B4, double* %11
br label %248
156: ; preds = %153
store double 0x3F7488052201487E, double* %11
br label %248
157: ; preds = %153
store double 0.000000e+00, double* %11
br label %248
158: ; preds = %10
%159 = load i32, i32* %13
switch i32 %159, label %162 [
i32 11, label %160
i32 13, label %161
]
160: ; preds = %158
store double 0xBF7488052201487E, double* %11
br label %248
161: ; preds = %158
store double 0x3F70F5EDFAB325A0, double* %11
br label %248
162: ; preds = %158
store double 0.000000e+00, double* %11
br label %248
163: ; preds = %10
%164 = load i32, i32* %13
switch i32 %164, label %167 [
i32 12, label %165
i32 14, label %166
]
165: ; preds = %163
store double 0xBF70F5EDFAB325A0, double* %11
br label %248
166: ; preds = %163
store double 0x3F6C7E7115D0CE9B, double* %11
br label %248
167: ; preds = %163
store double 0.000000e+00, double* %11
br label %248
168: ; preds = %10
%169 = load i32, i32* %13
switch i32 %169, label %172 [
i32 13, label %170
i32 15, label %171
]
170: ; preds = %168
store double 0xBF6C7E7115D0CE9B, double* %11
br label %248
171: ; preds = %168
store double 0x3F6845C8A0CE5123, double* %11
br label %248
172: ; preds = %168
store double 0.000000e+00, double* %11
br label %248
173: ; preds = %10
%174 = load i32, i32* %13
switch i32 %174, label %177 [
i32 14, label %175
i32 16, label %176
]
175: ; preds = %173
store double 0xBF6845C8A0CE5123, double* %11
br label %248
176: ; preds = %173
store double 0x3F64ECB5C86B3D1F, double* %11
br label %248
177: ; preds = %173
store double 0.000000e+00, double* %11
br label %248
178: ; preds = %10
%179 = load i32, i32* %13
switch i32 %179, label %182 [
i32 15, label %180
i32 17, label %181
]
180: ; preds = %178
store double 0xBF64ECB5C86B3D1F, double* %11
br label %248
181: ; preds = %178
store double 0x3F6239858D86B118, double* %11
br label %248
182: ; preds = %178
store double 0.000000e+00, double* %11
br label %248
183: ; preds = %10
%184 = load i32, i32* %13
switch i32 %184, label %187 [
i32 16, label %185
i32 18, label %186
]
185: ; preds = %183
store double 0xBF6239858D86B118, double* %11
br label %248
186: ; preds = %183
store double 0x3F60040100401006, double* %11
br label %248
187: ; preds = %183
store double 0.000000e+00, double* %11
br label %248
188: ; preds = %10
%189 = load i32, i32* %13
switch i32 %189, label %192 [
i32 17, label %190
i32 19, label %191
]
190: ; preds = %188
store double 0xBF60040100401006, double* %11
br label %248
191: ; preds = %188
store double 0x3F5C5EDD33A4AEA1, double* %11
br label %248
192: ; preds = %188
store double 0.000000e+00, double* %11
br label %248
193: ; preds = %10
%194 = load i32, i32* %13
switch i32 %194, label %197 [
i32 18, label %195
i32 20, label %196
]
195: ; preds = %193
store double 0xBF5C5EDD33A4AEA1, double* %11
br label %248
196: ; preds = %193
store double 0x3F594DB0880194C7, double* %11
br label %248
197: ; preds = %193
store double 0.000000e+00, double* %11
br label %248
198: ; preds = %10
%199 = load i32, i32* %13
switch i32 %199, label %202 [
i32 19, label %200
i32 21, label %201
]
200: ; preds = %198
store double 0xBF594DB0880194C7, double* %11
br label %248
201: ; preds = %198
store double 0x3F56B54FA8016B67, double* %11
br label %248
202: ; preds = %198
store double 0.000000e+00, double* %11
br label %248
203: ; preds = %10
%204 = load i32, i32* %13
switch i32 %204, label %207 [
i32 20, label %205
i32 22, label %206
]
205: ; preds = %203
store double 0xBF56B54FA8016B67, double* %11
br label %248
206: ; preds = %203
store double 0x3F547E28AA58B218, double* %11
br label %248
207: ; preds = %203
store double 0.000000e+00, double* %11
br label %248
208: ; preds = %10
%209 = load i32, i32* %13
switch i32 %209, label %212 [
i32 21, label %210
i32 23, label %211
]
210: ; preds = %208
store double 0xBF547E28AA58B218, double* %11
br label %248
211: ; preds = %208
store double 0x3F529624E1F13050, double* %11
br label %248
212: ; preds = %208
store double 0.000000e+00, double* %11
br label %248
213: ; preds = %10
%214 = load i32, i32* %13
switch i32 %214, label %217 [
i32 22, label %215
i32 24, label %216
]
215: ; preds = %213
store double 0xBF529624E1F13050, double* %11
br label %248
216: ; preds = %213
store double 0x3F50EF32ABB99DD6, double* %11
br label %248
217: ; preds = %213
store double 0.000000e+00, double* %11
br label %248
218: ; preds = %10
%219 = load i32, i32* %13
switch i32 %219, label %222 [
i32 23, label %220
i32 25, label %221
]
220: ; preds = %218
store double 0xBF50EF32ABB99DD6, double* %11
br label %248
221: ; preds = %218
store double 0x3F4EFC7D65CB77F2, double* %11
br label %248
222: ; preds = %218
store double 0.000000e+00, double* %11
br label %248
223: ; preds = %10
%224 = load i32, i32* %13
switch i32 %224, label %227 [
i32 24, label %225
i32 26, label %226
]
225: ; preds = %223
store double 0xBF4EFC7D65CB77F2, double* %11
br label %248
226: ; preds = %223
store double 0x3F4C74F08C8163B9, double* %11
br label %248
227: ; preds = %223
store double 0.000000e+00, double* %11
br label %248
228: ; preds = %10
%229 = load i32, i32* %13
switch i32 %229, label %232 [
i32 25, label %230
i32 27, label %231
]
230: ; preds = %228
store double 0xBF4C74F08C8163B9, double* %11
br label %248
231: ; preds = %228
store double 0x3F4A3992635E24B1, double* %11
br label %248
232: ; preds = %228
store double 0.000000e+00, double* %11
br label %248
233: ; preds = %10
%234 = load i32, i32* %13
switch i32 %234, label %237 [
i32 26, label %235
i32 28, label %236
]
235: ; preds = %233
store double 0xBF4A3992635E24B1, double* %11
br label %248
236: ; preds = %233
store double 0x3F483EE31D136A5A, double* %11
br label %248
237: ; preds = %233
store double 0.000000e+00, double* %11
br label %248
238: ; preds = %10
%239 = load i32, i32* %13
switch i32 %239, label %242 [
i32 27, label %240
i32 29, label %241
]
240: ; preds = %238
store double 0xBF483EE31D136A5A, double* %11
br label %248
241: ; preds = %238
store double 0x3F467B7A28ECC45F, double* %11
br label %248
242: ; preds = %238
store double 0.000000e+00, double* %11
br label %248
243: ; preds = %10
%244 = load i32, i32* %13
switch i32 %244, label %246 [
i32 28, label %245
]
245: ; preds = %243
store double 0xBF467B7A28ECC45F, double* %11
br label %248
246: ; preds = %243
store double 0.000000e+00, double* %11
br label %248
247: ; preds = %10
store double 0.000000e+00, double* %11
br label %248
248: ; preds = %247, %246, %245, %242, %241, %240, %237, %236, %235, %232, %231, %230, %227, %226, %225, %222, %221, %220, %217, %216, %215, %212, %211, %210, %207, %206, %205, %202, %201, %200, %197, %196, %195, %192, %191, %190, %187, %186, %185, %182, %181, %180, %177, %176, %175, %172, %171, %170, %167, %166, %165, %162, %161, %160, %157, %156, %155, %152, %151, %150, %147, %146, %145, %142, %141, %140, %137, %136, %135, %132, %131, %130, %127, %126, %125, %122, %121, %118, %115, %112, %109, %106, %103, %98, %93, %88, %83, %80, %77, %72, %67, %64, %61, %56, %51, %46, %41, %38, %35, %30, %25
%249 = load double, double* %11
ret double %249
}

LLVM IR (-O2):
define double @integral_fxifxixi(i32 %0, i32 %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9) {
switch i32 %0, label %192 [
i32 0, label %11
i32 1, label %20
i32 2, label %35
i32 3, label %44
i32 4, label %59
i32 5, label %69
i32 6, label %74
i32 7, label %79
i32 8, label %84
i32 9, label %89
i32 10, label %94
i32 11, label %99
i32 12, label %104
i32 13, label %109
i32 14, label %114
i32 15, label %119
i32 16, label %124
i32 17, label %129
i32 18, label %134
i32 19, label %139
i32 20, label %144
i32 21, label %149
i32 22, label %154
i32 23, label %159
i32 24, label %164
i32 25, label %169
i32 26, label %174
i32 27, label %179
i32 28, label %184
i32 29, label %189
]
11: ; preds = %10
switch i32 %1, label %192 [
i32 1, label %12
i32 3, label %15
i32 4, label %18
]
12: ; preds = %11
%13 = fmul double %2, 2.500000e-01
%14 = fmul double %13, %7
br label %192
15: ; preds = %11
%16 = fmul double %2, -2.500000e-01
%17 = fmul double %16, %9
br label %192
18: ; preds = %11
%19 = fmul double %2, 2.000000e-01
br label %192
20: ; preds = %10
switch i32 %1, label %192 [
i32 0, label %21
i32 1, label %24
i32 2, label %27
i32 3, label %30
i32 4, label %33
]
21: ; preds = %20
%22 = fmul double %3, -2.500000e-01
%23 = fmul double %22, %6
br label %192
24: ; preds = %20
%25 = fmul double %3, -1.250000e-01
%26 = fmul double %25, %7
br label %192
27: ; preds = %20
%28 = fmul double %3, 2.500000e-01
%29 = fmul double %28, %8
br label %192
30: ; preds = %20
%31 = fmul double %3, -1.250000e-01
%32 = fmul double %31, %9
br label %192
33: ; preds = %20
%34 = fmul double %3, 1.000000e-01
br label %192
35: ; preds = %10
switch i32 %1, label %192 [
i32 1, label %36
i32 3, label %39
i32 4, label %42
]
36: ; preds = %35
%37 = fmul double %4, -2.500000e-01
%38 = fmul double %37, %7
br label %192
39: ; preds = %35
%40 = fmul double %4, 2.500000e-01
%41 = fmul double %40, %9
br label %192
42: ; preds = %35
%43 = fmul double %4, -2.000000e-01
br label %192
44: ; preds = %10
switch i32 %1, label %192 [
i32 0, label %45
i32 1, label %48
i32 2, label %51
i32 3, label %54
i32 4, label %57
]
45: ; preds = %44
%46 = fmul double %5, 2.500000e-01
%47 = fmul double %46, %6
br label %192
48: ; preds = %44
%49 = fmul double %5, 1.250000e-01
%50 = fmul double %49, %7
br label %192
51: ; preds = %44
%52 = fmul double %5, -2.500000e-01
%53 = fmul double %52, %8
br label %192
54: ; preds = %44
%55 = fmul double %5, 1.250000e-01
%56 = fmul double %55, %9
br label %192
57: ; preds = %44
%58 = fmul double %5, 1.000000e-01
br label %192
59: ; preds = %10
switch i32 %1, label %68 [
i32 0, label %60
i32 1, label %62
i32 2, label %64
i32 3, label %66
i32 5, label %192
]
60: ; preds = %59
%61 = fmul double %6, -2.000000e-01
br label %192
62: ; preds = %59
%63 = fmul double %7, -1.000000e-01
br label %192
64: ; preds = %59
%65 = fmul double %8, 2.000000e-01
br label %192
66: ; preds = %59
%67 = fmul double %9, -1.000000e-01
br label %192
68: ; preds = %59
br label %192
69: ; preds = %10
%70 = icmp eq i32 %1, 6
%71 = select i1 %70, double 0x3FA041041041040A, double 0.000000e+00
%72 = icmp eq i32 %1, 4
%73 = select i1 %72, double 0xBFAD41D41D41D417, double %71
br label %192
74: ; preds = %10
%75 = icmp eq i32 %1, 7
%76 = select i1 %75, double 0x3F94AFD6A052BF5A, double 0.000000e+00
%77 = icmp eq i32 %1, 5
%78 = select i1 %77, double 0xBFA041041041040A, double %76
br label %192
79: ; preds = %10
%80 = icmp eq i32 %1, 8
%81 = select i1 %80, double 0x3F8CA4B3055EE199, double 0.000000e+00
%82 = icmp eq i32 %1, 6
%83 = select i1 %82, double 0xBF94AFD6A052BF5A, double %81
br label %192
84: ; preds = %10
%85 = icmp eq i32 %1, 9
%86 = select i1 %85, double 0x3F8501501501502E, double 0.000000e+00
%87 = icmp eq i32 %1, 7
%88 = select i1 %87, double 0xBF8CA4B3055EE199, double %86
br label %192
89: ; preds = %10
%90 = icmp eq i32 %1, 10
%91 = select i1 %90, double 0x3F80101010101010, double 0.000000e+00
%92 = icmp eq i32 %1, 8
%93 = select i1 %92, double 0xBF8501501501502E, double %91
br label %192
94: ; preds = %10
%95 = icmp eq i32 %1, 11
%96 = select i1 %95, double 0x3F795CBB0BE377B4, double 0.000000e+00
%97 = icmp eq i32 %1, 9
%98 = select i1 %97, double 0xBF80101010101010, double %96
br label %192
99: ; preds = %10
%100 = icmp eq i32 %1, 12
%101 = select i1 %100, double 0x3F7488052201487E, double 0.000000e+00
%102 = icmp eq i32 %1, 10
%103 = select i1 %102, double 0xBF795CBB0BE377B4, double %101
br label %192
104: ; preds = %10
%105 = icmp eq i32 %1, 13
%106 = select i1 %105, double 0x3F70F5EDFAB325A0, double 0.000000e+00
%107 = icmp eq i32 %1, 11
%108 = select i1 %107, double 0xBF7488052201487E, double %106
br label %192
109: ; preds = %10
%110 = icmp eq i32 %1, 14
%111 = select i1 %110, double 0x3F6C7E7115D0CE9B, double 0.000000e+00
%112 = icmp eq i32 %1, 12
%113 = select i1 %112, double 0xBF70F5EDFAB325A0, double %111
br label %192
114: ; preds = %10
%115 = icmp eq i32 %1, 15
%116 = select i1 %115, double 0x3F6845C8A0CE5123, double 0.000000e+00
%117 = icmp eq i32 %1, 13
%118 = select i1 %117, double 0xBF6C7E7115D0CE9B, double %116
br label %192
119: ; preds = %10
%120 = icmp eq i32 %1, 16
%121 = select i1 %120, double 0x3F64ECB5C86B3D1F, double 0.000000e+00
%122 = icmp eq i32 %1, 14
%123 = select i1 %122, double 0xBF6845C8A0CE5123, double %121
br label %192
124: ; preds = %10
%125 = icmp eq i32 %1, 17
%126 = select i1 %125, double 0x3F6239858D86B118, double 0.000000e+00
%127 = icmp eq i32 %1, 15
%128 = select i1 %127, double 0xBF64ECB5C86B3D1F, double %126
br label %192
129: ; preds = %10
%130 = icmp eq i32 %1, 18
%131 = select i1 %130, double 0x3F60040100401006, double 0.000000e+00
%132 = icmp eq i32 %1, 16
%133 = select i1 %132, double 0xBF6239858D86B118, double %131
br label %192
134: ; preds = %10
%135 = icmp eq i32 %1, 19
%136 = select i1 %135, double 0x3F5C5EDD33A4AEA1, double 0.000000e+00
%137 = icmp eq i32 %1, 17
%138 = select i1 %137, double 0xBF60040100401006, double %136
br label %192
139: ; preds = %10
%140 = icmp eq i32 %1, 20
%141 = select i1 %140, double 0x3F594DB0880194C7, double 0.000000e+00
%142 = icmp eq i32 %1, 18
%143 = select i1 %142, double 0xBF5C5EDD33A4AEA1, double %141
br label %192
144: ; preds = %10
%145 = icmp eq i32 %1, 21
%146 = select i1 %145, double 0x3F56B54FA8016B67, double 0.000000e+00
%147 = icmp eq i32 %1, 19
%148 = select i1 %147, double 0xBF594DB0880194C7, double %146
br label %192
149: ; preds = %10
%150 = icmp eq i32 %1, 22
%151 = select i1 %150, double 0x3F547E28AA58B218, double 0.000000e+00
%152 = icmp eq i32 %1, 20
%153 = select i1 %152, double 0xBF56B54FA8016B67, double %151
br label %192
154: ; preds = %10
%155 = icmp eq i32 %1, 23
%156 = select i1 %155, double 0x3F529624E1F13050, double 0.000000e+00
%157 = icmp eq i32 %1, 21
%158 = select i1 %157, double 0xBF547E28AA58B218, double %156
br label %192
159: ; preds = %10
%160 = icmp eq i32 %1, 24
%161 = select i1 %160, double 0x3F50EF32ABB99DD6, double 0.000000e+00
%162 = icmp eq i32 %1, 22
%163 = select i1 %162, double 0xBF529624E1F13050, double %161
br label %192
164: ; preds = %10
%165 = icmp eq i32 %1, 25
%166 = select i1 %165, double 0x3F4EFC7D65CB77F2, double 0.000000e+00
%167 = icmp eq i32 %1, 23
%168 = select i1 %167, double 0xBF50EF32ABB99DD6, double %166
br label %192
169: ; preds = %10
%170 = icmp eq i32 %1, 26
%171 = select i1 %170, double 0x3F4C74F08C8163B9, double 0.000000e+00
%172 = icmp eq i32 %1, 24
%173 = select i1 %172, double 0xBF4EFC7D65CB77F2, double %171
br label %192
174: ; preds = %10
%175 = icmp eq i32 %1, 27
%176 = select i1 %175, double 0x3F4A3992635E24B1, double 0.000000e+00
%177 = icmp eq i32 %1, 25
%178 = select i1 %177, double 0xBF4C74F08C8163B9, double %176
br label %192
179: ; preds = %10
%180 = icmp eq i32 %1, 28
%181 = select i1 %180, double 0x3F483EE31D136A5A, double 0.000000e+00
%182 = icmp eq i32 %1, 26
%183 = select i1 %182, double 0xBF4A3992635E24B1, double %181
br label %192
184: ; preds = %10
%185 = icmp eq i32 %1, 29
%186 = select i1 %185, double 0x3F467B7A28ECC45F, double 0.000000e+00
%187 = icmp eq i32 %1, 27
%188 = select i1 %187, double 0xBF483EE31D136A5A, double %186
br label %192
189: ; preds = %10
%190 = icmp eq i32 %1, 28
%191 = select i1 %190, double 0xBF467B7A28ECC45F, double 0.000000e+00
br label %192
192: ; preds = %10, %189, %184, %179, %174, %169, %164, %159, %154, %149, %144, %139, %134, %129, %124, %119, %114, %109, %104, %99, %94, %89, %84, %79, %74, %69, %59, %44, %35, %20, %11, %68, %66, %64, %62, %60, %57, %54, %51, %48, %45, %42, %39, %36, %33, %30, %27, %24, %21, %18, %15, %12
%193 = phi double [ 0.000000e+00, %68 ], [ %67, %66 ], [ %65, %64 ], [ %63, %62 ], [ %61, %60 ], [ %58, %57 ], [ %56, %54 ], [ %53, %51 ], [ %50, %48 ], [ %47, %45 ], [ %43, %42 ], [ %41, %39 ], [ %38, %36 ], [ %34, %33 ], [ %32, %30 ], [ %29, %27 ], [ %26, %24 ], [ %23, %21 ], [ %19, %18 ], [ %17, %15 ], [ %14, %12 ], [ 0.000000e+00, %11 ], [ 0.000000e+00, %20 ], [ 0.000000e+00, %35 ], [ 0.000000e+00, %44 ], [ 0x3FAD41D41D41D417, %59 ], [ %73, %69 ], [ %78, %74 ], [ %83, %79 ], [ %88, %84 ], [ %93, %89 ], [ %98, %94 ], [ %103, %99 ], [ %108, %104 ], [ %113, %109 ], [ %118, %114 ], [ %123, %119 ], [ %128, %124 ], [ %133, %129 ], [ %138, %134 ], [ %143, %139 ], [ %148, %144 ], [ %153, %149 ], [ %158, %154 ], [ %163, %159 ], [ %168, %164 ], [ %173, %169 ], [ %178, %174 ], [ %183, %179 ], [ %188, %184 ], [ %191, %189 ], [ 0.000000e+00, %10 ]
ret double %193
}