sqrt(x^2-7)=sqrt(-2x-6)