Evaluate 3cos(pi/4)