How do you evaluate sec(pi/3)?