Simplify (1 square root of 2)/2