double prutenic_orbis_sol(double angle) {
  double orbis[] = {
      ((0) + (((0) + (0) / 60.)) / 60.),   ((0) + (((1) + (52) / 60.)) / 60.),
      ((0) + (((3) + (45) / 60.)) / 60.),  ((0) + (((5) + (37) / 60.)) / 60.),
      ((0) + (((7) + (29) / 60.)) / 60.),  ((0) + (((9) + (21) / 60.)) / 60.),
      ((0) + (((11) + (13) / 60.)) / 60.), ((0) + (((13) + (4) / 60.)) / 60.),
      ((0) + (((14) + (56) / 60.)) / 60.), ((0) + (((16) + (47) / 60.)) / 60.),
      ((0) + (((18) + (38) / 60.)) / 60.), ((0) + (((20) + (28) / 60.)) / 60.),
      ((0) + (((22) + (18) / 60.)) / 60.), ((0) + (((24) + (8) / 60.)) / 60.),
      ((0) + (((25) + (58) / 60.)) / 60.), ((0) + (((27) + (47) / 60.)) / 60.),
      ((0) + (((29) + (35) / 60.)) / 60.), ((0) + (((31) + (23) / 60.)) / 60.),
      ((0) + (((33) + (11) / 60.)) / 60.), ((0) + (((34) + (58) / 60.)) / 60.),
      ((0) + (((36) + (44) / 60.)) / 60.), ((0) + (((38) + (30) / 60.)) / 60.),
      ((0) + (((40) + (15) / 60.)) / 60.), ((0) + (((42) + (0) / 60.)) / 60.),
      ((0) + (((43) + (43) / 60.)) / 60.), ((0) + (((45) + (26) / 60.)) / 60.),
      ((0) + (((47) + (9) / 60.)) / 60.),  ((0) + (((48) + (50) / 60.)) / 60.),
      ((0) + (((50) + (31) / 60.)) / 60.), ((0) + (((52) + (11) / 60.)) / 60.),
      ((0) + (((53) + (50) / 60.)) / 60.), ((0) + (((55) + (28) / 60.)) / 60.),
      ((0) + (((57) + (5) / 60.)) / 60.),  ((0) + (((58) + (41) / 60.)) / 60.),
      ((1) + (((0) + (16) / 60.)) / 60.),  ((1) + (((1) + (50) / 60.)) / 60.),
      ((1) + (((3) + (23) / 60.)) / 60.),  ((1) + (((4) + (55) / 60.)) / 60.),
      ((1) + (((6) + (26) / 60.)) / 60.),  ((1) + (((7) + (56) / 60.)) / 60.),
      ((1) + (((9) + (25) / 60.)) / 60.),  ((1) + (((10) + (52) / 60.)) / 60.),
      ((1) + (((12) + (19) / 60.)) / 60.), ((1) + (((13) + (44) / 60.)) / 60.),
      ((1) + (((15) + (7) / 60.)) / 60.),  ((1) + (((16) + (30) / 60.)) / 60.),
      ((1) + (((17) + (51) / 60.)) / 60.), ((1) + (((19) + (11) / 60.)) / 60.),
      ((1) + (((20) + (30) / 60.)) / 60.), ((1) + (((21) + (47) / 60.)) / 60.),
      ((1) + (((23) + (2) / 60.)) / 60.),  ((1) + (((24) + (17) / 60.)) / 60.),
      ((1) + (((25) + (30) / 60.)) / 60.), ((1) + (((26) + (41) / 60.)) / 60.),
      ((1) + (((27) + (51) / 60.)) / 60.), ((1) + (((28) + (59) / 60.)) / 60.),
      ((1) + (((30) + (6) / 60.)) / 60.),  ((1) + (((31) + (11) / 60.)) / 60.),
      ((1) + (((32) + (15) / 60.)) / 60.), ((1) + (((33) + (17) / 60.)) / 60.),
      ((1) + (((34) + (18) / 60.)) / 60.), ((1) + (((35) + (17) / 60.)) / 60.),
      ((1) + (((36) + (14) / 60.)) / 60.), ((1) + (((37) + (9) / 60.)) / 60.),
      ((1) + (((38) + (3) / 60.)) / 60.),  ((1) + (((38) + (55) / 60.)) / 60.),
      ((1) + (((39) + (46) / 60.)) / 60.), ((1) + (((40) + (34) / 60.)) / 60.),
      ((1) + (((41) + (21) / 60.)) / 60.), ((1) + (((42) + (6) / 60.)) / 60.),
      ((1) + (((42) + (50) / 60.)) / 60.), ((1) + (((43) + (31) / 60.)) / 60.),
      ((1) + (((44) + (11) / 60.)) / 60.), ((1) + (((44) + (49) / 60.)) / 60.),
      ((1) + (((45) + (25) / 60.)) / 60.), ((1) + (((45) + (59) / 60.)) / 60.),
      ((1) + (((46) + (31) / 60.)) / 60.), ((1) + (((47) + (1) / 60.)) / 60.),
      ((1) + (((47) + (30) / 60.)) / 60.), ((1) + (((47) + (56) / 60.)) / 60.),
      ((1) + (((48) + (21) / 60.)) / 60.), ((1) + (((48) + (43) / 60.)) / 60.),
      ((1) + (((49) + (4) / 60.)) / 60.),  ((1) + (((49) + (22) / 60.)) / 60.),
      ((1) + (((49) + (39) / 60.)) / 60.), ((1) + (((49) + (54) / 60.)) / 60.),
      ((1) + (((50) + (7) / 60.)) / 60.),  ((1) + (((50) + (17) / 60.)) / 60.),
      ((1) + (((50) + (26) / 60.)) / 60.), ((1) + (((50) + (33) / 60.)) / 60.),
      ((1) + (((50) + (38) / 60.)) / 60.), ((1) + (((50) + (40) / 60.)) / 60.),
      ((1) + (((50) + (41) / 60.)) / 60.), ((1) + (((50) + (40) / 60.)) / 60.),
      ((1) + (((50) + (36) / 60.)) / 60.), ((1) + (((50) + (31) / 60.)) / 60.),
      ((1) + (((50) + (24) / 60.)) / 60.), ((1) + (((50) + (14) / 60.)) / 60.),
      ((1) + (((50) + (3) / 60.)) / 60.),  ((1) + (((49) + (49) / 60.)) / 60.),
      ((1) + (((49) + (34) / 60.)) / 60.), ((1) + (((49) + (16) / 60.)) / 60.),
      ((1) + (((48) + (56) / 60.)) / 60.), ((1) + (((48) + (35) / 60.)) / 60.),
      ((1) + (((48) + (11) / 60.)) / 60.), ((1) + (((47) + (45) / 60.)) / 60.),
      ((1) + (((47) + (18) / 60.)) / 60.), ((1) + (((46) + (48) / 60.)) / 60.),
      ((1) + (((46) + (16) / 60.)) / 60.), ((1) + (((45) + (43) / 60.)) / 60.),
      ((1) + (((45) + (7) / 60.)) / 60.),  ((1) + (((44) + (29) / 60.)) / 60.),
      ((1) + (((43) + (50) / 60.)) / 60.), ((1) + (((43) + (8) / 60.)) / 60.),
      ((1) + (((42) + (25) / 60.)) / 60.), ((1) + (((41) + (39) / 60.)) / 60.),
      ((1) + (((40) + (52) / 60.)) / 60.), ((1) + (((40) + (2) / 60.)) / 60.),
      ((1) + (((39) + (11) / 60.)) / 60.), ((1) + (((38) + (18) / 60.)) / 60.),
      ((1) + (((37) + (23) / 60.)) / 60.), ((1) + (((36) + (26) / 60.)) / 60.),
      ((1) + (((35) + (27) / 60.)) / 60.), ((1) + (((34) + (27) / 60.)) / 60.),
      ((1) + (((33) + (24) / 60.)) / 60.), ((1) + (((32) + (20) / 60.)) / 60.),
      ((1) + (((31) + (14) / 60.)) / 60.), ((1) + (((30) + (6) / 60.)) / 60.),
      ((1) + (((28) + (57) / 60.)) / 60.), ((1) + (((27) + (46) / 60.)) / 60.),
      ((1) + (((26) + (33) / 60.)) / 60.), ((1) + (((25) + (18) / 60.)) / 60.),
      ((1) + (((24) + (2) / 60.)) / 60.),  ((1) + (((22) + (44) / 60.)) / 60.),
      ((1) + (((21) + (25) / 60.)) / 60.), ((1) + (((20) + (4) / 60.)) / 60.),
      ((1) + (((18) + (41) / 60.)) / 60.), ((1) + (((17) + (17) / 60.)) / 60.),
      ((1) + (((15) + (51) / 60.)) / 60.), ((1) + (((14) + (24) / 60.)) / 60.),
      ((1) + (((12) + (55) / 60.)) / 60.), ((1) + (((11) + (25) / 60.)) / 60.),
      ((1) + (((9) + (54) / 60.)) / 60.),  ((1) + (((8) + (21) / 60.)) / 60.),
      ((1) + (((6) + (47) / 60.)) / 60.),  ((1) + (((5) + (11) / 60.)) / 60.),
      ((1) + (((3) + (34) / 60.)) / 60.),  ((1) + (((1) + (56) / 60.)) / 60.),
      ((1) + (((0) + (17) / 60.)) / 60.),  ((0) + (((58) + (37) / 60.)) / 60.),
      ((0) + (((56) + (55) / 60.)) / 60.), ((0) + (((55) + (12) / 60.)) / 60.),
      ((0) + (((53) + (28) / 60.)) / 60.), ((0) + (((51) + (43) / 60.)) / 60.),
      ((0) + (((49) + (57) / 60.)) / 60.), ((0) + (((48) + (10) / 60.)) / 60.),
      ((0) + (((46) + (22) / 60.)) / 60.), ((0) + (((44) + (34) / 60.)) / 60.),
      ((0) + (((42) + (44) / 60.)) / 60.), ((0) + (((40) + (53) / 60.)) / 60.),
      ((0) + (((39) + (2) / 60.)) / 60.),  ((0) + (((37) + (10) / 60.)) / 60.),
      ((0) + (((35) + (17) / 60.)) / 60.), ((0) + (((33) + (23) / 60.)) / 60.),
      ((0) + (((31) + (29) / 60.)) / 60.), ((0) + (((29) + (34) / 60.)) / 60.),
      ((0) + (((27) + (38) / 60.)) / 60.), ((0) + (((25) + (42) / 60.)) / 60.),
      ((0) + (((23) + (45) / 60.)) / 60.), ((0) + (((21) + (48) / 60.)) / 60.),
      ((0) + (((19) + (51) / 60.)) / 60.), ((0) + (((17) + (53) / 60.)) / 60.),
      ((0) + (((15) + (55) / 60.)) / 60.), ((0) + (((13) + (56) / 60.)) / 60.),
      ((0) + (((11) + (57) / 60.)) / 60.), ((0) + (((9) + (58) / 60.)) / 60.),
      ((0) + (((7) + (59) / 60.)) / 60.),  ((0) + (((5) + (59) / 60.)) / 60.),
      ((0) + (((3) + (59) / 60.)) / 60.),  ((0) + (((2) + (0) / 60.)) / 60.),
      ((0) + (((0) + (0) / 60.)) / 60.),
  };
  return interpolate_symmetric_linear(sizeof(orbis) / sizeof(*orbis), orbis,
                                      angle);
}


