Remove some redundant computations in s_sin.c
[glibc.git] / math / s_ctanf.c
blobe08571b93f3ed7233cd41f797c8b2fb20e17bb8c
1 /* Complex tangent function for float.
2 Copyright (C) 1997-2013 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4 Contributed by Ulrich Drepper <drepper@cygnus.com>, 1997.
6 The GNU C Library is free software; you can redistribute it and/or
7 modify it under the terms of the GNU Lesser General Public
8 License as published by the Free Software Foundation; either
9 version 2.1 of the License, or (at your option) any later version.
11 The GNU C Library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Lesser General Public License for more details.
16 You should have received a copy of the GNU Lesser General Public
17 License along with the GNU C Library; if not, see
18 <http://www.gnu.org/licenses/>. */
20 #include <complex.h>
21 #include <fenv.h>
22 #include <math.h>
23 #include <math_private.h>
24 #include <float.h>
26 __complex__ float
27 __ctanf (__complex__ float x)
29 __complex__ float res;
31 if (__builtin_expect (!isfinite (__real__ x) || !isfinite (__imag__ x), 0))
33 if (__isinf_nsf (__imag__ x))
35 __real__ res = __copysignf (0.0, __real__ x);
36 __imag__ res = __copysignf (1.0, __imag__ x);
38 else if (__real__ x == 0.0)
40 res = x;
42 else
44 __real__ res = __nanf ("");
45 __imag__ res = __nanf ("");
47 if (__isinf_nsf (__real__ x))
48 feraiseexcept (FE_INVALID);
51 else
53 float sinrx, cosrx;
54 float den;
55 const int t = (int) ((FLT_MAX_EXP - 1) * M_LN2 / 2);
57 /* tan(x+iy) = (sin(2x) + i*sinh(2y))/(cos(2x) + cosh(2y))
58 = (sin(x)*cos(x) + i*sinh(y)*cosh(y)/(cos(x)^2 + sinh(y)^2). */
60 if (__builtin_expect (fpclassify(__real__ x) != FP_SUBNORMAL, 1))
62 __sincosf (__real__ x, &sinrx, &cosrx);
64 else
66 sinrx = __real__ x;
67 cosrx = 1.0f;
70 if (fabsf (__imag__ x) > t)
72 /* Avoid intermediate overflow when the real part of the
73 result may be subnormal. Ignoring negligible terms, the
74 imaginary part is +/- 1, the real part is
75 sin(x)*cos(x)/sinh(y)^2 = 4*sin(x)*cos(x)/exp(2y). */
76 float exp_2t = __ieee754_expf (2 * t);
78 __imag__ res = __copysignf (1.0, __imag__ x);
79 __real__ res = 4 * sinrx * cosrx;
80 __imag__ x = fabsf (__imag__ x);
81 __imag__ x -= t;
82 __real__ res /= exp_2t;
83 if (__imag__ x > t)
85 /* Underflow (original imaginary part of x has absolute
86 value > 2t). */
87 __real__ res /= exp_2t;
89 else
90 __real__ res /= __ieee754_expf (2 * __imag__ x);
92 else
94 float sinhix, coshix;
95 if (fabsf (__imag__ x) > FLT_MIN)
97 sinhix = __ieee754_sinhf (__imag__ x);
98 coshix = __ieee754_coshf (__imag__ x);
100 else
102 sinhix = __imag__ x;
103 coshix = 1.0f;
106 if (fabsf (sinhix) > fabsf (cosrx) * FLT_EPSILON)
107 den = cosrx * cosrx + sinhix * sinhix;
108 else
109 den = cosrx * cosrx;
110 __real__ res = sinrx * cosrx / den;
111 __imag__ res = sinhix * coshix / den;
115 return res;
117 #ifndef __ctanf
118 weak_alias (__ctanf, ctanf)
119 #endif