test_ibeta.hpp 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442
  1. // Copyright John Maddock 2006.
  2. // Copyright Paul A. Bristow 2007, 2009
  3. // Use, modification and distribution are subject to the
  4. // Boost Software License, Version 1.0. (See accompanying file
  5. // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. #include <boost/math/concepts/real_concept.hpp>
  7. #define BOOST_TEST_MAIN
  8. #include <boost/test/unit_test.hpp>
  9. #include <boost/test/tools/floating_point_comparison.hpp>
  10. #include <boost/math/special_functions/math_fwd.hpp>
  11. #include <boost/math/tools/stats.hpp>
  12. #include <boost/math/tools/test.hpp>
  13. #include <boost/math/constants/constants.hpp>
  14. #include <boost/type_traits/is_floating_point.hpp>
  15. #include <boost/array.hpp>
  16. #include "functor.hpp"
  17. #include "handle_test_result.hpp"
  18. #include "table_type.hpp"
  19. #ifndef SC_
  20. #define SC_(x) static_cast<typename table_type<T>::type>(BOOST_JOIN(x, L))
  21. #endif
  22. template <class Real, class T>
  23. void do_test_beta(const T& data, const char* type_name, const char* test_name)
  24. {
  25. typedef Real value_type;
  26. typedef value_type (*pg)(value_type, value_type, value_type);
  27. #ifdef BETA_INC_FUNCTION_TO_TEST
  28. pg funcp = BETA_INC_FUNCTION_TO_TEST;
  29. #elif defined(BOOST_MATH_NO_DEDUCED_FUNCTION_POINTERS)
  30. pg funcp = boost::math::beta<value_type, value_type, value_type>;
  31. #else
  32. pg funcp = boost::math::beta;
  33. #endif
  34. boost::math::tools::test_result<value_type> result;
  35. #if !(defined(ERROR_REPORTING_MODE) && !defined(BETA_INC_FUNCTION_TO_TEST))
  36. std::cout << "Testing " << test_name << " with type " << type_name
  37. << "\n~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n";
  38. //
  39. // test beta against data:
  40. //
  41. result = boost::math::tools::test_hetero<Real>(
  42. data,
  43. bind_func<Real>(funcp, 0, 1, 2),
  44. extract_result<Real>(3));
  45. handle_test_result(result, data[result.worst()], result.worst(), type_name, "beta (incomplete)", test_name);
  46. #endif
  47. #ifdef BETAC_INC_FUNCTION_TO_TEST
  48. funcp = BETAC_INC_FUNCTION_TO_TEST;
  49. #elif defined(BOOST_MATH_NO_DEDUCED_FUNCTION_POINTERS)
  50. funcp = boost::math::betac<value_type, value_type, value_type>;
  51. #else
  52. funcp = boost::math::betac;
  53. #endif
  54. #if !(defined(ERROR_REPORTING_MODE) && !defined(BETAC_INC_FUNCTION_TO_TEST))
  55. result = boost::math::tools::test_hetero<Real>(
  56. data,
  57. bind_func<Real>(funcp, 0, 1, 2),
  58. extract_result<Real>(4));
  59. handle_test_result(result, data[result.worst()], result.worst(), type_name, "betac", test_name);
  60. #endif
  61. #ifdef IBETA_FUNCTION_TO_TEST
  62. funcp = IBETA_FUNCTION_TO_TEST;
  63. #elif defined(BOOST_MATH_NO_DEDUCED_FUNCTION_POINTERS)
  64. funcp = boost::math::ibeta<value_type, value_type, value_type>;
  65. #else
  66. funcp = boost::math::ibeta;
  67. #endif
  68. #if !(defined(ERROR_REPORTING_MODE) && !defined(IBETA_FUNCTION_TO_TEST))
  69. result = boost::math::tools::test_hetero<Real>(
  70. data,
  71. bind_func<Real>(funcp, 0, 1, 2),
  72. extract_result<Real>(5));
  73. handle_test_result(result, data[result.worst()], result.worst(), type_name, "ibeta", test_name);
  74. #endif
  75. #ifdef IBETAC_FUNCTION_TO_TEST
  76. funcp = IBETAC_FUNCTION_TO_TEST;
  77. #elif defined(BOOST_MATH_NO_DEDUCED_FUNCTION_POINTERS)
  78. funcp = boost::math::ibetac<value_type, value_type, value_type>;
  79. #else
  80. funcp = boost::math::ibetac;
  81. #endif
  82. #if !(defined(ERROR_REPORTING_MODE) && !defined(IBETAC_FUNCTION_TO_TEST))
  83. result = boost::math::tools::test_hetero<Real>(
  84. data,
  85. bind_func<Real>(funcp, 0, 1, 2),
  86. extract_result<Real>(6));
  87. handle_test_result(result, data[result.worst()], result.worst(), type_name, "ibetac", test_name);
  88. std::cout << std::endl;
  89. #endif
  90. }
  91. template <class T>
  92. void test_beta(T, const char* name)
  93. {
  94. //
  95. // The actual test data is rather verbose, so it's in a separate file
  96. //
  97. // The contents are as follows, each row of data contains
  98. // five items, input value a, input value b, integration limits x, beta(a, b, x) and ibeta(a, b, x):
  99. //
  100. #if !defined(TEST_DATA) || (TEST_DATA == 1)
  101. # include "ibeta_small_data.ipp"
  102. do_test_beta<T>(ibeta_small_data, name, "Incomplete Beta Function: Small Values");
  103. #endif
  104. #if !defined(TEST_DATA) || (TEST_DATA == 2)
  105. # include "ibeta_data.ipp"
  106. do_test_beta<T>(ibeta_data, name, "Incomplete Beta Function: Medium Values");
  107. #endif
  108. #if !defined(TEST_DATA) || (TEST_DATA == 3)
  109. # include "ibeta_large_data.ipp"
  110. do_test_beta<T>(ibeta_large_data, name, "Incomplete Beta Function: Large and Diverse Values");
  111. #endif
  112. #if !defined(TEST_DATA) || (TEST_DATA == 4)
  113. # include "ibeta_int_data.ipp"
  114. do_test_beta<T>(ibeta_int_data, name, "Incomplete Beta Function: Small Integer Values");
  115. #endif
  116. }
  117. template <class T>
  118. void test_spots(T)
  119. {
  120. //
  121. // basic sanity checks, tolerance is 30 epsilon expressed as a percentage:
  122. // Spot values are from http://functions.wolfram.com/webMathematica/FunctionEvaluation.jsp?name=BetaRegularized
  123. // using precision of 50 decimal digits.
  124. T tolerance = boost::math::tools::epsilon<T>() * 3000;
  125. BOOST_CHECK_CLOSE(
  126. ::boost::math::ibeta(
  127. static_cast<T>(159) / 10000, //(0.015964560210704803L),
  128. static_cast<T>(1184) / 1000000000L,//(1.1846856068586931e-005L),
  129. static_cast<T>(6917) / 10000),//(0.69176378846168518L)),
  130. static_cast<T>(0.000075393541456247525676062058821484095548666733251733L), tolerance);
  131. BOOST_CHECK_CLOSE(
  132. ::boost::math::ibeta(
  133. static_cast<T>(4243) / 100,//(42.434902191162109L),
  134. static_cast<T>(3001) / 10000, //(0.30012050271034241L),
  135. static_cast<T>(9157) / 10000), //(0.91574394702911377L)),
  136. static_cast<T>(0.0028387319012616013434124297160711532419664289474798L), tolerance);
  137. BOOST_CHECK_CLOSE(
  138. ::boost::math::ibeta(
  139. static_cast<T>(9713) / 1000, //(9.7131776809692383L),
  140. static_cast<T>(9940) / 100, //(99.406852722167969L),
  141. static_cast<T>(8391) / 100000), //(0.083912998437881470L)),
  142. static_cast<T>(0.46116895440368248909937863372410093344466819447476L), tolerance * 2);
  143. BOOST_CHECK_CLOSE(
  144. ::boost::math::ibeta(
  145. static_cast<T>(72.5),
  146. static_cast<T>(1.125),
  147. static_cast<T>(0.75)),
  148. static_cast<T>(1.3423066982487051710597194786268004978931316494920e-9L), tolerance*3); // extra tolerance needed on linux X86EM64
  149. BOOST_CHECK_CLOSE(
  150. ::boost::math::ibeta(
  151. static_cast<T>(4985)/1000, //(4.9854421615600586L),
  152. static_cast<T>(1066)/1000, //(1.0665277242660522L),
  153. static_cast<T>(7599)/10000), //(0.75997146964073181L)),
  154. static_cast<T>(0.27533431334486812211032939156910472371928659321347L), tolerance);
  155. BOOST_CHECK_CLOSE(
  156. ::boost::math::ibeta(
  157. static_cast<T>(6813)/1000, //(6.8127136230468750L),
  158. static_cast<T>(1056)/1000, //(1.0562920570373535L),
  159. static_cast<T>(1741)/10000), //(0.17416560649871826L)),
  160. static_cast<T>(7.6736128722762245852815040810349072461658078840945e-6L), tolerance);
  161. BOOST_CHECK_CLOSE(
  162. ::boost::math::ibeta(
  163. static_cast<T>(4898)/10000, //(0.48983201384544373L),
  164. static_cast<T>(2251)/10000, //(0.22512593865394592L),
  165. static_cast<T>(2003)/10000), //(0.20032680034637451L)),
  166. static_cast<T>(0.17089223868046209692215231702890838878342349377008L), tolerance);
  167. BOOST_CHECK_CLOSE(
  168. ::boost::math::ibeta(
  169. static_cast<T>(4049)/1000, //(4.0498137474060059L),
  170. static_cast<T>(1540)/10000, //(0.15403440594673157L),
  171. static_cast<T>(6537)/10000), //(0.65370121598243713L)),
  172. static_cast<T>(0.017273988301528087878279199511703371301647583919670L), tolerance);
  173. BOOST_CHECK_CLOSE(
  174. ::boost::math::ibeta(
  175. static_cast<T>(7269)/1000, //(7.2695474624633789L),
  176. static_cast<T>(1190)/10000, //(0.11902070045471191L),
  177. static_cast<T>(8003)/10000), //(0.80036874115467072L)),
  178. static_cast<T>(0.013334694467796052900138431733772122625376753696347L), tolerance);
  179. BOOST_CHECK_CLOSE(
  180. ::boost::math::ibeta(
  181. static_cast<T>(2726)/1000, //(2.7266697883605957L),
  182. static_cast<T>(1151)/100000, //(0.011510574258863926L),
  183. static_cast<T>(8665)/100000), //(0.086654007434844971L)),
  184. static_cast<T>(5.8218877068298586420691288375690562915515260230173e-6L), tolerance);
  185. BOOST_CHECK_CLOSE(
  186. ::boost::math::ibeta(
  187. static_cast<T>(3431)/10000, //(0.34317314624786377L),
  188. static_cast<T>(4634)/100000, //0.046342257410287857L),
  189. static_cast<T>(7582)/10000), //(0.75823287665843964L)),
  190. static_cast<T>(0.15132819929418661038699397753916091907278005695387L), tolerance);
  191. BOOST_CHECK_CLOSE(
  192. ::boost::math::ibeta(
  193. static_cast<T>(0.34317314624786377L),
  194. static_cast<T>(0.046342257410287857L),
  195. static_cast<T>(0)),
  196. static_cast<T>(0), tolerance);
  197. BOOST_CHECK_CLOSE(
  198. ::boost::math::ibetac(
  199. static_cast<T>(0.34317314624786377L),
  200. static_cast<T>(0.046342257410287857L),
  201. static_cast<T>(0)),
  202. static_cast<T>(1), tolerance);
  203. BOOST_CHECK_CLOSE(
  204. ::boost::math::ibeta(
  205. static_cast<T>(0.34317314624786377L),
  206. static_cast<T>(0.046342257410287857L),
  207. static_cast<T>(1)),
  208. static_cast<T>(1), tolerance);
  209. BOOST_CHECK_CLOSE(
  210. ::boost::math::ibetac(
  211. static_cast<T>(0.34317314624786377L),
  212. static_cast<T>(0.046342257410287857L),
  213. static_cast<T>(1)),
  214. static_cast<T>(0), tolerance);
  215. BOOST_CHECK_CLOSE(
  216. ::boost::math::ibeta(
  217. static_cast<T>(1),
  218. static_cast<T>(4634)/100000, //(0.046342257410287857L),
  219. static_cast<T>(32)/100),
  220. static_cast<T>(0.017712849440718489999419956301675684844663359595318L), tolerance);
  221. BOOST_CHECK_CLOSE(
  222. ::boost::math::ibeta(
  223. static_cast<T>(4634)/100000, //(0.046342257410287857L),
  224. static_cast<T>(1),
  225. static_cast<T>(32)/100),
  226. static_cast<T>(0.94856839398626914764591440181367780660208493234722L), tolerance);
  227. // try with some integer arguments:
  228. BOOST_CHECK_CLOSE(
  229. ::boost::math::ibeta(
  230. static_cast<T>(3),
  231. static_cast<T>(8),
  232. static_cast<T>(0.25)),
  233. static_cast<T>(0.474407196044921875000000000000000000000000000000000000000000L), tolerance);
  234. BOOST_CHECK_CLOSE(
  235. ::boost::math::ibeta(
  236. static_cast<T>(6),
  237. static_cast<T>(8),
  238. static_cast<T>(0.25)),
  239. static_cast<T>(0.0802125930786132812500000000000000000000000000000000000000000L), tolerance);
  240. BOOST_CHECK_CLOSE(
  241. ::boost::math::ibeta(
  242. static_cast<T>(12),
  243. static_cast<T>(1),
  244. static_cast<T>(0.25)),
  245. static_cast<T>(5.96046447753906250000000000000000000000000000000000000000000e-8L), tolerance);
  246. BOOST_CHECK_CLOSE(
  247. ::boost::math::ibeta(
  248. static_cast<T>(1),
  249. static_cast<T>(8),
  250. static_cast<T>(0.25)),
  251. static_cast<T>(0.899887084960937500000000000000000000000000000000000000000000L), tolerance);
  252. // very naive check on derivative:
  253. using namespace std; // For ADL of std functions
  254. tolerance = boost::math::tools::epsilon<T>() * 10000; // 100 eps
  255. BOOST_CHECK_CLOSE(
  256. ::boost::math::ibeta_derivative(
  257. static_cast<T>(2),
  258. static_cast<T>(3),
  259. static_cast<T>(0.5)),
  260. pow(static_cast<T>(0.5), static_cast<T>(2)) * pow(static_cast<T>(0.5), static_cast<T>(1)) / boost::math::beta(static_cast<T>(2), static_cast<T>(3)), tolerance);
  261. //
  262. // Special cases and error handling:
  263. //
  264. BOOST_CHECK_EQUAL(::boost::math::ibeta(static_cast<T>(0), static_cast<T>(2), static_cast<T>(0.5)), static_cast<T>(1));
  265. BOOST_CHECK_EQUAL(::boost::math::ibeta(static_cast<T>(3), static_cast<T>(0), static_cast<T>(0.5)), static_cast<T>(0));
  266. BOOST_CHECK_EQUAL(::boost::math::ibetac(static_cast<T>(0), static_cast<T>(2), static_cast<T>(0.5)), static_cast<T>(0));
  267. BOOST_CHECK_EQUAL(::boost::math::ibetac(static_cast<T>(4), static_cast<T>(0), static_cast<T>(0.5)), static_cast<T>(1));
  268. BOOST_MATH_CHECK_THROW(::boost::math::beta(static_cast<T>(0), static_cast<T>(2), static_cast<T>(0.5)), std::domain_error);
  269. BOOST_MATH_CHECK_THROW(::boost::math::beta(static_cast<T>(3), static_cast<T>(0), static_cast<T>(0.5)), std::domain_error);
  270. BOOST_MATH_CHECK_THROW(::boost::math::betac(static_cast<T>(0), static_cast<T>(2), static_cast<T>(0.5)), std::domain_error);
  271. BOOST_MATH_CHECK_THROW(::boost::math::betac(static_cast<T>(4), static_cast<T>(0), static_cast<T>(0.5)), std::domain_error);
  272. BOOST_MATH_CHECK_THROW(::boost::math::ibetac(static_cast<T>(0), static_cast<T>(0), static_cast<T>(0.5)), std::domain_error);
  273. BOOST_MATH_CHECK_THROW(::boost::math::ibetac(static_cast<T>(-1), static_cast<T>(2), static_cast<T>(0.5)), std::domain_error);
  274. BOOST_MATH_CHECK_THROW(::boost::math::ibetac(static_cast<T>(2), static_cast<T>(-2), static_cast<T>(0.5)), std::domain_error);
  275. BOOST_MATH_CHECK_THROW(::boost::math::ibetac(static_cast<T>(2), static_cast<T>(2), static_cast<T>(-0.5)), std::domain_error);
  276. BOOST_MATH_CHECK_THROW(::boost::math::ibetac(static_cast<T>(2), static_cast<T>(2), static_cast<T>(1.5)), std::domain_error);
  277. //
  278. // a = b = 0.5 is a special case:
  279. //
  280. BOOST_CHECK_CLOSE(
  281. ::boost::math::ibeta(
  282. static_cast<T>(0.5f),
  283. static_cast<T>(0.5f),
  284. static_cast<T>(0.25)),
  285. static_cast<T>(1) / 3, tolerance);
  286. BOOST_CHECK_CLOSE(
  287. ::boost::math::ibetac(
  288. static_cast<T>(0.5f),
  289. static_cast<T>(0.5f),
  290. static_cast<T>(0.25)),
  291. static_cast<T>(2) / 3, tolerance);
  292. BOOST_CHECK_CLOSE(
  293. ::boost::math::ibeta(
  294. static_cast<T>(0.5f),
  295. static_cast<T>(0.5f),
  296. static_cast<T>(0.125)),
  297. static_cast<T>(0.230053456162615885213780567705142893009911395270714102055874L), tolerance);
  298. BOOST_CHECK_CLOSE(
  299. ::boost::math::ibetac(
  300. static_cast<T>(0.5f),
  301. static_cast<T>(0.5f),
  302. static_cast<T>(0.125)),
  303. static_cast<T>(0.769946543837384114786219432294857106990088604729285897944125L), tolerance);
  304. BOOST_CHECK_CLOSE(
  305. ::boost::math::ibeta(
  306. static_cast<T>(0.5f),
  307. static_cast<T>(0.5f),
  308. static_cast<T>(0.825L)),
  309. static_cast<T>(0.725231121519469565327291851560156562956885802608457839260161L), tolerance);
  310. BOOST_CHECK_CLOSE(
  311. ::boost::math::ibetac(
  312. static_cast<T>(0.5f),
  313. static_cast<T>(0.5f),
  314. static_cast<T>(0.825L)),
  315. static_cast<T>(0.274768878480530434672708148439843437043114197391542160739838L), tolerance);
  316. //
  317. // Second argument is 1 is a special case, see http://functions.wolfram.com/GammaBetaErf/BetaRegularized/03/01/01/
  318. //
  319. BOOST_CHECK_CLOSE(
  320. ::boost::math::ibeta(
  321. static_cast<T>(0.5f),
  322. static_cast<T>(1),
  323. static_cast<T>(0.825L)),
  324. static_cast<T>(0.908295106229247499626759842915458109758420750043003849691665L), tolerance);
  325. BOOST_CHECK_CLOSE(
  326. ::boost::math::ibetac(
  327. static_cast<T>(0.5f),
  328. static_cast<T>(1),
  329. static_cast<T>(0.825L)),
  330. static_cast<T>(0.091704893770752500373240157084541890241579249956996150308334L), tolerance);
  331. BOOST_CHECK_CLOSE(
  332. ::boost::math::ibeta(
  333. static_cast<T>(30),
  334. static_cast<T>(1),
  335. static_cast<T>(0.825L)),
  336. static_cast<T>(0.003116150729395132012981654047222541793435357905008020740211L), tolerance);
  337. BOOST_CHECK_CLOSE(
  338. ::boost::math::ibetac(
  339. static_cast<T>(30),
  340. static_cast<T>(1),
  341. static_cast<T>(0.825L)),
  342. static_cast<T>(0.996883849270604867987018345952777458206564642094991979259788L), tolerance);
  343. //
  344. // Bug cases from Rocco Romeo:
  345. //
  346. BOOST_CHECK_CLOSE(
  347. ::boost::math::beta(
  348. static_cast<T>(2),
  349. static_cast<T>(24),
  350. ldexp(static_cast<T>(1), -52)),
  351. static_cast<T>(2.46519032881565349871772482100516780410072110983579277754743e-32L), tolerance);
  352. BOOST_CHECK_CLOSE(
  353. ::boost::math::ibeta(
  354. static_cast<T>(2),
  355. static_cast<T>(24),
  356. ldexp(static_cast<T>(1), -52)),
  357. static_cast<T>(1.47911419728939209923063489260310068246043266590147566652846e-29L), tolerance);
  358. BOOST_CHECK_CLOSE(
  359. ::boost::math::beta(
  360. static_cast<T>(3),
  361. static_cast<T>(2),
  362. ldexp(static_cast<T>(1), -270)),
  363. static_cast<T>(4.88182556606650701438035298707052523938789614661168065734809e-245L), tolerance);
  364. BOOST_CHECK_CLOSE(
  365. ::boost::math::beta(
  366. static_cast<T>(2),
  367. static_cast<T>(31),
  368. ldexp(static_cast<T>(1), -373)),
  369. static_cast<T>(1.35080680244581673116149460571129957689952846520037541640260e-225L), tolerance);
  370. BOOST_CHECK_CLOSE(
  371. ::boost::math::ibeta(
  372. static_cast<T>(3),
  373. static_cast<T>(2),
  374. ldexp(static_cast<T>(1), -270)),
  375. static_cast<T>(5.85819067927980841725642358448463028726547537593401678881771e-244L), tolerance);
  376. BOOST_CHECK_CLOSE(
  377. ::boost::math::ibeta(
  378. static_cast<T>(2),
  379. static_cast<T>(31),
  380. ldexp(static_cast<T>(1), -373)),
  381. static_cast<T>(1.34000034802625019731220264886560918028433223747877241307138e-222L), tolerance);
  382. //
  383. // Bug cases from Rocco Romeo:
  384. //
  385. BOOST_CHECK_CLOSE(
  386. ::boost::math::beta(
  387. static_cast<T>(2),
  388. static_cast<T>(4),
  389. ldexp(static_cast<T>(1 + static_cast<T>(1.0) / 1024), -351)),
  390. static_cast<T>(2.381008060978474962211278613067275529112106932635520021e-212L), tolerance);
  391. BOOST_CHECK_CLOSE(
  392. ::boost::math::beta(
  393. static_cast<T>(2),
  394. static_cast<T>(4),
  395. ldexp(static_cast<T>(1 + static_cast<T>(1.0) / 2048), -351)),
  396. static_cast<T>(2.378685692854274898232669682422430136513931911501225435e-212L), tolerance);
  397. BOOST_CHECK_CLOSE(
  398. ::boost::math::ibeta(
  399. static_cast<T>(3),
  400. static_cast<T>(5),
  401. ldexp(static_cast<T>(1 + static_cast<T>(15) / 16), -268)),
  402. static_cast<T>(2.386034198603463687323052353589201848077110231388968865e-240L), tolerance);
  403. BOOST_CHECK_CLOSE(
  404. ::boost::math::ibeta_derivative(
  405. static_cast<T>(2),
  406. static_cast<T>(4),
  407. ldexp(static_cast<T>(1), -557)),
  408. static_cast<T>(4.23957586190238472641508753637420672781472122471791800210e-167L), tolerance * 4);
  409. BOOST_CHECK_CLOSE(
  410. ::boost::math::ibeta_derivative(
  411. static_cast<T>(2),
  412. static_cast<T>(4.5),
  413. ldexp(static_cast<T>(1), -557)),
  414. static_cast<T>(5.24647512910420109893867082626308082567071751558842352760e-167L), tolerance * 20);
  415. }