Simplify ( square root of 2)/2