WolframAlpha computational knowledge AI
solve {log(2,-(log(2,x)))^2+log(2,log(2,x)^2)<=3,-4*abs(x^2-1)-3 >= 1/(x^2-1)}