test/jdk/java/lang/StrictMath/Log10Tests.java - master - githubmirror/jdk22

test/jdk/java/lang/StrictMath/Log10Tests.java
775 строк44 KB
Joe Darcy
8301205: Port fdlibm log10 to Java
30 янв 2023, 23:33
30 янв 2023, 23:3363bb2ce
/*
 * Copyright (c) 2003, 2023, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */

/*
 * @test
 * @bug 4074599 8301205
 * @key randomness
 * @library /test/lib
 * @build jdk.test.lib.RandomFactory
 * @build Tests
 * @build FdlibmTranslit
 * @build Log10Tests
 * @run main Log10Tests
 * @summary Tests for StrictMath.log10
 */
import jdk.test.lib.RandomFactory;

/**
 * The tests in ../Math/Log10Tests.java test properties that should
 * hold for any log10 implementation, including the FDLIBM-based one
 * required for StrictMath.log10.  Therefore, the test cases in
 * ../Math/Log10Tests.java are run against both the Math and
 * StrictMath versions of log10.  The role of this test is to verify
 * that the FDLIBM log10 algorithm is being used by running golden
 * file tests on values that may vary from one conforming log10
 * implementation to another.
 */

public class Log10Tests {
    private Log10Tests(){}

    public static void main(String... args) {
        int failures = 0;

        failures += testLog10();
        failures += testAgainstTranslit();

        if (failures > 0) {
            System.err.println("Testing log10 incurred "
                               + failures + " failures.");
            throw new RuntimeException();
        }
    }

    static int testLog10Case(double input, double expected) {
        return Tests.test("StrictMath.log10(double)", input,
                          StrictMath::log10, expected);
    }

