Evaluate square root of pi/2