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