Simplify 5/( square root of 10)