Lines Matching refs:check3

50 check3 (const char *op, mpfr_rnd_t rnd, const char *res)  in check3()  function
109 check3("1.76177628026265550074e-10", MPFR_RNDN, "1.00000000017617773906"); in check_worst_cases()
111 check3("7.54175277499595900852e-10", MPFR_RNDN, "1.00000000075417538881"); in check_worst_cases()
113 check3("-5.42410311287441459172e+02", MPFR_RNDN, "2.7176584868845723e-236"); in check_worst_cases()
115 check3("-1.32920285897904911589e-10", MPFR_RNDN, "0.999999999867079769622"); in check_worst_cases()
116 check3("-1.44037948245738330735e-10", MPFR_RNDN, "0.9999999998559621072757"); in check_worst_cases()
117 check3("-1.66795910430705305937e-10", MPFR_RNDZ, "0.9999999998332040895832"); in check_worst_cases()
118 check3("-1.64310953745426656203e-10", MPFR_RNDN, "0.9999999998356891017792"); in check_worst_cases()
119 check3("-1.38323574826034659172e-10", MPFR_RNDZ, "0.9999999998616764251835"); in check_worst_cases()
120 check3("-1.23621668465115401498e-10", MPFR_RNDZ, "0.9999999998763783315425"); in check_worst_cases()
1012 check3("0.0", MPFR_RNDU, "1.0"); in main()
1013 check3("-1e-170", MPFR_RNDU, "1.0"); in main()
1014 check3("-1e-170", MPFR_RNDN, "1.0"); in main()
1015 check3("-8.88024741073346941839e-17", MPFR_RNDU, "1.0"); in main()
1016 check3("8.70772839244701057915e-01", MPFR_RNDN, "2.38875626491680437269"); in main()
1017 check3("1.0", MPFR_RNDN, "2.71828182845904509080"); in main()
1018 check3("-3.42135637628104173534e-07", MPFR_RNDZ, "0.999999657864420798958"); in main()
1021 check3("3.4657359027997265421", MPFR_RNDN, "32.0"); in main()
1022 check3("3.4657359027997265421", MPFR_RNDU, "32.0"); in main()
1023 check3("3.4657359027997265421", MPFR_RNDD, "31.999999999999996447"); in main()
1024 check3("2.26523754332090625496e+01", MPFR_RNDD, "6.8833785261699581146e9"); in main()
1025 check3("1.31478962104089092122e+01", MPFR_RNDZ, "5.12930793917860137299e+05"); in main()
1026 check3("4.25637507920002378103e-01", MPFR_RNDU, "1.53056585656161181497e+00"); in main()
1027 check3("6.26551618962329307459e-16", MPFR_RNDU, "1.00000000000000066613e+00"); in main()
1028 check3("-3.35589513871216568383e-03",MPFR_RNDD, "9.96649729583626853291e-01"); in main()
1029 check3("1.95151388850007272424e+01", MPFR_RNDU, "2.98756340674767792225e+08"); in main()
1030 check3("2.45045953503350730784e+01", MPFR_RNDN, "4.38743344916128387451e+10"); in main()
1031 check3("2.58165606081678085104e+01", MPFR_RNDD, "1.62925781879432281494e+11"); in main()
1032 check3("-2.36539020084338638128e+01",MPFR_RNDZ, "5.33630792749924762447e-11"); in main()
1033 check3("2.39211946135858077866e+01", MPFR_RNDU, "2.44817704330214385986e+10"); in main()
1034 check3("-2.78190533055889162029e+01",MPFR_RNDZ, "8.2858803483596879512e-13"); in main()
1035 check3("2.64028186174889789584e+01", MPFR_RNDD, "2.9281844652878973388e11"); in main()
1036 check3("2.92086338843268329413e+01", MPFR_RNDZ, "4.8433797301907177734e12"); in main()
1037 check3("-2.46355324071459982349e+01",MPFR_RNDZ, "1.9995129297760994791e-11"); in main()
1038 check3("-2.23509444608605427618e+01",MPFR_RNDZ, "1.9638492867489702307e-10"); in main()
1039 check3("-2.41175390197331687148e+01",MPFR_RNDD, "3.3564940885530624592e-11"); in main()
1040 check3("2.46363885231578088053e+01", MPFR_RNDU, "5.0055014282693267822e10"); in main()
1041check3("111.1263531080090984914932050742208957672119140625", MPFR_RNDN, "1.8262572323517295459e48"… in main()
1042 check3("-3.56196340354684821250e+02",MPFR_RNDN, "2.0225297096141478156e-155"); in main()
1043 check3("6.59678273772710895173e+02", MPFR_RNDU, "3.1234469273830195529e286"); in main()
1044 check3("5.13772529701934331570e+02", MPFR_RNDD, "1.3445427121297197752e223"); in main()
1045 check3("3.57430211008718345056e+02", MPFR_RNDD, "1.6981197246857298443e155"); in main()
1046 check3("3.82001814471465536371e+02", MPFR_RNDU, "7.9667300591087367805e165"); in main()
1047 check3("5.92396038219384422518e+02", MPFR_RNDD, "1.880747529554661989e257"); in main()
1048 check3("-5.02678550462488090034e+02",MPFR_RNDU, "4.8919201895446217839e-219"); in main()
1049 check3("5.30015757134837031117e+02", MPFR_RNDD, "1.5237672861171573939e230"); in main()
1050 check3("5.16239362447650933063e+02", MPFR_RNDZ, "1.5845518406744492105e224"); in main()
1051 check3("6.00812634798592370977e-01", MPFR_RNDN, "1.823600119339019443"); in main()