Evaluate cos(22.5 degrees )