How do you evaluate # cos (π/8) #?