Evaluate square root of (1+cos(80 degrees ))/2