Simplify 1/( square root of 2)