How do you find the exact value of #sin(135^circ-30^circ)#?