n_tanh.c revision 1.4 1 1.4 simonb /* $NetBSD: n_tanh.c,v 1.4 1999/07/02 15:37:37 simonb Exp $ */
2 1.1 ragge /*
3 1.1 ragge * Copyright (c) 1985, 1993
4 1.1 ragge * The Regents of the University of California. All rights reserved.
5 1.1 ragge *
6 1.1 ragge * Redistribution and use in source and binary forms, with or without
7 1.1 ragge * modification, are permitted provided that the following conditions
8 1.1 ragge * are met:
9 1.1 ragge * 1. Redistributions of source code must retain the above copyright
10 1.1 ragge * notice, this list of conditions and the following disclaimer.
11 1.1 ragge * 2. Redistributions in binary form must reproduce the above copyright
12 1.1 ragge * notice, this list of conditions and the following disclaimer in the
13 1.1 ragge * documentation and/or other materials provided with the distribution.
14 1.1 ragge * 3. All advertising materials mentioning features or use of this software
15 1.1 ragge * must display the following acknowledgement:
16 1.1 ragge * This product includes software developed by the University of
17 1.1 ragge * California, Berkeley and its contributors.
18 1.1 ragge * 4. Neither the name of the University nor the names of its contributors
19 1.1 ragge * may be used to endorse or promote products derived from this software
20 1.1 ragge * without specific prior written permission.
21 1.1 ragge *
22 1.1 ragge * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23 1.1 ragge * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 1.1 ragge * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 1.1 ragge * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26 1.1 ragge * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27 1.1 ragge * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28 1.1 ragge * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 1.1 ragge * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 1.1 ragge * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31 1.1 ragge * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32 1.1 ragge * SUCH DAMAGE.
33 1.1 ragge */
34 1.1 ragge
35 1.1 ragge #ifndef lint
36 1.2 ragge #if 0
37 1.1 ragge static char sccsid[] = "@(#)tanh.c 8.1 (Berkeley) 6/4/93";
38 1.2 ragge #endif
39 1.1 ragge #endif /* not lint */
40 1.1 ragge
41 1.1 ragge /* TANH(X)
42 1.1 ragge * RETURN THE HYPERBOLIC TANGENT OF X
43 1.1 ragge * DOUBLE PRECISION (VAX D FORMAT 56 BITS, IEEE DOUBLE 53 BITS)
44 1.4 simonb * CODED IN C BY K.C. NG, 1/8/85;
45 1.1 ragge * REVISED BY K.C. NG on 2/8/85, 2/11/85, 3/7/85, 3/24/85.
46 1.1 ragge *
47 1.1 ragge * Required system supported functions :
48 1.1 ragge * copysign(x,y)
49 1.1 ragge * finite(x)
50 1.1 ragge *
51 1.1 ragge * Required kernel function:
52 1.1 ragge * expm1(x) ...exp(x)-1
53 1.1 ragge *
54 1.1 ragge * Method :
55 1.1 ragge * 1. reduce x to non-negative by tanh(-x) = - tanh(x).
56 1.1 ragge * 2.
57 1.1 ragge * 0 < x <= 1.e-10 : tanh(x) := x
58 1.1 ragge * -expm1(-2x)
59 1.1 ragge * 1.e-10 < x <= 1 : tanh(x) := --------------
60 1.1 ragge * expm1(-2x) + 2
61 1.1 ragge * 2
62 1.1 ragge * 1 <= x <= 22.0 : tanh(x) := 1 - ---------------
63 1.1 ragge * expm1(2x) + 2
64 1.1 ragge * 22.0 < x <= INF : tanh(x) := 1.
65 1.1 ragge *
66 1.1 ragge * Note: 22 was chosen so that fl(1.0+2/(expm1(2*22)+2)) == 1.
67 1.1 ragge *
68 1.1 ragge * Special cases:
69 1.1 ragge * tanh(NaN) is NaN;
70 1.1 ragge * only tanh(0)=0 is exact for finite argument.
71 1.1 ragge *
72 1.1 ragge * Accuracy:
73 1.1 ragge * tanh(x) returns the exact hyperbolic tangent of x nealy rounded.
74 1.1 ragge * In a test run with 1,024,000 random arguments on a VAX, the maximum
75 1.1 ragge * observed error was 2.22 ulps (units in the last place).
76 1.1 ragge */
77 1.1 ragge
78 1.2 ragge #include "mathimpl.h"
79 1.2 ragge
80 1.1 ragge double tanh(x)
81 1.1 ragge double x;
82 1.1 ragge {
83 1.1 ragge static double one=1.0, two=2.0, small = 1.0e-10, big = 1.0e10;
84 1.2 ragge double t, sign;
85 1.1 ragge
86 1.3 matt #if !defined(__vax__)&&!defined(tahoe)
87 1.1 ragge if(x!=x) return(x); /* x is NaN */
88 1.3 matt #endif /* !defined(__vax__)&&!defined(tahoe) */
89 1.1 ragge
90 1.1 ragge sign=copysign(one,x);
91 1.1 ragge x=copysign(x,one);
92 1.4 simonb if(x < 22.0)
93 1.1 ragge if( x > one )
94 1.1 ragge return(copysign(one-two/(expm1(x+x)+two),sign));
95 1.1 ragge else if ( x > small )
96 1.1 ragge {t= -expm1(-(x+x)); return(copysign(t/(two-t),sign));}
97 1.1 ragge else /* raise the INEXACT flag for non-zero x */
98 1.2 ragge { t = big+x; return(copysign(x,sign));} /* ??? -ragge */
99 1.1 ragge else if(finite(x))
100 1.1 ragge return (sign+1.0E-37); /* raise the INEXACT flag */
101 1.1 ragge else
102 1.1 ragge return(sign); /* x is +- INF */
103 1.1 ragge }
104