#ifndef SPROUT_MATH_ASIN_HPP #define SPROUT_MATH_ASIN_HPP #include #include #include #include #include #include #include #include #include #include namespace sprout { namespace math { namespace detail { template inline SPROUT_CONSTEXPR T asin_impl_1(T x, std::size_t n, std::size_t last) { return last - n == 1 ? sprout::math::factorial(2 * n) / sprout::detail::pow_n(T(4), n) / sprout::detail::pow2(sprout::math::factorial(n)) / (2 * n + 1) * sprout::detail::pow_n(x, 2 * n + 1) : sprout::math::detail::asin_impl_1(x, n, n + (last - n) / 2) + sprout::math::detail::asin_impl_1(x, n + (last - n) / 2, last) ; } template inline SPROUT_CONSTEXPR T asin_impl(T x) { return x > sprout::math::half_root_two() ? sprout::math::half_pi() - sprout::math::detail::asin_impl_1(sprout::math::sqrt(1 - x * x), 0, sprout::math::factorial_limit() / 2 + 1) : x + sprout::math::detail::asin_impl_1(x, 1, sprout::math::factorial_limit() / 2 + 1) ; } template< typename FloatType, typename sprout::enabler_if::value>::type = sprout::enabler > inline SPROUT_CONSTEXPR FloatType asin(FloatType x) { typedef double type; return x > 1 || x < -1 ? std::numeric_limits::quiet_NaN() : x < 0 ? -static_cast(sprout::math::detail::asin_impl(static_cast(-x))) : static_cast(sprout::math::detail::asin_impl(static_cast(x))) ; } template< typename IntType, typename sprout::enabler_if::value>::type = sprout::enabler > inline SPROUT_CONSTEXPR double asin(IntType x) { return sprout::math::detail::asin(static_cast(x)); } } // namespace detail using NS_SPROUT_MATH_DETAIL::asin; } // namespace math using sprout::math::asin; } // namespace sprout #endif // #ifndef SPROUT_MATH_ASIN_HPP