17c17
< static char rcsid[] = "$Id$";
---
> static char rcsid[] = "$Id: e_acoshf.c,v 1.4 1997/02/22 15:09:56 peter Exp $";
52c52
< return __ieee754_logf((float)2.0*x-one/(x+sqrtf(t-one)));
---
> return __ieee754_logf((float)2.0*x-one/(x+__ieee754_sqrtf(t-one)));
55c55
< return log1pf(t+sqrtf((float)2.0*t+t*t));
---
> return log1pf(t+__ieee754_sqrtf((float)2.0*t+t*t));