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