Divide (2 square root of 2)/2