void nut_iau1980(double t, const double *f, double *dpsi, double *deps) {
  static const double nut[106][10] = {
      {0, 0, 0, 0, 1, -6798.4, -171996, -174.2, 92025, 8.9},
      {0, 0, 2, -2, 2, 182.6, -13187, -1.6, 5736, -3.1},
      {0, 0, 2, 0, 2, 13.7, -2274, -0.2, 977, -0.5},
      {0, 0, 0, 0, 2, -3399.2, 2062, 0.2, -895, 0.5},
      {0, -1, 0, 0, 0, -365.3, -1426, 3.4, 54, -0.1},
      {1, 0, 0, 0, 0, 27.6, 712, 0.1, -7, 0.0},
      {0, 1, 2, -2, 2, 121.7, -517, 1.2, 224, -0.6},
      {0, 0, 2, 0, 1, 13.6, -386, -0.4, 200, 0.0},
      {1, 0, 2, 0, 2, 9.1, -301, 0.0, 129, -0.1},
      {0, -1, 2, -2, 2, 365.2, 217, -0.5, -95, 0.3},
      {-1, 0, 0, 2, 0, 31.8, 158, 0.0, -1, 0.0},
      {0, 0, 2, -2, 1, 177.8, 129, 0.1, -70, 0.0},
      {-1, 0, 2, 0, 2, 27.1, 123, 0.0, -53, 0.0},
      {1, 0, 0, 0, 1, 27.7, 63, 0.1, -33, 0.0},
      {0, 0, 0, 2, 0, 14.8, 63, 0.0, -2, 0.0},
      {-1, 0, 2, 2, 2, 9.6, -59, 0.0, 26, 0.0},
      {-1, 0, 0, 0, 1, -27.4, -58, -0.1, 32, 0.0},
      {1, 0, 2, 0, 1, 9.1, -51, 0.0, 27, 0.0},
      {-2, 0, 0, 2, 0, -205.9, -48, 0.0, 1, 0.0},
      {-2, 0, 2, 0, 1, 1305.5, 46, 0.0, -24, 0.0},
      {0, 0, 2, 2, 2, 7.1, -38, 0.0, 16, 0.0},
      {2, 0, 2, 0, 2, 6.9, -31, 0.0, 13, 0.0},
      {2, 0, 0, 0, 0, 13.8, 29, 0.0, -1, 0.0},
      {1, 0, 2, -2, 2, 23.9, 29, 0.0, -12, 0.0},
      {0, 0, 2, 0, 0, 13.6, 26, 0.0, -1, 0.0},
      {0, 0, 2, -2, 0, 173.3, -22, 0.0, 0, 0.0},
      {-1, 0, 2, 0, 1, 27.0, 21, 0.0, -10, 0.0},
      {0, 2, 0, 0, 0, 182.6, 17, -0.1, 0, 0.0},
      {0, 2, 2, -2, 2, 91.3, -16, 0.1, 7, 0.0},
      {-1, 0, 0, 2, 1, 32.0, 16, 0.0, -8, 0.0},
      {0, 1, 0, 0, 1, 386.0, -15, 0.0, 9, 0.0},
      {1, 0, 0, -2, 1, -31.7, -13, 0.0, 7, 0.0},
      {0, -1, 0, 0, 1, -346.6, -12, 0.0, 6, 0.0},
      {2, 0, -2, 0, 0, -1095.2, 11, 0.0, 0, 0.0},
      {-1, 0, 2, 2, 1, 9.5, -10, 0.0, 5, 0.0},
      {1, 0, 2, 2, 2, 5.6, -8, 0.0, 3, 0.0},
      {0, -1, 2, 0, 2, 14.2, -7, 0.0, 3, 0.0},
      {0, 0, 2, 2, 1, 7.1, -7, 0.0, 3, 0.0},
      {1, 1, 0, -2, 0, -34.8, -7, 0.0, 0, 0.0},
      {0, 1, 2, 0, 2, 13.2, 7, 0.0, -3, 0.0},
      {-2, 0, 0, 2, 1, -199.8, -6, 0.0, 3, 0.0},
      {0, 0, 0, 2, 1, 14.8, -6, 0.0, 3, 0.0},
      {2, 0, 2, -2, 2, 12.8, 6, 0.0, -3, 0.0},
      {1, 0, 0, 2, 0, 9.6, 6, 0.0, 0, 0.0},
      {1, 0, 2, -2, 1, 23.9, 6, 0.0, -3, 0.0},
      {0, 0, 0, -2, 1, -14.7, -5, 0.0, 3, 0.0},
      {0, -1, 2, -2, 1, 346.6, -5, 0.0, 3, 0.0},
      {2, 0, 2, 0, 1, 6.9, -5, 0.0, 3, 0.0},
      {1, -1, 0, 0, 0, 29.8, 5, 0.0, 0, 0.0},
      {1, 0, 0, -1, 0, 411.8, -4, 0.0, 0, 0.0},
      {0, 0, 0, 1, 0, 29.5, -4, 0.0, 0, 0.0},
      {0, 1, 0, -2, 0, -15.4, -4, 0.0, 0, 0.0},
      {1, 0, -2, 0, 0, -26.9, 4, 0.0, 0, 0.0},
      {2, 0, 0, -2, 1, 212.3, 4, 0.0, -2, 0.0},
      {0, 1, 2, -2, 1, 119.6, 4, 0.0, -2, 0.0},
      {1, 1, 0, 0, 0, 25.6, -3, 0.0, 0, 0.0},
      {1, -1, 0, -1, 0, -3232.9, -3, 0.0, 0, 0.0},
      {-1, -1, 2, 2, 2, 9.8, -3, 0.0, 1, 0.0},
      {0, -1, 2, 2, 2, 7.2, -3, 0.0, 1, 0.0},
      {1, -1, 2, 0, 2, 9.4, -3, 0.0, 1, 0.0},
      {3, 0, 2, 0, 2, 5.5, -3, 0.0, 1, 0.0},
      {-2, 0, 2, 0, 2, 1615.7, -3, 0.0, 1, 0.0},
      {1, 0, 2, 0, 0, 9.1, 3, 0.0, 0, 0.0},
      {-1, 0, 2, 4, 2, 5.8, -2, 0.0, 1, 0.0},
      {1, 0, 0, 0, 2, 27.8, -2, 0.0, 1, 0.0},
      {-1, 0, 2, -2, 1, -32.6, -2, 0.0, 1, 0.0},
      {0, -2, 2, -2, 1, 6786.3, -2, 0.0, 1, 0.0},
      {-2, 0, 0, 0, 1, -13.7, -2, 0.0, 1, 0.0},
      {2, 0, 0, 0, 1, 13.8, 2, 0.0, -1, 0.0},
      {3, 0, 0, 0, 0, 9.2, 2, 0.0, 0, 0.0},
      {1, 1, 2, 0, 2, 8.9, 2, 0.0, -1, 0.0},
      {0, 0, 2, 1, 2, 9.3, 2, 0.0, -1, 0.0},
      {1, 0, 0, 2, 1, 9.6, -1, 0.0, 0, 0.0},
      {1, 0, 2, 2, 1, 5.6, -1, 0.0, 1, 0.0},
      {1, 1, 0, -2, 1, -34.7, -1, 0.0, 0, 0.0},
      {0, 1, 0, 2, 0, 14.2, -1, 0.0, 0, 0.0},
      {0, 1, 2, -2, 0, 117.5, -1, 0.0, 0, 0.0},
      {0, 1, -2, 2, 0, -329.8, -1, 0.0, 0, 0.0},
      {1, 0, -2, 2, 0, 23.8, -1, 0.0, 0, 0.0},
      {1, 0, -2, -2, 0, -9.5, -1, 0.0, 0, 0.0},
      {1, 0, 2, -2, 0, 32.8, -1, 0.0, 0, 0.0},
      {1, 0, 0, -4, 0, -10.1, -1, 0.0, 0, 0.0},
      {2, 0, 0, -4, 0, -15.9, -1, 0.0, 0, 0.0},
      {0, 0, 2, 4, 2, 4.8, -1, 0.0, 0, 0.0},
      {0, 0, 2, -1, 2, 25.4, -1, 0.0, 0, 0.0},
      {-2, 0, 2, 4, 2, 7.3, -1, 0.0, 1, 0.0},
      {2, 0, 2, 2, 2, 4.7, -1, 0.0, 0, 0.0},
      {0, -1, 2, 0, 1, 14.2, -1, 0.0, 0, 0.0},
      {0, 0, -2, 0, 1, -13.6, -1, 0.0, 0, 0.0},
      {0, 0, 4, -2, 2, 12.7, 1, 0.0, 0, 0.0},
      {0, 1, 0, 0, 2, 409.2, 1, 0.0, 0, 0.0},
      {1, 1, 2, -2, 2, 22.5, 1, 0.0, -1, 0.0},
      {3, 0, 2, -2, 2, 8.7, 1, 0.0, 0, 0.0},
      {-2, 0, 2, 2, 2, 14.6, 1, 0.0, -1, 0.0},
      {-1, 0, 0, 0, 2, -27.3, 1, 0.0, -1, 0.0},
      {0, 0, -2, 2, 1, -169.0, 1, 0.0, 0, 0.0},
      {0, 1, 2, 0, 1, 13.1, 1, 0.0, 0, 0.0},
      {-1, 0, 4, 0, 2, 9.1, 1, 0.0, 0, 0.0},
      {2, 1, 0, -2, 0, 131.7, 1, 0.0, 0, 0.0},
      {2, 0, 0, 2, 0, 7.1, 1, 0.0, 0, 0.0},
      {2, 0, 2, -2, 1, 12.8, 1, 0.0, -1, 0.0},
      {2, 0, -2, 0, 1, -943.2, 1, 0.0, 0, 0.0},
      {1, -1, 0, -2, 0, -29.3, 1, 0.0, 0, 0.0},
      {-1, 0, 0, 1, 1, -388.3, 1, 0.0, 0, 0.0},
      {-1, -1, 0, 2, 1, 35.0, 1, 0.0, 0, 0.0},
      {0, 1, 0, 1, 0, 27.3, 1, 0.0, 0, 0.0}};
  double ang;
  int i, j;
  *dpsi = *deps = 0.0;
  for (i = 0; i < 106; ++i) {
    ang = 0.0;
    for (j = 0; j < 5; ++j) {
      ang += nut[i][j] * f[j];
    }
    *dpsi += (nut[i][6] + nut[i][7] * t) * sin(ang);
    *deps += (nut[i][8] + nut[i][9] * t) * cos(ang);
  }
  *dpsi *= 1E-4 * ((3.1415926535897932 / 180.0) / 3600.0);
  *deps *= 1E-4 * ((3.1415926535897932 / 180.0) / 3600.0);
}


