__ieee754_acos
extern double __ieee754_acos __P((double));
return __ieee754_acos(x);
z = __ieee754_acos(x);