double integral_fxifxi(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 0:
      return 0.6 * x1t * y1t;
    case 1:
      return 0.05 * x1t * y1r;
    case 2:
      return -0.6 * x1t * y2t;
    case 3:
      return 0.05 * x1t * y2r;
    case 5:
      return -0.0285714285714286 * x1t;
    default:
      return 0.;
    }
  case 1:
    switch (j) {
    case 0:
      return 0.05 * x1r * y1t;
    case 1:
      return 0.0666666666666667 * x1r * y1r;
    case 2:
      return -0.05 * x1r * y2t;
    case 3:
      return -0.0166666666666667 * x1r * y2r;
    case 4:
      return 0.0333333333333333 * x1r;
    case 5:
      return -0.0142857142857143 * x1r;
    default:
      return 0.;
    }
  case 2:
    switch (j) {
    case 0:
      return -0.6 * x2t * y1t;
    case 1:
      return -0.05 * x2t * y1r;
    case 2:
      return 0.6 * x2t * y2t;
    case 3:
      return -0.05 * x2t * y2r;
    case 5:
      return 0.0285714285714286 * x2t;
    default:
      return 0.;
    }
  case 3:
    switch (j) {
    case 0:
      return 0.05 * x2r * y1t;
    case 1:
      return -0.0166666666666667 * x2r * y1r;
    case 2:
      return -0.05 * x2r * y2t;
    case 3:
      return 0.0666666666666667 * x2r * y2r;
    case 4:
      return -0.0333333333333333 * x2r;
    case 5:
      return -0.0142857142857143 * x2r;
    default:
      return 0.;
    }
  case 4:
    switch (j) {
    case 1:
      return 0.0333333333333333 * y1r;
    case 3:
      return -0.0333333333333333 * y2r;
    case 4:
      return 0.0380952380952381;
    case 6:
      return -0.00634920634920635;
    default:
      return 0.;
    }
  case 5:
    switch (j) {
    case 0:
      return -0.0285714285714286 * y1t;
    case 1:
      return -0.0142857142857143 * y1r;
    case 2:
      return 0.0285714285714286 * y2t;
    case 3:
      return -0.0142857142857143 * y2r;
    case 5:
      return 0.0126984126984127;
    case 7:
      return -0.00288600288600289;
    default:
      return 0.;
    }
  case 6:
    switch (j) {
    case 4:
      return -0.00634920634920635;
    case 6:
      return 0.00577200577200577;
    case 8:
      return -0.00155400155400155;
    default:
      return 0.;
    }
  case 7:
    switch (j) {
    case 5:
      return -0.00288600288600289;
    case 7:
      return 0.00310800310800311;
    case 9:
      return -0.000932400932400932;
    default:
      return 0.;
    }
  case 8:
    switch (j) {
    case 6:
      return -0.00155400155400155;
    case 8:
      return 0.00186480186480186;
    case 10:
      return -0.000603318250377074;
    default:
      return 0.;
    }
  case 9:
    switch (j) {
    case 7:
      return -0.000932400932400932;
    case 9:
      return 0.00120663650075415;
    case 11:
      return -0.000412796697626419;
    default:
      return 0.;
    }
  case 10:
    switch (j) {
    case 8:
      return -0.000603318250377074;
    case 10:
      return 0.000825593395252838;
    case 12:
      return -0.000294854784018871;
    default:
      return 0.;
    }
  case 11:
    switch (j) {
    case 9:
      return -0.000412796697626419;
    case 11:
      return 0.000589709568037741;
    case 13:
      return -0.000217936144709600;
    default:
      return 0.;
    }
  case 12:
    switch (j) {
    case 10:
      return -0.000294854784018871;
    case 12:
      return 0.000435872289419200;
    case 14:
      return -0.000165631469979296;
    default:
      return 0.;
    }
  case 13:
    switch (j) {
    case 11:
      return -0.000217936144709600;
    case 13:
      return 0.000331262939958592;
    case 15:
      return -0.000128824476650564;
    default:
      return 0.;
    }
  case 14:
    switch (j) {
    case 12:
      return -0.000165631469979296;
    case 14:
      return 0.000257648953301127;
    case 16:
      return -0.000102171136653895;
    default:
      return 0.;
    }
  case 15:
    switch (j) {
    case 13:
      return -0.000128824476650564;
    case 15:
      return 0.000204342273307791;
    case 17:
      return -8.23960779466897e-5;
    default:
      return 0.;
    }
  case 16:
    switch (j) {
    case 14:
      return -0.000102171136653895;
    case 16:
      return 0.000164792155893379;
    case 18:
      return -6.74149728654734e-5;
    default:
      return 0.;
    }
  case 17:
    switch (j) {
    case 15:
      return -8.23960779466897e-5;
    case 17:
      return 0.000134829945730947;
    case 19:
      return -5.58581203742494e-5;
    default:
      return 0.;
    }
  case 18:
    switch (j) {
    case 16:
      return -6.74149728654734e-5;
    case 18:
      return 0.000111716240748499;
    case 20:
      return -4.68000468000468e-5;
    default:
      return 0.;
    }
  case 19:
    switch (j) {
    case 17:
      return -5.58581203742494e-5;
    case 19:
      return 9.36000936000936e-5;
    case 21:
      return -3.96000396000396e-5;
    default:
      return 0.;
    }
  case 20:
    switch (j) {
    case 18:
      return -4.68000468000468e-5;
    case 20:
      return 7.92000792000792e-5;
    case 22:
      return -3.38049118536923e-5;
    default:
      return 0.;
    }
  case 21:
    switch (j) {
    case 19:
      return -3.96000396000396e-5;
    case 21:
      return 6.76098237073847e-5;
    case 23:
      return -2.90879474089911e-5;
    default:
      return 0.;
    }
  case 22:
    switch (j) {
    case 20:
      return -3.38049118536923e-5;
    case 22:
      return 5.81758948179822e-5;
    case 24:
      return -2.52095544211256e-5;
    default:
      return 0.;
    }
  case 23:
    switch (j) {
    case 21:
      return -2.90879474089911e-5;
    case 23:
      return 5.04191088422512e-5;
    case 25:
      return -2.19913134311947e-5;
    default:
      return 0.;
    }
  case 24:
    switch (j) {
    case 22:
      return -2.52095544211256e-5;
    case 24:
      return 4.39826268623894e-5;
    case 26:
      return -1.92984995416606e-5;
    default:
      return 0.;
    }
  case 25:
    switch (j) {
    case 23:
      return -2.19913134311947e-5;
    case 25:
      return 3.85969990833213e-5;
    case 27:
      return -1.70280878308770e-5;
    default:
      return 0.;
    }
  case 26:
    switch (j) {
    case 24:
      return -1.92984995416606e-5;
    case 26:
      return 3.40561756617541e-5;
    case 28:
      return -1.51003797745513e-5;
    default:
      return 0.;
    }
  case 27:
    switch (j) {
    case 25:
      return -1.70280878308770e-5;
    case 27:
      return 3.02007595491027e-5;
    case 29:
      return -1.34530656173275e-5;
    default:
      return 0.;
    }
  case 28:
    switch (j) {
    case 26:
      return -1.51003797745513e-5;
    case 28:
      return 2.69061312346551e-5;
    default:
      return 0.;
    }
  case 29:
    switch (j) {
    case 27:
      return -1.34530656173275e-5;
    case 29:
      return 2.40739068941651e-5;
    default:
      return 0.;
    }
  default:
    return 0.;
  }
}


