Simplify square root of x^2-8x+16