Divide (10 square root of 2)/2