efx
return x + efx*x;
efx = 1.28379167095512573896158903121545167e-01L, /* 0xecbff6a7, 0x481dd788, 0xb64d21a8, 0xeb06fc3f */
RETURNI(x + efx*x);
efx = 1.28379167095512586316e-01, /* 0x3FC06EBA, 0x8214DB69 */
return x + efx*x;
efx = 1.28379166e-01, /* 0x3e0375d4 */
return x + efx*x;