-From Prof. Kahan at UC at Berkeley
/*
* Copyright (c) 1985 Regents of the University of California.
*
*/
#ifndef lint
-static char sccsid[] = "@(#)acosh.c 1.2 (Berkeley) %G%";
+static char sccsid[] = "@(#)acosh.c 1.2 (Berkeley) 8/21/85";
#endif not lint
/* ACOSH(X)