x x -x x 4 - 4*2 + 3 + 4 - 4*2 + 5 > 0
-4*2^x - 4*2^x + 4^x + 3 + (1/4)^x + 5 > 0
/ / / _____________________________________________________________________________________________________________________________\ \ / _____________________________________________________________________________________________________________________________\\ | | | / ________________ | | | / ________________ || | | | / / ______ | | | / / ______ || | | | / 64 / 136 \/ 1293 64 38 | | | / 64 / 136 \/ 1293 64 38 || | | | / -- - 2*3 / --- + -------- + ------------------------------------------------------------------ - ----------------------- | | | / -- - 2*3 / --- + -------- + ------------------------------------------------------------------ - ----------------------- || | | | ________________________________________________________ / 3 \/ 27 9 ________________________________________________________ ________________ | | | ________________________________________________________ / 3 \/ 27 9 ________________________________________________________ ________________ || | | | / ________________ / / ________________ / ______ | | | / ________________ / / ________________ / ______ || | | | / / ______ / / / ______ / 136 \/ 1293 | | | / / ______ / / / ______ / 136 \/ 1293 || | | | / 32 / 136 \/ 1293 38 / / 32 / 136 \/ 1293 38 9*3 / --- + -------- | | | / 32 / 136 \/ 1293 38 / / 32 / 136 \/ 1293 38 9*3 / --- + -------- || | | | / -- + 2*3 / --- + -------- + ----------------------- / / -- + 2*3 / --- + -------- + ----------------------- \/ 27 9 | | | / -- + 2*3 / --- + -------- + ----------------------- / / -- + 2*3 / --- + -------- + ----------------------- \/ 27 9 || | | | / 3 \/ 27 9 ________________ / / 3 \/ 27 9 ________________ | | | / 3 \/ 27 9 ________________ / / 3 \/ 27 9 ________________ || | | | / / ______ / / / ______ | | | / / ______ / / / ______ || | | | / / 136 \/ 1293 / / / 136 \/ 1293 | | | / / 136 \/ 1293 / / / 136 \/ 1293 || | | | / 9*3 / --- + -------- / / 9*3 / --- + -------- | | | / 9*3 / --- + -------- / / 9*3 / --- + -------- || | | | \/ \/ 27 9 \/ \/ \/ 27 9 | | | \/ \/ 27 9 \/ \/ \/ 27 9 || | | log|2 + ------------------------------------------------------------------ + --------------------------------------------------------------------------------------------------------------------------------------------| | log|2 + ------------------------------------------------------------------ - --------------------------------------------------------------------------------------------------------------------------------------------|| | | \ 2 2 / | \ 2 2 /| Or|And|x < oo, -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- < x|, x < --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------| \ \ log(2) / log(2) /
(x < log(2 + sqrt(32/3 + 2*(136/27 + sqrt(1293)/9)^(1/3) + 38/(9*(136/27 + sqrt(1293)/9)^(1/3)))/2 - sqrt(64/3 - 2*(136/27 + sqrt(1293)/9)^(1/3) + 64/sqrt(32/3 + 2*(136/27 + sqrt(1293)/9)^(1/3) + 38/(9*(136/27 + sqrt(1293)/9)^(1/3))) - 38/(9*(136/27 + sqrt(1293)/9)^(1/3)))/2)/log(2))∨((x < oo)∧(log(2 + sqrt(32/3 + 2*(136/27 + sqrt(1293)/9)^(1/3) + 38/(9*(136/27 + sqrt(1293)/9)^(1/3)))/2 + sqrt(64/3 - 2*(136/27 + sqrt(1293)/9)^(1/3) + 64/sqrt(32/3 + 2*(136/27 + sqrt(1293)/9)^(1/3) + 38/(9*(136/27 + sqrt(1293)/9)^(1/3))) - 38/(9*(136/27 + sqrt(1293)/9)^(1/3)))/2)/log(2) < x))
/ _____________________________________________________________________________________________________________________________\ / _____________________________________________________________________________________________________________________________\ | / ________________ | | / ________________ | | / / ______ | | / / ______ | | / 64 / 136 \/ 1293 64 38 | | / 64 / 136 \/ 1293 64 38 | | / -- - 2*3 / --- + -------- + ------------------------------------------------------------------ - ----------------------- | | / -- - 2*3 / --- + -------- + ------------------------------------------------------------------ - ----------------------- | | ________________________________________________________ / 3 \/ 27 9 ________________________________________________________ ________________ | | ________________________________________________________ / 3 \/ 27 9 ________________________________________________________ ________________ | | / ________________ / / ________________ / ______ | | / ________________ / / ________________ / ______ | | / / ______ / / / ______ / 136 \/ 1293 | | / / ______ / / / ______ / 136 \/ 1293 | | / 32 / 136 \/ 1293 38 / / 32 / 136 \/ 1293 38 9*3 / --- + -------- | | / 32 / 136 \/ 1293 38 / / 32 / 136 \/ 1293 38 9*3 / --- + -------- | | / -- + 2*3 / --- + -------- + ----------------------- / / -- + 2*3 / --- + -------- + ----------------------- \/ 27 9 | | / -- + 2*3 / --- + -------- + ----------------------- / / -- + 2*3 / --- + -------- + ----------------------- \/ 27 9 | | / 3 \/ 27 9 ________________ / / 3 \/ 27 9 ________________ | | / 3 \/ 27 9 ________________ / / 3 \/ 27 9 ________________ | | / / ______ / / / ______ | | / / ______ / / / ______ | | / / 136 \/ 1293 / / / 136 \/ 1293 | | / / 136 \/ 1293 / / / 136 \/ 1293 | | / 9*3 / --- + -------- / / 9*3 / --- + -------- | | / 9*3 / --- + -------- / / 9*3 / --- + -------- | | \/ \/ 27 9 \/ \/ \/ 27 9 | | \/ \/ 27 9 \/ \/ \/ 27 9 | log|2 + ------------------------------------------------------------------ - --------------------------------------------------------------------------------------------------------------------------------------------| log|2 + ------------------------------------------------------------------ + --------------------------------------------------------------------------------------------------------------------------------------------| \ 2 2 / \ 2 2 / (-oo, --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------) U (--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------, oo) log(2) log(2)
x in Union(Interval.open(-oo, log(-sqrt(-2*(sqrt(1293)/9 + 136/27)^(1/3) - 38/(9*(sqrt(1293)/9 + 136/27)^(1/3)) + 64/sqrt(38/(9*(sqrt(1293)/9 + 136/27)^(1/3)) + 2*(sqrt(1293)/9 + 136/27)^(1/3) + 32/3) + 64/3)/2 + 2 + sqrt(38/(9*(sqrt(1293)/9 + 136/27)^(1/3)) + 2*(sqrt(1293)/9 + 136/27)^(1/3) + 32/3)/2)/log(2)), Interval.open(log(2 + sqrt(38/(9*(sqrt(1293)/9 + 136/27)^(1/3)) + 2*(sqrt(1293)/9 + 136/27)^(1/3) + 32/3)/2 + sqrt(-2*(sqrt(1293)/9 + 136/27)^(1/3) - 38/(9*(sqrt(1293)/9 + 136/27)^(1/3)) + 64/sqrt(38/(9*(sqrt(1293)/9 + 136/27)^(1/3)) + 2*(sqrt(1293)/9 + 136/27)^(1/3) + 32/3) + 64/3)/2)/log(2), oo))