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