    static int testLog10() {
        int failures = 0;
        double [][] testCases = {
            {0x1.3fffffffffec1p-297,    -0x1.653c6a27ae2f8p6},
            {0x1.4p-297,                -0x1.653c6a27ae2f7p6},
            {0x1.3fffffffffbe1p-296,    -0x1.640828f2a4382p6},
            {0x1.4p-296,                -0x1.640828f2a437dp6},
            {0x1.3fffffffffd52p-295,    -0x1.62d3e7bd9a406p6},
            {0x1.4p-295,                -0x1.62d3e7bd9a403p6},
            {0x1.3fffffffffa72p-294,    -0x1.619fa6889049p6},
            {0x1.4p-294,                -0x1.619fa68890489p6},
            {0x1.3fffffffff9bbp-293,    -0x1.606b655386518p6},
            {0x1.4p-293,                -0x1.606b65538650fp6},
            {0x1.3fffffffffbe4p-292,    -0x1.5f37241e7c59ap6},
            {0x1.4p-292,                -0x1.5f37241e7c595p6},
            {0x1.3ffffffffff7ep-291,    -0x1.5e02e2e97261cp6},
            {0x1.4p-291,                -0x1.5e02e2e97261bp6},
            {0x1.3fffffffffc9ep-290,    -0x1.5ccea1b4686a6p6},
            {0x1.4p-290,                -0x1.5ccea1b4686a1p6},
            {0x1.3fffffffffec7p-289,    -0x1.5b9a607f5e728p6},
            {0x1.4p-289,                -0x1.5b9a607f5e727p6},
            {0x1.3fffffffffbe7p-288,    -0x1.5a661f4a547b2p6},
            {0x1.4p-288,                -0x1.5a661f4a547adp6},
            {0x1.3fffffffff907p-287,    -0x1.5931de154a83cp6},
            {0x1.4p-287,                -0x1.5931de154a833p6},
            {0x1.3fffffffffd59p-286,    -0x1.57fd9ce0408bcp6},
            {0x1.4p-286,                -0x1.57fd9ce0408b9p6},
            {0x1.3fffffffffecap-285,    -0x1.56c95bab3694p6},
            {0x1.4p-285,                -0x1.56c95bab3693fp6},
            {0x1.3fffffffffbeap-284,    -0x1.55951a762c9cap6},
            {0x1.4p-284,                -0x1.55951a762c9c5p6},
            {0x1.3ffffffffff84p-283,    -0x1.5460d94122a4cp6},
            {0x1.4p-283,                -0x1.5460d94122a4bp6},
            {0x1.3fffffffffca4p-282,    -0x1.532c980c18ad6p6},
            {0x1.4p-282,                -0x1.532c980c18ad1p6},
            {0x1.3fffffffff9c4p-281,    -0x1.51f856d70eb6p6},
            {0x1.4p-281,                -0x1.51f856d70eb57p6},
            {0x1.3fffffffffe16p-280,    -0x1.50c415a204bep6},
            {0x1.4p-280,                -0x1.50c415a204bddp6},
            {0x1.3fffffffffd5ep-279,    -0x1.4f8fd46cfac66p6},
            {0x1.4p-279,                -0x1.4f8fd46cfac63p6},
            {0x1.3fffffffffd5fp-278,    -0x1.4e5b9337f0cecp6},
            {0x1.4p-278,                -0x1.4e5b9337f0ce9p6},
            {0x1.3fffffffffedp-277,     -0x1.4d275202e6d7p6},
            {0x1.4p-277,                -0x1.4d275202e6d6fp6},
            {0x1.3fffffffffbfp-276,     -0x1.4bf310cddcdfap6},
            {0x1.4p-276,                -0x1.4bf310cddcdf5p6},
            {0x1.3ffffffffff8ap-275,    -0x1.4abecf98d2e7bp6},
            {0x1.4p-275,                -0x1.4abecf98d2e7bp6},
            {0x1.3fffffffffd62p-274,    -0x1.498a8e63c8f04p6},
            {0x1.4p-274,                -0x1.498a8e63c8f01p6},
            {0x1.3fffffffff9cap-273,    -0x1.48564d2ebef9p6},
            {0x1.4p-273,                -0x1.48564d2ebef87p6},
            {0x1.3fffffffff6eap-272,    -0x1.47220bf9b501ap6},
            {0x1.4p-272,                -0x1.47220bf9b500dp6},
            {0x1.3fffffffffb3cp-271,    -0x1.45edcac4ab09ap6},
            {0x1.4p-271,                -0x1.45edcac4ab093p6},
            {0x1.3fffffffffd65p-270,    -0x1.44b9898fa111cp6},
            {0x1.4p-270,                -0x1.44b9898fa1119p6},
            {0x1.3fffffffffa85p-269,    -0x1.4385485a971a6p6},
            {0x1.4p-269,                -0x1.4385485a9719fp6},
            {0x1.3ffffffffe2c7p-268,    -0x1.425107258d24dp6},
            {0x1.3fffffffffed7p-268,    -0x1.425107258d226p6},
            {0x1.4p-268,                -0x1.425107258d225p6},
            {0x1.3fffffffff916p-267,    -0x1.411cc5f0832b4p6},
            {0x1.4p-267,                -0x1.411cc5f0832abp6},
            {0x1.3fffffffffd68p-266,    -0x1.3fe884bb79334p6},
            {0x1.4p-266,                -0x1.3fe884bb79331p6},
            {0x1.3fffffffffe21p-265,    -0x1.3eb443866f3b9p6},
            {0x1.4p-265,                -0x1.3eb443866f3b7p6},
            {0x1.3fffffffffedap-264,    -0x1.3d8002516543ep6},
            {0x1.4p-264,                -0x1.3d8002516543dp6},
            {0x1.3fffffffffbfap-263,    -0x1.3c4bc11c5b4c9p6},
            {0x1.4p-263,                -0x1.3c4bc11c5b4c3p6},
            {0x1.3fffffffff862p-262,    -0x1.3b177fe751554p6},
            {0x1.4p-262,                -0x1.3b177fe751549p6},
            {0x1.3fffffffffa8bp-261,    -0x1.39e33eb2475d6p6},
            {0x1.4p-261,                -0x1.39e33eb2475cfp6},
            {0x1.3fffffffffeddp-260,    -0x1.38aefd7d3d656p6},
            {0x1.4p-260,                -0x1.38aefd7d3d655p6},
            {0x1.3fffffffffbfdp-259,    -0x1.377abc48336ep6},
            {0x1.4p-259,                -0x1.377abc48336dbp6},
            {0x1.3ffffffffff97p-258,    -0x1.36467b1329762p6},
            {0x1.4p-258,                -0x1.36467b1329761p6},
            {0x1.3fffffffffedfp-257,    -0x1.351239de1f7e8p6},
            {0x1.4p-257,                -0x1.351239de1f7e7p6},
            {0x1.3fffffffffeep-256,     -0x1.33ddf8a91586ep6},
            {0x1.4p-256,                -0x1.33ddf8a91586dp6},
            {0x1.3fffffffffcp-255,      -0x1.32a9b7740b8f8p6},
            {0x1.4p-255,                -0x1.32a9b7740b8f3p6},
            {0x1.3fffffffffd71p-254,    -0x1.3175763f0197cp6},
            {0x1.4p-254,                -0x1.3175763f01979p6},
            {0x1.3fffffffff588p-253,    -0x1.30413509f7a0ep6},
            {0x1.4p-253,                -0x1.30413509f79ffp6},
            {0x1.3fffffffff7b1p-252,    -0x1.2f0cf3d4eda9p6},
            {0x1.4p-252,                -0x1.2f0cf3d4eda85p6},
            {0x1.3fffffffffc03p-251,    -0x1.2dd8b29fe3b1p6},
            {0x1.4p-251,                -0x1.2dd8b29fe3b0bp6},
            {0x1.3fffffffff86bp-250,    -0x1.2ca4716ad9b9cp6},
            {0x1.4p-250,                -0x1.2ca4716ad9b91p6},
            {0x1.3fffffffffcbdp-249,    -0x1.2b703035cfc1cp6},
            {0x1.4p-249,                -0x1.2b703035cfc17p6},
            {0x1.3fffffffffee6p-248,    -0x1.2a3bef00c5c9ep6},
            {0x1.4p-248,                -0x1.2a3bef00c5c9dp6},
            {0x1.3fffffffffc06p-247,    -0x1.2907adcbbbd28p6},
            {0x1.4p-247,                -0x1.2907adcbbbd23p6},
            {0x1.3fffffffffd77p-246,    -0x1.27d36c96b1dacp6},
            {0x1.4p-246,                -0x1.27d36c96b1da9p6},
            {0x1.3fffffffffd78p-245,    -0x1.269f2b61a7e32p6},
            {0x1.4p-245,                -0x1.269f2b61a7e2fp6},
            {0x1.3ffffffffea0bp-244,    -0x1.256aea2c9ded3p6},
            {0x1.3fffffffffee9p-244,    -0x1.256aea2c9deb6p6},
            {0x1.4p-244,                -0x1.256aea2c9deb5p6},
            {0x1.3fffffffffe32p-243,    -0x1.2436a8f793f3ep6},
            {0x1.4p-243,                -0x1.2436a8f793f3bp6},
            {0x1.3ffffffffffa3p-242,    -0x1.230267c289fc2p6},
            {0x1.4p-242,                -0x1.230267c289fc1p6},
            {0x1.3fffffffff591p-241,    -0x1.21ce268d80056p6},
            {0x1.4p-241,                -0x1.21ce268d80047p6},
            {0x1.3fffffffff9e3p-240,    -0x1.2099e558760d6p6},
            {0x1.4p-240,                -0x1.2099e558760cdp6},
            {0x1.3fffffffffc0cp-239,    -0x1.1f65a4236c158p6},
            {0x1.4p-239,                -0x1.1f65a4236c153p6},
            {0x1.3fffffffffd7dp-238,    -0x1.1e3162ee621dcp6},
            {0x1.4p-238,                -0x1.1e3162ee621d9p6},
            {0x1.3fffffffffd7ep-237,    -0x1.1cfd21b958262p6},
            {0x1.4p-237,                -0x1.1cfd21b95825fp6},
            {0x1.3fffffffffeefp-236,    -0x1.1bc8e0844e2e6p6},
            {0x1.4p-236,                -0x1.1bc8e0844e2e5p6},
            {0x1.3fffffffffc0fp-235,    -0x1.1a949f4f4437p6},
            {0x1.4p-235,                -0x1.1a949f4f4436bp6},
            {0x1.3ffffffffffa9p-234,    -0x1.19605e1a3a3f1p6},
            {0x1.4p-234,                -0x1.19605e1a3a3f1p6},
            {0x1.3ffffffffffaap-233,    -0x1.182c1ce530478p6},
            {0x1.4p-233,                -0x1.182c1ce530477p6},
            {0x1.3fffffffff2b7p-232,    -0x1.16f7dbb02651p6},
            {0x1.4p-232,                -0x1.16f7dbb0264fdp6},
            {0x1.3fffffffffef3p-231,    -0x1.15c39a7b1c584p6},
            {0x1.4p-231,                -0x1.15c39a7b1c583p6},
            {0x1.3fffffffff932p-230,    -0x1.148f594612612p6},
            {0x1.4p-230,                -0x1.148f594612609p6},
            {0x1.3fffffffffd84p-229,    -0x1.135b181108692p6},
            {0x1.4p-229,                -0x1.135b18110868fp6},
            {0x1.3fffffffffaa4p-228,    -0x1.1226d6dbfe71cp6},
            {0x1.4p-228,                -0x1.1226d6dbfe715p6},
            {0x1.3fffffffffef6p-227,    -0x1.10f295a6f479cp6},
            {0x1.4p-227,                -0x1.10f295a6f479bp6},
            {0x1.3fffffffffd86p-226,    -0x1.0fbe5471ea824p6},
            {0x1.4p-226,                -0x1.0fbe5471ea821p6},
            {0x1.3fffffffffd87p-225,    -0x1.0e8a133ce08aap6},
            {0x1.4p-225,                -0x1.0e8a133ce08a7p6},
            {0x1.3fffffffffef8p-224,    -0x1.0d55d207d692ep6},
            {0x1.4p-224,                -0x1.0d55d207d692dp6},
            {0x1.3fffffffffef9p-223,    -0x1.0c2190d2cc9b4p6},
            {0x1.4p-223,                -0x1.0c2190d2cc9b3p6},
            {0x1.3fffffffff42fp-222,    -0x1.0aed4f9dc2a4ap6},
            {0x1.4p-222,                -0x1.0aed4f9dc2a39p6},
            {0x1.3fffffffff658p-221,    -0x1.09b90e68b8accp6},
            {0x1.4p-221,                -0x1.09b90e68b8abfp6},
            {0x1.3fffffffffaaap-220,    -0x1.0884cd33aeb4cp6},
            {0x1.4p-220,                -0x1.0884cd33aeb45p6},
            {0x1.3fffffffffefcp-219,    -0x1.07508bfea4bccp6},
            {0x1.4p-219,                -0x1.07508bfea4bcbp6},
            {0x1.3fffffffffc1cp-218,    -0x1.061c4ac99ac56p6},
            {0x1.4p-218,                -0x1.061c4ac99ac51p6},
            {0x1.3fffffffffd8dp-217,    -0x1.04e8099490cdap6},
            {0x1.4p-217,                -0x1.04e8099490cd7p6},
            {0x1.3fffffffffaadp-216,    -0x1.03b3c85f86d65p6},
            {0x1.3fffffffffefep-216,    -0x1.03b3c85f86d5ep6},
            {0x1.4p-216,                -0x1.03b3c85f86d5dp6},
            {0x1.3ffffffffdbbdp-215,    -0x1.027f872a7ce16p6},
            {0x1.3fffffffffeffp-215,    -0x1.027f872a7cde4p6},
            {0x1.4p-215,                -0x1.027f872a7cde3p6},
            {0x1.3fffffffffc1fp-214,    -0x1.014b45f572e6ep6},
            {0x1.4p-214,                -0x1.014b45f572e69p6},
            {0x1.3ffffffffffb9p-213,    -0x1.001704c068efp6},
            {0x1.4p-213,                -0x1.001704c068eefp6},
            {0x1.3fffffffffdbfp-212,    -0x1.fdc58716bdefp5},
            {0x1.4p-212,                -0x1.fdc58716bdeeap5},
            {0x1.3ffffffffff3p-211,     -0x1.fb5d04aca9ff8p5},
            {0x1.4p-211,                -0x1.fb5d04aca9ff6p5},
            {0x1.3ffffffffffe9p-210,    -0x1.f8f4824296102p5},
            {0x1.4p-210,                -0x1.f8f4824296102p5},
            {0x1.3fffffffffd09p-209,    -0x1.f68bffd882216p5},
            {0x1.4p-209,                -0x1.f68bffd88220ep5},
            {0x1.3fffffffffdc2p-208,    -0x1.f4237d6e6e32p5},
            {0x1.4p-208,                -0x1.f4237d6e6e31ap5},
            {0x1.3fffffffff23fp-207,    -0x1.f1bafb045a44cp5},
            {0x1.3fffffffffe7bp-207,    -0x1.f1bafb045a42ap5},
            {0x1.4p-207,                -0x1.f1bafb045a426p5},
            {0x1.3ffffffffffecp-206,    -0x1.ef52789a46532p5},
            {0x1.4p-206,                -0x1.ef52789a46532p5},
            {0x1.3fffffffffdc4p-205,    -0x1.ece9f63032644p5},
            {0x1.4p-205,                -0x1.ece9f6303263ep5},
            {0x1.3ffffffffe211p-204,    -0x1.ea8173c61e79ep5},
            {0x1.3ffffffffff35p-204,    -0x1.ea8173c61e74cp5},
            {0x1.4p-204,                -0x1.ea8173c61e74ap5},
            {0x1.3ffffffffec25p-203,    -0x1.e818f15c0a88ep5},
            {0x1.3fffffffffe7ep-203,    -0x1.e818f15c0a85ap5},
            {0x1.4p-203,                -0x1.e818f15c0a856p5},
            {0x1.3ffffffffdcadp-202,    -0x1.e5b06ef1f69c5p5},
            {0x1.3fffffffffedbp-202,    -0x1.e5b06ef1f6966p5},
            {0x1.4p-202,                -0x1.e5b06ef1f6962p5},
            {0x1.3fffffffffd0fp-201,    -0x1.e347ec87e2a76p5},
            {0x1.4p-201,                -0x1.e347ec87e2a6ep5},
            {0x1.3fffffffffe8p-200,     -0x1.e0df6a1dceb7ep5},
            {0x1.4p-200,                -0x1.e0df6a1dceb7ap5},
            {0x1.3ffffffffff39p-199,    -0x1.de76e7b3bac88p5},
            {0x1.4p-199,                -0x1.de76e7b3bac86p5},
            {0x1.3fffffffffff2p-198,    -0x1.dc0e6549a6d92p5},
            {0x1.4p-198,                -0x1.dc0e6549a6d92p5},
            {0x1.3ffffffffff97p-197,    -0x1.d9a5e2df92eap5},
            {0x1.4p-197,                -0x1.d9a5e2df92e9ep5},
            {0x1.3fffffffffdcbp-196,    -0x1.d73d60757efbp5},
            {0x1.4p-196,                -0x1.d73d60757efaap5},
            {0x1.3ffffffffff3cp-195,    -0x1.d4d4de0b6b0b8p5},
            {0x1.4p-195,                -0x1.d4d4de0b6b0b6p5},
            {0x1.3fffffffffee1p-194,    -0x1.d26c5ba1571c6p5},
            {0x1.4p-194,                -0x1.d26c5ba1571c2p5},
            {0x1.3ffffffffff9ap-193,    -0x1.d003d937432dp5},
            {0x1.4p-193,                -0x1.d003d937432cep5},
            {0x1.3fffffffffdcep-192,    -0x1.cd9b56cd2f3ep5},
            {0x1.4p-192,                -0x1.cd9b56cd2f3dap5},
            {0x1.3fffffffffe87p-191,    -0x1.cb32d4631b4eap5},
            {0x1.4p-191,                -0x1.cb32d4631b4e6p5},
            {0x1.3fffffffffff8p-190,    -0x1.c8ca51f9075f2p5},
            {0x1.4p-190,                -0x1.c8ca51f9075f2p5},
            {0x1.3fffffffffff9p-189,    -0x1.c661cf8ef36fep5},
            {0x1.4p-189,                -0x1.c661cf8ef36fep5},
            {0x1.3fffffffffdd1p-188,    -0x1.c3f94d24df81p5},
            {0x1.4p-188,                -0x1.c3f94d24df80ap5},
            {0x1.3fffffffffe8ap-187,    -0x1.c190cabacb91ap5},
            {0x1.4p-187,                -0x1.c190cabacb916p5},
            {0x1.3ffffffffff43p-186,    -0x1.bf284850b7a24p5},
            {0x1.4p-186,                -0x1.bf284850b7a22p5},
            {0x1.3fffffffffffcp-185,    -0x1.bcbfc5e6a3b2ep5},
            {0x1.4p-185,                -0x1.bcbfc5e6a3b2ep5},
            {0x1.3ffffffffffa1p-184,    -0x1.ba57437c8fc3cp5},
            {0x1.4p-184,                -0x1.ba57437c8fc3ap5},
            {0x1.3fffffffffd79p-183,    -0x1.b7eec1127bd4ep5},
            {0x1.4p-183,                -0x1.b7eec1127bd46p5},
            {0x1.3fffffffffe32p-182,    -0x1.b5863ea867e58p5},
            {0x1.4p-182,                -0x1.b5863ea867e52p5},
            {0x1.3ffffffffe4a7p-181,    -0x1.b31dbc3e53faap5},
            {0x1.3ffffffffffffp-181,    -0x1.b31dbc3e53f5ep5},
            {0x1.4p-181,                -0x1.b31dbc3e53f5ep5},
            {0x1.3fffffffffdd7p-180,    -0x1.b0b539d44007p5},
            {0x1.4p-180,                -0x1.b0b539d44006ap5},
            {0x1.3fffffffffa9bp-179,    -0x1.ae4cb76a2c185p5},
            {0x1.3fffffffffe9p-179,     -0x1.ae4cb76a2c17ap5},
            {0x1.4p-179,                -0x1.ae4cb76a2c177p5},
            {0x1.3ffffffffe3f1p-178,    -0x1.abe43500182d1p5},
            {0x1.3ffffffffff49p-178,    -0x1.abe4350018284p5},
            {0x1.4p-178,                -0x1.abe4350018283p5},
            {0x1.3fffffffffc69p-177,    -0x1.a97bb29604398p5},
            {0x1.4p-177,                -0x1.a97bb2960438fp5},
            {0x1.3fffffffffddap-176,    -0x1.a713302bf04ap5},
            {0x1.4p-176,                -0x1.a713302bf049bp5},
            {0x1.3fffffffffe93p-175,    -0x1.a4aaadc1dc5aap5},
            {0x1.4p-175,                -0x1.a4aaadc1dc5a7p5},
            {0x1.3fffffffff481p-174,    -0x1.a2422b57c86d3p5},
            {0x1.3fffffffffe38p-174,    -0x1.a2422b57c86b8p5},
            {0x1.4p-174,                -0x1.a2422b57c86b3p5},
            {0x1.3fffffffffef1p-173,    -0x1.9fd9a8edb47c2p5},
            {0x1.4p-173,                -0x1.9fd9a8edb47bfp5},
            {0x1.3ffffffffffaap-172,    -0x1.9d712683a08ccp5},
            {0x1.4p-172,                -0x1.9d712683a08cbp5},
            {0x1.3fffffffffddep-171,    -0x1.9b08a4198c9dcp5},
            {0x1.4p-171,                -0x1.9b08a4198c9d7p5},
            {0x1.3ffffffffff4fp-170,    -0x1.98a021af78ae4p5},
            {0x1.4p-170,                -0x1.98a021af78ae3p5},
            {0x1.3fffffffffd27p-169,    -0x1.96379f4564bf6p5},
            {0x1.4p-169,                -0x1.96379f4564befp5},
            {0x1.3fffffffffdep-168,     -0x1.93cf1cdb50dp5},
            {0x1.4p-168,                -0x1.93cf1cdb50cfbp5},
            {0x1.3fffffffffe99p-167,    -0x1.91669a713ce0ap5},
            {0x1.4p-167,                -0x1.91669a713ce07p5},
            {0x1.3ffffffffff52p-166,    -0x1.8efe180728f14p5},
            {0x1.4p-166,                -0x1.8efe180728f13p5},
            {0x1.3fffffffffc72p-165,    -0x1.8c95959d15028p5},
            {0x1.4p-165,                -0x1.8c95959d1501fp5},
            {0x1.3ffffffffffbp-164,     -0x1.8a2d13330112cp5},
            {0x1.4p-164,                -0x1.8a2d13330112bp5},
            {0x1.3fffffffffd88p-163,    -0x1.87c490c8ed23ep5},
            {0x1.4p-163,                -0x1.87c490c8ed237p5},
            {0x1.3fffffffffe9dp-162,    -0x1.855c0e5ed9346p5},
            {0x1.4p-162,                -0x1.855c0e5ed9343p5},
            {0x1.3fffffffffefap-161,    -0x1.82f38bf4c5452p5},
            {0x1.4p-161,                -0x1.82f38bf4c544fp5},
            {0x1.3fffffffffd2ep-160,    -0x1.808b098ab1562p5},
            {0x1.4p-160,                -0x1.808b098ab155bp5},
            {0x1.3fffffffffe9fp-159,    -0x1.7e2287209d66ap5},
            {0x1.4p-159,                -0x1.7e2287209d667p5},
            {0x1.3ffffffffff58p-158,    -0x1.7bba04b689774p5},
            {0x1.4p-158,                -0x1.7bba04b689773p5},
            {0x1.3fffffffff099p-157,    -0x1.7951824c758aap5},
            {0x1.3ffffffffff59p-157,    -0x1.7951824c7588p5},
            {0x1.4p-157,                -0x1.7951824c7587fp5},
            {0x1.3fffffffffd31p-156,    -0x1.76e8ffe261992p5},
            {0x1.4p-156,                -0x1.76e8ffe26198bp5},
            {0x1.3fffffffffdeap-155,    -0x1.74807d784da9cp5},
            {0x1.4p-155,                -0x1.74807d784da97p5},
            {0x1.3fffffffffea3p-154,    -0x1.7217fb0e39ba6p5},
            {0x1.4p-154,                -0x1.7217fb0e39ba3p5},
            {0x1.3fffffffffc7bp-153,    -0x1.6faf78a425cb8p5},
            {0x1.3ffffffffff5cp-153,    -0x1.6faf78a425cbp5},
            {0x1.4p-153,                -0x1.6faf78a425cafp5},
            {0x1.3ffffffffffb9p-152,    -0x1.6d46f63a11dbcp5},
            {0x1.4p-152,                -0x1.6d46f63a11dbbp5},
            {0x1.3fffffffffa54p-151,    -0x1.6ade73cffded6p5},
            {0x1.4p-151,                -0x1.6ade73cffdec7p5},
            {0x1.3fffffffffbc5p-150,    -0x1.6875f165e9fdfp5},
            {0x1.3fffffffffea6p-150,    -0x1.6875f165e9fd6p5},
            {0x1.4p-150,                -0x1.6875f165e9fd3p5},
            {0x1.3ffffffffff5fp-149,    -0x1.660d6efbd60ep5},
            {0x1.4p-149,                -0x1.660d6efbd60dfp5},
            {0x1.3fffffffffdefp-148,    -0x1.63a4ec91c21fp5},
            {0x1.4p-148,                -0x1.63a4ec91c21ebp5},
            {0x1.3fffffffffea8p-147,    -0x1.613c6a27ae2fap5},
            {0x1.4p-147,                -0x1.613c6a27ae2f7p5},
            {0x1.3ffffffffff61p-146,    -0x1.5ed3e7bd9a404p5},
            {0x1.4p-146,                -0x1.5ed3e7bd9a403p5},
            {0x1.3ffffffffff62p-145,    -0x1.5c6b65538651p5},
            {0x1.4p-145,                -0x1.5c6b65538650fp5},
            {0x1.3ffffffffffbfp-144,    -0x1.5a02e2e97261cp5},
            {0x1.4p-144,                -0x1.5a02e2e97261bp5},
            {0x1.3fffffffffcdfp-143,    -0x1.579a607f5e73p5},
            {0x1.4p-143,                -0x1.579a607f5e727p5},
            {0x1.3fffffffffd98p-142,    -0x1.5531de154a83ap5},
            {0x1.4p-142,                -0x1.5531de154a833p5},
            {0x1.3fffffffffe51p-141,    -0x1.52c95bab36944p5},
            {0x1.4p-141,                -0x1.52c95bab3693fp5},
            {0x1.3ffffffffffc2p-140,    -0x1.5060d94122a4cp5},
            {0x1.4p-140,                -0x1.5060d94122a4bp5},
            {0x1.3fffffffffdf6p-139,    -0x1.4df856d70eb5cp5},
            {0x1.4p-139,                -0x1.4df856d70eb57p5},
            {0x1.3fffffffffeafp-138,    -0x1.4b8fd46cfac66p5},
            {0x1.4p-138,                -0x1.4b8fd46cfac63p5},
            {0x1.3ffffffffff68p-137,    -0x1.49275202e6d7p5},
            {0x1.4p-137,                -0x1.49275202e6d6fp5},
            {0x1.3ffffffffffc5p-136,    -0x1.46becf98d2e7bp5},
            {0x1.4p-136,                -0x1.46becf98d2e7bp5},
            {0x1.3fffffffffdf9p-135,    -0x1.44564d2ebef8cp5},
            {0x1.4p-135,                -0x1.44564d2ebef87p5},
            {0x1.3fffffffffeb2p-134,    -0x1.41edcac4ab096p5},
            {0x1.4p-134,                -0x1.41edcac4ab093p5},
            {0x1.3ffffffffff6bp-133,    -0x1.3f85485a971ap5},
            {0x1.4p-133,                -0x1.3f85485a9719fp5},
            {0x1.3ffffffffe699p-132,    -0x1.3d1cc5f0832f2p5},
            {0x1.3ffffffffff1p-132,     -0x1.3d1cc5f0832aep5},
            {0x1.4p-132,                -0x1.3d1cc5f0832abp5},
            {0x1.3ffffffffffc9p-131,    -0x1.3ab443866f3b8p5},
            {0x1.4p-131,                -0x1.3ab443866f3b7p5},
            {0x1.3fffffffffda1p-130,    -0x1.384bc11c5b4cap5},
            {0x1.4p-130,                -0x1.384bc11c5b4c3p5},
            {0x1.3ffffffffed15p-129,    -0x1.35e33eb247604p5},
            {0x1.3ffffffffff6ep-129,    -0x1.35e33eb2475dp5},
            {0x1.4p-129,                -0x1.35e33eb2475cfp5},
            {0x1.3ffffffffdd9dp-128,    -0x1.337abc483373bp5},
            {0x1.3fffffffffd46p-128,    -0x1.337abc48336e2p5},
            {0x1.4p-128,                -0x1.337abc48336dbp5},
            {0x1.3fffffffffdffp-127,    -0x1.311239de1f7ecp5},
            {0x1.4p-127,                -0x1.311239de1f7e7p5},
            {0x1.3fffffffff391p-126,    -0x1.2ea9b7740b916p5},
            {0x1.3ffffffffff7p-126,     -0x1.2ea9b7740b8f4p5},
            {0x1.4p-126,                -0x1.2ea9b7740b8f3p5},
            {0x1.3ffffffffff71p-125,    -0x1.2c413509f7ap5},
            {0x1.4p-125,                -0x1.2c413509f79ffp5},
            {0x1.3fffffffffc91p-124,    -0x1.29d8b29fe3b14p5},
            {0x1.4p-124,                -0x1.29d8b29fe3b0bp5},
            {0x1.3fffffffffd4ap-123,    -0x1.27703035cfc1ep5},
            {0x1.4p-123,                -0x1.27703035cfc17p5},
            {0x1.3fffffffffe03p-122,    -0x1.2507adcbbbd28p5},
            {0x1.4p-122,                -0x1.2507adcbbbd23p5},
            {0x1.3fffffffffebcp-121,    -0x1.229f2b61a7e32p5},
            {0x1.4p-121,                -0x1.229f2b61a7e2fp5},
            {0x1.3ffffffffff19p-120,    -0x1.2036a8f793f3ep5},
            {0x1.4p-120,                -0x1.2036a8f793f3bp5},
            {0x1.3fffffffffd4dp-119,    -0x1.1dce268d8004ep5},
            {0x1.4p-119,                -0x1.1dce268d80047p5},
            {0x1.3fffffffffebep-118,    -0x1.1b65a4236c156p5},
            {0x1.4p-118,                -0x1.1b65a4236c153p5},
            {0x1.3ffffffffff77p-117,    -0x1.18fd21b95826p5},
            {0x1.4p-117,                -0x1.18fd21b95825fp5},
            {0x1.3ffffffffffd4p-116,    -0x1.16949f4f4436bp5},
            {0x1.4p-116,                -0x1.16949f4f4436bp5},
            {0x1.3fffffffffe08p-115,    -0x1.142c1ce53047cp5},
            {0x1.4p-115,                -0x1.142c1ce530477p5},
            {0x1.3fffffffffe09p-114,    -0x1.11c39a7b1c588p5},
            {0x1.4p-114,                -0x1.11c39a7b1c583p5},
            {0x1.3fffffffffec2p-113,    -0x1.0f5b181108692p5},
            {0x1.4p-113,                -0x1.0f5b18110868fp5},
            {0x1.3ffffffffff7bp-112,    -0x1.0cf295a6f479cp5},
            {0x1.4p-112,                -0x1.0cf295a6f479bp5},
            {0x1.3ffffffffffd8p-111,    -0x1.0a8a133ce08a8p5},
            {0x1.4p-111,                -0x1.0a8a133ce08a7p5},
            {0x1.3fffffffffa73p-110,    -0x1.082190d2cc9c2p5},
            {0x1.4p-110,                -0x1.082190d2cc9b3p5},
            {0x1.3fffffffffec5p-109,    -0x1.05b90e68b8ac2p5},
            {0x1.4p-109,                -0x1.05b90e68b8abfp5},
            {0x1.3ffffffffedddp-108,    -0x1.03508bfea4bfep5},
            {0x1.3ffffffffff7ep-108,    -0x1.03508bfea4bccp5},
            {0x1.4p-108,                -0x1.03508bfea4bcbp5},
            {0x1.3ffffffffde65p-107,    -0x1.00e8099490d35p5},
            {0x1.3fffffffffe0ep-107,    -0x1.00e8099490cdcp5},
            {0x1.4p-107,                -0x1.00e8099490cd7p5},
            {0x1.3ffffffffed3dp-106,    -0x1.fcff0e54f9c2fp4},
            {0x1.3fffffffffe82p-106,    -0x1.fcff0e54f9bcep4},
            {0x1.4p-106,                -0x1.fcff0e54f9bc6p4},
            {0x1.3fffffffffff3p-105,    -0x1.f82e0980d1ddep4},
            {0x1.4p-105,                -0x1.f82e0980d1ddep4},
            {0x1.3ffffffffff98p-104,    -0x1.f35d04aca9ff8p4},
            {0x1.4p-104,                -0x1.f35d04aca9ff6p4},
            {0x1.3ffffffffe3b7p-103,    -0x1.ee8bffd8822abp4},
            {0x1.3ffffffffffc7p-103,    -0x1.ee8bffd88221p4},
            {0x1.4p-103,                -0x1.ee8bffd88220ep4},
            {0x1.3fffffffffdcdp-102,    -0x1.e9bafb045a432p4},
            {0x1.4p-102,                -0x1.e9bafb045a426p4},
            {0x1.3ffffffffff3ep-101,    -0x1.e4e9f63032642p4},
            {0x1.4p-101,                -0x1.e4e9f6303263ep4},
            {0x1.3ffffffffe301p-100,    -0x1.e018f15c0a8f8p4},
            {0x1.3fffffffffff7p-100,    -0x1.e018f15c0a856p4},
            {0x1.4p-100,                -0x1.e018f15c0a856p4},
            {0x1.3fffffffffd73p-99,     -0x1.db47ec87e2a7cp4},
            {0x1.4p-99,                 -0x1.db47ec87e2a6ep4},
            {0x1.3ffffffffdd9dp-98,     -0x1.d676e7b3bad46p4},
            {0x1.3fffffffffee4p-98,     -0x1.d676e7b3bac8cp4},
            {0x1.4p-98,                 -0x1.d676e7b3bac86p4},
            {0x1.3ffffffffff9dp-97,     -0x1.d1a5e2df92eap4},
            {0x1.4p-97,                 -0x1.d1a5e2df92e9ep4},
            {0x1.3fffffffffffap-96,     -0x1.ccd4de0b6b0b6p4},
            {0x1.4p-96,                 -0x1.ccd4de0b6b0b6p4},
            {0x1.3ffffffffffcdp-95,     -0x1.c803d937432dp4},
            {0x1.4p-95,                 -0x1.c803d937432cep4},
            {0x1.3ffffffffffcep-94,     -0x1.c332d4631b4e8p4},
            {0x1.4p-94,                 -0x1.c332d4631b4e6p4},
            {0x1.3fffffffffe8cp-93,     -0x1.be61cf8ef3706p4},
            {0x1.4p-93,                 -0x1.be61cf8ef36fep4},
            {0x1.3fffffffff983p-92,     -0x1.b990cabacb93ap4},
            {0x1.3ffffffffff45p-92,     -0x1.b990cabacb91ap4},
            {0x1.4p-92,                 -0x1.b990cabacb916p4},
            {0x1.3fffffffffffep-91,     -0x1.b4bfc5e6a3b2ep4},
            {0x1.4p-91,                 -0x1.b4bfc5e6a3b2ep4},
            {0x1.3fffffffffdd6p-90,     -0x1.afeec1127bd52p4},
            {0x1.4p-90,                 -0x1.afeec1127bd46p4},
            {0x1.3fffffffffeebp-89,     -0x1.ab1dbc3e53f64p4},
            {0x1.4p-89,                 -0x1.ab1dbc3e53f5ep4},
            {0x1.3ffffffffffa4p-88,     -0x1.a64cb76a2c178p4},
            {0x1.4p-88,                 -0x1.a64cb76a2c177p4},
            {0x1.3fffffffffa9bp-87,     -0x1.a17bb296043acp4},
            {0x1.3fffffffffd7cp-87,     -0x1.a17bb2960439cp4},
            {0x1.4p-87,                 -0x1.a17bb2960438fp4},
            {0x1.3fffffffffe91p-86,     -0x1.9caaadc1dc5aep4},
            {0x1.3ffffffffffc5p-86,     -0x1.9caaadc1dc5a8p4},
            {0x1.3fffffffffe36p-85,     -0x1.97d9a8edb47c8p4},
            {0x1.3ffffffffffa7p-84,     -0x1.9308a4198c9d8p4},
            {0x1.3ffffffffff7ap-83,     -0x1.8e379f4564bf2p4},
            {0x1.3ffffffffffd7p-82,     -0x1.89669a713ce08p4},
            {0x1.3fffffffffe95p-81,     -0x1.8495959d15026p4},
            {0x1.3ffffffffff4ep-80,     -0x1.7fc490c8ed23ap4},
            {0x1.3ffffffffeafbp-79,     -0x1.7af38bf4c54c3p4},
            {0x1.3ffffffffffd9p-79,     -0x1.7af38bf4c544fp4},
            {0x1.3fffffffffe3bp-78,     -0x1.762287209d67p4},
            {0x1.3ffffffffde65p-77,     -0x1.7151824c7593ap4},
            {0x1.3fffffffffef4p-77,     -0x1.7151824c75884p4},
            {0x1.3ffffffffffadp-76,     -0x1.6c807d784da98p4},
            {0x1.3fffffffffb8bp-75,     -0x1.67af78a425cc7p4},
            {0x1.3ffffffffffaep-75,     -0x1.67af78a425cbp4},
            {0x1.3ffffffffffddp-74,     -0x1.62de73cffdec8p4},
            {0x1.3fffffffffe3fp-73,     -0x1.5e0d6efbd60e8p4},
            {0x1.3ffffffffff54p-72,     -0x1.593c6a27ae2fap4},
            {0x1.3ffffffffffb1p-71,     -0x1.546b65538651p4},
            {0x1.3fffffffff571p-70,     -0x1.4f9a607f5e762p4},
            {0x1.3fffffffffde5p-70,     -0x1.4f9a607f5e732p4},
            {0x1.3fffffffffe9ep-69,     -0x1.4ac95bab36946p4},
            {0x1.3ffffffffffb3p-68,     -0x1.45f856d70eb58p4},
            {0x1.3ffffffffe1d7p-67,     -0x1.41275202e6e16p4},
            {0x1.3ffffffffffb4p-67,     -0x1.41275202e6d7p4},
            {0x1.3fffffffffe44p-66,     -0x1.3c564d2ebef9p4},
            {0x1.3fffffffffd5fp-65,     -0x1.3785485a971aep4},
            {0x1.3fffffffffaadp-64,     -0x1.32b443866f3d5p4},
            {0x1.3fffffffffefep-64,     -0x1.32b443866f3bcp4},
            {0x1.3ffffffffeb35p-63,     -0x1.2de33eb247643p4},
            {0x1.3ffffffffffb7p-63,     -0x1.2de33eb2475dp4},
            {0x1.3ffffffffffe6p-62,     -0x1.291239de1f7e8p4},
            {0x1.3fffffffffdecp-61,     -0x1.24413509f7a0ap4},
            {0x1.3ffffffffff5dp-60,     -0x1.1f703035cfc1ap4},
            {0x1.3ffffffffffbap-59,     -0x1.1a9f2b61a7e3p4},
            {0x1.3fffffffffd92p-58,     -0x1.15ce268d80054p4},
            {0x1.3ffffffffff03p-57,     -0x1.10fd21b958264p4},
            {0x1.3ffffffffe6e9p-56,     -0x1.0c2c1ce530503p4},
            {0x1.3ffffffffffbcp-56,     -0x1.0c2c1ce530478p4},
            {0x1.3ffffffffe2c7p-55,     -0x1.075b181108731p4},
            {0x1.3ffffffffff61p-55,     -0x1.075b181108692p4},
            {0x1.3ffffffffffecp-54,     -0x1.028a133ce08a8p4},
            {0x1.3fffffffff14fp-53,     -0x1.fb721cd171621p3},
            {0x1.3fffffffffff8p-53,     -0x1.fb721cd17157ep3},
            {0x1.3ffffffffdd9dp-52,     -0x1.f1d0132921b2dp3},
            {0x1.3ffffffffffe2p-52,     -0x1.f1d01329219bp3},
            {0x1.3ffffffffebebp-51,     -0x1.e82e0980d1ebdp3},
            {0x1.3fffffffffe2dp-51,     -0x1.e82e0980d1df2p3},
            {0x1.3ffffffffff7p-50,      -0x1.de8bffd882214p3},
            {0x1.3fffffffffaadp-49,     -0x1.d4e9f6303267ap3},
            {0x1.3ffffffffffcdp-49,     -0x1.d4e9f6303264p3},
            {0x1.3fffffffffd77p-48,     -0x1.cb47ec87e2a8ap3},
            {0x1.3fffffffffda5p-48,     -0x1.cb47ec87e2a89p3},
            {0x1.3ffffffffff16p-47,     -0x1.c1a5e2df92ea8p3},
            {0x1.3fffffffff983p-46,     -0x1.b803d93743316p3},
            {0x1.3ffffffffffcfp-46,     -0x1.b803d937432dp3},
            {0x1.3ffffffffffa2p-45,     -0x1.ae61cf8ef3702p3},
            {0x1.3fffffffffbc5p-44,     -0x1.a4bfc5e6a3b5ep3},
            {0x1.3ffffffffffffp-44,     -0x1.a4bfc5e6a3b2ep3},
            {0x1.3fffffffffdd7p-43,     -0x1.9b1dbc3e53f76p3},
            {0x1.3fffffffffebep-42,     -0x1.917bb2960439cp3},
            {0x1.3ffffffffe3f1p-41,     -0x1.87d9a8edb48f7p3},
            {0x1.3ffffffffff77p-41,     -0x1.87d9a8edb47c4p3},
            {0x1.3fffffffff23fp-40,     -0x1.7e379f4564c87p3},
            {0x1.3ffffffffffbdp-40,     -0x1.7e379f4564bf2p3},
            {0x1.3fffffffffe36p-39,     -0x1.7495959d15032p3},
            {0x1.3ffffffffecdbp-38,     -0x1.6af38bf4c5523p3},
            {0x1.3ffffffffffa7p-38,     -0x1.6af38bf4c5452p3},
            {0x1.3ffffffffffd6p-37,     -0x1.6151824c7588p3},
            {0x1.3ffffffffffeep-36,     -0x1.57af78a425cafp3},
            {0x1.3ffffffffdcadp-35,     -0x1.4e0d6efbd6268p3},
            {0x1.3ffffffffffefp-35,     -0x1.4e0d6efbd60ep3},
            {0x1.3fffffffffe68p-34,     -0x1.446b65538652p3},
            {0x1.3ffffffffeafbp-33,     -0x1.3ac95bab36a28p3},
            {0x1.3ffffffffffd9p-33,     -0x1.3ac95bab3694p3},
            {0x1.3ffffffffffdap-32,     -0x1.31275202e6d7p3},
            {0x1.3fffffffffcb5p-31,     -0x1.2785485a971c4p3},
            {0x1.3ffffffffffc4p-31,     -0x1.2785485a971a2p3},
            {0x1.3fffffffffec7p-30,     -0x1.1de33eb2475dcp3},
            {0x1.3ffffffffffaep-29,     -0x1.14413509f7a02p3},
            {0x1.3ffffffffd9a3p-28,     -0x1.0a9f2b61a7fd9p3},
            {0x1.3ffffffffffddp-28,     -0x1.0a9f2b61a7e3p3},
            {0x1.3fffffffff32fp-27,     -0x1.00fd21b9582edp3},
            {0x1.3fffffffffe6dp-27,     -0x1.00fd21b95827p3},
            {0x1.3ffffffffffe4p-26,     -0x1.eeb6302210d2p2},
            {0x1.3ffffffffeb35p-25,     -0x1.db721cd17174dp2},
            {0x1.3fffffffffffcp-25,     -0x1.db721cd17157ep2},
            {0x1.3ffffffffde65p-24,     -0x1.c82e0980d20cap2},
            {0x1.3fffffffffeafp-24,     -0x1.c82e0980d1dfcp2},
            {0x1.3ffffffffed3dp-23,     -0x1.b4e9f630327ep2},
            {0x1.3ffffffffff7fp-23,     -0x1.b4e9f6303264ap2},
            {0x1.3ffffffffffdcp-22,     -0x1.a1a5e2df92ea2p2},
            {0x1.3ffffffffe91bp-21,     -0x1.8e61cf8ef38fbp2},
            {0x1.3ffffffffffffp-21,     -0x1.8e61cf8ef36fep2},
            {0x1.3fffffffffeb2p-20,     -0x1.7b1dbc3e53f7bp2},
            {0x1.3ffffffffe3b7p-19,     -0x1.67d9a8edb4a33p2},
            {0x1.3ffffffffff3dp-19,     -0x1.67d9a8edb47dp2},
            {0x1.3ffffffffe6e9p-18,     -0x1.5495959d1524dp2},
            {0x1.3fffffffffff6p-18,     -0x1.5495959d1502p2},
            {0x1.3ffffffffdb5bp-17,     -0x1.4151824c75badp2},
            {0x1.3ffffffffffebp-17,     -0x1.4151824c7588p2},
            {0x1.3ffffffffe301p-16,     -0x1.2e0d6efbd6364p2},
            {0x1.3ffffffffff11p-16,     -0x1.2e0d6efbd60f3p2},
            {0x1.3fffffffff14fp-15,     -0x1.1ac95bab36a85p2},
            {0x1.3ffffffffff57p-15,     -0x1.1ac95bab3694ep2},
            {0x1.3fffffffff481p-14,     -0x1.0785485a9729fp2},
            {0x1.3fffffffffff9p-14,     -0x1.0785485a971ap2},
            {0x1.3fffffffff571p-13,     -0x1.e8826a13ef5d4p1},
            {0x1.3fffffffffff1p-13,     -0x1.e8826a13ef4p1},
            {0x1.3fffffffffc7bp-12,     -0x1.c1fa4372b055ap1},
            {0x1.3ffffffffffcfp-12,     -0x1.c1fa4372b04c6p1},
            {0x1.3fffffffff189p-11,     -0x1.9b721cd171802p1},
            {0x1.3fffffffffffep-11,     -0x1.9b721cd17157ep1},
            {0x1.3ffffffffe211p-10,     -0x1.74e9f63032b72p1},
            {0x1.3fffffffffff3p-10,     -0x1.74e9f6303264p1},
            {0x1.3fffffffffbc5p-9,      -0x1.4e61cf8ef37bbp1},
            {0x1.3fffffffffff4p-9,      -0x1.4e61cf8ef37p1},
            {0x1.3fffffffff391p-8,      -0x1.27d9a8edb49e8p1},
            {0x1.3ffffffffffe9p-8,      -0x1.27d9a8edb47c2p1},
            {0x1.3fffffffffaadp-7,      -0x1.0151824c7596cp1},
            {0x1.3ffffffffffeap-7,      -0x1.0151824c75882p1},
            {0x1.3fffffffffc7bp-6,      -0x1.b592b7566d3b6p0},
            {0x1.3fffffffffff2p-6,      -0x1.b592b7566d282p0},
            {0x1.3fffffffffda5p-5,      -0x1.68826a13ef4dp0},
            {0x1.3fffffffffff6p-5,      -0x1.68826a13ef402p0},
            {0x1.3fffffffffb8bp-4,      -0x1.1b721cd17170ap0},
            {0x1.3ffffffffffffp-4,      -0x1.1b721cd17157ep0},
            {0x1.3fffffffffcb5p-3,      -0x1.9cc39f1de7047p-1},
            {0x1.3fffffffffff2p-3,      -0x1.9cc39f1de6e06p-1},
            {0x1.3fffffffffc7bp-2,      -0x1.02a30498eb36fp-1},
            {0x1.4p-2,                  -0x1.02a30498eb0fep-1},
            {0x1.3fffffffffda5p-1,      -0x1.a209a84fbd684p-3},
            {0x1.3fffffffffffcp-1,      -0x1.a209a84fbd002p-3},
            {0x1.3fffffffffff3p0,       0x1.8cf18388647c5p-4},
            {0x1.3fffffffffffdp0,       0x1.8cf18388647fbp-4},
            {0x1.3ffffffffff7bp1,       0x1.977d95ec10b4ap-2},
            {0x1.3fffffffffffcp1,       0x1.977d95ec10bfcp-2},
            {0x1.3ffffffffff2bp2,       0x1.65df657b0426dp-1},
            {0x1.3fffffffffff3p2,       0x1.65df657b042f8p-1},
            {0x1.3fffffffffc83p4,       0x1.4d104d427dd4ap0},
            {0x1.3fffffffffff1p4,       0x1.4d104d427de7ap0},
            {0x1.4p4,                   0x1.4d104d427de8p0},
            {0x1.3ffffffffff2bp5,       0x1.9a209a84fbcb6p0},
            {0x1.4p5,                   0x1.9a209a84fbdp0},
            {0x1.3fffffffffd23p6,       0x1.e730e7c779a81p0},
            {0x1.3fffffffffffep6,       0x1.e730e7c779b7ep0},
            {0x1.4p6,                   0x1.e730e7c779b7fp0},
            {0x1.3ffffffffece3p7,       0x1.1a209a84fb9aep1},
            {0x1.4p7,                   0x1.1a209a84fbdp1},
            {0x1.3fffffffffeb3p8,       0x1.40a8c1263ac06p1},
            {0x1.3ffffffffff71p8,       0x1.40a8c1263ac26p1},
            {0x1.4p8,                   0x1.40a8c1263ac3fp1},
            {0x1.3fffffffffe3bp9,       0x1.6730e7c779b31p1},
            {0x1.3fffffffffffcp9,       0x1.6730e7c779b7ep1},
            {0x1.4p9,                   0x1.6730e7c779b7fp1},
            {0x1.3fffffffff657p10,      0x1.8db90e68b8912p1},
            {0x1.3ffffffffff67p10,      0x1.8db90e68b8aa4p1},
            {0x1.4p10,                  0x1.8db90e68b8abfp1},
            {0x1.3fffffffff8ffp11,      0x1.b4413509f78c8p1},
            {0x1.3ffffffffffecp11,      0x1.b4413509f79fcp1},
            {0x1.4p11,                  0x1.b4413509f79ffp1},
            {0x1.3fffffffffd23p12,      0x1.dac95bab368cp1},
            {0x1.3ffffffffff5dp12,      0x1.dac95bab36922p1},
            {0x1.4p12,                  0x1.dac95bab3693fp1},
            {0x1.3fffffffffe13p13,      0x1.00a8c1263ac15p2},
            {0x1.3fffffffffee2p13,      0x1.00a8c1263ac26p2},
            {0x1.4p13,                  0x1.00a8c1263ac3fp2},
            {0x1.3fffffffff193p14,      0x1.13ecd476da29fp2},
            {0x1.3ffffffffffc9p14,      0x1.13ecd476da3dap2},
            {0x1.4p14,                  0x1.13ecd476da3dfp2},
            {0x1.3fffffffff5b7p15,      0x1.2730e7c779a9bp2},
            {0x1.3ffffffffff1dp15,      0x1.2730e7c779b6cp2},
            {0x1.4p15,                  0x1.2730e7c779b7fp2},
            {0x1.3ffffffffec2fp16,      0x1.3a74fb1819167p2},
            {0x1.3ffffffffffedp16,      0x1.3a74fb181931ep2},
            {0x1.4p16,                  0x1.3a74fb181931fp2},
            {0x1.3fffffffffb07p17,      0x1.4db90e68b8a51p2},
            {0x1.3fffffffffecep17,      0x1.4db90e68b8aa4p2},
            {0x1.4p17,                  0x1.4db90e68b8abfp2},
            {0x1.3ffffffffff2bp18,      0x1.60fd21b95824dp2},
            {0x1.3ffffffffffb5p18,      0x1.60fd21b958258p2},
            {0x1.4p18,                  0x1.60fd21b95825fp2},
            {0x1.3ffffffffffe4p19,      0x1.74413509f79fcp2},
            {0x1.4p19,                  0x1.74413509f79ffp2},
            {0x1.3fffffffff6cfp20,      0x1.8785485a970d3p2},
            {0x1.3ffffffffffd9p20,      0x1.8785485a9719cp2},
            {0x1.4p20,                  0x1.8785485a9719fp2},
            {0x1.3ffffffffed47p21,      0x1.9ac95bab3679fp2},
            {0x1.3fffffffffebap21,      0x1.9ac95bab36922p2},
            {0x1.4p21,                  0x1.9ac95bab3693fp2},
            {0x1.3fffffffff16bp22,      0x1.ae0d6efbd5f9bp2},
            {0x1.3ffffffffff8ap22,      0x1.ae0d6efbd60d4p2},
            {0x1.4p22,                  0x1.ae0d6efbd60dfp2},
            {0x1.3ffffffffe667p23,      0x1.c151824c75646p2},
            {0x1.3fffffffffffep23,      0x1.c151824c7587ep2},
            {0x1.4p23,                  0x1.c151824c7587fp2},
            {0x1.3fffffffffff3p24,      0x1.d495959d1501ep2},
            {0x1.4p24,                  0x1.d495959d1501fp2},
            {0x1.3fffffffffadfp25,      0x1.e7d9a8edb474dp2},
            {0x1.3fffffffffebdp25,      0x1.e7d9a8edb47a2p2},
            {0x1.4p25,                  0x1.e7d9a8edb47bfp2},
        };

        for (double[] testCase: testCases)
            failures+=testLog10Case(testCase[0], testCase[1]);

        return failures;
    }

