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


x86 assembly (clang, -O0):
<prutenic_centri_sol>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
mov    $0xb5,%edi
lea    0x2f02(%rip),%rsi
mov    $0x1,%al
call   1030 <interpolate_symmetric_linear@plt>
cvtsi2sd %eax,%xmm0
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<prutenic_centri_sol>:
push   %rax
lea    0x2f18(%rip),%rsi
mov    $0xb5,%edi
mov    $0x1,%al
call   1030 <interpolate_symmetric_linear@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
pop    %rax
ret

LLVM IR (-O0):
@prutenic_centri_sol.centri = internal global [181 x double] [double 0.000000e+00, double 0x3FBD27D27D27D27D, double 0x3FCD30ECA8641FDC, double 0x3FD5E26AF37C048D, double 0x3FDD2C5F92C5F92D, double 0x3FE238E38E38E38E, double 0x3FE5DDDDDDDDDDDE, double 0x3FE97E4B17E4B17E, double 9.100000e-01, double 0x3FF05E6F8091A2B4, double 0x3FF22D82D82D82D8, double 0x3FF3FB72EA61D951, double 0x3FF5C83FB72EA61E, double 0x3FF792C5F92C5F93, double 0x3FF95D4C3B2A1908, double 0x3FFB26AF37C048D2, double 0x3FFCEDCBA9876543, double 0x3FFEB2A1907F6E5E, double 0x40003BBBBBBBBBBC, double 0x40011D0369D0369D, double 0x4001FD27D27D27D2, double 2.357500e+00, double 0x4003BA9876543210, double 0x400497E4B17E4B18, double 0x4005737C048D159E, double 0x40064E81B4E81B4E, double 0x400728641FDB9753, double 0x40080091A2B3C4D6, double 0x4008D79BE02468AD, double 0x4009ACF13579BE02, double 0x400A8123456789AC, double 0x400B54320FEDCBAA, double 0x400C258BF258BF26, double 0x400CF530ECA86420, double 0x400DC320FEDCBA98, double 0x400E8F5C28F5C290, double 0x400F59E26AF37C04, double 0x40101159E26AF37C, double 0x401074E81B4E81B5, double 0x4010D79BE02468AD, double 0x4011392C5F92C5F9, double 0x401199E26AF37C05, double 0x4011F97530ECA864, double 0x4012582D82D82D83, double 4.677500e+00, double 0x4013123456789ABD, double 0x40136D82D82D82D8, double 4.945000e+00, double 0x401420B60B60B60B, double 0x4014789ABCDF0123, double 0x4014CF13579BE024, double 0x40152468ACF1357A, double 0x4015789ABCDF0123, double 0x4015CB60B60B60B6, double 0x40161D0369D0369D, double 0x40166D3A06D3A06D, double 0x4016BC048D159E27, double 0x40170962FC962FC9, double 0x4017555555555555, double 0x40179FDB97530ECA, double 5.977500e+00, double 6.047500e+00, double 0x4018769D0369D037, double 0x4018BB2A1907F6E6, double 0x4018FE02468ACF13, double 0x40193F6E5D4C3B2A, double 0x40197F258BF258BF, double 0x4019BD27D27D27D2, double 0x4019F9BE02468ACF, double 0x401A3456789ABCDF, double 0x401A6D82D82D82D8, double 0x401AA4B17E4B17E5, double 0x401ADA2B3C4D5E70, double 0x401B0DF012345679, double 0x401B3FB72EA61D95, double 0x401B6FC962FC9630, double 0x401B9E26AF37C049, double 0x401BCA8641FDB975, double 0x401BF4E81B4E81B5, double 0x401C1D4C3B2A1908, double 0x401C43FB72EA61D9, double 0x401C68641FDB9753, double 0x401C8B17E4B17E4B, double 7.167500e+00, double 0x401CC9F49F49F49F, double 7.225000e+00, double 0x401D0091A2B3C4D6, double 0x401D1907F6E5D4C4, double 0x401D2EEEEEEEEEEF, double 0x401D42D82D82D82E, double 0x401D54C3B2A1907F, double 0x401D6468ACF1357A, double 0x401D71C71C71C71C, double 0x401D7CDF01234568, double 0x401D85B05B05B05B, double 0x401D8C3B2A1907F7, double 0x401D90C83FB72EA6, double 0x401D92C5F92C5F93, double 0x401D927D27D27D28, double 0x401D8FEDCBA98765, double 0x401D8B17E4B17E4B, double 0x401D83B2A1907F6E, double 0x401D7A4FA4FA4FA5, double 7.357500e+00, double 0x401D5F92C5F92C60, double 0x401D4ECA8641FDB9, double 0x401D3B72EA61D951, double 0x401D25D4C3B2A190, double 0x401D0DA740DA740E, double 7.237500e+00, double 0x401CD62FC962FC96, double 0x401CB69D0369D037, double 0x401C947AE147AE14, double 0x401C70123456789B, double 0x401C491A2B3C4D5E, double 0x401C1FDB97530ECB, double 0x401BF3C4D5E6F809, double 0x401BC56789ABCDF0, double 0x401B947AE147AE14, double 6.845000e+00, double 0x401B2B3C4D5E6F80, double 0x401AF2EA61D950C8, double 0x401AB8091A2B3C4D, double 6.620000e+00, double 0x401A3B2A1907F6E6, double 0x4019F8E38E38E38E, double 0x4019B40DA740DA74, double 0x40196CF13579BE02, double 0x4019238E38E38E39, double 0x4018D79BE02468AD, double 0x4018891A2B3C4D5E, double 6.055000e+00, double 0x4017E54320FEDCBA, double 0x40178FA4FA4FA4FA, double 0x401737C048D159E2, double 0x4016DD950C83FB73, double 0x40168123456789AC, double 0x4016226AF37C048D, double 0x4015C16C16C16C17, double 0x40155E26AF37C049, double 0x4014F89ABCDF0123, double 0x4014911111111111, double 0x40142789ABCDF012, double 0x4013BBBBBBBBBBBC, double 0x40134DA740DA740E, double 0x4012DDDDDDDDDDDE, double 0x40126BCDF0123456, double 0x4011F8091A2B3C4D, double 0x401182468ACF1358, double 0x40110A8641FDB975, double 0x4010911111111111, double 0x4010159E26AF37C0, double 0x400F317E4B17E4B2, double 0x400E33C4D5E6F809, double 3.650000e+00, double 0x400C2F37C048D15A, double 0x400B27D27D27D27D, double 0x400A1D950C83FB73, double 0x4009107F6E5D4C3B, double 0x40080091A2B3C4D6, double 0x4006EE5D4C3B2A19, double 0x4005D8BF258BF259, double 0x4004C16C16C16C17, double 0x4003A740DA740DA7, double 0x40028ACF13579BE0, double 0x40016CA8641FDB97, double 0x40004C3B2A1907F7, double 0x3FFE54320FEDCBAA, double 0x3FFC0C83FB72EA62, double 0x3FF9C16C16C16C17, double 0x3FF7740DA740DA74, double 0x3FF523456789ABCE, double 0x3FF2D0369D0369D0, double 1.030000e+00, double 0x3FEC468ACF13579C, double 0x3FE7950C83FB72EB, double 5.900000e-01, double 0x3FDC56789ABCDF01, double 0x3FD2E5D4C3B2A190, double 0x3FC2EA61D950C840, double 0.000000e+00]
define double @prutenic_centri_sol(double %0) {
%2 = alloca double
store double %0, double* %2
%3 = load double, double* %2
%4 = call i32 (i64, double*, double, ...) bitcast (i32 (...)* @interpolate_symmetric_linear to i32 (i64, double*, double, ...)*)(i64 181, double* getelementptr inbounds ([181 x double], [181 x double]* @prutenic_centri_sol.centri, i64 0, i64 0), double %3)
%5 = sitofp i32 %4 to double
ret double %5
}

