sec(pi/3)