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