real solution of ((1/2)^(x^2) - 1/4)/(8 - 4^x) >