solve 2^xlog(2)-3x^2=0