13daee1d6SDavid Schultz /*- 2*4d846d26SWarner Losh * SPDX-License-Identifier: BSD-2-Clause 35e53a4f9SPedro F. Giffuni * 43daee1d6SDavid Schultz * Copyright (c) 2005 Bruce D. Evans and Steven G. Kargl 53daee1d6SDavid Schultz * All rights reserved. 63daee1d6SDavid Schultz * 73daee1d6SDavid Schultz * Redistribution and use in source and binary forms, with or without 83daee1d6SDavid Schultz * modification, are permitted provided that the following conditions 93daee1d6SDavid Schultz * are met: 103daee1d6SDavid Schultz * 1. Redistributions of source code must retain the above copyright 113daee1d6SDavid Schultz * notice unmodified, this list of conditions, and the following 123daee1d6SDavid Schultz * disclaimer. 133daee1d6SDavid Schultz * 2. Redistributions in binary form must reproduce the above copyright 143daee1d6SDavid Schultz * notice, this list of conditions and the following disclaimer in the 153daee1d6SDavid Schultz * documentation and/or other materials provided with the distribution. 163daee1d6SDavid Schultz * 173daee1d6SDavid Schultz * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 183daee1d6SDavid Schultz * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 193daee1d6SDavid Schultz * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 203daee1d6SDavid Schultz * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 213daee1d6SDavid Schultz * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 223daee1d6SDavid Schultz * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 233daee1d6SDavid Schultz * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 243daee1d6SDavid Schultz * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 253daee1d6SDavid Schultz * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 263daee1d6SDavid Schultz * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 273daee1d6SDavid Schultz */ 283daee1d6SDavid Schultz 293daee1d6SDavid Schultz /* 30db7548d0STijl Coosemans * Float version of ccosh(). See s_ccosh.c for details. 313daee1d6SDavid Schultz */ 323daee1d6SDavid Schultz 333daee1d6SDavid Schultz #include <sys/cdefs.h> 343daee1d6SDavid Schultz __FBSDID("$FreeBSD$"); 353daee1d6SDavid Schultz 363daee1d6SDavid Schultz #include <complex.h> 373daee1d6SDavid Schultz #include <math.h> 383daee1d6SDavid Schultz 393daee1d6SDavid Schultz #include "math_private.h" 403daee1d6SDavid Schultz 41c6df46baSDavid Schultz static const float huge = 0x1p127; 42c6df46baSDavid Schultz 433daee1d6SDavid Schultz float complex 443daee1d6SDavid Schultz ccoshf(float complex z) 453daee1d6SDavid Schultz { 46e2157cd0SDimitry Andric float x, y, h; 473daee1d6SDavid Schultz int32_t hx, hy, ix, iy; 483daee1d6SDavid Schultz 493daee1d6SDavid Schultz x = crealf(z); 503daee1d6SDavid Schultz y = cimagf(z); 513daee1d6SDavid Schultz 523daee1d6SDavid Schultz GET_FLOAT_WORD(hx, x); 533daee1d6SDavid Schultz GET_FLOAT_WORD(hy, y); 543daee1d6SDavid Schultz 553daee1d6SDavid Schultz ix = 0x7fffffff & hx; 563daee1d6SDavid Schultz iy = 0x7fffffff & hy; 573daee1d6SDavid Schultz 583daee1d6SDavid Schultz if (ix < 0x7f800000 && iy < 0x7f800000) { 593daee1d6SDavid Schultz if (iy == 0) 602cec876aSEd Schouten return (CMPLXF(coshf(x), x * y)); 61db7548d0STijl Coosemans if (ix < 0x41100000) /* |x| < 9: normal case */ 622cec876aSEd Schouten return (CMPLXF(coshf(x) * cosf(y), sinhf(x) * sinf(y))); 63c6df46baSDavid Schultz 64c6df46baSDavid Schultz /* |x| >= 9, so cosh(x) ~= exp(|x|) */ 65c6df46baSDavid Schultz if (ix < 0x42b17218) { 66c6df46baSDavid Schultz /* x < 88.7: expf(|x|) won't overflow */ 67db7548d0STijl Coosemans h = expf(fabsf(x)) * 0.5F; 682cec876aSEd Schouten return (CMPLXF(h * cosf(y), copysignf(h, x) * sinf(y))); 69c6df46baSDavid Schultz } else if (ix < 0x4340b1e7) { 70c6df46baSDavid Schultz /* x < 192.7: scale to avoid overflow */ 712cec876aSEd Schouten z = __ldexp_cexpf(CMPLXF(fabsf(x), y), -1); 722cec876aSEd Schouten return (CMPLXF(crealf(z), cimagf(z) * copysignf(1, x))); 73c6df46baSDavid Schultz } else { 74c6df46baSDavid Schultz /* x >= 192.7: the result always overflows */ 75c6df46baSDavid Schultz h = huge * x; 762cec876aSEd Schouten return (CMPLXF(h * h * cosf(y), h * sinf(y))); 77c6df46baSDavid Schultz } 783daee1d6SDavid Schultz } 793daee1d6SDavid Schultz 80db7548d0STijl Coosemans if (ix == 0) /* && iy >= 0x7f800000 */ 81db7548d0STijl Coosemans return (CMPLXF(y - y, x * copysignf(0, y))); 823daee1d6SDavid Schultz 83db7548d0STijl Coosemans if (iy == 0) /* && ix >= 0x7f800000 */ 842cec876aSEd Schouten return (CMPLXF(x * x, copysignf(0, x) * y)); 853daee1d6SDavid Schultz 86db7548d0STijl Coosemans if (ix < 0x7f800000) /* && iy >= 0x7f800000 */ 872cec876aSEd Schouten return (CMPLXF(y - y, x * (y - y))); 883daee1d6SDavid Schultz 89db7548d0STijl Coosemans if (ix == 0x7f800000) { 903daee1d6SDavid Schultz if (iy >= 0x7f800000) 91db7548d0STijl Coosemans return (CMPLXF(INFINITY, x * (y - y))); 92db7548d0STijl Coosemans return (CMPLXF(INFINITY * cosf(y), x * sinf(y))); 933daee1d6SDavid Schultz } 943daee1d6SDavid Schultz 956f1b8a07SBruce Evans return (CMPLXF(((long double)x * x) * (y - y), 966f1b8a07SBruce Evans ((long double)x + x) * (y - y))); 973daee1d6SDavid Schultz } 983daee1d6SDavid Schultz 993daee1d6SDavid Schultz float complex 1003daee1d6SDavid Schultz ccosf(float complex z) 1013daee1d6SDavid Schultz { 1023daee1d6SDavid Schultz 1032cec876aSEd Schouten return (ccoshf(CMPLXF(-cimagf(z), crealf(z)))); 1043daee1d6SDavid Schultz } 105