    // Initialize shared random number generator
    private static java.util.Random random = RandomFactory.getRandom();

    /**
     * Test StrictMath.log10 against transliteration port of log10.
     */
    private static int testAgainstTranslit() {
        int failures = 0;
        double x;

        // Test just above subnormal threshold...
        x = Double.MIN_NORMAL;
        failures += testRange(x, Math.ulp(x), 1000);

        // ... and just below subnormal threshold ...
         x =  Math.nextDown(Double.MIN_NORMAL);
         failures += testRange(x, -Math.ulp(x), 1000);

        // ... and near 1.0 ...
         x = 1.0;
         failures += testRange(x, Math.ulp(x), 1000);
         x = Math.nextDown(1.0);
         failures += testRange(x, -Math.ulp(x), 1000);

         x = Tests.createRandomDouble(random);

         // Make the increment twice the ulp value in case the random
         // value is near an exponent threshold. Don't worry about test
         // elements overflowing to infinity if the starting value is
         // near Double.MAX_VALUE.
         failures += testRange(x, 2.0 * Math.ulp(x), 1000);

         return failures;
    }

    private static int testRange(double start, double increment, int count) {
        int failures = 0;
        double x = start;
        for (int i = 0; i < count; i++, x += increment) {
            failures += testLog10Case(x, FdlibmTranslit.log10(x));
        }
        return failures;
    }
}