Simplify square root of 32t^2