How do you express cos(π4)sin(13π8) without using products of trigonometric functions?