__ieee754_acosf
extern float __ieee754_acosf __P((float));
return __ieee754_acosf(x);
z = __ieee754_acosf(x);