Simplify square root of 2