How do you evaluate 2 cos^2 (pi/12) - 1?