exp__E.c
上传用户:nvosite88
上传日期:2007-01-17
资源大小:4983k
文件大小:5k
源码类别:

VxWorks

开发平台:

C/C++

  1. /* exp__E.c - math routines */
  2. /* Copyright 1992 Wind River Systems, Inc. */
  3. /*
  4. modification history
  5. --------------------
  6. 01b,20sep92,smb  documentation additions.
  7. 01a,08jul92,smb  documentation.
  8. */
  9. /*
  10. DESCRIPTION
  11. * Copyright (c) 1985 Regents of the University of California.
  12. * All rights reserved.
  13. *
  14. * Redistribution and use in source and binary forms are permitted
  15. * provided that the above copyright notice and this paragraph are
  16. * duplicated in all such forms and that any documentation,
  17. * advertising materials, and other materials related to such
  18. * distribution and use acknowledge that the software was developed
  19. * by the University of California, Berkeley.  The name of the
  20. * University may not be used to endorse or promote products derived
  21. * from this software without specific prior written permission.
  22. * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
  23. * IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
  24. * WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
  25. *
  26. * All recipients should regard themselves as participants in an ongoing
  27. * research project and hence should feel obligated to report their
  28. * experiences (good or bad) with these elementary function codes, using
  29. * the sendbug(8) program, to the authors.
  30. *
  31. SEE ALSO: American National Standard X3.159-1989
  32. NOMANUAL
  33. */
  34. #include "vxWorks.h"
  35. #include "math.h"
  36. #if defined(vax)||defined(tahoe) /* VAX D format */
  37. #ifdef vax
  38. #define _0x(A,B) 0x/**/A/**/B
  39. #else /* vax */
  40. #define _0x(A,B) 0x/**/B/**/A
  41. #endif /* vax */
  42. /* static double */
  43. /* p1     =  1.5150724356786683059E-2    , Hex  2^ -6   *  .F83ABE67E1066A */
  44. /* p2     =  6.3112487873718332688E-5    , Hex  2^-13   *  .845B4248CD0173 */
  45. /* q1     =  1.1363478204690669916E-1    , Hex  2^ -3   *  .E8B95A44A2EC45 */
  46. /* q2     =  1.2624568129896839182E-3    , Hex  2^ -9   *  .A5790572E4F5E7 */
  47. /* q3     =  1.5021856115869022674E-6    ; Hex  2^-19   *  .C99EB4604AC395 */
  48. static long        p1x[] = { _0x(3abe,3d78), _0x(066a,67e1)};
  49. static long        p2x[] = { _0x(5b42,3984), _0x(0173,48cd)};
  50. static long        q1x[] = { _0x(b95a,3ee8), _0x(ec45,44a2)};
  51. static long        q2x[] = { _0x(7905,3ba5), _0x(f5e7,72e4)};
  52. static long        q3x[] = { _0x(9eb4,36c9), _0x(c395,604a)};
  53. #define       p1    (*(double*)p1x)
  54. #define       p2    (*(double*)p2x)
  55. #define       q1    (*(double*)q1x)
  56. #define       q2    (*(double*)q2x)
  57. #define       q3    (*(double*)q3x)
  58. #else /* defined(vax)||defined(tahoe) */
  59. static double
  60. p1     =  1.3887401997267371720E-2    , /*Hex  2^ -7   *  1.C70FF8B3CC2CF */
  61. p2     =  3.3044019718331897649E-5    , /*Hex  2^-15   *  1.15317DF4526C4 */
  62. q1     =  1.1110813732786649355E-1    , /*Hex  2^ -4   *  1.C719538248597 */
  63. q2     =  9.9176615021572857300E-4    ; /*Hex  2^-10   *  1.03FC4CB8C98E8 */
  64. #endif /* defined(vax)||defined(tahoe) */
  65. /*******************************************************************************
  66. *
  67. * exp_E - 
  68. *
  69. * exp__E(x,c)
  70. * ASSUMPTION: c << x  SO THAT  fl(x+c)=x.
  71. * (c is the correction term for x)
  72. * exp__E RETURNS
  73. *
  74. *  /  exp(x+c) - 1 - x ,  1E-19 < |x| < .3465736
  75. *       exp__E(x,c) =  |
  76. *    0 ,  |x| < 1E-19.
  77. *
  78. * DOUBLE PRECISION (IEEE 53 bits, VAX D FORMAT 56 BITS)
  79. * KERNEL FUNCTION OF EXP, EXPM1, POW FUNCTIONS
  80. * CODED IN C BY K.C. NG, 1/31/85;
  81. * REVISED BY K.C. NG on 3/16/85, 4/16/85.
  82. *
  83. * Required system supported function:
  84. * copysign(x,y)
  85. *
  86. * Method:
  87. * 1. Rational approximation. Let r=x+c.
  88. *    Based on
  89. *                                   2 * sinh(r/2)
  90. *                exp(r) - 1 =   ----------------------   ,
  91. *                               cosh(r/2) - sinh(r/2)
  92. *    exp__E(r) is computed using
  93. *                   x*x            (x/2)*W - ( Q - ( 2*P  + x*P ) )
  94. *                   --- + (c + x*[---------------------------------- + c ])
  95. *                    2                          1 - W
  96. *     where  P := p1*x^2 + p2*x^4,
  97. *           Q := q1*x^2 + q2*x^4 (for 56 bits precision, add q3*x^6)
  98. *           W := x/2-(Q-x*P),
  99. *
  100. *    (See the listing below for the values of p1,p2,q1,q2,q3. The poly-
  101. *     nomials P and Q may be regarded as the approximations to sinh
  102. *     and cosh :
  103. * sinh(r/2) =  r/2 + r * P  ,  cosh(r/2) =  1 + Q . )
  104. *
  105. *         The coefficients were obtained by a special Remez algorithm.
  106. *
  107. * Approximation error:
  108. *
  109. *   | exp(x) - 1    |        2**(-57),  (IEEE double)
  110. *   | ------------  -  (exp__E(x,0)+x)/x  |  <=
  111. *   |      x            |     2**(-69).  (VAX D)
  112. *
  113. * Constants:
  114. * The hexadecimal values are the intended ones for the following constants.
  115. * The decimal values may be used, provided that the compiler will convert
  116. * from decimal to binary accurately enough to produce the hexadecimal values
  117. * shown.
  118. NOMANUAL
  119. */
  120. double exp__E(x,c)
  121. double x,c;
  122. {
  123. static double zero=0.0, one=1.0, half=1.0/2.0, small=1.0E-19;
  124. double copysign(),z,p,q,xp,xh,w;
  125. if(copysign(x,one)>small) {
  126.            z = x*x  ;
  127.    p = z*( p1 +z* p2 );
  128. #if defined(vax)||defined(tahoe)
  129.            q = z*( q1 +z*( q2 +z* q3 ));
  130. #else /* defined(vax)||defined(tahoe) */
  131.            q = z*( q1 +z*  q2 );
  132. #endif /* defined(vax)||defined(tahoe) */
  133.            xp= x*p     ;
  134.    xh= x*half  ;
  135.            w = xh-(q-xp)  ;
  136.    p = p+p;
  137.    c += x*((xh*w-(q-(p+xp)))/(one-w)+c);
  138.    return(z*half+c);
  139. }
  140. /* end of |x| > small */
  141. else {
  142.     if(x!=zero) one+small; /* raise the inexact flag */
  143.     return(copysign(zero,x));
  144. }
  145. }