math/s_ctanhl.c

   1 /* Complex hyperbole tangent for long double.
   2    Copyright (C) 1997-2015 Free Software Foundation, Inc.
   3    This file is part of the GNU C Library.
   4    Contributed by Ulrich Drepper <drepper@cygnus.com>, 1997.
   5
   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.
  10
  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.
  15
  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/>.  */
  19
  20 #include <complex.h>
  21 #include <fenv.h>
  22 #include <math.h>
  23 #include <math_private.h>
  24 #include <float.h>
  25
  26 /* To avoid spurious underflows, use this definition to treat IBM long
  27    double as approximating an IEEE-style format.  */
  28 #if LDBL_MANT_DIG == 106
  29 # undef LDBL_EPSILON
  30 # define LDBL_EPSILON 0x1p-106L
  31 #endif
  32
  33 __complex__ long double
  34 __ctanhl (__complex__ long double x)
  35 {
  36   __complex__ long double res;
  37
  38   if (__glibc_unlikely (!isfinite (__real__ x) || !isfinite (__imag__ x)))
  39     {
  40       if (__isinf_nsl (__real__ x))
  41         {
  42           __real__ res = __copysignl (1.0, __real__ x);
  43           __imag__ res = __copysignl (0.0, __imag__ x);
  44         }
  45       else if (__imag__ x == 0.0)
  46         {
  47           res = x;
  48         }
  49       else
  50         {
  51           __real__ res = __nanl ("");
  52           __imag__ res = __nanl ("");
  53
  54           if (__isinf_nsl (__imag__ x))
  55             feraiseexcept (FE_INVALID);
  56         }
  57     }
  58   else
  59     {
  60       long double sinix, cosix;
  61       long double den;
  62       const int t = (int) ((LDBL_MAX_EXP - 1) * M_LN2l / 2);
  63       int icls = fpclassify (__imag__ x);
  64
  65       /* tanh(x+iy) = (sinh(2x) + i*sin(2y))/(cosh(2x) + cos(2y))
  66          = (sinh(x)*cosh(x) + i*sin(y)*cos(y))/(sinh(x)^2 + cos(y)^2).  */
  67
  68       if (__glibc_likely (icls != FP_SUBNORMAL))
  69         {
  70           __sincosl (__imag__ x, &sinix, &cosix);
  71         }
  72       else
  73         {
  74           sinix = __imag__ x;
  75           cosix = 1.0;
  76         }
  77
  78       if (fabsl (__real__ x) > t)
  79         {
  80           /* Avoid intermediate overflow when the imaginary part of
  81              the result may be subnormal.  Ignoring negligible terms,
  82              the real part is +/- 1, the imaginary part is
  83              sin(y)*cos(y)/sinh(x)^2 = 4*sin(y)*cos(y)/exp(2x).  */
  84           long double exp_2t = __ieee754_expl (2 * t);
  85
  86           __real__ res = __copysignl (1.0, __real__ x);
  87           __imag__ res = 4 * sinix * cosix;
  88           __real__ x = fabsl (__real__ x);
  89           __real__ x -= t;
  90           __imag__ res /= exp_2t;
  91           if (__real__ x > t)
  92             {
  93               /* Underflow (original real part of x has absolute value
  94                  > 2t).  */
  95               __imag__ res /= exp_2t;
  96             }
  97           else
  98             __imag__ res /= __ieee754_expl (2 * __real__ x);
  99         }
 100       else
 101         {
 102           long double sinhrx, coshrx;
 103           if (fabsl (__real__ x) > LDBL_MIN)
 104             {
 105               sinhrx = __ieee754_sinhl (__real__ x);
 106               coshrx = __ieee754_coshl (__real__ x);
 107             }
 108           else
 109             {
 110               sinhrx = __real__ x;
 111               coshrx = 1.0L;
 112             }
 113
 114           if (fabsl (sinhrx) > fabsl (cosix) * LDBL_EPSILON)
 115             den = sinhrx * sinhrx + cosix * cosix;
 116           else
 117             den = cosix * cosix;
 118           __real__ res = sinhrx * coshrx / den;
 119           __imag__ res = sinix * cosix / den;
 120         }
 121     }
 122
 123   return res;
 124 }
 125 weak_alias (__ctanhl, ctanhl)