Simplify x^2-12