Sejam \( x,y∈]0,π/2[ \), satisfazendo o sistema de equações

\( \begin{cases}tan(y)\,tan\,(\dfrac{y}{2})=cos(2x)sec(y), \\\dfrac{sen(y)}{cos(x)}+\dfrac{cos(x)}{sen{(y)}}=2\end{cases} \)

O produto de todos os valores de x e y que resolvem esse sistema é