x86 assembly (clang, -O0):
<prutenic_orbis_sol>:
push   %rbp
mov    %rsp,%rbp
sub    $0x5b0,%rsp
movsd  %xmm0,-0x8(%rbp)
lea    -0x5b0(%rbp),%rdi
lea    0xec2(%rip),%rsi
mov    $0x5a8,%edx
call   1040 <memcpy@plt>
lea    -0x5b0(%rbp),%rsi
movsd  -0x8(%rbp),%xmm0
mov    $0xb5,%edi
mov    $0x1,%al
call   1030 <interpolate_symmetric_linear@plt>
cvtsi2sd %eax,%xmm0
add    $0x5b0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<prutenic_orbis_sol>:
push   %rbx
sub    $0x5c0,%rsp
movsd  %xmm0,0x8(%rsp)
lea    0xecb(%rip),%rsi
lea    0x10(%rsp),%rbx
mov    $0x5a8,%edx
mov    %rbx,%rdi
call   1040 <memcpy@plt>
mov    $0xb5,%edi
mov    %rbx,%rsi
movsd  0x8(%rsp),%xmm0
mov    $0x1,%al
call   1030 <interpolate_symmetric_linear@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
add    $0x5c0,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@__const.prutenic_orbis_sol.orbis = [181 x double] [double 0.000000e+00, double 0x3F9FDB97530ECA86, double 6.250000e-02, double 0x3FB7F6E5D4C3B2A2, double 0x3FBFEDCBA9876543, double 0x3FC3F258BF258BF2, double 0x3FC7EDCBA9876543, double 0x3FCBE02468ACF135, double 0x3FCFDB97530ECA86, double 0x3FD1E6F8091A2B3D, double 0x3FD3E02468ACF135, double 0x3FD5D4C3B2A1907F, double 0x3FD7C962FC962FCA, double 0x3FD9BE02468ACF13, double 0x3FDBB2A1907F6E5D, double 0x3FDDA2B3C4D5E6F9, double 0x3FDF8E38E38E38E3, double 0x3FE0BCDF01234567, double 0x3FE1B2A1907F6E5D, double 0x3FE2A61D950C83FC, double 0x3FE397530ECA8642, double 0x3FE4888888888889, double 0x3FE5777777777777, double 0x3FE6666666666666, double 0x3FE750C83FB72EA6, double 0x3FE83B2A1907F6E5, double 0x3FE9258BF258BF25, double 0x3FEA0B60B60B60B6, double 0x3FEAF13579BE0246, double 0x3FEBD4C3B2A1907F, double 0x3FECB60B60B60B61, double 0x3FED950C83FB72EB, double 0x3FEE71C71C71C71D, double 0x3FEF4C3B2A1907F6, double 0x3FF0123456789ABD, double 0x3FF07D27D27D27D2, double 0x3FF0E6F8091A2B3C, double 0x3FF14FA4FA4FA4FA, double 0x3FF1B72EA61D950D, double 0x3FF21D950C83FB73, double 0x3FF282D82D82D82E, double 0x3FF2E5D4C3B2A190, double 0x3FF348D159E26AF4, double 0x3FF3A987654320FF, double 0x3FF407F6E5D4C3B3, double 1.275000e+00, double 1.297500e+00, double 0x3FF51D950C83FB73, double 0x3FF5777777777778, double 0x3FF5CF13579BE024, double 0x3FF62468ACF1357A, double 0x3FF679BE02468ACF, double 1.425000e+00, double 0x3FF71D950C83FB73, double 0x3FF76D3A06D3A06D, double 0x3FF7BA9876543210, double 0x3FF806D3A06D3A07, double 0x3FF850C83FB72EA6, double 1.537500e+00, double 0x3FF8E02468ACF136, double 0x3FF9258BF258BF26, double 0x3FF968ACF13579BE, double 0x3FF9A987654320FF, double 0x3FF9E81B4E81B4E8, double 0x3FFA258BF258BF26, double 0x3FFA60B60B60B60B, double 0x3FFA9ABCDF012346, double 0x3FFAD159E26AF37C, double 0x3FFB06D3A06D3A07, double 0x3FFB3A06D3A06D3A, double 0x3FFB6C16C16C16C2, double 0x3FFB9ABCDF012346, double 0x3FFBC83FB72EA61E, double 0x3FFBF37C048D159E, double 0x3FFC1C71C71C71C7, double 0x3FFC4320FEDCBA98, double 0x3FFC6789ABCDF012, double 0x3FFC89ABCDF01234, double 0x3FFCAAAAAAAAAAAA, double 0x3FFCC83FB72EA61E, double 0x3FFCE4B17E4B17E5, double 0x3FFCFDB97530ECA8, double 0x3FFD159E26AF37C0, double 0x3FFD2A1907F6E5D5, double 0x3FFD3D70A3D70A3E, double 0x3FFD4E81B4E81B4E, double 0x3FFD5D4C3B2A1908, double 0x3FFD68ACF13579BE, double 0x3FFD72EA61D950C8, double 0x3FFD7AE147AE147A, double 0x3FFD8091A2B3C4D6, double 0x3FFD82D82D82D82E, double 0x3FFD83FB72EA61D9, double 0x3FFD82D82D82D82E, double 0x3FFD7E4B17E4B17E, double 0x3FFD789ABCDF0123, double 0x3FFD70A3D70A3D70, double 0x3FFD654320FEDCBA, double 0x3FFD58BF258BF258, double 0x3FFD48D159E26AF4, double 0x3FFD37C048D159E2, double 0x3FFD23456789ABCE, double 0x3FFD0C83FB72EA62, double 0x3FFCF49F49F49F4A, double 0x3FFCD950C83FB72E, double 0x3FFCBBBBBBBBBBBC, double 0x3FFC9D0369D0369D, double 0x3FFC7AE147AE147A, double 0x3FFC56789ABCDF01, double 0x3FFC30ECA8641FDC, double 0x3FFC07F6E5D4C3B2, double 0x3FFBDCBA98765432, double 0x3FFBB05B05B05B06, double 0x3FFB8091A2B3C4D6, double 0x3FFB4FA4FA4FA4FA, double 0x3FFB1B4E81B4E81B, double 0x3FFAE5D4C3B2A190, double 0x3FFAACF13579BE02, double 0x3FFA72EA61D950C8, double 0x3FFA369D0369D036, double 0x3FF9F8091A2B3C4E, double 0x3FF9B72EA61D950C, double 0x3FF9740DA740DA74, double 0x3FF92FC962FC9630, double 0x3FF8E81B4E81B4E8, double 0x3FF89F49F49F49F5, double 0x3FF854320FEDCBAA, double 0x3FF806D3A06D3A07, double 1.482500e+00, double 0x3FF76789ABCDF012, double 1.442500e+00, double 0x3FF6BF258BF258BF, double 0x3FF668ACF13579BE, double 0x3FF60FEDCBA98765, double 0x3FF5B60B60B60B61, double 0x3FF559E26AF37C04, double 0x3FF4FB72EA61D951, double 0x3FF49BE02468ACF1, double 0x3FF43A06D3A06D3A, double 1.240000e+00, double 0x3FF371C71C71C71C, double 0x3FF30B60B60B60B6, double 1.165000e+00, double 0x3FF23A06D3A06D3A, double 0x3FF1CF13579BE024, double 0x3FF161D950C83FB7, double 0x3FF0F37C048D159E, double 0x3FF083FB72EA61D9, double 0x3FF013579BE02469, double 0x3FEF4320FEDCBA99, double 0x3FEE5B05B05B05B0, double 9.200000e-01, double 0x3FEC83FB72EA61DA, double 0x3FEB950C83FB72EB, double 8.325000e-01, double 0x3FE9B05B05B05B05, double 0x3FE8BA9876543210, double 0x3FE7C4D5E6F8091B, double 0x3FE6CA8641FDB975, double 0x3FE5CDF012345679, double 0x3FE4D159E26AF37C, double 0x3FE3D27D27D27D27, double 0x3FE2D159E26AF37C, double 0x3FE1CDF012345679, double 0x3FE0CA8641FDB975, double 0x3FDF89ABCDF01234, double 0x3FDD79BE02468ACF, double 0x3FDB69D0369D036A, double 0x3FD9555555555555, double 0x3FD740DA740DA741, double 0x3FD52C5F92C5F92D, double 0x3FD313579BE02469, double 0x3FD0FA4FA4FA4FA5, double 0x3FCDB97530ECA864, double 0x3FC97E4B17E4B17E, double 0x3FC54320FEDCBA99, double 0x3FC107F6E5D4C3B3, double 0x3FB987654320FEDD, double 0x3FB0FEDCBA987654, double 0x3FA1111111111111, double 0.000000e+00]
define double @prutenic_orbis_sol(double %0) {
%2 = alloca double
%3 = alloca [181 x double]
store double %0, double* %2
%4 = bitcast [181 x double]* %3 to i8*
%5 = getelementptr inbounds [181 x double], [181 x double]* %3, i64 0, i64 0
%6 = load double, double* %2
%7 = call i32 (i64, double*, double, ...) bitcast (i32 (...)* @interpolate_symmetric_linear to i32 (i64, double*, double, ...)*)(i64 181, double* %5, double %6)
%8 = sitofp i32 %7 to double
ret double %8
}

