solve x^2+x+1=0 over reals