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