Simplify x^2-x-12