How do you express cos( (15 pi)/ 8 ) * cos (( 13 pi) /12 ) cos(15π8)cos(13π12) without using products of trigonometric functions?