Simplify square root of 2*1