solve x \log^2x - c=0 over the reals