How do you evaluate #[cos(pi/5) * Cos(2pi/5)]#?