Simplify[x^2+1=0]