How do you evaluate cos (π/8) ?