How do you express cos(3π2)cos(15π8) without using products of trigonometric functions?