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