x86 assembly (clang, -O0):
<nut_iau1980>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movsd  %xmm0,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x6a,-0x2c(%rbp)
jge    129b <nut_iau1980+0x17b>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x30(%rbp)
cmpl   $0x5,-0x30(%rbp)
jge    11c1 <nut_iau1980+0xa1>
movslq -0x2c(%rbp),%rcx
lea    0xe8c(%rip),%rax
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    116f <nut_iau1980+0x4f>
movslq -0x2c(%rbp),%rcx
lea    0xe44(%rip),%rax
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movsd  0x30(%rax),%xmm1
movslq -0x2c(%rbp),%rcx
lea    0xe2d(%rip),%rax
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movsd  0x38(%rax),%xmm0
movsd  -0x8(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x28(%rbp),%xmm0
call   1030 <sin@plt>
movaps %xmm0,%xmm2
movsd  -0x40(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax)
movslq -0x2c(%rbp),%rcx
lea    0xdde(%rip),%rax
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movsd  0x40(%rax),%xmm1
movslq -0x2c(%rbp),%rcx
lea    0xdc7(%rip),%rax
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movsd  0x48(%rax),%xmm0
movsd  -0x8(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x28(%rbp),%xmm0
call   1040 <cos@plt>
movaps %xmm0,%xmm2
movsd  -0x38(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1156 <nut_iau1980+0x36>
mov    -0x18(%rbp),%rax
movsd  0xd59(%rip),%xmm0
mulsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
movsd  0xd45(%rip),%xmm0
mulsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<nut_iau1980>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x20,%rsp
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%r12
movsd  %xmm0,0x10(%rsp)
movq   $0x0,(%rdx)
movq   $0x0,(%rsi)
mov    $0x48,%ebx
lea    0xeba(%rip),%r13
cs nopw 0x0(%rax,%rax,1)
movsd  -0x48(%rbx,%r13,1),%xmm0
movsd  -0x40(%rbx,%r13,1),%xmm1
mulsd  (%r12),%xmm0
addsd  0xe8c(%rip),%xmm0
mulsd  0x8(%r12),%xmm1
addsd  %xmm0,%xmm1
movsd  -0x38(%rbx,%r13,1),%xmm0
mulsd  0x10(%r12),%xmm0
addsd  %xmm1,%xmm0
movsd  -0x30(%rbx,%r13,1),%xmm1
mulsd  0x18(%r12),%xmm1
addsd  %xmm0,%xmm1
movsd  -0x28(%rbx,%r13,1),%xmm0
mulsd  0x20(%r12),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,0x18(%rsp)
movsd  -0x10(%rbx,%r13,1),%xmm1
mulsd  0x10(%rsp),%xmm1
addsd  -0x18(%rbx,%r13,1),%xmm1
movsd  %xmm1,0x8(%rsp)
call   1030 <sin@plt>
mulsd  0x8(%rsp),%xmm0
addsd  (%r15),%xmm0
movsd  %xmm0,(%r15)
movsd  (%rbx,%r13,1),%xmm0
mulsd  0x10(%rsp),%xmm0
addsd  -0x8(%rbx,%r13,1),%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0x18(%rsp),%xmm0
call   1040 <cos@plt>
mulsd  0x8(%rsp),%xmm0
addsd  (%r14),%xmm0
movsd  %xmm0,(%r14)
add    $0x50,%rbx
cmp    $0x2168,%rbx
jne    1160 <nut_iau1980+0x40>
movsd  0xdc1(%rip),%xmm0
movsd  (%r15),%xmm1
mulsd  %xmm0,%xmm1
movsd  %xmm1,(%r15)
mulsd  (%r14),%xmm0
movsd  %xmm0,(%r14)
add    $0x20,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@nut_iau1980.nut = internal constant [106 x [10 x double]] [[10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0xC0BA8E6666666666, double -1.719960e+05, double -1.742000e+02, double 9.202500e+04, double 8.900000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.826000e+02, double -1.318700e+04, double -1.600000e+00, double 5.736000e+03, double -3.100000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.370000e+01, double -2.274000e+03, double -2.000000e-01, double 9.770000e+02, double -5.000000e-01], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -3.399200e+03, double 2.062000e+03, double 2.000000e-01, double -8.950000e+02, double 5.000000e-01], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double -3.653000e+02, double -1.426000e+03, double 3.400000e+00, double 5.400000e+01, double -1.000000e-01], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.760000e+01, double 7.120000e+02, double 1.000000e-01, double -7.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.217000e+02, double -5.170000e+02, double 1.200000e+00, double 2.240000e+02, double -6.000000e-01], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.360000e+01, double -3.860000e+02, double -4.000000e-01, double 2.000000e+02, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 9.100000e+00, double -3.010000e+02, double 0.000000e+00, double 1.290000e+02, double -1.000000e-01], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 3.652000e+02, double 2.170000e+02, double -5.000000e-01, double -9.500000e+01, double 3.000000e-01], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 3.180000e+01, double 1.580000e+02, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 1.778000e+02, double 1.290000e+02, double 1.000000e-01, double -7.000000e+01, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.710000e+01, double 1.230000e+02, double 0.000000e+00, double -5.300000e+01, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 2.770000e+01, double 6.300000e+01, double 1.000000e-01, double -3.300000e+01, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.480000e+01, double 6.300000e+01, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 0x4023333333333333, double -5.900000e+01, double 0.000000e+00, double 2.600000e+01, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double -2.740000e+01, double -5.800000e+01, double -1.000000e-01, double 3.200000e+01, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 9.100000e+00, double -5.100000e+01, double 0.000000e+00, double 2.700000e+01, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double -2.059000e+02, double -4.800000e+01, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.305500e+03, double 4.600000e+01, double 0.000000e+00, double -2.400000e+01, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 7.100000e+00, double -3.800000e+01, double 0.000000e+00, double 1.600000e+01, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 6.900000e+00, double -3.100000e+01, double 0.000000e+00, double 1.300000e+01, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.380000e+01, double 2.900000e+01, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 2.390000e+01, double 2.900000e+01, double 0.000000e+00, double -1.200000e+01, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.360000e+01, double 2.600000e+01, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.733000e+02, double -2.200000e+01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 2.700000e+01, double 2.100000e+01, double 0.000000e+00, double -1.000000e+01, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.826000e+02, double 1.700000e+01, double -1.000000e-01, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 0x4056D33333333333, double -1.600000e+01, double 1.000000e-01, double 7.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 3.200000e+01, double 1.600000e+01, double 0.000000e+00, double -8.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 3.860000e+02, double -1.500000e+01, double 0.000000e+00, double 9.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 1.000000e+00, double -3.170000e+01, double -1.300000e+01, double 0.000000e+00, double 7.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double -3.466000e+02, double -1.200000e+01, double 0.000000e+00, double 6.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double -1.095200e+03, double 1.100000e+01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 1.000000e+00, double 9.500000e+00, double -1.000000e+01, double 0.000000e+00, double 5.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 5.600000e+00, double -8.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.420000e+01, double -7.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 1.000000e+00, double 7.100000e+00, double -7.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double -3.480000e+01, double -7.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.320000e+01, double 7.000000e+00, double 0.000000e+00, double -3.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double -1.998000e+02, double -6.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 1.480000e+01, double -6.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.280000e+01, double 6.000000e+00, double 0.000000e+00, double -3.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 0x4023333333333333, double 6.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 2.390000e+01, double 6.000000e+00, double 0.000000e+00, double -3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 1.000000e+00, double -1.470000e+01, double -5.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 3.466000e+02, double -5.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 6.900000e+00, double -5.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.980000e+01, double 5.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00, double 4.118000e+02, double -4.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 2.950000e+01, double -4.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double -1.540000e+01, double -4.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double -2.690000e+01, double 4.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 1.000000e+00, double 2.123000e+02, double 4.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 1.196000e+02, double 4.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.560000e+01, double -3.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double -1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00, double -3.232900e+03, double -3.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double -1.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 9.800000e+00, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 7.200000e+00, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double -1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 9.400000e+00, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 3.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 5.500000e+00, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.615700e+03, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 9.100000e+00, double 3.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 4.000000e+00, double 2.000000e+00, double 5.800000e+00, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.780000e+01, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double -3.260000e+01, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -2.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 6.786300e+03, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double -1.370000e+01, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.380000e+01, double 2.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 3.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0x4022666666666666, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 8.900000e+00, double 2.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 2.000000e+00, double 9.300000e+00, double 2.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 0x4023333333333333, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 1.000000e+00, double 5.600000e+00, double -1.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 1.000000e+00, double -3.470000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.420000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.175000e+02, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double -2.000000e+00, double 2.000000e+00, double 0.000000e+00, double -3.298000e+02, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.380000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double -2.000000e+00, double 0.000000e+00, double -9.500000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 0.000000e+00, double 3.280000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double -4.000000e+00, double 0.000000e+00, double -1.010000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double -4.000000e+00, double 0.000000e+00, double -1.590000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 4.000000e+00, double 2.000000e+00, double 4.800000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -1.000000e+00, double 2.000000e+00, double 2.540000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 4.000000e+00, double 2.000000e+00, double 7.300000e+00, double -1.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 4.700000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.420000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double -1.360000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 4.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.270000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 4.092000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 2.250000e+01, double 1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 3.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 0x4021666666666666, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 1.460000e+01, double 1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.730000e+01, double 1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.000000e+00, double -1.690000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.310000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 4.000000e+00, double 0.000000e+00, double 2.000000e+00, double 9.100000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.317000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 7.100000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 1.280000e+01, double 1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double -9.432000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double -1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double -2.930000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.000000e+00, double -3.883000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 3.500000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 2.730000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00]]
define void @nut_iau1980(double %0, double* %1, double* %2, double* %3) {
%5 = alloca double
%6 = alloca double*
%7 = alloca double*
%8 = alloca double*
%9 = alloca double
%10 = alloca i32
%11 = alloca i32
store double %0, double* %5
store double* %1, double** %6
store double* %2, double** %7
store double* %3, double** %8
%12 = load double*, double** %8
store double 0.000000e+00, double* %12
%13 = load double*, double** %7
store double 0.000000e+00, double* %13
store i32 0, i32* %10
br label %14
14: ; preds = %74, %4
%15 = load i32, i32* %10
%16 = icmp slt i32 %15, 106
br i1 %16, label %17, label %77
17: ; preds = %14
store double 0.000000e+00, double* %9
store i32 0, i32* %11
br label %18
18: ; preds = %36, %17
%19 = load i32, i32* %11
%20 = icmp slt i32 %19, 5
br i1 %20, label %21, label %39
21: ; preds = %18
%22 = load i32, i32* %10
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %23
%25 = load i32, i32* %11
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds [10 x double], [10 x double]* %24, i64 0, i64 %26
%28 = load double, double* %27
%29 = load double*, double** %6
%30 = load i32, i32* %11
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds double, double* %29, i64 %31
%33 = load double, double* %32
%34 = load double, double* %9
%35 = call double @llvm.fmuladd.f64(double %28, double %33, double %34)
store double %35, double* %9
br label %36
36: ; preds = %21
%37 = load i32, i32* %11
%38 = add nsw i32 %37, 1
store i32 %38, i32* %11
br label %18
39: ; preds = %18
%40 = load i32, i32* %10
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %41
%43 = getelementptr inbounds [10 x double], [10 x double]* %42, i64 0, i64 6
%44 = load double, double* %43
%45 = load i32, i32* %10
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %46
%48 = getelementptr inbounds [10 x double], [10 x double]* %47, i64 0, i64 7
%49 = load double, double* %48
%50 = load double, double* %5
%51 = call double @llvm.fmuladd.f64(double %49, double %50, double %44)
%52 = load double, double* %9
%53 = call double @sin(double %52)
%54 = load double*, double** %7
%55 = load double, double* %54
%56 = call double @llvm.fmuladd.f64(double %51, double %53, double %55)
store double %56, double* %54
%57 = load i32, i32* %10
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %58
%60 = getelementptr inbounds [10 x double], [10 x double]* %59, i64 0, i64 8
%61 = load double, double* %60
%62 = load i32, i32* %10
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %63
%65 = getelementptr inbounds [10 x double], [10 x double]* %64, i64 0, i64 9
%66 = load double, double* %65
%67 = load double, double* %5
%68 = call double @llvm.fmuladd.f64(double %66, double %67, double %61)
%69 = load double, double* %9
%70 = call double @cos(double %69)
%71 = load double*, double** %8
%72 = load double, double* %71
%73 = call double @llvm.fmuladd.f64(double %68, double %70, double %72)
store double %73, double* %71
br label %74
74: ; preds = %39
%75 = load i32, i32* %10
%76 = add nsw i32 %75, 1
store i32 %76, i32* %10
br label %14
77: ; preds = %14
%78 = load double*, double** %7
%79 = load double, double* %78
%80 = fmul double %79, 0x3E00A8775B56E29A
store double %80, double* %78
%81 = load double*, double** %8
%82 = load double, double* %81
%83 = fmul double %82, 0x3E00A8775B56E29A
store double %83, double* %81
ret void
}

