How do you evaluate sin (pi/3-pi/4)?