LLVM IR (-O2):
@__const.prutenic_orbis_sol.orbis = [181 x double] [double 0.000000e+00, double 0x3F9FDB97530ECA86, double 6.250000e-02, double 0x3FB7F6E5D4C3B2A2, double 0x3FBFEDCBA9876543, double 0x3FC3F258BF258BF2, double 0x3FC7EDCBA9876543, double 0x3FCBE02468ACF135, double 0x3FCFDB97530ECA86, double 0x3FD1E6F8091A2B3D, double 0x3FD3E02468ACF135, double 0x3FD5D4C3B2A1907F, double 0x3FD7C962FC962FCA, double 0x3FD9BE02468ACF13, double 0x3FDBB2A1907F6E5D, double 0x3FDDA2B3C4D5E6F9, double 0x3FDF8E38E38E38E3, double 0x3FE0BCDF01234567, double 0x3FE1B2A1907F6E5D, double 0x3FE2A61D950C83FC, double 0x3FE397530ECA8642, double 0x3FE4888888888889, double 0x3FE5777777777777, double 0x3FE6666666666666, double 0x3FE750C83FB72EA6, double 0x3FE83B2A1907F6E5, double 0x3FE9258BF258BF25, double 0x3FEA0B60B60B60B6, double 0x3FEAF13579BE0246, double 0x3FEBD4C3B2A1907F, double 0x3FECB60B60B60B61, double 0x3FED950C83FB72EB, double 0x3FEE71C71C71C71D, double 0x3FEF4C3B2A1907F6, double 0x3FF0123456789ABD, double 0x3FF07D27D27D27D2, double 0x3FF0E6F8091A2B3C, double 0x3FF14FA4FA4FA4FA, double 0x3FF1B72EA61D950D, double 0x3FF21D950C83FB73, double 0x3FF282D82D82D82E, double 0x3FF2E5D4C3B2A190, double 0x3FF348D159E26AF4, double 0x3FF3A987654320FF, double 0x3FF407F6E5D4C3B3, double 1.275000e+00, double 1.297500e+00, double 0x3FF51D950C83FB73, double 0x3FF5777777777778, double 0x3FF5CF13579BE024, double 0x3FF62468ACF1357A, double 0x3FF679BE02468ACF, double 1.425000e+00, double 0x3FF71D950C83FB73, double 0x3FF76D3A06D3A06D, double 0x3FF7BA9876543210, double 0x3FF806D3A06D3A07, double 0x3FF850C83FB72EA6, double 1.537500e+00, double 0x3FF8E02468ACF136, double 0x3FF9258BF258BF26, double 0x3FF968ACF13579BE, double 0x3FF9A987654320FF, double 0x3FF9E81B4E81B4E8, double 0x3FFA258BF258BF26, double 0x3FFA60B60B60B60B, double 0x3FFA9ABCDF012346, double 0x3FFAD159E26AF37C, double 0x3FFB06D3A06D3A07, double 0x3FFB3A06D3A06D3A, double 0x3FFB6C16C16C16C2, double 0x3FFB9ABCDF012346, double 0x3FFBC83FB72EA61E, double 0x3FFBF37C048D159E, double 0x3FFC1C71C71C71C7, double 0x3FFC4320FEDCBA98, double 0x3FFC6789ABCDF012, double 0x3FFC89ABCDF01234, double 0x3FFCAAAAAAAAAAAA, double 0x3FFCC83FB72EA61E, double 0x3FFCE4B17E4B17E5, double 0x3FFCFDB97530ECA8, double 0x3FFD159E26AF37C0, double 0x3FFD2A1907F6E5D5, double 0x3FFD3D70A3D70A3E, double 0x3FFD4E81B4E81B4E, double 0x3FFD5D4C3B2A1908, double 0x3FFD68ACF13579BE, double 0x3FFD72EA61D950C8, double 0x3FFD7AE147AE147A, double 0x3FFD8091A2B3C4D6, double 0x3FFD82D82D82D82E, double 0x3FFD83FB72EA61D9, double 0x3FFD82D82D82D82E, double 0x3FFD7E4B17E4B17E, double 0x3FFD789ABCDF0123, double 0x3FFD70A3D70A3D70, double 0x3FFD654320FEDCBA, double 0x3FFD58BF258BF258, double 0x3FFD48D159E26AF4, double 0x3FFD37C048D159E2, double 0x3FFD23456789ABCE, double 0x3FFD0C83FB72EA62, double 0x3FFCF49F49F49F4A, double 0x3FFCD950C83FB72E, double 0x3FFCBBBBBBBBBBBC, double 0x3FFC9D0369D0369D, double 0x3FFC7AE147AE147A, double 0x3FFC56789ABCDF01, double 0x3FFC30ECA8641FDC, double 0x3FFC07F6E5D4C3B2, double 0x3FFBDCBA98765432, double 0x3FFBB05B05B05B06, double 0x3FFB8091A2B3C4D6, double 0x3FFB4FA4FA4FA4FA, double 0x3FFB1B4E81B4E81B, double 0x3FFAE5D4C3B2A190, double 0x3FFAACF13579BE02, double 0x3FFA72EA61D950C8, double 0x3FFA369D0369D036, double 0x3FF9F8091A2B3C4E, double 0x3FF9B72EA61D950C, double 0x3FF9740DA740DA74, double 0x3FF92FC962FC9630, double 0x3FF8E81B4E81B4E8, double 0x3FF89F49F49F49F5, double 0x3FF854320FEDCBAA, double 0x3FF806D3A06D3A07, double 1.482500e+00, double 0x3FF76789ABCDF012, double 1.442500e+00, double 0x3FF6BF258BF258BF, double 0x3FF668ACF13579BE, double 0x3FF60FEDCBA98765, double 0x3FF5B60B60B60B61, double 0x3FF559E26AF37C04, double 0x3FF4FB72EA61D951, double 0x3FF49BE02468ACF1, double 0x3FF43A06D3A06D3A, double 1.240000e+00, double 0x3FF371C71C71C71C, double 0x3FF30B60B60B60B6, double 1.165000e+00, double 0x3FF23A06D3A06D3A, double 0x3FF1CF13579BE024, double 0x3FF161D950C83FB7, double 0x3FF0F37C048D159E, double 0x3FF083FB72EA61D9, double 0x3FF013579BE02469, double 0x3FEF4320FEDCBA99, double 0x3FEE5B05B05B05B0, double 9.200000e-01, double 0x3FEC83FB72EA61DA, double 0x3FEB950C83FB72EB, double 8.325000e-01, double 0x3FE9B05B05B05B05, double 0x3FE8BA9876543210, double 0x3FE7C4D5E6F8091B, double 0x3FE6CA8641FDB975, double 0x3FE5CDF012345679, double 0x3FE4D159E26AF37C, double 0x3FE3D27D27D27D27, double 0x3FE2D159E26AF37C, double 0x3FE1CDF012345679, double 0x3FE0CA8641FDB975, double 0x3FDF89ABCDF01234, double 0x3FDD79BE02468ACF, double 0x3FDB69D0369D036A, double 0x3FD9555555555555, double 0x3FD740DA740DA741, double 0x3FD52C5F92C5F92D, double 0x3FD313579BE02469, double 0x3FD0FA4FA4FA4FA5, double 0x3FCDB97530ECA864, double 0x3FC97E4B17E4B17E, double 0x3FC54320FEDCBA99, double 0x3FC107F6E5D4C3B3, double 0x3FB987654320FEDD, double 0x3FB0FEDCBA987654, double 0x3FA1111111111111, double 0.000000e+00]
define double @prutenic_orbis_sol(double %0) {
%2 = alloca [181 x double]
%3 = bitcast [181 x double]* %2 to i8*
%4 = getelementptr inbounds [181 x double], [181 x double]* %2, i64 0, i64 0
%5 = call i32 (i64, double*, double, ...) bitcast (i32 (...)* @interpolate_symmetric_linear to i32 (i64, double*, double, ...)*)(i64 181, double* %4, double %0)
%6 = sitofp i32 %5 to double
ret double %6
}