-x^2-1>0