WolframAlpha computational knowledge AI
log2(x^2-4) = 2log2(x+3)