How do you evaluate Sin(pi/2) + 6 cos(pi/3) ?