LLVM IR (-O2):
@nut_iau1980.nut = internal unnamed_addr constant [106 x [10 x double]] [[10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0xC0BA8E6666666666, double -1.719960e+05, double -1.742000e+02, double 9.202500e+04, double 8.900000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.826000e+02, double -1.318700e+04, double -1.600000e+00, double 5.736000e+03, double -3.100000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.370000e+01, double -2.274000e+03, double -2.000000e-01, double 9.770000e+02, double -5.000000e-01], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -3.399200e+03, double 2.062000e+03, double 2.000000e-01, double -8.950000e+02, double 5.000000e-01], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double -3.653000e+02, double -1.426000e+03, double 3.400000e+00, double 5.400000e+01, double -1.000000e-01], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.760000e+01, double 7.120000e+02, double 1.000000e-01, double -7.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.217000e+02, double -5.170000e+02, double 1.200000e+00, double 2.240000e+02, double -6.000000e-01], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.360000e+01, double -3.860000e+02, double -4.000000e-01, double 2.000000e+02, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 9.100000e+00, double -3.010000e+02, double 0.000000e+00, double 1.290000e+02, double -1.000000e-01], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 3.652000e+02, double 2.170000e+02, double -5.000000e-01, double -9.500000e+01, double 3.000000e-01], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 3.180000e+01, double 1.580000e+02, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 1.778000e+02, double 1.290000e+02, double 1.000000e-01, double -7.000000e+01, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.710000e+01, double 1.230000e+02, double 0.000000e+00, double -5.300000e+01, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 2.770000e+01, double 6.300000e+01, double 1.000000e-01, double -3.300000e+01, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.480000e+01, double 6.300000e+01, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 0x4023333333333333, double -5.900000e+01, double 0.000000e+00, double 2.600000e+01, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double -2.740000e+01, double -5.800000e+01, double -1.000000e-01, double 3.200000e+01, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 9.100000e+00, double -5.100000e+01, double 0.000000e+00, double 2.700000e+01, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double -2.059000e+02, double -4.800000e+01, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.305500e+03, double 4.600000e+01, double 0.000000e+00, double -2.400000e+01, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 7.100000e+00, double -3.800000e+01, double 0.000000e+00, double 1.600000e+01, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 6.900000e+00, double -3.100000e+01, double 0.000000e+00, double 1.300000e+01, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.380000e+01, double 2.900000e+01, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 2.390000e+01, double 2.900000e+01, double 0.000000e+00, double -1.200000e+01, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.360000e+01, double 2.600000e+01, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.733000e+02, double -2.200000e+01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 2.700000e+01, double 2.100000e+01, double 0.000000e+00, double -1.000000e+01, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.826000e+02, double 1.700000e+01, double -1.000000e-01, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 0x4056D33333333333, double -1.600000e+01, double 1.000000e-01, double 7.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 3.200000e+01, double 1.600000e+01, double 0.000000e+00, double -8.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 3.860000e+02, double -1.500000e+01, double 0.000000e+00, double 9.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 1.000000e+00, double -3.170000e+01, double -1.300000e+01, double 0.000000e+00, double 7.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double -3.466000e+02, double -1.200000e+01, double 0.000000e+00, double 6.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double -1.095200e+03, double 1.100000e+01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 1.000000e+00, double 9.500000e+00, double -1.000000e+01, double 0.000000e+00, double 5.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 5.600000e+00, double -8.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.420000e+01, double -7.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 1.000000e+00, double 7.100000e+00, double -7.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double -3.480000e+01, double -7.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.320000e+01, double 7.000000e+00, double 0.000000e+00, double -3.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double -1.998000e+02, double -6.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 1.480000e+01, double -6.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.280000e+01, double 6.000000e+00, double 0.000000e+00, double -3.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 0x4023333333333333, double 6.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 2.390000e+01, double 6.000000e+00, double 0.000000e+00, double -3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 1.000000e+00, double -1.470000e+01, double -5.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 3.466000e+02, double -5.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 6.900000e+00, double -5.000000e+00, double 0.000000e+00, double 3.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.980000e+01, double 5.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00, double 4.118000e+02, double -4.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 2.950000e+01, double -4.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double -1.540000e+01, double -4.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double -2.690000e+01, double 4.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 1.000000e+00, double 2.123000e+02, double 4.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 1.196000e+02, double 4.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.560000e+01, double -3.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double -1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00, double -3.232900e+03, double -3.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double -1.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 9.800000e+00, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 7.200000e+00, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double -1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 9.400000e+00, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 3.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 5.500000e+00, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.615700e+03, double -3.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 9.100000e+00, double 3.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 4.000000e+00, double 2.000000e+00, double 5.800000e+00, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.780000e+01, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double -3.260000e+01, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -2.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 6.786300e+03, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double -1.370000e+01, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.380000e+01, double 2.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 3.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0x4022666666666666, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 8.900000e+00, double 2.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 2.000000e+00, double 9.300000e+00, double 2.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 0x4023333333333333, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 1.000000e+00, double 5.600000e+00, double -1.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 1.000000e+00, double -3.470000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.420000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.175000e+02, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double -2.000000e+00, double 2.000000e+00, double 0.000000e+00, double -3.298000e+02, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 2.000000e+00, double 0.000000e+00, double 2.380000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double -2.000000e+00, double 0.000000e+00, double -9.500000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 0.000000e+00, double 3.280000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double -4.000000e+00, double 0.000000e+00, double -1.010000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double -4.000000e+00, double 0.000000e+00, double -1.590000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 4.000000e+00, double 2.000000e+00, double 4.800000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -1.000000e+00, double 2.000000e+00, double 2.540000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 4.000000e+00, double 2.000000e+00, double 7.300000e+00, double -1.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 4.700000e+00, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double -1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.420000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double -1.360000e+01, double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double 4.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.270000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 4.092000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double 1.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 2.250000e+01, double 1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 3.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 2.000000e+00, double 0x4021666666666666, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -2.000000e+00, double 0.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 1.460000e+01, double 1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.730000e+01, double 1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 0.000000e+00, double -2.000000e+00, double 2.000000e+00, double 1.000000e+00, double -1.690000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 2.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.310000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 4.000000e+00, double 0.000000e+00, double 2.000000e+00, double 9.100000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.317000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 2.000000e+00, double 0.000000e+00, double 7.100000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double 2.000000e+00, double -2.000000e+00, double 1.000000e+00, double 1.280000e+01, double 1.000000e+00, double 0.000000e+00, double -1.000000e+00, double 0.000000e+00], [10 x double] [double 2.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double 1.000000e+00, double -9.432000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 1.000000e+00, double -1.000000e+00, double 0.000000e+00, double -2.000000e+00, double 0.000000e+00, double -2.930000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e+00, double 1.000000e+00, double -3.883000e+02, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double -1.000000e+00, double -1.000000e+00, double 0.000000e+00, double 2.000000e+00, double 1.000000e+00, double 3.500000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00], [10 x double] [double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 2.730000e+01, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00]]
define void @nut_iau1980(double %0, double* nocapture %1, double* nocapture %2, double* nocapture %3) {
store double 0.000000e+00, double* %3
store double 0.000000e+00, double* %2
%5 = getelementptr inbounds double, double* %1, i64 1
%6 = getelementptr inbounds double, double* %1, i64 2
%7 = getelementptr inbounds double, double* %1, i64 3
%8 = getelementptr inbounds double, double* %1, i64 4
br label %9
9: ; preds = %4, %9
%10 = phi i64 [ 0, %4 ], [ %47, %9 ]
%11 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 0
%12 = load double, double* %11
%13 = load double, double* %1
%14 = tail call double @llvm.fmuladd.f64(double %12, double %13, double 0.000000e+00)
%15 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 1
%16 = load double, double* %15
%17 = load double, double* %5
%18 = tail call double @llvm.fmuladd.f64(double %16, double %17, double %14)
%19 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 2
%20 = load double, double* %19
%21 = load double, double* %6
%22 = tail call double @llvm.fmuladd.f64(double %20, double %21, double %18)
%23 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 3
%24 = load double, double* %23
%25 = load double, double* %7
%26 = tail call double @llvm.fmuladd.f64(double %24, double %25, double %22)
%27 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 4
%28 = load double, double* %27
%29 = load double, double* %8
%30 = tail call double @llvm.fmuladd.f64(double %28, double %29, double %26)
%31 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 6
%32 = load double, double* %31
%33 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 7
%34 = load double, double* %33
%35 = tail call double @llvm.fmuladd.f64(double %34, double %0, double %32)
%36 = tail call double @sin(double %30)
%37 = load double, double* %2
%38 = tail call double @llvm.fmuladd.f64(double %35, double %36, double %37)
store double %38, double* %2
%39 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 8
%40 = load double, double* %39
%41 = getelementptr inbounds [106 x [10 x double]], [106 x [10 x double]]* @nut_iau1980.nut, i64 0, i64 %10, i64 9
%42 = load double, double* %41
%43 = tail call double @llvm.fmuladd.f64(double %42, double %0, double %40)
%44 = tail call double @cos(double %30)
%45 = load double, double* %3
%46 = tail call double @llvm.fmuladd.f64(double %43, double %44, double %45)
store double %46, double* %3
%47 = add nuw nsw i64 %10, 1
%48 = icmp eq i64 %47, 106
br i1 %48, label %49, label %9
49: ; preds = %9
%50 = load double, double* %2
%51 = fmul double %50, 0x3E00A8775B56E29A
store double %51, double* %2
%52 = load double, double* %3
%53 = fmul double %52, 0x3E00A8775B56E29A
store double %53, double* %3
ret void
}