Evaluate square root of (1-cos((7pi)/6))/2