asinh.hpp 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113
  1. // boost asinh.hpp header file
  2. // (C) Copyright Eric Ford & Hubert Holin 2001.
  3. // (C) Copyright John Maddock 2008.
  4. // Distributed under the Boost Software License, Version 1.0. (See
  5. // accompanying file LICENSE_1_0.txt or copy at
  6. // http://www.boost.org/LICENSE_1_0.txt)
  7. // See http://www.boost.org for updates, documentation, and revision history.
  8. #ifndef BOOST_ASINH_HPP
  9. #define BOOST_ASINH_HPP
  10. #ifdef _MSC_VER
  11. #pragma once
  12. #endif
  13. #include <boost/config/no_tr1/cmath.hpp>
  14. #include <boost/config.hpp>
  15. #include <boost/math/tools/precision.hpp>
  16. #include <boost/math/special_functions/math_fwd.hpp>
  17. #include <boost/math/special_functions/sqrt1pm1.hpp>
  18. #include <boost/math/special_functions/log1p.hpp>
  19. #include <boost/math/constants/constants.hpp>
  20. #include <boost/math/special_functions/fpclassify.hpp>
  21. // This is the inverse of the hyperbolic sine function.
  22. namespace boost
  23. {
  24. namespace math
  25. {
  26. namespace detail{
  27. template<typename T, class Policy>
  28. inline T asinh_imp(const T x, const Policy& pol)
  29. {
  30. BOOST_MATH_STD_USING
  31. if((boost::math::isnan)(x))
  32. {
  33. return policies::raise_domain_error<T>(
  34. "boost::math::asinh<%1%>(%1%)",
  35. "asinh requires a finite argument, but got x = %1%.", x, pol);
  36. }
  37. if (x >= tools::forth_root_epsilon<T>())
  38. {
  39. if (x > 1 / tools::root_epsilon<T>())
  40. {
  41. // http://functions.wolfram.com/ElementaryFunctions/ArcSinh/06/01/06/01/0001/
  42. // approximation by laurent series in 1/x at 0+ order from -1 to 1
  43. return constants::ln_two<T>() + log(x) + 1/ (4 * x * x);
  44. }
  45. else if(x < 0.5f)
  46. {
  47. // As below, but rearranged to preserve digits:
  48. return boost::math::log1p(x + boost::math::sqrt1pm1(x * x, pol), pol);
  49. }
  50. else
  51. {
  52. // http://functions.wolfram.com/ElementaryFunctions/ArcSinh/02/
  53. return( log( x + sqrt(x*x+1) ) );
  54. }
  55. }
  56. else if (x <= -tools::forth_root_epsilon<T>())
  57. {
  58. return(-asinh(-x, pol));
  59. }
  60. else
  61. {
  62. // http://functions.wolfram.com/ElementaryFunctions/ArcSinh/06/01/03/01/0001/
  63. // approximation by taylor series in x at 0 up to order 2
  64. T result = x;
  65. if (abs(x) >= tools::root_epsilon<T>())
  66. {
  67. T x3 = x*x*x;
  68. // approximation by taylor series in x at 0 up to order 4
  69. result -= x3/static_cast<T>(6);
  70. }
  71. return(result);
  72. }
  73. }
  74. }
  75. template<typename T>
  76. inline typename tools::promote_args<T>::type asinh(T x)
  77. {
  78. return boost::math::asinh(x, policies::policy<>());
  79. }
  80. template<typename T, typename Policy>
  81. inline typename tools::promote_args<T>::type asinh(T x, const Policy&)
  82. {
  83. typedef typename tools::promote_args<T>::type result_type;
  84. typedef typename policies::evaluation<result_type, Policy>::type value_type;
  85. typedef typename policies::normalise<
  86. Policy,
  87. policies::promote_float<false>,
  88. policies::promote_double<false>,
  89. policies::discrete_quantile<>,
  90. policies::assert_undefined<> >::type forwarding_policy;
  91. return policies::checked_narrowing_cast<result_type, forwarding_policy>(
  92. detail::asinh_imp(static_cast<value_type>(x), forwarding_policy()),
  93. "boost::math::asinh<%1%>(%1%)");
  94. }
  95. }
  96. }
  97. #endif /* BOOST_ASINH_HPP */