Search results for: 'log2(4-x)^2+2log2(2x-1) <= log2(3)'