__k_cos
y = __k_cos(pi * (0.5 - y), 0.0);
y = -__k_cos(pi * (y - 1.5), 0.0);
return (__k_cos(y[0], y[1]));
return (-__k_cos(y[0], y[1]));
extern double __k_cos __P((double, double));
return (__k_cos(y[0], y[1]));
return (-__k_cos(y[0], y[1]));