----------several historic failures:
(no output)
----------consistency of numeric types:
(no output)
----------power laws:
(no output)
----------consistency of symbolic functions:
(no output)
----------consistency of nestedsums functions:
(no output)
----------symbolic differentiation:
(no output)
----------polynomial GCD computation:
(no output)
----------rational function normalization:
(no output)
----------series expansion:
series expansion of log(x^2*b*log(x)+x*a) at 0 erroneously returned log(x*a)+Order(x^3)+x*b*a^(-1)*log(x)-1/2*x^2*b^2*a^(-2)*log(x)^2 (instead of log(x*a)+Order(x^3)+x*b*a^(-1)*log(x)-1/2*x^2*b^2*a^(-2)*log(x*a)^2)
add @0x8218838, hash=0x406203e0, flags=0x3, nops=2
    mul @0x8230500, hash=0x9fc5487a, flags=0xb, nops=4
        x (symbol) @0x82191b8, serial=1, hash=0x79ba0000, flags=0xf, domain=0
        2 (numeric) @0x8215708, hash=0x6526b0fa, flags=0xf
        -----
        b (symbol) @0x8228740, serial=1766, hash=0x822e996b, flags=0xf, domain=0
        2 (numeric) @0x821d8a8, hash=0x6526b0fa, flags=0xf
        -----
        a (symbol) @0x82182a0, serial=1765, hash=0x94db62d4, flags=0xf, domain=0
        -2 (numeric) @0x821c9f8, hash=0x2526b0fa, flags=0xf
        -----
        function log @0x8226d90, hash=0x17337207, flags=0xf, nops=1
            mul @0x8214768, hash=0xb8c20b7a, flags=0xb, nops=2
                x (symbol) @0x82191b8, serial=1, hash=0x79ba0000, flags=0xf, domain=0
                1 (numeric) @0x81f7490, hash=0x160af41d, flags=0xf
                -----
                a (symbol) @0x82182a0, serial=1765, hash=0x94db62d4, flags=0xf, domain=0
                1 (numeric) @0x81f7490, hash=0x160af41d, flags=0xf
                =====
            =====
        2 (numeric) @0x82141e8, hash=0x6526b0fa, flags=0xf
        =====
    1/2 (numeric) @0x82281a8, hash=0xc6ef3740, flags=0x7
    -----
    mul @0x822fa40, hash=0x9fc5487a, flags=0xb, nops=4
        x (symbol) @0x82191b8, serial=1, hash=0x79ba0000, flags=0xf, domain=0
        2 (numeric) @0x8215708, hash=0x6526b0fa, flags=0xf
        -----
        b (symbol) @0x8228740, serial=1766, hash=0x822e996b, flags=0xf, domain=0
        2 (numeric) @0x821d8a8, hash=0x6526b0fa, flags=0xf
        -----
        a (symbol) @0x82182a0, serial=1765, hash=0x94db62d4, flags=0xf, domain=0
        -2 (numeric) @0x821c9f8, hash=0x2526b0fa, flags=0xf
        -----
        function log @0x8225ea0, hash=0xd64b797d, flags=0xf, nops=1
            x (symbol) @0x82191b8, serial=1, hash=0x79ba0000, flags=0xf, domain=0
            =====
        2 (numeric) @0x8216e90, hash=0x6526b0fa, flags=0xf
        =====
    -1/2 (numeric) @0x8212f68, hash=0x86ef3740, flags=0xf
    =====