**********************************************************************
* *
* MpCheck version 1.1 (c) INRIA 2002, 2004, 2005 (Arenaire & Spaces) *
* *
**********************************************************************
Testing libm [precision=53, seed=1]
Testing function exp for exponent 0.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
0.498734 ulp(s) for x=5.10802337871487099896e-01
wrong directed rounding for x=5.10802337871487099896e-01 [0.498734]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 512/0.498734/512
rounding mode GMP_RNDU:
-0.499057 ulp(s) for x=8.27556878926878347613e-01
wrong directed rounding for x=8.27556878926878347613e-01 [-0.499057]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 488/0.499057/488
rounding mode GMP_RNDD:
0.498734 ulp(s) for x=5.10802337871487099896e-01
wrong directed rounding for x=5.10802337871487099896e-01 [0.498734]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 512/0.498734/512
Max. errors for exp [exp. 0]: 0.000000 (nearest), 0.499057 (directed)
Testing function exp for exponent 9.
rounding mode GMP_RNDN:
-0.500126 ulp(s) for x=4.35765847386097789240e+02
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 1/0.500126/0
rounding mode GMP_RNDZ:
0.498077 ulp(s) for x=3.33726566402993796601e+02
wrong directed rounding for x=3.33726566402993796601e+02 [0.498077]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 485/0.498077/485
rounding mode GMP_RNDU:
-0.500126 ulp(s) for x=4.35765847386097789240e+02
wrong directed rounding for x=4.35765847386097789240e+02 [-0.500126]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 515/0.500126/515
rounding mode GMP_RNDD:
0.498077 ulp(s) for x=3.33726566402993796601e+02
wrong directed rounding for x=3.33726566402993796601e+02 [0.498077]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 485/0.498077/485
Max. errors for exp [exp. 9]: 0.500126 (nearest), 0.500126 (directed)
Testing function log for exponent 0.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
-0.499303 ulp(s) for x=8.67005371114996647997e-01
wrong directed rounding for x=8.67005371114996647997e-01 [-0.499303]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 483/0.499303/483
rounding mode GMP_RNDU:
-0.499303 ulp(s) for x=8.67005371114996647997e-01
wrong directed rounding for x=8.67005371114996647997e-01 [-0.499303]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 483/0.499303/483
rounding mode GMP_RNDD:
0.499885 ulp(s) for x=7.32690882360685691310e-01
wrong directed rounding for x=7.32690882360685691310e-01 [0.499885]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 517/0.499885/517
Max. errors for log [exp. 0]: 0.000000 (nearest), 0.499885 (directed)
Testing function log for exponent 1024.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
0.497566 ulp(s) for x=1.59713888523698000469e+308
wrong directed rounding for x=1.59713888523698000469e+308 [0.497566]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 513/0.497566/513
rounding mode GMP_RNDU:
-0.499367 ulp(s) for x=1.78376713067847905429e+308
wrong directed rounding for x=1.78376713067847905429e+308 [-0.499367]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 487/0.499367/487
rounding mode GMP_RNDD:
0.497566 ulp(s) for x=1.59713888523698000469e+308
wrong directed rounding for x=1.59713888523698000469e+308 [0.497566]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 513/0.497566/513
Max. errors for log [exp. 1024]: 0.000000 (nearest), 0.499367 (directed)
Testing function sin for exponent 0.
rounding mode GMP_RNDN:
0.970719 ulp(s) for x=8.61973090877453884673e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 163/0.970719/0
rounding mode GMP_RNDZ:
0.970719 ulp(s) for x=8.61973090877453884673e-01
wrong directed rounding for x=8.61973090877453884673e-01 [0.970719]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 630/0.970719/630
rounding mode GMP_RNDU:
-0.678939 ulp(s) for x=8.92354310249519611098e-01
wrong directed rounding for x=8.92354310249519611098e-01 [-0.678939]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 370/0.678939/370
rounding mode GMP_RNDD:
0.970719 ulp(s) for x=8.61973090877453884673e-01
wrong directed rounding for x=8.61973090877453884673e-01 [0.970719]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 630/0.970719/630
Max. errors for sin [exp. 0]: 0.970719 (nearest), 0.970719 (directed)
Testing function sin for exponent 10.
rounding mode GMP_RNDN:
-0.911345 ulp(s) for x=7.15482352550755308584e+02
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 127/0.911345/0
rounding mode GMP_RNDZ:
-0.911345 ulp(s) for x=7.15482352550755308584e+02
wrong directed rounding for x=7.15482352550755308584e+02 [-0.911345]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 577/0.911345/577
rounding mode GMP_RNDU:
-0.911345 ulp(s) for x=7.15482352550755308584e+02
wrong directed rounding for x=7.15482352550755308584e+02 [-0.911345]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 485/0.911345/485
rounding mode GMP_RNDD:
0.864231 ulp(s) for x=6.53929467597139364443e+02
wrong directed rounding for x=6.53929467597139364443e+02 [0.864231]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 515/0.864231/515
Max. errors for sin [exp. 10]: 0.911345 (nearest), 0.911345 (directed)
Testing function cos for exponent 0.
rounding mode GMP_RNDN:
0.891906 ulp(s) for x=7.59604057159088519313e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 113/0.891906/0
rounding mode GMP_RNDZ:
0.891906 ulp(s) for x=7.59604057159088519313e-01
wrong directed rounding for x=7.59604057159088519313e-01 [0.891906]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 520/0.891906/520
rounding mode GMP_RNDU:
-0.780963 ulp(s) for x=7.23681450280835303346e-01
wrong directed rounding for x=7.23681450280835303346e-01 [-0.780963]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 480/0.780963/480
rounding mode GMP_RNDD:
0.891906 ulp(s) for x=7.59604057159088519313e-01
wrong directed rounding for x=7.59604057159088519313e-01 [0.891906]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 520/0.891906/520
Max. errors for cos [exp. 0]: 0.891906 (nearest), 0.891906 (directed)
Testing function cos for exponent 10.
rounding mode GMP_RNDN:
0.885187 ulp(s) for x=9.56103455159172881395e+02
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 145/0.885187/0
rounding mode GMP_RNDZ:
0.885187 ulp(s) for x=9.56103455159172881395e+02
wrong directed rounding for x=9.56103455159172881395e+02 [0.885187]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 595/0.885187/595
rounding mode GMP_RNDU:
-0.859787 ulp(s) for x=5.13146083006692379058e+02
wrong directed rounding for x=5.13146083006692379058e+02 [-0.859787]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 519/0.859787/519
rounding mode GMP_RNDD:
0.885187 ulp(s) for x=9.56103455159172881395e+02
wrong directed rounding for x=9.56103455159172881395e+02 [0.885187]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 481/0.885187/481
Max. errors for cos [exp. 10]: 0.885187 (nearest), 0.885187 (directed)
Testing function tan for exponent 0.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
0.499593 ulp(s) for x=9.90636447338817283104e-01
wrong directed rounding for x=9.90636447338817283104e-01 [0.499593]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 537/0.499593/537
rounding mode GMP_RNDU:
-0.498913 ulp(s) for x=6.98411325831657103791e-01
wrong directed rounding for x=6.98411325831657103791e-01 [-0.498913]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 463/0.498913/463
rounding mode GMP_RNDD:
0.499593 ulp(s) for x=9.90636447338817283104e-01
wrong directed rounding for x=9.90636447338817283104e-01 [0.499593]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 537/0.499593/537
Max. errors for tan [exp. 0]: 0.000000 (nearest), 0.499593 (directed)
Testing function tan for exponent 10.
rounding mode GMP_RNDN:
-0.510506 ulp(s) for x=9.53286246041861318190e+02
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 5/0.510506/0
rounding mode GMP_RNDZ:
-0.510457 ulp(s) for x=9.36121286575672797881e+02
wrong directed rounding for x=9.36121286575672797881e+02 [-0.510457]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 474/0.510457/474
rounding mode GMP_RNDU:
-0.510506 ulp(s) for x=9.53286246041861318190e+02
wrong directed rounding for x=9.53286246041861318190e+02 [-0.510506]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 454/0.510506/454
rounding mode GMP_RNDD:
0.503120 ulp(s) for x=6.01709417826004255403e+02
wrong directed rounding for x=6.01709417826004255403e+02 [0.503120]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 546/0.503120/546
Max. errors for tan [exp. 10]: 0.510506 (nearest), 0.510506 (directed)
Testing function asin for exponent 0.
rounding mode GMP_RNDN:
0.585392 ulp(s) for x=5.84655445920124527959e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 13/0.585392/0
rounding mode GMP_RNDZ:
0.098444 ulp(s) for x=5.06402306781689959259e-01
wrong directed rounding for x=5.06402306781689959259e-01 [0.098444]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 25/0.098444/25
rounding mode GMP_RNDU:
-0.996761 ulp(s) for x=8.94447238153928125826e-01
wrong directed rounding for x=8.94447238153928125826e-01 [-0.996761]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 975/0.996761/975
rounding mode GMP_RNDD:
1.024453 ulp(s) for x=5.18817451507006976996e-01
wrong directed rounding for x=5.18817451507006976996e-01 [1.024453]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 993/1.024453/993
Max. errors for asin [exp. 0]: 0.585392 (nearest), 1.024453 (directed)
Testing function asin for exponent -10.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for asin [exp. -10]: 0.000000 (nearest), 0.000000 (directed)
Testing function acos for exponent 0.
rounding mode GMP_RNDN:
-0.836528 ulp(s) for x=9.82361944283541288492e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 92/0.836528/0
rounding mode GMP_RNDZ:
-1.346149 ulp(s) for x=9.65905446502566711331e-01
wrong directed rounding for x=9.66045191990977381025e-01 [0.230693]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 95/1.346149/45
rounding mode GMP_RNDU:
1.230693 ulp(s) for x=9.66045191990977381025e-01
wrong directed rounding for x=9.65905446502566711331e-01 [-0.346149]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 98/1.230693/62
rounding mode GMP_RNDD:
-1.346149 ulp(s) for x=9.65905446502566711331e-01
wrong directed rounding for x=9.66045191990977381025e-01 [0.230693]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 95/1.346149/45
Max. errors for acos [exp. 0]: 0.836528 (nearest), 1.346149 (directed)
Testing function acos for exponent -10.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for acos [exp. -10]: 0.000000 (nearest), 0.000000 (directed)
Testing function atan for exponent 0.
rounding mode GMP_RNDN:
-0.500203 ulp(s) for x=8.88549072244786408703e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 1/0.500203/0
rounding mode GMP_RNDZ:
-1.494872 ulp(s) for x=7.10906277206668990587e-01
wrong directed rounding for x=5.11686402756739600051e-01 [0.796653]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 62/1.494872/15
rounding mode GMP_RNDU:
1.507141 ulp(s) for x=5.27348750514293418412e-01
wrong directed rounding for x=8.71159292701253917812e-01 [-0.505215]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 71/1.507141/63
rounding mode GMP_RNDD:
-1.494872 ulp(s) for x=7.10906277206668990587e-01
wrong directed rounding for x=5.11686402756739600051e-01 [0.796653]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 62/1.494872/15
Max. errors for atan [exp. 0]: 0.500203 (nearest), 1.507141 (directed)
Testing function atan for exponent 53.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for atan [exp. 53]: 0.000000 (nearest), 0.000000 (directed)
Testing function sqrt for exponent 0.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for sqrt [exp. 0]: 0.000000 (nearest), 0.000000 (directed)
Testing function sqrt for exponent 1024.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for sqrt [exp. 1024]: 0.000000 (nearest), 0.000000 (directed)
Testing function sqrt for exponent -1021.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for sqrt [exp. -1021]: 0.000000 (nearest), 0.000000 (directed)
Testing function pow for exponents 0 and 0.
rounding mode GMP_RNDN:
-0.500102 ulp(s) for x=9.35867956095367437008e-01 t=9.58588467992440906862e-01
nb errors/max ulp diff/wrong directed: 1/0.500102/0
rounding mode GMP_RNDZ:
0.498397 ulp(s) for x=7.29331979839427324563e-01 t=8.85332609786024127274e-01
wrong directed rounding for x=7.29331979839427324563e-01 t=8.85332609786024127274e-01 [0.498397]
nb errors/max ulp diff/wrong directed: 492/0.498397/492
rounding mode GMP_RNDU:
-0.500102 ulp(s) for x=9.35867956095367437008e-01 t=9.58588467992440906862e-01
wrong directed rounding for x=9.35867956095367437008e-01 t=9.58588467992440906862e-01 [-0.500102]
nb errors/max ulp diff/wrong directed: 508/0.500102/508
rounding mode GMP_RNDD:
0.498397 ulp(s) for x=7.29331979839427324563e-01 t=8.85332609786024127274e-01
wrong directed rounding for x=7.29331979839427324563e-01 t=8.85332609786024127274e-01 [0.498397]
nb errors/max ulp diff/wrong directed: 492/0.498397/492
Max. errors for pow [exp. 0]: 0.500102 (nearest), 0.500102 (directed)
Testing function pow for exponents 8 and 7.
rounding mode GMP_RNDN:
-0.500192 ulp(s) for x=2.00369987259614617869e+02 t=1.22887541989854327085e+02
nb errors/max ulp diff/wrong directed: 1/0.500192/0
rounding mode GMP_RNDZ:
0.498397 ulp(s) for x=2.40776940233638271138e+02 t=1.15024982144802493167e+02
wrong directed rounding for x=2.40776940233638271138e+02 t=1.15024982144802493167e+02 [0.498397]
nb errors/max ulp diff/wrong directed: 488/0.498397/488
rounding mode GMP_RNDU:
-0.500192 ulp(s) for x=2.00369987259614617869e+02 t=1.22887541989854327085e+02
wrong directed rounding for x=2.00369987259614617869e+02 t=1.22887541989854327085e+02 [-0.500192]
nb errors/max ulp diff/wrong directed: 512/0.500192/512
rounding mode GMP_RNDD:
0.498397 ulp(s) for x=2.40776940233638271138e+02 t=1.15024982144802493167e+02
wrong directed rounding for x=2.40776940233638271138e+02 t=1.15024982144802493167e+02 [0.498397]
nb errors/max ulp diff/wrong directed: 488/0.498397/488
Max. errors for pow [exp. 8]: 0.500192 (nearest), 0.500192 (directed)
Testing function add for exponents 0 and 0.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for add [exp. 0]: 0.000000 (nearest), 0.000000 (directed)
Testing function add for exponents 1023 and 1023.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for add [exp. 1023]: 0.000000 (nearest), 0.000000 (directed)
Testing function sub for exponents 1024 and 1024.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for sub [exp. 1024]: 0.000000 (nearest), 0.000000 (directed)
Testing function sub for exponents 0 and 0.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for sub [exp. 0]: 0.000000 (nearest), 0.000000 (directed)
Testing function mul for exponents 0 and 0.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for mul [exp. 0]: 0.000000 (nearest), 0.000000 (directed)
Testing function mul for exponents 512 and 512.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for mul [exp. 512]: 0.000000 (nearest), 0.000000 (directed)
Testing function div for exponents 0 and 0.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for div [exp. 0]: 0.000000 (nearest), 0.000000 (directed)
Testing function div for exponents 1024 and 1024.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 0/0.000000/0
Max. errors for div [exp. 1024]: 0.000000 (nearest), 0.000000 (directed)
Testing function expm1 for exponent 0.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
0.499372 ulp(s) for x=5.09771485829664805500e-01
wrong directed rounding for x=5.09771485829664805500e-01 [0.499372]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 473/0.499372/473
rounding mode GMP_RNDU:
-0.499715 ulp(s) for x=7.29331979839427324563e-01
wrong directed rounding for x=7.29331979839427324563e-01 [-0.499715]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 527/0.499715/527
rounding mode GMP_RNDD:
0.499372 ulp(s) for x=5.09771485829664805500e-01
wrong directed rounding for x=5.09771485829664805500e-01 [0.499372]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 473/0.499372/473
Max. errors for expm1 [exp. 0]: 0.000000 (nearest), 0.499715 (directed)
Testing function expm1 for exponent -9.
rounding mode GMP_RNDN:
0.888428 ulp(s) for x=1.24586062186047056254e-03
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 184/0.888428/0
rounding mode GMP_RNDZ:
0.888428 ulp(s) for x=1.24586062186047056254e-03
wrong directed rounding for x=1.24586062186047056254e-03 [0.888428]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 678/0.888428/678
rounding mode GMP_RNDU:
-0.551428 ulp(s) for x=1.31431272405156326921e-03
wrong directed rounding for x=1.31431272405156326921e-03 [-0.551428]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 322/0.551428/322
rounding mode GMP_RNDD:
0.888428 ulp(s) for x=1.24586062186047056254e-03
wrong directed rounding for x=1.24586062186047056254e-03 [0.888428]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 678/0.888428/678
Max. errors for expm1 [exp. -9]: 0.888428 (nearest), 0.888428 (directed)
Testing function log10 for exponent 0.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
-0.497366 ulp(s) for x=6.28255213516423438591e-01
wrong directed rounding for x=6.28255213516423438591e-01 [-0.497366]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 453/0.497366/453
rounding mode GMP_RNDU:
-0.497366 ulp(s) for x=6.28255213516423438591e-01
wrong directed rounding for x=6.28255213516423438591e-01 [-0.497366]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 453/0.497366/453
rounding mode GMP_RNDD:
0.499338 ulp(s) for x=6.94663679220571372852e-01
wrong directed rounding for x=6.94663679220571372852e-01 [0.499338]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 547/0.499338/547
Max. errors for log10 [exp. 0]: 0.000000 (nearest), 0.499338 (directed)
Testing function log10 for exponent 1024.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
0.498631 ulp(s) for x=1.67354805260206563927e+308
wrong directed rounding for x=1.67354805260206563927e+308 [0.498631]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 494/0.498631/494
rounding mode GMP_RNDU:
-0.499592 ulp(s) for x=1.42623814281303007986e+308
wrong directed rounding for x=1.42623814281303007986e+308 [-0.499592]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 506/0.499592/506
rounding mode GMP_RNDD:
0.498631 ulp(s) for x=1.67354805260206563927e+308
wrong directed rounding for x=1.67354805260206563927e+308 [0.498631]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 494/0.498631/494
Max. errors for log10 [exp. 1024]: 0.000000 (nearest), 0.499592 (directed)
Testing function log1p for exponent 0.
rounding mode GMP_RNDN:
-0.840335 ulp(s) for x=9.88006738631011294238e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 4/0.840335/0
rounding mode GMP_RNDZ:
0.566875 ulp(s) for x=9.92501729032361112992e-01
wrong directed rounding for x=9.92501729032361112992e-01 [0.566875]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 490/0.566875/490
rounding mode GMP_RNDU:
-0.840335 ulp(s) for x=9.88006738631011294238e-01
wrong directed rounding for x=9.88006738631011294238e-01 [-0.840335]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 510/0.840335/510
rounding mode GMP_RNDD:
0.566875 ulp(s) for x=9.92501729032361112992e-01
wrong directed rounding for x=9.92501729032361112992e-01 [0.566875]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 490/0.566875/490
Max. errors for log1p [exp. 0]: 0.840335 (nearest), 0.840335 (directed)
Testing function log1p for exponent 1024.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
0.497566 ulp(s) for x=1.59713888523698000469e+308
wrong directed rounding for x=1.59713888523698000469e+308 [0.497566]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 513/0.497566/513
rounding mode GMP_RNDU:
-0.499367 ulp(s) for x=1.78376713067847905429e+308
wrong directed rounding for x=1.78376713067847905429e+308 [-0.499367]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 487/0.499367/487
rounding mode GMP_RNDD:
0.497566 ulp(s) for x=1.59713888523698000469e+308
wrong directed rounding for x=1.59713888523698000469e+308 [0.497566]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 513/0.497566/513
Max. errors for log1p [exp. 1024]: 0.000000 (nearest), 0.499367 (directed)
Testing function sinh for exponent 0.
rounding mode GMP_RNDN:
-1.397558 ulp(s) for x=7.82881844498358403506e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 244/1.397558/0
rounding mode GMP_RNDZ:
-1.397558 ulp(s) for x=7.82881844498358403506e-01
wrong directed rounding for x=7.86399833092818578706e-01 [1.271129]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 507/1.397558/498
rounding mode GMP_RNDU:
-1.397558 ulp(s) for x=7.82881844498358403506e-01
wrong directed rounding for x=7.82881844498358403506e-01 [-1.397558]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 508/1.397558/502
rounding mode GMP_RNDD:
-1.397558 ulp(s) for x=7.82881844498358403506e-01
wrong directed rounding for x=7.86399833092818578706e-01 [1.271129]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 507/1.397558/498
Max. errors for sinh [exp. 0]: 1.397558 (nearest), 1.397558 (directed)
Testing function sinh for exponent 9.
rounding mode GMP_RNDN:
-0.500126 ulp(s) for x=4.35765847386097789240e+02
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 1/0.500126/0
rounding mode GMP_RNDZ:
0.498077 ulp(s) for x=3.33726566402993796601e+02
wrong directed rounding for x=3.33726566402993796601e+02 [0.498077]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 485/0.498077/485
rounding mode GMP_RNDU:
-0.500126 ulp(s) for x=4.35765847386097789240e+02
wrong directed rounding for x=4.35765847386097789240e+02 [-0.500126]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 515/0.500126/515
rounding mode GMP_RNDD:
0.498077 ulp(s) for x=3.33726566402993796601e+02
wrong directed rounding for x=3.33726566402993796601e+02 [0.498077]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 485/0.498077/485
Max. errors for sinh [exp. 9]: 0.500126 (nearest), 0.500126 (directed)
Testing function cosh for exponent 0.
rounding mode GMP_RNDN:
-0.964202 ulp(s) for x=8.27556878926878347613e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 170/0.964202/0
rounding mode GMP_RNDZ:
0.940836 ulp(s) for x=9.23145903279674051589e-01
wrong directed rounding for x=9.23145903279674051589e-01 [0.940836]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 517/0.940836/517
rounding mode GMP_RNDU:
-0.964202 ulp(s) for x=8.27556878926878347613e-01
wrong directed rounding for x=8.27556878926878347613e-01 [-0.964202]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 483/0.964202/483
rounding mode GMP_RNDD:
0.940836 ulp(s) for x=9.23145903279674051589e-01
wrong directed rounding for x=9.23145903279674051589e-01 [0.940836]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 517/0.940836/517
Max. errors for cosh [exp. 0]: 0.964202 (nearest), 0.964202 (directed)
Testing function cosh for exponent 9.
rounding mode GMP_RNDN:
-0.500126 ulp(s) for x=4.35765847386097789240e+02
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 1/0.500126/0
rounding mode GMP_RNDZ:
0.498077 ulp(s) for x=3.33726566402993796601e+02
wrong directed rounding for x=3.33726566402993796601e+02 [0.498077]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 485/0.498077/485
rounding mode GMP_RNDU:
-0.500126 ulp(s) for x=4.35765847386097789240e+02
wrong directed rounding for x=4.35765847386097789240e+02 [-0.500126]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 515/0.500126/515
rounding mode GMP_RNDD:
0.498077 ulp(s) for x=3.33726566402993796601e+02
wrong directed rounding for x=3.33726566402993796601e+02 [0.498077]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 485/0.498077/485
Max. errors for cosh [exp. 9]: 0.500126 (nearest), 0.500126 (directed)
Testing function tanh for exponent 0.
rounding mode GMP_RNDN:
2.923614 ulp(s) for x=5.01234001245295046623e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 504/2.923614/0
rounding mode GMP_RNDZ:
2.923614 ulp(s) for x=5.01234001245295046623e-01
wrong directed rounding for x=5.01234001245295046623e-01 [2.923614]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 608/2.923614/526
rounding mode GMP_RNDU:
2.923614 ulp(s) for x=5.01234001245295046623e-01
wrong directed rounding for x=5.27348750514293418412e-01 [-2.735904]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 576/2.923614/474
rounding mode GMP_RNDD:
2.923614 ulp(s) for x=5.01234001245295046623e-01
wrong directed rounding for x=5.01234001245295046623e-01 [2.923614]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 608/2.923614/526
Max. errors for tanh [exp. 0]: 2.923614 (nearest), 2.923614 (directed)
Testing function tanh for exponent 4.
rounding mode GMP_RNDN:
2.891318 ulp(s) for x=8.61297430179769207825e+00
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 657/2.891318/0
rounding mode GMP_RNDZ:
2.891318 ulp(s) for x=8.61297430179769207825e+00
wrong directed rounding for x=8.61297430179769207825e+00 [2.891318]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 697/2.891318/502
rounding mode GMP_RNDU:
2.891318 ulp(s) for x=8.61297430179769207825e+00
wrong directed rounding for x=9.55947836949212081947e+00 [-2.799876]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 681/2.891318/498
rounding mode GMP_RNDD:
2.891318 ulp(s) for x=8.61297430179769207825e+00
wrong directed rounding for x=8.61297430179769207825e+00 [2.891318]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 697/2.891318/502
Max. errors for tanh [exp. 4]: 2.891318 (nearest), 2.891318 (directed)
Testing function asinh for exponent 0.
rounding mode GMP_RNDN:
1.328365 ulp(s) for x=7.50917260941860398304e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 208/1.328365/0
rounding mode GMP_RNDZ:
1.328365 ulp(s) for x=7.50917260941860398304e-01
wrong directed rounding for x=7.50917260941860398304e-01 [1.328365]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 490/1.328365/489
rounding mode GMP_RNDU:
1.328365 ulp(s) for x=7.50917260941860398304e-01
wrong directed rounding for x=7.69214532902317893459e-01 [-1.112234]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 513/1.328365/511
rounding mode GMP_RNDD:
1.328365 ulp(s) for x=7.50917260941860398304e-01
wrong directed rounding for x=7.50917260941860398304e-01 [1.328365]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 490/1.328365/489
Max. errors for asinh [exp. 0]: 1.328365 (nearest), 1.328365 (directed)
Testing function asinh for exponent 1024.
rounding mode GMP_RNDN:
-0.982970 ulp(s) for x=1.78376713067847905429e+308
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 472/0.982970/0
rounding mode GMP_RNDZ:
0.013964 ulp(s) for x=1.59713888523698000469e+308
wrong directed rounding for x=1.59713888523698000469e+308 [0.013964]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 17/0.013964/17
rounding mode GMP_RNDU:
-0.982970 ulp(s) for x=1.78376713067847905429e+308
wrong directed rounding for x=1.78376713067847905429e+308 [-0.982970]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 983/0.982970/983
rounding mode GMP_RNDD:
0.013964 ulp(s) for x=1.59713888523698000469e+308
wrong directed rounding for x=1.59713888523698000469e+308 [0.013964]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 17/0.013964/17
Max. errors for asinh [exp. 1024]: 0.982970 (nearest), 0.982970 (directed)
Testing function acosh for exponent 1.
rounding mode GMP_RNDN:
-1.306823 ulp(s) for x=1.27507699145570851940e+00
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 250/1.306823/0
rounding mode GMP_RNDZ:
-1.306823 ulp(s) for x=1.27507699145570851940e+00
wrong directed rounding for x=1.32650383108546043864e+00 [1.113889]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 526/1.306823/512
rounding mode GMP_RNDU:
-1.306823 ulp(s) for x=1.27507699145570851940e+00
wrong directed rounding for x=1.27507699145570851940e+00 [-1.306823]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 496/1.306823/488
rounding mode GMP_RNDD:
-1.306823 ulp(s) for x=1.27507699145570851940e+00
wrong directed rounding for x=1.32650383108546043864e+00 [1.113889]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 526/1.306823/512
Max. errors for acosh [exp. 1]: 1.306823 (nearest), 1.306823 (directed)
Testing function acosh for exponent 1024.
rounding mode GMP_RNDN:
-0.982970 ulp(s) for x=1.78376713067847905429e+308
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 472/0.982970/0
rounding mode GMP_RNDZ:
0.013964 ulp(s) for x=1.59713888523698000469e+308
wrong directed rounding for x=1.59713888523698000469e+308 [0.013964]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 17/0.013964/17
rounding mode GMP_RNDU:
-0.982970 ulp(s) for x=1.78376713067847905429e+308
wrong directed rounding for x=1.78376713067847905429e+308 [-0.982970]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 983/0.982970/983
rounding mode GMP_RNDD:
0.013964 ulp(s) for x=1.59713888523698000469e+308
wrong directed rounding for x=1.59713888523698000469e+308 [0.013964]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 17/0.013964/17
Max. errors for acosh [exp. 1024]: 0.982970 (nearest), 0.982970 (directed)
Testing function atanh for exponent 0.
rounding mode GMP_RNDN:
0.918315 ulp(s) for x=6.00491319378512855565e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 108/0.918315/0
rounding mode GMP_RNDZ:
0.918315 ulp(s) for x=6.00491319378512855565e-01
wrong directed rounding for x=6.00491319378512855565e-01 [0.918315]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 505/0.918315/505
rounding mode GMP_RNDU:
-0.867397 ulp(s) for x=6.01927953730745146643e-01
wrong directed rounding for x=6.01927953730745146643e-01 [-0.867397]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 495/0.867397/495
rounding mode GMP_RNDD:
0.918315 ulp(s) for x=6.00491319378512855565e-01
wrong directed rounding for x=6.00491319378512855565e-01 [0.918315]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 505/0.918315/505
Max. errors for atanh [exp. 0]: 0.918315 (nearest), 0.918315 (directed)
Testing function atanh for exponent -10.
rounding mode GMP_RNDN:
1.246228 ulp(s) for x=9.41960086012056567809e-04
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 290/1.246228/0
rounding mode GMP_RNDZ:
1.246228 ulp(s) for x=9.41960086012056567809e-04
wrong directed rounding for x=9.41960086012056567809e-04 [1.246228]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 518/1.246228/505
rounding mode GMP_RNDU:
1.246228 ulp(s) for x=9.41960086012056567809e-04
wrong directed rounding for x=9.76151687348913218306e-04 [-1.236020]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 503/1.246228/495
rounding mode GMP_RNDD:
1.246228 ulp(s) for x=9.41960086012056567809e-04
wrong directed rounding for x=9.41960086012056567809e-04 [1.246228]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 518/1.246228/505
Max. errors for atanh [exp. -10]: 1.246228 (nearest), 1.246228 (directed)
Testing function gamma for exponent 0.
rounding mode GMP_RNDN:
1.083913 ulp(s) for x=5.28831407598775116163e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 198/1.083913/0
rounding mode GMP_RNDZ:
1.083913 ulp(s) for x=5.28831407598775116163e-01
wrong directed rounding for x=5.28831407598775116163e-01 [1.083913]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 626/1.083913/626
rounding mode GMP_RNDU:
1.083913 ulp(s) for x=5.28831407598775116163e-01
wrong directed rounding for x=6.18639701706396039071e-01 [-0.809413]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 379/1.083913/374
rounding mode GMP_RNDD:
1.083913 ulp(s) for x=5.28831407598775116163e-01
wrong directed rounding for x=5.28831407598775116163e-01 [1.083913]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 626/1.083913/626
Max. errors for gamma [exp. 0]: 1.083913 (nearest), 1.083913 (directed)
Testing function cbrt for exponent 0.
rounding mode GMP_RNDN:
-0.645506 ulp(s) for x=5.52674904515579656916e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 76/0.645506/0
rounding mode GMP_RNDZ:
-1.328310 ulp(s) for x=6.22558080723111362254e-01
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 149/1.328310/0
rounding mode GMP_RNDU:
1.329388 ulp(s) for x=7.87828516566562497836e-01
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 180/1.329388/0
rounding mode GMP_RNDD:
-1.328310 ulp(s) for x=6.22558080723111362254e-01
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 149/1.328310/0
Max. errors for cbrt [exp. 0]: 0.645506 (nearest), 1.329388 (directed)
Testing function cbrt for exponent 1024.
rounding mode GMP_RNDN:
0.641980 ulp(s) for x=1.59609794793821222058e+308
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 82/0.641980/0
rounding mode GMP_RNDZ:
-1.317329 ulp(s) for x=1.42829426254501983689e+308
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 158/1.317329/0
rounding mode GMP_RNDU:
1.323916 ulp(s) for x=1.02879807314880653205e+308
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 168/1.323916/0
rounding mode GMP_RNDD:
-1.317329 ulp(s) for x=1.42829426254501983689e+308
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 158/1.317329/0
Max. errors for cbrt [exp. 1024]: 0.641980 (nearest), 1.323916 (directed)
Testing function cbrt for exponent -1021.
rounding mode GMP_RNDN:
0.662404 ulp(s) for x=3.56547428260089917820e-308
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 82/0.662404/0
rounding mode GMP_RNDZ:
-1.324001 ulp(s) for x=3.68231256405520075398e-308
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 182/1.324001/0
rounding mode GMP_RNDU:
1.295019 ulp(s) for x=3.72086191134526563407e-308
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 157/1.295019/0
rounding mode GMP_RNDD:
-1.324001 ulp(s) for x=3.68231256405520075398e-308
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 182/1.324001/0
Max. errors for cbrt [exp. -1021]: 0.662404 (nearest), 1.324001 (directed)
Testing function hypot for exponents 0 and 0.
rounding mode GMP_RNDN:
1.304247 ulp(s) for x=5.44006064144968881635e-01 t=7.81407410057500362299e-01
nb errors/max ulp diff/wrong directed: 269/1.304247/0
rounding mode GMP_RNDZ:
1.304247 ulp(s) for x=5.44006064144968881635e-01 t=7.81407410057500362299e-01
wrong directed rounding for x=5.44006064144968881635e-01 t=7.81407410057500362299e-01 [1.304247]
nb errors/max ulp diff/wrong directed: 513/1.304247/506
rounding mode GMP_RNDU:
1.304247 ulp(s) for x=5.44006064144968881635e-01 t=7.81407410057500362299e-01
wrong directed rounding for x=9.85027553361700558554e-01 t=9.10040791032017182260e-01 [-1.132020]
nb errors/max ulp diff/wrong directed: 502/1.304247/494
rounding mode GMP_RNDD:
1.304247 ulp(s) for x=5.44006064144968881635e-01 t=7.81407410057500362299e-01
wrong directed rounding for x=5.44006064144968881635e-01 t=7.81407410057500362299e-01 [1.304247]
nb errors/max ulp diff/wrong directed: 513/1.304247/506
Max. errors for hypot [exp. 0]: 1.304247 (nearest), 1.304247 (directed)
Testing function hypot for exponents 1023 and 1023.
rounding mode GMP_RNDN:
1.304247 ulp(s) for x=4.88977983418439611086e+307 t=7.02365368295455493309e+307
nb errors/max ulp diff/wrong directed: 269/1.304247/0
rounding mode GMP_RNDZ:
1.304247 ulp(s) for x=4.88977983418439611086e+307 t=7.02365368295455493309e+307
wrong directed rounding for x=4.88977983418439611086e+307 t=7.02365368295455493309e+307 [1.304247]
nb errors/max ulp diff/wrong directed: 513/1.304247/506
rounding mode GMP_RNDU:
1.304247 ulp(s) for x=4.88977983418439611086e+307 t=7.02365368295455493309e+307
wrong directed rounding for x=8.85388635164276320746e+307 t=8.17987041241464356755e+307 [-1.132020]
nb errors/max ulp diff/wrong directed: 502/1.304247/494
rounding mode GMP_RNDD:
1.304247 ulp(s) for x=4.88977983418439611086e+307 t=7.02365368295455493309e+307
wrong directed rounding for x=4.88977983418439611086e+307 t=7.02365368295455493309e+307 [1.304247]
nb errors/max ulp diff/wrong directed: 513/1.304247/506
Max. errors for hypot [exp. 1023]: 1.304247 (nearest), 1.304247 (directed)
Testing function hypot for exponents -1021 and -1021.
rounding mode GMP_RNDN:
nb errors/max ulp diff/wrong directed: 269/0.000000/0
rounding mode GMP_RNDZ:
nb errors/max ulp diff/wrong directed: 513/0.000000/0
rounding mode GMP_RNDU:
nb errors/max ulp diff/wrong directed: 502/0.000000/0
rounding mode GMP_RNDD:
nb errors/max ulp diff/wrong directed: 513/0.000000/0
Max. errors for hypot [exp. -1021]: 0.000000 (nearest), 0.000000 (directed)
Testing function gamma for exponent 0.
rounding mode GMP_RNDN:
1.083913 ulp(s) for x=5.28831407598775116163e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 198/1.083913/0
rounding mode GMP_RNDZ:
1.083913 ulp(s) for x=5.28831407598775116163e-01
wrong directed rounding for x=5.28831407598775116163e-01 [1.083913]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 626/1.083913/626
rounding mode GMP_RNDU:
1.083913 ulp(s) for x=5.28831407598775116163e-01
wrong directed rounding for x=6.18639701706396039071e-01 [-0.809413]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 379/1.083913/374
rounding mode GMP_RNDD:
1.083913 ulp(s) for x=5.28831407598775116163e-01
wrong directed rounding for x=5.28831407598775116163e-01 [1.083913]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 626/1.083913/626
Max. errors for gamma [exp. 0]: 1.083913 (nearest), 1.083913 (directed)
Testing function gamma for exponent 7.
rounding mode GMP_RNDN:
-658.232885 ulp(s) for x=1.16692954337378367313e+02
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 998/658.232885/0
rounding mode GMP_RNDZ:
-658.232885 ulp(s) for x=1.16692954337378367313e+02
wrong directed rounding for x=1.12324846938332939317e+02 [560.587916]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 998/658.232885/437
rounding mode GMP_RNDU:
-658.232885 ulp(s) for x=1.16692954337378367313e+02
wrong directed rounding for x=1.16692954337378367313e+02 [-658.232885]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 999/658.232885/563
rounding mode GMP_RNDD:
-658.232885 ulp(s) for x=1.16692954337378367313e+02
wrong directed rounding for x=1.12324846938332939317e+02 [560.587916]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 998/658.232885/437
Max. errors for gamma [exp. 7]: 658.232885 (nearest), 658.232885 (directed)
Testing function exp2 for exponent 0.
rounding mode GMP_RNDN:
0.776630 ulp(s) for x=5.26681398714823334473e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 81/0.776630/0
rounding mode GMP_RNDZ:
0.776630 ulp(s) for x=5.26681398714823334473e-01
wrong directed rounding for x=5.26681398714823334473e-01 [0.776630]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 582/0.776630/582
rounding mode GMP_RNDU:
-0.506946 ulp(s) for x=7.79393773143798318515e-01
wrong directed rounding for x=7.79393773143798318515e-01 [-0.506946]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 418/0.506946/418
rounding mode GMP_RNDD:
0.776630 ulp(s) for x=5.26681398714823334473e-01
wrong directed rounding for x=5.26681398714823334473e-01 [0.776630]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 582/0.776630/582
Max. errors for exp2 [exp. 0]: 0.776630 (nearest), 0.776630 (directed)
Testing function exp2 for exponent 9.
rounding mode GMP_RNDN:
0.767303 ulp(s) for x=2.57562224126794205858e+02
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 74/0.767303/0
rounding mode GMP_RNDZ:
0.767303 ulp(s) for x=2.57562224126794205858e+02
wrong directed rounding for x=2.57562224126794205858e+02 [0.767303]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 494/0.767303/494
rounding mode GMP_RNDU:
-0.766876 ulp(s) for x=3.84469637602232523932e+02
wrong directed rounding for x=3.84469637602232523932e+02 [-0.766876]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 506/0.766876/506
rounding mode GMP_RNDD:
0.767303 ulp(s) for x=2.57562224126794205858e+02
wrong directed rounding for x=2.57562224126794205858e+02 [0.767303]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 494/0.767303/494
Max. errors for exp2 [exp. 9]: 0.767303 (nearest), 0.767303 (directed)
Testing function log2 for exponent 0.
rounding mode GMP_RNDN:
1.496022 ulp(s) for x=7.44053851313954517366e-01
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 36/1.496022/0
rounding mode GMP_RNDZ:
1.496022 ulp(s) for x=7.44053851313954517366e-01
wrong directed rounding for x=7.37506790014126667465e-01 [-1.477673]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 518/1.496022/513
rounding mode GMP_RNDU:
1.496022 ulp(s) for x=7.44053851313954517366e-01
wrong directed rounding for x=7.37506790014126667465e-01 [-1.477673]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 518/1.496022/513
rounding mode GMP_RNDD:
1.496022 ulp(s) for x=7.44053851313954517366e-01
wrong directed rounding for x=7.44053851313954517366e-01 [1.496022]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 496/1.496022/487
Max. errors for log2 [exp. 0]: 1.496022 (nearest), 1.496022 (directed)
Testing function log2 for exponent 1024.
rounding mode GMP_RNDN:
nb errors range/monotonicity/symmetry: 0/0/0
nb errors/max ulp diff/wrong directed: 0/0.000000/0
rounding mode GMP_RNDZ:
0.499628 ulp(s) for x=1.69563810279827459992e+308
wrong directed rounding for x=1.69563810279827459992e+308 [0.499628]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 504/0.499628/504
rounding mode GMP_RNDU:
-0.499320 ulp(s) for x=1.04435264206075324709e+308
wrong directed rounding for x=1.04435264206075324709e+308 [-0.499320]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 496/0.499320/496
rounding mode GMP_RNDD:
0.499628 ulp(s) for x=1.69563810279827459992e+308
wrong directed rounding for x=1.69563810279827459992e+308 [0.499628]
nb errors range/monotonicity: 0/0
nb errors/max ulp diff/wrong directed: 504/0.499628/504
Max. errors for log2 [exp. 1024]: 0.000000 (nearest), 0.499628 (directed)
Maximal errors for all functions: 658.232885 (nearest), 658.232885 (directed)