Evaluate 3cos(pi/3)