What is cos pi/3 - sin 3pi/4???