Simplify square root of 0.25