x86 assembly (clang, -O0):
<integral_fxifxi>:
push   %rbp
mov    %rsp,%rbp
sub    $0x68,%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     2191 <integral_fxifxi+0x1091>
mov    -0x58(%rbp),%rax
lea    0x2096(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%eax
mov    %rax,-0x60(%rbp)
sub    $0x5,%rax
ja     1207 <integral_fxifxi+0x107>
mov    -0x60(%rbp),%rax
lea    0x2169(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0x2050(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x202c(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x2020(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1ff4(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1fa0(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %rax,-0x68(%rbp)
sub    $0x5,%rax
ja     12d7 <integral_fxifxi+0x1d7>
mov    -0x68(%rbp),%rax
lea    0x2098(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0x1f8f(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1f5b(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1f47(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1f33(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1eff(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1ec0(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %rax,-0x70(%rbp)
sub    $0x5,%rax
ja     1390 <integral_fxifxi+0x290>
mov    -0x70(%rbp),%rax
lea    0x1fb0(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0x1ecf(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1e93(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1e8f(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1e5b(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1e0f(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %rax,-0x78(%rbp)
sub    $0x5,%rax
ja     1460 <integral_fxifxi+0x360>
mov    -0x78(%rbp),%rax
lea    0x1edf(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0x1e06(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1de2(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1dbe(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1d9a(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1d6e(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1d37(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x80(%rbp)
sub    $0x5,%eax
ja     14e8 <integral_fxifxi+0x3e8>
mov    -0x80(%rbp),%rax
lea    0x1df3(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0x1d12(%rip),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1cf3(%rip),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1cd4(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1c9a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %rax,-0x88(%rbp)
sub    $0x7,%rax
ja     15a0 <integral_fxifxi+0x4a0>
mov    -0x88(%rbp),%rax
lea    0x1d49(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  0x1c70(%rip),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1c49(%rip),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1c3a(%rip),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1c1b(%rip),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1bfc(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1bd2(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0x8c(%rbp)
sub    $0x4,%eax
je     15ec <integral_fxifxi+0x4ec>
jmp    15c4 <integral_fxifxi+0x4c4>
mov    -0x8c(%rbp),%eax
sub    $0x6,%eax
je     15fe <integral_fxifxi+0x4fe>
jmp    15d8 <integral_fxifxi+0x4d8>
mov    -0x8c(%rbp),%eax
sub    $0x8,%eax
je     1610 <integral_fxifxi+0x510>
jmp    1622 <integral_fxifxi+0x522>
movsd  0x1b84(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1b6a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1b40(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0x90(%rbp)
sub    $0x5,%eax
je     166e <integral_fxifxi+0x56e>
jmp    1646 <integral_fxifxi+0x546>
mov    -0x90(%rbp),%eax
sub    $0x7,%eax
je     1680 <integral_fxifxi+0x580>
jmp    165a <integral_fxifxi+0x55a>
mov    -0x90(%rbp),%eax
sub    $0x9,%eax
je     1692 <integral_fxifxi+0x592>
jmp    16a4 <integral_fxifxi+0x5a4>
movsd  0x1af2(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1ad8(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1aae(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0x94(%rbp)
sub    $0x6,%eax
je     16f0 <integral_fxifxi+0x5f0>
jmp    16c8 <integral_fxifxi+0x5c8>
mov    -0x94(%rbp),%eax
sub    $0x8,%eax
je     1702 <integral_fxifxi+0x602>
jmp    16dc <integral_fxifxi+0x5dc>
mov    -0x94(%rbp),%eax
sub    $0xa,%eax
je     1714 <integral_fxifxi+0x614>
jmp    1726 <integral_fxifxi+0x626>
movsd  0x1a60(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1a46(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1a1c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0x98(%rbp)
sub    $0x7,%eax
je     1772 <integral_fxifxi+0x672>
jmp    174a <integral_fxifxi+0x64a>
mov    -0x98(%rbp),%eax
sub    $0x9,%eax
je     1784 <integral_fxifxi+0x684>
jmp    175e <integral_fxifxi+0x65e>
mov    -0x98(%rbp),%eax
sub    $0xb,%eax
je     1796 <integral_fxifxi+0x696>
jmp    17a8 <integral_fxifxi+0x6a8>
movsd  0x19ce(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x19b4(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x198a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0x9c(%rbp)
sub    $0x8,%eax
je     17f4 <integral_fxifxi+0x6f4>
jmp    17cc <integral_fxifxi+0x6cc>
mov    -0x9c(%rbp),%eax
sub    $0xa,%eax
je     1806 <integral_fxifxi+0x706>
jmp    17e0 <integral_fxifxi+0x6e0>
mov    -0x9c(%rbp),%eax
sub    $0xc,%eax
je     1818 <integral_fxifxi+0x718>
jmp    182a <integral_fxifxi+0x72a>
movsd  0x193c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1922(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x18f8(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xa0(%rbp)
sub    $0x9,%eax
je     1876 <integral_fxifxi+0x776>
jmp    184e <integral_fxifxi+0x74e>
mov    -0xa0(%rbp),%eax
sub    $0xb,%eax
je     1888 <integral_fxifxi+0x788>
jmp    1862 <integral_fxifxi+0x762>
mov    -0xa0(%rbp),%eax
sub    $0xd,%eax
je     189a <integral_fxifxi+0x79a>
jmp    18ac <integral_fxifxi+0x7ac>
movsd  0x18aa(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1890(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1866(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xa4(%rbp)
sub    $0xa,%eax
je     18f8 <integral_fxifxi+0x7f8>
jmp    18d0 <integral_fxifxi+0x7d0>
mov    -0xa4(%rbp),%eax
sub    $0xc,%eax
je     190a <integral_fxifxi+0x80a>
jmp    18e4 <integral_fxifxi+0x7e4>
mov    -0xa4(%rbp),%eax
sub    $0xe,%eax
je     191c <integral_fxifxi+0x81c>
jmp    192e <integral_fxifxi+0x82e>
movsd  0x1818(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x17fe(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x17d4(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xa8(%rbp)
sub    $0xb,%eax
je     197a <integral_fxifxi+0x87a>
jmp    1952 <integral_fxifxi+0x852>
mov    -0xa8(%rbp),%eax
sub    $0xd,%eax
je     198c <integral_fxifxi+0x88c>
jmp    1966 <integral_fxifxi+0x866>
mov    -0xa8(%rbp),%eax
sub    $0xf,%eax
je     199e <integral_fxifxi+0x89e>
jmp    19b0 <integral_fxifxi+0x8b0>
movsd  0x1786(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x176c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1742(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xac(%rbp)
sub    $0xc,%eax
je     19fc <integral_fxifxi+0x8fc>
jmp    19d4 <integral_fxifxi+0x8d4>
mov    -0xac(%rbp),%eax
sub    $0xe,%eax
je     1a0e <integral_fxifxi+0x90e>
jmp    19e8 <integral_fxifxi+0x8e8>
mov    -0xac(%rbp),%eax
sub    $0x10,%eax
je     1a20 <integral_fxifxi+0x920>
jmp    1a32 <integral_fxifxi+0x932>
movsd  0x16f4(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x16da(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x16b0(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xb0(%rbp)
sub    $0xd,%eax
je     1a7e <integral_fxifxi+0x97e>
jmp    1a56 <integral_fxifxi+0x956>
mov    -0xb0(%rbp),%eax
sub    $0xf,%eax
je     1a90 <integral_fxifxi+0x990>
jmp    1a6a <integral_fxifxi+0x96a>
mov    -0xb0(%rbp),%eax
sub    $0x11,%eax
je     1aa2 <integral_fxifxi+0x9a2>
jmp    1ab4 <integral_fxifxi+0x9b4>
movsd  0x1662(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1648(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x161e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xb4(%rbp)
sub    $0xe,%eax
je     1b00 <integral_fxifxi+0xa00>
jmp    1ad8 <integral_fxifxi+0x9d8>
mov    -0xb4(%rbp),%eax
sub    $0x10,%eax
je     1b12 <integral_fxifxi+0xa12>
jmp    1aec <integral_fxifxi+0x9ec>
mov    -0xb4(%rbp),%eax
sub    $0x12,%eax
je     1b24 <integral_fxifxi+0xa24>
jmp    1b36 <integral_fxifxi+0xa36>
movsd  0x15d0(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x15b6(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x158c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xb8(%rbp)
sub    $0xf,%eax
je     1b82 <integral_fxifxi+0xa82>
jmp    1b5a <integral_fxifxi+0xa5a>
mov    -0xb8(%rbp),%eax
sub    $0x11,%eax
je     1b94 <integral_fxifxi+0xa94>
jmp    1b6e <integral_fxifxi+0xa6e>
mov    -0xb8(%rbp),%eax
sub    $0x13,%eax
je     1ba6 <integral_fxifxi+0xaa6>
jmp    1bb8 <integral_fxifxi+0xab8>
movsd  0x153e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1524(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x14fa(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xbc(%rbp)
sub    $0x10,%eax
je     1c04 <integral_fxifxi+0xb04>
jmp    1bdc <integral_fxifxi+0xadc>
mov    -0xbc(%rbp),%eax
sub    $0x12,%eax
je     1c16 <integral_fxifxi+0xb16>
jmp    1bf0 <integral_fxifxi+0xaf0>
mov    -0xbc(%rbp),%eax
sub    $0x14,%eax
je     1c28 <integral_fxifxi+0xb28>
jmp    1c3a <integral_fxifxi+0xb3a>
movsd  0x14ac(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1492(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1468(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xc0(%rbp)
sub    $0x11,%eax
je     1c86 <integral_fxifxi+0xb86>
jmp    1c5e <integral_fxifxi+0xb5e>
mov    -0xc0(%rbp),%eax
sub    $0x13,%eax
je     1c98 <integral_fxifxi+0xb98>
jmp    1c72 <integral_fxifxi+0xb72>
mov    -0xc0(%rbp),%eax
sub    $0x15,%eax
je     1caa <integral_fxifxi+0xbaa>
jmp    1cbc <integral_fxifxi+0xbbc>
movsd  0x141a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1400(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x13d6(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xc4(%rbp)
sub    $0x12,%eax
je     1d08 <integral_fxifxi+0xc08>
jmp    1ce0 <integral_fxifxi+0xbe0>
mov    -0xc4(%rbp),%eax
sub    $0x14,%eax
je     1d1a <integral_fxifxi+0xc1a>
jmp    1cf4 <integral_fxifxi+0xbf4>
mov    -0xc4(%rbp),%eax
sub    $0x16,%eax
je     1d2c <integral_fxifxi+0xc2c>
jmp    1d3e <integral_fxifxi+0xc3e>
movsd  0x1388(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x136e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1344(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xc8(%rbp)
sub    $0x13,%eax
je     1d8a <integral_fxifxi+0xc8a>
jmp    1d62 <integral_fxifxi+0xc62>
mov    -0xc8(%rbp),%eax
sub    $0x15,%eax
je     1d9c <integral_fxifxi+0xc9c>
jmp    1d76 <integral_fxifxi+0xc76>
mov    -0xc8(%rbp),%eax
sub    $0x17,%eax
je     1dae <integral_fxifxi+0xcae>
jmp    1dc0 <integral_fxifxi+0xcc0>
movsd  0x12f6(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x12dc(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x12b2(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xcc(%rbp)
sub    $0x14,%eax
je     1e0c <integral_fxifxi+0xd0c>
jmp    1de4 <integral_fxifxi+0xce4>
mov    -0xcc(%rbp),%eax
sub    $0x16,%eax
je     1e1e <integral_fxifxi+0xd1e>
jmp    1df8 <integral_fxifxi+0xcf8>
mov    -0xcc(%rbp),%eax
sub    $0x18,%eax
je     1e30 <integral_fxifxi+0xd30>
jmp    1e42 <integral_fxifxi+0xd42>
movsd  0x1264(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x124a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1220(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xd0(%rbp)
sub    $0x15,%eax
je     1e8e <integral_fxifxi+0xd8e>
jmp    1e66 <integral_fxifxi+0xd66>
mov    -0xd0(%rbp),%eax
sub    $0x17,%eax
je     1ea0 <integral_fxifxi+0xda0>
jmp    1e7a <integral_fxifxi+0xd7a>
mov    -0xd0(%rbp),%eax
sub    $0x19,%eax
je     1eb2 <integral_fxifxi+0xdb2>
jmp    1ec4 <integral_fxifxi+0xdc4>
movsd  0x11d2(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x11b8(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x118e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xd4(%rbp)
sub    $0x16,%eax
je     1f10 <integral_fxifxi+0xe10>
jmp    1ee8 <integral_fxifxi+0xde8>
mov    -0xd4(%rbp),%eax
sub    $0x18,%eax
je     1f22 <integral_fxifxi+0xe22>
jmp    1efc <integral_fxifxi+0xdfc>
mov    -0xd4(%rbp),%eax
sub    $0x1a,%eax
je     1f34 <integral_fxifxi+0xe34>
jmp    1f46 <integral_fxifxi+0xe46>
movsd  0x1140(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1126(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x10fc(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xd8(%rbp)
sub    $0x17,%eax
je     1f92 <integral_fxifxi+0xe92>
jmp    1f6a <integral_fxifxi+0xe6a>
mov    -0xd8(%rbp),%eax
sub    $0x19,%eax
je     1fa4 <integral_fxifxi+0xea4>
jmp    1f7e <integral_fxifxi+0xe7e>
mov    -0xd8(%rbp),%eax
sub    $0x1b,%eax
je     1fb6 <integral_fxifxi+0xeb6>
jmp    1fc8 <integral_fxifxi+0xec8>
movsd  0x10ae(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1094(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x106a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xdc(%rbp)
sub    $0x18,%eax
je     2014 <integral_fxifxi+0xf14>
jmp    1fec <integral_fxifxi+0xeec>
mov    -0xdc(%rbp),%eax
sub    $0x1a,%eax
je     2026 <integral_fxifxi+0xf26>
jmp    2000 <integral_fxifxi+0xf00>
mov    -0xdc(%rbp),%eax
sub    $0x1c,%eax
je     2038 <integral_fxifxi+0xf38>
jmp    204a <integral_fxifxi+0xf4a>
movsd  0x101c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0x1002(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0xfd8(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xe0(%rbp)
sub    $0x19,%eax
je     2096 <integral_fxifxi+0xf96>
jmp    206e <integral_fxifxi+0xf6e>
mov    -0xe0(%rbp),%eax
sub    $0x1b,%eax
je     20a8 <integral_fxifxi+0xfa8>
jmp    2082 <integral_fxifxi+0xf82>
mov    -0xe0(%rbp),%eax
sub    $0x1d,%eax
je     20ba <integral_fxifxi+0xfba>
jmp    20cc <integral_fxifxi+0xfcc>
movsd  0xf8a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0xf70(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0xf46(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xe4(%rbp)
sub    $0x1a,%eax
je     2104 <integral_fxifxi+0x1004>
jmp    20f0 <integral_fxifxi+0xff0>
mov    -0xe4(%rbp),%eax
sub    $0x1c,%eax
je     2116 <integral_fxifxi+0x1016>
jmp    2128 <integral_fxifxi+0x1028>
movsd  0xf0c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0xef2(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
mov    -0x10(%rbp),%eax
mov    %eax,-0xe8(%rbp)
sub    $0x1b,%eax
je     2160 <integral_fxifxi+0x1060>
jmp    214c <integral_fxifxi+0x104c>
mov    -0xe8(%rbp),%eax
sub    $0x1d,%eax
je     2172 <integral_fxifxi+0x1072>
jmp    2184 <integral_fxifxi+0x1084>
movsd  0xea0(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
movsd  0xe86(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    2199 <integral_fxifxi+0x1099>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x68,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<integral_fxifxi>:
movapd %xmm0,%xmm8
xorpd  %xmm0,%xmm0
cmp    $0x1d,%edi
ja     1470 <integral_fxifxi+0x370>
mov    %edi,%eax
lea    0xf7d(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
cmp    $0x5,%esi
ja     1470 <integral_fxifxi+0x370>
mov    %esi,%eax
lea    0x105a(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
xorpd  %xmm0,%xmm0
jmp    *%rax
mulsd  0xf3c(%rip),%xmm8
mulsd  %xmm4,%xmm8
movapd %xmm8,%xmm0
ret
xorpd  %xmm0,%xmm0
cmp    $0x5,%esi
ja     1470 <integral_fxifxi+0x370>
mov    %esi,%eax
lea    0x100b(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mulsd  0xf02(%rip),%xmm1
mulsd  %xmm4,%xmm1
movapd %xmm1,%xmm0
ret
cmp    $0x5,%esi
ja     1470 <integral_fxifxi+0x370>
mov    %esi,%eax
lea    0xfc7(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
xorpd  %xmm0,%xmm0
jmp    *%rax
mulsd  0xee2(%rip),%xmm2
mulsd  %xmm4,%xmm2
movapd %xmm2,%xmm0
ret
xorpd  %xmm0,%xmm0
cmp    $0x5,%esi
ja     1470 <integral_fxifxi+0x370>
mov    %esi,%eax
lea    0xf7b(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mulsd  0xea2(%rip),%xmm3
mulsd  %xmm4,%xmm3
movapd %xmm3,%xmm0
ret
add    $0xffffffff,%esi
cmp    $0x5,%esi
ja     14b3 <integral_fxifxi+0x3b3>
movsd  0xe4d(%rip),%xmm0
lea    0xf2e(%rip),%rax
movslq (%rax,%rsi,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mulsd  0xe4d(%rip),%xmm5
movapd %xmm5,%xmm0
ret
cmp    $0x7,%esi
ja     14b3 <integral_fxifxi+0x3b3>
movsd  0xdf7(%rip),%xmm0
mov    %esi,%eax
lea    0xede(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mulsd  0xdfd(%rip),%xmm4
movapd %xmm4,%xmm0
ret
add    $0xfffffffc,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xf4a(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffffb,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xf57(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffffa,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xf64(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff9,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xf71(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff8,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xf7e(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff7,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xf8b(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff6,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xf98(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff5,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xfa5(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff4,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xfb2(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff3,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xfbf(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff2,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xfcc(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff1,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xfd9(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xfffffff0,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xfe6(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffee,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0x101b(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffed,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0x1028(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffea,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0x1085(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffe9,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0x1099(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffe7,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0x10d5(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffef,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xf81(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffec,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xfe5(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffeb,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0xff9(%rip),%rcx
jmp    146b <integral_fxifxi+0x36b>
add    $0xffffffe8,%esi
cmp    $0x5,%esi
jae    1470 <integral_fxifxi+0x370>
movslq %esi,%rax
lea    0x105d(%rip),%rcx
movsd  (%rcx,%rax,8),%xmm0
ret
cmp    $0x1c,%esi
je     1487 <integral_fxifxi+0x387>
xorpd  %xmm0,%xmm0
jmp    148f <integral_fxifxi+0x38f>
cmp    $0x1d,%esi
je     149d <integral_fxifxi+0x39d>
xorpd  %xmm0,%xmm0
jmp    14a5 <integral_fxifxi+0x3a5>
movsd  0xb81(%rip),%xmm0
cmp    $0x1a,%esi
jne    1470 <integral_fxifxi+0x370>
movsd  0xb7c(%rip),%xmm0
ret
movsd  0xb5b(%rip),%xmm0
cmp    $0x1b,%esi
jne    1470 <integral_fxifxi+0x370>
movsd  0xb56(%rip),%xmm0
ret
xorpd  %xmm0,%xmm0
ret
mulsd  0xb98(%rip),%xmm7
movapd %xmm7,%xmm0
ret
movsd  0xb83(%rip),%xmm0
ret
mulsd  0xba9(%rip),%xmm8
mulsd  %xmm5,%xmm8
movapd %xmm8,%xmm0
ret
mulsd  0xba5(%rip),%xmm8
mulsd  %xmm6,%xmm8
movapd %xmm8,%xmm0
ret
mulsd  0xb81(%rip),%xmm8
mulsd  %xmm7,%xmm8
movapd %xmm8,%xmm0
ret
mulsd  0xb2d(%rip),%xmm8
movapd %xmm8,%xmm0
ret
mulsd  0xb4f(%rip),%xmm2
mulsd  %xmm5,%xmm2
movapd %xmm2,%xmm0
ret
mulsd  0xb56(%rip),%xmm2
mulsd  %xmm6,%xmm2
movapd %xmm2,%xmm0
ret
mulsd  0xb2d(%rip),%xmm2
mulsd  %xmm7,%xmm2
movapd %xmm2,%xmm0
ret
mulsd  0xae4(%rip),%xmm2
movapd %xmm2,%xmm0
ret
mulsd  0xb07(%rip),%xmm1
mulsd  %xmm5,%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xafe(%rip),%xmm1
mulsd  %xmm6,%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xaf5(%rip),%xmm1
mulsd  %xmm7,%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xacc(%rip),%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xa8f(%rip),%xmm1
movapd %xmm1,%xmm0
ret
mulsd  0xaca(%rip),%xmm3
mulsd  %xmm5,%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xab1(%rip),%xmm3
mulsd  %xmm6,%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xa98(%rip),%xmm3
mulsd  %xmm7,%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xa77(%rip),%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xa42(%rip),%xmm3
movapd %xmm3,%xmm0
ret
mulsd  0xa35(%rip),%xmm5
movapd %xmm5,%xmm0
ret
mulsd  0xa30(%rip),%xmm6
movapd %xmm6,%xmm0
ret
mulsd  0xa1b(%rip),%xmm7
movapd %xmm7,%xmm0
ret
movsd  0xa06(%rip),%xmm0
ret

LLVM IR (-O0):
define double @integral_fxifxi(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 %303 [
i32 0, label %23
i32 1, label %49
i32 2, label %78
i32 3, label %104
i32 4, label %133
i32 5, label %144
i32 6, label %161
i32 7, label %167
i32 8, label %173
i32 9, label %179
i32 10, label %185
i32 11, label %191
i32 12, label %197
i32 13, label %203
i32 14, label %209
i32 15, label %215
i32 16, label %221
i32 17, label %227
i32 18, label %233
i32 19, label %239
i32 20, label %245
i32 21, label %251
i32 22, label %257
i32 23, label %263
i32 24, label %269
i32 25, label %275
i32 26, label %281
i32 27, label %287
i32 28, label %293
i32 29, label %298
]
23: ; preds = %10
%24 = load i32, i32* %13
switch i32 %24, label %48 [
i32 0, label %25
i32 1, label %30
i32 2, label %35
i32 3, label %40
i32 5, label %45
]
25: ; preds = %23
%26 = load double, double* %14
%27 = fmul double 6.000000e-01, %26
%28 = load double, double* %18
%29 = fmul double %27, %28
store double %29, double* %11
br label %304
30: ; preds = %23
%31 = load double, double* %14
%32 = fmul double 5.000000e-02, %31
%33 = load double, double* %19
%34 = fmul double %32, %33
store double %34, double* %11
br label %304
35: ; preds = %23
%36 = load double, double* %14
%37 = fmul double -6.000000e-01, %36
%38 = load double, double* %20
%39 = fmul double %37, %38
store double %39, double* %11
br label %304
40: ; preds = %23
%41 = load double, double* %14
%42 = fmul double 5.000000e-02, %41
%43 = load double, double* %21
%44 = fmul double %42, %43
store double %44, double* %11
br label %304
45: ; preds = %23
%46 = load double, double* %14
%47 = fmul double 0xBF9D41D41D41D425, %46
store double %47, double* %11
br label %304
48: ; preds = %23
store double 0.000000e+00, double* %11
br label %304
49: ; preds = %10
%50 = load i32, i32* %13
switch i32 %50, label %77 [
i32 0, label %51
i32 1, label %56
i32 2, label %61
i32 3, label %66
i32 4, label %71
i32 5, label %74
]
51: ; preds = %49
%52 = load double, double* %15
%53 = fmul double 5.000000e-02, %52
%54 = load double, double* %18
%55 = fmul double %53, %54
store double %55, double* %11
br label %304
56: ; preds = %49
%57 = load double, double* %15
%58 = fmul double 0x3FB1111111111113, %57
%59 = load double, double* %19
%60 = fmul double %58, %59
store double %60, double* %11
br label %304
61: ; preds = %49
%62 = load double, double* %15
%63 = fmul double -5.000000e-02, %62
%64 = load double, double* %20
%65 = fmul double %63, %64
store double %65, double* %11
br label %304
66: ; preds = %49
%67 = load double, double* %15
%68 = fmul double 0xBF9111111111111B, %67
%69 = load double, double* %21
%70 = fmul double %68, %69
store double %70, double* %11
br label %304
71: ; preds = %49
%72 = load double, double* %15
%73 = fmul double 0x3FA111111111110C, %72
store double %73, double* %11
br label %304
74: ; preds = %49
%75 = load double, double* %15
%76 = fmul double 0xBF8D41D41D41D425, %75
store double %76, double* %11
br label %304
77: ; preds = %49
store double 0.000000e+00, double* %11
br label %304
78: ; preds = %10
%79 = load i32, i32* %13
switch i32 %79, label %103 [
i32 0, label %80
i32 1, label %85
i32 2, label %90
i32 3, label %95
i32 5, label %100
]
80: ; preds = %78
%81 = load double, double* %16
%82 = fmul double -6.000000e-01, %81
%83 = load double, double* %18
%84 = fmul double %82, %83
store double %84, double* %11
br label %304
85: ; preds = %78
%86 = load double, double* %16
%87 = fmul double -5.000000e-02, %86
%88 = load double, double* %19
%89 = fmul double %87, %88
store double %89, double* %11
br label %304
90: ; preds = %78
%91 = load double, double* %16
%92 = fmul double 6.000000e-01, %91
%93 = load double, double* %20
%94 = fmul double %92, %93
store double %94, double* %11
br label %304
95: ; preds = %78
%96 = load double, double* %16
%97 = fmul double -5.000000e-02, %96
%98 = load double, double* %21
%99 = fmul double %97, %98
store double %99, double* %11
br label %304
100: ; preds = %78
%101 = load double, double* %16
%102 = fmul double 0x3F9D41D41D41D425, %101
store double %102, double* %11
br label %304
103: ; preds = %78
store double 0.000000e+00, double* %11
br label %304
104: ; preds = %10
%105 = load i32, i32* %13
switch i32 %105, label %132 [
i32 0, label %106
i32 1, label %111
i32 2, label %116
i32 3, label %121
i32 4, label %126
i32 5, label %129
]
106: ; preds = %104
%107 = load double, double* %17
%108 = fmul double 5.000000e-02, %107
%109 = load double, double* %18
%110 = fmul double %108, %109
store double %110, double* %11
br label %304
111: ; preds = %104
%112 = load double, double* %17
%113 = fmul double 0xBF9111111111111B, %112
%114 = load double, double* %19
%115 = fmul double %113, %114
store double %115, double* %11
br label %304
116: ; preds = %104
%117 = load double, double* %17
%118 = fmul double -5.000000e-02, %117
%119 = load double, double* %20
%120 = fmul double %118, %119
store double %120, double* %11
br label %304
121: ; preds = %104
%122 = load double, double* %17
%123 = fmul double 0x3FB1111111111113, %122
%124 = load double, double* %21
%125 = fmul double %123, %124
store double %125, double* %11
br label %304
126: ; preds = %104
%127 = load double, double* %17
%128 = fmul double 0xBFA111111111110C, %127
store double %128, double* %11
br label %304
129: ; preds = %104
%130 = load double, double* %17
%131 = fmul double 0xBF8D41D41D41D425, %130
store double %131, double* %11
br label %304
132: ; preds = %104
store double 0.000000e+00, double* %11
br label %304
133: ; preds = %10
%134 = load i32, i32* %13
switch i32 %134, label %143 [
i32 1, label %135
i32 3, label %138
i32 4, label %141
i32 6, label %142
]
135: ; preds = %133
%136 = load double, double* %19
%137 = fmul double 0x3FA111111111110C, %136
store double %137, double* %11
br label %304
138: ; preds = %133
%139 = load double, double* %21
%140 = fmul double 0xBFA111111111110C, %139
store double %140, double* %11
br label %304
141: ; preds = %133
store double 0x3FA3813813813814, double* %11
br label %304
142: ; preds = %133
store double 0xBF7A01A01A01A01B, double* %11
br label %304
143: ; preds = %133
store double 0.000000e+00, double* %11
br label %304
144: ; preds = %10
%145 = load i32, i32* %13
switch i32 %145, label %160 [
i32 0, label %146
i32 1, label %149
i32 2, label %152
i32 3, label %155
i32 5, label %158
i32 7, label %159
]
146: ; preds = %144
%147 = load double, double* %18
%148 = fmul double 0xBF9D41D41D41D425, %147
store double %148, double* %11
br label %304
149: ; preds = %144
%150 = load double, double* %19
%151 = fmul double 0xBF8D41D41D41D425, %150
store double %151, double* %11
br label %304
152: ; preds = %144
%153 = load double, double* %20
%154 = fmul double 0x3F9D41D41D41D425, %153
store double %154, double* %11
br label %304
155: ; preds = %144
%156 = load double, double* %21
%157 = fmul double 0xBF8D41D41D41D425, %156
store double %157, double* %11
br label %304
158: ; preds = %144
store double 0x3F8A01A01A01A01B, double* %11
br label %304
159: ; preds = %144
store double 0xBF67A463005E9195, double* %11
br label %304
160: ; preds = %144
store double 0.000000e+00, double* %11
br label %304
161: ; preds = %10
%162 = load i32, i32* %13
switch i32 %162, label %166 [
i32 4, label %163
i32 6, label %164
i32 8, label %165
]
163: ; preds = %161
store double 0xBF7A01A01A01A01B, double* %11
br label %304
164: ; preds = %161
store double 0x3F77A463005E918A, double* %11
br label %304
165: ; preds = %161
store double 0xBF5975F4768D3A36, double* %11
br label %304
166: ; preds = %161
store double 0.000000e+00, double* %11
br label %304
167: ; preds = %10
%168 = load i32, i32* %13
switch i32 %168, label %172 [
i32 5, label %169
i32 7, label %170
i32 9, label %171
]
169: ; preds = %167
store double 0xBF67A463005E9195, double* %11
br label %304
170: ; preds = %167
store double 0x3F6975F4768D3A4D, double* %11
br label %304
171: ; preds = %167
store double 0xBF4E8D8BC17645EC, double* %11
br label %304
172: ; preds = %167
store double 0.000000e+00, double* %11
br label %304
173: ; preds = %10
%174 = load i32, i32* %13
switch i32 %174, label %178 [
i32 6, label %175
i32 8, label %176
i32 10, label %177
]
175: ; preds = %173
store double 0xBF5975F4768D3A36, double* %11
br label %304
176: ; preds = %173
store double 0x3F5E8D8BC17645DA, double* %11
br label %304
177: ; preds = %173
store double 0xBF43C50013C50015, double* %11
br label %304
178: ; preds = %173
store double 0.000000e+00, double* %11
br label %304
179: ; preds = %10
%180 = load i32, i32* %13
switch i32 %180, label %184 [
i32 7, label %181
i32 9, label %182
i32 11, label %183
]
181: ; preds = %179
store double 0xBF4E8D8BC17645EC, double* %11
br label %304
182: ; preds = %179
store double 0x3F53C50013C5001E, double* %11
br label %304
183: ; preds = %179
store double 0xBF3B0D9450F2A1CA, double* %11
br label %304
184: ; preds = %179
store double 0.000000e+00, double* %11
br label %304
185: ; preds = %10
%186 = load i32, i32* %13
switch i32 %186, label %190 [
i32 8, label %187
i32 10, label %188
i32 12, label %189
]
187: ; preds = %185
store double 0xBF43C50013C50015, double* %11
br label %304
188: ; preds = %185
store double 0x3F4B0D9450F2A1CA, double* %11
br label %304
189: ; preds = %185
store double 0xBF3352D7A788BCBA, double* %11
br label %304
190: ; preds = %185
store double 0.000000e+00, double* %11
br label %304
191: ; preds = %10
%192 = load i32, i32* %13
switch i32 %192, label %196 [
i32 9, label %193
i32 11, label %194
i32 13, label %195
]
193: ; preds = %191
store double 0xBF3B0D9450F2A1CA, double* %11
br label %304
194: ; preds = %191
store double 0x3F4352D7A788BCB1, double* %11
br label %304
195: ; preds = %191
store double 0xBF2C90B93A7116F2, double* %11
br label %304
196: ; preds = %191
store double 0.000000e+00, double* %11
br label %304
197: ; preds = %10
%198 = load i32, i32* %13
switch i32 %198, label %202 [
i32 10, label %199
i32 12, label %200
i32 14, label %201
]
199: ; preds = %197
store double 0xBF3352D7A788BCBA, double* %11
br label %304
200: ; preds = %197
store double 0x3F3C90B93A7116F2, double* %11
br label %304
201: ; preds = %197
store double 0xBF25B5AB7E55F2B8, double* %11
br label %304
202: ; preds = %197
store double 0.000000e+00, double* %11
br label %304
203: ; preds = %10
%204 = load i32, i32* %13
switch i32 %204, label %208 [
i32 11, label %205
i32 13, label %206
i32 15, label %207
]
205: ; preds = %203
store double 0xBF2C90B93A7116F2, double* %11
br label %304
206: ; preds = %203
store double 0x3F35B5AB7E55F2B8, double* %11
br label %304
207: ; preds = %203
store double 0xBF20E2A1D409F5BC, double* %11
br label %304
208: ; preds = %203
store double 0.000000e+00, double* %11
br label %304
209: ; preds = %10
%210 = load i32, i32* %13
switch i32 %210, label %214 [
i32 12, label %211
i32 14, label %212
i32 16, label %213
]
211: ; preds = %209
store double 0xBF25B5AB7E55F2B8, double* %11
br label %304
212: ; preds = %209
store double 0x3F30E2A1D409F5AA, double* %11
br label %304
213: ; preds = %209
store double 0xBF1AC896C318A019, double* %11
br label %304
214: ; preds = %209
store double 0.000000e+00, double* %11
br label %304
215: ; preds = %10
%216 = load i32, i32* %13
switch i32 %216, label %220 [
i32 13, label %217
i32 15, label %218
i32 17, label %219
]
217: ; preds = %215
store double 0xBF20E2A1D409F5BC, double* %11
br label %304
218: ; preds = %215
store double 0x3F2AC896C318A03E, double* %11
br label %304
219: ; preds = %215
store double 0xBF159981D7246022, double* %11
br label %304
220: ; preds = %215
store double 0.000000e+00, double* %11
br label %304
221: ; preds = %10
%222 = load i32, i32* %13
switch i32 %222, label %226 [
i32 14, label %223
i32 16, label %224
i32 18, label %225
]
223: ; preds = %221
store double 0xBF1AC896C318A019, double* %11
br label %304
224: ; preds = %221
store double 0x3F259981D7246013, double* %11
br label %304
225: ; preds = %221
store double 0xBF11AC246A3508D7, double* %11
br label %304
226: ; preds = %221
store double 0.000000e+00, double* %11
br label %304
227: ; preds = %10
%228 = load i32, i32* %13
switch i32 %228, label %232 [
i32 15, label %229
i32 17, label %230
i32 19, label %231
]
229: ; preds = %227
store double 0xBF159981D7246022, double* %11
br label %304
230: ; preds = %227
store double 0x3F21AC246A3508DE, double* %11
br label %304
231: ; preds = %227
store double 0xBF0D492666DB8AFF, double* %11
br label %304
232: ; preds = %227
store double 0.000000e+00, double* %11
br label %304
233: ; preds = %10
%234 = load i32, i32* %13
switch i32 %234, label %238 [
i32 16, label %235
i32 18, label %236
i32 20, label %237
]
235: ; preds = %233
store double 0xBF11AC246A3508D7, double* %11
br label %304
236: ; preds = %233
store double 0x3F1D492666DB8B0E, double* %11
br label %304
237: ; preds = %233
store double 0xBF0889655D18CE68, double* %11
br label %304
238: ; preds = %233
store double 0.000000e+00, double* %11
br label %304
239: ; preds = %10
%240 = load i32, i32* %13
switch i32 %240, label %244 [
i32 17, label %241
i32 19, label %242
i32 21, label %243
]
241: ; preds = %239
store double 0xBF0D492666DB8AFF, double* %11
br label %304
242: ; preds = %239
store double 0x3F1889655D18CE68, double* %11
br label %304
243: ; preds = %239
store double 0xBF04C30700014C30, double* %11
br label %304
244: ; preds = %239
store double 0.000000e+00, double* %11
br label %304
245: ; preds = %10
%246 = load i32, i32* %13
switch i32 %246, label %250 [
i32 18, label %247
i32 20, label %248
i32 22, label %249
]
247: ; preds = %245
store double 0xBF0889655D18CE68, double* %11
br label %304
248: ; preds = %245
store double 0x3F14C30700014C30, double* %11
br label %304
249: ; preds = %245
store double 0xBF01B937ED45CA62, double* %11
br label %304
250: ; preds = %245
store double 0.000000e+00, double* %11
br label %304
251: ; preds = %10
%252 = load i32, i32* %13
switch i32 %252, label %256 [
i32 19, label %253
i32 21, label %254
i32 23, label %255
]
253: ; preds = %251
store double 0xBF04C30700014C30, double* %11
br label %304
254: ; preds = %251
store double 0x3F11B937ED45CA69, double* %11
br label %304
255: ; preds = %251
store double 0xBEFE803C86781ADB, double* %11
br label %304
256: ; preds = %251
store double 0.000000e+00, double* %11
br label %304
257: ; preds = %10
%258 = load i32, i32* %13
switch i32 %258, label %262 [
i32 20, label %259
i32 22, label %260
i32 24, label %261
]
259: ; preds = %257
store double 0xBF01B937ED45CA62, double* %11
br label %304
260: ; preds = %257
store double 0x3F0E803C86781ADB, double* %11
br label %304
261: ; preds = %257
store double 0xBEFA6F2363792851, double* %11
br label %304
262: ; preds = %257
store double 0.000000e+00, double* %11
br label %304
263: ; preds = %10
%264 = load i32, i32* %13
switch i32 %264, label %268 [
i32 21, label %265
i32 23, label %266
i32 25, label %267
]
265: ; preds = %263
store double 0xBEFE803C86781ADB, double* %11
br label %304
266: ; preds = %263
store double 0x3F0A6F2363792851, double* %11
br label %304
267: ; preds = %263
store double 0xBEF70F3F8D3E1DC2, double* %11
br label %304
268: ; preds = %263
store double 0.000000e+00, double* %11
br label %304
269: ; preds = %10
%270 = load i32, i32* %13
switch i32 %270, label %274 [
i32 22, label %271
i32 24, label %272
i32 26, label %273
]
271: ; preds = %269
store double 0xBEFA6F2363792851, double* %11
br label %304
272: ; preds = %269
store double 0x3F070F3F8D3E1DC2, double* %11
br label %304
273: ; preds = %269
store double 0xBEF43C66CA50A1E3, double* %11
br label %304
274: ; preds = %269
store double 0.000000e+00, double* %11
br label %304
275: ; preds = %10
%276 = load i32, i32* %13
switch i32 %276, label %280 [
i32 23, label %277
i32 25, label %278
i32 27, label %279
]
277: ; preds = %275
store double 0xBEF70F3F8D3E1DC2, double* %11
br label %304
278: ; preds = %275
store double 0x3F043C66CA50A1F1, double* %11
br label %304
279: ; preds = %275
store double 0xBEF1DAF14919F841, double* %11
br label %304
280: ; preds = %275
store double 0.000000e+00, double* %11
br label %304
281: ; preds = %10
%282 = load i32, i32* %13
switch i32 %282, label %286 [
i32 24, label %283
i32 26, label %284
i32 28, label %285
]
283: ; preds = %281
store double 0xBEF43C66CA50A1E3, double* %11
br label %304
284: ; preds = %281
store double 0x3F01DAF14919F84F, double* %11
br label %304
285: ; preds = %281
store double 0xBEEFAAF464ABA4F9, double* %11
br label %304
286: ; preds = %281
store double 0.000000e+00, double* %11
br label %304
287: ; preds = %10
%288 = load i32, i32* %13
switch i32 %288, label %292 [
i32 25, label %289
i32 27, label %290
i32 29, label %291
]
289: ; preds = %287
store double 0xBEF1DAF14919F841, double* %11
br label %304
290: ; preds = %287
store double 0x3EFFAAF464ABA516, double* %11
br label %304
291: ; preds = %287
store double 0xBEEC368F426A5FB9, double* %11
br label %304
292: ; preds = %287
store double 0.000000e+00, double* %11
br label %304
293: ; preds = %10
%294 = load i32, i32* %13
switch i32 %294, label %297 [
i32 26, label %295
i32 28, label %296
]
295: ; preds = %293
store double 0xBEEFAAF464ABA4F9, double* %11
br label %304
296: ; preds = %293
store double 0x3EFC368F426A5FD7, double* %11
br label %304
297: ; preds = %293
store double 0.000000e+00, double* %11
br label %304
298: ; preds = %10
%299 = load i32, i32* %13
switch i32 %299, label %302 [
i32 27, label %300
i32 29, label %301
]
300: ; preds = %298
store double 0xBEEC368F426A5FB9, double* %11
br label %304
301: ; preds = %298
store double 0x3EF93E4A48E5E9F9, double* %11
br label %304
302: ; preds = %298
store double 0.000000e+00, double* %11
br label %304
303: ; preds = %10
store double 0.000000e+00, double* %11
br label %304
304: ; preds = %303, %302, %301, %300, %297, %296, %295, %292, %291, %290, %289, %286, %285, %284, %283, %280, %279, %278, %277, %274, %273, %272, %271, %268, %267, %266, %265, %262, %261, %260, %259, %256, %255, %254, %253, %250, %249, %248, %247, %244, %243, %242, %241, %238, %237, %236, %235, %232, %231, %230, %229, %226, %225, %224, %223, %220, %219, %218, %217, %214, %213, %212, %211, %208, %207, %206, %205, %202, %201, %200, %199, %196, %195, %194, %193, %190, %189, %188, %187, %184, %183, %182, %181, %178, %177, %176, %175, %172, %171, %170, %169, %166, %165, %164, %163, %160, %159, %158, %155, %152, %149, %146, %143, %142, %141, %138, %135, %132, %129, %126, %121, %116, %111, %106, %103, %100, %95, %90, %85, %80, %77, %74, %71, %66, %61, %56, %51, %48, %45, %40, %35, %30, %25
%305 = load double, double* %11
ret double %305
}

LLVM IR (-O2):
@switch.table.integral_fxifxi = [5 x double] [double 0xBF7A01A01A01A01B, double 0.000000e+00, double 0x3F77A463005E918A, double 0.000000e+00, double 0xBF5975F4768D3A36]
@switch.table.integral_fxifxi.1 = [5 x double] [double 0xBF67A463005E9195, double 0.000000e+00, double 0x3F6975F4768D3A4D, double 0.000000e+00, double 0xBF4E8D8BC17645EC]
@switch.table.integral_fxifxi.2 = [5 x double] [double 0xBF5975F4768D3A36, double 0.000000e+00, double 0x3F5E8D8BC17645DA, double 0.000000e+00, double 0xBF43C50013C50015]
@switch.table.integral_fxifxi.3 = [5 x double] [double 0xBF4E8D8BC17645EC, double 0.000000e+00, double 0x3F53C50013C5001E, double 0.000000e+00, double 0xBF3B0D9450F2A1CA]
@switch.table.integral_fxifxi.4 = [5 x double] [double 0xBF43C50013C50015, double 0.000000e+00, double 0x3F4B0D9450F2A1CA, double 0.000000e+00, double 0xBF3352D7A788BCBA]
@switch.table.integral_fxifxi.5 = [5 x double] [double 0xBF3B0D9450F2A1CA, double 0.000000e+00, double 0x3F4352D7A788BCB1, double 0.000000e+00, double 0xBF2C90B93A7116F2]
@switch.table.integral_fxifxi.6 = [5 x double] [double 0xBF3352D7A788BCBA, double 0.000000e+00, double 0x3F3C90B93A7116F2, double 0.000000e+00, double 0xBF25B5AB7E55F2B8]
@switch.table.integral_fxifxi.7 = [5 x double] [double 0xBF2C90B93A7116F2, double 0.000000e+00, double 0x3F35B5AB7E55F2B8, double 0.000000e+00, double 0xBF20E2A1D409F5BC]
@switch.table.integral_fxifxi.8 = [5 x double] [double 0xBF25B5AB7E55F2B8, double 0.000000e+00, double 0x3F30E2A1D409F5AA, double 0.000000e+00, double 0xBF1AC896C318A019]
@switch.table.integral_fxifxi.9 = [5 x double] [double 0xBF20E2A1D409F5BC, double 0.000000e+00, double 0x3F2AC896C318A03E, double 0.000000e+00, double 0xBF159981D7246022]
@switch.table.integral_fxifxi.10 = [5 x double] [double 0xBF1AC896C318A019, double 0.000000e+00, double 0x3F259981D7246013, double 0.000000e+00, double 0xBF11AC246A3508D7]
@switch.table.integral_fxifxi.11 = [5 x double] [double 0xBF159981D7246022, double 0.000000e+00, double 0x3F21AC246A3508DE, double 0.000000e+00, double 0xBF0D492666DB8AFF]
@switch.table.integral_fxifxi.12 = [5 x double] [double 0xBF11AC246A3508D7, double 0.000000e+00, double 0x3F1D492666DB8B0E, double 0.000000e+00, double 0xBF0889655D18CE68]
@switch.table.integral_fxifxi.13 = [5 x double] [double 0xBF0D492666DB8AFF, double 0.000000e+00, double 0x3F1889655D18CE68, double 0.000000e+00, double 0xBF04C30700014C30]
@switch.table.integral_fxifxi.14 = [5 x double] [double 0xBF0889655D18CE68, double 0.000000e+00, double 0x3F14C30700014C30, double 0.000000e+00, double 0xBF01B937ED45CA62]
@switch.table.integral_fxifxi.15 = [5 x double] [double 0xBF04C30700014C30, double 0.000000e+00, double 0x3F11B937ED45CA69, double 0.000000e+00, double 0xBEFE803C86781ADB]
@switch.table.integral_fxifxi.16 = [5 x double] [double 0xBF01B937ED45CA62, double 0.000000e+00, double 0x3F0E803C86781ADB, double 0.000000e+00, double 0xBEFA6F2363792851]
@switch.table.integral_fxifxi.17 = [5 x double] [double 0xBEFE803C86781ADB, double 0.000000e+00, double 0x3F0A6F2363792851, double 0.000000e+00, double 0xBEF70F3F8D3E1DC2]
@switch.table.integral_fxifxi.18 = [5 x double] [double 0xBEFA6F2363792851, double 0.000000e+00, double 0x3F070F3F8D3E1DC2, double 0.000000e+00, double 0xBEF43C66CA50A1E3]
@switch.table.integral_fxifxi.19 = [5 x double] [double 0xBEF70F3F8D3E1DC2, double 0.000000e+00, double 0x3F043C66CA50A1F1, double 0.000000e+00, double 0xBEF1DAF14919F841]
@switch.table.integral_fxifxi.20 = [5 x double] [double 0xBEF43C66CA50A1E3, double 0.000000e+00, double 0x3F01DAF14919F84F, double 0.000000e+00, double 0xBEEFAAF464ABA4F9]
@switch.table.integral_fxifxi.21 = [5 x double] [double 0xBEF1DAF14919F841, double 0.000000e+00, double 0x3EFFAAF464ABA516, double 0.000000e+00, double 0xBEEC368F426A5FB9]
define double @integral_fxifxi(i32 %0, i32 %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9) {
switch i32 %0, label %257 [
i32 0, label %11
i32 1, label %26
i32 2, label %43
i32 3, label %58
i32 4, label %75
i32 5, label %82
i32 6, label %93
i32 7, label %96
i32 8, label %99
i32 9, label %102
i32 10, label %105
i32 11, label %108
i32 12, label %111
i32 13, label %114
i32 14, label %117
i32 15, label %120
i32 16, label %123
i32 17, label %126
i32 18, label %129
i32 19, label %132
i32 20, label %135
i32 21, label %138
i32 22, label %141
i32 23, label %144
i32 24, label %147
i32 25, label %150
i32 26, label %153
i32 27, label %156
i32 28, label %159
i32 29, label %164
]
11: ; preds = %10
switch i32 %1, label %257 [
i32 0, label %12
i32 1, label %15
i32 2, label %18
i32 3, label %21
i32 5, label %24
]
12: ; preds = %11
%13 = fmul double %2, 6.000000e-01
%14 = fmul double %13, %6
br label %257
15: ; preds = %11
%16 = fmul double %2, 5.000000e-02
%17 = fmul double %16, %7
br label %257
18: ; preds = %11
%19 = fmul double %2, -6.000000e-01
%20 = fmul double %19, %8
br label %257
21: ; preds = %11
%22 = fmul double %2, 5.000000e-02
%23 = fmul double %22, %9
br label %257
24: ; preds = %11
%25 = fmul double %2, 0xBF9D41D41D41D425
br label %257
26: ; preds = %10
switch i32 %1, label %257 [
i32 0, label %27
i32 1, label %30
i32 2, label %33
i32 3, label %36
i32 4, label %39
i32 5, label %41
]
27: ; preds = %26
%28 = fmul double %3, 5.000000e-02
%29 = fmul double %28, %6
br label %257
30: ; preds = %26
%31 = fmul double %3, 0x3FB1111111111113
%32 = fmul double %31, %7
br label %257
33: ; preds = %26
%34 = fmul double %3, -5.000000e-02
%35 = fmul double %34, %8
br label %257
36: ; preds = %26
%37 = fmul double %3, 0xBF9111111111111B
%38 = fmul double %37, %9
br label %257
39: ; preds = %26
%40 = fmul double %3, 0x3FA111111111110C
br label %257
41: ; preds = %26
%42 = fmul double %3, 0xBF8D41D41D41D425
br label %257
43: ; preds = %10
switch i32 %1, label %257 [
i32 0, label %44
i32 1, label %47
i32 2, label %50
i32 3, label %53
i32 5, label %56
]
44: ; preds = %43
%45 = fmul double %4, -6.000000e-01
%46 = fmul double %45, %6
br label %257
47: ; preds = %43
%48 = fmul double %4, -5.000000e-02
%49 = fmul double %48, %7
br label %257
50: ; preds = %43
%51 = fmul double %4, 6.000000e-01
%52 = fmul double %51, %8
br label %257
53: ; preds = %43
%54 = fmul double %4, -5.000000e-02
%55 = fmul double %54, %9
br label %257
56: ; preds = %43
%57 = fmul double %4, 0x3F9D41D41D41D425
br label %257
58: ; preds = %10
switch i32 %1, label %257 [
i32 0, label %59
i32 1, label %62
i32 2, label %65
i32 3, label %68
i32 4, label %71
i32 5, label %73
]
59: ; preds = %58
%60 = fmul double %5, 5.000000e-02
%61 = fmul double %60, %6
br label %257
62: ; preds = %58
%63 = fmul double %5, 0xBF9111111111111B
%64 = fmul double %63, %7
br label %257
65: ; preds = %58
%66 = fmul double %5, -5.000000e-02
%67 = fmul double %66, %8
br label %257
68: ; preds = %58
%69 = fmul double %5, 0x3FB1111111111113
%70 = fmul double %69, %9
br label %257
71: ; preds = %58
%72 = fmul double %5, 0xBFA111111111110C
br label %257
73: ; preds = %58
%74 = fmul double %5, 0xBF8D41D41D41D425
br label %257
75: ; preds = %10
switch i32 %1, label %81 [
i32 1, label %76
i32 3, label %78
i32 4, label %257
i32 6, label %80
]
76: ; preds = %75
%77 = fmul double %7, 0x3FA111111111110C
br label %257
78: ; preds = %75
%79 = fmul double %9, 0xBFA111111111110C
br label %257
80: ; preds = %75
br label %257
81: ; preds = %75
br label %257
82: ; preds = %10
switch i32 %1, label %92 [
i32 0, label %83
i32 1, label %85
i32 2, label %87
i32 3, label %89
i32 5, label %257
i32 7, label %91
]
83: ; preds = %82
%84 = fmul double %6, 0xBF9D41D41D41D425
br label %257
85: ; preds = %82
%86 = fmul double %7, 0xBF8D41D41D41D425
br label %257
87: ; preds = %82
%88 = fmul double %8, 0x3F9D41D41D41D425
br label %257
89: ; preds = %82
%90 = fmul double %9, 0xBF8D41D41D41D425
br label %257
91: ; preds = %82
br label %257
92: ; preds = %82
br label %257
93: ; preds = %10
%94 = add i32 %1, -4
%95 = icmp ult i32 %94, 5
br i1 %95, label %169, label %257
96: ; preds = %10
%97 = add i32 %1, -5
%98 = icmp ult i32 %97, 5
br i1 %98, label %173, label %257
99: ; preds = %10
%100 = add i32 %1, -6
%101 = icmp ult i32 %100, 5
br i1 %101, label %177, label %257
102: ; preds = %10
%103 = add i32 %1, -7
%104 = icmp ult i32 %103, 5
br i1 %104, label %181, label %257
105: ; preds = %10
%106 = add i32 %1, -8
%107 = icmp ult i32 %106, 5
br i1 %107, label %185, label %257
108: ; preds = %10
%109 = add i32 %1, -9
%110 = icmp ult i32 %109, 5
br i1 %110, label %189, label %257
111: ; preds = %10
%112 = add i32 %1, -10
%113 = icmp ult i32 %112, 5
br i1 %113, label %193, label %257
114: ; preds = %10
%115 = add i32 %1, -11
%116 = icmp ult i32 %115, 5
br i1 %116, label %197, label %257
117: ; preds = %10
%118 = add i32 %1, -12
%119 = icmp ult i32 %118, 5
br i1 %119, label %201, label %257
120: ; preds = %10
%121 = add i32 %1, -13
%122 = icmp ult i32 %121, 5
br i1 %122, label %205, label %257
123: ; preds = %10
%124 = add i32 %1, -14
%125 = icmp ult i32 %124, 5
br i1 %125, label %209, label %257
126: ; preds = %10
%127 = add i32 %1, -15
%128 = icmp ult i32 %127, 5
br i1 %128, label %213, label %257
129: ; preds = %10
%130 = add i32 %1, -16
%131 = icmp ult i32 %130, 5
br i1 %131, label %217, label %257
132: ; preds = %10
%133 = add i32 %1, -17
%134 = icmp ult i32 %133, 5
br i1 %134, label %221, label %257
135: ; preds = %10
%136 = add i32 %1, -18
%137 = icmp ult i32 %136, 5
br i1 %137, label %225, label %257
138: ; preds = %10
%139 = add i32 %1, -19
%140 = icmp ult i32 %139, 5
br i1 %140, label %229, label %257
141: ; preds = %10
%142 = add i32 %1, -20
%143 = icmp ult i32 %142, 5
br i1 %143, label %233, label %257
144: ; preds = %10
%145 = add i32 %1, -21
%146 = icmp ult i32 %145, 5
br i1 %146, label %237, label %257
147: ; preds = %10
%148 = add i32 %1, -22
%149 = icmp ult i32 %148, 5
br i1 %149, label %241, label %257
150: ; preds = %10
%151 = add i32 %1, -23
%152 = icmp ult i32 %151, 5
br i1 %152, label %245, label %257
153: ; preds = %10
%154 = add i32 %1, -24
%155 = icmp ult i32 %154, 5
br i1 %155, label %249, label %257
156: ; preds = %10
%157 = add i32 %1, -25
%158 = icmp ult i32 %157, 5
br i1 %158, label %253, label %257
159: ; preds = %10
%160 = icmp eq i32 %1, 28
%161 = select i1 %160, double 0x3EFC368F426A5FD7, double 0.000000e+00
%162 = icmp eq i32 %1, 26
%163 = select i1 %162, double 0xBEEFAAF464ABA4F9, double %161
br label %257
164: ; preds = %10
%165 = icmp eq i32 %1, 29
%166 = select i1 %165, double 0x3EF93E4A48E5E9F9, double 0.000000e+00
%167 = icmp eq i32 %1, 27
%168 = select i1 %167, double 0xBEEC368F426A5FB9, double %166
br label %257
169: ; preds = %93
%170 = sext i32 %94 to i64
%171 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi, i64 0, i64 %170
%172 = load double, double* %171
br label %257
173: ; preds = %96
%174 = sext i32 %97 to i64
%175 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.1, i64 0, i64 %174
%176 = load double, double* %175
br label %257
177: ; preds = %99
%178 = sext i32 %100 to i64
%179 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.2, i64 0, i64 %178
%180 = load double, double* %179
br label %257
181: ; preds = %102
%182 = sext i32 %103 to i64
%183 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.3, i64 0, i64 %182
%184 = load double, double* %183
br label %257
185: ; preds = %105
%186 = sext i32 %106 to i64
%187 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.4, i64 0, i64 %186
%188 = load double, double* %187
br label %257
189: ; preds = %108
%190 = sext i32 %109 to i64
%191 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.5, i64 0, i64 %190
%192 = load double, double* %191
br label %257
193: ; preds = %111
%194 = sext i32 %112 to i64
%195 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.6, i64 0, i64 %194
%196 = load double, double* %195
br label %257
197: ; preds = %114
%198 = sext i32 %115 to i64
%199 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.7, i64 0, i64 %198
%200 = load double, double* %199
br label %257
201: ; preds = %117
%202 = sext i32 %118 to i64
%203 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.8, i64 0, i64 %202
%204 = load double, double* %203
br label %257
205: ; preds = %120
%206 = sext i32 %121 to i64
%207 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.9, i64 0, i64 %206
%208 = load double, double* %207
br label %257
209: ; preds = %123
%210 = sext i32 %124 to i64
%211 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.10, i64 0, i64 %210
%212 = load double, double* %211
br label %257
213: ; preds = %126
%214 = sext i32 %127 to i64
%215 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.11, i64 0, i64 %214
%216 = load double, double* %215
br label %257
217: ; preds = %129
%218 = sext i32 %130 to i64
%219 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.12, i64 0, i64 %218
%220 = load double, double* %219
br label %257
221: ; preds = %132
%222 = sext i32 %133 to i64
%223 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.13, i64 0, i64 %222
%224 = load double, double* %223
br label %257
225: ; preds = %135
%226 = sext i32 %136 to i64
%227 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.14, i64 0, i64 %226
%228 = load double, double* %227
br label %257
229: ; preds = %138
%230 = sext i32 %139 to i64
%231 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.15, i64 0, i64 %230
%232 = load double, double* %231
br label %257
233: ; preds = %141
%234 = sext i32 %142 to i64
%235 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.16, i64 0, i64 %234
%236 = load double, double* %235
br label %257
237: ; preds = %144
%238 = sext i32 %145 to i64
%239 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.17, i64 0, i64 %238
%240 = load double, double* %239
br label %257
241: ; preds = %147
%242 = sext i32 %148 to i64
%243 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.18, i64 0, i64 %242
%244 = load double, double* %243
br label %257
245: ; preds = %150
%246 = sext i32 %151 to i64
%247 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.19, i64 0, i64 %246
%248 = load double, double* %247
br label %257
249: ; preds = %153
%250 = sext i32 %154 to i64
%251 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.20, i64 0, i64 %250
%252 = load double, double* %251
br label %257
253: ; preds = %156
%254 = sext i32 %157 to i64
%255 = getelementptr inbounds [5 x double], [5 x double]* @switch.table.integral_fxifxi.21, i64 0, i64 %254
%256 = load double, double* %255
br label %257
257: ; preds = %156, %253, %153, %249, %150, %245, %147, %241, %144, %237, %141, %233, %138, %229, %135, %225, %132, %221, %129, %217, %126, %213, %123, %209, %120, %205, %117, %201, %114, %197, %111, %193, %108, %189, %105, %185, %102, %181, %99, %177, %96, %173, %93, %169, %10, %164, %159, %82, %75, %58, %43, %26, %11, %92, %91, %89, %87, %85, %83, %81, %80, %78, %76, %73, %71, %68, %65, %62, %59, %56, %53, %50, %47, %44, %41, %39, %36, %33, %30, %27, %24, %21, %18, %15, %12
%258 = phi double [ 0.000000e+00, %92 ], [ 0xBF67A463005E9195, %91 ], [ %90, %89 ], [ %88, %87 ], [ %86, %85 ], [ %84, %83 ], [ 0.000000e+00, %81 ], [ 0xBF7A01A01A01A01B, %80 ], [ %79, %78 ], [ %77, %76 ], [ %74, %73 ], [ %72, %71 ], [ %70, %68 ], [ %67, %65 ], [ %64, %62 ], [ %61, %59 ], [ %57, %56 ], [ %55, %53 ], [ %52, %50 ], [ %49, %47 ], [ %46, %44 ], [ %42, %41 ], [ %40, %39 ], [ %38, %36 ], [ %35, %33 ], [ %32, %30 ], [ %29, %27 ], [ %25, %24 ], [ %23, %21 ], [ %20, %18 ], [ %17, %15 ], [ %14, %12 ], [ 0.000000e+00, %11 ], [ 0.000000e+00, %26 ], [ 0.000000e+00, %43 ], [ 0.000000e+00, %58 ], [ 0x3FA3813813813814, %75 ], [ 0x3F8A01A01A01A01B, %82 ], [ %163, %159 ], [ %168, %164 ], [ 0.000000e+00, %10 ], [ %172, %169 ], [ 0.000000e+00, %93 ], [ %176, %173 ], [ 0.000000e+00, %96 ], [ %180, %177 ], [ 0.000000e+00, %99 ], [ %184, %181 ], [ 0.000000e+00, %102 ], [ %188, %185 ], [ 0.000000e+00, %105 ], [ %192, %189 ], [ 0.000000e+00, %108 ], [ %196, %193 ], [ 0.000000e+00, %111 ], [ %200, %197 ], [ 0.000000e+00, %114 ], [ %204, %201 ], [ 0.000000e+00, %117 ], [ %208, %205 ], [ 0.000000e+00, %120 ], [ %212, %209 ], [ 0.000000e+00, %123 ], [ %216, %213 ], [ 0.000000e+00, %126 ], [ %220, %217 ], [ 0.000000e+00, %129 ], [ %224, %221 ], [ 0.000000e+00, %132 ], [ %228, %225 ], [ 0.000000e+00, %135 ], [ %232, %229 ], [ 0.000000e+00, %138 ], [ %236, %233 ], [ 0.000000e+00, %141 ], [ %240, %237 ], [ 0.000000e+00, %144 ], [ %244, %241 ], [ 0.000000e+00, %147 ], [ %248, %245 ], [ 0.000000e+00, %150 ], [ %252, %249 ], [ 0.000000e+00, %153 ], [ %256, %253 ], [ 0.000000e+00, %156 ]
ret double %258
}