LLVM IR (-O2):
@prutenic_centri_sol.centri = internal global [181 x double] [double 0.000000e+00, double 0x3FBD27D27D27D27D, double 0x3FCD30ECA8641FDC, double 0x3FD5E26AF37C048D, double 0x3FDD2C5F92C5F92D, double 0x3FE238E38E38E38E, double 0x3FE5DDDDDDDDDDDE, double 0x3FE97E4B17E4B17E, double 9.100000e-01, double 0x3FF05E6F8091A2B4, double 0x3FF22D82D82D82D8, double 0x3FF3FB72EA61D951, double 0x3FF5C83FB72EA61E, double 0x3FF792C5F92C5F93, double 0x3FF95D4C3B2A1908, double 0x3FFB26AF37C048D2, double 0x3FFCEDCBA9876543, double 0x3FFEB2A1907F6E5E, double 0x40003BBBBBBBBBBC, double 0x40011D0369D0369D, double 0x4001FD27D27D27D2, double 2.357500e+00, double 0x4003BA9876543210, double 0x400497E4B17E4B18, double 0x4005737C048D159E, double 0x40064E81B4E81B4E, double 0x400728641FDB9753, double 0x40080091A2B3C4D6, double 0x4008D79BE02468AD, double 0x4009ACF13579BE02, double 0x400A8123456789AC, double 0x400B54320FEDCBAA, double 0x400C258BF258BF26, double 0x400CF530ECA86420, double 0x400DC320FEDCBA98, double 0x400E8F5C28F5C290, double 0x400F59E26AF37C04, double 0x40101159E26AF37C, double 0x401074E81B4E81B5, double 0x4010D79BE02468AD, double 0x4011392C5F92C5F9, double 0x401199E26AF37C05, double 0x4011F97530ECA864, double 0x4012582D82D82D83, double 4.677500e+00, double 0x4013123456789ABD, double 0x40136D82D82D82D8, double 4.945000e+00, double 0x401420B60B60B60B, double 0x4014789ABCDF0123, double 0x4014CF13579BE024, double 0x40152468ACF1357A, double 0x4015789ABCDF0123, double 0x4015CB60B60B60B6, double 0x40161D0369D0369D, double 0x40166D3A06D3A06D, double 0x4016BC048D159E27, double 0x40170962FC962FC9, double 0x4017555555555555, double 0x40179FDB97530ECA, double 5.977500e+00, double 6.047500e+00, double 0x4018769D0369D037, double 0x4018BB2A1907F6E6, double 0x4018FE02468ACF13, double 0x40193F6E5D4C3B2A, double 0x40197F258BF258BF, double 0x4019BD27D27D27D2, double 0x4019F9BE02468ACF, double 0x401A3456789ABCDF, double 0x401A6D82D82D82D8, double 0x401AA4B17E4B17E5, double 0x401ADA2B3C4D5E70, double 0x401B0DF012345679, double 0x401B3FB72EA61D95, double 0x401B6FC962FC9630, double 0x401B9E26AF37C049, double 0x401BCA8641FDB975, double 0x401BF4E81B4E81B5, double 0x401C1D4C3B2A1908, double 0x401C43FB72EA61D9, double 0x401C68641FDB9753, double 0x401C8B17E4B17E4B, double 7.167500e+00, double 0x401CC9F49F49F49F, double 7.225000e+00, double 0x401D0091A2B3C4D6, double 0x401D1907F6E5D4C4, double 0x401D2EEEEEEEEEEF, double 0x401D42D82D82D82E, double 0x401D54C3B2A1907F, double 0x401D6468ACF1357A, double 0x401D71C71C71C71C, double 0x401D7CDF01234568, double 0x401D85B05B05B05B, double 0x401D8C3B2A1907F7, double 0x401D90C83FB72EA6, double 0x401D92C5F92C5F93, double 0x401D927D27D27D28, double 0x401D8FEDCBA98765, double 0x401D8B17E4B17E4B, double 0x401D83B2A1907F6E, double 0x401D7A4FA4FA4FA5, double 7.357500e+00, double 0x401D5F92C5F92C60, double 0x401D4ECA8641FDB9, double 0x401D3B72EA61D951, double 0x401D25D4C3B2A190, double 0x401D0DA740DA740E, double 7.237500e+00, double 0x401CD62FC962FC96, double 0x401CB69D0369D037, double 0x401C947AE147AE14, double 0x401C70123456789B, double 0x401C491A2B3C4D5E, double 0x401C1FDB97530ECB, double 0x401BF3C4D5E6F809, double 0x401BC56789ABCDF0, double 0x401B947AE147AE14, double 6.845000e+00, double 0x401B2B3C4D5E6F80, double 0x401AF2EA61D950C8, double 0x401AB8091A2B3C4D, double 6.620000e+00, double 0x401A3B2A1907F6E6, double 0x4019F8E38E38E38E, double 0x4019B40DA740DA74, double 0x40196CF13579BE02, double 0x4019238E38E38E39, double 0x4018D79BE02468AD, double 0x4018891A2B3C4D5E, double 6.055000e+00, double 0x4017E54320FEDCBA, double 0x40178FA4FA4FA4FA, double 0x401737C048D159E2, double 0x4016DD950C83FB73, double 0x40168123456789AC, double 0x4016226AF37C048D, double 0x4015C16C16C16C17, double 0x40155E26AF37C049, double 0x4014F89ABCDF0123, double 0x4014911111111111, double 0x40142789ABCDF012, double 0x4013BBBBBBBBBBBC, double 0x40134DA740DA740E, double 0x4012DDDDDDDDDDDE, double 0x40126BCDF0123456, double 0x4011F8091A2B3C4D, double 0x401182468ACF1358, double 0x40110A8641FDB975, double 0x4010911111111111, double 0x4010159E26AF37C0, double 0x400F317E4B17E4B2, double 0x400E33C4D5E6F809, double 3.650000e+00, double 0x400C2F37C048D15A, double 0x400B27D27D27D27D, double 0x400A1D950C83FB73, double 0x4009107F6E5D4C3B, double 0x40080091A2B3C4D6, double 0x4006EE5D4C3B2A19, double 0x4005D8BF258BF259, double 0x4004C16C16C16C17, double 0x4003A740DA740DA7, double 0x40028ACF13579BE0, double 0x40016CA8641FDB97, double 0x40004C3B2A1907F7, double 0x3FFE54320FEDCBAA, double 0x3FFC0C83FB72EA62, double 0x3FF9C16C16C16C17, double 0x3FF7740DA740DA74, double 0x3FF523456789ABCE, double 0x3FF2D0369D0369D0, double 1.030000e+00, double 0x3FEC468ACF13579C, double 0x3FE7950C83FB72EB, double 5.900000e-01, double 0x3FDC56789ABCDF01, double 0x3FD2E5D4C3B2A190, double 0x3FC2EA61D950C840, double 0.000000e+00]
define double @prutenic_centri_sol(double %0) {
%2 = tail call i32 (i64, double*, double, ...) bitcast (i32 (...)* @interpolate_symmetric_linear to i32 (i64, double*, double, ...)*)(i64 181, double* getelementptr inbounds ([181 x double], [181 x double]* @prutenic_centri_sol.centri, i64 0, i64 0), double %0)
%3 = sitofp i32 %2 to double
ret double %3
}