What is the value of cos (pi/3) - sin((3pi)/2)?